0.639 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.119 * * * [progress]: [2/2] Setting up program.
0.125 * [progress]: [Phase 2 of 3] Improving.
0.125 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (* 0.5 (- (* x x) y)))>
0.129 * [simplify]: Simplifying:
  (* 0.5 (- (* x x) y))
0.131 * * [simplify]: iteration 0: 6 enodes
0.139 * * [simplify]: iteration 1: 10 enodes
0.142 * * [simplify]: iteration 2: 17 enodes
0.149 * * [simplify]: iteration 3: 29 enodes
0.158 * * [simplify]: iteration 4: 38 enodes
0.169 * * [simplify]: iteration 5: 42 enodes
0.181 * * [simplify]: iteration 6: 43 enodes
0.226 * * [simplify]: iteration 7: 44 enodes
0.236 * * [simplify]: iteration 8: 45 enodes
0.246 * * [simplify]: iteration 9: 46 enodes
0.255 * * [simplify]: iteration 10: 47 enodes
0.264 * * [simplify]: iteration 11: 48 enodes
0.272 * * [simplify]: iteration 12: 49 enodes
0.283 * * [simplify]: iteration 13: 50 enodes
0.293 * * [simplify]: iteration 14: 51 enodes
0.304 * * [simplify]: iteration 15: 52 enodes
0.314 * * [simplify]: iteration 16: 53 enodes
0.324 * * [simplify]: iteration 17: 54 enodes
0.334 * * [simplify]: iteration 18: 55 enodes
0.344 * * [simplify]: iteration 19: 56 enodes
0.353 * * [simplify]: iteration 20: 57 enodes
0.362 * * [simplify]: iteration 21: 58 enodes
0.371 * * [simplify]: iteration 22: 59 enodes
0.377 * * [simplify]: iteration 23: 60 enodes
0.382 * * [simplify]: iteration 24: 61 enodes
0.387 * * [simplify]: iteration 25: 62 enodes
0.391 * * [simplify]: iteration 26: 63 enodes
0.396 * * [simplify]: iteration 27: 64 enodes
0.401 * * [simplify]: iteration 28: 65 enodes
0.407 * * [simplify]: iteration 29: 66 enodes
0.411 * * [simplify]: iteration 30: 67 enodes
0.416 * * [simplify]: iteration 31: 68 enodes
0.421 * * [simplify]: iteration 32: 69 enodes
0.429 * * [simplify]: iteration 33: 70 enodes
0.439 * * [simplify]: iteration 34: 71 enodes
0.449 * * [simplify]: iteration 35: 72 enodes
0.458 * * [simplify]: iteration 36: 73 enodes
0.465 * * [simplify]: iteration 37: 74 enodes
0.470 * * [simplify]: iteration 38: 75 enodes
0.475 * * [simplify]: iteration 39: 76 enodes
0.479 * * [simplify]: iteration 40: 77 enodes
0.484 * * [simplify]: iteration 41: 78 enodes
0.492 * * [simplify]: iteration 42: 79 enodes
0.501 * * [simplify]: iteration 43: 80 enodes
0.511 * * [simplify]: iteration 44: 81 enodes
0.517 * * [simplify]: iteration 45: 82 enodes
0.522 * * [simplify]: iteration 46: 83 enodes
0.526 * * [simplify]: iteration 47: 84 enodes
0.531 * * [simplify]: iteration 48: 85 enodes
0.536 * * [simplify]: iteration 49: 86 enodes
0.540 * * [simplify]: iteration 50: 87 enodes
0.547 * * [simplify]: iteration 51: 88 enodes
0.555 * * [simplify]: iteration 52: 89 enodes
0.563 * * [simplify]: iteration 53: 90 enodes
0.572 * * [simplify]: iteration 54: 91 enodes
0.581 * * [simplify]: iteration 55: 92 enodes
0.589 * * [simplify]: iteration 56: 93 enodes
0.595 * * [simplify]: iteration 57: 94 enodes
0.599 * * [simplify]: iteration 58: 95 enodes
0.604 * * [simplify]: iteration 59: 96 enodes
0.608 * * [simplify]: iteration 60: 97 enodes
0.614 * * [simplify]: iteration 61: 98 enodes
0.618 * * [simplify]: iteration 62: 99 enodes
0.628 * * [simplify]: iteration 63: 100 enodes
0.633 * * [simplify]: iteration 64: 101 enodes
0.638 * * [simplify]: iteration 65: 102 enodes
0.642 * * [simplify]: iteration 66: 103 enodes
0.647 * * [simplify]: iteration 67: 104 enodes
0.652 * * [simplify]: iteration 68: 105 enodes
0.657 * * [simplify]: iteration 69: 106 enodes
0.666 * * [simplify]: iteration 70: 107 enodes
0.675 * * [simplify]: iteration 71: 108 enodes
0.679 * * [simplify]: iteration 72: 109 enodes
0.684 * * [simplify]: iteration 73: 110 enodes
0.688 * * [simplify]: iteration 74: 111 enodes
0.694 * * [simplify]: iteration 75: 112 enodes
0.699 * * [simplify]: iteration 76: 113 enodes
0.704 * * [simplify]: iteration 77: 114 enodes
0.708 * * [simplify]: iteration 78: 115 enodes
0.716 * * [simplify]: iteration 79: 116 enodes
0.725 * * [simplify]: iteration 80: 117 enodes
0.734 * * [simplify]: iteration 81: 118 enodes
0.743 * * [simplify]: iteration 82: 119 enodes
0.753 * * [simplify]: iteration 83: 120 enodes
0.762 * * [simplify]: iteration 84: 121 enodes
0.772 * * [simplify]: iteration 85: 122 enodes
0.781 * * [simplify]: iteration 86: 123 enodes
0.786 * * [simplify]: iteration 87: 124 enodes
0.791 * * [simplify]: iteration 88: 125 enodes
0.795 * * [simplify]: iteration 89: 126 enodes
0.800 * * [simplify]: iteration 90: 127 enodes
0.805 * * [simplify]: iteration 91: 128 enodes
0.810 * * [simplify]: iteration 92: 129 enodes
0.815 * * [simplify]: iteration 93: 130 enodes
0.824 * * [simplify]: iteration 94: 131 enodes
0.834 * * [simplify]: iteration 95: 132 enodes
0.843 * * [simplify]: iteration 96: 133 enodes
0.851 * * [simplify]: iteration 97: 134 enodes
0.856 * * [simplify]: iteration 98: 135 enodes
0.861 * * [simplify]: iteration 99: 136 enodes
0.865 * * [simplify]: iteration 100: 137 enodes
0.871 * * [simplify]: iteration 101: 138 enodes
0.875 * * [simplify]: iteration 102: 139 enodes
0.880 * * [simplify]: iteration 103: 140 enodes
0.885 * * [simplify]: iteration 104: 141 enodes
0.890 * * [simplify]: iteration 105: 142 enodes
0.894 * * [simplify]: iteration 106: 143 enodes
0.899 * * [simplify]: iteration 107: 144 enodes
0.905 * * [simplify]: iteration 108: 145 enodes
0.915 * * [simplify]: iteration 109: 146 enodes
0.924 * * [simplify]: iteration 110: 147 enodes
0.932 * * [simplify]: iteration 111: 148 enodes
0.936 * * [simplify]: iteration 112: 149 enodes
0.941 * * [simplify]: iteration 113: 150 enodes
0.946 * * [simplify]: iteration 114: 151 enodes
0.950 * * [simplify]: iteration 115: 152 enodes
0.956 * * [simplify]: iteration 116: 153 enodes
0.960 * * [simplify]: iteration 117: 154 enodes
0.967 * * [simplify]: iteration 118: 155 enodes
0.972 * * [simplify]: iteration 119: 156 enodes
0.976 * * [simplify]: iteration 120: 157 enodes
0.981 * * [simplify]: iteration 121: 158 enodes
0.985 * * [simplify]: iteration 122: 159 enodes
0.990 * * [simplify]: iteration 123: 160 enodes
0.995 * * [simplify]: iteration 124: 161 enodes
1.002 * * [simplify]: iteration 125: 162 enodes
1.011 * * [simplify]: iteration 126: 163 enodes
1.021 * * [simplify]: iteration 127: 164 enodes
1.026 * * [simplify]: iteration 128: 165 enodes
1.031 * * [simplify]: iteration 129: 166 enodes
1.035 * * [simplify]: iteration 130: 167 enodes
1.041 * * [simplify]: iteration 131: 168 enodes
1.045 * * [simplify]: iteration 132: 169 enodes
1.050 * * [simplify]: iteration 133: 170 enodes
1.054 * * [simplify]: iteration 134: 171 enodes
1.059 * * [simplify]: iteration 135: 172 enodes
1.065 * * [simplify]: iteration 136: 173 enodes
1.075 * * [simplify]: iteration 137: 174 enodes
1.085 * * [simplify]: iteration 138: 175 enodes
1.095 * * [simplify]: iteration 139: 176 enodes
1.104 * * [simplify]: iteration 140: 177 enodes
1.113 * * [simplify]: iteration 141: 178 enodes
1.122 * * [simplify]: iteration 142: 179 enodes
1.132 * * [simplify]: iteration 143: 180 enodes
1.140 * * [simplify]: iteration 144: 181 enodes
1.150 * * [simplify]: iteration 145: 182 enodes
1.155 * * [simplify]: iteration 146: 183 enodes
1.160 * * [simplify]: iteration 147: 184 enodes
1.165 * * [simplify]: iteration 148: 185 enodes
1.170 * * [simplify]: iteration 149: 186 enodes
1.174 * * [simplify]: iteration 150: 187 enodes
1.180 * * [simplify]: iteration 151: 188 enodes
1.185 * * [simplify]: iteration 152: 189 enodes
1.190 * * [simplify]: iteration 153: 190 enodes
1.195 * * [simplify]: iteration 154: 191 enodes
1.200 * * [simplify]: iteration 155: 192 enodes
1.205 * * [simplify]: iteration 156: 193 enodes
1.209 * * [simplify]: iteration 157: 194 enodes
1.214 * * [simplify]: iteration 158: 195 enodes
1.223 * * [simplify]: iteration 159: 196 enodes
1.232 * * [simplify]: iteration 160: 197 enodes
1.241 * * [simplify]: iteration 161: 198 enodes
1.250 * * [simplify]: iteration 162: 199 enodes
1.258 * * [simplify]: iteration 163: 200 enodes
1.263 * * [simplify]: iteration 164: 201 enodes
1.267 * * [simplify]: iteration 165: 202 enodes
1.272 * * [simplify]: iteration 166: 203 enodes
1.277 * * [simplify]: iteration 167: 204 enodes
1.281 * * [simplify]: iteration 168: 205 enodes
1.290 * * [simplify]: iteration 169: 206 enodes
1.299 * * [simplify]: iteration 170: 207 enodes
1.309 * * [simplify]: iteration 171: 208 enodes
1.318 * * [simplify]: iteration 172: 209 enodes
1.327 * * [simplify]: iteration 173: 210 enodes
1.331 * * [simplify]: iteration 174: 211 enodes
1.336 * * [simplify]: iteration 175: 212 enodes
1.340 * * [simplify]: iteration 176: 213 enodes
1.345 * * [simplify]: iteration 177: 214 enodes
1.351 * * [simplify]: iteration 178: 215 enodes
1.356 * * [simplify]: iteration 179: 216 enodes
1.363 * * [simplify]: iteration 180: 217 enodes
1.372 * * [simplify]: iteration 181: 218 enodes
1.381 * * [simplify]: iteration 182: 219 enodes
1.391 * * [simplify]: iteration 183: 220 enodes
1.400 * * [simplify]: iteration 184: 221 enodes
1.410 * * [simplify]: iteration 185: 222 enodes
1.419 * * [simplify]: iteration 186: 223 enodes
1.428 * * [simplify]: iteration 187: 224 enodes
1.437 * * [simplify]: iteration 188: 225 enodes
1.447 * * [simplify]: iteration 189: 226 enodes
1.456 * * [simplify]: iteration 190: 227 enodes
1.466 * * [simplify]: iteration 191: 228 enodes
1.475 * * [simplify]: iteration 192: 229 enodes
1.485 * * [simplify]: iteration 193: 230 enodes
1.494 * * [simplify]: iteration 194: 231 enodes
1.504 * * [simplify]: iteration 195: 232 enodes
1.513 * * [simplify]: iteration 196: 233 enodes
1.522 * * [simplify]: iteration 197: 234 enodes
1.527 * * [simplify]: iteration 198: 235 enodes
1.532 * * [simplify]: iteration 199: 236 enodes
1.536 * * [simplify]: iteration 200: 237 enodes
1.541 * * [simplify]: iteration 201: 238 enodes
1.545 * * [simplify]: iteration 202: 239 enodes
1.554 * * [simplify]: iteration 203: 240 enodes
1.564 * * [simplify]: iteration 204: 241 enodes
1.574 * * [simplify]: iteration 205: 242 enodes
1.578 * * [simplify]: iteration 206: 243 enodes
1.583 * * [simplify]: iteration 207: 244 enodes
1.587 * * [simplify]: iteration 208: 245 enodes
1.593 * * [simplify]: iteration 209: 246 enodes
1.598 * * [simplify]: iteration 210: 247 enodes
1.603 * * [simplify]: iteration 211: 248 enodes
1.612 * * [simplify]: iteration 212: 249 enodes
1.622 * * [simplify]: iteration 213: 250 enodes
1.631 * * [simplify]: iteration 214: 251 enodes
1.641 * * [simplify]: iteration 215: 252 enodes
1.650 * * [simplify]: iteration 216: 253 enodes
1.659 * * [simplify]: iteration 217: 254 enodes
1.668 * * [simplify]: iteration 218: 255 enodes
1.678 * * [simplify]: iteration 219: 256 enodes
1.687 * * [simplify]: iteration 220: 257 enodes
1.697 * * [simplify]: iteration 221: 258 enodes
1.706 * * [simplify]: iteration 222: 259 enodes
1.716 * * [simplify]: iteration 223: 260 enodes
1.724 * * [simplify]: iteration 224: 261 enodes
1.731 * * [simplify]: iteration 225: 262 enodes
1.735 * * [simplify]: iteration 226: 263 enodes
1.740 * * [simplify]: iteration 227: 264 enodes
1.745 * * [simplify]: iteration 228: 265 enodes
1.750 * * [simplify]: iteration 229: 266 enodes
1.758 * * [simplify]: iteration 230: 267 enodes
1.768 * * [simplify]: iteration 231: 268 enodes
1.776 * * [simplify]: iteration 232: 269 enodes
1.786 * * [simplify]: iteration 233: 270 enodes
1.795 * * [simplify]: iteration 234: 271 enodes
1.805 * * [simplify]: iteration 235: 272 enodes
1.812 * * [simplify]: iteration 236: 273 enodes
1.817 * * [simplify]: iteration 237: 274 enodes
1.821 * * [simplify]: iteration 238: 275 enodes
1.826 * * [simplify]: iteration 239: 276 enodes
1.831 * * [simplify]: iteration 240: 277 enodes
1.836 * * [simplify]: iteration 241: 278 enodes
1.840 * * [simplify]: iteration 242: 279 enodes
1.845 * * [simplify]: iteration 243: 280 enodes
1.849 * * [simplify]: iteration 244: 281 enodes
1.854 * * [simplify]: iteration 245: 282 enodes
1.858 * * [simplify]: iteration 246: 283 enodes
1.863 * * [simplify]: iteration 247: 284 enodes
1.868 * * [simplify]: iteration 248: 285 enodes
1.872 * * [simplify]: iteration 249: 286 enodes
1.877 * * [simplify]: iteration 250: 287 enodes
1.882 * * [simplify]: iteration 251: 288 enodes
1.890 * * [simplify]: iteration 252: 289 enodes
1.900 * * [simplify]: iteration 253: 290 enodes
1.909 * * [simplify]: iteration 254: 291 enodes
1.919 * * [simplify]: iteration 255: 292 enodes
1.929 * * [simplify]: iteration 256: 293 enodes
1.939 * * [simplify]: iteration 257: 294 enodes
1.945 * * [simplify]: iteration 258: 295 enodes
1.950 * * [simplify]: iteration 259: 296 enodes
1.954 * * [simplify]: iteration 260: 297 enodes
1.959 * * [simplify]: iteration 261: 298 enodes
1.964 * * [simplify]: iteration 262: 299 enodes
1.969 * * [simplify]: iteration 263: 300 enodes
1.973 * * [simplify]: iteration 264: 301 enodes
1.978 * * [simplify]: iteration 265: 302 enodes
1.983 * * [simplify]: iteration 266: 303 enodes
1.988 * * [simplify]: iteration 267: 304 enodes
1.992 * * [simplify]: iteration 268: 305 enodes
2.000 * * [simplify]: iteration 269: 306 enodes
2.009 * * [simplify]: iteration 270: 307 enodes
2.020 * * [simplify]: iteration 271: 308 enodes
2.030 * * [simplify]: iteration 272: 309 enodes
2.039 * * [simplify]: iteration 273: 310 enodes
2.048 * * [simplify]: iteration 274: 311 enodes
2.059 * * [simplify]: iteration 275: 312 enodes
2.068 * * [simplify]: iteration 276: 313 enodes
2.078 * * [simplify]: iteration 277: 314 enodes
2.086 * * [simplify]: iteration 278: 315 enodes
2.096 * * [simplify]: iteration 279: 316 enodes
2.105 * * [simplify]: iteration 280: 317 enodes
2.110 * * [simplify]: iteration 281: 318 enodes
2.114 * * [simplify]: iteration 282: 319 enodes
2.119 * * [simplify]: iteration 283: 320 enodes
2.124 * * [simplify]: iteration 284: 321 enodes
2.128 * * [simplify]: iteration 285: 322 enodes
2.133 * * [simplify]: iteration 286: 323 enodes
2.139 * * [simplify]: iteration 287: 324 enodes
2.143 * * [simplify]: iteration 288: 325 enodes
2.148 * * [simplify]: iteration 289: 326 enodes
2.153 * * [simplify]: iteration 290: 327 enodes
2.157 * * [simplify]: iteration 291: 328 enodes
2.162 * * [simplify]: iteration 292: 329 enodes
2.167 * * [simplify]: iteration 293: 330 enodes
2.171 * * [simplify]: iteration 294: 331 enodes
2.176 * * [simplify]: iteration 295: 332 enodes
2.180 * * [simplify]: iteration 296: 333 enodes
2.185 * * [simplify]: iteration 297: 334 enodes
2.190 * * [simplify]: iteration 298: 335 enodes
2.195 * * [simplify]: iteration 299: 336 enodes
2.200 * * [simplify]: iteration 300: 337 enodes
2.205 * * [simplify]: iteration 301: 338 enodes
2.210 * * [simplify]: iteration 302: 339 enodes
2.215 * * [simplify]: iteration 303: 340 enodes
2.224 * * [simplify]: iteration 304: 341 enodes
2.234 * * [simplify]: iteration 305: 342 enodes
2.243 * * [simplify]: iteration 306: 343 enodes
2.252 * * [simplify]: iteration 307: 344 enodes
2.261 * * [simplify]: iteration 308: 345 enodes
2.270 * * [simplify]: iteration 309: 346 enodes
2.279 * * [simplify]: iteration 310: 347 enodes
2.289 * * [simplify]: iteration 311: 348 enodes
2.298 * * [simplify]: iteration 312: 349 enodes
2.308 * * [simplify]: iteration 313: 350 enodes
2.317 * * [simplify]: iteration 314: 351 enodes
2.327 * * [simplify]: iteration 315: 352 enodes
2.335 * * [simplify]: iteration 316: 353 enodes
2.345 * * [simplify]: iteration 317: 354 enodes
2.356 * * [simplify]: iteration 318: 355 enodes
2.365 * * [simplify]: iteration 319: 356 enodes
2.374 * * [simplify]: iteration 320: 357 enodes
2.383 * * [simplify]: iteration 321: 358 enodes
2.391 * * [simplify]: iteration 322: 359 enodes
2.395 * * [simplify]: iteration 323: 360 enodes
2.400 * * [simplify]: iteration 324: 361 enodes
2.405 * * [simplify]: iteration 325: 362 enodes
2.409 * * [simplify]: iteration 326: 363 enodes
2.414 * * [simplify]: iteration 327: 364 enodes
2.418 * * [simplify]: iteration 328: 365 enodes
2.424 * * [simplify]: iteration 329: 366 enodes
2.433 * * [simplify]: iteration 330: 367 enodes
2.443 * * [simplify]: iteration 331: 368 enodes
2.453 * * [simplify]: iteration 332: 369 enodes
2.464 * * [simplify]: iteration 333: 370 enodes
2.473 * * [simplify]: iteration 334: 371 enodes
2.482 * * [simplify]: iteration 335: 372 enodes
2.491 * * [simplify]: iteration 336: 373 enodes
2.501 * * [simplify]: iteration 337: 374 enodes
2.511 * * [simplify]: iteration 338: 375 enodes
2.521 * * [simplify]: iteration 339: 376 enodes
2.530 * * [simplify]: iteration 340: 377 enodes
2.539 * * [simplify]: iteration 341: 378 enodes
2.549 * * [simplify]: iteration 342: 379 enodes
2.559 * * [simplify]: iteration 343: 380 enodes
2.568 * * [simplify]: iteration 344: 381 enodes
2.577 * * [simplify]: iteration 345: 382 enodes
2.587 * * [simplify]: iteration 346: 383 enodes
2.597 * * [simplify]: iteration 347: 384 enodes
2.606 * * [simplify]: iteration 348: 385 enodes
2.617 * * [simplify]: iteration 349: 386 enodes
2.626 * * [simplify]: iteration 350: 387 enodes
2.636 * * [simplify]: iteration 351: 388 enodes
2.646 * * [simplify]: iteration 352: 389 enodes
2.655 * * [simplify]: iteration 353: 390 enodes
2.665 * * [simplify]: iteration 354: 391 enodes
2.675 * * [simplify]: iteration 355: 392 enodes
2.685 * * [simplify]: iteration 356: 393 enodes
2.695 * * [simplify]: iteration 357: 394 enodes
2.704 * * [simplify]: iteration 358: 395 enodes
2.714 * * [simplify]: iteration 359: 396 enodes
2.723 * * [simplify]: iteration 360: 397 enodes
2.733 * * [simplify]: iteration 361: 398 enodes
2.742 * * [simplify]: iteration 362: 399 enodes
2.751 * * [simplify]: iteration 363: 400 enodes
2.762 * * [simplify]: iteration 364: 401 enodes
2.771 * * [simplify]: iteration 365: 402 enodes
2.780 * * [simplify]: iteration 366: 403 enodes
2.789 * * [simplify]: iteration 367: 404 enodes
2.794 * * [simplify]: iteration 368: 405 enodes
2.799 * * [simplify]: iteration 369: 406 enodes
2.803 * * [simplify]: iteration 370: 407 enodes
2.808 * * [simplify]: iteration 371: 408 enodes
2.813 * * [simplify]: iteration 372: 409 enodes
2.818 * * [simplify]: iteration 373: 410 enodes
2.823 * * [simplify]: iteration 374: 411 enodes
2.829 * * [simplify]: iteration 375: 412 enodes
2.838 * * [simplify]: iteration 376: 413 enodes
2.847 * * [simplify]: iteration 377: 414 enodes
2.851 * * [simplify]: iteration 378: 415 enodes
2.856 * * [simplify]: iteration 379: 416 enodes
2.862 * * [simplify]: iteration 380: 417 enodes
2.867 * * [simplify]: iteration 381: 418 enodes
2.871 * * [simplify]: iteration 382: 419 enodes
2.877 * * [simplify]: iteration 383: 420 enodes
2.886 * * [simplify]: iteration 384: 421 enodes
2.895 * * [simplify]: iteration 385: 422 enodes
2.904 * * [simplify]: iteration 386: 423 enodes
2.915 * * [simplify]: iteration 387: 424 enodes
2.924 * * [simplify]: iteration 388: 425 enodes
2.934 * * [simplify]: iteration 389: 426 enodes
2.943 * * [simplify]: iteration 390: 427 enodes
2.953 * * [simplify]: iteration 391: 428 enodes
2.964 * * [simplify]: iteration 392: 429 enodes
2.972 * * [simplify]: iteration 393: 430 enodes
2.977 * * [simplify]: iteration 394: 431 enodes
2.982 * * [simplify]: iteration 395: 432 enodes
2.987 * * [simplify]: iteration 396: 433 enodes
2.991 * * [simplify]: iteration 397: 434 enodes
2.996 * * [simplify]: iteration 398: 435 enodes
3.000 * * [simplify]: iteration 399: 436 enodes
3.008 * * [simplify]: iteration 400: 437 enodes
3.018 * * [simplify]: iteration 401: 438 enodes
3.027 * * [simplify]: iteration 402: 439 enodes
3.036 * * [simplify]: iteration 403: 440 enodes
3.046 * * [simplify]: iteration 404: 441 enodes
3.055 * * [simplify]: iteration 405: 442 enodes
3.059 * * [simplify]: iteration 406: 443 enodes
3.064 * * [simplify]: iteration 407: 444 enodes
3.068 * * [simplify]: iteration 408: 445 enodes
3.073 * * [simplify]: iteration 409: 446 enodes
3.078 * * [simplify]: iteration 410: 447 enodes
3.085 * * [simplify]: iteration 411: 448 enodes
3.094 * * [simplify]: iteration 412: 449 enodes
3.104 * * [simplify]: iteration 413: 450 enodes
3.113 * * [simplify]: iteration 414: 451 enodes
3.122 * * [simplify]: iteration 415: 452 enodes
3.127 * * [simplify]: iteration 416: 453 enodes
3.132 * * [simplify]: iteration 417: 454 enodes
3.136 * * [simplify]: iteration 418: 455 enodes
3.141 * * [simplify]: iteration 419: 456 enodes
3.146 * * [simplify]: iteration 420: 457 enodes
3.151 * * [simplify]: iteration 421: 458 enodes
3.160 * * [simplify]: iteration 422: 459 enodes
3.170 * * [simplify]: iteration 423: 460 enodes
3.177 * * [simplify]: iteration 424: 461 enodes
3.181 * * [simplify]: iteration 425: 462 enodes
3.187 * * [simplify]: iteration 426: 463 enodes
3.192 * * [simplify]: iteration 427: 464 enodes
3.196 * * [simplify]: iteration 428: 465 enodes
3.201 * * [simplify]: iteration 429: 466 enodes
3.205 * * [simplify]: iteration 430: 467 enodes
3.214 * * [simplify]: iteration 431: 468 enodes
3.224 * * [simplify]: iteration 432: 469 enodes
3.234 * * [simplify]: iteration 433: 470 enodes
3.238 * * [simplify]: iteration 434: 471 enodes
3.243 * * [simplify]: iteration 435: 472 enodes
3.247 * * [simplify]: iteration 436: 473 enodes
3.252 * * [simplify]: iteration 437: 474 enodes
3.256 * * [simplify]: iteration 438: 475 enodes
3.261 * * [simplify]: iteration 439: 476 enodes
3.266 * * [simplify]: iteration 440: 477 enodes
3.271 * * [simplify]: iteration 441: 478 enodes
3.281 * * [simplify]: iteration 442: 479 enodes
3.287 * * [simplify]: iteration 443: 480 enodes
3.291 * * [simplify]: iteration 444: 481 enodes
3.296 * * [simplify]: iteration 445: 482 enodes
3.300 * * [simplify]: iteration 446: 483 enodes
3.305 * * [simplify]: iteration 447: 484 enodes
3.309 * * [simplify]: iteration 448: 485 enodes
3.314 * * [simplify]: iteration 449: 486 enodes
3.319 * * [simplify]: iteration 450: 487 enodes
3.325 * * [simplify]: iteration 451: 488 enodes
3.333 * * [simplify]: iteration 452: 489 enodes
3.342 * * [simplify]: iteration 453: 490 enodes
3.351 * * [simplify]: iteration 454: 491 enodes
3.361 * * [simplify]: iteration 455: 492 enodes
3.370 * * [simplify]: iteration 456: 493 enodes
3.381 * * [simplify]: iteration 457: 494 enodes
3.390 * * [simplify]: iteration 458: 495 enodes
3.400 * * [simplify]: iteration 459: 496 enodes
3.409 * * [simplify]: iteration 460: 497 enodes
3.414 * * [simplify]: iteration 461: 498 enodes
3.419 * * [simplify]: iteration 462: 499 enodes
3.423 * * [simplify]: iteration 463: 500 enodes
3.428 * * [simplify]: iteration 464: 501 enodes
3.432 * * [simplify]: iteration 465: 502 enodes
3.437 * * [simplify]: iteration 466: 503 enodes
3.442 * * [simplify]: iteration 467: 504 enodes
3.446 * * [simplify]: iteration 468: 505 enodes
3.456 * * [simplify]: iteration 469: 506 enodes
3.465 * * [simplify]: iteration 470: 507 enodes
3.475 * * [simplify]: iteration 471: 508 enodes
3.484 * * [simplify]: iteration 472: 509 enodes
3.497 * * [simplify]: iteration 473: 510 enodes
3.506 * * [simplify]: iteration 474: 511 enodes
3.516 * * [simplify]: iteration 475: 512 enodes
3.525 * * [simplify]: iteration 476: 513 enodes
3.535 * * [simplify]: iteration 477: 514 enodes
3.543 * * [simplify]: iteration 478: 515 enodes
3.553 * * [simplify]: iteration 479: 516 enodes
3.558 * * [simplify]: iteration 480: 517 enodes
3.563 * * [simplify]: iteration 481: 518 enodes
3.567 * * [simplify]: iteration 482: 519 enodes
3.572 * * [simplify]: iteration 483: 520 enodes
3.576 * * [simplify]: iteration 484: 521 enodes
3.581 * * [simplify]: iteration 485: 522 enodes
3.585 * * [simplify]: iteration 486: 523 enodes
3.590 * * [simplify]: iteration 487: 524 enodes
3.601 * * [simplify]: iteration 488: 525 enodes
3.610 * * [simplify]: iteration 489: 526 enodes
3.617 * * [simplify]: iteration 490: 527 enodes
3.621 * * [simplify]: iteration 491: 528 enodes
3.626 * * [simplify]: iteration 492: 529 enodes
3.631 * * [simplify]: iteration 493: 530 enodes
3.635 * * [simplify]: iteration 494: 531 enodes
3.640 * * [simplify]: iteration 495: 532 enodes
3.645 * * [simplify]: iteration 496: 533 enodes
3.649 * * [simplify]: iteration 497: 534 enodes
3.659 * * [simplify]: iteration 498: 535 enodes
3.668 * * [simplify]: iteration 499: 536 enodes
3.678 * * [simplify]: iteration 500: 537 enodes
3.683 * * [simplify]: iteration 501: 538 enodes
3.688 * * [simplify]: iteration 502: 539 enodes
3.692 * * [simplify]: iteration 503: 540 enodes
3.698 * * [simplify]: iteration 504: 541 enodes
3.703 * * [simplify]: iteration 505: 542 enodes
3.707 * * [simplify]: iteration 506: 543 enodes
3.712 * * [simplify]: iteration 507: 544 enodes
3.716 * * [simplify]: iteration 508: 545 enodes
3.724 * * [simplify]: iteration 509: 546 enodes
3.729 * * [simplify]: iteration 510: 547 enodes
3.734 * * [simplify]: iteration 511: 548 enodes
3.738 * * [simplify]: iteration 512: 549 enodes
3.743 * * [simplify]: iteration 513: 550 enodes
3.747 * * [simplify]: iteration 514: 551 enodes
3.752 * * [simplify]: iteration 515: 552 enodes
3.759 * * [simplify]: iteration 516: 553 enodes
3.768 * * [simplify]: iteration 517: 554 enodes
3.775 * * [simplify]: iteration 518: 555 enodes
3.781 * * [simplify]: iteration 519: 556 enodes
3.785 * * [simplify]: iteration 520: 557 enodes
3.790 * * [simplify]: iteration 521: 558 enodes
3.795 * * [simplify]: iteration 522: 559 enodes
3.800 * * [simplify]: iteration 523: 560 enodes
3.804 * * [simplify]: iteration 524: 561 enodes
3.809 * * [simplify]: iteration 525: 562 enodes
3.814 * * [simplify]: iteration 526: 563 enodes
3.824 * * [simplify]: iteration 527: 564 enodes
3.832 * * [simplify]: iteration 528: 565 enodes
3.841 * * [simplify]: iteration 529: 566 enodes
3.850 * * [simplify]: iteration 530: 567 enodes
3.859 * * [simplify]: iteration 531: 568 enodes
3.867 * * [simplify]: iteration 532: 569 enodes
3.877 * * [simplify]: iteration 533: 570 enodes
3.882 * * [simplify]: iteration 534: 571 enodes
3.888 * * [simplify]: iteration 535: 572 enodes
3.894 * * [simplify]: iteration 536: 573 enodes
3.904 * * [simplify]: iteration 537: 574 enodes
3.913 * * [simplify]: iteration 538: 575 enodes
3.922 * * [simplify]: iteration 539: 576 enodes
3.931 * * [simplify]: iteration 540: 577 enodes
3.940 * * [simplify]: iteration 541: 578 enodes
3.949 * * [simplify]: iteration 542: 579 enodes
3.959 * * [simplify]: iteration 543: 580 enodes
3.965 * * [simplify]: iteration 544: 581 enodes
3.970 * * [simplify]: iteration 545: 582 enodes
3.974 * * [simplify]: iteration 546: 583 enodes
3.979 * * [simplify]: iteration 547: 584 enodes
3.983 * * [simplify]: iteration 548: 585 enodes
3.988 * * [simplify]: iteration 549: 586 enodes
3.997 * * [simplify]: iteration 550: 587 enodes
4.007 * * [simplify]: iteration 551: 588 enodes
4.015 * * [simplify]: iteration 552: 589 enodes
4.020 * * [simplify]: iteration 553: 590 enodes
4.024 * * [simplify]: iteration 554: 591 enodes
4.029 * * [simplify]: iteration 555: 592 enodes
4.033 * * [simplify]: iteration 556: 593 enodes
4.038 * * [simplify]: iteration 557: 594 enodes
4.043 * * [simplify]: iteration 558: 595 enodes
4.053 * * [simplify]: iteration 559: 596 enodes
4.062 * * [simplify]: iteration 560: 597 enodes
4.069 * * [simplify]: iteration 561: 598 enodes
4.073 * * [simplify]: iteration 562: 599 enodes
4.078 * * [simplify]: iteration 563: 600 enodes
4.083 * * [simplify]: iteration 564: 601 enodes
4.087 * * [simplify]: iteration 565: 602 enodes
4.093 * * [simplify]: iteration 566: 603 enodes
4.098 * * [simplify]: iteration 567: 604 enodes
4.102 * * [simplify]: iteration 568: 605 enodes
4.107 * * [simplify]: iteration 569: 606 enodes
4.112 * * [simplify]: iteration 570: 607 enodes
4.116 * * [simplify]: iteration 571: 608 enodes
4.121 * * [simplify]: iteration 572: 609 enodes
4.126 * * [simplify]: iteration 573: 610 enodes
4.130 * * [simplify]: iteration 574: 611 enodes
4.135 * * [simplify]: iteration 575: 612 enodes
4.140 * * [simplify]: iteration 576: 613 enodes
4.144 * * [simplify]: iteration 577: 614 enodes
4.149 * * [simplify]: iteration 578: 615 enodes
4.154 * * [simplify]: iteration 579: 616 enodes
4.158 * * [simplify]: iteration 580: 617 enodes
4.164 * * [simplify]: iteration 581: 618 enodes
4.169 * * [simplify]: iteration 582: 619 enodes
4.173 * * [simplify]: iteration 583: 620 enodes
4.182 * * [simplify]: iteration 584: 621 enodes
4.191 * * [simplify]: iteration 585: 622 enodes
4.200 * * [simplify]: iteration 586: 623 enodes
4.210 * * [simplify]: iteration 587: 624 enodes
4.219 * * [simplify]: iteration 588: 625 enodes
4.228 * * [simplify]: iteration 589: 626 enodes
4.232 * * [simplify]: iteration 590: 627 enodes
4.237 * * [simplify]: iteration 591: 628 enodes
4.241 * * [simplify]: iteration 592: 629 enodes
4.246 * * [simplify]: iteration 593: 630 enodes
4.251 * * [simplify]: iteration 594: 631 enodes
4.255 * * [simplify]: iteration 595: 632 enodes
4.262 * * [simplify]: iteration 596: 633 enodes
4.273 * * [simplify]: iteration 597: 634 enodes
4.283 * * [simplify]: iteration 598: 635 enodes
4.292 * * [simplify]: iteration 599: 636 enodes
4.301 * * [simplify]: iteration 600: 637 enodes
4.311 * * [simplify]: iteration 601: 638 enodes
4.320 * * [simplify]: iteration 602: 639 enodes
4.329 * * [simplify]: iteration 603: 640 enodes
4.338 * * [simplify]: iteration 604: 641 enodes
4.348 * * [simplify]: iteration 605: 642 enodes
4.357 * * [simplify]: iteration 606: 643 enodes
4.367 * * [simplify]: iteration 607: 644 enodes
4.376 * * [simplify]: iteration 608: 645 enodes
4.386 * * [simplify]: iteration 609: 646 enodes
4.395 * * [simplify]: iteration 610: 647 enodes
4.404 * * [simplify]: iteration 611: 648 enodes
4.415 * * [simplify]: iteration 612: 649 enodes
4.423 * * [simplify]: iteration 613: 650 enodes
4.428 * * [simplify]: iteration 614: 651 enodes
4.432 * * [simplify]: iteration 615: 652 enodes
4.437 * * [simplify]: iteration 616: 653 enodes
4.442 * * [simplify]: iteration 617: 654 enodes
4.451 * * [simplify]: iteration 618: 655 enodes
4.459 * * [simplify]: iteration 619: 656 enodes
4.464 * * [simplify]: iteration 620: 657 enodes
4.468 * * [simplify]: iteration 621: 658 enodes
4.473 * * [simplify]: iteration 622: 659 enodes
4.478 * * [simplify]: iteration 623: 660 enodes
4.482 * * [simplify]: iteration 624: 661 enodes
4.488 * * [simplify]: iteration 625: 662 enodes
4.497 * * [simplify]: iteration 626: 663 enodes
4.507 * * [simplify]: iteration 627: 664 enodes
4.517 * * [simplify]: iteration 628: 665 enodes
4.527 * * [simplify]: iteration 629: 666 enodes
4.536 * * [simplify]: iteration 630: 667 enodes
4.546 * * [simplify]: iteration 631: 668 enodes
4.552 * * [simplify]: iteration 632: 669 enodes
4.557 * * [simplify]: iteration 633: 670 enodes
4.562 * * [simplify]: iteration 634: 671 enodes
4.566 * * [simplify]: iteration 635: 672 enodes
4.572 * * [simplify]: iteration 636: 673 enodes
4.581 * * [simplify]: iteration 637: 674 enodes
4.590 * * [simplify]: iteration 638: 675 enodes
4.600 * * [simplify]: iteration 639: 676 enodes
4.610 * * [simplify]: iteration 640: 677 enodes
4.620 * * [simplify]: iteration 641: 678 enodes
4.629 * * [simplify]: iteration 642: 679 enodes
4.641 * * [simplify]: iteration 643: 680 enodes
4.650 * * [simplify]: iteration 644: 681 enodes
4.659 * * [simplify]: iteration 645: 682 enodes
4.663 * * [simplify]: iteration 646: 683 enodes
4.668 * * [simplify]: iteration 647: 684 enodes
4.672 * * [simplify]: iteration 648: 685 enodes
4.677 * * [simplify]: iteration 649: 686 enodes
4.682 * * [simplify]: iteration 650: 687 enodes
4.687 * * [simplify]: iteration 651: 688 enodes
4.691 * * [simplify]: iteration 652: 689 enodes
4.697 * * [simplify]: iteration 653: 690 enodes
4.706 * * [simplify]: iteration 654: 691 enodes
4.716 * * [simplify]: iteration 655: 692 enodes
4.725 * * [simplify]: iteration 656: 693 enodes
4.735 * * [simplify]: iteration 657: 694 enodes
4.743 * * [simplify]: iteration 658: 695 enodes
4.749 * * [simplify]: iteration 659: 696 enodes
4.754 * * [simplify]: iteration 660: 697 enodes
4.759 * * [simplify]: iteration 661: 698 enodes
4.764 * * [simplify]: iteration 662: 699 enodes
4.768 * * [simplify]: iteration 663: 700 enodes
4.773 * * [simplify]: iteration 664: 701 enodes
4.778 * * [simplify]: iteration 665: 702 enodes
4.782 * * [simplify]: iteration 666: 703 enodes
4.787 * * [simplify]: iteration 667: 704 enodes
4.792 * * [simplify]: iteration 668: 705 enodes
4.796 * * [simplify]: iteration 669: 706 enodes
4.801 * * [simplify]: iteration 670: 707 enodes
4.806 * * [simplify]: iteration 671: 708 enodes
4.810 * * [simplify]: iteration 672: 709 enodes
4.815 * * [simplify]: iteration 673: 710 enodes
4.820 * * [simplify]: iteration 674: 711 enodes
4.825 * * [simplify]: iteration 675: 712 enodes
4.829 * * [simplify]: iteration 676: 713 enodes
4.834 * * [simplify]: iteration 677: 714 enodes
4.839 * * [simplify]: iteration 678: 715 enodes
4.843 * * [simplify]: iteration 679: 716 enodes
4.848 * * [simplify]: iteration 680: 717 enodes
4.853 * * [simplify]: iteration 681: 718 enodes
4.857 * * [simplify]: iteration 682: 719 enodes
4.862 * * [simplify]: iteration 683: 720 enodes
4.866 * * [simplify]: iteration 684: 721 enodes
4.871 * * [simplify]: iteration 685: 722 enodes
4.875 * * [simplify]: iteration 686: 723 enodes
4.880 * * [simplify]: iteration 687: 724 enodes
4.884 * * [simplify]: iteration 688: 725 enodes
4.889 * * [simplify]: iteration 689: 726 enodes
4.895 * * [simplify]: iteration 690: 727 enodes
4.900 * * [simplify]: iteration 691: 728 enodes
4.904 * * [simplify]: iteration 692: 729 enodes
4.909 * * [simplify]: iteration 693: 730 enodes
4.913 * * [simplify]: iteration 694: 731 enodes
4.923 * * [simplify]: iteration 695: 732 enodes
4.932 * * [simplify]: iteration 696: 733 enodes
4.942 * * [simplify]: iteration 697: 734 enodes
4.950 * * [simplify]: iteration 698: 735 enodes
4.955 * * [simplify]: iteration 699: 736 enodes
4.960 * * [simplify]: iteration 700: 737 enodes
4.965 * * [simplify]: iteration 701: 738 enodes
4.969 * * [simplify]: iteration 702: 739 enodes
4.974 * * [simplify]: iteration 703: 740 enodes
4.978 * * [simplify]: iteration 704: 741 enodes
4.984 * * [simplify]: iteration 705: 742 enodes
4.988 * * [simplify]: iteration 706: 743 enodes
4.993 * * [simplify]: iteration 707: 744 enodes
5.001 * * [simplify]: iteration 708: 745 enodes
5.008 * * [simplify]: iteration 709: 746 enodes
5.012 * * [simplify]: iteration 710: 747 enodes
5.017 * * [simplify]: iteration 711: 748 enodes
5.022 * * [simplify]: iteration 712: 749 enodes
5.026 * * [simplify]: iteration 713: 750 enodes
5.031 * * [simplify]: iteration 714: 751 enodes
5.035 * * [simplify]: iteration 715: 752 enodes
5.040 * * [simplify]: iteration 716: 753 enodes
5.045 * * [simplify]: iteration 717: 754 enodes
5.049 * * [simplify]: iteration 718: 755 enodes
5.054 * * [simplify]: iteration 719: 756 enodes
5.058 * * [simplify]: iteration 720: 757 enodes
5.064 * * [simplify]: iteration 721: 758 enodes
5.071 * * [simplify]: iteration 722: 759 enodes
5.081 * * [simplify]: iteration 723: 760 enodes
5.089 * * [simplify]: iteration 724: 761 enodes
5.099 * * [simplify]: iteration 725: 762 enodes
5.103 * * [simplify]: iteration 726: 763 enodes
5.108 * * [simplify]: iteration 727: 764 enodes
5.113 * * [simplify]: iteration 728: 765 enodes
5.118 * * [simplify]: iteration 729: 766 enodes
5.126 * * [simplify]: iteration 730: 767 enodes
5.136 * * [simplify]: iteration 731: 768 enodes
5.144 * * [simplify]: iteration 732: 769 enodes
5.150 * * [simplify]: iteration 733: 770 enodes
5.154 * * [simplify]: iteration 734: 771 enodes
5.159 * * [simplify]: iteration 735: 772 enodes
5.165 * * [simplify]: iteration 736: 773 enodes
5.174 * * [simplify]: iteration 737: 774 enodes
5.182 * * [simplify]: iteration 738: 775 enodes
5.192 * * [simplify]: iteration 739: 776 enodes
5.201 * * [simplify]: iteration 740: 777 enodes
5.211 * * [simplify]: iteration 741: 778 enodes
5.220 * * [simplify]: iteration 742: 779 enodes
5.230 * * [simplify]: iteration 743: 780 enodes
5.239 * * [simplify]: iteration 744: 781 enodes
5.249 * * [simplify]: iteration 745: 782 enodes
5.258 * * [simplify]: iteration 746: 783 enodes
5.267 * * [simplify]: iteration 747: 784 enodes
5.276 * * [simplify]: iteration 748: 785 enodes
5.285 * * [simplify]: iteration 749: 786 enodes
5.295 * * [simplify]: iteration 750: 787 enodes
5.304 * * [simplify]: iteration 751: 788 enodes
5.315 * * [simplify]: iteration 752: 789 enodes
5.325 * * [simplify]: iteration 753: 790 enodes
5.334 * * [simplify]: iteration 754: 791 enodes
5.344 * * [simplify]: iteration 755: 792 enodes
5.352 * * [simplify]: iteration 756: 793 enodes
5.362 * * [simplify]: iteration 757: 794 enodes
5.371 * * [simplify]: iteration 758: 795 enodes
5.380 * * [simplify]: iteration 759: 796 enodes
5.389 * * [simplify]: iteration 760: 797 enodes
5.400 * * [simplify]: iteration 761: 798 enodes
5.409 * * [simplify]: iteration 762: 799 enodes
5.418 * * [simplify]: iteration 763: 800 enodes
5.427 * * [simplify]: iteration 764: 801 enodes
5.436 * * [simplify]: iteration 765: 802 enodes
5.445 * * [simplify]: iteration 766: 803 enodes
5.456 * * [simplify]: iteration 767: 804 enodes
5.465 * * [simplify]: iteration 768: 805 enodes
5.475 * * [simplify]: iteration 769: 806 enodes
5.484 * * [simplify]: iteration 770: 807 enodes
5.494 * * [simplify]: iteration 771: 808 enodes
5.503 * * [simplify]: iteration 772: 809 enodes
5.512 * * [simplify]: iteration 773: 810 enodes
5.522 * * [simplify]: iteration 774: 811 enodes
5.531 * * [simplify]: iteration 775: 812 enodes
5.540 * * [simplify]: iteration 776: 813 enodes
5.546 * * [simplify]: iteration 777: 814 enodes
5.550 * * [simplify]: iteration 778: 815 enodes
5.555 * * [simplify]: iteration 779: 816 enodes
5.559 * * [simplify]: iteration 780: 817 enodes
5.564 * * [simplify]: iteration 781: 818 enodes
5.568 * * [simplify]: iteration 782: 819 enodes
5.578 * * [simplify]: iteration 783: 820 enodes
5.587 * * [simplify]: iteration 784: 821 enodes
5.596 * * [simplify]: iteration 785: 822 enodes
5.605 * * [simplify]: iteration 786: 823 enodes
5.615 * * [simplify]: iteration 787: 824 enodes
5.625 * * [simplify]: iteration 788: 825 enodes
5.634 * * [simplify]: iteration 789: 826 enodes
5.643 * * [simplify]: iteration 790: 827 enodes
5.653 * * [simplify]: iteration 791: 828 enodes
5.658 * * [simplify]: iteration 792: 829 enodes
5.663 * * [simplify]: iteration 793: 830 enodes
5.667 * * [simplify]: iteration 794: 831 enodes
5.672 * * [simplify]: iteration 795: 832 enodes
5.677 * * [simplify]: iteration 796: 833 enodes
5.682 * * [simplify]: iteration 797: 834 enodes
5.688 * * [simplify]: iteration 798: 835 enodes
5.693 * * [simplify]: iteration 799: 836 enodes
5.697 * * [simplify]: iteration 800: 837 enodes
5.702 * * [simplify]: iteration 801: 838 enodes
5.706 * * [simplify]: iteration 802: 839 enodes
5.711 * * [simplify]: iteration 803: 840 enodes
5.715 * * [simplify]: iteration 804: 841 enodes
5.720 * * [simplify]: iteration 805: 842 enodes
5.727 * * [simplify]: iteration 806: 843 enodes
5.737 * * [simplify]: iteration 807: 844 enodes
5.746 * * [simplify]: iteration 808: 845 enodes
5.751 * * [simplify]: iteration 809: 846 enodes
5.755 * * [simplify]: iteration 810: 847 enodes
5.761 * * [simplify]: iteration 811: 848 enodes
5.765 * * [simplify]: iteration 812: 849 enodes
5.770 * * [simplify]: iteration 813: 850 enodes
5.776 * * [simplify]: iteration 814: 851 enodes
5.782 * * [simplify]: iteration 815: 852 enodes
5.786 * * [simplify]: iteration 816: 853 enodes
5.791 * * [simplify]: iteration 817: 854 enodes
5.795 * * [simplify]: iteration 818: 855 enodes
5.800 * * [simplify]: iteration 819: 856 enodes
5.804 * * [simplify]: iteration 820: 857 enodes
5.809 * * [simplify]: iteration 821: 858 enodes
5.813 * * [simplify]: iteration 822: 859 enodes
5.818 * * [simplify]: iteration 823: 860 enodes
5.822 * * [simplify]: iteration 824: 861 enodes
5.832 * * [simplify]: iteration 825: 862 enodes
5.841 * * [simplify]: iteration 826: 863 enodes
5.850 * * [simplify]: iteration 827: 864 enodes
5.856 * * [simplify]: iteration 828: 865 enodes
5.862 * * [simplify]: iteration 829: 866 enodes
5.867 * * [simplify]: iteration 830: 867 enodes
5.872 * * [simplify]: iteration 831: 868 enodes
5.876 * * [simplify]: iteration 832: 869 enodes
5.881 * * [simplify]: iteration 833: 870 enodes
5.885 * * [simplify]: iteration 834: 871 enodes
5.894 * * [simplify]: iteration 835: 872 enodes
5.904 * * [simplify]: iteration 836: 873 enodes
5.914 * * [simplify]: iteration 837: 874 enodes
5.922 * * [simplify]: iteration 838: 875 enodes
5.931 * * [simplify]: iteration 839: 876 enodes
5.939 * * [simplify]: iteration 840: 877 enodes
5.949 * * [simplify]: iteration 841: 878 enodes
5.958 * * [simplify]: iteration 842: 879 enodes
5.968 * * [simplify]: iteration 843: 880 enodes
5.978 * * [simplify]: iteration 844: 881 enodes
5.988 * * [simplify]: iteration 845: 882 enodes
5.992 * * [simplify]: iteration 846: 883 enodes
5.997 * * [simplify]: iteration 847: 884 enodes
6.001 * * [simplify]: iteration 848: 885 enodes
6.006 * * [simplify]: iteration 849: 886 enodes
6.011 * * [simplify]: iteration 850: 887 enodes
6.017 * * [simplify]: iteration 851: 888 enodes
6.026 * * [simplify]: iteration 852: 889 enodes
6.036 * * [simplify]: iteration 853: 890 enodes
6.046 * * [simplify]: iteration 854: 891 enodes
6.056 * * [simplify]: iteration 855: 892 enodes
6.065 * * [simplify]: iteration 856: 893 enodes
6.075 * * [simplify]: iteration 857: 894 enodes
6.084 * * [simplify]: iteration 858: 895 enodes
6.094 * * [simplify]: iteration 859: 896 enodes
6.105 * * [simplify]: iteration 860: 897 enodes
6.112 * * [simplify]: iteration 861: 898 enodes
6.117 * * [simplify]: iteration 862: 899 enodes
6.122 * * [simplify]: iteration 863: 900 enodes
6.126 * * [simplify]: iteration 864: 901 enodes
6.131 * * [simplify]: iteration 865: 902 enodes
6.135 * * [simplify]: iteration 866: 903 enodes
6.143 * * [simplify]: iteration 867: 904 enodes
6.152 * * [simplify]: iteration 868: 905 enodes
6.158 * * [simplify]: iteration 869: 906 enodes
6.162 * * [simplify]: iteration 870: 907 enodes
6.167 * * [simplify]: iteration 871: 908 enodes
6.171 * * [simplify]: iteration 872: 909 enodes
6.176 * * [simplify]: iteration 873: 910 enodes
6.181 * * [simplify]: iteration 874: 911 enodes
6.185 * * [simplify]: iteration 875: 912 enodes
6.191 * * [simplify]: iteration 876: 913 enodes
6.196 * * [simplify]: iteration 877: 914 enodes
6.203 * * [simplify]: iteration 878: 915 enodes
6.212 * * [simplify]: iteration 879: 916 enodes
6.221 * * [simplify]: iteration 880: 917 enodes
6.231 * * [simplify]: iteration 881: 918 enodes
6.239 * * [simplify]: iteration 882: 919 enodes
6.245 * * [simplify]: iteration 883: 920 enodes
6.250 * * [simplify]: iteration 884: 921 enodes
6.254 * * [simplify]: iteration 885: 922 enodes
6.259 * * [simplify]: iteration 886: 923 enodes
6.264 * * [simplify]: iteration 887: 924 enodes
6.269 * * [simplify]: iteration 888: 925 enodes
6.274 * * [simplify]: iteration 889: 926 enodes
6.278 * * [simplify]: iteration 890: 927 enodes
6.284 * * [simplify]: iteration 891: 928 enodes
6.289 * * [simplify]: iteration 892: 929 enodes
6.293 * * [simplify]: iteration 893: 930 enodes
6.298 * * [simplify]: iteration 894: 931 enodes
6.302 * * [simplify]: iteration 895: 932 enodes
6.307 * * [simplify]: iteration 896: 933 enodes
6.311 * * [simplify]: iteration 897: 934 enodes
6.316 * * [simplify]: iteration 898: 935 enodes
6.321 * * [simplify]: iteration 899: 936 enodes
6.325 * * [simplify]: iteration 900: 937 enodes
6.330 * * [simplify]: iteration 901: 938 enodes
6.335 * * [simplify]: iteration 902: 939 enodes
6.340 * * [simplify]: iteration 903: 940 enodes
6.344 * * [simplify]: iteration 904: 941 enodes
6.349 * * [simplify]: iteration 905: 942 enodes
6.357 * * [simplify]: iteration 906: 943 enodes
6.369 * * [simplify]: iteration 907: 944 enodes
6.378 * * [simplify]: iteration 908: 945 enodes
6.387 * * [simplify]: iteration 909: 946 enodes
6.397 * * [simplify]: iteration 910: 947 enodes
6.406 * * [simplify]: iteration 911: 948 enodes
6.415 * * [simplify]: iteration 912: 949 enodes
6.419 * * [simplify]: iteration 913: 950 enodes
6.424 * * [simplify]: iteration 914: 951 enodes
6.428 * * [simplify]: iteration 915: 952 enodes
6.433 * * [simplify]: iteration 916: 953 enodes
6.437 * * [simplify]: iteration 917: 954 enodes
6.442 * * [simplify]: iteration 918: 955 enodes
6.447 * * [simplify]: iteration 919: 956 enodes
6.452 * * [simplify]: iteration 920: 957 enodes
6.462 * * [simplify]: iteration 921: 958 enodes
6.471 * * [simplify]: iteration 922: 959 enodes
6.475 * * [simplify]: iteration 923: 960 enodes
6.480 * * [simplify]: iteration 924: 961 enodes
6.485 * * [simplify]: iteration 925: 962 enodes
6.489 * * [simplify]: iteration 926: 963 enodes
6.494 * * [simplify]: iteration 927: 964 enodes
6.498 * * [simplify]: iteration 928: 965 enodes
6.502 * * [simplify]: iteration 929: 966 enodes
6.507 * * [simplify]: iteration 930: 967 enodes
6.511 * * [simplify]: iteration 931: 968 enodes
6.516 * * [simplify]: iteration 932: 969 enodes
6.520 * * [simplify]: iteration 933: 970 enodes
6.525 * * [simplify]: iteration 934: 971 enodes
6.529 * * [simplify]: iteration 935: 972 enodes
6.534 * * [simplify]: iteration 936: 973 enodes
6.538 * * [simplify]: iteration 937: 974 enodes
6.548 * * [simplify]: iteration 938: 975 enodes
6.558 * * [simplify]: iteration 939: 976 enodes
6.565 * * [simplify]: iteration 940: 977 enodes
6.569 * * [simplify]: iteration 941: 978 enodes
6.574 * * [simplify]: iteration 942: 979 enodes
6.578 * * [simplify]: iteration 943: 980 enodes
6.583 * * [simplify]: iteration 944: 981 enodes
6.588 * * [simplify]: iteration 945: 982 enodes
6.592 * * [simplify]: iteration 946: 983 enodes
6.597 * * [simplify]: iteration 947: 984 enodes
6.601 * * [simplify]: iteration 948: 985 enodes
6.606 * * [simplify]: iteration 949: 986 enodes
6.610 * * [simplify]: iteration 950: 987 enodes
6.615 * * [simplify]: iteration 951: 988 enodes
6.619 * * [simplify]: iteration 952: 989 enodes
6.625 * * [simplify]: iteration 953: 990 enodes
6.630 * * [simplify]: iteration 954: 991 enodes
6.635 * * [simplify]: iteration 955: 992 enodes
6.642 * * [simplify]: iteration 956: 993 enodes
6.651 * * [simplify]: iteration 957: 994 enodes
6.658 * * [simplify]: iteration 958: 995 enodes
6.666 * * [simplify]: iteration 959: 996 enodes
6.674 * * [simplify]: iteration 960: 997 enodes
6.682 * * [simplify]: iteration 961: 998 enodes
6.689 * * [simplify]: iteration 962: 999 enodes
6.698 * * [simplify]: iteration 963: 1000 enodes
6.705 * * [simplify]: iteration 964: 1001 enodes
6.714 * * [simplify]: iteration 965: 1002 enodes
6.722 * * [simplify]: iteration 966: 1003 enodes
6.732 * * [simplify]: iteration 967: 1004 enodes
6.737 * * [simplify]: iteration 968: 1005 enodes
6.743 * * [simplify]: iteration 969: 1006 enodes
6.748 * * [simplify]: iteration 970: 1007 enodes
6.753 * * [simplify]: iteration 971: 1008 enodes
6.757 * * [simplify]: iteration 972: 1009 enodes
6.762 * * [simplify]: iteration 973: 1010 enodes
6.771 * * [simplify]: iteration 974: 1011 enodes
6.780 * * [simplify]: iteration 975: 1012 enodes
6.789 * * [simplify]: iteration 976: 1013 enodes
6.794 * * [simplify]: iteration 977: 1014 enodes
6.799 * * [simplify]: iteration 978: 1015 enodes
6.803 * * [simplify]: iteration 979: 1016 enodes
6.808 * * [simplify]: iteration 980: 1017 enodes
6.812 * * [simplify]: iteration 981: 1018 enodes
6.817 * * [simplify]: iteration 982: 1019 enodes
6.821 * * [simplify]: iteration 983: 1020 enodes
6.831 * * [simplify]: iteration 984: 1021 enodes
6.841 * * [simplify]: iteration 985: 1022 enodes
6.850 * * [simplify]: iteration 986: 1023 enodes
6.857 * * [simplify]: iteration 987: 1024 enodes
6.861 * * [simplify]: iteration 988: 1025 enodes
6.866 * * [simplify]: iteration 989: 1026 enodes
6.870 * * [simplify]: iteration 990: 1027 enodes
6.875 * * [simplify]: iteration 991: 1028 enodes
6.880 * * [simplify]: iteration 992: 1029 enodes
6.885 * * [simplify]: iteration 993: 1030 enodes
6.889 * * [simplify]: iteration 994: 1031 enodes
6.894 * * [simplify]: iteration 995: 1032 enodes
6.903 * * [simplify]: iteration 996: 1033 enodes
6.913 * * [simplify]: iteration 997: 1034 enodes
6.918 * * [simplify]: iteration 998: 1035 enodes
6.923 * * [simplify]: iteration 999: 1036 enodes
6.929 * * [simplify]: iteration 1000: 1037 enodes
6.934 * * [simplify]: iteration 1001: 1038 enodes
6.938 * * [simplify]: iteration 1002: 1039 enodes
6.943 * * [simplify]: iteration 1003: 1040 enodes
6.950 * * [simplify]: iteration 1004: 1041 enodes
6.959 * * [simplify]: iteration 1005: 1042 enodes
6.968 * * [simplify]: iteration 1006: 1043 enodes
6.978 * * [simplify]: iteration 1007: 1044 enodes
6.984 * * [simplify]: iteration 1008: 1045 enodes
6.989 * * [simplify]: iteration 1009: 1046 enodes
6.993 * * [simplify]: iteration 1010: 1047 enodes
6.998 * * [simplify]: iteration 1011: 1048 enodes
7.003 * * [simplify]: iteration 1012: 1049 enodes
7.007 * * [simplify]: iteration 1013: 1050 enodes
7.012 * * [simplify]: iteration 1014: 1051 enodes
7.018 * * [simplify]: iteration 1015: 1052 enodes
7.022 * * [simplify]: iteration 1016: 1053 enodes
7.027 * * [simplify]: iteration 1017: 1054 enodes
7.032 * * [simplify]: iteration 1018: 1055 enodes
7.037 * * [simplify]: iteration 1019: 1056 enodes
7.041 * * [simplify]: iteration 1020: 1057 enodes
7.047 * * [simplify]: iteration 1021: 1058 enodes
7.056 * * [simplify]: iteration 1022: 1059 enodes
7.066 * * [simplify]: iteration 1023: 1060 enodes
7.074 * * [simplify]: iteration 1024: 1061 enodes
7.084 * * [simplify]: iteration 1025: 1062 enodes
7.093 * * [simplify]: iteration 1026: 1063 enodes
7.102 * * [simplify]: iteration 1027: 1064 enodes
7.111 * * [simplify]: iteration 1028: 1065 enodes
7.121 * * [simplify]: iteration 1029: 1066 enodes
7.126 * * [simplify]: iteration 1030: 1067 enodes
7.131 * * [simplify]: iteration 1031: 1068 enodes
7.136 * * [simplify]: iteration 1032: 1069 enodes
7.141 * * [simplify]: iteration 1033: 1070 enodes
7.145 * * [simplify]: iteration 1034: 1071 enodes
7.150 * * [simplify]: iteration 1035: 1072 enodes
7.154 * * [simplify]: iteration 1036: 1073 enodes
7.160 * * [simplify]: iteration 1037: 1074 enodes
7.169 * * [simplify]: iteration 1038: 1075 enodes
7.179 * * [simplify]: iteration 1039: 1076 enodes
7.188 * * [simplify]: iteration 1040: 1077 enodes
7.197 * * [simplify]: iteration 1041: 1078 enodes
7.206 * * [simplify]: iteration 1042: 1079 enodes
7.213 * * [simplify]: iteration 1043: 1080 enodes
7.218 * * [simplify]: iteration 1044: 1081 enodes
7.222 * * [simplify]: iteration 1045: 1082 enodes
7.228 * * [simplify]: iteration 1046: 1083 enodes
7.233 * * [simplify]: iteration 1047: 1084 enodes
7.237 * * [simplify]: iteration 1048: 1085 enodes
7.242 * * [simplify]: iteration 1049: 1086 enodes
7.246 * * [simplify]: iteration 1050: 1087 enodes
7.251 * * [simplify]: iteration 1051: 1088 enodes
7.256 * * [simplify]: iteration 1052: 1089 enodes
7.261 * * [simplify]: iteration 1053: 1090 enodes
7.268 * * [simplify]: iteration 1054: 1091 enodes
7.278 * * [simplify]: iteration 1055: 1092 enodes
7.287 * * [simplify]: iteration 1056: 1093 enodes
7.297 * * [simplify]: iteration 1057: 1094 enodes
7.306 * * [simplify]: iteration 1058: 1095 enodes
7.315 * * [simplify]: iteration 1059: 1096 enodes
7.324 * * [simplify]: iteration 1060: 1097 enodes
7.334 * * [simplify]: iteration 1061: 1098 enodes
7.344 * * [simplify]: iteration 1062: 1099 enodes
7.350 * * [simplify]: iteration 1063: 1100 enodes
7.354 * * [simplify]: iteration 1064: 1101 enodes
7.359 * * [simplify]: iteration 1065: 1102 enodes
7.363 * * [simplify]: iteration 1066: 1103 enodes
7.368 * * [simplify]: iteration 1067: 1104 enodes
7.372 * * [simplify]: iteration 1068: 1105 enodes
7.377 * * [simplify]: iteration 1069: 1106 enodes
7.385 * * [simplify]: iteration 1070: 1107 enodes
7.394 * * [simplify]: iteration 1071: 1108 enodes
7.398 * * [simplify]: iteration 1072: 1109 enodes
7.403 * * [simplify]: iteration 1073: 1110 enodes
7.408 * * [simplify]: iteration 1074: 1111 enodes
7.412 * * [simplify]: iteration 1075: 1112 enodes
7.417 * * [simplify]: iteration 1076: 1113 enodes
7.422 * * [simplify]: iteration 1077: 1114 enodes
7.427 * * [simplify]: iteration 1078: 1115 enodes
7.433 * * [simplify]: iteration 1079: 1116 enodes
7.442 * * [simplify]: iteration 1080: 1117 enodes
7.451 * * [simplify]: iteration 1081: 1118 enodes
7.459 * * [simplify]: iteration 1082: 1119 enodes
7.467 * * [simplify]: iteration 1083: 1120 enodes
7.471 * * [simplify]: iteration 1084: 1121 enodes
7.476 * * [simplify]: iteration 1085: 1122 enodes
7.480 * * [simplify]: iteration 1086: 1123 enodes
7.485 * * [simplify]: iteration 1087: 1124 enodes
7.490 * * [simplify]: iteration 1088: 1125 enodes
7.495 * * [simplify]: iteration 1089: 1126 enodes
7.503 * * [simplify]: iteration 1090: 1127 enodes
7.511 * * [simplify]: iteration 1091: 1128 enodes
7.520 * * [simplify]: iteration 1092: 1129 enodes
7.530 * * [simplify]: iteration 1093: 1130 enodes
7.538 * * [simplify]: iteration 1094: 1131 enodes
7.546 * * [simplify]: iteration 1095: 1132 enodes
7.554 * * [simplify]: iteration 1096: 1133 enodes
7.563 * * [simplify]: iteration 1097: 1134 enodes
7.570 * * [simplify]: iteration 1098: 1135 enodes
7.579 * * [simplify]: iteration 1099: 1136 enodes
7.588 * * [simplify]: iteration 1100: 1137 enodes
7.598 * * [simplify]: iteration 1101: 1138 enodes
7.607 * * [simplify]: iteration 1102: 1139 enodes
7.617 * * [simplify]: iteration 1103: 1140 enodes
7.625 * * [simplify]: iteration 1104: 1141 enodes
7.635 * * [simplify]: iteration 1105: 1142 enodes
7.644 * * [simplify]: iteration 1106: 1143 enodes
7.654 * * [simplify]: iteration 1107: 1144 enodes
7.665 * * [simplify]: iteration 1108: 1145 enodes
7.674 * * [simplify]: iteration 1109: 1146 enodes
7.680 * * [simplify]: iteration 1110: 1147 enodes
7.685 * * [simplify]: iteration 1111: 1148 enodes
7.690 * * [simplify]: iteration 1112: 1149 enodes
7.695 * * [simplify]: iteration 1113: 1150 enodes
7.699 * * [simplify]: iteration 1114: 1151 enodes
7.704 * * [simplify]: iteration 1115: 1152 enodes
7.709 * * [simplify]: iteration 1116: 1153 enodes
7.718 * * [simplify]: iteration 1117: 1154 enodes
7.727 * * [simplify]: iteration 1118: 1155 enodes
7.736 * * [simplify]: iteration 1119: 1156 enodes
7.744 * * [simplify]: iteration 1120: 1157 enodes
7.754 * * [simplify]: iteration 1121: 1158 enodes
7.763 * * [simplify]: iteration 1122: 1159 enodes
7.773 * * [simplify]: iteration 1123: 1160 enodes
7.783 * * [simplify]: iteration 1124: 1161 enodes
7.793 * * [simplify]: iteration 1125: 1162 enodes
7.802 * * [simplify]: iteration 1126: 1163 enodes
7.812 * * [simplify]: iteration 1127: 1164 enodes
7.820 * * [simplify]: iteration 1128: 1165 enodes
7.830 * * [simplify]: iteration 1129: 1166 enodes
7.839 * * [simplify]: iteration 1130: 1167 enodes
7.849 * * [simplify]: iteration 1131: 1168 enodes
7.854 * * [simplify]: iteration 1132: 1169 enodes
7.859 * * [simplify]: iteration 1133: 1170 enodes
7.863 * * [simplify]: iteration 1134: 1171 enodes
7.868 * * [simplify]: iteration 1135: 1172 enodes
7.872 * * [simplify]: iteration 1136: 1173 enodes
7.877 * * [simplify]: iteration 1137: 1174 enodes
7.881 * * [simplify]: iteration 1138: 1175 enodes
7.891 * * [simplify]: iteration 1139: 1176 enodes
7.899 * * [simplify]: iteration 1140: 1177 enodes
7.908 * * [simplify]: iteration 1141: 1178 enodes
7.916 * * [simplify]: iteration 1142: 1179 enodes
7.925 * * [simplify]: iteration 1143: 1180 enodes
7.933 * * [simplify]: iteration 1144: 1181 enodes
7.941 * * [simplify]: iteration 1145: 1182 enodes
7.949 * * [simplify]: iteration 1146: 1183 enodes
7.959 * * [simplify]: iteration 1147: 1184 enodes
7.967 * * [simplify]: iteration 1148: 1185 enodes
7.977 * * [simplify]: iteration 1149: 1186 enodes
7.985 * * [simplify]: iteration 1150: 1187 enodes
7.995 * * [simplify]: iteration 1151: 1188 enodes
8.004 * * [simplify]: iteration 1152: 1189 enodes
8.013 * * [simplify]: iteration 1153: 1190 enodes
8.021 * * [simplify]: iteration 1154: 1191 enodes
8.031 * * [simplify]: iteration 1155: 1192 enodes
8.037 * * [simplify]: iteration 1156: 1193 enodes
8.042 * * [simplify]: iteration 1157: 1194 enodes
8.047 * * [simplify]: iteration 1158: 1195 enodes
8.051 * * [simplify]: iteration 1159: 1196 enodes
8.057 * * [simplify]: iteration 1160: 1197 enodes
8.066 * * [simplify]: iteration 1161: 1198 enodes
8.074 * * [simplify]: iteration 1162: 1199 enodes
8.081 * * [simplify]: iteration 1163: 1200 enodes
8.085 * * [simplify]: iteration 1164: 1201 enodes
8.089 * * [simplify]: iteration 1165: 1202 enodes
8.094 * * [simplify]: iteration 1166: 1203 enodes
8.099 * * [simplify]: iteration 1167: 1204 enodes
8.107 * * [simplify]: iteration 1168: 1205 enodes
8.115 * * [simplify]: iteration 1169: 1206 enodes
8.122 * * [simplify]: iteration 1170: 1207 enodes
8.127 * * [simplify]: iteration 1171: 1208 enodes
8.133 * * [simplify]: iteration 1172: 1209 enodes
8.141 * * [simplify]: iteration 1173: 1210 enodes
8.149 * * [simplify]: iteration 1174: 1211 enodes
8.158 * * [simplify]: iteration 1175: 1212 enodes
8.166 * * [simplify]: iteration 1176: 1213 enodes
8.172 * * [simplify]: iteration 1177: 1214 enodes
8.177 * * [simplify]: iteration 1178: 1215 enodes
8.181 * * [simplify]: iteration 1179: 1216 enodes
8.186 * * [simplify]: iteration 1180: 1217 enodes
8.191 * * [simplify]: iteration 1181: 1218 enodes
8.195 * * [simplify]: iteration 1182: 1219 enodes
8.203 * * [simplify]: iteration 1183: 1220 enodes
8.211 * * [simplify]: iteration 1184: 1221 enodes
8.220 * * [simplify]: iteration 1185: 1222 enodes
8.228 * * [simplify]: iteration 1186: 1223 enodes
8.233 * * [simplify]: iteration 1187: 1224 enodes
8.237 * * [simplify]: iteration 1188: 1225 enodes
8.242 * * [simplify]: iteration 1189: 1226 enodes
8.246 * * [simplify]: iteration 1190: 1227 enodes
8.251 * * [simplify]: iteration 1191: 1228 enodes
8.255 * * [simplify]: iteration 1192: 1229 enodes
8.260 * * [simplify]: iteration 1193: 1230 enodes
8.265 * * [simplify]: iteration 1194: 1231 enodes
8.269 * * [simplify]: iteration 1195: 1232 enodes
8.277 * * [simplify]: iteration 1196: 1233 enodes
8.285 * * [simplify]: iteration 1197: 1234 enodes
8.290 * * [simplify]: iteration 1198: 1235 enodes
8.295 * * [simplify]: iteration 1199: 1236 enodes
8.299 * * [simplify]: iteration 1200: 1237 enodes
8.305 * * [simplify]: iteration 1201: 1238 enodes
8.312 * * [simplify]: iteration 1202: 1239 enodes
8.321 * * [simplify]: iteration 1203: 1240 enodes
8.329 * * [simplify]: iteration 1204: 1241 enodes
8.337 * * [simplify]: iteration 1205: 1242 enodes
8.345 * * [simplify]: iteration 1206: 1243 enodes
8.350 * * [simplify]: iteration 1207: 1244 enodes
8.359 * * [simplify]: iteration 1208: 1245 enodes
8.365 * * [simplify]: iteration 1209: 1246 enodes
8.373 * * [simplify]: iteration 1210: 1247 enodes
8.381 * * [simplify]: iteration 1211: 1248 enodes
8.389 * * [simplify]: iteration 1212: 1249 enodes
8.396 * * [simplify]: iteration 1213: 1250 enodes
8.400 * * [simplify]: iteration 1214: 1251 enodes
8.405 * * [simplify]: iteration 1215: 1252 enodes
8.409 * * [simplify]: iteration 1216: 1253 enodes
8.418 * * [simplify]: iteration 1217: 1254 enodes
8.426 * * [simplify]: iteration 1218: 1255 enodes
8.434 * * [simplify]: iteration 1219: 1256 enodes
8.442 * * [simplify]: iteration 1220: 1257 enodes
8.451 * * [simplify]: iteration 1221: 1258 enodes
8.456 * * [simplify]: iteration 1222: 1259 enodes
8.461 * * [simplify]: iteration 1223: 1260 enodes
8.466 * * [simplify]: iteration 1224: 1261 enodes
8.471 * * [simplify]: iteration 1225: 1262 enodes
8.475 * * [simplify]: iteration 1226: 1263 enodes
8.480 * * [simplify]: iteration 1227: 1264 enodes
8.484 * * [simplify]: iteration 1228: 1265 enodes
8.493 * * [simplify]: iteration 1229: 1266 enodes
8.502 * * [simplify]: iteration 1230: 1267 enodes
8.511 * * [simplify]: iteration 1231: 1268 enodes
8.517 * * [simplify]: iteration 1232: 1269 enodes
8.522 * * [simplify]: iteration 1233: 1270 enodes
8.526 * * [simplify]: iteration 1234: 1271 enodes
8.531 * * [simplify]: iteration 1235: 1272 enodes
8.535 * * [simplify]: iteration 1236: 1273 enodes
8.542 * * [simplify]: iteration 1237: 1274 enodes
8.550 * * [simplify]: iteration 1238: 1275 enodes
8.557 * * [simplify]: iteration 1239: 1276 enodes
8.561 * * [simplify]: iteration 1240: 1277 enodes
8.566 * * [simplify]: iteration 1241: 1278 enodes
8.570 * * [simplify]: iteration 1242: 1279 enodes
8.575 * * [simplify]: iteration 1243: 1280 enodes
8.580 * * [simplify]: iteration 1244: 1281 enodes
8.587 * * [simplify]: iteration 1245: 1282 enodes
8.596 * * [simplify]: iteration 1246: 1283 enodes
8.605 * * [simplify]: iteration 1247: 1284 enodes
8.616 * * [simplify]: iteration 1248: 1285 enodes
8.626 * * [simplify]: iteration 1249: 1286 enodes
8.635 * * [simplify]: iteration 1250: 1287 enodes
8.645 * * [simplify]: iteration 1251: 1288 enodes
8.653 * * [simplify]: iteration 1252: 1289 enodes
8.659 * * [simplify]: iteration 1253: 1290 enodes
8.663 * * [simplify]: iteration 1254: 1291 enodes
8.668 * * [simplify]: iteration 1255: 1292 enodes
8.672 * * [simplify]: iteration 1256: 1293 enodes
8.677 * * [simplify]: iteration 1257: 1294 enodes
8.681 * * [simplify]: iteration 1258: 1295 enodes
8.691 * * [simplify]: iteration 1259: 1296 enodes
8.699 * * [simplify]: iteration 1260: 1297 enodes
8.709 * * [simplify]: iteration 1261: 1298 enodes
8.719 * * [simplify]: iteration 1262: 1299 enodes
8.730 * * [simplify]: iteration 1263: 1300 enodes
8.739 * * [simplify]: iteration 1264: 1301 enodes
8.749 * * [simplify]: iteration 1265: 1302 enodes
8.756 * * [simplify]: iteration 1266: 1303 enodes
8.761 * * [simplify]: iteration 1267: 1304 enodes
8.765 * * [simplify]: iteration 1268: 1305 enodes
8.770 * * [simplify]: iteration 1269: 1306 enodes
8.775 * * [simplify]: iteration 1270: 1307 enodes
8.779 * * [simplify]: iteration 1271: 1308 enodes
8.786 * * [simplify]: iteration 1272: 1309 enodes
8.796 * * [simplify]: iteration 1273: 1310 enodes
8.801 * * [simplify]: iteration 1274: 1311 enodes
8.806 * * [simplify]: iteration 1275: 1312 enodes
8.810 * * [simplify]: iteration 1276: 1313 enodes
8.815 * * [simplify]: iteration 1277: 1314 enodes
8.819 * * [simplify]: iteration 1278: 1315 enodes
8.825 * * [simplify]: iteration 1279: 1316 enodes
8.832 * * [simplify]: iteration 1280: 1317 enodes
8.841 * * [simplify]: iteration 1281: 1318 enodes
8.849 * * [simplify]: iteration 1282: 1319 enodes
8.857 * * [simplify]: iteration 1283: 1320 enodes
8.865 * * [simplify]: iteration 1284: 1321 enodes
8.874 * * [simplify]: iteration 1285: 1322 enodes
8.882 * * [simplify]: iteration 1286: 1323 enodes
8.890 * * [simplify]: iteration 1287: 1324 enodes
8.898 * * [simplify]: iteration 1288: 1325 enodes
8.904 * * [simplify]: iteration 1289: 1326 enodes
8.909 * * [simplify]: iteration 1290: 1327 enodes
8.914 * * [simplify]: iteration 1291: 1328 enodes
8.919 * * [simplify]: iteration 1292: 1329 enodes
8.925 * * [simplify]: iteration 1293: 1330 enodes
8.930 * * [simplify]: iteration 1294: 1331 enodes
8.939 * * [simplify]: iteration 1295: 1332 enodes
8.948 * * [simplify]: iteration 1296: 1333 enodes
8.957 * * [simplify]: iteration 1297: 1334 enodes
8.965 * * [simplify]: iteration 1298: 1335 enodes
8.974 * * [simplify]: iteration 1299: 1336 enodes
8.979 * * [simplify]: iteration 1300: 1337 enodes
8.984 * * [simplify]: iteration 1301: 1338 enodes
8.988 * * [simplify]: iteration 1302: 1339 enodes
8.993 * * [simplify]: iteration 1303: 1340 enodes
8.998 * * [simplify]: iteration 1304: 1341 enodes
9.003 * * [simplify]: iteration 1305: 1342 enodes
9.012 * * [simplify]: iteration 1306: 1343 enodes
9.022 * * [simplify]: iteration 1307: 1344 enodes
9.031 * * [simplify]: iteration 1308: 1345 enodes
9.041 * * [simplify]: iteration 1309: 1346 enodes
9.049 * * [simplify]: iteration 1310: 1347 enodes
9.053 * * [simplify]: iteration 1311: 1348 enodes
9.058 * * [simplify]: iteration 1312: 1349 enodes
9.062 * * [simplify]: iteration 1313: 1350 enodes
9.067 * * [simplify]: iteration 1314: 1351 enodes
9.072 * * [simplify]: iteration 1315: 1352 enodes
9.080 * * [simplify]: iteration 1316: 1353 enodes
9.089 * * [simplify]: iteration 1317: 1354 enodes
9.094 * * [simplify]: iteration 1318: 1355 enodes
9.098 * * [simplify]: iteration 1319: 1356 enodes
9.103 * * [simplify]: iteration 1320: 1357 enodes
9.108 * * [simplify]: iteration 1321: 1358 enodes
9.112 * * [simplify]: iteration 1322: 1359 enodes
9.117 * * [simplify]: iteration 1323: 1360 enodes
9.125 * * [simplify]: iteration 1324: 1361 enodes
9.137 * * [simplify]: iteration 1325: 1362 enodes
9.146 * * [simplify]: iteration 1326: 1363 enodes
9.156 * * [simplify]: iteration 1327: 1364 enodes
9.165 * * [simplify]: iteration 1328: 1365 enodes
9.175 * * [simplify]: iteration 1329: 1366 enodes
9.184 * * [simplify]: iteration 1330: 1367 enodes
9.194 * * [simplify]: iteration 1331: 1368 enodes
9.203 * * [simplify]: iteration 1332: 1369 enodes
9.213 * * [simplify]: iteration 1333: 1370 enodes
9.223 * * [simplify]: iteration 1334: 1371 enodes
9.233 * * [simplify]: iteration 1335: 1372 enodes
9.242 * * [simplify]: iteration 1336: 1373 enodes
9.251 * * [simplify]: iteration 1337: 1374 enodes
9.260 * * [simplify]: iteration 1338: 1375 enodes
9.270 * * [simplify]: iteration 1339: 1376 enodes
9.279 * * [simplify]: iteration 1340: 1377 enodes
9.290 * * [simplify]: iteration 1341: 1378 enodes
9.299 * * [simplify]: iteration 1342: 1379 enodes
9.309 * * [simplify]: iteration 1343: 1380 enodes
9.318 * * [simplify]: iteration 1344: 1381 enodes
9.327 * * [simplify]: iteration 1345: 1382 enodes
9.336 * * [simplify]: iteration 1346: 1383 enodes
9.344 * * [simplify]: iteration 1347: 1384 enodes
9.348 * * [simplify]: iteration 1348: 1385 enodes
9.353 * * [simplify]: iteration 1349: 1386 enodes
9.357 * * [simplify]: iteration 1350: 1387 enodes
9.362 * * [simplify]: iteration 1351: 1388 enodes
9.367 * * [simplify]: iteration 1352: 1389 enodes
9.372 * * [simplify]: iteration 1353: 1390 enodes
9.381 * * [simplify]: iteration 1354: 1391 enodes
9.390 * * [simplify]: iteration 1355: 1392 enodes
9.397 * * [simplify]: iteration 1356: 1393 enodes
9.406 * * [simplify]: iteration 1357: 1394 enodes
9.415 * * [simplify]: iteration 1358: 1395 enodes
9.425 * * [simplify]: iteration 1359: 1396 enodes
9.434 * * [simplify]: iteration 1360: 1397 enodes
9.443 * * [simplify]: iteration 1361: 1398 enodes
9.451 * * [simplify]: iteration 1362: 1399 enodes
9.456 * * [simplify]: iteration 1363: 1400 enodes
9.460 * * [simplify]: iteration 1364: 1401 enodes
9.465 * * [simplify]: iteration 1365: 1402 enodes
9.469 * * [simplify]: iteration 1366: 1403 enodes
9.479 * * [simplify]: iteration 1367: 1404 enodes
9.488 * * [simplify]: iteration 1368: 1405 enodes
9.498 * * [simplify]: iteration 1369: 1406 enodes
9.504 * * [simplify]: iteration 1370: 1407 enodes
9.509 * * [simplify]: iteration 1371: 1408 enodes
9.515 * * [simplify]: iteration 1372: 1409 enodes
9.520 * * [simplify]: iteration 1373: 1410 enodes
9.524 * * [simplify]: iteration 1374: 1411 enodes
9.529 * * [simplify]: iteration 1375: 1412 enodes
9.538 * * [simplify]: iteration 1376: 1413 enodes
9.548 * * [simplify]: iteration 1377: 1414 enodes
9.558 * * [simplify]: iteration 1378: 1415 enodes
9.566 * * [simplify]: iteration 1379: 1416 enodes
9.571 * * [simplify]: iteration 1380: 1417 enodes
9.575 * * [simplify]: iteration 1381: 1418 enodes
9.580 * * [simplify]: iteration 1382: 1419 enodes
9.585 * * [simplify]: iteration 1383: 1420 enodes
9.589 * * [simplify]: iteration 1384: 1421 enodes
9.593 * * [simplify]: iteration 1385: 1422 enodes
9.602 * * [simplify]: iteration 1386: 1423 enodes
9.613 * * [simplify]: iteration 1387: 1424 enodes
9.623 * * [simplify]: iteration 1388: 1425 enodes
9.629 * * [simplify]: iteration 1389: 1426 enodes
9.633 * * [simplify]: iteration 1390: 1427 enodes
9.638 * * [simplify]: iteration 1391: 1428 enodes
9.643 * * [simplify]: iteration 1392: 1429 enodes
9.648 * * [simplify]: iteration 1393: 1430 enodes
9.652 * * [simplify]: iteration 1394: 1431 enodes
9.659 * * [simplify]: iteration 1395: 1432 enodes
9.664 * * [simplify]: iteration 1396: 1433 enodes
9.668 * * [simplify]: iteration 1397: 1434 enodes
9.673 * * [simplify]: iteration 1398: 1435 enodes
9.678 * * [simplify]: iteration 1399: 1436 enodes
9.682 * * [simplify]: iteration 1400: 1437 enodes
9.688 * * [simplify]: iteration 1401: 1438 enodes
9.693 * * [simplify]: iteration 1402: 1439 enodes
9.699 * * [simplify]: iteration 1403: 1440 enodes
9.703 * * [simplify]: iteration 1404: 1441 enodes
9.709 * * [simplify]: iteration 1405: 1442 enodes
9.718 * * [simplify]: iteration 1406: 1443 enodes
9.727 * * [simplify]: iteration 1407: 1444 enodes
9.736 * * [simplify]: iteration 1408: 1445 enodes
9.745 * * [simplify]: iteration 1409: 1446 enodes
9.753 * * [simplify]: iteration 1410: 1447 enodes
9.762 * * [simplify]: iteration 1411: 1448 enodes
9.770 * * [simplify]: iteration 1412: 1449 enodes
9.779 * * [simplify]: iteration 1413: 1450 enodes
9.787 * * [simplify]: iteration 1414: 1451 enodes
9.796 * * [simplify]: iteration 1415: 1452 enodes
9.803 * * [simplify]: iteration 1416: 1453 enodes
9.808 * * [simplify]: iteration 1417: 1454 enodes
9.814 * * [simplify]: iteration 1418: 1455 enodes
9.818 * * [simplify]: iteration 1419: 1456 enodes
9.823 * * [simplify]: iteration 1420: 1457 enodes
9.828 * * [simplify]: iteration 1421: 1458 enodes
9.834 * * [simplify]: iteration 1422: 1459 enodes
9.844 * * [simplify]: iteration 1423: 1460 enodes
9.852 * * [simplify]: iteration 1424: 1461 enodes
9.860 * * [simplify]: iteration 1425: 1462 enodes
9.864 * * [simplify]: iteration 1426: 1463 enodes
9.869 * * [simplify]: iteration 1427: 1464 enodes
9.873 * * [simplify]: iteration 1428: 1465 enodes
9.878 * * [simplify]: iteration 1429: 1466 enodes
9.882 * * [simplify]: iteration 1430: 1467 enodes
9.889 * * [simplify]: iteration 1431: 1468 enodes
9.897 * * [simplify]: iteration 1432: 1469 enodes
9.905 * * [simplify]: iteration 1433: 1470 enodes
9.914 * * [simplify]: iteration 1434: 1471 enodes
9.922 * * [simplify]: iteration 1435: 1472 enodes
9.930 * * [simplify]: iteration 1436: 1473 enodes
9.938 * * [simplify]: iteration 1437: 1474 enodes
9.946 * * [simplify]: iteration 1438: 1475 enodes
9.954 * * [simplify]: iteration 1439: 1476 enodes
9.962 * * [simplify]: iteration 1440: 1477 enodes
9.971 * * [simplify]: iteration 1441: 1478 enodes
9.979 * * [simplify]: iteration 1442: 1479 enodes
9.987 * * [simplify]: iteration 1443: 1480 enodes
9.995 * * [simplify]: iteration 1444: 1481 enodes
10.003 * * [simplify]: iteration 1445: 1482 enodes
10.010 * * [simplify]: iteration 1446: 1483 enodes
10.019 * * [simplify]: iteration 1447: 1484 enodes
10.026 * * [simplify]: iteration 1448: 1485 enodes
10.036 * * [simplify]: iteration 1449: 1486 enodes
10.043 * * [simplify]: iteration 1450: 1487 enodes
10.051 * * [simplify]: iteration 1451: 1488 enodes
10.060 * * [simplify]: iteration 1452: 1489 enodes
10.068 * * [simplify]: iteration 1453: 1490 enodes
10.076 * * [simplify]: iteration 1454: 1491 enodes
10.084 * * [simplify]: iteration 1455: 1492 enodes
10.092 * * [simplify]: iteration 1456: 1493 enodes
10.099 * * [simplify]: iteration 1457: 1494 enodes
10.106 * * [simplify]: iteration 1458: 1495 enodes
10.115 * * [simplify]: iteration 1459: 1496 enodes
10.122 * * [simplify]: iteration 1460: 1497 enodes
10.130 * * [simplify]: iteration 1461: 1498 enodes
10.138 * * [simplify]: iteration 1462: 1499 enodes
10.146 * * [simplify]: iteration 1463: 1500 enodes
10.154 * * [simplify]: iteration 1464: 1501 enodes
10.163 * * [simplify]: iteration 1465: 1502 enodes
10.168 * * [simplify]: iteration 1466: 1503 enodes
10.178 * * [simplify]: iteration 1467: 1504 enodes
10.185 * * [simplify]: iteration 1468: 1505 enodes
10.190 * * [simplify]: iteration 1469: 1506 enodes
10.197 * * [simplify]: iteration 1470: 1507 enodes
10.205 * * [simplify]: iteration 1471: 1508 enodes
10.213 * * [simplify]: iteration 1472: 1509 enodes
10.221 * * [simplify]: iteration 1473: 1510 enodes
10.229 * * [simplify]: iteration 1474: 1511 enodes
10.237 * * [simplify]: iteration 1475: 1512 enodes
10.245 * * [simplify]: iteration 1476: 1513 enodes
10.253 * * [simplify]: iteration 1477: 1514 enodes
10.261 * * [simplify]: iteration 1478: 1515 enodes
10.269 * * [simplify]: iteration 1479: 1516 enodes
10.279 * * [simplify]: iteration 1480: 1517 enodes
10.287 * * [simplify]: iteration 1481: 1518 enodes
10.295 * * [simplify]: iteration 1482: 1519 enodes
10.303 * * [simplify]: iteration 1483: 1520 enodes
10.311 * * [simplify]: iteration 1484: 1521 enodes
10.319 * * [simplify]: iteration 1485: 1522 enodes
10.327 * * [simplify]: iteration 1486: 1523 enodes
10.335 * * [simplify]: iteration 1487: 1524 enodes
10.343 * * [simplify]: iteration 1488: 1525 enodes
10.351 * * [simplify]: iteration 1489: 1526 enodes
10.358 * * [simplify]: iteration 1490: 1527 enodes
10.367 * * [simplify]: iteration 1491: 1528 enodes
10.375 * * [simplify]: iteration 1492: 1529 enodes
10.383 * * [simplify]: iteration 1493: 1530 enodes
10.388 * * [simplify]: iteration 1494: 1531 enodes
10.393 * * [simplify]: iteration 1495: 1532 enodes
10.399 * * [simplify]: iteration 1496: 1533 enodes
10.403 * * [simplify]: iteration 1497: 1534 enodes
10.408 * * [simplify]: iteration 1498: 1535 enodes
10.416 * * [simplify]: iteration 1499: 1536 enodes
10.424 * * [simplify]: iteration 1500: 1537 enodes
10.432 * * [simplify]: iteration 1501: 1538 enodes
10.440 * * [simplify]: iteration 1502: 1539 enodes
10.447 * * [simplify]: iteration 1503: 1540 enodes
10.452 * * [simplify]: iteration 1504: 1541 enodes
10.456 * * [simplify]: iteration 1505: 1542 enodes
10.461 * * [simplify]: iteration 1506: 1543 enodes
10.465 * * [simplify]: iteration 1507: 1544 enodes
10.471 * * [simplify]: iteration 1508: 1545 enodes
10.476 * * [simplify]: iteration 1509: 1546 enodes
10.480 * * [simplify]: iteration 1510: 1547 enodes
10.486 * * [simplify]: iteration 1511: 1548 enodes
10.491 * * [simplify]: iteration 1512: 1549 enodes
10.496 * * [simplify]: iteration 1513: 1550 enodes
10.500 * * [simplify]: iteration 1514: 1551 enodes
10.505 * * [simplify]: iteration 1515: 1552 enodes
10.509 * * [simplify]: iteration 1516: 1553 enodes
10.514 * * [simplify]: iteration 1517: 1554 enodes
10.518 * * [simplify]: iteration 1518: 1555 enodes
10.523 * * [simplify]: iteration 1519: 1556 enodes
10.527 * * [simplify]: iteration 1520: 1557 enodes
10.532 * * [simplify]: iteration 1521: 1558 enodes
10.536 * * [simplify]: iteration 1522: 1559 enodes
10.544 * * [simplify]: iteration 1523: 1560 enodes
10.550 * * [simplify]: iteration 1524: 1561 enodes
10.559 * * [simplify]: iteration 1525: 1562 enodes
10.567 * * [simplify]: iteration 1526: 1563 enodes
10.576 * * [simplify]: iteration 1527: 1564 enodes
10.585 * * [simplify]: iteration 1528: 1565 enodes
10.592 * * [simplify]: iteration 1529: 1566 enodes
10.599 * * [simplify]: iteration 1530: 1567 enodes
10.607 * * [simplify]: iteration 1531: 1568 enodes
10.614 * * [simplify]: iteration 1532: 1569 enodes
10.622 * * [simplify]: iteration 1533: 1570 enodes
10.630 * * [simplify]: iteration 1534: 1571 enodes
10.637 * * [simplify]: iteration 1535: 1572 enodes
10.645 * * [simplify]: iteration 1536: 1573 enodes
10.653 * * [simplify]: iteration 1537: 1574 enodes
10.658 * * [simplify]: iteration 1538: 1575 enodes
10.663 * * [simplify]: iteration 1539: 1576 enodes
10.669 * * [simplify]: iteration 1540: 1577 enodes
10.677 * * [simplify]: iteration 1541: 1578 enodes
10.685 * * [simplify]: iteration 1542: 1579 enodes
10.693 * * [simplify]: iteration 1543: 1580 enodes
10.700 * * [simplify]: iteration 1544: 1581 enodes
10.708 * * [simplify]: iteration 1545: 1582 enodes
10.715 * * [simplify]: iteration 1546: 1583 enodes
10.723 * * [simplify]: iteration 1547: 1584 enodes
10.730 * * [simplify]: iteration 1548: 1585 enodes
10.738 * * [simplify]: iteration 1549: 1586 enodes
10.746 * * [simplify]: iteration 1550: 1587 enodes
10.754 * * [simplify]: iteration 1551: 1588 enodes
10.758 * * [simplify]: iteration 1552: 1589 enodes
10.766 * * [simplify]: iteration 1553: 1590 enodes
10.774 * * [simplify]: iteration 1554: 1591 enodes
10.782 * * [simplify]: iteration 1555: 1592 enodes
10.789 * * [simplify]: iteration 1556: 1593 enodes
10.798 * * [simplify]: iteration 1557: 1594 enodes
10.807 * * [simplify]: iteration 1558: 1595 enodes
10.815 * * [simplify]: iteration 1559: 1596 enodes
10.823 * * [simplify]: iteration 1560: 1597 enodes
10.831 * * [simplify]: iteration 1561: 1598 enodes
10.838 * * [simplify]: iteration 1562: 1599 enodes
10.847 * * [simplify]: iteration 1563: 1600 enodes
10.854 * * [simplify]: iteration 1564: 1601 enodes
10.862 * * [simplify]: iteration 1565: 1602 enodes
10.869 * * [simplify]: iteration 1566: 1603 enodes
10.875 * * [simplify]: iteration 1567: 1604 enodes
10.881 * * [simplify]: iteration 1568: 1605 enodes
10.886 * * [simplify]: iteration 1569: 1606 enodes
10.891 * * [simplify]: iteration 1570: 1607 enodes
10.897 * * [simplify]: iteration 1571: 1608 enodes
10.903 * * [simplify]: iteration 1572: 1609 enodes
10.910 * * [simplify]: iteration 1573: 1610 enodes
10.918 * * [simplify]: iteration 1574: 1611 enodes
10.927 * * [simplify]: iteration 1575: 1612 enodes
10.936 * * [simplify]: iteration 1576: 1613 enodes
10.944 * * [simplify]: iteration 1577: 1614 enodes
10.948 * * [simplify]: iteration 1578: 1615 enodes
10.953 * * [simplify]: iteration 1579: 1616 enodes
10.957 * * [simplify]: iteration 1580: 1617 enodes
10.962 * * [simplify]: iteration 1581: 1618 enodes
10.966 * * [simplify]: iteration 1582: 1619 enodes
10.972 * * [simplify]: iteration 1583: 1620 enodes
10.981 * * [simplify]: iteration 1584: 1621 enodes
10.990 * * [simplify]: iteration 1585: 1622 enodes
10.999 * * [simplify]: iteration 1586: 1623 enodes
11.007 * * [simplify]: iteration 1587: 1624 enodes
11.016 * * [simplify]: iteration 1588: 1625 enodes
11.027 * * [simplify]: iteration 1589: 1626 enodes
11.036 * * [simplify]: iteration 1590: 1627 enodes
11.046 * * [simplify]: iteration 1591: 1628 enodes
11.052 * * [simplify]: iteration 1592: 1629 enodes
11.057 * * [simplify]: iteration 1593: 1630 enodes
11.062 * * [simplify]: iteration 1594: 1631 enodes
11.067 * * [simplify]: iteration 1595: 1632 enodes
11.071 * * [simplify]: iteration 1596: 1633 enodes
11.076 * * [simplify]: iteration 1597: 1634 enodes
11.080 * * [simplify]: iteration 1598: 1635 enodes
11.085 * * [simplify]: iteration 1599: 1636 enodes
11.090 * * [simplify]: iteration 1600: 1637 enodes
11.095 * * [simplify]: iteration 1601: 1638 enodes
11.104 * * [simplify]: iteration 1602: 1639 enodes
11.114 * * [simplify]: iteration 1603: 1640 enodes
11.124 * * [simplify]: iteration 1604: 1641 enodes
11.134 * * [simplify]: iteration 1605: 1642 enodes
11.143 * * [simplify]: iteration 1606: 1643 enodes
11.153 * * [simplify]: iteration 1607: 1644 enodes
11.163 * * [simplify]: iteration 1608: 1645 enodes
11.173 * * [simplify]: iteration 1609: 1646 enodes
11.182 * * [simplify]: iteration 1610: 1647 enodes
11.192 * * [simplify]: iteration 1611: 1648 enodes
11.200 * * [simplify]: iteration 1612: 1649 enodes
11.209 * * [simplify]: iteration 1613: 1650 enodes
11.215 * * [simplify]: iteration 1614: 1651 enodes
11.220 * * [simplify]: iteration 1615: 1652 enodes
11.224 * * [simplify]: iteration 1616: 1653 enodes
11.229 * * [simplify]: iteration 1617: 1654 enodes
11.233 * * [simplify]: iteration 1618: 1655 enodes
11.238 * * [simplify]: iteration 1619: 1656 enodes
11.244 * * [simplify]: iteration 1620: 1657 enodes
11.248 * * [simplify]: iteration 1621: 1658 enodes
11.253 * * [simplify]: iteration 1622: 1659 enodes
11.258 * * [simplify]: iteration 1623: 1660 enodes
11.267 * * [simplify]: iteration 1624: 1661 enodes
11.276 * * [simplify]: iteration 1625: 1662 enodes
11.285 * * [simplify]: iteration 1626: 1663 enodes
11.294 * * [simplify]: iteration 1627: 1664 enodes
11.301 * * [simplify]: iteration 1628: 1665 enodes
11.305 * * [simplify]: iteration 1629: 1666 enodes
11.310 * * [simplify]: iteration 1630: 1667 enodes
11.315 * * [simplify]: iteration 1631: 1668 enodes
11.319 * * [simplify]: iteration 1632: 1669 enodes
11.324 * * [simplify]: iteration 1633: 1670 enodes
11.329 * * [simplify]: iteration 1634: 1671 enodes
11.336 * * [simplify]: iteration 1635: 1672 enodes
11.345 * * [simplify]: iteration 1636: 1673 enodes
11.352 * * [simplify]: iteration 1637: 1674 enodes
11.357 * * [simplify]: iteration 1638: 1675 enodes
11.362 * * [simplify]: iteration 1639: 1676 enodes
11.366 * * [simplify]: iteration 1640: 1677 enodes
11.371 * * [simplify]: iteration 1641: 1678 enodes
11.376 * * [simplify]: iteration 1642: 1679 enodes
11.385 * * [simplify]: iteration 1643: 1680 enodes
11.394 * * [simplify]: iteration 1644: 1681 enodes
11.403 * * [simplify]: iteration 1645: 1682 enodes
11.411 * * [simplify]: iteration 1646: 1683 enodes
11.416 * * [simplify]: iteration 1647: 1684 enodes
11.421 * * [simplify]: iteration 1648: 1685 enodes
11.425 * * [simplify]: iteration 1649: 1686 enodes
11.430 * * [simplify]: iteration 1650: 1687 enodes
11.436 * * [simplify]: iteration 1651: 1688 enodes
11.440 * * [simplify]: iteration 1652: 1689 enodes
11.445 * * [simplify]: iteration 1653: 1690 enodes
11.450 * * [simplify]: iteration 1654: 1691 enodes
11.460 * * [simplify]: iteration 1655: 1692 enodes
11.469 * * [simplify]: iteration 1656: 1693 enodes
11.479 * * [simplify]: iteration 1657: 1694 enodes
11.488 * * [simplify]: iteration 1658: 1695 enodes
11.497 * * [simplify]: iteration 1659: 1696 enodes
11.506 * * [simplify]: iteration 1660: 1697 enodes
11.517 * * [simplify]: iteration 1661: 1698 enodes
11.526 * * [simplify]: iteration 1662: 1699 enodes
11.536 * * [simplify]: iteration 1663: 1700 enodes
11.545 * * [simplify]: iteration 1664: 1701 enodes
11.555 * * [simplify]: iteration 1665: 1702 enodes
11.565 * * [simplify]: iteration 1666: 1703 enodes
11.575 * * [simplify]: iteration 1667: 1704 enodes
11.583 * * [simplify]: iteration 1668: 1705 enodes
11.593 * * [simplify]: iteration 1669: 1706 enodes
11.602 * * [simplify]: iteration 1670: 1707 enodes
11.611 * * [simplify]: iteration 1671: 1708 enodes
11.620 * * [simplify]: iteration 1672: 1709 enodes
11.630 * * [simplify]: iteration 1673: 1710 enodes
11.639 * * [simplify]: iteration 1674: 1711 enodes
11.649 * * [simplify]: iteration 1675: 1712 enodes
11.658 * * [simplify]: iteration 1676: 1713 enodes
11.667 * * [simplify]: iteration 1677: 1714 enodes
11.676 * * [simplify]: iteration 1678: 1715 enodes
11.686 * * [simplify]: iteration 1679: 1716 enodes
11.693 * * [simplify]: iteration 1680: 1717 enodes
11.698 * * [simplify]: iteration 1681: 1718 enodes
11.703 * * [simplify]: iteration 1682: 1719 enodes
11.708 * * [simplify]: iteration 1683: 1720 enodes
11.712 * * [simplify]: iteration 1684: 1721 enodes
11.717 * * [simplify]: iteration 1685: 1722 enodes
11.721 * * [simplify]: iteration 1686: 1723 enodes
11.727 * * [simplify]: iteration 1687: 1724 enodes
11.733 * * [simplify]: iteration 1688: 1725 enodes
11.742 * * [simplify]: iteration 1689: 1726 enodes
11.751 * * [simplify]: iteration 1690: 1727 enodes
11.761 * * [simplify]: iteration 1691: 1728 enodes
11.769 * * [simplify]: iteration 1692: 1729 enodes
11.780 * * [simplify]: iteration 1693: 1730 enodes
11.788 * * [simplify]: iteration 1694: 1731 enodes
11.798 * * [simplify]: iteration 1695: 1732 enodes
11.802 * * [simplify]: iteration 1696: 1733 enodes
11.808 * * [simplify]: iteration 1697: 1734 enodes
11.813 * * [simplify]: iteration 1698: 1735 enodes
11.817 * * [simplify]: iteration 1699: 1736 enodes
11.822 * * [simplify]: iteration 1700: 1737 enodes
11.827 * * [simplify]: iteration 1701: 1738 enodes
11.835 * * [simplify]: iteration 1702: 1739 enodes
11.840 * * [simplify]: iteration 1703: 1740 enodes
11.844 * * [simplify]: iteration 1704: 1741 enodes
11.849 * * [simplify]: iteration 1705: 1742 enodes
11.853 * * [simplify]: iteration 1706: 1743 enodes
11.857 * * [simplify]: iteration 1707: 1744 enodes
11.863 * * [simplify]: iteration 1708: 1745 enodes
11.873 * * [simplify]: iteration 1709: 1746 enodes
11.881 * * [simplify]: iteration 1710: 1747 enodes
11.891 * * [simplify]: iteration 1711: 1748 enodes
11.899 * * [simplify]: iteration 1712: 1749 enodes
11.910 * * [simplify]: iteration 1713: 1750 enodes
11.914 * * [simplify]: iteration 1714: 1751 enodes
11.920 * * [simplify]: iteration 1715: 1752 enodes
11.928 * * [simplify]: iteration 1716: 1753 enodes
11.935 * * [simplify]: iteration 1717: 1754 enodes
11.941 * * [simplify]: iteration 1718: 1755 enodes
11.950 * * [simplify]: iteration 1719: 1756 enodes
11.959 * * [simplify]: iteration 1720: 1757 enodes
11.969 * * [simplify]: iteration 1721: 1758 enodes
11.974 * * [simplify]: iteration 1722: 1759 enodes
11.978 * * [simplify]: iteration 1723: 1760 enodes
11.983 * * [simplify]: iteration 1724: 1761 enodes
11.987 * * [simplify]: iteration 1725: 1762 enodes
11.992 * * [simplify]: iteration 1726: 1763 enodes
11.997 * * [simplify]: iteration 1727: 1764 enodes
12.002 * * [simplify]: iteration 1728: 1765 enodes
12.007 * * [simplify]: iteration 1729: 1766 enodes
12.012 * * [simplify]: iteration 1730: 1767 enodes
12.016 * * [simplify]: iteration 1731: 1768 enodes
12.021 * * [simplify]: iteration 1732: 1769 enodes
12.026 * * [simplify]: iteration 1733: 1770 enodes
12.030 * * [simplify]: iteration 1734: 1771 enodes
12.035 * * [simplify]: iteration 1735: 1772 enodes
12.041 * * [simplify]: iteration 1736: 1773 enodes
12.051 * * [simplify]: iteration 1737: 1774 enodes
12.060 * * [simplify]: iteration 1738: 1775 enodes
12.070 * * [simplify]: iteration 1739: 1776 enodes
12.075 * * [simplify]: iteration 1740: 1777 enodes
12.079 * * [simplify]: iteration 1741: 1778 enodes
12.084 * * [simplify]: iteration 1742: 1779 enodes
12.089 * * [simplify]: iteration 1743: 1780 enodes
12.094 * * [simplify]: iteration 1744: 1781 enodes
12.100 * * [simplify]: iteration 1745: 1782 enodes
12.108 * * [simplify]: iteration 1746: 1783 enodes
12.118 * * [simplify]: iteration 1747: 1784 enodes
12.127 * * [simplify]: iteration 1748: 1785 enodes
12.137 * * [simplify]: iteration 1749: 1786 enodes
12.146 * * [simplify]: iteration 1750: 1787 enodes
12.155 * * [simplify]: iteration 1751: 1788 enodes
12.164 * * [simplify]: iteration 1752: 1789 enodes
12.174 * * [simplify]: iteration 1753: 1790 enodes
12.183 * * [simplify]: iteration 1754: 1791 enodes
12.193 * * [simplify]: iteration 1755: 1792 enodes
12.200 * * [simplify]: iteration 1756: 1793 enodes
12.204 * * [simplify]: iteration 1757: 1794 enodes
12.209 * * [simplify]: iteration 1758: 1795 enodes
12.215 * * [simplify]: iteration 1759: 1796 enodes
12.219 * * [simplify]: iteration 1760: 1797 enodes
12.227 * * [simplify]: iteration 1761: 1798 enodes
12.236 * * [simplify]: iteration 1762: 1799 enodes
12.245 * * [simplify]: iteration 1763: 1800 enodes
12.254 * * [simplify]: iteration 1764: 1801 enodes
12.263 * * [simplify]: iteration 1765: 1802 enodes
12.273 * * [simplify]: iteration 1766: 1803 enodes
12.280 * * [simplify]: iteration 1767: 1804 enodes
12.285 * * [simplify]: iteration 1768: 1805 enodes
12.290 * * [simplify]: iteration 1769: 1806 enodes
12.294 * * [simplify]: iteration 1770: 1807 enodes
12.299 * * [simplify]: iteration 1771: 1808 enodes
12.303 * * [simplify]: iteration 1772: 1809 enodes
12.310 * * [simplify]: iteration 1773: 1810 enodes
12.319 * * [simplify]: iteration 1774: 1811 enodes
12.331 * * [simplify]: iteration 1775: 1812 enodes
12.340 * * [simplify]: iteration 1776: 1813 enodes
12.349 * * [simplify]: iteration 1777: 1814 enodes
12.358 * * [simplify]: iteration 1778: 1815 enodes
12.368 * * [simplify]: iteration 1779: 1816 enodes
12.377 * * [simplify]: iteration 1780: 1817 enodes
12.386 * * [simplify]: iteration 1781: 1818 enodes
12.395 * * [simplify]: iteration 1782: 1819 enodes
12.405 * * [simplify]: iteration 1783: 1820 enodes
12.413 * * [simplify]: iteration 1784: 1821 enodes
12.423 * * [simplify]: iteration 1785: 1822 enodes
12.433 * * [simplify]: iteration 1786: 1823 enodes
12.443 * * [simplify]: iteration 1787: 1824 enodes
12.452 * * [simplify]: iteration 1788: 1825 enodes
12.461 * * [simplify]: iteration 1789: 1826 enodes
12.472 * * [simplify]: iteration 1790: 1827 enodes
12.478 * * [simplify]: iteration 1791: 1828 enodes
12.482 * * [simplify]: iteration 1792: 1829 enodes
12.487 * * [simplify]: iteration 1793: 1830 enodes
12.491 * * [simplify]: iteration 1794: 1831 enodes
12.496 * * [simplify]: iteration 1795: 1832 enodes
12.501 * * [simplify]: iteration 1796: 1833 enodes
12.505 * * [simplify]: iteration 1797: 1834 enodes
12.510 * * [simplify]: iteration 1798: 1835 enodes
12.514 * * [simplify]: iteration 1799: 1836 enodes
12.519 * * [simplify]: iteration 1800: 1837 enodes
12.523 * * [simplify]: iteration 1801: 1838 enodes
12.528 * * [simplify]: iteration 1802: 1839 enodes
12.535 * * [simplify]: iteration 1803: 1840 enodes
12.544 * * [simplify]: iteration 1804: 1841 enodes
12.553 * * [simplify]: iteration 1805: 1842 enodes
12.563 * * [simplify]: iteration 1806: 1843 enodes
12.572 * * [simplify]: iteration 1807: 1844 enodes
12.580 * * [simplify]: iteration 1808: 1845 enodes
12.588 * * [simplify]: iteration 1809: 1846 enodes
12.595 * * [simplify]: iteration 1810: 1847 enodes
12.602 * * [simplify]: iteration 1811: 1848 enodes
12.610 * * [simplify]: iteration 1812: 1849 enodes
12.617 * * [simplify]: iteration 1813: 1850 enodes
12.624 * * [simplify]: iteration 1814: 1851 enodes
12.632 * * [simplify]: iteration 1815: 1852 enodes
12.640 * * [simplify]: iteration 1816: 1853 enodes
12.647 * * [simplify]: iteration 1817: 1854 enodes
12.654 * * [simplify]: iteration 1818: 1855 enodes
12.661 * * [simplify]: iteration 1819: 1856 enodes
12.669 * * [simplify]: iteration 1820: 1857 enodes
12.678 * * [simplify]: iteration 1821: 1858 enodes
12.684 * * [simplify]: iteration 1822: 1859 enodes
12.689 * * [simplify]: iteration 1823: 1860 enodes
12.693 * * [simplify]: iteration 1824: 1861 enodes
12.698 * * [simplify]: iteration 1825: 1862 enodes
12.702 * * [simplify]: iteration 1826: 1863 enodes
12.707 * * [simplify]: iteration 1827: 1864 enodes
12.711 * * [simplify]: iteration 1828: 1865 enodes
12.716 * * [simplify]: iteration 1829: 1866 enodes
12.720 * * [simplify]: iteration 1830: 1867 enodes
12.725 * * [simplify]: iteration 1831: 1868 enodes
12.729 * * [simplify]: iteration 1832: 1869 enodes
12.734 * * [simplify]: iteration 1833: 1870 enodes
12.738 * * [simplify]: iteration 1834: 1871 enodes
12.743 * * [simplify]: iteration 1835: 1872 enodes
12.748 * * [simplify]: iteration 1836: 1873 enodes
12.753 * * [simplify]: iteration 1837: 1874 enodes
12.757 * * [simplify]: iteration 1838: 1875 enodes
12.762 * * [simplify]: iteration 1839: 1876 enodes
12.766 * * [simplify]: iteration 1840: 1877 enodes
12.771 * * [simplify]: iteration 1841: 1878 enodes
12.775 * * [simplify]: iteration 1842: 1879 enodes
12.780 * * [simplify]: iteration 1843: 1880 enodes
12.784 * * [simplify]: iteration 1844: 1881 enodes
12.788 * * [simplify]: iteration 1845: 1882 enodes
12.793 * * [simplify]: iteration 1846: 1883 enodes
12.797 * * [simplify]: iteration 1847: 1884 enodes
12.801 * * [simplify]: iteration 1848: 1885 enodes
12.806 * * [simplify]: iteration 1849: 1886 enodes
12.811 * * [simplify]: iteration 1850: 1887 enodes
12.818 * * [simplify]: iteration 1851: 1888 enodes
12.826 * * [simplify]: iteration 1852: 1889 enodes
12.836 * * [simplify]: iteration 1853: 1890 enodes
12.843 * * [simplify]: iteration 1854: 1891 enodes
12.851 * * [simplify]: iteration 1855: 1892 enodes
12.858 * * [simplify]: iteration 1856: 1893 enodes
12.866 * * [simplify]: iteration 1857: 1894 enodes
12.874 * * [simplify]: iteration 1858: 1895 enodes
12.883 * * [simplify]: iteration 1859: 1896 enodes
12.891 * * [simplify]: iteration 1860: 1897 enodes
12.896 * * [simplify]: iteration 1861: 1898 enodes
12.900 * * [simplify]: iteration 1862: 1899 enodes
12.905 * * [simplify]: iteration 1863: 1900 enodes
12.909 * * [simplify]: iteration 1864: 1901 enodes
12.914 * * [simplify]: iteration 1865: 1902 enodes
12.918 * * [simplify]: iteration 1866: 1903 enodes
12.923 * * [simplify]: iteration 1867: 1904 enodes
12.929 * * [simplify]: iteration 1868: 1905 enodes
12.933 * * [simplify]: iteration 1869: 1906 enodes
12.938 * * [simplify]: iteration 1870: 1907 enodes
12.943 * * [simplify]: iteration 1871: 1908 enodes
12.947 * * [simplify]: iteration 1872: 1909 enodes
12.952 * * [simplify]: iteration 1873: 1910 enodes
12.957 * * [simplify]: iteration 1874: 1911 enodes
12.962 * * [simplify]: iteration 1875: 1912 enodes
12.966 * * [simplify]: iteration 1876: 1913 enodes
12.971 * * [simplify]: iteration 1877: 1914 enodes
12.975 * * [simplify]: iteration 1878: 1915 enodes
12.980 * * [simplify]: iteration 1879: 1916 enodes
12.984 * * [simplify]: iteration 1880: 1917 enodes
12.989 * * [simplify]: iteration 1881: 1918 enodes
12.993 * * [simplify]: iteration 1882: 1919 enodes
12.999 * * [simplify]: iteration 1883: 1920 enodes
13.004 * * [simplify]: iteration 1884: 1921 enodes
13.008 * * [simplify]: iteration 1885: 1922 enodes
13.013 * * [simplify]: iteration 1886: 1923 enodes
13.017 * * [simplify]: iteration 1887: 1924 enodes
13.022 * * [simplify]: iteration 1888: 1925 enodes
13.026 * * [simplify]: iteration 1889: 1926 enodes
13.031 * * [simplify]: iteration 1890: 1927 enodes
13.035 * * [simplify]: iteration 1891: 1928 enodes
13.040 * * [simplify]: iteration 1892: 1929 enodes
13.044 * * [simplify]: iteration 1893: 1930 enodes
13.049 * * [simplify]: iteration 1894: 1931 enodes
13.053 * * [simplify]: iteration 1895: 1932 enodes
13.058 * * [simplify]: iteration 1896: 1933 enodes
13.062 * * [simplify]: iteration 1897: 1934 enodes
13.067 * * [simplify]: iteration 1898: 1935 enodes
13.072 * * [simplify]: iteration 1899: 1936 enodes
13.077 * * [simplify]: iteration 1900: 1937 enodes
13.081 * * [simplify]: iteration 1901: 1938 enodes
13.086 * * [simplify]: iteration 1902: 1939 enodes
13.091 * * [simplify]: iteration 1903: 1940 enodes
13.095 * * [simplify]: iteration 1904: 1941 enodes
13.100 * * [simplify]: iteration 1905: 1942 enodes
13.104 * * [simplify]: iteration 1906: 1943 enodes
13.109 * * [simplify]: iteration 1907: 1944 enodes
13.113 * * [simplify]: iteration 1908: 1945 enodes
13.118 * * [simplify]: iteration 1909: 1946 enodes
13.122 * * [simplify]: iteration 1910: 1947 enodes
13.127 * * [simplify]: iteration 1911: 1948 enodes
13.131 * * [simplify]: iteration 1912: 1949 enodes
13.136 * * [simplify]: iteration 1913: 1950 enodes
13.140 * * [simplify]: iteration 1914: 1951 enodes
13.146 * * [simplify]: iteration 1915: 1952 enodes
13.150 * * [simplify]: iteration 1916: 1953 enodes
13.155 * * [simplify]: iteration 1917: 1954 enodes
13.159 * * [simplify]: iteration 1918: 1955 enodes
13.164 * * [simplify]: iteration 1919: 1956 enodes
13.168 * * [simplify]: iteration 1920: 1957 enodes
13.173 * * [simplify]: iteration 1921: 1958 enodes
13.177 * * [simplify]: iteration 1922: 1959 enodes
13.182 * * [simplify]: iteration 1923: 1960 enodes
13.186 * * [simplify]: iteration 1924: 1961 enodes
13.192 * * [simplify]: iteration 1925: 1962 enodes
13.196 * * [simplify]: iteration 1926: 1963 enodes
13.201 * * [simplify]: iteration 1927: 1964 enodes
13.205 * * [simplify]: iteration 1928: 1965 enodes
13.210 * * [simplify]: iteration 1929: 1966 enodes
13.215 * * [simplify]: iteration 1930: 1967 enodes
13.220 * * [simplify]: iteration 1931: 1968 enodes
13.224 * * [simplify]: iteration 1932: 1969 enodes
13.229 * * [simplify]: iteration 1933: 1970 enodes
13.233 * * [simplify]: iteration 1934: 1971 enodes
13.238 * * [simplify]: iteration 1935: 1972 enodes
13.243 * * [simplify]: iteration 1936: 1973 enodes
13.247 * * [simplify]: iteration 1937: 1974 enodes
13.252 * * [simplify]: iteration 1938: 1975 enodes
13.256 * * [simplify]: iteration 1939: 1976 enodes
13.260 * * [simplify]: iteration 1940: 1977 enodes
13.265 * * [simplify]: iteration 1941: 1978 enodes
13.269 * * [simplify]: iteration 1942: 1979 enodes
13.274 * * [simplify]: iteration 1943: 1980 enodes
13.279 * * [simplify]: iteration 1944: 1981 enodes
13.284 * * [simplify]: iteration 1945: 1982 enodes
13.290 * * [simplify]: iteration 1946: 1983 enodes
13.294 * * [simplify]: iteration 1947: 1984 enodes
13.298 * * [simplify]: iteration 1948: 1985 enodes
13.304 * * [simplify]: iteration 1949: 1986 enodes
13.312 * * [simplify]: iteration 1950: 1987 enodes
13.320 * * [simplify]: iteration 1951: 1988 enodes
13.327 * * [simplify]: iteration 1952: 1989 enodes
13.335 * * [simplify]: iteration 1953: 1990 enodes
13.342 * * [simplify]: iteration 1954: 1991 enodes
13.350 * * [simplify]: iteration 1955: 1992 enodes
13.358 * * [simplify]: iteration 1956: 1993 enodes
13.366 * * [simplify]: iteration 1957: 1994 enodes
13.373 * * [simplify]: iteration 1958: 1995 enodes
13.377 * * [simplify]: iteration 1959: 1996 enodes
13.382 * * [simplify]: iteration 1960: 1997 enodes
13.389 * * [simplify]: iteration 1961: 1998 enodes
13.394 * * [simplify]: iteration 1962: 1999 enodes
13.400 * * [simplify]: iteration complete: 2000 enodes
13.401 * * [simplify]: Extracting #0: cost 1 inf + 0
13.401 * * [simplify]: Extracting #1: cost 12 inf + 0
13.401 * * [simplify]: Extracting #2: cost 8 inf + 44
13.402 * * [simplify]: Extracting #3: cost 0 inf + 579
13.402 * [simplify]: Simplified to:
  (* (- (* x x) y) 0.5)
