50.218 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.045 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.046 * [simplify]: Simplifying: (+ x (/ (- x y) 2.0)) 0.046 * * [simplify]: iteration 0: 6 enodes 0.060 * * [simplify]: iteration 1: 12 enodes 0.070 * * [simplify]: iteration 2: 19 enodes 0.079 * * [simplify]: iteration 3: 29 enodes 0.092 * * [simplify]: iteration 4: 39 enodes 0.108 * * [simplify]: iteration 5: 54 enodes 0.129 * * [simplify]: iteration 6: 94 enodes 0.161 * * [simplify]: iteration 7: 155 enodes 0.220 * * [simplify]: iteration 8: 234 enodes 0.316 * * [simplify]: iteration 9: 414 enodes 0.503 * * [simplify]: iteration 10: 505 enodes 0.583 * * [simplify]: iteration 11: 547 enodes 0.651 * * [simplify]: iteration 12: 608 enodes 0.729 * * [simplify]: iteration 13: 653 enodes 0.794 * * [simplify]: iteration 14: 704 enodes 0.866 * * [simplify]: iteration 15: 740 enodes 0.903 * * [simplify]: iteration 16: 772 enodes 0.954 * * [simplify]: iteration 17: 805 enodes 1.022 * * [simplify]: iteration 18: 841 enodes 1.077 * * [simplify]: iteration 19: 876 enodes 1.155 * * [simplify]: iteration 20: 909 enodes 1.213 * * [simplify]: iteration 21: 942 enodes 1.299 * * [simplify]: iteration 22: 976 enodes 1.382 * * [simplify]: iteration 23: 1011 enodes 1.464 * * [simplify]: iteration 24: 1046 enodes 1.550 * * [simplify]: iteration 25: 1078 enodes 1.639 * * [simplify]: iteration 26: 1112 enodes 1.705 * * [simplify]: iteration 27: 1149 enodes 1.767 * * [simplify]: iteration 28: 1182 enodes 1.827 * * [simplify]: iteration 29: 1214 enodes 1.876 * * [simplify]: iteration 30: 1252 enodes 1.931 * * [simplify]: iteration 31: 1287 enodes 1.993 * * [simplify]: iteration 32: 1320 enodes 2.081 * * [simplify]: iteration 33: 1353 enodes 2.143 * * [simplify]: iteration 34: 1387 enodes 2.194 * * [simplify]: iteration 35: 1422 enodes 2.272 * * [simplify]: iteration 36: 1457 enodes 2.358 * * [simplify]: iteration 37: 1489 enodes 2.414 * * [simplify]: iteration 38: 1523 enodes 2.501 * * [simplify]: iteration 39: 1560 enodes 2.573 * * [simplify]: iteration 40: 1593 enodes 2.624 * * [simplify]: iteration 41: 1625 enodes 2.701 * * [simplify]: iteration 42: 1661 enodes 2.751 * * [simplify]: iteration 43: 1696 enodes 2.790 * * [simplify]: iteration 44: 1729 enodes 2.834 * * [simplify]: iteration 45: 1762 enodes 2.897 * * [simplify]: iteration 46: 1796 enodes 2.977 * * [simplify]: iteration 47: 1831 enodes 3.054 * * [simplify]: iteration 48: 1866 enodes 3.138 * * [simplify]: iteration 49: 1898 enodes 3.221 * * [simplify]: iteration 50: 1932 enodes 3.289 * * [simplify]: iteration 51: 1969 enodes 3.344 * * [simplify]: iteration 52: 2002 enodes 3.430 * * [simplify]: iteration 53: 2034 enodes 3.483 * * [simplify]: iteration 54: 2072 enodes 3.543 * * [simplify]: iteration 55: 2107 enodes 3.587 * * [simplify]: iteration 56: 2140 enodes 3.657 * * [simplify]: iteration 57: 2173 enodes 3.743 * * [simplify]: iteration 58: 2207 enodes 3.808 * * [simplify]: iteration 59: 2242 enodes 3.851 * * [simplify]: iteration 60: 2277 enodes 3.923 * * [simplify]: iteration 61: 2309 enodes 3.978 * * [simplify]: iteration 62: 2343 enodes 4.038 * * [simplify]: iteration 63: 2380 enodes 4.093 * * [simplify]: iteration 64: 2413 enodes 4.166 * * [simplify]: iteration 65: 2445 enodes 4.221 * * [simplify]: iteration 66: 2481 enodes 4.273 * * [simplify]: iteration 67: 2516 enodes 4.326 * * [simplify]: iteration 68: 2549 enodes 4.376 * * [simplify]: iteration 69: 2582 enodes 4.424 * * [simplify]: iteration 70: 2616 enodes 4.473 * * [simplify]: iteration 71: 2651 enodes 4.516 * * [simplify]: iteration 72: 2686 enodes 4.582 * * [simplify]: iteration 73: 2718 enodes 4.642 * * [simplify]: iteration 74: 2752 enodes 4.698 * * [simplify]: iteration 75: 2789 enodes 4.735 * * [simplify]: iteration 76: 2822 enodes 4.799 * * [simplify]: iteration 77: 2854 enodes 4.856 * * [simplify]: iteration 78: 2892 enodes 4.932 * * [simplify]: iteration 79: 2927 enodes 4.979 * * [simplify]: iteration 80: 2960 enodes 5.046 * * [simplify]: iteration 81: 2993 enodes 5.121 * * [simplify]: iteration 82: 3027 enodes 5.185 * * [simplify]: iteration 83: 3062 enodes 5.245 * * [simplify]: iteration 84: 3097 enodes 5.294 * * [simplify]: iteration 85: 3129 enodes 5.348 * * [simplify]: iteration 86: 3163 enodes 5.408 * * [simplify]: iteration 87: 3200 enodes 5.460 * * [simplify]: iteration 88: 3233 enodes 5.504 * * [simplify]: iteration 89: 3265 enodes 5.568 * * [simplify]: iteration 90: 3301 enodes 5.614 * * [simplify]: iteration 91: 3336 enodes 5.662 * * [simplify]: iteration 92: 3369 enodes 5.721 * * [simplify]: iteration 93: 3402 enodes 5.762 * * [simplify]: iteration 94: 3436 enodes 5.804 * * [simplify]: iteration 95: 3471 enodes 5.857 * * [simplify]: iteration 96: 3506 enodes 5.932 * * [simplify]: iteration 97: 3538 enodes 5.980 * * [simplify]: iteration 98: 3572 enodes 6.023 * * [simplify]: iteration 99: 3609 enodes 6.081 * * [simplify]: iteration 100: 3642 enodes 6.168 * * [simplify]: iteration 101: 3674 enodes 6.226 * * [simplify]: iteration 102: 3714 enodes 6.282 * * [simplify]: iteration 103: 3749 enodes 6.329 * * [simplify]: iteration 104: 3782 enodes 6.418 * * [simplify]: iteration 105: 3815 enodes 6.465 * * [simplify]: iteration 106: 3849 enodes 6.529 * * [simplify]: iteration 107: 3884 enodes 6.568 * * [simplify]: iteration 108: 3919 enodes 6.611 * * [simplify]: iteration 109: 3951 enodes 6.664 * * [simplify]: iteration 110: 3985 enodes 6.729 * * [simplify]: iteration 111: 4022 enodes 6.784 * * [simplify]: iteration 112: 4055 enodes 6.847 * * [simplify]: iteration 113: 4087 enodes 6.905 * * [simplify]: iteration 114: 4123 enodes 6.946 * * [simplify]: iteration 115: 4158 enodes 6.991 * * [simplify]: iteration 116: 4191 enodes 7.041 * * [simplify]: iteration 117: 4224 enodes 7.113 * * [simplify]: iteration 118: 4258 enodes 7.153 * * [simplify]: iteration 119: 4293 enodes 7.192 * * [simplify]: iteration 120: 4328 enodes 7.245 * * [simplify]: iteration 121: 4360 enodes 7.310 * * [simplify]: iteration 122: 4394 enodes 7.353 * * [simplify]: iteration 123: 4431 enodes 7.393 * * [simplify]: iteration 124: 4464 enodes 7.450 * * [simplify]: iteration 125: 4496 enodes 7.501 * * [simplify]: iteration 126: 4532 enodes 7.547 * * [simplify]: iteration 127: 4567 enodes 7.593 * * [simplify]: iteration 128: 4600 enodes 7.679 * * [simplify]: iteration 129: 4633 enodes 7.761 * * [simplify]: iteration 130: 4667 enodes 7.812 * * [simplify]: iteration 131: 4702 enodes 7.863 * * [simplify]: iteration 132: 4737 enodes 7.919 * * [simplify]: iteration 133: 4769 enodes 7.985 * * [simplify]: iteration 134: 4803 enodes 8.060 * * [simplify]: iteration 135: 4840 enodes 8.113 * * [simplify]: iteration 136: 4873 enodes 8.164 * * [simplify]: iteration 137: 4905 enodes 8.215 * * [simplify]: iteration 138: 4941 enodes 8.255 * * [simplify]: iteration 139: 4976 enodes 8.288 * * [simplify]: iteration complete: 5000 enodes 8.289 * * [simplify]: Extracting #0: cost 1 inf + 0 8.289 * * [simplify]: Extracting #1: cost 16 inf + 0 8.289 * * [simplify]: Extracting #2: cost 21 inf + 42 8.289 * * [simplify]: Extracting #3: cost 27 inf + 44 8.289 * * [simplify]: Extracting #4: cost 3 inf + 2177 8.290 * * [simplify]: Extracting #5: cost 0 inf + 2425 8.291 * [simplify]: Simplified to: (+ x (/ (- x y) 2.0)) 8.292 * * [progress]: iteration 1 / 4 8.292 * * * [progress]: picking best candidate 8.301 * * * * [pick]: Picked # 8.301 * * * [progress]: localizing error 8.319 * * * [progress]: generating rewritten candidates 8.319 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.354 * * * [progress]: generating series expansions 8.354 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.354 * [backup-simplify]: Simplify (+ x (/ (- x y) 2.0)) into (- (* 1.5 x) (* 0.5 y)) 8.354 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 8.354 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 8.354 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 8.354 * [taylor]: Taking taylor expansion of 1.5 in y 8.354 * [backup-simplify]: Simplify 1.5 into 1.5 8.355 * [taylor]: Taking taylor expansion of x in y 8.355 * [backup-simplify]: Simplify x into x 8.355 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 8.355 * [taylor]: Taking taylor expansion of 0.5 in y 8.355 * [backup-simplify]: Simplify 0.5 into 0.5 8.355 * [taylor]: Taking taylor expansion of y in y 8.355 * [backup-simplify]: Simplify 0 into 0 8.355 * [backup-simplify]: Simplify 1 into 1 8.355 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 8.355 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 8.355 * [taylor]: Taking taylor expansion of 1.5 in x 8.355 * [backup-simplify]: Simplify 1.5 into 1.5 8.355 * [taylor]: Taking taylor expansion of x in x 8.355 * [backup-simplify]: Simplify 0 into 0 8.355 * [backup-simplify]: Simplify 1 into 1 8.355 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 8.355 * [taylor]: Taking taylor expansion of 0.5 in x 8.355 * [backup-simplify]: Simplify 0.5 into 0.5 8.355 * [taylor]: Taking taylor expansion of y in x 8.355 * [backup-simplify]: Simplify y into y 8.355 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 8.355 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 8.355 * [taylor]: Taking taylor expansion of 1.5 in x 8.355 * [backup-simplify]: Simplify 1.5 into 1.5 8.355 * [taylor]: Taking taylor expansion of x in x 8.355 * [backup-simplify]: Simplify 0 into 0 8.355 * [backup-simplify]: Simplify 1 into 1 8.355 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 8.355 * [taylor]: Taking taylor expansion of 0.5 in x 8.355 * [backup-simplify]: Simplify 0.5 into 0.5 8.355 * [taylor]: Taking taylor expansion of y in x 8.355 * [backup-simplify]: Simplify y into y 8.356 * [backup-simplify]: Simplify (* 1.5 0) into 0 8.356 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 8.356 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 8.356 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 8.356 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 8.356 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 8.356 * [taylor]: Taking taylor expansion of 0.5 in y 8.356 * [backup-simplify]: Simplify 0.5 into 0.5 8.356 * [taylor]: Taking taylor expansion of y in y 8.356 * [backup-simplify]: Simplify 0 into 0 8.356 * [backup-simplify]: Simplify 1 into 1 8.357 * [backup-simplify]: Simplify (* 0.5 0) into 0 8.357 * [backup-simplify]: Simplify (- 0) into 0 8.357 * [backup-simplify]: Simplify 0 into 0 8.358 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 8.358 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 8.359 * [backup-simplify]: Simplify (- 0) into 0 8.359 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 8.359 * [taylor]: Taking taylor expansion of 1.5 in y 8.359 * [backup-simplify]: Simplify 1.5 into 1.5 8.359 * [backup-simplify]: Simplify 1.5 into 1.5 8.361 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 8.361 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 8.362 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 8.363 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 8.364 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 8.365 * [backup-simplify]: Simplify (- 0) into 0 8.365 * [backup-simplify]: Simplify (+ 0 0) into 0 8.365 * [taylor]: Taking taylor expansion of 0 in y 8.365 * [backup-simplify]: Simplify 0 into 0 8.365 * [backup-simplify]: Simplify 0 into 0 8.365 * [backup-simplify]: Simplify 0 into 0 8.367 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 8.367 * [backup-simplify]: Simplify (- 0) into 0 8.367 * [backup-simplify]: Simplify 0 into 0 8.369 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.370 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 8.371 * [backup-simplify]: Simplify (- 0) into 0 8.371 * [backup-simplify]: Simplify (+ 0 0) into 0 8.371 * [taylor]: Taking taylor expansion of 0 in y 8.371 * [backup-simplify]: Simplify 0 into 0 8.371 * [backup-simplify]: Simplify 0 into 0 8.372 * [backup-simplify]: Simplify 0 into 0 8.372 * [backup-simplify]: Simplify 0 into 0 8.373 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 8.373 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 x) (/ 1 y)) 2.0)) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) 8.373 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 8.373 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 8.373 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 8.373 * [taylor]: Taking taylor expansion of 1.5 in y 8.373 * [backup-simplify]: Simplify 1.5 into 1.5 8.373 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.373 * [taylor]: Taking taylor expansion of x in y 8.374 * [backup-simplify]: Simplify x into x 8.374 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.374 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 8.374 * [taylor]: Taking taylor expansion of 0.5 in y 8.374 * [backup-simplify]: Simplify 0.5 into 0.5 8.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.374 * [taylor]: Taking taylor expansion of y in y 8.374 * [backup-simplify]: Simplify 0 into 0 8.374 * [backup-simplify]: Simplify 1 into 1 8.374 * [backup-simplify]: Simplify (/ 1 1) into 1 8.375 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 8.375 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 8.375 * [taylor]: Taking taylor expansion of 1.5 in x 8.375 * [backup-simplify]: Simplify 1.5 into 1.5 8.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.375 * [taylor]: Taking taylor expansion of x in x 8.375 * [backup-simplify]: Simplify 0 into 0 8.375 * [backup-simplify]: Simplify 1 into 1 8.375 * [backup-simplify]: Simplify (/ 1 1) into 1 8.375 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 8.375 * [taylor]: Taking taylor expansion of 0.5 in x 8.375 * [backup-simplify]: Simplify 0.5 into 0.5 8.376 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.376 * [taylor]: Taking taylor expansion of y in x 8.376 * [backup-simplify]: Simplify y into y 8.376 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.376 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 8.376 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 8.376 * [taylor]: Taking taylor expansion of 1.5 in x 8.376 * [backup-simplify]: Simplify 1.5 into 1.5 8.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.376 * [taylor]: Taking taylor expansion of x in x 8.376 * [backup-simplify]: Simplify 0 into 0 8.376 * [backup-simplify]: Simplify 1 into 1 8.377 * [backup-simplify]: Simplify (/ 1 1) into 1 8.377 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 8.377 * [taylor]: Taking taylor expansion of 0.5 in x 8.377 * [backup-simplify]: Simplify 0.5 into 0.5 8.377 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.377 * [taylor]: Taking taylor expansion of y in x 8.377 * [backup-simplify]: Simplify y into y 8.377 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.378 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 8.378 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 8.378 * [taylor]: Taking taylor expansion of 1.5 in y 8.378 * [backup-simplify]: Simplify 1.5 into 1.5 8.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.380 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 8.380 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 8.381 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 8.381 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 8.381 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 8.381 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 8.381 * [taylor]: Taking taylor expansion of 0.5 in y 8.381 * [backup-simplify]: Simplify 0.5 into 0.5 8.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.381 * [taylor]: Taking taylor expansion of y in y 8.381 * [backup-simplify]: Simplify 0 into 0 8.381 * [backup-simplify]: Simplify 1 into 1 8.382 * [backup-simplify]: Simplify (/ 1 1) into 1 8.382 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 8.383 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 8.383 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 8.383 * [backup-simplify]: Simplify 1.5 into 1.5 8.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.386 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 8.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.387 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 8.388 * [backup-simplify]: Simplify (- 0) into 0 8.388 * [backup-simplify]: Simplify (+ 0 0) into 0 8.388 * [taylor]: Taking taylor expansion of 0 in y 8.388 * [backup-simplify]: Simplify 0 into 0 8.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.390 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 8.390 * [backup-simplify]: Simplify (- 0) into 0 8.390 * [backup-simplify]: Simplify 0 into 0 8.390 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.392 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.393 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 8.393 * [backup-simplify]: Simplify (- 0) into 0 8.393 * [backup-simplify]: Simplify (+ 0 0) into 0 8.393 * [taylor]: Taking taylor expansion of 0 in y 8.393 * [backup-simplify]: Simplify 0 into 0 8.393 * [backup-simplify]: Simplify 0 into 0 8.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.395 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 8.395 * [backup-simplify]: Simplify (- 0) into 0 8.395 * [backup-simplify]: Simplify 0 into 0 8.395 * [backup-simplify]: Simplify 0 into 0 8.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.397 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.397 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.398 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 8.398 * [backup-simplify]: Simplify (- 0) into 0 8.399 * [backup-simplify]: Simplify (+ 0 0) into 0 8.399 * [taylor]: Taking taylor expansion of 0 in y 8.399 * [backup-simplify]: Simplify 0 into 0 8.399 * [backup-simplify]: Simplify 0 into 0 8.399 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 8.400 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- x)) (/ 1 (- y))) 2.0)) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) 8.400 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 8.400 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 8.400 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 8.400 * [taylor]: Taking taylor expansion of 0.5 in y 8.400 * [backup-simplify]: Simplify 0.5 into 0.5 8.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.400 * [taylor]: Taking taylor expansion of y in y 8.400 * [backup-simplify]: Simplify 0 into 0 8.400 * [backup-simplify]: Simplify 1 into 1 8.400 * [backup-simplify]: Simplify (/ 1 1) into 1 8.400 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 8.400 * [taylor]: Taking taylor expansion of 1.5 in y 8.400 * [backup-simplify]: Simplify 1.5 into 1.5 8.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.400 * [taylor]: Taking taylor expansion of x in y 8.401 * [backup-simplify]: Simplify x into x 8.401 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.401 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 8.401 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 8.401 * [taylor]: Taking taylor expansion of 0.5 in x 8.401 * [backup-simplify]: Simplify 0.5 into 0.5 8.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.401 * [taylor]: Taking taylor expansion of y in x 8.401 * [backup-simplify]: Simplify y into y 8.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.401 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 8.401 * [taylor]: Taking taylor expansion of 1.5 in x 8.401 * [backup-simplify]: Simplify 1.5 into 1.5 8.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.401 * [taylor]: Taking taylor expansion of x in x 8.401 * [backup-simplify]: Simplify 0 into 0 8.401 * [backup-simplify]: Simplify 1 into 1 8.401 * [backup-simplify]: Simplify (/ 1 1) into 1 8.401 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 8.401 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 8.401 * [taylor]: Taking taylor expansion of 0.5 in x 8.401 * [backup-simplify]: Simplify 0.5 into 0.5 8.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.401 * [taylor]: Taking taylor expansion of y in x 8.401 * [backup-simplify]: Simplify y into y 8.402 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.402 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 8.402 * [taylor]: Taking taylor expansion of 1.5 in x 8.402 * [backup-simplify]: Simplify 1.5 into 1.5 8.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.402 * [taylor]: Taking taylor expansion of x in x 8.402 * [backup-simplify]: Simplify 0 into 0 8.402 * [backup-simplify]: Simplify 1 into 1 8.402 * [backup-simplify]: Simplify (/ 1 1) into 1 8.402 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 8.403 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 8.403 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5) 8.403 * [taylor]: Taking taylor expansion of (- 1.5) in y 8.403 * [taylor]: Taking taylor expansion of 1.5 in y 8.403 * [backup-simplify]: Simplify 1.5 into 1.5 8.403 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 8.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.404 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 8.405 * [backup-simplify]: Simplify (- 0) into 0 8.405 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 8.405 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 8.405 * [taylor]: Taking taylor expansion of 0.5 in y 8.405 * [backup-simplify]: Simplify 0.5 into 0.5 8.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.405 * [taylor]: Taking taylor expansion of y in y 8.405 * [backup-simplify]: Simplify 0 into 0 8.405 * [backup-simplify]: Simplify 1 into 1 8.405 * [backup-simplify]: Simplify (/ 1 1) into 1 8.406 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 8.406 * [backup-simplify]: Simplify 0.5 into 0.5 8.406 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 8.406 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 8.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.407 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 8.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.408 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 8.409 * [backup-simplify]: Simplify (- 0) into 0 8.409 * [backup-simplify]: Simplify (+ 0 0) into 0 8.409 * [taylor]: Taking taylor expansion of 0 in y 8.409 * [backup-simplify]: Simplify 0 into 0 8.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.410 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 8.410 * [backup-simplify]: Simplify 0 into 0 8.413 * [backup-simplify]: Simplify (- 0) into 0 8.413 * [backup-simplify]: Simplify 0 into 0 8.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.414 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 8.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.416 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.416 * [backup-simplify]: Simplify (- 0) into 0 8.416 * [backup-simplify]: Simplify (+ 0 0) into 0 8.416 * [taylor]: Taking taylor expansion of 0 in y 8.416 * [backup-simplify]: Simplify 0 into 0 8.416 * [backup-simplify]: Simplify 0 into 0 8.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.418 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 8.418 * [backup-simplify]: Simplify 0 into 0 8.418 * [backup-simplify]: Simplify (- 0) into 0 8.418 * [backup-simplify]: Simplify 0 into 0 8.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.420 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 8.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.421 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.422 * [backup-simplify]: Simplify (- 0) into 0 8.422 * [backup-simplify]: Simplify (+ 0 0) into 0 8.422 * [taylor]: Taking taylor expansion of 0 in y 8.422 * [backup-simplify]: Simplify 0 into 0 8.422 * [backup-simplify]: Simplify 0 into 0 8.423 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 8.423 * * * [progress]: simplifying candidates 8.423 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #real (real->posit16 (+ x (/ (- x y) 2.0)))))> 8.423 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 8.423 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 8.424 * * * * [progress]: [ 18 / 22 ] simplifiying candidate # 8.424 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 8.424 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 8.424 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 8.424 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 8.424 * [simplify]: Simplifying: (real->posit16 (+ x (/ (- x y) 2.0))) (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)) 8.425 * * [simplify]: iteration 0: 37 enodes 8.452 * * [simplify]: iteration 1: 99 enodes 8.528 * * [simplify]: iteration 2: 268 enodes 8.784 * * [simplify]: iteration 3: 807 enodes 10.508 * * [simplify]: iteration 4: 3639 enodes 13.146 * * [simplify]: iteration complete: 5000 enodes 13.146 * * [simplify]: Extracting #0: cost 16 inf + 0 13.147 * * [simplify]: Extracting #1: cost 187 inf + 0 13.151 * * [simplify]: Extracting #2: cost 680 inf + 444 13.167 * * [simplify]: Extracting #3: cost 600 inf + 41285 13.231 * * [simplify]: Extracting #4: cost 104 inf + 161762 13.317 * * [simplify]: Extracting #5: cost 0 inf + 189347 13.396 * [simplify]: Simplified to: (real->posit16 (+ x (/ (- x y) 2.0))) (expm1 (+ x (/ (- x y) 2.0))) (log1p (+ x (/ (- x y) 2.0))) (exp (+ x (/ (- 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))) (fma (/ (- x y) 2.0) (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (* (* x x) x)) (fma (- (/ (- x y) 2.0) x) (/ (- x y) 2.0) (* x x)) (- (* 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)) 13.397 * * * [progress]: adding candidates to table 13.662 * * [progress]: iteration 2 / 4 13.662 * * * [progress]: picking best candidate 13.723 * * * * [pick]: Picked # 13.723 * * * [progress]: localizing error 13.738 * * * [progress]: generating rewritten candidates 13.738 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 13.757 * * * [progress]: generating series expansions 13.757 * * * * [progress]: [ 1 / 1 ] generating series at (2) 13.757 * [backup-simplify]: Simplify (- (* 1.5 x) (* 0.5 y)) into (- (* 1.5 x) (* 0.5 y)) 13.758 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 13.758 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 13.758 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 13.758 * [taylor]: Taking taylor expansion of 1.5 in y 13.758 * [backup-simplify]: Simplify 1.5 into 1.5 13.758 * [taylor]: Taking taylor expansion of x in y 13.758 * [backup-simplify]: Simplify x into x 13.758 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 13.758 * [taylor]: Taking taylor expansion of 0.5 in y 13.758 * [backup-simplify]: Simplify 0.5 into 0.5 13.758 * [taylor]: Taking taylor expansion of y in y 13.758 * [backup-simplify]: Simplify 0 into 0 13.758 * [backup-simplify]: Simplify 1 into 1 13.758 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 13.758 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 13.758 * [taylor]: Taking taylor expansion of 1.5 in x 13.758 * [backup-simplify]: Simplify 1.5 into 1.5 13.758 * [taylor]: Taking taylor expansion of x in x 13.758 * [backup-simplify]: Simplify 0 into 0 13.758 * [backup-simplify]: Simplify 1 into 1 13.758 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 13.758 * [taylor]: Taking taylor expansion of 0.5 in x 13.758 * [backup-simplify]: Simplify 0.5 into 0.5 13.758 * [taylor]: Taking taylor expansion of y in x 13.758 * [backup-simplify]: Simplify y into y 13.758 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 13.758 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 13.758 * [taylor]: Taking taylor expansion of 1.5 in x 13.758 * [backup-simplify]: Simplify 1.5 into 1.5 13.758 * [taylor]: Taking taylor expansion of x in x 13.758 * [backup-simplify]: Simplify 0 into 0 13.758 * [backup-simplify]: Simplify 1 into 1 13.758 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 13.758 * [taylor]: Taking taylor expansion of 0.5 in x 13.758 * [backup-simplify]: Simplify 0.5 into 0.5 13.758 * [taylor]: Taking taylor expansion of y in x 13.758 * [backup-simplify]: Simplify y into y 13.759 * [backup-simplify]: Simplify (* 1.5 0) into 0 13.759 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 13.759 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 13.759 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 13.759 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 13.759 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 13.759 * [taylor]: Taking taylor expansion of 0.5 in y 13.759 * [backup-simplify]: Simplify 0.5 into 0.5 13.759 * [taylor]: Taking taylor expansion of y in y 13.759 * [backup-simplify]: Simplify 0 into 0 13.759 * [backup-simplify]: Simplify 1 into 1 13.760 * [backup-simplify]: Simplify (* 0.5 0) into 0 13.760 * [backup-simplify]: Simplify (- 0) into 0 13.760 * [backup-simplify]: Simplify 0 into 0 13.761 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 13.761 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 13.762 * [backup-simplify]: Simplify (- 0) into 0 13.762 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 13.762 * [taylor]: Taking taylor expansion of 1.5 in y 13.762 * [backup-simplify]: Simplify 1.5 into 1.5 13.762 * [backup-simplify]: Simplify 1.5 into 1.5 13.763 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 13.764 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.764 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.765 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 13.766 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 13.766 * [backup-simplify]: Simplify (- 0) into 0 13.766 * [backup-simplify]: Simplify (+ 0 0) into 0 13.766 * [taylor]: Taking taylor expansion of 0 in y 13.767 * [backup-simplify]: Simplify 0 into 0 13.767 * [backup-simplify]: Simplify 0 into 0 13.767 * [backup-simplify]: Simplify 0 into 0 13.768 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 13.768 * [backup-simplify]: Simplify (- 0) into 0 13.768 * [backup-simplify]: Simplify 0 into 0 13.770 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.772 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 13.772 * [backup-simplify]: Simplify (- 0) into 0 13.772 * [backup-simplify]: Simplify (+ 0 0) into 0 13.773 * [taylor]: Taking taylor expansion of 0 in y 13.773 * [backup-simplify]: Simplify 0 into 0 13.773 * [backup-simplify]: Simplify 0 into 0 13.773 * [backup-simplify]: Simplify 0 into 0 13.773 * [backup-simplify]: Simplify 0 into 0 13.774 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 13.774 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) 13.774 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 13.774 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 13.774 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 13.774 * [taylor]: Taking taylor expansion of 1.5 in y 13.774 * [backup-simplify]: Simplify 1.5 into 1.5 13.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.774 * [taylor]: Taking taylor expansion of x in y 13.774 * [backup-simplify]: Simplify x into x 13.774 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.774 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.774 * [taylor]: Taking taylor expansion of 0.5 in y 13.775 * [backup-simplify]: Simplify 0.5 into 0.5 13.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.775 * [taylor]: Taking taylor expansion of y in y 13.775 * [backup-simplify]: Simplify 0 into 0 13.775 * [backup-simplify]: Simplify 1 into 1 13.775 * [backup-simplify]: Simplify (/ 1 1) into 1 13.775 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 13.776 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 13.776 * [taylor]: Taking taylor expansion of 1.5 in x 13.776 * [backup-simplify]: Simplify 1.5 into 1.5 13.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.776 * [taylor]: Taking taylor expansion of x in x 13.776 * [backup-simplify]: Simplify 0 into 0 13.776 * [backup-simplify]: Simplify 1 into 1 13.776 * [backup-simplify]: Simplify (/ 1 1) into 1 13.777 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.777 * [taylor]: Taking taylor expansion of 0.5 in x 13.777 * [backup-simplify]: Simplify 0.5 into 0.5 13.777 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.777 * [taylor]: Taking taylor expansion of y in x 13.777 * [backup-simplify]: Simplify y into y 13.777 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.777 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 13.777 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 13.777 * [taylor]: Taking taylor expansion of 1.5 in x 13.777 * [backup-simplify]: Simplify 1.5 into 1.5 13.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.777 * [taylor]: Taking taylor expansion of x in x 13.777 * [backup-simplify]: Simplify 0 into 0 13.777 * [backup-simplify]: Simplify 1 into 1 13.778 * [backup-simplify]: Simplify (/ 1 1) into 1 13.778 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.778 * [taylor]: Taking taylor expansion of 0.5 in x 13.778 * [backup-simplify]: Simplify 0.5 into 0.5 13.778 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.778 * [taylor]: Taking taylor expansion of y in x 13.778 * [backup-simplify]: Simplify y into y 13.778 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.779 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 13.779 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 13.779 * [taylor]: Taking taylor expansion of 1.5 in y 13.779 * [backup-simplify]: Simplify 1.5 into 1.5 13.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.780 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 13.780 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 13.781 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 13.781 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 13.781 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 13.781 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.781 * [taylor]: Taking taylor expansion of 0.5 in y 13.781 * [backup-simplify]: Simplify 0.5 into 0.5 13.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.781 * [taylor]: Taking taylor expansion of y in y 13.781 * [backup-simplify]: Simplify 0 into 0 13.781 * [backup-simplify]: Simplify 1 into 1 13.781 * [backup-simplify]: Simplify (/ 1 1) into 1 13.782 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 13.782 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.782 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.782 * [backup-simplify]: Simplify 1.5 into 1.5 13.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.784 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 13.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.784 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 13.784 * [backup-simplify]: Simplify (- 0) into 0 13.785 * [backup-simplify]: Simplify (+ 0 0) into 0 13.785 * [taylor]: Taking taylor expansion of 0 in y 13.785 * [backup-simplify]: Simplify 0 into 0 13.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.787 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 13.787 * [backup-simplify]: Simplify (- 0) into 0 13.787 * [backup-simplify]: Simplify 0 into 0 13.787 * [backup-simplify]: Simplify 0 into 0 13.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.790 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.792 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 13.792 * [backup-simplify]: Simplify (- 0) into 0 13.793 * [backup-simplify]: Simplify (+ 0 0) into 0 13.793 * [taylor]: Taking taylor expansion of 0 in y 13.793 * [backup-simplify]: Simplify 0 into 0 13.793 * [backup-simplify]: Simplify 0 into 0 13.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.795 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 13.796 * [backup-simplify]: Simplify (- 0) into 0 13.796 * [backup-simplify]: Simplify 0 into 0 13.796 * [backup-simplify]: Simplify 0 into 0 13.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.797 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.799 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 13.799 * [backup-simplify]: Simplify (- 0) into 0 13.799 * [backup-simplify]: Simplify (+ 0 0) into 0 13.799 * [taylor]: Taking taylor expansion of 0 in y 13.799 * [backup-simplify]: Simplify 0 into 0 13.799 * [backup-simplify]: Simplify 0 into 0 13.800 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 13.800 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 (- x))) (* 0.5 (/ 1 (- y)))) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) 13.800 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 13.800 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 13.800 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.800 * [taylor]: Taking taylor expansion of 0.5 in y 13.800 * [backup-simplify]: Simplify 0.5 into 0.5 13.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.800 * [taylor]: Taking taylor expansion of y in y 13.800 * [backup-simplify]: Simplify 0 into 0 13.800 * [backup-simplify]: Simplify 1 into 1 13.801 * [backup-simplify]: Simplify (/ 1 1) into 1 13.801 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 13.801 * [taylor]: Taking taylor expansion of 1.5 in y 13.801 * [backup-simplify]: Simplify 1.5 into 1.5 13.801 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.801 * [taylor]: Taking taylor expansion of x in y 13.801 * [backup-simplify]: Simplify x into x 13.801 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.801 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 13.801 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.801 * [taylor]: Taking taylor expansion of 0.5 in x 13.801 * [backup-simplify]: Simplify 0.5 into 0.5 13.801 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.801 * [taylor]: Taking taylor expansion of y in x 13.801 * [backup-simplify]: Simplify y into y 13.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.801 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 13.801 * [taylor]: Taking taylor expansion of 1.5 in x 13.801 * [backup-simplify]: Simplify 1.5 into 1.5 13.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.801 * [taylor]: Taking taylor expansion of x in x 13.801 * [backup-simplify]: Simplify 0 into 0 13.801 * [backup-simplify]: Simplify 1 into 1 13.802 * [backup-simplify]: Simplify (/ 1 1) into 1 13.802 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 13.802 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.802 * [taylor]: Taking taylor expansion of 0.5 in x 13.802 * [backup-simplify]: Simplify 0.5 into 0.5 13.802 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.802 * [taylor]: Taking taylor expansion of y in x 13.802 * [backup-simplify]: Simplify y into y 13.802 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.802 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 13.802 * [taylor]: Taking taylor expansion of 1.5 in x 13.802 * [backup-simplify]: Simplify 1.5 into 1.5 13.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.802 * [taylor]: Taking taylor expansion of x in x 13.802 * [backup-simplify]: Simplify 0 into 0 13.802 * [backup-simplify]: Simplify 1 into 1 13.802 * [backup-simplify]: Simplify (/ 1 1) into 1 13.803 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 13.803 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 13.804 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5) 13.804 * [taylor]: Taking taylor expansion of (- 1.5) in y 13.804 * [taylor]: Taking taylor expansion of 1.5 in y 13.804 * [backup-simplify]: Simplify 1.5 into 1.5 13.804 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 13.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.805 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 13.805 * [backup-simplify]: Simplify (- 0) into 0 13.805 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 13.805 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.805 * [taylor]: Taking taylor expansion of 0.5 in y 13.805 * [backup-simplify]: Simplify 0.5 into 0.5 13.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.805 * [taylor]: Taking taylor expansion of y in y 13.805 * [backup-simplify]: Simplify 0 into 0 13.805 * [backup-simplify]: Simplify 1 into 1 13.806 * [backup-simplify]: Simplify (/ 1 1) into 1 13.806 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 13.806 * [backup-simplify]: Simplify 0.5 into 0.5 13.806 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 13.807 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 13.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.807 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 13.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.809 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 13.809 * [backup-simplify]: Simplify (- 0) into 0 13.809 * [backup-simplify]: Simplify (+ 0 0) into 0 13.809 * [taylor]: Taking taylor expansion of 0 in y 13.809 * [backup-simplify]: Simplify 0 into 0 13.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.810 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 13.810 * [backup-simplify]: Simplify 0 into 0 13.810 * [backup-simplify]: Simplify (- 0) into 0 13.810 * [backup-simplify]: Simplify 0 into 0 13.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.811 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 13.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.813 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.813 * [backup-simplify]: Simplify (- 0) into 0 13.813 * [backup-simplify]: Simplify (+ 0 0) into 0 13.813 * [taylor]: Taking taylor expansion of 0 in y 13.813 * [backup-simplify]: Simplify 0 into 0 13.814 * [backup-simplify]: Simplify 0 into 0 13.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.815 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 13.815 * [backup-simplify]: Simplify 0 into 0 13.815 * [backup-simplify]: Simplify (- 0) into 0 13.815 * [backup-simplify]: Simplify 0 into 0 13.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.817 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 13.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.818 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.819 * [backup-simplify]: Simplify (- 0) into 0 13.819 * [backup-simplify]: Simplify (+ 0 0) into 0 13.819 * [taylor]: Taking taylor expansion of 0 in y 13.819 * [backup-simplify]: Simplify 0 into 0 13.819 * [backup-simplify]: Simplify 0 into 0 13.820 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 13.820 * * * [progress]: simplifying candidates 13.820 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #real (real->posit16 (- (* 1.5 x) (* 0.5 y)))))> 13.820 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 16 / 20 ] simplifiying candidate # 13.820 * * * * [progress]: [ 17 / 20 ] simplifiying candidate # 13.821 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 13.821 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 13.821 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 13.821 * [simplify]: Simplifying: (real->posit16 (- (* 1.5 x) (* 0.5 y))) (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)) 13.821 * * [simplify]: iteration 0: 37 enodes 13.865 * * [simplify]: iteration 1: 104 enodes 13.960 * * [simplify]: iteration 2: 323 enodes 14.313 * * [simplify]: iteration 3: 928 enodes 15.443 * * [simplify]: iteration 4: 2157 enodes 17.991 * * [simplify]: iteration complete: 5003 enodes 17.991 * * [simplify]: Extracting #0: cost 16 inf + 0 17.992 * * [simplify]: Extracting #1: cost 289 inf + 1 17.999 * * [simplify]: Extracting #2: cost 840 inf + 7617 18.028 * * [simplify]: Extracting #3: cost 712 inf + 65826 18.105 * * [simplify]: Extracting #4: cost 347 inf + 192520 18.230 * * [simplify]: Extracting #5: cost 110 inf + 337429 18.341 * * [simplify]: Extracting #6: cost 14 inf + 367363 18.462 * * [simplify]: Extracting #7: cost 0 inf + 370367 18.553 * [simplify]: Simplified to: (real->posit16 (- (* 1.5 x) (* 0.5 y))) (- (* 1.5 x) (* 0.5 y)) 0 (expm1 (- (* 1.5 x) (* 0.5 y))) (log1p (- (* 1.5 x) (* 0.5 y))) (- (* 0.5 y)) (exp (- (* 1.5 x) (* 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))) (- (* (* 1.5 x) (* (* 1.5 x) (* 1.5 x))) (* (* 0.5 y) (* (* 0.5 y) (* 0.5 y)))) (fma (* 0.5 y) (* 0.5 y) (* x (* (fma 1.5 x (* 0.5 y)) 1.5))) (- (* 0.5 y)) (- (* (* 1.5 x) (* 1.5 x)) (* (* 0.5 y) (* 0.5 y))) (fma 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)) 18.553 * * * [progress]: adding candidates to table 18.747 * * [progress]: iteration 3 / 4 18.747 * * * [progress]: picking best candidate 18.764 * * * * [pick]: Picked # 18.764 * * * [progress]: localizing error 18.794 * * * [progress]: generating rewritten candidates 18.794 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 18.797 * * * [progress]: generating series expansions 18.797 * * * * [progress]: [ 1 / 1 ] generating series at (2) 18.798 * [backup-simplify]: Simplify (fma 1.5 x (- (* 0.5 y))) into (fma 1.5 x (- (* 0.5 y))) 18.798 * [approximate]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in (x y) around 0 18.798 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in y 18.798 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 18.798 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 18.798 * [taylor]: Taking taylor expansion of 1.5 in y 18.798 * [backup-simplify]: Simplify 1.5 into 1.5 18.798 * [taylor]: Taking taylor expansion of x in y 18.798 * [backup-simplify]: Simplify x into x 18.798 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 18.798 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 18.798 * [taylor]: Taking taylor expansion of 0.5 in y 18.798 * [backup-simplify]: Simplify 0.5 into 0.5 18.798 * [taylor]: Taking taylor expansion of y in y 18.798 * [backup-simplify]: Simplify 0 into 0 18.798 * [backup-simplify]: Simplify 1 into 1 18.799 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x 18.799 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 18.799 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 18.799 * [taylor]: Taking taylor expansion of 1.5 in x 18.799 * [backup-simplify]: Simplify 1.5 into 1.5 18.799 * [taylor]: Taking taylor expansion of x in x 18.799 * [backup-simplify]: Simplify 0 into 0 18.799 * [backup-simplify]: Simplify 1 into 1 18.799 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x 18.799 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 18.799 * [taylor]: Taking taylor expansion of 0.5 in x 18.799 * [backup-simplify]: Simplify 0.5 into 0.5 18.799 * [taylor]: Taking taylor expansion of y in x 18.799 * [backup-simplify]: Simplify y into y 18.799 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x 18.799 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 18.799 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 18.799 * [taylor]: Taking taylor expansion of 1.5 in x 18.799 * [backup-simplify]: Simplify 1.5 into 1.5 18.800 * [taylor]: Taking taylor expansion of x in x 18.800 * [backup-simplify]: Simplify 0 into 0 18.800 * [backup-simplify]: Simplify 1 into 1 18.800 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x 18.800 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 18.800 * [taylor]: Taking taylor expansion of 0.5 in x 18.800 * [backup-simplify]: Simplify 0.5 into 0.5 18.800 * [taylor]: Taking taylor expansion of y in x 18.800 * [backup-simplify]: Simplify y into y 18.801 * [backup-simplify]: Simplify (* 1.5 0) into 0 18.801 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 18.801 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 18.801 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 18.801 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 18.801 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 18.801 * [taylor]: Taking taylor expansion of 0.5 in y 18.801 * [backup-simplify]: Simplify 0.5 into 0.5 18.802 * [taylor]: Taking taylor expansion of y in y 18.802 * [backup-simplify]: Simplify 0 into 0 18.802 * [backup-simplify]: Simplify 1 into 1 18.802 * [backup-simplify]: Simplify (* 0.5 0) into 0 18.803 * [backup-simplify]: Simplify (- 0) into 0 18.803 * [backup-simplify]: Simplify 0 into 0 18.805 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 18.805 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 18.806 * [backup-simplify]: Simplify (- 0) into 0 18.806 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 18.806 * [taylor]: Taking taylor expansion of 1.5 in y 18.806 * [backup-simplify]: Simplify 1.5 into 1.5 18.806 * [backup-simplify]: Simplify 1.5 into 1.5 18.808 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 18.809 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 18.809 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 18.811 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 18.812 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 18.812 * [backup-simplify]: Simplify (- 0) into 0 18.813 * [backup-simplify]: Simplify (+ 0 0) into 0 18.813 * [taylor]: Taking taylor expansion of 0 in y 18.813 * [backup-simplify]: Simplify 0 into 0 18.813 * [backup-simplify]: Simplify 0 into 0 18.813 * [backup-simplify]: Simplify 0 into 0 18.814 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 18.815 * [backup-simplify]: Simplify (- 0) into 0 18.815 * [backup-simplify]: Simplify 0 into 0 18.816 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 18.818 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 18.818 * [backup-simplify]: Simplify (- 0) into 0 18.819 * [backup-simplify]: Simplify (+ 0 0) into 0 18.819 * [taylor]: Taking taylor expansion of 0 in y 18.819 * [backup-simplify]: Simplify 0 into 0 18.819 * [backup-simplify]: Simplify 0 into 0 18.819 * [backup-simplify]: Simplify 0 into 0 18.819 * [backup-simplify]: Simplify 0 into 0 18.820 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 18.820 * [backup-simplify]: Simplify (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) into (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) 18.820 * [approximate]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in (x y) around 0 18.820 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in y 18.820 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 18.820 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 18.820 * [taylor]: Taking taylor expansion of 1.5 in y 18.820 * [backup-simplify]: Simplify 1.5 into 1.5 18.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 18.820 * [taylor]: Taking taylor expansion of x in y 18.820 * [backup-simplify]: Simplify x into x 18.820 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 18.820 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 18.820 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 18.821 * [taylor]: Taking taylor expansion of 0.5 in y 18.821 * [backup-simplify]: Simplify 0.5 into 0.5 18.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.821 * [taylor]: Taking taylor expansion of y in y 18.821 * [backup-simplify]: Simplify 0 into 0 18.821 * [backup-simplify]: Simplify 1 into 1 18.821 * [backup-simplify]: Simplify (/ 1 1) into 1 18.821 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x 18.821 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 18.821 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 18.821 * [taylor]: Taking taylor expansion of 1.5 in x 18.821 * [backup-simplify]: Simplify 1.5 into 1.5 18.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.821 * [taylor]: Taking taylor expansion of x in x 18.821 * [backup-simplify]: Simplify 0 into 0 18.821 * [backup-simplify]: Simplify 1 into 1 18.822 * [backup-simplify]: Simplify (/ 1 1) into 1 18.822 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x 18.822 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 18.822 * [taylor]: Taking taylor expansion of 0.5 in x 18.822 * [backup-simplify]: Simplify 0.5 into 0.5 18.822 * [taylor]: Taking taylor expansion of (/ 1 y) in x 18.822 * [taylor]: Taking taylor expansion of y in x 18.822 * [backup-simplify]: Simplify y into y 18.822 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 18.822 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x 18.822 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 18.822 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 18.822 * [taylor]: Taking taylor expansion of 1.5 in x 18.822 * [backup-simplify]: Simplify 1.5 into 1.5 18.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.822 * [taylor]: Taking taylor expansion of x in x 18.822 * [backup-simplify]: Simplify 0 into 0 18.822 * [backup-simplify]: Simplify 1 into 1 18.823 * [backup-simplify]: Simplify (/ 1 1) into 1 18.823 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x 18.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 18.823 * [taylor]: Taking taylor expansion of 0.5 in x 18.823 * [backup-simplify]: Simplify 0.5 into 0.5 18.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 18.823 * [taylor]: Taking taylor expansion of y in x 18.823 * [backup-simplify]: Simplify y into y 18.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 18.823 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 18.824 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 18.824 * [taylor]: Taking taylor expansion of 1.5 in y 18.824 * [backup-simplify]: Simplify 1.5 into 1.5 18.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.825 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 18.825 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 18.825 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 18.825 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 18.825 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 18.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 18.825 * [taylor]: Taking taylor expansion of 0.5 in y 18.825 * [backup-simplify]: Simplify 0.5 into 0.5 18.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.825 * [taylor]: Taking taylor expansion of y in y 18.825 * [backup-simplify]: Simplify 0 into 0 18.825 * [backup-simplify]: Simplify 1 into 1 18.826 * [backup-simplify]: Simplify (/ 1 1) into 1 18.826 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 18.826 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 18.827 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 18.827 * [backup-simplify]: Simplify 1.5 into 1.5 18.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.828 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 18.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 18.829 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 18.829 * [backup-simplify]: Simplify (- 0) into 0 18.829 * [backup-simplify]: Simplify (+ 0 0) into 0 18.829 * [taylor]: Taking taylor expansion of 0 in y 18.829 * [backup-simplify]: Simplify 0 into 0 18.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.830 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 18.830 * [backup-simplify]: Simplify (- 0) into 0 18.830 * [backup-simplify]: Simplify 0 into 0 18.831 * [backup-simplify]: Simplify 0 into 0 18.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.832 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.833 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 18.834 * [backup-simplify]: Simplify (- 0) into 0 18.834 * [backup-simplify]: Simplify (+ 0 0) into 0 18.834 * [taylor]: Taking taylor expansion of 0 in y 18.834 * [backup-simplify]: Simplify 0 into 0 18.834 * [backup-simplify]: Simplify 0 into 0 18.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.835 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 18.835 * [backup-simplify]: Simplify (- 0) into 0 18.835 * [backup-simplify]: Simplify 0 into 0 18.836 * [backup-simplify]: Simplify 0 into 0 18.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.837 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.839 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 18.839 * [backup-simplify]: Simplify (- 0) into 0 18.839 * [backup-simplify]: Simplify (+ 0 0) into 0 18.839 * [taylor]: Taking taylor expansion of 0 in y 18.839 * [backup-simplify]: Simplify 0 into 0 18.839 * [backup-simplify]: Simplify 0 into 0 18.840 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 18.840 * [backup-simplify]: Simplify (fma 1.5 (/ 1 (- x)) (- (* 0.5 (/ 1 (- y))))) into (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) 18.840 * [approximate]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in (x y) around 0 18.840 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in y 18.840 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 18.840 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in y 18.840 * [taylor]: Taking taylor expansion of 1.5 in y 18.840 * [backup-simplify]: Simplify 1.5 into 1.5 18.841 * [taylor]: Taking taylor expansion of (/ -1 x) in y 18.841 * [taylor]: Taking taylor expansion of -1 in y 18.841 * [backup-simplify]: Simplify -1 into -1 18.841 * [taylor]: Taking taylor expansion of x in y 18.841 * [backup-simplify]: Simplify x into x 18.841 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 18.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 18.841 * [taylor]: Taking taylor expansion of 0.5 in y 18.841 * [backup-simplify]: Simplify 0.5 into 0.5 18.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.841 * [taylor]: Taking taylor expansion of y in y 18.841 * [backup-simplify]: Simplify 0 into 0 18.841 * [backup-simplify]: Simplify 1 into 1 18.841 * [backup-simplify]: Simplify (/ 1 1) into 1 18.841 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x 18.841 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 18.841 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x 18.841 * [taylor]: Taking taylor expansion of 1.5 in x 18.841 * [backup-simplify]: Simplify 1.5 into 1.5 18.841 * [taylor]: Taking taylor expansion of (/ -1 x) in x 18.842 * [taylor]: Taking taylor expansion of -1 in x 18.842 * [backup-simplify]: Simplify -1 into -1 18.842 * [taylor]: Taking taylor expansion of x in x 18.842 * [backup-simplify]: Simplify 0 into 0 18.842 * [backup-simplify]: Simplify 1 into 1 18.842 * [backup-simplify]: Simplify (/ -1 1) into -1 18.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 18.842 * [taylor]: Taking taylor expansion of 0.5 in x 18.842 * [backup-simplify]: Simplify 0.5 into 0.5 18.842 * [taylor]: Taking taylor expansion of (/ 1 y) in x 18.842 * [taylor]: Taking taylor expansion of y in x 18.842 * [backup-simplify]: Simplify y into y 18.842 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 18.842 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x 18.842 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 18.842 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x 18.842 * [taylor]: Taking taylor expansion of 1.5 in x 18.842 * [backup-simplify]: Simplify 1.5 into 1.5 18.842 * [taylor]: Taking taylor expansion of (/ -1 x) in x 18.842 * [taylor]: Taking taylor expansion of -1 in x 18.842 * [backup-simplify]: Simplify -1 into -1 18.842 * [taylor]: Taking taylor expansion of x in x 18.842 * [backup-simplify]: Simplify 0 into 0 18.842 * [backup-simplify]: Simplify 1 into 1 18.843 * [backup-simplify]: Simplify (/ -1 1) into -1 18.843 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 18.843 * [taylor]: Taking taylor expansion of 0.5 in x 18.843 * [backup-simplify]: Simplify 0.5 into 0.5 18.843 * [taylor]: Taking taylor expansion of (/ 1 y) in x 18.843 * [taylor]: Taking taylor expansion of y in x 18.843 * [backup-simplify]: Simplify y into y 18.843 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 18.843 * [backup-simplify]: Simplify (* 1.5 -1) into -1.5 18.844 * [backup-simplify]: Simplify (+ -1.5 0) into (- 1.5) 18.844 * [taylor]: Taking taylor expansion of (- 1.5) in y 18.844 * [taylor]: Taking taylor expansion of 1.5 in y 18.844 * [backup-simplify]: Simplify 1.5 into 1.5 18.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.845 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 -1)) into 0 18.845 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 18.845 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y)) 18.845 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 18.845 * [taylor]: Taking taylor expansion of 0.5 in y 18.845 * [backup-simplify]: Simplify 0.5 into 0.5 18.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 18.845 * [taylor]: Taking taylor expansion of y in y 18.845 * [backup-simplify]: Simplify 0 into 0 18.845 * [backup-simplify]: Simplify 1 into 1 18.846 * [backup-simplify]: Simplify (/ 1 1) into 1 18.846 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 18.846 * [backup-simplify]: Simplify 0.5 into 0.5 18.846 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 18.847 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 18.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.848 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 -1))) into 0 18.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 18.849 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 18.849 * [backup-simplify]: Simplify (+ 0 0) into 0 18.849 * [taylor]: Taking taylor expansion of 0 in y 18.849 * [backup-simplify]: Simplify 0 into 0 18.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.850 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 18.850 * [backup-simplify]: Simplify 0 into 0 18.850 * [backup-simplify]: Simplify (- 0) into 0 18.850 * [backup-simplify]: Simplify 0 into 0 18.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.852 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 18.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.854 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 18.855 * [backup-simplify]: Simplify (+ 0 0) into 0 18.855 * [taylor]: Taking taylor expansion of 0 in y 18.855 * [backup-simplify]: Simplify 0 into 0 18.855 * [backup-simplify]: Simplify 0 into 0 18.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.858 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 18.858 * [backup-simplify]: Simplify 0 into 0 18.858 * [backup-simplify]: Simplify (- 0) into 0 18.858 * [backup-simplify]: Simplify 0 into 0 18.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.862 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 18.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 18.865 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 18.865 * [backup-simplify]: Simplify (+ 0 0) into 0 18.865 * [taylor]: Taking taylor expansion of 0 in y 18.865 * [backup-simplify]: Simplify 0 into 0 18.865 * [backup-simplify]: Simplify 0 into 0 18.867 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 18.867 * * * [progress]: simplifying candidates 18.867 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #real (real->posit16 (fma 1.5 x (- (* 0.5 y))))))> 18.867 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 18.867 * * * * [progress]: [ 11 / 14 ] simplifiying candidate # 18.868 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 18.868 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 18.868 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 18.868 * [simplify]: Simplifying: (real->posit16 (fma 1.5 x (- (* 0.5 y)))) (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)) 18.869 * * [simplify]: iteration 0: 19 enodes 18.892 * * [simplify]: iteration 1: 30 enodes 18.925 * * [simplify]: iteration 2: 59 enodes 18.986 * * [simplify]: iteration 3: 195 enodes 19.291 * * [simplify]: iteration 4: 784 enodes 22.243 * * [simplify]: iteration 5: 3939 enodes 26.186 * * [simplify]: iteration complete: 5000 enodes 26.186 * * [simplify]: Extracting #0: cost 11 inf + 0 26.188 * * [simplify]: Extracting #1: cost 266 inf + 0 26.193 * * [simplify]: Extracting #2: cost 528 inf + 3076 26.228 * * [simplify]: Extracting #3: cost 268 inf + 54815 26.309 * * [simplify]: Extracting #4: cost 33 inf + 122629 26.412 * * [simplify]: Extracting #5: cost 1 inf + 135616 26.506 * * [simplify]: Extracting #6: cost 0 inf + 135951 26.613 * [simplify]: Simplified to: (real->posit16 (- (* 1.5 x) (* 0.5 y))) (expm1 (- (* 1.5 x) (* 0.5 y))) (log1p (- (* 1.5 x) (* 0.5 y))) (* 1.5 x) (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))) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 26.614 * * * [progress]: adding candidates to table 26.742 * [progress]: [Phase 3 of 3] Extracting. 26.760 * [simplify]: Simplifying: (fma 1.5 x (- (* 0.5 y))) 26.760 * * [simplify]: iteration 0: 7 enodes 26.763 * * [simplify]: iteration 1: 12 enodes 26.767 * * [simplify]: iteration 2: 14 enodes 26.771 * * [simplify]: iteration complete: 14 enodes 26.771 * * [simplify]: Extracting #0: cost 1 inf + 0 26.771 * * [simplify]: Extracting #1: cost 4 inf + 0 26.771 * * [simplify]: Extracting #2: cost 7 inf + 2 26.771 * * [simplify]: Extracting #3: cost 0 inf + 349 26.772 * [simplify]: Simplified to: (fma 1.5 x (- (* 0.5 y))) 28.535 * [regime-testing]: Baseline error score: 0 28.558 * [regime-testing]: Oracle error score: 0 28.558 * [regime-testing]: End program error score: 0 28.828 * [regime-testing]: Target error score: 0.08187359552389155