265.215 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (/ x (* y 3.0)) 0.019 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.019 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.020 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.022 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.022 * [simplify]: Simplified to: (/ x (* y 3.0)) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.024 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.028 * * * [progress]: generating rewritten candidates 0.028 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.033 * * * [progress]: generating series expansions 0.033 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.033 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in (x y) around 0 0.033 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in y 0.033 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 0.033 * [taylor]: Taking taylor expansion of (/ x y) in y 0.033 * [taylor]: Taking taylor expansion of x in y 0.033 * [taylor]: Taking taylor expansion of y in y 0.034 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in x 0.034 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.034 * [taylor]: Taking taylor expansion of (/ x y) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of y in x 0.034 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in x 0.034 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.034 * [taylor]: Taking taylor expansion of (/ x y) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of y in x 0.034 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y 0.034 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 0.034 * [taylor]: Taking taylor expansion of y in y 0.034 * [taylor]: Taking taylor expansion of 0 in y 0.035 * [taylor]: Taking taylor expansion of 0 in y 0.035 * [taylor]: Taking taylor expansion of 0 in y 0.035 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (x y) around 0 0.035 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 0.035 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 0.035 * [taylor]: Taking taylor expansion of (/ y x) in y 0.035 * [taylor]: Taking taylor expansion of y in y 0.035 * [taylor]: Taking taylor expansion of x in y 0.035 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 0.035 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.035 * [taylor]: Taking taylor expansion of (/ y x) in x 0.035 * [taylor]: Taking taylor expansion of y in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.035 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 0.035 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.035 * [taylor]: Taking taylor expansion of (/ y x) in x 0.035 * [taylor]: Taking taylor expansion of y in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.035 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 0.035 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 0.035 * [taylor]: Taking taylor expansion of y in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (x y) around 0 0.036 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 0.036 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 0.036 * [taylor]: Taking taylor expansion of (/ y x) in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.036 * [taylor]: Taking taylor expansion of x in y 0.036 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 0.036 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.036 * [taylor]: Taking taylor expansion of (/ y x) in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 0.036 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.036 * [taylor]: Taking taylor expansion of (/ y x) in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 0.037 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * * * [progress]: simplifying candidates 0.038 * [simplify]: Simplifying using # : (- (log x) (+ (log y) (log 3.0))) (- (log x) (log (* y 3.0))) (log (/ x (* y 3.0))) (exp (/ x (* y 3.0))) (/ (* (* x x) x) (* (* (* y y) y) (* (* 3.0 3.0) 3.0))) (/ (* (* x x) x) (* (* (* y 3.0) (* y 3.0)) (* y 3.0))) (* (cbrt (/ x (* y 3.0))) (cbrt (/ x (* y 3.0)))) (cbrt (/ x (* y 3.0))) (* (* (/ x (* y 3.0)) (/ x (* y 3.0))) (/ x (* y 3.0))) (sqrt (/ x (* y 3.0))) (sqrt (/ x (* y 3.0))) (neg x) (neg (* y 3.0)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) 3.0) (/ (sqrt x) y) (/ (sqrt x) 3.0) (/ 1 y) (/ x 3.0) (/ 1 (* y 3.0)) (/ (* y 3.0) x) (/ x y) (/ (* y 3.0) (cbrt x)) (/ (* y 3.0) (sqrt x)) (/ (* y 3.0) x) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 0.038 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.039 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.041 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 0.043 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 0.048 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 0.063 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 0.072 * * [simplify]: iteration 6 : 77 enodes (cost 8 ) 0.084 * * [simplify]: iteration 7 : 93 enodes (cost 8 ) 0.094 * * [simplify]: iteration 8 : 98 enodes (cost 8 ) 0.106 * * [simplify]: iteration done : 98 enodes (cost 8 ) 0.107 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.108 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.110 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 0.112 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 0.120 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 0.125 * * [simplify]: iteration 5 : 49 enodes (cost 7 ) 0.133 * * [simplify]: iteration 6 : 68 enodes (cost 7 ) 0.146 * * [simplify]: iteration 7 : 94 enodes (cost 7 ) 0.157 * * [simplify]: iteration 8 : 104 enodes (cost 7 ) 0.170 * * [simplify]: iteration done : 104 enodes (cost 7 ) 0.171 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.171 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.177 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 0.179 * * [simplify]: iteration 3 : 34 enodes (cost 6 ) 0.184 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 0.190 * * [simplify]: iteration 5 : 58 enodes (cost 6 ) 0.198 * * [simplify]: iteration 6 : 74 enodes (cost 6 ) 0.208 * * [simplify]: iteration 7 : 93 enodes (cost 6 ) 0.221 * * [simplify]: iteration 8 : 109 enodes (cost 6 ) 0.237 * * [simplify]: iteration 9 : 114 enodes (cost 6 ) 0.250 * * [simplify]: iteration done : 114 enodes (cost 6 ) 0.251 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.252 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.253 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.254 * * [simplify]: iteration done : 11 enodes (cost 6 ) 0.255 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 0.257 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 0.262 * * [simplify]: iteration 2 : 114 enodes (cost 11 ) 0.305 * * [simplify]: iteration 3 : 524 enodes (cost 11 ) 0.887 * * [simplify]: iteration 4 : 1884 enodes (cost 9 ) 5.009 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 5.011 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 5.012 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 5.018 * * [simplify]: iteration 2 : 130 enodes (cost 9 ) 5.087 * * [simplify]: iteration 3 : 669 enodes (cost 7 ) 6.219 * * [simplify]: iteration 4 : 2190 enodes (cost 7 ) 11.194 * * [simplify]: iteration 5 : 4057 enodes (cost 7 ) 12.526 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 12.527 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 12.528 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 12.529 * * [simplify]: iteration 2 : 12 enodes (cost 13 ) 12.530 * * [simplify]: iteration done : 12 enodes (cost 13 ) 12.531 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.532 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 12.533 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 12.534 * * [simplify]: iteration done : 11 enodes (cost 6 ) 12.534 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 12.535 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 12.539 * * [simplify]: iteration 2 : 65 enodes (cost 7 ) 12.566 * * [simplify]: iteration 3 : 321 enodes (cost 7 ) 12.887 * * [simplify]: iteration 4 : 1205 enodes (cost 7 ) 14.887 * * [simplify]: iteration 5 : 2718 enodes (cost 7 ) 20.287 * * [simplify]: iteration 6 : 4513 enodes (cost 7 ) 21.310 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 21.311 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.311 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 21.312 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 21.313 * * [simplify]: iteration done : 11 enodes (cost 6 ) 21.314 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.315 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 21.316 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 21.317 * * [simplify]: iteration done : 11 enodes (cost 6 ) 21.317 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 21.318 * * [simplify]: iteration done : 2 enodes (cost 2 ) 21.318 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.319 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 21.320 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 21.321 * * [simplify]: iteration done : 11 enodes (cost 4 ) 21.322 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 21.322 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 21.323 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 21.324 * * [simplify]: iteration 3 : 10 enodes (cost 7 ) 21.325 * * [simplify]: iteration done : 10 enodes (cost 7 ) 21.326 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.326 * * [simplify]: iteration done : 4 enodes (cost 4 ) 21.327 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.327 * * [simplify]: iteration done : 4 enodes (cost 4 ) 21.328 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.328 * * [simplify]: iteration done : 4 enodes (cost 4 ) 21.329 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.329 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 21.329 * * [simplify]: iteration done : 5 enodes (cost 3 ) 21.330 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.330 * * [simplify]: iteration done : 3 enodes (cost 3 ) 21.331 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.331 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 21.332 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 21.334 * * [simplify]: iteration done : 12 enodes (cost 5 ) 21.334 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.335 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 21.336 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 21.337 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 21.339 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 21.341 * * [simplify]: iteration done : 16 enodes (cost 5 ) 21.341 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.342 * * [simplify]: iteration done : 3 enodes (cost 3 ) 21.342 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.349 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 21.350 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 21.351 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 21.353 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 21.355 * * [simplify]: iteration done : 17 enodes (cost 6 ) 21.356 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.356 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 21.357 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 21.359 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 21.361 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 21.363 * * [simplify]: iteration done : 17 enodes (cost 6 ) 21.363 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.364 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 21.365 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 21.366 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 21.368 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 21.370 * * [simplify]: iteration done : 16 enodes (cost 5 ) 21.370 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.371 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 21.372 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 21.373 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 21.375 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 21.377 * * [simplify]: iteration done : 16 enodes (cost 5 ) 21.377 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.378 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 21.379 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 21.380 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 21.382 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 21.384 * * [simplify]: iteration done : 16 enodes (cost 5 ) 21.385 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.385 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 21.386 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 21.387 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 21.389 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 21.391 * * [simplify]: iteration done : 16 enodes (cost 5 ) 21.391 * [simplify]: Simplified to: (- (log x) (+ (log y) (log 3.0))) (- (log x) (log (* y 3.0))) (log (/ x (* y 3.0))) (exp (/ x (* y 3.0))) (/ (pow (/ x y) 3) (pow 3.0 3)) (pow (/ x (* y 3.0)) 3) (* (cbrt (/ x (* y 3.0))) (cbrt (/ x (* y 3.0)))) (cbrt (/ x (* y 3.0))) (pow (/ x (* y 3.0)) 3) (sqrt (/ x (* y 3.0))) (sqrt (/ x (* y 3.0))) (neg x) (neg (* y 3.0)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) 3.0) (/ (sqrt x) y) (/ (sqrt x) 3.0) (/ 1 y) (/ x 3.0) (/ 1 (* y 3.0)) (/ (* y 3.0) x) (/ x y) (/ (* y 3.0) (cbrt x)) (/ (* y 3.0) (sqrt x)) (/ (* y 3.0) x) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 21.391 * * * [progress]: adding candidates to table 21.431 * * [progress]: iteration 2 / 4 21.431 * * * [progress]: picking best candidate 21.445 * * * * [pick]: Picked # 21.445 * * * [progress]: localizing error 21.450 * * * [progress]: generating rewritten candidates 21.450 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 21.465 * * * [progress]: generating series expansions 21.465 * * * * [progress]: [ 1 / 1 ] generating series at (2) 21.465 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in (y x) around 0 21.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in x 21.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 21.465 * [taylor]: Taking taylor expansion of (/ x y) in x 21.465 * [taylor]: Taking taylor expansion of x in x 21.465 * [taylor]: Taking taylor expansion of y in x 21.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in y 21.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 21.465 * [taylor]: Taking taylor expansion of (/ x y) in y 21.465 * [taylor]: Taking taylor expansion of x in y 21.465 * [taylor]: Taking taylor expansion of y in y 21.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in y 21.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 21.465 * [taylor]: Taking taylor expansion of (/ x y) in y 21.465 * [taylor]: Taking taylor expansion of x in y 21.465 * [taylor]: Taking taylor expansion of y in y 21.466 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 21.466 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 21.466 * [taylor]: Taking taylor expansion of x in x 21.466 * [taylor]: Taking taylor expansion of 0 in x 21.466 * [taylor]: Taking taylor expansion of 0 in x 21.466 * [taylor]: Taking taylor expansion of 0 in x 21.466 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (y x) around 0 21.466 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 21.466 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 21.466 * [taylor]: Taking taylor expansion of (/ y x) in x 21.466 * [taylor]: Taking taylor expansion of y in x 21.466 * [taylor]: Taking taylor expansion of x in x 21.466 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 21.466 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 21.466 * [taylor]: Taking taylor expansion of (/ y x) in y 21.466 * [taylor]: Taking taylor expansion of y in y 21.467 * [taylor]: Taking taylor expansion of x in y 21.467 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 21.467 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 21.467 * [taylor]: Taking taylor expansion of (/ y x) in y 21.467 * [taylor]: Taking taylor expansion of y in y 21.467 * [taylor]: Taking taylor expansion of x in y 21.467 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 x) in x 21.467 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 21.467 * [taylor]: Taking taylor expansion of x in x 21.467 * [taylor]: Taking taylor expansion of 0 in x 21.467 * [taylor]: Taking taylor expansion of 0 in x 21.468 * [taylor]: Taking taylor expansion of 0 in x 21.468 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (y x) around 0 21.468 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 21.468 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 21.468 * [taylor]: Taking taylor expansion of (/ y x) in x 21.468 * [taylor]: Taking taylor expansion of y in x 21.468 * [taylor]: Taking taylor expansion of x in x 21.468 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 21.468 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 21.468 * [taylor]: Taking taylor expansion of (/ y x) in y 21.468 * [taylor]: Taking taylor expansion of y in y 21.468 * [taylor]: Taking taylor expansion of x in y 21.468 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 21.468 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 21.468 * [taylor]: Taking taylor expansion of (/ y x) in y 21.468 * [taylor]: Taking taylor expansion of y in y 21.468 * [taylor]: Taking taylor expansion of x in y 21.468 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 x) in x 21.468 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 21.468 * [taylor]: Taking taylor expansion of x in x 21.468 * [taylor]: Taking taylor expansion of 0 in x 21.469 * [taylor]: Taking taylor expansion of 0 in x 21.469 * [taylor]: Taking taylor expansion of 0 in x 21.469 * * * [progress]: simplifying candidates 21.470 * [simplify]: Simplifying using # : (* (/ 1 y) (/ x 3.0)) (+ (neg (log y)) (- (log x) (log 3.0))) (+ (neg (log y)) (log (/ x 3.0))) (+ (- 0 (log y)) (- (log x) (log 3.0))) (+ (- 0 (log y)) (log (/ x 3.0))) (+ (- (log 1) (log y)) (- (log x) (log 3.0))) (+ (- (log 1) (log y)) (log (/ x 3.0))) (+ (log (/ 1 y)) (- (log x) (log 3.0))) (+ (log (/ 1 y)) (log (/ x 3.0))) (log (* (/ 1 y) (/ x 3.0))) (exp (* (/ 1 y) (/ x 3.0))) (* (/ (* (* 1 1) 1) (* (* y y) y)) (/ (* (* x x) x) (* (* 3.0 3.0) 3.0))) (* (/ (* (* 1 1) 1) (* (* y y) y)) (* (* (/ x 3.0) (/ x 3.0)) (/ x 3.0))) (* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (/ (* (* x x) x) (* (* 3.0 3.0) 3.0))) (* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (/ x 3.0) (/ x 3.0)) (/ x 3.0))) (* (cbrt (* (/ 1 y) (/ x 3.0))) (cbrt (* (/ 1 y) (/ x 3.0)))) (cbrt (* (/ 1 y) (/ x 3.0))) (* (* (* (/ 1 y) (/ x 3.0)) (* (/ 1 y) (/ x 3.0))) (* (/ 1 y) (/ x 3.0))) (sqrt (* (/ 1 y) (/ x 3.0))) (sqrt (* (/ 1 y) (/ x 3.0))) (* 1 x) (* y 3.0) (* (sqrt (/ 1 y)) (sqrt (/ x 3.0))) (* (sqrt (/ 1 y)) (sqrt (/ x 3.0))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt 3.0))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt 3.0))) (* (/ (sqrt 1) (sqrt y)) (sqrt (/ x 3.0))) (* (/ (sqrt 1) (sqrt y)) (sqrt (/ x 3.0))) (* (/ (sqrt 1) (sqrt y)) (/ (sqrt x) (sqrt 3.0))) (* (/ (sqrt 1) (sqrt y)) (/ (sqrt x) (sqrt 3.0))) (* (/ 1 (sqrt y)) (sqrt (/ x 3.0))) (* (/ 1 (sqrt y)) (sqrt (/ x 3.0))) (* (/ 1 (sqrt y)) (/ (sqrt x) (sqrt 3.0))) (* (/ 1 (sqrt y)) (/ (sqrt x) (sqrt 3.0))) (* (/ 1 y) (* (cbrt (/ x 3.0)) (cbrt (/ x 3.0)))) (* (/ 1 y) (sqrt (/ x 3.0))) (* (/ 1 y) (/ (* (cbrt x) (cbrt x)) (* (cbrt 3.0) (cbrt 3.0)))) (* (/ 1 y) (/ (* (cbrt x) (cbrt x)) (sqrt 3.0))) (* (/ 1 y) (/ (* (cbrt x) (cbrt x)) 1)) (* (/ 1 y) (/ (sqrt x) (* (cbrt 3.0) (cbrt 3.0)))) (* (/ 1 y) (/ (sqrt x) (sqrt 3.0))) (* (/ 1 y) (/ (sqrt x) 1)) (* (/ 1 y) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (* (/ 1 y) (/ 1 (sqrt 3.0))) (* (/ 1 y) (/ 1 1)) (* (/ 1 y) 1) (* (/ 1 y) x) (* (cbrt (/ 1 y)) (/ x 3.0)) (* (sqrt (/ 1 y)) (/ x 3.0)) (* (/ (cbrt 1) (cbrt y)) (/ x 3.0)) (* (/ (cbrt 1) (sqrt y)) (/ x 3.0)) (* (/ (cbrt 1) y) (/ x 3.0)) (* (/ (sqrt 1) (cbrt y)) (/ x 3.0)) (* (/ (sqrt 1) (sqrt y)) (/ x 3.0)) (* (/ (sqrt 1) y) (/ x 3.0)) (* (/ 1 (cbrt y)) (/ x 3.0)) (* (/ 1 (sqrt y)) (/ x 3.0)) (* (/ 1 y) (/ x 3.0)) (* (/ 1 y) (/ x 3.0)) (* (/ 1 y) (/ x 3.0)) (* (/ 1 y) x) (* 1 (/ x 3.0)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 21.470 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 21.471 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 21.473 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 21.478 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 21.496 * * [simplify]: iteration 4 : 90 enodes (cost 5 ) 21.511 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 21.531 * * [simplify]: iteration 6 : 137 enodes (cost 5 ) 21.553 * * [simplify]: iteration done : 137 enodes (cost 5 ) 21.553 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 21.554 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 21.556 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 21.559 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 21.565 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 21.570 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 21.577 * * [simplify]: iteration 6 : 74 enodes (cost 8 ) 21.588 * * [simplify]: iteration 7 : 96 enodes (cost 8 ) 21.599 * * [simplify]: iteration 8 : 103 enodes (cost 8 ) 21.616 * * [simplify]: iteration done : 103 enodes (cost 8 ) 21.617 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 21.618 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 21.620 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 21.622 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 21.626 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 21.631 * * [simplify]: iteration 5 : 52 enodes (cost 7 ) 21.636 * * [simplify]: iteration 6 : 62 enodes (cost 7 ) 21.644 * * [simplify]: iteration 7 : 79 enodes (cost 7 ) 21.654 * * [simplify]: iteration 8 : 101 enodes (cost 7 ) 21.671 * * [simplify]: iteration 9 : 108 enodes (cost 7 ) 21.683 * * [simplify]: iteration done : 108 enodes (cost 7 ) 21.684 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 21.685 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 21.688 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 21.697 * * [simplify]: iteration 3 : 105 enodes (cost 8 ) 21.761 * * [simplify]: iteration 4 : 259 enodes (cost 8 ) 21.827 * * [simplify]: iteration 5 : 358 enodes (cost 8 ) 21.901 * * [simplify]: iteration 6 : 376 enodes (cost 8 ) 21.962 * * [simplify]: iteration done : 376 enodes (cost 8 ) 21.967 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 21.968 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 21.971 * * [simplify]: iteration 2 : 38 enodes (cost 7 ) 21.978 * * [simplify]: iteration 3 : 88 enodes (cost 7 ) 22.015 * * [simplify]: iteration 4 : 220 enodes (cost 7 ) 22.072 * * [simplify]: iteration 5 : 314 enodes (cost 7 ) 22.148 * * [simplify]: iteration 6 : 324 enodes (cost 7 ) 22.209 * * [simplify]: iteration done : 324 enodes (cost 7 ) 22.209 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 22.211 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 22.213 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 22.224 * * [simplify]: iteration 3 : 114 enodes (cost 8 ) 22.288 * * [simplify]: iteration 4 : 264 enodes (cost 8 ) 22.351 * * [simplify]: iteration 5 : 358 enodes (cost 8 ) 22.424 * * [simplify]: iteration 6 : 371 enodes (cost 8 ) 22.483 * * [simplify]: iteration done : 371 enodes (cost 8 ) 22.483 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 22.484 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 22.487 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 22.494 * * [simplify]: iteration 3 : 91 enodes (cost 7 ) 22.536 * * [simplify]: iteration 4 : 220 enodes (cost 7 ) 22.593 * * [simplify]: iteration 5 : 314 enodes (cost 7 ) 22.661 * * [simplify]: iteration 6 : 326 enodes (cost 7 ) 22.719 * * [simplify]: iteration done : 326 enodes (cost 7 ) 22.720 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 22.721 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 22.724 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 22.730 * * [simplify]: iteration 3 : 82 enodes (cost 8 ) 22.763 * * [simplify]: iteration 4 : 177 enodes (cost 8 ) 22.827 * * [simplify]: iteration 5 : 299 enodes (cost 8 ) 22.889 * * [simplify]: iteration 6 : 308 enodes (cost 8 ) 22.948 * * [simplify]: iteration done : 308 enodes (cost 8 ) 22.949 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.950 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 22.952 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 22.957 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 22.974 * * [simplify]: iteration 4 : 149 enodes (cost 7 ) 23.033 * * [simplify]: iteration 5 : 272 enodes (cost 7 ) 23.118 * * [simplify]: iteration 6 : 360 enodes (cost 7 ) 23.184 * * [simplify]: iteration 7 : 363 enodes (cost 7 ) 23.243 * * [simplify]: iteration done : 363 enodes (cost 7 ) 23.244 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 23.245 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 23.247 * * [simplify]: iteration 2 : 38 enodes (cost 6 ) 23.254 * * [simplify]: iteration 3 : 99 enodes (cost 6 ) 23.281 * * [simplify]: iteration 4 : 199 enodes (cost 6 ) 23.358 * * [simplify]: iteration 5 : 387 enodes (cost 6 ) 23.457 * * [simplify]: iteration 6 : 533 enodes (cost 6 ) 23.556 * * [simplify]: iteration 7 : 596 enodes (cost 6 ) 23.642 * * [simplify]: iteration done : 596 enodes (cost 6 ) 23.643 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 23.644 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 23.646 * * [simplify]: iteration 2 : 32 enodes (cost 6 ) 23.653 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 23.672 * * [simplify]: iteration 4 : 170 enodes (cost 6 ) 23.726 * * [simplify]: iteration 5 : 353 enodes (cost 6 ) 23.988 * * [simplify]: iteration 6 : 945 enodes (cost 6 ) 26.450 * * [simplify]: iteration 7 : 3850 enodes (cost 6 ) 27.652 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 27.652 * * [simplify]: iteration 0 : 15 enodes (cost 23 ) 27.655 * * [simplify]: iteration 1 : 39 enodes (cost 19 ) 27.662 * * [simplify]: iteration 2 : 139 enodes (cost 11 ) 27.771 * * [simplify]: iteration 3 : 840 enodes (cost 9 ) 31.711 * * [simplify]: iteration 4 : 4477 enodes (cost 9 ) 32.704 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 32.705 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 32.707 * * [simplify]: iteration 1 : 35 enodes (cost 19 ) 32.714 * * [simplify]: iteration 2 : 106 enodes (cost 9 ) 32.778 * * [simplify]: iteration 3 : 468 enodes (cost 9 ) 33.814 * * [simplify]: iteration 4 : 2175 enodes (cost 9 ) 36.002 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 36.003 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 36.006 * * [simplify]: iteration 1 : 36 enodes (cost 23 ) 36.014 * * [simplify]: iteration 2 : 138 enodes (cost 13 ) 36.093 * * [simplify]: iteration 3 : 621 enodes (cost 11 ) 37.682 * * [simplify]: iteration 4 : 3212 enodes (cost 9 ) 38.947 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 38.948 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 38.950 * * [simplify]: iteration 1 : 32 enodes (cost 23 ) 38.956 * * [simplify]: iteration 2 : 105 enodes (cost 11 ) 39.004 * * [simplify]: iteration 3 : 366 enodes (cost 11 ) 39.512 * * [simplify]: iteration 4 : 1499 enodes (cost 7 ) 42.047 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 42.047 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 42.049 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 42.050 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 42.055 * * [simplify]: iteration 3 : 64 enodes (cost 13 ) 42.068 * * [simplify]: iteration 4 : 99 enodes (cost 13 ) 42.083 * * [simplify]: iteration 5 : 132 enodes (cost 13 ) 42.108 * * [simplify]: iteration 6 : 146 enodes (cost 13 ) 42.126 * * [simplify]: iteration done : 146 enodes (cost 13 ) 42.126 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 42.127 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 42.129 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 42.134 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 42.147 * * [simplify]: iteration 4 : 91 enodes (cost 6 ) 42.167 * * [simplify]: iteration 5 : 122 enodes (cost 6 ) 42.187 * * [simplify]: iteration 6 : 136 enodes (cost 6 ) 42.204 * * [simplify]: iteration done : 136 enodes (cost 6 ) 42.205 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 42.206 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 42.218 * * [simplify]: iteration 2 : 108 enodes (cost 7 ) 42.307 * * [simplify]: iteration 3 : 509 enodes (cost 7 ) 43.231 * * [simplify]: iteration 4 : 1843 enodes (cost 7 ) 46.149 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 46.150 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 46.151 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 46.153 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 46.165 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 46.177 * * [simplify]: iteration 4 : 91 enodes (cost 6 ) 46.192 * * [simplify]: iteration 5 : 122 enodes (cost 6 ) 46.211 * * [simplify]: iteration 6 : 136 enodes (cost 6 ) 46.234 * * [simplify]: iteration done : 136 enodes (cost 6 ) 46.235 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 46.236 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 46.238 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 46.242 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 46.254 * * [simplify]: iteration 4 : 91 enodes (cost 6 ) 46.268 * * [simplify]: iteration 5 : 122 enodes (cost 6 ) 46.294 * * [simplify]: iteration 6 : 136 enodes (cost 6 ) 46.311 * * [simplify]: iteration done : 136 enodes (cost 6 ) 46.312 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.312 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 46.313 * * [simplify]: iteration done : 6 enodes (cost 1 ) 46.313 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.313 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 46.314 * * [simplify]: iteration done : 4 enodes (cost 3 ) 46.315 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 46.316 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 46.317 * * [simplify]: iteration done : 12 enodes (cost 9 ) 46.317 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 46.318 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 46.319 * * [simplify]: iteration done : 12 enodes (cost 9 ) 46.320 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 46.321 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 46.323 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 46.324 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 46.327 * * [simplify]: iteration 4 : 23 enodes (cost 10 ) 46.329 * * [simplify]: iteration done : 23 enodes (cost 10 ) 46.329 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 46.331 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 46.332 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 46.334 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 46.337 * * [simplify]: iteration 4 : 23 enodes (cost 10 ) 46.339 * * [simplify]: iteration done : 23 enodes (cost 10 ) 46.340 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 46.341 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 46.342 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 46.349 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 46.352 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 46.356 * * [simplify]: iteration done : 34 enodes (cost 7 ) 46.357 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 46.358 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 46.359 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 46.361 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 46.364 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 46.368 * * [simplify]: iteration done : 34 enodes (cost 7 ) 46.369 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 46.370 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 46.371 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 46.375 * * [simplify]: iteration 3 : 44 enodes (cost 8 ) 46.383 * * [simplify]: iteration 4 : 97 enodes (cost 8 ) 46.414 * * [simplify]: iteration 5 : 138 enodes (cost 8 ) 46.441 * * [simplify]: iteration 6 : 142 enodes (cost 8 ) 46.461 * * [simplify]: iteration done : 142 enodes (cost 8 ) 46.462 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 46.463 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 46.469 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 46.473 * * [simplify]: iteration 3 : 44 enodes (cost 8 ) 46.481 * * [simplify]: iteration 4 : 97 enodes (cost 8 ) 46.507 * * [simplify]: iteration 5 : 138 enodes (cost 8 ) 46.540 * * [simplify]: iteration 6 : 142 enodes (cost 8 ) 46.559 * * [simplify]: iteration done : 142 enodes (cost 8 ) 46.560 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 46.561 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 46.563 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 46.565 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 46.569 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 46.573 * * [simplify]: iteration done : 35 enodes (cost 7 ) 46.574 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 46.575 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 46.577 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 46.579 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 46.584 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 46.592 * * [simplify]: iteration done : 35 enodes (cost 7 ) 46.593 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 46.594 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 46.596 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 46.600 * * [simplify]: iteration 3 : 65 enodes (cost 8 ) 46.617 * * [simplify]: iteration 4 : 116 enodes (cost 8 ) 46.642 * * [simplify]: iteration 5 : 160 enodes (cost 8 ) 46.674 * * [simplify]: iteration 6 : 167 enodes (cost 8 ) 46.694 * * [simplify]: iteration done : 167 enodes (cost 8 ) 46.695 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 46.696 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 46.698 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 46.703 * * [simplify]: iteration 3 : 65 enodes (cost 8 ) 46.723 * * [simplify]: iteration 4 : 116 enodes (cost 8 ) 46.749 * * [simplify]: iteration 5 : 160 enodes (cost 8 ) 46.781 * * [simplify]: iteration 6 : 167 enodes (cost 8 ) 46.801 * * [simplify]: iteration done : 167 enodes (cost 8 ) 46.802 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 46.803 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 46.805 * * [simplify]: iteration 2 : 24 enodes (cost 11 ) 46.810 * * [simplify]: iteration 3 : 52 enodes (cost 11 ) 46.820 * * [simplify]: iteration 4 : 67 enodes (cost 11 ) 46.833 * * [simplify]: iteration done : 67 enodes (cost 11 ) 46.833 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 46.834 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 46.836 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 46.838 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 46.842 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 46.846 * * [simplify]: iteration done : 36 enodes (cost 6 ) 46.847 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 46.848 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 46.852 * * [simplify]: iteration 2 : 65 enodes (cost 13 ) 46.876 * * [simplify]: iteration 3 : 212 enodes (cost 13 ) 47.022 * * [simplify]: iteration 4 : 506 enodes (cost 13 ) 47.423 * * [simplify]: iteration 5 : 797 enodes (cost 13 ) 47.752 * * [simplify]: iteration 6 : 815 enodes (cost 13 ) 48.042 * * [simplify]: iteration done : 815 enodes (cost 13 ) 48.043 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 48.044 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 48.047 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 48.055 * * [simplify]: iteration 3 : 114 enodes (cost 10 ) 48.111 * * [simplify]: iteration 4 : 243 enodes (cost 10 ) 48.196 * * [simplify]: iteration 5 : 311 enodes (cost 10 ) 48.272 * * [simplify]: iteration 6 : 328 enodes (cost 10 ) 48.334 * * [simplify]: iteration done : 328 enodes (cost 10 ) 48.335 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 48.336 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 48.339 * * [simplify]: iteration 2 : 43 enodes (cost 7 ) 48.368 * * [simplify]: iteration 3 : 168 enodes (cost 7 ) 48.423 * * [simplify]: iteration 4 : 243 enodes (cost 7 ) 48.452 * * [simplify]: iteration 5 : 249 enodes (cost 7 ) 48.485 * * [simplify]: iteration done : 249 enodes (cost 7 ) 48.486 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 48.487 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 48.490 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 48.498 * * [simplify]: iteration 3 : 112 enodes (cost 10 ) 48.546 * * [simplify]: iteration 4 : 248 enodes (cost 10 ) 48.675 * * [simplify]: iteration 5 : 417 enodes (cost 10 ) 48.781 * * [simplify]: iteration 6 : 432 enodes (cost 10 ) 48.868 * * [simplify]: iteration done : 432 enodes (cost 10 ) 48.869 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 48.870 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 48.872 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 48.877 * * [simplify]: iteration 3 : 64 enodes (cost 7 ) 48.894 * * [simplify]: iteration 4 : 115 enodes (cost 7 ) 48.924 * * [simplify]: iteration 5 : 158 enodes (cost 7 ) 48.951 * * [simplify]: iteration 6 : 166 enodes (cost 7 ) 48.972 * * [simplify]: iteration done : 166 enodes (cost 7 ) 48.973 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 48.978 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 48.980 * * [simplify]: iteration 2 : 27 enodes (cost 4 ) 48.987 * * [simplify]: iteration 3 : 71 enodes (cost 4 ) 49.001 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 49.009 * * [simplify]: iteration 5 : 99 enodes (cost 4 ) 49.017 * * [simplify]: iteration done : 99 enodes (cost 4 ) 49.018 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 49.019 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 49.022 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 49.030 * * [simplify]: iteration 3 : 80 enodes (cost 9 ) 49.060 * * [simplify]: iteration 4 : 128 enodes (cost 9 ) 49.075 * * [simplify]: iteration done : 128 enodes (cost 9 ) 49.076 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 49.077 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 49.079 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 49.083 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 49.090 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 49.094 * * [simplify]: iteration done : 51 enodes (cost 6 ) 49.101 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 49.102 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 49.104 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 49.106 * * [simplify]: iteration 3 : 23 enodes (cost 3 ) 49.107 * * [simplify]: iteration done : 23 enodes (cost 3 ) 49.108 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 49.108 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 49.109 * * [simplify]: iteration done : 9 enodes (cost 3 ) 49.110 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 49.110 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 49.112 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 49.113 * * [simplify]: iteration done : 13 enodes (cost 3 ) 49.113 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 49.114 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 49.115 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 49.117 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 49.119 * * [simplify]: iteration 4 : 21 enodes (cost 8 ) 49.122 * * [simplify]: iteration done : 21 enodes (cost 8 ) 49.122 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 49.123 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 49.124 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 49.126 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 49.128 * * [simplify]: iteration 4 : 21 enodes (cost 8 ) 49.130 * * [simplify]: iteration done : 21 enodes (cost 8 ) 49.131 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 49.132 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 49.134 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 49.137 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 49.144 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 49.158 * * [simplify]: iteration 5 : 101 enodes (cost 6 ) 49.182 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 49.199 * * [simplify]: iteration 7 : 117 enodes (cost 6 ) 49.217 * * [simplify]: iteration done : 117 enodes (cost 6 ) 49.218 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 49.219 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 49.221 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 49.229 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 49.236 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 49.250 * * [simplify]: iteration 5 : 101 enodes (cost 6 ) 49.268 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 49.291 * * [simplify]: iteration 7 : 117 enodes (cost 6 ) 49.309 * * [simplify]: iteration done : 117 enodes (cost 6 ) 49.309 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 49.310 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 49.312 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 49.315 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 49.322 * * [simplify]: iteration 4 : 71 enodes (cost 5 ) 49.335 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 49.360 * * [simplify]: iteration 6 : 118 enodes (cost 5 ) 49.378 * * [simplify]: iteration 7 : 119 enodes (cost 5 ) 49.394 * * [simplify]: iteration done : 119 enodes (cost 5 ) 49.395 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 49.396 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 49.398 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 49.407 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 49.413 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 49.427 * * [simplify]: iteration 5 : 101 enodes (cost 6 ) 49.445 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 49.468 * * [simplify]: iteration 7 : 117 enodes (cost 6 ) 49.486 * * [simplify]: iteration done : 117 enodes (cost 6 ) 49.487 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 49.488 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 49.489 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 49.493 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 49.499 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 49.512 * * [simplify]: iteration 5 : 101 enodes (cost 6 ) 49.537 * * [simplify]: iteration 6 : 116 enodes (cost 6 ) 49.554 * * [simplify]: iteration 7 : 117 enodes (cost 6 ) 49.571 * * [simplify]: iteration done : 117 enodes (cost 6 ) 49.572 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 49.573 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 49.574 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 49.578 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 49.592 * * [simplify]: iteration 4 : 71 enodes (cost 5 ) 49.605 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 49.623 * * [simplify]: iteration 6 : 118 enodes (cost 5 ) 49.647 * * [simplify]: iteration 7 : 119 enodes (cost 5 ) 49.664 * * [simplify]: iteration done : 119 enodes (cost 5 ) 49.665 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 49.666 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 49.667 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 49.672 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 49.684 * * [simplify]: iteration 4 : 98 enodes (cost 6 ) 49.706 * * [simplify]: iteration 5 : 129 enodes (cost 6 ) 49.724 * * [simplify]: iteration 6 : 144 enodes (cost 6 ) 49.742 * * [simplify]: iteration done : 144 enodes (cost 6 ) 49.742 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 49.743 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 49.745 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 49.750 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 49.768 * * [simplify]: iteration 4 : 98 enodes (cost 6 ) 49.783 * * [simplify]: iteration 5 : 129 enodes (cost 6 ) 49.802 * * [simplify]: iteration 6 : 144 enodes (cost 6 ) 49.825 * * [simplify]: iteration done : 144 enodes (cost 6 ) 49.826 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 49.827 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 49.829 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 49.833 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 49.845 * * [simplify]: iteration 4 : 90 enodes (cost 5 ) 49.860 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 49.886 * * [simplify]: iteration 6 : 137 enodes (cost 5 ) 49.903 * * [simplify]: iteration done : 137 enodes (cost 5 ) 49.904 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 49.905 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 49.907 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 49.911 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 49.924 * * [simplify]: iteration 4 : 90 enodes (cost 5 ) 49.939 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 49.963 * * [simplify]: iteration 6 : 137 enodes (cost 5 ) 49.981 * * [simplify]: iteration done : 137 enodes (cost 5 ) 49.982 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 49.983 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 49.985 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 49.989 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 50.006 * * [simplify]: iteration 4 : 90 enodes (cost 5 ) 50.022 * * [simplify]: iteration 5 : 123 enodes (cost 5 ) 50.042 * * [simplify]: iteration 6 : 137 enodes (cost 5 ) 50.064 * * [simplify]: iteration done : 137 enodes (cost 5 ) 50.065 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.066 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 50.067 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 50.068 * * [simplify]: iteration done : 13 enodes (cost 3 ) 50.068 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.069 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 50.071 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 50.072 * * [simplify]: iteration 3 : 22 enodes (cost 3 ) 50.073 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 50.075 * * [simplify]: iteration 5 : 27 enodes (cost 3 ) 50.078 * * [simplify]: iteration done : 27 enodes (cost 3 ) 50.078 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.079 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 50.080 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 50.081 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 50.083 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 50.085 * * [simplify]: iteration done : 16 enodes (cost 5 ) 50.085 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.086 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 50.087 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 50.089 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 50.091 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 50.093 * * [simplify]: iteration done : 16 enodes (cost 5 ) 50.093 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.094 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 50.095 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 50.096 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 50.098 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 50.099 * * [simplify]: iteration done : 16 enodes (cost 5 ) 50.100 * [simplify]: Simplified to: (/ (/ x 3.0) y) (- (- (log x) (log 3.0)) (log y)) (- (log (/ x 3.0)) (log y)) (- (- (log x) (log 3.0)) (log y)) (- (log (/ x 3.0)) (log y)) (- (- (log x) (log 3.0)) (log y)) (- (log (/ x 3.0)) (log y)) (- (- (log x) (log 3.0)) (log y)) (- (log (/ x 3.0)) (log y)) (log (/ (/ x 3.0) y)) (exp (/ (/ x 3.0) y)) (/ (pow (/ x 3.0) 3) (pow y 3)) (/ (pow (/ x 3.0) 3) (pow y 3)) (/ (pow (/ x 3.0) 3) (pow y 3)) (pow (/ (/ x 3.0) y) 3) (* (cbrt (/ (/ x 3.0) y)) (cbrt (/ (/ x 3.0) y))) (cbrt (/ (/ x 3.0) y)) (pow (/ (/ x 3.0) y) 3) (sqrt (/ (/ x 3.0) y)) (sqrt (/ (/ x 3.0) y)) x (* y 3.0) (* (sqrt (/ 1 y)) (sqrt (/ x 3.0))) (* (sqrt (/ 1 y)) (sqrt (/ x 3.0))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt 3.0))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt 3.0))) (/ (sqrt (/ x 3.0)) (sqrt y)) (/ (sqrt (/ x 3.0)) (sqrt y)) (/ (/ (sqrt x) (sqrt 3.0)) (sqrt y)) (/ (/ (sqrt x) (sqrt 3.0)) (sqrt y)) (/ (sqrt (/ x 3.0)) (sqrt y)) (/ (sqrt (/ x 3.0)) (sqrt y)) (/ (/ (sqrt x) (sqrt 3.0)) (sqrt y)) (/ (/ (sqrt x) (sqrt 3.0)) (sqrt y)) (/ (* (cbrt (/ x 3.0)) (cbrt (/ x 3.0))) y) (/ (sqrt (/ x 3.0)) y) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt 3.0) (cbrt 3.0))) y) (/ (/ (* (cbrt x) (cbrt x)) (sqrt 3.0)) y) (/ (* (cbrt x) (cbrt x)) y) (/ (/ (sqrt x) (* (cbrt 3.0) (cbrt 3.0))) y) (/ (/ (sqrt x) (sqrt 3.0)) y) (/ (sqrt x) y) (/ (/ 1 (* (cbrt 3.0) (cbrt 3.0))) y) (/ (/ 1 (sqrt 3.0)) y) (/ 1 y) (/ 1 y) (/ x y) (* (cbrt (/ 1 y)) (/ x 3.0)) (* (sqrt (/ 1 y)) (/ x 3.0)) (/ (/ x 3.0) (cbrt y)) (/ (/ x 3.0) (sqrt y)) (/ (/ x 3.0) y) (/ (/ x 3.0) (cbrt y)) (/ (/ x 3.0) (sqrt y)) (/ (/ x 3.0) y) (/ (/ x 3.0) (cbrt y)) (/ (/ x 3.0) (sqrt y)) (/ (/ x 3.0) y) (/ (/ x 3.0) y) (/ (/ x 3.0) y) (/ x y) (/ x 3.0) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 50.101 * * * [progress]: adding candidates to table 50.169 * * [progress]: iteration 3 / 4 50.169 * * * [progress]: picking best candidate 50.180 * * * * [pick]: Picked # 50.180 * * * [progress]: localizing error 50.185 * * * [progress]: generating rewritten candidates 50.185 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 50.190 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 50.200 * * * [progress]: generating series expansions 50.200 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 50.201 * [approximate]: Taking taylor expansion of (/ 0.3333333333333333 y) in (y) around 0 50.201 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y 50.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.201 * [taylor]: Taking taylor expansion of y in y 50.201 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y 50.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.201 * [taylor]: Taking taylor expansion of y in y 50.201 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 y) in (y) around 0 50.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 50.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.201 * [taylor]: Taking taylor expansion of y in y 50.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 50.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.201 * [taylor]: Taking taylor expansion of y in y 50.202 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 y) in (y) around 0 50.202 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y 50.202 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y 50.202 * [taylor]: Taking taylor expansion of y in y 50.202 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y 50.202 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y 50.202 * [taylor]: Taking taylor expansion of y in y 50.203 * * * * [progress]: [ 2 / 2 ] generating series at (2) 50.203 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in (x y) around 0 50.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in y 50.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.203 * [taylor]: Taking taylor expansion of (/ x y) in y 50.203 * [taylor]: Taking taylor expansion of x in y 50.203 * [taylor]: Taking taylor expansion of y in y 50.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in x 50.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 50.203 * [taylor]: Taking taylor expansion of (/ x y) in x 50.203 * [taylor]: Taking taylor expansion of x in x 50.203 * [taylor]: Taking taylor expansion of y in x 50.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in x 50.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 50.203 * [taylor]: Taking taylor expansion of (/ x y) in x 50.203 * [taylor]: Taking taylor expansion of x in x 50.203 * [taylor]: Taking taylor expansion of y in x 50.203 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y 50.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.203 * [taylor]: Taking taylor expansion of y in y 50.203 * [taylor]: Taking taylor expansion of 0 in y 50.204 * [taylor]: Taking taylor expansion of 0 in y 50.204 * [taylor]: Taking taylor expansion of 0 in y 50.204 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (x y) around 0 50.204 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 50.204 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.204 * [taylor]: Taking taylor expansion of (/ y x) in y 50.204 * [taylor]: Taking taylor expansion of y in y 50.204 * [taylor]: Taking taylor expansion of x in y 50.204 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 50.204 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 50.204 * [taylor]: Taking taylor expansion of (/ y x) in x 50.204 * [taylor]: Taking taylor expansion of y in x 50.204 * [taylor]: Taking taylor expansion of x in x 50.204 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 50.204 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 50.205 * [taylor]: Taking taylor expansion of (/ y x) in x 50.205 * [taylor]: Taking taylor expansion of y in x 50.205 * [taylor]: Taking taylor expansion of x in x 50.205 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 50.205 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.205 * [taylor]: Taking taylor expansion of y in y 50.205 * [taylor]: Taking taylor expansion of 0 in y 50.205 * [taylor]: Taking taylor expansion of 0 in y 50.205 * [taylor]: Taking taylor expansion of 0 in y 50.205 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (x y) around 0 50.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 50.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.206 * [taylor]: Taking taylor expansion of (/ y x) in y 50.206 * [taylor]: Taking taylor expansion of y in y 50.206 * [taylor]: Taking taylor expansion of x in y 50.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 50.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 50.206 * [taylor]: Taking taylor expansion of (/ y x) in x 50.206 * [taylor]: Taking taylor expansion of y in x 50.206 * [taylor]: Taking taylor expansion of x in x 50.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 50.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 50.206 * [taylor]: Taking taylor expansion of (/ y x) in x 50.206 * [taylor]: Taking taylor expansion of y in x 50.206 * [taylor]: Taking taylor expansion of x in x 50.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 50.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 50.206 * [taylor]: Taking taylor expansion of y in y 50.206 * [taylor]: Taking taylor expansion of 0 in y 50.206 * [taylor]: Taking taylor expansion of 0 in y 50.206 * [taylor]: Taking taylor expansion of 0 in y 50.207 * * * [progress]: simplifying candidates 50.207 * [simplify]: Simplifying using # : (neg 1) (neg 1) (neg (+ (log y) (log 3.0))) (neg (log (* y 3.0))) (- 0 (+ (log y) (log 3.0))) (- 0 (log (* y 3.0))) (- (log 1) (+ (log y) (log 3.0))) (- (log 1) (log (* y 3.0))) (log (/ 1 (* y 3.0))) (exp (/ 1 (* y 3.0))) (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* 3.0 3.0) 3.0))) (/ (* (* 1 1) 1) (* (* (* y 3.0) (* y 3.0)) (* y 3.0))) (* (cbrt (/ 1 (* y 3.0))) (cbrt (/ 1 (* y 3.0)))) (cbrt (/ 1 (* y 3.0))) (* (* (/ 1 (* y 3.0)) (/ 1 (* y 3.0))) (/ 1 (* y 3.0))) (sqrt (/ 1 (* y 3.0))) (sqrt (/ 1 (* y 3.0))) (neg 1) (neg (* y 3.0)) (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) 3.0) (/ (sqrt 1) y) (/ (sqrt 1) 3.0) (/ 1 y) (/ 1 3.0) (/ 1 (* y 3.0)) (/ (* y 3.0) 1) (/ 1 y) (/ (* y 3.0) (cbrt 1)) (/ (* y 3.0) (sqrt 1)) (/ (* y 3.0) 1) (* x (/ 1 (* y 3.0))) (+ (log x) (neg (+ (log y) (log 3.0)))) (+ (log x) (neg (log (* y 3.0)))) (+ (log x) (- 0 (+ (log y) (log 3.0)))) (+ (log x) (- 0 (log (* y 3.0)))) (+ (log x) (- (log 1) (+ (log y) (log 3.0)))) (+ (log x) (- (log 1) (log (* y 3.0)))) (+ (log x) (log (/ 1 (* y 3.0)))) (log (* x (/ 1 (* y 3.0)))) (exp (* x (/ 1 (* y 3.0)))) (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* 3.0 3.0) 3.0)))) (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (* y 3.0) (* y 3.0)) (* y 3.0)))) (* (* (* x x) x) (* (* (/ 1 (* y 3.0)) (/ 1 (* y 3.0))) (/ 1 (* y 3.0)))) (* (cbrt (* x (/ 1 (* y 3.0)))) (cbrt (* x (/ 1 (* y 3.0))))) (cbrt (* x (/ 1 (* y 3.0)))) (* (* (* x (/ 1 (* y 3.0))) (* x (/ 1 (* y 3.0)))) (* x (/ 1 (* y 3.0)))) (sqrt (* x (/ 1 (* y 3.0)))) (sqrt (* x (/ 1 (* y 3.0)))) (* (sqrt x) (sqrt (/ 1 (* y 3.0)))) (* (sqrt x) (sqrt (/ 1 (* y 3.0)))) (* x (* (cbrt (/ 1 (* y 3.0))) (cbrt (/ 1 (* y 3.0))))) (* x (sqrt (/ 1 (* y 3.0)))) (* x (/ (* (cbrt 1) (cbrt 1)) y)) (* x (/ (sqrt 1) y)) (* x (/ 1 y)) (* x 1) (* x 1) (* (cbrt x) (/ 1 (* y 3.0))) (* (sqrt x) (/ 1 (* y 3.0))) (* x (/ 1 (* y 3.0))) (* x 1) (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 50.208 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 50.208 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 50.209 * * [simplify]: iteration done : 5 enodes (cost 1 ) 50.209 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 50.209 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 50.210 * * [simplify]: iteration done : 5 enodes (cost 1 ) 50.210 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.217 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 50.218 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 50.219 * * [simplify]: iteration 3 : 13 enodes (cost 6 ) 50.220 * * [simplify]: iteration done : 13 enodes (cost 6 ) 50.221 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.222 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 50.222 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 50.224 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 50.225 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 50.227 * * [simplify]: iteration done : 16 enodes (cost 5 ) 50.227 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.228 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 50.230 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 50.234 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 50.245 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 50.257 * * [simplify]: iteration 5 : 110 enodes (cost 6 ) 50.269 * * [simplify]: iteration 6 : 122 enodes (cost 6 ) 50.284 * * [simplify]: iteration 7 : 123 enodes (cost 6 ) 50.294 * * [simplify]: iteration done : 123 enodes (cost 6 ) 50.295 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.296 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 50.297 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 50.301 * * [simplify]: iteration 3 : 36 enodes (cost 5 ) 50.308 * * [simplify]: iteration 4 : 65 enodes (cost 5 ) 50.319 * * [simplify]: iteration 5 : 97 enodes (cost 5 ) 50.332 * * [simplify]: iteration 6 : 119 enodes (cost 5 ) 50.350 * * [simplify]: iteration 7 : 135 enodes (cost 5 ) 50.361 * * [simplify]: iteration 8 : 136 enodes (cost 5 ) 50.372 * * [simplify]: iteration done : 136 enodes (cost 5 ) 50.373 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 50.374 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 50.376 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 50.380 * * [simplify]: iteration 3 : 48 enodes (cost 6 ) 50.391 * * [simplify]: iteration 4 : 81 enodes (cost 6 ) 50.408 * * [simplify]: iteration 5 : 114 enodes (cost 6 ) 50.421 * * [simplify]: iteration 6 : 127 enodes (cost 6 ) 50.431 * * [simplify]: iteration 7 : 128 enodes (cost 6 ) 50.441 * * [simplify]: iteration done : 128 enodes (cost 6 ) 50.441 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.442 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 50.444 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 50.447 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 50.455 * * [simplify]: iteration 4 : 68 enodes (cost 5 ) 50.472 * * [simplify]: iteration 5 : 99 enodes (cost 5 ) 50.485 * * [simplify]: iteration 6 : 121 enodes (cost 5 ) 50.498 * * [simplify]: iteration 7 : 136 enodes (cost 5 ) 50.508 * * [simplify]: iteration 8 : 137 enodes (cost 5 ) 50.520 * * [simplify]: iteration done : 137 enodes (cost 5 ) 50.520 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.528 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 50.529 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 50.533 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 50.538 * * [simplify]: iteration 4 : 62 enodes (cost 5 ) 50.550 * * [simplify]: iteration 5 : 96 enodes (cost 5 ) 50.563 * * [simplify]: iteration 6 : 129 enodes (cost 5 ) 50.577 * * [simplify]: iteration 7 : 143 enodes (cost 5 ) 50.594 * * [simplify]: iteration 8 : 144 enodes (cost 5 ) 50.606 * * [simplify]: iteration done : 144 enodes (cost 5 ) 50.607 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.607 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 50.608 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 50.610 * * [simplify]: iteration done : 13 enodes (cost 6 ) 50.610 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 50.612 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 50.617 * * [simplify]: iteration 2 : 79 enodes (cost 9 ) 50.648 * * [simplify]: iteration 3 : 231 enodes (cost 9 ) 50.855 * * [simplify]: iteration 4 : 697 enodes (cost 7 ) 52.025 * * [simplify]: iteration 5 : 1767 enodes (cost 7 ) 55.464 * * [simplify]: iteration 6 : 4045 enodes (cost 7 ) 56.800 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 56.801 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 56.803 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 56.808 * * [simplify]: iteration 2 : 84 enodes (cost 7 ) 56.850 * * [simplify]: iteration 3 : 276 enodes (cost 7 ) 57.155 * * [simplify]: iteration 4 : 786 enodes (cost 7 ) 58.308 * * [simplify]: iteration 5 : 1534 enodes (cost 7 ) 59.400 * * [simplify]: iteration 6 : 2154 enodes (cost 7 ) 63.188 * * [simplify]: iteration 7 : 4695 enodes (cost 7 ) 64.315 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 64.316 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 64.317 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 64.318 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 64.320 * * [simplify]: iteration done : 14 enodes (cost 13 ) 64.320 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 64.321 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 64.322 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 64.323 * * [simplify]: iteration done : 13 enodes (cost 6 ) 64.324 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 64.325 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 64.329 * * [simplify]: iteration 2 : 63 enodes (cost 7 ) 64.372 * * [simplify]: iteration 3 : 285 enodes (cost 7 ) 64.726 * * [simplify]: iteration 4 : 882 enodes (cost 7 ) 65.329 * * [simplify]: iteration 5 : 1190 enodes (cost 7 ) 66.518 * * [simplify]: iteration 6 : 2055 enodes (cost 7 ) 70.084 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 70.085 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 70.086 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 70.087 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 70.088 * * [simplify]: iteration done : 13 enodes (cost 6 ) 70.088 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 70.089 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 70.090 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 70.091 * * [simplify]: iteration done : 13 enodes (cost 6 ) 70.092 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 70.092 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 70.093 * * [simplify]: iteration done : 5 enodes (cost 1 ) 70.093 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 70.094 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 70.095 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 70.096 * * [simplify]: iteration done : 11 enodes (cost 4 ) 70.097 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 70.097 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 70.098 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 70.099 * * [simplify]: iteration 3 : 12 enodes (cost 3 ) 70.100 * * [simplify]: iteration done : 12 enodes (cost 3 ) 70.101 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 70.101 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 70.102 * * [simplify]: iteration done : 6 enodes (cost 3 ) 70.102 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 70.103 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 70.103 * * [simplify]: iteration done : 6 enodes (cost 3 ) 70.104 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 70.104 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 70.105 * * [simplify]: iteration done : 6 enodes (cost 3 ) 70.105 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 70.106 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 70.106 * * [simplify]: iteration done : 5 enodes (cost 3 ) 70.107 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 70.107 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 70.108 * * [simplify]: iteration done : 5 enodes (cost 3 ) 70.108 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 70.109 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 70.110 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 70.111 * * [simplify]: iteration done : 12 enodes (cost 5 ) 70.111 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 70.112 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 70.113 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 70.115 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 70.118 * * [simplify]: iteration 4 : 32 enodes (cost 3 ) 70.120 * * [simplify]: iteration done : 32 enodes (cost 3 ) 70.121 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 70.121 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 70.121 * * [simplify]: iteration done : 5 enodes (cost 3 ) 70.122 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 70.123 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 70.124 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 70.125 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 70.128 * * [simplify]: iteration 4 : 26 enodes (cost 3 ) 70.134 * * [simplify]: iteration 5 : 32 enodes (cost 3 ) 70.136 * * [simplify]: iteration done : 32 enodes (cost 3 ) 70.136 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 70.137 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 70.138 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 70.140 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 70.142 * * [simplify]: iteration 4 : 26 enodes (cost 3 ) 70.144 * * [simplify]: iteration 5 : 32 enodes (cost 3 ) 70.146 * * [simplify]: iteration done : 32 enodes (cost 3 ) 70.147 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 70.147 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 70.148 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 70.151 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 70.153 * * [simplify]: iteration 4 : 32 enodes (cost 3 ) 70.155 * * [simplify]: iteration done : 32 enodes (cost 3 ) 70.156 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 70.157 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 70.159 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 70.163 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 70.171 * * [simplify]: iteration 4 : 74 enodes (cost 5 ) 70.200 * * [simplify]: iteration 5 : 125 enodes (cost 5 ) 70.217 * * [simplify]: iteration 6 : 137 enodes (cost 5 ) 70.235 * * [simplify]: iteration 7 : 139 enodes (cost 5 ) 70.255 * * [simplify]: iteration done : 139 enodes (cost 5 ) 70.255 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 70.256 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 70.258 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 70.261 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 70.265 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 70.272 * * [simplify]: iteration 5 : 62 enodes (cost 8 ) 70.286 * * [simplify]: iteration 6 : 90 enodes (cost 8 ) 70.297 * * [simplify]: iteration 7 : 101 enodes (cost 8 ) 70.312 * * [simplify]: iteration 8 : 103 enodes (cost 8 ) 70.324 * * [simplify]: iteration done : 103 enodes (cost 8 ) 70.325 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 70.326 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 70.327 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 70.330 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 70.333 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 70.339 * * [simplify]: iteration 5 : 49 enodes (cost 7 ) 70.347 * * [simplify]: iteration 6 : 68 enodes (cost 7 ) 70.359 * * [simplify]: iteration 7 : 94 enodes (cost 7 ) 70.374 * * [simplify]: iteration 8 : 104 enodes (cost 7 ) 70.387 * * [simplify]: iteration done : 104 enodes (cost 7 ) 70.388 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 70.389 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 70.393 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 70.401 * * [simplify]: iteration 3 : 91 enodes (cost 8 ) 70.438 * * [simplify]: iteration 4 : 174 enodes (cost 8 ) 70.513 * * [simplify]: iteration 5 : 292 enodes (cost 8 ) 70.592 * * [simplify]: iteration 6 : 345 enodes (cost 8 ) 70.649 * * [simplify]: iteration 7 : 346 enodes (cost 8 ) 70.707 * * [simplify]: iteration done : 346 enodes (cost 8 ) 70.708 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 70.713 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 70.716 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 70.721 * * [simplify]: iteration 3 : 70 enodes (cost 7 ) 70.742 * * [simplify]: iteration 4 : 144 enodes (cost 7 ) 70.806 * * [simplify]: iteration 5 : 257 enodes (cost 7 ) 70.874 * * [simplify]: iteration 6 : 325 enodes (cost 7 ) 70.958 * * [simplify]: iteration 7 : 376 enodes (cost 7 ) 71.019 * * [simplify]: iteration done : 376 enodes (cost 7 ) 71.019 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 71.021 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 71.023 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 71.034 * * [simplify]: iteration 3 : 99 enodes (cost 8 ) 71.072 * * [simplify]: iteration 4 : 180 enodes (cost 8 ) 71.145 * * [simplify]: iteration 5 : 296 enodes (cost 8 ) 71.227 * * [simplify]: iteration 6 : 345 enodes (cost 8 ) 71.283 * * [simplify]: iteration 7 : 346 enodes (cost 8 ) 71.340 * * [simplify]: iteration done : 346 enodes (cost 8 ) 71.341 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 71.342 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 71.345 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 71.351 * * [simplify]: iteration 3 : 78 enodes (cost 7 ) 71.372 * * [simplify]: iteration 4 : 151 enodes (cost 7 ) 71.438 * * [simplify]: iteration 5 : 265 enodes (cost 7 ) 71.506 * * [simplify]: iteration 6 : 333 enodes (cost 7 ) 71.590 * * [simplify]: iteration 7 : 385 enodes (cost 7 ) 71.651 * * [simplify]: iteration done : 385 enodes (cost 7 ) 71.652 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 71.653 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 71.655 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 71.660 * * [simplify]: iteration 3 : 72 enodes (cost 7 ) 71.675 * * [simplify]: iteration 4 : 129 enodes (cost 7 ) 71.730 * * [simplify]: iteration 5 : 254 enodes (cost 7 ) 71.814 * * [simplify]: iteration 6 : 346 enodes (cost 7 ) 71.915 * * [simplify]: iteration 7 : 407 enodes (cost 7 ) 71.977 * * [simplify]: iteration 8 : 408 enodes (cost 7 ) 72.036 * * [simplify]: iteration done : 408 enodes (cost 7 ) 72.036 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 72.037 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 72.040 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 72.045 * * [simplify]: iteration 3 : 82 enodes (cost 6 ) 72.063 * * [simplify]: iteration 4 : 166 enodes (cost 6 ) 72.121 * * [simplify]: iteration 5 : 289 enodes (cost 6 ) 72.257 * * [simplify]: iteration 6 : 502 enodes (cost 6 ) 72.341 * * [simplify]: iteration 7 : 549 enodes (cost 6 ) 72.422 * * [simplify]: iteration done : 549 enodes (cost 6 ) 72.422 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 72.424 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 72.429 * * [simplify]: iteration 2 : 39 enodes (cost 6 ) 72.435 * * [simplify]: iteration 3 : 73 enodes (cost 6 ) 72.450 * * [simplify]: iteration 4 : 169 enodes (cost 6 ) 72.530 * * [simplify]: iteration 5 : 431 enodes (cost 6 ) 72.833 * * [simplify]: iteration 6 : 1046 enodes (cost 6 ) 74.762 * * [simplify]: iteration 7 : 3350 enodes (cost 6 ) 75.924 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 75.924 * * [simplify]: iteration 0 : 15 enodes (cost 23 ) 75.927 * * [simplify]: iteration 1 : 37 enodes (cost 19 ) 75.952 * * [simplify]: iteration 2 : 129 enodes (cost 11 ) 76.051 * * [simplify]: iteration 3 : 662 enodes (cost 11 ) 77.979 * * [simplify]: iteration 4 : 3918 enodes (cost 9 ) 79.376 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 79.377 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 79.379 * * [simplify]: iteration 1 : 39 enodes (cost 19 ) 79.387 * * [simplify]: iteration 2 : 131 enodes (cost 9 ) 79.495 * * [simplify]: iteration 3 : 711 enodes (cost 9 ) 82.179 * * [simplify]: iteration 4 : 4271 enodes (cost 9 ) 83.680 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 83.680 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 83.682 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 83.696 * * [simplify]: iteration 2 : 108 enodes (cost 11 ) 83.781 * * [simplify]: iteration 3 : 607 enodes (cost 11 ) 86.514 * * [simplify]: iteration 4 : 2991 enodes (cost 7 ) 88.270 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 88.271 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 88.272 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 88.274 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 88.278 * * [simplify]: iteration 3 : 47 enodes (cost 13 ) 88.286 * * [simplify]: iteration 4 : 76 enodes (cost 13 ) 88.312 * * [simplify]: iteration 5 : 126 enodes (cost 13 ) 88.335 * * [simplify]: iteration 6 : 136 enodes (cost 13 ) 88.352 * * [simplify]: iteration 7 : 137 enodes (cost 13 ) 88.368 * * [simplify]: iteration done : 137 enodes (cost 13 ) 88.369 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 88.370 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 88.372 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 88.376 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 88.390 * * [simplify]: iteration 4 : 75 enodes (cost 6 ) 88.415 * * [simplify]: iteration 5 : 125 enodes (cost 6 ) 88.432 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 88.454 * * [simplify]: iteration 7 : 136 enodes (cost 6 ) 88.470 * * [simplify]: iteration done : 136 enodes (cost 6 ) 88.471 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 88.473 * * [simplify]: iteration 1 : 27 enodes (cost 23 ) 88.479 * * [simplify]: iteration 2 : 103 enodes (cost 7 ) 88.559 * * [simplify]: iteration 3 : 529 enodes (cost 7 ) 89.812 * * [simplify]: iteration 4 : 2676 enodes (cost 7 ) 91.142 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 91.143 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 91.144 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 91.146 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 91.150 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 91.158 * * [simplify]: iteration 4 : 75 enodes (cost 6 ) 91.190 * * [simplify]: iteration 5 : 125 enodes (cost 6 ) 91.208 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 91.225 * * [simplify]: iteration 7 : 136 enodes (cost 6 ) 91.246 * * [simplify]: iteration done : 136 enodes (cost 6 ) 91.247 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 91.248 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 91.250 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 91.254 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 91.262 * * [simplify]: iteration 4 : 75 enodes (cost 6 ) 91.288 * * [simplify]: iteration 5 : 125 enodes (cost 6 ) 91.310 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 91.328 * * [simplify]: iteration 7 : 136 enodes (cost 6 ) 91.345 * * [simplify]: iteration done : 136 enodes (cost 6 ) 91.345 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 91.346 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 91.348 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 91.349 * * [simplify]: iteration done : 17 enodes (cost 9 ) 91.350 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 91.351 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 91.352 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 91.354 * * [simplify]: iteration done : 17 enodes (cost 9 ) 91.355 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 91.360 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 91.362 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 91.364 * * [simplify]: iteration done : 21 enodes (cost 15 ) 91.365 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 91.365 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 91.367 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 91.368 * * [simplify]: iteration done : 16 enodes (cost 8 ) 91.369 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 91.370 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 91.371 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 91.375 * * [simplify]: iteration 3 : 37 enodes (cost 3 ) 91.378 * * [simplify]: iteration 4 : 38 enodes (cost 3 ) 91.382 * * [simplify]: iteration done : 38 enodes (cost 3 ) 91.382 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 91.383 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 91.384 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 91.386 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 91.387 * * [simplify]: iteration 4 : 24 enodes (cost 3 ) 91.389 * * [simplify]: iteration 5 : 26 enodes (cost 3 ) 91.392 * * [simplify]: iteration done : 26 enodes (cost 3 ) 91.392 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 91.393 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 91.394 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 91.395 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 91.396 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 91.399 * * [simplify]: iteration 5 : 21 enodes (cost 3 ) 91.400 * * [simplify]: iteration done : 21 enodes (cost 3 ) 91.401 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 91.401 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 91.402 * * [simplify]: iteration done : 6 enodes (cost 1 ) 91.402 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 91.403 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 91.403 * * [simplify]: iteration done : 6 enodes (cost 1 ) 91.403 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 91.404 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 91.406 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 91.412 * * [simplify]: iteration 3 : 72 enodes (cost 6 ) 91.440 * * [simplify]: iteration 4 : 123 enodes (cost 6 ) 91.463 * * [simplify]: iteration 5 : 132 enodes (cost 6 ) 91.486 * * [simplify]: iteration done : 132 enodes (cost 6 ) 91.487 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 91.488 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 91.490 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 91.496 * * [simplify]: iteration 3 : 72 enodes (cost 6 ) 91.518 * * [simplify]: iteration 4 : 123 enodes (cost 6 ) 91.547 * * [simplify]: iteration 5 : 132 enodes (cost 6 ) 91.566 * * [simplify]: iteration done : 132 enodes (cost 6 ) 91.566 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 91.567 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 91.570 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 91.573 * * [simplify]: iteration 3 : 45 enodes (cost 5 ) 91.581 * * [simplify]: iteration 4 : 74 enodes (cost 5 ) 91.613 * * [simplify]: iteration 5 : 125 enodes (cost 5 ) 91.630 * * [simplify]: iteration 6 : 137 enodes (cost 5 ) 91.647 * * [simplify]: iteration 7 : 139 enodes (cost 5 ) 91.669 * * [simplify]: iteration done : 139 enodes (cost 5 ) 91.669 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 91.670 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 91.670 * * [simplify]: iteration done : 6 enodes (cost 1 ) 91.671 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 91.671 * * [simplify]: iteration done : 3 enodes (cost 3 ) 91.672 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 91.672 * * [simplify]: iteration done : 3 enodes (cost 3 ) 91.673 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 91.673 * * [simplify]: iteration done : 3 enodes (cost 3 ) 91.674 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 91.674 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 91.675 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 91.677 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 91.678 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 91.680 * * [simplify]: iteration done : 16 enodes (cost 5 ) 91.681 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 91.681 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 91.682 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 91.684 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 91.685 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 91.687 * * [simplify]: iteration done : 16 enodes (cost 5 ) 91.688 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 91.688 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 91.689 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 91.691 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 91.692 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 91.694 * * [simplify]: iteration done : 16 enodes (cost 5 ) 91.695 * [simplify]: Simplified to: -1 -1 (neg (+ (log y) (log 3.0))) (neg (log (* y 3.0))) (neg (+ (log y) (log 3.0))) (neg (log (* y 3.0))) (neg (+ (log y) (log 3.0))) (neg (log (* y 3.0))) (neg (log (* y 3.0))) (exp (/ 1 (* y 3.0))) (/ 1 (pow (* y 3.0) 3)) (/ 1 (pow (* y 3.0) 3)) (* (cbrt (/ 1 (* y 3.0))) (cbrt (/ 1 (* y 3.0)))) (cbrt (/ 1 (* y 3.0))) (pow (/ (/ 1 y) 3.0) 3) (sqrt (/ 1 (* y 3.0))) (sqrt (/ 1 (* y 3.0))) -1 (neg (* y 3.0)) (/ 1 y) (/ 1 3.0) (/ 1 y) (/ 1 3.0) (/ 1 y) (/ 1 3.0) (/ 1 (* y 3.0)) (* y 3.0) (/ 1 y) (* y 3.0) (* y 3.0) (* y 3.0) (/ x (* y 3.0)) (- (log x) (+ (log y) (log 3.0))) (- (log x) (log (* y 3.0))) (- (log x) (+ (log y) (log 3.0))) (- (log x) (log (* y 3.0))) (- (log x) (+ (log y) (log 3.0))) (- (log x) (log (* y 3.0))) (- (log x) (log (* y 3.0))) (log (/ x (* y 3.0))) (exp (/ x (* y 3.0))) (/ (pow x 3) (pow (* y 3.0) 3)) (/ (pow x 3) (pow (* y 3.0) 3)) (pow (/ x (* y 3.0)) 3) (* (cbrt (/ x (* y 3.0))) (cbrt (/ x (* y 3.0)))) (cbrt (/ x (* y 3.0))) (pow (/ x (* y 3.0)) 3) (sqrt (/ x (* y 3.0))) (sqrt (/ x (* y 3.0))) (* (sqrt x) (sqrt (/ 1 (* y 3.0)))) (* (sqrt x) (sqrt (/ 1 (* y 3.0)))) (* x (* (cbrt (/ 1 (* y 3.0))) (cbrt (/ 1 (* y 3.0))))) (* x (sqrt (/ 1 (* y 3.0)))) (/ x y) (/ x y) (/ x y) x x (/ (/ (cbrt x) 3.0) y) (/ (/ (sqrt x) 3.0) y) (/ x (* y 3.0)) x (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 91.695 * * * [progress]: adding candidates to table 91.757 * * [progress]: iteration 4 / 4 91.757 * * * [progress]: picking best candidate 91.764 * * * * [pick]: Picked # 91.764 * * * [progress]: localizing error 91.771 * * * [progress]: generating rewritten candidates 91.771 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 91.778 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 91.802 * * * [progress]: generating series expansions 91.802 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 91.802 * [approximate]: Taking taylor expansion of (/ 0.3333333333333333 y) in (y) around 0 91.802 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y 91.802 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.802 * [taylor]: Taking taylor expansion of y in y 91.802 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y 91.802 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.802 * [taylor]: Taking taylor expansion of y in y 91.803 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 y) in (y) around 0 91.803 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 91.803 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.803 * [taylor]: Taking taylor expansion of y in y 91.803 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 91.803 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.803 * [taylor]: Taking taylor expansion of y in y 91.803 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 y) in (y) around 0 91.803 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y 91.803 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y 91.803 * [taylor]: Taking taylor expansion of y in y 91.803 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 y) in y 91.803 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y 91.804 * [taylor]: Taking taylor expansion of y in y 91.804 * * * * [progress]: [ 2 / 2 ] generating series at (2) 91.804 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in (x y) around 0 91.804 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in y 91.804 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.804 * [taylor]: Taking taylor expansion of (/ x y) in y 91.804 * [taylor]: Taking taylor expansion of x in y 91.804 * [taylor]: Taking taylor expansion of y in y 91.804 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in x 91.804 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 91.804 * [taylor]: Taking taylor expansion of (/ x y) in x 91.804 * [taylor]: Taking taylor expansion of x in x 91.804 * [taylor]: Taking taylor expansion of y in x 91.804 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ x y)) in x 91.804 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 91.804 * [taylor]: Taking taylor expansion of (/ x y) in x 91.804 * [taylor]: Taking taylor expansion of x in x 91.804 * [taylor]: Taking taylor expansion of y in x 91.805 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y 91.805 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.805 * [taylor]: Taking taylor expansion of y in y 91.805 * [taylor]: Taking taylor expansion of 0 in y 91.805 * [taylor]: Taking taylor expansion of 0 in y 91.812 * [taylor]: Taking taylor expansion of 0 in y 91.812 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (x y) around 0 91.812 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 91.812 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.812 * [taylor]: Taking taylor expansion of (/ y x) in y 91.812 * [taylor]: Taking taylor expansion of y in y 91.812 * [taylor]: Taking taylor expansion of x in y 91.812 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 91.812 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 91.812 * [taylor]: Taking taylor expansion of (/ y x) in x 91.812 * [taylor]: Taking taylor expansion of y in x 91.812 * [taylor]: Taking taylor expansion of x in x 91.813 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 91.813 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 91.813 * [taylor]: Taking taylor expansion of (/ y x) in x 91.813 * [taylor]: Taking taylor expansion of y in x 91.813 * [taylor]: Taking taylor expansion of x in x 91.813 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 91.813 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.813 * [taylor]: Taking taylor expansion of y in y 91.813 * [taylor]: Taking taylor expansion of 0 in y 91.813 * [taylor]: Taking taylor expansion of 0 in y 91.813 * [taylor]: Taking taylor expansion of 0 in y 91.814 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in (x y) around 0 91.814 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in y 91.814 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.814 * [taylor]: Taking taylor expansion of (/ y x) in y 91.814 * [taylor]: Taking taylor expansion of y in y 91.814 * [taylor]: Taking taylor expansion of x in y 91.814 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 91.814 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 91.814 * [taylor]: Taking taylor expansion of (/ y x) in x 91.814 * [taylor]: Taking taylor expansion of y in x 91.814 * [taylor]: Taking taylor expansion of x in x 91.814 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y x)) in x 91.814 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 91.814 * [taylor]: Taking taylor expansion of (/ y x) in x 91.814 * [taylor]: Taking taylor expansion of y in x 91.814 * [taylor]: Taking taylor expansion of x in x 91.814 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y 91.814 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 91.814 * [taylor]: Taking taylor expansion of y in y 91.814 * [taylor]: Taking taylor expansion of 0 in y 91.814 * [taylor]: Taking taylor expansion of 0 in y 91.815 * [taylor]: Taking taylor expansion of 0 in y 91.815 * * * [progress]: simplifying candidates 91.817 * [simplify]: Simplifying using # : (- (neg (log y)) (log 3.0)) (- (- 0 (log y)) (log 3.0)) (- (- (log 1) (log y)) (log 3.0)) (- (log (/ 1 y)) (log 3.0)) (log (/ (/ 1 y) 3.0)) (exp (/ (/ 1 y) 3.0)) (/ (/ (* (* 1 1) 1) (* (* y y) y)) (* (* 3.0 3.0) 3.0)) (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ (/ 1 y) 3.0)) (cbrt (/ (/ 1 y) 3.0))) (cbrt (/ (/ 1 y) 3.0)) (* (* (/ (/ 1 y) 3.0) (/ (/ 1 y) 3.0)) (/ (/ 1 y) 3.0)) (sqrt (/ (/ 1 y) 3.0)) (sqrt (/ (/ 1 y) 3.0)) (neg (/ 1 y)) (neg 3.0) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (/ 1 y)) (cbrt 3.0)) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt 3.0)) (/ (cbrt (/ 1 y)) (sqrt 3.0)) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1) (/ (cbrt (/ 1 y)) 3.0) (/ (sqrt (/ 1 y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (/ 1 y)) (cbrt 3.0)) (/ (sqrt (/ 1 y)) (sqrt 3.0)) (/ (sqrt (/ 1 y)) (sqrt 3.0)) (/ (sqrt (/ 1 y)) 1) (/ (sqrt (/ 1 y)) 3.0) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ (cbrt 1) (cbrt y)) (cbrt 3.0)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (sqrt 3.0)) (/ (/ (cbrt 1) (cbrt y)) (sqrt 3.0)) (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt 1) (cbrt y)) 3.0) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ (cbrt 1) (sqrt y)) (cbrt 3.0)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (sqrt 3.0)) (/ (/ (cbrt 1) (sqrt y)) (sqrt 3.0)) (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1) (/ (/ (cbrt 1) (sqrt y)) 3.0) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ (cbrt 1) y) (cbrt 3.0)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt 3.0)) (/ (/ (cbrt 1) y) (sqrt 3.0)) (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1) (/ (/ (cbrt 1) y) 3.0) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ (sqrt 1) (cbrt y)) (cbrt 3.0)) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (sqrt 3.0)) (/ (/ (sqrt 1) (cbrt y)) (sqrt 3.0)) (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt 1) (cbrt y)) 3.0) (/ (/ (sqrt 1) (sqrt y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ (sqrt 1) (sqrt y)) (cbrt 3.0)) (/ (/ (sqrt 1) (sqrt y)) (sqrt 3.0)) (/ (/ (sqrt 1) (sqrt y)) (sqrt 3.0)) (/ (/ (sqrt 1) (sqrt y)) 1) (/ (/ (sqrt 1) (sqrt y)) 3.0) (/ (/ (sqrt 1) 1) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ (sqrt 1) y) (cbrt 3.0)) (/ (/ (sqrt 1) 1) (sqrt 3.0)) (/ (/ (sqrt 1) y) (sqrt 3.0)) (/ (/ (sqrt 1) 1) 1) (/ (/ (sqrt 1) y) 3.0) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 (cbrt y)) (cbrt 3.0)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt 3.0)) (/ (/ 1 (cbrt y)) (sqrt 3.0)) (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ 1 (cbrt y)) 3.0) (/ (/ 1 (sqrt y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 (sqrt y)) (cbrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ (/ 1 (sqrt y)) 1) (/ (/ 1 (sqrt y)) 3.0) (/ (/ 1 1) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ (/ 1 1) (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) (/ (/ 1 1) 1) (/ (/ 1 y) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) (/ 1 1) (/ (/ 1 y) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) (/ 1 1) (/ (/ 1 y) 3.0) (/ 1 3.0) (/ 3.0 (/ 1 y)) (/ (/ 1 y) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (sqrt 3.0)) (/ (/ 1 y) 1) (/ 3.0 (cbrt (/ 1 y))) (/ 3.0 (sqrt (/ 1 y))) (/ 3.0 (/ (cbrt 1) (cbrt y))) (/ 3.0 (/ (cbrt 1) (sqrt y))) (/ 3.0 (/ (cbrt 1) y)) (/ 3.0 (/ (sqrt 1) (cbrt y))) (/ 3.0 (/ (sqrt 1) (sqrt y))) (/ 3.0 (/ (sqrt 1) y)) (/ 3.0 (/ 1 (cbrt y))) (/ 3.0 (/ 1 (sqrt y))) (/ 3.0 (/ 1 y)) (/ 3.0 (/ 1 y)) (/ 3.0 (/ 1 y)) (* 3.0 y) (* x (/ (/ 1 y) 3.0)) (+ (log x) (- (neg (log y)) (log 3.0))) (+ (log x) (- (- 0 (log y)) (log 3.0))) (+ (log x) (- (- (log 1) (log y)) (log 3.0))) (+ (log x) (- (log (/ 1 y)) (log 3.0))) (+ (log x) (log (/ (/ 1 y) 3.0))) (log (* x (/ (/ 1 y) 3.0))) (exp (* x (/ (/ 1 y) 3.0))) (* (* (* x x) x) (/ (/ (* (* 1 1) 1) (* (* y y) y)) (* (* 3.0 3.0) 3.0))) (* (* (* x x) x) (/ (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* 3.0 3.0) 3.0))) (* (* (* x x) x) (* (* (/ (/ 1 y) 3.0) (/ (/ 1 y) 3.0)) (/ (/ 1 y) 3.0))) (* (cbrt (* x (/ (/ 1 y) 3.0))) (cbrt (* x (/ (/ 1 y) 3.0)))) (cbrt (* x (/ (/ 1 y) 3.0))) (* (* (* x (/ (/ 1 y) 3.0)) (* x (/ (/ 1 y) 3.0))) (* x (/ (/ 1 y) 3.0))) (sqrt (* x (/ (/ 1 y) 3.0))) (sqrt (* x (/ (/ 1 y) 3.0))) (* (sqrt x) (sqrt (/ (/ 1 y) 3.0))) (* (sqrt x) (sqrt (/ (/ 1 y) 3.0))) (* (sqrt x) (/ (sqrt (/ 1 y)) (sqrt 3.0))) (* (sqrt x) (/ (sqrt (/ 1 y)) (sqrt 3.0))) (* (sqrt x) (/ (/ (sqrt 1) (sqrt y)) (sqrt 3.0))) (* (sqrt x) (/ (/ (sqrt 1) (sqrt y)) (sqrt 3.0))) (* (sqrt x) (/ (/ 1 (sqrt y)) (sqrt 3.0))) (* (sqrt x) (/ (/ 1 (sqrt y)) (sqrt 3.0))) (* x (* (cbrt (/ (/ 1 y) 3.0)) (cbrt (/ (/ 1 y) 3.0)))) (* x (sqrt (/ (/ 1 y) 3.0))) (* x (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt 3.0))) (* x (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) 1)) (* x (/ (sqrt (/ 1 y)) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (sqrt (/ 1 y)) (sqrt 3.0))) (* x (/ (sqrt (/ 1 y)) 1)) (* x (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) (sqrt 3.0))) (* x (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) 1)) (* x (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) (sqrt 3.0))) (* x (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) 1)) (* x (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt 3.0))) (* x (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)) (* x (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) (sqrt 3.0))) (* x (/ (/ (sqrt 1) (* (cbrt y) (cbrt y))) 1)) (* x (/ (/ (sqrt 1) (sqrt y)) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ (sqrt 1) (sqrt y)) (sqrt 3.0))) (* x (/ (/ (sqrt 1) (sqrt y)) 1)) (* x (/ (/ (sqrt 1) 1) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ (sqrt 1) 1) (sqrt 3.0))) (* x (/ (/ (sqrt 1) 1) 1)) (* x (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt 3.0))) (* x (/ (/ 1 (* (cbrt y) (cbrt y))) 1)) (* x (/ (/ 1 (sqrt y)) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ 1 (sqrt y)) (sqrt 3.0))) (* x (/ (/ 1 (sqrt y)) 1)) (* x (/ (/ 1 1) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (/ 1 1) (sqrt 3.0))) (* x (/ (/ 1 1) 1)) (* x (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ 1 (sqrt 3.0))) (* x (/ 1 1)) (* x (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ 1 (sqrt 3.0))) (* x (/ 1 1)) (* x 1) (* x (/ 1 y)) (* (cbrt x) (/ (/ 1 y) 3.0)) (* (sqrt x) (/ (/ 1 y) 3.0)) (* x (/ (/ 1 y) 3.0)) (* x (/ 1 y)) (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 91.818 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 91.818 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 91.820 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 91.821 * * [simplify]: iteration 3 : 13 enodes (cost 6 ) 91.822 * * [simplify]: iteration done : 13 enodes (cost 6 ) 91.823 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 91.824 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 91.826 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 91.829 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 91.841 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 91.852 * * [simplify]: iteration 5 : 101 enodes (cost 6 ) 91.861 * * [simplify]: iteration 6 : 111 enodes (cost 6 ) 91.880 * * [simplify]: iteration 7 : 123 enodes (cost 6 ) 91.891 * * [simplify]: iteration done : 123 enodes (cost 6 ) 91.891 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 91.892 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 91.894 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 91.898 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 91.911 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 91.922 * * [simplify]: iteration 5 : 111 enodes (cost 6 ) 91.932 * * [simplify]: iteration 6 : 121 enodes (cost 6 ) 91.949 * * [simplify]: iteration 7 : 133 enodes (cost 6 ) 91.960 * * [simplify]: iteration done : 133 enodes (cost 6 ) 91.961 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 91.962 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 91.963 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 91.966 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 91.972 * * [simplify]: iteration 4 : 54 enodes (cost 6 ) 91.980 * * [simplify]: iteration 5 : 70 enodes (cost 6 ) 91.989 * * [simplify]: iteration 6 : 84 enodes (cost 6 ) 92.004 * * [simplify]: iteration 7 : 92 enodes (cost 6 ) 92.018 * * [simplify]: iteration 8 : 106 enodes (cost 6 ) 92.029 * * [simplify]: iteration done : 106 enodes (cost 6 ) 92.029 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.030 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 92.031 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 92.034 * * [simplify]: iteration 3 : 36 enodes (cost 5 ) 92.039 * * [simplify]: iteration 4 : 59 enodes (cost 5 ) 92.047 * * [simplify]: iteration 5 : 77 enodes (cost 5 ) 92.065 * * [simplify]: iteration 6 : 110 enodes (cost 5 ) 92.079 * * [simplify]: iteration 7 : 140 enodes (cost 5 ) 92.091 * * [simplify]: iteration 8 : 142 enodes (cost 5 ) 92.103 * * [simplify]: iteration done : 142 enodes (cost 5 ) 92.104 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.104 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 92.105 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 92.107 * * [simplify]: iteration done : 13 enodes (cost 6 ) 92.107 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 92.110 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 92.113 * * [simplify]: iteration 2 : 72 enodes (cost 9 ) 92.137 * * [simplify]: iteration 3 : 222 enodes (cost 9 ) 92.348 * * [simplify]: iteration 4 : 760 enodes (cost 9 ) 93.165 * * [simplify]: iteration 5 : 1442 enodes (cost 7 ) 95.854 * * [simplify]: iteration 6 : 3458 enodes (cost 7 ) 97.222 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 97.223 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 97.224 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 97.230 * * [simplify]: iteration 2 : 83 enodes (cost 9 ) 97.274 * * [simplify]: iteration 3 : 358 enodes (cost 7 ) 97.696 * * [simplify]: iteration 4 : 1046 enodes (cost 7 ) 98.832 * * [simplify]: iteration 5 : 1781 enodes (cost 7 ) 101.700 * * [simplify]: iteration 6 : 3886 enodes (cost 7 ) 102.865 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 102.866 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 102.867 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 102.868 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 102.869 * * [simplify]: iteration done : 14 enodes (cost 13 ) 102.870 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 102.870 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 102.871 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 102.873 * * [simplify]: iteration done : 13 enodes (cost 6 ) 102.873 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 102.874 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 102.877 * * [simplify]: iteration 2 : 52 enodes (cost 7 ) 102.902 * * [simplify]: iteration 3 : 192 enodes (cost 7 ) 103.147 * * [simplify]: iteration 4 : 794 enodes (cost 7 ) 103.710 * * [simplify]: iteration 5 : 1171 enodes (cost 7 ) 104.718 * * [simplify]: iteration 6 : 1869 enodes (cost 7 ) 108.778 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 108.779 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 108.780 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 108.781 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 108.782 * * [simplify]: iteration done : 13 enodes (cost 6 ) 108.783 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 108.784 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 108.785 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 108.786 * * [simplify]: iteration done : 13 enodes (cost 6 ) 108.787 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 108.787 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 108.788 * * [simplify]: iteration done : 9 enodes (cost 3 ) 108.788 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 108.789 * * [simplify]: iteration done : 2 enodes (cost 2 ) 108.789 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 108.790 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 108.792 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 108.795 * * [simplify]: iteration 3 : 32 enodes (cost 15 ) 108.799 * * [simplify]: iteration done : 32 enodes (cost 15 ) 108.799 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.800 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.801 * * [simplify]: iteration done : 9 enodes (cost 7 ) 108.801 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 108.802 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 108.803 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 108.805 * * [simplify]: iteration 3 : 15 enodes (cost 12 ) 108.813 * * [simplify]: iteration done : 15 enodes (cost 12 ) 108.813 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.814 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.815 * * [simplify]: iteration done : 9 enodes (cost 7 ) 108.815 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 108.816 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 108.817 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 108.819 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 108.821 * * [simplify]: iteration done : 21 enodes (cost 9 ) 108.821 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 108.822 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 108.822 * * [simplify]: iteration done : 8 enodes (cost 6 ) 108.823 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 108.824 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 108.826 * * [simplify]: iteration done : 12 enodes (cost 10 ) 108.827 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.827 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.828 * * [simplify]: iteration done : 9 enodes (cost 7 ) 108.829 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.829 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.830 * * [simplify]: iteration done : 9 enodes (cost 7 ) 108.831 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 108.831 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 108.832 * * [simplify]: iteration done : 9 enodes (cost 7 ) 108.833 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 108.834 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 108.834 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 108.835 * * [simplify]: iteration done : 9 enodes (cost 4 ) 108.835 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 108.836 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 108.837 * * [simplify]: iteration done : 8 enodes (cost 6 ) 108.837 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 108.839 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 108.842 * * [simplify]: iteration 2 : 58 enodes (cost 13 ) 108.856 * * [simplify]: iteration 3 : 143 enodes (cost 13 ) 108.911 * * [simplify]: iteration 4 : 263 enodes (cost 13 ) 108.979 * * [simplify]: iteration 5 : 291 enodes (cost 13 ) 109.037 * * [simplify]: iteration done : 291 enodes (cost 13 ) 109.038 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.039 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.040 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.041 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.042 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 109.043 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 109.046 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 109.058 * * [simplify]: iteration 3 : 82 enodes (cost 10 ) 109.076 * * [simplify]: iteration 4 : 118 enodes (cost 10 ) 109.091 * * [simplify]: iteration 5 : 123 enodes (cost 10 ) 109.110 * * [simplify]: iteration done : 123 enodes (cost 10 ) 109.111 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.112 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.113 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.114 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.115 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 109.117 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 109.120 * * [simplify]: iteration 2 : 44 enodes (cost 7 ) 109.131 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 109.139 * * [simplify]: iteration 4 : 77 enodes (cost 7 ) 109.147 * * [simplify]: iteration done : 77 enodes (cost 7 ) 109.147 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.148 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.149 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.150 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.151 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 109.152 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 109.154 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 109.159 * * [simplify]: iteration 3 : 61 enodes (cost 10 ) 109.181 * * [simplify]: iteration 4 : 121 enodes (cost 10 ) 109.208 * * [simplify]: iteration 5 : 137 enodes (cost 10 ) 109.234 * * [simplify]: iteration done : 137 enodes (cost 10 ) 109.234 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.235 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.236 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.238 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.238 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 109.239 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 109.241 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 109.244 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 109.251 * * [simplify]: iteration 4 : 52 enodes (cost 7 ) 109.257 * * [simplify]: iteration done : 52 enodes (cost 7 ) 109.258 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.259 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.260 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.261 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.262 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 109.263 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 109.265 * * [simplify]: iteration 2 : 27 enodes (cost 4 ) 109.268 * * [simplify]: iteration 3 : 32 enodes (cost 4 ) 109.271 * * [simplify]: iteration done : 32 enodes (cost 4 ) 109.271 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.272 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.273 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.274 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.275 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 109.276 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 109.280 * * [simplify]: iteration 2 : 43 enodes (cost 7 ) 109.287 * * [simplify]: iteration 3 : 65 enodes (cost 7 ) 109.300 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 109.307 * * [simplify]: iteration done : 72 enodes (cost 7 ) 109.308 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.309 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.310 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.311 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.312 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 109.312 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 109.315 * * [simplify]: iteration 2 : 31 enodes (cost 4 ) 109.318 * * [simplify]: iteration 3 : 35 enodes (cost 4 ) 109.320 * * [simplify]: iteration done : 35 enodes (cost 4 ) 109.321 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.322 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.323 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.324 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.324 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 109.325 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 109.326 * * [simplify]: iteration done : 11 enodes (cost 1 ) 109.326 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.327 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 109.328 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 109.329 * * [simplify]: iteration done : 13 enodes (cost 5 ) 109.330 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 109.331 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 109.333 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 109.338 * * [simplify]: iteration 3 : 57 enodes (cost 13 ) 109.346 * * [simplify]: iteration 4 : 63 enodes (cost 13 ) 109.354 * * [simplify]: iteration done : 63 enodes (cost 13 ) 109.355 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.356 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.357 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.358 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.359 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 109.360 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 109.366 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 109.368 * * [simplify]: iteration 3 : 29 enodes (cost 10 ) 109.372 * * [simplify]: iteration done : 29 enodes (cost 10 ) 109.372 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.373 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.374 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.376 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.376 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 109.377 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 109.379 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 109.382 * * [simplify]: iteration 3 : 33 enodes (cost 7 ) 109.385 * * [simplify]: iteration done : 33 enodes (cost 7 ) 109.386 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.386 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.387 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.388 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.389 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 109.390 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 109.392 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 109.394 * * [simplify]: iteration 3 : 27 enodes (cost 10 ) 109.397 * * [simplify]: iteration done : 27 enodes (cost 10 ) 109.398 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.399 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.400 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.401 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.401 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.402 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.403 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.405 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.405 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 109.406 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.407 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 109.409 * * [simplify]: iteration done : 15 enodes (cost 7 ) 109.409 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 109.410 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 109.411 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 109.412 * * [simplify]: iteration done : 17 enodes (cost 4 ) 109.413 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.413 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.414 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.416 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.416 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 109.417 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 109.418 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 109.421 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 109.423 * * [simplify]: iteration 4 : 28 enodes (cost 7 ) 109.425 * * [simplify]: iteration done : 28 enodes (cost 7 ) 109.425 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.426 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.427 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.429 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.429 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 109.430 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 109.436 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 109.437 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 109.438 * * [simplify]: iteration done : 16 enodes (cost 4 ) 109.439 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.440 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.441 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.442 * * [simplify]: iteration done : 14 enodes (cost 6 ) 109.442 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 109.443 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 109.443 * * [simplify]: iteration done : 8 enodes (cost 1 ) 109.444 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.445 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 109.445 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 109.447 * * [simplify]: iteration done : 13 enodes (cost 5 ) 109.447 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 109.448 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 109.450 * * [simplify]: iteration 2 : 29 enodes (cost 13 ) 109.455 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 109.463 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 109.471 * * [simplify]: iteration done : 62 enodes (cost 13 ) 109.472 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.473 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 109.474 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 109.475 * * [simplify]: iteration done : 14 enodes (cost 7 ) 109.475 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 109.476 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 109.478 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 109.480 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 109.484 * * [simplify]: iteration done : 28 enodes (cost 10 ) 109.484 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.485 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 109.486 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 109.487 * * [simplify]: iteration done : 14 enodes (cost 7 ) 109.488 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 109.489 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.490 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 109.493 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 109.496 * * [simplify]: iteration done : 32 enodes (cost 7 ) 109.497 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.503 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.504 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.505 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.505 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 109.506 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 109.508 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 109.511 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 109.514 * * [simplify]: iteration done : 26 enodes (cost 10 ) 109.514 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.515 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 109.516 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 109.517 * * [simplify]: iteration done : 14 enodes (cost 7 ) 109.518 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.519 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 109.520 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 109.521 * * [simplify]: iteration done : 14 enodes (cost 7 ) 109.522 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.522 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 109.523 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 109.525 * * [simplify]: iteration done : 14 enodes (cost 7 ) 109.525 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 109.526 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 109.527 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 109.528 * * [simplify]: iteration done : 16 enodes (cost 4 ) 109.529 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.529 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.531 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.532 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.532 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 109.533 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 109.535 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 109.537 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 109.539 * * [simplify]: iteration 4 : 28 enodes (cost 7 ) 109.541 * * [simplify]: iteration done : 28 enodes (cost 7 ) 109.542 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.543 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.544 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.545 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.546 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 109.547 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 109.547 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 109.548 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 109.549 * * [simplify]: iteration done : 15 enodes (cost 4 ) 109.550 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.551 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.552 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.553 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.553 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 109.554 * * [simplify]: iteration 1 : 7 enodes (cost 1 ) 109.554 * * [simplify]: iteration done : 7 enodes (cost 1 ) 109.555 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.555 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 109.556 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 109.557 * * [simplify]: iteration done : 12 enodes (cost 5 ) 109.558 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 109.559 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 109.559 * * [simplify]: iteration done : 9 enodes (cost 7 ) 109.560 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.561 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.562 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.563 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.564 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 109.564 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 109.565 * * [simplify]: iteration done : 6 enodes (cost 4 ) 109.565 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.566 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.567 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.569 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.569 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 109.570 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 109.570 * * [simplify]: iteration done : 4 enodes (cost 1 ) 109.571 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.571 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 109.577 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 109.578 * * [simplify]: iteration done : 12 enodes (cost 5 ) 109.579 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 109.579 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 109.580 * * [simplify]: iteration done : 9 enodes (cost 7 ) 109.581 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.581 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.582 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.584 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.584 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 109.585 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 109.585 * * [simplify]: iteration done : 6 enodes (cost 4 ) 109.586 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.587 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.588 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.589 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.589 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 109.590 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 109.590 * * [simplify]: iteration done : 4 enodes (cost 1 ) 109.591 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.591 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 109.592 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 109.593 * * [simplify]: iteration done : 12 enodes (cost 5 ) 109.594 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 109.594 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 109.595 * * [simplify]: iteration done : 5 enodes (cost 3 ) 109.596 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.596 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 109.597 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 109.599 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 109.600 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 109.603 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 109.605 * * [simplify]: iteration done : 30 enodes (cost 3 ) 109.606 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 109.606 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 109.608 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 109.610 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 109.613 * * [simplify]: iteration done : 25 enodes (cost 9 ) 109.614 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.614 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.615 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 109.617 * * [simplify]: iteration done : 13 enodes (cost 6 ) 109.617 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 109.618 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 109.619 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 109.619 * * [simplify]: iteration done : 15 enodes (cost 3 ) 109.620 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.621 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 109.622 * * [simplify]: iteration done : 8 enodes (cost 6 ) 109.622 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.623 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 109.624 * * [simplify]: iteration done : 8 enodes (cost 6 ) 109.624 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.625 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.626 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.627 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 109.629 * * [simplify]: iteration 4 : 24 enodes (cost 4 ) 109.632 * * [simplify]: iteration 5 : 38 enodes (cost 4 ) 109.638 * * [simplify]: iteration 6 : 46 enodes (cost 4 ) 109.642 * * [simplify]: iteration done : 46 enodes (cost 4 ) 109.642 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.649 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.650 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.651 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 109.653 * * [simplify]: iteration 4 : 24 enodes (cost 4 ) 109.656 * * [simplify]: iteration 5 : 38 enodes (cost 4 ) 109.662 * * [simplify]: iteration 6 : 46 enodes (cost 4 ) 109.666 * * [simplify]: iteration done : 46 enodes (cost 4 ) 109.667 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.667 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 109.668 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 109.670 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 109.671 * * [simplify]: iteration 4 : 23 enodes (cost 3 ) 109.674 * * [simplify]: iteration 5 : 37 enodes (cost 3 ) 109.680 * * [simplify]: iteration 6 : 45 enodes (cost 3 ) 109.684 * * [simplify]: iteration done : 45 enodes (cost 3 ) 109.684 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.685 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.686 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.687 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 109.689 * * [simplify]: iteration 4 : 24 enodes (cost 4 ) 109.692 * * [simplify]: iteration 5 : 38 enodes (cost 4 ) 109.698 * * [simplify]: iteration 6 : 46 enodes (cost 4 ) 109.702 * * [simplify]: iteration done : 46 enodes (cost 4 ) 109.703 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.704 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 109.705 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 109.706 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 109.713 * * [simplify]: iteration 4 : 24 enodes (cost 4 ) 109.716 * * [simplify]: iteration 5 : 38 enodes (cost 4 ) 109.722 * * [simplify]: iteration 6 : 46 enodes (cost 4 ) 109.726 * * [simplify]: iteration done : 46 enodes (cost 4 ) 109.726 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.727 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 109.728 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 109.729 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 109.731 * * [simplify]: iteration 4 : 23 enodes (cost 3 ) 109.734 * * [simplify]: iteration 5 : 37 enodes (cost 3 ) 109.740 * * [simplify]: iteration 6 : 45 enodes (cost 3 ) 109.744 * * [simplify]: iteration done : 45 enodes (cost 3 ) 109.744 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.745 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.746 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 109.747 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 109.749 * * [simplify]: iteration 4 : 26 enodes (cost 4 ) 109.752 * * [simplify]: iteration 5 : 31 enodes (cost 4 ) 109.754 * * [simplify]: iteration done : 31 enodes (cost 4 ) 109.754 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 109.755 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 109.757 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 109.758 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 109.760 * * [simplify]: iteration 4 : 26 enodes (cost 4 ) 109.763 * * [simplify]: iteration 5 : 31 enodes (cost 4 ) 109.765 * * [simplify]: iteration done : 31 enodes (cost 4 ) 109.765 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.766 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 109.767 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 109.768 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 109.770 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 109.778 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 109.780 * * [simplify]: iteration done : 30 enodes (cost 3 ) 109.780 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.781 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 109.782 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 109.783 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 109.785 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 109.788 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 109.790 * * [simplify]: iteration done : 30 enodes (cost 3 ) 109.790 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.791 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 109.792 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 109.793 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 109.795 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 109.797 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 109.799 * * [simplify]: iteration done : 30 enodes (cost 3 ) 109.800 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 109.800 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 109.801 * * [simplify]: iteration done : 4 enodes (cost 3 ) 109.801 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 109.802 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 109.804 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 109.808 * * [simplify]: iteration 3 : 46 enodes (cost 5 ) 109.817 * * [simplify]: iteration 4 : 71 enodes (cost 5 ) 109.829 * * [simplify]: iteration 5 : 105 enodes (cost 5 ) 109.857 * * [simplify]: iteration 6 : 128 enodes (cost 5 ) 109.876 * * [simplify]: iteration 7 : 131 enodes (cost 5 ) 109.897 * * [simplify]: iteration done : 131 enodes (cost 5 ) 109.897 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 109.898 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 109.900 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 109.903 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 109.908 * * [simplify]: iteration 4 : 53 enodes (cost 8 ) 109.919 * * [simplify]: iteration 5 : 76 enodes (cost 8 ) 109.930 * * [simplify]: iteration 6 : 92 enodes (cost 8 ) 109.943 * * [simplify]: iteration 7 : 109 enodes (cost 8 ) 109.961 * * [simplify]: iteration 8 : 111 enodes (cost 8 ) 109.974 * * [simplify]: iteration done : 111 enodes (cost 8 ) 109.975 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 109.976 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 109.979 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 109.987 * * [simplify]: iteration 3 : 99 enodes (cost 8 ) 110.036 * * [simplify]: iteration 4 : 199 enodes (cost 8 ) 110.112 * * [simplify]: iteration 5 : 303 enodes (cost 8 ) 110.178 * * [simplify]: iteration 6 : 337 enodes (cost 8 ) 110.262 * * [simplify]: iteration 7 : 384 enodes (cost 8 ) 110.321 * * [simplify]: iteration done : 384 enodes (cost 8 ) 110.322 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 110.323 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 110.326 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 110.336 * * [simplify]: iteration 3 : 108 enodes (cost 8 ) 110.385 * * [simplify]: iteration 4 : 208 enodes (cost 8 ) 110.461 * * [simplify]: iteration 5 : 314 enodes (cost 8 ) 110.528 * * [simplify]: iteration 6 : 349 enodes (cost 8 ) 110.614 * * [simplify]: iteration 7 : 395 enodes (cost 8 ) 110.674 * * [simplify]: iteration done : 395 enodes (cost 8 ) 110.675 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 110.676 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 110.678 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 110.685 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 110.711 * * [simplify]: iteration 4 : 159 enodes (cost 8 ) 110.764 * * [simplify]: iteration 5 : 247 enodes (cost 8 ) 110.828 * * [simplify]: iteration 6 : 318 enodes (cost 8 ) 110.913 * * [simplify]: iteration 7 : 367 enodes (cost 8 ) 110.971 * * [simplify]: iteration done : 367 enodes (cost 8 ) 110.972 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 110.973 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 110.975 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 110.979 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 110.992 * * [simplify]: iteration 4 : 122 enodes (cost 7 ) 111.037 * * [simplify]: iteration 5 : 206 enodes (cost 7 ) 111.104 * * [simplify]: iteration 6 : 303 enodes (cost 7 ) 111.176 * * [simplify]: iteration 7 : 358 enodes (cost 7 ) 111.248 * * [simplify]: iteration 8 : 361 enodes (cost 7 ) 111.319 * * [simplify]: iteration done : 361 enodes (cost 7 ) 111.320 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 111.321 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 111.323 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 111.329 * * [simplify]: iteration 3 : 84 enodes (cost 6 ) 111.354 * * [simplify]: iteration 4 : 165 enodes (cost 6 ) 111.404 * * [simplify]: iteration 5 : 275 enodes (cost 6 ) 111.518 * * [simplify]: iteration 6 : 459 enodes (cost 6 ) 111.639 * * [simplify]: iteration 7 : 540 enodes (cost 6 ) 111.722 * * [simplify]: iteration 8 : 542 enodes (cost 6 ) 111.805 * * [simplify]: iteration done : 542 enodes (cost 6 ) 111.806 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 111.812 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 111.814 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 111.819 * * [simplify]: iteration 3 : 69 enodes (cost 6 ) 111.837 * * [simplify]: iteration 4 : 151 enodes (cost 6 ) 111.886 * * [simplify]: iteration 5 : 337 enodes (cost 6 ) 112.165 * * [simplify]: iteration 6 : 949 enodes (cost 6 ) 114.180 * * [simplify]: iteration 7 : 3434 enodes (cost 6 ) 115.333 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 115.334 * * [simplify]: iteration 0 : 15 enodes (cost 23 ) 115.336 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 115.343 * * [simplify]: iteration 2 : 124 enodes (cost 13 ) 115.410 * * [simplify]: iteration 3 : 565 enodes (cost 11 ) 116.958 * * [simplify]: iteration 4 : 3098 enodes (cost 11 ) 118.616 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 118.618 * * [simplify]: iteration 0 : 13 enodes (cost 23 ) 118.620 * * [simplify]: iteration 1 : 36 enodes (cost 23 ) 118.637 * * [simplify]: iteration 2 : 141 enodes (cost 13 ) 118.718 * * [simplify]: iteration 3 : 744 enodes (cost 11 ) 120.814 * * [simplify]: iteration 4 : 3591 enodes (cost 9 ) 122.001 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 122.002 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 122.003 * * [simplify]: iteration 1 : 28 enodes (cost 23 ) 122.010 * * [simplify]: iteration 2 : 97 enodes (cost 11 ) 122.064 * * [simplify]: iteration 3 : 422 enodes (cost 11 ) 123.069 * * [simplify]: iteration 4 : 2246 enodes (cost 7 ) 124.982 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 124.983 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 124.991 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 124.993 * * [simplify]: iteration 2 : 27 enodes (cost 17 ) 124.998 * * [simplify]: iteration 3 : 48 enodes (cost 13 ) 125.008 * * [simplify]: iteration 4 : 73 enodes (cost 13 ) 125.019 * * [simplify]: iteration 5 : 107 enodes (cost 13 ) 125.044 * * [simplify]: iteration 6 : 134 enodes (cost 13 ) 125.069 * * [simplify]: iteration 7 : 137 enodes (cost 13 ) 125.086 * * [simplify]: iteration done : 137 enodes (cost 13 ) 125.086 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 125.087 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 125.089 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 125.093 * * [simplify]: iteration 3 : 47 enodes (cost 6 ) 125.103 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 125.121 * * [simplify]: iteration 5 : 106 enodes (cost 6 ) 125.145 * * [simplify]: iteration 6 : 129 enodes (cost 6 ) 125.165 * * [simplify]: iteration 7 : 132 enodes (cost 6 ) 125.186 * * [simplify]: iteration done : 132 enodes (cost 6 ) 125.187 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 125.188 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 125.194 * * [simplify]: iteration 2 : 98 enodes (cost 9 ) 125.269 * * [simplify]: iteration 3 : 492 enodes (cost 7 ) 126.382 * * [simplify]: iteration 4 : 2187 enodes (cost 7 ) 128.221 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 128.222 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 128.223 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 128.224 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 128.228 * * [simplify]: iteration 3 : 47 enodes (cost 6 ) 128.237 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 128.249 * * [simplify]: iteration 5 : 106 enodes (cost 6 ) 128.278 * * [simplify]: iteration 6 : 129 enodes (cost 6 ) 128.297 * * [simplify]: iteration 7 : 132 enodes (cost 6 ) 128.314 * * [simplify]: iteration done : 132 enodes (cost 6 ) 128.315 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 128.316 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 128.317 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 128.322 * * [simplify]: iteration 3 : 47 enodes (cost 6 ) 128.330 * * [simplify]: iteration 4 : 72 enodes (cost 6 ) 128.348 * * [simplify]: iteration 5 : 106 enodes (cost 6 ) 128.372 * * [simplify]: iteration 6 : 129 enodes (cost 6 ) 128.396 * * [simplify]: iteration 7 : 132 enodes (cost 6 ) 128.413 * * [simplify]: iteration done : 132 enodes (cost 6 ) 128.413 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 128.414 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 128.416 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 128.418 * * [simplify]: iteration done : 17 enodes (cost 9 ) 128.418 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 128.419 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 128.421 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 128.422 * * [simplify]: iteration done : 17 enodes (cost 9 ) 128.423 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 128.424 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 128.426 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 128.427 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 128.430 * * [simplify]: iteration 4 : 23 enodes (cost 10 ) 128.432 * * [simplify]: iteration done : 23 enodes (cost 10 ) 128.433 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 128.434 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 128.435 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 128.437 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 128.439 * * [simplify]: iteration 4 : 23 enodes (cost 10 ) 128.441 * * [simplify]: iteration done : 23 enodes (cost 10 ) 128.442 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 128.443 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 128.445 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 128.450 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 128.466 * * [simplify]: iteration 4 : 106 enodes (cost 8 ) 128.489 * * [simplify]: iteration 5 : 113 enodes (cost 8 ) 128.509 * * [simplify]: iteration done : 113 enodes (cost 8 ) 128.510 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 128.511 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 128.513 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 128.523 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 128.534 * * [simplify]: iteration 4 : 106 enodes (cost 8 ) 128.556 * * [simplify]: iteration 5 : 113 enodes (cost 8 ) 128.582 * * [simplify]: iteration done : 113 enodes (cost 8 ) 128.582 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 128.584 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 128.585 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 128.589 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 128.601 * * [simplify]: iteration 4 : 110 enodes (cost 8 ) 128.624 * * [simplify]: iteration 5 : 121 enodes (cost 8 ) 128.649 * * [simplify]: iteration done : 121 enodes (cost 8 ) 128.650 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 128.651 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 128.653 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 128.657 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 128.668 * * [simplify]: iteration 4 : 110 enodes (cost 8 ) 128.691 * * [simplify]: iteration 5 : 121 enodes (cost 8 ) 128.715 * * [simplify]: iteration done : 121 enodes (cost 8 ) 128.716 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 128.717 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 128.719 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 128.721 * * [simplify]: iteration done : 21 enodes (cost 15 ) 128.722 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 128.723 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 128.724 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 128.725 * * [simplify]: iteration done : 16 enodes (cost 8 ) 128.726 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 128.727 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 128.730 * * [simplify]: iteration 2 : 51 enodes (cost 17 ) 128.739 * * [simplify]: iteration 3 : 90 enodes (cost 17 ) 128.765 * * [simplify]: iteration 4 : 146 enodes (cost 17 ) 128.797 * * [simplify]: iteration 5 : 160 enodes (cost 17 ) 128.833 * * [simplify]: iteration done : 160 enodes (cost 17 ) 128.833 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 128.835 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 128.836 * * [simplify]: iteration 2 : 27 enodes (cost 14 ) 128.840 * * [simplify]: iteration 3 : 42 enodes (cost 14 ) 128.846 * * [simplify]: iteration 4 : 55 enodes (cost 14 ) 128.854 * * [simplify]: iteration 5 : 57 enodes (cost 14 ) 128.861 * * [simplify]: iteration done : 57 enodes (cost 14 ) 128.862 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 128.863 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 128.865 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 128.872 * * [simplify]: iteration 3 : 69 enodes (cost 11 ) 128.890 * * [simplify]: iteration 4 : 103 enodes (cost 11 ) 128.901 * * [simplify]: iteration done : 103 enodes (cost 11 ) 128.902 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 128.903 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 128.905 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 128.908 * * [simplify]: iteration 3 : 42 enodes (cost 12 ) 128.914 * * [simplify]: iteration 4 : 54 enodes (cost 12 ) 128.921 * * [simplify]: iteration done : 54 enodes (cost 12 ) 128.922 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 128.923 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 128.925 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 128.927 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 128.929 * * [simplify]: iteration 4 : 22 enodes (cost 9 ) 128.931 * * [simplify]: iteration done : 22 enodes (cost 9 ) 128.932 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 128.933 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 128.934 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 128.936 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 128.939 * * [simplify]: iteration 4 : 34 enodes (cost 6 ) 128.947 * * [simplify]: iteration done : 34 enodes (cost 6 ) 128.948 * * [simplify]: iteration 0 : 13 enodes (cost 19 ) 128.950 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 128.955 * * [simplify]: iteration 2 : 85 enodes (cost 15 ) 128.983 * * [simplify]: iteration 3 : 246 enodes (cost 13 ) 129.135 * * [simplify]: iteration 4 : 568 enodes (cost 13 ) 129.489 * * [simplify]: iteration 5 : 768 enodes (cost 13 ) 129.848 * * [simplify]: iteration 6 : 830 enodes (cost 13 ) 130.217 * * [simplify]: iteration 7 : 842 enodes (cost 13 ) 130.581 * * [simplify]: iteration done : 842 enodes (cost 13 ) 130.582 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 130.583 * * [simplify]: iteration 1 : 25 enodes (cost 14 ) 130.587 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 130.603 * * [simplify]: iteration 3 : 143 enodes (cost 10 ) 130.653 * * [simplify]: iteration 4 : 253 enodes (cost 10 ) 130.733 * * [simplify]: iteration 5 : 306 enodes (cost 10 ) 130.816 * * [simplify]: iteration 6 : 330 enodes (cost 10 ) 130.897 * * [simplify]: iteration 7 : 338 enodes (cost 10 ) 130.979 * * [simplify]: iteration done : 338 enodes (cost 10 ) 130.980 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 130.981 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 130.987 * * [simplify]: iteration 2 : 72 enodes (cost 9 ) 131.012 * * [simplify]: iteration 3 : 162 enodes (cost 7 ) 131.063 * * [simplify]: iteration 4 : 248 enodes (cost 7 ) 131.105 * * [simplify]: iteration 5 : 258 enodes (cost 7 ) 131.133 * * [simplify]: iteration done : 258 enodes (cost 7 ) 131.134 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 131.136 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 131.139 * * [simplify]: iteration 2 : 57 enodes (cost 12 ) 131.157 * * [simplify]: iteration 3 : 126 enodes (cost 10 ) 131.217 * * [simplify]: iteration 4 : 289 enodes (cost 10 ) 131.339 * * [simplify]: iteration 5 : 379 enodes (cost 10 ) 131.425 * * [simplify]: iteration 6 : 402 enodes (cost 10 ) 131.508 * * [simplify]: iteration 7 : 403 enodes (cost 10 ) 131.586 * * [simplify]: iteration done : 403 enodes (cost 10 ) 131.586 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 131.588 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 131.590 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 131.598 * * [simplify]: iteration 3 : 78 enodes (cost 7 ) 131.622 * * [simplify]: iteration 4 : 128 enodes (cost 7 ) 131.649 * * [simplify]: iteration 5 : 147 enodes (cost 7 ) 131.672 * * [simplify]: iteration 6 : 153 enodes (cost 7 ) 131.690 * * [simplify]: iteration 7 : 155 enodes (cost 7 ) 131.709 * * [simplify]: iteration done : 155 enodes (cost 7 ) 131.709 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 131.711 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 131.715 * * [simplify]: iteration 2 : 47 enodes (cost 6 ) 131.724 * * [simplify]: iteration 3 : 83 enodes (cost 4 ) 131.745 * * [simplify]: iteration 4 : 127 enodes (cost 4 ) 131.758 * * [simplify]: iteration 5 : 132 enodes (cost 4 ) 131.766 * * [simplify]: iteration done : 132 enodes (cost 4 ) 131.767 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 131.769 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 131.774 * * [simplify]: iteration 2 : 64 enodes (cost 9 ) 131.788 * * [simplify]: iteration 3 : 113 enodes (cost 7 ) 131.810 * * [simplify]: iteration 4 : 139 enodes (cost 7 ) 131.835 * * [simplify]: iteration 5 : 177 enodes (cost 7 ) 131.870 * * [simplify]: iteration 6 : 202 enodes (cost 7 ) 131.897 * * [simplify]: iteration done : 202 enodes (cost 7 ) 131.898 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 131.900 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 131.903 * * [simplify]: iteration 2 : 44 enodes (cost 6 ) 131.909 * * [simplify]: iteration 3 : 61 enodes (cost 4 ) 131.920 * * [simplify]: iteration 4 : 65 enodes (cost 4 ) 131.926 * * [simplify]: iteration 5 : 80 enodes (cost 4 ) 131.936 * * [simplify]: iteration 6 : 97 enodes (cost 4 ) 131.945 * * [simplify]: iteration done : 97 enodes (cost 4 ) 131.945 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 131.947 * * [simplify]: iteration 1 : 16 enodes (cost 3 ) 131.948 * * [simplify]: iteration 2 : 19 enodes (cost 1 ) 131.948 * * [simplify]: iteration done : 19 enodes (cost 1 ) 131.949 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 131.951 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 131.954 * * [simplify]: iteration 2 : 53 enodes (cost 15 ) 131.967 * * [simplify]: iteration 3 : 137 enodes (cost 13 ) 132.026 * * [simplify]: iteration 4 : 332 enodes (cost 13 ) 132.344 * * [simplify]: iteration 5 : 726 enodes (cost 13 ) 132.914 * * [simplify]: iteration 6 : 970 enodes (cost 13 ) 133.303 * * [simplify]: iteration 7 : 995 enodes (cost 13 ) 133.663 * * [simplify]: iteration done : 995 enodes (cost 13 ) 133.664 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 133.665 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 133.668 * * [simplify]: iteration 2 : 36 enodes (cost 12 ) 133.680 * * [simplify]: iteration 3 : 78 enodes (cost 10 ) 133.700 * * [simplify]: iteration 4 : 155 enodes (cost 10 ) 133.765 * * [simplify]: iteration 5 : 273 enodes (cost 10 ) 133.870 * * [simplify]: iteration 6 : 338 enodes (cost 10 ) 133.957 * * [simplify]: iteration 7 : 351 enodes (cost 10 ) 134.044 * * [simplify]: iteration done : 351 enodes (cost 10 ) 134.045 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 134.046 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 134.049 * * [simplify]: iteration 2 : 43 enodes (cost 9 ) 134.058 * * [simplify]: iteration 3 : 91 enodes (cost 7 ) 134.095 * * [simplify]: iteration 4 : 175 enodes (cost 7 ) 134.133 * * [simplify]: iteration 5 : 216 enodes (cost 7 ) 134.173 * * [simplify]: iteration 6 : 223 enodes (cost 7 ) 134.203 * * [simplify]: iteration done : 223 enodes (cost 7 ) 134.208 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 134.209 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 134.212 * * [simplify]: iteration 2 : 42 enodes (cost 12 ) 134.220 * * [simplify]: iteration 3 : 84 enodes (cost 10 ) 134.242 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 134.330 * * [simplify]: iteration 5 : 308 enodes (cost 10 ) 134.445 * * [simplify]: iteration 6 : 358 enodes (cost 10 ) 134.530 * * [simplify]: iteration 7 : 361 enodes (cost 10 ) 134.612 * * [simplify]: iteration done : 361 enodes (cost 10 ) 134.613 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 134.614 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 134.616 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 134.620 * * [simplify]: iteration 3 : 49 enodes (cost 7 ) 134.629 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 134.642 * * [simplify]: iteration 5 : 108 enodes (cost 7 ) 134.664 * * [simplify]: iteration 6 : 123 enodes (cost 7 ) 134.690 * * [simplify]: iteration 7 : 126 enodes (cost 7 ) 134.707 * * [simplify]: iteration done : 126 enodes (cost 7 ) 134.708 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 134.709 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 134.711 * * [simplify]: iteration 2 : 33 enodes (cost 6 ) 134.716 * * [simplify]: iteration 3 : 52 enodes (cost 4 ) 134.727 * * [simplify]: iteration 4 : 88 enodes (cost 4 ) 134.743 * * [simplify]: iteration 5 : 93 enodes (cost 4 ) 134.753 * * [simplify]: iteration 6 : 98 enodes (cost 4 ) 134.762 * * [simplify]: iteration done : 98 enodes (cost 4 ) 134.763 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 134.764 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 134.767 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 134.772 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 134.785 * * [simplify]: iteration 4 : 97 enodes (cost 7 ) 134.817 * * [simplify]: iteration 5 : 157 enodes (cost 7 ) 134.848 * * [simplify]: iteration 6 : 196 enodes (cost 7 ) 134.886 * * [simplify]: iteration 7 : 203 enodes (cost 7 ) 134.920 * * [simplify]: iteration done : 203 enodes (cost 7 ) 134.921 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 134.922 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 134.923 * * [simplify]: iteration 2 : 21 enodes (cost 4 ) 134.926 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 134.930 * * [simplify]: iteration 4 : 42 enodes (cost 4 ) 134.934 * * [simplify]: iteration 5 : 54 enodes (cost 4 ) 134.945 * * [simplify]: iteration 6 : 85 enodes (cost 4 ) 134.956 * * [simplify]: iteration 7 : 86 enodes (cost 4 ) 134.965 * * [simplify]: iteration done : 86 enodes (cost 4 ) 134.966 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 134.967 * * [simplify]: iteration 1 : 13 enodes (cost 3 ) 134.968 * * [simplify]: iteration 2 : 16 enodes (cost 1 ) 134.968 * * [simplify]: iteration done : 16 enodes (cost 1 ) 134.969 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 134.970 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 134.979 * * [simplify]: iteration 2 : 52 enodes (cost 15 ) 134.991 * * [simplify]: iteration 3 : 135 enodes (cost 13 ) 135.049 * * [simplify]: iteration 4 : 329 enodes (cost 13 ) 135.366 * * [simplify]: iteration 5 : 717 enodes (cost 13 ) 135.933 * * [simplify]: iteration 6 : 949 enodes (cost 13 ) 136.321 * * [simplify]: iteration 7 : 975 enodes (cost 13 ) 136.684 * * [simplify]: iteration done : 975 enodes (cost 13 ) 136.685 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 136.686 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 136.688 * * [simplify]: iteration 2 : 35 enodes (cost 12 ) 136.695 * * [simplify]: iteration 3 : 77 enodes (cost 10 ) 136.716 * * [simplify]: iteration 4 : 158 enodes (cost 10 ) 136.794 * * [simplify]: iteration 5 : 286 enodes (cost 10 ) 136.905 * * [simplify]: iteration 6 : 357 enodes (cost 10 ) 136.994 * * [simplify]: iteration 7 : 385 enodes (cost 10 ) 137.077 * * [simplify]: iteration done : 385 enodes (cost 10 ) 137.078 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 137.079 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 137.082 * * [simplify]: iteration 2 : 42 enodes (cost 9 ) 137.091 * * [simplify]: iteration 3 : 89 enodes (cost 7 ) 137.122 * * [simplify]: iteration 4 : 170 enodes (cost 7 ) 137.167 * * [simplify]: iteration 5 : 217 enodes (cost 7 ) 137.206 * * [simplify]: iteration 6 : 230 enodes (cost 7 ) 137.235 * * [simplify]: iteration done : 230 enodes (cost 7 ) 137.236 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 137.237 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 137.239 * * [simplify]: iteration 2 : 41 enodes (cost 12 ) 137.252 * * [simplify]: iteration 3 : 84 enodes (cost 10 ) 137.276 * * [simplify]: iteration 4 : 171 enodes (cost 10 ) 137.359 * * [simplify]: iteration 5 : 318 enodes (cost 10 ) 137.483 * * [simplify]: iteration 6 : 375 enodes (cost 10 ) 137.593 * * [simplify]: iteration 7 : 386 enodes (cost 10 ) 137.678 * * [simplify]: iteration done : 386 enodes (cost 10 ) 137.678 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 137.679 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 137.681 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 137.686 * * [simplify]: iteration 3 : 48 enodes (cost 7 ) 137.694 * * [simplify]: iteration 4 : 73 enodes (cost 7 ) 137.707 * * [simplify]: iteration 5 : 104 enodes (cost 7 ) 137.728 * * [simplify]: iteration 6 : 119 enodes (cost 7 ) 137.754 * * [simplify]: iteration 7 : 122 enodes (cost 7 ) 137.771 * * [simplify]: iteration done : 122 enodes (cost 7 ) 137.773 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 137.773 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 137.776 * * [simplify]: iteration 2 : 32 enodes (cost 6 ) 137.781 * * [simplify]: iteration 3 : 51 enodes (cost 4 ) 137.791 * * [simplify]: iteration 4 : 87 enodes (cost 4 ) 137.808 * * [simplify]: iteration 5 : 94 enodes (cost 4 ) 137.818 * * [simplify]: iteration 6 : 95 enodes (cost 4 ) 137.827 * * [simplify]: iteration done : 95 enodes (cost 4 ) 137.828 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 137.829 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 137.831 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 137.838 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 137.850 * * [simplify]: iteration 4 : 96 enodes (cost 7 ) 137.883 * * [simplify]: iteration 5 : 156 enodes (cost 7 ) 137.917 * * [simplify]: iteration 6 : 193 enodes (cost 7 ) 137.954 * * [simplify]: iteration 7 : 201 enodes (cost 7 ) 137.988 * * [simplify]: iteration done : 201 enodes (cost 7 ) 137.989 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 137.990 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 137.992 * * [simplify]: iteration 2 : 20 enodes (cost 4 ) 137.994 * * [simplify]: iteration 3 : 29 enodes (cost 4 ) 137.998 * * [simplify]: iteration 4 : 41 enodes (cost 4 ) 138.003 * * [simplify]: iteration 5 : 53 enodes (cost 4 ) 138.013 * * [simplify]: iteration 6 : 76 enodes (cost 4 ) 138.024 * * [simplify]: iteration 7 : 78 enodes (cost 4 ) 138.033 * * [simplify]: iteration done : 78 enodes (cost 4 ) 138.033 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 138.034 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 138.035 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 138.036 * * [simplify]: iteration done : 15 enodes (cost 1 ) 138.036 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 138.037 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 138.039 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 138.048 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 138.053 * * [simplify]: iteration 4 : 49 enodes (cost 7 ) 138.065 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 138.075 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 138.084 * * [simplify]: iteration done : 82 enodes (cost 7 ) 138.084 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 138.085 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 138.086 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 138.088 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 138.089 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 138.091 * * [simplify]: iteration 5 : 21 enodes (cost 4 ) 138.093 * * [simplify]: iteration done : 21 enodes (cost 4 ) 138.093 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 138.094 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 138.095 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 138.096 * * [simplify]: iteration done : 14 enodes (cost 1 ) 138.096 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 138.097 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 138.100 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 138.102 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 138.113 * * [simplify]: iteration 4 : 49 enodes (cost 7 ) 138.124 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 138.134 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 138.144 * * [simplify]: iteration done : 82 enodes (cost 7 ) 138.144 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 138.145 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 138.146 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 138.147 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 138.149 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 138.150 * * [simplify]: iteration 5 : 21 enodes (cost 4 ) 138.152 * * [simplify]: iteration done : 21 enodes (cost 4 ) 138.153 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 138.154 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 138.155 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 138.155 * * [simplify]: iteration done : 14 enodes (cost 1 ) 138.156 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.156 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 138.157 * * [simplify]: iteration done : 6 enodes (cost 1 ) 138.157 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 138.158 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 138.159 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 138.160 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 138.162 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 138.164 * * [simplify]: iteration 5 : 21 enodes (cost 3 ) 138.165 * * [simplify]: iteration done : 21 enodes (cost 3 ) 138.167 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 138.168 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 138.169 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 138.179 * * [simplify]: iteration 3 : 47 enodes (cost 6 ) 138.191 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 138.212 * * [simplify]: iteration 5 : 119 enodes (cost 6 ) 138.238 * * [simplify]: iteration done : 119 enodes (cost 6 ) 138.238 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 138.239 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 138.241 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 138.245 * * [simplify]: iteration 3 : 47 enodes (cost 6 ) 138.256 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 138.279 * * [simplify]: iteration 5 : 119 enodes (cost 6 ) 138.303 * * [simplify]: iteration done : 119 enodes (cost 6 ) 138.304 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 138.305 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 138.306 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 138.310 * * [simplify]: iteration 3 : 46 enodes (cost 5 ) 138.319 * * [simplify]: iteration 4 : 71 enodes (cost 5 ) 138.333 * * [simplify]: iteration 5 : 105 enodes (cost 5 ) 138.362 * * [simplify]: iteration 6 : 128 enodes (cost 5 ) 138.382 * * [simplify]: iteration 7 : 131 enodes (cost 5 ) 138.399 * * [simplify]: iteration done : 131 enodes (cost 5 ) 138.400 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 138.400 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 138.402 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 138.403 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 138.404 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 138.406 * * [simplify]: iteration 5 : 21 enodes (cost 3 ) 138.408 * * [simplify]: iteration done : 21 enodes (cost 3 ) 138.408 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.409 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.409 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.410 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.410 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.410 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.411 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 138.412 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 138.418 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 138.419 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 138.421 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 138.423 * * [simplify]: iteration done : 16 enodes (cost 5 ) 138.424 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 138.425 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 138.426 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 138.427 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 138.429 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 138.431 * * [simplify]: iteration done : 16 enodes (cost 5 ) 138.432 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 138.432 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 138.433 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 138.435 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 138.437 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 138.439 * * [simplify]: iteration done : 16 enodes (cost 5 ) 138.441 * [simplify]: Simplified to: (- (neg (log y)) (log 3.0)) (- (neg (log y)) (log 3.0)) (- (neg (log y)) (log 3.0)) (- (neg (log y)) (log 3.0)) (neg (log (* 3.0 y))) (exp (/ (/ 1 y) 3.0)) (pow (/ (/ 1 y) 3.0) 3) (pow (/ (/ 1 y) 3.0) 3) (* (cbrt (/ (/ 1 y) 3.0)) (cbrt (/ (/ 1 y) 3.0))) (cbrt (/ (/ 1 y) 3.0)) (pow (/ (/ 1 y) 3.0) 3) (sqrt (/ (/ 1 y) 3.0)) (sqrt (/ (/ 1 y) 3.0)) (/ -1 y) (neg 3.0) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (/ 1 y)) (cbrt 3.0)) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt 3.0)) (/ (cbrt (/ 1 y)) (sqrt 3.0)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (/ (cbrt (/ 1 y)) 3.0) (/ (sqrt (/ 1 y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (/ 1 y)) (cbrt 3.0)) (/ (sqrt (/ 1 y)) (sqrt 3.0)) (/ (sqrt (/ 1 y)) (sqrt 3.0)) (sqrt (/ 1 y)) (/ (sqrt (/ 1 y)) 3.0) (/ (/ (/ 1 (cbrt y)) (cbrt y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 (cbrt y)) (cbrt 3.0)) (/ 1 (* (sqrt 3.0) (* (cbrt y) (cbrt y)))) (/ (/ 1 (cbrt y)) (sqrt 3.0)) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) 3.0) (/ 1 (* (* (cbrt 3.0) (cbrt 3.0)) (sqrt y))) (/ (/ 1 (sqrt y)) (cbrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ 1 (sqrt y)) (/ (/ 1 (sqrt y)) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) 1 (/ (/ 1 y) 3.0) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 (cbrt y)) (cbrt 3.0)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt 3.0)) (/ (/ 1 (cbrt y)) (sqrt 3.0)) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) 3.0) (/ (/ 1 (sqrt y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 (sqrt y)) (cbrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ 1 (sqrt y)) (/ (/ 1 (sqrt y)) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) 1 (/ (/ 1 y) 3.0) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 (cbrt y)) (cbrt 3.0)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt 3.0)) (/ (/ 1 (cbrt y)) (sqrt 3.0)) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ 1 (cbrt y)) 3.0) (/ (/ 1 (sqrt y)) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 (sqrt y)) (cbrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ (/ 1 (sqrt y)) (sqrt 3.0)) (/ 1 (sqrt y)) (/ (/ 1 (sqrt y)) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) 1 (/ (/ 1 y) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) 1 (/ (/ 1 y) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (/ 1 y) (sqrt 3.0)) 1 (/ (/ 1 y) 3.0) (/ 1 3.0) (* 3.0 y) (/ (/ 1 y) (* (cbrt 3.0) (cbrt 3.0))) (/ (/ 1 y) (sqrt 3.0)) (/ 1 y) (/ 3.0 (cbrt (/ 1 y))) (/ 3.0 (sqrt (/ 1 y))) (* 3.0 (cbrt y)) (* 3.0 (sqrt y)) (* 3.0 y) (* 3.0 (cbrt y)) (* 3.0 (sqrt y)) (* 3.0 y) (* 3.0 (cbrt y)) (* 3.0 (sqrt y)) (* 3.0 y) (* 3.0 y) (* 3.0 y) (* 3.0 y) (/ x (* 3.0 y)) (- (- (log x) (log y)) (log 3.0)) (- (- (log x) (log y)) (log 3.0)) (- (log x) (+ (log y) (log 3.0))) (- (- (log x) (log y)) (log 3.0)) (- (log x) (log (* 3.0 y))) (log (/ x (* 3.0 y))) (exp (/ x (* 3.0 y))) (/ (pow x 3) (* (pow 3.0 3) (pow y 3))) (/ (pow x 3) (pow (* 3.0 y) 3)) (pow (/ (/ x 3.0) y) 3) (* (cbrt (/ x (* 3.0 y))) (cbrt (/ x (* 3.0 y)))) (cbrt (/ x (* 3.0 y))) (pow (/ x (* 3.0 y)) 3) (sqrt (/ x (* 3.0 y))) (sqrt (/ x (* 3.0 y))) (* (sqrt x) (sqrt (/ (/ 1 y) 3.0))) (* (sqrt x) (sqrt (/ (/ 1 y) 3.0))) (* (sqrt x) (/ (sqrt (/ 1 y)) (sqrt 3.0))) (* (sqrt x) (/ (sqrt (/ 1 y)) (sqrt 3.0))) (/ (sqrt x) (* (sqrt 3.0) (sqrt y))) (/ (sqrt x) (* (sqrt 3.0) (sqrt y))) (/ (sqrt x) (* (sqrt 3.0) (sqrt y))) (/ (sqrt x) (* (sqrt 3.0) (sqrt y))) (* x (* (cbrt (/ (/ 1 y) 3.0)) (cbrt (/ (/ 1 y) 3.0)))) (* x (sqrt (/ (/ 1 y) 3.0))) (* x (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (sqrt 3.0))) (* (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) x) (* x (/ (sqrt (/ 1 y)) (* (cbrt 3.0) (cbrt 3.0)))) (* x (/ (sqrt (/ 1 y)) (sqrt 3.0))) (* (sqrt (/ 1 y)) x) (/ x (* (* (cbrt y) (cbrt y)) (* (cbrt 3.0) (cbrt 3.0)))) (/ x (* (* (cbrt y) (cbrt y)) (sqrt 3.0))) (/ (/ x (cbrt y)) (cbrt y)) (/ (/ x (cbrt 3.0)) (* (cbrt 3.0) (sqrt y))) (/ x (* (sqrt y) (sqrt 3.0))) (/ x (sqrt y)) (/ (/ x (cbrt 3.0)) (cbrt 3.0)) (/ x (sqrt 3.0)) x (/ (/ (/ x (* (cbrt y) (cbrt y))) (cbrt 3.0)) (cbrt 3.0)) (/ x (* (sqrt 3.0) (* (cbrt y) (cbrt y)))) (/ (/ x (cbrt y)) (cbrt y)) (/ x (* (* (cbrt 3.0) (cbrt 3.0)) (sqrt y))) (/ x (* (sqrt 3.0) (sqrt y))) (/ x (sqrt y)) (/ x (* (cbrt 3.0) (cbrt 3.0))) (/ x (sqrt 3.0)) x (/ x (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt y) (cbrt y)))) (/ (/ x (cbrt y)) (* (sqrt 3.0) (cbrt y))) (/ x (* (cbrt y) (cbrt y))) (/ x (* (* (cbrt 3.0) (cbrt 3.0)) (sqrt y))) (/ x (* (sqrt 3.0) (sqrt y))) (/ x (sqrt y)) (/ x (* (cbrt 3.0) (cbrt 3.0))) (/ x (sqrt 3.0)) x (/ x (* (cbrt 3.0) (cbrt 3.0))) (/ x (sqrt 3.0)) x (/ x (* (cbrt 3.0) (cbrt 3.0))) (/ x (sqrt 3.0)) x x (/ x y) (/ (cbrt x) (* 3.0 y)) (/ (sqrt x) (* 3.0 y)) (/ x (* 3.0 y)) (/ x y) (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (/ 0.3333333333333333 y) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) (* 0.3333333333333333 (/ x y)) 138.442 * * * [progress]: adding candidates to table 138.611 * [progress]: [Phase 3 of 3] Extracting. 138.611 * * [regime]: Finding splitpoints for: (# # # # # #) 138.611 * * * [regime-changes]: Trying 4 branch expressions: ((* y 3.0) (/ x (* y 3.0)) y x) 138.611 * * * * [regimes]: Trying to branch on (* y 3.0) from (# # # # # #) 138.659 * * * * [regimes]: Trying to branch on (/ x (* y 3.0)) from (# # # # # #) 138.707 * * * * [regimes]: Trying to branch on y from (# # # # # #) 138.751 * * * * [regimes]: Trying to branch on x from (# # # # # #) 138.797 * * * [regime]: Found split indices: #