16.909 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (+ x (/ (- y x) 2.0)) 0.017 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.018 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.019 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.021 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 0.024 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 0.028 * * [simplify]: iteration 5 : 49 enodes (cost 7 ) 0.032 * * [simplify]: iteration 6 : 70 enodes (cost 7 ) 0.037 * * [simplify]: iteration 7 : 90 enodes (cost 7 ) 0.044 * * [simplify]: iteration 8 : 125 enodes (cost 7 ) 0.051 * * [simplify]: iteration 9 : 166 enodes (cost 7 ) 0.063 * * [simplify]: iteration 10 : 190 enodes (cost 7 ) 0.075 * * [simplify]: iteration 11 : 217 enodes (cost 7 ) 0.083 * * [simplify]: iteration 12 : 244 enodes (cost 7 ) 0.094 * * [simplify]: iteration 13 : 271 enodes (cost 7 ) 0.107 * * [simplify]: iteration 14 : 305 enodes (cost 7 ) 0.119 * * [simplify]: iteration 15 : 334 enodes (cost 7 ) 0.130 * * [simplify]: iteration 16 : 360 enodes (cost 7 ) 0.143 * * [simplify]: iteration 17 : 394 enodes (cost 7 ) 0.153 * * [simplify]: iteration 18 : 423 enodes (cost 7 ) 0.164 * * [simplify]: iteration 19 : 449 enodes (cost 7 ) 0.181 * * [simplify]: iteration 20 : 483 enodes (cost 7 ) 0.191 * * [simplify]: iteration 21 : 512 enodes (cost 7 ) 0.202 * * [simplify]: iteration 22 : 538 enodes (cost 7 ) 0.215 * * [simplify]: iteration 23 : 572 enodes (cost 7 ) 0.228 * * [simplify]: iteration 24 : 601 enodes (cost 7 ) 0.239 * * [simplify]: iteration 25 : 627 enodes (cost 7 ) 0.253 * * [simplify]: iteration 26 : 661 enodes (cost 7 ) 0.262 * * [simplify]: iteration 27 : 690 enodes (cost 7 ) 0.274 * * [simplify]: iteration 28 : 716 enodes (cost 7 ) 0.291 * * [simplify]: iteration 29 : 750 enodes (cost 7 ) 0.301 * * [simplify]: iteration 30 : 779 enodes (cost 7 ) 0.312 * * [simplify]: iteration 31 : 805 enodes (cost 7 ) 0.325 * * [simplify]: iteration 32 : 839 enodes (cost 7 ) 0.338 * * [simplify]: iteration 33 : 868 enodes (cost 7 ) 0.349 * * [simplify]: iteration 34 : 894 enodes (cost 7 ) 0.362 * * [simplify]: iteration 35 : 928 enodes (cost 7 ) 0.372 * * [simplify]: iteration 36 : 957 enodes (cost 7 ) 0.383 * * [simplify]: iteration 37 : 983 enodes (cost 7 ) 0.400 * * [simplify]: iteration 38 : 1017 enodes (cost 7 ) 0.410 * * [simplify]: iteration 39 : 1046 enodes (cost 7 ) 0.421 * * [simplify]: iteration 40 : 1072 enodes (cost 7 ) 0.435 * * [simplify]: iteration 41 : 1106 enodes (cost 7 ) 0.447 * * [simplify]: iteration 42 : 1135 enodes (cost 7 ) 0.458 * * [simplify]: iteration 43 : 1161 enodes (cost 7 ) 0.472 * * [simplify]: iteration 44 : 1195 enodes (cost 7 ) 0.481 * * [simplify]: iteration 45 : 1224 enodes (cost 7 ) 0.496 * * [simplify]: iteration 46 : 1250 enodes (cost 7 ) 0.510 * * [simplify]: iteration 47 : 1284 enodes (cost 7 ) 0.519 * * [simplify]: iteration 48 : 1313 enodes (cost 7 ) 0.530 * * [simplify]: iteration 49 : 1339 enodes (cost 7 ) 0.544 * * [simplify]: iteration 50 : 1373 enodes (cost 7 ) 0.556 * * [simplify]: iteration 51 : 1402 enodes (cost 7 ) 0.568 * * [simplify]: iteration 52 : 1428 enodes (cost 7 ) 0.581 * * [simplify]: iteration 53 : 1462 enodes (cost 7 ) 0.591 * * [simplify]: iteration 54 : 1491 enodes (cost 7 ) 0.605 * * [simplify]: iteration 55 : 1517 enodes (cost 7 ) 0.619 * * [simplify]: iteration 56 : 1551 enodes (cost 7 ) 0.628 * * [simplify]: iteration 57 : 1580 enodes (cost 7 ) 0.639 * * [simplify]: iteration 58 : 1606 enodes (cost 7 ) 0.653 * * [simplify]: iteration 59 : 1640 enodes (cost 7 ) 0.666 * * [simplify]: iteration 60 : 1669 enodes (cost 7 ) 0.677 * * [simplify]: iteration 61 : 1695 enodes (cost 7 ) 0.690 * * [simplify]: iteration 62 : 1729 enodes (cost 7 ) 0.700 * * [simplify]: iteration 63 : 1758 enodes (cost 7 ) 0.714 * * [simplify]: iteration 64 : 1784 enodes (cost 7 ) 0.728 * * [simplify]: iteration 65 : 1818 enodes (cost 7 ) 0.738 * * [simplify]: iteration 66 : 1847 enodes (cost 7 ) 0.749 * * [simplify]: iteration 67 : 1873 enodes (cost 7 ) 0.762 * * [simplify]: iteration 68 : 1907 enodes (cost 7 ) 0.775 * * [simplify]: iteration 69 : 1936 enodes (cost 7 ) 0.787 * * [simplify]: iteration 70 : 1962 enodes (cost 7 ) 0.801 * * [simplify]: iteration 71 : 1996 enodes (cost 7 ) 0.810 * * [simplify]: iteration 72 : 2025 enodes (cost 7 ) 0.825 * * [simplify]: iteration 73 : 2051 enodes (cost 7 ) 0.839 * * [simplify]: iteration 74 : 2085 enodes (cost 7 ) 0.848 * * [simplify]: iteration 75 : 2114 enodes (cost 7 ) 0.859 * * [simplify]: iteration 76 : 2140 enodes (cost 7 ) 0.872 * * [simplify]: iteration 77 : 2174 enodes (cost 7 ) 0.885 * * [simplify]: iteration 78 : 2203 enodes (cost 7 ) 0.897 * * [simplify]: iteration 79 : 2229 enodes (cost 7 ) 0.910 * * [simplify]: iteration 80 : 2263 enodes (cost 7 ) 0.919 * * [simplify]: iteration 81 : 2292 enodes (cost 7 ) 0.934 * * [simplify]: iteration 82 : 2318 enodes (cost 7 ) 0.948 * * [simplify]: iteration 83 : 2352 enodes (cost 7 ) 0.958 * * [simplify]: iteration 84 : 2381 enodes (cost 7 ) 0.969 * * [simplify]: iteration 85 : 2407 enodes (cost 7 ) 0.982 * * [simplify]: iteration 86 : 2441 enodes (cost 7 ) 0.995 * * [simplify]: iteration 87 : 2470 enodes (cost 7 ) 1.008 * * [simplify]: iteration 88 : 2496 enodes (cost 7 ) 1.021 * * [simplify]: iteration 89 : 2530 enodes (cost 7 ) 1.030 * * [simplify]: iteration 90 : 2559 enodes (cost 7 ) 1.045 * * [simplify]: iteration 91 : 2585 enodes (cost 7 ) 1.059 * * [simplify]: iteration 92 : 2619 enodes (cost 7 ) 1.068 * * [simplify]: iteration 93 : 2648 enodes (cost 7 ) 1.079 * * [simplify]: iteration 94 : 2674 enodes (cost 7 ) 1.093 * * [simplify]: iteration 95 : 2708 enodes (cost 7 ) 1.106 * * [simplify]: iteration 96 : 2737 enodes (cost 7 ) 1.117 * * [simplify]: iteration 97 : 2763 enodes (cost 7 ) 1.130 * * [simplify]: iteration 98 : 2797 enodes (cost 7 ) 1.139 * * [simplify]: iteration 99 : 2826 enodes (cost 7 ) 1.154 * * [simplify]: iteration 100 : 2852 enodes (cost 7 ) 1.168 * * [simplify]: iteration 101 : 2886 enodes (cost 7 ) 1.177 * * [simplify]: iteration 102 : 2915 enodes (cost 7 ) 1.188 * * [simplify]: iteration 103 : 2941 enodes (cost 7 ) 1.201 * * [simplify]: iteration 104 : 2975 enodes (cost 7 ) 1.215 * * [simplify]: iteration 105 : 3004 enodes (cost 7 ) 1.225 * * [simplify]: iteration 106 : 3030 enodes (cost 7 ) 1.239 * * [simplify]: iteration 107 : 3064 enodes (cost 7 ) 1.248 * * [simplify]: iteration 108 : 3093 enodes (cost 7 ) 1.263 * * [simplify]: iteration 109 : 3119 enodes (cost 7 ) 1.276 * * [simplify]: iteration 110 : 3153 enodes (cost 7 ) 1.285 * * [simplify]: iteration 111 : 3182 enodes (cost 7 ) 1.296 * * [simplify]: iteration 112 : 3208 enodes (cost 7 ) 1.310 * * [simplify]: iteration 113 : 3242 enodes (cost 7 ) 1.323 * * [simplify]: iteration 114 : 3271 enodes (cost 7 ) 1.334 * * [simplify]: iteration 115 : 3297 enodes (cost 7 ) 1.347 * * [simplify]: iteration 116 : 3331 enodes (cost 7 ) 1.357 * * [simplify]: iteration 117 : 3360 enodes (cost 7 ) 1.372 * * [simplify]: iteration 118 : 3386 enodes (cost 7 ) 1.386 * * [simplify]: iteration 119 : 3420 enodes (cost 7 ) 1.395 * * [simplify]: iteration 120 : 3449 enodes (cost 7 ) 1.406 * * [simplify]: iteration 121 : 3475 enodes (cost 7 ) 1.424 * * [simplify]: iteration 122 : 3509 enodes (cost 7 ) 1.433 * * [simplify]: iteration 123 : 3538 enodes (cost 7 ) 1.444 * * [simplify]: iteration 124 : 3564 enodes (cost 7 ) 1.458 * * [simplify]: iteration 125 : 3598 enodes (cost 7 ) 1.467 * * [simplify]: iteration 126 : 3627 enodes (cost 7 ) 1.482 * * [simplify]: iteration 127 : 3653 enodes (cost 7 ) 1.496 * * [simplify]: iteration 128 : 3687 enodes (cost 7 ) 1.505 * * [simplify]: iteration 129 : 3716 enodes (cost 7 ) 1.516 * * [simplify]: iteration 130 : 3742 enodes (cost 7 ) 1.533 * * [simplify]: iteration 131 : 3776 enodes (cost 7 ) 1.543 * * [simplify]: iteration 132 : 3805 enodes (cost 7 ) 1.554 * * [simplify]: iteration 133 : 3831 enodes (cost 7 ) 1.567 * * [simplify]: iteration 134 : 3865 enodes (cost 7 ) 1.577 * * [simplify]: iteration 135 : 3894 enodes (cost 7 ) 1.592 * * [simplify]: iteration 136 : 3920 enodes (cost 7 ) 1.605 * * [simplify]: iteration 137 : 3954 enodes (cost 7 ) 1.614 * * [simplify]: iteration 138 : 3983 enodes (cost 7 ) 1.626 * * [simplify]: iteration 139 : 4009 enodes (cost 7 ) 1.643 * * [simplify]: iteration 140 : 4043 enodes (cost 7 ) 1.652 * * [simplify]: iteration 141 : 4072 enodes (cost 7 ) 1.664 * * [simplify]: iteration 142 : 4098 enodes (cost 7 ) 1.677 * * [simplify]: iteration 143 : 4132 enodes (cost 7 ) 1.687 * * [simplify]: iteration 144 : 4161 enodes (cost 7 ) 1.701 * * [simplify]: iteration 145 : 4187 enodes (cost 7 ) 1.715 * * [simplify]: iteration 146 : 4221 enodes (cost 7 ) 1.725 * * [simplify]: iteration 147 : 4250 enodes (cost 7 ) 1.736 * * [simplify]: iteration 148 : 4276 enodes (cost 7 ) 1.753 * * [simplify]: iteration 149 : 4310 enodes (cost 7 ) 1.763 * * [simplify]: iteration 150 : 4339 enodes (cost 7 ) 1.775 * * [simplify]: iteration 151 : 4365 enodes (cost 7 ) 1.788 * * [simplify]: iteration 152 : 4399 enodes (cost 7 ) 1.797 * * [simplify]: iteration 153 : 4428 enodes (cost 7 ) 1.813 * * [simplify]: iteration 154 : 4454 enodes (cost 7 ) 1.826 * * [simplify]: iteration 155 : 4488 enodes (cost 7 ) 1.835 * * [simplify]: iteration 156 : 4517 enodes (cost 7 ) 1.846 * * [simplify]: iteration 157 : 4543 enodes (cost 7 ) 1.864 * * [simplify]: iteration 158 : 4577 enodes (cost 7 ) 1.873 * * [simplify]: iteration 159 : 4606 enodes (cost 7 ) 1.884 * * [simplify]: iteration 160 : 4632 enodes (cost 7 ) 1.897 * * [simplify]: iteration 161 : 4666 enodes (cost 7 ) 1.907 * * [simplify]: iteration 162 : 4695 enodes (cost 7 ) 1.921 * * [simplify]: iteration 163 : 4721 enodes (cost 7 ) 1.935 * * [simplify]: iteration 164 : 4755 enodes (cost 7 ) 1.945 * * [simplify]: iteration 165 : 4784 enodes (cost 7 ) 1.956 * * [simplify]: iteration 166 : 4810 enodes (cost 7 ) 1.973 * * [simplify]: iteration 167 : 4844 enodes (cost 7 ) 1.983 * * [simplify]: iteration 168 : 4873 enodes (cost 7 ) 1.994 * * [simplify]: iteration 169 : 4899 enodes (cost 7 ) 2.008 * * [simplify]: iteration 170 : 4933 enodes (cost 7 ) 2.017 * * [simplify]: iteration 171 : 4962 enodes (cost 7 ) 2.032 * * [simplify]: iteration 172 : 4988 enodes (cost 7 ) 2.043 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 2.043 * [simplify]: Simplified to: (+ x (/ (- y x) 2.0)) 2.043 * * [progress]: iteration 1 / 4 2.043 * * * [progress]: picking best candidate 2.046 * * * * [pick]: Picked # 2.046 * * * [progress]: localizing error 2.050 * * * [progress]: generating rewritten candidates 2.050 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.060 * * * [progress]: generating series expansions 2.060 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.060 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (x y) around 0 2.060 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y 2.060 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 2.060 * [taylor]: Taking taylor expansion of 0.5 in y 2.060 * [taylor]: Taking taylor expansion of x in y 2.060 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 2.060 * [taylor]: Taking taylor expansion of 0.5 in y 2.060 * [taylor]: Taking taylor expansion of y in y 2.060 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 2.060 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.060 * [taylor]: Taking taylor expansion of 0.5 in x 2.060 * [taylor]: Taking taylor expansion of x in x 2.060 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 2.060 * [taylor]: Taking taylor expansion of 0.5 in x 2.060 * [taylor]: Taking taylor expansion of y in x 2.060 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 2.061 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.061 * [taylor]: Taking taylor expansion of 0.5 in x 2.061 * [taylor]: Taking taylor expansion of x in x 2.061 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 2.061 * [taylor]: Taking taylor expansion of 0.5 in x 2.061 * [taylor]: Taking taylor expansion of y in x 2.061 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 2.061 * [taylor]: Taking taylor expansion of 0.5 in y 2.061 * [taylor]: Taking taylor expansion of y in y 2.061 * [taylor]: Taking taylor expansion of 0.5 in y 2.061 * [taylor]: Taking taylor expansion of 0 in y 2.061 * [taylor]: Taking taylor expansion of 0 in y 2.061 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 2.061 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 2.061 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.061 * [taylor]: Taking taylor expansion of 0.5 in y 2.061 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.061 * [taylor]: Taking taylor expansion of x in y 2.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.062 * [taylor]: Taking taylor expansion of 0.5 in y 2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.062 * [taylor]: Taking taylor expansion of y in y 2.062 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 2.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.062 * [taylor]: Taking taylor expansion of 0.5 in x 2.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.062 * [taylor]: Taking taylor expansion of x in x 2.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.062 * [taylor]: Taking taylor expansion of 0.5 in x 2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.062 * [taylor]: Taking taylor expansion of y in x 2.062 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 2.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.062 * [taylor]: Taking taylor expansion of 0.5 in x 2.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.062 * [taylor]: Taking taylor expansion of x in x 2.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.062 * [taylor]: Taking taylor expansion of 0.5 in x 2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.062 * [taylor]: Taking taylor expansion of y in x 2.062 * [taylor]: Taking taylor expansion of 0.5 in y 2.062 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.062 * [taylor]: Taking taylor expansion of 0.5 in y 2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.062 * [taylor]: Taking taylor expansion of y in y 2.062 * [taylor]: Taking taylor expansion of 0 in y 2.063 * [taylor]: Taking taylor expansion of 0 in y 2.063 * [taylor]: Taking taylor expansion of 0 in y 2.063 * [approximate]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in (x y) around 0 2.063 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in y 2.063 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 2.063 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.064 * [taylor]: Taking taylor expansion of 0.5 in y 2.064 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.064 * [taylor]: Taking taylor expansion of x in y 2.064 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.064 * [taylor]: Taking taylor expansion of 0.5 in y 2.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.064 * [taylor]: Taking taylor expansion of y in y 2.064 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 2.064 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 2.064 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.064 * [taylor]: Taking taylor expansion of 0.5 in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.064 * [taylor]: Taking taylor expansion of x in x 2.064 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.064 * [taylor]: Taking taylor expansion of 0.5 in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.064 * [taylor]: Taking taylor expansion of y in x 2.064 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 2.064 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 2.064 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.064 * [taylor]: Taking taylor expansion of 0.5 in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.064 * [taylor]: Taking taylor expansion of x in x 2.064 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.064 * [taylor]: Taking taylor expansion of 0.5 in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.064 * [taylor]: Taking taylor expansion of y in x 2.064 * [taylor]: Taking taylor expansion of (neg 0.5) in y 2.064 * [taylor]: Taking taylor expansion of 0.5 in y 2.064 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y 2.064 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.064 * [taylor]: Taking taylor expansion of 0.5 in y 2.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.065 * [taylor]: Taking taylor expansion of y in y 2.065 * [taylor]: Taking taylor expansion of 0 in y 2.065 * [taylor]: Taking taylor expansion of 0 in y 2.066 * [taylor]: Taking taylor expansion of 0 in y 2.066 * * * [progress]: simplifying candidates 2.066 * [simplify]: Simplifying using # : (* (exp x) (exp (/ (- y x) 2.0))) (log (+ x (/ (- y x) 2.0))) (exp (+ x (/ (- y x) 2.0))) (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))) (cbrt (+ x (/ (- y x) 2.0))) (* (* (+ x (/ (- y x) 2.0)) (+ x (/ (- y x) 2.0))) (+ x (/ (- y x) 2.0))) (sqrt (+ x (/ (- y x) 2.0))) (sqrt (+ x (/ (- y x) 2.0))) (+ (pow x 3) (pow (/ (- y x) 2.0) 3)) (+ (* x x) (- (* (/ (- y x) 2.0) (/ (- y x) 2.0)) (* x (/ (- y x) 2.0)))) (- (* x x) (* (/ (- y x) 2.0) (/ (- y x) 2.0))) (- x (/ (- y x) 2.0)) (+ x (/ (- y x) 2.0)) (+ x (/ y 2.0)) (+ (* 0.5 x) (* 0.5 y)) (+ (* 0.5 x) (* 0.5 y)) (+ (* 0.5 x) (* 0.5 y)) 2.067 * * [simplify]: iteration 0 : 33 enodes (cost 178 ) 2.072 * * [simplify]: iteration 1 : 92 enodes (cost 165 ) 2.086 * * [simplify]: iteration 2 : 217 enodes (cost 151 ) 2.128 * * [simplify]: iteration 3 : 626 enodes (cost 151 ) 2.296 * * [simplify]: iteration 4 : 2531 enodes (cost 151 ) 3.060 * * [simplify]: iteration done : 5001 enodes (cost 151 ) 3.060 * [simplify]: Simplified to: (exp (+ x (/ (- y x) 2.0))) (log (+ x (/ (- y x) 2.0))) (exp (+ x (/ (- y x) 2.0))) (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))) (cbrt (+ x (/ (- y x) 2.0))) (pow (+ x (/ (- y x) 2.0)) 3) (sqrt (+ x (/ (- y x) 2.0))) (sqrt (+ x (/ (- y x) 2.0))) (+ (pow x 3) (pow (/ (- y x) 2.0) 3)) (+ (* x x) (* (/ (- y x) 2.0) (- (/ (- y x) 2.0) x))) (- (* x x) (* (/ (- y x) 2.0) (/ (- y x) 2.0))) (- x (/ (- y x) 2.0)) (+ x (/ (- y x) 2.0)) (+ x (/ y 2.0)) (* 0.5 (+ x y)) (* 0.5 (+ x y)) (* 0.5 (+ x y)) 3.060 * * * [progress]: adding candidates to table 3.084 * * [progress]: iteration 2 / 4 3.084 * * * [progress]: picking best candidate 3.087 * * * * [pick]: Picked # 3.087 * * * [progress]: localizing error 3.090 * * * [progress]: generating rewritten candidates 3.090 * * * [progress]: generating series expansions 3.090 * * * [progress]: simplifying candidates 3.090 * [simplify]: Simplifying using # : 3.091 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 3.091 * * [simplify]: iteration done : 0 enodes (cost 0 ) 3.091 * [simplify]: Simplified to: 3.091 * * * [progress]: adding candidates to table 3.091 * [progress]: [Phase 3 of 3] Extracting. 3.094 * [simplify]: Simplifying using # : (* 0.5 (+ x y)) 3.094 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 3.094 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 3.094 * * [simplify]: iteration done : 7 enodes (cost 5 ) 3.094 * [simplify]: Simplified to: (* 0.5 (+ x y)) 3.706 * [regime-testing]: End program error score: 0 3.769 * [regime-testing]: Target error score: 0