379.972 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (/ (* x 100.0) (+ x y)) 0.019 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.020 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.021 * * [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.027 * * [simplify]: iteration done : 18 enodes (cost 7 ) 0.027 * [simplify]: Simplified to: (/ (* x 100.0) (+ x y)) 0.027 * * [progress]: iteration 1 / 4 0.027 * * * [progress]: picking best candidate 0.034 * * * * [pick]: Picked # 0.034 * * * [progress]: localizing error 0.039 * * * [progress]: generating rewritten candidates 0.040 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.048 * * * [progress]: generating series expansions 0.048 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.048 * [approximate]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in (x y) around 0 0.048 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in y 0.048 * [taylor]: Taking taylor expansion of 100.0 in y 0.048 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 0.048 * [taylor]: Taking taylor expansion of x in y 0.048 * [taylor]: Taking taylor expansion of (+ x y) in y 0.048 * [taylor]: Taking taylor expansion of x in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.048 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 0.048 * [taylor]: Taking taylor expansion of 100.0 in x 0.048 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of (+ x y) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of y in x 0.049 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 0.049 * [taylor]: Taking taylor expansion of 100.0 in x 0.049 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of (+ x y) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of y in x 0.049 * [taylor]: Taking taylor expansion of (/ 100.0 y) in y 0.049 * [taylor]: Taking taylor expansion of 100.0 in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 (pow y 2)))) in y 0.049 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 0.049 * [taylor]: Taking taylor expansion of 100.0 in y 0.049 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.049 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.050 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 3))) in y 0.050 * [taylor]: Taking taylor expansion of 100.0 in y 0.050 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.050 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.050 * [taylor]: Taking taylor expansion of y in y 0.051 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 0.051 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 0.051 * [taylor]: Taking taylor expansion of 100.0 in y 0.051 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 0.051 * [taylor]: Taking taylor expansion of x in y 0.051 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.051 * [taylor]: Taking taylor expansion of x in y 0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.051 * [taylor]: Taking taylor expansion of y in y 0.051 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 0.051 * [taylor]: Taking taylor expansion of 100.0 in x 0.051 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.051 * [taylor]: Taking taylor expansion of y in x 0.051 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 0.051 * [taylor]: Taking taylor expansion of 100.0 in x 0.051 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.051 * [taylor]: Taking taylor expansion of y in x 0.052 * [taylor]: Taking taylor expansion of 100.0 in y 0.052 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 0.052 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 0.052 * [taylor]: Taking taylor expansion of 100.0 in y 0.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.052 * [taylor]: Taking taylor expansion of y in y 0.052 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 0.053 * [taylor]: Taking taylor expansion of 100.0 in y 0.053 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.053 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.053 * [taylor]: Taking taylor expansion of y in y 0.053 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 0.053 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 0.053 * [taylor]: Taking taylor expansion of 100.0 in y 0.053 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 0.053 * [taylor]: Taking taylor expansion of x in y 0.053 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.053 * [taylor]: Taking taylor expansion of x in y 0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.053 * [taylor]: Taking taylor expansion of y in y 0.053 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 0.053 * [taylor]: Taking taylor expansion of 100.0 in x 0.053 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.054 * [taylor]: Taking taylor expansion of y in x 0.054 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 0.054 * [taylor]: Taking taylor expansion of 100.0 in x 0.054 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.054 * [taylor]: Taking taylor expansion of y in x 0.054 * [taylor]: Taking taylor expansion of 100.0 in y 0.054 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 0.054 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 0.054 * [taylor]: Taking taylor expansion of 100.0 in y 0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.055 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 0.055 * [taylor]: Taking taylor expansion of 100.0 in y 0.055 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.055 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.056 * * * [progress]: simplifying candidates 0.056 * [simplify]: Simplifying using # : (- (+ (log x) (log 100.0)) (log (+ x y))) (- (log (* x 100.0)) (log (+ x y))) (log (/ (* x 100.0) (+ x y))) (exp (/ (* x 100.0) (+ x y))) (/ (* (* (* x x) x) (* (* 100.0 100.0) 100.0)) (* (* (+ x y) (+ x y)) (+ x y))) (/ (* (* (* x 100.0) (* x 100.0)) (* x 100.0)) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (/ (* x 100.0) (+ x y))) (cbrt (/ (* x 100.0) (+ x y)))) (cbrt (/ (* x 100.0) (+ x y))) (* (* (/ (* x 100.0) (+ x y)) (/ (* x 100.0) (+ x y))) (/ (* x 100.0) (+ x y))) (sqrt (/ (* x 100.0) (+ x y))) (sqrt (/ (* x 100.0) (+ x y))) (neg (* x 100.0)) (neg (+ x y)) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 100.0 (cbrt (+ x y))) (/ x (sqrt (+ x y))) (/ 100.0 (sqrt (+ x y))) (/ x 1) (/ 100.0 (+ x y)) (/ x 1) (/ 100.0 (+ x y)) (/ 1 (+ x y)) (/ (+ x y) (* x 100.0)) (/ (* x 100.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* x 100.0) (sqrt (+ x y))) (/ (* x 100.0) 1) (/ (* x 100.0) 1) (/ (+ x y) 100.0) (/ (* x 100.0) (+ (pow x 3) (pow y 3))) (/ (* x 100.0) (- (* x x) (* y y))) 0 0 0 0.057 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 0.058 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 0.059 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 0.062 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 0.066 * * [simplify]: iteration 4 : 34 enodes (cost 10 ) 0.070 * * [simplify]: iteration 5 : 43 enodes (cost 10 ) 0.076 * * [simplify]: iteration 6 : 56 enodes (cost 10 ) 0.083 * * [simplify]: iteration 7 : 74 enodes (cost 10 ) 0.093 * * [simplify]: iteration 8 : 90 enodes (cost 10 ) 0.107 * * [simplify]: iteration 9 : 97 enodes (cost 10 ) 0.121 * * [simplify]: iteration 10 : 114 enodes (cost 10 ) 0.134 * * [simplify]: iteration 11 : 116 enodes (cost 10 ) 0.147 * * [simplify]: iteration done : 116 enodes (cost 10 ) 0.147 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.148 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.150 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 0.152 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 0.159 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 0.163 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 0.167 * * [simplify]: iteration 6 : 48 enodes (cost 9 ) 0.173 * * [simplify]: iteration 7 : 61 enodes (cost 9 ) 0.182 * * [simplify]: iteration 8 : 79 enodes (cost 9 ) 0.191 * * [simplify]: iteration 9 : 95 enodes (cost 9 ) 0.202 * * [simplify]: iteration 10 : 102 enodes (cost 9 ) 0.219 * * [simplify]: iteration 11 : 119 enodes (cost 9 ) 0.233 * * [simplify]: iteration 12 : 121 enodes (cost 9 ) 0.246 * * [simplify]: iteration done : 121 enodes (cost 9 ) 0.247 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.247 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.249 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.252 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 0.258 * * [simplify]: iteration 4 : 61 enodes (cost 8 ) 0.265 * * [simplify]: iteration 5 : 69 enodes (cost 8 ) 0.279 * * [simplify]: iteration 6 : 81 enodes (cost 8 ) 0.290 * * [simplify]: iteration 7 : 99 enodes (cost 8 ) 0.300 * * [simplify]: iteration 8 : 115 enodes (cost 8 ) 0.314 * * [simplify]: iteration 9 : 122 enodes (cost 8 ) 0.335 * * [simplify]: iteration 10 : 139 enodes (cost 8 ) 0.350 * * [simplify]: iteration 11 : 141 enodes (cost 8 ) 0.364 * * [simplify]: iteration done : 141 enodes (cost 8 ) 0.365 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.366 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 0.367 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 0.369 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 0.371 * * [simplify]: iteration 4 : 29 enodes (cost 8 ) 0.375 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 0.381 * * [simplify]: iteration 6 : 75 enodes (cost 8 ) 0.397 * * [simplify]: iteration 7 : 165 enodes (cost 8 ) 0.470 * * [simplify]: iteration 8 : 388 enodes (cost 8 ) 0.736 * * [simplify]: iteration 9 : 1063 enodes (cost 8 ) 2.611 * * [simplify]: iteration 10 : 4180 enodes (cost 8 ) 3.848 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 3.848 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 3.850 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 3.859 * * [simplify]: iteration 2 : 165 enodes (cost 13 ) 3.919 * * [simplify]: iteration 3 : 658 enodes (cost 13 ) 4.615 * * [simplify]: iteration 4 : 2635 enodes (cost 11 ) 7.600 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 7.601 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 7.603 * * [simplify]: iteration 1 : 42 enodes (cost 23 ) 7.612 * * [simplify]: iteration 2 : 172 enodes (cost 11 ) 7.687 * * [simplify]: iteration 3 : 792 enodes (cost 9 ) 8.922 * * [simplify]: iteration 4 : 2968 enodes (cost 9 ) 14.289 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 14.289 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 14.290 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 14.292 * * [simplify]: iteration 2 : 16 enodes (cost 17 ) 14.294 * * [simplify]: iteration 3 : 19 enodes (cost 17 ) 14.296 * * [simplify]: iteration 4 : 20 enodes (cost 17 ) 14.299 * * [simplify]: iteration done : 20 enodes (cost 17 ) 14.299 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 14.300 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 14.301 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 14.303 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 14.305 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 14.307 * * [simplify]: iteration done : 19 enodes (cost 8 ) 14.308 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 14.309 * * [simplify]: iteration 1 : 19 enodes (cost 23 ) 14.312 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 14.333 * * [simplify]: iteration 3 : 239 enodes (cost 9 ) 14.536 * * [simplify]: iteration 4 : 1017 enodes (cost 9 ) 17.043 * * [simplify]: iteration 5 : 3150 enodes (cost 9 ) 21.233 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 21.233 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 21.234 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 21.235 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 21.238 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 21.240 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 21.250 * * [simplify]: iteration done : 19 enodes (cost 8 ) 21.251 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 21.252 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 21.253 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 21.255 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 21.257 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 21.259 * * [simplify]: iteration done : 19 enodes (cost 8 ) 21.260 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.260 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 21.261 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 21.262 * * [simplify]: iteration done : 11 enodes (cost 4 ) 21.263 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.263 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 21.264 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 21.265 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 21.266 * * [simplify]: iteration done : 11 enodes (cost 4 ) 21.267 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 21.268 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 21.269 * * [simplify]: iteration done : 9 enodes (cost 11 ) 21.269 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.270 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 21.270 * * [simplify]: iteration done : 7 enodes (cost 6 ) 21.271 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 21.272 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 21.272 * * [simplify]: iteration done : 6 enodes (cost 6 ) 21.273 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.273 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 21.274 * * [simplify]: iteration done : 7 enodes (cost 6 ) 21.274 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.275 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 21.275 * * [simplify]: iteration done : 5 enodes (cost 1 ) 21.276 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.276 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 21.277 * * [simplify]: iteration done : 6 enodes (cost 5 ) 21.277 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.278 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 21.278 * * [simplify]: iteration done : 5 enodes (cost 1 ) 21.279 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.279 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 21.280 * * [simplify]: iteration done : 6 enodes (cost 5 ) 21.280 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.281 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 21.281 * * [simplify]: iteration done : 8 enodes (cost 5 ) 21.282 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.283 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.284 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 21.285 * * [simplify]: iteration done : 12 enodes (cost 7 ) 21.286 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 21.287 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 21.289 * * [simplify]: iteration 2 : 31 enodes (cost 13 ) 21.294 * * [simplify]: iteration 3 : 44 enodes (cost 13 ) 21.300 * * [simplify]: iteration 4 : 48 enodes (cost 13 ) 21.307 * * [simplify]: iteration done : 48 enodes (cost 13 ) 21.308 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 21.308 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 21.310 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 21.311 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 21.316 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 21.318 * * [simplify]: iteration done : 19 enodes (cost 8 ) 21.319 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.319 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 21.321 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 21.323 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 21.325 * * [simplify]: iteration 4 : 32 enodes (cost 3 ) 21.327 * * [simplify]: iteration done : 32 enodes (cost 3 ) 21.328 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.329 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 21.330 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 21.332 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 21.334 * * [simplify]: iteration 4 : 32 enodes (cost 3 ) 21.336 * * [simplify]: iteration done : 32 enodes (cost 3 ) 21.337 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.338 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 21.338 * * [simplify]: iteration done : 6 enodes (cost 5 ) 21.339 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 21.340 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 21.343 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 21.349 * * [simplify]: iteration 3 : 59 enodes (cost 11 ) 21.357 * * [simplify]: iteration 4 : 99 enodes (cost 11 ) 21.382 * * [simplify]: iteration 5 : 214 enodes (cost 11 ) 21.477 * * [simplify]: iteration 6 : 626 enodes (cost 11 ) 22.392 * * [simplify]: iteration 7 : 2458 enodes (cost 11 ) 24.487 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 24.487 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 24.488 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 24.491 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 24.500 * * [simplify]: iteration 3 : 88 enodes (cost 11 ) 24.516 * * [simplify]: iteration 4 : 159 enodes (cost 11 ) 24.546 * * [simplify]: iteration 5 : 260 enodes (cost 11 ) 24.624 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 24.784 * * [simplify]: iteration 7 : 926 enodes (cost 9 ) 26.216 * * [simplify]: iteration 8 : 3561 enodes (cost 9 ) 27.869 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 27.870 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 27.870 * * [simplify]: iteration done : 1 enodes (cost 1 ) 27.871 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 27.871 * * [simplify]: iteration done : 1 enodes (cost 1 ) 27.871 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 27.871 * * [simplify]: iteration done : 1 enodes (cost 1 ) 27.872 * [simplify]: Simplified to: (- (+ (log x) (log 100.0)) (log (+ x y))) (- (log (* x 100.0)) (log (+ x y))) (log (/ (* x 100.0) (+ x y))) (exp (/ (* x 100.0) (+ x y))) (/ (pow 100.0 3) (pow (/ (+ x y) x) 3)) (pow (/ (* x 100.0) (+ x y)) 3) (* (cbrt (/ (* x 100.0) (+ x y))) (cbrt (/ (* x 100.0) (+ x y)))) (cbrt (/ (* x 100.0) (+ x y))) (pow (/ (* x 100.0) (+ x y)) 3) (sqrt (/ (* x 100.0) (+ x y))) (sqrt (/ (* x 100.0) (+ x y))) (neg (* x 100.0)) (neg (+ x y)) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 100.0 (cbrt (+ x y))) (/ x (sqrt (+ x y))) (/ 100.0 (sqrt (+ x y))) x (/ 100.0 (+ x y)) x (/ 100.0 (+ x y)) (/ 1 (+ x y)) (/ (+ x y) (* x 100.0)) (/ (* x 100.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* x 100.0) (sqrt (+ x y))) (* x 100.0) (* x 100.0) (/ (+ x y) 100.0) (/ (* x 100.0) (+ (pow x 3) (pow y 3))) (/ 100.0 (- x (/ (* y y) x))) 0 0 0 27.872 * * * [progress]: adding candidates to table 27.916 * * [progress]: iteration 2 / 4 27.916 * * * [progress]: picking best candidate 27.926 * * * * [pick]: Picked # 27.926 * * * [progress]: localizing error 27.931 * * * [progress]: generating rewritten candidates 27.931 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 27.941 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 27.950 * * * [progress]: generating series expansions 27.950 * * * * [progress]: [ 1 / 2 ] generating series at (2) 27.950 * [approximate]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in (x y) around 0 27.950 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in y 27.950 * [taylor]: Taking taylor expansion of 100.0 in y 27.950 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 27.950 * [taylor]: Taking taylor expansion of x in y 27.950 * [taylor]: Taking taylor expansion of (+ x y) in y 27.950 * [taylor]: Taking taylor expansion of x in y 27.950 * [taylor]: Taking taylor expansion of y in y 27.950 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 27.950 * [taylor]: Taking taylor expansion of 100.0 in x 27.950 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 27.950 * [taylor]: Taking taylor expansion of x in x 27.950 * [taylor]: Taking taylor expansion of (+ x y) in x 27.950 * [taylor]: Taking taylor expansion of x in x 27.950 * [taylor]: Taking taylor expansion of y in x 27.950 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 27.950 * [taylor]: Taking taylor expansion of 100.0 in x 27.950 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 27.950 * [taylor]: Taking taylor expansion of x in x 27.950 * [taylor]: Taking taylor expansion of (+ x y) in x 27.950 * [taylor]: Taking taylor expansion of x in x 27.950 * [taylor]: Taking taylor expansion of y in x 27.951 * [taylor]: Taking taylor expansion of (/ 100.0 y) in y 27.951 * [taylor]: Taking taylor expansion of 100.0 in y 27.951 * [taylor]: Taking taylor expansion of y in y 27.951 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 (pow y 2)))) in y 27.951 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 27.951 * [taylor]: Taking taylor expansion of 100.0 in y 27.951 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.951 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.951 * [taylor]: Taking taylor expansion of y in y 27.952 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 3))) in y 27.952 * [taylor]: Taking taylor expansion of 100.0 in y 27.952 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 27.952 * [taylor]: Taking taylor expansion of (pow y 3) in y 27.952 * [taylor]: Taking taylor expansion of y in y 27.953 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 27.953 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 27.953 * [taylor]: Taking taylor expansion of 100.0 in y 27.953 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 27.953 * [taylor]: Taking taylor expansion of x in y 27.953 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.953 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.953 * [taylor]: Taking taylor expansion of x in y 27.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.953 * [taylor]: Taking taylor expansion of y in y 27.953 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 27.953 * [taylor]: Taking taylor expansion of 100.0 in x 27.953 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 27.953 * [taylor]: Taking taylor expansion of x in x 27.953 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.953 * [taylor]: Taking taylor expansion of x in x 27.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.953 * [taylor]: Taking taylor expansion of y in x 27.953 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 27.953 * [taylor]: Taking taylor expansion of 100.0 in x 27.953 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 27.953 * [taylor]: Taking taylor expansion of x in x 27.953 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.953 * [taylor]: Taking taylor expansion of x in x 27.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.953 * [taylor]: Taking taylor expansion of y in x 27.953 * [taylor]: Taking taylor expansion of 100.0 in y 27.954 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 27.954 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 27.954 * [taylor]: Taking taylor expansion of 100.0 in y 27.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.954 * [taylor]: Taking taylor expansion of y in y 27.954 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 27.954 * [taylor]: Taking taylor expansion of 100.0 in y 27.954 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.954 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.954 * [taylor]: Taking taylor expansion of y in y 27.955 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 27.955 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 27.955 * [taylor]: Taking taylor expansion of 100.0 in y 27.955 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 27.955 * [taylor]: Taking taylor expansion of x in y 27.955 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.955 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.955 * [taylor]: Taking taylor expansion of x in y 27.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.955 * [taylor]: Taking taylor expansion of y in y 27.955 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 27.955 * [taylor]: Taking taylor expansion of 100.0 in x 27.955 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 27.955 * [taylor]: Taking taylor expansion of x in x 27.955 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.955 * [taylor]: Taking taylor expansion of x in x 27.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.955 * [taylor]: Taking taylor expansion of y in x 27.956 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 27.956 * [taylor]: Taking taylor expansion of 100.0 in x 27.956 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 27.956 * [taylor]: Taking taylor expansion of x in x 27.956 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.956 * [taylor]: Taking taylor expansion of x in x 27.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.956 * [taylor]: Taking taylor expansion of y in x 27.956 * [taylor]: Taking taylor expansion of 100.0 in y 27.956 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 27.956 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 27.956 * [taylor]: Taking taylor expansion of 100.0 in y 27.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.956 * [taylor]: Taking taylor expansion of y in y 27.957 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 27.957 * [taylor]: Taking taylor expansion of 100.0 in y 27.957 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.957 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.957 * [taylor]: Taking taylor expansion of y in y 27.957 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 27.958 * [approximate]: Taking taylor expansion of (/ 100.0 (+ x y)) in (x y) around 0 27.958 * [taylor]: Taking taylor expansion of (/ 100.0 (+ x y)) in y 27.958 * [taylor]: Taking taylor expansion of 100.0 in y 27.958 * [taylor]: Taking taylor expansion of (+ x y) in y 27.958 * [taylor]: Taking taylor expansion of x in y 27.958 * [taylor]: Taking taylor expansion of y in y 27.958 * [taylor]: Taking taylor expansion of (/ 100.0 (+ x y)) in x 27.958 * [taylor]: Taking taylor expansion of 100.0 in x 27.958 * [taylor]: Taking taylor expansion of (+ x y) in x 27.958 * [taylor]: Taking taylor expansion of x in x 27.958 * [taylor]: Taking taylor expansion of y in x 27.958 * [taylor]: Taking taylor expansion of (/ 100.0 (+ x y)) in x 27.958 * [taylor]: Taking taylor expansion of 100.0 in x 27.958 * [taylor]: Taking taylor expansion of (+ x y) in x 27.958 * [taylor]: Taking taylor expansion of x in x 27.958 * [taylor]: Taking taylor expansion of y in x 27.958 * [taylor]: Taking taylor expansion of (/ 100.0 y) in y 27.958 * [taylor]: Taking taylor expansion of 100.0 in y 27.958 * [taylor]: Taking taylor expansion of y in y 27.958 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 (pow y 2)))) in y 27.958 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 27.958 * [taylor]: Taking taylor expansion of 100.0 in y 27.958 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.958 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.958 * [taylor]: Taking taylor expansion of y in y 27.959 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 3))) in y 27.959 * [taylor]: Taking taylor expansion of 100.0 in y 27.959 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 27.959 * [taylor]: Taking taylor expansion of (pow y 3) in y 27.959 * [taylor]: Taking taylor expansion of y in y 27.960 * [approximate]: Taking taylor expansion of (/ 100.0 (+ (/ 1 x) (/ 1 y))) in (x y) around 0 27.960 * [taylor]: Taking taylor expansion of (/ 100.0 (+ (/ 1 x) (/ 1 y))) in y 27.960 * [taylor]: Taking taylor expansion of 100.0 in y 27.960 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.960 * [taylor]: Taking taylor expansion of x in y 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.960 * [taylor]: Taking taylor expansion of y in y 27.960 * [taylor]: Taking taylor expansion of (/ 100.0 (+ (/ 1 x) (/ 1 y))) in x 27.960 * [taylor]: Taking taylor expansion of 100.0 in x 27.960 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.960 * [taylor]: Taking taylor expansion of x in x 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.960 * [taylor]: Taking taylor expansion of y in x 27.960 * [taylor]: Taking taylor expansion of (/ 100.0 (+ (/ 1 x) (/ 1 y))) in x 27.960 * [taylor]: Taking taylor expansion of 100.0 in x 27.960 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.960 * [taylor]: Taking taylor expansion of x in x 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.960 * [taylor]: Taking taylor expansion of y in x 27.960 * [taylor]: Taking taylor expansion of 100.0 in y 27.960 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 27.960 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 27.960 * [taylor]: Taking taylor expansion of 100.0 in y 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.960 * [taylor]: Taking taylor expansion of y in y 27.961 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 27.961 * [taylor]: Taking taylor expansion of 100.0 in y 27.961 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.961 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.961 * [taylor]: Taking taylor expansion of y in y 27.961 * [approximate]: Taking taylor expansion of (/ -100.0 (+ (/ 1 x) (/ 1 y))) in (x y) around 0 27.961 * [taylor]: Taking taylor expansion of (/ -100.0 (+ (/ 1 x) (/ 1 y))) in y 27.961 * [taylor]: Taking taylor expansion of -100.0 in y 27.962 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.962 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.962 * [taylor]: Taking taylor expansion of x in y 27.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.962 * [taylor]: Taking taylor expansion of y in y 27.962 * [taylor]: Taking taylor expansion of (/ -100.0 (+ (/ 1 x) (/ 1 y))) in x 27.962 * [taylor]: Taking taylor expansion of -100.0 in x 27.962 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.962 * [taylor]: Taking taylor expansion of x in x 27.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.962 * [taylor]: Taking taylor expansion of y in x 27.962 * [taylor]: Taking taylor expansion of (/ -100.0 (+ (/ 1 x) (/ 1 y))) in x 27.962 * [taylor]: Taking taylor expansion of -100.0 in x 27.962 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.962 * [taylor]: Taking taylor expansion of x in x 27.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.962 * [taylor]: Taking taylor expansion of y in x 27.962 * [taylor]: Taking taylor expansion of -100.0 in y 27.962 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 27.962 * [taylor]: Taking taylor expansion of 100.0 in y 27.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.962 * [taylor]: Taking taylor expansion of y in y 27.963 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 (pow y 2)))) in y 27.963 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 27.963 * [taylor]: Taking taylor expansion of 100.0 in y 27.963 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.963 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.963 * [taylor]: Taking taylor expansion of y in y 27.963 * * * [progress]: simplifying candidates 27.964 * [simplify]: Simplifying using # : (* x (/ 100.0 (+ x y))) (+ (log x) (- (log 100.0) (log (+ x y)))) (+ (log x) (log (/ 100.0 (+ x y)))) (log (* x (/ 100.0 (+ x y)))) (exp (* x (/ 100.0 (+ x y)))) (* (* (* x x) x) (/ (* (* 100.0 100.0) 100.0) (* (* (+ x y) (+ x y)) (+ x y)))) (* (* (* x x) x) (* (* (/ 100.0 (+ x y)) (/ 100.0 (+ x y))) (/ 100.0 (+ x y)))) (* (cbrt (* x (/ 100.0 (+ x y)))) (cbrt (* x (/ 100.0 (+ x y))))) (cbrt (* x (/ 100.0 (+ x y)))) (* (* (* x (/ 100.0 (+ x y))) (* x (/ 100.0 (+ x y)))) (* x (/ 100.0 (+ x y)))) (sqrt (* x (/ 100.0 (+ x y)))) (sqrt (* x (/ 100.0 (+ x y)))) (* (sqrt x) (sqrt (/ 100.0 (+ x y)))) (* (sqrt x) (sqrt (/ 100.0 (+ x y)))) (* (sqrt x) (/ (sqrt 100.0) (sqrt (+ x y)))) (* (sqrt x) (/ (sqrt 100.0) (sqrt (+ x y)))) (* x (* (cbrt (/ 100.0 (+ x y))) (cbrt (/ 100.0 (+ x y))))) (* x (sqrt (/ 100.0 (+ x y)))) (* x (/ (* (cbrt 100.0) (cbrt 100.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (* x (/ (* (cbrt 100.0) (cbrt 100.0)) (sqrt (+ x y)))) (* x (/ (* (cbrt 100.0) (cbrt 100.0)) 1)) (* x (/ (* (cbrt 100.0) (cbrt 100.0)) 1)) (* x (/ (sqrt 100.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (* x (/ (sqrt 100.0) (sqrt (+ x y)))) (* x (/ (sqrt 100.0) 1)) (* x (/ (sqrt 100.0) 1)) (* x (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (* x (/ 1 (sqrt (+ x y)))) (* x (/ 1 1)) (* x (/ 1 1)) (* x 1) (* x 100.0) (* x (/ 100.0 (+ (pow x 3) (pow y 3)))) (* x (/ 100.0 (- (* x x) (* y y)))) (* (cbrt x) (/ 100.0 (+ x y))) (* (sqrt x) (/ 100.0 (+ x y))) (* x (/ 100.0 (+ x y))) (* x 100.0) (- (log 100.0) (log (+ x y))) (log (/ 100.0 (+ x y))) (exp (/ 100.0 (+ x y))) (/ (* (* 100.0 100.0) 100.0) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (/ 100.0 (+ x y))) (cbrt (/ 100.0 (+ x y)))) (cbrt (/ 100.0 (+ x y))) (* (* (/ 100.0 (+ x y)) (/ 100.0 (+ x y))) (/ 100.0 (+ x y))) (sqrt (/ 100.0 (+ x y))) (sqrt (/ 100.0 (+ x y))) (neg 100.0) (neg (+ x y)) (/ (* (cbrt 100.0) (cbrt 100.0)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt 100.0) (cbrt (+ x y))) (/ (* (cbrt 100.0) (cbrt 100.0)) (sqrt (+ x y))) (/ (cbrt 100.0) (sqrt (+ x y))) (/ (* (cbrt 100.0) (cbrt 100.0)) 1) (/ (cbrt 100.0) (+ x y)) (/ (* (cbrt 100.0) (cbrt 100.0)) 1) (/ (cbrt 100.0) (+ x y)) (/ (sqrt 100.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 100.0) (cbrt (+ x y))) (/ (sqrt 100.0) (sqrt (+ x y))) (/ (sqrt 100.0) (sqrt (+ x y))) (/ (sqrt 100.0) 1) (/ (sqrt 100.0) (+ x y)) (/ (sqrt 100.0) 1) (/ (sqrt 100.0) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 100.0 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 100.0 (sqrt (+ x y))) (/ 1 1) (/ 100.0 (+ x y)) (/ 1 1) (/ 100.0 (+ x y)) (/ 1 (+ x y)) (/ (+ x y) 100.0) (/ 100.0 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 100.0 (sqrt (+ x y))) (/ 100.0 1) (/ 100.0 1) (/ (+ x y) (cbrt 100.0)) (/ (+ x y) (sqrt 100.0)) (/ (+ x y) 100.0) (/ 100.0 (+ (pow x 3) (pow y 3))) (/ 100.0 (- (* x x) (* y y))) 0 0 0 0 0 0 27.965 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 27.966 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 27.967 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 27.969 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 27.971 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 27.976 * * [simplify]: iteration done : 18 enodes (cost 7 ) 27.977 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.978 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 27.979 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 27.982 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 27.986 * * [simplify]: iteration 4 : 37 enodes (cost 10 ) 27.991 * * [simplify]: iteration 5 : 47 enodes (cost 10 ) 27.996 * * [simplify]: iteration 6 : 54 enodes (cost 10 ) 28.002 * * [simplify]: iteration 7 : 66 enodes (cost 10 ) 28.012 * * [simplify]: iteration 8 : 89 enodes (cost 10 ) 28.024 * * [simplify]: iteration 9 : 103 enodes (cost 10 ) 28.038 * * [simplify]: iteration 10 : 109 enodes (cost 10 ) 28.051 * * [simplify]: iteration done : 109 enodes (cost 10 ) 28.052 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 28.058 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 28.059 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 28.061 * * [simplify]: iteration 3 : 28 enodes (cost 9 ) 28.064 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 28.070 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 28.075 * * [simplify]: iteration 6 : 52 enodes (cost 9 ) 28.080 * * [simplify]: iteration 7 : 61 enodes (cost 9 ) 28.087 * * [simplify]: iteration 8 : 78 enodes (cost 9 ) 28.103 * * [simplify]: iteration 9 : 97 enodes (cost 9 ) 28.114 * * [simplify]: iteration 10 : 105 enodes (cost 9 ) 28.127 * * [simplify]: iteration done : 105 enodes (cost 9 ) 28.127 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 28.128 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 28.130 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 28.132 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 28.137 * * [simplify]: iteration 4 : 57 enodes (cost 8 ) 28.144 * * [simplify]: iteration 5 : 70 enodes (cost 8 ) 28.155 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 28.167 * * [simplify]: iteration 7 : 100 enodes (cost 8 ) 28.178 * * [simplify]: iteration 8 : 116 enodes (cost 8 ) 28.191 * * [simplify]: iteration 9 : 123 enodes (cost 8 ) 28.209 * * [simplify]: iteration 10 : 140 enodes (cost 8 ) 28.225 * * [simplify]: iteration 11 : 142 enodes (cost 8 ) 28.240 * * [simplify]: iteration done : 142 enodes (cost 8 ) 28.241 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 28.241 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 28.243 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 28.246 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 28.251 * * [simplify]: iteration 4 : 77 enodes (cost 8 ) 28.266 * * [simplify]: iteration 5 : 165 enodes (cost 8 ) 28.337 * * [simplify]: iteration 6 : 388 enodes (cost 8 ) 28.813 * * [simplify]: iteration 7 : 1473 enodes (cost 8 ) 31.642 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 31.643 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 31.645 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 31.659 * * [simplify]: iteration 2 : 147 enodes (cost 13 ) 31.707 * * [simplify]: iteration 3 : 550 enodes (cost 11 ) 32.198 * * [simplify]: iteration 4 : 1998 enodes (cost 11 ) 35.184 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 35.185 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 35.187 * * [simplify]: iteration 1 : 24 enodes (cost 23 ) 35.191 * * [simplify]: iteration 2 : 73 enodes (cost 11 ) 35.212 * * [simplify]: iteration 3 : 229 enodes (cost 11 ) 35.362 * * [simplify]: iteration 4 : 804 enodes (cost 9 ) 36.537 * * [simplify]: iteration 5 : 2570 enodes (cost 9 ) 39.322 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 39.322 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 39.323 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 39.325 * * [simplify]: iteration 2 : 15 enodes (cost 17 ) 39.326 * * [simplify]: iteration 3 : 19 enodes (cost 17 ) 39.329 * * [simplify]: iteration 4 : 20 enodes (cost 17 ) 39.331 * * [simplify]: iteration done : 20 enodes (cost 17 ) 39.331 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 39.332 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 39.333 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 39.335 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 39.337 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 39.339 * * [simplify]: iteration done : 19 enodes (cost 8 ) 39.340 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 39.342 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 39.346 * * [simplify]: iteration 2 : 76 enodes (cost 9 ) 39.378 * * [simplify]: iteration 3 : 270 enodes (cost 9 ) 39.595 * * [simplify]: iteration 4 : 823 enodes (cost 9 ) 41.006 * * [simplify]: iteration 5 : 2606 enodes (cost 9 ) 46.567 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 46.568 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 46.569 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 46.570 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 46.572 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 46.574 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 46.576 * * [simplify]: iteration done : 19 enodes (cost 8 ) 46.577 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 46.578 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 46.579 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 46.580 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 46.582 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 46.584 * * [simplify]: iteration done : 19 enodes (cost 8 ) 46.585 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.586 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 46.587 * * [simplify]: iteration done : 10 enodes (cost 9 ) 46.587 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.588 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 46.589 * * [simplify]: iteration done : 10 enodes (cost 9 ) 46.590 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 46.591 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 46.592 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 46.595 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 46.597 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 46.603 * * [simplify]: iteration done : 21 enodes (cost 10 ) 46.603 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 46.604 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 46.605 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 46.607 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 46.610 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 46.612 * * [simplify]: iteration done : 21 enodes (cost 10 ) 46.613 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 46.614 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 46.615 * * [simplify]: iteration 2 : 14 enodes (cost 15 ) 46.617 * * [simplify]: iteration done : 14 enodes (cost 15 ) 46.617 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 46.618 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 46.619 * * [simplify]: iteration done : 9 enodes (cost 8 ) 46.620 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 46.621 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 46.624 * * [simplify]: iteration 2 : 49 enodes (cost 17 ) 46.632 * * [simplify]: iteration 3 : 91 enodes (cost 17 ) 46.652 * * [simplify]: iteration 4 : 147 enodes (cost 17 ) 46.686 * * [simplify]: iteration 5 : 163 enodes (cost 17 ) 46.719 * * [simplify]: iteration done : 163 enodes (cost 17 ) 46.720 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 46.721 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 46.722 * * [simplify]: iteration 2 : 25 enodes (cost 12 ) 46.726 * * [simplify]: iteration 3 : 40 enodes (cost 12 ) 46.732 * * [simplify]: iteration 4 : 53 enodes (cost 12 ) 46.739 * * [simplify]: iteration 5 : 55 enodes (cost 12 ) 46.746 * * [simplify]: iteration done : 55 enodes (cost 12 ) 46.747 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 46.748 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 46.750 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 46.755 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 46.771 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 46.781 * * [simplify]: iteration done : 98 enodes (cost 7 ) 46.782 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 46.782 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 46.784 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 46.790 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 46.803 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 46.812 * * [simplify]: iteration done : 98 enodes (cost 7 ) 46.813 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 46.814 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 46.816 * * [simplify]: iteration 2 : 26 enodes (cost 14 ) 46.820 * * [simplify]: iteration 3 : 39 enodes (cost 14 ) 46.829 * * [simplify]: iteration 4 : 51 enodes (cost 14 ) 46.835 * * [simplify]: iteration done : 51 enodes (cost 14 ) 46.836 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.837 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 46.838 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 46.840 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 46.842 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 46.844 * * [simplify]: iteration done : 20 enodes (cost 9 ) 46.844 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 46.845 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 46.846 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 46.848 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 46.851 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 46.854 * * [simplify]: iteration done : 33 enodes (cost 4 ) 46.855 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 46.855 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 46.856 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 46.858 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 46.861 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 46.864 * * [simplify]: iteration done : 33 enodes (cost 4 ) 46.865 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 46.866 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 46.868 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 46.871 * * [simplify]: iteration 3 : 33 enodes (cost 11 ) 46.876 * * [simplify]: iteration 4 : 53 enodes (cost 11 ) 46.890 * * [simplify]: iteration 5 : 83 enodes (cost 11 ) 46.901 * * [simplify]: iteration 6 : 86 enodes (cost 11 ) 46.910 * * [simplify]: iteration done : 86 enodes (cost 11 ) 46.910 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 46.911 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 46.913 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 46.914 * * [simplify]: iteration 3 : 17 enodes (cost 6 ) 46.916 * * [simplify]: iteration 4 : 22 enodes (cost 6 ) 46.918 * * [simplify]: iteration 5 : 23 enodes (cost 6 ) 46.920 * * [simplify]: iteration done : 23 enodes (cost 6 ) 46.921 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 46.921 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 46.923 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 46.923 * * [simplify]: iteration done : 14 enodes (cost 1 ) 46.924 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 46.924 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 46.925 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 46.926 * * [simplify]: iteration done : 14 enodes (cost 1 ) 46.926 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.927 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 46.927 * * [simplify]: iteration done : 6 enodes (cost 1 ) 46.927 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.928 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 46.928 * * [simplify]: iteration done : 4 enodes (cost 3 ) 46.929 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 46.930 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 46.934 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 46.939 * * [simplify]: iteration 3 : 59 enodes (cost 11 ) 46.950 * * [simplify]: iteration 4 : 99 enodes (cost 11 ) 46.970 * * [simplify]: iteration 5 : 214 enodes (cost 11 ) 47.065 * * [simplify]: iteration 6 : 621 enodes (cost 11 ) 47.978 * * [simplify]: iteration 7 : 2459 enodes (cost 11 ) 50.066 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 50.067 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 50.068 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 50.070 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 50.075 * * [simplify]: iteration 3 : 76 enodes (cost 11 ) 50.089 * * [simplify]: iteration 4 : 136 enodes (cost 11 ) 50.117 * * [simplify]: iteration 5 : 224 enodes (cost 11 ) 50.166 * * [simplify]: iteration 6 : 358 enodes (cost 11 ) 50.298 * * [simplify]: iteration 7 : 655 enodes (cost 9 ) 51.261 * * [simplify]: iteration 8 : 2652 enodes (cost 9 ) 53.076 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 53.077 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 53.077 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 53.079 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 53.081 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 53.083 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 53.085 * * [simplify]: iteration done : 19 enodes (cost 8 ) 53.085 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 53.086 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 53.088 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 53.089 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 53.092 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 53.094 * * [simplify]: iteration done : 19 enodes (cost 8 ) 53.094 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 53.095 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 53.096 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 53.098 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 53.100 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 53.102 * * [simplify]: iteration done : 18 enodes (cost 7 ) 53.102 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.103 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 53.103 * * [simplify]: iteration done : 4 enodes (cost 3 ) 53.104 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 53.104 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 53.105 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 53.106 * * [simplify]: iteration done : 11 enodes (cost 7 ) 53.107 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 53.108 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 53.109 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 53.110 * * [simplify]: iteration 3 : 13 enodes (cost 6 ) 53.111 * * [simplify]: iteration done : 13 enodes (cost 6 ) 53.111 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 53.112 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 53.113 * * [simplify]: iteration done : 7 enodes (cost 6 ) 53.113 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 53.115 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 53.121 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 53.144 * * [simplify]: iteration 3 : 220 enodes (cost 7 ) 53.211 * * [simplify]: iteration 4 : 496 enodes (cost 7 ) 53.464 * * [simplify]: iteration 5 : 1299 enodes (cost 7 ) 54.683 * * [simplify]: iteration 6 : 2986 enodes (cost 7 ) 55.790 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 55.791 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 55.791 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 55.792 * * [simplify]: iteration done : 8 enodes (cost 13 ) 55.793 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 55.793 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 55.794 * * [simplify]: iteration done : 7 enodes (cost 6 ) 55.795 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 55.796 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 55.798 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 55.807 * * [simplify]: iteration 3 : 69 enodes (cost 7 ) 55.822 * * [simplify]: iteration 4 : 152 enodes (cost 7 ) 55.861 * * [simplify]: iteration 5 : 302 enodes (cost 7 ) 55.947 * * [simplify]: iteration 6 : 586 enodes (cost 7 ) 56.181 * * [simplify]: iteration 7 : 1368 enodes (cost 7 ) 57.533 * * [simplify]: iteration 8 : 4784 enodes (cost 7 ) 58.817 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 58.817 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.818 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.819 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.819 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.820 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.821 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.821 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 58.822 * * [simplify]: iteration done : 2 enodes (cost 2 ) 58.822 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 58.823 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 58.823 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 58.824 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 58.826 * * [simplify]: iteration done : 11 enodes (cost 4 ) 58.827 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 58.828 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 58.830 * * [simplify]: iteration 2 : 25 enodes (cost 15 ) 58.833 * * [simplify]: iteration 3 : 31 enodes (cost 15 ) 58.836 * * [simplify]: iteration done : 31 enodes (cost 15 ) 58.837 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.837 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 58.838 * * [simplify]: iteration done : 8 enodes (cost 7 ) 58.839 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 58.840 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 58.841 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 58.842 * * [simplify]: iteration 3 : 14 enodes (cost 10 ) 58.844 * * [simplify]: iteration done : 14 enodes (cost 10 ) 58.844 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.845 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 58.846 * * [simplify]: iteration done : 8 enodes (cost 7 ) 58.846 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 58.847 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 58.848 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 58.849 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 58.851 * * [simplify]: iteration done : 20 enodes (cost 5 ) 58.851 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.852 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.853 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.853 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 58.854 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 58.855 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 58.856 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 58.858 * * [simplify]: iteration done : 20 enodes (cost 5 ) 58.858 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.859 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.859 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.860 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 58.861 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 58.862 * * [simplify]: iteration done : 11 enodes (cost 12 ) 58.863 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.863 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 58.864 * * [simplify]: iteration done : 8 enodes (cost 7 ) 58.865 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.865 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 58.866 * * [simplify]: iteration done : 8 enodes (cost 7 ) 58.867 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 58.867 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 58.868 * * [simplify]: iteration done : 8 enodes (cost 7 ) 58.868 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 58.869 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 58.869 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 58.870 * * [simplify]: iteration done : 8 enodes (cost 2 ) 58.870 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.871 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.872 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.872 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 58.873 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 58.873 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 58.874 * * [simplify]: iteration done : 8 enodes (cost 2 ) 58.874 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.875 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.876 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.876 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 58.880 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 58.881 * * [simplify]: iteration done : 12 enodes (cost 11 ) 58.882 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.883 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.883 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.884 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.884 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 58.885 * * [simplify]: iteration done : 9 enodes (cost 6 ) 58.886 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.886 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.887 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.888 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.888 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 58.888 * * [simplify]: iteration done : 4 enodes (cost 1 ) 58.889 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.889 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.890 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.890 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.891 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 58.891 * * [simplify]: iteration done : 4 enodes (cost 1 ) 58.892 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.892 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.893 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.893 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.894 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 58.895 * * [simplify]: iteration done : 8 enodes (cost 5 ) 58.895 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.896 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.896 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.897 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 58.898 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 58.899 * * [simplify]: iteration done : 10 enodes (cost 11 ) 58.899 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.900 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.901 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.901 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 58.901 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 58.902 * * [simplify]: iteration done : 5 enodes (cost 1 ) 58.902 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 58.903 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 58.903 * * [simplify]: iteration done : 5 enodes (cost 1 ) 58.903 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.904 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.905 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.905 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 58.906 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 58.907 * * [simplify]: iteration done : 7 enodes (cost 6 ) 58.907 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.908 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.908 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.909 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 58.910 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 58.913 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 58.917 * * [simplify]: iteration 3 : 48 enodes (cost 9 ) 58.923 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 58.943 * * [simplify]: iteration 5 : 204 enodes (cost 9 ) 59.037 * * [simplify]: iteration 6 : 605 enodes (cost 9 ) 59.971 * * [simplify]: iteration 7 : 2437 enodes (cost 9 ) 61.874 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 61.875 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 61.876 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 61.878 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 61.882 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 61.888 * * [simplify]: iteration 4 : 63 enodes (cost 9 ) 61.900 * * [simplify]: iteration 5 : 104 enodes (cost 9 ) 61.925 * * [simplify]: iteration 6 : 160 enodes (cost 9 ) 61.978 * * [simplify]: iteration 7 : 328 enodes (cost 9 ) 62.718 * * [simplify]: iteration 8 : 1613 enodes (cost 9 ) 68.814 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 68.815 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 68.815 * * [simplify]: iteration done : 1 enodes (cost 1 ) 68.816 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 68.816 * * [simplify]: iteration done : 1 enodes (cost 1 ) 68.816 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 68.816 * * [simplify]: iteration done : 1 enodes (cost 1 ) 68.817 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 68.817 * * [simplify]: iteration done : 1 enodes (cost 1 ) 68.818 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 68.818 * * [simplify]: iteration done : 1 enodes (cost 1 ) 68.818 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 68.818 * * [simplify]: iteration done : 1 enodes (cost 1 ) 68.819 * [simplify]: Simplified to: (* x (/ 100.0 (+ x y))) (+ (log x) (- (log 100.0) (log (+ x y)))) (+ (log x) (log (/ 100.0 (+ x y)))) (log (* x (/ 100.0 (+ x y)))) (exp (* x (/ 100.0 (+ x y)))) (* (pow (/ 100.0 (+ x y)) 3) (pow x 3)) (pow (* x (/ 100.0 (+ x y))) 3) (* (cbrt (* x (/ 100.0 (+ x y)))) (cbrt (* x (/ 100.0 (+ x y))))) (cbrt (* x (/ 100.0 (+ x y)))) (pow (* x (/ 100.0 (+ x y))) 3) (sqrt (* x (/ 100.0 (+ x y)))) (sqrt (* x (/ 100.0 (+ x y)))) (* (sqrt x) (sqrt (/ 100.0 (+ x y)))) (* (sqrt x) (sqrt (/ 100.0 (+ x y)))) (* (sqrt x) (/ (sqrt 100.0) (sqrt (+ x y)))) (* (sqrt x) (/ (sqrt 100.0) (sqrt (+ x y)))) (* x (* (cbrt (/ 100.0 (+ x y))) (cbrt (/ 100.0 (+ x y))))) (* x (sqrt (/ 100.0 (+ x y)))) (* x (/ (* (cbrt 100.0) (cbrt 100.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (* x (/ (* (cbrt 100.0) (cbrt 100.0)) (sqrt (+ x y)))) (* (* (cbrt 100.0) (cbrt 100.0)) x) (* (* (cbrt 100.0) (cbrt 100.0)) x) (* x (/ (sqrt 100.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (* x (/ (sqrt 100.0) (sqrt (+ x y)))) (* (sqrt 100.0) x) (* (sqrt 100.0) x) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (sqrt (+ x y))) x x x (* x 100.0) (* x (/ 100.0 (+ (pow x 3) (pow y 3)))) (/ 100.0 (- x (/ (* y y) x))) (* (cbrt x) (/ 100.0 (+ x y))) (* (sqrt x) (/ 100.0 (+ x y))) (* x (/ 100.0 (+ x y))) (* x 100.0) (- (log 100.0) (log (+ x y))) (log (/ 100.0 (+ x y))) (exp (/ 100.0 (+ x y))) (pow (/ 100.0 (+ x y)) 3) (* (cbrt (/ 100.0 (+ x y))) (cbrt (/ 100.0 (+ x y)))) (cbrt (/ 100.0 (+ x y))) (pow (/ 100.0 (+ x y)) 3) (sqrt (/ 100.0 (+ x y))) (sqrt (/ 100.0 (+ x y))) (neg 100.0) (neg (+ x y)) (/ (* (cbrt 100.0) (cbrt 100.0)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt 100.0) (cbrt (+ x y))) (/ (* (cbrt 100.0) (cbrt 100.0)) (sqrt (+ x y))) (/ (cbrt 100.0) (sqrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)) (/ (cbrt 100.0) (+ x y)) (* (cbrt 100.0) (cbrt 100.0)) (/ (cbrt 100.0) (+ x y)) (/ (sqrt 100.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 100.0) (cbrt (+ x y))) (/ (sqrt 100.0) (sqrt (+ x y))) (/ (sqrt 100.0) (sqrt (+ x y))) (sqrt 100.0) (/ (sqrt 100.0) (+ x y)) (sqrt 100.0) (/ (sqrt 100.0) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 100.0 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 100.0 (sqrt (+ x y))) 1 (/ 100.0 (+ x y)) 1 (/ 100.0 (+ x y)) (/ 1 (+ x y)) (/ (+ x y) 100.0) (/ 100.0 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 100.0 (sqrt (+ x y))) 100.0 100.0 (/ (+ x y) (cbrt 100.0)) (/ (+ x y) (sqrt 100.0)) (/ (+ x y) 100.0) (/ 100.0 (+ (pow x 3) (pow y 3))) (/ 100.0 (- (* x x) (* y y))) 0 0 0 0 0 0 68.820 * * * [progress]: adding candidates to table 68.903 * * [progress]: iteration 3 / 4 68.903 * * * [progress]: picking best candidate 68.910 * * * * [pick]: Picked # 68.911 * * * [progress]: localizing error 68.916 * * * [progress]: generating rewritten candidates 68.916 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 68.924 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 68.937 * * * [progress]: generating series expansions 68.937 * * * * [progress]: [ 1 / 2 ] generating series at (2) 68.937 * [approximate]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in (x y) around 0 68.937 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in y 68.937 * [taylor]: Taking taylor expansion of 100.0 in y 68.937 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 68.937 * [taylor]: Taking taylor expansion of x in y 68.937 * [taylor]: Taking taylor expansion of (+ x y) in y 68.937 * [taylor]: Taking taylor expansion of x in y 68.937 * [taylor]: Taking taylor expansion of y in y 68.938 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 68.938 * [taylor]: Taking taylor expansion of 100.0 in x 68.938 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 68.938 * [taylor]: Taking taylor expansion of x in x 68.938 * [taylor]: Taking taylor expansion of (+ x y) in x 68.938 * [taylor]: Taking taylor expansion of x in x 68.938 * [taylor]: Taking taylor expansion of y in x 68.938 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 68.938 * [taylor]: Taking taylor expansion of 100.0 in x 68.938 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 68.938 * [taylor]: Taking taylor expansion of x in x 68.938 * [taylor]: Taking taylor expansion of (+ x y) in x 68.938 * [taylor]: Taking taylor expansion of x in x 68.938 * [taylor]: Taking taylor expansion of y in x 68.938 * [taylor]: Taking taylor expansion of (/ 100.0 y) in y 68.938 * [taylor]: Taking taylor expansion of 100.0 in y 68.938 * [taylor]: Taking taylor expansion of y in y 68.938 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 (pow y 2)))) in y 68.938 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 68.938 * [taylor]: Taking taylor expansion of 100.0 in y 68.938 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 68.938 * [taylor]: Taking taylor expansion of (pow y 2) in y 68.938 * [taylor]: Taking taylor expansion of y in y 68.939 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 3))) in y 68.939 * [taylor]: Taking taylor expansion of 100.0 in y 68.939 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 68.939 * [taylor]: Taking taylor expansion of (pow y 3) in y 68.939 * [taylor]: Taking taylor expansion of y in y 68.940 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 68.940 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 68.940 * [taylor]: Taking taylor expansion of 100.0 in y 68.940 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 68.940 * [taylor]: Taking taylor expansion of x in y 68.940 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 68.940 * [taylor]: Taking taylor expansion of (/ 1 x) in y 68.940 * [taylor]: Taking taylor expansion of x in y 68.940 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.940 * [taylor]: Taking taylor expansion of y in y 68.940 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 68.940 * [taylor]: Taking taylor expansion of 100.0 in x 68.940 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 68.940 * [taylor]: Taking taylor expansion of x in x 68.940 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.940 * [taylor]: Taking taylor expansion of x in x 68.940 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.940 * [taylor]: Taking taylor expansion of y in x 68.941 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 68.941 * [taylor]: Taking taylor expansion of 100.0 in x 68.941 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 68.941 * [taylor]: Taking taylor expansion of x in x 68.941 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.941 * [taylor]: Taking taylor expansion of x in x 68.941 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.941 * [taylor]: Taking taylor expansion of y in x 68.941 * [taylor]: Taking taylor expansion of 100.0 in y 68.941 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 68.941 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 68.941 * [taylor]: Taking taylor expansion of 100.0 in y 68.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.942 * [taylor]: Taking taylor expansion of y in y 68.942 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 68.942 * [taylor]: Taking taylor expansion of 100.0 in y 68.942 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 68.942 * [taylor]: Taking taylor expansion of (pow y 2) in y 68.942 * [taylor]: Taking taylor expansion of y in y 68.943 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 68.943 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 68.943 * [taylor]: Taking taylor expansion of 100.0 in y 68.943 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 68.943 * [taylor]: Taking taylor expansion of x in y 68.943 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 68.943 * [taylor]: Taking taylor expansion of (/ 1 x) in y 68.943 * [taylor]: Taking taylor expansion of x in y 68.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.943 * [taylor]: Taking taylor expansion of y in y 68.943 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 68.943 * [taylor]: Taking taylor expansion of 100.0 in x 68.943 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 68.943 * [taylor]: Taking taylor expansion of x in x 68.943 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.943 * [taylor]: Taking taylor expansion of x in x 68.943 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.943 * [taylor]: Taking taylor expansion of y in x 68.943 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 68.943 * [taylor]: Taking taylor expansion of 100.0 in x 68.943 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 68.943 * [taylor]: Taking taylor expansion of x in x 68.944 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.944 * [taylor]: Taking taylor expansion of x in x 68.944 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.944 * [taylor]: Taking taylor expansion of y in x 68.944 * [taylor]: Taking taylor expansion of 100.0 in y 68.944 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 68.944 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 68.944 * [taylor]: Taking taylor expansion of 100.0 in y 68.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.944 * [taylor]: Taking taylor expansion of y in y 68.945 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 68.945 * [taylor]: Taking taylor expansion of 100.0 in y 68.945 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 68.945 * [taylor]: Taking taylor expansion of (pow y 2) in y 68.945 * [taylor]: Taking taylor expansion of y in y 68.945 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 68.945 * [approximate]: Taking taylor expansion of (* 0.01 (+ x y)) in (x y) around 0 68.945 * [taylor]: Taking taylor expansion of (* 0.01 (+ x y)) in y 68.945 * [taylor]: Taking taylor expansion of 0.01 in y 68.945 * [taylor]: Taking taylor expansion of (+ x y) in y 68.945 * [taylor]: Taking taylor expansion of x in y 68.945 * [taylor]: Taking taylor expansion of y in y 68.945 * [taylor]: Taking taylor expansion of (* 0.01 (+ x y)) in x 68.945 * [taylor]: Taking taylor expansion of 0.01 in x 68.945 * [taylor]: Taking taylor expansion of (+ x y) in x 68.945 * [taylor]: Taking taylor expansion of x in x 68.945 * [taylor]: Taking taylor expansion of y in x 68.945 * [taylor]: Taking taylor expansion of (* 0.01 (+ x y)) in x 68.945 * [taylor]: Taking taylor expansion of 0.01 in x 68.945 * [taylor]: Taking taylor expansion of (+ x y) in x 68.946 * [taylor]: Taking taylor expansion of x in x 68.946 * [taylor]: Taking taylor expansion of y in x 68.946 * [taylor]: Taking taylor expansion of (* 0.01 y) in y 68.946 * [taylor]: Taking taylor expansion of 0.01 in y 68.946 * [taylor]: Taking taylor expansion of y in y 68.946 * [taylor]: Taking taylor expansion of 0.01 in y 68.946 * [taylor]: Taking taylor expansion of 0 in y 68.946 * [taylor]: Taking taylor expansion of 0 in y 68.946 * [approximate]: Taking taylor expansion of (* 0.01 (+ (/ 1 x) (/ 1 y))) in (x y) around 0 68.946 * [taylor]: Taking taylor expansion of (* 0.01 (+ (/ 1 x) (/ 1 y))) in y 68.946 * [taylor]: Taking taylor expansion of 0.01 in y 68.946 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 68.946 * [taylor]: Taking taylor expansion of (/ 1 x) in y 68.946 * [taylor]: Taking taylor expansion of x in y 68.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.946 * [taylor]: Taking taylor expansion of y in y 68.946 * [taylor]: Taking taylor expansion of (* 0.01 (+ (/ 1 x) (/ 1 y))) in x 68.946 * [taylor]: Taking taylor expansion of 0.01 in x 68.946 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.946 * [taylor]: Taking taylor expansion of x in x 68.947 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.947 * [taylor]: Taking taylor expansion of y in x 68.947 * [taylor]: Taking taylor expansion of (* 0.01 (+ (/ 1 x) (/ 1 y))) in x 68.947 * [taylor]: Taking taylor expansion of 0.01 in x 68.947 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.947 * [taylor]: Taking taylor expansion of x in x 68.947 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.947 * [taylor]: Taking taylor expansion of y in x 68.947 * [taylor]: Taking taylor expansion of 0.01 in y 68.947 * [taylor]: Taking taylor expansion of (* 0.01 (/ 1 y)) in y 68.947 * [taylor]: Taking taylor expansion of 0.01 in y 68.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.947 * [taylor]: Taking taylor expansion of y in y 68.947 * [taylor]: Taking taylor expansion of 0 in y 68.948 * [taylor]: Taking taylor expansion of 0 in y 68.948 * [taylor]: Taking taylor expansion of 0 in y 68.948 * [approximate]: Taking taylor expansion of (* -0.01 (+ (/ 1 x) (/ 1 y))) in (x y) around 0 68.948 * [taylor]: Taking taylor expansion of (* -0.01 (+ (/ 1 x) (/ 1 y))) in y 68.948 * [taylor]: Taking taylor expansion of -0.01 in y 68.948 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 68.948 * [taylor]: Taking taylor expansion of (/ 1 x) in y 68.948 * [taylor]: Taking taylor expansion of x in y 68.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.948 * [taylor]: Taking taylor expansion of y in y 68.948 * [taylor]: Taking taylor expansion of (* -0.01 (+ (/ 1 x) (/ 1 y))) in x 68.949 * [taylor]: Taking taylor expansion of -0.01 in x 68.949 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.949 * [taylor]: Taking taylor expansion of x in x 68.949 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.949 * [taylor]: Taking taylor expansion of y in x 68.949 * [taylor]: Taking taylor expansion of (* -0.01 (+ (/ 1 x) (/ 1 y))) in x 68.949 * [taylor]: Taking taylor expansion of -0.01 in x 68.949 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 68.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x 68.949 * [taylor]: Taking taylor expansion of x in x 68.949 * [taylor]: Taking taylor expansion of (/ 1 y) in x 68.949 * [taylor]: Taking taylor expansion of y in x 68.949 * [taylor]: Taking taylor expansion of -0.01 in y 68.949 * [taylor]: Taking taylor expansion of (neg (* 0.01 (/ 1 y))) in y 68.949 * [taylor]: Taking taylor expansion of (* 0.01 (/ 1 y)) in y 68.949 * [taylor]: Taking taylor expansion of 0.01 in y 68.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 68.949 * [taylor]: Taking taylor expansion of y in y 68.949 * [taylor]: Taking taylor expansion of 0 in y 68.950 * [taylor]: Taking taylor expansion of 0 in y 68.950 * [taylor]: Taking taylor expansion of 0 in y 68.950 * * * [progress]: simplifying candidates 68.952 * [simplify]: Simplifying using # : (- (log x) (- (log (+ x y)) (log 100.0))) (- (log x) (log (/ (+ x y) 100.0))) (log (/ x (/ (+ x y) 100.0))) (exp (/ x (/ (+ x y) 100.0))) (/ (* (* x x) x) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* 100.0 100.0) 100.0))) (/ (* (* x x) x) (* (* (/ (+ x y) 100.0) (/ (+ x y) 100.0)) (/ (+ x y) 100.0))) (* (cbrt (/ x (/ (+ x y) 100.0))) (cbrt (/ x (/ (+ x y) 100.0)))) (cbrt (/ x (/ (+ x y) 100.0))) (* (* (/ x (/ (+ x y) 100.0)) (/ x (/ (+ x y) 100.0))) (/ x (/ (+ x y) 100.0))) (sqrt (/ x (/ (+ x y) 100.0))) (sqrt (/ x (/ (+ x y) 100.0))) (neg x) (neg (/ (+ x y) 100.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ (cbrt x) (cbrt (/ (+ x y) 100.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ (+ x y) 100.0))) (/ (cbrt x) (sqrt (/ (+ x y) 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)))) (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0))) (/ (cbrt x) (/ (cbrt (+ x y)) (sqrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (/ (cbrt x) (/ (cbrt (+ x y)) 100.0)) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0)))) (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (cbrt x) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ x y)) 1)) (/ (cbrt x) (/ (sqrt (+ x y)) 100.0)) (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ (cbrt x) (/ (+ x y) (cbrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt 100.0))) (/ (cbrt x) (/ (+ x y) (sqrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ 1 1)) (/ (cbrt x) (/ (+ x y) 100.0)) (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ (cbrt x) (/ (+ x y) (cbrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt 100.0))) (/ (cbrt x) (/ (+ x y) (sqrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ 1 1)) (/ (cbrt x) (/ (+ x y) 100.0)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (/ (+ x y) 100.0)) (/ (* (cbrt x) (cbrt x)) (+ x y)) (/ (cbrt x) (/ 1 100.0)) (/ (sqrt x) (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ (sqrt x) (cbrt (/ (+ x y) 100.0))) (/ (sqrt x) (sqrt (/ (+ x y) 100.0))) (/ (sqrt x) (sqrt (/ (+ x y) 100.0))) (/ (sqrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)))) (/ (sqrt x) (/ (cbrt (+ x y)) (cbrt 100.0))) (/ (sqrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0))) (/ (sqrt x) (/ (cbrt (+ x y)) (sqrt 100.0))) (/ (sqrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (/ (sqrt x) (/ (cbrt (+ x y)) 100.0)) (/ (sqrt x) (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0)))) (/ (sqrt x) (/ (sqrt (+ x y)) (cbrt 100.0))) (/ (sqrt x) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (sqrt x) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (sqrt x) (/ (sqrt (+ x y)) 1)) (/ (sqrt x) (/ (sqrt (+ x y)) 100.0)) (/ (sqrt x) (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ (sqrt x) (/ (+ x y) (cbrt 100.0))) (/ (sqrt x) (/ 1 (sqrt 100.0))) (/ (sqrt x) (/ (+ x y) (sqrt 100.0))) (/ (sqrt x) (/ 1 1)) (/ (sqrt x) (/ (+ x y) 100.0)) (/ (sqrt x) (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ (sqrt x) (/ (+ x y) (cbrt 100.0))) (/ (sqrt x) (/ 1 (sqrt 100.0))) (/ (sqrt x) (/ (+ x y) (sqrt 100.0))) (/ (sqrt x) (/ 1 1)) (/ (sqrt x) (/ (+ x y) 100.0)) (/ (sqrt x) 1) (/ (sqrt x) (/ (+ x y) 100.0)) (/ (sqrt x) (+ x y)) (/ (sqrt x) (/ 1 100.0)) (/ 1 (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ x (cbrt (/ (+ x y) 100.0))) (/ 1 (sqrt (/ (+ x y) 100.0))) (/ x (sqrt (/ (+ x y) 100.0))) (/ 1 (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (cbrt (+ x y)) (cbrt 100.0))) (/ 1 (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0))) (/ x (/ (cbrt (+ x y)) (sqrt 100.0))) (/ 1 (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (/ x (/ (cbrt (+ x y)) 100.0)) (/ 1 (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (sqrt (+ x y)) (cbrt 100.0))) (/ 1 (/ (sqrt (+ x y)) (sqrt 100.0))) (/ x (/ (sqrt (+ x y)) (sqrt 100.0))) (/ 1 (/ (sqrt (+ x y)) 1)) (/ x (/ (sqrt (+ x y)) 100.0)) (/ 1 (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (+ x y) (cbrt 100.0))) (/ 1 (/ 1 (sqrt 100.0))) (/ x (/ (+ x y) (sqrt 100.0))) (/ 1 (/ 1 1)) (/ x (/ (+ x y) 100.0)) (/ 1 (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (+ x y) (cbrt 100.0))) (/ 1 (/ 1 (sqrt 100.0))) (/ x (/ (+ x y) (sqrt 100.0))) (/ 1 (/ 1 1)) (/ x (/ (+ x y) 100.0)) (/ 1 1) (/ x (/ (+ x y) 100.0)) (/ 1 (+ x y)) (/ x (/ 1 100.0)) (/ 1 (/ (+ x y) 100.0)) (/ (/ (+ x y) 100.0) x) (/ x (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ x (sqrt (/ (+ x y) 100.0))) (/ x (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0))) (/ x (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (/ x (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (sqrt (+ x y)) (sqrt 100.0))) (/ x (/ (sqrt (+ x y)) 1)) (/ x (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ 1 (sqrt 100.0))) (/ x (/ 1 1)) (/ x (/ 1 (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ 1 (sqrt 100.0))) (/ x (/ 1 1)) (/ x 1) (/ x (+ x y)) (/ (/ (+ x y) 100.0) (cbrt x)) (/ (/ (+ x y) 100.0) (sqrt x)) (/ (/ (+ x y) 100.0) x) (/ x (+ x y)) (- (log (+ x y)) (log 100.0)) (log (/ (+ x y) 100.0)) (exp (/ (+ x y) 100.0)) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* 100.0 100.0) 100.0)) (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0))) (cbrt (/ (+ x y) 100.0)) (* (* (/ (+ x y) 100.0) (/ (+ x y) 100.0)) (/ (+ x y) 100.0)) (sqrt (/ (+ x y) 100.0)) (sqrt (/ (+ x y) 100.0)) (neg (+ x y)) (neg 100.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0))) (/ (cbrt (+ x y)) (cbrt 100.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0)) (/ (cbrt (+ x y)) (sqrt 100.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) 100.0) (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0))) (/ (sqrt (+ x y)) (cbrt 100.0)) (/ (sqrt (+ x y)) (sqrt 100.0)) (/ (sqrt (+ x y)) (sqrt 100.0)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) 100.0) (/ 1 (* (cbrt 100.0) (cbrt 100.0))) (/ (+ x y) (cbrt 100.0)) (/ 1 (sqrt 100.0)) (/ (+ x y) (sqrt 100.0)) (/ 1 1) (/ (+ x y) 100.0) (/ 1 (* (cbrt 100.0) (cbrt 100.0))) (/ (+ x y) (cbrt 100.0)) (/ 1 (sqrt 100.0)) (/ (+ x y) (sqrt 100.0)) (/ 1 1) (/ (+ x y) 100.0) (/ 1 100.0) (/ 100.0 (+ x y)) (/ (+ x y) (* (cbrt 100.0) (cbrt 100.0))) (/ (+ x y) (sqrt 100.0)) (/ (+ x y) 1) (/ 100.0 (cbrt (+ x y))) (/ 100.0 (sqrt (+ x y))) (/ 100.0 (+ x y)) (/ 100.0 (+ x y)) (* 100.0 (+ (* x x) (- (* y y) (* x y)))) (* 100.0 (- x y)) 0 0 0 (+ (* 0.01 x) (* 0.01 y)) (+ (* 0.01 x) (* 0.01 y)) (+ (* 0.01 x) (* 0.01 y)) 68.953 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 68.954 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 68.955 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 68.958 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 68.967 * * [simplify]: iteration 4 : 41 enodes (cost 10 ) 68.971 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 68.977 * * [simplify]: iteration 6 : 64 enodes (cost 10 ) 68.990 * * [simplify]: iteration 7 : 90 enodes (cost 10 ) 69.002 * * [simplify]: iteration 8 : 99 enodes (cost 10 ) 69.014 * * [simplify]: iteration done : 99 enodes (cost 10 ) 69.015 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 69.015 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 69.017 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 69.020 * * [simplify]: iteration 3 : 26 enodes (cost 9 ) 69.023 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 69.028 * * [simplify]: iteration 5 : 43 enodes (cost 9 ) 69.033 * * [simplify]: iteration 6 : 51 enodes (cost 9 ) 69.040 * * [simplify]: iteration 7 : 66 enodes (cost 9 ) 69.052 * * [simplify]: iteration 8 : 92 enodes (cost 9 ) 69.064 * * [simplify]: iteration 9 : 101 enodes (cost 9 ) 69.077 * * [simplify]: iteration done : 101 enodes (cost 9 ) 69.078 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 69.079 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 69.080 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 69.083 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 69.086 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 69.092 * * [simplify]: iteration 5 : 63 enodes (cost 8 ) 69.100 * * [simplify]: iteration 6 : 72 enodes (cost 8 ) 69.109 * * [simplify]: iteration 7 : 83 enodes (cost 8 ) 69.119 * * [simplify]: iteration 8 : 101 enodes (cost 8 ) 69.137 * * [simplify]: iteration 9 : 121 enodes (cost 8 ) 69.151 * * [simplify]: iteration 10 : 127 enodes (cost 8 ) 69.166 * * [simplify]: iteration done : 127 enodes (cost 8 ) 69.167 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 69.168 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 69.169 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 69.171 * * [simplify]: iteration 3 : 22 enodes (cost 8 ) 69.174 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 69.178 * * [simplify]: iteration 5 : 59 enodes (cost 8 ) 69.190 * * [simplify]: iteration 6 : 132 enodes (cost 8 ) 69.233 * * [simplify]: iteration 7 : 308 enodes (cost 8 ) 69.423 * * [simplify]: iteration 8 : 847 enodes (cost 8 ) 70.717 * * [simplify]: iteration 9 : 3169 enodes (cost 8 ) 72.037 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 72.038 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 72.040 * * [simplify]: iteration 1 : 39 enodes (cost 23 ) 72.047 * * [simplify]: iteration 2 : 148 enodes (cost 13 ) 72.095 * * [simplify]: iteration 3 : 597 enodes (cost 11 ) 72.840 * * [simplify]: iteration 4 : 2243 enodes (cost 9 ) 75.336 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 75.336 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 75.338 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 75.343 * * [simplify]: iteration 2 : 100 enodes (cost 11 ) 75.375 * * [simplify]: iteration 3 : 370 enodes (cost 9 ) 75.678 * * [simplify]: iteration 4 : 1447 enodes (cost 9 ) 78.444 * * [simplify]: iteration 5 : 3894 enodes (cost 9 ) 80.020 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 80.021 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 80.022 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 80.023 * * [simplify]: iteration 2 : 14 enodes (cost 17 ) 80.024 * * [simplify]: iteration 3 : 15 enodes (cost 17 ) 80.026 * * [simplify]: iteration 4 : 17 enodes (cost 17 ) 80.028 * * [simplify]: iteration 5 : 19 enodes (cost 17 ) 80.030 * * [simplify]: iteration 6 : 20 enodes (cost 17 ) 80.033 * * [simplify]: iteration done : 20 enodes (cost 17 ) 80.033 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 80.034 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 80.035 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 80.036 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 80.038 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 80.040 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 80.042 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 80.044 * * [simplify]: iteration done : 19 enodes (cost 8 ) 80.045 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 80.046 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 80.049 * * [simplify]: iteration 2 : 56 enodes (cost 9 ) 80.068 * * [simplify]: iteration 3 : 229 enodes (cost 9 ) 80.266 * * [simplify]: iteration 4 : 948 enodes (cost 9 ) 81.902 * * [simplify]: iteration 5 : 2880 enodes (cost 9 ) 85.725 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 85.726 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.727 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 85.728 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 85.729 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 85.731 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 85.733 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 85.735 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 85.737 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.738 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.739 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 85.740 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 85.741 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 85.743 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 85.745 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 85.747 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 85.749 * * [simplify]: iteration done : 19 enodes (cost 8 ) 85.749 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 85.750 * * [simplify]: iteration done : 2 enodes (cost 2 ) 85.750 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 85.751 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 85.752 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 85.753 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 85.755 * * [simplify]: iteration 4 : 21 enodes (cost 6 ) 85.757 * * [simplify]: iteration 5 : 25 enodes (cost 6 ) 85.760 * * [simplify]: iteration 6 : 29 enodes (cost 6 ) 85.763 * * [simplify]: iteration done : 29 enodes (cost 6 ) 85.764 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 85.765 * * [simplify]: iteration 1 : 17 enodes (cost 19 ) 85.767 * * [simplify]: iteration 2 : 26 enodes (cost 19 ) 85.770 * * [simplify]: iteration 3 : 32 enodes (cost 19 ) 85.774 * * [simplify]: iteration done : 32 enodes (cost 19 ) 85.774 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.777 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 85.778 * * [simplify]: iteration done : 9 enodes (cost 9 ) 85.779 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 85.780 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 85.781 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 85.782 * * [simplify]: iteration 3 : 15 enodes (cost 12 ) 85.784 * * [simplify]: iteration done : 15 enodes (cost 12 ) 85.785 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 85.785 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 85.786 * * [simplify]: iteration done : 9 enodes (cost 9 ) 85.787 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 85.788 * * [simplify]: iteration 1 : 23 enodes (cost 21 ) 85.791 * * [simplify]: iteration 2 : 59 enodes (cost 21 ) 85.802 * * [simplify]: iteration 3 : 152 enodes (cost 21 ) 85.849 * * [simplify]: iteration 4 : 278 enodes (cost 21 ) 85.967 * * [simplify]: iteration 5 : 372 enodes (cost 21 ) 86.115 * * [simplify]: iteration 6 : 408 enodes (cost 21 ) 86.270 * * [simplify]: iteration 7 : 418 enodes (cost 21 ) 86.427 * * [simplify]: iteration done : 418 enodes (cost 21 ) 86.428 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 86.428 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 86.430 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 86.431 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 86.433 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 86.435 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 86.437 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 86.439 * * [simplify]: iteration done : 21 enodes (cost 10 ) 86.440 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 86.441 * * [simplify]: iteration 1 : 18 enodes (cost 18 ) 86.443 * * [simplify]: iteration 2 : 36 enodes (cost 18 ) 86.449 * * [simplify]: iteration 3 : 80 enodes (cost 18 ) 86.467 * * [simplify]: iteration 4 : 124 enodes (cost 18 ) 86.492 * * [simplify]: iteration 5 : 143 enodes (cost 18 ) 86.523 * * [simplify]: iteration 6 : 148 enodes (cost 18 ) 86.551 * * [simplify]: iteration 7 : 149 enodes (cost 18 ) 86.582 * * [simplify]: iteration done : 149 enodes (cost 18 ) 86.583 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 86.584 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 86.585 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 86.586 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 86.588 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 86.590 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 86.592 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 86.594 * * [simplify]: iteration done : 21 enodes (cost 10 ) 86.595 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 86.596 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 86.599 * * [simplify]: iteration 2 : 42 enodes (cost 15 ) 86.613 * * [simplify]: iteration 3 : 117 enodes (cost 15 ) 86.642 * * [simplify]: iteration 4 : 148 enodes (cost 15 ) 86.669 * * [simplify]: iteration 5 : 172 enodes (cost 15 ) 86.707 * * [simplify]: iteration 6 : 174 enodes (cost 15 ) 86.738 * * [simplify]: iteration done : 174 enodes (cost 15 ) 86.739 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 86.740 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 86.741 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 86.742 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 86.744 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 86.746 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 86.748 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 86.750 * * [simplify]: iteration done : 20 enodes (cost 9 ) 86.751 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 86.752 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 86.755 * * [simplify]: iteration 2 : 33 enodes (cost 16 ) 86.760 * * [simplify]: iteration 3 : 61 enodes (cost 16 ) 86.771 * * [simplify]: iteration 4 : 97 enodes (cost 16 ) 86.793 * * [simplify]: iteration 5 : 119 enodes (cost 16 ) 86.817 * * [simplify]: iteration 6 : 129 enodes (cost 16 ) 86.844 * * [simplify]: iteration 7 : 138 enodes (cost 16 ) 86.873 * * [simplify]: iteration done : 138 enodes (cost 16 ) 86.874 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 86.875 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 86.876 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 86.878 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 86.879 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 86.881 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 86.883 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 86.886 * * [simplify]: iteration done : 21 enodes (cost 10 ) 86.887 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 86.888 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 86.889 * * [simplify]: iteration 2 : 24 enodes (cost 13 ) 86.892 * * [simplify]: iteration 3 : 34 enodes (cost 13 ) 86.898 * * [simplify]: iteration 4 : 44 enodes (cost 13 ) 86.905 * * [simplify]: iteration 5 : 48 enodes (cost 13 ) 86.912 * * [simplify]: iteration 6 : 50 enodes (cost 13 ) 86.919 * * [simplify]: iteration 7 : 51 enodes (cost 13 ) 86.926 * * [simplify]: iteration done : 51 enodes (cost 13 ) 86.927 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 86.928 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 86.929 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 86.930 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 86.932 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 86.934 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 86.936 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 86.938 * * [simplify]: iteration done : 21 enodes (cost 10 ) 86.939 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 86.940 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 86.942 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 86.946 * * [simplify]: iteration 3 : 49 enodes (cost 10 ) 86.953 * * [simplify]: iteration 4 : 54 enodes (cost 10 ) 86.960 * * [simplify]: iteration 5 : 58 enodes (cost 10 ) 86.967 * * [simplify]: iteration 6 : 64 enodes (cost 10 ) 86.975 * * [simplify]: iteration done : 64 enodes (cost 10 ) 86.976 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 86.977 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 86.978 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 86.979 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 86.981 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 86.983 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 86.985 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 86.987 * * [simplify]: iteration done : 20 enodes (cost 9 ) 86.987 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 86.988 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 86.990 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 86.996 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 87.034 * * [simplify]: iteration 4 : 192 enodes (cost 11 ) 87.081 * * [simplify]: iteration 5 : 255 enodes (cost 11 ) 87.136 * * [simplify]: iteration 6 : 299 enodes (cost 11 ) 87.174 * * [simplify]: iteration done : 299 enodes (cost 11 ) 87.175 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.178 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 87.179 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 87.180 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 87.182 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 87.184 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 87.186 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 87.188 * * [simplify]: iteration done : 20 enodes (cost 9 ) 87.189 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 87.190 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 87.191 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 87.195 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 87.209 * * [simplify]: iteration 4 : 96 enodes (cost 8 ) 87.220 * * [simplify]: iteration 5 : 104 enodes (cost 8 ) 87.232 * * [simplify]: iteration done : 104 enodes (cost 8 ) 87.232 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.234 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 87.235 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 87.238 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 87.240 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 87.242 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 87.244 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 87.247 * * [simplify]: iteration done : 20 enodes (cost 9 ) 87.247 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 87.248 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 87.250 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 87.253 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 87.260 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 87.266 * * [simplify]: iteration done : 56 enodes (cost 5 ) 87.267 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.268 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 87.269 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 87.270 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 87.272 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 87.274 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 87.276 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 87.278 * * [simplify]: iteration done : 19 enodes (cost 8 ) 87.279 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 87.280 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 87.282 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 87.288 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 87.327 * * [simplify]: iteration 4 : 192 enodes (cost 11 ) 87.374 * * [simplify]: iteration 5 : 255 enodes (cost 11 ) 87.429 * * [simplify]: iteration 6 : 299 enodes (cost 11 ) 87.468 * * [simplify]: iteration done : 299 enodes (cost 11 ) 87.468 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.469 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 87.470 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 87.472 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 87.474 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 87.476 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 87.478 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 87.480 * * [simplify]: iteration done : 20 enodes (cost 9 ) 87.481 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 87.482 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 87.483 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 87.487 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 87.501 * * [simplify]: iteration 4 : 96 enodes (cost 8 ) 87.511 * * [simplify]: iteration 5 : 104 enodes (cost 8 ) 87.523 * * [simplify]: iteration done : 104 enodes (cost 8 ) 87.524 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.525 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 87.527 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 87.528 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 87.530 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 87.532 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 87.534 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 87.536 * * [simplify]: iteration done : 20 enodes (cost 9 ) 87.536 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 87.537 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 87.539 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 87.542 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 87.549 * * [simplify]: iteration 4 : 56 enodes (cost 5 ) 87.555 * * [simplify]: iteration done : 56 enodes (cost 5 ) 87.555 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.556 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 87.557 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 87.559 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 87.560 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 87.562 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 87.564 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 87.566 * * [simplify]: iteration done : 19 enodes (cost 8 ) 87.567 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 87.568 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 87.568 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 87.570 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 87.572 * * [simplify]: iteration done : 20 enodes (cost 5 ) 87.572 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.573 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 87.574 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 87.576 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 87.578 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 87.583 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 87.585 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 87.587 * * [simplify]: iteration done : 19 enodes (cost 8 ) 87.588 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 87.589 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 87.590 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 87.591 * * [simplify]: iteration 3 : 12 enodes (cost 9 ) 87.592 * * [simplify]: iteration done : 12 enodes (cost 9 ) 87.593 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 87.594 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 87.595 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 87.596 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 87.598 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 87.602 * * [simplify]: iteration 5 : 33 enodes (cost 4 ) 87.604 * * [simplify]: iteration done : 33 enodes (cost 4 ) 87.605 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 87.606 * * [simplify]: iteration 1 : 12 enodes (cost 16 ) 87.607 * * [simplify]: iteration done : 12 enodes (cost 16 ) 87.607 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.608 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 87.609 * * [simplify]: iteration done : 9 enodes (cost 9 ) 87.610 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.610 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 87.611 * * [simplify]: iteration done : 9 enodes (cost 9 ) 87.612 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.613 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 87.614 * * [simplify]: iteration done : 9 enodes (cost 9 ) 87.614 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 87.616 * * [simplify]: iteration 1 : 20 enodes (cost 18 ) 87.618 * * [simplify]: iteration 2 : 41 enodes (cost 18 ) 87.625 * * [simplify]: iteration 3 : 70 enodes (cost 18 ) 87.636 * * [simplify]: iteration 4 : 96 enodes (cost 18 ) 87.658 * * [simplify]: iteration 5 : 128 enodes (cost 18 ) 87.684 * * [simplify]: iteration 6 : 149 enodes (cost 18 ) 87.714 * * [simplify]: iteration 7 : 159 enodes (cost 18 ) 87.744 * * [simplify]: iteration done : 159 enodes (cost 18 ) 87.745 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 87.746 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 87.747 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 87.749 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 87.750 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 87.754 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 87.756 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 87.758 * * [simplify]: iteration done : 21 enodes (cost 10 ) 87.759 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 87.760 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 87.762 * * [simplify]: iteration 2 : 23 enodes (cost 15 ) 87.765 * * [simplify]: iteration 3 : 36 enodes (cost 15 ) 87.769 * * [simplify]: iteration 4 : 44 enodes (cost 15 ) 87.775 * * [simplify]: iteration 5 : 50 enodes (cost 15 ) 87.781 * * [simplify]: iteration 6 : 53 enodes (cost 15 ) 87.788 * * [simplify]: iteration done : 53 enodes (cost 15 ) 87.789 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 87.790 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 87.791 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 87.792 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 87.794 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 87.796 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 87.799 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 87.801 * * [simplify]: iteration done : 21 enodes (cost 10 ) 87.802 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 87.803 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 87.805 * * [simplify]: iteration 2 : 29 enodes (cost 12 ) 87.810 * * [simplify]: iteration 3 : 56 enodes (cost 12 ) 87.820 * * [simplify]: iteration 4 : 68 enodes (cost 12 ) 87.827 * * [simplify]: iteration 5 : 80 enodes (cost 12 ) 87.837 * * [simplify]: iteration 6 : 85 enodes (cost 12 ) 87.848 * * [simplify]: iteration done : 85 enodes (cost 12 ) 87.848 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.849 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 87.850 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 87.852 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 87.853 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 87.855 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 87.857 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 87.860 * * [simplify]: iteration done : 20 enodes (cost 9 ) 87.861 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 87.862 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 87.864 * * [simplify]: iteration 2 : 22 enodes (cost 13 ) 87.867 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 87.873 * * [simplify]: iteration 4 : 34 enodes (cost 13 ) 87.877 * * [simplify]: iteration 5 : 43 enodes (cost 13 ) 87.883 * * [simplify]: iteration 6 : 49 enodes (cost 13 ) 87.890 * * [simplify]: iteration 7 : 54 enodes (cost 13 ) 87.897 * * [simplify]: iteration 8 : 55 enodes (cost 13 ) 87.904 * * [simplify]: iteration done : 55 enodes (cost 13 ) 87.905 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 87.906 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 87.907 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 87.909 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 87.910 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 87.913 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 87.915 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 87.917 * * [simplify]: iteration done : 21 enodes (cost 10 ) 87.918 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 87.919 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 87.920 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 87.922 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 87.924 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 87.926 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 87.928 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 87.932 * * [simplify]: iteration done : 21 enodes (cost 10 ) 87.933 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 87.934 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 87.935 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 87.936 * * [simplify]: iteration 3 : 16 enodes (cost 10 ) 87.938 * * [simplify]: iteration 4 : 18 enodes (cost 10 ) 87.940 * * [simplify]: iteration 5 : 20 enodes (cost 10 ) 87.942 * * [simplify]: iteration 6 : 21 enodes (cost 10 ) 87.944 * * [simplify]: iteration done : 21 enodes (cost 10 ) 87.945 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.946 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 87.947 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 87.949 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 87.951 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 87.953 * * [simplify]: iteration 5 : 29 enodes (cost 7 ) 87.956 * * [simplify]: iteration 6 : 33 enodes (cost 7 ) 87.959 * * [simplify]: iteration done : 33 enodes (cost 7 ) 87.960 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.961 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 87.962 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 87.963 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 87.965 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 87.967 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 87.969 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 87.972 * * [simplify]: iteration done : 20 enodes (cost 9 ) 87.972 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 87.973 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 87.975 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 87.979 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 87.984 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 87.997 * * [simplify]: iteration 5 : 86 enodes (cost 8 ) 88.010 * * [simplify]: iteration 6 : 106 enodes (cost 8 ) 88.020 * * [simplify]: iteration done : 106 enodes (cost 8 ) 88.020 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.021 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.023 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.024 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.026 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.028 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.030 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.032 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.033 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 88.034 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 88.035 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 88.037 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 88.039 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 88.042 * * [simplify]: iteration 5 : 34 enodes (cost 5 ) 88.045 * * [simplify]: iteration done : 34 enodes (cost 5 ) 88.045 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.046 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.047 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.051 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.052 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.054 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.056 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.059 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.060 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 88.060 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 88.061 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 88.062 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 88.064 * * [simplify]: iteration 4 : 20 enodes (cost 2 ) 88.065 * * [simplify]: iteration done : 20 enodes (cost 2 ) 88.066 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.067 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.068 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.069 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.071 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.073 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.075 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.078 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.078 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 88.079 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 88.081 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 88.084 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 88.090 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 88.100 * * [simplify]: iteration 5 : 86 enodes (cost 8 ) 88.116 * * [simplify]: iteration 6 : 106 enodes (cost 8 ) 88.126 * * [simplify]: iteration done : 106 enodes (cost 8 ) 88.127 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.128 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.129 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.131 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.133 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.135 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.137 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.139 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.140 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 88.141 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 88.142 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 88.143 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 88.146 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 88.149 * * [simplify]: iteration 5 : 34 enodes (cost 5 ) 88.151 * * [simplify]: iteration done : 34 enodes (cost 5 ) 88.152 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.153 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.154 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.156 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.158 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.159 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.162 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.164 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.165 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 88.166 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 88.167 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 88.168 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 88.169 * * [simplify]: iteration 4 : 20 enodes (cost 2 ) 88.174 * * [simplify]: iteration done : 20 enodes (cost 2 ) 88.174 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.175 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.176 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.177 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.179 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.181 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.183 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.185 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.186 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 88.187 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 88.187 * * [simplify]: iteration 2 : 8 enodes (cost 2 ) 88.188 * * [simplify]: iteration done : 8 enodes (cost 2 ) 88.188 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.189 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.190 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.192 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.193 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.195 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.197 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.199 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.200 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 88.200 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 88.201 * * [simplify]: iteration done : 6 enodes (cost 6 ) 88.202 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.202 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 88.203 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 88.205 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 88.207 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 88.210 * * [simplify]: iteration 5 : 33 enodes (cost 4 ) 88.212 * * [simplify]: iteration done : 33 enodes (cost 4 ) 88.213 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 88.214 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 88.215 * * [simplify]: iteration done : 14 enodes (cost 15 ) 88.216 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.217 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 88.217 * * [simplify]: iteration done : 8 enodes (cost 8 ) 88.218 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 88.219 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 88.220 * * [simplify]: iteration done : 11 enodes (cost 8 ) 88.220 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.221 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 88.222 * * [simplify]: iteration done : 8 enodes (cost 8 ) 88.222 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 88.224 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 88.226 * * [simplify]: iteration 2 : 43 enodes (cost 17 ) 88.233 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 88.252 * * [simplify]: iteration 4 : 132 enodes (cost 15 ) 88.295 * * [simplify]: iteration 5 : 196 enodes (cost 15 ) 88.325 * * [simplify]: iteration done : 196 enodes (cost 15 ) 88.326 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.327 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.328 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.330 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.331 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.333 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.335 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.337 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.338 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 88.339 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 88.341 * * [simplify]: iteration 2 : 25 enodes (cost 14 ) 88.344 * * [simplify]: iteration 3 : 38 enodes (cost 12 ) 88.352 * * [simplify]: iteration 4 : 65 enodes (cost 12 ) 88.369 * * [simplify]: iteration 5 : 105 enodes (cost 12 ) 88.381 * * [simplify]: iteration done : 105 enodes (cost 12 ) 88.382 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.382 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.383 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.385 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.386 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.388 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.390 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.392 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.393 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 88.394 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 88.396 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 88.399 * * [simplify]: iteration 3 : 35 enodes (cost 11 ) 88.402 * * [simplify]: iteration done : 35 enodes (cost 11 ) 88.402 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.405 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.406 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.408 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.409 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.411 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.413 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.415 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.416 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 88.417 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 88.418 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 88.421 * * [simplify]: iteration 3 : 32 enodes (cost 10 ) 88.426 * * [simplify]: iteration 4 : 56 enodes (cost 10 ) 88.436 * * [simplify]: iteration 5 : 75 enodes (cost 10 ) 88.444 * * [simplify]: iteration done : 75 enodes (cost 10 ) 88.444 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.445 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.446 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.448 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.449 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.451 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.453 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.456 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.456 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 88.457 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 88.458 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 88.460 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 88.464 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 88.469 * * [simplify]: iteration 5 : 36 enodes (cost 7 ) 88.472 * * [simplify]: iteration done : 36 enodes (cost 7 ) 88.473 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.474 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.475 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.476 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.478 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.480 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.482 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.484 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.485 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.485 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 88.486 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 88.488 * * [simplify]: iteration done : 17 enodes (cost 6 ) 88.488 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.489 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.490 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.491 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.493 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.495 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.497 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.499 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.499 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 88.500 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 88.501 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 88.505 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 88.510 * * [simplify]: iteration 4 : 43 enodes (cost 5 ) 88.516 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 88.523 * * [simplify]: iteration done : 44 enodes (cost 5 ) 88.524 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.525 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.526 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.527 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.529 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.531 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.533 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.535 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.536 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 88.536 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 88.537 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 88.538 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 88.540 * * [simplify]: iteration 4 : 17 enodes (cost 2 ) 88.542 * * [simplify]: iteration done : 17 enodes (cost 2 ) 88.543 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.543 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.544 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.546 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.547 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.549 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.551 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.553 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.554 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 88.554 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 88.555 * * [simplify]: iteration done : 6 enodes (cost 1 ) 88.555 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 88.556 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 88.557 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 88.559 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 88.561 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 88.562 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 88.564 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 88.566 * * [simplify]: iteration done : 18 enodes (cost 7 ) 88.567 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 88.568 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 88.569 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 88.572 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 88.577 * * [simplify]: iteration 4 : 43 enodes (cost 5 ) 88.586 * * [simplify]: iteration 5 : 44 enodes (cost 5 ) 88.592 * * [simplify]: iteration done : 44 enodes (cost 5 ) 88.592 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.593 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.594 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.595 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.597 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.599 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.601 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.603 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.603 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 88.604 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 88.605 * * [simplify]: iteration 2 : 14 enodes (cost 2 ) 88.606 * * [simplify]: iteration 3 : 16 enodes (cost 2 ) 88.608 * * [simplify]: iteration 4 : 17 enodes (cost 2 ) 88.610 * * [simplify]: iteration done : 17 enodes (cost 2 ) 88.610 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.611 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 88.612 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 88.614 * * [simplify]: iteration 3 : 14 enodes (cost 8 ) 88.616 * * [simplify]: iteration 4 : 16 enodes (cost 8 ) 88.617 * * [simplify]: iteration 5 : 18 enodes (cost 8 ) 88.619 * * [simplify]: iteration 6 : 19 enodes (cost 8 ) 88.622 * * [simplify]: iteration done : 19 enodes (cost 8 ) 88.622 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 88.623 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 88.623 * * [simplify]: iteration done : 6 enodes (cost 1 ) 88.624 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 88.625 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 88.626 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 88.627 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 88.628 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 88.630 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 88.632 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 88.634 * * [simplify]: iteration done : 18 enodes (cost 7 ) 88.635 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 88.635 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 88.635 * * [simplify]: iteration done : 4 enodes (cost 1 ) 88.636 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 88.637 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 88.638 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 88.639 * * [simplify]: iteration 3 : 13 enodes (cost 7 ) 88.641 * * [simplify]: iteration 4 : 15 enodes (cost 7 ) 88.643 * * [simplify]: iteration 5 : 17 enodes (cost 7 ) 88.647 * * [simplify]: iteration 6 : 18 enodes (cost 7 ) 88.649 * * [simplify]: iteration done : 18 enodes (cost 7 ) 88.650 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 88.650 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 88.651 * * [simplify]: iteration done : 8 enodes (cost 5 ) 88.652 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 88.652 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 88.653 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 88.654 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 88.656 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 88.659 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 88.661 * * [simplify]: iteration done : 30 enodes (cost 3 ) 88.661 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 88.662 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 88.663 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 88.665 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 88.666 * * [simplify]: iteration done : 16 enodes (cost 5 ) 88.667 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 88.668 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 88.669 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 88.670 * * [simplify]: iteration done : 12 enodes (cost 7 ) 88.671 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 88.671 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 88.673 * * [simplify]: iteration done : 11 enodes (cost 15 ) 88.673 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.674 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 88.675 * * [simplify]: iteration done : 8 enodes (cost 8 ) 88.675 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 88.677 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 88.679 * * [simplify]: iteration 2 : 40 enodes (cost 17 ) 88.685 * * [simplify]: iteration 3 : 71 enodes (cost 17 ) 88.697 * * [simplify]: iteration 4 : 97 enodes (cost 17 ) 88.719 * * [simplify]: iteration 5 : 131 enodes (cost 17 ) 88.745 * * [simplify]: iteration 6 : 157 enodes (cost 17 ) 88.776 * * [simplify]: iteration 7 : 167 enodes (cost 17 ) 88.805 * * [simplify]: iteration done : 167 enodes (cost 17 ) 88.806 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 88.807 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 88.808 * * [simplify]: iteration 2 : 22 enodes (cost 14 ) 88.811 * * [simplify]: iteration 3 : 35 enodes (cost 14 ) 88.817 * * [simplify]: iteration 4 : 43 enodes (cost 14 ) 88.823 * * [simplify]: iteration 5 : 49 enodes (cost 14 ) 88.829 * * [simplify]: iteration 6 : 52 enodes (cost 14 ) 88.835 * * [simplify]: iteration done : 52 enodes (cost 14 ) 88.836 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 88.837 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 88.839 * * [simplify]: iteration 2 : 28 enodes (cost 11 ) 88.844 * * [simplify]: iteration 3 : 55 enodes (cost 11 ) 88.850 * * [simplify]: iteration 4 : 63 enodes (cost 11 ) 88.855 * * [simplify]: iteration 5 : 72 enodes (cost 11 ) 88.863 * * [simplify]: iteration 6 : 87 enodes (cost 11 ) 88.877 * * [simplify]: iteration 7 : 90 enodes (cost 11 ) 88.886 * * [simplify]: iteration done : 90 enodes (cost 11 ) 88.887 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 88.888 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 88.889 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 88.892 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 88.895 * * [simplify]: iteration 4 : 33 enodes (cost 12 ) 88.900 * * [simplify]: iteration 5 : 42 enodes (cost 12 ) 88.906 * * [simplify]: iteration 6 : 48 enodes (cost 12 ) 88.912 * * [simplify]: iteration 7 : 53 enodes (cost 12 ) 88.919 * * [simplify]: iteration 8 : 54 enodes (cost 12 ) 88.929 * * [simplify]: iteration done : 54 enodes (cost 12 ) 88.929 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 88.930 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 88.931 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 88.933 * * [simplify]: iteration 3 : 15 enodes (cost 9 ) 88.934 * * [simplify]: iteration 4 : 17 enodes (cost 9 ) 88.936 * * [simplify]: iteration 5 : 19 enodes (cost 9 ) 88.938 * * [simplify]: iteration 6 : 20 enodes (cost 9 ) 88.940 * * [simplify]: iteration done : 20 enodes (cost 9 ) 88.941 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 88.942 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 88.943 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 88.945 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 88.946 * * [simplify]: iteration done : 23 enodes (cost 6 ) 88.947 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 88.948 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 88.949 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 88.952 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 88.956 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 88.965 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 88.975 * * [simplify]: iteration 6 : 92 enodes (cost 7 ) 88.987 * * [simplify]: iteration done : 92 enodes (cost 7 ) 88.988 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.988 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 88.990 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 88.991 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 88.992 * * [simplify]: iteration 4 : 26 enodes (cost 4 ) 88.995 * * [simplify]: iteration 5 : 31 enodes (cost 4 ) 88.997 * * [simplify]: iteration done : 31 enodes (cost 4 ) 88.998 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 88.999 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 89.000 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 89.000 * * [simplify]: iteration done : 13 enodes (cost 1 ) 89.000 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 89.001 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 89.003 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 89.006 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 89.009 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 89.019 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 89.029 * * [simplify]: iteration 6 : 92 enodes (cost 7 ) 89.037 * * [simplify]: iteration done : 92 enodes (cost 7 ) 89.038 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.039 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 89.040 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 89.041 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 89.045 * * [simplify]: iteration 4 : 26 enodes (cost 4 ) 89.049 * * [simplify]: iteration 5 : 31 enodes (cost 4 ) 89.051 * * [simplify]: iteration done : 31 enodes (cost 4 ) 89.052 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 89.053 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 89.054 * * [simplify]: iteration 2 : 13 enodes (cost 1 ) 89.054 * * [simplify]: iteration done : 13 enodes (cost 1 ) 89.055 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.055 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 89.055 * * [simplify]: iteration done : 5 enodes (cost 1 ) 89.056 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 89.056 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 89.057 * * [simplify]: iteration done : 5 enodes (cost 5 ) 89.057 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 89.058 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 89.059 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 89.061 * * [simplify]: iteration done : 13 enodes (cost 8 ) 89.061 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 89.062 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 89.063 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 89.064 * * [simplify]: iteration done : 13 enodes (cost 8 ) 89.065 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 89.066 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 89.067 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 89.068 * * [simplify]: iteration done : 12 enodes (cost 7 ) 89.069 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 89.069 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 89.070 * * [simplify]: iteration done : 5 enodes (cost 5 ) 89.070 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.071 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 89.072 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 89.073 * * [simplify]: iteration done : 11 enodes (cost 7 ) 89.074 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.074 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 89.075 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.076 * * [simplify]: iteration 3 : 13 enodes (cost 6 ) 89.077 * * [simplify]: iteration done : 13 enodes (cost 6 ) 89.078 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.079 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 89.079 * * [simplify]: iteration done : 7 enodes (cost 6 ) 89.080 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 89.081 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 89.087 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 89.112 * * [simplify]: iteration 3 : 236 enodes (cost 7 ) 89.190 * * [simplify]: iteration 4 : 620 enodes (cost 7 ) 89.528 * * [simplify]: iteration 5 : 1689 enodes (cost 7 ) 91.020 * * [simplify]: iteration 6 : 4465 enodes (cost 7 ) 92.067 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 92.068 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 92.068 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 92.069 * * [simplify]: iteration done : 8 enodes (cost 13 ) 92.070 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.070 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 92.071 * * [simplify]: iteration done : 7 enodes (cost 6 ) 92.072 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 92.078 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 92.081 * * [simplify]: iteration 2 : 47 enodes (cost 7 ) 92.099 * * [simplify]: iteration 3 : 119 enodes (cost 7 ) 92.127 * * [simplify]: iteration 4 : 298 enodes (cost 7 ) 92.426 * * [simplify]: iteration 5 : 589 enodes (cost 7 ) 92.684 * * [simplify]: iteration 6 : 1238 enodes (cost 7 ) 93.548 * * [simplify]: iteration 7 : 3090 enodes (cost 7 ) 94.783 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 94.784 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.790 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.790 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.791 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.792 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.792 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.793 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 94.793 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 94.794 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 94.795 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 94.796 * * [simplify]: iteration done : 11 enodes (cost 4 ) 94.797 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 94.797 * * [simplify]: iteration done : 2 enodes (cost 2 ) 94.798 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 94.799 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 94.801 * * [simplify]: iteration 2 : 25 enodes (cost 15 ) 94.805 * * [simplify]: iteration 3 : 31 enodes (cost 15 ) 94.809 * * [simplify]: iteration done : 31 enodes (cost 15 ) 94.809 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 94.810 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 94.811 * * [simplify]: iteration done : 8 enodes (cost 7 ) 94.811 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 94.812 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 94.813 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 94.815 * * [simplify]: iteration 3 : 14 enodes (cost 12 ) 94.816 * * [simplify]: iteration done : 14 enodes (cost 12 ) 94.817 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 94.817 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 94.818 * * [simplify]: iteration done : 8 enodes (cost 7 ) 94.819 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 94.819 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 94.821 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 94.823 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 94.824 * * [simplify]: iteration done : 23 enodes (cost 9 ) 94.825 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.825 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.826 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.827 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 94.828 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 94.829 * * [simplify]: iteration done : 11 enodes (cost 10 ) 94.829 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 94.830 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 94.831 * * [simplify]: iteration done : 8 enodes (cost 7 ) 94.831 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 94.832 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 94.832 * * [simplify]: iteration done : 8 enodes (cost 7 ) 94.833 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 94.834 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 94.834 * * [simplify]: iteration done : 8 enodes (cost 7 ) 94.835 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.836 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 94.836 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 94.837 * * [simplify]: iteration done : 11 enodes (cost 4 ) 94.838 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.839 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.839 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.840 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 94.840 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 94.841 * * [simplify]: iteration done : 9 enodes (cost 7 ) 94.842 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.842 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.843 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.844 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 94.844 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 94.845 * * [simplify]: iteration done : 6 enodes (cost 4 ) 94.845 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.846 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.846 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.847 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 94.847 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 94.847 * * [simplify]: iteration done : 4 enodes (cost 1 ) 94.848 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 94.849 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 94.854 * * [simplify]: iteration done : 6 enodes (cost 5 ) 94.855 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 94.855 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 94.856 * * [simplify]: iteration done : 9 enodes (cost 7 ) 94.857 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.857 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.858 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.858 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 94.859 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 94.859 * * [simplify]: iteration done : 6 enodes (cost 4 ) 94.860 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.861 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.861 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.862 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 94.862 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 94.863 * * [simplify]: iteration done : 4 enodes (cost 1 ) 94.863 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 94.864 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 94.864 * * [simplify]: iteration done : 6 enodes (cost 5 ) 94.865 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 94.865 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 94.866 * * [simplify]: iteration done : 5 enodes (cost 3 ) 94.866 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 94.867 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 94.867 * * [simplify]: iteration done : 6 enodes (cost 5 ) 94.868 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 94.869 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 94.870 * * [simplify]: iteration done : 10 enodes (cost 9 ) 94.870 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.871 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.872 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.872 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 94.873 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 94.874 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 94.874 * * [simplify]: iteration done : 10 enodes (cost 3 ) 94.875 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.875 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.876 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.877 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 94.877 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 94.878 * * [simplify]: iteration done : 7 enodes (cost 6 ) 94.878 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 94.879 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 94.880 * * [simplify]: iteration done : 6 enodes (cost 5 ) 94.880 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 94.881 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 94.881 * * [simplify]: iteration done : 6 enodes (cost 5 ) 94.882 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 94.883 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 94.887 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 94.897 * * [simplify]: iteration 3 : 102 enodes (cost 11 ) 94.923 * * [simplify]: iteration 4 : 155 enodes (cost 11 ) 94.955 * * [simplify]: iteration 5 : 207 enodes (cost 11 ) 95.011 * * [simplify]: iteration 6 : 262 enodes (cost 11 ) 95.071 * * [simplify]: iteration 7 : 326 enodes (cost 11 ) 95.166 * * [simplify]: iteration 8 : 461 enodes (cost 11 ) 95.345 * * [simplify]: iteration 9 : 708 enodes (cost 11 ) 95.548 * * [simplify]: iteration 10 : 784 enodes (cost 11 ) 95.721 * * [simplify]: iteration 11 : 785 enodes (cost 11 ) 95.889 * * [simplify]: iteration done : 785 enodes (cost 11 ) 95.890 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 95.890 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 95.891 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 95.894 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 95.896 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 95.899 * * [simplify]: iteration done : 24 enodes (cost 5 ) 95.900 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 95.900 * * [simplify]: iteration done : 1 enodes (cost 1 ) 95.900 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 95.900 * * [simplify]: iteration done : 1 enodes (cost 1 ) 95.901 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 95.901 * * [simplify]: iteration done : 1 enodes (cost 1 ) 95.902 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 95.903 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 95.904 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 95.906 * * [simplify]: iteration done : 13 enodes (cost 5 ) 95.907 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 95.907 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 95.909 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 95.911 * * [simplify]: iteration done : 13 enodes (cost 5 ) 95.911 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 95.912 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 95.914 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 95.915 * * [simplify]: iteration done : 13 enodes (cost 5 ) 95.917 * [simplify]: Simplified to: (- (log x) (- (log (+ x y)) (log 100.0))) (- (log x) (log (/ (+ x y) 100.0))) (log (/ x (/ (+ x y) 100.0))) (exp (/ x (/ (+ x y) 100.0))) (pow (/ x (/ (+ x y) 100.0)) 3) (pow (/ x (/ (+ x y) 100.0)) 3) (* (cbrt (/ x (/ (+ x y) 100.0))) (cbrt (/ x (/ (+ x y) 100.0)))) (cbrt (/ x (/ (+ x y) 100.0))) (pow (/ x (/ (+ x y) 100.0)) 3) (sqrt (/ x (/ (+ x y) 100.0))) (sqrt (/ x (/ (+ x y) 100.0))) (neg x) (neg (/ (+ x y) 100.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ (cbrt x) (cbrt (/ (+ x y) 100.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ (+ x y) 100.0))) (/ (cbrt x) (sqrt (/ (+ x y) 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)))) (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0))) (/ (cbrt x) (/ (cbrt (+ x y)) (sqrt 100.0))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt x) (/ (cbrt (+ x y)) 100.0)) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0)))) (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt 100.0))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (cbrt x) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) (/ (cbrt x) (/ (sqrt (+ x y)) 100.0)) (* (* (cbrt x) (cbrt x)) (* (cbrt 100.0) (cbrt 100.0))) (/ (cbrt x) (/ (+ x y) (cbrt 100.0))) (* (sqrt 100.0) (* (cbrt x) (cbrt x))) (/ (cbrt x) (/ (+ x y) (sqrt 100.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ (+ x y) 100.0)) (* (* (cbrt x) (cbrt x)) (* (cbrt 100.0) (cbrt 100.0))) (/ (cbrt x) (/ (+ x y) (cbrt 100.0))) (* (sqrt 100.0) (* (cbrt x) (cbrt x))) (/ (cbrt x) (/ (+ x y) (sqrt 100.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ (+ x y) 100.0)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ (+ x y) 100.0)) (/ (* (cbrt x) (cbrt x)) (+ x y)) (* 100.0 (cbrt x)) (/ (sqrt x) (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ (sqrt x) (cbrt (/ (+ x y) 100.0))) (/ (sqrt x) (sqrt (/ (+ x y) 100.0))) (/ (sqrt x) (sqrt (/ (+ x y) 100.0))) (/ (sqrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)))) (/ (sqrt x) (/ (cbrt (+ x y)) (cbrt 100.0))) (/ (sqrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0))) (/ (sqrt x) (/ (cbrt (+ x y)) (sqrt 100.0))) (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt x) (/ (cbrt (+ x y)) 100.0)) (/ (sqrt x) (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0)))) (/ (sqrt x) (/ (sqrt (+ x y)) (cbrt 100.0))) (/ (sqrt x) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (sqrt x) (/ (sqrt (+ x y)) (sqrt 100.0))) (/ (sqrt x) (sqrt (+ x y))) (/ (sqrt x) (/ (sqrt (+ x y)) 100.0)) (* (* (cbrt 100.0) (cbrt 100.0)) (sqrt x)) (/ (sqrt x) (/ (+ x y) (cbrt 100.0))) (* (sqrt x) (sqrt 100.0)) (/ (sqrt x) (/ (+ x y) (sqrt 100.0))) (sqrt x) (/ (sqrt x) (/ (+ x y) 100.0)) (* (* (cbrt 100.0) (cbrt 100.0)) (sqrt x)) (/ (sqrt x) (/ (+ x y) (cbrt 100.0))) (* (sqrt x) (sqrt 100.0)) (/ (sqrt x) (/ (+ x y) (sqrt 100.0))) (sqrt x) (/ (sqrt x) (/ (+ x y) 100.0)) (sqrt x) (/ (sqrt x) (/ (+ x y) 100.0)) (/ (sqrt x) (+ x y)) (* 100.0 (sqrt x)) (/ 1 (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ x (cbrt (/ (+ x y) 100.0))) (/ 1 (sqrt (/ (+ x y) 100.0))) (/ x (sqrt (/ (+ x y) 100.0))) (/ (/ (* (cbrt 100.0) (cbrt 100.0)) (cbrt (+ x y))) (cbrt (+ x y))) (/ x (/ (cbrt (+ x y)) (cbrt 100.0))) (/ (sqrt 100.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (/ (cbrt (+ x y)) (sqrt 100.0))) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (/ (cbrt (+ x y)) 100.0)) (/ (* (cbrt 100.0) (cbrt 100.0)) (sqrt (+ x y))) (/ x (/ (sqrt (+ x y)) (cbrt 100.0))) (/ (sqrt 100.0) (sqrt (+ x y))) (/ x (/ (sqrt (+ x y)) (sqrt 100.0))) (/ 1 (sqrt (+ x y))) (/ x (/ (sqrt (+ x y)) 100.0)) (* (cbrt 100.0) (cbrt 100.0)) (/ x (/ (+ x y) (cbrt 100.0))) (sqrt 100.0) (/ x (/ (+ x y) (sqrt 100.0))) 1 (/ x (/ (+ x y) 100.0)) (* (cbrt 100.0) (cbrt 100.0)) (/ x (/ (+ x y) (cbrt 100.0))) (sqrt 100.0) (/ x (/ (+ x y) (sqrt 100.0))) 1 (/ x (/ (+ x y) 100.0)) 1 (/ x (/ (+ x y) 100.0)) (/ 1 (+ x y)) (* x 100.0) (/ 100.0 (+ x y)) (/ (/ (+ x y) 100.0) x) (/ x (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0)))) (/ x (sqrt (/ (+ x y) 100.0))) (/ x (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0))) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0)))) (/ x (/ (sqrt (+ x y)) (sqrt 100.0))) (/ x (sqrt (+ x y))) (* x (* (cbrt 100.0) (cbrt 100.0))) (* x (sqrt 100.0)) x (* x (* (cbrt 100.0) (cbrt 100.0))) (* x (sqrt 100.0)) x x (/ x (+ x y)) (/ (/ (+ x y) 100.0) (cbrt x)) (/ (/ (+ x y) 100.0) (sqrt x)) (/ (/ (+ x y) 100.0) x) (/ x (+ x y)) (- (log (+ x y)) (log 100.0)) (log (/ (+ x y) 100.0)) (exp (/ (+ x y) 100.0)) (pow (/ (+ x y) 100.0) 3) (* (cbrt (/ (+ x y) 100.0)) (cbrt (/ (+ x y) 100.0))) (cbrt (/ (+ x y) 100.0)) (pow (/ (+ x y) 100.0) 3) (sqrt (/ (+ x y) 100.0)) (sqrt (/ (+ x y) 100.0)) (neg (+ x y)) (neg 100.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 100.0) (cbrt 100.0))) (/ (cbrt (+ x y)) (cbrt 100.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 100.0)) (/ (cbrt (+ x y)) (sqrt 100.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 100.0) (/ (sqrt (+ x y)) (* (cbrt 100.0) (cbrt 100.0))) (/ (sqrt (+ x y)) (cbrt 100.0)) (/ (sqrt (+ x y)) (sqrt 100.0)) (/ (sqrt (+ x y)) (sqrt 100.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) 100.0) (/ 1 (* (cbrt 100.0) (cbrt 100.0))) (/ (+ x y) (cbrt 100.0)) (/ 1 (sqrt 100.0)) (/ (+ x y) (sqrt 100.0)) 1 (/ (+ x y) 100.0) (/ 1 (* (cbrt 100.0) (cbrt 100.0))) (/ (+ x y) (cbrt 100.0)) (/ 1 (sqrt 100.0)) (/ (+ x y) (sqrt 100.0)) 1 (/ (+ x y) 100.0) (/ 1 100.0) (/ 100.0 (+ x y)) (/ (+ x y) (* (cbrt 100.0) (cbrt 100.0))) (/ (+ x y) (sqrt 100.0)) (+ x y) (/ 100.0 (cbrt (+ x y))) (/ 100.0 (sqrt (+ x y))) (/ 100.0 (+ x y)) (/ 100.0 (+ x y)) (* (+ (* y (- y x)) (* x x)) 100.0) (* 100.0 (- x y)) 0 0 0 (* 0.01 (+ x y)) (* 0.01 (+ x y)) (* 0.01 (+ x y)) 95.918 * * * [progress]: adding candidates to table 96.048 * * [progress]: iteration 4 / 4 96.048 * * * [progress]: picking best candidate 96.053 * * * * [pick]: Picked # 96.053 * * * [progress]: localizing error 96.060 * * * [progress]: generating rewritten candidates 96.060 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 96.072 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 96.086 * * * [progress]: generating series expansions 96.086 * * * * [progress]: [ 1 / 2 ] generating series at (2) 96.086 * [approximate]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in (x y) around 0 96.086 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in y 96.086 * [taylor]: Taking taylor expansion of 100.0 in y 96.086 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 96.087 * [taylor]: Taking taylor expansion of x in y 96.087 * [taylor]: Taking taylor expansion of (+ x y) in y 96.087 * [taylor]: Taking taylor expansion of x in y 96.087 * [taylor]: Taking taylor expansion of y in y 96.087 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 96.087 * [taylor]: Taking taylor expansion of 100.0 in x 96.087 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 96.087 * [taylor]: Taking taylor expansion of x in x 96.087 * [taylor]: Taking taylor expansion of (+ x y) in x 96.087 * [taylor]: Taking taylor expansion of x in x 96.087 * [taylor]: Taking taylor expansion of y in x 96.087 * [taylor]: Taking taylor expansion of (* 100.0 (/ x (+ x y))) in x 96.087 * [taylor]: Taking taylor expansion of 100.0 in x 96.087 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 96.087 * [taylor]: Taking taylor expansion of x in x 96.087 * [taylor]: Taking taylor expansion of (+ x y) in x 96.087 * [taylor]: Taking taylor expansion of x in x 96.087 * [taylor]: Taking taylor expansion of y in x 96.087 * [taylor]: Taking taylor expansion of (/ 100.0 y) in y 96.087 * [taylor]: Taking taylor expansion of 100.0 in y 96.087 * [taylor]: Taking taylor expansion of y in y 96.087 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 (pow y 2)))) in y 96.087 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 96.087 * [taylor]: Taking taylor expansion of 100.0 in y 96.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 96.088 * [taylor]: Taking taylor expansion of (pow y 2) in y 96.088 * [taylor]: Taking taylor expansion of y in y 96.088 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 3))) in y 96.088 * [taylor]: Taking taylor expansion of 100.0 in y 96.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 96.088 * [taylor]: Taking taylor expansion of (pow y 3) in y 96.088 * [taylor]: Taking taylor expansion of y in y 96.089 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 96.089 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 96.089 * [taylor]: Taking taylor expansion of 100.0 in y 96.089 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 96.089 * [taylor]: Taking taylor expansion of x in y 96.089 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 96.089 * [taylor]: Taking taylor expansion of (/ 1 x) in y 96.089 * [taylor]: Taking taylor expansion of x in y 96.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.089 * [taylor]: Taking taylor expansion of y in y 96.089 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 96.089 * [taylor]: Taking taylor expansion of 100.0 in x 96.089 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 96.089 * [taylor]: Taking taylor expansion of x in x 96.089 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.089 * [taylor]: Taking taylor expansion of x in x 96.089 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.089 * [taylor]: Taking taylor expansion of y in x 96.090 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 96.090 * [taylor]: Taking taylor expansion of 100.0 in x 96.090 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 96.090 * [taylor]: Taking taylor expansion of x in x 96.090 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.090 * [taylor]: Taking taylor expansion of x in x 96.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.090 * [taylor]: Taking taylor expansion of y in x 96.090 * [taylor]: Taking taylor expansion of 100.0 in y 96.090 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 96.090 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 96.090 * [taylor]: Taking taylor expansion of 100.0 in y 96.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.090 * [taylor]: Taking taylor expansion of y in y 96.091 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 96.091 * [taylor]: Taking taylor expansion of 100.0 in y 96.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 96.091 * [taylor]: Taking taylor expansion of (pow y 2) in y 96.091 * [taylor]: Taking taylor expansion of y in y 96.091 * [approximate]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 96.092 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in y 96.092 * [taylor]: Taking taylor expansion of 100.0 in y 96.092 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in y 96.092 * [taylor]: Taking taylor expansion of x in y 96.092 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 96.092 * [taylor]: Taking taylor expansion of (/ 1 x) in y 96.092 * [taylor]: Taking taylor expansion of x in y 96.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.092 * [taylor]: Taking taylor expansion of y in y 96.092 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 96.092 * [taylor]: Taking taylor expansion of 100.0 in x 96.092 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 96.092 * [taylor]: Taking taylor expansion of x in x 96.092 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.092 * [taylor]: Taking taylor expansion of x in x 96.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.092 * [taylor]: Taking taylor expansion of y in x 96.092 * [taylor]: Taking taylor expansion of (/ 100.0 (* x (+ (/ 1 x) (/ 1 y)))) in x 96.092 * [taylor]: Taking taylor expansion of 100.0 in x 96.092 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 y))) in x 96.092 * [taylor]: Taking taylor expansion of x in x 96.092 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.092 * [taylor]: Taking taylor expansion of x in x 96.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.092 * [taylor]: Taking taylor expansion of y in x 96.093 * [taylor]: Taking taylor expansion of 100.0 in y 96.093 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ 1 y))) in y 96.093 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 y)) in y 96.093 * [taylor]: Taking taylor expansion of 100.0 in y 96.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.093 * [taylor]: Taking taylor expansion of y in y 96.093 * [taylor]: Taking taylor expansion of (* 100.0 (/ 1 (pow y 2))) in y 96.093 * [taylor]: Taking taylor expansion of 100.0 in y 96.093 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 96.093 * [taylor]: Taking taylor expansion of (pow y 2) in y 96.093 * [taylor]: Taking taylor expansion of y in y 96.094 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 96.094 * [approximate]: Taking taylor expansion of (/ 1 (+ x y)) in (x y) around 0 96.094 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in y 96.094 * [taylor]: Taking taylor expansion of (+ x y) in y 96.094 * [taylor]: Taking taylor expansion of x in y 96.094 * [taylor]: Taking taylor expansion of y in y 96.094 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in x 96.094 * [taylor]: Taking taylor expansion of (+ x y) in x 96.094 * [taylor]: Taking taylor expansion of x in x 96.094 * [taylor]: Taking taylor expansion of y in x 96.094 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in x 96.094 * [taylor]: Taking taylor expansion of (+ x y) in x 96.094 * [taylor]: Taking taylor expansion of x in x 96.094 * [taylor]: Taking taylor expansion of y in x 96.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.094 * [taylor]: Taking taylor expansion of y in y 96.095 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 2))) in y 96.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 96.095 * [taylor]: Taking taylor expansion of (pow y 2) in y 96.095 * [taylor]: Taking taylor expansion of y in y 96.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 96.095 * [taylor]: Taking taylor expansion of (pow y 3) in y 96.095 * [taylor]: Taking taylor expansion of y in y 96.096 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 x) (/ 1 y))) in (x y) around 0 96.096 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 x) (/ 1 y))) in y 96.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 96.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y 96.096 * [taylor]: Taking taylor expansion of x in y 96.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.096 * [taylor]: Taking taylor expansion of y in y 96.096 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 x) (/ 1 y))) in x 96.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.096 * [taylor]: Taking taylor expansion of x in x 96.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.096 * [taylor]: Taking taylor expansion of y in x 96.096 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 x) (/ 1 y))) in x 96.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.096 * [taylor]: Taking taylor expansion of x in x 96.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.096 * [taylor]: Taking taylor expansion of y in x 96.096 * [taylor]: Taking taylor expansion of 1 in y 96.096 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 96.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.097 * [taylor]: Taking taylor expansion of y in y 96.097 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 96.097 * [taylor]: Taking taylor expansion of (pow y 2) in y 96.097 * [taylor]: Taking taylor expansion of y in y 96.097 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 x) (/ 1 y))) in (x y) around 0 96.097 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 x) (/ 1 y))) in y 96.097 * [taylor]: Taking taylor expansion of -1 in y 96.097 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 96.097 * [taylor]: Taking taylor expansion of (/ 1 x) in y 96.097 * [taylor]: Taking taylor expansion of x in y 96.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.097 * [taylor]: Taking taylor expansion of y in y 96.098 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 x) (/ 1 y))) in x 96.098 * [taylor]: Taking taylor expansion of -1 in x 96.098 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.098 * [taylor]: Taking taylor expansion of x in x 96.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.098 * [taylor]: Taking taylor expansion of y in x 96.098 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 x) (/ 1 y))) in x 96.098 * [taylor]: Taking taylor expansion of -1 in x 96.098 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 96.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.098 * [taylor]: Taking taylor expansion of x in x 96.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.098 * [taylor]: Taking taylor expansion of y in x 96.098 * [taylor]: Taking taylor expansion of -1 in y 96.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.098 * [taylor]: Taking taylor expansion of y in y 96.098 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 2))) in y 96.098 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 96.098 * [taylor]: Taking taylor expansion of (pow y 2) in y 96.099 * [taylor]: Taking taylor expansion of y in y 96.099 * * * [progress]: simplifying candidates 96.100 * [simplify]: Simplifying using # : (* (* x 100.0) (/ 1 (+ x y))) (* (* x 100.0) (/ 1 (+ x y))) (+ (+ (log x) (log 100.0)) (neg (log (+ x y)))) (+ (+ (log x) (log 100.0)) (- 0 (log (+ x y)))) (+ (+ (log x) (log 100.0)) (- (log 1) (log (+ x y)))) (+ (+ (log x) (log 100.0)) (log (/ 1 (+ x y)))) (+ (log (* x 100.0)) (neg (log (+ x y)))) (+ (log (* x 100.0)) (- 0 (log (+ x y)))) (+ (log (* x 100.0)) (- (log 1) (log (+ x y)))) (+ (log (* x 100.0)) (log (/ 1 (+ x y)))) (log (* (* x 100.0) (/ 1 (+ x y)))) (exp (* (* x 100.0) (/ 1 (+ x y)))) (* (* (* (* x x) x) (* (* 100.0 100.0) 100.0)) (/ (* (* 1 1) 1) (* (* (+ x y) (+ x y)) (+ x y)))) (* (* (* (* x x) x) (* (* 100.0 100.0) 100.0)) (* (* (/ 1 (+ x y)) (/ 1 (+ x y))) (/ 1 (+ x y)))) (* (* (* (* x 100.0) (* x 100.0)) (* x 100.0)) (/ (* (* 1 1) 1) (* (* (+ x y) (+ x y)) (+ x y)))) (* (* (* (* x 100.0) (* x 100.0)) (* x 100.0)) (* (* (/ 1 (+ x y)) (/ 1 (+ x y))) (/ 1 (+ x y)))) (* (cbrt (* (* x 100.0) (/ 1 (+ x y)))) (cbrt (* (* x 100.0) (/ 1 (+ x y))))) (cbrt (* (* x 100.0) (/ 1 (+ x y)))) (* (* (* (* x 100.0) (/ 1 (+ x y))) (* (* x 100.0) (/ 1 (+ x y)))) (* (* x 100.0) (/ 1 (+ x y)))) (sqrt (* (* x 100.0) (/ 1 (+ x y)))) (sqrt (* (* x 100.0) (/ 1 (+ x y)))) (* (* x 100.0) (* (cbrt (/ 1 (+ x y))) (cbrt (/ 1 (+ x y))))) (* (* x 100.0) (sqrt (/ 1 (+ x y)))) (* (* x 100.0) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (* (* x 100.0) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ x y)))) (* (* x 100.0) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* x 100.0) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* x 100.0) (/ (sqrt 1) (* (cbrt (+ x y)) (cbrt (+ x y))))) (* (* x 100.0) (/ (sqrt 1) (sqrt (+ x y)))) (* (* x 100.0) (/ (sqrt 1) 1)) (* (* x 100.0) (/ (sqrt 1) 1)) (* (* x 100.0) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (* (* x 100.0) (/ 1 (sqrt (+ x y)))) (* (* x 100.0) (/ 1 1)) (* (* x 100.0) (/ 1 1)) (* (* x 100.0) 1) (* (* x 100.0) 1) (* (* x 100.0) (/ 1 (+ (pow x 3) (pow y 3)))) (* (* x 100.0) (/ 1 (- (* x x) (* y y)))) (* 100.0 (/ 1 (+ x y))) (* (* x 100.0) 1) (neg 1) (neg (log (+ x y))) (- 0 (log (+ x y))) (- (log 1) (log (+ x y))) (log (/ 1 (+ x y))) (exp (/ 1 (+ x y))) (/ (* (* 1 1) 1) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (/ 1 (+ x y))) (cbrt (/ 1 (+ x y)))) (cbrt (/ 1 (+ x y))) (* (* (/ 1 (+ x y)) (/ 1 (+ x y))) (/ 1 (+ x y))) (sqrt (/ 1 (+ x y))) (sqrt (/ 1 (+ x y))) (neg 1) (neg (+ x y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt 1) (cbrt (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ x y))) (/ (cbrt 1) (sqrt (+ x y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ x y)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ x y)) (/ (sqrt 1) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 1) (cbrt (+ x y))) (/ (sqrt 1) (sqrt (+ x y))) (/ (sqrt 1) (sqrt (+ x y))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ x y)) (/ (sqrt 1) 1) (/ (sqrt 1) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 1 1) (/ 1 (+ x y)) (/ 1 1) (/ 1 (+ x y)) (/ 1 (+ x y)) (/ (+ x y) 1) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (sqrt (+ x y))) (/ 1 1) (/ 1 1) (/ (+ x y) (cbrt 1)) (/ (+ x y) (sqrt 1)) (/ (+ x y) 1) (/ 1 (+ (pow x 3) (pow y 3))) (/ 1 (- (* x x) (* y y))) 0 0 0 0 0 0 96.101 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 96.102 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 96.104 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 96.112 * * [simplify]: iteration 3 : 80 enodes (cost 7 ) 96.123 * * [simplify]: iteration 4 : 91 enodes (cost 7 ) 96.134 * * [simplify]: iteration 5 : 97 enodes (cost 7 ) 96.149 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 96.158 * * [simplify]: iteration done : 99 enodes (cost 7 ) 96.159 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 96.160 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 96.162 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 96.171 * * [simplify]: iteration 3 : 80 enodes (cost 7 ) 96.182 * * [simplify]: iteration 4 : 91 enodes (cost 7 ) 96.192 * * [simplify]: iteration 5 : 97 enodes (cost 7 ) 96.206 * * [simplify]: iteration 6 : 99 enodes (cost 7 ) 96.216 * * [simplify]: iteration done : 99 enodes (cost 7 ) 96.217 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 96.218 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 96.220 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 96.223 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 96.226 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 96.230 * * [simplify]: iteration 5 : 45 enodes (cost 10 ) 96.236 * * [simplify]: iteration 6 : 58 enodes (cost 10 ) 96.245 * * [simplify]: iteration 7 : 76 enodes (cost 10 ) 96.254 * * [simplify]: iteration 8 : 92 enodes (cost 10 ) 96.267 * * [simplify]: iteration 9 : 99 enodes (cost 10 ) 96.282 * * [simplify]: iteration 10 : 116 enodes (cost 10 ) 96.295 * * [simplify]: iteration 11 : 118 enodes (cost 10 ) 96.308 * * [simplify]: iteration done : 118 enodes (cost 10 ) 96.308 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 96.310 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 96.313 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 96.326 * * [simplify]: iteration 3 : 89 enodes (cost 10 ) 96.344 * * [simplify]: iteration 4 : 127 enodes (cost 10 ) 96.382 * * [simplify]: iteration 5 : 212 enodes (cost 10 ) 96.491 * * [simplify]: iteration 6 : 362 enodes (cost 10 ) 96.550 * * [simplify]: iteration 7 : 394 enodes (cost 10 ) 96.632 * * [simplify]: iteration 8 : 435 enodes (cost 10 ) 96.692 * * [simplify]: iteration done : 435 enodes (cost 10 ) 96.693 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 96.694 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 96.697 * * [simplify]: iteration 2 : 42 enodes (cost 10 ) 96.708 * * [simplify]: iteration 3 : 96 enodes (cost 10 ) 96.729 * * [simplify]: iteration 4 : 136 enodes (cost 10 ) 96.765 * * [simplify]: iteration 5 : 223 enodes (cost 10 ) 96.878 * * [simplify]: iteration 6 : 376 enodes (cost 10 ) 96.942 * * [simplify]: iteration 7 : 410 enodes (cost 10 ) 97.025 * * [simplify]: iteration 8 : 459 enodes (cost 10 ) 97.085 * * [simplify]: iteration done : 459 enodes (cost 10 ) 97.086 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 97.087 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 97.089 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 97.096 * * [simplify]: iteration 3 : 67 enodes (cost 10 ) 97.115 * * [simplify]: iteration 4 : 116 enodes (cost 10 ) 97.143 * * [simplify]: iteration 5 : 198 enodes (cost 10 ) 97.250 * * [simplify]: iteration 6 : 360 enodes (cost 10 ) 97.320 * * [simplify]: iteration 7 : 390 enodes (cost 10 ) 97.395 * * [simplify]: iteration 8 : 421 enodes (cost 10 ) 97.454 * * [simplify]: iteration done : 421 enodes (cost 10 ) 97.454 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 97.455 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 97.457 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 97.460 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 97.463 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 97.467 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 97.472 * * [simplify]: iteration 6 : 48 enodes (cost 9 ) 97.478 * * [simplify]: iteration 7 : 61 enodes (cost 9 ) 97.487 * * [simplify]: iteration 8 : 79 enodes (cost 9 ) 97.496 * * [simplify]: iteration 9 : 95 enodes (cost 9 ) 97.509 * * [simplify]: iteration 10 : 102 enodes (cost 9 ) 97.524 * * [simplify]: iteration 11 : 119 enodes (cost 9 ) 97.537 * * [simplify]: iteration 12 : 121 enodes (cost 9 ) 97.551 * * [simplify]: iteration done : 121 enodes (cost 9 ) 97.551 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 97.552 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 97.555 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 97.565 * * [simplify]: iteration 3 : 77 enodes (cost 9 ) 97.586 * * [simplify]: iteration 4 : 146 enodes (cost 9 ) 97.626 * * [simplify]: iteration 5 : 237 enodes (cost 9 ) 97.726 * * [simplify]: iteration 6 : 379 enodes (cost 9 ) 97.792 * * [simplify]: iteration 7 : 415 enodes (cost 9 ) 97.876 * * [simplify]: iteration 8 : 469 enodes (cost 9 ) 97.936 * * [simplify]: iteration done : 469 enodes (cost 9 ) 97.937 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 97.938 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 97.941 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 97.949 * * [simplify]: iteration 3 : 85 enodes (cost 9 ) 97.972 * * [simplify]: iteration 4 : 152 enodes (cost 9 ) 98.012 * * [simplify]: iteration 5 : 241 enodes (cost 9 ) 98.109 * * [simplify]: iteration 6 : 380 enodes (cost 9 ) 98.169 * * [simplify]: iteration 7 : 412 enodes (cost 9 ) 98.255 * * [simplify]: iteration 8 : 454 enodes (cost 9 ) 98.314 * * [simplify]: iteration done : 454 enodes (cost 9 ) 98.315 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 98.316 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 98.318 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 98.324 * * [simplify]: iteration 3 : 63 enodes (cost 9 ) 98.338 * * [simplify]: iteration 4 : 121 enodes (cost 9 ) 98.368 * * [simplify]: iteration 5 : 199 enodes (cost 9 ) 98.465 * * [simplify]: iteration 6 : 350 enodes (cost 9 ) 98.548 * * [simplify]: iteration 7 : 389 enodes (cost 9 ) 98.628 * * [simplify]: iteration 8 : 432 enodes (cost 9 ) 98.689 * * [simplify]: iteration done : 432 enodes (cost 9 ) 98.689 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 98.691 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 98.694 * * [simplify]: iteration 2 : 47 enodes (cost 8 ) 98.704 * * [simplify]: iteration 3 : 118 enodes (cost 8 ) 98.722 * * [simplify]: iteration 4 : 171 enodes (cost 8 ) 98.765 * * [simplify]: iteration 5 : 257 enodes (cost 8 ) 98.822 * * [simplify]: iteration 6 : 357 enodes (cost 8 ) 98.938 * * [simplify]: iteration 7 : 501 enodes (cost 8 ) 99.014 * * [simplify]: iteration 8 : 528 enodes (cost 8 ) 99.097 * * [simplify]: iteration 9 : 546 enodes (cost 8 ) 99.169 * * [simplify]: iteration done : 546 enodes (cost 8 ) 99.170 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 99.172 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 99.174 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 99.186 * * [simplify]: iteration 3 : 121 enodes (cost 8 ) 99.212 * * [simplify]: iteration 4 : 217 enodes (cost 8 ) 99.274 * * [simplify]: iteration 5 : 428 enodes (cost 8 ) 99.532 * * [simplify]: iteration 6 : 1036 enodes (cost 8 ) 101.388 * * [simplify]: iteration 7 : 3606 enodes (cost 8 ) 102.634 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 102.635 * * [simplify]: iteration 0 : 16 enodes (cost 29 ) 102.638 * * [simplify]: iteration 1 : 51 enodes (cost 25 ) 102.654 * * [simplify]: iteration 2 : 166 enodes (cost 13 ) 102.771 * * [simplify]: iteration 3 : 766 enodes (cost 13 ) 104.786 * * [simplify]: iteration 4 : 3584 enodes (cost 11 ) 106.358 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 106.359 * * [simplify]: iteration 0 : 14 enodes (cost 29 ) 106.365 * * [simplify]: iteration 1 : 36 enodes (cost 29 ) 106.373 * * [simplify]: iteration 2 : 125 enodes (cost 15 ) 106.436 * * [simplify]: iteration 3 : 479 enodes (cost 15 ) 107.337 * * [simplify]: iteration 4 : 2044 enodes (cost 11 ) 110.864 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 110.865 * * [simplify]: iteration 0 : 14 enodes (cost 29 ) 110.868 * * [simplify]: iteration 1 : 53 enodes (cost 25 ) 110.879 * * [simplify]: iteration 2 : 170 enodes (cost 11 ) 111.007 * * [simplify]: iteration 3 : 792 enodes (cost 11 ) 113.480 * * [simplify]: iteration 4 : 3745 enodes (cost 11 ) 115.271 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 115.271 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 115.278 * * [simplify]: iteration 1 : 38 enodes (cost 29 ) 115.287 * * [simplify]: iteration 2 : 129 enodes (cost 13 ) 115.364 * * [simplify]: iteration 3 : 513 enodes (cost 13 ) 116.505 * * [simplify]: iteration 4 : 2204 enodes (cost 9 ) 120.125 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 120.126 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 120.127 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 120.130 * * [simplify]: iteration 2 : 33 enodes (cost 17 ) 120.139 * * [simplify]: iteration 3 : 82 enodes (cost 17 ) 120.149 * * [simplify]: iteration 4 : 91 enodes (cost 17 ) 120.164 * * [simplify]: iteration 5 : 96 enodes (cost 17 ) 120.175 * * [simplify]: iteration 6 : 98 enodes (cost 17 ) 120.186 * * [simplify]: iteration done : 98 enodes (cost 17 ) 120.187 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 120.188 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 120.190 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 120.199 * * [simplify]: iteration 3 : 81 enodes (cost 8 ) 120.209 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 120.223 * * [simplify]: iteration 5 : 96 enodes (cost 8 ) 120.234 * * [simplify]: iteration 6 : 98 enodes (cost 8 ) 120.244 * * [simplify]: iteration done : 98 enodes (cost 8 ) 120.245 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 120.246 * * [simplify]: iteration 1 : 29 enodes (cost 29 ) 120.254 * * [simplify]: iteration 2 : 129 enodes (cost 9 ) 120.429 * * [simplify]: iteration 3 : 714 enodes (cost 9 ) 121.966 * * [simplify]: iteration 4 : 2354 enodes (cost 9 ) 126.131 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 126.132 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 126.133 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 126.136 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 126.146 * * [simplify]: iteration 3 : 81 enodes (cost 8 ) 126.155 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 126.171 * * [simplify]: iteration 5 : 96 enodes (cost 8 ) 126.182 * * [simplify]: iteration 6 : 98 enodes (cost 8 ) 126.192 * * [simplify]: iteration done : 98 enodes (cost 8 ) 126.193 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 126.194 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 126.196 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 126.206 * * [simplify]: iteration 3 : 81 enodes (cost 8 ) 126.216 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 126.230 * * [simplify]: iteration 5 : 96 enodes (cost 8 ) 126.240 * * [simplify]: iteration 6 : 98 enodes (cost 8 ) 126.252 * * [simplify]: iteration done : 98 enodes (cost 8 ) 126.252 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 126.254 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 126.256 * * [simplify]: iteration 2 : 32 enodes (cost 17 ) 126.261 * * [simplify]: iteration 3 : 44 enodes (cost 17 ) 126.268 * * [simplify]: iteration done : 44 enodes (cost 17 ) 126.269 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 126.270 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 126.271 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 126.274 * * [simplify]: iteration done : 22 enodes (cost 10 ) 126.275 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 126.276 * * [simplify]: iteration 1 : 27 enodes (cost 17 ) 126.281 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 126.308 * * [simplify]: iteration 3 : 169 enodes (cost 13 ) 126.359 * * [simplify]: iteration 4 : 241 enodes (cost 13 ) 126.407 * * [simplify]: iteration 5 : 258 enodes (cost 13 ) 126.458 * * [simplify]: iteration 6 : 268 enodes (cost 13 ) 126.504 * * [simplify]: iteration done : 268 enodes (cost 13 ) 126.505 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 126.509 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 126.512 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 126.521 * * [simplify]: iteration 3 : 86 enodes (cost 8 ) 126.540 * * [simplify]: iteration 4 : 120 enodes (cost 8 ) 126.553 * * [simplify]: iteration 5 : 122 enodes (cost 8 ) 126.567 * * [simplify]: iteration 6 : 123 enodes (cost 8 ) 126.577 * * [simplify]: iteration done : 123 enodes (cost 8 ) 126.578 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 126.579 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 126.583 * * [simplify]: iteration 2 : 45 enodes (cost 5 ) 126.592 * * [simplify]: iteration 3 : 74 enodes (cost 3 ) 126.600 * * [simplify]: iteration 4 : 92 enodes (cost 3 ) 126.609 * * [simplify]: iteration 5 : 101 enodes (cost 3 ) 126.615 * * [simplify]: iteration done : 101 enodes (cost 3 ) 126.615 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 126.617 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 126.621 * * [simplify]: iteration 2 : 45 enodes (cost 5 ) 126.634 * * [simplify]: iteration 3 : 74 enodes (cost 3 ) 126.641 * * [simplify]: iteration 4 : 92 enodes (cost 3 ) 126.649 * * [simplify]: iteration 5 : 101 enodes (cost 3 ) 126.657 * * [simplify]: iteration done : 101 enodes (cost 3 ) 126.657 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 126.659 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 126.661 * * [simplify]: iteration 2 : 46 enodes (cost 15 ) 126.672 * * [simplify]: iteration 3 : 98 enodes (cost 13 ) 126.701 * * [simplify]: iteration 4 : 174 enodes (cost 13 ) 126.754 * * [simplify]: iteration 5 : 217 enodes (cost 13 ) 126.804 * * [simplify]: iteration 6 : 238 enodes (cost 13 ) 126.855 * * [simplify]: iteration 7 : 242 enodes (cost 13 ) 126.900 * * [simplify]: iteration done : 242 enodes (cost 13 ) 126.901 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 126.902 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 126.904 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 126.910 * * [simplify]: iteration 3 : 53 enodes (cost 8 ) 126.917 * * [simplify]: iteration 4 : 68 enodes (cost 8 ) 126.926 * * [simplify]: iteration 5 : 75 enodes (cost 8 ) 126.936 * * [simplify]: iteration 6 : 77 enodes (cost 8 ) 126.945 * * [simplify]: iteration done : 77 enodes (cost 8 ) 126.946 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 126.947 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 126.949 * * [simplify]: iteration 2 : 28 enodes (cost 3 ) 126.957 * * [simplify]: iteration 3 : 50 enodes (cost 3 ) 126.964 * * [simplify]: iteration 4 : 76 enodes (cost 3 ) 126.977 * * [simplify]: iteration 5 : 91 enodes (cost 3 ) 126.983 * * [simplify]: iteration 6 : 92 enodes (cost 3 ) 126.989 * * [simplify]: iteration done : 92 enodes (cost 3 ) 126.989 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 126.990 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 126.993 * * [simplify]: iteration 2 : 28 enodes (cost 3 ) 126.997 * * [simplify]: iteration 3 : 50 enodes (cost 3 ) 127.004 * * [simplify]: iteration 4 : 76 enodes (cost 3 ) 127.020 * * [simplify]: iteration 5 : 91 enodes (cost 3 ) 127.026 * * [simplify]: iteration 6 : 92 enodes (cost 3 ) 127.032 * * [simplify]: iteration done : 92 enodes (cost 3 ) 127.033 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 127.034 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 127.037 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 127.053 * * [simplify]: iteration 3 : 141 enodes (cost 13 ) 127.093 * * [simplify]: iteration 4 : 210 enodes (cost 13 ) 127.149 * * [simplify]: iteration 5 : 248 enodes (cost 13 ) 127.202 * * [simplify]: iteration 6 : 266 enodes (cost 13 ) 127.249 * * [simplify]: iteration done : 266 enodes (cost 13 ) 127.250 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 127.251 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 127.253 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 127.262 * * [simplify]: iteration 3 : 81 enodes (cost 8 ) 127.272 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 127.282 * * [simplify]: iteration 5 : 98 enodes (cost 8 ) 127.296 * * [simplify]: iteration 6 : 100 enodes (cost 8 ) 127.306 * * [simplify]: iteration done : 100 enodes (cost 8 ) 127.307 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 127.308 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 127.311 * * [simplify]: iteration 2 : 27 enodes (cost 3 ) 127.315 * * [simplify]: iteration 3 : 51 enodes (cost 3 ) 127.323 * * [simplify]: iteration 4 : 77 enodes (cost 3 ) 127.335 * * [simplify]: iteration 5 : 96 enodes (cost 3 ) 127.341 * * [simplify]: iteration 6 : 97 enodes (cost 3 ) 127.351 * * [simplify]: iteration done : 97 enodes (cost 3 ) 127.352 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 127.353 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 127.355 * * [simplify]: iteration 2 : 27 enodes (cost 3 ) 127.360 * * [simplify]: iteration 3 : 51 enodes (cost 3 ) 127.367 * * [simplify]: iteration 4 : 77 enodes (cost 3 ) 127.380 * * [simplify]: iteration 5 : 96 enodes (cost 3 ) 127.386 * * [simplify]: iteration 6 : 97 enodes (cost 3 ) 127.392 * * [simplify]: iteration done : 97 enodes (cost 3 ) 127.393 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 127.394 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 127.395 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 127.397 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 127.398 * * [simplify]: iteration done : 27 enodes (cost 3 ) 127.399 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 127.399 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 127.401 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 127.403 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 127.404 * * [simplify]: iteration done : 27 enodes (cost 3 ) 127.405 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 127.410 * * [simplify]: iteration 1 : 33 enodes (cost 13 ) 127.415 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 127.428 * * [simplify]: iteration 3 : 122 enodes (cost 11 ) 127.444 * * [simplify]: iteration 4 : 172 enodes (cost 11 ) 127.477 * * [simplify]: iteration 5 : 291 enodes (cost 11 ) 127.586 * * [simplify]: iteration 6 : 714 enodes (cost 11 ) 128.552 * * [simplify]: iteration 7 : 2558 enodes (cost 11 ) 130.622 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 130.623 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 130.625 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 130.628 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 130.645 * * [simplify]: iteration 3 : 167 enodes (cost 11 ) 130.700 * * [simplify]: iteration 4 : 364 enodes (cost 11 ) 130.888 * * [simplify]: iteration 5 : 680 enodes (cost 11 ) 131.219 * * [simplify]: iteration 6 : 1085 enodes (cost 9 ) 131.562 * * [simplify]: iteration 7 : 1749 enodes (cost 9 ) 134.231 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 134.231 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 134.232 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 134.234 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 134.235 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 134.237 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 134.239 * * [simplify]: iteration 5 : 23 enodes (cost 5 ) 134.241 * * [simplify]: iteration done : 23 enodes (cost 5 ) 134.242 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 134.242 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 134.244 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 134.246 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 134.247 * * [simplify]: iteration done : 27 enodes (cost 3 ) 134.248 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 134.248 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 134.248 * * [simplify]: iteration done : 5 enodes (cost 1 ) 134.249 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 134.249 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 134.250 * * [simplify]: iteration done : 6 enodes (cost 5 ) 134.250 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 134.251 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 134.252 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 134.253 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 134.255 * * [simplify]: iteration 4 : 21 enodes (cost 5 ) 134.257 * * [simplify]: iteration 5 : 26 enodes (cost 5 ) 134.259 * * [simplify]: iteration done : 26 enodes (cost 5 ) 134.259 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 134.260 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 134.261 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 134.263 * * [simplify]: iteration 3 : 19 enodes (cost 5 ) 134.269 * * [simplify]: iteration 4 : 25 enodes (cost 5 ) 134.271 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 134.273 * * [simplify]: iteration done : 30 enodes (cost 5 ) 134.273 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 134.274 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 134.275 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 134.276 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 134.278 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 134.280 * * [simplify]: iteration 5 : 26 enodes (cost 5 ) 134.282 * * [simplify]: iteration 6 : 31 enodes (cost 5 ) 134.284 * * [simplify]: iteration done : 31 enodes (cost 5 ) 134.285 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 134.285 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 134.286 * * [simplify]: iteration done : 9 enodes (cost 6 ) 134.287 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 134.289 * * [simplify]: iteration 1 : 32 enodes (cost 13 ) 134.294 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 134.309 * * [simplify]: iteration 3 : 157 enodes (cost 7 ) 134.367 * * [simplify]: iteration 4 : 382 enodes (cost 7 ) 134.605 * * [simplify]: iteration 5 : 985 enodes (cost 7 ) 135.502 * * [simplify]: iteration 6 : 2182 enodes (cost 7 ) 137.690 * * [simplify]: iteration 7 : 3489 enodes (cost 7 ) 140.820 * * [simplify]: iteration done : 5002 enodes (cost 7 ) 140.821 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 140.822 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 140.823 * * [simplify]: iteration done : 10 enodes (cost 13 ) 140.823 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 140.824 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 140.824 * * [simplify]: iteration done : 9 enodes (cost 6 ) 140.825 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 140.826 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 140.829 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 140.836 * * [simplify]: iteration 3 : 70 enodes (cost 7 ) 140.846 * * [simplify]: iteration 4 : 94 enodes (cost 7 ) 140.860 * * [simplify]: iteration 5 : 152 enodes (cost 7 ) 140.892 * * [simplify]: iteration 6 : 280 enodes (cost 7 ) 140.975 * * [simplify]: iteration 7 : 623 enodes (cost 7 ) 141.407 * * [simplify]: iteration 8 : 1646 enodes (cost 7 ) 143.499 * * [simplify]: iteration 9 : 4689 enodes (cost 7 ) 144.952 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 144.952 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.953 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 144.954 * * [simplify]: iteration done : 9 enodes (cost 6 ) 144.954 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.955 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 144.956 * * [simplify]: iteration done : 9 enodes (cost 6 ) 144.956 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 144.957 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 144.957 * * [simplify]: iteration done : 5 enodes (cost 1 ) 144.957 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 144.958 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 144.959 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 144.960 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 144.961 * * [simplify]: iteration done : 11 enodes (cost 4 ) 144.962 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 144.963 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 144.965 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 144.968 * * [simplify]: iteration 3 : 33 enodes (cost 11 ) 144.971 * * [simplify]: iteration done : 33 enodes (cost 11 ) 144.972 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.973 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.973 * * [simplify]: iteration done : 10 enodes (cost 6 ) 144.974 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 144.975 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 144.976 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 144.977 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 144.978 * * [simplify]: iteration done : 16 enodes (cost 6 ) 144.979 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.980 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.980 * * [simplify]: iteration done : 10 enodes (cost 6 ) 144.981 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 144.982 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 144.983 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 144.983 * * [simplify]: iteration done : 12 enodes (cost 1 ) 144.984 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.984 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 144.985 * * [simplify]: iteration done : 9 enodes (cost 5 ) 144.986 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 144.986 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 144.987 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 144.987 * * [simplify]: iteration done : 12 enodes (cost 1 ) 144.988 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 144.989 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 144.989 * * [simplify]: iteration done : 9 enodes (cost 5 ) 144.993 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 144.994 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 144.995 * * [simplify]: iteration done : 13 enodes (cost 11 ) 144.996 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.997 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.997 * * [simplify]: iteration done : 10 enodes (cost 6 ) 144.998 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 144.999 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 144.999 * * [simplify]: iteration done : 10 enodes (cost 6 ) 145.000 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 145.001 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 145.001 * * [simplify]: iteration done : 10 enodes (cost 6 ) 145.002 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 145.002 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 145.003 * * [simplify]: iteration done : 5 enodes (cost 1 ) 145.003 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.004 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 145.004 * * [simplify]: iteration done : 9 enodes (cost 5 ) 145.005 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 145.006 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 145.006 * * [simplify]: iteration done : 5 enodes (cost 1 ) 145.007 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.007 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 145.008 * * [simplify]: iteration done : 9 enodes (cost 5 ) 145.009 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 145.010 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 145.011 * * [simplify]: iteration done : 12 enodes (cost 11 ) 145.012 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.012 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 145.013 * * [simplify]: iteration done : 9 enodes (cost 6 ) 145.014 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.014 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 145.015 * * [simplify]: iteration done : 9 enodes (cost 6 ) 145.015 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.016 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 145.017 * * [simplify]: iteration done : 9 enodes (cost 6 ) 145.017 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 145.018 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 145.018 * * [simplify]: iteration done : 4 enodes (cost 1 ) 145.018 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 145.019 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 145.020 * * [simplify]: iteration done : 8 enodes (cost 5 ) 145.020 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 145.021 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 145.021 * * [simplify]: iteration done : 4 enodes (cost 1 ) 145.021 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 145.022 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 145.023 * * [simplify]: iteration done : 8 enodes (cost 5 ) 145.023 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 145.024 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 145.024 * * [simplify]: iteration done : 8 enodes (cost 5 ) 145.025 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 145.026 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 145.026 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 145.027 * * [simplify]: iteration done : 10 enodes (cost 3 ) 145.028 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 145.028 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 145.029 * * [simplify]: iteration done : 12 enodes (cost 11 ) 145.030 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.031 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 145.031 * * [simplify]: iteration done : 9 enodes (cost 6 ) 145.032 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 145.032 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 145.032 * * [simplify]: iteration done : 4 enodes (cost 1 ) 145.033 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 145.033 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 145.033 * * [simplify]: iteration done : 4 enodes (cost 1 ) 145.034 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.035 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 145.035 * * [simplify]: iteration done : 9 enodes (cost 5 ) 145.036 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.037 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 145.038 * * [simplify]: iteration done : 9 enodes (cost 5 ) 145.038 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 145.039 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 145.039 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 145.040 * * [simplify]: iteration done : 10 enodes (cost 3 ) 145.041 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 145.042 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 145.045 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 145.049 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 145.056 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 145.079 * * [simplify]: iteration 5 : 201 enodes (cost 9 ) 145.169 * * [simplify]: iteration 6 : 602 enodes (cost 9 ) 146.073 * * [simplify]: iteration 7 : 2419 enodes (cost 9 ) 148.131 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 148.131 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 148.132 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 148.134 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 148.137 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 148.143 * * [simplify]: iteration 4 : 65 enodes (cost 9 ) 148.155 * * [simplify]: iteration 5 : 106 enodes (cost 9 ) 148.182 * * [simplify]: iteration 6 : 164 enodes (cost 9 ) 148.236 * * [simplify]: iteration 7 : 332 enodes (cost 9 ) 148.938 * * [simplify]: iteration 8 : 1645 enodes (cost 9 ) 154.849 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 154.849 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 154.849 * * [simplify]: iteration done : 1 enodes (cost 1 ) 154.850 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 154.850 * * [simplify]: iteration done : 1 enodes (cost 1 ) 154.851 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 154.851 * * [simplify]: iteration done : 1 enodes (cost 1 ) 154.851 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 154.851 * * [simplify]: iteration done : 1 enodes (cost 1 ) 154.852 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 154.852 * * [simplify]: iteration done : 1 enodes (cost 1 ) 154.853 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 154.853 * * [simplify]: iteration done : 1 enodes (cost 1 ) 154.854 * [simplify]: Simplified to: (/ (* x 100.0) (+ x y)) (/ (* x 100.0) (+ x y)) (- (+ (log x) (log 100.0)) (log (+ x y))) (- (+ (log x) (log 100.0)) (log (+ x y))) (- (+ (log x) (log 100.0)) (log (+ x y))) (- (+ (log x) (log 100.0)) (log (+ x y))) (- (log (* x 100.0)) (log (+ x y))) (- (log (* x 100.0)) (log (+ x y))) (- (log (* x 100.0)) (log (+ x y))) (- (log (* x 100.0)) (log (+ x y))) (log (/ (* 100.0 x) (+ x y))) (exp (/ (* x 100.0) (+ x y))) (/ (pow (* x 100.0) 3) (pow (+ x y) 3)) (/ (pow (* x 100.0) 3) (pow (+ y x) 3)) (/ (pow (* x 100.0) 3) (pow (+ x y) 3)) (pow (* x (/ 100.0 (+ y x))) 3) (* (cbrt (/ (* x 100.0) (+ x y))) (cbrt (/ (* x 100.0) (+ x y)))) (cbrt (/ (* x 100.0) (+ x y))) (pow (/ (* 100.0 x) (+ x y)) 3) (sqrt (/ (* x 100.0) (+ x y))) (sqrt (/ (* x 100.0) (+ x y))) (* (* x 100.0) (* (cbrt (/ 1 (+ x y))) (cbrt (/ 1 (+ x y))))) (* (* x 100.0) (sqrt (/ 1 (+ x y)))) (/ 100.0 (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x)) (/ (* x 100.0) (sqrt (+ x y))) (* x 100.0) (* x 100.0) (* (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) 100.0) (/ (* x 100.0) (sqrt (+ x y))) (* x 100.0) (* x 100.0) (/ (* x 100.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (* x 100.0) (sqrt (+ x y))) (* x 100.0) (* x 100.0) (* x 100.0) (* x 100.0) (/ (* x 100.0) (+ (pow x 3) (pow y 3))) (/ 100.0 (- x (/ (* y y) x))) (/ 100.0 (+ x y)) (* x 100.0) -1 (neg (log (+ x y))) (neg (log (+ x y))) (neg (log (+ x y))) (neg (log (+ x y))) (exp (/ 1 (+ x y))) (/ 1 (pow (+ x y) 3)) (* (cbrt (/ 1 (+ x y))) (cbrt (/ 1 (+ x y)))) (cbrt (/ 1 (+ x y))) (pow (/ 1 (+ x y)) 3) (sqrt (/ 1 (+ x y))) (sqrt (/ 1 (+ x y))) -1 (neg (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 1 (sqrt (+ x y))) 1 (/ 1 (+ x y)) 1 (/ 1 (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 1 (sqrt (+ x y))) 1 (/ 1 (+ x y)) 1 (/ 1 (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 1 (sqrt (+ x y))) 1 (/ 1 (+ x y)) 1 (/ 1 (+ x y)) (/ 1 (+ x y)) (+ x y) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 1 (sqrt (+ x y))) 1 1 (/ (+ x y) 1) (/ (+ x y) 1) (+ x y) (/ 1 (+ (pow x 3) (pow y 3))) (/ 1 (- (* x x) (* y y))) 0 0 0 0 0 0 154.854 * * * [progress]: adding candidates to table 155.131 * [progress]: [Phase 3 of 3] Extracting. 155.131 * * [regime]: Finding splitpoints for: (# # # #) 155.131 * * * [regime-changes]: Trying 2 branch expressions: (y x) 155.131 * * * * [regimes]: Trying to branch on y from (# # # #) 155.173 * * * * [regimes]: Trying to branch on x from (# # # #) 155.214 * * * [regime]: Found split indices: #