73.951 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying:
  (+ x (/ (- x y) 2.0))
0.032 * * [simplify]: iteration 0: 6 enodes
0.034 * * [simplify]: iteration 1: 12 enodes
0.039 * * [simplify]: iteration 2: 19 enodes
0.047 * * [simplify]: iteration 3: 29 enodes
0.057 * * [simplify]: iteration 4: 39 enodes
0.072 * * [simplify]: iteration 5: 54 enodes
0.146 * * [simplify]: iteration 6: 94 enodes
0.208 * * [simplify]: iteration 7: 154 enodes
0.298 * * [simplify]: iteration 8: 245 enodes
0.356 * * [simplify]: iteration 9: 420 enodes
0.508 * * [simplify]: iteration 10: 519 enodes
0.571 * * [simplify]: iteration 11: 567 enodes
0.624 * * [simplify]: iteration 12: 637 enodes
0.685 * * [simplify]: iteration 13: 687 enodes
0.736 * * [simplify]: iteration 14: 738 enodes
0.778 * * [simplify]: iteration 15: 774 enodes
0.862 * * [simplify]: iteration 16: 809 enodes
0.899 * * [simplify]: iteration 17: 846 enodes
0.951 * * [simplify]: iteration 18: 881 enodes
1.000 * * [simplify]: iteration 19: 918 enodes
1.045 * * [simplify]: iteration 20: 957 enodes
1.142 * * [simplify]: iteration 21: 992 enodes
1.206 * * [simplify]: iteration 22: 1027 enodes
1.251 * * [simplify]: iteration 23: 1070 enodes
1.297 * * [simplify]: iteration 24: 1107 enodes
1.338 * * [simplify]: iteration 25: 1142 enodes
1.387 * * [simplify]: iteration 26: 1178 enodes
1.430 * * [simplify]: iteration 27: 1215 enodes
1.472 * * [simplify]: iteration 28: 1252 enodes
1.515 * * [simplify]: iteration 29: 1289 enodes
1.560 * * [simplify]: iteration 30: 1324 enodes
1.605 * * [simplify]: iteration 31: 1361 enodes
1.654 * * [simplify]: iteration 32: 1400 enodes
1.692 * * [simplify]: iteration 33: 1435 enodes
1.738 * * [simplify]: iteration 34: 1470 enodes
1.784 * * [simplify]: iteration 35: 1509 enodes
1.832 * * [simplify]: iteration 36: 1546 enodes
1.871 * * [simplify]: iteration 37: 1581 enodes
1.917 * * [simplify]: iteration 38: 1617 enodes
1.966 * * [simplify]: iteration 39: 1654 enodes
2.008 * * [simplify]: iteration 40: 1691 enodes
2.047 * * [simplify]: iteration 41: 1728 enodes
2.096 * * [simplify]: iteration 42: 1763 enodes
2.194 * * [simplify]: iteration 43: 1800 enodes
2.240 * * [simplify]: iteration 44: 1839 enodes
2.279 * * [simplify]: iteration 45: 1874 enodes
2.327 * * [simplify]: iteration 46: 1909 enodes
2.372 * * [simplify]: iteration 47: 1948 enodes
2.415 * * [simplify]: iteration 48: 1985 enodes
2.457 * * [simplify]: iteration 49: 2020 enodes
2.502 * * [simplify]: iteration 50: 2058 enodes
2.546 * * [simplify]: iteration 51: 2095 enodes
2.592 * * [simplify]: iteration 52: 2132 enodes
2.630 * * [simplify]: iteration 53: 2169 enodes
2.675 * * [simplify]: iteration 54: 2204 enodes
2.734 * * [simplify]: iteration 55: 2241 enodes
2.845 * * [simplify]: iteration 56: 2280 enodes
2.910 * * [simplify]: iteration 57: 2315 enodes
3.006 * * [simplify]: iteration 58: 2350 enodes
3.150 * * [simplify]: iteration 59: 2391 enodes
3.237 * * [simplify]: iteration 60: 2428 enodes
3.303 * * [simplify]: iteration 61: 2463 enodes
3.351 * * [simplify]: iteration 62: 2499 enodes
3.399 * * [simplify]: iteration 63: 2536 enodes
3.447 * * [simplify]: iteration 64: 2573 enodes
3.504 * * [simplify]: iteration 65: 2610 enodes
3.577 * * [simplify]: iteration 66: 2645 enodes
3.672 * * [simplify]: iteration 67: 2682 enodes
3.729 * * [simplify]: iteration 68: 2721 enodes
3.815 * * [simplify]: iteration 69: 2756 enodes
3.862 * * [simplify]: iteration 70: 2791 enodes
3.910 * * [simplify]: iteration 71: 2830 enodes
3.995 * * [simplify]: iteration 72: 2867 enodes
4.034 * * [simplify]: iteration 73: 2902 enodes
4.077 * * [simplify]: iteration 74: 2940 enodes
4.137 * * [simplify]: iteration 75: 2977 enodes
4.199 * * [simplify]: iteration 76: 3014 enodes
4.244 * * [simplify]: iteration 77: 3051 enodes
4.287 * * [simplify]: iteration 78: 3086 enodes
4.333 * * [simplify]: iteration 79: 3123 enodes
4.377 * * [simplify]: iteration 80: 3162 enodes
4.414 * * [simplify]: iteration 81: 3197 enodes
4.461 * * [simplify]: iteration 82: 3232 enodes
4.506 * * [simplify]: iteration 83: 3271 enodes
4.548 * * [simplify]: iteration 84: 3308 enodes
4.589 * * [simplify]: iteration 85: 3343 enodes
4.634 * * [simplify]: iteration 86: 3381 enodes
4.677 * * [simplify]: iteration 87: 3418 enodes
4.718 * * [simplify]: iteration 88: 3455 enodes
4.761 * * [simplify]: iteration 89: 3492 enodes
4.804 * * [simplify]: iteration 90: 3527 enodes
4.848 * * [simplify]: iteration 91: 3564 enodes
4.895 * * [simplify]: iteration 92: 3603 enodes
4.933 * * [simplify]: iteration 93: 3638 enodes
4.977 * * [simplify]: iteration 94: 3673 enodes
5.025 * * [simplify]: iteration 95: 3714 enodes
5.066 * * [simplify]: iteration 96: 3751 enodes
5.105 * * [simplify]: iteration 97: 3786 enodes
5.154 * * [simplify]: iteration 98: 3822 enodes
5.198 * * [simplify]: iteration 99: 3859 enodes
5.240 * * [simplify]: iteration 100: 3896 enodes
5.280 * * [simplify]: iteration 101: 3933 enodes
5.389 * * [simplify]: iteration 102: 3968 enodes
5.469 * * [simplify]: iteration 103: 4005 enodes
5.538 * * [simplify]: iteration 104: 4044 enodes
5.689 * * [simplify]: iteration 105: 4079 enodes
5.774 * * [simplify]: iteration 106: 4114 enodes
5.869 * * [simplify]: iteration 107: 4155 enodes
5.956 * * [simplify]: iteration 108: 4192 enodes
6.038 * * [simplify]: iteration 109: 4227 enodes
6.127 * * [simplify]: iteration 110: 4263 enodes
6.173 * * [simplify]: iteration 111: 4300 enodes
6.251 * * [simplify]: iteration 112: 4337 enodes
6.294 * * [simplify]: iteration 113: 4374 enodes
6.340 * * [simplify]: iteration 114: 4409 enodes
6.391 * * [simplify]: iteration 115: 4446 enodes
6.439 * * [simplify]: iteration 116: 4485 enodes
6.478 * * [simplify]: iteration 117: 4520 enodes
6.526 * * [simplify]: iteration 118: 4555 enodes
6.579 * * [simplify]: iteration 119: 4596 enodes
6.621 * * [simplify]: iteration 120: 4633 enodes
6.659 * * [simplify]: iteration 121: 4668 enodes
6.709 * * [simplify]: iteration 122: 4706 enodes
6.754 * * [simplify]: iteration 123: 4743 enodes
6.797 * * [simplify]: iteration 124: 4780 enodes
6.841 * * [simplify]: iteration 125: 4817 enodes
6.888 * * [simplify]: iteration 126: 4852 enodes
6.938 * * [simplify]: iteration 127: 4889 enodes
6.988 * * [simplify]: iteration 128: 4928 enodes
7.029 * * [simplify]: iteration 129: 4963 enodes
7.076 * * [simplify]: iteration 130: 4998 enodes
7.105 * * [simplify]: iteration complete: 5000 enodes
7.105 * * [simplify]: Extracting #0: cost 1 inf + 0
7.105 * * [simplify]: Extracting #1: cost 14 inf + 0
7.105 * * [simplify]: Extracting #2: cost 19 inf + 42
7.106 * * [simplify]: Extracting #3: cost 15 inf + 169
7.107 * * [simplify]: Extracting #4: cost 0 inf + 1565
7.108 * * [simplify]: Extracting #5: cost 0 inf + 1525
7.110 * [simplify]: Simplified to:
  (+ x (/ (- x y) 2.0))
