49.928 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.042 * [simplify]: Simplifying: (+ x (/ (- x y) 2.0)) 0.042 * * [simplify]: iteration 0: 6 enodes 0.044 * * [simplify]: iteration 1: 12 enodes 0.048 * * [simplify]: iteration 2: 19 enodes 0.054 * * [simplify]: iteration 3: 29 enodes 0.063 * * [simplify]: iteration 4: 39 enodes 0.074 * * [simplify]: iteration 5: 54 enodes 0.090 * * [simplify]: iteration 6: 94 enodes 0.114 * * [simplify]: iteration 7: 155 enodes 0.160 * * [simplify]: iteration 8: 234 enodes 0.210 * * [simplify]: iteration 9: 414 enodes 0.320 * * [simplify]: iteration 10: 505 enodes 0.349 * * [simplify]: iteration 11: 547 enodes 0.370 * * [simplify]: iteration 12: 608 enodes 0.414 * * [simplify]: iteration 13: 653 enodes 0.454 * * [simplify]: iteration 14: 704 enodes 0.476 * * [simplify]: iteration 15: 740 enodes 0.493 * * [simplify]: iteration 16: 772 enodes 0.527 * * [simplify]: iteration 17: 805 enodes 0.560 * * [simplify]: iteration 18: 841 enodes 0.591 * * [simplify]: iteration 19: 876 enodes 0.622 * * [simplify]: iteration 20: 909 enodes 0.655 * * [simplify]: iteration 21: 942 enodes 0.683 * * [simplify]: iteration 22: 976 enodes 0.700 * * [simplify]: iteration 23: 1011 enodes 0.723 * * [simplify]: iteration 24: 1046 enodes 0.749 * * [simplify]: iteration 25: 1078 enodes 0.772 * * [simplify]: iteration 26: 1112 enodes 0.809 * * [simplify]: iteration 27: 1149 enodes 0.827 * * [simplify]: iteration 28: 1182 enodes 0.844 * * [simplify]: iteration 29: 1214 enodes 0.868 * * [simplify]: iteration 30: 1252 enodes 0.885 * * [simplify]: iteration 31: 1287 enodes 0.907 * * [simplify]: iteration 32: 1320 enodes 0.931 * * [simplify]: iteration 33: 1353 enodes 0.955 * * [simplify]: iteration 34: 1387 enodes 0.990 * * [simplify]: iteration 35: 1422 enodes 1.021 * * [simplify]: iteration 36: 1457 enodes 1.054 * * [simplify]: iteration 37: 1489 enodes 1.071 * * [simplify]: iteration 38: 1523 enodes 1.094 * * [simplify]: iteration 39: 1560 enodes 1.121 * * [simplify]: iteration 40: 1593 enodes 1.147 * * [simplify]: iteration 41: 1625 enodes 1.165 * * [simplify]: iteration 42: 1661 enodes 1.183 * * [simplify]: iteration 43: 1696 enodes 1.206 * * [simplify]: iteration 44: 1729 enodes 1.234 * * [simplify]: iteration 45: 1762 enodes 1.252 * * [simplify]: iteration 46: 1796 enodes 1.279 * * [simplify]: iteration 47: 1831 enodes 1.307 * * [simplify]: iteration 48: 1866 enodes 1.333 * * [simplify]: iteration 49: 1898 enodes 1.350 * * [simplify]: iteration 50: 1932 enodes 1.384 * * [simplify]: iteration 51: 1969 enodes 1.411 * * [simplify]: iteration 52: 2002 enodes 1.440 * * [simplify]: iteration 53: 2034 enodes 1.458 * * [simplify]: iteration 54: 2072 enodes 1.485 * * [simplify]: iteration 55: 2107 enodes 1.514 * * [simplify]: iteration 56: 2140 enodes 1.535 * * [simplify]: iteration 57: 2173 enodes 1.551 * * [simplify]: iteration 58: 2207 enodes 1.584 * * [simplify]: iteration 59: 2242 enodes 1.612 * * [simplify]: iteration 60: 2277 enodes 1.645 * * [simplify]: iteration 61: 2309 enodes 1.678 * * [simplify]: iteration 62: 2343 enodes 1.714 * * [simplify]: iteration 63: 2380 enodes 1.741 * * [simplify]: iteration 64: 2413 enodes 1.762 * * [simplify]: iteration 65: 2445 enodes 1.782 * * [simplify]: iteration 66: 2481 enodes 1.816 * * [simplify]: iteration 67: 2516 enodes 1.844 * * [simplify]: iteration 68: 2549 enodes 1.877 * * [simplify]: iteration 69: 2582 enodes 1.909 * * [simplify]: iteration 70: 2616 enodes 1.942 * * [simplify]: iteration 71: 2651 enodes 1.971 * * [simplify]: iteration 72: 2686 enodes 1.999 * * [simplify]: iteration 73: 2718 enodes 2.015 * * [simplify]: iteration 74: 2752 enodes 2.034 * * [simplify]: iteration 75: 2789 enodes 2.049 * * [simplify]: iteration 76: 2822 enodes 2.074 * * [simplify]: iteration 77: 2854 enodes 2.109 * * [simplify]: iteration 78: 2892 enodes 2.142 * * [simplify]: iteration 79: 2927 enodes 2.170 * * [simplify]: iteration 80: 2960 enodes 2.187 * * [simplify]: iteration 81: 2993 enodes 2.205 * * [simplify]: iteration 82: 3027 enodes 2.239 * * [simplify]: iteration 83: 3062 enodes 2.269 * * [simplify]: iteration 84: 3097 enodes 2.288 * * [simplify]: iteration 85: 3129 enodes 2.307 * * [simplify]: iteration 86: 3163 enodes 2.339 * * [simplify]: iteration 87: 3200 enodes 2.353 * * [simplify]: iteration 88: 3233 enodes 2.370 * * [simplify]: iteration 89: 3265 enodes 2.389 * * [simplify]: iteration 90: 3301 enodes 2.421 * * [simplify]: iteration 91: 3336 enodes 2.448 * * [simplify]: iteration 92: 3369 enodes 2.480 * * [simplify]: iteration 93: 3402 enodes 2.513 * * [simplify]: iteration 94: 3436 enodes 2.545 * * [simplify]: iteration 95: 3471 enodes 2.560 * * [simplify]: iteration 96: 3506 enodes 2.577 * * [simplify]: iteration 97: 3538 enodes 2.614 * * [simplify]: iteration 98: 3572 enodes 2.648 * * [simplify]: iteration 99: 3609 enodes 2.673 * * [simplify]: iteration 100: 3642 enodes 2.690 * * [simplify]: iteration 101: 3674 enodes 2.718 * * [simplify]: iteration 102: 3714 enodes 2.734 * * [simplify]: iteration 103: 3749 enodes 2.754 * * [simplify]: iteration 104: 3782 enodes 2.786 * * [simplify]: iteration 105: 3815 enodes 2.811 * * [simplify]: iteration 106: 3849 enodes 2.829 * * [simplify]: iteration 107: 3884 enodes 2.858 * * [simplify]: iteration 108: 3919 enodes 2.892 * * [simplify]: iteration 109: 3951 enodes 2.928 * * [simplify]: iteration 110: 3985 enodes 2.962 * * [simplify]: iteration 111: 4022 enodes 2.990 * * [simplify]: iteration 112: 4055 enodes 3.025 * * [simplify]: iteration 113: 4087 enodes 3.060 * * [simplify]: iteration 114: 4123 enodes 3.093 * * [simplify]: iteration 115: 4158 enodes 3.122 * * [simplify]: iteration 116: 4191 enodes 3.151 * * [simplify]: iteration 117: 4224 enodes 3.169 * * [simplify]: iteration 118: 4258 enodes 3.188 * * [simplify]: iteration 119: 4293 enodes 3.203 * * [simplify]: iteration 120: 4328 enodes 3.229 * * [simplify]: iteration 121: 4360 enodes 3.263 * * [simplify]: iteration 122: 4394 enodes 3.296 * * [simplify]: iteration 123: 4431 enodes 3.322 * * [simplify]: iteration 124: 4464 enodes 3.355 * * [simplify]: iteration 125: 4496 enodes 3.375 * * [simplify]: iteration 126: 4532 enodes 3.397 * * [simplify]: iteration 127: 4567 enodes 3.423 * * [simplify]: iteration 128: 4600 enodes 3.441 * * [simplify]: iteration 129: 4633 enodes 3.469 * * [simplify]: iteration 130: 4667 enodes 3.491 * * [simplify]: iteration 131: 4702 enodes 3.506 * * [simplify]: iteration 132: 4737 enodes 3.537 * * [simplify]: iteration 133: 4769 enodes 3.571 * * [simplify]: iteration 134: 4803 enodes 3.604 * * [simplify]: iteration 135: 4840 enodes 3.631 * * [simplify]: iteration 136: 4873 enodes 3.663 * * [simplify]: iteration 137: 4905 enodes 3.698 * * [simplify]: iteration 138: 4941 enodes 3.730 * * [simplify]: iteration 139: 4976 enodes 3.752 * * [simplify]: iteration complete: 5000 enodes 3.752 * * [simplify]: Extracting #0: cost 1 inf + 0 3.752 * * [simplify]: Extracting #1: cost 16 inf + 0 3.753 * * [simplify]: Extracting #2: cost 21 inf + 42 3.753 * * [simplify]: Extracting #3: cost 27 inf + 44 3.754 * * [simplify]: Extracting #4: cost 3 inf + 2177 3.755 * * [simplify]: Extracting #5: cost 0 inf + 2425 3.757 * [simplify]: Simplified to: (+ x (/ (- x y) 2.0)) 3.758 * * [progress]: iteration 1 / 4 3.758 * * * [progress]: picking best candidate 3.762 * * * * [pick]: Picked # 3.762 * * * [progress]: localizing error 3.780 * * * [progress]: generating rewritten candidates 3.780 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.812 * * * [progress]: generating series expansions 3.812 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.813 * [backup-simplify]: Simplify (+ x (/ (- x y) 2.0)) into (- (* 1.5 x) (* 0.5 y)) 3.813 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 3.813 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 3.813 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 3.813 * [taylor]: Taking taylor expansion of 1.5 in y 3.813 * [backup-simplify]: Simplify 1.5 into 1.5 3.813 * [taylor]: Taking taylor expansion of x in y 3.813 * [backup-simplify]: Simplify x into x 3.813 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 3.813 * [taylor]: Taking taylor expansion of 0.5 in y 3.813 * [backup-simplify]: Simplify 0.5 into 0.5 3.813 * [taylor]: Taking taylor expansion of y in y 3.813 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify 1 into 1 3.813 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 3.813 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 3.813 * [taylor]: Taking taylor expansion of 1.5 in x 3.813 * [backup-simplify]: Simplify 1.5 into 1.5 3.813 * [taylor]: Taking taylor expansion of x in x 3.813 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify 1 into 1 3.813 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 3.813 * [taylor]: Taking taylor expansion of 0.5 in x 3.813 * [backup-simplify]: Simplify 0.5 into 0.5 3.813 * [taylor]: Taking taylor expansion of y in x 3.813 * [backup-simplify]: Simplify y into y 3.813 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 3.813 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 3.814 * [taylor]: Taking taylor expansion of 1.5 in x 3.814 * [backup-simplify]: Simplify 1.5 into 1.5 3.814 * [taylor]: Taking taylor expansion of x in x 3.814 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify 1 into 1 3.814 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 3.814 * [taylor]: Taking taylor expansion of 0.5 in x 3.814 * [backup-simplify]: Simplify 0.5 into 0.5 3.814 * [taylor]: Taking taylor expansion of y in x 3.814 * [backup-simplify]: Simplify y into y 3.815 * [backup-simplify]: Simplify (* 1.5 0) into 0 3.815 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 3.815 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 3.815 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 3.815 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 3.815 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 3.815 * [taylor]: Taking taylor expansion of 0.5 in y 3.815 * [backup-simplify]: Simplify 0.5 into 0.5 3.815 * [taylor]: Taking taylor expansion of y in y 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [backup-simplify]: Simplify 1 into 1 3.816 * [backup-simplify]: Simplify (* 0.5 0) into 0 3.817 * [backup-simplify]: Simplify (- 0) into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 3.819 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 3.819 * [backup-simplify]: Simplify (- 0) into 0 3.820 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 3.820 * [taylor]: Taking taylor expansion of 1.5 in y 3.820 * [backup-simplify]: Simplify 1.5 into 1.5 3.820 * [backup-simplify]: Simplify 1.5 into 1.5 3.822 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 3.822 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.823 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.824 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 3.825 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 3.825 * [backup-simplify]: Simplify (- 0) into 0 3.826 * [backup-simplify]: Simplify (+ 0 0) into 0 3.826 * [taylor]: Taking taylor expansion of 0 in y 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.827 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 3.827 * [backup-simplify]: Simplify (- 0) into 0 3.827 * [backup-simplify]: Simplify 0 into 0 3.829 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.830 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.830 * [backup-simplify]: Simplify (- 0) into 0 3.831 * [backup-simplify]: Simplify (+ 0 0) into 0 3.831 * [taylor]: Taking taylor expansion of 0 in y 3.831 * [backup-simplify]: Simplify 0 into 0 3.831 * [backup-simplify]: Simplify 0 into 0 3.831 * [backup-simplify]: Simplify 0 into 0 3.831 * [backup-simplify]: Simplify 0 into 0 3.832 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 3.832 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 x) (/ 1 y)) 2.0)) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) 3.832 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 3.832 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 3.832 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 3.832 * [taylor]: Taking taylor expansion of 1.5 in y 3.832 * [backup-simplify]: Simplify 1.5 into 1.5 3.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.832 * [taylor]: Taking taylor expansion of x in y 3.832 * [backup-simplify]: Simplify x into x 3.832 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.832 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 3.832 * [taylor]: Taking taylor expansion of 0.5 in y 3.832 * [backup-simplify]: Simplify 0.5 into 0.5 3.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.832 * [taylor]: Taking taylor expansion of y in y 3.832 * [backup-simplify]: Simplify 0 into 0 3.832 * [backup-simplify]: Simplify 1 into 1 3.833 * [backup-simplify]: Simplify (/ 1 1) into 1 3.833 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 3.833 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 3.833 * [taylor]: Taking taylor expansion of 1.5 in x 3.833 * [backup-simplify]: Simplify 1.5 into 1.5 3.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.833 * [taylor]: Taking taylor expansion of x in x 3.833 * [backup-simplify]: Simplify 0 into 0 3.833 * [backup-simplify]: Simplify 1 into 1 3.833 * [backup-simplify]: Simplify (/ 1 1) into 1 3.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 3.834 * [taylor]: Taking taylor expansion of 0.5 in x 3.834 * [backup-simplify]: Simplify 0.5 into 0.5 3.834 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.834 * [taylor]: Taking taylor expansion of y in x 3.834 * [backup-simplify]: Simplify y into y 3.834 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.834 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 3.834 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 3.834 * [taylor]: Taking taylor expansion of 1.5 in x 3.834 * [backup-simplify]: Simplify 1.5 into 1.5 3.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.834 * [taylor]: Taking taylor expansion of x in x 3.834 * [backup-simplify]: Simplify 0 into 0 3.834 * [backup-simplify]: Simplify 1 into 1 3.834 * [backup-simplify]: Simplify (/ 1 1) into 1 3.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 3.834 * [taylor]: Taking taylor expansion of 0.5 in x 3.834 * [backup-simplify]: Simplify 0.5 into 0.5 3.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.835 * [taylor]: Taking taylor expansion of y in x 3.835 * [backup-simplify]: Simplify y into y 3.835 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.835 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 3.836 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 3.836 * [taylor]: Taking taylor expansion of 1.5 in y 3.836 * [backup-simplify]: Simplify 1.5 into 1.5 3.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.838 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 3.838 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 3.838 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 3.838 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 3.838 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 3.838 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 3.838 * [taylor]: Taking taylor expansion of 0.5 in y 3.838 * [backup-simplify]: Simplify 0.5 into 0.5 3.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.838 * [taylor]: Taking taylor expansion of y in y 3.838 * [backup-simplify]: Simplify 0 into 0 3.838 * [backup-simplify]: Simplify 1 into 1 3.839 * [backup-simplify]: Simplify (/ 1 1) into 1 3.839 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 3.840 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.840 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.840 * [backup-simplify]: Simplify 1.5 into 1.5 3.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.842 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 3.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.843 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 3.843 * [backup-simplify]: Simplify (- 0) into 0 3.844 * [backup-simplify]: Simplify (+ 0 0) into 0 3.844 * [taylor]: Taking taylor expansion of 0 in y 3.844 * [backup-simplify]: Simplify 0 into 0 3.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.846 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 3.846 * [backup-simplify]: Simplify (- 0) into 0 3.846 * [backup-simplify]: Simplify 0 into 0 3.846 * [backup-simplify]: Simplify 0 into 0 3.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.849 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.850 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.851 * [backup-simplify]: Simplify (- 0) into 0 3.851 * [backup-simplify]: Simplify (+ 0 0) into 0 3.851 * [taylor]: Taking taylor expansion of 0 in y 3.851 * [backup-simplify]: Simplify 0 into 0 3.851 * [backup-simplify]: Simplify 0 into 0 3.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.853 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 3.854 * [backup-simplify]: Simplify (- 0) into 0 3.854 * [backup-simplify]: Simplify 0 into 0 3.854 * [backup-simplify]: Simplify 0 into 0 3.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.856 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.858 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 3.859 * [backup-simplify]: Simplify (- 0) into 0 3.859 * [backup-simplify]: Simplify (+ 0 0) into 0 3.859 * [taylor]: Taking taylor expansion of 0 in y 3.859 * [backup-simplify]: Simplify 0 into 0 3.859 * [backup-simplify]: Simplify 0 into 0 3.860 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 3.860 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- x)) (/ 1 (- y))) 2.0)) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) 3.860 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 3.860 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 3.860 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 3.860 * [taylor]: Taking taylor expansion of 0.5 in y 3.860 * [backup-simplify]: Simplify 0.5 into 0.5 3.860 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.860 * [taylor]: Taking taylor expansion of y in y 3.860 * [backup-simplify]: Simplify 0 into 0 3.860 * [backup-simplify]: Simplify 1 into 1 3.861 * [backup-simplify]: Simplify (/ 1 1) into 1 3.861 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 3.861 * [taylor]: Taking taylor expansion of 1.5 in y 3.861 * [backup-simplify]: Simplify 1.5 into 1.5 3.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.861 * [taylor]: Taking taylor expansion of x in y 3.861 * [backup-simplify]: Simplify x into x 3.861 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.861 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 3.861 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 3.861 * [taylor]: Taking taylor expansion of 0.5 in x 3.861 * [backup-simplify]: Simplify 0.5 into 0.5 3.861 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.861 * [taylor]: Taking taylor expansion of y in x 3.861 * [backup-simplify]: Simplify y into y 3.861 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.861 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 3.861 * [taylor]: Taking taylor expansion of 1.5 in x 3.861 * [backup-simplify]: Simplify 1.5 into 1.5 3.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.861 * [taylor]: Taking taylor expansion of x in x 3.861 * [backup-simplify]: Simplify 0 into 0 3.861 * [backup-simplify]: Simplify 1 into 1 3.862 * [backup-simplify]: Simplify (/ 1 1) into 1 3.862 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 3.862 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 3.862 * [taylor]: Taking taylor expansion of 0.5 in x 3.862 * [backup-simplify]: Simplify 0.5 into 0.5 3.862 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.862 * [taylor]: Taking taylor expansion of y in x 3.862 * [backup-simplify]: Simplify y into y 3.862 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.862 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 3.862 * [taylor]: Taking taylor expansion of 1.5 in x 3.862 * [backup-simplify]: Simplify 1.5 into 1.5 3.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.862 * [taylor]: Taking taylor expansion of x in x 3.862 * [backup-simplify]: Simplify 0 into 0 3.862 * [backup-simplify]: Simplify 1 into 1 3.863 * [backup-simplify]: Simplify (/ 1 1) into 1 3.863 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 3.864 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 3.865 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5) 3.865 * [taylor]: Taking taylor expansion of (- 1.5) in y 3.865 * [taylor]: Taking taylor expansion of 1.5 in y 3.865 * [backup-simplify]: Simplify 1.5 into 1.5 3.865 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 3.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.867 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 3.867 * [backup-simplify]: Simplify (- 0) into 0 3.867 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 3.867 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 3.867 * [taylor]: Taking taylor expansion of 0.5 in y 3.867 * [backup-simplify]: Simplify 0.5 into 0.5 3.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.867 * [taylor]: Taking taylor expansion of y in y 3.868 * [backup-simplify]: Simplify 0 into 0 3.868 * [backup-simplify]: Simplify 1 into 1 3.868 * [backup-simplify]: Simplify (/ 1 1) into 1 3.868 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 3.869 * [backup-simplify]: Simplify 0.5 into 0.5 3.869 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 3.869 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 3.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.870 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 3.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.872 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 3.873 * [backup-simplify]: Simplify (- 0) into 0 3.873 * [backup-simplify]: Simplify (+ 0 0) into 0 3.873 * [taylor]: Taking taylor expansion of 0 in y 3.873 * [backup-simplify]: Simplify 0 into 0 3.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.875 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 3.875 * [backup-simplify]: Simplify 0 into 0 3.875 * [backup-simplify]: Simplify (- 0) into 0 3.875 * [backup-simplify]: Simplify 0 into 0 3.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.876 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.879 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.879 * [backup-simplify]: Simplify (- 0) into 0 3.880 * [backup-simplify]: Simplify (+ 0 0) into 0 3.880 * [taylor]: Taking taylor expansion of 0 in y 3.880 * [backup-simplify]: Simplify 0 into 0 3.880 * [backup-simplify]: Simplify 0 into 0 3.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.882 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 3.882 * [backup-simplify]: Simplify 0 into 0 3.883 * [backup-simplify]: Simplify (- 0) into 0 3.883 * [backup-simplify]: Simplify 0 into 0 3.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.884 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 3.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.887 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.887 * [backup-simplify]: Simplify (- 0) into 0 3.888 * [backup-simplify]: Simplify (+ 0 0) into 0 3.888 * [taylor]: Taking taylor expansion of 0 in y 3.888 * [backup-simplify]: Simplify 0 into 0 3.888 * [backup-simplify]: Simplify 0 into 0 3.889 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 3.889 * * * [progress]: simplifying candidates 3.889 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 3.889 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (+ x (/ (- x y) 2.0)))))> 3.890 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 3.890 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 3.891 * [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)) (real->posit16 (+ x (/ (- x y) 2.0))) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 3.891 * * [simplify]: iteration 0: 37 enodes 3.908 * * [simplify]: iteration 1: 99 enodes 3.954 * * [simplify]: iteration 2: 270 enodes 4.048 * * [simplify]: iteration 3: 805 enodes 4.945 * * [simplify]: iteration 4: 3608 enodes 5.984 * * [simplify]: iteration complete: 5000 enodes 5.985 * * [simplify]: Extracting #0: cost 16 inf + 0 5.986 * * [simplify]: Extracting #1: cost 205 inf + 0 5.993 * * [simplify]: Extracting #2: cost 704 inf + 633 6.020 * * [simplify]: Extracting #3: cost 544 inf + 55705 6.127 * * [simplify]: Extracting #4: cost 39 inf + 177777 6.216 * * [simplify]: Extracting #5: cost 0 inf + 187519 6.292 * * [simplify]: Extracting #6: cost 0 inf + 187397 6.398 * [simplify]: Simplified to: (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 (* x x) (* (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (/ (- x y) 2.0))) (fma x x (* (- (/ (- 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 2.0) x) (real->posit16 (+ x (/ (- x y) 2.0))) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 6.399 * * * [progress]: adding candidates to table 6.481 * * [progress]: iteration 2 / 4 6.481 * * * [progress]: picking best candidate 6.512 * * * * [pick]: Picked # 6.512 * * * [progress]: localizing error 6.522 * * * [progress]: generating rewritten candidates 6.522 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.530 * * * [progress]: generating series expansions 6.530 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.531 * [backup-simplify]: Simplify (- (* 1.5 x) (* 0.5 y)) into (- (* 1.5 x) (* 0.5 y)) 6.531 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 6.531 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 6.531 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 6.531 * [taylor]: Taking taylor expansion of 1.5 in y 6.531 * [backup-simplify]: Simplify 1.5 into 1.5 6.531 * [taylor]: Taking taylor expansion of x in y 6.531 * [backup-simplify]: Simplify x into x 6.531 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 6.531 * [taylor]: Taking taylor expansion of 0.5 in y 6.531 * [backup-simplify]: Simplify 0.5 into 0.5 6.531 * [taylor]: Taking taylor expansion of y in y 6.531 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify 1 into 1 6.531 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 6.531 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 6.531 * [taylor]: Taking taylor expansion of 1.5 in x 6.531 * [backup-simplify]: Simplify 1.5 into 1.5 6.531 * [taylor]: Taking taylor expansion of x in x 6.531 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify 1 into 1 6.531 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 6.531 * [taylor]: Taking taylor expansion of 0.5 in x 6.531 * [backup-simplify]: Simplify 0.5 into 0.5 6.531 * [taylor]: Taking taylor expansion of y in x 6.531 * [backup-simplify]: Simplify y into y 6.531 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 6.531 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 6.531 * [taylor]: Taking taylor expansion of 1.5 in x 6.531 * [backup-simplify]: Simplify 1.5 into 1.5 6.531 * [taylor]: Taking taylor expansion of x in x 6.531 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify 1 into 1 6.531 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 6.531 * [taylor]: Taking taylor expansion of 0.5 in x 6.531 * [backup-simplify]: Simplify 0.5 into 0.5 6.531 * [taylor]: Taking taylor expansion of y in x 6.531 * [backup-simplify]: Simplify y into y 6.532 * [backup-simplify]: Simplify (* 1.5 0) into 0 6.532 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 6.532 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 6.532 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 6.532 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 6.532 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 6.532 * [taylor]: Taking taylor expansion of 0.5 in y 6.532 * [backup-simplify]: Simplify 0.5 into 0.5 6.532 * [taylor]: Taking taylor expansion of y in y 6.532 * [backup-simplify]: Simplify 0 into 0 6.532 * [backup-simplify]: Simplify 1 into 1 6.533 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.533 * [backup-simplify]: Simplify (- 0) into 0 6.533 * [backup-simplify]: Simplify 0 into 0 6.535 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 6.535 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 6.536 * [backup-simplify]: Simplify (- 0) into 0 6.536 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 6.536 * [taylor]: Taking taylor expansion of 1.5 in y 6.536 * [backup-simplify]: Simplify 1.5 into 1.5 6.536 * [backup-simplify]: Simplify 1.5 into 1.5 6.538 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 6.539 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.539 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.540 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 6.541 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 6.542 * [backup-simplify]: Simplify (- 0) into 0 6.542 * [backup-simplify]: Simplify (+ 0 0) into 0 6.542 * [taylor]: Taking taylor expansion of 0 in y 6.542 * [backup-simplify]: Simplify 0 into 0 6.542 * [backup-simplify]: Simplify 0 into 0 6.542 * [backup-simplify]: Simplify 0 into 0 6.543 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 6.544 * [backup-simplify]: Simplify (- 0) into 0 6.544 * [backup-simplify]: Simplify 0 into 0 6.545 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.546 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.547 * [backup-simplify]: Simplify (- 0) into 0 6.547 * [backup-simplify]: Simplify (+ 0 0) into 0 6.547 * [taylor]: Taking taylor expansion of 0 in y 6.547 * [backup-simplify]: Simplify 0 into 0 6.547 * [backup-simplify]: Simplify 0 into 0 6.547 * [backup-simplify]: Simplify 0 into 0 6.547 * [backup-simplify]: Simplify 0 into 0 6.548 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 6.548 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) 6.548 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 6.548 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 6.548 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 6.548 * [taylor]: Taking taylor expansion of 1.5 in y 6.548 * [backup-simplify]: Simplify 1.5 into 1.5 6.548 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.548 * [taylor]: Taking taylor expansion of x in y 6.548 * [backup-simplify]: Simplify x into x 6.548 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.548 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.548 * [taylor]: Taking taylor expansion of 0.5 in y 6.548 * [backup-simplify]: Simplify 0.5 into 0.5 6.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.548 * [taylor]: Taking taylor expansion of y in y 6.549 * [backup-simplify]: Simplify 0 into 0 6.549 * [backup-simplify]: Simplify 1 into 1 6.549 * [backup-simplify]: Simplify (/ 1 1) into 1 6.549 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 6.549 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.549 * [taylor]: Taking taylor expansion of 1.5 in x 6.549 * [backup-simplify]: Simplify 1.5 into 1.5 6.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.549 * [taylor]: Taking taylor expansion of x in x 6.549 * [backup-simplify]: Simplify 0 into 0 6.549 * [backup-simplify]: Simplify 1 into 1 6.550 * [backup-simplify]: Simplify (/ 1 1) into 1 6.550 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.550 * [taylor]: Taking taylor expansion of 0.5 in x 6.550 * [backup-simplify]: Simplify 0.5 into 0.5 6.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.550 * [taylor]: Taking taylor expansion of y in x 6.550 * [backup-simplify]: Simplify y into y 6.550 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.550 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 6.550 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.550 * [taylor]: Taking taylor expansion of 1.5 in x 6.550 * [backup-simplify]: Simplify 1.5 into 1.5 6.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.550 * [taylor]: Taking taylor expansion of x in x 6.550 * [backup-simplify]: Simplify 0 into 0 6.550 * [backup-simplify]: Simplify 1 into 1 6.551 * [backup-simplify]: Simplify (/ 1 1) into 1 6.551 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.551 * [taylor]: Taking taylor expansion of 0.5 in x 6.551 * [backup-simplify]: Simplify 0.5 into 0.5 6.551 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.551 * [taylor]: Taking taylor expansion of y in x 6.551 * [backup-simplify]: Simplify y into y 6.551 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.551 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 6.552 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 6.552 * [taylor]: Taking taylor expansion of 1.5 in y 6.552 * [backup-simplify]: Simplify 1.5 into 1.5 6.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.554 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 6.554 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 6.554 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 6.554 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 6.554 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 6.554 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.554 * [taylor]: Taking taylor expansion of 0.5 in y 6.554 * [backup-simplify]: Simplify 0.5 into 0.5 6.554 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.554 * [taylor]: Taking taylor expansion of y in y 6.554 * [backup-simplify]: Simplify 0 into 0 6.554 * [backup-simplify]: Simplify 1 into 1 6.555 * [backup-simplify]: Simplify (/ 1 1) into 1 6.555 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.555 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.556 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.556 * [backup-simplify]: Simplify 1.5 into 1.5 6.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.558 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 6.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.559 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 6.559 * [backup-simplify]: Simplify (- 0) into 0 6.560 * [backup-simplify]: Simplify (+ 0 0) into 0 6.560 * [taylor]: Taking taylor expansion of 0 in y 6.560 * [backup-simplify]: Simplify 0 into 0 6.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.562 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 6.562 * [backup-simplify]: Simplify (- 0) into 0 6.562 * [backup-simplify]: Simplify 0 into 0 6.562 * [backup-simplify]: Simplify 0 into 0 6.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.569 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.571 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 6.572 * [backup-simplify]: Simplify (- 0) into 0 6.572 * [backup-simplify]: Simplify (+ 0 0) into 0 6.572 * [taylor]: Taking taylor expansion of 0 in y 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.575 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 6.575 * [backup-simplify]: Simplify (- 0) into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.578 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.580 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 6.580 * [backup-simplify]: Simplify (- 0) into 0 6.580 * [backup-simplify]: Simplify (+ 0 0) into 0 6.581 * [taylor]: Taking taylor expansion of 0 in y 6.581 * [backup-simplify]: Simplify 0 into 0 6.581 * [backup-simplify]: Simplify 0 into 0 6.581 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 6.582 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 (- x))) (* 0.5 (/ 1 (- y)))) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) 6.582 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 6.582 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 6.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.582 * [taylor]: Taking taylor expansion of 0.5 in y 6.582 * [backup-simplify]: Simplify 0.5 into 0.5 6.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.582 * [taylor]: Taking taylor expansion of y in y 6.582 * [backup-simplify]: Simplify 0 into 0 6.582 * [backup-simplify]: Simplify 1 into 1 6.582 * [backup-simplify]: Simplify (/ 1 1) into 1 6.582 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 6.582 * [taylor]: Taking taylor expansion of 1.5 in y 6.582 * [backup-simplify]: Simplify 1.5 into 1.5 6.582 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.582 * [taylor]: Taking taylor expansion of x in y 6.582 * [backup-simplify]: Simplify x into x 6.583 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.583 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 6.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.583 * [taylor]: Taking taylor expansion of 0.5 in x 6.583 * [backup-simplify]: Simplify 0.5 into 0.5 6.583 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.583 * [taylor]: Taking taylor expansion of y in x 6.583 * [backup-simplify]: Simplify y into y 6.583 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.583 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.583 * [taylor]: Taking taylor expansion of 1.5 in x 6.583 * [backup-simplify]: Simplify 1.5 into 1.5 6.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.583 * [taylor]: Taking taylor expansion of x in x 6.583 * [backup-simplify]: Simplify 0 into 0 6.583 * [backup-simplify]: Simplify 1 into 1 6.583 * [backup-simplify]: Simplify (/ 1 1) into 1 6.583 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 6.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.584 * [taylor]: Taking taylor expansion of 0.5 in x 6.584 * [backup-simplify]: Simplify 0.5 into 0.5 6.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.584 * [taylor]: Taking taylor expansion of y in x 6.584 * [backup-simplify]: Simplify y into y 6.584 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.584 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.584 * [taylor]: Taking taylor expansion of 1.5 in x 6.584 * [backup-simplify]: Simplify 1.5 into 1.5 6.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.584 * [taylor]: Taking taylor expansion of x in x 6.584 * [backup-simplify]: Simplify 0 into 0 6.584 * [backup-simplify]: Simplify 1 into 1 6.585 * [backup-simplify]: Simplify (/ 1 1) into 1 6.586 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 6.586 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 6.587 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5) 6.587 * [taylor]: Taking taylor expansion of (- 1.5) in y 6.587 * [taylor]: Taking taylor expansion of 1.5 in y 6.587 * [backup-simplify]: Simplify 1.5 into 1.5 6.587 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 6.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.589 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 6.589 * [backup-simplify]: Simplify (- 0) into 0 6.590 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 6.590 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.590 * [taylor]: Taking taylor expansion of 0.5 in y 6.590 * [backup-simplify]: Simplify 0.5 into 0.5 6.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.590 * [taylor]: Taking taylor expansion of y in y 6.590 * [backup-simplify]: Simplify 0 into 0 6.590 * [backup-simplify]: Simplify 1 into 1 6.590 * [backup-simplify]: Simplify (/ 1 1) into 1 6.591 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.591 * [backup-simplify]: Simplify 0.5 into 0.5 6.591 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 6.592 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 6.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.592 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 6.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.594 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 6.595 * [backup-simplify]: Simplify (- 0) into 0 6.595 * [backup-simplify]: Simplify (+ 0 0) into 0 6.595 * [taylor]: Taking taylor expansion of 0 in y 6.595 * [backup-simplify]: Simplify 0 into 0 6.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.597 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 6.597 * [backup-simplify]: Simplify 0 into 0 6.597 * [backup-simplify]: Simplify (- 0) into 0 6.598 * [backup-simplify]: Simplify 0 into 0 6.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.599 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 6.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.601 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.601 * [backup-simplify]: Simplify (- 0) into 0 6.602 * [backup-simplify]: Simplify (+ 0 0) into 0 6.602 * [taylor]: Taking taylor expansion of 0 in y 6.602 * [backup-simplify]: Simplify 0 into 0 6.602 * [backup-simplify]: Simplify 0 into 0 6.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.604 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 6.604 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify (- 0) into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.607 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 6.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.609 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.610 * [backup-simplify]: Simplify (- 0) into 0 6.610 * [backup-simplify]: Simplify (+ 0 0) into 0 6.610 * [taylor]: Taking taylor expansion of 0 in y 6.610 * [backup-simplify]: Simplify 0 into 0 6.610 * [backup-simplify]: Simplify 0 into 0 6.611 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 6.611 * * * [progress]: simplifying candidates 6.611 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 6.611 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 6.611 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 6.611 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 6.611 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 6.611 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 16 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #real (real->posit16 (- (* 1.5 x) (* 0.5 y)))))> 6.612 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 6.612 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 6.613 * [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)) (real->posit16 (- (* 1.5 x) (* 0.5 y))) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 6.614 * * [simplify]: iteration 0: 37 enodes 6.631 * * [simplify]: iteration 1: 103 enodes 6.658 * * [simplify]: iteration 2: 305 enodes 6.837 * * [simplify]: iteration 3: 904 enodes 7.439 * * [simplify]: iteration 4: 2167 enodes 8.681 * * [simplify]: iteration complete: 5000 enodes 8.681 * * [simplify]: Extracting #0: cost 16 inf + 0 8.682 * * [simplify]: Extracting #1: cost 303 inf + 1 8.689 * * [simplify]: Extracting #2: cost 914 inf + 6841 8.725 * * [simplify]: Extracting #3: cost 691 inf + 96941 8.797 * * [simplify]: Extracting #4: cost 250 inf + 252985 8.927 * * [simplify]: Extracting #5: cost 93 inf + 328745 9.043 * * [simplify]: Extracting #6: cost 8 inf + 380050 9.191 * * [simplify]: Extracting #7: cost 0 inf + 383343 9.318 * [simplify]: Simplified to: (- (* 1.5 x) (* y 0.5)) 0 (expm1 (- (* 1.5 x) (* y 0.5))) (log1p (- (* 1.5 x) (* y 0.5))) (* 0.5 (- y)) (exp (- (* 1.5 x) (* y 0.5))) (log (- (* 1.5 x) (* y 0.5))) (exp (- (* 1.5 x) (* y 0.5))) (* (cbrt (- (* 1.5 x) (* y 0.5))) (cbrt (- (* 1.5 x) (* y 0.5)))) (cbrt (- (* 1.5 x) (* y 0.5))) (* (- (* 1.5 x) (* y 0.5)) (* (- (* 1.5 x) (* y 0.5)) (- (* 1.5 x) (* y 0.5)))) (sqrt (- (* 1.5 x) (* y 0.5))) (sqrt (- (* 1.5 x) (* y 0.5))) (- (* (* (* 1.5 x) (* 1.5 x)) (* 1.5 x)) (* (* y 0.5) (* (* y 0.5) (* y 0.5)))) (fma (* y 0.5) (fma y 0.5 (* 1.5 x)) (* (* 1.5 x) (* 1.5 x))) (* 0.5 (- y)) (- (* (* 1.5 x) (* 1.5 x)) (* (* y 0.5) (* y 0.5))) (fma y 0.5 (* 1.5 x)) (* 0.5 (- y)) (real->posit16 (- (* 1.5 x) (* y 0.5))) (- (* 1.5 x) (* y 0.5)) (- (* 1.5 x) (* y 0.5)) (- (* 1.5 x) (* y 0.5)) 9.319 * * * [progress]: adding candidates to table 9.399 * * [progress]: iteration 3 / 4 9.399 * * * [progress]: picking best candidate 9.404 * * * * [pick]: Picked # 9.404 * * * [progress]: localizing error 9.416 * * * [progress]: generating rewritten candidates 9.416 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.417 * * * [progress]: generating series expansions 9.417 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.417 * [backup-simplify]: Simplify (fma 1.5 x (- (* 0.5 y))) into (fma 1.5 x (- (* 0.5 y))) 9.417 * [approximate]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in (x y) around 0 9.417 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in y 9.417 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 9.417 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 9.417 * [taylor]: Taking taylor expansion of 1.5 in y 9.417 * [backup-simplify]: Simplify 1.5 into 1.5 9.417 * [taylor]: Taking taylor expansion of x in y 9.417 * [backup-simplify]: Simplify x into x 9.417 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 9.417 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 9.417 * [taylor]: Taking taylor expansion of 0.5 in y 9.417 * [backup-simplify]: Simplify 0.5 into 0.5 9.417 * [taylor]: Taking taylor expansion of y in y 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify 1 into 1 9.417 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x 9.417 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 9.417 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 9.417 * [taylor]: Taking taylor expansion of 1.5 in x 9.417 * [backup-simplify]: Simplify 1.5 into 1.5 9.417 * [taylor]: Taking taylor expansion of x in x 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify 1 into 1 9.417 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x 9.417 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 9.417 * [taylor]: Taking taylor expansion of 0.5 in x 9.417 * [backup-simplify]: Simplify 0.5 into 0.5 9.417 * [taylor]: Taking taylor expansion of y in x 9.417 * [backup-simplify]: Simplify y into y 9.417 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x 9.417 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 9.417 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 9.417 * [taylor]: Taking taylor expansion of 1.5 in x 9.417 * [backup-simplify]: Simplify 1.5 into 1.5 9.417 * [taylor]: Taking taylor expansion of x in x 9.417 * [backup-simplify]: Simplify 0 into 0 9.418 * [backup-simplify]: Simplify 1 into 1 9.418 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x 9.418 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 9.418 * [taylor]: Taking taylor expansion of 0.5 in x 9.418 * [backup-simplify]: Simplify 0.5 into 0.5 9.418 * [taylor]: Taking taylor expansion of y in x 9.418 * [backup-simplify]: Simplify y into y 9.418 * [backup-simplify]: Simplify (* 1.5 0) into 0 9.418 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 9.418 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 9.418 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 9.419 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 9.419 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 9.419 * [taylor]: Taking taylor expansion of 0.5 in y 9.419 * [backup-simplify]: Simplify 0.5 into 0.5 9.419 * [taylor]: Taking taylor expansion of y in y 9.419 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify 1 into 1 9.419 * [backup-simplify]: Simplify (* 0.5 0) into 0 9.419 * [backup-simplify]: Simplify (- 0) into 0 9.419 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 9.421 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 9.421 * [backup-simplify]: Simplify (- 0) into 0 9.421 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 9.422 * [taylor]: Taking taylor expansion of 1.5 in y 9.422 * [backup-simplify]: Simplify 1.5 into 1.5 9.422 * [backup-simplify]: Simplify 1.5 into 1.5 9.423 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 9.423 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 9.423 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 9.424 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 9.425 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 9.425 * [backup-simplify]: Simplify (- 0) into 0 9.425 * [backup-simplify]: Simplify (+ 0 0) into 0 9.425 * [taylor]: Taking taylor expansion of 0 in y 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify 0 into 0 9.426 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 9.426 * [backup-simplify]: Simplify (- 0) into 0 9.426 * [backup-simplify]: Simplify 0 into 0 9.427 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.428 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 9.428 * [backup-simplify]: Simplify (- 0) into 0 9.428 * [backup-simplify]: Simplify (+ 0 0) into 0 9.428 * [taylor]: Taking taylor expansion of 0 in y 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify 0 into 0 9.429 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 9.429 * [backup-simplify]: Simplify (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) into (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) 9.429 * [approximate]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in (x y) around 0 9.429 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in y 9.429 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 9.429 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 9.429 * [taylor]: Taking taylor expansion of 1.5 in y 9.429 * [backup-simplify]: Simplify 1.5 into 1.5 9.429 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.429 * [taylor]: Taking taylor expansion of x in y 9.429 * [backup-simplify]: Simplify x into x 9.429 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.429 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 9.429 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 9.429 * [taylor]: Taking taylor expansion of 0.5 in y 9.429 * [backup-simplify]: Simplify 0.5 into 0.5 9.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.430 * [taylor]: Taking taylor expansion of y in y 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 1 into 1 9.430 * [backup-simplify]: Simplify (/ 1 1) into 1 9.430 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x 9.430 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 9.430 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 9.430 * [taylor]: Taking taylor expansion of 1.5 in x 9.430 * [backup-simplify]: Simplify 1.5 into 1.5 9.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.430 * [taylor]: Taking taylor expansion of x in x 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 1 into 1 9.430 * [backup-simplify]: Simplify (/ 1 1) into 1 9.430 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x 9.430 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 9.430 * [taylor]: Taking taylor expansion of 0.5 in x 9.430 * [backup-simplify]: Simplify 0.5 into 0.5 9.431 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.431 * [taylor]: Taking taylor expansion of y in x 9.431 * [backup-simplify]: Simplify y into y 9.431 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.431 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x 9.431 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 9.431 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 9.431 * [taylor]: Taking taylor expansion of 1.5 in x 9.431 * [backup-simplify]: Simplify 1.5 into 1.5 9.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.431 * [taylor]: Taking taylor expansion of x in x 9.431 * [backup-simplify]: Simplify 0 into 0 9.431 * [backup-simplify]: Simplify 1 into 1 9.431 * [backup-simplify]: Simplify (/ 1 1) into 1 9.431 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x 9.431 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 9.431 * [taylor]: Taking taylor expansion of 0.5 in x 9.431 * [backup-simplify]: Simplify 0.5 into 0.5 9.431 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.431 * [taylor]: Taking taylor expansion of y in x 9.431 * [backup-simplify]: Simplify y into y 9.431 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.432 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 9.432 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 9.432 * [taylor]: Taking taylor expansion of 1.5 in y 9.432 * [backup-simplify]: Simplify 1.5 into 1.5 9.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.433 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 9.433 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 9.433 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 9.433 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 9.433 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 9.433 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 9.433 * [taylor]: Taking taylor expansion of 0.5 in y 9.433 * [backup-simplify]: Simplify 0.5 into 0.5 9.433 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.433 * [taylor]: Taking taylor expansion of y in y 9.433 * [backup-simplify]: Simplify 0 into 0 9.433 * [backup-simplify]: Simplify 1 into 1 9.434 * [backup-simplify]: Simplify (/ 1 1) into 1 9.434 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 9.434 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 9.434 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 9.434 * [backup-simplify]: Simplify 1.5 into 1.5 9.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.436 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 9.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.436 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 9.436 * [backup-simplify]: Simplify (- 0) into 0 9.437 * [backup-simplify]: Simplify (+ 0 0) into 0 9.437 * [taylor]: Taking taylor expansion of 0 in y 9.437 * [backup-simplify]: Simplify 0 into 0 9.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.438 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 9.438 * [backup-simplify]: Simplify (- 0) into 0 9.438 * [backup-simplify]: Simplify 0 into 0 9.438 * [backup-simplify]: Simplify 0 into 0 9.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.439 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.440 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.440 * [backup-simplify]: Simplify (- 0) into 0 9.441 * [backup-simplify]: Simplify (+ 0 0) into 0 9.441 * [taylor]: Taking taylor expansion of 0 in y 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.443 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 9.443 * [backup-simplify]: Simplify (- 0) into 0 9.443 * [backup-simplify]: Simplify 0 into 0 9.443 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.446 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.448 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 9.448 * [backup-simplify]: Simplify (- 0) into 0 9.449 * [backup-simplify]: Simplify (+ 0 0) into 0 9.449 * [taylor]: Taking taylor expansion of 0 in y 9.449 * [backup-simplify]: Simplify 0 into 0 9.449 * [backup-simplify]: Simplify 0 into 0 9.449 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 9.450 * [backup-simplify]: Simplify (fma 1.5 (/ 1 (- x)) (- (* 0.5 (/ 1 (- y))))) into (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) 9.450 * [approximate]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in (x y) around 0 9.450 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in y 9.450 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 9.450 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in y 9.450 * [taylor]: Taking taylor expansion of 1.5 in y 9.450 * [backup-simplify]: Simplify 1.5 into 1.5 9.450 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.450 * [taylor]: Taking taylor expansion of -1 in y 9.450 * [backup-simplify]: Simplify -1 into -1 9.450 * [taylor]: Taking taylor expansion of x in y 9.450 * [backup-simplify]: Simplify x into x 9.450 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 9.450 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 9.450 * [taylor]: Taking taylor expansion of 0.5 in y 9.450 * [backup-simplify]: Simplify 0.5 into 0.5 9.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.450 * [taylor]: Taking taylor expansion of y in y 9.450 * [backup-simplify]: Simplify 0 into 0 9.450 * [backup-simplify]: Simplify 1 into 1 9.451 * [backup-simplify]: Simplify (/ 1 1) into 1 9.451 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x 9.451 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 9.451 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x 9.451 * [taylor]: Taking taylor expansion of 1.5 in x 9.451 * [backup-simplify]: Simplify 1.5 into 1.5 9.451 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.451 * [taylor]: Taking taylor expansion of -1 in x 9.451 * [backup-simplify]: Simplify -1 into -1 9.451 * [taylor]: Taking taylor expansion of x in x 9.451 * [backup-simplify]: Simplify 0 into 0 9.451 * [backup-simplify]: Simplify 1 into 1 9.452 * [backup-simplify]: Simplify (/ -1 1) into -1 9.452 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 9.452 * [taylor]: Taking taylor expansion of 0.5 in x 9.452 * [backup-simplify]: Simplify 0.5 into 0.5 9.452 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.452 * [taylor]: Taking taylor expansion of y in x 9.452 * [backup-simplify]: Simplify y into y 9.452 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.452 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x 9.452 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 9.452 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x 9.452 * [taylor]: Taking taylor expansion of 1.5 in x 9.452 * [backup-simplify]: Simplify 1.5 into 1.5 9.452 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.452 * [taylor]: Taking taylor expansion of -1 in x 9.452 * [backup-simplify]: Simplify -1 into -1 9.452 * [taylor]: Taking taylor expansion of x in x 9.452 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify 1 into 1 9.453 * [backup-simplify]: Simplify (/ -1 1) into -1 9.453 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 9.453 * [taylor]: Taking taylor expansion of 0.5 in x 9.453 * [backup-simplify]: Simplify 0.5 into 0.5 9.453 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.453 * [taylor]: Taking taylor expansion of y in x 9.453 * [backup-simplify]: Simplify y into y 9.453 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.454 * [backup-simplify]: Simplify (* 1.5 -1) into -1.5 9.454 * [backup-simplify]: Simplify (+ -1.5 0) into (- 1.5) 9.454 * [taylor]: Taking taylor expansion of (- 1.5) in y 9.454 * [taylor]: Taking taylor expansion of 1.5 in y 9.454 * [backup-simplify]: Simplify 1.5 into 1.5 9.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.456 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 -1)) into 0 9.456 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 9.456 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y)) 9.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 9.457 * [taylor]: Taking taylor expansion of 0.5 in y 9.457 * [backup-simplify]: Simplify 0.5 into 0.5 9.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.457 * [taylor]: Taking taylor expansion of y in y 9.457 * [backup-simplify]: Simplify 0 into 0 9.457 * [backup-simplify]: Simplify 1 into 1 9.457 * [backup-simplify]: Simplify (/ 1 1) into 1 9.458 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 9.458 * [backup-simplify]: Simplify 0.5 into 0.5 9.458 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 9.459 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 9.460 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.461 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 -1))) into 0 9.461 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.462 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 9.462 * [backup-simplify]: Simplify (+ 0 0) into 0 9.462 * [taylor]: Taking taylor expansion of 0 in y 9.462 * [backup-simplify]: Simplify 0 into 0 9.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.464 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 9.464 * [backup-simplify]: Simplify 0 into 0 9.464 * [backup-simplify]: Simplify (- 0) into 0 9.464 * [backup-simplify]: Simplify 0 into 0 9.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.467 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 9.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.468 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.469 * [backup-simplify]: Simplify (+ 0 0) into 0 9.469 * [taylor]: Taking taylor expansion of 0 in y 9.469 * [backup-simplify]: Simplify 0 into 0 9.469 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.471 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 9.471 * [backup-simplify]: Simplify 0 into 0 9.471 * [backup-simplify]: Simplify (- 0) into 0 9.471 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.474 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 9.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.476 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 9.477 * [backup-simplify]: Simplify (+ 0 0) into 0 9.477 * [taylor]: Taking taylor expansion of 0 in y 9.477 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 9.478 * * * [progress]: simplifying candidates 9.478 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 9.478 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma 1.5 x (- (* 0.5 y))))))> 9.479 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 9.479 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 9.479 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 9.479 * [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)))) (real->posit16 (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)) 9.480 * * [simplify]: iteration 0: 19 enodes 9.487 * * [simplify]: iteration 1: 30 enodes 9.498 * * [simplify]: iteration 2: 59 enodes 9.528 * * [simplify]: iteration 3: 195 enodes 9.660 * * [simplify]: iteration 4: 783 enodes 11.128 * * [simplify]: iteration 5: 3898 enodes 12.352 * * [simplify]: iteration complete: 5000 enodes 12.352 * * [simplify]: Extracting #0: cost 11 inf + 0 12.353 * * [simplify]: Extracting #1: cost 138 inf + 0 12.358 * * [simplify]: Extracting #2: cost 510 inf + 254 12.396 * * [simplify]: Extracting #3: cost 356 inf + 35537 12.476 * * [simplify]: Extracting #4: cost 30 inf + 124052 12.577 * * [simplify]: Extracting #5: cost 1 inf + 135771 12.694 * * [simplify]: Extracting #6: cost 0 inf + 136496 12.837 * [simplify]: Simplified to: (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))) (real->posit16 (- (* 1.5 x) (* 0.5 y))) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 12.838 * * * [progress]: adding candidates to table 12.891 * [progress]: [Phase 3 of 3] Extracting. 12.895 * [simplify]: Simplifying: (fma 1.5 x (- (* 0.5 y))) 12.896 * * [simplify]: iteration 0: 7 enodes 12.897 * * [simplify]: iteration 1: 12 enodes 12.898 * * [simplify]: iteration 2: 14 enodes 12.899 * * [simplify]: iteration complete: 14 enodes 12.899 * * [simplify]: Extracting #0: cost 1 inf + 0 12.899 * * [simplify]: Extracting #1: cost 4 inf + 0 12.899 * * [simplify]: Extracting #2: cost 7 inf + 2 12.899 * * [simplify]: Extracting #3: cost 0 inf + 349 12.900 * [simplify]: Simplified to: (fma 1.5 x (- (* 0.5 y))) 14.393 * [regime-testing]: Baseline error score: 0 14.395 * [regime-testing]: Oracle error score: 0 14.396 * [regime-testing]: End program error score: 0 14.451 * [regime-testing]: Target error score: 0.08538567320915115