4.427 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying: (+ x (/ (- y x) 2.0)) 0.027 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.027 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.027 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.027 * * [simplify]: Extracting # 3 : cost 4 inf + 2 0.027 * * [simplify]: Extracting # 4 : cost 0 inf + 251 0.027 * * [simplify]: iteration 0 : 6 enodes (cost 123 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 inf + 251 0.028 * * [simplify]: Extracting # 1 : cost 3 inf + 251 0.028 * * [simplify]: Extracting # 2 : cost 0 inf + 376 0.028 * * [simplify]: iteration 1 : 12 enodes (cost 123 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 inf + 376 0.030 * * [simplify]: Extracting # 1 : cost 3 inf + 376 0.030 * * [simplify]: Extracting # 2 : cost 0 inf + 623 0.030 * * [simplify]: iteration 2 : 19 enodes (cost 123 ) 0.033 * * [simplify]: Extracting # 0 : cost 0 inf + 623 0.033 * * [simplify]: Extracting # 1 : cost 2 inf + 623 0.033 * * [simplify]: Extracting # 2 : cost 0 inf + 867 0.033 * * [simplify]: iteration 3 : 28 enodes (cost 123 ) 0.037 * * [simplify]: Extracting # 0 : cost 0 inf + 867 0.037 * * [simplify]: Extracting # 1 : cost 2 inf + 867 0.037 * * [simplify]: Extracting # 2 : cost 0 inf + 1030 0.038 * * [simplify]: iteration 4 : 38 enodes (cost 123 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 inf + 1030 0.043 * * [simplify]: Extracting # 1 : cost 5 inf + 950 0.043 * * [simplify]: Extracting # 2 : cost 0 inf + 1361 0.044 * * [simplify]: iteration 5 : 54 enodes (cost 123 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 inf + 1361 0.051 * * [simplify]: Extracting # 1 : cost 9 inf + 1281 0.052 * * [simplify]: Extracting # 2 : cost 0 inf + 2261 0.053 * * [simplify]: iteration 6 : 93 enodes (cost 123 ) 0.072 * * [simplify]: Extracting # 0 : cost 0 inf + 2261 0.073 * * [simplify]: Extracting # 1 : cost 15 inf + 1981 0.075 * * [simplify]: Extracting # 2 : cost 0 inf + 3893 0.077 * * [simplify]: iteration 7 : 143 enodes (cost 123 ) 0.103 * * [simplify]: Extracting # 0 : cost 0 inf + 3893 0.111 * * [simplify]: Extracting # 1 : cost 11 inf + 3373 0.114 * * [simplify]: Extracting # 2 : cost 0 inf + 4796 0.117 * * [simplify]: iteration 8 : 183 enodes (cost 123 ) 0.143 * * [simplify]: Extracting # 0 : cost 0 inf + 4796 0.147 * * [simplify]: Extracting # 1 : cost 8 inf + 4236 0.150 * * [simplify]: Extracting # 2 : cost 0 inf + 5135 0.154 * * [simplify]: iteration 9 : 235 enodes (cost 123 ) 0.187 * * [simplify]: Extracting # 0 : cost 0 inf + 5135 0.192 * * [simplify]: Extracting # 1 : cost 7 inf + 4895 0.196 * * [simplify]: Extracting # 2 : cost 0 inf + 5466 0.201 * * [simplify]: iteration 10 : 275 enodes (cost 123 ) 0.233 * * [simplify]: Extracting # 0 : cost 0 inf + 5466 0.238 * * [simplify]: Extracting # 1 : cost 13 inf + 5186 0.242 * * [simplify]: Extracting # 2 : cost 0 inf + 6290 0.246 * * [simplify]: iteration 11 : 327 enodes (cost 123 ) 0.268 * * [simplify]: Extracting # 0 : cost 0 inf + 6290 0.271 * * [simplify]: Extracting # 1 : cost 14 inf + 5810 0.277 * * [simplify]: Extracting # 2 : cost 0 inf + 7243 0.283 * * [simplify]: iteration 12 : 375 enodes (cost 123 ) 0.346 * * [simplify]: Extracting # 0 : cost 0 inf + 7243 0.349 * * [simplify]: Extracting # 1 : cost 5 inf + 6843 0.352 * * [simplify]: Extracting # 2 : cost 0 inf + 7374 0.356 * * [simplify]: iteration 13 : 459 enodes (cost 123 ) 0.388 * * [simplify]: Extracting # 0 : cost 0 inf + 7374 0.392 * * [simplify]: Extracting # 1 : cost 3 inf + 7174 0.395 * * [simplify]: Extracting # 2 : cost 0 inf + 7420 0.399 * * [simplify]: iteration 14 : 503 enodes (cost 123 ) 0.450 * * [simplify]: Extracting # 0 : cost 0 inf + 7420 0.454 * * [simplify]: Extracting # 1 : cost 7 inf + 7300 0.458 * * [simplify]: Extracting # 2 : cost 0 inf + 8034 0.462 * * [simplify]: iteration 15 : 570 enodes (cost 123 ) 0.499 * * [simplify]: Extracting # 0 : cost 0 inf + 8034 0.507 * * [simplify]: Extracting # 1 : cost 5 inf + 7754 0.515 * * [simplify]: Extracting # 2 : cost 0 inf + 8244 0.525 * * [simplify]: iteration 16 : 596 enodes (cost 123 ) 0.557 * * [simplify]: Extracting # 0 : cost 0 inf + 8244 0.561 * * [simplify]: Extracting # 1 : cost 5 inf + 8044 0.566 * * [simplify]: Extracting # 2 : cost 0 inf + 8616 0.572 * * [simplify]: iteration 17 : 633 enodes (cost 123 ) 0.603 * * [simplify]: Extracting # 0 : cost 0 inf + 8616 0.607 * * [simplify]: Extracting # 1 : cost 5 inf + 8416 0.611 * * [simplify]: Extracting # 2 : cost 0 inf + 8906 0.616 * * [simplify]: iteration 18 : 670 enodes (cost 123 ) 0.679 * * [simplify]: Extracting # 0 : cost 0 inf + 8906 0.683 * * [simplify]: Extracting # 1 : cost 5 inf + 8706 0.688 * * [simplify]: Extracting # 2 : cost 0 inf + 9196 0.693 * * [simplify]: iteration 19 : 718 enodes (cost 123 ) 0.736 * * [simplify]: Extracting # 0 : cost 0 inf + 9196 0.745 * * [simplify]: Extracting # 1 : cost 3 inf + 8996 0.754 * * [simplify]: Extracting # 2 : cost 0 inf + 9242 0.763 * * [simplify]: iteration 20 : 757 enodes (cost 123 ) 0.826 * * [simplify]: Extracting # 0 : cost 0 inf + 9242 0.837 * * [simplify]: Extracting # 1 : cost 5 inf + 9122 0.847 * * [simplify]: Extracting # 2 : cost 0 inf + 9694 0.856 * * [simplify]: iteration 21 : 804 enodes (cost 123 ) 0.884 * * [simplify]: Extracting # 0 : cost 0 inf + 9694 0.892 * * [simplify]: Extracting # 1 : cost 6 inf + 9494 0.902 * * [simplify]: Extracting # 2 : cost 0 inf + 10147 0.912 * * [simplify]: iteration 22 : 836 enodes (cost 123 ) 0.979 * * [simplify]: Extracting # 0 : cost 0 inf + 10147 0.990 * * [simplify]: Extracting # 1 : cost 5 inf + 9907 1.001 * * [simplify]: Extracting # 2 : cost 0 inf + 10397 1.012 * * [simplify]: iteration 23 : 881 enodes (cost 123 ) 1.052 * * [simplify]: Extracting # 0 : cost 0 inf + 10397 1.057 * * [simplify]: Extracting # 1 : cost 3 inf + 10197 1.062 * * [simplify]: Extracting # 2 : cost 0 inf + 10443 1.073 * * [simplify]: iteration 24 : 914 enodes (cost 123 ) 1.116 * * [simplify]: Extracting # 0 : cost 0 inf + 10443 1.122 * * [simplify]: Extracting # 1 : cost 5 inf + 10323 1.129 * * [simplify]: Extracting # 2 : cost 0 inf + 10895 1.141 * * [simplify]: iteration 25 : 961 enodes (cost 123 ) 1.174 * * [simplify]: Extracting # 0 : cost 0 inf + 10895 1.181 * * [simplify]: Extracting # 1 : cost 5 inf + 10695 1.191 * * [simplify]: Extracting # 2 : cost 0 inf + 11185 1.204 * * [simplify]: iteration 26 : 999 enodes (cost 123 ) 1.268 * * [simplify]: Extracting # 0 : cost 0 inf + 11185 1.280 * * [simplify]: Extracting # 1 : cost 5 inf + 10985 1.291 * * [simplify]: Extracting # 2 : cost 0 inf + 11475 1.300 * * [simplify]: iteration 27 : 1041 enodes (cost 123 ) 1.331 * * [simplify]: Extracting # 0 : cost 0 inf + 11475 1.342 * * [simplify]: Extracting # 1 : cost 3 inf + 11275 1.354 * * [simplify]: Extracting # 2 : cost 0 inf + 11521 1.365 * * [simplify]: iteration 28 : 1074 enodes (cost 123 ) 1.434 * * [simplify]: Extracting # 0 : cost 0 inf + 11521 1.440 * * [simplify]: Extracting # 1 : cost 5 inf + 11401 1.446 * * [simplify]: Extracting # 2 : cost 0 inf + 11973 1.453 * * [simplify]: iteration 29 : 1127 enodes (cost 123 ) 1.491 * * [simplify]: Extracting # 0 : cost 0 inf + 11973 1.497 * * [simplify]: Extracting # 1 : cost 5 inf + 11773 1.503 * * [simplify]: Extracting # 2 : cost 0 inf + 12263 1.510 * * [simplify]: iteration 30 : 1159 enodes (cost 123 ) 1.558 * * [simplify]: Extracting # 0 : cost 0 inf + 12263 1.564 * * [simplify]: Extracting # 1 : cost 5 inf + 12063 1.570 * * [simplify]: Extracting # 2 : cost 0 inf + 12553 1.577 * * [simplify]: iteration 31 : 1201 enodes (cost 123 ) 1.619 * * [simplify]: Extracting # 0 : cost 0 inf + 12553 1.625 * * [simplify]: Extracting # 1 : cost 3 inf + 12353 1.631 * * [simplify]: Extracting # 2 : cost 0 inf + 12599 1.637 * * [simplify]: iteration 32 : 1238 enodes (cost 123 ) 1.701 * * [simplify]: Extracting # 0 : cost 0 inf + 12599 1.713 * * [simplify]: Extracting # 1 : cost 5 inf + 12479 1.726 * * [simplify]: Extracting # 2 : cost 0 inf + 13051 1.740 * * [simplify]: iteration 33 : 1285 enodes (cost 123 ) 1.768 * * [simplify]: Extracting # 0 : cost 0 inf + 13051 1.780 * * [simplify]: Extracting # 1 : cost 6 inf + 12851 1.795 * * [simplify]: Extracting # 2 : cost 0 inf + 13504 1.803 * * [simplify]: iteration 34 : 1317 enodes (cost 123 ) 1.843 * * [simplify]: Extracting # 0 : cost 0 inf + 13504 1.856 * * [simplify]: Extracting # 1 : cost 5 inf + 13264 1.872 * * [simplify]: Extracting # 2 : cost 0 inf + 13754 1.887 * * [simplify]: iteration 35 : 1364 enodes (cost 123 ) 1.927 * * [simplify]: Extracting # 0 : cost 0 inf + 13754 1.933 * * [simplify]: Extracting # 1 : cost 3 inf + 13554 1.940 * * [simplify]: Extracting # 2 : cost 0 inf + 13800 1.948 * * [simplify]: iteration 36 : 1397 enodes (cost 123 ) 1.979 * * [simplify]: Extracting # 0 : cost 0 inf + 13800 1.986 * * [simplify]: Extracting # 1 : cost 5 inf + 13680 1.993 * * [simplify]: Extracting # 2 : cost 0 inf + 14252 2.002 * * [simplify]: iteration 37 : 1444 enodes (cost 123 ) 2.032 * * [simplify]: Extracting # 0 : cost 0 inf + 14252 2.039 * * [simplify]: Extracting # 1 : cost 5 inf + 14052 2.046 * * [simplify]: Extracting # 2 : cost 0 inf + 14542 2.054 * * [simplify]: iteration 38 : 1482 enodes (cost 123 ) 2.086 * * [simplify]: Extracting # 0 : cost 0 inf + 14542 2.097 * * [simplify]: Extracting # 1 : cost 5 inf + 14342 2.112 * * [simplify]: Extracting # 2 : cost 0 inf + 14832 2.128 * * [simplify]: iteration 39 : 1524 enodes (cost 123 ) 2.188 * * [simplify]: Extracting # 0 : cost 0 inf + 14832 2.203 * * [simplify]: Extracting # 1 : cost 3 inf + 14632 2.218 * * [simplify]: Extracting # 2 : cost 0 inf + 14878 2.233 * * [simplify]: iteration 40 : 1557 enodes (cost 123 ) 2.279 * * [simplify]: Extracting # 0 : cost 0 inf + 14878 2.286 * * [simplify]: Extracting # 1 : cost 5 inf + 14758 2.302 * * [simplify]: Extracting # 2 : cost 0 inf + 15330 2.317 * * [simplify]: iteration 41 : 1610 enodes (cost 123 ) 2.347 * * [simplify]: Extracting # 0 : cost 0 inf + 15330 2.355 * * [simplify]: Extracting # 1 : cost 5 inf + 15130 2.363 * * [simplify]: Extracting # 2 : cost 0 inf + 15620 2.371 * * [simplify]: iteration 42 : 1642 enodes (cost 123 ) 2.437 * * [simplify]: Extracting # 0 : cost 0 inf + 15620 2.452 * * [simplify]: Extracting # 1 : cost 5 inf + 15420 2.468 * * [simplify]: Extracting # 2 : cost 0 inf + 15910 2.485 * * [simplify]: iteration 43 : 1684 enodes (cost 123 ) 2.530 * * [simplify]: Extracting # 0 : cost 0 inf + 15910 2.537 * * [simplify]: Extracting # 1 : cost 3 inf + 15710 2.545 * * [simplify]: Extracting # 2 : cost 0 inf + 15956 2.563 * * [simplify]: iteration 44 : 1721 enodes (cost 123 ) 2.616 * * [simplify]: Extracting # 0 : cost 0 inf + 15956 2.624 * * [simplify]: Extracting # 1 : cost 5 inf + 15836 2.633 * * [simplify]: Extracting # 2 : cost 0 inf + 16408 2.650 * * [simplify]: iteration 45 : 1768 enodes (cost 123 ) 2.699 * * [simplify]: Extracting # 0 : cost 0 inf + 16408 2.707 * * [simplify]: Extracting # 1 : cost 6 inf + 16208 2.716 * * [simplify]: Extracting # 2 : cost 0 inf + 16861 2.731 * * [simplify]: iteration 46 : 1800 enodes (cost 123 ) 2.777 * * [simplify]: Extracting # 0 : cost 0 inf + 16861 2.790 * * [simplify]: Extracting # 1 : cost 5 inf + 16621 2.807 * * [simplify]: Extracting # 2 : cost 0 inf + 17111 2.827 * * [simplify]: iteration 47 : 1847 enodes (cost 123 ) 2.869 * * [simplify]: Extracting # 0 : cost 0 inf + 17111 2.878 * * [simplify]: Extracting # 1 : cost 3 inf + 16911 2.891 * * [simplify]: Extracting # 2 : cost 0 inf + 17157 2.903 * * [simplify]: iteration 48 : 1880 enodes (cost 123 ) 2.936 * * [simplify]: Extracting # 0 : cost 0 inf + 17157 2.951 * * [simplify]: Extracting # 1 : cost 5 inf + 17037 2.969 * * [simplify]: Extracting # 2 : cost 0 inf + 17609 2.989 * * [simplify]: iteration 49 : 1927 enodes (cost 123 ) 3.050 * * [simplify]: Extracting # 0 : cost 0 inf + 17609 3.058 * * [simplify]: Extracting # 1 : cost 5 inf + 17409 3.067 * * [simplify]: Extracting # 2 : cost 0 inf + 17899 3.077 * * [simplify]: iteration 50 : 1965 enodes (cost 123 ) 3.127 * * [simplify]: Extracting # 0 : cost 0 inf + 17899 3.136 * * [simplify]: Extracting # 1 : cost 5 inf + 17699 3.145 * * [simplify]: Extracting # 2 : cost 0 inf + 18189 3.164 * * [simplify]: iteration 51 : 2007 enodes (cost 123 ) 3.221 * * [simplify]: Extracting # 0 : cost 0 inf + 18189 3.230 * * [simplify]: Extracting # 1 : cost 3 inf + 17989 3.239 * * [simplify]: Extracting # 2 : cost 0 inf + 18235 3.252 * * [simplify]: iteration 52 : 2040 enodes (cost 123 ) 3.320 * * [simplify]: Extracting # 0 : cost 0 inf + 18235 3.329 * * [simplify]: Extracting # 1 : cost 5 inf + 18115 3.338 * * [simplify]: Extracting # 2 : cost 0 inf + 18687 3.349 * * [simplify]: iteration 53 : 2093 enodes (cost 123 ) 3.406 * * [simplify]: Extracting # 0 : cost 0 inf + 18687 3.424 * * [simplify]: Extracting # 1 : cost 5 inf + 18487 3.436 * * [simplify]: Extracting # 2 : cost 0 inf + 18977 3.446 * * [simplify]: iteration 54 : 2125 enodes (cost 123 ) 3.495 * * [simplify]: Extracting # 0 : cost 0 inf + 18977 3.505 * * [simplify]: Extracting # 1 : cost 5 inf + 18777 3.515 * * [simplify]: Extracting # 2 : cost 0 inf + 19267 3.526 * * [simplify]: iteration 55 : 2167 enodes (cost 123 ) 3.560 * * [simplify]: Extracting # 0 : cost 0 inf + 19267 3.579 * * [simplify]: Extracting # 1 : cost 3 inf + 19067 3.598 * * [simplify]: Extracting # 2 : cost 0 inf + 19313 3.621 * * [simplify]: iteration 56 : 2204 enodes (cost 123 ) 3.684 * * [simplify]: Extracting # 0 : cost 0 inf + 19313 3.700 * * [simplify]: Extracting # 1 : cost 5 inf + 19193 3.710 * * [simplify]: Extracting # 2 : cost 0 inf + 19765 3.722 * * [simplify]: iteration 57 : 2251 enodes (cost 123 ) 3.752 * * [simplify]: Extracting # 0 : cost 0 inf + 19765 3.761 * * [simplify]: Extracting # 1 : cost 6 inf + 19565 3.771 * * [simplify]: Extracting # 2 : cost 0 inf + 20218 3.783 * * [simplify]: iteration 58 : 2283 enodes (cost 123 ) 3.830 * * [simplify]: Extracting # 0 : cost 0 inf + 20218 3.840 * * [simplify]: Extracting # 1 : cost 5 inf + 19978 3.854 * * [simplify]: Extracting # 2 : cost 0 inf + 20468 3.876 * * [simplify]: iteration 59 : 2330 enodes (cost 123 ) 3.906 * * [simplify]: Extracting # 0 : cost 0 inf + 20468 3.922 * * [simplify]: Extracting # 1 : cost 3 inf + 20268 3.935 * * [simplify]: Extracting # 2 : cost 0 inf + 20514 3.946 * * [simplify]: iteration 60 : 2363 enodes (cost 123 ) 3.984 * * [simplify]: Extracting # 0 : cost 0 inf + 20514 4.006 * * [simplify]: Extracting # 1 : cost 5 inf + 20394 4.028 * * [simplify]: Extracting # 2 : cost 0 inf + 20966 4.051 * * [simplify]: iteration 61 : 2410 enodes (cost 123 ) 4.085 * * [simplify]: Extracting # 0 : cost 0 inf + 20966 4.105 * * [simplify]: Extracting # 1 : cost 5 inf + 20766 4.127 * * [simplify]: Extracting # 2 : cost 0 inf + 21256 4.140 * * [simplify]: iteration 62 : 2452 enodes (cost 123 ) 4.182 * * [simplify]: Extracting # 0 : cost 0 inf + 21256 4.193 * * [simplify]: Extracting # 1 : cost 5 inf + 21056 4.203 * * [simplify]: Extracting # 2 : cost 0 inf + 21546 4.224 * * [simplify]: iteration 63 : 2494 enodes (cost 123 ) 4.271 * * [simplify]: Extracting # 0 : cost 0 inf + 21546 4.282 * * [simplify]: Extracting # 1 : cost 3 inf + 21346 4.299 * * [simplify]: Extracting # 2 : cost 0 inf + 21592 4.322 * * [simplify]: iteration 64 : 2527 enodes (cost 123 ) 4.364 * * [simplify]: Extracting # 0 : cost 0 inf + 21592 4.385 * * [simplify]: Extracting # 1 : cost 5 inf + 21472 4.409 * * [simplify]: Extracting # 2 : cost 0 inf + 22044 4.437 * * [simplify]: iteration 65 : 2580 enodes (cost 123 ) 4.493 * * [simplify]: Extracting # 0 : cost 0 inf + 22044 4.514 * * [simplify]: Extracting # 1 : cost 5 inf + 21844 4.533 * * [simplify]: Extracting # 2 : cost 0 inf + 22334 4.545 * * [simplify]: iteration 66 : 2612 enodes (cost 123 ) 4.604 * * [simplify]: Extracting # 0 : cost 0 inf + 22334 4.627 * * [simplify]: Extracting # 1 : cost 5 inf + 22134 4.644 * * [simplify]: Extracting # 2 : cost 0 inf + 22624 4.656 * * [simplify]: iteration 67 : 2654 enodes (cost 123 ) 4.706 * * [simplify]: Extracting # 0 : cost 0 inf + 22624 4.728 * * [simplify]: Extracting # 1 : cost 3 inf + 22424 4.752 * * [simplify]: Extracting # 2 : cost 0 inf + 22670 4.770 * * [simplify]: iteration 68 : 2691 enodes (cost 123 ) 4.807 * * [simplify]: Extracting # 0 : cost 0 inf + 22670 4.824 * * [simplify]: Extracting # 1 : cost 5 inf + 22550 4.836 * * [simplify]: Extracting # 2 : cost 0 inf + 23122 4.854 * * [simplify]: iteration 69 : 2738 enodes (cost 123 ) 4.886 * * [simplify]: Extracting # 0 : cost 0 inf + 23122 4.907 * * [simplify]: Extracting # 1 : cost 6 inf + 22922 4.919 * * [simplify]: Extracting # 2 : cost 0 inf + 23575 4.933 * * [simplify]: iteration 70 : 2770 enodes (cost 123 ) 4.985 * * [simplify]: Extracting # 0 : cost 0 inf + 23575 4.996 * * [simplify]: Extracting # 1 : cost 5 inf + 23335 5.013 * * [simplify]: Extracting # 2 : cost 0 inf + 23825 5.040 * * [simplify]: iteration 71 : 2819 enodes (cost 123 ) 5.095 * * [simplify]: Extracting # 0 : cost 0 inf + 23825 5.116 * * [simplify]: Extracting # 1 : cost 3 inf + 23625 5.130 * * [simplify]: Extracting # 2 : cost 0 inf + 23871 5.142 * * [simplify]: iteration 72 : 2852 enodes (cost 123 ) 5.187 * * [simplify]: Extracting # 0 : cost 0 inf + 23871 5.201 * * [simplify]: Extracting # 1 : cost 5 inf + 23751 5.219 * * [simplify]: Extracting # 2 : cost 0 inf + 24323 5.246 * * [simplify]: iteration 73 : 2899 enodes (cost 123 ) 5.308 * * [simplify]: Extracting # 0 : cost 0 inf + 24323 5.331 * * [simplify]: Extracting # 1 : cost 5 inf + 24123 5.343 * * [simplify]: Extracting # 2 : cost 0 inf + 24613 5.356 * * [simplify]: iteration 74 : 2937 enodes (cost 123 ) 5.417 * * [simplify]: Extracting # 0 : cost 0 inf + 24613 5.442 * * [simplify]: Extracting # 1 : cost 5 inf + 24413 5.462 * * [simplify]: Extracting # 2 : cost 0 inf + 24903 5.477 * * [simplify]: iteration 75 : 2979 enodes (cost 123 ) 5.524 * * [simplify]: Extracting # 0 : cost 0 inf + 24903 5.548 * * [simplify]: Extracting # 1 : cost 3 inf + 24703 5.573 * * [simplify]: Extracting # 2 : cost 0 inf + 24949 5.592 * * [simplify]: iteration 76 : 3012 enodes (cost 123 ) 5.636 * * [simplify]: Extracting # 0 : cost 0 inf + 24949 5.650 * * [simplify]: Extracting # 1 : cost 5 inf + 24829 5.662 * * [simplify]: Extracting # 2 : cost 0 inf + 25401 5.677 * * [simplify]: iteration 77 : 3065 enodes (cost 123 ) 5.706 * * [simplify]: Extracting # 0 : cost 0 inf + 25401 5.719 * * [simplify]: Extracting # 1 : cost 5 inf + 25201 5.732 * * [simplify]: Extracting # 2 : cost 0 inf + 25691 5.753 * * [simplify]: iteration 78 : 3097 enodes (cost 123 ) 5.803 * * [simplify]: Extracting # 0 : cost 0 inf + 25691 5.816 * * [simplify]: Extracting # 1 : cost 5 inf + 25491 5.828 * * [simplify]: Extracting # 2 : cost 0 inf + 25981 5.846 * * [simplify]: iteration 79 : 3139 enodes (cost 123 ) 5.906 * * [simplify]: Extracting # 0 : cost 0 inf + 25981 5.918 * * [simplify]: Extracting # 1 : cost 3 inf + 25781 5.934 * * [simplify]: Extracting # 2 : cost 0 inf + 26027 5.947 * * [simplify]: iteration 80 : 3178 enodes (cost 123 ) 5.982 * * [simplify]: Extracting # 0 : cost 0 inf + 26027 6.011 * * [simplify]: Extracting # 1 : cost 5 inf + 25907 6.038 * * [simplify]: Extracting # 2 : cost 0 inf + 26479 6.053 * * [simplify]: iteration 81 : 3225 enodes (cost 123 ) 6.094 * * [simplify]: Extracting # 0 : cost 0 inf + 26479 6.109 * * [simplify]: Extracting # 1 : cost 6 inf + 26279 6.122 * * [simplify]: Extracting # 2 : cost 0 inf + 26932 6.136 * * [simplify]: iteration 82 : 3257 enodes (cost 123 ) 6.184 * * [simplify]: Extracting # 0 : cost 0 inf + 26932 6.198 * * [simplify]: Extracting # 1 : cost 5 inf + 26692 6.216 * * [simplify]: Extracting # 2 : cost 0 inf + 27182 6.233 * * [simplify]: iteration 83 : 3304 enodes (cost 123 ) 6.273 * * [simplify]: Extracting # 0 : cost 0 inf + 27182 6.286 * * [simplify]: Extracting # 1 : cost 3 inf + 26982 6.302 * * [simplify]: Extracting # 2 : cost 0 inf + 27228 6.319 * * [simplify]: iteration 84 : 3337 enodes (cost 123 ) 6.383 * * [simplify]: Extracting # 0 : cost 0 inf + 27228 6.411 * * [simplify]: Extracting # 1 : cost 5 inf + 27108 6.425 * * [simplify]: Extracting # 2 : cost 0 inf + 27680 6.441 * * [simplify]: iteration 85 : 3384 enodes (cost 123 ) 6.503 * * [simplify]: Extracting # 0 : cost 0 inf + 27680 6.532 * * [simplify]: Extracting # 1 : cost 5 inf + 27480 6.562 * * [simplify]: Extracting # 2 : cost 0 inf + 27970 6.597 * * [simplify]: iteration 86 : 3426 enodes (cost 123 ) 6.660 * * [simplify]: Extracting # 0 : cost 0 inf + 27970 6.685 * * [simplify]: Extracting # 1 : cost 5 inf + 27770 6.701 * * [simplify]: Extracting # 2 : cost 0 inf + 28260 6.731 * * [simplify]: iteration 87 : 3468 enodes (cost 123 ) 6.781 * * [simplify]: Extracting # 0 : cost 0 inf + 28260 6.797 * * [simplify]: Extracting # 1 : cost 3 inf + 28060 6.821 * * [simplify]: Extracting # 2 : cost 0 inf + 28306 6.850 * * [simplify]: iteration 88 : 3501 enodes (cost 123 ) 6.897 * * [simplify]: Extracting # 0 : cost 0 inf + 28306 6.926 * * [simplify]: Extracting # 1 : cost 5 inf + 28186 6.955 * * [simplify]: Extracting # 2 : cost 0 inf + 28758 6.992 * * [simplify]: iteration 89 : 3554 enodes (cost 123 ) 7.048 * * [simplify]: Extracting # 0 : cost 0 inf + 28758 7.076 * * [simplify]: Extracting # 1 : cost 5 inf + 28558 7.109 * * [simplify]: Extracting # 2 : cost 0 inf + 29048 7.141 * * [simplify]: iteration 90 : 3586 enodes (cost 123 ) 7.194 * * [simplify]: Extracting # 0 : cost 0 inf + 29048 7.208 * * [simplify]: Extracting # 1 : cost 5 inf + 28848 7.222 * * [simplify]: Extracting # 2 : cost 0 inf + 29338 7.240 * * [simplify]: iteration 91 : 3628 enodes (cost 123 ) 7.275 * * [simplify]: Extracting # 0 : cost 0 inf + 29338 7.301 * * [simplify]: Extracting # 1 : cost 3 inf + 29138 7.315 * * [simplify]: Extracting # 2 : cost 0 inf + 29384 7.337 * * [simplify]: iteration 92 : 3665 enodes (cost 123 ) 7.395 * * [simplify]: Extracting # 0 : cost 0 inf + 29384 7.409 * * [simplify]: Extracting # 1 : cost 5 inf + 29264 7.426 * * [simplify]: Extracting # 2 : cost 0 inf + 29836 7.460 * * [simplify]: iteration 93 : 3712 enodes (cost 123 ) 7.520 * * [simplify]: Extracting # 0 : cost 0 inf + 29836 7.549 * * [simplify]: Extracting # 1 : cost 6 inf + 29636 7.574 * * [simplify]: Extracting # 2 : cost 0 inf + 30289 7.590 * * [simplify]: iteration 94 : 3744 enodes (cost 123 ) 7.651 * * [simplify]: Extracting # 0 : cost 0 inf + 30289 7.682 * * [simplify]: Extracting # 1 : cost 5 inf + 30049 7.705 * * [simplify]: Extracting # 2 : cost 0 inf + 30539 7.724 * * [simplify]: iteration 95 : 3789 enodes (cost 123 ) 7.781 * * [simplify]: Extracting # 0 : cost 0 inf + 30539 7.810 * * [simplify]: Extracting # 1 : cost 3 inf + 30339 7.825 * * [simplify]: Extracting # 2 : cost 0 inf + 30585 7.850 * * [simplify]: iteration 96 : 3822 enodes (cost 123 ) 7.917 * * [simplify]: Extracting # 0 : cost 0 inf + 30585 7.947 * * [simplify]: Extracting # 1 : cost 5 inf + 30465 7.963 * * [simplify]: Extracting # 2 : cost 0 inf + 31037 7.988 * * [simplify]: iteration 97 : 3869 enodes (cost 123 ) 8.026 * * [simplify]: Extracting # 0 : cost 0 inf + 31037 8.050 * * [simplify]: Extracting # 1 : cost 5 inf + 30837 8.087 * * [simplify]: Extracting # 2 : cost 0 inf + 31327 8.122 * * [simplify]: iteration 98 : 3911 enodes (cost 123 ) 8.185 * * [simplify]: Extracting # 0 : cost 0 inf + 31327 8.219 * * [simplify]: Extracting # 1 : cost 5 inf + 31127 8.250 * * [simplify]: Extracting # 2 : cost 0 inf + 31617 8.284 * * [simplify]: iteration 99 : 3953 enodes (cost 123 ) 8.346 * * [simplify]: Extracting # 0 : cost 0 inf + 31617 8.362 * * [simplify]: Extracting # 1 : cost 3 inf + 31417 8.387 * * [simplify]: Extracting # 2 : cost 0 inf + 31663 8.424 * * [simplify]: iteration 100 : 3986 enodes (cost 123 ) 8.471 * * [simplify]: Extracting # 0 : cost 0 inf + 31663 8.488 * * [simplify]: Extracting # 1 : cost 5 inf + 31543 8.519 * * [simplify]: Extracting # 2 : cost 0 inf + 32115 8.556 * * [simplify]: iteration 101 : 4039 enodes (cost 123 ) 8.617 * * [simplify]: Extracting # 0 : cost 0 inf + 32115 8.641 * * [simplify]: Extracting # 1 : cost 5 inf + 31915 8.656 * * [simplify]: Extracting # 2 : cost 0 inf + 32405 8.689 * * [simplify]: iteration 102 : 4071 enodes (cost 123 ) 8.745 * * [simplify]: Extracting # 0 : cost 0 inf + 32405 8.765 * * [simplify]: Extracting # 1 : cost 5 inf + 32205 8.782 * * [simplify]: Extracting # 2 : cost 0 inf + 32695 8.802 * * [simplify]: iteration 103 : 4113 enodes (cost 123 ) 8.864 * * [simplify]: Extracting # 0 : cost 0 inf + 32695 8.880 * * [simplify]: Extracting # 1 : cost 3 inf + 32495 8.904 * * [simplify]: Extracting # 2 : cost 0 inf + 32741 8.928 * * [simplify]: iteration 104 : 4150 enodes (cost 123 ) 8.979 * * [simplify]: Extracting # 0 : cost 0 inf + 32741 9.010 * * [simplify]: Extracting # 1 : cost 5 inf + 32621 9.049 * * [simplify]: Extracting # 2 : cost 0 inf + 33193 9.087 * * [simplify]: iteration 105 : 4197 enodes (cost 123 ) 9.143 * * [simplify]: Extracting # 0 : cost 0 inf + 33193 9.164 * * [simplify]: Extracting # 1 : cost 6 inf + 32993 9.197 * * [simplify]: Extracting # 2 : cost 0 inf + 33646 9.229 * * [simplify]: iteration 106 : 4229 enodes (cost 123 ) 9.278 * * [simplify]: Extracting # 0 : cost 0 inf + 33646 9.294 * * [simplify]: Extracting # 1 : cost 5 inf + 33406 9.329 * * [simplify]: Extracting # 2 : cost 0 inf + 33896 9.366 * * [simplify]: iteration 107 : 4278 enodes (cost 123 ) 9.426 * * [simplify]: Extracting # 0 : cost 0 inf + 33896 9.462 * * [simplify]: Extracting # 1 : cost 3 inf + 33696 9.496 * * [simplify]: Extracting # 2 : cost 0 inf + 33942 9.535 * * [simplify]: iteration 108 : 4311 enodes (cost 123 ) 9.599 * * [simplify]: Extracting # 0 : cost 0 inf + 33942 9.633 * * [simplify]: Extracting # 1 : cost 5 inf + 33822 9.672 * * [simplify]: Extracting # 2 : cost 0 inf + 34394 9.710 * * [simplify]: iteration 109 : 4358 enodes (cost 123 ) 9.743 * * [simplify]: Extracting # 0 : cost 0 inf + 34394 9.766 * * [simplify]: Extracting # 1 : cost 5 inf + 34194 9.783 * * [simplify]: Extracting # 2 : cost 0 inf + 34684 9.817 * * [simplify]: iteration 110 : 4396 enodes (cost 123 ) 9.881 * * [simplify]: Extracting # 0 : cost 0 inf + 34684 9.906 * * [simplify]: Extracting # 1 : cost 5 inf + 34484 9.928 * * [simplify]: Extracting # 2 : cost 0 inf + 34974 9.960 * * [simplify]: iteration 111 : 4438 enodes (cost 123 ) 9.991 * * [simplify]: Extracting # 0 : cost 0 inf + 34974 10.025 * * [simplify]: Extracting # 1 : cost 3 inf + 34774 10.062 * * [simplify]: Extracting # 2 : cost 0 inf + 35020 10.096 * * [simplify]: iteration 112 : 4471 enodes (cost 123 ) 10.132 * * [simplify]: Extracting # 0 : cost 0 inf + 35020 10.154 * * [simplify]: Extracting # 1 : cost 5 inf + 34900 10.194 * * [simplify]: Extracting # 2 : cost 0 inf + 35472 10.235 * * [simplify]: iteration 113 : 4524 enodes (cost 123 ) 10.295 * * [simplify]: Extracting # 0 : cost 0 inf + 35472 10.330 * * [simplify]: Extracting # 1 : cost 5 inf + 35272 10.367 * * [simplify]: Extracting # 2 : cost 0 inf + 35762 10.396 * * [simplify]: iteration 114 : 4556 enodes (cost 123 ) 10.446 * * [simplify]: Extracting # 0 : cost 0 inf + 35762 10.471 * * [simplify]: Extracting # 1 : cost 5 inf + 35562 10.490 * * [simplify]: Extracting # 2 : cost 0 inf + 36052 10.524 * * [simplify]: iteration 115 : 4598 enodes (cost 123 ) 10.587 * * [simplify]: Extracting # 0 : cost 0 inf + 36052 10.624 * * [simplify]: Extracting # 1 : cost 3 inf + 35852 10.662 * * [simplify]: Extracting # 2 : cost 0 inf + 36098 10.699 * * [simplify]: iteration 116 : 4637 enodes (cost 123 ) 10.731 * * [simplify]: Extracting # 0 : cost 0 inf + 36098 10.751 * * [simplify]: Extracting # 1 : cost 5 inf + 35978 10.770 * * [simplify]: Extracting # 2 : cost 0 inf + 36550 10.790 * * [simplify]: iteration 117 : 4684 enodes (cost 123 ) 10.834 * * [simplify]: Extracting # 0 : cost 0 inf + 36550 10.852 * * [simplify]: Extracting # 1 : cost 6 inf + 36350 10.878 * * [simplify]: Extracting # 2 : cost 0 inf + 37003 10.919 * * [simplify]: iteration 118 : 4716 enodes (cost 123 ) 10.990 * * [simplify]: Extracting # 0 : cost 0 inf + 37003 11.008 * * [simplify]: Extracting # 1 : cost 5 inf + 36763 11.038 * * [simplify]: Extracting # 2 : cost 0 inf + 37253 11.080 * * [simplify]: iteration 119 : 4765 enodes (cost 123 ) 11.110 * * [simplify]: Extracting # 0 : cost 0 inf + 37253 11.138 * * [simplify]: Extracting # 1 : cost 3 inf + 37053 11.160 * * [simplify]: Extracting # 2 : cost 0 inf + 37299 11.196 * * [simplify]: iteration 120 : 4798 enodes (cost 123 ) 11.237 * * [simplify]: Extracting # 0 : cost 0 inf + 37299 11.276 * * [simplify]: Extracting # 1 : cost 5 inf + 37179 11.302 * * [simplify]: Extracting # 2 : cost 0 inf + 37751 11.334 * * [simplify]: iteration 121 : 4845 enodes (cost 123 ) 11.369 * * [simplify]: Extracting # 0 : cost 0 inf + 37751 11.410 * * [simplify]: Extracting # 1 : cost 5 inf + 37551 11.436 * * [simplify]: Extracting # 2 : cost 0 inf + 38041 11.464 * * [simplify]: iteration 122 : 4883 enodes (cost 123 ) 11.516 * * [simplify]: Extracting # 0 : cost 0 inf + 38041 11.547 * * [simplify]: Extracting # 1 : cost 5 inf + 37841 11.583 * * [simplify]: Extracting # 2 : cost 0 inf + 38331 11.607 * * [simplify]: iteration 123 : 4925 enodes (cost 123 ) 11.670 * * [simplify]: Extracting # 0 : cost 0 inf + 38331 11.710 * * [simplify]: Extracting # 1 : cost 3 inf + 38131 11.749 * * [simplify]: Extracting # 2 : cost 0 inf + 38377 11.794 * * [simplify]: iteration 124 : 4958 enodes (cost 123 ) 11.814 * * [simplify]: Extracting # 0 : cost 0 inf + 38377 11.843 * * [simplify]: Extracting # 1 : cost 11 inf + 38257 11.871 * * [simplify]: Extracting # 2 : cost 0 inf + 39401 11.899 * * [simplify]: iteration complete: 5000 enodes (cost 123 ) 11.899 * [simplify]: Simplified to: (+ x (/ (- y x) 2.0)) 11.900 * * [progress]: iteration 1 / 4 11.900 * * * [progress]: picking best candidate 11.906 * * * * [pick]: Picked # 11.906 * * * [progress]: localizing error 11.920 * * * [progress]: generating rewritten candidates 11.920 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 11.943 * * * [progress]: generating series expansions 11.943 * * * * [progress]: [ 1 / 1 ] generating series at (2) 11.943 * [backup-simplify]: Simplify (+ x (/ (- y x) 2.0)) into (+ (* 0.5 x) (* 0.5 y)) 11.943 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (x y) around 0 11.943 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y 11.943 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 11.943 * [taylor]: Taking taylor expansion of 0.5 in y 11.943 * [backup-simplify]: Simplify 0.5 into 0.5 11.943 * [taylor]: Taking taylor expansion of x in y 11.944 * [backup-simplify]: Simplify x into x 11.944 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 11.944 * [taylor]: Taking taylor expansion of 0.5 in y 11.944 * [backup-simplify]: Simplify 0.5 into 0.5 11.944 * [taylor]: Taking taylor expansion of y in y 11.944 * [backup-simplify]: Simplify 0 into 0 11.944 * [backup-simplify]: Simplify 1 into 1 11.944 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 11.944 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 11.944 * [taylor]: Taking taylor expansion of 0.5 in x 11.944 * [backup-simplify]: Simplify 0.5 into 0.5 11.944 * [taylor]: Taking taylor expansion of x in x 11.944 * [backup-simplify]: Simplify 0 into 0 11.944 * [backup-simplify]: Simplify 1 into 1 11.944 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 11.944 * [taylor]: Taking taylor expansion of 0.5 in x 11.944 * [backup-simplify]: Simplify 0.5 into 0.5 11.944 * [taylor]: Taking taylor expansion of y in x 11.944 * [backup-simplify]: Simplify y into y 11.944 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 11.944 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 11.944 * [taylor]: Taking taylor expansion of 0.5 in x 11.944 * [backup-simplify]: Simplify 0.5 into 0.5 11.944 * [taylor]: Taking taylor expansion of x in x 11.944 * [backup-simplify]: Simplify 0 into 0 11.944 * [backup-simplify]: Simplify 1 into 1 11.944 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 11.944 * [taylor]: Taking taylor expansion of 0.5 in x 11.944 * [backup-simplify]: Simplify 0.5 into 0.5 11.944 * [taylor]: Taking taylor expansion of y in x 11.944 * [backup-simplify]: Simplify y into y 11.945 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.945 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 11.945 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y) 11.945 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 11.945 * [taylor]: Taking taylor expansion of 0.5 in y 11.945 * [backup-simplify]: Simplify 0.5 into 0.5 11.945 * [taylor]: Taking taylor expansion of y in y 11.945 * [backup-simplify]: Simplify 0 into 0 11.945 * [backup-simplify]: Simplify 1 into 1 11.945 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.945 * [backup-simplify]: Simplify 0 into 0 11.946 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.946 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 11.946 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 11.946 * [taylor]: Taking taylor expansion of 0.5 in y 11.947 * [backup-simplify]: Simplify 0.5 into 0.5 11.947 * [backup-simplify]: Simplify 0.5 into 0.5 11.947 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.947 * [backup-simplify]: Simplify 0.5 into 0.5 11.948 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 11.949 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 11.949 * [backup-simplify]: Simplify (+ 0 0) into 0 11.949 * [taylor]: Taking taylor expansion of 0 in y 11.949 * [backup-simplify]: Simplify 0 into 0 11.949 * [backup-simplify]: Simplify 0 into 0 11.949 * [backup-simplify]: Simplify 0 into 0 11.949 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 11.950 * [backup-simplify]: Simplify 0 into 0 11.950 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.951 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 11.951 * [backup-simplify]: Simplify (+ 0 0) into 0 11.951 * [taylor]: Taking taylor expansion of 0 in y 11.951 * [backup-simplify]: Simplify 0 into 0 11.951 * [backup-simplify]: Simplify 0 into 0 11.951 * [backup-simplify]: Simplify 0 into 0 11.951 * [backup-simplify]: Simplify 0 into 0 11.951 * [backup-simplify]: Simplify (+ (* 0.5 (* y 1)) (* 0.5 (* 1 x))) into (+ (* 0.5 x) (* 0.5 y)) 11.951 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 y) (/ 1 x)) 2.0)) into (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) 11.951 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 11.952 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 11.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 11.952 * [taylor]: Taking taylor expansion of 0.5 in y 11.952 * [backup-simplify]: Simplify 0.5 into 0.5 11.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.952 * [taylor]: Taking taylor expansion of x in y 11.952 * [backup-simplify]: Simplify x into x 11.952 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.952 * [taylor]: Taking taylor expansion of 0.5 in y 11.952 * [backup-simplify]: Simplify 0.5 into 0.5 11.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.952 * [taylor]: Taking taylor expansion of y in y 11.952 * [backup-simplify]: Simplify 0 into 0 11.952 * [backup-simplify]: Simplify 1 into 1 11.952 * [backup-simplify]: Simplify (/ 1 1) into 1 11.952 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.952 * [taylor]: Taking taylor expansion of 0.5 in x 11.952 * [backup-simplify]: Simplify 0.5 into 0.5 11.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.952 * [taylor]: Taking taylor expansion of x in x 11.952 * [backup-simplify]: Simplify 0 into 0 11.952 * [backup-simplify]: Simplify 1 into 1 11.952 * [backup-simplify]: Simplify (/ 1 1) into 1 11.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.952 * [taylor]: Taking taylor expansion of 0.5 in x 11.952 * [backup-simplify]: Simplify 0.5 into 0.5 11.952 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.952 * [taylor]: Taking taylor expansion of y in x 11.952 * [backup-simplify]: Simplify y into y 11.953 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.953 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.953 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.953 * [taylor]: Taking taylor expansion of 0.5 in x 11.953 * [backup-simplify]: Simplify 0.5 into 0.5 11.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.953 * [taylor]: Taking taylor expansion of x in x 11.953 * [backup-simplify]: Simplify 0 into 0 11.953 * [backup-simplify]: Simplify 1 into 1 11.953 * [backup-simplify]: Simplify (/ 1 1) into 1 11.953 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.953 * [taylor]: Taking taylor expansion of 0.5 in x 11.953 * [backup-simplify]: Simplify 0.5 into 0.5 11.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.953 * [taylor]: Taking taylor expansion of y in x 11.953 * [backup-simplify]: Simplify y into y 11.953 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.953 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.954 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 11.954 * [taylor]: Taking taylor expansion of 0.5 in y 11.954 * [backup-simplify]: Simplify 0.5 into 0.5 11.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.955 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.955 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 11.955 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y)) 11.955 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.955 * [taylor]: Taking taylor expansion of 0.5 in y 11.955 * [backup-simplify]: Simplify 0.5 into 0.5 11.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.955 * [taylor]: Taking taylor expansion of y in y 11.955 * [backup-simplify]: Simplify 0 into 0 11.955 * [backup-simplify]: Simplify 1 into 1 11.955 * [backup-simplify]: Simplify (/ 1 1) into 1 11.955 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.955 * [backup-simplify]: Simplify 0.5 into 0.5 11.955 * [backup-simplify]: Simplify 0.5 into 0.5 11.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.957 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.957 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.957 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 11.957 * [backup-simplify]: Simplify (+ 0 0) into 0 11.957 * [taylor]: Taking taylor expansion of 0 in y 11.957 * [backup-simplify]: Simplify 0 into 0 11.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.958 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.958 * [backup-simplify]: Simplify 0 into 0 11.958 * [backup-simplify]: Simplify 0 into 0 11.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.960 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.960 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.960 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 11.960 * [backup-simplify]: Simplify (+ 0 0) into 0 11.960 * [taylor]: Taking taylor expansion of 0 in y 11.960 * [backup-simplify]: Simplify 0 into 0 11.960 * [backup-simplify]: Simplify 0 into 0 11.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.961 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.962 * [backup-simplify]: Simplify 0 into 0 11.962 * [backup-simplify]: Simplify 0 into 0 11.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.963 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.964 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 11.964 * [backup-simplify]: Simplify (+ 0 0) into 0 11.964 * [taylor]: Taking taylor expansion of 0 in y 11.964 * [backup-simplify]: Simplify 0 into 0 11.964 * [backup-simplify]: Simplify 0 into 0 11.964 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 (/ 1 x)))) (* 0.5 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.5 x) (* 0.5 y)) 11.964 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- y)) (/ 1 (- x))) 2.0)) into (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) 11.964 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in (x y) around 0 11.964 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in y 11.964 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 11.964 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 11.964 * [taylor]: Taking taylor expansion of 0.5 in y 11.964 * [backup-simplify]: Simplify 0.5 into 0.5 11.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.964 * [taylor]: Taking taylor expansion of x in y 11.964 * [backup-simplify]: Simplify x into x 11.964 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.964 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.964 * [taylor]: Taking taylor expansion of 0.5 in y 11.965 * [backup-simplify]: Simplify 0.5 into 0.5 11.965 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.965 * [taylor]: Taking taylor expansion of y in y 11.965 * [backup-simplify]: Simplify 0 into 0 11.965 * [backup-simplify]: Simplify 1 into 1 11.965 * [backup-simplify]: Simplify (/ 1 1) into 1 11.965 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 11.965 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.965 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.965 * [taylor]: Taking taylor expansion of 0.5 in x 11.965 * [backup-simplify]: Simplify 0.5 into 0.5 11.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.965 * [taylor]: Taking taylor expansion of x in x 11.965 * [backup-simplify]: Simplify 0 into 0 11.965 * [backup-simplify]: Simplify 1 into 1 11.965 * [backup-simplify]: Simplify (/ 1 1) into 1 11.965 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.965 * [taylor]: Taking taylor expansion of 0.5 in x 11.965 * [backup-simplify]: Simplify 0.5 into 0.5 11.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.965 * [taylor]: Taking taylor expansion of y in x 11.965 * [backup-simplify]: Simplify y into y 11.965 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.965 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 11.965 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 11.965 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 11.965 * [taylor]: Taking taylor expansion of 0.5 in x 11.965 * [backup-simplify]: Simplify 0.5 into 0.5 11.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.965 * [taylor]: Taking taylor expansion of x in x 11.965 * [backup-simplify]: Simplify 0 into 0 11.965 * [backup-simplify]: Simplify 1 into 1 11.966 * [backup-simplify]: Simplify (/ 1 1) into 1 11.966 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 11.966 * [taylor]: Taking taylor expansion of 0.5 in x 11.966 * [backup-simplify]: Simplify 0.5 into 0.5 11.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.966 * [taylor]: Taking taylor expansion of y in x 11.966 * [backup-simplify]: Simplify y into y 11.966 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.967 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.967 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 11.967 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.967 * [taylor]: Taking taylor expansion of (- 0.5) in y 11.967 * [taylor]: Taking taylor expansion of 0.5 in y 11.968 * [backup-simplify]: Simplify 0.5 into 0.5 11.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.969 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.969 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 11.969 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y)) 11.969 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 y))) into (- (* 0.5 (/ 1 y))) 11.969 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 11.969 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.969 * [taylor]: Taking taylor expansion of 0.5 in y 11.969 * [backup-simplify]: Simplify 0.5 into 0.5 11.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.969 * [taylor]: Taking taylor expansion of y in y 11.969 * [backup-simplify]: Simplify 0 into 0 11.970 * [backup-simplify]: Simplify 1 into 1 11.970 * [backup-simplify]: Simplify (/ 1 1) into 1 11.970 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.971 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.971 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.972 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.972 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.974 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.974 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.974 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 11.975 * [backup-simplify]: Simplify (+ 0 0) into 0 11.975 * [backup-simplify]: Simplify (- 0) into 0 11.975 * [taylor]: Taking taylor expansion of 0 in y 11.975 * [backup-simplify]: Simplify 0 into 0 11.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.977 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.977 * [backup-simplify]: Simplify (- 0) into 0 11.977 * [backup-simplify]: Simplify 0 into 0 11.977 * [backup-simplify]: Simplify (- 0) into 0 11.977 * [backup-simplify]: Simplify 0 into 0 11.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.980 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.981 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 11.981 * [backup-simplify]: Simplify (+ 0 0) into 0 11.982 * [backup-simplify]: Simplify (- 0) into 0 11.982 * [taylor]: Taking taylor expansion of 0 in y 11.982 * [backup-simplify]: Simplify 0 into 0 11.982 * [backup-simplify]: Simplify 0 into 0 11.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.983 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.984 * [backup-simplify]: Simplify (- 0) into 0 11.984 * [backup-simplify]: Simplify 0 into 0 11.984 * [backup-simplify]: Simplify (- 0) into 0 11.984 * [backup-simplify]: Simplify 0 into 0 11.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.986 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.987 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.988 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 11.988 * [backup-simplify]: Simplify (+ 0 0) into 0 11.989 * [backup-simplify]: Simplify (- 0) into 0 11.989 * [taylor]: Taking taylor expansion of 0 in y 11.989 * [backup-simplify]: Simplify 0 into 0 11.989 * [backup-simplify]: Simplify 0 into 0 11.990 * [backup-simplify]: Simplify (+ (* (- 0.5) (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.5) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.5 x) (* 0.5 y)) 11.990 * * * [progress]: simplifying candidates 11.990 * [simplify]: Simplifying: (* (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.991 * * [simplify]: Extracting # 0 : cost 14 inf + 0 11.991 * * [simplify]: Extracting # 1 : cost 27 inf + 0 11.991 * * [simplify]: Extracting # 2 : cost 30 inf + 113 11.991 * * [simplify]: Extracting # 3 : cost 24 inf + 242 11.992 * * [simplify]: Extracting # 4 : cost 8 inf + 2547 11.993 * * [simplify]: Extracting # 5 : cost 0 inf + 4582 11.994 * * [simplify]: iteration 0 : 33 enodes (cost 3352 ) 12.007 * * [simplify]: Extracting # 0 : cost 0 inf + 4582 12.008 * * [simplify]: Extracting # 1 : cost 23 inf + 4250 12.010 * * [simplify]: Extracting # 2 : cost 3 inf + 7026 12.012 * * [simplify]: Extracting # 3 : cost 1 inf + 7321 12.015 * * [simplify]: Extracting # 4 : cost 0 inf + 7533 12.017 * * [simplify]: iteration 1 : 92 enodes (cost 2861 ) 12.053 * * [simplify]: Extracting # 0 : cost 0 inf + 7533 12.054 * * [simplify]: Extracting # 1 : cost 46 inf + 7533 12.057 * * [simplify]: Extracting # 2 : cost 3 inf + 13633 12.060 * * [simplify]: Extracting # 3 : cost 2 inf + 13503 12.063 * * [simplify]: Extracting # 4 : cost 0 inf + 14009 12.068 * * [simplify]: iteration 2 : 246 enodes (cost 2861 ) 12.154 * * [simplify]: Extracting # 0 : cost 0 inf + 14009 12.163 * * [simplify]: Extracting # 1 : cost 189 inf + 13889 12.184 * * [simplify]: Extracting # 2 : cost 3 inf + 51996 12.199 * * [simplify]: Extracting # 3 : cost 2 inf + 51997 12.212 * * [simplify]: Extracting # 4 : cost 0 inf + 52503 12.231 * * [simplify]: iteration 3 : 736 enodes (cost 2861 ) 12.902 * * [simplify]: Extracting # 0 : cost 0 inf + 52503 12.962 * * [simplify]: Extracting # 1 : cost 1126 inf + 50363 13.066 * * [simplify]: Extracting # 2 : cost 5 inf + 296285 13.204 * * [simplify]: Extracting # 3 : cost 4 inf + 290806 13.349 * * [simplify]: Extracting # 4 : cost 0 inf + 291416 13.535 * * [simplify]: iteration 4 : 3909 enodes (cost 2861 ) 14.762 * * [simplify]: Extracting # 0 : cost 0 inf + 291416 14.907 * * [simplify]: Extracting # 1 : cost 443 inf + 289736 15.119 * * [simplify]: Extracting # 2 : cost 52 inf + 383158 15.338 * * [simplify]: Extracting # 3 : cost 18 inf + 386450 15.530 * * [simplify]: Extracting # 4 : cost 0 inf + 391742 15.747 * * [simplify]: iteration complete: 5000 enodes (cost 2861 ) 15.747 * [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))) (* (* (+ 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))) (+ (* x (* x x)) (* (/ (- y x) 2.0) (* (/ (- y x) 2.0) (/ (- y x) 2.0)))) (+ (* 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.748 * * * [progress]: adding candidates to table 15.821 * * [progress]: iteration 2 / 4 15.821 * * * [progress]: picking best candidate 15.824 * * * * [pick]: Picked # 15.824 * * * [progress]: localizing error 15.829 * * * [progress]: generating rewritten candidates 15.829 * * * [progress]: generating series expansions 15.829 * * * [progress]: simplifying candidates 15.830 * [simplify]: Simplifying: 15.830 * * [simplify]: Extracting # 0 : cost 0 inf + 0 15.830 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 15.830 * * [simplify]: Extracting # 0 : cost 0 inf + 0 15.830 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 15.830 * [simplify]: Simplified to: 15.830 * * * [progress]: adding candidates to table 15.830 * [progress]: [Phase 3 of 3] Extracting. 15.834 * [simplify]: Simplifying: (* 0.5 (+ x y)) 15.834 * * [simplify]: Extracting # 0 : cost 1 inf + 0 15.834 * * [simplify]: Extracting # 1 : cost 3 inf + 0 15.834 * * [simplify]: Extracting # 2 : cost 4 inf + 1 15.834 * * [simplify]: Extracting # 3 : cost 0 inf + 128 15.834 * * [simplify]: iteration 0 : 5 enodes (cost 83 ) 15.834 * * [simplify]: Extracting # 0 : cost 0 inf + 128 15.834 * * [simplify]: iteration 1 : 7 enodes (cost 83 ) 15.834 * * [simplify]: Extracting # 0 : cost 0 inf + 128 15.834 * * [simplify]: iteration complete: 7 enodes (cost 83 ) 15.834 * [simplify]: Simplified to: (* 0.5 (+ x y)) 17.083 * [regime-testing]: Baseline error score: 0 17.091 * [regime-testing]: Oracle error score: 0 17.091 * [regime-testing]: End program error score: 0 17.216 * [regime-testing]: Target error score: 0