7.509 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (+ (+ (* x y) x) y) 0.019 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.020 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.021 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.024 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 0.027 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 0.031 * * [simplify]: iteration 5 : 46 enodes (cost 7 ) 0.035 * * [simplify]: iteration 6 : 70 enodes (cost 7 ) 0.039 * * [simplify]: iteration 7 : 94 enodes (cost 7 ) 0.047 * * [simplify]: iteration 8 : 118 enodes (cost 7 ) 0.052 * * [simplify]: iteration 9 : 142 enodes (cost 7 ) 0.056 * * [simplify]: iteration 10 : 166 enodes (cost 7 ) 0.060 * * [simplify]: iteration 11 : 190 enodes (cost 7 ) 0.064 * * [simplify]: iteration 12 : 214 enodes (cost 7 ) 0.069 * * [simplify]: iteration 13 : 238 enodes (cost 7 ) 0.073 * * [simplify]: iteration 14 : 262 enodes (cost 7 ) 0.077 * * [simplify]: iteration 15 : 286 enodes (cost 7 ) 0.082 * * [simplify]: iteration 16 : 310 enodes (cost 7 ) 0.086 * * [simplify]: iteration 17 : 334 enodes (cost 7 ) 0.090 * * [simplify]: iteration 18 : 358 enodes (cost 7 ) 0.094 * * [simplify]: iteration 19 : 382 enodes (cost 7 ) 0.101 * * [simplify]: iteration 20 : 406 enodes (cost 7 ) 0.105 * * [simplify]: iteration 21 : 430 enodes (cost 7 ) 0.109 * * [simplify]: iteration 22 : 454 enodes (cost 7 ) 0.113 * * [simplify]: iteration 23 : 478 enodes (cost 7 ) 0.117 * * [simplify]: iteration 24 : 502 enodes (cost 7 ) 0.122 * * [simplify]: iteration 25 : 526 enodes (cost 7 ) 0.126 * * [simplify]: iteration 26 : 550 enodes (cost 7 ) 0.130 * * [simplify]: iteration 27 : 574 enodes (cost 7 ) 0.135 * * [simplify]: iteration 28 : 598 enodes (cost 7 ) 0.139 * * [simplify]: iteration 29 : 622 enodes (cost 7 ) 0.143 * * [simplify]: iteration 30 : 646 enodes (cost 7 ) 0.147 * * [simplify]: iteration 31 : 670 enodes (cost 7 ) 0.154 * * [simplify]: iteration 32 : 694 enodes (cost 7 ) 0.158 * * [simplify]: iteration 33 : 718 enodes (cost 7 ) 0.162 * * [simplify]: iteration 34 : 742 enodes (cost 7 ) 0.166 * * [simplify]: iteration 35 : 766 enodes (cost 7 ) 0.171 * * [simplify]: iteration 36 : 790 enodes (cost 7 ) 0.175 * * [simplify]: iteration 37 : 814 enodes (cost 7 ) 0.179 * * [simplify]: iteration 38 : 838 enodes (cost 7 ) 0.184 * * [simplify]: iteration 39 : 862 enodes (cost 7 ) 0.188 * * [simplify]: iteration 40 : 886 enodes (cost 7 ) 0.192 * * [simplify]: iteration 41 : 910 enodes (cost 7 ) 0.196 * * [simplify]: iteration 42 : 934 enodes (cost 7 ) 0.200 * * [simplify]: iteration 43 : 958 enodes (cost 7 ) 0.207 * * [simplify]: iteration 44 : 982 enodes (cost 7 ) 0.211 * * [simplify]: iteration 45 : 1006 enodes (cost 7 ) 0.215 * * [simplify]: iteration 46 : 1030 enodes (cost 7 ) 0.219 * * [simplify]: iteration 47 : 1054 enodes (cost 7 ) 0.224 * * [simplify]: iteration 48 : 1078 enodes (cost 7 ) 0.228 * * [simplify]: iteration 49 : 1102 enodes (cost 7 ) 0.232 * * [simplify]: iteration 50 : 1126 enodes (cost 7 ) 0.236 * * [simplify]: iteration 51 : 1150 enodes (cost 7 ) 0.241 * * [simplify]: iteration 52 : 1174 enodes (cost 7 ) 0.245 * * [simplify]: iteration 53 : 1198 enodes (cost 7 ) 0.249 * * [simplify]: iteration 54 : 1222 enodes (cost 7 ) 0.253 * * [simplify]: iteration 55 : 1246 enodes (cost 7 ) 0.260 * * [simplify]: iteration 56 : 1270 enodes (cost 7 ) 0.264 * * [simplify]: iteration 57 : 1294 enodes (cost 7 ) 0.268 * * [simplify]: iteration 58 : 1318 enodes (cost 7 ) 0.273 * * [simplify]: iteration 59 : 1342 enodes (cost 7 ) 0.277 * * [simplify]: iteration 60 : 1366 enodes (cost 7 ) 0.281 * * [simplify]: iteration 61 : 1390 enodes (cost 7 ) 0.285 * * [simplify]: iteration 62 : 1414 enodes (cost 7 ) 0.289 * * [simplify]: iteration 63 : 1438 enodes (cost 7 ) 0.294 * * [simplify]: iteration 64 : 1462 enodes (cost 7 ) 0.298 * * [simplify]: iteration 65 : 1486 enodes (cost 7 ) 0.302 * * [simplify]: iteration 66 : 1510 enodes (cost 7 ) 0.306 * * [simplify]: iteration 67 : 1534 enodes (cost 7 ) 0.313 * * [simplify]: iteration 68 : 1558 enodes (cost 7 ) 0.317 * * [simplify]: iteration 69 : 1582 enodes (cost 7 ) 0.321 * * [simplify]: iteration 70 : 1606 enodes (cost 7 ) 0.326 * * [simplify]: iteration 71 : 1630 enodes (cost 7 ) 0.330 * * [simplify]: iteration 72 : 1654 enodes (cost 7 ) 0.334 * * [simplify]: iteration 73 : 1678 enodes (cost 7 ) 0.338 * * [simplify]: iteration 74 : 1702 enodes (cost 7 ) 0.342 * * [simplify]: iteration 75 : 1726 enodes (cost 7 ) 0.347 * * [simplify]: iteration 76 : 1750 enodes (cost 7 ) 0.351 * * [simplify]: iteration 77 : 1774 enodes (cost 7 ) 0.355 * * [simplify]: iteration 78 : 1798 enodes (cost 7 ) 0.359 * * [simplify]: iteration 79 : 1822 enodes (cost 7 ) 0.366 * * [simplify]: iteration 80 : 1846 enodes (cost 7 ) 0.370 * * [simplify]: iteration 81 : 1870 enodes (cost 7 ) 0.374 * * [simplify]: iteration 82 : 1894 enodes (cost 7 ) 0.379 * * [simplify]: iteration 83 : 1918 enodes (cost 7 ) 0.383 * * [simplify]: iteration 84 : 1942 enodes (cost 7 ) 0.387 * * [simplify]: iteration 85 : 1966 enodes (cost 7 ) 0.391 * * [simplify]: iteration 86 : 1990 enodes (cost 7 ) 0.396 * * [simplify]: iteration 87 : 2014 enodes (cost 7 ) 0.400 * * [simplify]: iteration 88 : 2038 enodes (cost 7 ) 0.404 * * [simplify]: iteration 89 : 2062 enodes (cost 7 ) 0.408 * * [simplify]: iteration 90 : 2086 enodes (cost 7 ) 0.413 * * [simplify]: iteration 91 : 2110 enodes (cost 7 ) 0.419 * * [simplify]: iteration 92 : 2134 enodes (cost 7 ) 0.424 * * [simplify]: iteration 93 : 2158 enodes (cost 7 ) 0.428 * * [simplify]: iteration 94 : 2182 enodes (cost 7 ) 0.432 * * [simplify]: iteration 95 : 2206 enodes (cost 7 ) 0.436 * * [simplify]: iteration 96 : 2230 enodes (cost 7 ) 0.441 * * [simplify]: iteration 97 : 2254 enodes (cost 7 ) 0.445 * * [simplify]: iteration 98 : 2278 enodes (cost 7 ) 0.449 * * [simplify]: iteration 99 : 2302 enodes (cost 7 ) 0.453 * * [simplify]: iteration 100 : 2326 enodes (cost 7 ) 0.457 * * [simplify]: iteration 101 : 2350 enodes (cost 7 ) 0.462 * * [simplify]: iteration 102 : 2374 enodes (cost 7 ) 0.466 * * [simplify]: iteration 103 : 2398 enodes (cost 7 ) 0.472 * * [simplify]: iteration 104 : 2422 enodes (cost 7 ) 0.477 * * [simplify]: iteration 105 : 2446 enodes (cost 7 ) 0.481 * * [simplify]: iteration 106 : 2470 enodes (cost 7 ) 0.485 * * [simplify]: iteration 107 : 2494 enodes (cost 7 ) 0.489 * * [simplify]: iteration 108 : 2518 enodes (cost 7 ) 0.494 * * [simplify]: iteration 109 : 2542 enodes (cost 7 ) 0.498 * * [simplify]: iteration 110 : 2566 enodes (cost 7 ) 0.502 * * [simplify]: iteration 111 : 2590 enodes (cost 7 ) 0.506 * * [simplify]: iteration 112 : 2614 enodes (cost 7 ) 0.510 * * [simplify]: iteration 113 : 2638 enodes (cost 7 ) 0.515 * * [simplify]: iteration 114 : 2662 enodes (cost 7 ) 0.519 * * [simplify]: iteration 115 : 2686 enodes (cost 7 ) 0.525 * * [simplify]: iteration 116 : 2710 enodes (cost 7 ) 0.530 * * [simplify]: iteration 117 : 2734 enodes (cost 7 ) 0.534 * * [simplify]: iteration 118 : 2758 enodes (cost 7 ) 0.538 * * [simplify]: iteration 119 : 2782 enodes (cost 7 ) 0.542 * * [simplify]: iteration 120 : 2806 enodes (cost 7 ) 0.546 * * [simplify]: iteration 121 : 2830 enodes (cost 7 ) 0.551 * * [simplify]: iteration 122 : 2854 enodes (cost 7 ) 0.555 * * [simplify]: iteration 123 : 2878 enodes (cost 7 ) 0.559 * * [simplify]: iteration 124 : 2902 enodes (cost 7 ) 0.563 * * [simplify]: iteration 125 : 2926 enodes (cost 7 ) 0.567 * * [simplify]: iteration 126 : 2950 enodes (cost 7 ) 0.572 * * [simplify]: iteration 127 : 2974 enodes (cost 7 ) 0.578 * * [simplify]: iteration 128 : 2998 enodes (cost 7 ) 0.582 * * [simplify]: iteration 129 : 3022 enodes (cost 7 ) 0.587 * * [simplify]: iteration 130 : 3046 enodes (cost 7 ) 0.591 * * [simplify]: iteration 131 : 3070 enodes (cost 7 ) 0.595 * * [simplify]: iteration 132 : 3094 enodes (cost 7 ) 0.599 * * [simplify]: iteration 133 : 3118 enodes (cost 7 ) 0.603 * * [simplify]: iteration 134 : 3142 enodes (cost 7 ) 0.608 * * [simplify]: iteration 135 : 3166 enodes (cost 7 ) 0.612 * * [simplify]: iteration 136 : 3190 enodes (cost 7 ) 0.616 * * [simplify]: iteration 137 : 3214 enodes (cost 7 ) 0.620 * * [simplify]: iteration 138 : 3238 enodes (cost 7 ) 0.624 * * [simplify]: iteration 139 : 3262 enodes (cost 7 ) 0.631 * * [simplify]: iteration 140 : 3286 enodes (cost 7 ) 0.635 * * [simplify]: iteration 141 : 3310 enodes (cost 7 ) 0.640 * * [simplify]: iteration 142 : 3334 enodes (cost 7 ) 0.644 * * [simplify]: iteration 143 : 3358 enodes (cost 7 ) 0.648 * * [simplify]: iteration 144 : 3382 enodes (cost 7 ) 0.652 * * [simplify]: iteration 145 : 3406 enodes (cost 7 ) 0.657 * * [simplify]: iteration 146 : 3430 enodes (cost 7 ) 0.661 * * [simplify]: iteration 147 : 3454 enodes (cost 7 ) 0.665 * * [simplify]: iteration 148 : 3478 enodes (cost 7 ) 0.669 * * [simplify]: iteration 149 : 3502 enodes (cost 7 ) 0.673 * * [simplify]: iteration 150 : 3526 enodes (cost 7 ) 0.678 * * [simplify]: iteration 151 : 3550 enodes (cost 7 ) 0.684 * * [simplify]: iteration 152 : 3574 enodes (cost 7 ) 0.689 * * [simplify]: iteration 153 : 3598 enodes (cost 7 ) 0.693 * * [simplify]: iteration 154 : 3622 enodes (cost 7 ) 0.697 * * [simplify]: iteration 155 : 3646 enodes (cost 7 ) 0.701 * * [simplify]: iteration 156 : 3670 enodes (cost 7 ) 0.705 * * [simplify]: iteration 157 : 3694 enodes (cost 7 ) 0.710 * * [simplify]: iteration 158 : 3718 enodes (cost 7 ) 0.714 * * [simplify]: iteration 159 : 3742 enodes (cost 7 ) 0.718 * * [simplify]: iteration 160 : 3766 enodes (cost 7 ) 0.722 * * [simplify]: iteration 161 : 3790 enodes (cost 7 ) 0.726 * * [simplify]: iteration 162 : 3814 enodes (cost 7 ) 0.731 * * [simplify]: iteration 163 : 3838 enodes (cost 7 ) 0.737 * * [simplify]: iteration 164 : 3862 enodes (cost 7 ) 0.741 * * [simplify]: iteration 165 : 3886 enodes (cost 7 ) 0.746 * * [simplify]: iteration 166 : 3910 enodes (cost 7 ) 0.750 * * [simplify]: iteration 167 : 3934 enodes (cost 7 ) 0.754 * * [simplify]: iteration 168 : 3958 enodes (cost 7 ) 0.758 * * [simplify]: iteration 169 : 3982 enodes (cost 7 ) 0.762 * * [simplify]: iteration 170 : 4006 enodes (cost 7 ) 0.767 * * [simplify]: iteration 171 : 4030 enodes (cost 7 ) 0.771 * * [simplify]: iteration 172 : 4054 enodes (cost 7 ) 0.775 * * [simplify]: iteration 173 : 4078 enodes (cost 7 ) 0.779 * * [simplify]: iteration 174 : 4102 enodes (cost 7 ) 0.784 * * [simplify]: iteration 175 : 4126 enodes (cost 7 ) 0.790 * * [simplify]: iteration 176 : 4150 enodes (cost 7 ) 0.795 * * [simplify]: iteration 177 : 4174 enodes (cost 7 ) 0.799 * * [simplify]: iteration 178 : 4198 enodes (cost 7 ) 0.803 * * [simplify]: iteration 179 : 4222 enodes (cost 7 ) 0.807 * * [simplify]: iteration 180 : 4246 enodes (cost 7 ) 0.812 * * [simplify]: iteration 181 : 4270 enodes (cost 7 ) 0.816 * * [simplify]: iteration 182 : 4294 enodes (cost 7 ) 0.820 * * [simplify]: iteration 183 : 4318 enodes (cost 7 ) 0.825 * * [simplify]: iteration 184 : 4342 enodes (cost 7 ) 0.829 * * [simplify]: iteration 185 : 4366 enodes (cost 7 ) 0.833 * * [simplify]: iteration 186 : 4390 enodes (cost 7 ) 0.837 * * [simplify]: iteration 187 : 4414 enodes (cost 7 ) 0.844 * * [simplify]: iteration 188 : 4438 enodes (cost 7 ) 0.848 * * [simplify]: iteration 189 : 4462 enodes (cost 7 ) 0.852 * * [simplify]: iteration 190 : 4486 enodes (cost 7 ) 0.857 * * [simplify]: iteration 191 : 4510 enodes (cost 7 ) 0.861 * * [simplify]: iteration 192 : 4534 enodes (cost 7 ) 0.865 * * [simplify]: iteration 193 : 4558 enodes (cost 7 ) 0.870 * * [simplify]: iteration 194 : 4582 enodes (cost 7 ) 0.874 * * [simplify]: iteration 195 : 4606 enodes (cost 7 ) 0.878 * * [simplify]: iteration 196 : 4630 enodes (cost 7 ) 0.882 * * [simplify]: iteration 197 : 4654 enodes (cost 7 ) 0.887 * * [simplify]: iteration 198 : 4678 enodes (cost 7 ) 0.891 * * [simplify]: iteration 199 : 4702 enodes (cost 7 ) 0.898 * * [simplify]: iteration 200 : 4726 enodes (cost 7 ) 0.902 * * [simplify]: iteration 201 : 4750 enodes (cost 7 ) 0.906 * * [simplify]: iteration 202 : 4774 enodes (cost 7 ) 0.910 * * [simplify]: iteration 203 : 4798 enodes (cost 7 ) 0.915 * * [simplify]: iteration 204 : 4822 enodes (cost 7 ) 0.919 * * [simplify]: iteration 205 : 4846 enodes (cost 7 ) 0.923 * * [simplify]: iteration 206 : 4870 enodes (cost 7 ) 0.928 * * [simplify]: iteration 207 : 4894 enodes (cost 7 ) 0.932 * * [simplify]: iteration 208 : 4918 enodes (cost 7 ) 0.936 * * [simplify]: iteration 209 : 4942 enodes (cost 7 ) 0.941 * * [simplify]: iteration 210 : 4966 enodes (cost 7 ) 0.945 * * [simplify]: iteration 211 : 4990 enodes (cost 7 ) 0.951 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 0.951 * [simplify]: Simplified to: (+ (+ (* x y) x) y) 0.951 * * [progress]: iteration 1 / 4 0.951 * * * [progress]: picking best candidate 0.953 * * * * [pick]: Picked # 0.953 * * * [progress]: localizing error 0.958 * * * [progress]: generating rewritten candidates 0.958 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.965 * * * [progress]: generating series expansions 0.965 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.965 * [approximate]: Taking taylor expansion of (+ (* x y) (+ y x)) in (x y) around 0 0.965 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in y 0.965 * [taylor]: Taking taylor expansion of (* x y) in y 0.965 * [taylor]: Taking taylor expansion of x in y 0.965 * [taylor]: Taking taylor expansion of y in y 0.965 * [taylor]: Taking taylor expansion of (+ y x) in y 0.965 * [taylor]: Taking taylor expansion of y in y 0.965 * [taylor]: Taking taylor expansion of x in y 0.965 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in x 0.965 * [taylor]: Taking taylor expansion of (* x y) in x 0.965 * [taylor]: Taking taylor expansion of x in x 0.965 * [taylor]: Taking taylor expansion of y in x 0.965 * [taylor]: Taking taylor expansion of (+ y x) in x 0.965 * [taylor]: Taking taylor expansion of y in x 0.965 * [taylor]: Taking taylor expansion of x in x 0.965 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in x 0.965 * [taylor]: Taking taylor expansion of (* x y) in x 0.965 * [taylor]: Taking taylor expansion of x in x 0.965 * [taylor]: Taking taylor expansion of y in x 0.965 * [taylor]: Taking taylor expansion of (+ y x) in x 0.965 * [taylor]: Taking taylor expansion of y in x 0.965 * [taylor]: Taking taylor expansion of x in x 0.965 * [taylor]: Taking taylor expansion of y in y 0.965 * [taylor]: Taking taylor expansion of (+ y 1) in y 0.965 * [taylor]: Taking taylor expansion of y in y 0.965 * [taylor]: Taking taylor expansion of 1 in y 0.966 * [taylor]: Taking taylor expansion of 0 in y 0.966 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in (x y) around 0 0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in y 0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.966 * [taylor]: Taking taylor expansion of x in y 0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in y 0.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.966 * [taylor]: Taking taylor expansion of y in y 0.966 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.966 * [taylor]: Taking taylor expansion of (* x y) in y 0.966 * [taylor]: Taking taylor expansion of x in y 0.966 * [taylor]: Taking taylor expansion of y in y 0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.966 * [taylor]: Taking taylor expansion of x in x 0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.966 * [taylor]: Taking taylor expansion of y in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.966 * [taylor]: Taking taylor expansion of (* x y) in x 0.966 * [taylor]: Taking taylor expansion of x in x 0.966 * [taylor]: Taking taylor expansion of y in x 0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.966 * [taylor]: Taking taylor expansion of x in x 0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.966 * [taylor]: Taking taylor expansion of y in x 0.966 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.967 * [taylor]: Taking taylor expansion of (* x y) in x 0.967 * [taylor]: Taking taylor expansion of x in x 0.967 * [taylor]: Taking taylor expansion of y in x 0.967 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.967 * [taylor]: Taking taylor expansion of y in y 0.967 * [taylor]: Taking taylor expansion of 1 in y 0.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.967 * [taylor]: Taking taylor expansion of y in y 0.967 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in (x y) around 0 0.967 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 0.967 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.967 * [taylor]: Taking taylor expansion of (* x y) in y 0.967 * [taylor]: Taking taylor expansion of x in y 0.968 * [taylor]: Taking taylor expansion of y in y 0.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.968 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.968 * [taylor]: Taking taylor expansion of x in y 0.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.968 * [taylor]: Taking taylor expansion of y in y 0.968 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 0.968 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.968 * [taylor]: Taking taylor expansion of (* x y) in x 0.968 * [taylor]: Taking taylor expansion of x in x 0.968 * [taylor]: Taking taylor expansion of y in x 0.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.968 * [taylor]: Taking taylor expansion of x in x 0.968 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.968 * [taylor]: Taking taylor expansion of y in x 0.968 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 0.968 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.968 * [taylor]: Taking taylor expansion of (* x y) in x 0.968 * [taylor]: Taking taylor expansion of x in x 0.968 * [taylor]: Taking taylor expansion of y in x 0.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.968 * [taylor]: Taking taylor expansion of x in x 0.968 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.968 * [taylor]: Taking taylor expansion of y in x 0.968 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 0.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.968 * [taylor]: Taking taylor expansion of y in y 0.968 * [taylor]: Taking taylor expansion of 1 in y 0.969 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.969 * [taylor]: Taking taylor expansion of y in y 0.969 * * * [progress]: simplifying candidates 0.969 * [simplify]: Simplifying using # : (* (* (exp (* x y)) (exp x)) (exp y)) (* (exp (+ (* x y) x)) (exp y)) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))) (cbrt (+ (+ (* x y) x) y)) (* (* (+ (+ (* x y) x) y) (+ (+ (* x y) x) y)) (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y))) (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y) (+ (+ (* x y) x) y) (+ x y) (+ (* x y) (+ y x)) (+ x (+ (* x y) y)) (+ x (+ (* x y) y)) 0.970 * * [simplify]: iteration 0 : 35 enodes (cost 186 ) 0.976 * * [simplify]: iteration 1 : 98 enodes (cost 181 ) 0.992 * * [simplify]: iteration 2 : 307 enodes (cost 167 ) 1.073 * * [simplify]: iteration 3 : 1196 enodes (cost 163 ) 1.458 * * [simplify]: iteration done : 5000 enodes (cost 163 ) 1.458 * [simplify]: Simplified to: (exp (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))) (cbrt (+ (+ (* x y) x) y)) (pow (+ x (+ (* x y) y)) 3) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (- (* y y) (* (+ (* x y) x) (- y (+ (* x y) x)))) (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y) (+ x (+ (* x y) y)) (+ y x) (+ x (+ (* x y) y)) (+ x (+ (* x y) y)) (+ x (+ (* x y) y)) 1.458 * * * [progress]: adding candidates to table 1.475 * * [progress]: iteration 2 / 4 1.475 * * * [progress]: picking best candidate 1.478 * * * * [pick]: Picked # 1.478 * * * [progress]: localizing error 1.485 * * * [progress]: generating rewritten candidates 1.485 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.493 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 1.501 * * * [progress]: generating series expansions 1.501 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.501 * [approximate]: Taking taylor expansion of (+ (* x y) (+ y x)) in (x y) around 0 1.501 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in y 1.501 * [taylor]: Taking taylor expansion of (* x y) in y 1.501 * [taylor]: Taking taylor expansion of x in y 1.501 * [taylor]: Taking taylor expansion of y in y 1.501 * [taylor]: Taking taylor expansion of (+ y x) in y 1.501 * [taylor]: Taking taylor expansion of y in y 1.501 * [taylor]: Taking taylor expansion of x in y 1.501 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in x 1.501 * [taylor]: Taking taylor expansion of (* x y) in x 1.501 * [taylor]: Taking taylor expansion of x in x 1.501 * [taylor]: Taking taylor expansion of y in x 1.501 * [taylor]: Taking taylor expansion of (+ y x) in x 1.501 * [taylor]: Taking taylor expansion of y in x 1.501 * [taylor]: Taking taylor expansion of x in x 1.501 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in x 1.501 * [taylor]: Taking taylor expansion of (* x y) in x 1.501 * [taylor]: Taking taylor expansion of x in x 1.501 * [taylor]: Taking taylor expansion of y in x 1.501 * [taylor]: Taking taylor expansion of (+ y x) in x 1.501 * [taylor]: Taking taylor expansion of y in x 1.501 * [taylor]: Taking taylor expansion of x in x 1.501 * [taylor]: Taking taylor expansion of y in y 1.502 * [taylor]: Taking taylor expansion of (+ y 1) in y 1.502 * [taylor]: Taking taylor expansion of y in y 1.502 * [taylor]: Taking taylor expansion of 1 in y 1.502 * [taylor]: Taking taylor expansion of 0 in y 1.502 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in (x y) around 0 1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.502 * [taylor]: Taking taylor expansion of x in y 1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.502 * [taylor]: Taking taylor expansion of y in y 1.502 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.502 * [taylor]: Taking taylor expansion of (* x y) in y 1.502 * [taylor]: Taking taylor expansion of x in y 1.502 * [taylor]: Taking taylor expansion of y in y 1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in x 1.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.502 * [taylor]: Taking taylor expansion of x in x 1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in x 1.502 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.502 * [taylor]: Taking taylor expansion of y in x 1.502 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.503 * [taylor]: Taking taylor expansion of (* x y) in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of y in x 1.503 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in x 1.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in x 1.503 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.503 * [taylor]: Taking taylor expansion of y in x 1.503 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.503 * [taylor]: Taking taylor expansion of (* x y) in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of y in x 1.503 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 1.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.503 * [taylor]: Taking taylor expansion of y in y 1.503 * [taylor]: Taking taylor expansion of 1 in y 1.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.503 * [taylor]: Taking taylor expansion of y in y 1.504 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in (x y) around 0 1.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 1.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.504 * [taylor]: Taking taylor expansion of (* x y) in y 1.504 * [taylor]: Taking taylor expansion of x in y 1.504 * [taylor]: Taking taylor expansion of y in y 1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.504 * [taylor]: Taking taylor expansion of x in y 1.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.504 * [taylor]: Taking taylor expansion of y in y 1.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.504 * [taylor]: Taking taylor expansion of (* x y) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of y in x 1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.504 * [taylor]: Taking taylor expansion of y in x 1.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.504 * [taylor]: Taking taylor expansion of (* x y) in x 1.504 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of y in x 1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.505 * [taylor]: Taking taylor expansion of x in x 1.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.505 * [taylor]: Taking taylor expansion of y in x 1.505 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 1.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.505 * [taylor]: Taking taylor expansion of y in y 1.505 * [taylor]: Taking taylor expansion of 1 in y 1.505 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.505 * [taylor]: Taking taylor expansion of y in y 1.505 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 1.505 * [approximate]: Taking taylor expansion of (+ (* x y) (+ y x)) in (x y) around 0 1.505 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in y 1.505 * [taylor]: Taking taylor expansion of (* x y) in y 1.506 * [taylor]: Taking taylor expansion of x in y 1.506 * [taylor]: Taking taylor expansion of y in y 1.506 * [taylor]: Taking taylor expansion of (+ y x) in y 1.506 * [taylor]: Taking taylor expansion of y in y 1.506 * [taylor]: Taking taylor expansion of x in y 1.506 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in x 1.506 * [taylor]: Taking taylor expansion of (* x y) in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of y in x 1.506 * [taylor]: Taking taylor expansion of (+ y x) in x 1.506 * [taylor]: Taking taylor expansion of y in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of (+ (* x y) (+ y x)) in x 1.506 * [taylor]: Taking taylor expansion of (* x y) in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of y in x 1.506 * [taylor]: Taking taylor expansion of (+ y x) in x 1.506 * [taylor]: Taking taylor expansion of y in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of y in y 1.506 * [taylor]: Taking taylor expansion of (+ y 1) in y 1.506 * [taylor]: Taking taylor expansion of y in y 1.506 * [taylor]: Taking taylor expansion of 1 in y 1.506 * [taylor]: Taking taylor expansion of 0 in y 1.506 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in (x y) around 0 1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in y 1.506 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.506 * [taylor]: Taking taylor expansion of x in y 1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in y 1.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.507 * [taylor]: Taking taylor expansion of y in y 1.507 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.507 * [taylor]: Taking taylor expansion of (* x y) in y 1.507 * [taylor]: Taking taylor expansion of x in y 1.507 * [taylor]: Taking taylor expansion of y in y 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.507 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.507 * [taylor]: Taking taylor expansion of (* x y) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (+ (/ 1 y) (/ 1 (* x y)))) in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.507 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.507 * [taylor]: Taking taylor expansion of (* x y) in x 1.507 * [taylor]: Taking taylor expansion of x in x 1.507 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 1.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.507 * [taylor]: Taking taylor expansion of y in y 1.507 * [taylor]: Taking taylor expansion of 1 in y 1.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.508 * [taylor]: Taking taylor expansion of y in y 1.508 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in (x y) around 0 1.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 1.508 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.508 * [taylor]: Taking taylor expansion of (* x y) in y 1.508 * [taylor]: Taking taylor expansion of x in y 1.508 * [taylor]: Taking taylor expansion of y in y 1.508 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.508 * [taylor]: Taking taylor expansion of x in y 1.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.508 * [taylor]: Taking taylor expansion of y in y 1.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.508 * [taylor]: Taking taylor expansion of (* x y) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [taylor]: Taking taylor expansion of y in x 1.508 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.509 * [taylor]: Taking taylor expansion of y in x 1.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.509 * [taylor]: Taking taylor expansion of (* x y) in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of y in x 1.509 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.509 * [taylor]: Taking taylor expansion of y in x 1.509 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 1.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.509 * [taylor]: Taking taylor expansion of y in y 1.509 * [taylor]: Taking taylor expansion of 1 in y 1.509 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.509 * [taylor]: Taking taylor expansion of y in y 1.510 * * * [progress]: simplifying candidates 1.510 * [simplify]: Simplifying using # : (exp 1) (exp (* (cbrt (log (+ (+ (* x y) x) y))) (cbrt (log (+ (+ (* x y) x) y))))) (exp (sqrt (log (+ (+ (* x y) x) y)))) (exp 1) (exp (log (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))))) (exp (log (cbrt (+ (+ (* x y) x) y)))) (exp (log (sqrt (+ (+ (* x y) x) y)))) (exp (log (sqrt (+ (+ (* x y) x) y)))) (exp (log 1)) (exp (log (+ (+ (* x y) x) y))) (exp (log 1)) (exp (log (+ (+ (* x y) x) y))) (exp (log (+ (pow (+ (* x y) x) 3) (pow y 3)))) (exp (log (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y))))) (exp (log (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)))) (exp (log (- (+ (* x y) x) y))) (log (exp (log (+ (+ (* x y) x) y)))) (exp (exp (log (+ (+ (* x y) x) y)))) (* (cbrt (exp (log (+ (+ (* x y) x) y)))) (cbrt (exp (log (+ (+ (* x y) x) y))))) (cbrt (exp (log (+ (+ (* x y) x) y)))) (* (* (exp (log (+ (+ (* x y) x) y))) (exp (log (+ (+ (* x y) x) y)))) (exp (log (+ (+ (* x y) x) y)))) (sqrt (exp (log (+ (+ (* x y) x) y)))) (sqrt (exp (log (+ (+ (* x y) x) y)))) (* (* (exp (* x y)) (exp x)) (exp y)) (* (exp (+ (* x y) x)) (exp y)) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))) (cbrt (+ (+ (* x y) x) y)) (* (* (+ (+ (* x y) x) y) (+ (+ (* x y) x) y)) (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y))) (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y) (+ (+ (* x y) x) y) (+ x y) (+ (* x y) (+ y x)) (+ x (+ (* x y) y)) (+ x (+ (* x y) y)) (+ (* x y) (+ y x)) (+ x (+ (* x y) y)) (+ x (+ (* x y) y)) 1.512 * * [simplify]: iteration 0 : 66 enodes (cost 478 ) 1.523 * * [simplify]: iteration 1 : 138 enodes (cost 425 ) 1.542 * * [simplify]: iteration 2 : 358 enodes (cost 382 ) 1.629 * * [simplify]: iteration 3 : 1260 enodes (cost 374 ) 2.010 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 2.010 * [simplify]: Simplified to: E (exp (* (cbrt (log (+ (+ (* x y) x) y))) (cbrt (log (+ (+ (* x y) x) y))))) (exp (sqrt (log (+ (+ (* x y) x) y)))) E (exp (* 2 (log (cbrt (+ (+ (* x y) x) y))))) (cbrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) 1 (+ (+ y x) (* x y)) 1 (+ (+ y x) (* x y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* y y) (* (+ (* x y) x) (- (+ (* x y) x) y))) (* (+ x (+ (* x y) y)) (- (+ (* x y) x) y)) (- (+ (* x y) x) y) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (exp (* 2 (log (cbrt (+ (+ (* x y) x) y))))) (cbrt (+ (+ (* x y) x) y)) (pow (+ (+ y x) (* x y)) 3) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (exp (* 2 (log (cbrt (+ (+ (* x y) x) y))))) (cbrt (+ (+ (* x y) x) y)) (pow (+ (+ y x) (* x y)) 3) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* y y) (* (+ (* x y) x) (- (+ (* x y) x) y))) (* (+ x (+ (* x y) y)) (- (+ (* x y) x) y)) (- (+ (* x y) x) y) (+ (+ y x) (* x y)) (+ y x) (+ (+ y x) (* x y)) (+ (+ y x) (* x y)) (+ (+ y x) (* x y)) (+ (+ y x) (* x y)) (+ (+ y x) (* x y)) (+ (+ y x) (* x y)) 2.010 * * * [progress]: adding candidates to table 2.047 * [progress]: [Phase 3 of 3] Extracting. 2.047 * * [regime]: Finding splitpoints for: (# #) 2.048 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (* x y) x) y) y x) 2.048 * * * * [regimes]: Trying to branch on (+ (+ (* x y) x) y) from (# #) 2.084 * * * * [regimes]: Trying to branch on y from (# #) 2.119 * * * * [regimes]: Trying to branch on x from (# #) 2.154 * * * [regime]: Found split indices: #