7.111 * * [progress]: iteration 1 / 4
7.111 * * * [progress]: picking best candidate
7.117 * * * * [pick]: Picked  #<alt (λ (x y) (+ x (/ (- x y) 2.0)))>
7.117 * * * [progress]: localizing error
7.138 * * * [progress]: generating rewritten candidates
7.138 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.185 * * * [progress]: generating series expansions
7.185 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.186 * [backup-simplify]: Simplify (+ x (/ (- x y) 2.0)) into (- (* 1.5 x) (* 0.5 y))
7.186 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0
7.186 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y
7.186 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
7.186 * [taylor]: Taking taylor expansion of 1.5 in y
7.186 * [backup-simplify]: Simplify 1.5 into 1.5
7.186 * [taylor]: Taking taylor expansion of x in y
7.186 * [backup-simplify]: Simplify x into x
7.186 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
7.186 * [taylor]: Taking taylor expansion of 0.5 in y
7.186 * [backup-simplify]: Simplify 0.5 into 0.5
7.186 * [taylor]: Taking taylor expansion of y in y
7.186 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify 1 into 1
7.186 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
7.186 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
7.186 * [taylor]: Taking taylor expansion of 1.5 in x
7.186 * [backup-simplify]: Simplify 1.5 into 1.5
7.186 * [taylor]: Taking taylor expansion of x in x
7.186 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify 1 into 1
7.186 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
7.186 * [taylor]: Taking taylor expansion of 0.5 in x
7.186 * [backup-simplify]: Simplify 0.5 into 0.5
7.186 * [taylor]: Taking taylor expansion of y in x
7.186 * [backup-simplify]: Simplify y into y
7.186 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
7.186 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
7.187 * [taylor]: Taking taylor expansion of 1.5 in x
7.187 * [backup-simplify]: Simplify 1.5 into 1.5
7.187 * [taylor]: Taking taylor expansion of x in x
7.187 * [backup-simplify]: Simplify 0 into 0
7.187 * [backup-simplify]: Simplify 1 into 1
7.187 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
7.187 * [taylor]: Taking taylor expansion of 0.5 in x
7.187 * [backup-simplify]: Simplify 0.5 into 0.5
7.187 * [taylor]: Taking taylor expansion of y in x
7.187 * [backup-simplify]: Simplify y into y
7.188 * [backup-simplify]: Simplify (* 1.5 0) into 0
7.188 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
7.188 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
7.188 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y))
7.188 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
7.188 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
7.188 * [taylor]: Taking taylor expansion of 0.5 in y
7.188 * [backup-simplify]: Simplify 0.5 into 0.5
7.188 * [taylor]: Taking taylor expansion of y in y
7.188 * [backup-simplify]: Simplify 0 into 0
7.188 * [backup-simplify]: Simplify 1 into 1
7.189 * [backup-simplify]: Simplify (* 0.5 0) into 0
7.189 * [backup-simplify]: Simplify (- 0) into 0
7.189 * [backup-simplify]: Simplify 0 into 0
7.191 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5
7.192 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0
7.192 * [backup-simplify]: Simplify (- 0) into 0
7.193 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5
7.193 * [taylor]: Taking taylor expansion of 1.5 in y
7.193 * [backup-simplify]: Simplify 1.5 into 1.5
7.193 * [backup-simplify]: Simplify 1.5 into 1.5
7.195 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
7.195 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.195 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.197 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0
7.198 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0
7.198 * [backup-simplify]: Simplify (- 0) into 0
7.199 * [backup-simplify]: Simplify (+ 0 0) into 0
7.199 * [taylor]: Taking taylor expansion of 0 in y
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify 0 into 0
7.200 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
7.200 * [backup-simplify]: Simplify (- 0) into 0
7.200 * [backup-simplify]: Simplify 0 into 0
7.202 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.203 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.203 * [backup-simplify]: Simplify (- 0) into 0
7.204 * [backup-simplify]: Simplify (+ 0 0) into 0
7.204 * [taylor]: Taking taylor expansion of 0 in y
7.204 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify 0 into 0
7.205 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y))
7.205 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 x) (/ 1 y)) 2.0)) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y)))
7.205 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0
7.205 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
7.205 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
7.205 * [taylor]: Taking taylor expansion of 1.5 in y
7.205 * [backup-simplify]: Simplify 1.5 into 1.5
7.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.205 * [taylor]: Taking taylor expansion of x in y
7.205 * [backup-simplify]: Simplify x into x
7.205 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.205 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
7.205 * [taylor]: Taking taylor expansion of 0.5 in y
7.205 * [backup-simplify]: Simplify 0.5 into 0.5
7.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.206 * [taylor]: Taking taylor expansion of y in y
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify 1 into 1
7.206 * [backup-simplify]: Simplify (/ 1 1) into 1
7.206 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
7.206 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
7.206 * [taylor]: Taking taylor expansion of 1.5 in x
7.206 * [backup-simplify]: Simplify 1.5 into 1.5
7.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.206 * [taylor]: Taking taylor expansion of x in x
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify 1 into 1
7.207 * [backup-simplify]: Simplify (/ 1 1) into 1
7.207 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
7.207 * [taylor]: Taking taylor expansion of 0.5 in x
7.207 * [backup-simplify]: Simplify 0.5 into 0.5
7.207 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.207 * [taylor]: Taking taylor expansion of y in x
7.207 * [backup-simplify]: Simplify y into y
7.207 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.207 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
7.207 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
7.207 * [taylor]: Taking taylor expansion of 1.5 in x
7.207 * [backup-simplify]: Simplify 1.5 into 1.5
7.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.207 * [taylor]: Taking taylor expansion of x in x
7.207 * [backup-simplify]: Simplify 0 into 0
7.207 * [backup-simplify]: Simplify 1 into 1
7.208 * [backup-simplify]: Simplify (/ 1 1) into 1
7.208 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
7.208 * [taylor]: Taking taylor expansion of 0.5 in x
7.208 * [backup-simplify]: Simplify 0.5 into 0.5
7.208 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.208 * [taylor]: Taking taylor expansion of y in x
7.209 * [backup-simplify]: Simplify y into y
7.209 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.209 * [backup-simplify]: Simplify (* 1.5 1) into 1.5
7.210 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5
7.210 * [taylor]: Taking taylor expansion of 1.5 in y
7.210 * [backup-simplify]: Simplify 1.5 into 1.5
7.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.212 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0
7.212 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
7.212 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
7.212 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y)))
7.212 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
7.212 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
7.212 * [taylor]: Taking taylor expansion of 0.5 in y
7.212 * [backup-simplify]: Simplify 0.5 into 0.5
7.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.212 * [taylor]: Taking taylor expansion of y in y
7.212 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify 1 into 1
7.213 * [backup-simplify]: Simplify (/ 1 1) into 1
7.214 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
7.214 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.214 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
7.214 * [backup-simplify]: Simplify 1.5 into 1.5
7.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.217 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0
7.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.217 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
7.218 * [backup-simplify]: Simplify (- 0) into 0
7.218 * [backup-simplify]: Simplify (+ 0 0) into 0
7.218 * [taylor]: Taking taylor expansion of 0 in y
7.218 * [backup-simplify]: Simplify 0 into 0
7.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.220 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
7.220 * [backup-simplify]: Simplify (- 0) into 0
7.221 * [backup-simplify]: Simplify 0 into 0
7.221 * [backup-simplify]: Simplify 0 into 0
7.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.223 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.224 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.225 * [backup-simplify]: Simplify (- 0) into 0
7.225 * [backup-simplify]: Simplify (+ 0 0) into 0
7.225 * [taylor]: Taking taylor expansion of 0 in y
7.225 * [backup-simplify]: Simplify 0 into 0
7.225 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.227 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
7.228 * [backup-simplify]: Simplify (- 0) into 0
7.228 * [backup-simplify]: Simplify 0 into 0
7.228 * [backup-simplify]: Simplify 0 into 0
7.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.231 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.231 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.232 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
7.233 * [backup-simplify]: Simplify (- 0) into 0
7.233 * [backup-simplify]: Simplify (+ 0 0) into 0
7.233 * [taylor]: Taking taylor expansion of 0 in y
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y))
7.234 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- x)) (/ 1 (- y))) 2.0)) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))
7.234 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0
7.235 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
7.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
7.235 * [taylor]: Taking taylor expansion of 0.5 in y
7.235 * [backup-simplify]: Simplify 0.5 into 0.5
7.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.235 * [taylor]: Taking taylor expansion of y in y
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 1 into 1
7.235 * [backup-simplify]: Simplify (/ 1 1) into 1
7.235 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
7.235 * [taylor]: Taking taylor expansion of 1.5 in y
7.235 * [backup-simplify]: Simplify 1.5 into 1.5
7.235 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.235 * [taylor]: Taking taylor expansion of x in y
7.235 * [backup-simplify]: Simplify x into x
7.236 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.236 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
7.236 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
7.236 * [taylor]: Taking taylor expansion of 0.5 in x
7.236 * [backup-simplify]: Simplify 0.5 into 0.5
7.236 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.236 * [taylor]: Taking taylor expansion of y in x
7.236 * [backup-simplify]: Simplify y into y
7.236 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.236 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
7.236 * [taylor]: Taking taylor expansion of 1.5 in x
7.236 * [backup-simplify]: Simplify 1.5 into 1.5
7.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.236 * [taylor]: Taking taylor expansion of x in x
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.237 * [backup-simplify]: Simplify (/ 1 1) into 1
7.237 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
7.237 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
7.237 * [taylor]: Taking taylor expansion of 0.5 in x
7.237 * [backup-simplify]: Simplify 0.5 into 0.5
7.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.237 * [taylor]: Taking taylor expansion of y in x
7.237 * [backup-simplify]: Simplify y into y
7.237 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.237 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
7.237 * [taylor]: Taking taylor expansion of 1.5 in x
7.237 * [backup-simplify]: Simplify 1.5 into 1.5
7.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.237 * [taylor]: Taking taylor expansion of x in x
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 1 into 1
7.238 * [backup-simplify]: Simplify (/ 1 1) into 1
7.238 * [backup-simplify]: Simplify (* 1.5 1) into 1.5
7.239 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
7.240 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5)
7.240 * [taylor]: Taking taylor expansion of (- 1.5) in y
7.240 * [taylor]: Taking taylor expansion of 1.5 in y
7.240 * [backup-simplify]: Simplify 1.5 into 1.5
7.240 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
7.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.242 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0
7.242 * [backup-simplify]: Simplify (- 0) into 0
7.242 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y))
7.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
7.243 * [taylor]: Taking taylor expansion of 0.5 in y
7.243 * [backup-simplify]: Simplify 0.5 into 0.5
7.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.243 * [taylor]: Taking taylor expansion of y in y
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify 1 into 1
7.243 * [backup-simplify]: Simplify (/ 1 1) into 1
7.244 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
7.244 * [backup-simplify]: Simplify 0.5 into 0.5
7.244 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
7.245 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
7.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.245 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
7.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.248 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0
7.248 * [backup-simplify]: Simplify (- 0) into 0
7.249 * [backup-simplify]: Simplify (+ 0 0) into 0
7.249 * [taylor]: Taking taylor expansion of 0 in y
7.249 * [backup-simplify]: Simplify 0 into 0
7.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.250 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
7.250 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify (- 0) into 0
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.252 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.255 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.255 * [backup-simplify]: Simplify (- 0) into 0
7.256 * [backup-simplify]: Simplify (+ 0 0) into 0
7.256 * [taylor]: Taking taylor expansion of 0 in y
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.258 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify (- 0) into 0
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.260 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
7.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.263 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.264 * [backup-simplify]: Simplify (- 0) into 0
7.265 * [backup-simplify]: Simplify (+ 0 0) into 0
7.265 * [taylor]: Taking taylor expansion of 0 in y
7.265 * [backup-simplify]: Simplify 0 into 0
7.265 * [backup-simplify]: Simplify 0 into 0
7.266 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y))
7.266 * * * [progress]: simplifying candidates
7.267 * [simplify]: Simplifying:
  (expm1 (+ x (/ (- x y) 2.0)))
  (log1p (+ x (/ (- x y) 2.0)))
  (* (exp x) (exp (/ (- x y) 2.0)))
  (log (+ x (/ (- x y) 2.0)))
  (exp (+ x (/ (- x y) 2.0)))
  (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
  (cbrt (+ x (/ (- x y) 2.0)))
  (* (* (+ x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0))) (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (+ (pow x 3) (pow (/ (- x y) 2.0) 3))
  (+ (* x x) (- (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (* x (/ (- x y) 2.0))))
  (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
  (- x (/ (- x y) 2.0))
  (+ x (/ (- x y) 2.0))
  (+ x (/ x 2.0))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
7.267 * * [simplify]: iteration 0: 36 enodes
7.287 * * [simplify]: iteration 1: 98 enodes
7.354 * * [simplify]: iteration 2: 269 enodes
7.552 * * [simplify]: iteration 3: 795 enodes
8.916 * * [simplify]: iteration 4: 3594 enodes
10.765 * * [simplify]: iteration complete: 5000 enodes
10.765 * * [simplify]: Extracting #0: cost 15 inf + 0
10.766 * * [simplify]: Extracting #1: cost 200 inf + 0
10.772 * * [simplify]: Extracting #2: cost 699 inf + 534
10.798 * * [simplify]: Extracting #3: cost 552 inf + 51864
10.894 * * [simplify]: Extracting #4: cost 77 inf + 163027
11.024 * * [simplify]: Extracting #5: cost 2 inf + 186287
11.155 * * [simplify]: Extracting #6: cost 0 inf + 186915
11.288 * [simplify]: Simplified to:
  (expm1 (+ (/ (- x y) 2.0) x))
  (log1p (+ (/ (- x y) 2.0) x))
  (exp (+ (/ (- x y) 2.0) x))
  (log (+ (/ (- x y) 2.0) x))
  (exp (+ (/ (- x y) 2.0) x))
  (* (cbrt (+ (/ (- x y) 2.0) x)) (cbrt (+ (/ (- x y) 2.0) x)))
  (cbrt (+ (/ (- x y) 2.0) x))
  (* (* (+ (/ (- x y) 2.0) x) (+ (/ (- x y) 2.0) x)) (+ (/ (- x y) 2.0) x))
  (sqrt (+ (/ (- x y) 2.0) x))
  (sqrt (+ (/ (- x y) 2.0) x))
  (fma x (* x x) (* (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (/ (- x y) 2.0)))
  (fma (/ (- x y) 2.0) (- (/ (- x y) 2.0) x) (* x x))
  (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
  (- x (/ (- x y) 2.0))
  (+ (/ (- x y) 2.0) x)
  (+ (/ x 2.0) x)
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
11.290 * * * [progress]: adding candidates to table
11.434 * * [progress]: iteration 2 / 4
11.434 * * * [progress]: picking best candidate
11.478 * * * * [pick]: Picked  #<alt (λ (x y) (- (* 1.5 x) (* 0.5 y)))>
11.478 * * * [progress]: localizing error
11.494 * * * [progress]: generating rewritten candidates
11.494 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.512 * * * [progress]: generating series expansions
11.512 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.512 * [backup-simplify]: Simplify (- (* 1.5 x) (* 0.5 y)) into (- (* 1.5 x) (* 0.5 y))
11.512 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0
11.512 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y
11.512 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
11.512 * [taylor]: Taking taylor expansion of 1.5 in y
11.513 * [backup-simplify]: Simplify 1.5 into 1.5
11.513 * [taylor]: Taking taylor expansion of x in y
11.513 * [backup-simplify]: Simplify x into x
11.513 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
11.513 * [taylor]: Taking taylor expansion of 0.5 in y
11.513 * [backup-simplify]: Simplify 0.5 into 0.5
11.513 * [taylor]: Taking taylor expansion of y in y
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 1 into 1
11.513 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
11.513 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
11.513 * [taylor]: Taking taylor expansion of 1.5 in x
11.513 * [backup-simplify]: Simplify 1.5 into 1.5
11.513 * [taylor]: Taking taylor expansion of x in x
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 1 into 1
11.513 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
11.513 * [taylor]: Taking taylor expansion of 0.5 in x
11.513 * [backup-simplify]: Simplify 0.5 into 0.5
11.513 * [taylor]: Taking taylor expansion of y in x
11.513 * [backup-simplify]: Simplify y into y
11.513 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
11.513 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
11.513 * [taylor]: Taking taylor expansion of 1.5 in x
11.513 * [backup-simplify]: Simplify 1.5 into 1.5
11.513 * [taylor]: Taking taylor expansion of x in x
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 1 into 1
11.513 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
11.513 * [taylor]: Taking taylor expansion of 0.5 in x
11.513 * [backup-simplify]: Simplify 0.5 into 0.5
11.513 * [taylor]: Taking taylor expansion of y in x
11.513 * [backup-simplify]: Simplify y into y
11.514 * [backup-simplify]: Simplify (* 1.5 0) into 0
11.515 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
11.515 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
11.515 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y))
11.515 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
11.515 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
11.515 * [taylor]: Taking taylor expansion of 0.5 in y
11.515 * [backup-simplify]: Simplify 0.5 into 0.5
11.515 * [taylor]: Taking taylor expansion of y in y
11.515 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify 1 into 1
11.516 * [backup-simplify]: Simplify (* 0.5 0) into 0
11.516 * [backup-simplify]: Simplify (- 0) into 0
11.516 * [backup-simplify]: Simplify 0 into 0
11.518 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5
11.518 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0
11.519 * [backup-simplify]: Simplify (- 0) into 0
11.519 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5
11.519 * [taylor]: Taking taylor expansion of 1.5 in y
11.519 * [backup-simplify]: Simplify 1.5 into 1.5
11.519 * [backup-simplify]: Simplify 1.5 into 1.5
11.521 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
11.522 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.522 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.523 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0
11.524 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0
11.525 * [backup-simplify]: Simplify (- 0) into 0
11.525 * [backup-simplify]: Simplify (+ 0 0) into 0
11.525 * [taylor]: Taking taylor expansion of 0 in y
11.525 * [backup-simplify]: Simplify 0 into 0
11.525 * [backup-simplify]: Simplify 0 into 0
11.525 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
11.527 * [backup-simplify]: Simplify (- 0) into 0
11.527 * [backup-simplify]: Simplify 0 into 0
11.528 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.530 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.530 * [backup-simplify]: Simplify (- 0) into 0
11.530 * [backup-simplify]: Simplify (+ 0 0) into 0
11.530 * [taylor]: Taking taylor expansion of 0 in y
11.530 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y))
11.531 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y)))
11.532 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0
11.532 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
11.532 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
11.532 * [taylor]: Taking taylor expansion of 1.5 in y
11.532 * [backup-simplify]: Simplify 1.5 into 1.5
11.532 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.532 * [taylor]: Taking taylor expansion of x in y
11.532 * [backup-simplify]: Simplify x into x
11.532 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.532 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.532 * [taylor]: Taking taylor expansion of 0.5 in y
11.532 * [backup-simplify]: Simplify 0.5 into 0.5
11.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.532 * [taylor]: Taking taylor expansion of y in y
11.532 * [backup-simplify]: Simplify 0 into 0
11.532 * [backup-simplify]: Simplify 1 into 1
11.533 * [backup-simplify]: Simplify (/ 1 1) into 1
11.533 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
11.533 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
11.533 * [taylor]: Taking taylor expansion of 1.5 in x
11.533 * [backup-simplify]: Simplify 1.5 into 1.5
11.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.533 * [taylor]: Taking taylor expansion of x in x
11.533 * [backup-simplify]: Simplify 0 into 0
11.533 * [backup-simplify]: Simplify 1 into 1
11.534 * [backup-simplify]: Simplify (/ 1 1) into 1
11.534 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.534 * [taylor]: Taking taylor expansion of 0.5 in x
11.534 * [backup-simplify]: Simplify 0.5 into 0.5
11.534 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.534 * [taylor]: Taking taylor expansion of y in x
11.534 * [backup-simplify]: Simplify y into y
11.534 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.534 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
11.534 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
11.534 * [taylor]: Taking taylor expansion of 1.5 in x
11.534 * [backup-simplify]: Simplify 1.5 into 1.5
11.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.534 * [taylor]: Taking taylor expansion of x in x
11.534 * [backup-simplify]: Simplify 0 into 0
11.534 * [backup-simplify]: Simplify 1 into 1
11.535 * [backup-simplify]: Simplify (/ 1 1) into 1
11.535 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.535 * [taylor]: Taking taylor expansion of 0.5 in x
11.535 * [backup-simplify]: Simplify 0.5 into 0.5
11.535 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.535 * [taylor]: Taking taylor expansion of y in x
11.535 * [backup-simplify]: Simplify y into y
11.535 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.536 * [backup-simplify]: Simplify (* 1.5 1) into 1.5
11.537 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5
11.537 * [taylor]: Taking taylor expansion of 1.5 in y
11.537 * [backup-simplify]: Simplify 1.5 into 1.5
11.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.539 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0
11.539 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
11.539 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
11.539 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y)))
11.539 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
11.539 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.539 * [taylor]: Taking taylor expansion of 0.5 in y
11.539 * [backup-simplify]: Simplify 0.5 into 0.5
11.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.539 * [taylor]: Taking taylor expansion of y in y
11.539 * [backup-simplify]: Simplify 0 into 0
11.539 * [backup-simplify]: Simplify 1 into 1
11.540 * [backup-simplify]: Simplify (/ 1 1) into 1
11.540 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
11.541 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.541 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.541 * [backup-simplify]: Simplify 1.5 into 1.5
11.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.544 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0
11.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.545 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
11.545 * [backup-simplify]: Simplify (- 0) into 0
11.546 * [backup-simplify]: Simplify (+ 0 0) into 0
11.546 * [taylor]: Taking taylor expansion of 0 in y
11.546 * [backup-simplify]: Simplify 0 into 0
11.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.555 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
11.556 * [backup-simplify]: Simplify (- 0) into 0
11.556 * [backup-simplify]: Simplify 0 into 0
11.556 * [backup-simplify]: Simplify 0 into 0
11.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.558 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.560 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
11.561 * [backup-simplify]: Simplify (- 0) into 0
11.561 * [backup-simplify]: Simplify (+ 0 0) into 0
11.561 * [taylor]: Taking taylor expansion of 0 in y
11.561 * [backup-simplify]: Simplify 0 into 0
11.562 * [backup-simplify]: Simplify 0 into 0
11.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.564 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
11.564 * [backup-simplify]: Simplify (- 0) into 0
11.564 * [backup-simplify]: Simplify 0 into 0
11.564 * [backup-simplify]: Simplify 0 into 0
11.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.567 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.569 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
11.569 * [backup-simplify]: Simplify (- 0) into 0
11.569 * [backup-simplify]: Simplify (+ 0 0) into 0
11.570 * [taylor]: Taking taylor expansion of 0 in y
11.570 * [backup-simplify]: Simplify 0 into 0
11.570 * [backup-simplify]: Simplify 0 into 0
11.570 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y))
11.571 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 (- x))) (* 0.5 (/ 1 (- y)))) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))
11.571 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0
11.571 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
11.571 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.571 * [taylor]: Taking taylor expansion of 0.5 in y
11.571 * [backup-simplify]: Simplify 0.5 into 0.5
11.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.571 * [taylor]: Taking taylor expansion of y in y
11.571 * [backup-simplify]: Simplify 0 into 0
11.571 * [backup-simplify]: Simplify 1 into 1
11.572 * [backup-simplify]: Simplify (/ 1 1) into 1
11.572 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
11.572 * [taylor]: Taking taylor expansion of 1.5 in y
11.572 * [backup-simplify]: Simplify 1.5 into 1.5
11.572 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.572 * [taylor]: Taking taylor expansion of x in y
11.572 * [backup-simplify]: Simplify x into x
11.572 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.572 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
11.572 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.572 * [taylor]: Taking taylor expansion of 0.5 in x
11.572 * [backup-simplify]: Simplify 0.5 into 0.5
11.572 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.572 * [taylor]: Taking taylor expansion of y in x
11.572 * [backup-simplify]: Simplify y into y
11.572 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.572 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
11.572 * [taylor]: Taking taylor expansion of 1.5 in x
11.572 * [backup-simplify]: Simplify 1.5 into 1.5
11.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.573 * [taylor]: Taking taylor expansion of x in x
11.573 * [backup-simplify]: Simplify 0 into 0
11.573 * [backup-simplify]: Simplify 1 into 1
11.573 * [backup-simplify]: Simplify (/ 1 1) into 1
11.573 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
11.573 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.573 * [taylor]: Taking taylor expansion of 0.5 in x
11.573 * [backup-simplify]: Simplify 0.5 into 0.5
11.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.573 * [taylor]: Taking taylor expansion of y in x
11.574 * [backup-simplify]: Simplify y into y
11.574 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.574 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
11.574 * [taylor]: Taking taylor expansion of 1.5 in x
11.574 * [backup-simplify]: Simplify 1.5 into 1.5
11.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.574 * [taylor]: Taking taylor expansion of x in x
11.574 * [backup-simplify]: Simplify 0 into 0
11.574 * [backup-simplify]: Simplify 1 into 1
11.574 * [backup-simplify]: Simplify (/ 1 1) into 1
11.575 * [backup-simplify]: Simplify (* 1.5 1) into 1.5
11.575 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
11.576 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5)
11.577 * [taylor]: Taking taylor expansion of (- 1.5) in y
11.577 * [taylor]: Taking taylor expansion of 1.5 in y
11.577 * [backup-simplify]: Simplify 1.5 into 1.5
11.577 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
11.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.578 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0
11.579 * [backup-simplify]: Simplify (- 0) into 0
11.579 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y))
11.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.579 * [taylor]: Taking taylor expansion of 0.5 in y
11.579 * [backup-simplify]: Simplify 0.5 into 0.5
11.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.579 * [taylor]: Taking taylor expansion of y in y
11.579 * [backup-simplify]: Simplify 0 into 0
11.579 * [backup-simplify]: Simplify 1 into 1
11.580 * [backup-simplify]: Simplify (/ 1 1) into 1
11.580 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
11.580 * [backup-simplify]: Simplify 0.5 into 0.5
11.581 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
11.581 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
11.582 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.582 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
11.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.584 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0
11.585 * [backup-simplify]: Simplify (- 0) into 0
11.585 * [backup-simplify]: Simplify (+ 0 0) into 0
11.585 * [taylor]: Taking taylor expansion of 0 in y
11.585 * [backup-simplify]: Simplify 0 into 0
11.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.587 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
11.587 * [backup-simplify]: Simplify 0 into 0
11.588 * [backup-simplify]: Simplify (- 0) into 0
11.588 * [backup-simplify]: Simplify 0 into 0
11.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.589 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
11.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.591 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.592 * [backup-simplify]: Simplify (- 0) into 0
11.593 * [backup-simplify]: Simplify (+ 0 0) into 0
11.593 * [taylor]: Taking taylor expansion of 0 in y
11.593 * [backup-simplify]: Simplify 0 into 0
11.593 * [backup-simplify]: Simplify 0 into 0
11.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.595 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
11.595 * [backup-simplify]: Simplify 0 into 0
11.596 * [backup-simplify]: Simplify (- 0) into 0
11.596 * [backup-simplify]: Simplify 0 into 0
11.596 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.598 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
11.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.600 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.601 * [backup-simplify]: Simplify (- 0) into 0
11.601 * [backup-simplify]: Simplify (+ 0 0) into 0
11.601 * [taylor]: Taking taylor expansion of 0 in y
11.601 * [backup-simplify]: Simplify 0 into 0
11.601 * [backup-simplify]: Simplify 0 into 0
11.602 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y))
11.602 * * * [progress]: simplifying candidates
11.603 * [simplify]: Simplifying:
  (fma 1.5 x (- (* y 0.5)))
  (fma (- y) 0.5 (* y 0.5))
  (expm1 (- (* 1.5 x) (* 0.5 y)))
  (log1p (- (* 1.5 x) (* 0.5 y)))
  (- (* 0.5 y))
  (/ (exp (* 1.5 x)) (exp (* 0.5 y)))
  (log (- (* 1.5 x) (* 0.5 y)))
  (exp (- (* 1.5 x) (* 0.5 y)))
  (* (cbrt (- (* 1.5 x) (* 0.5 y))) (cbrt (- (* 1.5 x) (* 0.5 y))))
  (cbrt (- (* 1.5 x) (* 0.5 y)))
  (* (* (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y))) (- (* 1.5 x) (* 0.5 y)))
  (sqrt (- (* 1.5 x) (* 0.5 y)))
  (sqrt (- (* 1.5 x) (* 0.5 y)))
  (- (pow (* 1.5 x) 3) (pow (* 0.5 y) 3))
  (+ (* (* 1.5 x) (* 1.5 x)) (+ (* (* 0.5 y) (* 0.5 y)) (* (* 1.5 x) (* 0.5 y))))
  (- (* 0.5 y))
  (- (* (* 1.5 x) (* 1.5 x)) (* (* 0.5 y) (* 0.5 y)))
  (+ (* 1.5 x) (* 0.5 y))
  (- (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
11.604 * * [simplify]: iteration 0: 36 enodes
11.627 * * [simplify]: iteration 1: 102 enodes
11.694 * * [simplify]: iteration 2: 304 enodes
11.979 * * [simplify]: iteration 3: 918 enodes
13.097 * * [simplify]: iteration 4: 2147 enodes
15.227 * * [simplify]: iteration complete: 5001 enodes
15.227 * * [simplify]: Extracting #0: cost 15 inf + 0
15.229 * * [simplify]: Extracting #1: cost 301 inf + 1
15.239 * * [simplify]: Extracting #2: cost 942 inf + 4100
15.288 * * [simplify]: Extracting #3: cost 770 inf + 72908
15.399 * * [simplify]: Extracting #4: cost 298 inf + 245153
15.538 * * [simplify]: Extracting #5: cost 143 inf + 294612
15.685 * * [simplify]: Extracting #6: cost 17 inf + 374247
15.834 * * [simplify]: Extracting #7: cost 0 inf + 387144
15.995 * [simplify]: Simplified to:
  (- (* x 1.5) (* y 0.5))
  0
  (expm1 (- (* x 1.5) (* y 0.5)))
  (log1p (- (* x 1.5) (* y 0.5)))
  (- (* y 0.5))
  (exp (- (* x 1.5) (* y 0.5)))
  (log (- (* x 1.5) (* y 0.5)))
  (exp (- (* x 1.5) (* y 0.5)))
  (* (cbrt (- (* x 1.5) (* y 0.5))) (cbrt (- (* x 1.5) (* y 0.5))))
  (cbrt (- (* x 1.5) (* y 0.5)))
  (* (- (* x 1.5) (* y 0.5)) (* (- (* x 1.5) (* y 0.5)) (- (* x 1.5) (* y 0.5))))
  (sqrt (- (* x 1.5) (* y 0.5)))
  (sqrt (- (* x 1.5) (* y 0.5)))
  (- (* (* (* x 1.5) (* x 1.5)) (* x 1.5)) (* (* (* y 0.5) (* y 0.5)) (* y 0.5)))
  (fma (* y 0.5) (* x 1.5) (fma (* x 1.5) (* x 1.5) (* (* y 0.5) (* y 0.5))))
  (- (* y 0.5))
  (- (* (* x 1.5) (* x 1.5)) (* (* y 0.5) (* y 0.5)))
  (fma 0.5 y (* x 1.5))
  (- (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
15.996 * * * [progress]: adding candidates to table
16.121 * * [progress]: iteration 3 / 4
16.121 * * * [progress]: picking best candidate
16.128 * * * * [pick]: Picked  #<alt (λ (x y) (fma 1.5 x (- (* 0.5 y))))>
16.128 * * * [progress]: localizing error
16.147 * * * [progress]: generating rewritten candidates
16.147 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
16.149 * * * [progress]: generating series expansions
16.149 * * * * [progress]: [ 1 / 1 ] generating series at (2)
16.149 * [backup-simplify]: Simplify (fma 1.5 x (- (* 0.5 y))) into (fma 1.5 x (- (* 0.5 y)))
16.149 * [approximate]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in (x y) around 0
16.149 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in y
16.149 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y)))
16.149 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
16.149 * [taylor]: Taking taylor expansion of 1.5 in y
16.149 * [backup-simplify]: Simplify 1.5 into 1.5
16.149 * [taylor]: Taking taylor expansion of x in y
16.149 * [backup-simplify]: Simplify x into x
16.150 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
16.150 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
16.150 * [taylor]: Taking taylor expansion of 0.5 in y
16.150 * [backup-simplify]: Simplify 0.5 into 0.5
16.150 * [taylor]: Taking taylor expansion of y in y
16.150 * [backup-simplify]: Simplify 0 into 0
16.150 * [backup-simplify]: Simplify 1 into 1
16.150 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x
16.150 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y)))
16.150 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
16.150 * [taylor]: Taking taylor expansion of 1.5 in x
16.150 * [backup-simplify]: Simplify 1.5 into 1.5
16.150 * [taylor]: Taking taylor expansion of x in x
16.150 * [backup-simplify]: Simplify 0 into 0
16.150 * [backup-simplify]: Simplify 1 into 1
16.150 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x
16.150 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
16.150 * [taylor]: Taking taylor expansion of 0.5 in x
16.150 * [backup-simplify]: Simplify 0.5 into 0.5
16.150 * [taylor]: Taking taylor expansion of y in x
16.150 * [backup-simplify]: Simplify y into y
16.150 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x
16.150 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y)))
16.150 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
16.151 * [taylor]: Taking taylor expansion of 1.5 in x
16.151 * [backup-simplify]: Simplify 1.5 into 1.5
16.151 * [taylor]: Taking taylor expansion of x in x
16.151 * [backup-simplify]: Simplify 0 into 0
16.151 * [backup-simplify]: Simplify 1 into 1
16.151 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x
16.151 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
16.151 * [taylor]: Taking taylor expansion of 0.5 in x
16.151 * [backup-simplify]: Simplify 0.5 into 0.5
16.151 * [taylor]: Taking taylor expansion of y in x
16.151 * [backup-simplify]: Simplify y into y
16.152 * [backup-simplify]: Simplify (* 1.5 0) into 0
16.152 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
16.152 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
16.152 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y))
16.152 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
16.152 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
16.152 * [taylor]: Taking taylor expansion of 0.5 in y
16.152 * [backup-simplify]: Simplify 0.5 into 0.5
16.152 * [taylor]: Taking taylor expansion of y in y
16.152 * [backup-simplify]: Simplify 0 into 0
16.152 * [backup-simplify]: Simplify 1 into 1
16.153 * [backup-simplify]: Simplify (* 0.5 0) into 0
16.153 * [backup-simplify]: Simplify (- 0) into 0
16.153 * [backup-simplify]: Simplify 0 into 0
16.155 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5
16.156 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0
16.156 * [backup-simplify]: Simplify (- 0) into 0
16.156 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5
16.156 * [taylor]: Taking taylor expansion of 1.5 in y
16.157 * [backup-simplify]: Simplify 1.5 into 1.5
16.157 * [backup-simplify]: Simplify 1.5 into 1.5
16.158 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
16.159 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
16.159 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
16.160 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0
16.161 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0
16.162 * [backup-simplify]: Simplify (- 0) into 0
16.162 * [backup-simplify]: Simplify (+ 0 0) into 0
16.162 * [taylor]: Taking taylor expansion of 0 in y
16.162 * [backup-simplify]: Simplify 0 into 0
16.162 * [backup-simplify]: Simplify 0 into 0
16.162 * [backup-simplify]: Simplify 0 into 0
16.163 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
16.164 * [backup-simplify]: Simplify (- 0) into 0
16.164 * [backup-simplify]: Simplify 0 into 0
16.165 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
16.167 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
16.167 * [backup-simplify]: Simplify (- 0) into 0
16.167 * [backup-simplify]: Simplify (+ 0 0) into 0
16.168 * [taylor]: Taking taylor expansion of 0 in y
16.168 * [backup-simplify]: Simplify 0 into 0
16.168 * [backup-simplify]: Simplify 0 into 0
16.168 * [backup-simplify]: Simplify 0 into 0
16.168 * [backup-simplify]: Simplify 0 into 0
16.168 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y))
16.169 * [backup-simplify]: Simplify (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) into (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y))))
16.169 * [approximate]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in (x y) around 0
16.169 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in y
16.169 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y))))
16.169 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
16.169 * [taylor]: Taking taylor expansion of 1.5 in y
16.169 * [backup-simplify]: Simplify 1.5 into 1.5
16.169 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.169 * [taylor]: Taking taylor expansion of x in y
16.169 * [backup-simplify]: Simplify x into x
16.169 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.169 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
16.169 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
16.169 * [taylor]: Taking taylor expansion of 0.5 in y
16.169 * [backup-simplify]: Simplify 0.5 into 0.5
16.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.169 * [taylor]: Taking taylor expansion of y in y
16.169 * [backup-simplify]: Simplify 0 into 0
16.169 * [backup-simplify]: Simplify 1 into 1
16.170 * [backup-simplify]: Simplify (/ 1 1) into 1
16.170 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x
16.170 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y))))
16.170 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
16.170 * [taylor]: Taking taylor expansion of 1.5 in x
16.170 * [backup-simplify]: Simplify 1.5 into 1.5
16.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.171 * [taylor]: Taking taylor expansion of x in x
16.171 * [backup-simplify]: Simplify 0 into 0
16.171 * [backup-simplify]: Simplify 1 into 1
16.171 * [backup-simplify]: Simplify (/ 1 1) into 1
16.171 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x
16.171 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
16.171 * [taylor]: Taking taylor expansion of 0.5 in x
16.171 * [backup-simplify]: Simplify 0.5 into 0.5
16.171 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.171 * [taylor]: Taking taylor expansion of y in x
16.171 * [backup-simplify]: Simplify y into y
16.171 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.171 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x
16.172 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y))))
16.172 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
16.172 * [taylor]: Taking taylor expansion of 1.5 in x
16.172 * [backup-simplify]: Simplify 1.5 into 1.5
16.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.172 * [taylor]: Taking taylor expansion of x in x
16.172 * [backup-simplify]: Simplify 0 into 0
16.172 * [backup-simplify]: Simplify 1 into 1
16.173 * [backup-simplify]: Simplify (/ 1 1) into 1
16.173 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x
16.173 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
16.173 * [taylor]: Taking taylor expansion of 0.5 in x
16.173 * [backup-simplify]: Simplify 0.5 into 0.5
16.173 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.173 * [taylor]: Taking taylor expansion of y in x
16.173 * [backup-simplify]: Simplify y into y
16.173 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.174 * [backup-simplify]: Simplify (* 1.5 1) into 1.5
16.174 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5
16.174 * [taylor]: Taking taylor expansion of 1.5 in y
16.174 * [backup-simplify]: Simplify 1.5 into 1.5
16.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.176 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0
16.176 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
16.176 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y)))
16.177 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y)))
16.177 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
16.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
16.177 * [taylor]: Taking taylor expansion of 0.5 in y
16.177 * [backup-simplify]: Simplify 0.5 into 0.5
16.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.177 * [taylor]: Taking taylor expansion of y in y
16.177 * [backup-simplify]: Simplify 0 into 0
16.177 * [backup-simplify]: Simplify 1 into 1
16.178 * [backup-simplify]: Simplify (/ 1 1) into 1
16.178 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
16.178 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
16.179 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
16.179 * [backup-simplify]: Simplify 1.5 into 1.5
16.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.181 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0
16.181 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
16.182 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
16.182 * [backup-simplify]: Simplify (- 0) into 0
16.183 * [backup-simplify]: Simplify (+ 0 0) into 0
16.183 * [taylor]: Taking taylor expansion of 0 in y
16.183 * [backup-simplify]: Simplify 0 into 0
16.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.184 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
16.185 * [backup-simplify]: Simplify (- 0) into 0
16.185 * [backup-simplify]: Simplify 0 into 0
16.185 * [backup-simplify]: Simplify 0 into 0
16.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.187 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.189 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
16.190 * [backup-simplify]: Simplify (- 0) into 0
16.190 * [backup-simplify]: Simplify (+ 0 0) into 0
16.190 * [taylor]: Taking taylor expansion of 0 in y
16.190 * [backup-simplify]: Simplify 0 into 0
16.190 * [backup-simplify]: Simplify 0 into 0
16.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.192 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
16.193 * [backup-simplify]: Simplify (- 0) into 0
16.193 * [backup-simplify]: Simplify 0 into 0
16.193 * [backup-simplify]: Simplify 0 into 0
16.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.202 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.204 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
16.205 * [backup-simplify]: Simplify (- 0) into 0
16.205 * [backup-simplify]: Simplify (+ 0 0) into 0
16.205 * [taylor]: Taking taylor expansion of 0 in y
16.205 * [backup-simplify]: Simplify 0 into 0
16.205 * [backup-simplify]: Simplify 0 into 0
16.206 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y))
16.206 * [backup-simplify]: Simplify (fma 1.5 (/ 1 (- x)) (- (* 0.5 (/ 1 (- y))))) into (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y)))
16.207 * [approximate]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in (x y) around 0
16.207 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in y
16.207 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y)))
16.207 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in y
16.207 * [taylor]: Taking taylor expansion of 1.5 in y
16.207 * [backup-simplify]: Simplify 1.5 into 1.5
16.207 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.207 * [taylor]: Taking taylor expansion of -1 in y
16.207 * [backup-simplify]: Simplify -1 into -1
16.207 * [taylor]: Taking taylor expansion of x in y
16.207 * [backup-simplify]: Simplify x into x
16.207 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
16.207 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
16.207 * [taylor]: Taking taylor expansion of 0.5 in y
16.207 * [backup-simplify]: Simplify 0.5 into 0.5
16.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.207 * [taylor]: Taking taylor expansion of y in y
16.207 * [backup-simplify]: Simplify 0 into 0
16.207 * [backup-simplify]: Simplify 1 into 1
16.208 * [backup-simplify]: Simplify (/ 1 1) into 1
16.208 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x
16.208 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y)))
16.208 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x
16.208 * [taylor]: Taking taylor expansion of 1.5 in x
16.208 * [backup-simplify]: Simplify 1.5 into 1.5
16.208 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.208 * [taylor]: Taking taylor expansion of -1 in x
16.208 * [backup-simplify]: Simplify -1 into -1
16.209 * [taylor]: Taking taylor expansion of x in x
16.209 * [backup-simplify]: Simplify 0 into 0
16.209 * [backup-simplify]: Simplify 1 into 1
16.209 * [backup-simplify]: Simplify (/ -1 1) into -1
16.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
16.209 * [taylor]: Taking taylor expansion of 0.5 in x
16.209 * [backup-simplify]: Simplify 0.5 into 0.5
16.209 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.209 * [taylor]: Taking taylor expansion of y in x
16.209 * [backup-simplify]: Simplify y into y
16.210 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.210 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x
16.210 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y)))
16.210 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x
16.210 * [taylor]: Taking taylor expansion of 1.5 in x
16.210 * [backup-simplify]: Simplify 1.5 into 1.5
16.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.210 * [taylor]: Taking taylor expansion of -1 in x
16.210 * [backup-simplify]: Simplify -1 into -1
16.210 * [taylor]: Taking taylor expansion of x in x
16.210 * [backup-simplify]: Simplify 0 into 0
16.210 * [backup-simplify]: Simplify 1 into 1
16.211 * [backup-simplify]: Simplify (/ -1 1) into -1
16.211 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
16.211 * [taylor]: Taking taylor expansion of 0.5 in x
16.211 * [backup-simplify]: Simplify 0.5 into 0.5
16.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.211 * [taylor]: Taking taylor expansion of y in x
16.211 * [backup-simplify]: Simplify y into y
16.211 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.212 * [backup-simplify]: Simplify (* 1.5 -1) into -1.5
16.213 * [backup-simplify]: Simplify (+ -1.5 0) into (- 1.5)
16.213 * [taylor]: Taking taylor expansion of (- 1.5) in y
16.213 * [taylor]: Taking taylor expansion of 1.5 in y
16.213 * [backup-simplify]: Simplify 1.5 into 1.5
16.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
16.215 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 -1)) into 0
16.215 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
16.215 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y))
16.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
16.215 * [taylor]: Taking taylor expansion of 0.5 in y
16.215 * [backup-simplify]: Simplify 0.5 into 0.5
16.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.215 * [taylor]: Taking taylor expansion of y in y
16.215 * [backup-simplify]: Simplify 0 into 0
16.215 * [backup-simplify]: Simplify 1 into 1
16.216 * [backup-simplify]: Simplify (/ 1 1) into 1
16.216 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
16.216 * [backup-simplify]: Simplify 0.5 into 0.5
16.217 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
16.217 * [backup-simplify]: Simplify (- 1.5) into (- 1.5)
16.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.219 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 -1))) into 0
16.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
16.220 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
16.221 * [backup-simplify]: Simplify (+ 0 0) into 0
16.221 * [taylor]: Taking taylor expansion of 0 in y
16.221 * [backup-simplify]: Simplify 0 into 0
16.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.223 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
16.223 * [backup-simplify]: Simplify 0 into 0
16.223 * [backup-simplify]: Simplify (- 0) into 0
16.223 * [backup-simplify]: Simplify 0 into 0
16.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.226 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
16.227 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.228 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
16.228 * [backup-simplify]: Simplify (+ 0 0) into 0
16.228 * [taylor]: Taking taylor expansion of 0 in y
16.228 * [backup-simplify]: Simplify 0 into 0
16.229 * [backup-simplify]: Simplify 0 into 0
16.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.231 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
16.231 * [backup-simplify]: Simplify 0 into 0
16.232 * [backup-simplify]: Simplify (- 0) into 0
16.232 * [backup-simplify]: Simplify 0 into 0
16.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.235 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
16.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
16.237 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
16.238 * [backup-simplify]: Simplify (+ 0 0) into 0
16.238 * [taylor]: Taking taylor expansion of 0 in y
16.238 * [backup-simplify]: Simplify 0 into 0
16.238 * [backup-simplify]: Simplify 0 into 0
16.239 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y))
16.239 * * * [progress]: simplifying candidates
16.240 * [simplify]: Simplifying:
  (expm1 (fma 1.5 x (- (* 0.5 y))))
  (log1p (fma 1.5 x (- (* 0.5 y))))
  (* 1.5 x)
  (log (fma 1.5 x (- (* 0.5 y))))
  (exp (fma 1.5 x (- (* 0.5 y))))
  (* (cbrt (fma 1.5 x (- (* 0.5 y)))) (cbrt (fma 1.5 x (- (* 0.5 y)))))
  (cbrt (fma 1.5 x (- (* 0.5 y))))
  (* (* (fma 1.5 x (- (* 0.5 y))) (fma 1.5 x (- (* 0.5 y)))) (fma 1.5 x (- (* 0.5 y))))
  (sqrt (fma 1.5 x (- (* 0.5 y))))
  (sqrt (fma 1.5 x (- (* 0.5 y))))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