13.404 * * [progress]: iteration 1 / 4
13.404 * * * [progress]: picking best candidate
13.406 * * * * [pick]: Picked  #<alt (λ (x y) (* 0.5 (- (* x x) y)))>
13.406 * * * [progress]: localizing error
13.416 * * * [progress]: generating rewritten candidates
13.416 * * * [progress]: generating series expansions
13.417 * * * [progress]: simplifying candidates
13.417 * [simplify]: Simplifying:
  
13.417 * * [simplify]: iteration 0: 0 enodes
13.417 * * [simplify]: iteration complete: 0 enodes
13.417 * * [simplify]: Extracting #0: cost 0 inf + 0
13.417 * [simplify]: Simplified to:
  
13.417 * * * [progress]: adding candidates to table
13.417 * [progress]: [Phase 3 of 3] Extracting.
13.420 * [simplify]: Simplifying:
  (* 0.5 (- (* x x) y))
13.420 * * [simplify]: iteration 0: 6 enodes
13.420 * * [simplify]: iteration 1: 7 enodes
13.420 * * [simplify]: iteration complete: 7 enodes
13.420 * * [simplify]: Extracting #0: cost 1 inf + 0
13.420 * * [simplify]: Extracting #1: cost 3 inf + 0
13.420 * * [simplify]: Extracting #2: cost 4 inf + 1
13.420 * * [simplify]: Extracting #3: cost 4 inf + 2
13.420 * * [simplify]: Extracting #4: cost 0 inf + 249
13.420 * [simplify]: Simplified to:
  (* (- (* x x) y) 0.5)
14.304 * [regime-testing]: Baseline error score: 0.01716265306725934
14.306 * [regime-testing]: Oracle error score: 0.01716265306725934
14.307 * [regime-testing]: End program error score: 0.01716265306725934