6.015 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (+ x (/ (- y x) z)) 0.025 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.026 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.027 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.029 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 0.032 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 0.036 * * [simplify]: iteration 5 : 49 enodes (cost 7 ) 0.041 * * [simplify]: iteration 6 : 62 enodes (cost 7 ) 0.046 * * [simplify]: iteration 7 : 82 enodes (cost 7 ) 0.052 * * [simplify]: iteration 8 : 105 enodes (cost 7 ) 0.065 * * [simplify]: iteration 9 : 143 enodes (cost 7 ) 0.077 * * [simplify]: iteration 10 : 178 enodes (cost 7 ) 0.086 * * [simplify]: iteration 11 : 185 enodes (cost 7 ) 0.094 * * [simplify]: iteration 12 : 192 enodes (cost 7 ) 0.103 * * [simplify]: iteration 13 : 197 enodes (cost 7 ) 0.114 * * [simplify]: iteration 14 : 201 enodes (cost 7 ) 0.123 * * [simplify]: iteration 15 : 205 enodes (cost 7 ) 0.132 * * [simplify]: iteration 16 : 209 enodes (cost 7 ) 0.141 * * [simplify]: iteration 17 : 213 enodes (cost 7 ) 0.150 * * [simplify]: iteration 18 : 217 enodes (cost 7 ) 0.159 * * [simplify]: iteration 19 : 221 enodes (cost 7 ) 0.171 * * [simplify]: iteration 20 : 225 enodes (cost 7 ) 0.180 * * [simplify]: iteration 21 : 229 enodes (cost 7 ) 0.190 * * [simplify]: iteration 22 : 233 enodes (cost 7 ) 0.199 * * [simplify]: iteration 23 : 237 enodes (cost 7 ) 0.209 * * [simplify]: iteration 24 : 241 enodes (cost 7 ) 0.221 * * [simplify]: iteration 25 : 245 enodes (cost 7 ) 0.231 * * [simplify]: iteration 26 : 249 enodes (cost 7 ) 0.241 * * [simplify]: iteration 27 : 253 enodes (cost 7 ) 0.251 * * [simplify]: iteration 28 : 257 enodes (cost 7 ) 0.261 * * [simplify]: iteration 29 : 261 enodes (cost 7 ) 0.274 * * [simplify]: iteration 30 : 265 enodes (cost 7 ) 0.284 * * [simplify]: iteration 31 : 269 enodes (cost 7 ) 0.294 * * [simplify]: iteration 32 : 273 enodes (cost 7 ) 0.305 * * [simplify]: iteration 33 : 277 enodes (cost 7 ) 0.318 * * [simplify]: iteration 34 : 281 enodes (cost 7 ) 0.329 * * [simplify]: iteration 35 : 285 enodes (cost 7 ) 0.339 * * [simplify]: iteration 36 : 289 enodes (cost 7 ) 0.350 * * [simplify]: iteration 37 : 293 enodes (cost 7 ) 0.361 * * [simplify]: iteration 38 : 297 enodes (cost 7 ) 0.374 * * [simplify]: iteration 39 : 301 enodes (cost 7 ) 0.386 * * [simplify]: iteration 40 : 305 enodes (cost 7 ) 0.397 * * [simplify]: iteration 41 : 309 enodes (cost 7 ) 0.408 * * [simplify]: iteration 42 : 313 enodes (cost 7 ) 0.422 * * [simplify]: iteration 43 : 317 enodes (cost 7 ) 0.434 * * [simplify]: iteration 44 : 321 enodes (cost 7 ) 0.445 * * [simplify]: iteration 45 : 325 enodes (cost 7 ) 0.457 * * [simplify]: iteration 46 : 329 enodes (cost 7 ) 0.471 * * [simplify]: iteration 47 : 333 enodes (cost 7 ) 0.484 * * [simplify]: iteration 48 : 337 enodes (cost 7 ) 0.495 * * [simplify]: iteration 49 : 341 enodes (cost 7 ) 0.508 * * [simplify]: iteration 50 : 345 enodes (cost 7 ) 0.520 * * [simplify]: iteration 51 : 349 enodes (cost 7 ) 0.535 * * [simplify]: iteration 52 : 353 enodes (cost 7 ) 0.547 * * [simplify]: iteration 53 : 357 enodes (cost 7 ) 0.560 * * [simplify]: iteration 54 : 361 enodes (cost 7 ) 0.572 * * [simplify]: iteration 55 : 365 enodes (cost 7 ) 0.588 * * [simplify]: iteration 56 : 369 enodes (cost 7 ) 0.600 * * [simplify]: iteration 57 : 373 enodes (cost 7 ) 0.613 * * [simplify]: iteration 58 : 377 enodes (cost 7 ) 0.628 * * [simplify]: iteration 59 : 381 enodes (cost 7 ) 0.641 * * [simplify]: iteration 60 : 385 enodes (cost 7 ) 0.654 * * [simplify]: iteration 61 : 389 enodes (cost 7 ) 0.667 * * [simplify]: iteration 62 : 393 enodes (cost 7 ) 0.683 * * [simplify]: iteration 63 : 397 enodes (cost 7 ) 0.696 * * [simplify]: iteration 64 : 401 enodes (cost 7 ) 0.709 * * [simplify]: iteration 65 : 405 enodes (cost 7 ) 0.723 * * [simplify]: iteration 66 : 409 enodes (cost 7 ) 0.739 * * [simplify]: iteration 67 : 413 enodes (cost 7 ) 0.753 * * [simplify]: iteration 68 : 417 enodes (cost 7 ) 0.766 * * [simplify]: iteration 69 : 421 enodes (cost 7 ) 0.783 * * [simplify]: iteration 70 : 425 enodes (cost 7 ) 0.797 * * [simplify]: iteration 71 : 429 enodes (cost 7 ) 0.811 * * [simplify]: iteration 72 : 433 enodes (cost 7 ) 0.825 * * [simplify]: iteration 73 : 437 enodes (cost 7 ) 0.842 * * [simplify]: iteration 74 : 441 enodes (cost 7 ) 0.856 * * [simplify]: iteration 75 : 445 enodes (cost 7 ) 0.871 * * [simplify]: iteration 76 : 449 enodes (cost 7 ) 0.888 * * [simplify]: iteration 77 : 453 enodes (cost 7 ) 0.902 * * [simplify]: iteration 78 : 457 enodes (cost 7 ) 0.917 * * [simplify]: iteration 79 : 461 enodes (cost 7 ) 0.932 * * [simplify]: iteration 80 : 465 enodes (cost 7 ) 0.949 * * [simplify]: iteration 81 : 469 enodes (cost 7 ) 0.965 * * [simplify]: iteration 82 : 473 enodes (cost 7 ) 0.979 * * [simplify]: iteration 83 : 477 enodes (cost 7 ) 0.997 * * [simplify]: iteration 84 : 481 enodes (cost 7 ) 1.013 * * [simplify]: iteration 85 : 485 enodes (cost 7 ) 1.028 * * [simplify]: iteration 86 : 489 enodes (cost 7 ) 1.046 * * [simplify]: iteration 87 : 493 enodes (cost 7 ) 1.062 * * [simplify]: iteration 88 : 497 enodes (cost 7 ) 1.077 * * [simplify]: iteration 89 : 501 enodes (cost 7 ) 1.096 * * [simplify]: iteration 90 : 505 enodes (cost 7 ) 1.111 * * [simplify]: iteration 91 : 509 enodes (cost 7 ) 1.128 * * [simplify]: iteration 92 : 513 enodes (cost 7 ) 1.146 * * [simplify]: iteration 93 : 517 enodes (cost 7 ) 1.162 * * [simplify]: iteration 94 : 521 enodes (cost 7 ) 1.178 * * [simplify]: iteration 95 : 525 enodes (cost 7 ) 1.194 * * [simplify]: iteration 96 : 529 enodes (cost 7 ) 1.214 * * [simplify]: iteration 97 : 533 enodes (cost 7 ) 1.230 * * [simplify]: iteration 98 : 537 enodes (cost 7 ) 1.246 * * [simplify]: iteration 99 : 541 enodes (cost 7 ) 1.266 * * [simplify]: iteration 100 : 545 enodes (cost 7 ) 1.283 * * [simplify]: iteration 101 : 549 enodes (cost 7 ) 1.299 * * [simplify]: iteration 102 : 553 enodes (cost 7 ) 1.319 * * [simplify]: iteration 103 : 557 enodes (cost 7 ) 1.335 * * [simplify]: iteration 104 : 561 enodes (cost 7 ) 1.356 * * [simplify]: iteration 105 : 565 enodes (cost 7 ) 1.373 * * [simplify]: iteration 106 : 569 enodes (cost 7 ) 1.390 * * [simplify]: iteration 107 : 573 enodes (cost 7 ) 1.410 * * [simplify]: iteration 108 : 577 enodes (cost 7 ) 1.427 * * [simplify]: iteration 109 : 581 enodes (cost 7 ) 1.445 * * [simplify]: iteration 110 : 585 enodes (cost 7 ) 1.466 * * [simplify]: iteration 111 : 589 enodes (cost 7 ) 1.484 * * [simplify]: iteration 112 : 593 enodes (cost 7 ) 1.502 * * [simplify]: iteration 113 : 597 enodes (cost 7 ) 1.523 * * [simplify]: iteration 114 : 601 enodes (cost 7 ) 1.541 * * [simplify]: iteration 115 : 605 enodes (cost 7 ) 1.559 * * [simplify]: iteration 116 : 609 enodes (cost 7 ) 1.580 * * [simplify]: iteration 117 : 613 enodes (cost 7 ) 1.598 * * [simplify]: iteration 118 : 617 enodes (cost 7 ) 1.619 * * [simplify]: iteration 119 : 621 enodes (cost 7 ) 1.638 * * [simplify]: iteration 120 : 625 enodes (cost 7 ) 1.656 * * [simplify]: iteration 121 : 629 enodes (cost 7 ) 1.678 * * [simplify]: iteration 122 : 633 enodes (cost 7 ) 1.696 * * [simplify]: iteration 123 : 637 enodes (cost 7 ) 1.716 * * [simplify]: iteration 124 : 641 enodes (cost 7 ) 1.737 * * [simplify]: iteration 125 : 645 enodes (cost 7 ) 1.756 * * [simplify]: iteration 126 : 649 enodes (cost 7 ) 1.778 * * [simplify]: iteration 127 : 653 enodes (cost 7 ) 1.798 * * [simplify]: iteration 128 : 657 enodes (cost 7 ) 1.818 * * [simplify]: iteration 129 : 661 enodes (cost 7 ) 1.840 * * [simplify]: iteration 130 : 665 enodes (cost 7 ) 1.859 * * [simplify]: iteration 131 : 669 enodes (cost 7 ) 1.882 * * [simplify]: iteration 132 : 673 enodes (cost 7 ) 1.901 * * [simplify]: iteration 133 : 677 enodes (cost 7 ) 1.921 * * [simplify]: iteration 134 : 681 enodes (cost 7 ) 1.944 * * [simplify]: iteration 135 : 685 enodes (cost 7 ) 1.963 * * [simplify]: iteration 136 : 689 enodes (cost 7 ) 1.987 * * [simplify]: iteration 137 : 693 enodes (cost 7 ) 2.007 * * [simplify]: iteration 138 : 697 enodes (cost 7 ) 2.027 * * [simplify]: iteration 139 : 701 enodes (cost 7 ) 2.050 * * [simplify]: iteration 140 : 705 enodes (cost 7 ) 2.070 * * [simplify]: iteration 141 : 709 enodes (cost 7 ) 2.094 * * [simplify]: iteration 142 : 713 enodes (cost 7 ) 2.114 * * [simplify]: iteration 143 : 717 enodes (cost 7 ) 2.135 * * [simplify]: iteration 144 : 721 enodes (cost 7 ) 2.158 * * [simplify]: iteration 145 : 725 enodes (cost 7 ) 2.179 * * [simplify]: iteration 146 : 729 enodes (cost 7 ) 2.204 * * [simplify]: iteration 147 : 733 enodes (cost 7 ) 2.224 * * [simplify]: iteration 148 : 737 enodes (cost 7 ) 2.248 * * [simplify]: iteration 149 : 741 enodes (cost 7 ) 2.270 * * [simplify]: iteration 150 : 745 enodes (cost 7 ) 2.291 * * [simplify]: iteration 151 : 749 enodes (cost 7 ) 2.316 * * [simplify]: iteration 152 : 753 enodes (cost 7 ) 2.337 * * [simplify]: iteration 153 : 757 enodes (cost 7 ) 2.362 * * [simplify]: iteration 154 : 761 enodes (cost 7 ) 2.383 * * [simplify]: iteration 155 : 765 enodes (cost 7 ) 2.408 * * [simplify]: iteration 156 : 769 enodes (cost 7 ) 2.429 * * [simplify]: iteration 157 : 773 enodes (cost 7 ) 2.451 * * [simplify]: iteration 158 : 777 enodes (cost 7 ) 2.476 * * [simplify]: iteration 159 : 781 enodes (cost 7 ) 2.499 * * [simplify]: iteration 160 : 785 enodes (cost 7 ) 2.524 * * [simplify]: iteration 161 : 789 enodes (cost 7 ) 2.546 * * [simplify]: iteration 162 : 793 enodes (cost 7 ) 2.572 * * [simplify]: iteration 163 : 797 enodes (cost 7 ) 2.595 * * [simplify]: iteration 164 : 801 enodes (cost 7 ) 2.620 * * [simplify]: iteration 165 : 805 enodes (cost 7 ) 2.643 * * [simplify]: iteration 166 : 809 enodes (cost 7 ) 2.669 * * [simplify]: iteration 167 : 813 enodes (cost 7 ) 2.692 * * [simplify]: iteration 168 : 817 enodes (cost 7 ) 2.715 * * [simplify]: iteration 169 : 821 enodes (cost 7 ) 2.741 * * [simplify]: iteration 170 : 825 enodes (cost 7 ) 2.764 * * [simplify]: iteration 171 : 829 enodes (cost 7 ) 2.790 * * [simplify]: iteration 172 : 833 enodes (cost 7 ) 2.813 * * [simplify]: iteration 173 : 837 enodes (cost 7 ) 2.840 * * [simplify]: iteration 174 : 841 enodes (cost 7 ) 2.864 * * [simplify]: iteration 175 : 845 enodes (cost 7 ) 2.891 * * [simplify]: iteration 176 : 849 enodes (cost 7 ) 2.915 * * [simplify]: iteration 177 : 853 enodes (cost 7 ) 2.942 * * [simplify]: iteration 178 : 857 enodes (cost 7 ) 2.965 * * [simplify]: iteration 179 : 861 enodes (cost 7 ) 2.993 * * [simplify]: iteration 180 : 865 enodes (cost 7 ) 3.016 * * [simplify]: iteration 181 : 869 enodes (cost 7 ) 3.044 * * [simplify]: iteration 182 : 873 enodes (cost 7 ) 3.068 * * [simplify]: iteration 183 : 877 enodes (cost 7 ) 3.096 * * [simplify]: iteration 184 : 881 enodes (cost 7 ) 3.120 * * [simplify]: iteration 185 : 885 enodes (cost 7 ) 3.148 * * [simplify]: iteration 186 : 889 enodes (cost 7 ) 3.172 * * [simplify]: iteration 187 : 893 enodes (cost 7 ) 3.200 * * [simplify]: iteration 188 : 897 enodes (cost 7 ) 3.225 * * [simplify]: iteration 189 : 901 enodes (cost 7 ) 3.253 * * [simplify]: iteration 190 : 905 enodes (cost 7 ) 3.278 * * [simplify]: iteration 191 : 909 enodes (cost 7 ) 3.306 * * [simplify]: iteration 192 : 913 enodes (cost 7 ) 3.331 * * [simplify]: iteration 193 : 917 enodes (cost 7 ) 3.360 * * [simplify]: iteration 194 : 921 enodes (cost 7 ) 3.386 * * [simplify]: iteration 195 : 925 enodes (cost 7 ) 3.415 * * [simplify]: iteration 196 : 929 enodes (cost 7 ) 3.441 * * [simplify]: iteration 197 : 933 enodes (cost 7 ) 3.471 * * [simplify]: iteration 198 : 937 enodes (cost 7 ) 3.496 * * [simplify]: iteration 199 : 941 enodes (cost 7 ) 3.525 * * [simplify]: iteration 200 : 945 enodes (cost 7 ) 3.551 * * [simplify]: iteration 201 : 949 enodes (cost 7 ) 3.581 * * [simplify]: iteration 202 : 953 enodes (cost 7 ) 3.606 * * [simplify]: iteration 203 : 957 enodes (cost 7 ) 3.636 * * [simplify]: iteration 204 : 961 enodes (cost 7 ) 3.662 * * [simplify]: iteration 205 : 965 enodes (cost 7 ) 3.692 * * [simplify]: iteration 206 : 969 enodes (cost 7 ) 3.718 * * [simplify]: iteration 207 : 973 enodes (cost 7 ) 3.749 * * [simplify]: iteration 208 : 977 enodes (cost 7 ) 3.775 * * [simplify]: iteration 209 : 981 enodes (cost 7 ) 3.805 * * [simplify]: iteration 210 : 985 enodes (cost 7 ) 3.832 * * [simplify]: iteration 211 : 989 enodes (cost 7 ) 3.863 * * [simplify]: iteration 212 : 993 enodes (cost 7 ) 3.894 * * [simplify]: iteration 213 : 997 enodes (cost 7 ) 3.921 * * [simplify]: iteration 214 : 1001 enodes (cost 7 ) 3.951 * * [simplify]: iteration 215 : 1005 enodes (cost 7 ) 3.978 * * [simplify]: iteration 216 : 1009 enodes (cost 7 ) 4.009 * * [simplify]: iteration 217 : 1013 enodes (cost 7 ) 4.037 * * [simplify]: iteration 218 : 1017 enodes (cost 7 ) 4.068 * * [simplify]: iteration 219 : 1021 enodes (cost 7 ) 4.096 * * [simplify]: iteration 220 : 1025 enodes (cost 7 ) 4.127 * * [simplify]: iteration 221 : 1029 enodes (cost 7 ) 4.157 * * [simplify]: iteration 222 : 1033 enodes (cost 7 ) 4.185 * * [simplify]: iteration 223 : 1037 enodes (cost 7 ) 4.217 * * [simplify]: iteration 224 : 1041 enodes (cost 7 ) 4.245 * * [simplify]: iteration 225 : 1045 enodes (cost 7 ) 4.277 * * [simplify]: iteration 226 : 1049 enodes (cost 7 ) 4.305 * * [simplify]: iteration 227 : 1053 enodes (cost 7 ) 4.338 * * [simplify]: iteration 228 : 1057 enodes (cost 7 ) 4.366 * * [simplify]: iteration 229 : 1061 enodes (cost 7 ) 4.399 * * [simplify]: iteration 230 : 1065 enodes (cost 7 ) 4.431 * * [simplify]: iteration 231 : 1069 enodes (cost 7 ) 4.460 * * [simplify]: iteration 232 : 1073 enodes (cost 7 ) 4.493 * * [simplify]: iteration 233 : 1077 enodes (cost 7 ) 4.522 * * [simplify]: iteration 234 : 1081 enodes (cost 7 ) 4.556 * * [simplify]: iteration 235 : 1085 enodes (cost 7 ) 4.588 * * [simplify]: iteration 236 : 1089 enodes (cost 7 ) 4.617 * * [simplify]: iteration 237 : 1093 enodes (cost 7 ) 4.651 * * [simplify]: iteration 238 : 1097 enodes (cost 7 ) 4.680 * * [simplify]: iteration 239 : 1101 enodes (cost 7 ) 4.715 * * [simplify]: iteration 240 : 1105 enodes (cost 7 ) 4.745 * * [simplify]: iteration 241 : 1109 enodes (cost 7 ) 4.780 * * [simplify]: iteration 242 : 1113 enodes (cost 7 ) 4.814 * * [simplify]: iteration 243 : 1117 enodes (cost 7 ) 4.845 * * [simplify]: iteration 244 : 1121 enodes (cost 7 ) 4.879 * * [simplify]: iteration 245 : 1125 enodes (cost 7 ) 4.909 * * [simplify]: iteration 246 : 1129 enodes (cost 7 ) 4.944 * * [simplify]: iteration 247 : 1133 enodes (cost 7 ) 4.978 * * [simplify]: iteration 248 : 1137 enodes (cost 7 ) 5.008 * * [simplify]: iteration 249 : 1141 enodes (cost 7 ) 5.043 * * [simplify]: iteration 250 : 1145 enodes (cost 7 ) 5.077 * * [simplify]: iteration 251 : 1149 enodes (cost 7 ) 5.109 * * [simplify]: iteration 252 : 1153 enodes (cost 7 ) 5.143 * * [simplify]: iteration 253 : 1157 enodes (cost 7 ) 5.174 * * [simplify]: iteration 254 : 1161 enodes (cost 7 ) 5.210 * * [simplify]: iteration 255 : 1165 enodes (cost 7 ) 5.245 * * [simplify]: iteration 256 : 1169 enodes (cost 7 ) 5.276 * * [simplify]: iteration 257 : 1173 enodes (cost 7 ) 5.312 * * [simplify]: iteration 258 : 1177 enodes (cost 7 ) 5.342 * * [simplify]: iteration 259 : 1181 enodes (cost 7 ) 5.378 * * [simplify]: iteration 260 : 1185 enodes (cost 7 ) 5.414 * * [simplify]: iteration 261 : 1189 enodes (cost 7 ) 5.446 * * [simplify]: iteration 262 : 1193 enodes (cost 7 ) 5.482 * * [simplify]: iteration 263 : 1197 enodes (cost 7 ) 5.520 * * [simplify]: iteration 264 : 1201 enodes (cost 7 ) 5.551 * * [simplify]: iteration 265 : 1205 enodes (cost 7 ) 5.589 * * [simplify]: iteration 266 : 1209 enodes (cost 7 ) 5.625 * * [simplify]: iteration 267 : 1213 enodes (cost 7 ) 5.658 * * [simplify]: iteration 268 : 1217 enodes (cost 7 ) 5.695 * * [simplify]: iteration 269 : 1221 enodes (cost 7 ) 5.728 * * [simplify]: iteration 270 : 1225 enodes (cost 7 ) 5.765 * * [simplify]: iteration 271 : 1229 enodes (cost 7 ) 5.801 * * [simplify]: iteration 272 : 1233 enodes (cost 7 ) 5.834 * * [simplify]: iteration 273 : 1237 enodes (cost 7 ) 5.872 * * [simplify]: iteration 274 : 1241 enodes (cost 7 ) 5.910 * * [simplify]: iteration 275 : 1245 enodes (cost 7 ) 5.943 * * [simplify]: iteration 276 : 1249 enodes (cost 7 ) 5.981 * * [simplify]: iteration 277 : 1253 enodes (cost 7 ) 6.019 * * [simplify]: iteration 278 : 1257 enodes (cost 7 ) 6.052 * * [simplify]: iteration 279 : 1261 enodes (cost 7 ) 6.090 * * [simplify]: iteration 280 : 1265 enodes (cost 7 ) 6.128 * * [simplify]: iteration 281 : 1269 enodes (cost 7 ) 6.161 * * [simplify]: iteration 282 : 1273 enodes (cost 7 ) 6.201 * * [simplify]: iteration 283 : 1277 enodes (cost 7 ) 6.239 * * [simplify]: iteration 284 : 1281 enodes (cost 7 ) 6.273 * * [simplify]: iteration 285 : 1285 enodes (cost 7 ) 6.312 * * [simplify]: iteration 286 : 1289 enodes (cost 7 ) 6.351 * * [simplify]: iteration 287 : 1293 enodes (cost 7 ) 6.385 * * [simplify]: iteration 288 : 1297 enodes (cost 7 ) 6.424 * * [simplify]: iteration 289 : 1301 enodes (cost 7 ) 6.462 * * [simplify]: iteration 290 : 1305 enodes (cost 7 ) 6.496 * * [simplify]: iteration 291 : 1309 enodes (cost 7 ) 6.536 * * [simplify]: iteration 292 : 1313 enodes (cost 7 ) 6.576 * * [simplify]: iteration 293 : 1317 enodes (cost 7 ) 6.615 * * [simplify]: iteration 294 : 1321 enodes (cost 7 ) 6.650 * * [simplify]: iteration 295 : 1325 enodes (cost 7 ) 6.690 * * [simplify]: iteration 296 : 1329 enodes (cost 7 ) 6.731 * * [simplify]: iteration 297 : 1333 enodes (cost 7 ) 6.766 * * [simplify]: iteration 298 : 1337 enodes (cost 7 ) 6.805 * * [simplify]: iteration 299 : 1341 enodes (cost 7 ) 6.844 * * [simplify]: iteration 300 : 1345 enodes (cost 7 ) 6.879 * * [simplify]: iteration 301 : 1349 enodes (cost 7 ) 6.919 * * [simplify]: iteration 302 : 1353 enodes (cost 7 ) 6.959 * * [simplify]: iteration 303 : 1357 enodes (cost 7 ) 6.999 * * [simplify]: iteration 304 : 1361 enodes (cost 7 ) 7.034 * * [simplify]: iteration 305 : 1365 enodes (cost 7 ) 7.075 * * [simplify]: iteration 306 : 1369 enodes (cost 7 ) 7.116 * * [simplify]: iteration 307 : 1373 enodes (cost 7 ) 7.152 * * [simplify]: iteration 308 : 1377 enodes (cost 7 ) 7.192 * * [simplify]: iteration 309 : 1381 enodes (cost 7 ) 7.233 * * [simplify]: iteration 310 : 1385 enodes (cost 7 ) 7.274 * * [simplify]: iteration 311 : 1389 enodes (cost 7 ) 7.310 * * [simplify]: iteration 312 : 1393 enodes (cost 7 ) 7.351 * * [simplify]: iteration 313 : 1397 enodes (cost 7 ) 7.392 * * [simplify]: iteration 314 : 1401 enodes (cost 7 ) 7.428 * * [simplify]: iteration 315 : 1405 enodes (cost 7 ) 7.470 * * [simplify]: iteration 316 : 1409 enodes (cost 7 ) 7.512 * * [simplify]: iteration 317 : 1413 enodes (cost 7 ) 7.553 * * [simplify]: iteration 318 : 1417 enodes (cost 7 ) 7.591 * * [simplify]: iteration 319 : 1421 enodes (cost 7 ) 7.639 * * [simplify]: iteration 320 : 1425 enodes (cost 7 ) 7.690 * * [simplify]: iteration 321 : 1429 enodes (cost 7 ) 7.735 * * [simplify]: iteration 322 : 1433 enodes (cost 7 ) 7.772 * * [simplify]: iteration 323 : 1437 enodes (cost 7 ) 7.816 * * [simplify]: iteration 324 : 1441 enodes (cost 7 ) 7.859 * * [simplify]: iteration 325 : 1445 enodes (cost 7 ) 7.902 * * [simplify]: iteration 326 : 1449 enodes (cost 7 ) 7.941 * * [simplify]: iteration 327 : 1453 enodes (cost 7 ) 7.984 * * [simplify]: iteration 328 : 1457 enodes (cost 7 ) 8.027 * * [simplify]: iteration 329 : 1461 enodes (cost 7 ) 8.071 * * [simplify]: iteration 330 : 1465 enodes (cost 7 ) 8.109 * * [simplify]: iteration 331 : 1469 enodes (cost 7 ) 8.153 * * [simplify]: iteration 332 : 1473 enodes (cost 7 ) 8.196 * * [simplify]: iteration 333 : 1477 enodes (cost 7 ) 8.239 * * [simplify]: iteration 334 : 1481 enodes (cost 7 ) 8.278 * * [simplify]: iteration 335 : 1485 enodes (cost 7 ) 8.322 * * [simplify]: iteration 336 : 1489 enodes (cost 7 ) 8.368 * * [simplify]: iteration 337 : 1493 enodes (cost 7 ) 8.413 * * [simplify]: iteration 338 : 1497 enodes (cost 7 ) 8.456 * * [simplify]: iteration 339 : 1501 enodes (cost 7 ) 8.498 * * [simplify]: iteration 340 : 1505 enodes (cost 7 ) 8.543 * * [simplify]: iteration 341 : 1509 enodes (cost 7 ) 8.588 * * [simplify]: iteration 342 : 1513 enodes (cost 7 ) 8.634 * * [simplify]: iteration 343 : 1517 enodes (cost 7 ) 8.673 * * [simplify]: iteration 344 : 1521 enodes (cost 7 ) 8.718 * * [simplify]: iteration 345 : 1525 enodes (cost 7 ) 8.763 * * [simplify]: iteration 346 : 1529 enodes (cost 7 ) 8.808 * * [simplify]: iteration 347 : 1533 enodes (cost 7 ) 8.854 * * [simplify]: iteration 348 : 1537 enodes (cost 7 ) 8.894 * * [simplify]: iteration 349 : 1541 enodes (cost 7 ) 8.941 * * [simplify]: iteration 350 : 1545 enodes (cost 7 ) 8.987 * * [simplify]: iteration 351 : 1549 enodes (cost 7 ) 9.033 * * [simplify]: iteration 352 : 1553 enodes (cost 7 ) 9.080 * * [simplify]: iteration 353 : 1557 enodes (cost 7 ) 9.121 * * [simplify]: iteration 354 : 1561 enodes (cost 7 ) 9.168 * * [simplify]: iteration 355 : 1565 enodes (cost 7 ) 9.213 * * [simplify]: iteration 356 : 1569 enodes (cost 7 ) 9.260 * * [simplify]: iteration 357 : 1573 enodes (cost 7 ) 9.307 * * [simplify]: iteration 358 : 1577 enodes (cost 7 ) 9.347 * * [simplify]: iteration 359 : 1581 enodes (cost 7 ) 9.395 * * [simplify]: iteration 360 : 1585 enodes (cost 7 ) 9.443 * * [simplify]: iteration 361 : 1589 enodes (cost 7 ) 9.491 * * [simplify]: iteration 362 : 1593 enodes (cost 7 ) 9.540 * * [simplify]: iteration 363 : 1597 enodes (cost 7 ) 9.587 * * [simplify]: iteration 364 : 1601 enodes (cost 7 ) 9.630 * * [simplify]: iteration 365 : 1605 enodes (cost 7 ) 9.678 * * [simplify]: iteration 366 : 1609 enodes (cost 7 ) 9.726 * * [simplify]: iteration 367 : 1613 enodes (cost 7 ) 9.773 * * [simplify]: iteration 368 : 1617 enodes (cost 7 ) 9.821 * * [simplify]: iteration 369 : 1621 enodes (cost 7 ) 9.867 * * [simplify]: iteration 370 : 1625 enodes (cost 7 ) 9.910 * * [simplify]: iteration 371 : 1629 enodes (cost 7 ) 9.959 * * [simplify]: iteration 372 : 1633 enodes (cost 7 ) 10.007 * * [simplify]: iteration 373 : 1637 enodes (cost 7 ) 10.056 * * [simplify]: iteration 374 : 1641 enodes (cost 7 ) 10.106 * * [simplify]: iteration 375 : 1645 enodes (cost 7 ) 10.155 * * [simplify]: iteration 376 : 1649 enodes (cost 7 ) 10.199 * * [simplify]: iteration 377 : 1653 enodes (cost 7 ) 10.248 * * [simplify]: iteration 378 : 1657 enodes (cost 7 ) 10.303 * * [simplify]: iteration 379 : 1661 enodes (cost 7 ) 10.353 * * [simplify]: iteration 380 : 1665 enodes (cost 7 ) 10.402 * * [simplify]: iteration 381 : 1669 enodes (cost 7 ) 10.451 * * [simplify]: iteration 382 : 1673 enodes (cost 7 ) 10.501 * * [simplify]: iteration 383 : 1677 enodes (cost 7 ) 10.545 * * [simplify]: iteration 384 : 1681 enodes (cost 7 ) 10.594 * * [simplify]: iteration 385 : 1685 enodes (cost 7 ) 10.643 * * [simplify]: iteration 386 : 1689 enodes (cost 7 ) 10.694 * * [simplify]: iteration 387 : 1693 enodes (cost 7 ) 10.744 * * [simplify]: iteration 388 : 1697 enodes (cost 7 ) 10.795 * * [simplify]: iteration 389 : 1701 enodes (cost 7 ) 10.846 * * [simplify]: iteration 390 : 1705 enodes (cost 7 ) 10.895 * * [simplify]: iteration 391 : 1709 enodes (cost 7 ) 10.940 * * [simplify]: iteration 392 : 1713 enodes (cost 7 ) 10.990 * * [simplify]: iteration 393 : 1717 enodes (cost 7 ) 11.041 * * [simplify]: iteration 394 : 1721 enodes (cost 7 ) 11.092 * * [simplify]: iteration 395 : 1725 enodes (cost 7 ) 11.144 * * [simplify]: iteration 396 : 1729 enodes (cost 7 ) 11.195 * * [simplify]: iteration 397 : 1733 enodes (cost 7 ) 11.246 * * [simplify]: iteration 398 : 1737 enodes (cost 7 ) 11.297 * * [simplify]: iteration 399 : 1741 enodes (cost 7 ) 11.342 * * [simplify]: iteration 400 : 1745 enodes (cost 7 ) 11.395 * * [simplify]: iteration 401 : 1749 enodes (cost 7 ) 11.447 * * [simplify]: iteration 402 : 1753 enodes (cost 7 ) 11.500 * * [simplify]: iteration 403 : 1757 enodes (cost 7 ) 11.551 * * [simplify]: iteration 404 : 1761 enodes (cost 7 ) 11.603 * * [simplify]: iteration 405 : 1765 enodes (cost 7 ) 11.655 * * [simplify]: iteration 406 : 1769 enodes (cost 7 ) 11.707 * * [simplify]: iteration 407 : 1773 enodes (cost 7 ) 11.759 * * [simplify]: iteration 408 : 1777 enodes (cost 7 ) 11.811 * * [simplify]: iteration 409 : 1781 enodes (cost 7 ) 11.858 * * [simplify]: iteration 410 : 1785 enodes (cost 7 ) 11.911 * * [simplify]: iteration 411 : 1789 enodes (cost 7 ) 11.964 * * [simplify]: iteration 412 : 1793 enodes (cost 7 ) 12.017 * * [simplify]: iteration 413 : 1797 enodes (cost 7 ) 12.069 * * [simplify]: iteration 414 : 1801 enodes (cost 7 ) 12.122 * * [simplify]: iteration 415 : 1805 enodes (cost 7 ) 12.174 * * [simplify]: iteration 416 : 1809 enodes (cost 7 ) 12.227 * * [simplify]: iteration 417 : 1813 enodes (cost 7 ) 12.280 * * [simplify]: iteration 418 : 1817 enodes (cost 7 ) 12.333 * * [simplify]: iteration 419 : 1821 enodes (cost 7 ) 12.386 * * [simplify]: iteration 420 : 1825 enodes (cost 7 ) 12.441 * * [simplify]: iteration 421 : 1829 enodes (cost 7 ) 12.494 * * [simplify]: iteration 422 : 1833 enodes (cost 7 ) 12.542 * * [simplify]: iteration 423 : 1837 enodes (cost 7 ) 12.594 * * [simplify]: iteration 424 : 1841 enodes (cost 7 ) 12.648 * * [simplify]: iteration 425 : 1845 enodes (cost 7 ) 12.702 * * [simplify]: iteration 426 : 1849 enodes (cost 7 ) 12.756 * * [simplify]: iteration 427 : 1853 enodes (cost 7 ) 12.809 * * [simplify]: iteration 428 : 1857 enodes (cost 7 ) 12.863 * * [simplify]: iteration 429 : 1861 enodes (cost 7 ) 12.917 * * [simplify]: iteration 430 : 1865 enodes (cost 7 ) 12.972 * * [simplify]: iteration 431 : 1869 enodes (cost 7 ) 13.026 * * [simplify]: iteration 432 : 1873 enodes (cost 7 ) 13.082 * * [simplify]: iteration 433 : 1877 enodes (cost 7 ) 13.137 * * [simplify]: iteration 434 : 1881 enodes (cost 7 ) 13.193 * * [simplify]: iteration 435 : 1885 enodes (cost 7 ) 13.247 * * [simplify]: iteration 436 : 1889 enodes (cost 7 ) 13.303 * * [simplify]: iteration 437 : 1893 enodes (cost 7 ) 13.358 * * [simplify]: iteration 438 : 1897 enodes (cost 7 ) 13.414 * * [simplify]: iteration 439 : 1901 enodes (cost 7 ) 13.469 * * [simplify]: iteration 440 : 1905 enodes (cost 7 ) 13.523 * * [simplify]: iteration 441 : 1909 enodes (cost 7 ) 13.580 * * [simplify]: iteration 442 : 1913 enodes (cost 7 ) 13.631 * * [simplify]: iteration 443 : 1917 enodes (cost 7 ) 13.686 * * [simplify]: iteration 444 : 1921 enodes (cost 7 ) 13.744 * * [simplify]: iteration 445 : 1925 enodes (cost 7 ) 13.800 * * [simplify]: iteration 446 : 1929 enodes (cost 7 ) 13.857 * * [simplify]: iteration 447 : 1933 enodes (cost 7 ) 13.913 * * [simplify]: iteration 448 : 1937 enodes (cost 7 ) 13.970 * * [simplify]: iteration 449 : 1941 enodes (cost 7 ) 14.026 * * [simplify]: iteration 450 : 1945 enodes (cost 7 ) 14.084 * * [simplify]: iteration 451 : 1949 enodes (cost 7 ) 14.142 * * [simplify]: iteration 452 : 1953 enodes (cost 7 ) 14.199 * * [simplify]: iteration 453 : 1957 enodes (cost 7 ) 14.257 * * [simplify]: iteration 454 : 1961 enodes (cost 7 ) 14.315 * * [simplify]: iteration 455 : 1965 enodes (cost 7 ) 14.372 * * [simplify]: iteration 456 : 1969 enodes (cost 7 ) 14.430 * * [simplify]: iteration 457 : 1973 enodes (cost 7 ) 14.487 * * [simplify]: iteration 458 : 1977 enodes (cost 7 ) 14.546 * * [simplify]: iteration 459 : 1981 enodes (cost 7 ) 14.604 * * [simplify]: iteration 460 : 1985 enodes (cost 7 ) 14.663 * * [simplify]: iteration 461 : 1989 enodes (cost 7 ) 14.721 * * [simplify]: iteration 462 : 1993 enodes (cost 7 ) 14.779 * * [simplify]: iteration 463 : 1997 enodes (cost 7 ) 14.836 * * [simplify]: iteration 464 : 2001 enodes (cost 7 ) 14.895 * * [simplify]: iteration 465 : 2005 enodes (cost 7 ) 14.953 * * [simplify]: iteration 466 : 2009 enodes (cost 7 ) 15.012 * * [simplify]: iteration 467 : 2013 enodes (cost 7 ) 15.071 * * [simplify]: iteration 468 : 2017 enodes (cost 7 ) 15.131 * * [simplify]: iteration 469 : 2021 enodes (cost 7 ) 15.190 * * [simplify]: iteration 470 : 2025 enodes (cost 7 ) 15.250 * * [simplify]: iteration 471 : 2029 enodes (cost 7 ) 15.309 * * [simplify]: iteration 472 : 2033 enodes (cost 7 ) 15.368 * * [simplify]: iteration 473 : 2037 enodes (cost 7 ) 15.428 * * [simplify]: iteration 474 : 2041 enodes (cost 7 ) 15.487 * * [simplify]: iteration 475 : 2045 enodes (cost 7 ) 15.554 * * [simplify]: iteration 476 : 2049 enodes (cost 7 ) 15.612 * * [simplify]: iteration 477 : 2053 enodes (cost 7 ) 15.673 * * [simplify]: iteration 478 : 2057 enodes (cost 7 ) 15.733 * * [simplify]: iteration 479 : 2061 enodes (cost 7 ) 15.792 * * [simplify]: iteration 480 : 2065 enodes (cost 7 ) 15.852 * * [simplify]: iteration 481 : 2069 enodes (cost 7 ) 15.912 * * [simplify]: iteration 482 : 2073 enodes (cost 7 ) 15.972 * * [simplify]: iteration 483 : 2077 enodes (cost 7 ) 16.032 * * [simplify]: iteration 484 : 2081 enodes (cost 7 ) 16.093 * * [simplify]: iteration 485 : 2085 enodes (cost 7 ) 16.154 * * [simplify]: iteration 486 : 2089 enodes (cost 7 ) 16.215 * * [simplify]: iteration 487 : 2093 enodes (cost 7 ) 16.276 * * [simplify]: iteration 488 : 2097 enodes (cost 7 ) 16.337 * * [simplify]: iteration 489 : 2101 enodes (cost 7 ) 16.399 * * [simplify]: iteration 490 : 2105 enodes (cost 7 ) 16.460 * * [simplify]: iteration 491 : 2109 enodes (cost 7 ) 16.521 * * [simplify]: iteration 492 : 2113 enodes (cost 7 ) 16.583 * * [simplify]: iteration 493 : 2117 enodes (cost 7 ) 16.645 * * [simplify]: iteration 494 : 2121 enodes (cost 7 ) 16.708 * * [simplify]: iteration 495 : 2125 enodes (cost 7 ) 16.770 * * [simplify]: iteration 496 : 2129 enodes (cost 7 ) 16.837 * * [simplify]: iteration 497 : 2133 enodes (cost 7 ) 16.899 * * [simplify]: iteration 498 : 2137 enodes (cost 7 ) 16.962 * * [simplify]: iteration 499 : 2141 enodes (cost 7 ) 17.023 * * [simplify]: iteration 500 : 2145 enodes (cost 7 ) 17.086 * * [simplify]: iteration 501 : 2149 enodes (cost 7 ) 17.149 * * [simplify]: iteration 502 : 2153 enodes (cost 7 ) 17.212 * * [simplify]: iteration 503 : 2157 enodes (cost 7 ) 17.274 * * [simplify]: iteration 504 : 2161 enodes (cost 7 ) 17.338 * * [simplify]: iteration 505 : 2165 enodes (cost 7 ) 17.400 * * [simplify]: iteration 506 : 2169 enodes (cost 7 ) 17.465 * * [simplify]: iteration 507 : 2173 enodes (cost 7 ) 17.528 * * [simplify]: iteration 508 : 2177 enodes (cost 7 ) 17.597 * * [simplify]: iteration 509 : 2181 enodes (cost 7 ) 17.662 * * [simplify]: iteration 510 : 2185 enodes (cost 7 ) 17.726 * * [simplify]: iteration 511 : 2189 enodes (cost 7 ) 17.789 * * [simplify]: iteration 512 : 2193 enodes (cost 7 ) 17.853 * * [simplify]: iteration 513 : 2197 enodes (cost 7 ) 17.918 * * [simplify]: iteration 514 : 2201 enodes (cost 7 ) 17.982 * * [simplify]: iteration 515 : 2205 enodes (cost 7 ) 18.047 * * [simplify]: iteration 516 : 2209 enodes (cost 7 ) 18.113 * * [simplify]: iteration 517 : 2213 enodes (cost 7 ) 18.178 * * [simplify]: iteration 518 : 2217 enodes (cost 7 ) 18.248 * * [simplify]: iteration 519 : 2221 enodes (cost 7 ) 18.313 * * [simplify]: iteration 520 : 2225 enodes (cost 7 ) 18.378 * * [simplify]: iteration 521 : 2229 enodes (cost 7 ) 18.443 * * [simplify]: iteration 522 : 2233 enodes (cost 7 ) 18.508 * * [simplify]: iteration 523 : 2237 enodes (cost 7 ) 18.574 * * [simplify]: iteration 524 : 2241 enodes (cost 7 ) 18.640 * * [simplify]: iteration 525 : 2245 enodes (cost 7 ) 18.705 * * [simplify]: iteration 526 : 2249 enodes (cost 7 ) 18.771 * * [simplify]: iteration 527 : 2253 enodes (cost 7 ) 18.842 * * [simplify]: iteration 528 : 2257 enodes (cost 7 ) 18.907 * * [simplify]: iteration 529 : 2261 enodes (cost 7 ) 18.973 * * [simplify]: iteration 530 : 2265 enodes (cost 7 ) 19.039 * * [simplify]: iteration 531 : 2269 enodes (cost 7 ) 19.106 * * [simplify]: iteration 532 : 2273 enodes (cost 7 ) 19.173 * * [simplify]: iteration 533 : 2277 enodes (cost 7 ) 19.239 * * [simplify]: iteration 534 : 2281 enodes (cost 7 ) 19.311 * * [simplify]: iteration 535 : 2285 enodes (cost 7 ) 19.376 * * [simplify]: iteration 536 : 2289 enodes (cost 7 ) 19.443 * * [simplify]: iteration 537 : 2293 enodes (cost 7 ) 19.511 * * [simplify]: iteration 538 : 2297 enodes (cost 7 ) 19.592 * * [simplify]: iteration 539 : 2301 enodes (cost 7 ) 19.661 * * [simplify]: iteration 540 : 2305 enodes (cost 7 ) 19.729 * * [simplify]: iteration 541 : 2309 enodes (cost 7 ) 19.802 * * [simplify]: iteration 542 : 2313 enodes (cost 7 ) 19.869 * * [simplify]: iteration 543 : 2317 enodes (cost 7 ) 19.937 * * [simplify]: iteration 544 : 2321 enodes (cost 7 ) 20.005 * * [simplify]: iteration 545 : 2325 enodes (cost 7 ) 20.072 * * [simplify]: iteration 546 : 2329 enodes (cost 7 ) 20.141 * * [simplify]: iteration 547 : 2333 enodes (cost 7 ) 20.218 * * [simplify]: iteration 548 : 2337 enodes (cost 7 ) 20.287 * * [simplify]: iteration 549 : 2341 enodes (cost 7 ) 20.356 * * [simplify]: iteration 550 : 2345 enodes (cost 7 ) 20.425 * * [simplify]: iteration 551 : 2349 enodes (cost 7 ) 20.493 * * [simplify]: iteration 552 : 2353 enodes (cost 7 ) 20.563 * * [simplify]: iteration 553 : 2357 enodes (cost 7 ) 20.640 * * [simplify]: iteration 554 : 2361 enodes (cost 7 ) 20.706 * * [simplify]: iteration 555 : 2365 enodes (cost 7 ) 20.775 * * [simplify]: iteration 556 : 2369 enodes (cost 7 ) 20.844 * * [simplify]: iteration 557 : 2373 enodes (cost 7 ) 20.913 * * [simplify]: iteration 558 : 2377 enodes (cost 7 ) 20.982 * * [simplify]: iteration 559 : 2381 enodes (cost 7 ) 21.058 * * [simplify]: iteration 560 : 2385 enodes (cost 7 ) 21.128 * * [simplify]: iteration 561 : 2389 enodes (cost 7 ) 21.197 * * [simplify]: iteration 562 : 2393 enodes (cost 7 ) 21.268 * * [simplify]: iteration 563 : 2397 enodes (cost 7 ) 21.338 * * [simplify]: iteration 564 : 2401 enodes (cost 7 ) 21.415 * * [simplify]: iteration 565 : 2405 enodes (cost 7 ) 21.484 * * [simplify]: iteration 566 : 2409 enodes (cost 7 ) 21.554 * * [simplify]: iteration 567 : 2413 enodes (cost 7 ) 21.625 * * [simplify]: iteration 568 : 2417 enodes (cost 7 ) 21.696 * * [simplify]: iteration 569 : 2421 enodes (cost 7 ) 21.774 * * [simplify]: iteration 570 : 2425 enodes (cost 7 ) 21.844 * * [simplify]: iteration 571 : 2429 enodes (cost 7 ) 21.915 * * [simplify]: iteration 572 : 2433 enodes (cost 7 ) 21.987 * * [simplify]: iteration 573 : 2437 enodes (cost 7 ) 22.060 * * [simplify]: iteration 574 : 2441 enodes (cost 7 ) 22.140 * * [simplify]: iteration 575 : 2445 enodes (cost 7 ) 22.210 * * [simplify]: iteration 576 : 2449 enodes (cost 7 ) 22.284 * * [simplify]: iteration 577 : 2453 enodes (cost 7 ) 22.356 * * [simplify]: iteration 578 : 2457 enodes (cost 7 ) 22.429 * * [simplify]: iteration 579 : 2461 enodes (cost 7 ) 22.504 * * [simplify]: iteration 580 : 2465 enodes (cost 7 ) 22.577 * * [simplify]: iteration 581 : 2469 enodes (cost 7 ) 22.651 * * [simplify]: iteration 582 : 2473 enodes (cost 7 ) 22.724 * * [simplify]: iteration 583 : 2477 enodes (cost 7 ) 22.802 * * [simplify]: iteration 584 : 2481 enodes (cost 7 ) 22.873 * * [simplify]: iteration 585 : 2485 enodes (cost 7 ) 22.946 * * [simplify]: iteration 586 : 2489 enodes (cost 7 ) 23.020 * * [simplify]: iteration 587 : 2493 enodes (cost 7 ) 23.101 * * [simplify]: iteration 588 : 2497 enodes (cost 7 ) 23.171 * * [simplify]: iteration 589 : 2501 enodes (cost 7 ) 23.245 * * [simplify]: iteration 590 : 2505 enodes (cost 7 ) 23.318 * * [simplify]: iteration 591 : 2509 enodes (cost 7 ) 23.392 * * [simplify]: iteration 592 : 2513 enodes (cost 7 ) 23.466 * * [simplify]: iteration 593 : 2517 enodes (cost 7 ) 23.539 * * [simplify]: iteration 594 : 2521 enodes (cost 7 ) 23.613 * * [simplify]: iteration 595 : 2525 enodes (cost 7 ) 23.687 * * [simplify]: iteration 596 : 2529 enodes (cost 7 ) 23.763 * * [simplify]: iteration 597 : 2533 enodes (cost 7 ) 23.836 * * [simplify]: iteration 598 : 2537 enodes (cost 7 ) 23.911 * * [simplify]: iteration 599 : 2541 enodes (cost 7 ) 23.992 * * [simplify]: iteration 600 : 2545 enodes (cost 7 ) 24.064 * * [simplify]: iteration 601 : 2549 enodes (cost 7 ) 24.139 * * [simplify]: iteration 602 : 2553 enodes (cost 7 ) 24.213 * * [simplify]: iteration 603 : 2557 enodes (cost 7 ) 24.295 * * [simplify]: iteration 604 : 2561 enodes (cost 7 ) 24.368 * * [simplify]: iteration 605 : 2565 enodes (cost 7 ) 24.442 * * [simplify]: iteration 606 : 2569 enodes (cost 7 ) 24.517 * * [simplify]: iteration 607 : 2573 enodes (cost 7 ) 24.597 * * [simplify]: iteration 608 : 2577 enodes (cost 7 ) 24.672 * * [simplify]: iteration 609 : 2581 enodes (cost 7 ) 24.747 * * [simplify]: iteration 610 : 2585 enodes (cost 7 ) 24.823 * * [simplify]: iteration 611 : 2589 enodes (cost 7 ) 24.899 * * [simplify]: iteration 612 : 2593 enodes (cost 7 ) 24.975 * * [simplify]: iteration 613 : 2597 enodes (cost 7 ) 25.051 * * [simplify]: iteration 614 : 2601 enodes (cost 7 ) 25.134 * * [simplify]: iteration 615 : 2605 enodes (cost 7 ) 25.209 * * [simplify]: iteration 616 : 2609 enodes (cost 7 ) 25.285 * * [simplify]: iteration 617 : 2613 enodes (cost 7 ) 25.361 * * [simplify]: iteration 618 : 2617 enodes (cost 7 ) 25.438 * * [simplify]: iteration 619 : 2621 enodes (cost 7 ) 25.517 * * [simplify]: iteration 620 : 2625 enodes (cost 7 ) 25.594 * * [simplify]: iteration 621 : 2629 enodes (cost 7 ) 25.674 * * [simplify]: iteration 622 : 2633 enodes (cost 7 ) 25.751 * * [simplify]: iteration 623 : 2637 enodes (cost 7 ) 25.828 * * [simplify]: iteration 624 : 2641 enodes (cost 7 ) 25.912 * * [simplify]: iteration 625 : 2645 enodes (cost 7 ) 25.986 * * [simplify]: iteration 626 : 2649 enodes (cost 7 ) 26.064 * * [simplify]: iteration 627 : 2653 enodes (cost 7 ) 26.142 * * [simplify]: iteration 628 : 2657 enodes (cost 7 ) 26.224 * * [simplify]: iteration 629 : 2661 enodes (cost 7 ) 26.302 * * [simplify]: iteration 630 : 2665 enodes (cost 7 ) 26.381 * * [simplify]: iteration 631 : 2669 enodes (cost 7 ) 26.458 * * [simplify]: iteration 632 : 2673 enodes (cost 7 ) 26.536 * * [simplify]: iteration 633 : 2677 enodes (cost 7 ) 26.614 * * [simplify]: iteration 634 : 2681 enodes (cost 7 ) 26.692 * * [simplify]: iteration 635 : 2685 enodes (cost 7 ) 26.769 * * [simplify]: iteration 636 : 2689 enodes (cost 7 ) 26.847 * * [simplify]: iteration 637 : 2693 enodes (cost 7 ) 26.925 * * [simplify]: iteration 638 : 2697 enodes (cost 7 ) 27.003 * * [simplify]: iteration 639 : 2701 enodes (cost 7 ) 27.082 * * [simplify]: iteration 640 : 2705 enodes (cost 7 ) 27.163 * * [simplify]: iteration 641 : 2709 enodes (cost 7 ) 27.241 * * [simplify]: iteration 642 : 2713 enodes (cost 7 ) 27.319 * * [simplify]: iteration 643 : 2717 enodes (cost 7 ) 27.399 * * [simplify]: iteration 644 : 2721 enodes (cost 7 ) 27.479 * * [simplify]: iteration 645 : 2725 enodes (cost 7 ) 27.558 * * [simplify]: iteration 646 : 2729 enodes (cost 7 ) 27.637 * * [simplify]: iteration 647 : 2733 enodes (cost 7 ) 27.716 * * [simplify]: iteration 648 : 2737 enodes (cost 7 ) 27.796 * * [simplify]: iteration 649 : 2741 enodes (cost 7 ) 27.876 * * [simplify]: iteration 650 : 2745 enodes (cost 7 ) 27.956 * * [simplify]: iteration 651 : 2749 enodes (cost 7 ) 28.036 * * [simplify]: iteration 652 : 2753 enodes (cost 7 ) 28.122 * * [simplify]: iteration 653 : 2757 enodes (cost 7 ) 28.202 * * [simplify]: iteration 654 : 2761 enodes (cost 7 ) 28.291 * * [simplify]: iteration 655 : 2765 enodes (cost 7 ) 28.369 * * [simplify]: iteration 656 : 2769 enodes (cost 7 ) 28.448 * * [simplify]: iteration 657 : 2773 enodes (cost 7 ) 28.533 * * [simplify]: iteration 658 : 2777 enodes (cost 7 ) 28.613 * * [simplify]: iteration 659 : 2781 enodes (cost 7 ) 28.695 * * [simplify]: iteration 660 : 2785 enodes (cost 7 ) 28.776 * * [simplify]: iteration 661 : 2789 enodes (cost 7 ) 28.856 * * [simplify]: iteration 662 : 2793 enodes (cost 7 ) 28.945 * * [simplify]: iteration 663 : 2797 enodes (cost 7 ) 29.023 * * [simplify]: iteration 664 : 2801 enodes (cost 7 ) 29.105 * * [simplify]: iteration 665 : 2805 enodes (cost 7 ) 29.191 * * [simplify]: iteration 666 : 2809 enodes (cost 7 ) 29.271 * * [simplify]: iteration 667 : 2813 enodes (cost 7 ) 29.352 * * [simplify]: iteration 668 : 2817 enodes (cost 7 ) 29.434 * * [simplify]: iteration 669 : 2821 enodes (cost 7 ) 29.516 * * [simplify]: iteration 670 : 2825 enodes (cost 7 ) 29.604 * * [simplify]: iteration 671 : 2829 enodes (cost 7 ) 29.683 * * [simplify]: iteration 672 : 2833 enodes (cost 7 ) 29.765 * * [simplify]: iteration 673 : 2837 enodes (cost 7 ) 29.847 * * [simplify]: iteration 674 : 2841 enodes (cost 7 ) 29.929 * * [simplify]: iteration 675 : 2845 enodes (cost 7 ) 30.020 * * [simplify]: iteration 676 : 2849 enodes (cost 7 ) 30.100 * * [simplify]: iteration 677 : 2853 enodes (cost 7 ) 30.183 * * [simplify]: iteration 678 : 2857 enodes (cost 7 ) 30.266 * * [simplify]: iteration 679 : 2861 enodes (cost 7 ) 30.349 * * [simplify]: iteration 680 : 2865 enodes (cost 7 ) 30.695 * * [simplify]: iteration 681 : 2869 enodes (cost 7 ) 30.772 * * [simplify]: iteration 682 : 2873 enodes (cost 7 ) 30.854 * * [simplify]: iteration 683 : 2877 enodes (cost 7 ) 30.938 * * [simplify]: iteration 684 : 2881 enodes (cost 7 ) 31.021 * * [simplify]: iteration 685 : 2885 enodes (cost 7 ) 31.111 * * [simplify]: iteration 686 : 2889 enodes (cost 7 ) 31.193 * * [simplify]: iteration 687 : 2893 enodes (cost 7 ) 31.276 * * [simplify]: iteration 688 : 2897 enodes (cost 7 ) 31.358 * * [simplify]: iteration 689 : 2901 enodes (cost 7 ) 31.442 * * [simplify]: iteration 690 : 2905 enodes (cost 7 ) 31.525 * * [simplify]: iteration 691 : 2909 enodes (cost 7 ) 31.610 * * [simplify]: iteration 692 : 2913 enodes (cost 7 ) 31.700 * * [simplify]: iteration 693 : 2917 enodes (cost 7 ) 31.781 * * [simplify]: iteration 694 : 2921 enodes (cost 7 ) 31.865 * * [simplify]: iteration 695 : 2925 enodes (cost 7 ) 31.949 * * [simplify]: iteration 696 : 2929 enodes (cost 7 ) 32.033 * * [simplify]: iteration 697 : 2933 enodes (cost 7 ) 32.116 * * [simplify]: iteration 698 : 2937 enodes (cost 7 ) 32.199 * * [simplify]: iteration 699 : 2941 enodes (cost 7 ) 32.286 * * [simplify]: iteration 700 : 2945 enodes (cost 7 ) 32.368 * * [simplify]: iteration 701 : 2949 enodes (cost 7 ) 32.459 * * [simplify]: iteration 702 : 2953 enodes (cost 7 ) 32.540 * * [simplify]: iteration 703 : 2957 enodes (cost 7 ) 32.624 * * [simplify]: iteration 704 : 2961 enodes (cost 7 ) 32.707 * * [simplify]: iteration 705 : 2965 enodes (cost 7 ) 32.791 * * [simplify]: iteration 706 : 2969 enodes (cost 7 ) 32.876 * * [simplify]: iteration 707 : 2973 enodes (cost 7 ) 32.958 * * [simplify]: iteration 708 : 2977 enodes (cost 7 ) 33.046 * * [simplify]: iteration 709 : 2981 enodes (cost 7 ) 33.130 * * [simplify]: iteration 710 : 2985 enodes (cost 7 ) 33.220 * * [simplify]: iteration 711 : 2989 enodes (cost 7 ) 33.302 * * [simplify]: iteration 712 : 2993 enodes (cost 7 ) 33.394 * * [simplify]: iteration 713 : 2997 enodes (cost 7 ) 33.476 * * [simplify]: iteration 714 : 3001 enodes (cost 7 ) 33.561 * * [simplify]: iteration 715 : 3005 enodes (cost 7 ) 33.646 * * [simplify]: iteration 716 : 3009 enodes (cost 7 ) 33.729 * * [simplify]: iteration 717 : 3013 enodes (cost 7 ) 33.814 * * [simplify]: iteration 718 : 3017 enodes (cost 7 ) 33.899 * * [simplify]: iteration 719 : 3021 enodes (cost 7 ) 33.984 * * [simplify]: iteration 720 : 3025 enodes (cost 7 ) 34.070 * * [simplify]: iteration 721 : 3029 enodes (cost 7 ) 34.154 * * [simplify]: iteration 722 : 3033 enodes (cost 7 ) 34.240 * * [simplify]: iteration 723 : 3037 enodes (cost 7 ) 34.326 * * [simplify]: iteration 724 : 3041 enodes (cost 7 ) 34.412 * * [simplify]: iteration 725 : 3045 enodes (cost 7 ) 34.501 * * [simplify]: iteration 726 : 3049 enodes (cost 7 ) 34.586 * * [simplify]: iteration 727 : 3053 enodes (cost 7 ) 34.677 * * [simplify]: iteration 728 : 3057 enodes (cost 7 ) 34.763 * * [simplify]: iteration 729 : 3061 enodes (cost 7 ) 34.855 * * [simplify]: iteration 730 : 3065 enodes (cost 7 ) 34.942 * * [simplify]: iteration 731 : 3069 enodes (cost 7 ) 35.035 * * [simplify]: iteration 732 : 3073 enodes (cost 7 ) 35.121 * * [simplify]: iteration 733 : 3077 enodes (cost 7 ) 35.214 * * [simplify]: iteration 734 : 3081 enodes (cost 7 ) 35.301 * * [simplify]: iteration 735 : 3085 enodes (cost 7 ) 35.393 * * [simplify]: iteration 736 : 3089 enodes (cost 7 ) 35.479 * * [simplify]: iteration 737 : 3093 enodes (cost 7 ) 35.572 * * [simplify]: iteration 738 : 3097 enodes (cost 7 ) 35.657 * * [simplify]: iteration 739 : 3101 enodes (cost 7 ) 35.748 * * [simplify]: iteration 740 : 3105 enodes (cost 7 ) 35.835 * * [simplify]: iteration 741 : 3109 enodes (cost 7 ) 35.923 * * [simplify]: iteration 742 : 3113 enodes (cost 7 ) 36.011 * * [simplify]: iteration 743 : 3117 enodes (cost 7 ) 36.100 * * [simplify]: iteration 744 : 3121 enodes (cost 7 ) 36.187 * * [simplify]: iteration 745 : 3125 enodes (cost 7 ) 36.277 * * [simplify]: iteration 746 : 3129 enodes (cost 7 ) 36.366 * * [simplify]: iteration 747 : 3133 enodes (cost 7 ) 36.455 * * [simplify]: iteration 748 : 3137 enodes (cost 7 ) 36.542 * * [simplify]: iteration 749 : 3141 enodes (cost 7 ) 36.631 * * [simplify]: iteration 750 : 3145 enodes (cost 7 ) 36.721 * * [simplify]: iteration 751 : 3149 enodes (cost 7 ) 36.810 * * [simplify]: iteration 752 : 3153 enodes (cost 7 ) 36.905 * * [simplify]: iteration 753 : 3157 enodes (cost 7 ) 36.993 * * [simplify]: iteration 754 : 3161 enodes (cost 7 ) 37.089 * * [simplify]: iteration 755 : 3165 enodes (cost 7 ) 37.175 * * [simplify]: iteration 756 : 3169 enodes (cost 7 ) 37.269 * * [simplify]: iteration 757 : 3173 enodes (cost 7 ) 37.358 * * [simplify]: iteration 758 : 3177 enodes (cost 7 ) 37.447 * * [simplify]: iteration 759 : 3181 enodes (cost 7 ) 37.537 * * [simplify]: iteration 760 : 3185 enodes (cost 7 ) 37.628 * * [simplify]: iteration 761 : 3189 enodes (cost 7 ) 37.718 * * [simplify]: iteration 762 : 3193 enodes (cost 7 ) 37.808 * * [simplify]: iteration 763 : 3197 enodes (cost 7 ) 37.906 * * [simplify]: iteration 764 : 3201 enodes (cost 7 ) 37.993 * * [simplify]: iteration 765 : 3205 enodes (cost 7 ) 38.089 * * [simplify]: iteration 766 : 3209 enodes (cost 7 ) 38.178 * * [simplify]: iteration 767 : 3213 enodes (cost 7 ) 38.270 * * [simplify]: iteration 768 : 3217 enodes (cost 7 ) 38.361 * * [simplify]: iteration 769 : 3221 enodes (cost 7 ) 38.453 * * [simplify]: iteration 770 : 3225 enodes (cost 7 ) 38.544 * * [simplify]: iteration 771 : 3229 enodes (cost 7 ) 38.635 * * [simplify]: iteration 772 : 3233 enodes (cost 7 ) 38.732 * * [simplify]: iteration 773 : 3237 enodes (cost 7 ) 38.821 * * [simplify]: iteration 774 : 3241 enodes (cost 7 ) 38.912 * * [simplify]: iteration 775 : 3245 enodes (cost 7 ) 39.003 * * [simplify]: iteration 776 : 3249 enodes (cost 7 ) 39.096 * * [simplify]: iteration 777 : 3253 enodes (cost 7 ) 39.188 * * [simplify]: iteration 778 : 3257 enodes (cost 7 ) 39.283 * * [simplify]: iteration 779 : 3261 enodes (cost 7 ) 39.381 * * [simplify]: iteration 780 : 3265 enodes (cost 7 ) 39.472 * * [simplify]: iteration 781 : 3269 enodes (cost 7 ) 39.565 * * [simplify]: iteration 782 : 3273 enodes (cost 7 ) 39.656 * * [simplify]: iteration 783 : 3277 enodes (cost 7 ) 39.749 * * [simplify]: iteration 784 : 3281 enodes (cost 7 ) 39.846 * * [simplify]: iteration 785 : 3285 enodes (cost 7 ) 39.937 * * [simplify]: iteration 786 : 3289 enodes (cost 7 ) 40.029 * * [simplify]: iteration 787 : 3293 enodes (cost 7 ) 40.122 * * [simplify]: iteration 788 : 3297 enodes (cost 7 ) 40.215 * * [simplify]: iteration 789 : 3301 enodes (cost 7 ) 40.314 * * [simplify]: iteration 790 : 3305 enodes (cost 7 ) 40.404 * * [simplify]: iteration 791 : 3309 enodes (cost 7 ) 40.497 * * [simplify]: iteration 792 : 3313 enodes (cost 7 ) 40.591 * * [simplify]: iteration 793 : 3317 enodes (cost 7 ) 40.684 * * [simplify]: iteration 794 : 3321 enodes (cost 7 ) 40.785 * * [simplify]: iteration 795 : 3325 enodes (cost 7 ) 40.877 * * [simplify]: iteration 796 : 3329 enodes (cost 7 ) 40.971 * * [simplify]: iteration 797 : 3333 enodes (cost 7 ) 41.074 * * [simplify]: iteration 798 : 3337 enodes (cost 7 ) 41.164 * * [simplify]: iteration 799 : 3341 enodes (cost 7 ) 41.259 * * [simplify]: iteration 800 : 3345 enodes (cost 7 ) 41.352 * * [simplify]: iteration 801 : 3349 enodes (cost 7 ) 41.447 * * [simplify]: iteration 802 : 3353 enodes (cost 7 ) 41.546 * * [simplify]: iteration 803 : 3357 enodes (cost 7 ) 41.639 * * [simplify]: iteration 804 : 3361 enodes (cost 7 ) 41.734 * * [simplify]: iteration 805 : 3365 enodes (cost 7 ) 41.837 * * [simplify]: iteration 806 : 3369 enodes (cost 7 ) 41.930 * * [simplify]: iteration 807 : 3373 enodes (cost 7 ) 42.025 * * [simplify]: iteration 808 : 3377 enodes (cost 7 ) 42.121 * * [simplify]: iteration 809 : 3381 enodes (cost 7 ) 42.216 * * [simplify]: iteration 810 : 3385 enodes (cost 7 ) 42.315 * * [simplify]: iteration 811 : 3389 enodes (cost 7 ) 42.411 * * [simplify]: iteration 812 : 3393 enodes (cost 7 ) 42.507 * * [simplify]: iteration 813 : 3397 enodes (cost 7 ) 42.609 * * [simplify]: iteration 814 : 3401 enodes (cost 7 ) 42.702 * * [simplify]: iteration 815 : 3405 enodes (cost 7 ) 42.799 * * [simplify]: iteration 816 : 3409 enodes (cost 7 ) 42.901 * * [simplify]: iteration 817 : 3413 enodes (cost 7 ) 42.993 * * [simplify]: iteration 818 : 3417 enodes (cost 7 ) 43.091 * * [simplify]: iteration 819 : 3421 enodes (cost 7 ) 43.196 * * [simplify]: iteration 820 : 3425 enodes (cost 7 ) 43.289 * * [simplify]: iteration 821 : 3429 enodes (cost 7 ) 43.386 * * [simplify]: iteration 822 : 3433 enodes (cost 7 ) 43.489 * * [simplify]: iteration 823 : 3437 enodes (cost 7 ) 43.585 * * [simplify]: iteration 824 : 3441 enodes (cost 7 ) 43.683 * * [simplify]: iteration 825 : 3445 enodes (cost 7 ) 43.790 * * [simplify]: iteration 826 : 3449 enodes (cost 7 ) 43.884 * * [simplify]: iteration 827 : 3453 enodes (cost 7 ) 43.982 * * [simplify]: iteration 828 : 3457 enodes (cost 7 ) 44.086 * * [simplify]: iteration 829 : 3461 enodes (cost 7 ) 44.181 * * [simplify]: iteration 830 : 3465 enodes (cost 7 ) 44.279 * * [simplify]: iteration 831 : 3469 enodes (cost 7 ) 44.383 * * [simplify]: iteration 832 : 3473 enodes (cost 7 ) 44.478 * * [simplify]: iteration 833 : 3477 enodes (cost 7 ) 44.577 * * [simplify]: iteration 834 : 3481 enodes (cost 7 ) 44.680 * * [simplify]: iteration 835 : 3485 enodes (cost 7 ) 44.776 * * [simplify]: iteration 836 : 3489 enodes (cost 7 ) 44.874 * * [simplify]: iteration 837 : 3493 enodes (cost 7 ) 44.975 * * [simplify]: iteration 838 : 3497 enodes (cost 7 ) 45.073 * * [simplify]: iteration 839 : 3501 enodes (cost 7 ) 45.172 * * [simplify]: iteration 840 : 3505 enodes (cost 7 ) 45.271 * * [simplify]: iteration 841 : 3509 enodes (cost 7 ) 45.387 * * [simplify]: iteration 842 : 3513 enodes (cost 7 ) 45.482 * * [simplify]: iteration 843 : 3517 enodes (cost 7 ) 45.581 * * [simplify]: iteration 844 : 3521 enodes (cost 7 ) 45.681 * * [simplify]: iteration 845 : 3525 enodes (cost 7 ) 45.779 * * [simplify]: iteration 846 : 3529 enodes (cost 7 ) 45.878 * * [simplify]: iteration 847 : 3533 enodes (cost 7 ) 45.976 * * [simplify]: iteration 848 : 3537 enodes (cost 7 ) 46.082 * * [simplify]: iteration 849 : 3541 enodes (cost 7 ) 46.179 * * [simplify]: iteration 850 : 3545 enodes (cost 7 ) 46.279 * * [simplify]: iteration 851 : 3549 enodes (cost 7 ) 46.381 * * [simplify]: iteration 852 : 3553 enodes (cost 7 ) 46.479 * * [simplify]: iteration 853 : 3557 enodes (cost 7 ) 46.578 * * [simplify]: iteration 854 : 3561 enodes (cost 7 ) 46.678 * * [simplify]: iteration 855 : 3565 enodes (cost 7 ) 46.784 * * [simplify]: iteration 856 : 3569 enodes (cost 7 ) 46.880 * * [simplify]: iteration 857 : 3573 enodes (cost 7 ) 46.981 * * [simplify]: iteration 858 : 3577 enodes (cost 7 ) 47.081 * * [simplify]: iteration 859 : 3581 enodes (cost 7 ) 47.190 * * [simplify]: iteration 860 : 3585 enodes (cost 7 ) 47.287 * * [simplify]: iteration 861 : 3589 enodes (cost 7 ) 47.388 * * [simplify]: iteration 862 : 3593 enodes (cost 7 ) 47.491 * * [simplify]: iteration 863 : 3597 enodes (cost 7 ) 47.591 * * [simplify]: iteration 864 : 3601 enodes (cost 7 ) 47.693 * * [simplify]: iteration 865 : 3605 enodes (cost 7 ) 47.794 * * [simplify]: iteration 866 : 3609 enodes (cost 7 ) 47.899 * * [simplify]: iteration 867 : 3613 enodes (cost 7 ) 47.999 * * [simplify]: iteration 868 : 3617 enodes (cost 7 ) 48.100 * * [simplify]: iteration 869 : 3621 enodes (cost 7 ) 48.202 * * [simplify]: iteration 870 : 3625 enodes (cost 7 ) 48.308 * * [simplify]: iteration 871 : 3629 enodes (cost 7 ) 48.407 * * [simplify]: iteration 872 : 3633 enodes (cost 7 ) 48.509 * * [simplify]: iteration 873 : 3637 enodes (cost 7 ) 48.611 * * [simplify]: iteration 874 : 3641 enodes (cost 7 ) 48.716 * * [simplify]: iteration 875 : 3645 enodes (cost 7 ) 48.817 * * [simplify]: iteration 876 : 3649 enodes (cost 7 ) 48.920 * * [simplify]: iteration 877 : 3653 enodes (cost 7 ) 49.023 * * [simplify]: iteration 878 : 3657 enodes (cost 7 ) 49.125 * * [simplify]: iteration 879 : 3661 enodes (cost 7 ) 49.236 * * [simplify]: iteration 880 : 3665 enodes (cost 7 ) 49.335 * * [simplify]: iteration 881 : 3669 enodes (cost 7 ) 49.438 * * [simplify]: iteration 882 : 3673 enodes (cost 7 ) 49.541 * * [simplify]: iteration 883 : 3677 enodes (cost 7 ) 49.651 * * [simplify]: iteration 884 : 3681 enodes (cost 7 ) 49.751 * * [simplify]: iteration 885 : 3685 enodes (cost 7 ) 49.854 * * [simplify]: iteration 886 : 3689 enodes (cost 7 ) 49.957 * * [simplify]: iteration 887 : 3693 enodes (cost 7 ) 50.063 * * [simplify]: iteration 888 : 3697 enodes (cost 7 ) 50.174 * * [simplify]: iteration 889 : 3701 enodes (cost 7 ) 50.277 * * [simplify]: iteration 890 : 3705 enodes (cost 7 ) 50.381 * * [simplify]: iteration 891 : 3709 enodes (cost 7 ) 50.485 * * [simplify]: iteration 892 : 3713 enodes (cost 7 ) 50.594 * * [simplify]: iteration 893 : 3717 enodes (cost 7 ) 50.696 * * [simplify]: iteration 894 : 3721 enodes (cost 7 ) 50.805 * * [simplify]: iteration 895 : 3725 enodes (cost 7 ) 50.909 * * [simplify]: iteration 896 : 3729 enodes (cost 7 ) 51.013 * * [simplify]: iteration 897 : 3733 enodes (cost 7 ) 51.124 * * [simplify]: iteration 898 : 3737 enodes (cost 7 ) 51.226 * * [simplify]: iteration 899 : 3741 enodes (cost 7 ) 51.335 * * [simplify]: iteration 900 : 3745 enodes (cost 7 ) 51.439 * * [simplify]: iteration 901 : 3749 enodes (cost 7 ) 51.543 * * [simplify]: iteration 902 : 3753 enodes (cost 7 ) 51.652 * * [simplify]: iteration 903 : 3757 enodes (cost 7 ) 51.766 * * [simplify]: iteration 904 : 3761 enodes (cost 7 ) 51.868 * * [simplify]: iteration 905 : 3765 enodes (cost 7 ) 51.972 * * [simplify]: iteration 906 : 3769 enodes (cost 7 ) 52.078 * * [simplify]: iteration 907 : 3773 enodes (cost 7 ) 52.183 * * [simplify]: iteration 908 : 3777 enodes (cost 7 ) 52.294 * * [simplify]: iteration 909 : 3781 enodes (cost 7 ) 52.397 * * [simplify]: iteration 910 : 3785 enodes (cost 7 ) 52.502 * * [simplify]: iteration 911 : 3789 enodes (cost 7 ) 52.609 * * [simplify]: iteration 912 : 3793 enodes (cost 7 ) 52.715 * * [simplify]: iteration 913 : 3797 enodes (cost 7 ) 52.821 * * [simplify]: iteration 914 : 3801 enodes (cost 7 ) 52.933 * * [simplify]: iteration 915 : 3805 enodes (cost 7 ) 53.036 * * [simplify]: iteration 916 : 3809 enodes (cost 7 ) 53.142 * * [simplify]: iteration 917 : 3813 enodes (cost 7 ) 53.248 * * [simplify]: iteration 918 : 3817 enodes (cost 7 ) 53.356 * * [simplify]: iteration 919 : 3821 enodes (cost 7 ) 53.463 * * [simplify]: iteration 920 : 3825 enodes (cost 7 ) 53.575 * * [simplify]: iteration 921 : 3829 enodes (cost 7 ) 53.680 * * [simplify]: iteration 922 : 3833 enodes (cost 7 ) 53.787 * * [simplify]: iteration 923 : 3837 enodes (cost 7 ) 53.896 * * [simplify]: iteration 924 : 3841 enodes (cost 7 ) 54.003 * * [simplify]: iteration 925 : 3845 enodes (cost 7 ) 54.111 * * [simplify]: iteration 926 : 3849 enodes (cost 7 ) 54.221 * * [simplify]: iteration 927 : 3853 enodes (cost 7 ) 54.337 * * [simplify]: iteration 928 : 3857 enodes (cost 7 ) 54.443 * * [simplify]: iteration 929 : 3861 enodes (cost 7 ) 54.550 * * [simplify]: iteration 930 : 3865 enodes (cost 7 ) 54.659 * * [simplify]: iteration 931 : 3869 enodes (cost 7 ) 54.768 * * [simplify]: iteration 932 : 3873 enodes (cost 7 ) 54.876 * * [simplify]: iteration 933 : 3877 enodes (cost 7 ) 54.986 * * [simplify]: iteration 934 : 3881 enodes (cost 7 ) 55.100 * * [simplify]: iteration 935 : 3885 enodes (cost 7 ) 55.204 * * [simplify]: iteration 936 : 3889 enodes (cost 7 ) 55.313 * * [simplify]: iteration 937 : 3893 enodes (cost 7 ) 55.424 * * [simplify]: iteration 938 : 3897 enodes (cost 7 ) 55.533 * * [simplify]: iteration 939 : 3901 enodes (cost 7 ) 55.643 * * [simplify]: iteration 940 : 3905 enodes (cost 7 ) 55.752 * * [simplify]: iteration 941 : 3909 enodes (cost 7 ) 55.868 * * [simplify]: iteration 942 : 3913 enodes (cost 7 ) 55.983 * * [simplify]: iteration 943 : 3917 enodes (cost 7 ) 56.091 * * [simplify]: iteration 944 : 3921 enodes (cost 7 ) 56.200 * * [simplify]: iteration 945 : 3925 enodes (cost 7 ) 56.311 * * [simplify]: iteration 946 : 3929 enodes (cost 7 ) 56.420 * * [simplify]: iteration 947 : 3933 enodes (cost 7 ) 56.530 * * [simplify]: iteration 948 : 3937 enodes (cost 7 ) 56.640 * * [simplify]: iteration 949 : 3941 enodes (cost 7 ) 56.755 * * [simplify]: iteration 950 : 3945 enodes (cost 7 ) 56.870 * * [simplify]: iteration 951 : 3949 enodes (cost 7 ) 56.976 * * [simplify]: iteration 952 : 3953 enodes (cost 7 ) 57.093 * * [simplify]: iteration 953 : 3957 enodes (cost 7 ) 57.203 * * [simplify]: iteration 954 : 3961 enodes (cost 7 ) 57.315 * * [simplify]: iteration 955 : 3965 enodes (cost 7 ) 57.425 * * [simplify]: iteration 956 : 3969 enodes (cost 7 ) 57.536 * * [simplify]: iteration 957 : 3973 enodes (cost 7 ) 57.647 * * [simplify]: iteration 958 : 3977 enodes (cost 7 ) 57.758 * * [simplify]: iteration 959 : 3981 enodes (cost 7 ) 57.875 * * [simplify]: iteration 960 : 3985 enodes (cost 7 ) 57.992 * * [simplify]: iteration 961 : 3989 enodes (cost 7 ) 58.101 * * [simplify]: iteration 962 : 3993 enodes (cost 7 ) 58.217 * * [simplify]: iteration 963 : 3997 enodes (cost 7 ) 58.329 * * [simplify]: iteration 964 : 4001 enodes (cost 7 ) 58.440 * * [simplify]: iteration 965 : 4005 enodes (cost 7 ) 58.553 * * [simplify]: iteration 966 : 4009 enodes (cost 7 ) 58.664 * * [simplify]: iteration 967 : 4013 enodes (cost 7 ) 58.776 * * [simplify]: iteration 968 : 4017 enodes (cost 7 ) 58.889 * * [simplify]: iteration 969 : 4021 enodes (cost 7 ) 59.001 * * [simplify]: iteration 970 : 4025 enodes (cost 7 ) 59.115 * * [simplify]: iteration 971 : 4029 enodes (cost 7 ) 59.235 * * [simplify]: iteration 972 : 4033 enodes (cost 7 ) 59.351 * * [simplify]: iteration 973 : 4037 enodes (cost 7 ) 59.469 * * [simplify]: iteration 974 : 4041 enodes (cost 7 ) 59.578 * * [simplify]: iteration 975 : 4045 enodes (cost 7 ) 59.691 * * [simplify]: iteration 976 : 4049 enodes (cost 7 ) 59.803 * * [simplify]: iteration 977 : 4053 enodes (cost 7 ) 59.917 * * [simplify]: iteration 978 : 4057 enodes (cost 7 ) 60.031 * * [simplify]: iteration 979 : 4061 enodes (cost 7 ) 60.145 * * [simplify]: iteration 980 : 4065 enodes (cost 7 ) 60.259 * * [simplify]: iteration 981 : 4069 enodes (cost 7 ) 60.373 * * [simplify]: iteration 982 : 4073 enodes (cost 7 ) 60.487 * * [simplify]: iteration 983 : 4077 enodes (cost 7 ) 60.601 * * [simplify]: iteration 984 : 4081 enodes (cost 7 ) 60.717 * * [simplify]: iteration 985 : 4085 enodes (cost 7 ) 60.831 * * [simplify]: iteration 986 : 4089 enodes (cost 7 ) 60.945 * * [simplify]: iteration 987 : 4093 enodes (cost 7 ) 61.062 * * [simplify]: iteration 988 : 4097 enodes (cost 7 ) 61.182 * * [simplify]: iteration 989 : 4101 enodes (cost 7 ) 61.303 * * [simplify]: iteration 990 : 4105 enodes (cost 7 ) 61.422 * * [simplify]: iteration 991 : 4109 enodes (cost 7 ) 61.541 * * [simplify]: iteration 992 : 4113 enodes (cost 7 ) 61.659 * * [simplify]: iteration 993 : 4117 enodes (cost 7 ) 61.781 * * [simplify]: iteration 994 : 4121 enodes (cost 7 ) 61.893 * * [simplify]: iteration 995 : 4125 enodes (cost 7 ) 62.014 * * [simplify]: iteration 996 : 4129 enodes (cost 7 ) 62.129 * * [simplify]: iteration 997 : 4133 enodes (cost 7 ) 62.244 * * [simplify]: iteration 998 : 4137 enodes (cost 7 ) 62.360 * * [simplify]: iteration 999 : 4141 enodes (cost 7 ) 62.476 * * [simplify]: iteration 1000 : 4145 enodes (cost 7 ) 62.591 * * [simplify]: iteration 1001 : 4149 enodes (cost 7 ) 62.708 * * [simplify]: iteration 1002 : 4153 enodes (cost 7 ) 62.824 * * [simplify]: iteration 1003 : 4157 enodes (cost 7 ) 62.940 * * [simplify]: iteration 1004 : 4161 enodes (cost 7 ) 63.056 * * [simplify]: iteration 1005 : 4165 enodes (cost 7 ) 63.172 * * [simplify]: iteration 1006 : 4169 enodes (cost 7 ) 63.288 * * [simplify]: iteration 1007 : 4173 enodes (cost 7 ) 63.406 * * [simplify]: iteration 1008 : 4177 enodes (cost 7 ) 63.522 * * [simplify]: iteration 1009 : 4181 enodes (cost 7 ) 63.639 * * [simplify]: iteration 1010 : 4185 enodes (cost 7 ) 63.756 * * [simplify]: iteration 1011 : 4189 enodes (cost 7 ) 63.874 * * [simplify]: iteration 1012 : 4193 enodes (cost 7 ) 63.991 * * [simplify]: iteration 1013 : 4197 enodes (cost 7 ) 64.110 * * [simplify]: iteration 1014 : 4201 enodes (cost 7 ) 64.228 * * [simplify]: iteration 1015 : 4205 enodes (cost 7 ) 64.346 * * [simplify]: iteration 1016 : 4209 enodes (cost 7 ) 64.464 * * [simplify]: iteration 1017 : 4213 enodes (cost 7 ) 64.582 * * [simplify]: iteration 1018 : 4217 enodes (cost 7 ) 64.701 * * [simplify]: iteration 1019 : 4221 enodes (cost 7 ) 64.819 * * [simplify]: iteration 1020 : 4225 enodes (cost 7 ) 64.937 * * [simplify]: iteration 1021 : 4229 enodes (cost 7 ) 65.056 * * [simplify]: iteration 1022 : 4233 enodes (cost 7 ) 65.199 * * [simplify]: iteration 1023 : 4237 enodes (cost 7 ) 65.321 * * [simplify]: iteration 1024 : 4241 enodes (cost 7 ) 65.441 * * [simplify]: iteration 1025 : 4245 enodes (cost 7 ) 65.560 * * [simplify]: iteration 1026 : 4249 enodes (cost 7 ) 65.680 * * [simplify]: iteration 1027 : 4253 enodes (cost 7 ) 65.800 * * [simplify]: iteration 1028 : 4257 enodes (cost 7 ) 65.937 * * [simplify]: iteration 1029 : 4261 enodes (cost 7 ) 66.065 * * [simplify]: iteration 1030 : 4265 enodes (cost 7 ) 66.190 * * [simplify]: iteration 1031 : 4269 enodes (cost 7 ) 66.317 * * [simplify]: iteration 1032 : 4273 enodes (cost 7 ) 66.442 * * [simplify]: iteration 1033 : 4277 enodes (cost 7 ) 66.567 * * [simplify]: iteration 1034 : 4281 enodes (cost 7 ) 66.691 * * [simplify]: iteration 1035 : 4285 enodes (cost 7 ) 66.812 * * [simplify]: iteration 1036 : 4289 enodes (cost 7 ) 66.933 * * [simplify]: iteration 1037 : 4293 enodes (cost 7 ) 67.334 * * [simplify]: iteration 1038 : 4297 enodes (cost 7 ) 67.449 * * [simplify]: iteration 1039 : 4301 enodes (cost 7 ) 67.566 * * [simplify]: iteration 1040 : 4305 enodes (cost 7 ) 67.680 * * [simplify]: iteration 1041 : 4309 enodes (cost 7 ) 67.796 * * [simplify]: iteration 1042 : 4313 enodes (cost 7 ) 67.912 * * [simplify]: iteration 1043 : 4317 enodes (cost 7 ) 68.028 * * [simplify]: iteration 1044 : 4321 enodes (cost 7 ) 68.144 * * [simplify]: iteration 1045 : 4325 enodes (cost 7 ) 68.260 * * [simplify]: iteration 1046 : 4329 enodes (cost 7 ) 68.375 * * [simplify]: iteration 1047 : 4333 enodes (cost 7 ) 68.492 * * [simplify]: iteration 1048 : 4337 enodes (cost 7 ) 68.617 * * [simplify]: iteration 1049 : 4341 enodes (cost 7 ) 68.739 * * [simplify]: iteration 1050 : 4345 enodes (cost 7 ) 68.858 * * [simplify]: iteration 1051 : 4349 enodes (cost 7 ) 68.978 * * [simplify]: iteration 1052 : 4353 enodes (cost 7 ) 69.094 * * [simplify]: iteration 1053 : 4357 enodes (cost 7 ) 69.210 * * [simplify]: iteration 1054 : 4361 enodes (cost 7 ) 69.327 * * [simplify]: iteration 1055 : 4365 enodes (cost 7 ) 69.444 * * [simplify]: iteration 1056 : 4369 enodes (cost 7 ) 69.560 * * [simplify]: iteration 1057 : 4373 enodes (cost 7 ) 69.678 * * [simplify]: iteration 1058 : 4377 enodes (cost 7 ) 69.794 * * [simplify]: iteration 1059 : 4381 enodes (cost 7 ) 69.911 * * [simplify]: iteration 1060 : 4385 enodes (cost 7 ) 70.029 * * [simplify]: iteration 1061 : 4389 enodes (cost 7 ) 70.155 * * [simplify]: iteration 1062 : 4393 enodes (cost 7 ) 70.274 * * [simplify]: iteration 1063 : 4397 enodes (cost 7 ) 70.396 * * [simplify]: iteration 1064 : 4401 enodes (cost 7 ) 70.514 * * [simplify]: iteration 1065 : 4405 enodes (cost 7 ) 70.632 * * [simplify]: iteration 1066 : 4409 enodes (cost 7 ) 70.750 * * [simplify]: iteration 1067 : 4413 enodes (cost 7 ) 70.868 * * [simplify]: iteration 1068 : 4417 enodes (cost 7 ) 70.986 * * [simplify]: iteration 1069 : 4421 enodes (cost 7 ) 71.105 * * [simplify]: iteration 1070 : 4425 enodes (cost 7 ) 71.223 * * [simplify]: iteration 1071 : 4429 enodes (cost 7 ) 71.351 * * [simplify]: iteration 1072 : 4433 enodes (cost 7 ) 71.471 * * [simplify]: iteration 1073 : 4437 enodes (cost 7 ) 71.588 * * [simplify]: iteration 1074 : 4441 enodes (cost 7 ) 71.707 * * [simplify]: iteration 1075 : 4445 enodes (cost 7 ) 71.825 * * [simplify]: iteration 1076 : 4449 enodes (cost 7 ) 71.945 * * [simplify]: iteration 1077 : 4453 enodes (cost 7 ) 72.064 * * [simplify]: iteration 1078 : 4457 enodes (cost 7 ) 72.183 * * [simplify]: iteration 1079 : 4461 enodes (cost 7 ) 72.312 * * [simplify]: iteration 1080 : 4465 enodes (cost 7 ) 72.433 * * [simplify]: iteration 1081 : 4469 enodes (cost 7 ) 72.554 * * [simplify]: iteration 1082 : 4473 enodes (cost 7 ) 72.676 * * [simplify]: iteration 1083 : 4477 enodes (cost 7 ) 72.796 * * [simplify]: iteration 1084 : 4481 enodes (cost 7 ) 72.915 * * [simplify]: iteration 1085 : 4485 enodes (cost 7 ) 73.035 * * [simplify]: iteration 1086 : 4489 enodes (cost 7 ) 73.156 * * [simplify]: iteration 1087 : 4493 enodes (cost 7 ) 73.286 * * [simplify]: iteration 1088 : 4497 enodes (cost 7 ) 73.408 * * [simplify]: iteration 1089 : 4501 enodes (cost 7 ) 73.526 * * [simplify]: iteration 1090 : 4505 enodes (cost 7 ) 73.647 * * [simplify]: iteration 1091 : 4509 enodes (cost 7 ) 73.767 * * [simplify]: iteration 1092 : 4513 enodes (cost 7 ) 73.887 * * [simplify]: iteration 1093 : 4517 enodes (cost 7 ) 74.009 * * [simplify]: iteration 1094 : 4521 enodes (cost 7 ) 74.139 * * [simplify]: iteration 1095 : 4525 enodes (cost 7 ) 74.261 * * [simplify]: iteration 1096 : 4529 enodes (cost 7 ) 74.382 * * [simplify]: iteration 1097 : 4533 enodes (cost 7 ) 74.504 * * [simplify]: iteration 1098 : 4537 enodes (cost 7 ) 74.625 * * [simplify]: iteration 1099 : 4541 enodes (cost 7 ) 74.747 * * [simplify]: iteration 1100 : 4545 enodes (cost 7 ) 74.879 * * [simplify]: iteration 1101 : 4549 enodes (cost 7 ) 75.002 * * [simplify]: iteration 1102 : 4553 enodes (cost 7 ) 75.123 * * [simplify]: iteration 1103 : 4557 enodes (cost 7 ) 75.246 * * [simplify]: iteration 1104 : 4561 enodes (cost 7 ) 75.368 * * [simplify]: iteration 1105 : 4565 enodes (cost 7 ) 75.491 * * [simplify]: iteration 1106 : 4569 enodes (cost 7 ) 75.622 * * [simplify]: iteration 1107 : 4573 enodes (cost 7 ) 75.746 * * [simplify]: iteration 1108 : 4577 enodes (cost 7 ) 75.868 * * [simplify]: iteration 1109 : 4581 enodes (cost 7 ) 75.991 * * [simplify]: iteration 1110 : 4585 enodes (cost 7 ) 76.113 * * [simplify]: iteration 1111 : 4589 enodes (cost 7 ) 76.236 * * [simplify]: iteration 1112 : 4593 enodes (cost 7 ) 76.366 * * [simplify]: iteration 1113 : 4597 enodes (cost 7 ) 76.487 * * [simplify]: iteration 1114 : 4601 enodes (cost 7 ) 76.610 * * [simplify]: iteration 1115 : 4605 enodes (cost 7 ) 76.735 * * [simplify]: iteration 1116 : 4609 enodes (cost 7 ) 76.857 * * [simplify]: iteration 1117 : 4613 enodes (cost 7 ) 76.991 * * [simplify]: iteration 1118 : 4617 enodes (cost 7 ) 77.116 * * [simplify]: iteration 1119 : 4621 enodes (cost 7 ) 77.241 * * [simplify]: iteration 1120 : 4625 enodes (cost 7 ) 77.365 * * [simplify]: iteration 1121 : 4629 enodes (cost 7 ) 77.489 * * [simplify]: iteration 1122 : 4633 enodes (cost 7 ) 77.622 * * [simplify]: iteration 1123 : 4637 enodes (cost 7 ) 77.746 * * [simplify]: iteration 1124 : 4641 enodes (cost 7 ) 77.870 * * [simplify]: iteration 1125 : 4645 enodes (cost 7 ) 77.994 * * [simplify]: iteration 1126 : 4649 enodes (cost 7 ) 78.118 * * [simplify]: iteration 1127 : 4653 enodes (cost 7 ) 78.250 * * [simplify]: iteration 1128 : 4657 enodes (cost 7 ) 78.372 * * [simplify]: iteration 1129 : 4661 enodes (cost 7 ) 78.497 * * [simplify]: iteration 1130 : 4665 enodes (cost 7 ) 78.622 * * [simplify]: iteration 1131 : 4669 enodes (cost 7 ) 78.748 * * [simplify]: iteration 1132 : 4673 enodes (cost 7 ) 78.884 * * [simplify]: iteration 1133 : 4677 enodes (cost 7 ) 79.009 * * [simplify]: iteration 1134 : 4681 enodes (cost 7 ) 79.136 * * [simplify]: iteration 1135 : 4685 enodes (cost 7 ) 79.263 * * [simplify]: iteration 1136 : 4689 enodes (cost 7 ) 79.398 * * [simplify]: iteration 1137 : 4693 enodes (cost 7 ) 79.519 * * [simplify]: iteration 1138 : 4697 enodes (cost 7 ) 79.644 * * [simplify]: iteration 1139 : 4701 enodes (cost 7 ) 79.769 * * [simplify]: iteration 1140 : 4705 enodes (cost 7 ) 79.906 * * [simplify]: iteration 1141 : 4709 enodes (cost 7 ) 80.035 * * [simplify]: iteration 1142 : 4713 enodes (cost 7 ) 80.162 * * [simplify]: iteration 1143 : 4717 enodes (cost 7 ) 80.289 * * [simplify]: iteration 1144 : 4721 enodes (cost 7 ) 80.426 * * [simplify]: iteration 1145 : 4725 enodes (cost 7 ) 80.555 * * [simplify]: iteration 1146 : 4729 enodes (cost 7 ) 80.682 * * [simplify]: iteration 1147 : 4733 enodes (cost 7 ) 80.809 * * [simplify]: iteration 1148 : 4737 enodes (cost 7 ) 80.936 * * [simplify]: iteration 1149 : 4741 enodes (cost 7 ) 81.075 * * [simplify]: iteration 1150 : 4745 enodes (cost 7 ) 81.201 * * [simplify]: iteration 1151 : 4749 enodes (cost 7 ) 81.330 * * [simplify]: iteration 1152 : 4753 enodes (cost 7 ) 81.468 * * [simplify]: iteration 1153 : 4757 enodes (cost 7 ) 81.597 * * [simplify]: iteration 1154 : 4761 enodes (cost 7 ) 81.726 * * [simplify]: iteration 1155 : 4765 enodes (cost 7 ) 81.855 * * [simplify]: iteration 1156 : 4769 enodes (cost 7 ) 81.992 * * [simplify]: iteration 1157 : 4773 enodes (cost 7 ) 82.118 * * [simplify]: iteration 1158 : 4777 enodes (cost 7 ) 82.246 * * [simplify]: iteration 1159 : 4781 enodes (cost 7 ) 82.375 * * [simplify]: iteration 1160 : 4785 enodes (cost 7 ) 82.511 * * [simplify]: iteration 1161 : 4789 enodes (cost 7 ) 82.638 * * [simplify]: iteration 1162 : 4793 enodes (cost 7 ) 82.768 * * [simplify]: iteration 1163 : 4797 enodes (cost 7 ) 82.897 * * [simplify]: iteration 1164 : 4801 enodes (cost 7 ) 83.032 * * [simplify]: iteration 1165 : 4805 enodes (cost 7 ) 83.162 * * [simplify]: iteration 1166 : 4809 enodes (cost 7 ) 83.291 * * [simplify]: iteration 1167 : 4813 enodes (cost 7 ) 83.430 * * [simplify]: iteration 1168 : 4817 enodes (cost 7 ) 83.555 * * [simplify]: iteration 1169 : 4821 enodes (cost 7 ) 83.685 * * [simplify]: iteration 1170 : 4825 enodes (cost 7 ) 83.815 * * [simplify]: iteration 1171 : 4829 enodes (cost 7 ) 83.953 * * [simplify]: iteration 1172 : 4833 enodes (cost 7 ) 84.083 * * [simplify]: iteration 1173 : 4837 enodes (cost 7 ) 84.214 * * [simplify]: iteration 1174 : 4841 enodes (cost 7 ) 84.351 * * [simplify]: iteration 1175 : 4845 enodes (cost 7 ) 84.479 * * [simplify]: iteration 1176 : 4849 enodes (cost 7 ) 84.610 * * [simplify]: iteration 1177 : 4853 enodes (cost 7 ) 84.752 * * [simplify]: iteration 1178 : 4857 enodes (cost 7 ) 84.879 * * [simplify]: iteration 1179 : 4861 enodes (cost 7 ) 85.011 * * [simplify]: iteration 1180 : 4865 enodes (cost 7 ) 85.142 * * [simplify]: iteration 1181 : 4869 enodes (cost 7 ) 85.277 * * [simplify]: iteration 1182 : 4873 enodes (cost 7 ) 85.408 * * [simplify]: iteration 1183 : 4877 enodes (cost 7 ) 85.539 * * [simplify]: iteration 1184 : 4881 enodes (cost 7 ) 85.680 * * [simplify]: iteration 1185 : 4885 enodes (cost 7 ) 85.811 * * [simplify]: iteration 1186 : 4889 enodes (cost 7 ) 85.943 * * [simplify]: iteration 1187 : 4893 enodes (cost 7 ) 86.084 * * [simplify]: iteration 1188 : 4897 enodes (cost 7 ) 86.213 * * [simplify]: iteration 1189 : 4901 enodes (cost 7 ) 86.346 * * [simplify]: iteration 1190 : 4905 enodes (cost 7 ) 86.485 * * [simplify]: iteration 1191 : 4909 enodes (cost 7 ) 86.616 * * [simplify]: iteration 1192 : 4913 enodes (cost 7 ) 86.748 * * [simplify]: iteration 1193 : 4917 enodes (cost 7 ) 86.889 * * [simplify]: iteration 1194 : 4921 enodes (cost 7 ) 87.021 * * [simplify]: iteration 1195 : 4925 enodes (cost 7 ) 87.155 * * [simplify]: iteration 1196 : 4929 enodes (cost 7 ) 87.295 * * [simplify]: iteration 1197 : 4933 enodes (cost 7 ) 87.427 * * [simplify]: iteration 1198 : 4937 enodes (cost 7 ) 87.559 * * [simplify]: iteration 1199 : 4941 enodes (cost 7 ) 87.700 * * [simplify]: iteration 1200 : 4945 enodes (cost 7 ) 87.833 * * [simplify]: iteration 1201 : 4949 enodes (cost 7 ) 87.967 * * [simplify]: iteration 1202 : 4953 enodes (cost 7 ) 88.109 * * [simplify]: iteration 1203 : 4957 enodes (cost 7 ) 88.242 * * [simplify]: iteration 1204 : 4961 enodes (cost 7 ) 88.375 * * [simplify]: iteration 1205 : 4965 enodes (cost 7 ) 88.514 * * [simplify]: iteration 1206 : 4969 enodes (cost 7 ) 88.648 * * [simplify]: iteration 1207 : 4973 enodes (cost 7 ) 88.795 * * [simplify]: iteration 1208 : 4977 enodes (cost 7 ) 88.924 * * [simplify]: iteration 1209 : 4981 enodes (cost 7 ) 89.059 * * [simplify]: iteration 1210 : 4985 enodes (cost 7 ) 89.202 * * [simplify]: iteration 1211 : 4989 enodes (cost 7 ) 89.332 * * [simplify]: iteration 1212 : 4993 enodes (cost 7 ) 89.466 * * [simplify]: iteration 1213 : 4997 enodes (cost 7 ) 89.603 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 89.603 * [simplify]: Simplified to: (+ x (/ (- y x) z)) 89.604 * * [progress]: iteration 1 / 4 89.604 * * * [progress]: picking best candidate 89.606 * * * * [pick]: Picked # 89.606 * * * [progress]: localizing error 89.612 * * * [progress]: generating rewritten candidates 89.612 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 89.618 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 89.629 * * * [progress]: generating series expansions 89.629 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 89.629 * [approximate]: Taking taylor expansion of (/ (- y x) z) in (y x z) around 0 89.629 * [taylor]: Taking taylor expansion of (/ (- y x) z) in z 89.629 * [taylor]: Taking taylor expansion of (- y x) in z 89.629 * [taylor]: Taking taylor expansion of y in z 89.629 * [taylor]: Taking taylor expansion of x in z 89.629 * [taylor]: Taking taylor expansion of z in z 89.629 * [taylor]: Taking taylor expansion of (/ (- y x) z) in x 89.629 * [taylor]: Taking taylor expansion of (- y x) in x 89.629 * [taylor]: Taking taylor expansion of y in x 89.629 * [taylor]: Taking taylor expansion of x in x 89.630 * [taylor]: Taking taylor expansion of z in x 89.630 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 89.630 * [taylor]: Taking taylor expansion of (- y x) in y 89.630 * [taylor]: Taking taylor expansion of y in y 89.630 * [taylor]: Taking taylor expansion of x in y 89.630 * [taylor]: Taking taylor expansion of z in y 89.630 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y 89.630 * [taylor]: Taking taylor expansion of (- y x) in y 89.630 * [taylor]: Taking taylor expansion of y in y 89.630 * [taylor]: Taking taylor expansion of x in y 89.630 * [taylor]: Taking taylor expansion of z in y 89.630 * [taylor]: Taking taylor expansion of (* -1 (/ x z)) in x 89.630 * [taylor]: Taking taylor expansion of -1 in x 89.630 * [taylor]: Taking taylor expansion of (/ x z) in x 89.630 * [taylor]: Taking taylor expansion of x in x 89.630 * [taylor]: Taking taylor expansion of z in x 89.630 * [taylor]: Taking taylor expansion of (/ 1 z) in x 89.630 * [taylor]: Taking taylor expansion of z in x 89.630 * [taylor]: Taking taylor expansion of (/ 1 z) in z 89.630 * [taylor]: Taking taylor expansion of z in z 89.630 * [taylor]: Taking taylor expansion of (/ -1 z) in z 89.630 * [taylor]: Taking taylor expansion of -1 in z 89.630 * [taylor]: Taking taylor expansion of z in z 89.631 * [taylor]: Taking taylor expansion of 0 in x 89.631 * [taylor]: Taking taylor expansion of 0 in z 89.631 * [taylor]: Taking taylor expansion of 0 in z 89.631 * [taylor]: Taking taylor expansion of 0 in z 89.631 * [taylor]: Taking taylor expansion of 0 in x 89.631 * [taylor]: Taking taylor expansion of 0 in z 89.631 * [taylor]: Taking taylor expansion of 0 in z 89.631 * [taylor]: Taking taylor expansion of 0 in z 89.631 * [taylor]: Taking taylor expansion of 0 in z 89.632 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 89.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z 89.632 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 89.632 * [taylor]: Taking taylor expansion of (/ 1 y) in z 89.632 * [taylor]: Taking taylor expansion of y in z 89.632 * [taylor]: Taking taylor expansion of (/ 1 x) in z 89.632 * [taylor]: Taking taylor expansion of x in z 89.632 * [taylor]: Taking taylor expansion of z in z 89.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 89.632 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 89.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x 89.632 * [taylor]: Taking taylor expansion of y in x 89.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 89.632 * [taylor]: Taking taylor expansion of x in x 89.632 * [taylor]: Taking taylor expansion of z in x 89.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 89.632 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 89.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 89.632 * [taylor]: Taking taylor expansion of y in y 89.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y 89.632 * [taylor]: Taking taylor expansion of x in y 89.632 * [taylor]: Taking taylor expansion of z in y 89.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 89.632 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 89.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 89.632 * [taylor]: Taking taylor expansion of y in y 89.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y 89.632 * [taylor]: Taking taylor expansion of x in y 89.632 * [taylor]: Taking taylor expansion of z in y 89.632 * [taylor]: Taking taylor expansion of z in x 89.633 * [taylor]: Taking taylor expansion of (neg (/ z x)) in x 89.633 * [taylor]: Taking taylor expansion of (/ z x) in x 89.633 * [taylor]: Taking taylor expansion of z in x 89.633 * [taylor]: Taking taylor expansion of x in x 89.633 * [taylor]: Taking taylor expansion of (neg z) in z 89.633 * [taylor]: Taking taylor expansion of z in z 89.633 * [taylor]: Taking taylor expansion of z in z 89.633 * [taylor]: Taking taylor expansion of 0 in x 89.633 * [taylor]: Taking taylor expansion of 0 in z 89.633 * [taylor]: Taking taylor expansion of 0 in z 89.633 * [taylor]: Taking taylor expansion of 0 in x 89.633 * [taylor]: Taking taylor expansion of 0 in z 89.633 * [taylor]: Taking taylor expansion of 0 in z 89.634 * [taylor]: Taking taylor expansion of 0 in z 89.634 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 89.634 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 y)) z)) in z 89.634 * [taylor]: Taking taylor expansion of -1 in z 89.634 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in z 89.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 89.634 * [taylor]: Taking taylor expansion of (/ 1 x) in z 89.634 * [taylor]: Taking taylor expansion of x in z 89.634 * [taylor]: Taking taylor expansion of (/ 1 y) in z 89.634 * [taylor]: Taking taylor expansion of y in z 89.634 * [taylor]: Taking taylor expansion of z in z 89.634 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 y)) z)) in x 89.634 * [taylor]: Taking taylor expansion of -1 in x 89.634 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in x 89.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 89.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 89.634 * [taylor]: Taking taylor expansion of x in x 89.634 * [taylor]: Taking taylor expansion of (/ 1 y) in x 89.634 * [taylor]: Taking taylor expansion of y in x 89.634 * [taylor]: Taking taylor expansion of z in x 89.634 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 y)) z)) in y 89.634 * [taylor]: Taking taylor expansion of -1 in y 89.634 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in y 89.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 89.634 * [taylor]: Taking taylor expansion of (/ 1 x) in y 89.634 * [taylor]: Taking taylor expansion of x in y 89.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 89.634 * [taylor]: Taking taylor expansion of y in y 89.634 * [taylor]: Taking taylor expansion of z in y 89.634 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 y)) z)) in y 89.634 * [taylor]: Taking taylor expansion of -1 in y 89.634 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in y 89.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 89.635 * [taylor]: Taking taylor expansion of (/ 1 x) in y 89.635 * [taylor]: Taking taylor expansion of x in y 89.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 89.635 * [taylor]: Taking taylor expansion of y in y 89.635 * [taylor]: Taking taylor expansion of z in y 89.635 * [taylor]: Taking taylor expansion of z in x 89.635 * [taylor]: Taking taylor expansion of (neg (/ z x)) in x 89.635 * [taylor]: Taking taylor expansion of (/ z x) in x 89.635 * [taylor]: Taking taylor expansion of z in x 89.635 * [taylor]: Taking taylor expansion of x in x 89.635 * [taylor]: Taking taylor expansion of (neg z) in z 89.635 * [taylor]: Taking taylor expansion of z in z 89.635 * [taylor]: Taking taylor expansion of z in z 89.635 * [taylor]: Taking taylor expansion of 0 in x 89.635 * [taylor]: Taking taylor expansion of 0 in z 89.635 * [taylor]: Taking taylor expansion of 0 in z 89.636 * [taylor]: Taking taylor expansion of 0 in x 89.636 * [taylor]: Taking taylor expansion of 0 in z 89.636 * [taylor]: Taking taylor expansion of 0 in z 89.636 * [taylor]: Taking taylor expansion of 0 in z 89.636 * * * * [progress]: [ 2 / 2 ] generating series at (2) 89.636 * [approximate]: Taking taylor expansion of (- (+ (/ y z) x) (/ x z)) in (x y z) around 0 89.636 * [taylor]: Taking taylor expansion of (- (+ (/ y z) x) (/ x z)) in z 89.636 * [taylor]: Taking taylor expansion of (+ (/ y z) x) in z 89.636 * [taylor]: Taking taylor expansion of (/ y z) in z 89.636 * [taylor]: Taking taylor expansion of y in z 89.636 * [taylor]: Taking taylor expansion of z in z 89.636 * [taylor]: Taking taylor expansion of x in z 89.636 * [taylor]: Taking taylor expansion of (/ x z) in z 89.636 * [taylor]: Taking taylor expansion of x in z 89.636 * [taylor]: Taking taylor expansion of z in z 89.636 * [taylor]: Taking taylor expansion of (- (+ (/ y z) x) (/ x z)) in y 89.636 * [taylor]: Taking taylor expansion of (+ (/ y z) x) in y 89.637 * [taylor]: Taking taylor expansion of (/ y z) in y 89.637 * [taylor]: Taking taylor expansion of y in y 89.637 * [taylor]: Taking taylor expansion of z in y 89.637 * [taylor]: Taking taylor expansion of x in y 89.637 * [taylor]: Taking taylor expansion of (/ x z) in y 89.637 * [taylor]: Taking taylor expansion of x in y 89.637 * [taylor]: Taking taylor expansion of z in y 89.637 * [taylor]: Taking taylor expansion of (- (+ (/ y z) x) (/ x z)) in x 89.637 * [taylor]: Taking taylor expansion of (+ (/ y z) x) in x 89.637 * [taylor]: Taking taylor expansion of (/ y z) in x 89.637 * [taylor]: Taking taylor expansion of y in x 89.637 * [taylor]: Taking taylor expansion of z in x 89.637 * [taylor]: Taking taylor expansion of x in x 89.637 * [taylor]: Taking taylor expansion of (/ x z) in x 89.637 * [taylor]: Taking taylor expansion of x in x 89.637 * [taylor]: Taking taylor expansion of z in x 89.637 * [taylor]: Taking taylor expansion of (- (+ (/ y z) x) (/ x z)) in x 89.637 * [taylor]: Taking taylor expansion of (+ (/ y z) x) in x 89.637 * [taylor]: Taking taylor expansion of (/ y z) in x 89.637 * [taylor]: Taking taylor expansion of y in x 89.637 * [taylor]: Taking taylor expansion of z in x 89.637 * [taylor]: Taking taylor expansion of x in x 89.637 * [taylor]: Taking taylor expansion of (/ x z) in x 89.637 * [taylor]: Taking taylor expansion of x in x 89.637 * [taylor]: Taking taylor expansion of z in x 89.637 * [taylor]: Taking taylor expansion of (/ y z) in y 89.637 * [taylor]: Taking taylor expansion of y in y 89.637 * [taylor]: Taking taylor expansion of z in y 89.637 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y 89.637 * [taylor]: Taking taylor expansion of 1 in y 89.637 * [taylor]: Taking taylor expansion of (/ 1 z) in y 89.637 * [taylor]: Taking taylor expansion of z in y 89.638 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 89.638 * [taylor]: Taking taylor expansion of 1 in z 89.638 * [taylor]: Taking taylor expansion of (/ 1 z) in z 89.638 * [taylor]: Taking taylor expansion of z in z 89.638 * [taylor]: Taking taylor expansion of (/ 1 z) in z 89.638 * [taylor]: Taking taylor expansion of z in z 89.638 * [taylor]: Taking taylor expansion of 0 in y 89.638 * [taylor]: Taking taylor expansion of 0 in z 89.638 * [taylor]: Taking taylor expansion of 0 in z 89.638 * [taylor]: Taking taylor expansion of 0 in z 89.638 * [approximate]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in (x y z) around 0 89.638 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in z 89.639 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in z 89.639 * [taylor]: Taking taylor expansion of (/ z y) in z 89.639 * [taylor]: Taking taylor expansion of z in z 89.639 * [taylor]: Taking taylor expansion of y in z 89.639 * [taylor]: Taking taylor expansion of (/ 1 x) in z 89.639 * [taylor]: Taking taylor expansion of x in z 89.639 * [taylor]: Taking taylor expansion of (/ z x) in z 89.639 * [taylor]: Taking taylor expansion of z in z 89.639 * [taylor]: Taking taylor expansion of x in z 89.639 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in y 89.639 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in y 89.639 * [taylor]: Taking taylor expansion of (/ z y) in y 89.639 * [taylor]: Taking taylor expansion of z in y 89.639 * [taylor]: Taking taylor expansion of y in y 89.639 * [taylor]: Taking taylor expansion of (/ 1 x) in y 89.639 * [taylor]: Taking taylor expansion of x in y 89.639 * [taylor]: Taking taylor expansion of (/ z x) in y 89.639 * [taylor]: Taking taylor expansion of z in y 89.639 * [taylor]: Taking taylor expansion of x in y 89.639 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 89.639 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 89.639 * [taylor]: Taking taylor expansion of (/ z y) in x 89.639 * [taylor]: Taking taylor expansion of z in x 89.639 * [taylor]: Taking taylor expansion of y in x 89.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 89.639 * [taylor]: Taking taylor expansion of x in x 89.639 * [taylor]: Taking taylor expansion of (/ z x) in x 89.639 * [taylor]: Taking taylor expansion of z in x 89.639 * [taylor]: Taking taylor expansion of x in x 89.639 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x 89.639 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x 89.639 * [taylor]: Taking taylor expansion of (/ z y) in x 89.639 * [taylor]: Taking taylor expansion of z in x 89.639 * [taylor]: Taking taylor expansion of y in x 89.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 89.639 * [taylor]: Taking taylor expansion of x in x 89.639 * [taylor]: Taking taylor expansion of (/ z x) in x 89.639 * [taylor]: Taking taylor expansion of z in x 89.639 * [taylor]: Taking taylor expansion of x in x 89.639 * [taylor]: Taking taylor expansion of (- 1 z) in y 89.640 * [taylor]: Taking taylor expansion of 1 in y 89.640 * [taylor]: Taking taylor expansion of z in y 89.640 * [taylor]: Taking taylor expansion of (/ z y) in y 89.640 * [taylor]: Taking taylor expansion of z in y 89.640 * [taylor]: Taking taylor expansion of y in y 89.640 * [taylor]: Taking taylor expansion of z in z 89.640 * [taylor]: Taking taylor expansion of (- 1 z) in z 89.640 * [taylor]: Taking taylor expansion of 1 in z 89.640 * [taylor]: Taking taylor expansion of z in z 89.640 * [taylor]: Taking taylor expansion of 0 in y 89.640 * [taylor]: Taking taylor expansion of 0 in z 89.640 * [taylor]: Taking taylor expansion of 0 in z 89.641 * [approximate]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in (x y z) around 0 89.641 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in z 89.641 * [taylor]: Taking taylor expansion of (/ z y) in z 89.641 * [taylor]: Taking taylor expansion of z in z 89.641 * [taylor]: Taking taylor expansion of y in z 89.641 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in z 89.641 * [taylor]: Taking taylor expansion of (/ z x) in z 89.641 * [taylor]: Taking taylor expansion of z in z 89.641 * [taylor]: Taking taylor expansion of x in z 89.641 * [taylor]: Taking taylor expansion of (/ 1 x) in z 89.641 * [taylor]: Taking taylor expansion of x in z 89.641 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in y 89.641 * [taylor]: Taking taylor expansion of (/ z y) in y 89.641 * [taylor]: Taking taylor expansion of z in y 89.641 * [taylor]: Taking taylor expansion of y in y 89.641 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in y 89.641 * [taylor]: Taking taylor expansion of (/ z x) in y 89.641 * [taylor]: Taking taylor expansion of z in y 89.641 * [taylor]: Taking taylor expansion of x in y 89.641 * [taylor]: Taking taylor expansion of (/ 1 x) in y 89.641 * [taylor]: Taking taylor expansion of x in y 89.641 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 89.641 * [taylor]: Taking taylor expansion of (/ z y) in x 89.641 * [taylor]: Taking taylor expansion of z in x 89.641 * [taylor]: Taking taylor expansion of y in x 89.641 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 89.641 * [taylor]: Taking taylor expansion of (/ z x) in x 89.641 * [taylor]: Taking taylor expansion of z in x 89.641 * [taylor]: Taking taylor expansion of x in x 89.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 89.641 * [taylor]: Taking taylor expansion of x in x 89.641 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x 89.641 * [taylor]: Taking taylor expansion of (/ z y) in x 89.641 * [taylor]: Taking taylor expansion of z in x 89.641 * [taylor]: Taking taylor expansion of y in x 89.641 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x 89.641 * [taylor]: Taking taylor expansion of (/ z x) in x 89.642 * [taylor]: Taking taylor expansion of z in x 89.642 * [taylor]: Taking taylor expansion of x in x 89.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 89.642 * [taylor]: Taking taylor expansion of x in x 89.642 * [taylor]: Taking taylor expansion of (neg (+ z 1)) in y 89.642 * [taylor]: Taking taylor expansion of (+ z 1) in y 89.642 * [taylor]: Taking taylor expansion of z in y 89.642 * [taylor]: Taking taylor expansion of 1 in y 89.642 * [taylor]: Taking taylor expansion of (/ z y) in y 89.642 * [taylor]: Taking taylor expansion of z in y 89.642 * [taylor]: Taking taylor expansion of y in y 89.642 * [taylor]: Taking taylor expansion of z in z 89.642 * [taylor]: Taking taylor expansion of (neg (+ z 1)) in z 89.642 * [taylor]: Taking taylor expansion of (+ z 1) in z 89.642 * [taylor]: Taking taylor expansion of z in z 89.642 * [taylor]: Taking taylor expansion of 1 in z 89.642 * [taylor]: Taking taylor expansion of 0 in y 89.642 * [taylor]: Taking taylor expansion of 0 in z 89.642 * [taylor]: Taking taylor expansion of 0 in z 89.643 * * * [progress]: simplifying candidates 89.644 * [simplify]: Simplifying using # : (- (log (- y x)) (log z)) (log (/ (- y x) z)) (exp (/ (- y x) z)) (/ (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z))) (cbrt (/ (- y x) z)) (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z)) (sqrt (/ (- y x) z)) (sqrt (/ (- y x) z)) (neg (- y x)) (neg z) (/ y z) (/ x z) (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt z) (cbrt z))) (/ (cbrt (- y x)) (cbrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z)) (/ (cbrt (- y x)) (sqrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) 1) (/ (cbrt (- y x)) z) (/ (sqrt (- y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (- y x)) (cbrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) 1) (/ (sqrt (- y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) (/ 1 1) (/ (- y x) z) (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z))) (/ (- (sqrt y) (sqrt x)) (cbrt z)) (/ (+ (sqrt y) (sqrt x)) (sqrt z)) (/ (- (sqrt y) (sqrt x)) (sqrt z)) (/ (+ (sqrt y) (sqrt x)) 1) (/ (- (sqrt y) (sqrt x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) (/ 1 1) (/ (- y x) z) (/ 1 z) (/ z (- y x)) (/ (- y x) (* (cbrt z) (cbrt z))) (/ (- y x) (sqrt z)) (/ (- y x) 1) (/ z (cbrt (- y x))) (/ z (sqrt (- y x))) (/ z (- y x)) (/ z (- (sqrt y) (sqrt x))) (/ z (- y x)) (* z (+ (* y y) (+ (* x x) (* y x)))) (* z (+ y x)) (* (exp x) (exp (/ (- y x) z))) (log (+ x (/ (- y x) z))) (exp (+ x (/ (- y x) z))) (* (cbrt (+ x (/ (- y x) z))) (cbrt (+ x (/ (- y x) z)))) (cbrt (+ x (/ (- y x) z))) (* (* (+ x (/ (- y x) z)) (+ x (/ (- y x) z))) (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (+ (pow x 3) (pow (/ (- y x) z) 3)) (+ (* x x) (- (* (/ (- y x) z) (/ (- y x) z)) (* x (/ (- y x) z)))) (- (* x x) (* (/ (- y x) z) (/ (- y x) z))) (- x (/ (- y x) z)) (+ x (/ (- y x) z)) (+ x (/ y z)) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) (- (/ y z) (/ x z)) (- (+ (/ y z) x) (/ x z)) (- (+ (/ y z) x) (/ x z)) (- (+ (/ y z) x) (/ x z)) 89.646 * * [simplify]: iteration 0 : 95 enodes (cost 588 ) 89.659 * * [simplify]: iteration 1 : 231 enodes (cost 560 ) 89.700 * * [simplify]: iteration 2 : 632 enodes (cost 520 ) 89.832 * * [simplify]: iteration 3 : 1944 enodes (cost 520 ) 90.219 * * [simplify]: iteration done : 5001 enodes (cost 519 ) 90.219 * [simplify]: Simplified to: (log (/ (- y x) z)) (log (/ (- y x) z)) (exp (/ (- y x) z)) (pow (/ (- y x) z) 3) (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z))) (cbrt (/ (- y x) z)) (pow (/ (- y x) z) 3) (sqrt (/ (- y x) z)) (sqrt (/ (- y x) z)) (- x y) (neg z) (/ y z) (/ x z) (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt z) (cbrt z))) (/ (cbrt (- y x)) (cbrt z)) (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z)) (/ (cbrt (- y x)) (sqrt z)) (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) z) (/ (sqrt (- y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (- y x)) (cbrt z)) (/ (sqrt (- y x)) (sqrt z)) (/ (sqrt (- y x)) (sqrt z)) (sqrt (- y x)) (/ (sqrt (- y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) 1 (/ (- y x) z) (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z))) (/ (- (sqrt y) (sqrt x)) (cbrt z)) (/ (+ (sqrt y) (sqrt x)) (sqrt z)) (/ (- (sqrt y) (sqrt x)) (sqrt z)) (+ (sqrt x) (sqrt y)) (/ (- (sqrt y) (sqrt x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- y x) (cbrt z)) (/ 1 (sqrt z)) (/ (- y x) (sqrt z)) 1 (/ (- y x) z) (/ 1 z) (/ z (- y x)) (/ (- y x) (* (cbrt z) (cbrt z))) (/ (- y x) (sqrt z)) (- y x) (/ z (cbrt (- y x))) (/ z (sqrt (- y x))) (/ z (- y x)) (/ z (- (sqrt y) (sqrt x))) (/ z (- y x)) (* (+ (* y y) (* x (+ y x))) z) (* z (+ y x)) (exp (+ x (/ (- y x) z))) (log (+ x (/ (- y x) z))) (exp (+ x (/ (- y x) z))) (* (cbrt (+ x (/ (- y x) z))) (cbrt (+ x (/ (- y x) z)))) (cbrt (+ x (/ (- y x) z))) (pow (+ x (/ (- y x) z)) 3) (sqrt (+ x (/ (- y x) z))) (sqrt (+ x (/ (- y x) z))) (+ (pow x 3) (pow (/ (- y x) z) 3)) (+ (* x x) (* (/ (- y x) z) (- (/ (- y x) z) x))) (- (* x x) (* (/ (- y x) z) (/ (- y x) z))) (- x (/ (- y x) z)) (+ (/ (- y x) z) x) (+ x (/ y z)) (/ (- y x) z) (/ (- y x) z) (/ (- y x) z) (+ (/ (- y x) z) x) (+ (/ (- y x) z) x) (+ (/ (- y x) z) x) 90.219 * * * [progress]: adding candidates to table 90.268 * * [progress]: iteration 2 / 4 90.268 * * * [progress]: picking best candidate 90.271 * * * * [pick]: Picked # 90.271 * * * [progress]: localizing error 90.288 * * * [progress]: generating rewritten candidates 90.288 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 90.295 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 90.296 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 90.297 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 90.301 * * * [progress]: generating series expansions 90.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 90.301 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 90.301 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 90.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 90.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 90.301 * [taylor]: Taking taylor expansion of 1/3 in z 90.301 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 90.301 * [taylor]: Taking taylor expansion of (pow z 2) in z 90.301 * [taylor]: Taking taylor expansion of z in z 90.302 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 90.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 90.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 90.302 * [taylor]: Taking taylor expansion of 1/3 in z 90.302 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 90.302 * [taylor]: Taking taylor expansion of (pow z 2) in z 90.302 * [taylor]: Taking taylor expansion of z in z 90.310 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 90.310 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 90.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 90.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 90.310 * [taylor]: Taking taylor expansion of 1/3 in z 90.310 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 90.310 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 90.310 * [taylor]: Taking taylor expansion of (pow z 2) in z 90.310 * [taylor]: Taking taylor expansion of z in z 90.311 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 90.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 90.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 90.311 * [taylor]: Taking taylor expansion of 1/3 in z 90.311 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 90.311 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 90.311 * [taylor]: Taking taylor expansion of (pow z 2) in z 90.311 * [taylor]: Taking taylor expansion of z in z 90.318 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 90.318 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 90.319 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 90.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 90.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 90.319 * [taylor]: Taking taylor expansion of 1/3 in z 90.319 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 90.319 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 90.319 * [taylor]: Taking taylor expansion of (pow z 2) in z 90.319 * [taylor]: Taking taylor expansion of z in z 90.319 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 90.319 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.319 * [taylor]: Taking taylor expansion of -1 in z 90.319 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 90.319 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 90.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 90.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 90.319 * [taylor]: Taking taylor expansion of 1/3 in z 90.319 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 90.319 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 90.319 * [taylor]: Taking taylor expansion of (pow z 2) in z 90.319 * [taylor]: Taking taylor expansion of z in z 90.319 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 90.320 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.320 * [taylor]: Taking taylor expansion of -1 in z 90.330 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 90.330 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 90.330 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 90.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 90.330 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 90.330 * [taylor]: Taking taylor expansion of 1/3 in z 90.330 * [taylor]: Taking taylor expansion of (log z) in z 90.330 * [taylor]: Taking taylor expansion of z in z 90.330 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 90.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 90.330 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 90.330 * [taylor]: Taking taylor expansion of 1/3 in z 90.330 * [taylor]: Taking taylor expansion of (log z) in z 90.330 * [taylor]: Taking taylor expansion of z in z 90.337 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 90.337 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.337 * [taylor]: Taking taylor expansion of 1/3 in z 90.337 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.337 * [taylor]: Taking taylor expansion of z in z 90.337 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.337 * [taylor]: Taking taylor expansion of 1/3 in z 90.337 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.337 * [taylor]: Taking taylor expansion of z in z 90.344 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 90.344 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 90.344 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.344 * [taylor]: Taking taylor expansion of 1/3 in z 90.344 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.344 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.344 * [taylor]: Taking taylor expansion of z in z 90.344 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.344 * [taylor]: Taking taylor expansion of -1 in z 90.344 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 90.345 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.345 * [taylor]: Taking taylor expansion of 1/3 in z 90.345 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.345 * [taylor]: Taking taylor expansion of z in z 90.345 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.345 * [taylor]: Taking taylor expansion of -1 in z 90.353 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 90.353 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 90.353 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 90.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 90.353 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 90.353 * [taylor]: Taking taylor expansion of 1/3 in z 90.353 * [taylor]: Taking taylor expansion of (log z) in z 90.353 * [taylor]: Taking taylor expansion of z in z 90.354 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 90.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 90.354 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 90.354 * [taylor]: Taking taylor expansion of 1/3 in z 90.354 * [taylor]: Taking taylor expansion of (log z) in z 90.354 * [taylor]: Taking taylor expansion of z in z 90.360 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 90.360 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.360 * [taylor]: Taking taylor expansion of 1/3 in z 90.360 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.360 * [taylor]: Taking taylor expansion of z in z 90.361 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.361 * [taylor]: Taking taylor expansion of 1/3 in z 90.361 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.361 * [taylor]: Taking taylor expansion of z in z 90.368 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 90.368 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 90.368 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.368 * [taylor]: Taking taylor expansion of 1/3 in z 90.368 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.368 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.368 * [taylor]: Taking taylor expansion of z in z 90.368 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.368 * [taylor]: Taking taylor expansion of -1 in z 90.368 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 90.368 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.368 * [taylor]: Taking taylor expansion of 1/3 in z 90.368 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.368 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.368 * [taylor]: Taking taylor expansion of z in z 90.368 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.368 * [taylor]: Taking taylor expansion of -1 in z 90.385 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 90.385 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 90.385 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 90.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 90.385 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 90.385 * [taylor]: Taking taylor expansion of 1/3 in z 90.385 * [taylor]: Taking taylor expansion of (log z) in z 90.385 * [taylor]: Taking taylor expansion of z in z 90.385 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 90.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 90.386 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 90.386 * [taylor]: Taking taylor expansion of 1/3 in z 90.386 * [taylor]: Taking taylor expansion of (log z) in z 90.386 * [taylor]: Taking taylor expansion of z in z 90.392 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 90.392 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.392 * [taylor]: Taking taylor expansion of 1/3 in z 90.392 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.392 * [taylor]: Taking taylor expansion of z in z 90.392 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.392 * [taylor]: Taking taylor expansion of 1/3 in z 90.392 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.392 * [taylor]: Taking taylor expansion of z in z 90.399 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 90.400 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 90.400 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.400 * [taylor]: Taking taylor expansion of 1/3 in z 90.400 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.400 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.400 * [taylor]: Taking taylor expansion of z in z 90.400 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.400 * [taylor]: Taking taylor expansion of -1 in z 90.400 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 90.400 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 90.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 90.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 90.400 * [taylor]: Taking taylor expansion of 1/3 in z 90.400 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 90.400 * [taylor]: Taking taylor expansion of (/ 1 z) in z 90.400 * [taylor]: Taking taylor expansion of z in z 90.400 * [taylor]: Taking taylor expansion of (cbrt -1) in z 90.400 * [taylor]: Taking taylor expansion of -1 in z 90.409 * * * [progress]: simplifying candidates 90.410 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z))))))) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) 90.412 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 90.423 * * [simplify]: iteration 1 : 151 enodes (cost 526 ) 90.443 * * [simplify]: iteration 2 : 435 enodes (cost 466 ) 90.532 * * [simplify]: iteration 3 : 1138 enodes (cost 417 ) 90.731 * * [simplify]: iteration 4 : 2435 enodes (cost 378 ) 91.149 * * [simplify]: iteration done : 5000 enodes (cost 378 ) 91.150 * [simplify]: Simplified to: 2/3 2 (* z z) (pow z 2/3) 2 (log (pow z 2/3)) (log (pow z 2/3)) (exp (pow z 2/3)) (* z z) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (cbrt (pow z 2/3)) (* z z) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt (pow z 2/3)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (cbrt z) (* (pow (cbrt (cbrt z)) 4) (cbrt (cbrt z))) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt (sqrt z)) (cbrt z)) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (pow z 2/3) (pow z 2/3) (* (pow (cbrt -1) 2) (pow (/ -1 z) -2/3)) (cbrt z) (cbrt z) (* (cbrt (/ 1 (/ -1 z))) (cbrt -1)) (cbrt z) (cbrt z) (* (cbrt (/ 1 (/ -1 z))) (cbrt -1)) (cbrt z) (cbrt z) (* (cbrt (/ 1 (/ -1 z))) (cbrt -1)) 91.150 * * * [progress]: adding candidates to table 91.228 * [progress]: [Phase 3 of 3] Extracting. 91.228 * * [regime]: Finding splitpoints for: (# #) 91.228 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (/ (- y x) z)) z y x) 91.228 * * * * [regimes]: Trying to branch on (+ x (/ (- y x) z)) from (# #) 91.270 * * * * [regimes]: Trying to branch on z from (# #) 91.308 * * * * [regimes]: Trying to branch on y from (# #) 91.350 * * * * [regimes]: Trying to branch on x from (# #) 91.390 * * * [regime]: Found split indices: #