3.762 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying: (+ x (/ (- y x) 2.0)) 0.018 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.018 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.018 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.018 * * [simplify]: Extracting # 3 : cost 4 inf + 2 0.018 * * [simplify]: Extracting # 4 : cost 0 inf + 251 0.018 * * [simplify]: iteration 0 : 6 enodes (cost 123 ) 0.019 * * [simplify]: Extracting # 0 : cost 0 inf + 251 0.019 * * [simplify]: Extracting # 1 : cost 3 inf + 251 0.020 * * [simplify]: Extracting # 2 : cost 0 inf + 376 0.020 * * [simplify]: iteration 1 : 12 enodes (cost 123 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 inf + 376 0.021 * * [simplify]: Extracting # 1 : cost 3 inf + 376 0.021 * * [simplify]: Extracting # 2 : cost 0 inf + 623 0.022 * * [simplify]: iteration 2 : 19 enodes (cost 123 ) 0.024 * * [simplify]: Extracting # 0 : cost 0 inf + 623 0.024 * * [simplify]: Extracting # 1 : cost 2 inf + 623 0.025 * * [simplify]: Extracting # 2 : cost 0 inf + 867 0.025 * * [simplify]: iteration 3 : 28 enodes (cost 123 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 inf + 867 0.029 * * [simplify]: Extracting # 1 : cost 2 inf + 867 0.029 * * [simplify]: Extracting # 2 : cost 0 inf + 1030 0.029 * * [simplify]: iteration 4 : 38 enodes (cost 123 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 inf + 1030 0.040 * * [simplify]: Extracting # 1 : cost 5 inf + 950 0.041 * * [simplify]: Extracting # 2 : cost 0 inf + 1361 0.042 * * [simplify]: iteration 5 : 54 enodes (cost 123 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 inf + 1361 0.058 * * [simplify]: Extracting # 1 : cost 9 inf + 1281 0.058 * * [simplify]: Extracting # 2 : cost 0 inf + 2261 0.059 * * [simplify]: iteration 6 : 93 enodes (cost 123 ) 0.070 * * [simplify]: Extracting # 0 : cost 0 inf + 2261 0.071 * * [simplify]: Extracting # 1 : cost 15 inf + 1981 0.072 * * [simplify]: Extracting # 2 : cost 0 inf + 3893 0.073 * * [simplify]: iteration 7 : 143 enodes (cost 123 ) 0.087 * * [simplify]: Extracting # 0 : cost 0 inf + 3893 0.090 * * [simplify]: Extracting # 1 : cost 11 inf + 3373 0.093 * * [simplify]: Extracting # 2 : cost 0 inf + 4796 0.097 * * [simplify]: iteration 8 : 183 enodes (cost 123 ) 0.128 * * [simplify]: Extracting # 0 : cost 0 inf + 4796 0.132 * * [simplify]: Extracting # 1 : cost 8 inf + 4236 0.136 * * [simplify]: Extracting # 2 : cost 0 inf + 5135 0.141 * * [simplify]: iteration 9 : 235 enodes (cost 123 ) 0.162 * * [simplify]: Extracting # 0 : cost 0 inf + 5135 0.164 * * [simplify]: Extracting # 1 : cost 7 inf + 4895 0.167 * * [simplify]: Extracting # 2 : cost 0 inf + 5466 0.169 * * [simplify]: iteration 10 : 275 enodes (cost 123 ) 0.190 * * [simplify]: Extracting # 0 : cost 0 inf + 5466 0.192 * * [simplify]: Extracting # 1 : cost 13 inf + 5186 0.195 * * [simplify]: Extracting # 2 : cost 0 inf + 6290 0.198 * * [simplify]: iteration 11 : 327 enodes (cost 123 ) 0.230 * * [simplify]: Extracting # 0 : cost 0 inf + 6290 0.236 * * [simplify]: Extracting # 1 : cost 14 inf + 5810 0.242 * * [simplify]: Extracting # 2 : cost 0 inf + 7243 0.248 * * [simplify]: iteration 12 : 375 enodes (cost 123 ) 0.312 * * [simplify]: Extracting # 0 : cost 0 inf + 7243 0.319 * * [simplify]: Extracting # 1 : cost 5 inf + 6843 0.327 * * [simplify]: Extracting # 2 : cost 0 inf + 7374 0.336 * * [simplify]: iteration 13 : 459 enodes (cost 123 ) 0.372 * * [simplify]: Extracting # 0 : cost 0 inf + 7374 0.376 * * [simplify]: Extracting # 1 : cost 3 inf + 7174 0.383 * * [simplify]: Extracting # 2 : cost 0 inf + 7420 0.391 * * [simplify]: iteration 14 : 503 enodes (cost 123 ) 0.455 * * [simplify]: Extracting # 0 : cost 0 inf + 7420 0.459 * * [simplify]: Extracting # 1 : cost 7 inf + 7300 0.464 * * [simplify]: Extracting # 2 : cost 0 inf + 8034 0.469 * * [simplify]: iteration 15 : 570 enodes (cost 123 ) 0.498 * * [simplify]: Extracting # 0 : cost 0 inf + 8034 0.503 * * [simplify]: Extracting # 1 : cost 5 inf + 7754 0.507 * * [simplify]: Extracting # 2 : cost 0 inf + 8244 0.512 * * [simplify]: iteration 16 : 596 enodes (cost 123 ) 0.540 * * [simplify]: Extracting # 0 : cost 0 inf + 8244 0.548 * * [simplify]: Extracting # 1 : cost 5 inf + 8044 0.557 * * [simplify]: Extracting # 2 : cost 0 inf + 8616 0.566 * * [simplify]: iteration 17 : 633 enodes (cost 123 ) 0.621 * * [simplify]: Extracting # 0 : cost 0 inf + 8616 0.630 * * [simplify]: Extracting # 1 : cost 5 inf + 8416 0.639 * * [simplify]: Extracting # 2 : cost 0 inf + 8906 0.649 * * [simplify]: iteration 18 : 670 enodes (cost 123 ) 0.713 * * [simplify]: Extracting # 0 : cost 0 inf + 8906 0.718 * * [simplify]: Extracting # 1 : cost 5 inf + 8706 0.723 * * [simplify]: Extracting # 2 : cost 0 inf + 9196 0.728 * * [simplify]: iteration 19 : 718 enodes (cost 123 ) 0.766 * * [simplify]: Extracting # 0 : cost 0 inf + 9196 0.771 * * [simplify]: Extracting # 1 : cost 3 inf + 8996 0.777 * * [simplify]: Extracting # 2 : cost 0 inf + 9242 0.786 * * [simplify]: iteration 20 : 757 enodes (cost 123 ) 0.817 * * [simplify]: Extracting # 0 : cost 0 inf + 9242 0.822 * * [simplify]: Extracting # 1 : cost 5 inf + 9122 0.829 * * [simplify]: Extracting # 2 : cost 0 inf + 9694 0.836 * * [simplify]: iteration 21 : 804 enodes (cost 123 ) 0.880 * * [simplify]: Extracting # 0 : cost 0 inf + 9694 0.885 * * [simplify]: Extracting # 1 : cost 6 inf + 9494 0.890 * * [simplify]: Extracting # 2 : cost 0 inf + 10147 0.898 * * [simplify]: iteration 22 : 836 enodes (cost 123 ) 0.939 * * [simplify]: Extracting # 0 : cost 0 inf + 10147 0.949 * * [simplify]: Extracting # 1 : cost 5 inf + 9907 0.960 * * [simplify]: Extracting # 2 : cost 0 inf + 10397 0.970 * * [simplify]: iteration 23 : 881 enodes (cost 123 ) 1.001 * * [simplify]: Extracting # 0 : cost 0 inf + 10397 1.012 * * [simplify]: Extracting # 1 : cost 3 inf + 10197 1.024 * * [simplify]: Extracting # 2 : cost 0 inf + 10443 1.035 * * [simplify]: iteration 24 : 914 enodes (cost 123 ) 1.071 * * [simplify]: Extracting # 0 : cost 0 inf + 10443 1.082 * * [simplify]: Extracting # 1 : cost 5 inf + 10323 1.092 * * [simplify]: Extracting # 2 : cost 0 inf + 10895 1.100 * * [simplify]: iteration 25 : 961 enodes (cost 123 ) 1.139 * * [simplify]: Extracting # 0 : cost 0 inf + 10895 1.150 * * [simplify]: Extracting # 1 : cost 5 inf + 10695 1.164 * * [simplify]: Extracting # 2 : cost 0 inf + 11185 1.176 * * [simplify]: iteration 26 : 999 enodes (cost 123 ) 1.237 * * [simplify]: Extracting # 0 : cost 0 inf + 11185 1.242 * * [simplify]: Extracting # 1 : cost 5 inf + 10985 1.249 * * [simplify]: Extracting # 2 : cost 0 inf + 11475 1.256 * * [simplify]: iteration 27 : 1041 enodes (cost 123 ) 1.298 * * [simplify]: Extracting # 0 : cost 0 inf + 11475 1.304 * * [simplify]: Extracting # 1 : cost 3 inf + 11275 1.310 * * [simplify]: Extracting # 2 : cost 0 inf + 11521 1.319 * * [simplify]: iteration 28 : 1074 enodes (cost 123 ) 1.386 * * [simplify]: Extracting # 0 : cost 0 inf + 11521 1.392 * * [simplify]: Extracting # 1 : cost 5 inf + 11401 1.399 * * [simplify]: Extracting # 2 : cost 0 inf + 11973 1.406 * * [simplify]: iteration 29 : 1127 enodes (cost 123 ) 1.452 * * [simplify]: Extracting # 0 : cost 0 inf + 11973 1.459 * * [simplify]: Extracting # 1 : cost 5 inf + 11773 1.465 * * [simplify]: Extracting # 2 : cost 0 inf + 12263 1.472 * * [simplify]: iteration 30 : 1159 enodes (cost 123 ) 1.508 * * [simplify]: Extracting # 0 : cost 0 inf + 12263 1.515 * * [simplify]: Extracting # 1 : cost 5 inf + 12063 1.522 * * [simplify]: Extracting # 2 : cost 0 inf + 12553 1.536 * * [simplify]: iteration 31 : 1201 enodes (cost 123 ) 1.582 * * [simplify]: Extracting # 0 : cost 0 inf + 12553 1.588 * * [simplify]: Extracting # 1 : cost 3 inf + 12353 1.595 * * [simplify]: Extracting # 2 : cost 0 inf + 12599 1.602 * * [simplify]: iteration 32 : 1238 enodes (cost 123 ) 1.653 * * [simplify]: Extracting # 0 : cost 0 inf + 12599 1.660 * * [simplify]: Extracting # 1 : cost 5 inf + 12479 1.667 * * [simplify]: Extracting # 2 : cost 0 inf + 13051 1.675 * * [simplify]: iteration 33 : 1285 enodes (cost 123 ) 1.709 * * [simplify]: Extracting # 0 : cost 0 inf + 13051 1.722 * * [simplify]: Extracting # 1 : cost 6 inf + 12851 1.730 * * [simplify]: Extracting # 2 : cost 0 inf + 13504 1.737 * * [simplify]: iteration 34 : 1317 enodes (cost 123 ) 1.771 * * [simplify]: Extracting # 0 : cost 0 inf + 13504 1.778 * * [simplify]: Extracting # 1 : cost 5 inf + 13264 1.787 * * [simplify]: Extracting # 2 : cost 0 inf + 13754 1.795 * * [simplify]: iteration 35 : 1364 enodes (cost 123 ) 1.825 * * [simplify]: Extracting # 0 : cost 0 inf + 13754 1.839 * * [simplify]: Extracting # 1 : cost 3 inf + 13554 1.854 * * [simplify]: Extracting # 2 : cost 0 inf + 13800 1.871 * * [simplify]: iteration 36 : 1397 enodes (cost 123 ) 1.937 * * [simplify]: Extracting # 0 : cost 0 inf + 13800 1.953 * * [simplify]: Extracting # 1 : cost 5 inf + 13680 1.968 * * [simplify]: Extracting # 2 : cost 0 inf + 14252 1.981 * * [simplify]: iteration 37 : 1444 enodes (cost 123 ) 2.016 * * [simplify]: Extracting # 0 : cost 0 inf + 14252 2.032 * * [simplify]: Extracting # 1 : cost 5 inf + 14052 2.047 * * [simplify]: Extracting # 2 : cost 0 inf + 14542 2.065 * * [simplify]: iteration 38 : 1482 enodes (cost 123 ) 2.106 * * [simplify]: Extracting # 0 : cost 0 inf + 14542 2.114 * * [simplify]: Extracting # 1 : cost 5 inf + 14342 2.122 * * [simplify]: Extracting # 2 : cost 0 inf + 14832 2.131 * * [simplify]: iteration 39 : 1524 enodes (cost 123 ) 2.162 * * [simplify]: Extracting # 0 : cost 0 inf + 14832 2.170 * * [simplify]: Extracting # 1 : cost 3 inf + 14632 2.178 * * [simplify]: Extracting # 2 : cost 0 inf + 14878 2.187 * * [simplify]: iteration 40 : 1557 enodes (cost 123 ) 2.238 * * [simplify]: Extracting # 0 : cost 0 inf + 14878 2.247 * * [simplify]: Extracting # 1 : cost 5 inf + 14758 2.256 * * [simplify]: Extracting # 2 : cost 0 inf + 15330 2.268 * * [simplify]: iteration 41 : 1610 enodes (cost 123 ) 2.325 * * [simplify]: Extracting # 0 : cost 0 inf + 15330 2.342 * * [simplify]: Extracting # 1 : cost 5 inf + 15130 2.358 * * [simplify]: Extracting # 2 : cost 0 inf + 15620 2.375 * * [simplify]: iteration 42 : 1642 enodes (cost 123 ) 2.429 * * [simplify]: Extracting # 0 : cost 0 inf + 15620 2.437 * * [simplify]: Extracting # 1 : cost 5 inf + 15420 2.446 * * [simplify]: Extracting # 2 : cost 0 inf + 15910 2.461 * * [simplify]: iteration 43 : 1684 enodes (cost 123 ) 2.523 * * [simplify]: Extracting # 0 : cost 0 inf + 15910 2.540 * * [simplify]: Extracting # 1 : cost 3 inf + 15710 2.556 * * [simplify]: Extracting # 2 : cost 0 inf + 15956 2.573 * * [simplify]: iteration 44 : 1721 enodes (cost 123 ) 2.632 * * [simplify]: Extracting # 0 : cost 0 inf + 15956 2.641 * * [simplify]: Extracting # 1 : cost 5 inf + 15836 2.650 * * [simplify]: Extracting # 2 : cost 0 inf + 16408 2.659 * * [simplify]: iteration 45 : 1768 enodes (cost 123 ) 2.695 * * [simplify]: Extracting # 0 : cost 0 inf + 16408 2.704 * * [simplify]: Extracting # 1 : cost 6 inf + 16208 2.716 * * [simplify]: Extracting # 2 : cost 0 inf + 16861 2.736 * * [simplify]: iteration 46 : 1800 enodes (cost 123 ) 2.793 * * [simplify]: Extracting # 0 : cost 0 inf + 16861 2.802 * * [simplify]: Extracting # 1 : cost 5 inf + 16621 2.811 * * [simplify]: Extracting # 2 : cost 0 inf + 17111 2.822 * * [simplify]: iteration 47 : 1847 enodes (cost 123 ) 2.867 * * [simplify]: Extracting # 0 : cost 0 inf + 17111 2.876 * * [simplify]: Extracting # 1 : cost 3 inf + 16911 2.885 * * [simplify]: Extracting # 2 : cost 0 inf + 17157 2.901 * * [simplify]: iteration 48 : 1880 enodes (cost 123 ) 2.938 * * [simplify]: Extracting # 0 : cost 0 inf + 17157 2.951 * * [simplify]: Extracting # 1 : cost 5 inf + 17037 2.961 * * [simplify]: Extracting # 2 : cost 0 inf + 17609 2.972 * * [simplify]: iteration 49 : 1927 enodes (cost 123 ) 3.029 * * [simplify]: Extracting # 0 : cost 0 inf + 17609 3.047 * * [simplify]: Extracting # 1 : cost 5 inf + 17409 3.067 * * [simplify]: Extracting # 2 : cost 0 inf + 17899 3.087 * * [simplify]: iteration 50 : 1965 enodes (cost 123 ) 3.122 * * [simplify]: Extracting # 0 : cost 0 inf + 17899 3.142 * * [simplify]: Extracting # 1 : cost 5 inf + 17699 3.162 * * [simplify]: Extracting # 2 : cost 0 inf + 18189 3.182 * * [simplify]: iteration 51 : 2007 enodes (cost 123 ) 3.221 * * [simplify]: Extracting # 0 : cost 0 inf + 18189 3.234 * * [simplify]: Extracting # 1 : cost 3 inf + 17989 3.253 * * [simplify]: Extracting # 2 : cost 0 inf + 18235 3.273 * * [simplify]: iteration 52 : 2040 enodes (cost 123 ) 3.337 * * [simplify]: Extracting # 0 : cost 0 inf + 18235 3.348 * * [simplify]: Extracting # 1 : cost 5 inf + 18115 3.368 * * [simplify]: Extracting # 2 : cost 0 inf + 18687 3.384 * * [simplify]: iteration 53 : 2093 enodes (cost 123 ) 3.418 * * [simplify]: Extracting # 0 : cost 0 inf + 18687 3.428 * * [simplify]: Extracting # 1 : cost 5 inf + 18487 3.439 * * [simplify]: Extracting # 2 : cost 0 inf + 18977 3.453 * * [simplify]: iteration 54 : 2125 enodes (cost 123 ) 3.520 * * [simplify]: Extracting # 0 : cost 0 inf + 18977 3.530 * * [simplify]: Extracting # 1 : cost 5 inf + 18777 3.540 * * [simplify]: Extracting # 2 : cost 0 inf + 19267 3.560 * * [simplify]: iteration 55 : 2167 enodes (cost 123 ) 3.622 * * [simplify]: Extracting # 0 : cost 0 inf + 19267 3.643 * * [simplify]: Extracting # 1 : cost 3 inf + 19067 3.664 * * [simplify]: Extracting # 2 : cost 0 inf + 19313 3.675 * * [simplify]: iteration 56 : 2204 enodes (cost 123 ) 3.728 * * [simplify]: Extracting # 0 : cost 0 inf + 19313 3.748 * * [simplify]: Extracting # 1 : cost 5 inf + 19193 3.771 * * [simplify]: Extracting # 2 : cost 0 inf + 19765 3.794 * * [simplify]: iteration 57 : 2251 enodes (cost 123 ) 3.852 * * [simplify]: Extracting # 0 : cost 0 inf + 19765 3.872 * * [simplify]: Extracting # 1 : cost 6 inf + 19565 3.897 * * [simplify]: Extracting # 2 : cost 0 inf + 20218 3.920 * * [simplify]: iteration 58 : 2283 enodes (cost 123 ) 3.989 * * [simplify]: Extracting # 0 : cost 0 inf + 20218 4.002 * * [simplify]: Extracting # 1 : cost 5 inf + 19978 4.014 * * [simplify]: Extracting # 2 : cost 0 inf + 20468 4.026 * * [simplify]: iteration 59 : 2330 enodes (cost 123 ) 4.078 * * [simplify]: Extracting # 0 : cost 0 inf + 20468 4.091 * * [simplify]: Extracting # 1 : cost 3 inf + 20268 4.102 * * [simplify]: Extracting # 2 : cost 0 inf + 20514 4.114 * * [simplify]: iteration 60 : 2363 enodes (cost 123 ) 4.162 * * [simplify]: Extracting # 0 : cost 0 inf + 20514 4.173 * * [simplify]: Extracting # 1 : cost 5 inf + 20394 4.185 * * [simplify]: Extracting # 2 : cost 0 inf + 20966 4.198 * * [simplify]: iteration 61 : 2410 enodes (cost 123 ) 4.230 * * [simplify]: Extracting # 0 : cost 0 inf + 20966 4.242 * * [simplify]: Extracting # 1 : cost 5 inf + 20766 4.254 * * [simplify]: Extracting # 2 : cost 0 inf + 21256 4.267 * * [simplify]: iteration 62 : 2452 enodes (cost 123 ) 4.312 * * [simplify]: Extracting # 0 : cost 0 inf + 21256 4.324 * * [simplify]: Extracting # 1 : cost 5 inf + 21056 4.336 * * [simplify]: Extracting # 2 : cost 0 inf + 21546 4.350 * * [simplify]: iteration 63 : 2494 enodes (cost 123 ) 4.403 * * [simplify]: Extracting # 0 : cost 0 inf + 21546 4.425 * * [simplify]: Extracting # 1 : cost 3 inf + 21346 4.437 * * [simplify]: Extracting # 2 : cost 0 inf + 21592 4.451 * * [simplify]: iteration 64 : 2527 enodes (cost 123 ) 4.518 * * [simplify]: Extracting # 0 : cost 0 inf + 21592 4.541 * * [simplify]: Extracting # 1 : cost 5 inf + 21472 4.569 * * [simplify]: Extracting # 2 : cost 0 inf + 22044 4.591 * * [simplify]: iteration 65 : 2580 enodes (cost 123 ) 4.625 * * [simplify]: Extracting # 0 : cost 0 inf + 22044 4.645 * * [simplify]: Extracting # 1 : cost 5 inf + 21844 4.657 * * [simplify]: Extracting # 2 : cost 0 inf + 22334 4.670 * * [simplify]: iteration 66 : 2612 enodes (cost 123 ) 4.720 * * [simplify]: Extracting # 0 : cost 0 inf + 22334 4.732 * * [simplify]: Extracting # 1 : cost 5 inf + 22134 4.745 * * [simplify]: Extracting # 2 : cost 0 inf + 22624 4.767 * * [simplify]: iteration 67 : 2654 enodes (cost 123 ) 4.829 * * [simplify]: Extracting # 0 : cost 0 inf + 22624 4.854 * * [simplify]: Extracting # 1 : cost 3 inf + 22424 4.878 * * [simplify]: Extracting # 2 : cost 0 inf + 22670 4.902 * * [simplify]: iteration 68 : 2691 enodes (cost 123 ) 4.968 * * [simplify]: Extracting # 0 : cost 0 inf + 22670 4.992 * * [simplify]: Extracting # 1 : cost 5 inf + 22550 5.021 * * [simplify]: Extracting # 2 : cost 0 inf + 23122 5.052 * * [simplify]: iteration 69 : 2738 enodes (cost 123 ) 5.113 * * [simplify]: Extracting # 0 : cost 0 inf + 23122 5.137 * * [simplify]: Extracting # 1 : cost 6 inf + 22922 5.165 * * [simplify]: Extracting # 2 : cost 0 inf + 23575 5.181 * * [simplify]: iteration 70 : 2770 enodes (cost 123 ) 5.231 * * [simplify]: Extracting # 0 : cost 0 inf + 23575 5.246 * * [simplify]: Extracting # 1 : cost 5 inf + 23335 5.260 * * [simplify]: Extracting # 2 : cost 0 inf + 23825 5.287 * * [simplify]: iteration 71 : 2819 enodes (cost 123 ) 5.323 * * [simplify]: Extracting # 0 : cost 0 inf + 23825 5.349 * * [simplify]: Extracting # 1 : cost 3 inf + 23625 5.373 * * [simplify]: Extracting # 2 : cost 0 inf + 23871 5.400 * * [simplify]: iteration 72 : 2852 enodes (cost 123 ) 5.441 * * [simplify]: Extracting # 0 : cost 0 inf + 23871 5.468 * * [simplify]: Extracting # 1 : cost 5 inf + 23751 5.493 * * [simplify]: Extracting # 2 : cost 0 inf + 24323 5.507 * * [simplify]: iteration 73 : 2899 enodes (cost 123 ) 5.545 * * [simplify]: Extracting # 0 : cost 0 inf + 24323 5.558 * * [simplify]: Extracting # 1 : cost 5 inf + 24123 5.571 * * [simplify]: Extracting # 2 : cost 0 inf + 24613 5.597 * * [simplify]: iteration 74 : 2937 enodes (cost 123 ) 5.640 * * [simplify]: Extracting # 0 : cost 0 inf + 24613 5.665 * * [simplify]: Extracting # 1 : cost 5 inf + 24413 5.695 * * [simplify]: Extracting # 2 : cost 0 inf + 24903 5.722 * * [simplify]: iteration 75 : 2979 enodes (cost 123 ) 5.752 * * [simplify]: Extracting # 0 : cost 0 inf + 24903 5.767 * * [simplify]: Extracting # 1 : cost 3 inf + 24703 5.781 * * [simplify]: Extracting # 2 : cost 0 inf + 24949 5.795 * * [simplify]: iteration 76 : 3012 enodes (cost 123 ) 5.843 * * [simplify]: Extracting # 0 : cost 0 inf + 24949 5.870 * * [simplify]: Extracting # 1 : cost 5 inf + 24829 5.900 * * [simplify]: Extracting # 2 : cost 0 inf + 25401 5.931 * * [simplify]: iteration 77 : 3065 enodes (cost 123 ) 5.977 * * [simplify]: Extracting # 0 : cost 0 inf + 25401 5.992 * * [simplify]: Extracting # 1 : cost 5 inf + 25201 6.006 * * [simplify]: Extracting # 2 : cost 0 inf + 25691 6.023 * * [simplify]: iteration 78 : 3097 enodes (cost 123 ) 6.069 * * [simplify]: Extracting # 0 : cost 0 inf + 25691 6.096 * * [simplify]: Extracting # 1 : cost 5 inf + 25491 6.126 * * [simplify]: Extracting # 2 : cost 0 inf + 25981 6.155 * * [simplify]: iteration 79 : 3139 enodes (cost 123 ) 6.217 * * [simplify]: Extracting # 0 : cost 0 inf + 25981 6.233 * * [simplify]: Extracting # 1 : cost 3 inf + 25781 6.249 * * [simplify]: Extracting # 2 : cost 0 inf + 26027 6.279 * * [simplify]: iteration 80 : 3178 enodes (cost 123 ) 6.328 * * [simplify]: Extracting # 0 : cost 0 inf + 26027 6.355 * * [simplify]: Extracting # 1 : cost 5 inf + 25907 6.385 * * [simplify]: Extracting # 2 : cost 0 inf + 26479 6.416 * * [simplify]: iteration 81 : 3225 enodes (cost 123 ) 6.464 * * [simplify]: Extracting # 0 : cost 0 inf + 26479 6.479 * * [simplify]: Extracting # 1 : cost 6 inf + 26279 6.503 * * [simplify]: Extracting # 2 : cost 0 inf + 26932 6.537 * * [simplify]: iteration 82 : 3257 enodes (cost 123 ) 6.587 * * [simplify]: Extracting # 0 : cost 0 inf + 26932 6.606 * * [simplify]: Extracting # 1 : cost 5 inf + 26692 6.623 * * [simplify]: Extracting # 2 : cost 0 inf + 27182 6.642 * * [simplify]: iteration 83 : 3304 enodes (cost 123 ) 6.678 * * [simplify]: Extracting # 0 : cost 0 inf + 27182 6.698 * * [simplify]: Extracting # 1 : cost 3 inf + 26982 6.726 * * [simplify]: Extracting # 2 : cost 0 inf + 27228 6.757 * * [simplify]: iteration 84 : 3337 enodes (cost 123 ) 6.811 * * [simplify]: Extracting # 0 : cost 0 inf + 27228 6.826 * * [simplify]: Extracting # 1 : cost 5 inf + 27108 6.850 * * [simplify]: Extracting # 2 : cost 0 inf + 27680 6.887 * * [simplify]: iteration 85 : 3384 enodes (cost 123 ) 6.939 * * [simplify]: Extracting # 0 : cost 0 inf + 27680 6.954 * * [simplify]: Extracting # 1 : cost 5 inf + 27480 6.982 * * [simplify]: Extracting # 2 : cost 0 inf + 27970 7.015 * * [simplify]: iteration 86 : 3426 enodes (cost 123 ) 7.081 * * [simplify]: Extracting # 0 : cost 0 inf + 27970 7.096 * * [simplify]: Extracting # 1 : cost 5 inf + 27770 7.111 * * [simplify]: Extracting # 2 : cost 0 inf + 28260 7.128 * * [simplify]: iteration 87 : 3468 enodes (cost 123 ) 7.165 * * [simplify]: Extracting # 0 : cost 0 inf + 28260 7.184 * * [simplify]: Extracting # 1 : cost 3 inf + 28060 7.213 * * [simplify]: Extracting # 2 : cost 0 inf + 28306 7.235 * * [simplify]: iteration 88 : 3501 enodes (cost 123 ) 7.280 * * [simplify]: Extracting # 0 : cost 0 inf + 28306 7.296 * * [simplify]: Extracting # 1 : cost 5 inf + 28186 7.313 * * [simplify]: Extracting # 2 : cost 0 inf + 28758 7.331 * * [simplify]: iteration 89 : 3554 enodes (cost 123 ) 7.366 * * [simplify]: Extracting # 0 : cost 0 inf + 28758 7.383 * * [simplify]: Extracting # 1 : cost 5 inf + 28558 7.400 * * [simplify]: Extracting # 2 : cost 0 inf + 29048 7.422 * * [simplify]: iteration 90 : 3586 enodes (cost 123 ) 7.468 * * [simplify]: Extracting # 0 : cost 0 inf + 29048 7.499 * * [simplify]: Extracting # 1 : cost 5 inf + 28848 7.518 * * [simplify]: Extracting # 2 : cost 0 inf + 29338 7.543 * * [simplify]: iteration 91 : 3628 enodes (cost 123 ) 7.598 * * [simplify]: Extracting # 0 : cost 0 inf + 29338 7.615 * * [simplify]: Extracting # 1 : cost 3 inf + 29138 7.635 * * [simplify]: Extracting # 2 : cost 0 inf + 29384 7.668 * * [simplify]: iteration 92 : 3665 enodes (cost 123 ) 7.735 * * [simplify]: Extracting # 0 : cost 0 inf + 29384 7.751 * * [simplify]: Extracting # 1 : cost 5 inf + 29264 7.772 * * [simplify]: Extracting # 2 : cost 0 inf + 29836 7.793 * * [simplify]: iteration 93 : 3712 enodes (cost 123 ) 7.832 * * [simplify]: Extracting # 0 : cost 0 inf + 29836 7.848 * * [simplify]: Extracting # 1 : cost 6 inf + 29636 7.868 * * [simplify]: Extracting # 2 : cost 0 inf + 30289 7.889 * * [simplify]: iteration 94 : 3744 enodes (cost 123 ) 7.935 * * [simplify]: Extracting # 0 : cost 0 inf + 30289 7.953 * * [simplify]: Extracting # 1 : cost 5 inf + 30049 7.979 * * [simplify]: Extracting # 2 : cost 0 inf + 30539 8.014 * * [simplify]: iteration 95 : 3789 enodes (cost 123 ) 8.073 * * [simplify]: Extracting # 0 : cost 0 inf + 30539 8.089 * * [simplify]: Extracting # 1 : cost 3 inf + 30339 8.110 * * [simplify]: Extracting # 2 : cost 0 inf + 30585 8.141 * * [simplify]: iteration 96 : 3822 enodes (cost 123 ) 8.179 * * [simplify]: Extracting # 0 : cost 0 inf + 30585 8.203 * * [simplify]: Extracting # 1 : cost 5 inf + 30465 8.223 * * [simplify]: Extracting # 2 : cost 0 inf + 31037 8.241 * * [simplify]: iteration 97 : 3869 enodes (cost 123 ) 8.297 * * [simplify]: Extracting # 0 : cost 0 inf + 31037 8.327 * * [simplify]: Extracting # 1 : cost 5 inf + 30837 8.354 * * [simplify]: Extracting # 2 : cost 0 inf + 31327 8.372 * * [simplify]: iteration 98 : 3911 enodes (cost 123 ) 8.405 * * [simplify]: Extracting # 0 : cost 0 inf + 31327 8.438 * * [simplify]: Extracting # 1 : cost 5 inf + 31127 8.477 * * [simplify]: Extracting # 2 : cost 0 inf + 31617 8.510 * * [simplify]: iteration 99 : 3953 enodes (cost 123 ) 8.541 * * [simplify]: Extracting # 0 : cost 0 inf + 31617 8.576 * * [simplify]: Extracting # 1 : cost 3 inf + 31417 8.610 * * [simplify]: Extracting # 2 : cost 0 inf + 31663 8.628 * * [simplify]: iteration 100 : 3986 enodes (cost 123 ) 8.690 * * [simplify]: Extracting # 0 : cost 0 inf + 31663 8.713 * * [simplify]: Extracting # 1 : cost 5 inf + 31543 8.735 * * [simplify]: Extracting # 2 : cost 0 inf + 32115 8.774 * * [simplify]: iteration 101 : 4039 enodes (cost 123 ) 8.809 * * [simplify]: Extracting # 0 : cost 0 inf + 32115 8.835 * * [simplify]: Extracting # 1 : cost 5 inf + 31915 8.852 * * [simplify]: Extracting # 2 : cost 0 inf + 32405 8.876 * * [simplify]: iteration 102 : 4071 enodes (cost 123 ) 8.917 * * [simplify]: Extracting # 0 : cost 0 inf + 32405 8.934 * * [simplify]: Extracting # 1 : cost 5 inf + 32205 8.967 * * [simplify]: Extracting # 2 : cost 0 inf + 32695 9.003 * * [simplify]: iteration 103 : 4113 enodes (cost 123 ) 9.033 * * [simplify]: Extracting # 0 : cost 0 inf + 32695 9.052 * * [simplify]: Extracting # 1 : cost 3 inf + 32495 9.070 * * [simplify]: Extracting # 2 : cost 0 inf + 32741 9.088 * * [simplify]: iteration 104 : 4150 enodes (cost 123 ) 9.124 * * [simplify]: Extracting # 0 : cost 0 inf + 32741 9.142 * * [simplify]: Extracting # 1 : cost 5 inf + 32621 9.164 * * [simplify]: Extracting # 2 : cost 0 inf + 33193 9.190 * * [simplify]: iteration 105 : 4197 enodes (cost 123 ) 9.239 * * [simplify]: Extracting # 0 : cost 0 inf + 33193 9.261 * * [simplify]: Extracting # 1 : cost 6 inf + 32993 9.287 * * [simplify]: Extracting # 2 : cost 0 inf + 33646 9.306 * * [simplify]: iteration 106 : 4229 enodes (cost 123 ) 9.355 * * [simplify]: Extracting # 0 : cost 0 inf + 33646 9.378 * * [simplify]: Extracting # 1 : cost 5 inf + 33406 9.401 * * [simplify]: Extracting # 2 : cost 0 inf + 33896 9.432 * * [simplify]: iteration 107 : 4278 enodes (cost 123 ) 9.460 * * [simplify]: Extracting # 0 : cost 0 inf + 33896 9.484 * * [simplify]: Extracting # 1 : cost 3 inf + 33696 9.509 * * [simplify]: Extracting # 2 : cost 0 inf + 33942 9.547 * * [simplify]: iteration 108 : 4311 enodes (cost 123 ) 9.602 * * [simplify]: Extracting # 0 : cost 0 inf + 33942 9.623 * * [simplify]: Extracting # 1 : cost 5 inf + 33822 9.659 * * [simplify]: Extracting # 2 : cost 0 inf + 34394 9.705 * * [simplify]: iteration 109 : 4358 enodes (cost 123 ) 9.749 * * [simplify]: Extracting # 0 : cost 0 inf + 34394 9.778 * * [simplify]: Extracting # 1 : cost 5 inf + 34194 9.802 * * [simplify]: Extracting # 2 : cost 0 inf + 34684 9.835 * * [simplify]: iteration 110 : 4396 enodes (cost 123 ) 9.878 * * [simplify]: Extracting # 0 : cost 0 inf + 34684 9.909 * * [simplify]: Extracting # 1 : cost 5 inf + 34484 9.942 * * [simplify]: Extracting # 2 : cost 0 inf + 34974 9.976 * * [simplify]: iteration 111 : 4438 enodes (cost 123 ) 10.017 * * [simplify]: Extracting # 0 : cost 0 inf + 34974 10.053 * * [simplify]: Extracting # 1 : cost 3 inf + 34774 10.075 * * [simplify]: Extracting # 2 : cost 0 inf + 35020 10.110 * * [simplify]: iteration 112 : 4471 enodes (cost 123 ) 10.169 * * [simplify]: Extracting # 0 : cost 0 inf + 35020 10.188 * * [simplify]: Extracting # 1 : cost 5 inf + 34900 10.223 * * [simplify]: Extracting # 2 : cost 0 inf + 35472 10.250 * * [simplify]: iteration 113 : 4524 enodes (cost 123 ) 10.287 * * [simplify]: Extracting # 0 : cost 0 inf + 35472 10.320 * * [simplify]: Extracting # 1 : cost 5 inf + 35272 10.344 * * [simplify]: Extracting # 2 : cost 0 inf + 35762 10.368 * * [simplify]: iteration 114 : 4556 enodes (cost 123 ) 10.410 * * [simplify]: Extracting # 0 : cost 0 inf + 35762 10.447 * * [simplify]: Extracting # 1 : cost 5 inf + 35562 10.490 * * [simplify]: Extracting # 2 : cost 0 inf + 36052 10.532 * * [simplify]: iteration 115 : 4598 enodes (cost 123 ) 10.566 * * [simplify]: Extracting # 0 : cost 0 inf + 36052 10.605 * * [simplify]: Extracting # 1 : cost 3 inf + 35852 10.631 * * [simplify]: Extracting # 2 : cost 0 inf + 36098 10.652 * * [simplify]: iteration 116 : 4637 enodes (cost 123 ) 10.717 * * [simplify]: Extracting # 0 : cost 0 inf + 36098 10.753 * * [simplify]: Extracting # 1 : cost 5 inf + 35978 10.776 * * [simplify]: Extracting # 2 : cost 0 inf + 36550 10.815 * * [simplify]: iteration 117 : 4684 enodes (cost 123 ) 10.864 * * [simplify]: Extracting # 0 : cost 0 inf + 36550 10.885 * * [simplify]: Extracting # 1 : cost 6 inf + 36350 10.925 * * [simplify]: Extracting # 2 : cost 0 inf + 37003 10.972 * * [simplify]: iteration 118 : 4716 enodes (cost 123 ) 11.039 * * [simplify]: Extracting # 0 : cost 0 inf + 37003 11.069 * * [simplify]: Extracting # 1 : cost 5 inf + 36763 11.090 * * [simplify]: Extracting # 2 : cost 0 inf + 37253 11.112 * * [simplify]: iteration 119 : 4765 enodes (cost 123 ) 11.148 * * [simplify]: Extracting # 0 : cost 0 inf + 37253 11.169 * * [simplify]: Extracting # 1 : cost 3 inf + 37053 11.202 * * [simplify]: Extracting # 2 : cost 0 inf + 37299 11.229 * * [simplify]: iteration 120 : 4798 enodes (cost 123 ) 11.261 * * [simplify]: Extracting # 0 : cost 0 inf + 37299 11.283 * * [simplify]: Extracting # 1 : cost 5 inf + 37179 11.308 * * [simplify]: Extracting # 2 : cost 0 inf + 37751 11.335 * * [simplify]: iteration 121 : 4845 enodes (cost 123 ) 11.374 * * [simplify]: Extracting # 0 : cost 0 inf + 37751 11.414 * * [simplify]: Extracting # 1 : cost 5 inf + 37551 11.442 * * [simplify]: Extracting # 2 : cost 0 inf + 38041 11.481 * * [simplify]: iteration 122 : 4883 enodes (cost 123 ) 11.523 * * [simplify]: Extracting # 0 : cost 0 inf + 38041 11.558 * * [simplify]: Extracting # 1 : cost 5 inf + 37841 11.589 * * [simplify]: Extracting # 2 : cost 0 inf + 38331 11.619 * * [simplify]: iteration 123 : 4925 enodes (cost 123 ) 11.656 * * [simplify]: Extracting # 0 : cost 0 inf + 38331 11.678 * * [simplify]: Extracting # 1 : cost 3 inf + 38131 11.706 * * [simplify]: Extracting # 2 : cost 0 inf + 38377 11.739 * * [simplify]: iteration 124 : 4958 enodes (cost 123 ) 11.762 * * [simplify]: Extracting # 0 : cost 0 inf + 38377 11.783 * * [simplify]: Extracting # 1 : cost 11 inf + 38257 11.817 * * [simplify]: Extracting # 2 : cost 0 inf + 39401 11.855 * * [simplify]: iteration complete: 5000 enodes (cost 123 ) 11.855 * [simplify]: Simplified to: (+ x (/ (- y x) 2.0)) 11.856 * * [progress]: iteration 1 / 4 11.856 * * * [progress]: picking best candidate 11.862 * * * * [pick]: Picked # 11.863 * * * [progress]: localizing error 11.877 * * * [progress]: generating rewritten candidates 11.877 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 11.901 * * * [progress]: generating series expansions 11.901 * * * * [progress]: [ 1 / 1 ] generating series at (2) 11.901 * [backup-simplify]: Simplify (+ x (/ (- y x) 2.0)) into (+ (* 0.5 x) (* 0.5 y)) 11.901 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (x y) around 0 11.901 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y 11.901 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 11.901 * [taylor]: Taking taylor expansion of 0.5 in y 11.901 * [backup-simplify]: Simplify 0.5 into 0.5 11.901 * [taylor]: Taking taylor expansion of x in y 11.902 * [backup-simplify]: Simplify x into x 11.902 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 11.902 * [taylor]: Taking taylor expansion of 0.5 in y 11.902 * [backup-simplify]: Simplify 0.5 into 0.5 11.902 * [taylor]: Taking taylor expansion of y in y 11.902 * [backup-simplify]: Simplify 0 into 0 11.902 * [backup-simplify]: Simplify 1 into 1 11.902 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 11.902 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 11.902 * [taylor]: Taking taylor expansion of 0.5 in x 11.902 * [backup-simplify]: Simplify 0.5 into 0.5 11.902 * [taylor]: Taking taylor expansion of x in x 11.902 * [backup-simplify]: Simplify 0 into 0 11.902 * [backup-simplify]: Simplify 1 into 1 11.902 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 11.902 * [taylor]: Taking taylor expansion of 0.5 in x 11.902 * [backup-simplify]: Simplify 0.5 into 0.5 11.902 * [taylor]: Taking taylor expansion of y in x 11.902 * [backup-simplify]: Simplify y into y 11.902 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 11.902 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 11.902 * [taylor]: Taking taylor expansion of 0.5 in x 11.902 * [backup-simplify]: Simplify 0.5 into 0.5 11.902 * [taylor]: Taking taylor expansion of x in x 11.902 * [backup-simplify]: Simplify 0 into 0 11.902 * [backup-simplify]: Simplify 1 into 1 11.902 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 11.902 * [taylor]: Taking taylor expansion of 0.5 in x 11.902 * [backup-simplify]: Simplify 0.5 into 0.5 11.902 * [taylor]: Taking taylor expansion of y in x 11.902 * [backup-simplify]: Simplify y into y 11.903 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.903 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 11.903 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y) 11.903 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 11.903 * [taylor]: Taking taylor expansion of 0.5 in y 11.903 * [backup-simplify]: Simplify 0.5 into 0.5 11.903 * [taylor]: Taking taylor expansion of y in y 11.903 * [backup-simplify]: Simplify 0 into 0 11.903 * [backup-simplify]: Simplify 1 into 1 11.903 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.903 * [backup-simplify]: Simplify 0 into 0 11.904 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.904 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 11.904 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 11.905 * [taylor]: Taking taylor expansion of 0.5 in y 11.905 * [backup-simplify]: Simplify 0.5 into 0.5 11.905 * [backup-simplify]: Simplify 0.5 into 0.5 11.905 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.905 * [backup-simplify]: Simplify 0.5 into 0.5 11.906 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 11.907 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 11.907 * [backup-simplify]: Simplify (+ 0 0) into 0 11.907 * [taylor]: Taking taylor expansion of 0 in y 11.907 * [backup-simplify]: Simplify 0 into 0 11.907 * [backup-simplify]: Simplify 0 into 0 11.907 * [backup-simplify]: Simplify 0 into 0 11.907 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 11.907 * [backup-simplify]: Simplify 0 into 0 11.908 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.909 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 11.909 * [backup-simplify]: Simplify (+ 0 0) into 0 11.909 * [taylor]: Taking taylor expansion of 0 in y 11.909 * [backup-simplify]: Simplify 0 into 0 11.909 * [backup-simplify]: Simplify 0 into 0 11.909 * [backup-simplify]: Simplify 0 into 0 11.909 * [backup-simplify]: Simplify 0 into 0 11.909 * [backup-simplify]: Simplify (+ (* 0.5 (* y 1)) (* 0.5 (* 1 x))) into (+ (* 0.5 x) (* 0.5 y)) 11.909 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 y) (/ 1 x)) 2.0)) into (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) 11.909 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 11.910 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 11.910 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 11.910 * [taylor]: Taking taylor expansion of 0.5 in y 11.910 * [backup-simplify]: Simplify 0.5 into 0.5 11.910 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.910 * [taylor]: Taking taylor expansion of x in y 11.910 * [backup-simplify]: Simplify x into x 11.910 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.910 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.910 * [taylor]: Taking taylor expansion of 0.5 in y 11.910 * [backup-simplify]: Simplify 0.5 into 0.5 11.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.910 * [taylor]: Taking taylor expansion of y in y 11.910 * [backup-simplify]: Simplify 0 into 0 11.910 * [backup-simplify]: Simplify 1 into 1 11.910 * [backup-simplify]: Simplify (/ 1 1) into 1 11.910 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.910 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.910 * [taylor]: Taking taylor expansion of 0.5 in x 11.910 * [backup-simplify]: Simplify 0.5 into 0.5 11.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.910 * [taylor]: Taking taylor expansion of x in x 11.910 * [backup-simplify]: Simplify 0 into 0 11.910 * [backup-simplify]: Simplify 1 into 1 11.910 * [backup-simplify]: Simplify (/ 1 1) into 1 11.910 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.910 * [taylor]: Taking taylor expansion of 0.5 in x 11.911 * [backup-simplify]: Simplify 0.5 into 0.5 11.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.911 * [taylor]: Taking taylor expansion of y in x 11.911 * [backup-simplify]: Simplify y into y 11.911 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.911 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.911 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.911 * [taylor]: Taking taylor expansion of 0.5 in x 11.911 * [backup-simplify]: Simplify 0.5 into 0.5 11.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.911 * [taylor]: Taking taylor expansion of x in x 11.911 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify 1 into 1 11.911 * [backup-simplify]: Simplify (/ 1 1) into 1 11.911 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.911 * [taylor]: Taking taylor expansion of 0.5 in x 11.911 * [backup-simplify]: Simplify 0.5 into 0.5 11.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.911 * [taylor]: Taking taylor expansion of y in x 11.911 * [backup-simplify]: Simplify y into y 11.911 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.911 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.912 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 11.912 * [taylor]: Taking taylor expansion of 0.5 in y 11.912 * [backup-simplify]: Simplify 0.5 into 0.5 11.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.913 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.913 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 11.913 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y)) 11.913 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.913 * [taylor]: Taking taylor expansion of 0.5 in y 11.913 * [backup-simplify]: Simplify 0.5 into 0.5 11.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.913 * [taylor]: Taking taylor expansion of y in y 11.913 * [backup-simplify]: Simplify 0 into 0 11.913 * [backup-simplify]: Simplify 1 into 1 11.913 * [backup-simplify]: Simplify (/ 1 1) into 1 11.913 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.913 * [backup-simplify]: Simplify 0.5 into 0.5 11.913 * [backup-simplify]: Simplify 0.5 into 0.5 11.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.915 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.915 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.915 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 11.915 * [backup-simplify]: Simplify (+ 0 0) into 0 11.915 * [taylor]: Taking taylor expansion of 0 in y 11.915 * [backup-simplify]: Simplify 0 into 0 11.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.916 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.916 * [backup-simplify]: Simplify 0 into 0 11.916 * [backup-simplify]: Simplify 0 into 0 11.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.918 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.919 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 11.919 * [backup-simplify]: Simplify (+ 0 0) into 0 11.919 * [taylor]: Taking taylor expansion of 0 in y 11.919 * [backup-simplify]: Simplify 0 into 0 11.919 * [backup-simplify]: Simplify 0 into 0 11.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.921 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.921 * [backup-simplify]: Simplify 0 into 0 11.921 * [backup-simplify]: Simplify 0 into 0 11.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.923 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.923 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.925 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 11.925 * [backup-simplify]: Simplify (+ 0 0) into 0 11.925 * [taylor]: Taking taylor expansion of 0 in y 11.925 * [backup-simplify]: Simplify 0 into 0 11.925 * [backup-simplify]: Simplify 0 into 0 11.925 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 (/ 1 x)))) (* 0.5 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.5 x) (* 0.5 y)) 11.926 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- y)) (/ 1 (- x))) 2.0)) into (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) 11.926 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in (x y) around 0 11.926 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in y 11.926 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 11.926 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 11.926 * [taylor]: Taking taylor expansion of 0.5 in y 11.926 * [backup-simplify]: Simplify 0.5 into 0.5 11.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.926 * [taylor]: Taking taylor expansion of x in y 11.926 * [backup-simplify]: Simplify x into x 11.926 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.926 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.926 * [taylor]: Taking taylor expansion of 0.5 in y 11.926 * [backup-simplify]: Simplify 0.5 into 0.5 11.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.926 * [taylor]: Taking taylor expansion of y in y 11.926 * [backup-simplify]: Simplify 0 into 0 11.926 * [backup-simplify]: Simplify 1 into 1 11.927 * [backup-simplify]: Simplify (/ 1 1) into 1 11.927 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 11.927 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.927 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.927 * [taylor]: Taking taylor expansion of 0.5 in x 11.927 * [backup-simplify]: Simplify 0.5 into 0.5 11.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.927 * [taylor]: Taking taylor expansion of x in x 11.927 * [backup-simplify]: Simplify 0 into 0 11.927 * [backup-simplify]: Simplify 1 into 1 11.927 * [backup-simplify]: Simplify (/ 1 1) into 1 11.927 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.927 * [taylor]: Taking taylor expansion of 0.5 in x 11.927 * [backup-simplify]: Simplify 0.5 into 0.5 11.927 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.927 * [taylor]: Taking taylor expansion of y in x 11.927 * [backup-simplify]: Simplify y into y 11.927 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.927 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 11.927 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.928 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.928 * [taylor]: Taking taylor expansion of 0.5 in x 11.928 * [backup-simplify]: Simplify 0.5 into 0.5 11.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.928 * [taylor]: Taking taylor expansion of x in x 11.928 * [backup-simplify]: Simplify 0 into 0 11.928 * [backup-simplify]: Simplify 1 into 1 11.928 * [backup-simplify]: Simplify (/ 1 1) into 1 11.928 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.928 * [taylor]: Taking taylor expansion of 0.5 in x 11.928 * [backup-simplify]: Simplify 0.5 into 0.5 11.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.928 * [taylor]: Taking taylor expansion of y in x 11.928 * [backup-simplify]: Simplify y into y 11.928 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.929 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.929 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 11.930 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.930 * [taylor]: Taking taylor expansion of (- 0.5) in y 11.930 * [taylor]: Taking taylor expansion of 0.5 in y 11.930 * [backup-simplify]: Simplify 0.5 into 0.5 11.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.937 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.937 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 11.937 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y)) 11.937 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 y))) into (- (* 0.5 (/ 1 y))) 11.937 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 11.937 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.937 * [taylor]: Taking taylor expansion of 0.5 in y 11.937 * [backup-simplify]: Simplify 0.5 into 0.5 11.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.937 * [taylor]: Taking taylor expansion of y in y 11.937 * [backup-simplify]: Simplify 0 into 0 11.937 * [backup-simplify]: Simplify 1 into 1 11.938 * [backup-simplify]: Simplify (/ 1 1) into 1 11.938 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.938 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.939 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.939 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.940 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.941 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.942 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.942 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 11.942 * [backup-simplify]: Simplify (+ 0 0) into 0 11.943 * [backup-simplify]: Simplify (- 0) into 0 11.943 * [taylor]: Taking taylor expansion of 0 in y 11.943 * [backup-simplify]: Simplify 0 into 0 11.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.944 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.945 * [backup-simplify]: Simplify (- 0) into 0 11.945 * [backup-simplify]: Simplify 0 into 0 11.945 * [backup-simplify]: Simplify (- 0) into 0 11.945 * [backup-simplify]: Simplify 0 into 0 11.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.948 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.949 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 11.949 * [backup-simplify]: Simplify (+ 0 0) into 0 11.950 * [backup-simplify]: Simplify (- 0) into 0 11.950 * [taylor]: Taking taylor expansion of 0 in y 11.950 * [backup-simplify]: Simplify 0 into 0 11.950 * [backup-simplify]: Simplify 0 into 0 11.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.952 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.952 * [backup-simplify]: Simplify (- 0) into 0 11.952 * [backup-simplify]: Simplify 0 into 0 11.952 * [backup-simplify]: Simplify (- 0) into 0 11.952 * [backup-simplify]: Simplify 0 into 0 11.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.955 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.956 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 11.957 * [backup-simplify]: Simplify (+ 0 0) into 0 11.957 * [backup-simplify]: Simplify (- 0) into 0 11.957 * [taylor]: Taking taylor expansion of 0 in y 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 0 into 0 11.958 * [backup-simplify]: Simplify (+ (* (- 0.5) (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.5) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.5 x) (* 0.5 y)) 11.958 * * * [progress]: simplifying candidates 11.959 * [simplify]: Simplifying: (expm1 (+ x (/ (- y x) 2.0))) (log1p (+ x (/ (- y x) 2.0))) (* (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)) 11.960 * * [simplify]: Extracting # 0 : cost 16 inf + 0 11.960 * * [simplify]: Extracting # 1 : cost 29 inf + 0 11.960 * * [simplify]: Extracting # 2 : cost 33 inf + 72 11.960 * * [simplify]: Extracting # 3 : cost 27 inf + 159 11.960 * * [simplify]: Extracting # 4 : cost 15 inf + 1722 11.961 * * [simplify]: Extracting # 5 : cost 1 inf + 4705 11.962 * * [simplify]: Extracting # 6 : cost 0 inf + 4988 11.963 * * [simplify]: iteration 0 : 35 enodes (cost 3758 ) 11.978 * * [simplify]: Extracting # 0 : cost 0 inf + 4988 11.979 * * [simplify]: Extracting # 1 : cost 23 inf + 4476 11.981 * * [simplify]: Extracting # 2 : cost 3 inf + 7462 11.983 * * [simplify]: Extracting # 3 : cost 2 inf + 7408 11.986 * * [simplify]: Extracting # 4 : cost 0 inf + 7914 11.988 * * [simplify]: iteration 1 : 98 enodes (cost 3242 ) 12.033 * * [simplify]: Extracting # 0 : cost 0 inf + 7914 12.037 * * [simplify]: Extracting # 1 : cost 46 inf + 7864 12.043 * * [simplify]: Extracting # 2 : cost 3 inf + 13964 12.050 * * [simplify]: Extracting # 3 : cost 1 inf + 14046 12.056 * * [simplify]: Extracting # 4 : cost 0 inf + 14340 12.063 * * [simplify]: iteration 2 : 269 enodes (cost 3217 ) 12.176 * * [simplify]: Extracting # 0 : cost 0 inf + 14340 12.181 * * [simplify]: Extracting # 1 : cost 195 inf + 14220 12.196 * * [simplify]: Extracting # 2 : cost 3 inf + 53543 12.222 * * [simplify]: Extracting # 3 : cost 0 inf + 54050 12.237 * * [simplify]: iteration 3 : 813 enodes (cost 3217 ) 13.101 * * [simplify]: Extracting # 0 : cost 0 inf + 54050 13.171 * * [simplify]: Extracting # 1 : cost 1067 inf + 51290 13.303 * * [simplify]: Extracting # 2 : cost 5 inf + 280040 13.497 * * [simplify]: Extracting # 3 : cost 1 inf + 279745 13.642 * * [simplify]: Extracting # 4 : cost 0 inf + 278142 13.801 * * [simplify]: Extracting # 5 : cost 0 inf + 277822 13.923 * * [simplify]: iteration 4 : 4105 enodes (cost 3217 ) 15.102 * * [simplify]: Extracting # 0 : cost 0 inf + 277822 15.306 * * [simplify]: Extracting # 1 : cost 0 inf + 275602 15.528 * * [simplify]: iteration complete: 5000 enodes (cost 3217 ) 15.529 * [simplify]: Simplified to: (expm1 (+ x (/ (- y x) 2.0))) (log1p (+ x (/ (- y x) 2.0))) (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))) (* (* (+ 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))) (fma x (* x x) (* (* (/ (- y x) 2.0) (/ (- y x) 2.0)) (/ (- y x) 2.0))) (fma 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)) 15.530 * * * [progress]: adding candidates to table 15.636 * * [progress]: iteration 2 / 4 15.636 * * * [progress]: picking best candidate 15.642 * * * * [pick]: Picked # 15.642 * * * [progress]: localizing error 15.653 * * * [progress]: generating rewritten candidates 15.653 * * * [progress]: generating series expansions 15.653 * * * [progress]: simplifying candidates 15.654 * [simplify]: Simplifying: 15.654 * * [simplify]: Extracting # 0 : cost 0 inf + 0 15.654 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 15.654 * * [simplify]: Extracting # 0 : cost 0 inf + 0 15.654 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 15.654 * [simplify]: Simplified to: 15.654 * * * [progress]: adding candidates to table 15.654 * [progress]: [Phase 3 of 3] Extracting. 15.657 * [simplify]: Simplifying: (* 0.5 (+ x y)) 15.658 * * [simplify]: Extracting # 0 : cost 1 inf + 0 15.658 * * [simplify]: Extracting # 1 : cost 3 inf + 0 15.658 * * [simplify]: Extracting # 2 : cost 4 inf + 1 15.658 * * [simplify]: Extracting # 3 : cost 0 inf + 128 15.658 * * [simplify]: iteration 0 : 5 enodes (cost 83 ) 15.658 * * [simplify]: Extracting # 0 : cost 0 inf + 128 15.658 * * [simplify]: iteration 1 : 7 enodes (cost 83 ) 15.658 * * [simplify]: Extracting # 0 : cost 0 inf + 128 15.658 * * [simplify]: iteration complete: 7 enodes (cost 83 ) 15.658 * [simplify]: Simplified to: (* 0.5 (+ x y)) 16.604 * [regime-testing]: Baseline error score: 0 16.614 * [regime-testing]: Oracle error score: 0 16.614 * [regime-testing]: End program error score: 0 16.739 * [regime-testing]: Target error score: 0