427.743 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (/ (* x y) (+ y 1.0)) 0.020 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.021 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.022 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 0.023 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 0.025 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 0.028 * * [simplify]: iteration done : 18 enodes (cost 7 ) 0.028 * [simplify]: Simplified to: (/ (* x y) (+ y 1.0)) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.030 * * * * [pick]: Picked # 0.030 * * * [progress]: localizing error 0.035 * * * [progress]: generating rewritten candidates 0.035 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.043 * * * [progress]: generating series expansions 0.043 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.043 * [approximate]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in (x y) around 0 0.043 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in y 0.043 * [taylor]: Taking taylor expansion of (* x y) in y 0.043 * [taylor]: Taking taylor expansion of x in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of 1.0 in y 0.043 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 0.043 * [taylor]: Taking taylor expansion of (* x y) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of 1.0 in x 0.043 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 0.043 * [taylor]: Taking taylor expansion of (* x y) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of 1.0 in x 0.044 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of 1.0 in y 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [approximate]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in (x y) around 0 0.045 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in y 0.045 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in y 0.045 * [taylor]: Taking taylor expansion of x in y 0.045 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in y 0.045 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 0.045 * [taylor]: Taking taylor expansion of 1.0 in y 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in x 0.045 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in x 0.045 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 0.045 * [taylor]: Taking taylor expansion of 1.0 in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in x 0.046 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in x 0.046 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 0.046 * [taylor]: Taking taylor expansion of 1.0 in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) 1)) in y 0.046 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1) in y 0.046 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.046 * [taylor]: Taking taylor expansion of 1.0 in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of 1 in y 0.047 * [taylor]: Taking taylor expansion of 0 in y 0.047 * [taylor]: Taking taylor expansion of 0 in y 0.048 * [approximate]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in (x y) around 0 0.048 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in y 0.048 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in y 0.048 * [taylor]: Taking taylor expansion of x in y 0.048 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in y 0.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.048 * [taylor]: Taking taylor expansion of 1.0 in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 0.048 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 0.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.048 * [taylor]: Taking taylor expansion of 1.0 in x 0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.048 * [taylor]: Taking taylor expansion of y in x 0.048 * [taylor]: Taking taylor expansion of y in x 0.049 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 0.049 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 0.049 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.049 * [taylor]: Taking taylor expansion of 1.0 in x 0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.049 * [taylor]: Taking taylor expansion of y in x 0.049 * [taylor]: Taking taylor expansion of y in x 0.050 * [taylor]: Taking taylor expansion of (/ 1 (- (* 1.0 y) 1)) in y 0.050 * [taylor]: Taking taylor expansion of (- (* 1.0 y) 1) in y 0.050 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.050 * [taylor]: Taking taylor expansion of 1.0 in y 0.050 * [taylor]: Taking taylor expansion of y in y 0.050 * [taylor]: Taking taylor expansion of 1 in y 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.051 * * * [progress]: simplifying candidates 0.051 * [simplify]: Simplifying using # : (- (+ (log x) (log y)) (log (+ y 1.0))) (- (log (* x y)) (log (+ y 1.0))) (log (/ (* x y) (+ y 1.0))) (exp (/ (* x y) (+ y 1.0))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0))) (* (cbrt (/ (* x y) (+ y 1.0))) (cbrt (/ (* x y) (+ y 1.0)))) (cbrt (/ (* x y) (+ y 1.0))) (* (* (/ (* x y) (+ y 1.0)) (/ (* x y) (+ y 1.0))) (/ (* x y) (+ y 1.0))) (sqrt (/ (* x y) (+ y 1.0))) (sqrt (/ (* x y) (+ y 1.0))) (neg (* x y)) (neg (+ y 1.0)) (/ x (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ y (cbrt (+ y 1.0))) (/ x (sqrt (+ y 1.0))) (/ y (sqrt (+ y 1.0))) (/ x 1) (/ y (+ y 1.0)) (/ x 1) (/ y (+ y 1.0)) (/ 1 (+ y 1.0)) (/ (+ y 1.0) (* x y)) (/ (* x y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (* x y) (sqrt (+ y 1.0))) (/ (* x y) 1) (/ (* x y) 1) (/ (+ y 1.0) y) (/ (* x y) (+ (pow y 3) (pow 1.0 3))) (/ (* x y) (- (* y y) (* 1.0 1.0))) (- (+ (* 1.0 (* x y)) (* 1.0 (* x (pow y 3)))) (* 1.0 (* x (pow y 2)))) (- (+ x (* 1.0 (/ x (pow y 2)))) (* 1.0 (/ x y))) (- (+ x (* 1.0 (/ x (pow y 2)))) (* 1.0 (/ x y))) 0.052 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 0.053 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 0.055 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 0.058 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 0.061 * * [simplify]: iteration 4 : 34 enodes (cost 10 ) 0.065 * * [simplify]: iteration 5 : 43 enodes (cost 10 ) 0.071 * * [simplify]: iteration 6 : 56 enodes (cost 10 ) 0.084 * * [simplify]: iteration 7 : 74 enodes (cost 10 ) 0.092 * * [simplify]: iteration 8 : 90 enodes (cost 10 ) 0.102 * * [simplify]: iteration 9 : 97 enodes (cost 10 ) 0.117 * * [simplify]: iteration 10 : 114 enodes (cost 10 ) 0.131 * * [simplify]: iteration 11 : 116 enodes (cost 10 ) 0.145 * * [simplify]: iteration done : 116 enodes (cost 10 ) 0.146 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.146 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.148 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 0.150 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 0.153 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 0.157 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 0.162 * * [simplify]: iteration 6 : 48 enodes (cost 9 ) 0.168 * * [simplify]: iteration 7 : 61 enodes (cost 9 ) 0.177 * * [simplify]: iteration 8 : 79 enodes (cost 9 ) 0.186 * * [simplify]: iteration 9 : 95 enodes (cost 9 ) 0.199 * * [simplify]: iteration 10 : 102 enodes (cost 9 ) 0.214 * * [simplify]: iteration 11 : 119 enodes (cost 9 ) 0.227 * * [simplify]: iteration 12 : 121 enodes (cost 9 ) 0.241 * * [simplify]: iteration done : 121 enodes (cost 9 ) 0.242 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.243 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.244 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.247 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 0.255 * * [simplify]: iteration 4 : 61 enodes (cost 8 ) 0.263 * * [simplify]: iteration 5 : 69 enodes (cost 8 ) 0.272 * * [simplify]: iteration 6 : 81 enodes (cost 8 ) 0.282 * * [simplify]: iteration 7 : 99 enodes (cost 8 ) 0.294 * * [simplify]: iteration 8 : 115 enodes (cost 8 ) 0.309 * * [simplify]: iteration 9 : 122 enodes (cost 8 ) 0.326 * * [simplify]: iteration 10 : 139 enodes (cost 8 ) 0.341 * * [simplify]: iteration 11 : 141 enodes (cost 8 ) 0.357 * * [simplify]: iteration done : 141 enodes (cost 8 ) 0.358 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.359 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 0.360 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 0.361 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 0.366 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 0.369 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 0.375 * * [simplify]: iteration 6 : 75 enodes (cost 8 ) 0.387 * * [simplify]: iteration 7 : 164 enodes (cost 8 ) 0.463 * * [simplify]: iteration 8 : 387 enodes (cost 8 ) 0.726 * * [simplify]: iteration 9 : 1059 enodes (cost 8 ) 2.837 * * [simplify]: iteration 10 : 4173 enodes (cost 8 ) 4.071 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 4.072 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 4.074 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 4.082 * * [simplify]: iteration 2 : 165 enodes (cost 13 ) 4.140 * * [simplify]: iteration 3 : 658 enodes (cost 13 ) 4.826 * * [simplify]: iteration 4 : 2635 enodes (cost 11 ) 7.778 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 7.779 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 7.781 * * [simplify]: iteration 1 : 42 enodes (cost 23 ) 7.790 * * [simplify]: iteration 2 : 172 enodes (cost 11 ) 7.864 * * [simplify]: iteration 3 : 792 enodes (cost 9 ) 9.084 * * [simplify]: iteration 4 : 2968 enodes (cost 9 ) 14.469 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 14.469 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 14.470 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 14.472 * * [simplify]: iteration 2 : 16 enodes (cost 17 ) 14.473 * * [simplify]: iteration 3 : 19 enodes (cost 17 ) 14.476 * * [simplify]: iteration 4 : 20 enodes (cost 17 ) 14.478 * * [simplify]: iteration done : 20 enodes (cost 17 ) 14.479 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 14.480 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 14.481 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 14.483 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 14.485 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 14.487 * * [simplify]: iteration done : 19 enodes (cost 8 ) 14.488 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 14.489 * * [simplify]: iteration 1 : 19 enodes (cost 23 ) 14.493 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 14.512 * * [simplify]: iteration 3 : 239 enodes (cost 9 ) 14.713 * * [simplify]: iteration 4 : 1017 enodes (cost 9 ) 17.015 * * [simplify]: iteration 5 : 3150 enodes (cost 9 ) 21.326 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 21.327 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 21.328 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 21.329 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 21.331 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 21.333 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 21.336 * * [simplify]: iteration done : 19 enodes (cost 8 ) 21.336 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 21.337 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 21.338 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 21.340 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 21.342 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 21.350 * * [simplify]: iteration done : 19 enodes (cost 8 ) 21.351 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.352 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 21.352 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 21.354 * * [simplify]: iteration done : 11 enodes (cost 4 ) 21.354 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.355 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 21.355 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 21.356 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 21.357 * * [simplify]: iteration done : 11 enodes (cost 4 ) 21.358 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 21.359 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 21.360 * * [simplify]: iteration done : 10 enodes (cost 11 ) 21.360 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 21.361 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 21.361 * * [simplify]: iteration done : 6 enodes (cost 6 ) 21.362 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.363 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 21.363 * * [simplify]: iteration done : 7 enodes (cost 6 ) 21.364 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 21.364 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 21.365 * * [simplify]: iteration done : 6 enodes (cost 6 ) 21.365 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.366 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 21.366 * * [simplify]: iteration done : 5 enodes (cost 1 ) 21.367 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 21.367 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 21.368 * * [simplify]: iteration done : 5 enodes (cost 5 ) 21.368 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.369 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 21.369 * * [simplify]: iteration done : 5 enodes (cost 1 ) 21.370 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 21.370 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 21.371 * * [simplify]: iteration done : 5 enodes (cost 5 ) 21.371 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.372 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 21.373 * * [simplify]: iteration done : 8 enodes (cost 5 ) 21.373 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.374 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.375 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 21.376 * * [simplify]: iteration done : 12 enodes (cost 7 ) 21.377 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 21.378 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 21.380 * * [simplify]: iteration 2 : 31 enodes (cost 13 ) 21.384 * * [simplify]: iteration 3 : 44 enodes (cost 13 ) 21.390 * * [simplify]: iteration 4 : 48 enodes (cost 13 ) 21.396 * * [simplify]: iteration done : 48 enodes (cost 13 ) 21.397 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 21.398 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 21.399 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 21.401 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 21.403 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 21.405 * * [simplify]: iteration done : 19 enodes (cost 8 ) 21.405 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.406 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 21.407 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 21.409 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 21.414 * * [simplify]: iteration 4 : 32 enodes (cost 3 ) 21.416 * * [simplify]: iteration done : 32 enodes (cost 3 ) 21.417 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.418 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 21.419 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 21.421 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 21.424 * * [simplify]: iteration 4 : 32 enodes (cost 3 ) 21.426 * * [simplify]: iteration done : 32 enodes (cost 3 ) 21.426 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 21.427 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 21.427 * * [simplify]: iteration done : 5 enodes (cost 5 ) 21.428 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 21.429 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 21.433 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 21.438 * * [simplify]: iteration 3 : 59 enodes (cost 11 ) 21.446 * * [simplify]: iteration 4 : 99 enodes (cost 11 ) 21.466 * * [simplify]: iteration 5 : 214 enodes (cost 11 ) 21.566 * * [simplify]: iteration 6 : 626 enodes (cost 11 ) 22.499 * * [simplify]: iteration 7 : 2458 enodes (cost 11 ) 24.602 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 24.603 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 24.604 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 24.607 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 24.612 * * [simplify]: iteration 3 : 88 enodes (cost 11 ) 24.633 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 24.672 * * [simplify]: iteration 5 : 262 enodes (cost 9 ) 24.734 * * [simplify]: iteration 6 : 399 enodes (cost 9 ) 24.923 * * [simplify]: iteration 7 : 1110 enodes (cost 9 ) 26.802 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 26.803 * * [simplify]: iteration 0 : 15 enodes (cost 21 ) 26.806 * * [simplify]: iteration 1 : 43 enodes (cost 19 ) 26.816 * * [simplify]: iteration 2 : 130 enodes (cost 15 ) 26.846 * * [simplify]: iteration 3 : 318 enodes (cost 13 ) 26.987 * * [simplify]: iteration 4 : 717 enodes (cost 13 ) 27.364 * * [simplify]: iteration 5 : 1362 enodes (cost 13 ) 28.694 * * [simplify]: iteration 6 : 3497 enodes (cost 13 ) 30.906 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 30.907 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 30.909 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 30.913 * * [simplify]: iteration 2 : 66 enodes (cost 13 ) 30.922 * * [simplify]: iteration 3 : 100 enodes (cost 13 ) 30.936 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 30.963 * * [simplify]: iteration 5 : 209 enodes (cost 11 ) 31.006 * * [simplify]: iteration 6 : 315 enodes (cost 11 ) 31.095 * * [simplify]: iteration 7 : 488 enodes (cost 11 ) 31.296 * * [simplify]: iteration 8 : 842 enodes (cost 11 ) 31.878 * * [simplify]: iteration 9 : 1831 enodes (cost 11 ) 33.964 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 33.965 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 33.966 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 33.971 * * [simplify]: iteration 2 : 66 enodes (cost 13 ) 33.986 * * [simplify]: iteration 3 : 100 enodes (cost 13 ) 34.000 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 34.024 * * [simplify]: iteration 5 : 209 enodes (cost 11 ) 34.072 * * [simplify]: iteration 6 : 315 enodes (cost 11 ) 34.161 * * [simplify]: iteration 7 : 488 enodes (cost 11 ) 34.362 * * [simplify]: iteration 8 : 842 enodes (cost 11 ) 34.941 * * [simplify]: iteration 9 : 1831 enodes (cost 11 ) 37.026 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 37.026 * [simplify]: Simplified to: (- (+ (log x) (log y)) (log (+ y 1.0))) (- (log (* x y)) (log (+ y 1.0))) (log (/ (* x y) (+ y 1.0))) (exp (/ (* x y) (+ y 1.0))) (/ (pow y 3) (pow (/ (+ y 1.0) x) 3)) (pow (/ (* x y) (+ y 1.0)) 3) (* (cbrt (/ (* x y) (+ y 1.0))) (cbrt (/ (* x y) (+ y 1.0)))) (cbrt (/ (* x y) (+ y 1.0))) (pow (/ (* x y) (+ y 1.0)) 3) (sqrt (/ (* x y) (+ y 1.0))) (sqrt (/ (* x y) (+ y 1.0))) (neg (* x y)) (neg (+ y 1.0)) (/ x (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ y (cbrt (+ y 1.0))) (/ x (sqrt (+ y 1.0))) (/ y (sqrt (+ y 1.0))) x (/ y (+ y 1.0)) x (/ y (+ y 1.0)) (/ 1 (+ y 1.0)) (/ (+ y 1.0) (* x y)) (/ (* x y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (* x y) (sqrt (+ y 1.0))) (* x y) (* x y) (/ (+ y 1.0) y) (/ (* x y) (+ (pow y 3) (pow 1.0 3))) (/ x (- y (/ (* 1.0 1.0) y))) (* (* 1.0 x) (- (+ y (pow y 3)) (pow y 2))) (+ (* (/ x y) (- (/ 1.0 y) 1.0)) x) (+ (* (/ x y) (- (/ 1.0 y) 1.0)) x) 37.026 * * * [progress]: adding candidates to table 37.075 * * [progress]: iteration 2 / 4 37.075 * * * [progress]: picking best candidate 37.081 * * * * [pick]: Picked # 37.081 * * * [progress]: localizing error 37.086 * * * [progress]: generating rewritten candidates 37.086 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 37.099 * * * [progress]: generating series expansions 37.099 * * * * [progress]: [ 1 / 1 ] generating series at (2) 37.099 * [approximate]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in (x y) around 0 37.099 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in y 37.099 * [taylor]: Taking taylor expansion of (* x y) in y 37.099 * [taylor]: Taking taylor expansion of x in y 37.099 * [taylor]: Taking taylor expansion of y in y 37.099 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 37.099 * [taylor]: Taking taylor expansion of y in y 37.099 * [taylor]: Taking taylor expansion of 1.0 in y 37.099 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 37.099 * [taylor]: Taking taylor expansion of (* x y) in x 37.100 * [taylor]: Taking taylor expansion of x in x 37.100 * [taylor]: Taking taylor expansion of y in x 37.100 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 37.100 * [taylor]: Taking taylor expansion of y in x 37.100 * [taylor]: Taking taylor expansion of 1.0 in x 37.100 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 37.100 * [taylor]: Taking taylor expansion of (* x y) in x 37.100 * [taylor]: Taking taylor expansion of x in x 37.100 * [taylor]: Taking taylor expansion of y in x 37.100 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 37.100 * [taylor]: Taking taylor expansion of y in x 37.100 * [taylor]: Taking taylor expansion of 1.0 in x 37.100 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 37.100 * [taylor]: Taking taylor expansion of y in y 37.100 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 37.100 * [taylor]: Taking taylor expansion of y in y 37.100 * [taylor]: Taking taylor expansion of 1.0 in y 37.100 * [taylor]: Taking taylor expansion of 0 in y 37.101 * [taylor]: Taking taylor expansion of 0 in y 37.101 * [approximate]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in (x y) around 0 37.101 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in y 37.101 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in y 37.101 * [taylor]: Taking taylor expansion of x in y 37.101 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in y 37.101 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 37.101 * [taylor]: Taking taylor expansion of 1.0 in y 37.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.101 * [taylor]: Taking taylor expansion of y in y 37.101 * [taylor]: Taking taylor expansion of y in y 37.101 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in x 37.101 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in x 37.101 * [taylor]: Taking taylor expansion of x in x 37.101 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in x 37.101 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 37.102 * [taylor]: Taking taylor expansion of 1.0 in x 37.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.102 * [taylor]: Taking taylor expansion of y in x 37.102 * [taylor]: Taking taylor expansion of y in x 37.102 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in x 37.102 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in x 37.102 * [taylor]: Taking taylor expansion of x in x 37.102 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in x 37.102 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 37.102 * [taylor]: Taking taylor expansion of 1.0 in x 37.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.102 * [taylor]: Taking taylor expansion of y in x 37.102 * [taylor]: Taking taylor expansion of y in x 37.102 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) 1)) in y 37.102 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1) in y 37.103 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 37.103 * [taylor]: Taking taylor expansion of 1.0 in y 37.103 * [taylor]: Taking taylor expansion of y in y 37.103 * [taylor]: Taking taylor expansion of 1 in y 37.103 * [taylor]: Taking taylor expansion of 0 in y 37.103 * [taylor]: Taking taylor expansion of 0 in y 37.104 * [approximate]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in (x y) around 0 37.104 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in y 37.104 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in y 37.104 * [taylor]: Taking taylor expansion of x in y 37.104 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in y 37.104 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 37.104 * [taylor]: Taking taylor expansion of 1.0 in y 37.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.104 * [taylor]: Taking taylor expansion of y in y 37.104 * [taylor]: Taking taylor expansion of y in y 37.104 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 37.104 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 37.104 * [taylor]: Taking taylor expansion of x in x 37.104 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 37.104 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 37.104 * [taylor]: Taking taylor expansion of 1.0 in x 37.104 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.104 * [taylor]: Taking taylor expansion of y in x 37.104 * [taylor]: Taking taylor expansion of y in x 37.105 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 37.105 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 37.105 * [taylor]: Taking taylor expansion of x in x 37.105 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 37.105 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 37.105 * [taylor]: Taking taylor expansion of 1.0 in x 37.105 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.105 * [taylor]: Taking taylor expansion of y in x 37.105 * [taylor]: Taking taylor expansion of y in x 37.106 * [taylor]: Taking taylor expansion of (/ 1 (- (* 1.0 y) 1)) in y 37.106 * [taylor]: Taking taylor expansion of (- (* 1.0 y) 1) in y 37.106 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 37.106 * [taylor]: Taking taylor expansion of 1.0 in y 37.106 * [taylor]: Taking taylor expansion of y in y 37.106 * [taylor]: Taking taylor expansion of 1 in y 37.106 * [taylor]: Taking taylor expansion of 0 in y 37.107 * [taylor]: Taking taylor expansion of 0 in y 37.107 * * * [progress]: simplifying candidates 37.109 * [simplify]: Simplifying using # : (- (log x) (- (log (+ y 1.0)) (log y))) (- (log x) (log (/ (+ y 1.0) y))) (log (/ x (/ (+ y 1.0) y))) (exp (/ x (/ (+ y 1.0) y))) (/ (* (* x x) x) (/ (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0)) (* (* y y) y))) (/ (* (* x x) x) (* (* (/ (+ y 1.0) y) (/ (+ y 1.0) y)) (/ (+ y 1.0) y))) (* (cbrt (/ x (/ (+ y 1.0) y))) (cbrt (/ x (/ (+ y 1.0) y)))) (cbrt (/ x (/ (+ y 1.0) y))) (* (* (/ x (/ (+ y 1.0) y)) (/ x (/ (+ y 1.0) y))) (/ x (/ (+ y 1.0) y))) (sqrt (/ x (/ (+ y 1.0) y))) (sqrt (/ x (/ (+ y 1.0) y))) (neg x) (neg (/ (+ y 1.0) y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ (cbrt x) (cbrt (/ (+ y 1.0) y))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ (+ y 1.0) y))) (/ (cbrt x) (sqrt (/ (+ y 1.0) y))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ (cbrt (+ y 1.0)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt y))) (/ (cbrt x) (/ (cbrt (+ y 1.0)) (sqrt y))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ (cbrt x) (/ (cbrt (+ y 1.0)) y)) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ y 1.0)) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ (sqrt (+ y 1.0)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (cbrt x) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ y 1.0)) 1)) (/ (cbrt x) (/ (sqrt (+ y 1.0)) y)) (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ (+ y 1.0) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt y))) (/ (cbrt x) (/ (+ y 1.0) (sqrt y))) (/ (* (cbrt x) (cbrt x)) (/ 1 1)) (/ (cbrt x) (/ (+ y 1.0) y)) (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ (+ y 1.0) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt y))) (/ (cbrt x) (/ (+ y 1.0) (sqrt y))) (/ (* (cbrt x) (cbrt x)) (/ 1 1)) (/ (cbrt x) (/ (+ y 1.0) y)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (/ (+ y 1.0) y)) (/ (* (cbrt x) (cbrt x)) (+ y 1.0)) (/ (cbrt x) (/ 1 y)) (/ (sqrt x) (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ (sqrt x) (cbrt (/ (+ y 1.0) y))) (/ (sqrt x) (sqrt (/ (+ y 1.0) y))) (/ (sqrt x) (sqrt (/ (+ y 1.0) y))) (/ (sqrt x) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ (cbrt (+ y 1.0)) (cbrt y))) (/ (sqrt x) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt y))) (/ (sqrt x) (/ (cbrt (+ y 1.0)) (sqrt y))) (/ (sqrt x) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ (sqrt x) (/ (cbrt (+ y 1.0)) y)) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (cbrt y))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) 1)) (/ (sqrt x) (/ (sqrt (+ y 1.0)) y)) (/ (sqrt x) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ (+ y 1.0) (cbrt y))) (/ (sqrt x) (/ 1 (sqrt y))) (/ (sqrt x) (/ (+ y 1.0) (sqrt y))) (/ (sqrt x) (/ 1 1)) (/ (sqrt x) (/ (+ y 1.0) y)) (/ (sqrt x) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ (+ y 1.0) (cbrt y))) (/ (sqrt x) (/ 1 (sqrt y))) (/ (sqrt x) (/ (+ y 1.0) (sqrt y))) (/ (sqrt x) (/ 1 1)) (/ (sqrt x) (/ (+ y 1.0) y)) (/ (sqrt x) 1) (/ (sqrt x) (/ (+ y 1.0) y)) (/ (sqrt x) (+ y 1.0)) (/ (sqrt x) (/ 1 y)) (/ 1 (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ x (cbrt (/ (+ y 1.0) y))) (/ 1 (sqrt (/ (+ y 1.0) y))) (/ x (sqrt (/ (+ y 1.0) y))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt y) (cbrt y)))) (/ x (/ (cbrt (+ y 1.0)) (cbrt y))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt y))) (/ x (/ (cbrt (+ y 1.0)) (sqrt y))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ x (/ (cbrt (+ y 1.0)) y)) (/ 1 (/ (sqrt (+ y 1.0)) (* (cbrt y) (cbrt y)))) (/ x (/ (sqrt (+ y 1.0)) (cbrt y))) (/ 1 (/ (sqrt (+ y 1.0)) (sqrt y))) (/ x (/ (sqrt (+ y 1.0)) (sqrt y))) (/ 1 (/ (sqrt (+ y 1.0)) 1)) (/ x (/ (sqrt (+ y 1.0)) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ x (/ (+ y 1.0) (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ x (/ (+ y 1.0) (sqrt y))) (/ 1 (/ 1 1)) (/ x (/ (+ y 1.0) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ x (/ (+ y 1.0) (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ x (/ (+ y 1.0) (sqrt y))) (/ 1 (/ 1 1)) (/ x (/ (+ y 1.0) y)) (/ 1 1) (/ x (/ (+ y 1.0) y)) (/ 1 (+ y 1.0)) (/ x (/ 1 y)) (/ 1 (/ (+ y 1.0) y)) (/ (/ (+ y 1.0) y) x) (/ x (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ x (sqrt (/ (+ y 1.0) y))) (/ x (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt y) (cbrt y)))) (/ x (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt y))) (/ x (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ x (/ (sqrt (+ y 1.0)) (* (cbrt y) (cbrt y)))) (/ x (/ (sqrt (+ y 1.0)) (sqrt y))) (/ x (/ (sqrt (+ y 1.0)) 1)) (/ x (/ 1 (* (cbrt y) (cbrt y)))) (/ x (/ 1 (sqrt y))) (/ x (/ 1 1)) (/ x (/ 1 (* (cbrt y) (cbrt y)))) (/ x (/ 1 (sqrt y))) (/ x (/ 1 1)) (/ x 1) (/ x (+ y 1.0)) (/ (/ (+ y 1.0) y) (cbrt x)) (/ (/ (+ y 1.0) y) (sqrt x)) (/ (/ (+ y 1.0) y) x) (/ x (+ y 1.0)) (- (+ (* 1.0 (* x y)) (* 1.0 (* x (pow y 3)))) (* 1.0 (* x (pow y 2)))) (- (+ x (* 1.0 (/ x (pow y 2)))) (* 1.0 (/ x y))) (- (+ x (* 1.0 (/ x (pow y 2)))) (* 1.0 (/ x y))) 37.109 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 37.110 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 37.112 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 37.115 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 37.120 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 37.124 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 37.131 * * [simplify]: iteration 6 : 64 enodes (cost 10 ) 37.147 * * [simplify]: iteration 7 : 90 enodes (cost 10 ) 37.158 * * [simplify]: iteration 8 : 99 enodes (cost 10 ) 37.171 * * [simplify]: iteration done : 99 enodes (cost 10 ) 37.171 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.172 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 37.174 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 37.176 * * [simplify]: iteration 3 : 26 enodes (cost 9 ) 37.179 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 37.184 * * [simplify]: iteration 5 : 43 enodes (cost 9 ) 37.189 * * [simplify]: iteration 6 : 51 enodes (cost 9 ) 37.197 * * [simplify]: iteration 7 : 66 enodes (cost 9 ) 37.209 * * [simplify]: iteration 8 : 92 enodes (cost 9 ) 37.221 * * [simplify]: iteration 9 : 101 enodes (cost 9 ) 37.234 * * [simplify]: iteration done : 101 enodes (cost 9 ) 37.234 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 37.235 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 37.237 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 37.239 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 37.243 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 37.250 * * [simplify]: iteration 5 : 63 enodes (cost 8 ) 37.257 * * [simplify]: iteration 6 : 72 enodes (cost 8 ) 37.266 * * [simplify]: iteration 7 : 83 enodes (cost 8 ) 37.276 * * [simplify]: iteration 8 : 101 enodes (cost 8 ) 37.294 * * [simplify]: iteration 9 : 121 enodes (cost 8 ) 37.309 * * [simplify]: iteration 10 : 127 enodes (cost 8 ) 37.323 * * [simplify]: iteration done : 127 enodes (cost 8 ) 37.324 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 37.325 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 37.326 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 37.327 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 37.330 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 37.335 * * [simplify]: iteration 5 : 59 enodes (cost 8 ) 37.344 * * [simplify]: iteration 6 : 131 enodes (cost 8 ) 37.391 * * [simplify]: iteration 7 : 307 enodes (cost 8 ) 37.581 * * [simplify]: iteration 8 : 840 enodes (cost 8 ) 38.873 * * [simplify]: iteration 9 : 3154 enodes (cost 8 ) 40.100 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 40.100 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 40.102 * * [simplify]: iteration 1 : 39 enodes (cost 23 ) 40.110 * * [simplify]: iteration 2 : 148 enodes (cost 13 ) 40.166 * * [simplify]: iteration 3 : 593 enodes (cost 11 ) 40.914 * * [simplify]: iteration 4 : 2244 enodes (cost 9 ) 43.440 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 43.441 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 43.443 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 43.448 * * [simplify]: iteration 2 : 100 enodes (cost 11 ) 43.475 * * [simplify]: iteration 3 : 370 enodes (cost 9 ) 43.784 * * [simplify]: iteration 4 : 1446 enodes (cost 9 ) 46.538 * * [simplify]: iteration 5 : 3896 enodes (cost 9 ) 48.000 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 48.000 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 48.001 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 48.003 * * [simplify]: iteration 2 : 14 enodes (cost 17 ) 48.004 * * [simplify]: iteration 3 : 15 enodes (cost 17 ) 48.006 * * [simplify]: iteration 4 : 17 enodes (cost 17 ) 48.008 * * [simplify]: iteration 5 : 19 enodes (cost 17 ) 48.010 * * [simplify]: iteration 6 : 20 enodes (cost 17 ) 48.019 * * [simplify]: iteration done : 20 enodes (cost 17 ) 48.020 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 48.021 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 48.022 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 48.023 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 48.025 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 48.026 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 48.028 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 48.030 * * [simplify]: iteration done : 19 enodes (cost 8 ) 48.031 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 48.032 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 48.035 * * [simplify]: iteration 2 : 56 enodes (cost 9 ) 48.051 * * [simplify]: iteration 3 : 229 enodes (cost 9 ) 48.255 * * [simplify]: iteration 4 : 948 enodes (cost 9 ) 49.938 * * [simplify]: iteration 5 : 2880 enodes (cost 9 ) 53.855 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 53.856 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 53.856 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 53.858 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 53.859 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 53.860 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 53.862 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 53.864 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 53.866 * * [simplify]: iteration done : 19 enodes (cost 8 ) 53.867 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 53.868 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 53.869 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 53.871 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 53.872 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 53.874 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 53.876 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 53.878 * * [simplify]: iteration done : 19 enodes (cost 8 ) 53.879 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 53.879 * * [simplify]: iteration done : 2 enodes (cost 2 ) 53.879 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 53.880 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 53.881 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 53.882 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 53.884 * * [simplify]: iteration 4 : 20 enodes (cost 6 ) 53.886 * * [simplify]: iteration 5 : 26 enodes (cost 5 ) 53.888 * * [simplify]: iteration 6 : 28 enodes (cost 5 ) 53.890 * * [simplify]: iteration done : 28 enodes (cost 5 ) 53.891 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 53.892 * * [simplify]: iteration 1 : 17 enodes (cost 19 ) 53.894 * * [simplify]: iteration 2 : 26 enodes (cost 19 ) 53.897 * * [simplify]: iteration 3 : 32 enodes (cost 19 ) 53.901 * * [simplify]: iteration done : 32 enodes (cost 19 ) 53.901 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 53.902 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 53.903 * * [simplify]: iteration done : 9 enodes (cost 9 ) 53.903 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 53.904 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 53.905 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 53.907 * * [simplify]: iteration 3 : 15 enodes (cost 12 ) 53.909 * * [simplify]: iteration done : 15 enodes (cost 12 ) 53.909 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 53.910 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 53.911 * * [simplify]: iteration done : 9 enodes (cost 9 ) 53.911 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 53.913 * * [simplify]: iteration 1 : 23 enodes (cost 21 ) 53.920 * * [simplify]: iteration 2 : 59 enodes (cost 21 ) 53.931 * * [simplify]: iteration 3 : 152 enodes (cost 21 ) 53.978 * * [simplify]: iteration 4 : 278 enodes (cost 21 ) 54.096 * * [simplify]: iteration 5 : 372 enodes (cost 21 ) 54.248 * * [simplify]: iteration 6 : 408 enodes (cost 21 ) 54.408 * * [simplify]: iteration 7 : 418 enodes (cost 21 ) 54.575 * * [simplify]: iteration done : 418 enodes (cost 21 ) 54.575 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 54.576 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 54.577 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 54.579 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 54.581 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 54.583 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 54.585 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 54.587 * * [simplify]: iteration done : 21 enodes (cost 10 ) 54.588 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 54.589 * * [simplify]: iteration 1 : 18 enodes (cost 18 ) 54.591 * * [simplify]: iteration 2 : 36 enodes (cost 18 ) 54.597 * * [simplify]: iteration 3 : 80 enodes (cost 18 ) 54.616 * * [simplify]: iteration 4 : 124 enodes (cost 18 ) 54.642 * * [simplify]: iteration 5 : 143 enodes (cost 18 ) 54.673 * * [simplify]: iteration 6 : 148 enodes (cost 18 ) 54.701 * * [simplify]: iteration 7 : 149 enodes (cost 18 ) 54.733 * * [simplify]: iteration done : 149 enodes (cost 18 ) 54.734 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 54.735 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 54.736 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 54.738 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 54.739 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 54.741 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 54.743 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 54.745 * * [simplify]: iteration done : 21 enodes (cost 10 ) 54.746 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 54.747 * * [simplify]: iteration 1 : 20 enodes (cost 15 ) 54.750 * * [simplify]: iteration 2 : 43 enodes (cost 15 ) 54.763 * * [simplify]: iteration 3 : 118 enodes (cost 15 ) 54.794 * * [simplify]: iteration 4 : 147 enodes (cost 15 ) 54.819 * * [simplify]: iteration 5 : 167 enodes (cost 15 ) 54.852 * * [simplify]: iteration 6 : 169 enodes (cost 15 ) 54.881 * * [simplify]: iteration done : 169 enodes (cost 15 ) 54.882 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 54.882 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 54.884 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 54.885 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 54.890 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 54.892 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 54.894 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 54.896 * * [simplify]: iteration done : 20 enodes (cost 9 ) 54.897 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 54.898 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 54.900 * * [simplify]: iteration 2 : 33 enodes (cost 16 ) 54.905 * * [simplify]: iteration 3 : 61 enodes (cost 16 ) 54.915 * * [simplify]: iteration 4 : 97 enodes (cost 16 ) 54.936 * * [simplify]: iteration 5 : 118 enodes (cost 16 ) 54.962 * * [simplify]: iteration 6 : 128 enodes (cost 16 ) 54.988 * * [simplify]: iteration 7 : 137 enodes (cost 16 ) 55.020 * * [simplify]: iteration done : 137 enodes (cost 16 ) 55.020 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 55.021 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 55.022 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 55.024 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 55.026 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 55.028 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 55.030 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 55.032 * * [simplify]: iteration done : 21 enodes (cost 10 ) 55.033 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 55.034 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 55.036 * * [simplify]: iteration 2 : 24 enodes (cost 13 ) 55.038 * * [simplify]: iteration 3 : 34 enodes (cost 13 ) 55.043 * * [simplify]: iteration 4 : 44 enodes (cost 13 ) 55.049 * * [simplify]: iteration 5 : 48 enodes (cost 13 ) 55.059 * * [simplify]: iteration 6 : 50 enodes (cost 13 ) 55.066 * * [simplify]: iteration 7 : 51 enodes (cost 13 ) 55.073 * * [simplify]: iteration done : 51 enodes (cost 13 ) 55.074 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 55.076 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 55.077 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 55.078 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 55.080 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 55.082 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 55.084 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 55.086 * * [simplify]: iteration done : 21 enodes (cost 10 ) 55.087 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 55.088 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 55.090 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 55.094 * * [simplify]: iteration 3 : 50 enodes (cost 10 ) 55.101 * * [simplify]: iteration 4 : 56 enodes (cost 10 ) 55.106 * * [simplify]: iteration 5 : 60 enodes (cost 10 ) 55.115 * * [simplify]: iteration 6 : 66 enodes (cost 10 ) 55.124 * * [simplify]: iteration 7 : 67 enodes (cost 10 ) 55.131 * * [simplify]: iteration done : 67 enodes (cost 10 ) 55.132 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.133 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 55.134 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 55.136 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 55.138 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 55.140 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 55.142 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 55.144 * * [simplify]: iteration done : 20 enodes (cost 9 ) 55.144 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 55.145 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 55.148 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 55.153 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 55.192 * * [simplify]: iteration 4 : 192 enodes (cost 11 ) 55.240 * * [simplify]: iteration 5 : 255 enodes (cost 11 ) 55.296 * * [simplify]: iteration 6 : 299 enodes (cost 11 ) 55.333 * * [simplify]: iteration done : 299 enodes (cost 11 ) 55.333 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.334 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 55.335 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 55.337 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 55.341 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 55.343 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 55.345 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 55.347 * * [simplify]: iteration done : 20 enodes (cost 9 ) 55.348 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 55.349 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 55.351 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 55.354 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 55.369 * * [simplify]: iteration 4 : 96 enodes (cost 8 ) 55.379 * * [simplify]: iteration 5 : 104 enodes (cost 8 ) 55.389 * * [simplify]: iteration done : 104 enodes (cost 8 ) 55.389 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.390 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 55.391 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 55.393 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 55.395 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 55.399 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 55.401 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 55.403 * * [simplify]: iteration done : 20 enodes (cost 9 ) 55.404 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 55.405 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 55.406 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 55.410 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 55.416 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 55.422 * * [simplify]: iteration done : 56 enodes (cost 5 ) 55.423 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 55.423 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 55.425 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 55.426 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 55.427 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 55.429 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 55.431 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 55.433 * * [simplify]: iteration done : 19 enodes (cost 8 ) 55.434 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 55.435 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 55.438 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 55.443 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 55.483 * * [simplify]: iteration 4 : 192 enodes (cost 11 ) 55.531 * * [simplify]: iteration 5 : 255 enodes (cost 11 ) 55.586 * * [simplify]: iteration 6 : 299 enodes (cost 11 ) 55.625 * * [simplify]: iteration done : 299 enodes (cost 11 ) 55.626 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.626 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 55.628 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 55.629 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 55.631 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 55.632 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 55.634 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 55.637 * * [simplify]: iteration done : 20 enodes (cost 9 ) 55.637 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 55.638 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 55.640 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 55.643 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 55.657 * * [simplify]: iteration 4 : 96 enodes (cost 8 ) 55.667 * * [simplify]: iteration 5 : 104 enodes (cost 8 ) 55.680 * * [simplify]: iteration done : 104 enodes (cost 8 ) 55.681 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.681 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 55.682 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 55.684 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 55.686 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 55.687 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 55.689 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 55.692 * * [simplify]: iteration done : 20 enodes (cost 9 ) 55.692 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 55.693 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 55.695 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 55.698 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 55.705 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 55.710 * * [simplify]: iteration done : 56 enodes (cost 5 ) 55.711 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 55.712 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 55.713 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 55.714 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 55.716 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 55.718 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 55.720 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 55.722 * * [simplify]: iteration done : 19 enodes (cost 8 ) 55.722 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 55.723 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 55.724 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 55.725 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 55.727 * * [simplify]: iteration done : 20 enodes (cost 5 ) 55.727 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 55.728 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 55.729 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 55.731 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 55.732 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 55.734 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 55.736 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 55.741 * * [simplify]: iteration done : 19 enodes (cost 8 ) 55.742 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 55.743 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 55.744 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 55.745 * * [simplify]: iteration 3 : 13 enodes (cost 9 ) 55.747 * * [simplify]: iteration done : 13 enodes (cost 9 ) 55.747 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 55.748 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 55.749 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 55.750 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 55.753 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 55.756 * * [simplify]: iteration 5 : 33 enodes (cost 4 ) 55.758 * * [simplify]: iteration done : 33 enodes (cost 4 ) 55.759 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 55.760 * * [simplify]: iteration 1 : 12 enodes (cost 16 ) 55.761 * * [simplify]: iteration done : 12 enodes (cost 16 ) 55.762 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.762 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 55.763 * * [simplify]: iteration done : 9 enodes (cost 9 ) 55.764 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.765 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 55.766 * * [simplify]: iteration done : 9 enodes (cost 9 ) 55.766 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 55.767 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 55.768 * * [simplify]: iteration done : 9 enodes (cost 9 ) 55.769 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 55.770 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 55.772 * * [simplify]: iteration 2 : 41 enodes (cost 18 ) 55.778 * * [simplify]: iteration 3 : 70 enodes (cost 18 ) 55.789 * * [simplify]: iteration 4 : 96 enodes (cost 18 ) 55.811 * * [simplify]: iteration 5 : 127 enodes (cost 18 ) 55.837 * * [simplify]: iteration 6 : 148 enodes (cost 18 ) 55.867 * * [simplify]: iteration 7 : 158 enodes (cost 18 ) 55.896 * * [simplify]: iteration done : 158 enodes (cost 18 ) 55.897 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 55.898 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 55.899 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 55.901 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 55.903 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 55.904 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 55.906 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 55.911 * * [simplify]: iteration done : 21 enodes (cost 10 ) 55.912 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 55.913 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 55.915 * * [simplify]: iteration 2 : 23 enodes (cost 15 ) 55.918 * * [simplify]: iteration 3 : 36 enodes (cost 15 ) 55.923 * * [simplify]: iteration 4 : 44 enodes (cost 15 ) 55.928 * * [simplify]: iteration 5 : 50 enodes (cost 15 ) 55.934 * * [simplify]: iteration 6 : 53 enodes (cost 15 ) 55.941 * * [simplify]: iteration done : 53 enodes (cost 15 ) 55.941 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 55.942 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 55.943 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 55.945 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 55.946 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 55.948 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 55.951 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 55.953 * * [simplify]: iteration done : 21 enodes (cost 10 ) 55.954 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 55.955 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 55.957 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 55.962 * * [simplify]: iteration 3 : 57 enodes (cost 12 ) 55.972 * * [simplify]: iteration 4 : 69 enodes (cost 12 ) 55.980 * * [simplify]: iteration 5 : 81 enodes (cost 12 ) 55.990 * * [simplify]: iteration 6 : 87 enodes (cost 12 ) 56.001 * * [simplify]: iteration done : 87 enodes (cost 12 ) 56.001 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.002 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.003 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.005 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.006 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.008 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.010 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.012 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.013 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 56.014 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 56.015 * * [simplify]: iteration 2 : 22 enodes (cost 13 ) 56.018 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 56.021 * * [simplify]: iteration 4 : 34 enodes (cost 13 ) 56.029 * * [simplify]: iteration 5 : 43 enodes (cost 13 ) 56.035 * * [simplify]: iteration 6 : 49 enodes (cost 13 ) 56.041 * * [simplify]: iteration 7 : 54 enodes (cost 13 ) 56.049 * * [simplify]: iteration 8 : 55 enodes (cost 13 ) 56.056 * * [simplify]: iteration done : 55 enodes (cost 13 ) 56.057 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 56.058 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 56.059 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 56.061 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 56.062 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 56.064 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 56.066 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 56.068 * * [simplify]: iteration done : 21 enodes (cost 10 ) 56.069 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 56.070 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 56.071 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 56.072 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 56.074 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 56.076 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 56.078 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 56.081 * * [simplify]: iteration done : 21 enodes (cost 10 ) 56.081 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 56.085 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 56.086 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 56.087 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 56.089 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 56.091 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 56.093 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 56.096 * * [simplify]: iteration done : 21 enodes (cost 10 ) 56.096 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 56.097 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 56.099 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 56.100 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 56.103 * * [simplify]: iteration 4 : 27 enodes (cost 7 ) 56.105 * * [simplify]: iteration 5 : 30 enodes (cost 7 ) 56.108 * * [simplify]: iteration 6 : 34 enodes (cost 7 ) 56.111 * * [simplify]: iteration done : 34 enodes (cost 7 ) 56.112 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.113 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.114 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.115 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.117 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.119 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.121 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.123 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.123 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 56.124 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 56.126 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 56.128 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 56.135 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 56.147 * * [simplify]: iteration 5 : 86 enodes (cost 8 ) 56.161 * * [simplify]: iteration 6 : 106 enodes (cost 8 ) 56.170 * * [simplify]: iteration done : 106 enodes (cost 8 ) 56.171 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.171 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.173 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.174 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.176 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.177 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.179 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.182 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.182 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.183 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 56.184 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 56.186 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 56.188 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 56.191 * * [simplify]: iteration 5 : 34 enodes (cost 5 ) 56.194 * * [simplify]: iteration done : 34 enodes (cost 5 ) 56.194 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.195 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.197 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.198 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.202 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.204 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.206 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.208 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.209 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 56.210 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 56.211 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 56.212 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 56.213 * * [simplify]: iteration 4 : 20 enodes (cost 2 ) 56.215 * * [simplify]: iteration done : 20 enodes (cost 2 ) 56.215 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.216 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.217 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.219 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.220 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.222 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.224 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.226 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.227 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 56.228 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 56.229 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 56.232 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 56.238 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 56.248 * * [simplify]: iteration 5 : 86 enodes (cost 8 ) 56.265 * * [simplify]: iteration 6 : 106 enodes (cost 8 ) 56.275 * * [simplify]: iteration done : 106 enodes (cost 8 ) 56.276 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.277 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.278 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.280 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.281 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.283 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.285 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.288 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.288 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.289 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 56.290 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 56.291 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 56.294 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 56.297 * * [simplify]: iteration 5 : 34 enodes (cost 5 ) 56.299 * * [simplify]: iteration done : 34 enodes (cost 5 ) 56.300 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.301 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.302 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.303 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.305 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.307 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.309 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.311 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.312 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 56.313 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 56.314 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 56.314 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 56.316 * * [simplify]: iteration 4 : 20 enodes (cost 2 ) 56.318 * * [simplify]: iteration done : 20 enodes (cost 2 ) 56.318 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.319 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.324 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.325 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.327 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.329 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.331 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.333 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.334 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 56.334 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 56.335 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 56.335 * * [simplify]: iteration done : 8 enodes (cost 2 ) 56.336 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.337 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.338 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.339 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.341 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.343 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.345 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.347 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.348 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.348 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.349 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.350 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.350 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 56.351 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 56.353 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 56.355 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 56.358 * * [simplify]: iteration 5 : 33 enodes (cost 4 ) 56.361 * * [simplify]: iteration done : 33 enodes (cost 4 ) 56.361 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 56.362 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 56.364 * * [simplify]: iteration done : 13 enodes (cost 15 ) 56.364 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.365 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 56.366 * * [simplify]: iteration done : 8 enodes (cost 8 ) 56.366 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.367 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.368 * * [simplify]: iteration done : 10 enodes (cost 8 ) 56.368 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.369 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 56.370 * * [simplify]: iteration done : 8 enodes (cost 8 ) 56.370 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 56.371 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 56.374 * * [simplify]: iteration 2 : 42 enodes (cost 17 ) 56.380 * * [simplify]: iteration 3 : 73 enodes (cost 15 ) 56.402 * * [simplify]: iteration 4 : 133 enodes (cost 15 ) 56.449 * * [simplify]: iteration 5 : 208 enodes (cost 15 ) 56.479 * * [simplify]: iteration done : 208 enodes (cost 15 ) 56.479 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.480 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.481 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.483 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.484 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.486 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.488 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.491 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.492 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 56.493 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 56.494 * * [simplify]: iteration 2 : 24 enodes (cost 14 ) 56.498 * * [simplify]: iteration 3 : 37 enodes (cost 12 ) 56.506 * * [simplify]: iteration 4 : 64 enodes (cost 12 ) 56.522 * * [simplify]: iteration 5 : 97 enodes (cost 12 ) 56.534 * * [simplify]: iteration done : 97 enodes (cost 12 ) 56.535 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.536 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.537 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.538 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.540 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.542 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.544 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.546 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.547 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 56.548 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 56.550 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 56.553 * * [simplify]: iteration 3 : 35 enodes (cost 11 ) 56.556 * * [simplify]: iteration done : 35 enodes (cost 11 ) 56.557 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.557 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.561 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.562 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.564 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.565 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.567 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.569 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.570 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 56.571 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 56.573 * * [simplify]: iteration 2 : 23 enodes (cost 12 ) 56.575 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 56.580 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 56.590 * * [simplify]: iteration 5 : 72 enodes (cost 10 ) 56.598 * * [simplify]: iteration done : 72 enodes (cost 10 ) 56.599 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.600 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.601 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.602 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.604 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.606 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.608 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.610 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.610 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.611 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 56.612 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 56.614 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 56.616 * * [simplify]: iteration 4 : 30 enodes (cost 7 ) 56.623 * * [simplify]: iteration 5 : 35 enodes (cost 7 ) 56.626 * * [simplify]: iteration done : 35 enodes (cost 7 ) 56.627 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.628 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 56.629 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 56.630 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 56.632 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 56.634 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 56.636 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 56.638 * * [simplify]: iteration done : 20 enodes (cost 9 ) 56.639 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.639 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 56.641 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 56.642 * * [simplify]: iteration done : 17 enodes (cost 6 ) 56.642 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.643 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.644 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.646 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.647 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.649 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.651 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.653 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.654 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 56.655 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 56.656 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 56.659 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 56.664 * * [simplify]: iteration 4 : 43 enodes (cost 5 ) 56.670 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 56.676 * * [simplify]: iteration done : 44 enodes (cost 5 ) 56.676 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.680 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.681 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.682 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.684 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.686 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.688 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.690 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.690 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 56.691 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 56.692 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 56.693 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 56.695 * * [simplify]: iteration 4 : 17 enodes (cost 2 ) 56.696 * * [simplify]: iteration done : 17 enodes (cost 2 ) 56.697 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.698 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.699 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.700 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.702 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.704 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.706 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.708 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.709 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 56.710 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 56.710 * * [simplify]: iteration done : 6 enodes (cost 1 ) 56.710 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 56.711 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.712 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.713 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 56.716 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 56.718 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 56.719 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 56.722 * * [simplify]: iteration done : 18 enodes (cost 7 ) 56.722 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 56.723 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 56.724 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 56.727 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 56.732 * * [simplify]: iteration 4 : 43 enodes (cost 5 ) 56.738 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 56.747 * * [simplify]: iteration done : 44 enodes (cost 5 ) 56.747 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.748 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.749 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.751 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.752 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.754 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.756 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.759 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.759 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 56.760 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 56.761 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 56.762 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 56.764 * * [simplify]: iteration 4 : 17 enodes (cost 2 ) 56.766 * * [simplify]: iteration done : 17 enodes (cost 2 ) 56.766 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.767 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 56.768 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 56.769 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 56.771 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 56.773 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 56.776 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 56.778 * * [simplify]: iteration done : 19 enodes (cost 8 ) 56.779 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 56.779 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 56.779 * * [simplify]: iteration done : 6 enodes (cost 1 ) 56.780 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 56.781 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.782 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.783 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 56.784 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 56.786 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 56.788 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 56.790 * * [simplify]: iteration done : 18 enodes (cost 7 ) 56.791 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.791 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 56.791 * * [simplify]: iteration done : 4 enodes (cost 1 ) 56.792 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 56.792 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.793 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.795 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 56.796 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 56.798 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 56.800 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 56.805 * * [simplify]: iteration done : 18 enodes (cost 7 ) 56.806 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.806 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 56.807 * * [simplify]: iteration done : 8 enodes (cost 5 ) 56.808 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.808 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 56.809 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 56.810 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 56.812 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 56.815 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 56.817 * * [simplify]: iteration done : 30 enodes (cost 3 ) 56.818 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 56.819 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 56.820 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 56.821 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 56.823 * * [simplify]: iteration done : 15 enodes (cost 5 ) 56.823 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 56.824 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.825 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.826 * * [simplify]: iteration done : 12 enodes (cost 7 ) 56.827 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 56.828 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 56.829 * * [simplify]: iteration done : 11 enodes (cost 15 ) 56.830 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 56.830 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 56.831 * * [simplify]: iteration done : 8 enodes (cost 8 ) 56.832 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 56.833 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 56.836 * * [simplify]: iteration 2 : 40 enodes (cost 17 ) 56.842 * * [simplify]: iteration 3 : 71 enodes (cost 17 ) 56.853 * * [simplify]: iteration 4 : 97 enodes (cost 17 ) 56.876 * * [simplify]: iteration 5 : 131 enodes (cost 17 ) 56.903 * * [simplify]: iteration 6 : 157 enodes (cost 17 ) 56.935 * * [simplify]: iteration 7 : 167 enodes (cost 17 ) 56.965 * * [simplify]: iteration done : 167 enodes (cost 17 ) 56.966 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 56.967 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 56.968 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 56.971 * * [simplify]: iteration 3 : 35 enodes (cost 14 ) 56.978 * * [simplify]: iteration 4 : 43 enodes (cost 14 ) 56.984 * * [simplify]: iteration 5 : 49 enodes (cost 14 ) 56.990 * * [simplify]: iteration 6 : 52 enodes (cost 14 ) 56.996 * * [simplify]: iteration done : 52 enodes (cost 14 ) 56.996 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 56.998 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 57.000 * * [simplify]: iteration 2 : 29 enodes (cost 11 ) 57.005 * * [simplify]: iteration 3 : 56 enodes (cost 11 ) 57.011 * * [simplify]: iteration 4 : 64 enodes (cost 11 ) 57.016 * * [simplify]: iteration 5 : 73 enodes (cost 11 ) 57.025 * * [simplify]: iteration 6 : 88 enodes (cost 11 ) 57.040 * * [simplify]: iteration 7 : 91 enodes (cost 11 ) 57.050 * * [simplify]: iteration done : 91 enodes (cost 11 ) 57.050 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 57.051 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 57.053 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 57.055 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 57.059 * * [simplify]: iteration 4 : 33 enodes (cost 12 ) 57.063 * * [simplify]: iteration 5 : 42 enodes (cost 12 ) 57.069 * * [simplify]: iteration 6 : 48 enodes (cost 12 ) 57.075 * * [simplify]: iteration 7 : 53 enodes (cost 12 ) 57.083 * * [simplify]: iteration 8 : 54 enodes (cost 12 ) 57.093 * * [simplify]: iteration done : 54 enodes (cost 12 ) 57.094 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 57.095 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 57.096 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 57.097 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 57.099 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 57.101 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 57.103 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 57.105 * * [simplify]: iteration done : 20 enodes (cost 9 ) 57.105 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 57.106 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 57.108 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 57.109 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 57.110 * * [simplify]: iteration done : 24 enodes (cost 6 ) 57.111 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 57.112 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 57.113 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 57.116 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 57.120 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 57.129 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 57.140 * * [simplify]: iteration 6 : 92 enodes (cost 7 ) 57.152 * * [simplify]: iteration done : 92 enodes (cost 7 ) 57.153 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 57.154 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 57.155 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 57.156 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 57.158 * * [simplify]: iteration 4 : 26 enodes (cost 4 ) 57.160 * * [simplify]: iteration 5 : 31 enodes (cost 4 ) 57.162 * * [simplify]: iteration done : 31 enodes (cost 4 ) 57.163 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 57.164 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 57.165 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 57.165 * * [simplify]: iteration done : 13 enodes (cost 1 ) 57.166 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 57.166 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 57.168 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 57.170 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 57.174 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 57.183 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 57.194 * * [simplify]: iteration 6 : 92 enodes (cost 7 ) 57.203 * * [simplify]: iteration done : 92 enodes (cost 7 ) 57.204 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 57.204 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 57.205 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 57.207 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 57.208 * * [simplify]: iteration 4 : 26 enodes (cost 4 ) 57.215 * * [simplify]: iteration 5 : 31 enodes (cost 4 ) 57.217 * * [simplify]: iteration done : 31 enodes (cost 4 ) 57.218 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 57.218 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 57.219 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 57.219 * * [simplify]: iteration done : 13 enodes (cost 1 ) 57.220 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 57.220 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 57.221 * * [simplify]: iteration done : 5 enodes (cost 1 ) 57.221 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 57.222 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 57.222 * * [simplify]: iteration done : 6 enodes (cost 5 ) 57.223 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 57.224 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 57.225 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 57.226 * * [simplify]: iteration done : 13 enodes (cost 8 ) 57.226 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 57.227 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 57.228 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 57.230 * * [simplify]: iteration done : 13 enodes (cost 8 ) 57.230 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 57.231 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 57.232 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 57.233 * * [simplify]: iteration done : 12 enodes (cost 7 ) 57.234 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 57.234 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 57.235 * * [simplify]: iteration done : 6 enodes (cost 5 ) 57.236 * * [simplify]: iteration 0 : 15 enodes (cost 21 ) 57.238 * * [simplify]: iteration 1 : 43 enodes (cost 19 ) 57.248 * * [simplify]: iteration 2 : 130 enodes (cost 15 ) 57.283 * * [simplify]: iteration 3 : 318 enodes (cost 13 ) 57.425 * * [simplify]: iteration 4 : 717 enodes (cost 13 ) 57.806 * * [simplify]: iteration 5 : 1362 enodes (cost 13 ) 59.162 * * [simplify]: iteration 6 : 3497 enodes (cost 13 ) 61.394 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 61.394 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 61.396 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 61.401 * * [simplify]: iteration 2 : 66 enodes (cost 13 ) 61.409 * * [simplify]: iteration 3 : 100 enodes (cost 13 ) 61.423 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 61.451 * * [simplify]: iteration 5 : 209 enodes (cost 11 ) 61.498 * * [simplify]: iteration 6 : 315 enodes (cost 11 ) 61.583 * * [simplify]: iteration 7 : 488 enodes (cost 11 ) 61.787 * * [simplify]: iteration 8 : 842 enodes (cost 11 ) 62.368 * * [simplify]: iteration 9 : 1831 enodes (cost 11 ) 64.711 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 64.712 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 64.714 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 64.718 * * [simplify]: iteration 2 : 66 enodes (cost 13 ) 64.727 * * [simplify]: iteration 3 : 100 enodes (cost 13 ) 64.741 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 64.771 * * [simplify]: iteration 5 : 209 enodes (cost 11 ) 64.819 * * [simplify]: iteration 6 : 315 enodes (cost 11 ) 64.902 * * [simplify]: iteration 7 : 488 enodes (cost 11 ) 65.107 * * [simplify]: iteration 8 : 842 enodes (cost 11 ) 65.695 * * [simplify]: iteration 9 : 1831 enodes (cost 11 ) 67.820 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 67.821 * [simplify]: Simplified to: (- (log x) (- (log (+ y 1.0)) (log y))) (- (log x) (log (/ (+ y 1.0) y))) (log (/ x (/ (+ y 1.0) y))) (exp (/ x (/ (+ y 1.0) y))) (pow (/ x (/ (+ y 1.0) y)) 3) (pow (/ x (/ (+ y 1.0) y)) 3) (* (cbrt (/ x (/ (+ y 1.0) y))) (cbrt (/ x (/ (+ y 1.0) y)))) (cbrt (/ x (/ (+ y 1.0) y))) (pow (/ x (/ (+ y 1.0) y)) 3) (sqrt (/ x (/ (+ y 1.0) y))) (sqrt (/ x (/ (+ y 1.0) y))) (neg x) (- -1 (/ 1.0 y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ (cbrt x) (cbrt (/ (+ y 1.0) y))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ (+ y 1.0) y))) (/ (cbrt x) (sqrt (/ (+ y 1.0) y))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ (cbrt (+ y 1.0)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt y))) (/ (cbrt x) (/ (cbrt (+ y 1.0)) (sqrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (cbrt x) (/ (cbrt (+ y 1.0)) y)) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ y 1.0)) (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ (sqrt (+ y 1.0)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (cbrt x) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (* (cbrt x) (cbrt x)) (sqrt (+ y 1.0))) (/ (cbrt x) (/ (sqrt (+ y 1.0)) y)) (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt x) (/ (+ y 1.0) (cbrt y))) (* (sqrt y) (* (cbrt x) (cbrt x))) (/ (cbrt x) (/ (+ y 1.0) (sqrt y))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ (+ y 1.0) y)) (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt x) (/ (+ y 1.0) (cbrt y))) (* (sqrt y) (* (cbrt x) (cbrt x))) (/ (cbrt x) (/ (+ y 1.0) (sqrt y))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ (+ y 1.0) y)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ (+ y 1.0) y)) (/ (* (cbrt x) (cbrt x)) (+ y 1.0)) (* y (cbrt x)) (/ (sqrt x) (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ (sqrt x) (cbrt (/ (+ y 1.0) y))) (/ (sqrt x) (sqrt (/ (+ y 1.0) y))) (/ (sqrt x) (sqrt (/ (+ y 1.0) y))) (/ (sqrt x) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ (cbrt (+ y 1.0)) (cbrt y))) (/ (sqrt x) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt y))) (/ (sqrt x) (/ (cbrt (+ y 1.0)) (sqrt y))) (/ (sqrt x) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt x) (/ (cbrt (+ y 1.0)) y)) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (cbrt y))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) (sqrt y))) (/ (sqrt x) (sqrt (+ y 1.0))) (/ (sqrt x) (/ (sqrt (+ y 1.0)) y)) (* (* (cbrt y) (cbrt y)) (sqrt x)) (/ (sqrt x) (/ (+ y 1.0) (cbrt y))) (* (sqrt x) (sqrt y)) (/ (sqrt x) (/ (+ y 1.0) (sqrt y))) (sqrt x) (/ (sqrt x) (/ (+ y 1.0) y)) (* (* (cbrt y) (cbrt y)) (sqrt x)) (/ (sqrt x) (/ (+ y 1.0) (cbrt y))) (* (sqrt x) (sqrt y)) (/ (sqrt x) (/ (+ y 1.0) (sqrt y))) (sqrt x) (/ (sqrt x) (/ (+ y 1.0) y)) (sqrt x) (/ (sqrt x) (/ (+ y 1.0) y)) (/ (sqrt x) (+ y 1.0)) (* y (sqrt x)) (/ 1 (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ x (cbrt (/ (+ y 1.0) y))) (/ 1 (sqrt (/ (+ y 1.0) y))) (/ x (sqrt (/ (+ y 1.0) y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ x (/ (cbrt (+ y 1.0)) (cbrt y))) (/ (sqrt y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ x (/ (cbrt (+ y 1.0)) (sqrt y))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ x (/ (cbrt (+ y 1.0)) y)) (/ (* (cbrt y) (cbrt y)) (sqrt (+ y 1.0))) (/ x (/ (sqrt (+ y 1.0)) (cbrt y))) (/ (sqrt y) (sqrt (+ y 1.0))) (/ x (/ (sqrt (+ y 1.0)) (sqrt y))) (/ 1 (sqrt (+ y 1.0))) (/ x (/ (sqrt (+ y 1.0)) y)) (* (cbrt y) (cbrt y)) (/ x (/ (+ y 1.0) (cbrt y))) (sqrt y) (/ x (/ (+ y 1.0) (sqrt y))) 1 (/ x (/ (+ y 1.0) y)) (* (cbrt y) (cbrt y)) (/ x (/ (+ y 1.0) (cbrt y))) (sqrt y) (/ x (/ (+ y 1.0) (sqrt y))) 1 (/ x (/ (+ y 1.0) y)) 1 (/ x (/ (+ y 1.0) y)) (/ 1 (+ y 1.0)) (* x y) (/ y (+ y 1.0)) (/ (/ (+ y 1.0) y) x) (/ x (* (cbrt (/ (+ y 1.0) y)) (cbrt (/ (+ y 1.0) y)))) (/ x (sqrt (/ (+ y 1.0) y))) (/ x (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt y) (cbrt y)))) (/ x (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt y))) (/ x (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ x (/ (sqrt (+ y 1.0)) (* (cbrt y) (cbrt y)))) (/ x (/ (sqrt (+ y 1.0)) (sqrt y))) (/ x (sqrt (+ y 1.0))) (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) x (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) x x (/ x (+ y 1.0)) (/ (/ (+ y 1.0) y) (cbrt x)) (/ (/ (+ y 1.0) y) (sqrt x)) (/ (/ (+ y 1.0) y) x) (/ x (+ y 1.0)) (* (* 1.0 x) (- (+ y (pow y 3)) (pow y 2))) (+ (* (/ x y) (- (/ 1.0 y) 1.0)) x) (+ (* (/ x y) (- (/ 1.0 y) 1.0)) x) 67.822 * * * [progress]: adding candidates to table 67.923 * * [progress]: iteration 3 / 4 67.923 * * * [progress]: picking best candidate 67.925 * * * * [pick]: Picked # 67.925 * * * [progress]: localizing error 67.931 * * * [progress]: generating rewritten candidates 67.931 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 67.942 * * * [progress]: generating series expansions 67.942 * * * * [progress]: [ 1 / 1 ] generating series at (2) 67.942 * [approximate]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in (x y) around 0 67.942 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in y 67.942 * [taylor]: Taking taylor expansion of (* x y) in y 67.942 * [taylor]: Taking taylor expansion of x in y 67.942 * [taylor]: Taking taylor expansion of y in y 67.942 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 67.942 * [taylor]: Taking taylor expansion of y in y 67.942 * [taylor]: Taking taylor expansion of 1.0 in y 67.942 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 67.942 * [taylor]: Taking taylor expansion of (* x y) in x 67.942 * [taylor]: Taking taylor expansion of x in x 67.942 * [taylor]: Taking taylor expansion of y in x 67.942 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 67.942 * [taylor]: Taking taylor expansion of y in x 67.943 * [taylor]: Taking taylor expansion of 1.0 in x 67.943 * [taylor]: Taking taylor expansion of (/ (* x y) (+ y 1.0)) in x 67.943 * [taylor]: Taking taylor expansion of (* x y) in x 67.943 * [taylor]: Taking taylor expansion of x in x 67.943 * [taylor]: Taking taylor expansion of y in x 67.943 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 67.943 * [taylor]: Taking taylor expansion of y in x 67.943 * [taylor]: Taking taylor expansion of 1.0 in x 67.943 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 67.943 * [taylor]: Taking taylor expansion of y in y 67.943 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 67.943 * [taylor]: Taking taylor expansion of y in y 67.943 * [taylor]: Taking taylor expansion of 1.0 in y 67.943 * [taylor]: Taking taylor expansion of 0 in y 67.943 * [taylor]: Taking taylor expansion of 0 in y 67.944 * [approximate]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in (x y) around 0 67.944 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in y 67.944 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in y 67.944 * [taylor]: Taking taylor expansion of x in y 67.944 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in y 67.944 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 67.944 * [taylor]: Taking taylor expansion of 1.0 in y 67.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.944 * [taylor]: Taking taylor expansion of y in y 67.944 * [taylor]: Taking taylor expansion of y in y 67.944 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in x 67.944 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in x 67.944 * [taylor]: Taking taylor expansion of x in x 67.944 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in x 67.944 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 67.944 * [taylor]: Taking taylor expansion of 1.0 in x 67.944 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.944 * [taylor]: Taking taylor expansion of y in x 67.944 * [taylor]: Taking taylor expansion of y in x 67.945 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (+ 1.0 (/ 1 y)) y))) in x 67.945 * [taylor]: Taking taylor expansion of (* x (* (+ 1.0 (/ 1 y)) y)) in x 67.945 * [taylor]: Taking taylor expansion of x in x 67.945 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in x 67.945 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 67.945 * [taylor]: Taking taylor expansion of 1.0 in x 67.945 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.945 * [taylor]: Taking taylor expansion of y in x 67.945 * [taylor]: Taking taylor expansion of y in x 67.945 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 y) 1)) in y 67.945 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1) in y 67.945 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 67.945 * [taylor]: Taking taylor expansion of 1.0 in y 67.945 * [taylor]: Taking taylor expansion of y in y 67.945 * [taylor]: Taking taylor expansion of 1 in y 67.946 * [taylor]: Taking taylor expansion of 0 in y 67.946 * [taylor]: Taking taylor expansion of 0 in y 67.947 * [approximate]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in (x y) around 0 67.947 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in y 67.947 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in y 67.947 * [taylor]: Taking taylor expansion of x in y 67.947 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in y 67.947 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 67.947 * [taylor]: Taking taylor expansion of 1.0 in y 67.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.947 * [taylor]: Taking taylor expansion of y in y 67.947 * [taylor]: Taking taylor expansion of y in y 67.947 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 67.947 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 67.947 * [taylor]: Taking taylor expansion of x in x 67.947 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 67.947 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 67.947 * [taylor]: Taking taylor expansion of 1.0 in x 67.947 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.947 * [taylor]: Taking taylor expansion of y in x 67.947 * [taylor]: Taking taylor expansion of y in x 67.948 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- 1.0 (/ 1 y)) y))) in x 67.948 * [taylor]: Taking taylor expansion of (* x (* (- 1.0 (/ 1 y)) y)) in x 67.948 * [taylor]: Taking taylor expansion of x in x 67.948 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) y) in x 67.948 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 67.948 * [taylor]: Taking taylor expansion of 1.0 in x 67.948 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.948 * [taylor]: Taking taylor expansion of y in x 67.948 * [taylor]: Taking taylor expansion of y in x 67.948 * [taylor]: Taking taylor expansion of (/ 1 (- (* 1.0 y) 1)) in y 67.949 * [taylor]: Taking taylor expansion of (- (* 1.0 y) 1) in y 67.949 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 67.949 * [taylor]: Taking taylor expansion of 1.0 in y 67.949 * [taylor]: Taking taylor expansion of y in y 67.949 * [taylor]: Taking taylor expansion of 1 in y 67.949 * [taylor]: Taking taylor expansion of 0 in y 67.949 * [taylor]: Taking taylor expansion of 0 in y 67.950 * * * [progress]: simplifying candidates 67.950 * [simplify]: Simplifying using # : (* (/ x (+ y 1.0)) y) (+ (- (log x) (log (+ y 1.0))) (log y)) (+ (log (/ x (+ y 1.0))) (log y)) (log (* (/ x (+ y 1.0)) y)) (exp (* (/ x (+ y 1.0)) y)) (* (/ (* (* x x) x) (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0))) (* (* y y) y)) (* (* (* (/ x (+ y 1.0)) (/ x (+ y 1.0))) (/ x (+ y 1.0))) (* (* y y) y)) (* (cbrt (* (/ x (+ y 1.0)) y)) (cbrt (* (/ x (+ y 1.0)) y))) (cbrt (* (/ x (+ y 1.0)) y)) (* (* (* (/ x (+ y 1.0)) y) (* (/ x (+ y 1.0)) y)) (* (/ x (+ y 1.0)) y)) (sqrt (* (/ x (+ y 1.0)) y)) (sqrt (* (/ x (+ y 1.0)) y)) (* (sqrt (/ x (+ y 1.0))) (sqrt y)) (* (sqrt (/ x (+ y 1.0))) (sqrt y)) (* (/ (sqrt x) (sqrt (+ y 1.0))) (sqrt y)) (* (/ (sqrt x) (sqrt (+ y 1.0))) (sqrt y)) (* (/ x (+ y 1.0)) (* (cbrt y) (cbrt y))) (* (/ x (+ y 1.0)) (sqrt y)) (* (/ x (+ y 1.0)) 1) (* (cbrt (/ x (+ y 1.0))) y) (* (sqrt (/ x (+ y 1.0))) y) (* (/ (cbrt x) (cbrt (+ y 1.0))) y) (* (/ (cbrt x) (sqrt (+ y 1.0))) y) (* (/ (cbrt x) (+ y 1.0)) y) (* (/ (cbrt x) (+ y 1.0)) y) (* (/ (sqrt x) (cbrt (+ y 1.0))) y) (* (/ (sqrt x) (sqrt (+ y 1.0))) y) (* (/ (sqrt x) (+ y 1.0)) y) (* (/ (sqrt x) (+ y 1.0)) y) (* (/ x (cbrt (+ y 1.0))) y) (* (/ x (sqrt (+ y 1.0))) y) (* (/ x (+ y 1.0)) y) (* (/ x (+ y 1.0)) y) (* (/ x (+ y 1.0)) y) (* (/ 1 (+ y 1.0)) y) (* (+ (* y y) (- (* 1.0 1.0) (* y 1.0))) y) (* (- y 1.0) y) (* x y) (- (+ (* 1.0 (* x y)) (* 1.0 (* x (pow y 3)))) (* 1.0 (* x (pow y 2)))) (- (+ x (* 1.0 (/ x (pow y 2)))) (* 1.0 (/ x y))) (- (+ x (* 1.0 (/ x (pow y 2)))) (* 1.0 (/ x y))) 67.951 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 67.952 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 67.953 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 67.959 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 67.960 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 67.962 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 67.964 * * [simplify]: iteration done : 18 enodes (cost 7 ) 67.965 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 67.966 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 67.968 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 67.970 * * [simplify]: iteration 3 : 34 enodes (cost 10 ) 67.975 * * [simplify]: iteration 4 : 43 enodes (cost 10 ) 67.980 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 67.985 * * [simplify]: iteration 6 : 57 enodes (cost 10 ) 67.992 * * [simplify]: iteration 7 : 74 enodes (cost 10 ) 68.005 * * [simplify]: iteration 8 : 93 enodes (cost 10 ) 68.018 * * [simplify]: iteration 9 : 101 enodes (cost 10 ) 68.030 * * [simplify]: iteration done : 101 enodes (cost 10 ) 68.031 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 68.032 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 68.033 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 68.035 * * [simplify]: iteration 3 : 28 enodes (cost 9 ) 68.038 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 68.044 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 68.049 * * [simplify]: iteration 6 : 52 enodes (cost 9 ) 68.055 * * [simplify]: iteration 7 : 61 enodes (cost 9 ) 68.062 * * [simplify]: iteration 8 : 78 enodes (cost 9 ) 68.078 * * [simplify]: iteration 9 : 97 enodes (cost 9 ) 68.089 * * [simplify]: iteration 10 : 105 enodes (cost 9 ) 68.102 * * [simplify]: iteration done : 105 enodes (cost 9 ) 68.102 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 68.103 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 68.105 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 68.108 * * [simplify]: iteration 3 : 35 enodes (cost 8 ) 68.112 * * [simplify]: iteration 4 : 53 enodes (cost 8 ) 68.118 * * [simplify]: iteration 5 : 66 enodes (cost 8 ) 68.130 * * [simplify]: iteration 6 : 78 enodes (cost 8 ) 68.138 * * [simplify]: iteration 7 : 90 enodes (cost 8 ) 68.150 * * [simplify]: iteration 8 : 113 enodes (cost 8 ) 68.163 * * [simplify]: iteration 9 : 125 enodes (cost 8 ) 68.179 * * [simplify]: iteration 10 : 141 enodes (cost 8 ) 68.197 * * [simplify]: iteration 11 : 143 enodes (cost 8 ) 68.211 * * [simplify]: iteration done : 143 enodes (cost 8 ) 68.212 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 68.213 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 68.215 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 68.217 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 68.222 * * [simplify]: iteration 4 : 59 enodes (cost 8 ) 68.230 * * [simplify]: iteration 5 : 131 enodes (cost 8 ) 68.278 * * [simplify]: iteration 6 : 307 enodes (cost 8 ) 68.473 * * [simplify]: iteration 7 : 840 enodes (cost 8 ) 69.758 * * [simplify]: iteration 8 : 3153 enodes (cost 8 ) 71.051 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 71.051 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 71.053 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 71.061 * * [simplify]: iteration 2 : 146 enodes (cost 13 ) 71.114 * * [simplify]: iteration 3 : 558 enodes (cost 11 ) 71.654 * * [simplify]: iteration 4 : 2104 enodes (cost 11 ) 74.755 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 74.756 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 74.757 * * [simplify]: iteration 1 : 24 enodes (cost 23 ) 74.762 * * [simplify]: iteration 2 : 73 enodes (cost 11 ) 74.787 * * [simplify]: iteration 3 : 233 enodes (cost 11 ) 74.934 * * [simplify]: iteration 4 : 819 enodes (cost 9 ) 76.265 * * [simplify]: iteration 5 : 2803 enodes (cost 9 ) 78.842 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 78.843 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 78.844 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 78.845 * * [simplify]: iteration 2 : 15 enodes (cost 17 ) 78.847 * * [simplify]: iteration 3 : 17 enodes (cost 17 ) 78.849 * * [simplify]: iteration 4 : 19 enodes (cost 17 ) 78.851 * * [simplify]: iteration 5 : 20 enodes (cost 17 ) 78.853 * * [simplify]: iteration done : 20 enodes (cost 17 ) 78.854 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 78.855 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 78.863 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 78.865 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 78.867 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 78.869 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 78.872 * * [simplify]: iteration done : 19 enodes (cost 8 ) 78.872 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 78.873 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 78.878 * * [simplify]: iteration 2 : 76 enodes (cost 9 ) 78.908 * * [simplify]: iteration 3 : 289 enodes (cost 9 ) 79.140 * * [simplify]: iteration 4 : 836 enodes (cost 9 ) 80.314 * * [simplify]: iteration 5 : 2462 enodes (cost 9 ) 85.299 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 85.299 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.300 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.301 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.303 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.305 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.307 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.313 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.314 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.315 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.316 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.317 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.319 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.321 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.323 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.324 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.325 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 85.326 * * [simplify]: iteration done : 10 enodes (cost 9 ) 85.326 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.327 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 85.328 * * [simplify]: iteration done : 10 enodes (cost 9 ) 85.329 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 85.330 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 85.331 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 85.333 * * [simplify]: iteration 3 : 18 enodes (cost 10 ) 85.335 * * [simplify]: iteration 4 : 20 enodes (cost 10 ) 85.337 * * [simplify]: iteration 5 : 21 enodes (cost 10 ) 85.340 * * [simplify]: iteration done : 21 enodes (cost 10 ) 85.341 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 85.341 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 85.343 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 85.345 * * [simplify]: iteration 3 : 18 enodes (cost 10 ) 85.346 * * [simplify]: iteration 4 : 20 enodes (cost 10 ) 85.348 * * [simplify]: iteration 5 : 21 enodes (cost 10 ) 85.351 * * [simplify]: iteration done : 21 enodes (cost 10 ) 85.351 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 85.352 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 85.354 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 85.357 * * [simplify]: iteration 3 : 30 enodes (cost 11 ) 85.361 * * [simplify]: iteration 4 : 39 enodes (cost 11 ) 85.367 * * [simplify]: iteration 5 : 45 enodes (cost 11 ) 85.376 * * [simplify]: iteration 6 : 50 enodes (cost 11 ) 85.383 * * [simplify]: iteration done : 50 enodes (cost 11 ) 85.384 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.385 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.386 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.388 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.390 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.392 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.394 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.395 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 85.396 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 85.398 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 85.399 * * [simplify]: iteration done : 23 enodes (cost 5 ) 85.399 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.400 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 85.401 * * [simplify]: iteration done : 9 enodes (cost 8 ) 85.402 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.402 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 85.403 * * [simplify]: iteration done : 9 enodes (cost 8 ) 85.404 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.405 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 85.406 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 85.408 * * [simplify]: iteration 3 : 17 enodes (cost 9 ) 85.409 * * [simplify]: iteration 4 : 19 enodes (cost 9 ) 85.411 * * [simplify]: iteration 5 : 20 enodes (cost 9 ) 85.413 * * [simplify]: iteration done : 20 enodes (cost 9 ) 85.414 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.415 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 85.416 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 85.418 * * [simplify]: iteration 3 : 17 enodes (cost 9 ) 85.419 * * [simplify]: iteration 4 : 19 enodes (cost 9 ) 85.421 * * [simplify]: iteration 5 : 20 enodes (cost 9 ) 85.423 * * [simplify]: iteration done : 20 enodes (cost 9 ) 85.424 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.425 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.426 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.428 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.429 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.435 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.437 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.437 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.438 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.440 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.441 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.443 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.445 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.448 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.448 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.449 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 85.450 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 85.452 * * [simplify]: iteration 3 : 17 enodes (cost 9 ) 85.454 * * [simplify]: iteration 4 : 19 enodes (cost 9 ) 85.456 * * [simplify]: iteration 5 : 20 enodes (cost 9 ) 85.458 * * [simplify]: iteration done : 20 enodes (cost 9 ) 85.458 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.459 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 85.460 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 85.462 * * [simplify]: iteration 3 : 17 enodes (cost 9 ) 85.464 * * [simplify]: iteration 4 : 19 enodes (cost 9 ) 85.466 * * [simplify]: iteration 5 : 20 enodes (cost 9 ) 85.468 * * [simplify]: iteration done : 20 enodes (cost 9 ) 85.468 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.469 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.470 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.472 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.474 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.476 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.478 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.479 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.480 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.481 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.483 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.484 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.486 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.489 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.489 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.490 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.491 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.496 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.498 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.500 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.502 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.503 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.503 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 85.505 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 85.506 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 85.508 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 85.510 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 85.512 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.512 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 85.513 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 85.514 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 85.516 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 85.517 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 85.519 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 85.521 * * [simplify]: iteration done : 18 enodes (cost 7 ) 85.522 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 85.523 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 85.524 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 85.526 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 85.527 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 85.529 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 85.531 * * [simplify]: iteration done : 18 enodes (cost 7 ) 85.532 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 85.533 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 85.534 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 85.535 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 85.537 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 85.539 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 85.541 * * [simplify]: iteration done : 18 enodes (cost 7 ) 85.542 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 85.543 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 85.544 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 85.546 * * [simplify]: iteration done : 15 enodes (cost 5 ) 85.546 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 85.547 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 85.550 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 85.560 * * [simplify]: iteration 3 : 76 enodes (cost 11 ) 85.575 * * [simplify]: iteration 4 : 127 enodes (cost 11 ) 85.600 * * [simplify]: iteration 5 : 172 enodes (cost 11 ) 85.650 * * [simplify]: iteration 6 : 264 enodes (cost 11 ) 85.708 * * [simplify]: iteration 7 : 356 enodes (cost 11 ) 85.831 * * [simplify]: iteration 8 : 586 enodes (cost 11 ) 86.017 * * [simplify]: iteration 9 : 1013 enodes (cost 11 ) 87.833 * * [simplify]: iteration 10 : 3428 enodes (cost 11 ) 89.963 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 89.963 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 89.964 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 89.965 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 89.967 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 89.969 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 89.971 * * [simplify]: iteration done : 22 enodes (cost 5 ) 89.972 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.972 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 89.973 * * [simplify]: iteration done : 4 enodes (cost 3 ) 89.973 * * [simplify]: iteration 0 : 15 enodes (cost 21 ) 89.980 * * [simplify]: iteration 1 : 43 enodes (cost 19 ) 89.991 * * [simplify]: iteration 2 : 130 enodes (cost 15 ) 90.021 * * [simplify]: iteration 3 : 318 enodes (cost 13 ) 90.164 * * [simplify]: iteration 4 : 717 enodes (cost 13 ) 90.547 * * [simplify]: iteration 5 : 1362 enodes (cost 13 ) 91.881 * * [simplify]: iteration 6 : 3497 enodes (cost 13 ) 94.072 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 94.073 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 94.074 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 94.083 * * [simplify]: iteration 2 : 66 enodes (cost 13 ) 94.092 * * [simplify]: iteration 3 : 100 enodes (cost 13 ) 94.107 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 94.131 * * [simplify]: iteration 5 : 209 enodes (cost 11 ) 94.178 * * [simplify]: iteration 6 : 315 enodes (cost 11 ) 94.265 * * [simplify]: iteration 7 : 488 enodes (cost 11 ) 94.468 * * [simplify]: iteration 8 : 842 enodes (cost 11 ) 95.041 * * [simplify]: iteration 9 : 1831 enodes (cost 11 ) 97.136 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 97.137 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 97.138 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 97.143 * * [simplify]: iteration 2 : 66 enodes (cost 13 ) 97.151 * * [simplify]: iteration 3 : 100 enodes (cost 13 ) 97.172 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 97.196 * * [simplify]: iteration 5 : 209 enodes (cost 11 ) 97.243 * * [simplify]: iteration 6 : 315 enodes (cost 11 ) 97.331 * * [simplify]: iteration 7 : 488 enodes (cost 11 ) 97.530 * * [simplify]: iteration 8 : 842 enodes (cost 11 ) 98.114 * * [simplify]: iteration 9 : 1831 enodes (cost 11 ) 100.203 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 100.204 * [simplify]: Simplified to: (* (/ x (+ y 1.0)) y) (+ (- (log x) (log (+ y 1.0))) (log y)) (+ (log (/ x (+ y 1.0))) (log y)) (log (* (/ x (+ y 1.0)) y)) (exp (* (/ x (+ y 1.0)) y)) (* (pow y 3) (pow (/ x (+ y 1.0)) 3)) (pow (* (/ x (+ y 1.0)) y) 3) (* (cbrt (* (/ x (+ y 1.0)) y)) (cbrt (* (/ x (+ y 1.0)) y))) (cbrt (* (/ x (+ y 1.0)) y)) (pow (* (/ x (+ y 1.0)) y) 3) (sqrt (* (/ x (+ y 1.0)) y)) (sqrt (* (/ x (+ y 1.0)) y)) (* (sqrt (/ x (+ y 1.0))) (sqrt y)) (* (sqrt (/ x (+ y 1.0))) (sqrt y)) (* (/ (sqrt x) (sqrt (+ y 1.0))) (sqrt y)) (* (/ (sqrt x) (sqrt (+ y 1.0))) (sqrt y)) (* (/ x (+ y 1.0)) (* (cbrt y) (cbrt y))) (* (/ x (+ y 1.0)) (sqrt y)) (/ x (+ y 1.0)) (* (cbrt (/ x (+ y 1.0))) y) (* (sqrt (/ x (+ y 1.0))) y) (* (/ (cbrt x) (cbrt (+ y 1.0))) y) (* (/ (cbrt x) (sqrt (+ y 1.0))) y) (* (/ (cbrt x) (+ y 1.0)) y) (* (/ (cbrt x) (+ y 1.0)) y) (* (/ (sqrt x) (cbrt (+ y 1.0))) y) (* (/ (sqrt x) (sqrt (+ y 1.0))) y) (* (/ (sqrt x) (+ y 1.0)) y) (* (/ (sqrt x) (+ y 1.0)) y) (* (/ x (cbrt (+ y 1.0))) y) (* (/ x (sqrt (+ y 1.0))) y) (* (/ x (+ y 1.0)) y) (* (/ x (+ y 1.0)) y) (* (/ x (+ y 1.0)) y) (/ y (+ y 1.0)) (* (+ (* 1.0 (- 1.0 y)) (* y y)) y) (* (- y 1.0) y) (* x y) (* (* 1.0 x) (- (+ y (pow y 3)) (pow y 2))) (+ (* (/ x y) (- (/ 1.0 y) 1.0)) x) (+ (* (/ x y) (- (/ 1.0 y) 1.0)) x) 100.204 * * * [progress]: adding candidates to table 100.259 * [progress]: [Phase 3 of 3] Extracting. 100.259 * * [regime]: Finding splitpoints for: (# #) 100.259 * * * [regime-changes]: Trying 2 branch expressions: (y x) 100.259 * * * * [regimes]: Trying to branch on y from (# #) 100.291 * * * * [regimes]: Trying to branch on x from (# #) 100.325 * * * [regime]: Found split indices: #