16.240 * * [simplify]: iteration 0: 18 enodes
16.249 * * [simplify]: iteration 1: 29 enodes
16.262 * * [simplify]: iteration 2: 55 enodes
16.299 * * [simplify]: iteration 3: 190 enodes
16.557 * * [simplify]: iteration 4: 806 enodes
19.926 * * [simplify]: iteration 5: 3990 enodes
22.641 * * [simplify]: iteration complete: 5000 enodes
22.641 * * [simplify]: Extracting #0: cost 10 inf + 0
22.642 * * [simplify]: Extracting #1: cost 136 inf + 0
22.649 * * [simplify]: Extracting #2: cost 500 inf + 212
22.677 * * [simplify]: Extracting #3: cost 391 inf + 27565
22.782 * * [simplify]: Extracting #4: cost 43 inf + 122268
22.917 * * [simplify]: Extracting #5: cost 1 inf + 138555
23.058 * * [simplify]: Extracting #6: cost 0 inf + 138918
23.199 * [simplify]: Simplified to:
  (expm1 (- (* x 1.5) (* 0.5 y)))
  (log1p (- (* x 1.5) (* 0.5 y)))
  (* x 1.5)
  (log (- (* x 1.5) (* 0.5 y)))
  (exp (- (* x 1.5) (* 0.5 y)))
  (* (cbrt (- (* x 1.5) (* 0.5 y))) (cbrt (- (* x 1.5) (* 0.5 y))))
  (cbrt (- (* x 1.5) (* 0.5 y)))
  (* (* (- (* x 1.5) (* 0.5 y)) (- (* x 1.5) (* 0.5 y))) (- (* x 1.5) (* 0.5 y)))
  (sqrt (- (* x 1.5) (* 0.5 y)))
  (sqrt (- (* x 1.5) (* 0.5 y)))
  (- (* x 1.5) (* 0.5 y))
  (- (* x 1.5) (* 0.5 y))
  (- (* x 1.5) (* 0.5 y))
23.200 * * * [progress]: adding candidates to table
23.294 * [progress]: [Phase 3 of 3] Extracting.
23.302 * [simplify]: Simplifying:
  (fma 1.5 x (- (* 0.5 y)))
23.302 * * [simplify]: iteration 0: 7 enodes
23.304 * * [simplify]: iteration 1: 12 enodes
23.306 * * [simplify]: iteration 2: 14 enodes
23.309 * * [simplify]: iteration complete: 14 enodes
23.310 * * [simplify]: Extracting #0: cost 1 inf + 0
23.310 * * [simplify]: Extracting #1: cost 4 inf + 0
23.310 * * [simplify]: Extracting #2: cost 7 inf + 2
23.310 * * [simplify]: Extracting #3: cost 4 inf + 45
23.310 * * [simplify]: Extracting #4: cost 0 inf + 349
23.310 * [simplify]: Simplified to:
  (fma 1.5 x (- (* 0.5 y)))
24.730 * [regime-testing]: Baseline error score: 0
24.749 * [regime-testing]: Oracle error score: 0
24.753 * [regime-testing]: End program error score: 0
24.918 * [regime-testing]: Target error score: 0.08683397455941007