77.812 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (/ (+ x y) (+ y 1.0)) 0.018 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.019 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.020 * * [simplify]: iteration done : 8 enodes (cost 7 ) 0.020 * [simplify]: Simplified to: (/ (+ x y) (+ y 1.0)) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.027 * * * * [pick]: Picked # 0.027 * * * [progress]: localizing error 0.032 * * * [progress]: generating rewritten candidates 0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.042 * * * [progress]: generating series expansions 0.042 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.043 * [approximate]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in (x y) around 0 0.043 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in y 0.043 * [taylor]: Taking taylor expansion of (+ x y) in y 0.043 * [taylor]: Taking taylor expansion of x in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of 1.0 in y 0.043 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 0.043 * [taylor]: Taking taylor expansion of (+ x y) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of 1.0 in x 0.043 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 0.043 * [taylor]: Taking taylor expansion of (+ x y) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of 1.0 in x 0.043 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of 1.0 in y 0.044 * [taylor]: Taking taylor expansion of (/ 1 (+ y 1.0)) in y 0.044 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of 1.0 in y 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.044 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in (x y) around 0 0.044 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in y 0.044 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.044 * [taylor]: Taking taylor expansion of x in y 0.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 0.044 * [taylor]: Taking taylor expansion of 1.0 in y 0.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 0.044 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.045 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 0.045 * [taylor]: Taking taylor expansion of 1.0 in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.045 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 0.045 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.045 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 0.045 * [taylor]: Taking taylor expansion of 1.0 in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.045 * [taylor]: Taking taylor expansion of y in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 y))) in y 0.045 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 0.045 * [taylor]: Taking taylor expansion of 1.0 in y 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of (/ 1 (* (+ 1.0 (/ 1 y)) y)) in y 0.046 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in y 0.046 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 0.046 * [taylor]: Taking taylor expansion of 1.0 in y 0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of 0 in y 0.047 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in (x y) around 0 0.047 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in y 0.047 * [taylor]: Taking taylor expansion of -1 in y 0.047 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in y 0.047 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.047 * [taylor]: Taking taylor expansion of x in y 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.047 * [taylor]: Taking taylor expansion of y in y 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.047 * [taylor]: Taking taylor expansion of 1.0 in y 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.047 * [taylor]: Taking taylor expansion of y in y 0.047 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 0.047 * [taylor]: Taking taylor expansion of -1 in x 0.047 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 0.047 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.047 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.047 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 0.047 * [taylor]: Taking taylor expansion of -1 in x 0.047 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 0.047 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.047 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.048 * [taylor]: Taking taylor expansion of y in x 0.048 * [taylor]: Taking taylor expansion of (/ -1 (- 1.0 (/ 1 y))) in y 0.048 * [taylor]: Taking taylor expansion of -1 in y 0.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.048 * [taylor]: Taking taylor expansion of 1.0 in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.048 * [taylor]: Taking taylor expansion of (neg (/ 1 (* y (- 1.0 (/ 1 y))))) in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 1.0 (/ 1 y)))) in y 0.048 * [taylor]: Taking taylor expansion of (* y (- 1.0 (/ 1 y))) in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.048 * [taylor]: Taking taylor expansion of 1.0 in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of 0 in y 0.049 * * * [progress]: simplifying candidates 0.050 * [simplify]: Simplifying using # : (- (log (+ x y)) (log (+ y 1.0))) (log (/ (+ x y) (+ y 1.0))) (exp (/ (+ x y) (+ y 1.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0))) (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))) (cbrt (/ (+ x y) (+ y 1.0))) (* (* (/ (+ x y) (+ y 1.0)) (/ (+ x y) (+ y 1.0))) (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) (neg (+ x y)) (neg (+ y 1.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (cbrt (+ x y)) (cbrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (cbrt (+ x y)) (sqrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (+ y 1.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (+ y 1.0)) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (cbrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (+ y 1.0)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 (+ y 1.0)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (sqrt (+ y 1.0))) (/ (+ x y) 1) (/ (+ x y) 1) (/ (+ y 1.0) (cbrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (+ (pow y 3) (pow 1.0 3))) (/ (+ x y) (- (* y y) (* 1.0 1.0))) (* (+ y 1.0) (+ (* x x) (- (* y y) (* x y)))) (* (+ y 1.0) (- x y)) (- (+ (* 1.0 y) (* 1.0 x)) (* 1.0 (* x y))) (- (+ 1 (/ x y)) (* 1.0 (/ 1 y))) (- (+ 1 (/ x y)) (* 1.0 (/ 1 y))) 0.051 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.052 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.053 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 0.054 * * [simplify]: iteration done : 13 enodes (cost 9 ) 0.055 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.056 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.057 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 0.058 * * [simplify]: iteration 3 : 15 enodes (cost 8 ) 0.060 * * [simplify]: iteration done : 15 enodes (cost 8 ) 0.060 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.061 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 0.062 * * [simplify]: iteration done : 9 enodes (cost 8 ) 0.063 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 0.065 * * [simplify]: iteration 1 : 45 enodes (cost 23 ) 0.073 * * [simplify]: iteration 2 : 136 enodes (cost 11 ) 0.110 * * [simplify]: iteration 3 : 337 enodes (cost 9 ) 0.229 * * [simplify]: iteration 4 : 917 enodes (cost 9 ) 0.785 * * [simplify]: iteration 5 : 2632 enodes (cost 9 ) 1.892 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 1.893 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 1.893 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 1.894 * * [simplify]: iteration done : 10 enodes (cost 17 ) 1.895 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 1.896 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 1.897 * * [simplify]: iteration done : 9 enodes (cost 8 ) 1.897 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 1.898 * * [simplify]: iteration 1 : 17 enodes (cost 23 ) 1.901 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 1.911 * * [simplify]: iteration 3 : 121 enodes (cost 9 ) 1.944 * * [simplify]: iteration 4 : 316 enodes (cost 9 ) 2.044 * * [simplify]: iteration 5 : 693 enodes (cost 9 ) 2.346 * * [simplify]: iteration 6 : 1527 enodes (cost 9 ) 3.322 * * [simplify]: iteration 7 : 3746 enodes (cost 9 ) 4.542 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 4.542 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.543 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.544 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.545 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.545 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.546 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.547 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 4.547 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 4.548 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 4.549 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 4.550 * * [simplify]: iteration done : 11 enodes (cost 4 ) 4.551 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 4.551 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 4.552 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 4.553 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 4.554 * * [simplify]: iteration done : 11 enodes (cost 4 ) 4.555 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 4.556 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 4.558 * * [simplify]: iteration 2 : 27 enodes (cost 19 ) 4.561 * * [simplify]: iteration 3 : 33 enodes (cost 19 ) 4.565 * * [simplify]: iteration done : 33 enodes (cost 19 ) 4.566 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.566 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 4.567 * * [simplify]: iteration done : 10 enodes (cost 9 ) 4.568 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 4.569 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 4.570 * * [simplify]: iteration 2 : 15 enodes (cost 14 ) 4.572 * * [simplify]: iteration 3 : 16 enodes (cost 14 ) 4.573 * * [simplify]: iteration done : 16 enodes (cost 14 ) 4.574 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.575 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 4.576 * * [simplify]: iteration done : 10 enodes (cost 9 ) 4.576 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.577 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 4.578 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 4.580 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 4.582 * * [simplify]: iteration done : 23 enodes (cost 9 ) 4.582 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.583 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.584 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.584 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.585 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 4.586 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 4.588 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 4.593 * * [simplify]: iteration done : 23 enodes (cost 9 ) 4.594 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.595 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.596 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.596 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 4.597 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 4.598 * * [simplify]: iteration done : 13 enodes (cost 14 ) 4.599 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.600 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 4.601 * * [simplify]: iteration done : 10 enodes (cost 9 ) 4.601 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.602 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 4.603 * * [simplify]: iteration done : 10 enodes (cost 9 ) 4.604 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 4.605 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 4.605 * * [simplify]: iteration done : 10 enodes (cost 9 ) 4.606 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.607 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 4.607 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 4.608 * * [simplify]: iteration done : 11 enodes (cost 4 ) 4.609 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.609 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.610 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.611 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.611 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 4.612 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 4.613 * * [simplify]: iteration done : 11 enodes (cost 4 ) 4.613 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.614 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.615 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.615 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.616 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 4.618 * * [simplify]: iteration done : 12 enodes (cost 11 ) 4.618 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.619 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.620 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.620 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.621 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 4.622 * * [simplify]: iteration done : 9 enodes (cost 6 ) 4.622 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.623 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.624 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.625 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.625 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.625 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.626 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.626 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 4.627 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.628 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.628 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.628 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.629 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.629 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 4.630 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.631 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 4.632 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 4.633 * * [simplify]: iteration done : 12 enodes (cost 11 ) 4.633 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.634 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.635 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.635 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.636 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 4.637 * * [simplify]: iteration done : 9 enodes (cost 6 ) 4.637 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.638 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.639 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.639 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.640 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.640 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.640 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.641 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 4.642 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.642 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 4.643 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 4.643 * * [simplify]: iteration done : 4 enodes (cost 1 ) 4.643 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.644 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 4.645 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.645 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.646 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 4.647 * * [simplify]: iteration done : 8 enodes (cost 5 ) 4.647 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.648 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 4.649 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.649 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 4.650 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 4.651 * * [simplify]: iteration done : 12 enodes (cost 13 ) 4.652 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.653 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.654 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.654 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.655 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 4.655 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 4.656 * * [simplify]: iteration done : 10 enodes (cost 3 ) 4.657 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 4.657 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 4.658 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 4.658 * * [simplify]: iteration done : 10 enodes (cost 3 ) 4.659 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.660 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.661 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.661 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.662 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 4.663 * * [simplify]: iteration done : 9 enodes (cost 8 ) 4.663 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.664 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 4.668 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.669 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.669 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 4.670 * * [simplify]: iteration done : 8 enodes (cost 7 ) 4.671 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 4.672 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 4.675 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 4.679 * * [simplify]: iteration 3 : 50 enodes (cost 11 ) 4.686 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 4.705 * * [simplify]: iteration 5 : 200 enodes (cost 11 ) 4.800 * * [simplify]: iteration 6 : 601 enodes (cost 11 ) 5.698 * * [simplify]: iteration 7 : 2415 enodes (cost 11 ) 7.721 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 7.722 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 7.723 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 7.725 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 7.728 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 7.734 * * [simplify]: iteration 4 : 65 enodes (cost 11 ) 7.746 * * [simplify]: iteration 5 : 106 enodes (cost 11 ) 7.773 * * [simplify]: iteration 6 : 164 enodes (cost 11 ) 7.826 * * [simplify]: iteration 7 : 332 enodes (cost 11 ) 8.573 * * [simplify]: iteration 8 : 1613 enodes (cost 11 ) 15.099 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 15.100 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 15.101 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 15.110 * * [simplify]: iteration 2 : 80 enodes (cost 13 ) 15.127 * * [simplify]: iteration 3 : 212 enodes (cost 13 ) 15.205 * * [simplify]: iteration 4 : 524 enodes (cost 13 ) 15.496 * * [simplify]: iteration 5 : 1306 enodes (cost 13 ) 16.788 * * [simplify]: iteration 6 : 2471 enodes (cost 13 ) 20.639 * * [simplify]: iteration 7 : 4614 enodes (cost 13 ) 21.830 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 21.831 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.831 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.833 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 21.844 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 21.855 * * [simplify]: iteration 4 : 100 enodes (cost 7 ) 21.876 * * [simplify]: iteration 5 : 149 enodes (cost 7 ) 21.914 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 21.978 * * [simplify]: iteration 7 : 302 enodes (cost 7 ) 22.099 * * [simplify]: iteration 8 : 512 enodes (cost 7 ) 22.376 * * [simplify]: iteration 9 : 838 enodes (cost 7 ) 22.606 * * [simplify]: iteration 10 : 954 enodes (cost 7 ) 22.835 * * [simplify]: iteration 11 : 962 enodes (cost 7 ) 23.055 * * [simplify]: iteration done : 962 enodes (cost 7 ) 23.056 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 23.057 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 23.060 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 23.070 * * [simplify]: iteration 3 : 98 enodes (cost 9 ) 23.096 * * [simplify]: iteration 4 : 140 enodes (cost 9 ) 23.123 * * [simplify]: iteration 5 : 178 enodes (cost 9 ) 23.162 * * [simplify]: iteration 6 : 258 enodes (cost 9 ) 23.292 * * [simplify]: iteration 7 : 476 enodes (cost 9 ) 23.483 * * [simplify]: iteration 8 : 773 enodes (cost 9 ) 23.949 * * [simplify]: iteration 9 : 1314 enodes (cost 9 ) 25.600 * * [simplify]: iteration 10 : 2573 enodes (cost 9 ) 26.083 * * [simplify]: iteration 11 : 2659 enodes (cost 9 ) 26.497 * * [simplify]: iteration done : 2659 enodes (cost 9 ) 26.498 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.499 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 26.502 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 26.507 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 26.513 * * [simplify]: iteration 4 : 70 enodes (cost 9 ) 26.530 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 26.546 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 26.567 * * [simplify]: iteration 7 : 144 enodes (cost 9 ) 26.592 * * [simplify]: iteration 8 : 164 enodes (cost 9 ) 26.616 * * [simplify]: iteration 9 : 182 enodes (cost 9 ) 26.649 * * [simplify]: iteration 10 : 206 enodes (cost 9 ) 26.705 * * [simplify]: iteration 11 : 273 enodes (cost 9 ) 26.750 * * [simplify]: iteration 12 : 279 enodes (cost 9 ) 26.789 * * [simplify]: iteration done : 279 enodes (cost 9 ) 26.790 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.791 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 26.794 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 26.804 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 26.810 * * [simplify]: iteration 4 : 70 enodes (cost 9 ) 26.823 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 26.839 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 26.864 * * [simplify]: iteration 7 : 144 enodes (cost 9 ) 26.886 * * [simplify]: iteration 8 : 164 enodes (cost 9 ) 26.914 * * [simplify]: iteration 9 : 182 enodes (cost 9 ) 26.943 * * [simplify]: iteration 10 : 206 enodes (cost 9 ) 27.000 * * [simplify]: iteration 11 : 273 enodes (cost 9 ) 27.045 * * [simplify]: iteration 12 : 279 enodes (cost 9 ) 27.090 * * [simplify]: iteration done : 279 enodes (cost 9 ) 27.091 * [simplify]: Simplified to: (- (log (+ x y)) (log (+ y 1.0))) (log (/ (+ x y) (+ y 1.0))) (exp (/ (+ x y) (+ y 1.0))) (pow (/ (+ x y) (+ y 1.0)) 3) (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))) (cbrt (/ (+ x y) (+ y 1.0))) (pow (/ (+ x y) (+ y 1.0)) 3) (sqrt (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) (neg (+ x y)) (neg (+ y 1.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (cbrt (+ x y)) (cbrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (cbrt (+ x y)) (sqrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (cbrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (/ 1 (+ y 1.0)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (sqrt (+ y 1.0))) (+ x y) (+ x y) (/ (+ y 1.0) (cbrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (+ (pow y 3) (pow 1.0 3))) (/ (+ x y) (- (* y y) (* 1.0 1.0))) (* (+ (* y (- y x)) (* x x)) (+ y 1.0)) (* (+ y 1.0) (- x y)) (* 1.0 (- (+ y x) (* x y))) (- (+ 1 (/ x y)) (/ 1.0 y)) (- (+ 1 (/ x y)) (/ 1.0 y)) 27.091 * * * [progress]: adding candidates to table 27.135 * * [progress]: iteration 2 / 4 27.135 * * * [progress]: picking best candidate 27.144 * * * * [pick]: Picked # 27.144 * * * [progress]: localizing error 27.150 * * * [progress]: generating rewritten candidates 27.150 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 27.162 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 27.179 * * * [progress]: generating series expansions 27.179 * * * * [progress]: [ 1 / 2 ] generating series at (2) 27.179 * [approximate]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in (y x) around 0 27.179 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 27.179 * [taylor]: Taking taylor expansion of (+ x y) in x 27.179 * [taylor]: Taking taylor expansion of x in x 27.179 * [taylor]: Taking taylor expansion of y in x 27.179 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 27.179 * [taylor]: Taking taylor expansion of y in x 27.179 * [taylor]: Taking taylor expansion of 1.0 in x 27.179 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in y 27.179 * [taylor]: Taking taylor expansion of (+ x y) in y 27.179 * [taylor]: Taking taylor expansion of x in y 27.179 * [taylor]: Taking taylor expansion of y in y 27.179 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 27.179 * [taylor]: Taking taylor expansion of y in y 27.179 * [taylor]: Taking taylor expansion of 1.0 in y 27.179 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in y 27.180 * [taylor]: Taking taylor expansion of (+ x y) in y 27.180 * [taylor]: Taking taylor expansion of x in y 27.180 * [taylor]: Taking taylor expansion of y in y 27.180 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 27.180 * [taylor]: Taking taylor expansion of y in y 27.180 * [taylor]: Taking taylor expansion of 1.0 in y 27.180 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 27.180 * [taylor]: Taking taylor expansion of 1.0 in x 27.180 * [taylor]: Taking taylor expansion of x in x 27.180 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 27.180 * [taylor]: Taking taylor expansion of 1.0 in x 27.180 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 27.180 * [taylor]: Taking taylor expansion of 1.0 in x 27.180 * [taylor]: Taking taylor expansion of x in x 27.180 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 27.180 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 27.180 * [taylor]: Taking taylor expansion of 1.0 in x 27.180 * [taylor]: Taking taylor expansion of x in x 27.181 * [taylor]: Taking taylor expansion of 1.0 in x 27.181 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in (y x) around 0 27.181 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 27.181 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.181 * [taylor]: Taking taylor expansion of x in x 27.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.181 * [taylor]: Taking taylor expansion of y in x 27.181 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 27.181 * [taylor]: Taking taylor expansion of 1.0 in x 27.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.181 * [taylor]: Taking taylor expansion of y in x 27.181 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in y 27.181 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.181 * [taylor]: Taking taylor expansion of x in y 27.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.181 * [taylor]: Taking taylor expansion of y in y 27.181 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 27.181 * [taylor]: Taking taylor expansion of 1.0 in y 27.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.181 * [taylor]: Taking taylor expansion of y in y 27.182 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in y 27.182 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.182 * [taylor]: Taking taylor expansion of x in y 27.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.182 * [taylor]: Taking taylor expansion of y in y 27.182 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 27.182 * [taylor]: Taking taylor expansion of 1.0 in y 27.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.182 * [taylor]: Taking taylor expansion of y in y 27.182 * [taylor]: Taking taylor expansion of 1 in x 27.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 27.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.182 * [taylor]: Taking taylor expansion of x in x 27.182 * [taylor]: Taking taylor expansion of 1.0 in x 27.182 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 x))) in x 27.182 * [taylor]: Taking taylor expansion of 1.0 in x 27.182 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 27.182 * [taylor]: Taking taylor expansion of 1.0 in x 27.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.183 * [taylor]: Taking taylor expansion of x in x 27.183 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in (y x) around 0 27.183 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 27.183 * [taylor]: Taking taylor expansion of -1 in x 27.183 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 27.183 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.183 * [taylor]: Taking taylor expansion of x in x 27.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.184 * [taylor]: Taking taylor expansion of y in x 27.184 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 27.184 * [taylor]: Taking taylor expansion of 1.0 in x 27.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.184 * [taylor]: Taking taylor expansion of y in x 27.184 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in y 27.184 * [taylor]: Taking taylor expansion of -1 in y 27.184 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in y 27.184 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.184 * [taylor]: Taking taylor expansion of x in y 27.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.184 * [taylor]: Taking taylor expansion of y in y 27.184 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 27.184 * [taylor]: Taking taylor expansion of 1.0 in y 27.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.184 * [taylor]: Taking taylor expansion of y in y 27.184 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in y 27.184 * [taylor]: Taking taylor expansion of -1 in y 27.184 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in y 27.184 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.184 * [taylor]: Taking taylor expansion of x in y 27.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.184 * [taylor]: Taking taylor expansion of y in y 27.184 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 27.184 * [taylor]: Taking taylor expansion of 1.0 in y 27.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.184 * [taylor]: Taking taylor expansion of y in y 27.185 * [taylor]: Taking taylor expansion of 1 in x 27.185 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 27.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.185 * [taylor]: Taking taylor expansion of x in x 27.185 * [taylor]: Taking taylor expansion of 1.0 in x 27.185 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x 27.185 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 27.185 * [taylor]: Taking taylor expansion of 1.0 in x 27.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.185 * [taylor]: Taking taylor expansion of x in x 27.186 * [taylor]: Taking taylor expansion of 1.0 in x 27.186 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 27.186 * [approximate]: Taking taylor expansion of (/ (+ y 1.0) (+ x y)) in (y x) around 0 27.186 * [taylor]: Taking taylor expansion of (/ (+ y 1.0) (+ x y)) in x 27.186 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 27.186 * [taylor]: Taking taylor expansion of y in x 27.186 * [taylor]: Taking taylor expansion of 1.0 in x 27.186 * [taylor]: Taking taylor expansion of (+ x y) in x 27.186 * [taylor]: Taking taylor expansion of x in x 27.186 * [taylor]: Taking taylor expansion of y in x 27.186 * [taylor]: Taking taylor expansion of (/ (+ y 1.0) (+ x y)) in y 27.186 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 27.186 * [taylor]: Taking taylor expansion of y in y 27.186 * [taylor]: Taking taylor expansion of 1.0 in y 27.186 * [taylor]: Taking taylor expansion of (+ x y) in y 27.186 * [taylor]: Taking taylor expansion of x in y 27.186 * [taylor]: Taking taylor expansion of y in y 27.186 * [taylor]: Taking taylor expansion of (/ (+ y 1.0) (+ x y)) in y 27.186 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 27.186 * [taylor]: Taking taylor expansion of y in y 27.186 * [taylor]: Taking taylor expansion of 1.0 in y 27.186 * [taylor]: Taking taylor expansion of (+ x y) in y 27.186 * [taylor]: Taking taylor expansion of x in y 27.186 * [taylor]: Taking taylor expansion of y in y 27.187 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 27.187 * [taylor]: Taking taylor expansion of 1.0 in x 27.187 * [taylor]: Taking taylor expansion of x in x 27.187 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1.0 (/ 1 (pow x 2)))) in x 27.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.187 * [taylor]: Taking taylor expansion of x in x 27.187 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow x 2))) in x 27.187 * [taylor]: Taking taylor expansion of 1.0 in x 27.187 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.187 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.187 * [taylor]: Taking taylor expansion of x in x 27.188 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow x 3))) (/ 1 (pow x 2))) in x 27.188 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow x 3))) in x 27.188 * [taylor]: Taking taylor expansion of 1.0 in x 27.188 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 27.188 * [taylor]: Taking taylor expansion of (pow x 3) in x 27.188 * [taylor]: Taking taylor expansion of x in x 27.188 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.188 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.188 * [taylor]: Taking taylor expansion of x in x 27.189 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y))) in (y x) around 0 27.189 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y))) in x 27.189 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 27.189 * [taylor]: Taking taylor expansion of 1.0 in x 27.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.189 * [taylor]: Taking taylor expansion of y in x 27.189 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.189 * [taylor]: Taking taylor expansion of x in x 27.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.189 * [taylor]: Taking taylor expansion of y in x 27.189 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y))) in y 27.189 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 27.189 * [taylor]: Taking taylor expansion of 1.0 in y 27.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.189 * [taylor]: Taking taylor expansion of y in y 27.189 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.190 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.190 * [taylor]: Taking taylor expansion of x in y 27.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.190 * [taylor]: Taking taylor expansion of y in y 27.190 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y))) in y 27.190 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 27.190 * [taylor]: Taking taylor expansion of 1.0 in y 27.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.190 * [taylor]: Taking taylor expansion of y in y 27.190 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.190 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.190 * [taylor]: Taking taylor expansion of x in y 27.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.190 * [taylor]: Taking taylor expansion of y in y 27.190 * [taylor]: Taking taylor expansion of 1 in x 27.190 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 27.190 * [taylor]: Taking taylor expansion of 1.0 in x 27.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.190 * [taylor]: Taking taylor expansion of x in x 27.191 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 27.191 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.191 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.191 * [taylor]: Taking taylor expansion of x in x 27.191 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 27.191 * [taylor]: Taking taylor expansion of 1.0 in x 27.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.191 * [taylor]: Taking taylor expansion of x in x 27.191 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y)))) in (y x) around 0 27.191 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y)))) in x 27.191 * [taylor]: Taking taylor expansion of -1 in x 27.191 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y))) in x 27.191 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 27.191 * [taylor]: Taking taylor expansion of 1.0 in x 27.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.192 * [taylor]: Taking taylor expansion of y in x 27.192 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 27.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.192 * [taylor]: Taking taylor expansion of x in x 27.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.192 * [taylor]: Taking taylor expansion of y in x 27.192 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y)))) in y 27.192 * [taylor]: Taking taylor expansion of -1 in y 27.192 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y))) in y 27.192 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 27.192 * [taylor]: Taking taylor expansion of 1.0 in y 27.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.192 * [taylor]: Taking taylor expansion of y in y 27.192 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.192 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.192 * [taylor]: Taking taylor expansion of x in y 27.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.192 * [taylor]: Taking taylor expansion of y in y 27.192 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y)))) in y 27.192 * [taylor]: Taking taylor expansion of -1 in y 27.192 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) (+ (/ 1 x) (/ 1 y))) in y 27.192 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 27.192 * [taylor]: Taking taylor expansion of 1.0 in y 27.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.192 * [taylor]: Taking taylor expansion of y in y 27.192 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 27.192 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.192 * [taylor]: Taking taylor expansion of x in y 27.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.192 * [taylor]: Taking taylor expansion of y in y 27.192 * [taylor]: Taking taylor expansion of 1 in x 27.193 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) 1.0)) in x 27.193 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 27.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.193 * [taylor]: Taking taylor expansion of x in x 27.193 * [taylor]: Taking taylor expansion of 1.0 in x 27.194 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 27.194 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.194 * [taylor]: Taking taylor expansion of x in x 27.194 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 27.194 * [taylor]: Taking taylor expansion of 1.0 in x 27.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.194 * [taylor]: Taking taylor expansion of x in x 27.194 * * * [progress]: simplifying candidates 27.197 * [simplify]: Simplifying using # : (neg 1) (neg (- (log (+ y 1.0)) (log (+ x y)))) (neg (log (/ (+ y 1.0) (+ x y)))) (- 0 (- (log (+ y 1.0)) (log (+ x y)))) (- 0 (log (/ (+ y 1.0) (+ x y)))) (- (log 1) (- (log (+ y 1.0)) (log (+ x y)))) (- (log 1) (log (/ (+ y 1.0) (+ x y)))) (log (/ 1 (/ (+ y 1.0) (+ x y)))) (exp (/ 1 (/ (+ y 1.0) (+ x y)))) (/ (* (* 1 1) 1) (/ (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0)) (* (* (+ x y) (+ x y)) (+ x y)))) (/ (* (* 1 1) 1) (* (* (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y))) (/ (+ y 1.0) (+ x y)))) (* (cbrt (/ 1 (/ (+ y 1.0) (+ x y)))) (cbrt (/ 1 (/ (+ y 1.0) (+ x y))))) (cbrt (/ 1 (/ (+ y 1.0) (+ x y)))) (* (* (/ 1 (/ (+ y 1.0) (+ x y))) (/ 1 (/ (+ y 1.0) (+ x y)))) (/ 1 (/ (+ y 1.0) (+ x y)))) (sqrt (/ 1 (/ (+ y 1.0) (+ x y)))) (sqrt (/ 1 (/ (+ y 1.0) (+ x y)))) (neg 1) (neg (/ (+ y 1.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ (cbrt 1) (cbrt (/ (+ y 1.0) (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (+ y 1.0) (+ x y)))) (/ (cbrt 1) (sqrt (/ (+ y 1.0) (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (cbrt (+ y 1.0)) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt (+ x y)))) (/ (cbrt 1) (/ (cbrt (+ y 1.0)) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ (cbrt 1) (/ (cbrt (+ y 1.0)) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ (cbrt 1) (/ (cbrt (+ y 1.0)) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (sqrt (+ y 1.0)) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ y 1.0)) (sqrt (+ x y)))) (/ (cbrt 1) (/ (sqrt (+ y 1.0)) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ y 1.0)) 1)) (/ (cbrt 1) (/ (sqrt (+ y 1.0)) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ y 1.0)) 1)) (/ (cbrt 1) (/ (sqrt (+ y 1.0)) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (+ y 1.0) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ x y)))) (/ (cbrt 1) (/ (+ y 1.0) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (+ y 1.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (+ y 1.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (+ y 1.0) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ x y)))) (/ (cbrt 1) (/ (+ y 1.0) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (+ y 1.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (+ y 1.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (+ y 1.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (+ y 1.0)) (/ (cbrt 1) (/ 1 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ y 1.0) (+ (pow x 3) (pow y 3)))) (/ (cbrt 1) (+ (* x x) (- (* y y) (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ y 1.0) (- (* x x) (* y y)))) (/ (cbrt 1) (- x y)) (/ (sqrt 1) (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ (sqrt 1) (cbrt (/ (+ y 1.0) (+ x y)))) (/ (sqrt 1) (sqrt (/ (+ y 1.0) (+ x y)))) (/ (sqrt 1) (sqrt (/ (+ y 1.0) (+ x y)))) (/ (sqrt 1) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (cbrt (+ y 1.0)) (cbrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt (+ x y)))) (/ (sqrt 1) (/ (cbrt (+ y 1.0)) (sqrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ (sqrt 1) (/ (cbrt (+ y 1.0)) (+ x y))) (/ (sqrt 1) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ (sqrt 1) (/ (cbrt (+ y 1.0)) (+ x y))) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) (cbrt (+ x y)))) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) 1)) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) (+ x y))) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) 1)) (/ (sqrt 1) (/ (sqrt (+ y 1.0)) (+ x y))) (/ (sqrt 1) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (+ y 1.0) (cbrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt (+ x y)))) (/ (sqrt 1) (/ (+ y 1.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (+ y 1.0) (+ x y))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (+ y 1.0) (+ x y))) (/ (sqrt 1) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (+ y 1.0) (cbrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt (+ x y)))) (/ (sqrt 1) (/ (+ y 1.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (+ y 1.0) (+ x y))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (+ y 1.0) (+ x y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (+ y 1.0) (+ x y))) (/ (sqrt 1) (+ y 1.0)) (/ (sqrt 1) (/ 1 (+ x y))) (/ (sqrt 1) (/ (+ y 1.0) (+ (pow x 3) (pow y 3)))) (/ (sqrt 1) (+ (* x x) (- (* y y) (* x y)))) (/ (sqrt 1) (/ (+ y 1.0) (- (* x x) (* y y)))) (/ (sqrt 1) (- x y)) (/ 1 (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ 1 (cbrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (cbrt (+ y 1.0)) (cbrt (+ x y)))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt (+ x y)))) (/ 1 (/ (cbrt (+ y 1.0)) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ 1 (/ (cbrt (+ y 1.0)) (+ x y))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ 1 (/ (cbrt (+ y 1.0)) (+ x y))) (/ 1 (/ (sqrt (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (sqrt (+ y 1.0)) (cbrt (+ x y)))) (/ 1 (/ (sqrt (+ y 1.0)) (sqrt (+ x y)))) (/ 1 (/ (sqrt (+ y 1.0)) (sqrt (+ x y)))) (/ 1 (/ (sqrt (+ y 1.0)) 1)) (/ 1 (/ (sqrt (+ y 1.0)) (+ x y))) (/ 1 (/ (sqrt (+ y 1.0)) 1)) (/ 1 (/ (sqrt (+ y 1.0)) (+ x y))) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (+ y 1.0) (cbrt (+ x y)))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ (+ y 1.0) (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ (+ y 1.0) (+ x y))) (/ 1 (/ 1 1)) (/ 1 (/ (+ y 1.0) (+ x y))) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (+ y 1.0) (cbrt (+ x y)))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ (+ y 1.0) (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ (+ y 1.0) (+ x y))) (/ 1 (/ 1 1)) (/ 1 (/ (+ y 1.0) (+ x y))) (/ 1 1) (/ 1 (/ (+ y 1.0) (+ x y))) (/ 1 (+ y 1.0)) (/ 1 (/ 1 (+ x y))) (/ 1 (/ (+ y 1.0) (+ (pow x 3) (pow y 3)))) (/ 1 (+ (* x x) (- (* y y) (* x y)))) (/ 1 (/ (+ y 1.0) (- (* x x) (* y y)))) (/ 1 (- x y)) (/ 1 (/ (+ y 1.0) (+ x y))) (/ (/ (+ y 1.0) (+ x y)) 1) (/ 1 (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ 1 (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1)) (/ 1 (/ (sqrt (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (sqrt (+ y 1.0)) (sqrt (+ x y)))) (/ 1 (/ (sqrt (+ y 1.0)) 1)) (/ 1 (/ (sqrt (+ y 1.0)) 1)) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 1)) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (+ y 1.0)) (/ 1 (/ (+ y 1.0) (+ (pow x 3) (pow y 3)))) (/ 1 (/ (+ y 1.0) (- (* x x) (* y y)))) (/ (/ (+ y 1.0) (+ x y)) (cbrt 1)) (/ (/ (+ y 1.0) (+ x y)) (sqrt 1)) (/ (/ (+ y 1.0) (+ x y)) 1) (/ 1 (+ y 1.0)) (- (log (+ y 1.0)) (log (+ x y))) (log (/ (+ y 1.0) (+ x y))) (exp (/ (+ y 1.0) (+ x y))) (/ (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0)) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y)))) (cbrt (/ (+ y 1.0) (+ x y))) (* (* (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y))) (/ (+ y 1.0) (+ x y))) (sqrt (/ (+ y 1.0) (+ x y))) (sqrt (/ (+ y 1.0) (+ x y))) (neg (+ y 1.0)) (neg (+ x y)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt (+ y 1.0)) (cbrt (+ x y))) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt (+ x y))) (/ (cbrt (+ y 1.0)) (sqrt (+ x y))) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1) (/ (cbrt (+ y 1.0)) (+ x y)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) 1) (/ (cbrt (+ y 1.0)) (+ x y)) (/ (sqrt (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt (+ y 1.0)) (cbrt (+ x y))) (/ (sqrt (+ y 1.0)) (sqrt (+ x y))) (/ (sqrt (+ y 1.0)) (sqrt (+ x y))) (/ (sqrt (+ y 1.0)) 1) (/ (sqrt (+ y 1.0)) (+ x y)) (/ (sqrt (+ y 1.0)) 1) (/ (sqrt (+ y 1.0)) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (+ y 1.0) (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) (/ 1 1) (/ (+ y 1.0) (+ x y)) (/ 1 1) (/ (+ y 1.0) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (+ y 1.0) (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) (/ 1 1) (/ (+ y 1.0) (+ x y)) (/ 1 1) (/ (+ y 1.0) (+ x y)) (/ 1 (+ x y)) (/ (+ x y) (+ y 1.0)) (/ (+ y 1.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (+ y 1.0) (sqrt (+ x y))) (/ (+ y 1.0) 1) (/ (+ y 1.0) 1) (/ (+ x y) (cbrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ (+ x y) (+ y 1.0)) (/ (+ x y) (+ y 1.0)) (/ (+ y 1.0) (+ (pow x 3) (pow y 3))) (/ (+ y 1.0) (- (* x x) (* y y))) (* (+ x y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))) (* (+ x y) (- y 1.0)) (- (+ (* 1.0 x) (* 1.0 y)) (* 1.0 (pow y 2))) (- (+ 1 (/ x y)) (* 1.0 (/ x (pow y 2)))) (- (+ 1 (/ x y)) (* 1.0 (/ x (pow y 2)))) 0 0 0 27.198 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 27.198 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 27.198 * * [simplify]: iteration done : 5 enodes (cost 1 ) 27.199 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.200 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 27.201 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 27.202 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 27.204 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 27.206 * * [simplify]: iteration done : 20 enodes (cost 9 ) 27.207 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 27.207 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 27.209 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 27.210 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 27.212 * * [simplify]: iteration 4 : 21 enodes (cost 9 ) 27.214 * * [simplify]: iteration 5 : 22 enodes (cost 9 ) 27.216 * * [simplify]: iteration done : 22 enodes (cost 9 ) 27.217 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 27.218 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 27.224 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 27.229 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 27.240 * * [simplify]: iteration 4 : 79 enodes (cost 9 ) 27.250 * * [simplify]: iteration 5 : 106 enodes (cost 9 ) 27.261 * * [simplify]: iteration 6 : 114 enodes (cost 9 ) 27.273 * * [simplify]: iteration 7 : 128 enodes (cost 9 ) 27.287 * * [simplify]: iteration done : 128 enodes (cost 9 ) 27.287 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.289 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 27.291 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 27.294 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 27.301 * * [simplify]: iteration 4 : 63 enodes (cost 9 ) 27.312 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 27.322 * * [simplify]: iteration 6 : 100 enodes (cost 9 ) 27.332 * * [simplify]: iteration 7 : 106 enodes (cost 9 ) 27.350 * * [simplify]: iteration 8 : 122 enodes (cost 9 ) 27.362 * * [simplify]: iteration done : 122 enodes (cost 9 ) 27.363 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 27.364 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 27.366 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 27.371 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 27.383 * * [simplify]: iteration 4 : 83 enodes (cost 9 ) 27.393 * * [simplify]: iteration 5 : 110 enodes (cost 9 ) 27.408 * * [simplify]: iteration 6 : 118 enodes (cost 9 ) 27.420 * * [simplify]: iteration 7 : 132 enodes (cost 9 ) 27.431 * * [simplify]: iteration done : 132 enodes (cost 9 ) 27.432 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 27.433 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 27.435 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 27.438 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 27.445 * * [simplify]: iteration 4 : 67 enodes (cost 9 ) 27.459 * * [simplify]: iteration 5 : 97 enodes (cost 9 ) 27.469 * * [simplify]: iteration 6 : 106 enodes (cost 9 ) 27.479 * * [simplify]: iteration 7 : 112 enodes (cost 9 ) 27.494 * * [simplify]: iteration 8 : 128 enodes (cost 9 ) 27.505 * * [simplify]: iteration done : 128 enodes (cost 9 ) 27.506 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.507 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 27.509 * * [simplify]: iteration 2 : 36 enodes (cost 9 ) 27.517 * * [simplify]: iteration 3 : 62 enodes (cost 8 ) 27.527 * * [simplify]: iteration 4 : 113 enodes (cost 8 ) 27.545 * * [simplify]: iteration 5 : 152 enodes (cost 8 ) 27.563 * * [simplify]: iteration 6 : 170 enodes (cost 8 ) 27.584 * * [simplify]: iteration 7 : 175 enodes (cost 8 ) 27.603 * * [simplify]: iteration 8 : 183 enodes (cost 8 ) 27.621 * * [simplify]: iteration done : 183 enodes (cost 8 ) 27.622 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.623 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 27.625 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 27.629 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 27.642 * * [simplify]: iteration 4 : 109 enodes (cost 8 ) 27.658 * * [simplify]: iteration 5 : 172 enodes (cost 8 ) 27.699 * * [simplify]: iteration 6 : 345 enodes (cost 8 ) 27.860 * * [simplify]: iteration 7 : 849 enodes (cost 8 ) 28.843 * * [simplify]: iteration 8 : 2859 enodes (cost 8 ) 30.836 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 30.837 * * [simplify]: iteration 0 : 14 enodes (cost 29 ) 30.840 * * [simplify]: iteration 1 : 56 enodes (cost 25 ) 30.850 * * [simplify]: iteration 2 : 177 enodes (cost 13 ) 30.917 * * [simplify]: iteration 3 : 587 enodes (cost 11 ) 31.522 * * [simplify]: iteration 4 : 2227 enodes (cost 11 ) 33.261 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 33.262 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 33.264 * * [simplify]: iteration 1 : 30 enodes (cost 25 ) 33.268 * * [simplify]: iteration 2 : 82 enodes (cost 11 ) 33.295 * * [simplify]: iteration 3 : 276 enodes (cost 11 ) 33.504 * * [simplify]: iteration 4 : 878 enodes (cost 11 ) 34.418 * * [simplify]: iteration 5 : 2245 enodes (cost 9 ) 37.119 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 37.120 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 37.121 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 37.123 * * [simplify]: iteration 2 : 27 enodes (cost 21 ) 37.127 * * [simplify]: iteration 3 : 40 enodes (cost 17 ) 37.135 * * [simplify]: iteration 4 : 75 enodes (cost 17 ) 37.144 * * [simplify]: iteration 5 : 88 enodes (cost 17 ) 37.152 * * [simplify]: iteration done : 88 enodes (cost 17 ) 37.153 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 37.154 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 37.156 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 37.159 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 37.167 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 37.180 * * [simplify]: iteration 5 : 85 enodes (cost 8 ) 37.189 * * [simplify]: iteration done : 85 enodes (cost 8 ) 37.189 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 37.191 * * [simplify]: iteration 1 : 23 enodes (cost 29 ) 37.195 * * [simplify]: iteration 2 : 69 enodes (cost 11 ) 37.240 * * [simplify]: iteration 3 : 320 enodes (cost 9 ) 37.703 * * [simplify]: iteration 4 : 1034 enodes (cost 9 ) 38.690 * * [simplify]: iteration 5 : 2227 enodes (cost 9 ) 41.794 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 41.794 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 41.795 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 41.797 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 41.801 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 41.809 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 41.817 * * [simplify]: iteration 5 : 85 enodes (cost 8 ) 41.830 * * [simplify]: iteration done : 85 enodes (cost 8 ) 41.830 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 41.831 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 41.833 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 41.836 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 41.844 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 41.854 * * [simplify]: iteration 5 : 85 enodes (cost 8 ) 41.862 * * [simplify]: iteration done : 85 enodes (cost 8 ) 41.863 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 41.863 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 41.864 * * [simplify]: iteration done : 5 enodes (cost 1 ) 41.864 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 41.865 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 41.866 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 41.868 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 41.869 * * [simplify]: iteration 4 : 23 enodes (cost 8 ) 41.872 * * [simplify]: iteration 5 : 27 enodes (cost 8 ) 41.875 * * [simplify]: iteration 6 : 31 enodes (cost 8 ) 41.879 * * [simplify]: iteration done : 31 enodes (cost 8 ) 41.879 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 41.881 * * [simplify]: iteration 1 : 22 enodes (cost 21 ) 41.883 * * [simplify]: iteration 2 : 31 enodes (cost 19 ) 41.891 * * [simplify]: iteration 3 : 37 enodes (cost 19 ) 41.894 * * [simplify]: iteration done : 37 enodes (cost 19 ) 41.895 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 41.896 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 41.897 * * [simplify]: iteration done : 14 enodes (cost 10 ) 41.898 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 41.899 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 41.901 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 41.903 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 41.904 * * [simplify]: iteration done : 20 enodes (cost 10 ) 41.905 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 41.906 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 41.907 * * [simplify]: iteration done : 14 enodes (cost 10 ) 41.908 * * [simplify]: iteration 0 : 14 enodes (cost 25 ) 41.910 * * [simplify]: iteration 1 : 28 enodes (cost 23 ) 41.914 * * [simplify]: iteration 2 : 64 enodes (cost 21 ) 41.929 * * [simplify]: iteration 3 : 134 enodes (cost 19 ) 41.970 * * [simplify]: iteration 4 : 189 enodes (cost 19 ) 42.000 * * [simplify]: iteration done : 189 enodes (cost 19 ) 42.000 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 42.001 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 42.003 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 42.008 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 42.010 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 42.015 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 42.019 * * [simplify]: iteration done : 39 enodes (cost 9 ) 42.020 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 42.021 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 42.024 * * [simplify]: iteration 2 : 41 enodes (cost 16 ) 42.031 * * [simplify]: iteration 3 : 74 enodes (cost 14 ) 42.046 * * [simplify]: iteration 4 : 94 enodes (cost 14 ) 42.057 * * [simplify]: iteration done : 94 enodes (cost 14 ) 42.058 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 42.059 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 42.061 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 42.062 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 42.067 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 42.073 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 42.076 * * [simplify]: iteration done : 39 enodes (cost 9 ) 42.077 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 42.079 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 42.081 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 42.085 * * [simplify]: iteration 3 : 42 enodes (cost 11 ) 42.088 * * [simplify]: iteration done : 42 enodes (cost 11 ) 42.089 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.090 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.091 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 42.096 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 42.103 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 42.112 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 42.120 * * [simplify]: iteration done : 88 enodes (cost 8 ) 42.121 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 42.122 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 42.130 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 42.133 * * [simplify]: iteration 3 : 42 enodes (cost 11 ) 42.136 * * [simplify]: iteration done : 42 enodes (cost 11 ) 42.137 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.138 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.140 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 42.143 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 42.151 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 42.160 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 42.168 * * [simplify]: iteration done : 88 enodes (cost 8 ) 42.169 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 42.171 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 42.173 * * [simplify]: iteration 2 : 38 enodes (cost 16 ) 42.179 * * [simplify]: iteration 3 : 58 enodes (cost 14 ) 42.191 * * [simplify]: iteration 4 : 62 enodes (cost 14 ) 42.199 * * [simplify]: iteration done : 62 enodes (cost 14 ) 42.200 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 42.202 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 42.203 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 42.205 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 42.207 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 42.212 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 42.216 * * [simplify]: iteration done : 39 enodes (cost 9 ) 42.217 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 42.218 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 42.220 * * [simplify]: iteration 2 : 29 enodes (cost 11 ) 42.224 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 42.227 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 42.231 * * [simplify]: iteration done : 38 enodes (cost 9 ) 42.231 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 42.233 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 42.234 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 42.236 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 42.238 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 42.243 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 42.247 * * [simplify]: iteration done : 39 enodes (cost 9 ) 42.248 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 42.249 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 42.254 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 42.255 * * [simplify]: iteration done : 21 enodes (cost 6 ) 42.256 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.257 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.259 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 42.262 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 42.270 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 42.278 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 42.286 * * [simplify]: iteration done : 88 enodes (cost 8 ) 42.287 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 42.288 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 42.290 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 42.291 * * [simplify]: iteration done : 21 enodes (cost 6 ) 42.291 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.293 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.294 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 42.298 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 42.306 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 42.319 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 42.327 * * [simplify]: iteration done : 88 enodes (cost 8 ) 42.328 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 42.329 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 42.332 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 42.338 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 42.343 * * [simplify]: iteration 4 : 58 enodes (cost 9 ) 42.350 * * [simplify]: iteration 5 : 59 enodes (cost 9 ) 42.356 * * [simplify]: iteration done : 59 enodes (cost 9 ) 42.357 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.358 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.359 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 42.361 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 42.364 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 42.369 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 42.377 * * [simplify]: iteration done : 40 enodes (cost 8 ) 42.377 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 42.379 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.381 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 42.384 * * [simplify]: iteration 3 : 33 enodes (cost 4 ) 42.386 * * [simplify]: iteration done : 33 enodes (cost 4 ) 42.387 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.388 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.389 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 42.391 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 42.393 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 42.399 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 42.403 * * [simplify]: iteration done : 40 enodes (cost 8 ) 42.403 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 42.404 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 42.404 * * [simplify]: iteration done : 11 enodes (cost 1 ) 42.405 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 42.406 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 42.407 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 42.411 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 42.419 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 42.428 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 42.440 * * [simplify]: iteration done : 87 enodes (cost 7 ) 42.441 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 42.442 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 42.442 * * [simplify]: iteration done : 11 enodes (cost 1 ) 42.443 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 42.444 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 42.445 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 42.449 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 42.456 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 42.465 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 42.474 * * [simplify]: iteration done : 87 enodes (cost 7 ) 42.474 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 42.476 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 42.479 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 42.484 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 42.489 * * [simplify]: iteration 4 : 58 enodes (cost 9 ) 42.500 * * [simplify]: iteration 5 : 59 enodes (cost 9 ) 42.506 * * [simplify]: iteration done : 59 enodes (cost 9 ) 42.507 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.508 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.509 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 42.511 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 42.514 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 42.518 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 42.523 * * [simplify]: iteration done : 40 enodes (cost 8 ) 42.523 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 42.524 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.526 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 42.529 * * [simplify]: iteration 3 : 33 enodes (cost 4 ) 42.532 * * [simplify]: iteration done : 33 enodes (cost 4 ) 42.532 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 42.533 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 42.535 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 42.537 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 42.539 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 42.544 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 42.547 * * [simplify]: iteration done : 40 enodes (cost 8 ) 42.548 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 42.549 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 42.549 * * [simplify]: iteration done : 11 enodes (cost 1 ) 42.550 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 42.551 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 42.553 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 42.556 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 42.567 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 42.577 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 42.585 * * [simplify]: iteration done : 87 enodes (cost 7 ) 42.586 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 42.586 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 42.587 * * [simplify]: iteration done : 11 enodes (cost 1 ) 42.587 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 42.588 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 42.590 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 42.593 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 42.600 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 42.610 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 42.618 * * [simplify]: iteration done : 87 enodes (cost 7 ) 42.619 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 42.623 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 42.624 * * [simplify]: iteration 2 : 12 enodes (cost 1 ) 42.624 * * [simplify]: iteration done : 12 enodes (cost 1 ) 42.625 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 42.626 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 42.628 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 42.631 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 42.639 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 42.647 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 42.655 * * [simplify]: iteration done : 87 enodes (cost 7 ) 42.656 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 42.656 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 42.657 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 42.659 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 42.660 * * [simplify]: iteration done : 15 enodes (cost 5 ) 42.661 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 42.662 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 42.663 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 42.666 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 42.670 * * [simplify]: iteration 4 : 40 enodes (cost 3 ) 42.673 * * [simplify]: iteration done : 40 enodes (cost 3 ) 42.674 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 42.675 * * [simplify]: iteration 1 : 34 enodes (cost 15 ) 42.680 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 42.693 * * [simplify]: iteration 3 : 125 enodes (cost 11 ) 42.717 * * [simplify]: iteration 4 : 301 enodes (cost 11 ) 42.923 * * [simplify]: iteration 5 : 939 enodes (cost 11 ) 43.895 * * [simplify]: iteration 6 : 2618 enodes (cost 11 ) 45.850 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 45.851 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 45.853 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 45.855 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 45.865 * * [simplify]: iteration 3 : 48 enodes (cost 11 ) 45.873 * * [simplify]: iteration 4 : 68 enodes (cost 11 ) 45.884 * * [simplify]: iteration 5 : 89 enodes (cost 11 ) 45.900 * * [simplify]: iteration 6 : 106 enodes (cost 11 ) 45.913 * * [simplify]: iteration 7 : 129 enodes (cost 11 ) 45.937 * * [simplify]: iteration 8 : 172 enodes (cost 11 ) 45.976 * * [simplify]: iteration 9 : 234 enodes (cost 11 ) 46.006 * * [simplify]: iteration 10 : 235 enodes (cost 11 ) 46.039 * * [simplify]: iteration done : 235 enodes (cost 11 ) 46.040 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 46.041 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 46.044 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 46.053 * * [simplify]: iteration 3 : 135 enodes (cost 11 ) 46.104 * * [simplify]: iteration 4 : 372 enodes (cost 11 ) 46.283 * * [simplify]: iteration 5 : 749 enodes (cost 11 ) 46.523 * * [simplify]: iteration 6 : 1037 enodes (cost 11 ) 47.055 * * [simplify]: iteration 7 : 1642 enodes (cost 11 ) 49.780 * * [simplify]: iteration 8 : 4753 enodes (cost 11 ) 51.401 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 51.401 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.402 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 51.403 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 51.404 * * [simplify]: iteration done : 11 enodes (cost 5 ) 51.404 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 51.406 * * [simplify]: iteration 1 : 17 enodes (cost 19 ) 51.407 * * [simplify]: iteration done : 17 enodes (cost 19 ) 51.408 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.409 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 51.410 * * [simplify]: iteration done : 14 enodes (cost 10 ) 51.411 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.412 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 51.413 * * [simplify]: iteration done : 14 enodes (cost 10 ) 51.413 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.414 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 51.415 * * [simplify]: iteration done : 14 enodes (cost 10 ) 51.416 * * [simplify]: iteration 0 : 13 enodes (cost 22 ) 51.418 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 51.421 * * [simplify]: iteration 2 : 46 enodes (cost 21 ) 51.428 * * [simplify]: iteration 3 : 77 enodes (cost 19 ) 51.451 * * [simplify]: iteration 4 : 137 enodes (cost 19 ) 51.493 * * [simplify]: iteration 5 : 205 enodes (cost 19 ) 51.526 * * [simplify]: iteration done : 205 enodes (cost 19 ) 51.527 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 51.528 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 51.529 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 51.531 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 51.533 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 51.539 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 51.543 * * [simplify]: iteration done : 39 enodes (cost 9 ) 51.543 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 51.544 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 51.546 * * [simplify]: iteration 2 : 28 enodes (cost 16 ) 51.550 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 51.559 * * [simplify]: iteration 4 : 68 enodes (cost 14 ) 51.575 * * [simplify]: iteration 5 : 99 enodes (cost 14 ) 51.587 * * [simplify]: iteration done : 99 enodes (cost 14 ) 51.588 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 51.589 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 51.590 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 51.592 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 51.595 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 51.600 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 51.603 * * [simplify]: iteration done : 39 enodes (cost 9 ) 51.604 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 51.605 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 51.607 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 51.613 * * [simplify]: iteration 3 : 36 enodes (cost 11 ) 51.615 * * [simplify]: iteration done : 36 enodes (cost 11 ) 51.616 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.617 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 51.619 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 51.622 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 51.630 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 51.639 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 51.647 * * [simplify]: iteration done : 88 enodes (cost 8 ) 51.647 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 51.648 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 51.650 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 51.654 * * [simplify]: iteration 3 : 36 enodes (cost 11 ) 51.657 * * [simplify]: iteration done : 36 enodes (cost 11 ) 51.658 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.659 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 51.660 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 51.664 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 51.675 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 51.683 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 51.692 * * [simplify]: iteration done : 88 enodes (cost 8 ) 51.692 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 51.694 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 51.696 * * [simplify]: iteration 2 : 27 enodes (cost 16 ) 51.699 * * [simplify]: iteration 3 : 35 enodes (cost 14 ) 51.704 * * [simplify]: iteration 4 : 59 enodes (cost 14 ) 51.714 * * [simplify]: iteration 5 : 74 enodes (cost 14 ) 51.722 * * [simplify]: iteration done : 74 enodes (cost 14 ) 51.722 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 51.724 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 51.725 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 51.727 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 51.733 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 51.738 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 51.742 * * [simplify]: iteration done : 39 enodes (cost 9 ) 51.743 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 51.744 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 51.745 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 51.747 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 51.750 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 51.755 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 51.758 * * [simplify]: iteration done : 39 enodes (cost 9 ) 51.759 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 51.760 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 51.762 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 51.764 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 51.766 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 51.771 * * [simplify]: iteration 5 : 39 enodes (cost 9 ) 51.774 * * [simplify]: iteration done : 39 enodes (cost 9 ) 51.775 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 51.776 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 51.777 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 51.778 * * [simplify]: iteration done : 18 enodes (cost 6 ) 51.779 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.780 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 51.781 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 51.785 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 51.796 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 51.804 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 51.812 * * [simplify]: iteration done : 88 enodes (cost 8 ) 51.813 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 51.814 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 51.815 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 51.816 * * [simplify]: iteration done : 18 enodes (cost 6 ) 51.817 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.818 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 51.820 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 51.823 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 51.830 * * [simplify]: iteration 4 : 75 enodes (cost 8 ) 51.839 * * [simplify]: iteration 5 : 88 enodes (cost 8 ) 51.847 * * [simplify]: iteration done : 88 enodes (cost 8 ) 51.848 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 51.849 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 51.855 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 51.858 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 51.862 * * [simplify]: iteration 4 : 45 enodes (cost 9 ) 51.868 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 51.874 * * [simplify]: iteration done : 47 enodes (cost 9 ) 51.874 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.876 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 51.877 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 51.879 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 51.881 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 51.886 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 51.890 * * [simplify]: iteration done : 40 enodes (cost 8 ) 51.890 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 51.891 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 51.892 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 51.894 * * [simplify]: iteration 3 : 21 enodes (cost 4 ) 51.896 * * [simplify]: iteration 4 : 25 enodes (cost 4 ) 51.898 * * [simplify]: iteration done : 25 enodes (cost 4 ) 51.899 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 51.900 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 51.901 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 51.903 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 51.905 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 51.911 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 51.917 * * [simplify]: iteration done : 40 enodes (cost 8 ) 51.918 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 51.919 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 51.919 * * [simplify]: iteration done : 8 enodes (cost 1 ) 51.920 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 51.921 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 51.922 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 51.925 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 51.933 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 51.941 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 51.949 * * [simplify]: iteration done : 87 enodes (cost 7 ) 51.950 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 51.951 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 51.951 * * [simplify]: iteration done : 8 enodes (cost 1 ) 51.951 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 51.952 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 51.954 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 51.957 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 51.965 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 51.978 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 51.986 * * [simplify]: iteration done : 87 enodes (cost 7 ) 51.987 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 51.988 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 51.990 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 51.993 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 51.996 * * [simplify]: iteration 4 : 45 enodes (cost 9 ) 52.002 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 52.008 * * [simplify]: iteration done : 47 enodes (cost 9 ) 52.008 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 52.009 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 52.011 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 52.013 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 52.015 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 52.020 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 52.024 * * [simplify]: iteration done : 40 enodes (cost 8 ) 52.024 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 52.025 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 52.026 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 52.028 * * [simplify]: iteration 3 : 21 enodes (cost 4 ) 52.030 * * [simplify]: iteration 4 : 25 enodes (cost 4 ) 52.035 * * [simplify]: iteration done : 25 enodes (cost 4 ) 52.036 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 52.037 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 52.038 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 52.040 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 52.042 * * [simplify]: iteration 4 : 33 enodes (cost 8 ) 52.047 * * [simplify]: iteration 5 : 40 enodes (cost 8 ) 52.051 * * [simplify]: iteration done : 40 enodes (cost 8 ) 52.051 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 52.052 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 52.052 * * [simplify]: iteration done : 8 enodes (cost 1 ) 52.053 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 52.054 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 52.055 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 52.058 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 52.066 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 52.075 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 52.083 * * [simplify]: iteration done : 87 enodes (cost 7 ) 52.083 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 52.084 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 52.084 * * [simplify]: iteration done : 8 enodes (cost 1 ) 52.085 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 52.086 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 52.088 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 52.094 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 52.102 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 52.110 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 52.118 * * [simplify]: iteration done : 87 enodes (cost 7 ) 52.119 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 52.120 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 52.120 * * [simplify]: iteration done : 5 enodes (cost 1 ) 52.120 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 52.121 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 52.123 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 52.126 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 52.134 * * [simplify]: iteration 4 : 74 enodes (cost 7 ) 52.143 * * [simplify]: iteration 5 : 87 enodes (cost 7 ) 52.154 * * [simplify]: iteration done : 87 enodes (cost 7 ) 52.155 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 52.156 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 52.156 * * [simplify]: iteration done : 9 enodes (cost 5 ) 52.157 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 52.158 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 52.159 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 52.162 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 52.166 * * [simplify]: iteration 4 : 40 enodes (cost 3 ) 52.169 * * [simplify]: iteration done : 40 enodes (cost 3 ) 52.169 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 52.171 * * [simplify]: iteration 1 : 31 enodes (cost 13 ) 52.175 * * [simplify]: iteration 2 : 51 enodes (cost 13 ) 52.182 * * [simplify]: iteration 3 : 105 enodes (cost 11 ) 52.204 * * [simplify]: iteration 4 : 268 enodes (cost 11 ) 52.426 * * [simplify]: iteration 5 : 954 enodes (cost 11 ) 53.403 * * [simplify]: iteration 6 : 2745 enodes (cost 11 ) 55.436 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 55.437 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 55.439 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 55.441 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 55.451 * * [simplify]: iteration 3 : 48 enodes (cost 11 ) 55.459 * * [simplify]: iteration 4 : 68 enodes (cost 11 ) 55.469 * * [simplify]: iteration 5 : 89 enodes (cost 11 ) 55.485 * * [simplify]: iteration 6 : 106 enodes (cost 11 ) 55.498 * * [simplify]: iteration 7 : 129 enodes (cost 11 ) 55.522 * * [simplify]: iteration 8 : 172 enodes (cost 11 ) 55.557 * * [simplify]: iteration 9 : 234 enodes (cost 11 ) 55.590 * * [simplify]: iteration 10 : 235 enodes (cost 11 ) 55.622 * * [simplify]: iteration done : 235 enodes (cost 11 ) 55.622 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 55.624 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 55.626 * * [simplify]: iteration 2 : 41 enodes (cost 13 ) 55.633 * * [simplify]: iteration 3 : 111 enodes (cost 11 ) 55.675 * * [simplify]: iteration 4 : 329 enodes (cost 11 ) 55.856 * * [simplify]: iteration 5 : 748 enodes (cost 11 ) 56.081 * * [simplify]: iteration 6 : 1037 enodes (cost 11 ) 56.575 * * [simplify]: iteration 7 : 1608 enodes (cost 11 ) 59.414 * * [simplify]: iteration 8 : 4799 enodes (cost 11 ) 61.075 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 61.075 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 61.076 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 61.077 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 61.078 * * [simplify]: iteration done : 11 enodes (cost 5 ) 61.078 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 61.079 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 61.081 * * [simplify]: iteration done : 16 enodes (cost 19 ) 61.081 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.082 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 61.088 * * [simplify]: iteration done : 13 enodes (cost 10 ) 61.089 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.090 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 61.091 * * [simplify]: iteration done : 13 enodes (cost 10 ) 61.092 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.093 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 61.094 * * [simplify]: iteration done : 13 enodes (cost 10 ) 61.094 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 61.096 * * [simplify]: iteration 1 : 24 enodes (cost 21 ) 61.099 * * [simplify]: iteration 2 : 45 enodes (cost 21 ) 61.106 * * [simplify]: iteration 3 : 76 enodes (cost 19 ) 61.128 * * [simplify]: iteration 4 : 136 enodes (cost 19 ) 61.170 * * [simplify]: iteration 5 : 200 enodes (cost 19 ) 61.203 * * [simplify]: iteration done : 200 enodes (cost 19 ) 61.204 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 61.205 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 61.207 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 61.209 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 61.211 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 61.216 * * [simplify]: iteration 5 : 40 enodes (cost 9 ) 61.220 * * [simplify]: iteration done : 40 enodes (cost 9 ) 61.221 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 61.222 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 61.224 * * [simplify]: iteration 2 : 27 enodes (cost 16 ) 61.228 * * [simplify]: iteration 3 : 40 enodes (cost 14 ) 61.233 * * [simplify]: iteration 4 : 67 enodes (cost 14 ) 61.254 * * [simplify]: iteration 5 : 99 enodes (cost 14 ) 61.266 * * [simplify]: iteration done : 99 enodes (cost 14 ) 61.267 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 61.268 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 61.269 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 61.272 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 61.274 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 61.279 * * [simplify]: iteration 5 : 40 enodes (cost 9 ) 61.283 * * [simplify]: iteration done : 40 enodes (cost 9 ) 61.284 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 61.285 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 61.286 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 61.289 * * [simplify]: iteration 3 : 35 enodes (cost 11 ) 61.292 * * [simplify]: iteration done : 35 enodes (cost 11 ) 61.293 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.294 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.295 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 61.303 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 61.310 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 61.319 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 61.327 * * [simplify]: iteration done : 87 enodes (cost 8 ) 61.328 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 61.329 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 61.331 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 61.334 * * [simplify]: iteration 3 : 35 enodes (cost 11 ) 61.337 * * [simplify]: iteration done : 35 enodes (cost 11 ) 61.337 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.339 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.340 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 61.344 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 61.351 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 61.364 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 61.372 * * [simplify]: iteration done : 87 enodes (cost 8 ) 61.372 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 61.374 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 61.376 * * [simplify]: iteration 2 : 26 enodes (cost 16 ) 61.379 * * [simplify]: iteration 3 : 34 enodes (cost 14 ) 61.384 * * [simplify]: iteration 4 : 58 enodes (cost 14 ) 61.394 * * [simplify]: iteration 5 : 73 enodes (cost 14 ) 61.402 * * [simplify]: iteration done : 73 enodes (cost 14 ) 61.402 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 61.403 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 61.405 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 61.407 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 61.410 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 61.415 * * [simplify]: iteration 5 : 40 enodes (cost 9 ) 61.421 * * [simplify]: iteration done : 40 enodes (cost 9 ) 61.422 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 61.423 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 61.424 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 61.426 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 61.428 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 61.433 * * [simplify]: iteration 5 : 40 enodes (cost 9 ) 61.437 * * [simplify]: iteration done : 40 enodes (cost 9 ) 61.437 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 61.439 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 61.440 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 61.442 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 61.444 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 61.449 * * [simplify]: iteration 5 : 40 enodes (cost 9 ) 61.453 * * [simplify]: iteration done : 40 enodes (cost 9 ) 61.453 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 61.454 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 61.455 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 61.457 * * [simplify]: iteration done : 17 enodes (cost 6 ) 61.457 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.458 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.460 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 61.464 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 61.475 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 61.488 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 61.496 * * [simplify]: iteration done : 87 enodes (cost 8 ) 61.496 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 61.497 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 61.498 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 61.500 * * [simplify]: iteration done : 17 enodes (cost 6 ) 61.500 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.501 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.503 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 61.506 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 61.513 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 61.522 * * [simplify]: iteration 5 : 87 enodes (cost 8 ) 61.531 * * [simplify]: iteration done : 87 enodes (cost 8 ) 61.532 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 61.533 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 61.534 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 61.537 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 61.544 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 61.551 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 61.556 * * [simplify]: iteration done : 47 enodes (cost 9 ) 61.557 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.558 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.559 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 61.561 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 61.563 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 61.568 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 61.572 * * [simplify]: iteration done : 37 enodes (cost 8 ) 61.572 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 61.573 * * [simplify]: iteration 1 : 12 enodes (cost 4 ) 61.574 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 61.576 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 61.578 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 61.580 * * [simplify]: iteration done : 20 enodes (cost 4 ) 61.580 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.582 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.583 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 61.585 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 61.587 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 61.592 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 61.596 * * [simplify]: iteration done : 37 enodes (cost 8 ) 61.597 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 61.597 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 61.597 * * [simplify]: iteration done : 6 enodes (cost 1 ) 61.598 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 61.599 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 61.600 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 61.606 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 61.613 * * [simplify]: iteration 4 : 73 enodes (cost 7 ) 61.622 * * [simplify]: iteration 5 : 84 enodes (cost 7 ) 61.630 * * [simplify]: iteration done : 84 enodes (cost 7 ) 61.630 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 61.631 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 61.631 * * [simplify]: iteration done : 6 enodes (cost 1 ) 61.632 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 61.633 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 61.635 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 61.638 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 61.645 * * [simplify]: iteration 4 : 73 enodes (cost 7 ) 61.654 * * [simplify]: iteration 5 : 84 enodes (cost 7 ) 61.665 * * [simplify]: iteration done : 84 enodes (cost 7 ) 61.665 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 61.666 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 61.668 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 61.671 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 61.676 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 61.682 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 61.688 * * [simplify]: iteration done : 47 enodes (cost 9 ) 61.688 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.689 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.691 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 61.693 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 61.695 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 61.700 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 61.703 * * [simplify]: iteration done : 37 enodes (cost 8 ) 61.704 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 61.705 * * [simplify]: iteration 1 : 12 enodes (cost 4 ) 61.706 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 61.707 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 61.709 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 61.711 * * [simplify]: iteration done : 20 enodes (cost 4 ) 61.712 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 61.713 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 61.715 * * [simplify]: iteration 2 : 18 enodes (cost 10 ) 61.717 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 61.720 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 61.725 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 61.729 * * [simplify]: iteration done : 37 enodes (cost 8 ) 61.729 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 61.730 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 61.730 * * [simplify]: iteration done : 6 enodes (cost 1 ) 61.731 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 61.732 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 61.733 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 61.737 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 61.744 * * [simplify]: iteration 4 : 73 enodes (cost 7 ) 61.753 * * [simplify]: iteration 5 : 84 enodes (cost 7 ) 61.760 * * [simplify]: iteration done : 84 enodes (cost 7 ) 61.761 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 61.761 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 61.762 * * [simplify]: iteration done : 6 enodes (cost 1 ) 61.762 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 61.763 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 61.765 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 61.768 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 61.778 * * [simplify]: iteration 4 : 73 enodes (cost 7 ) 61.787 * * [simplify]: iteration 5 : 84 enodes (cost 7 ) 61.796 * * [simplify]: iteration done : 84 enodes (cost 7 ) 61.796 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 61.797 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 61.797 * * [simplify]: iteration done : 4 enodes (cost 1 ) 61.797 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 61.798 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 61.800 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 61.803 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 61.810 * * [simplify]: iteration 4 : 73 enodes (cost 7 ) 61.819 * * [simplify]: iteration 5 : 84 enodes (cost 7 ) 61.827 * * [simplify]: iteration done : 84 enodes (cost 7 ) 61.827 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 61.828 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 61.829 * * [simplify]: iteration done : 8 enodes (cost 5 ) 61.829 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 61.830 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 61.831 * * [simplify]: iteration 2 : 24 enodes (cost 3 ) 61.839 * * [simplify]: iteration 3 : 34 enodes (cost 3 ) 61.841 * * [simplify]: iteration 4 : 35 enodes (cost 3 ) 61.843 * * [simplify]: iteration done : 35 enodes (cost 3 ) 61.844 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 61.846 * * [simplify]: iteration 1 : 30 enodes (cost 13 ) 61.850 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 61.857 * * [simplify]: iteration 3 : 104 enodes (cost 11 ) 61.878 * * [simplify]: iteration 4 : 269 enodes (cost 11 ) 62.093 * * [simplify]: iteration 5 : 930 enodes (cost 11 ) 63.079 * * [simplify]: iteration 6 : 2710 enodes (cost 11 ) 65.016 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 65.017 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 65.018 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 65.021 * * [simplify]: iteration 2 : 34 enodes (cost 11 ) 65.026 * * [simplify]: iteration 3 : 47 enodes (cost 11 ) 65.034 * * [simplify]: iteration 4 : 67 enodes (cost 11 ) 65.045 * * [simplify]: iteration 5 : 88 enodes (cost 11 ) 65.062 * * [simplify]: iteration 6 : 105 enodes (cost 11 ) 65.076 * * [simplify]: iteration 7 : 128 enodes (cost 11 ) 65.096 * * [simplify]: iteration 8 : 171 enodes (cost 11 ) 65.135 * * [simplify]: iteration 9 : 233 enodes (cost 11 ) 65.164 * * [simplify]: iteration 10 : 234 enodes (cost 11 ) 65.196 * * [simplify]: iteration done : 234 enodes (cost 11 ) 65.197 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 65.198 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 65.200 * * [simplify]: iteration 2 : 40 enodes (cost 13 ) 65.207 * * [simplify]: iteration 3 : 110 enodes (cost 11 ) 65.249 * * [simplify]: iteration 4 : 328 enodes (cost 11 ) 65.430 * * [simplify]: iteration 5 : 747 enodes (cost 11 ) 65.647 * * [simplify]: iteration 6 : 1042 enodes (cost 11 ) 66.126 * * [simplify]: iteration 7 : 1609 enodes (cost 11 ) 68.713 * * [simplify]: iteration 8 : 4782 enodes (cost 11 ) 70.360 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 70.361 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 70.362 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 70.362 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 70.363 * * [simplify]: iteration done : 10 enodes (cost 5 ) 70.364 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 70.365 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 70.366 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 70.370 * * [simplify]: iteration 3 : 38 enodes (cost 7 ) 70.377 * * [simplify]: iteration 4 : 73 enodes (cost 7 ) 70.386 * * [simplify]: iteration 5 : 84 enodes (cost 7 ) 70.394 * * [simplify]: iteration done : 84 enodes (cost 7 ) 70.394 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 70.395 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 70.397 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 70.402 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 70.404 * * [simplify]: iteration done : 39 enodes (cost 7 ) 70.404 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 70.406 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 70.407 * * [simplify]: iteration done : 16 enodes (cost 19 ) 70.408 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 70.411 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 70.413 * * [simplify]: iteration done : 13 enodes (cost 10 ) 70.413 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 70.415 * * [simplify]: iteration 1 : 24 enodes (cost 21 ) 70.417 * * [simplify]: iteration 2 : 45 enodes (cost 21 ) 70.424 * * [simplify]: iteration 3 : 76 enodes (cost 19 ) 70.441 * * [simplify]: iteration 4 : 136 enodes (cost 19 ) 70.484 * * [simplify]: iteration 5 : 200 enodes (cost 19 ) 70.514 * * [simplify]: iteration done : 200 enodes (cost 19 ) 70.515 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 70.517 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 70.519 * * [simplify]: iteration 2 : 27 enodes (cost 16 ) 70.524 * * [simplify]: iteration 3 : 40 enodes (cost 14 ) 70.530 * * [simplify]: iteration 4 : 67 enodes (cost 14 ) 70.546 * * [simplify]: iteration 5 : 99 enodes (cost 14 ) 70.558 * * [simplify]: iteration done : 99 enodes (cost 14 ) 70.559 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 70.560 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 70.562 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 70.565 * * [simplify]: iteration 3 : 35 enodes (cost 11 ) 70.568 * * [simplify]: iteration done : 35 enodes (cost 11 ) 70.569 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 70.570 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 70.571 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 70.575 * * [simplify]: iteration 3 : 35 enodes (cost 11 ) 70.579 * * [simplify]: iteration done : 35 enodes (cost 11 ) 70.580 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 70.581 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 70.583 * * [simplify]: iteration 2 : 26 enodes (cost 16 ) 70.586 * * [simplify]: iteration 3 : 34 enodes (cost 14 ) 70.592 * * [simplify]: iteration 4 : 58 enodes (cost 14 ) 70.601 * * [simplify]: iteration 5 : 73 enodes (cost 14 ) 70.610 * * [simplify]: iteration done : 73 enodes (cost 14 ) 70.611 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 70.612 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 70.613 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 70.616 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 70.618 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 70.623 * * [simplify]: iteration 5 : 40 enodes (cost 9 ) 70.626 * * [simplify]: iteration done : 40 enodes (cost 9 ) 70.627 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 70.628 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 70.629 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 70.630 * * [simplify]: iteration done : 17 enodes (cost 6 ) 70.631 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 70.632 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 70.633 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 70.634 * * [simplify]: iteration done : 17 enodes (cost 6 ) 70.635 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 70.636 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 70.639 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 70.642 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 70.647 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 70.653 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 70.659 * * [simplify]: iteration done : 47 enodes (cost 9 ) 70.659 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 70.660 * * [simplify]: iteration 1 : 12 enodes (cost 4 ) 70.661 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 70.663 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 70.665 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 70.667 * * [simplify]: iteration done : 20 enodes (cost 4 ) 70.668 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 70.669 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 70.669 * * [simplify]: iteration done : 6 enodes (cost 1 ) 70.669 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 70.670 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 70.670 * * [simplify]: iteration done : 6 enodes (cost 1 ) 70.671 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 70.672 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 70.673 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 70.677 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 70.681 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 70.688 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 70.694 * * [simplify]: iteration done : 47 enodes (cost 9 ) 70.694 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 70.695 * * [simplify]: iteration 1 : 12 enodes (cost 4 ) 70.696 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 70.700 * * [simplify]: iteration 3 : 19 enodes (cost 4 ) 70.702 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 70.704 * * [simplify]: iteration done : 20 enodes (cost 4 ) 70.705 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 70.706 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 70.706 * * [simplify]: iteration done : 6 enodes (cost 1 ) 70.706 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 70.707 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 70.707 * * [simplify]: iteration done : 6 enodes (cost 1 ) 70.708 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 70.708 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 70.708 * * [simplify]: iteration done : 4 enodes (cost 1 ) 70.709 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 70.709 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 70.710 * * [simplify]: iteration done : 8 enodes (cost 5 ) 70.711 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 70.712 * * [simplify]: iteration 1 : 30 enodes (cost 13 ) 70.716 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 70.723 * * [simplify]: iteration 3 : 104 enodes (cost 11 ) 70.746 * * [simplify]: iteration 4 : 269 enodes (cost 11 ) 70.963 * * [simplify]: iteration 5 : 930 enodes (cost 11 ) 71.951 * * [simplify]: iteration 6 : 2710 enodes (cost 11 ) 73.892 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 73.893 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 73.894 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 73.897 * * [simplify]: iteration 2 : 40 enodes (cost 13 ) 73.903 * * [simplify]: iteration 3 : 110 enodes (cost 11 ) 73.947 * * [simplify]: iteration 4 : 328 enodes (cost 11 ) 74.128 * * [simplify]: iteration 5 : 747 enodes (cost 11 ) 74.348 * * [simplify]: iteration 6 : 1042 enodes (cost 11 ) 74.833 * * [simplify]: iteration 7 : 1609 enodes (cost 11 ) 77.601 * * [simplify]: iteration 8 : 4782 enodes (cost 11 ) 79.266 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 79.267 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 79.268 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 79.270 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 79.274 * * [simplify]: iteration done : 26 enodes (cost 7 ) 79.274 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 79.275 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 79.277 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 79.280 * * [simplify]: iteration done : 26 enodes (cost 7 ) 79.281 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 79.282 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 79.283 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 79.292 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 79.293 * * [simplify]: iteration done : 39 enodes (cost 7 ) 79.294 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 79.295 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 79.295 * * [simplify]: iteration done : 8 enodes (cost 5 ) 79.296 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 79.297 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 79.298 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 79.299 * * [simplify]: iteration done : 13 enodes (cost 9 ) 79.300 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.301 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 79.302 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 79.303 * * [simplify]: iteration 3 : 15 enodes (cost 8 ) 79.305 * * [simplify]: iteration done : 15 enodes (cost 8 ) 79.305 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 79.306 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 79.307 * * [simplify]: iteration done : 9 enodes (cost 8 ) 79.307 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 79.309 * * [simplify]: iteration 1 : 45 enodes (cost 23 ) 79.319 * * [simplify]: iteration 2 : 136 enodes (cost 11 ) 79.355 * * [simplify]: iteration 3 : 337 enodes (cost 9 ) 79.474 * * [simplify]: iteration 4 : 917 enodes (cost 9 ) 80.026 * * [simplify]: iteration 5 : 2635 enodes (cost 9 ) 81.156 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 81.157 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 81.158 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 81.159 * * [simplify]: iteration done : 10 enodes (cost 17 ) 81.159 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 81.160 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 81.161 * * [simplify]: iteration done : 9 enodes (cost 8 ) 81.162 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 81.163 * * [simplify]: iteration 1 : 17 enodes (cost 23 ) 81.166 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 81.176 * * [simplify]: iteration 3 : 121 enodes (cost 9 ) 81.210 * * [simplify]: iteration 4 : 316 enodes (cost 9 ) 81.314 * * [simplify]: iteration 5 : 693 enodes (cost 9 ) 81.614 * * [simplify]: iteration 6 : 1527 enodes (cost 9 ) 82.615 * * [simplify]: iteration 7 : 3746 enodes (cost 9 ) 83.916 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 83.917 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 83.918 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 83.919 * * [simplify]: iteration done : 9 enodes (cost 8 ) 83.920 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 83.920 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 83.921 * * [simplify]: iteration done : 9 enodes (cost 8 ) 83.922 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 83.922 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 83.923 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 83.924 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 83.925 * * [simplify]: iteration done : 11 enodes (cost 4 ) 83.926 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 83.926 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 83.927 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 83.928 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 83.929 * * [simplify]: iteration done : 11 enodes (cost 4 ) 83.930 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 83.931 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 83.933 * * [simplify]: iteration 2 : 27 enodes (cost 19 ) 83.937 * * [simplify]: iteration 3 : 33 enodes (cost 19 ) 83.941 * * [simplify]: iteration done : 33 enodes (cost 19 ) 83.942 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 83.942 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 83.943 * * [simplify]: iteration done : 10 enodes (cost 9 ) 83.944 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 83.945 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 83.946 * * [simplify]: iteration 2 : 15 enodes (cost 14 ) 83.948 * * [simplify]: iteration 3 : 16 enodes (cost 14 ) 83.950 * * [simplify]: iteration done : 16 enodes (cost 14 ) 83.950 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 83.951 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 83.952 * * [simplify]: iteration done : 10 enodes (cost 9 ) 83.953 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 83.953 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 83.955 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 83.957 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 83.958 * * [simplify]: iteration done : 23 enodes (cost 9 ) 83.959 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 83.960 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 83.961 * * [simplify]: iteration done : 9 enodes (cost 8 ) 83.961 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 83.962 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 83.965 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 83.968 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 83.969 * * [simplify]: iteration done : 23 enodes (cost 9 ) 83.970 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 83.971 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 83.972 * * [simplify]: iteration done : 9 enodes (cost 8 ) 83.973 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 83.974 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 83.976 * * [simplify]: iteration done : 13 enodes (cost 14 ) 83.976 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 83.977 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 83.978 * * [simplify]: iteration done : 10 enodes (cost 9 ) 83.979 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 83.979 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 83.980 * * [simplify]: iteration done : 10 enodes (cost 9 ) 83.981 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 83.982 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 83.983 * * [simplify]: iteration done : 10 enodes (cost 9 ) 83.984 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 83.984 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 83.985 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 83.986 * * [simplify]: iteration done : 11 enodes (cost 4 ) 83.987 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 83.988 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 83.989 * * [simplify]: iteration done : 9 enodes (cost 8 ) 83.989 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 83.990 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 83.991 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 83.992 * * [simplify]: iteration done : 11 enodes (cost 4 ) 83.992 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 83.993 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 83.994 * * [simplify]: iteration done : 9 enodes (cost 8 ) 83.995 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 83.996 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 83.997 * * [simplify]: iteration done : 12 enodes (cost 11 ) 83.997 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 83.998 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 84.000 * * [simplify]: iteration done : 9 enodes (cost 8 ) 84.000 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 84.002 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 84.003 * * [simplify]: iteration done : 9 enodes (cost 6 ) 84.003 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.005 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 84.006 * * [simplify]: iteration done : 9 enodes (cost 8 ) 84.007 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 84.007 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 84.007 * * [simplify]: iteration done : 4 enodes (cost 1 ) 84.008 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 84.009 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.009 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.010 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 84.010 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 84.010 * * [simplify]: iteration done : 4 enodes (cost 1 ) 84.011 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 84.012 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.012 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.013 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 84.014 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 84.015 * * [simplify]: iteration done : 12 enodes (cost 11 ) 84.016 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.016 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 84.017 * * [simplify]: iteration done : 9 enodes (cost 8 ) 84.018 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 84.019 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 84.019 * * [simplify]: iteration done : 9 enodes (cost 6 ) 84.020 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.021 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 84.022 * * [simplify]: iteration done : 9 enodes (cost 8 ) 84.022 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 84.023 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 84.023 * * [simplify]: iteration done : 4 enodes (cost 1 ) 84.023 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 84.024 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.025 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.025 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 84.026 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 84.026 * * [simplify]: iteration done : 4 enodes (cost 1 ) 84.027 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 84.028 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.028 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.029 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 84.030 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 84.030 * * [simplify]: iteration done : 8 enodes (cost 5 ) 84.031 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 84.031 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.032 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.033 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 84.034 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 84.035 * * [simplify]: iteration done : 12 enodes (cost 13 ) 84.036 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.036 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 84.040 * * [simplify]: iteration done : 9 enodes (cost 8 ) 84.041 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 84.041 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 84.042 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 84.043 * * [simplify]: iteration done : 10 enodes (cost 3 ) 84.043 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 84.044 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 84.044 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 84.045 * * [simplify]: iteration done : 10 enodes (cost 3 ) 84.046 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.046 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 84.047 * * [simplify]: iteration done : 9 enodes (cost 8 ) 84.048 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.049 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 84.049 * * [simplify]: iteration done : 9 enodes (cost 8 ) 84.050 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 84.051 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.051 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.052 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 84.053 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.054 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.054 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 84.055 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 84.058 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 84.063 * * [simplify]: iteration 3 : 50 enodes (cost 11 ) 84.070 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 84.089 * * [simplify]: iteration 5 : 201 enodes (cost 11 ) 84.184 * * [simplify]: iteration 6 : 606 enodes (cost 11 ) 85.114 * * [simplify]: iteration 7 : 2449 enodes (cost 11 ) 87.089 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 87.089 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 87.090 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 87.092 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 87.096 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 87.102 * * [simplify]: iteration 4 : 65 enodes (cost 11 ) 87.114 * * [simplify]: iteration 5 : 106 enodes (cost 11 ) 87.141 * * [simplify]: iteration 6 : 164 enodes (cost 11 ) 87.195 * * [simplify]: iteration 7 : 332 enodes (cost 11 ) 87.919 * * [simplify]: iteration 8 : 1621 enodes (cost 11 ) 93.439 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 93.443 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 93.445 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 93.449 * * [simplify]: iteration 2 : 80 enodes (cost 13 ) 93.466 * * [simplify]: iteration 3 : 215 enodes (cost 13 ) 93.543 * * [simplify]: iteration 4 : 525 enodes (cost 13 ) 93.820 * * [simplify]: iteration 5 : 1261 enodes (cost 13 ) 95.280 * * [simplify]: iteration 6 : 2437 enodes (cost 13 ) 98.964 * * [simplify]: iteration 7 : 4612 enodes (cost 13 ) 100.141 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 100.142 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 100.143 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 100.144 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 100.148 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 100.157 * * [simplify]: iteration 4 : 101 enodes (cost 7 ) 100.179 * * [simplify]: iteration 5 : 155 enodes (cost 7 ) 100.220 * * [simplify]: iteration 6 : 208 enodes (cost 7 ) 100.282 * * [simplify]: iteration 7 : 303 enodes (cost 7 ) 100.404 * * [simplify]: iteration 8 : 509 enodes (cost 7 ) 100.676 * * [simplify]: iteration 9 : 802 enodes (cost 7 ) 100.878 * * [simplify]: iteration 10 : 860 enodes (cost 7 ) 101.110 * * [simplify]: iteration 11 : 867 enodes (cost 7 ) 101.337 * * [simplify]: iteration done : 867 enodes (cost 7 ) 101.338 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 101.340 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 101.344 * * [simplify]: iteration 2 : 58 enodes (cost 9 ) 101.357 * * [simplify]: iteration 3 : 97 enodes (cost 9 ) 101.373 * * [simplify]: iteration 4 : 136 enodes (cost 9 ) 101.394 * * [simplify]: iteration 5 : 178 enodes (cost 9 ) 101.426 * * [simplify]: iteration 6 : 259 enodes (cost 9 ) 101.509 * * [simplify]: iteration 7 : 422 enodes (cost 9 ) 101.638 * * [simplify]: iteration 8 : 777 enodes (cost 9 ) 102.311 * * [simplify]: iteration 9 : 2023 enodes (cost 9 ) 104.389 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 104.390 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 104.391 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 104.394 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 104.404 * * [simplify]: iteration 3 : 152 enodes (cost 13 ) 104.459 * * [simplify]: iteration 4 : 391 enodes (cost 12 ) 104.662 * * [simplify]: iteration 5 : 1144 enodes (cost 12 ) 106.862 * * [simplify]: iteration 6 : 4662 enodes (cost 11 ) 108.244 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 108.245 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 108.247 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 108.250 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 108.260 * * [simplify]: iteration 3 : 152 enodes (cost 13 ) 108.313 * * [simplify]: iteration 4 : 391 enodes (cost 12 ) 108.506 * * [simplify]: iteration 5 : 1144 enodes (cost 12 ) 110.695 * * [simplify]: iteration 6 : 4662 enodes (cost 11 ) 112.076 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 112.077 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 112.077 * * [simplify]: iteration done : 1 enodes (cost 1 ) 112.082 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 112.082 * * [simplify]: iteration done : 1 enodes (cost 1 ) 112.083 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 112.083 * * [simplify]: iteration done : 1 enodes (cost 1 ) 112.085 * [simplify]: Simplified to: -1 (- (log (+ x y)) (log (+ y 1.0))) (neg (log (/ (+ y 1.0) (+ x y)))) (- (log (+ x y)) (log (+ y 1.0))) (neg (log (/ (+ y 1.0) (+ x y)))) (- (log (+ x y)) (log (+ y 1.0))) (neg (log (/ (+ y 1.0) (+ x y)))) (log (/ (+ x y) (+ y 1.0))) (exp (/ (+ x y) (+ y 1.0))) (/ 1 (pow (/ (+ y 1.0) (+ x y)) 3)) (pow (/ (+ x y) (+ y 1.0)) 3) (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))) (cbrt (/ (+ x y) (+ y 1.0))) (pow (/ (+ y x) (+ y 1.0)) 3) (sqrt (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) -1 (neg (/ (+ y 1.0) (+ x y))) (/ 1 (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ 1 (cbrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (* (/ (cbrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (cbrt (+ x y))) (/ (cbrt (+ x y)) (cbrt (+ y 1.0))) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (cbrt (+ y 1.0))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (cbrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (/ 1 (+ y 1.0)) (+ x y) (/ (+ (pow x 3) (pow y 3)) (+ y 1.0)) (/ 1 (+ (* x x) (* y (- y x)))) (/ (- (* x x) (* y y)) (+ 1.0 y)) (/ 1 (- x y)) (/ 1 (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ 1 (cbrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (cbrt (+ x y)) (cbrt (+ y 1.0))) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (cbrt (+ y 1.0))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (cbrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (/ 1 (+ y 1.0)) (+ x y) (/ (+ (pow x 3) (pow y 3)) (+ y 1.0)) (/ 1 (+ (* x x) (* y (- y x)))) (/ (- (* x x) (* y y)) (+ y 1.0)) (/ 1 (- x y)) (/ 1 (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ 1 (cbrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (cbrt (+ x y)) (cbrt (+ y 1.0))) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (cbrt (+ y 1.0))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (cbrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (/ 1 (+ y 1.0)) (+ x y) (/ (+ (pow x 3) (pow y 3)) (+ y 1.0)) (/ 1 (+ (* y (- y x)) (* x x))) (/ (- (* x x) (* y y)) (+ y 1.0)) (/ 1 (- x y)) (/ (+ x y) (+ y 1.0)) (/ (+ y 1.0) (+ x y)) (/ 1 (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y))))) (/ 1 (sqrt (/ (+ y 1.0) (+ x y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ x y)) 1 1 (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ x y)) 1 1 1 (/ 1 (+ y 1.0)) (/ (+ (pow x 3) (pow y 3)) (+ y 1.0)) (/ (- (* x x) (* y y)) (+ y 1.0)) (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y)) (/ 1 (+ y 1.0)) (- (log (+ y 1.0)) (log (+ x y))) (log (/ (+ y 1.0) (+ x y))) (exp (/ (+ y 1.0) (+ x y))) (pow (/ (+ y 1.0) (+ x y)) 3) (* (cbrt (/ (+ y 1.0) (+ x y))) (cbrt (/ (+ y 1.0) (+ x y)))) (cbrt (/ (+ y 1.0) (+ x y))) (pow (/ (+ y 1.0) (+ x y)) 3) (sqrt (/ (+ y 1.0) (+ x y))) (sqrt (/ (+ y 1.0) (+ x y))) (neg (+ y 1.0)) (neg (+ x y)) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt (+ y 1.0)) (cbrt (+ x y))) (/ (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (sqrt (+ x y))) (/ (cbrt (+ y 1.0)) (sqrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (/ (cbrt (+ y 1.0)) (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (/ (cbrt (+ y 1.0)) (+ x y)) (/ (sqrt (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt (+ y 1.0)) (cbrt (+ x y))) (/ (sqrt (+ y 1.0)) (sqrt (+ x y))) (/ (sqrt (+ y 1.0)) (sqrt (+ x y))) (sqrt (+ y 1.0)) (/ (sqrt (+ y 1.0)) (+ x y)) (sqrt (+ y 1.0)) (/ (sqrt (+ y 1.0)) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (+ y 1.0) (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) 1 (/ (+ y 1.0) (+ x y)) 1 (/ (+ y 1.0) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (+ y 1.0) (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) 1 (/ (+ y 1.0) (+ x y)) 1 (/ (+ y 1.0) (+ x y)) (/ 1 (+ x y)) (/ (+ x y) (+ y 1.0)) (/ (+ y 1.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (+ y 1.0) (sqrt (+ x y))) (+ y 1.0) (+ y 1.0) (/ (+ x y) (cbrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ (+ x y) (+ y 1.0)) (/ (+ x y) (+ y 1.0)) (/ (+ y 1.0) (+ (pow x 3) (pow y 3))) (/ (+ y 1.0) (- (* x x) (* y y))) (* (+ (* y y) (* 1.0 (- 1.0 y))) (+ x y)) (* (+ x y) (- y 1.0)) (* 1.0 (- (+ x y) (pow y 2))) (+ (/ (- 1 (/ 1.0 y)) (/ y x)) 1) (+ (/ (- 1 (/ 1.0 y)) (/ y x)) 1) 0 0 0 112.086 * * * [progress]: adding candidates to table 112.202 * * [progress]: iteration 3 / 4 112.202 * * * [progress]: picking best candidate 112.205 * * * * [pick]: Picked # 112.205 * * * [progress]: localizing error 112.213 * * * [progress]: generating rewritten candidates 112.213 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 112.225 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 112.234 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 112.252 * * * [progress]: generating series expansions 112.252 * * * * [progress]: [ 1 / 3 ] generating series at (2) 112.252 * [approximate]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in (x y) around 0 112.252 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in y 112.252 * [taylor]: Taking taylor expansion of (+ x y) in y 112.252 * [taylor]: Taking taylor expansion of x in y 112.252 * [taylor]: Taking taylor expansion of y in y 112.252 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.252 * [taylor]: Taking taylor expansion of y in y 112.252 * [taylor]: Taking taylor expansion of 1.0 in y 112.252 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 112.252 * [taylor]: Taking taylor expansion of (+ x y) in x 112.252 * [taylor]: Taking taylor expansion of x in x 112.252 * [taylor]: Taking taylor expansion of y in x 112.252 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 112.252 * [taylor]: Taking taylor expansion of y in x 112.252 * [taylor]: Taking taylor expansion of 1.0 in x 112.253 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 112.253 * [taylor]: Taking taylor expansion of (+ x y) in x 112.253 * [taylor]: Taking taylor expansion of x in x 112.253 * [taylor]: Taking taylor expansion of y in x 112.253 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 112.253 * [taylor]: Taking taylor expansion of y in x 112.253 * [taylor]: Taking taylor expansion of 1.0 in x 112.253 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 112.253 * [taylor]: Taking taylor expansion of y in y 112.253 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.253 * [taylor]: Taking taylor expansion of y in y 112.253 * [taylor]: Taking taylor expansion of 1.0 in y 112.253 * [taylor]: Taking taylor expansion of (/ 1 (+ y 1.0)) in y 112.253 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.253 * [taylor]: Taking taylor expansion of y in y 112.253 * [taylor]: Taking taylor expansion of 1.0 in y 112.253 * [taylor]: Taking taylor expansion of 0 in y 112.254 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in (x y) around 0 112.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in y 112.254 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.254 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.254 * [taylor]: Taking taylor expansion of x in y 112.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.254 * [taylor]: Taking taylor expansion of y in y 112.254 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 112.254 * [taylor]: Taking taylor expansion of 1.0 in y 112.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.254 * [taylor]: Taking taylor expansion of y in y 112.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 112.254 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.254 * [taylor]: Taking taylor expansion of x in x 112.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.254 * [taylor]: Taking taylor expansion of y in x 112.254 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 112.254 * [taylor]: Taking taylor expansion of 1.0 in x 112.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.254 * [taylor]: Taking taylor expansion of y in x 112.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 112.254 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.254 * [taylor]: Taking taylor expansion of x in x 112.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.254 * [taylor]: Taking taylor expansion of y in x 112.255 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 112.255 * [taylor]: Taking taylor expansion of 1.0 in x 112.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.255 * [taylor]: Taking taylor expansion of y in x 112.255 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 y))) in y 112.255 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 112.255 * [taylor]: Taking taylor expansion of 1.0 in y 112.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.255 * [taylor]: Taking taylor expansion of y in y 112.255 * [taylor]: Taking taylor expansion of (/ 1 (* (+ 1.0 (/ 1 y)) y)) in y 112.255 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in y 112.255 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 112.255 * [taylor]: Taking taylor expansion of 1.0 in y 112.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.255 * [taylor]: Taking taylor expansion of y in y 112.255 * [taylor]: Taking taylor expansion of y in y 112.256 * [taylor]: Taking taylor expansion of 0 in y 112.256 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in (x y) around 0 112.256 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in y 112.256 * [taylor]: Taking taylor expansion of -1 in y 112.256 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in y 112.256 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.256 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.256 * [taylor]: Taking taylor expansion of x in y 112.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.256 * [taylor]: Taking taylor expansion of y in y 112.256 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.256 * [taylor]: Taking taylor expansion of 1.0 in y 112.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.256 * [taylor]: Taking taylor expansion of y in y 112.257 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 112.257 * [taylor]: Taking taylor expansion of -1 in x 112.257 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 112.257 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.257 * [taylor]: Taking taylor expansion of x in x 112.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.257 * [taylor]: Taking taylor expansion of y in x 112.257 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 112.257 * [taylor]: Taking taylor expansion of 1.0 in x 112.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.257 * [taylor]: Taking taylor expansion of y in x 112.257 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 112.257 * [taylor]: Taking taylor expansion of -1 in x 112.257 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 112.257 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.257 * [taylor]: Taking taylor expansion of x in x 112.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.257 * [taylor]: Taking taylor expansion of y in x 112.257 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 112.257 * [taylor]: Taking taylor expansion of 1.0 in x 112.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.257 * [taylor]: Taking taylor expansion of y in x 112.257 * [taylor]: Taking taylor expansion of (/ -1 (- 1.0 (/ 1 y))) in y 112.257 * [taylor]: Taking taylor expansion of -1 in y 112.258 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.258 * [taylor]: Taking taylor expansion of 1.0 in y 112.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.258 * [taylor]: Taking taylor expansion of y in y 112.258 * [taylor]: Taking taylor expansion of (neg (/ 1 (* y (- 1.0 (/ 1 y))))) in y 112.258 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 1.0 (/ 1 y)))) in y 112.258 * [taylor]: Taking taylor expansion of (* y (- 1.0 (/ 1 y))) in y 112.258 * [taylor]: Taking taylor expansion of y in y 112.258 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.258 * [taylor]: Taking taylor expansion of 1.0 in y 112.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.258 * [taylor]: Taking taylor expansion of y in y 112.259 * [taylor]: Taking taylor expansion of 0 in y 112.259 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 112.259 * [approximate]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in (x y) around 0 112.259 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in y 112.259 * [taylor]: Taking taylor expansion of (+ x y) in y 112.259 * [taylor]: Taking taylor expansion of x in y 112.259 * [taylor]: Taking taylor expansion of y in y 112.259 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.259 * [taylor]: Taking taylor expansion of y in y 112.259 * [taylor]: Taking taylor expansion of 1.0 in y 112.259 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 112.259 * [taylor]: Taking taylor expansion of (+ x y) in x 112.260 * [taylor]: Taking taylor expansion of x in x 112.260 * [taylor]: Taking taylor expansion of y in x 112.260 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 112.260 * [taylor]: Taking taylor expansion of y in x 112.260 * [taylor]: Taking taylor expansion of 1.0 in x 112.260 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 112.260 * [taylor]: Taking taylor expansion of (+ x y) in x 112.260 * [taylor]: Taking taylor expansion of x in x 112.260 * [taylor]: Taking taylor expansion of y in x 112.260 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 112.260 * [taylor]: Taking taylor expansion of y in x 112.260 * [taylor]: Taking taylor expansion of 1.0 in x 112.260 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 112.260 * [taylor]: Taking taylor expansion of y in y 112.260 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.260 * [taylor]: Taking taylor expansion of y in y 112.260 * [taylor]: Taking taylor expansion of 1.0 in y 112.260 * [taylor]: Taking taylor expansion of (/ 1 (+ y 1.0)) in y 112.260 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.260 * [taylor]: Taking taylor expansion of y in y 112.260 * [taylor]: Taking taylor expansion of 1.0 in y 112.260 * [taylor]: Taking taylor expansion of 0 in y 112.261 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in (x y) around 0 112.261 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in y 112.261 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.261 * [taylor]: Taking taylor expansion of x in y 112.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.261 * [taylor]: Taking taylor expansion of y in y 112.261 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 112.261 * [taylor]: Taking taylor expansion of 1.0 in y 112.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.261 * [taylor]: Taking taylor expansion of y in y 112.261 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 112.261 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.261 * [taylor]: Taking taylor expansion of x in x 112.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.261 * [taylor]: Taking taylor expansion of y in x 112.261 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 112.261 * [taylor]: Taking taylor expansion of 1.0 in x 112.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.261 * [taylor]: Taking taylor expansion of y in x 112.261 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 112.261 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.261 * [taylor]: Taking taylor expansion of x in x 112.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.261 * [taylor]: Taking taylor expansion of y in x 112.262 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 112.262 * [taylor]: Taking taylor expansion of 1.0 in x 112.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.262 * [taylor]: Taking taylor expansion of y in x 112.262 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 y))) in y 112.262 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 112.262 * [taylor]: Taking taylor expansion of 1.0 in y 112.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.262 * [taylor]: Taking taylor expansion of y in y 112.262 * [taylor]: Taking taylor expansion of (/ 1 (* (+ 1.0 (/ 1 y)) y)) in y 112.262 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) y) in y 112.262 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 112.262 * [taylor]: Taking taylor expansion of 1.0 in y 112.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.262 * [taylor]: Taking taylor expansion of y in y 112.262 * [taylor]: Taking taylor expansion of y in y 112.263 * [taylor]: Taking taylor expansion of 0 in y 112.263 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in (x y) around 0 112.263 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in y 112.263 * [taylor]: Taking taylor expansion of -1 in y 112.264 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in y 112.264 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.264 * [taylor]: Taking taylor expansion of x in y 112.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.264 * [taylor]: Taking taylor expansion of y in y 112.264 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.264 * [taylor]: Taking taylor expansion of 1.0 in y 112.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.264 * [taylor]: Taking taylor expansion of y in y 112.264 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 112.264 * [taylor]: Taking taylor expansion of -1 in x 112.264 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 112.264 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.264 * [taylor]: Taking taylor expansion of x in x 112.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.264 * [taylor]: Taking taylor expansion of y in x 112.264 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 112.264 * [taylor]: Taking taylor expansion of 1.0 in x 112.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.264 * [taylor]: Taking taylor expansion of y in x 112.264 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 112.264 * [taylor]: Taking taylor expansion of -1 in x 112.264 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 112.264 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.264 * [taylor]: Taking taylor expansion of x in x 112.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.264 * [taylor]: Taking taylor expansion of y in x 112.264 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 112.264 * [taylor]: Taking taylor expansion of 1.0 in x 112.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.264 * [taylor]: Taking taylor expansion of y in x 112.265 * [taylor]: Taking taylor expansion of (/ -1 (- 1.0 (/ 1 y))) in y 112.265 * [taylor]: Taking taylor expansion of -1 in y 112.265 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.265 * [taylor]: Taking taylor expansion of 1.0 in y 112.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.265 * [taylor]: Taking taylor expansion of y in y 112.265 * [taylor]: Taking taylor expansion of (neg (/ 1 (* y (- 1.0 (/ 1 y))))) in y 112.265 * [taylor]: Taking taylor expansion of (/ 1 (* y (- 1.0 (/ 1 y)))) in y 112.265 * [taylor]: Taking taylor expansion of (* y (- 1.0 (/ 1 y))) in y 112.265 * [taylor]: Taking taylor expansion of y in y 112.265 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.265 * [taylor]: Taking taylor expansion of 1.0 in y 112.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.265 * [taylor]: Taking taylor expansion of y in y 112.266 * [taylor]: Taking taylor expansion of 0 in y 112.266 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 112.266 * [approximate]: Taking taylor expansion of (exp (/ (+ x y) (+ y 1.0))) in (x y) around 0 112.267 * [taylor]: Taking taylor expansion of (exp (/ (+ x y) (+ y 1.0))) in y 112.267 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in y 112.267 * [taylor]: Taking taylor expansion of (+ x y) in y 112.267 * [taylor]: Taking taylor expansion of x in y 112.267 * [taylor]: Taking taylor expansion of y in y 112.267 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.267 * [taylor]: Taking taylor expansion of y in y 112.267 * [taylor]: Taking taylor expansion of 1.0 in y 112.267 * [taylor]: Taking taylor expansion of (exp (/ (+ x y) (+ y 1.0))) in x 112.267 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 112.267 * [taylor]: Taking taylor expansion of (+ x y) in x 112.267 * [taylor]: Taking taylor expansion of x in x 112.267 * [taylor]: Taking taylor expansion of y in x 112.267 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 112.267 * [taylor]: Taking taylor expansion of y in x 112.267 * [taylor]: Taking taylor expansion of 1.0 in x 112.267 * [taylor]: Taking taylor expansion of (exp (/ (+ x y) (+ y 1.0))) in x 112.267 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ y 1.0)) in x 112.267 * [taylor]: Taking taylor expansion of (+ x y) in x 112.267 * [taylor]: Taking taylor expansion of x in x 112.267 * [taylor]: Taking taylor expansion of y in x 112.267 * [taylor]: Taking taylor expansion of (+ y 1.0) in x 112.267 * [taylor]: Taking taylor expansion of y in x 112.267 * [taylor]: Taking taylor expansion of 1.0 in x 112.267 * [taylor]: Taking taylor expansion of (exp (/ y (+ y 1.0))) in y 112.267 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 112.267 * [taylor]: Taking taylor expansion of y in y 112.267 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.267 * [taylor]: Taking taylor expansion of y in y 112.267 * [taylor]: Taking taylor expansion of 1.0 in y 112.268 * [taylor]: Taking taylor expansion of (/ (exp (/ y (+ y 1.0))) (+ y 1.0)) in y 112.268 * [taylor]: Taking taylor expansion of (exp (/ y (+ y 1.0))) in y 112.268 * [taylor]: Taking taylor expansion of (/ y (+ y 1.0)) in y 112.268 * [taylor]: Taking taylor expansion of y in y 112.268 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.268 * [taylor]: Taking taylor expansion of y in y 112.268 * [taylor]: Taking taylor expansion of 1.0 in y 112.268 * [taylor]: Taking taylor expansion of (+ y 1.0) in y 112.268 * [taylor]: Taking taylor expansion of y in y 112.268 * [taylor]: Taking taylor expansion of 1.0 in y 112.268 * [approximate]: Taking taylor expansion of (exp (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y)))) in (x y) around 0 112.268 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y)))) in y 112.268 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in y 112.268 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.268 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.268 * [taylor]: Taking taylor expansion of x in y 112.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.268 * [taylor]: Taking taylor expansion of y in y 112.268 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 112.268 * [taylor]: Taking taylor expansion of 1.0 in y 112.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.269 * [taylor]: Taking taylor expansion of y in y 112.269 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y)))) in x 112.269 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 112.269 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.269 * [taylor]: Taking taylor expansion of x in x 112.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.269 * [taylor]: Taking taylor expansion of y in x 112.269 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 112.269 * [taylor]: Taking taylor expansion of 1.0 in x 112.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.269 * [taylor]: Taking taylor expansion of y in x 112.269 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y)))) in x 112.269 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ 1.0 (/ 1 y))) in x 112.269 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.269 * [taylor]: Taking taylor expansion of x in x 112.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.269 * [taylor]: Taking taylor expansion of y in x 112.269 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 112.269 * [taylor]: Taking taylor expansion of 1.0 in x 112.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.269 * [taylor]: Taking taylor expansion of y in x 112.270 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 y) 1.0))) in y 112.270 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 y) 1.0)) in y 112.270 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.270 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.270 * [taylor]: Taking taylor expansion of x in y 112.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.270 * [taylor]: Taking taylor expansion of y in y 112.270 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 112.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.270 * [taylor]: Taking taylor expansion of y in y 112.270 * [taylor]: Taking taylor expansion of 1.0 in y 112.270 * [taylor]: Taking taylor expansion of 0 in y 112.270 * [taylor]: Taking taylor expansion of 0 in y 112.272 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))))) in (x y) around 0 112.272 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))))) in y 112.272 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in y 112.272 * [taylor]: Taking taylor expansion of -1 in y 112.272 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in y 112.272 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.272 * [taylor]: Taking taylor expansion of x in y 112.272 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.272 * [taylor]: Taking taylor expansion of y in y 112.272 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.272 * [taylor]: Taking taylor expansion of 1.0 in y 112.272 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.272 * [taylor]: Taking taylor expansion of y in y 112.272 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))))) in x 112.272 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 112.272 * [taylor]: Taking taylor expansion of -1 in x 112.272 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 112.272 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.272 * [taylor]: Taking taylor expansion of x in x 112.272 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.272 * [taylor]: Taking taylor expansion of y in x 112.272 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 112.272 * [taylor]: Taking taylor expansion of 1.0 in x 112.272 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.272 * [taylor]: Taking taylor expansion of y in x 112.273 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))))) in x 112.273 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in x 112.273 * [taylor]: Taking taylor expansion of -1 in x 112.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in x 112.273 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 112.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 112.273 * [taylor]: Taking taylor expansion of x in x 112.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.273 * [taylor]: Taking taylor expansion of y in x 112.273 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 112.273 * [taylor]: Taking taylor expansion of 1.0 in x 112.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 112.273 * [taylor]: Taking taylor expansion of y in x 112.273 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))))) in y 112.273 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y)))) in y 112.273 * [taylor]: Taking taylor expansion of -1 in y 112.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 y))) in y 112.273 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 112.273 * [taylor]: Taking taylor expansion of (/ 1 x) in y 112.273 * [taylor]: Taking taylor expansion of x in y 112.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.273 * [taylor]: Taking taylor expansion of y in y 112.273 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 112.274 * [taylor]: Taking taylor expansion of 1.0 in y 112.274 * [taylor]: Taking taylor expansion of (/ 1 y) in y 112.274 * [taylor]: Taking taylor expansion of y in y 112.274 * [taylor]: Taking taylor expansion of 0 in y 112.274 * [taylor]: Taking taylor expansion of 0 in y 112.276 * * * [progress]: simplifying candidates 112.278 * [simplify]: Simplifying using # : (log (* (cbrt (exp (/ (+ x y) (+ y 1.0)))) (cbrt (exp (/ (+ x y) (+ y 1.0)))))) (log (cbrt (exp (/ (+ x y) (+ y 1.0))))) (log (sqrt (exp (/ (+ x y) (+ y 1.0))))) (log (sqrt (exp (/ (+ x y) (+ y 1.0))))) (log 1) (log (exp (/ (+ x y) (+ y 1.0)))) (log (exp (/ (+ x y) (+ y 1.0)))) (log (exp (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))))) (log (exp (sqrt (/ (+ x y) (+ y 1.0))))) (log (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))))) (log (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))))) (log (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1))) (log (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1))) (log (exp (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))))) (log (exp (/ (sqrt (+ x y)) (sqrt (+ y 1.0))))) (log (exp (/ (sqrt (+ x y)) 1))) (log (exp (/ (sqrt (+ x y)) 1))) (log (exp (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))))) (log (exp (/ 1 (sqrt (+ y 1.0))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))))) (log (exp (/ 1 (sqrt (+ y 1.0))))) (log (exp (/ 1 1))) (log (exp (/ 1 1))) (log (exp 1)) (log (exp (+ x y))) (log (exp (/ (+ x y) (+ (pow y 3) (pow 1.0 3))))) (log (exp (/ (+ x y) (- (* y y) (* 1.0 1.0))))) (log (log (exp (/ (+ x y) (+ y 1.0))))) (exp (log (exp (/ (+ x y) (+ y 1.0))))) (* (cbrt (log (exp (/ (+ x y) (+ y 1.0))))) (cbrt (log (exp (/ (+ x y) (+ y 1.0)))))) (cbrt (log (exp (/ (+ x y) (+ y 1.0))))) (* (* (log (exp (/ (+ x y) (+ y 1.0)))) (log (exp (/ (+ x y) (+ y 1.0))))) (log (exp (/ (+ x y) (+ y 1.0))))) (sqrt (log (exp (/ (+ x y) (+ y 1.0))))) (sqrt (log (exp (/ (+ x y) (+ y 1.0))))) (- (log (+ x y)) (log (+ y 1.0))) (log (/ (+ x y) (+ y 1.0))) (exp (/ (+ x y) (+ y 1.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ y 1.0) (+ y 1.0)) (+ y 1.0))) (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))) (cbrt (/ (+ x y) (+ y 1.0))) (* (* (/ (+ x y) (+ y 1.0)) (/ (+ x y) (+ y 1.0))) (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) (neg (+ x y)) (neg (+ y 1.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (cbrt (+ x y)) (cbrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (cbrt (+ x y)) (sqrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (+ y 1.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (+ y 1.0)) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (cbrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (+ y 1.0)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 1) (/ (+ x y) (+ y 1.0)) (/ 1 (+ y 1.0)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (sqrt (+ y 1.0))) (/ (+ x y) 1) (/ (+ x y) 1) (/ (+ y 1.0) (cbrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (+ (pow y 3) (pow 1.0 3))) (/ (+ x y) (- (* y y) (* 1.0 1.0))) (* (+ y 1.0) (+ (* x x) (- (* y y) (* x y)))) (* (+ y 1.0) (- x y)) (exp (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0))))) (exp (sqrt (/ (+ x y) (+ y 1.0)))) (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0)))) (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (exp (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ (sqrt (+ x y)) (sqrt (+ y 1.0)))) (exp (/ (sqrt (+ x y)) 1)) (exp (/ (sqrt (+ x y)) 1)) (exp (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ 1 (sqrt (+ y 1.0)))) (exp (/ 1 1)) (exp (/ 1 1)) (exp (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ 1 (sqrt (+ y 1.0)))) (exp (/ 1 1)) (exp (/ 1 1)) (exp 1) (exp (+ x y)) (exp (/ (+ x y) (+ (pow y 3) (pow 1.0 3)))) (exp (/ (+ x y) (- (* y y) (* 1.0 1.0)))) (log (exp (/ (+ x y) (+ y 1.0)))) (exp (exp (/ (+ x y) (+ y 1.0)))) (* (cbrt (exp (/ (+ x y) (+ y 1.0)))) (cbrt (exp (/ (+ x y) (+ y 1.0))))) (cbrt (exp (/ (+ x y) (+ y 1.0)))) (* (* (exp (/ (+ x y) (+ y 1.0))) (exp (/ (+ x y) (+ y 1.0)))) (exp (/ (+ x y) (+ y 1.0)))) (sqrt (exp (/ (+ x y) (+ y 1.0)))) (sqrt (exp (/ (+ x y) (+ y 1.0)))) (- (+ (* 1.0 y) (* 1.0 x)) (* 1.0 (* x y))) (- (+ 1 (/ x y)) (* 1.0 (/ 1 y))) (- (+ 1 (/ x y)) (* 1.0 (/ 1 y))) (- (+ (* 1.0 y) (* 1.0 x)) (* 1.0 (* x y))) (- (+ 1 (/ x y)) (* 1.0 (/ 1 y))) (- (+ 1 (/ x y)) (* 1.0 (/ 1 y))) (+ (* 1.0 x) (+ (* 1.0 y) 1)) (- (+ E (+ (* 1.5 (/ E (pow y 2))) (+ (* 1/2 (/ (* (pow x 2) E) (pow y 2))) (/ (* x E) y)))) (+ (* 2.0 (/ (* x E) (pow y 2))) (* 1.0 (/ E y)))) (- (+ E (+ (* 1.5 (/ E (pow y 2))) (+ (* 1/2 (/ (* (pow x 2) E) (pow y 2))) (/ (* x E) y)))) (+ (* 2.0 (/ (* x E) (pow y 2))) (* 1.0 (/ E y)))) 112.278 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 112.280 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 112.281 * * [simplify]: iteration 2 : 16 enodes (cost 12 ) 112.283 * * [simplify]: iteration 3 : 17 enodes (cost 12 ) 112.284 * * [simplify]: iteration done : 17 enodes (cost 12 ) 112.285 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 112.286 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 112.287 * * [simplify]: iteration done : 11 enodes (cost 10 ) 112.288 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 112.288 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 112.290 * * [simplify]: iteration done : 11 enodes (cost 10 ) 112.290 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 112.291 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 112.292 * * [simplify]: iteration done : 11 enodes (cost 10 ) 112.293 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 112.293 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 112.293 * * [simplify]: iteration done : 4 enodes (cost 1 ) 112.294 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 112.295 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 112.296 * * [simplify]: iteration done : 10 enodes (cost 7 ) 112.297 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 112.297 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 112.298 * * [simplify]: iteration done : 10 enodes (cost 7 ) 112.299 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 112.300 * * [simplify]: iteration 1 : 14 enodes (cost 17 ) 112.302 * * [simplify]: iteration 2 : 20 enodes (cost 17 ) 112.304 * * [simplify]: iteration 3 : 28 enodes (cost 17 ) 112.308 * * [simplify]: iteration 4 : 53 enodes (cost 17 ) 112.320 * * [simplify]: iteration 5 : 126 enodes (cost 17 ) 112.370 * * [simplify]: iteration 6 : 377 enodes (cost 17 ) 112.718 * * [simplify]: iteration 7 : 1345 enodes (cost 17 ) 114.701 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 114.701 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 114.703 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 114.704 * * [simplify]: iteration done : 11 enodes (cost 8 ) 114.704 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 114.706 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 114.708 * * [simplify]: iteration 2 : 31 enodes (cost 19 ) 114.712 * * [simplify]: iteration 3 : 45 enodes (cost 19 ) 114.717 * * [simplify]: iteration 4 : 64 enodes (cost 19 ) 114.725 * * [simplify]: iteration 5 : 108 enodes (cost 19 ) 114.747 * * [simplify]: iteration 6 : 244 enodes (cost 19 ) 114.899 * * [simplify]: iteration 7 : 729 enodes (cost 19 ) 116.672 * * [simplify]: iteration 8 : 3684 enodes (cost 19 ) 118.051 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 118.052 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 118.057 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 118.059 * * [simplify]: iteration 2 : 17 enodes (cost 14 ) 118.060 * * [simplify]: iteration 3 : 20 enodes (cost 14 ) 118.063 * * [simplify]: iteration 4 : 28 enodes (cost 14 ) 118.066 * * [simplify]: iteration 5 : 41 enodes (cost 14 ) 118.072 * * [simplify]: iteration 6 : 78 enodes (cost 14 ) 118.085 * * [simplify]: iteration 7 : 185 enodes (cost 14 ) 118.185 * * [simplify]: iteration 8 : 549 enodes (cost 14 ) 119.008 * * [simplify]: iteration 9 : 2198 enodes (cost 14 ) 121.003 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 121.003 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 121.004 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 121.006 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 121.008 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 121.011 * * [simplify]: iteration 4 : 45 enodes (cost 9 ) 121.015 * * [simplify]: iteration 5 : 70 enodes (cost 9 ) 121.031 * * [simplify]: iteration 6 : 149 enodes (cost 9 ) 121.097 * * [simplify]: iteration 7 : 418 enodes (cost 9 ) 121.560 * * [simplify]: iteration 8 : 1661 enodes (cost 9 ) 123.582 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 123.583 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 123.584 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 123.585 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 123.588 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 123.591 * * [simplify]: iteration 4 : 45 enodes (cost 9 ) 123.595 * * [simplify]: iteration 5 : 70 enodes (cost 9 ) 123.604 * * [simplify]: iteration 6 : 149 enodes (cost 9 ) 123.672 * * [simplify]: iteration 7 : 418 enodes (cost 9 ) 124.149 * * [simplify]: iteration 8 : 1661 enodes (cost 9 ) 126.180 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 126.181 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 126.182 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 126.183 * * [simplify]: iteration done : 15 enodes (cost 14 ) 126.184 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 126.185 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 126.187 * * [simplify]: iteration done : 12 enodes (cost 9 ) 126.187 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 126.188 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 126.189 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 126.190 * * [simplify]: iteration done : 13 enodes (cost 4 ) 126.191 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 126.191 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 126.192 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 126.193 * * [simplify]: iteration done : 13 enodes (cost 4 ) 126.194 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 126.195 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 126.196 * * [simplify]: iteration done : 14 enodes (cost 11 ) 126.197 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 126.197 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 126.198 * * [simplify]: iteration done : 11 enodes (cost 6 ) 126.199 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 126.199 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 126.200 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 126.200 * * [simplify]: iteration done : 7 enodes (cost 1 ) 126.200 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 126.201 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 126.201 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 126.202 * * [simplify]: iteration done : 7 enodes (cost 1 ) 126.202 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 126.203 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 126.205 * * [simplify]: iteration done : 14 enodes (cost 11 ) 126.205 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 126.206 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 126.207 * * [simplify]: iteration done : 11 enodes (cost 6 ) 126.208 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 126.208 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 126.209 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 126.209 * * [simplify]: iteration done : 7 enodes (cost 1 ) 126.209 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 126.210 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 126.210 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 126.211 * * [simplify]: iteration done : 7 enodes (cost 1 ) 126.211 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 126.211 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 126.212 * * [simplify]: iteration done : 6 enodes (cost 1 ) 126.212 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.213 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 126.218 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 126.220 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 126.221 * * [simplify]: iteration done : 14 enodes (cost 3 ) 126.221 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 126.223 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 126.226 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 126.230 * * [simplify]: iteration 3 : 52 enodes (cost 11 ) 126.238 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 126.258 * * [simplify]: iteration 5 : 201 enodes (cost 11 ) 126.351 * * [simplify]: iteration 6 : 604 enodes (cost 11 ) 127.298 * * [simplify]: iteration 7 : 2443 enodes (cost 11 ) 129.422 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 129.423 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 129.425 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 129.427 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 129.430 * * [simplify]: iteration 3 : 42 enodes (cost 11 ) 129.436 * * [simplify]: iteration 4 : 67 enodes (cost 11 ) 129.449 * * [simplify]: iteration 5 : 108 enodes (cost 11 ) 129.479 * * [simplify]: iteration 6 : 172 enodes (cost 11 ) 129.535 * * [simplify]: iteration 7 : 340 enodes (cost 11 ) 130.241 * * [simplify]: iteration 8 : 1595 enodes (cost 11 ) 136.544 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 136.545 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 136.546 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 136.547 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 136.549 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 136.550 * * [simplify]: iteration 4 : 17 enodes (cost 8 ) 136.551 * * [simplify]: iteration done : 17 enodes (cost 8 ) 136.552 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 136.553 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 136.554 * * [simplify]: iteration done : 11 enodes (cost 8 ) 136.555 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 136.556 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 136.557 * * [simplify]: iteration done : 12 enodes (cost 17 ) 136.557 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 136.558 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 136.559 * * [simplify]: iteration done : 11 enodes (cost 8 ) 136.560 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 136.561 * * [simplify]: iteration 1 : 13 enodes (cost 23 ) 136.563 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 136.566 * * [simplify]: iteration 3 : 64 enodes (cost 9 ) 136.579 * * [simplify]: iteration 4 : 151 enodes (cost 9 ) 136.618 * * [simplify]: iteration 5 : 398 enodes (cost 9 ) 136.752 * * [simplify]: iteration 6 : 855 enodes (cost 9 ) 137.156 * * [simplify]: iteration 7 : 2130 enodes (cost 9 ) 138.521 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 138.522 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 138.523 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 138.524 * * [simplify]: iteration done : 11 enodes (cost 8 ) 138.525 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 138.526 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 138.527 * * [simplify]: iteration done : 11 enodes (cost 8 ) 138.527 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 138.529 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 138.530 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 138.531 * * [simplify]: iteration done : 13 enodes (cost 9 ) 138.532 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 138.532 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 138.534 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 138.535 * * [simplify]: iteration 3 : 15 enodes (cost 8 ) 138.536 * * [simplify]: iteration done : 15 enodes (cost 8 ) 138.537 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 138.538 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 138.539 * * [simplify]: iteration done : 9 enodes (cost 8 ) 138.539 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 138.541 * * [simplify]: iteration 1 : 45 enodes (cost 23 ) 138.550 * * [simplify]: iteration 2 : 136 enodes (cost 11 ) 138.585 * * [simplify]: iteration 3 : 337 enodes (cost 9 ) 138.704 * * [simplify]: iteration 4 : 917 enodes (cost 9 ) 139.249 * * [simplify]: iteration 5 : 2632 enodes (cost 9 ) 140.338 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 140.338 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 140.339 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 140.340 * * [simplify]: iteration done : 10 enodes (cost 17 ) 140.341 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 140.342 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 140.343 * * [simplify]: iteration done : 9 enodes (cost 8 ) 140.343 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 140.344 * * [simplify]: iteration 1 : 17 enodes (cost 23 ) 140.347 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 140.357 * * [simplify]: iteration 3 : 121 enodes (cost 9 ) 140.390 * * [simplify]: iteration 4 : 316 enodes (cost 9 ) 140.488 * * [simplify]: iteration 5 : 693 enodes (cost 9 ) 140.783 * * [simplify]: iteration 6 : 1527 enodes (cost 9 ) 141.747 * * [simplify]: iteration 7 : 3746 enodes (cost 9 ) 142.961 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 142.962 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 142.963 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 142.964 * * [simplify]: iteration done : 9 enodes (cost 8 ) 142.964 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 142.965 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 142.966 * * [simplify]: iteration done : 9 enodes (cost 8 ) 142.966 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 142.967 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 142.968 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 142.969 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 142.970 * * [simplify]: iteration done : 11 enodes (cost 4 ) 142.971 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 142.971 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 142.973 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 142.974 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 142.975 * * [simplify]: iteration done : 11 enodes (cost 4 ) 142.976 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 142.977 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 142.979 * * [simplify]: iteration 2 : 27 enodes (cost 19 ) 142.982 * * [simplify]: iteration 3 : 33 enodes (cost 19 ) 142.986 * * [simplify]: iteration done : 33 enodes (cost 19 ) 142.987 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 142.987 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 142.988 * * [simplify]: iteration done : 10 enodes (cost 9 ) 142.989 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 142.990 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 142.991 * * [simplify]: iteration 2 : 15 enodes (cost 14 ) 142.993 * * [simplify]: iteration 3 : 16 enodes (cost 14 ) 142.994 * * [simplify]: iteration done : 16 enodes (cost 14 ) 142.995 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 142.996 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 142.997 * * [simplify]: iteration done : 10 enodes (cost 9 ) 142.998 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 142.998 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 143.000 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 143.004 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 143.006 * * [simplify]: iteration done : 23 enodes (cost 9 ) 143.006 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.007 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.008 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.009 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 143.010 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 143.011 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 143.013 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 143.014 * * [simplify]: iteration done : 23 enodes (cost 9 ) 143.015 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.016 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.017 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.017 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 143.018 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 143.020 * * [simplify]: iteration done : 13 enodes (cost 14 ) 143.020 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 143.021 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 143.022 * * [simplify]: iteration done : 10 enodes (cost 9 ) 143.023 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 143.023 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 143.024 * * [simplify]: iteration done : 10 enodes (cost 9 ) 143.025 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 143.026 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 143.027 * * [simplify]: iteration done : 10 enodes (cost 9 ) 143.027 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 143.028 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 143.028 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 143.029 * * [simplify]: iteration done : 11 enodes (cost 4 ) 143.030 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.031 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.031 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.032 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 143.033 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 143.034 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 143.035 * * [simplify]: iteration done : 11 enodes (cost 4 ) 143.035 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.036 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.037 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.038 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 143.039 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 143.040 * * [simplify]: iteration done : 12 enodes (cost 11 ) 143.041 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.041 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.042 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.043 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 143.043 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 143.044 * * [simplify]: iteration done : 9 enodes (cost 6 ) 143.045 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.045 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.046 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.047 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 143.047 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 143.047 * * [simplify]: iteration done : 4 enodes (cost 1 ) 143.048 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 143.049 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 143.050 * * [simplify]: iteration done : 8 enodes (cost 7 ) 143.050 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 143.050 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 143.051 * * [simplify]: iteration done : 4 enodes (cost 1 ) 143.051 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 143.052 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 143.053 * * [simplify]: iteration done : 8 enodes (cost 7 ) 143.053 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 143.054 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 143.055 * * [simplify]: iteration done : 12 enodes (cost 11 ) 143.056 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.056 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.057 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.058 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 143.059 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 143.059 * * [simplify]: iteration done : 9 enodes (cost 6 ) 143.060 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.061 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.061 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.062 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 143.062 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 143.062 * * [simplify]: iteration done : 4 enodes (cost 1 ) 143.063 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 143.064 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 143.065 * * [simplify]: iteration done : 8 enodes (cost 7 ) 143.065 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 143.065 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 143.066 * * [simplify]: iteration done : 4 enodes (cost 1 ) 143.066 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 143.067 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 143.068 * * [simplify]: iteration done : 8 enodes (cost 7 ) 143.069 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 143.069 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 143.070 * * [simplify]: iteration done : 8 enodes (cost 5 ) 143.070 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 143.071 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 143.072 * * [simplify]: iteration done : 8 enodes (cost 7 ) 143.073 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 143.073 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 143.075 * * [simplify]: iteration done : 12 enodes (cost 13 ) 143.075 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.079 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.080 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.080 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 143.081 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 143.081 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 143.082 * * [simplify]: iteration done : 10 enodes (cost 3 ) 143.083 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 143.083 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 143.084 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 143.085 * * [simplify]: iteration done : 10 enodes (cost 3 ) 143.085 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.086 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.087 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.087 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 143.088 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 143.089 * * [simplify]: iteration done : 9 enodes (cost 8 ) 143.090 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 143.091 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 143.092 * * [simplify]: iteration done : 8 enodes (cost 7 ) 143.092 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 143.093 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 143.094 * * [simplify]: iteration done : 8 enodes (cost 7 ) 143.094 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 143.096 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 143.099 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 143.103 * * [simplify]: iteration 3 : 50 enodes (cost 11 ) 143.110 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 143.130 * * [simplify]: iteration 5 : 200 enodes (cost 11 ) 143.226 * * [simplify]: iteration 6 : 601 enodes (cost 11 ) 144.120 * * [simplify]: iteration 7 : 2415 enodes (cost 11 ) 146.145 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 146.145 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 146.146 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 146.148 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 146.152 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 146.158 * * [simplify]: iteration 4 : 65 enodes (cost 11 ) 146.170 * * [simplify]: iteration 5 : 106 enodes (cost 11 ) 146.197 * * [simplify]: iteration 6 : 164 enodes (cost 11 ) 146.252 * * [simplify]: iteration 7 : 332 enodes (cost 11 ) 146.995 * * [simplify]: iteration 8 : 1613 enodes (cost 11 ) 153.455 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 153.456 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 153.457 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 153.461 * * [simplify]: iteration 2 : 80 enodes (cost 13 ) 153.478 * * [simplify]: iteration 3 : 212 enodes (cost 13 ) 153.559 * * [simplify]: iteration 4 : 524 enodes (cost 13 ) 153.845 * * [simplify]: iteration 5 : 1306 enodes (cost 13 ) 155.119 * * [simplify]: iteration 6 : 2471 enodes (cost 13 ) 158.904 * * [simplify]: iteration 7 : 4614 enodes (cost 13 ) 160.075 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 160.075 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 160.076 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 160.077 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 160.081 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 160.092 * * [simplify]: iteration 4 : 100 enodes (cost 7 ) 160.118 * * [simplify]: iteration 5 : 149 enodes (cost 7 ) 160.154 * * [simplify]: iteration 6 : 200 enodes (cost 7 ) 160.216 * * [simplify]: iteration 7 : 302 enodes (cost 7 ) 160.340 * * [simplify]: iteration 8 : 512 enodes (cost 7 ) 160.626 * * [simplify]: iteration 9 : 838 enodes (cost 7 ) 160.855 * * [simplify]: iteration 10 : 954 enodes (cost 7 ) 161.085 * * [simplify]: iteration 11 : 962 enodes (cost 7 ) 161.310 * * [simplify]: iteration done : 962 enodes (cost 7 ) 161.311 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 161.312 * * [simplify]: iteration 1 : 13 enodes (cost 18 ) 161.313 * * [simplify]: iteration 2 : 17 enodes (cost 18 ) 161.315 * * [simplify]: iteration 3 : 22 enodes (cost 18 ) 161.318 * * [simplify]: iteration 4 : 40 enodes (cost 18 ) 161.327 * * [simplify]: iteration 5 : 80 enodes (cost 18 ) 161.348 * * [simplify]: iteration 6 : 188 enodes (cost 18 ) 161.454 * * [simplify]: iteration 7 : 569 enodes (cost 18 ) 162.324 * * [simplify]: iteration 8 : 2250 enodes (cost 18 ) 164.490 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 164.491 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 164.492 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 164.493 * * [simplify]: iteration done : 10 enodes (cost 9 ) 164.494 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 164.495 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 164.497 * * [simplify]: iteration 2 : 30 enodes (cost 20 ) 164.501 * * [simplify]: iteration 3 : 42 enodes (cost 20 ) 164.508 * * [simplify]: iteration 4 : 54 enodes (cost 20 ) 164.515 * * [simplify]: iteration 5 : 86 enodes (cost 20 ) 164.529 * * [simplify]: iteration 6 : 166 enodes (cost 20 ) 164.590 * * [simplify]: iteration 7 : 380 enodes (cost 20 ) 165.122 * * [simplify]: iteration 8 : 1702 enodes (cost 20 ) 166.773 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 166.774 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 166.775 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 166.777 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 166.779 * * [simplify]: iteration 3 : 19 enodes (cost 15 ) 166.786 * * [simplify]: iteration 4 : 25 enodes (cost 15 ) 166.789 * * [simplify]: iteration 5 : 33 enodes (cost 15 ) 166.793 * * [simplify]: iteration 6 : 58 enodes (cost 15 ) 166.801 * * [simplify]: iteration 7 : 121 enodes (cost 15 ) 166.841 * * [simplify]: iteration 8 : 286 enodes (cost 15 ) 167.036 * * [simplify]: iteration 9 : 868 enodes (cost 15 ) 169.273 * * [simplify]: iteration 10 : 4295 enodes (cost 15 ) 170.611 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 170.613 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 170.614 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 170.615 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 170.618 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 170.620 * * [simplify]: iteration 4 : 37 enodes (cost 10 ) 170.624 * * [simplify]: iteration 5 : 55 enodes (cost 10 ) 170.635 * * [simplify]: iteration 6 : 97 enodes (cost 10 ) 170.657 * * [simplify]: iteration 7 : 199 enodes (cost 10 ) 170.796 * * [simplify]: iteration 8 : 709 enodes (cost 10 ) 172.369 * * [simplify]: iteration 9 : 2995 enodes (cost 10 ) 174.417 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 174.417 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 174.419 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 174.420 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 174.422 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 174.425 * * [simplify]: iteration 4 : 37 enodes (cost 10 ) 174.428 * * [simplify]: iteration 5 : 55 enodes (cost 10 ) 174.436 * * [simplify]: iteration 6 : 97 enodes (cost 10 ) 174.462 * * [simplify]: iteration 7 : 199 enodes (cost 10 ) 174.603 * * [simplify]: iteration 8 : 709 enodes (cost 10 ) 175.992 * * [simplify]: iteration 9 : 2995 enodes (cost 10 ) 178.055 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 178.056 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 178.057 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 178.058 * * [simplify]: iteration done : 14 enodes (cost 15 ) 178.059 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 178.060 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 178.061 * * [simplify]: iteration done : 11 enodes (cost 10 ) 178.062 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 178.062 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 178.063 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 178.064 * * [simplify]: iteration done : 12 enodes (cost 5 ) 178.065 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 178.065 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 178.066 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 178.067 * * [simplify]: iteration done : 12 enodes (cost 5 ) 178.068 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 178.068 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 178.070 * * [simplify]: iteration done : 13 enodes (cost 12 ) 178.070 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 178.071 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 178.072 * * [simplify]: iteration done : 10 enodes (cost 7 ) 178.072 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 178.073 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 178.073 * * [simplify]: iteration 2 : 6 enodes (cost 1 ) 178.073 * * [simplify]: iteration done : 6 enodes (cost 1 ) 178.074 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 178.074 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 178.075 * * [simplify]: iteration 2 : 6 enodes (cost 1 ) 178.075 * * [simplify]: iteration done : 6 enodes (cost 1 ) 178.076 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 178.077 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 178.078 * * [simplify]: iteration done : 13 enodes (cost 12 ) 178.079 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 178.080 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 178.080 * * [simplify]: iteration done : 10 enodes (cost 7 ) 178.081 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 178.082 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 178.082 * * [simplify]: iteration 2 : 6 enodes (cost 1 ) 178.082 * * [simplify]: iteration done : 6 enodes (cost 1 ) 178.083 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 178.083 * * [simplify]: iteration 1 : 5 enodes (cost 2 ) 178.083 * * [simplify]: iteration 2 : 6 enodes (cost 1 ) 178.084 * * [simplify]: iteration done : 6 enodes (cost 1 ) 178.084 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 178.085 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 178.085 * * [simplify]: iteration done : 5 enodes (cost 1 ) 178.086 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 178.086 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 178.087 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 178.088 * * [simplify]: iteration done : 9 enodes (cost 4 ) 178.089 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 178.090 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 178.093 * * [simplify]: iteration 2 : 34 enodes (cost 12 ) 178.097 * * [simplify]: iteration 3 : 51 enodes (cost 12 ) 178.105 * * [simplify]: iteration 4 : 90 enodes (cost 12 ) 178.127 * * [simplify]: iteration 5 : 201 enodes (cost 12 ) 178.224 * * [simplify]: iteration 6 : 600 enodes (cost 12 ) 179.137 * * [simplify]: iteration 7 : 2433 enodes (cost 12 ) 181.380 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 181.381 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 181.382 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 181.384 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 181.387 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 181.393 * * [simplify]: iteration 4 : 66 enodes (cost 12 ) 181.406 * * [simplify]: iteration 5 : 107 enodes (cost 12 ) 181.433 * * [simplify]: iteration 6 : 169 enodes (cost 12 ) 181.486 * * [simplify]: iteration 7 : 337 enodes (cost 12 ) 182.214 * * [simplify]: iteration 8 : 1622 enodes (cost 12 ) 188.424 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 188.425 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 188.426 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 188.427 * * [simplify]: iteration done : 10 enodes (cost 7 ) 188.428 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 188.428 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 188.429 * * [simplify]: iteration done : 10 enodes (cost 9 ) 188.430 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 188.431 * * [simplify]: iteration 1 : 11 enodes (cost 19 ) 188.432 * * [simplify]: iteration done : 11 enodes (cost 19 ) 188.433 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 188.434 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 188.435 * * [simplify]: iteration done : 10 enodes (cost 9 ) 188.435 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 188.436 * * [simplify]: iteration 1 : 14 enodes (cost 25 ) 188.438 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 188.441 * * [simplify]: iteration 3 : 34 enodes (cost 10 ) 188.445 * * [simplify]: iteration 4 : 62 enodes (cost 10 ) 188.453 * * [simplify]: iteration 5 : 102 enodes (cost 10 ) 188.472 * * [simplify]: iteration 6 : 190 enodes (cost 10 ) 188.526 * * [simplify]: iteration 7 : 410 enodes (cost 10 ) 188.753 * * [simplify]: iteration 8 : 1080 enodes (cost 10 ) 190.504 * * [simplify]: iteration 9 : 4370 enodes (cost 10 ) 192.358 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 192.359 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 192.360 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 192.361 * * [simplify]: iteration done : 10 enodes (cost 9 ) 192.362 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 192.363 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 192.364 * * [simplify]: iteration done : 10 enodes (cost 9 ) 192.365 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 192.366 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 192.369 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 192.379 * * [simplify]: iteration 3 : 98 enodes (cost 9 ) 192.405 * * [simplify]: iteration 4 : 140 enodes (cost 9 ) 192.432 * * [simplify]: iteration 5 : 178 enodes (cost 9 ) 192.473 * * [simplify]: iteration 6 : 258 enodes (cost 9 ) 192.607 * * [simplify]: iteration 7 : 476 enodes (cost 9 ) 192.803 * * [simplify]: iteration 8 : 773 enodes (cost 9 ) 193.270 * * [simplify]: iteration 9 : 1314 enodes (cost 9 ) 194.929 * * [simplify]: iteration 10 : 2573 enodes (cost 9 ) 195.424 * * [simplify]: iteration 11 : 2659 enodes (cost 9 ) 195.851 * * [simplify]: iteration done : 2659 enodes (cost 9 ) 195.851 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 195.853 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 195.855 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 195.860 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 195.867 * * [simplify]: iteration 4 : 70 enodes (cost 9 ) 195.885 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 195.901 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 195.922 * * [simplify]: iteration 7 : 144 enodes (cost 9 ) 195.947 * * [simplify]: iteration 8 : 164 enodes (cost 9 ) 195.973 * * [simplify]: iteration 9 : 182 enodes (cost 9 ) 196.006 * * [simplify]: iteration 10 : 206 enodes (cost 9 ) 196.063 * * [simplify]: iteration 11 : 273 enodes (cost 9 ) 196.109 * * [simplify]: iteration 12 : 279 enodes (cost 9 ) 196.150 * * [simplify]: iteration done : 279 enodes (cost 9 ) 196.151 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 196.152 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 196.157 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 196.162 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 196.169 * * [simplify]: iteration 4 : 70 enodes (cost 9 ) 196.182 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 196.199 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 196.222 * * [simplify]: iteration 7 : 144 enodes (cost 9 ) 196.246 * * [simplify]: iteration 8 : 164 enodes (cost 9 ) 196.273 * * [simplify]: iteration 9 : 182 enodes (cost 9 ) 196.304 * * [simplify]: iteration 10 : 206 enodes (cost 9 ) 196.359 * * [simplify]: iteration 11 : 273 enodes (cost 9 ) 196.404 * * [simplify]: iteration 12 : 279 enodes (cost 9 ) 196.448 * * [simplify]: iteration done : 279 enodes (cost 9 ) 196.449 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 196.450 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 196.453 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 196.463 * * [simplify]: iteration 3 : 98 enodes (cost 9 ) 196.488 * * [simplify]: iteration 4 : 140 enodes (cost 9 ) 196.516 * * [simplify]: iteration 5 : 178 enodes (cost 9 ) 196.555 * * [simplify]: iteration 6 : 258 enodes (cost 9 ) 196.687 * * [simplify]: iteration 7 : 476 enodes (cost 9 ) 196.877 * * [simplify]: iteration 8 : 773 enodes (cost 9 ) 197.343 * * [simplify]: iteration 9 : 1314 enodes (cost 9 ) 198.988 * * [simplify]: iteration 10 : 2573 enodes (cost 9 ) 199.475 * * [simplify]: iteration 11 : 2659 enodes (cost 9 ) 199.899 * * [simplify]: iteration done : 2659 enodes (cost 9 ) 199.900 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 199.901 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 199.903 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 199.908 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 199.915 * * [simplify]: iteration 4 : 70 enodes (cost 9 ) 199.933 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 199.949 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 199.970 * * [simplify]: iteration 7 : 144 enodes (cost 9 ) 199.996 * * [simplify]: iteration 8 : 164 enodes (cost 9 ) 200.021 * * [simplify]: iteration 9 : 182 enodes (cost 9 ) 200.053 * * [simplify]: iteration 10 : 206 enodes (cost 9 ) 200.109 * * [simplify]: iteration 11 : 273 enodes (cost 9 ) 200.155 * * [simplify]: iteration 12 : 279 enodes (cost 9 ) 200.195 * * [simplify]: iteration done : 279 enodes (cost 9 ) 200.195 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 200.197 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 200.199 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 200.207 * * [simplify]: iteration 3 : 52 enodes (cost 9 ) 200.214 * * [simplify]: iteration 4 : 70 enodes (cost 9 ) 200.227 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 200.243 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 200.267 * * [simplify]: iteration 7 : 144 enodes (cost 9 ) 200.295 * * [simplify]: iteration 8 : 164 enodes (cost 9 ) 200.323 * * [simplify]: iteration 9 : 182 enodes (cost 9 ) 200.353 * * [simplify]: iteration 10 : 206 enodes (cost 9 ) 200.409 * * [simplify]: iteration 11 : 273 enodes (cost 9 ) 200.454 * * [simplify]: iteration 12 : 279 enodes (cost 9 ) 200.498 * * [simplify]: iteration done : 279 enodes (cost 9 ) 200.499 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 200.500 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 200.502 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 200.505 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 200.508 * * [simplify]: iteration done : 28 enodes (cost 7 ) 200.509 * * [simplify]: iteration 0 : 26 enodes (cost 43 ) 200.513 * * [simplify]: iteration 1 : 68 enodes (cost 43 ) 200.529 * * [simplify]: iteration 2 : 224 enodes (cost 43 ) 200.579 * * [simplify]: iteration 3 : 656 enodes (cost 43 ) 201.010 * * [simplify]: iteration 4 : 1837 enodes (cost 35 ) 203.152 * * [simplify]: iteration 5 : 4170 enodes (cost 27 ) 204.517 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 204.518 * * [simplify]: iteration 0 : 26 enodes (cost 43 ) 204.522 * * [simplify]: iteration 1 : 68 enodes (cost 43 ) 204.545 * * [simplify]: iteration 2 : 224 enodes (cost 43 ) 204.594 * * [simplify]: iteration 3 : 656 enodes (cost 43 ) 205.014 * * [simplify]: iteration 4 : 1837 enodes (cost 35 ) 207.172 * * [simplify]: iteration 5 : 4170 enodes (cost 27 ) 208.553 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 208.554 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (/ (+ x y) (+ y 1.0)))))) (log (cbrt (exp (/ (+ x y) (+ y 1.0))))) (log (sqrt (exp (/ (+ x y) (+ y 1.0))))) (log (sqrt (exp (/ (+ x y) (+ y 1.0))))) 0 (/ (+ x y) (+ y 1.0)) (/ (+ x y) (+ y 1.0)) (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))) (sqrt (/ (+ x y) (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (sqrt (+ x y)) (sqrt (+ x y)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ 1 (sqrt (+ y 1.0))) 1 1 (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ 1 (sqrt (+ y 1.0))) 1 1 1 (+ x y) (/ (+ x y) (+ (pow y 3) (pow 1.0 3))) (/ (+ x y) (- (* y y) (* 1.0 1.0))) (log (/ (+ x y) (+ y 1.0))) (exp (/ (+ x y) (+ y 1.0))) (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))) (cbrt (/ (+ x y) (+ y 1.0))) (pow (/ (+ x y) (+ y 1.0)) 3) (sqrt (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) (- (log (+ x y)) (log (+ y 1.0))) (log (/ (+ x y) (+ y 1.0))) (exp (/ (+ x y) (+ y 1.0))) (pow (/ (+ x y) (+ y 1.0)) 3) (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0)))) (cbrt (/ (+ x y) (+ y 1.0))) (pow (/ (+ x y) (+ y 1.0)) 3) (sqrt (/ (+ x y) (+ y 1.0))) (sqrt (/ (+ x y) (+ y 1.0))) (neg (+ x y)) (neg (+ y 1.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (cbrt (+ x y)) (cbrt (+ y 1.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0))) (/ (cbrt (+ x y)) (sqrt (+ y 1.0))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ y 1.0)) (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (sqrt (+ x y)) (cbrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (/ (sqrt (+ x y)) (sqrt (+ y 1.0))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (cbrt (+ y 1.0))) (/ 1 (sqrt (+ y 1.0))) (/ (+ x y) (sqrt (+ y 1.0))) 1 (/ (+ x y) (+ y 1.0)) 1 (/ (+ x y) (+ y 1.0)) (/ 1 (+ y 1.0)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))) (/ (+ x y) (sqrt (+ y 1.0))) (+ x y) (+ x y) (/ (+ y 1.0) (cbrt (+ x y))) (/ (+ y 1.0) (sqrt (+ x y))) (/ (+ y 1.0) (+ x y)) (/ (+ y 1.0) (+ x y)) (/ (+ x y) (+ (pow y 3) (pow 1.0 3))) (/ (+ x y) (- (* y y) (* 1.0 1.0))) (* (+ (* y (- y x)) (* x x)) (+ y 1.0)) (* (+ y 1.0) (- x y)) (exp (* (cbrt (/ (+ x y) (+ y 1.0))) (cbrt (/ (+ x y) (+ y 1.0))))) (exp (sqrt (/ (+ x y) (+ y 1.0)))) (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ y 1.0)))) (exp (* (cbrt (+ x y)) (cbrt (+ x y)))) (exp (* (cbrt (+ x y)) (cbrt (+ x y)))) (exp (/ (sqrt (+ x y)) (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ (sqrt (+ x y)) (sqrt (+ y 1.0)))) (exp (sqrt (+ x y))) (exp (sqrt (+ x y))) (exp (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ 1 (sqrt (+ y 1.0)))) E E (exp (/ 1 (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))))) (exp (/ 1 (sqrt (+ y 1.0)))) E E E (exp (+ x y)) (exp (/ (+ x y) (+ (pow y 3) (pow 1.0 3)))) (exp (/ (+ x y) (- (* y y) (* 1.0 1.0)))) (/ (+ x y) (+ y 1.0)) (exp (exp (/ (+ x y) (+ y 1.0)))) (* (cbrt (exp (/ (+ x y) (+ y 1.0)))) (cbrt (exp (/ (+ x y) (+ y 1.0))))) (cbrt (exp (/ (+ x y) (+ y 1.0)))) (pow (exp (/ (+ x y) (+ y 1.0))) 3) (sqrt (exp (/ (+ x y) (+ y 1.0)))) (sqrt (exp (/ (+ x y) (+ y 1.0)))) (* 1.0 (- (+ y x) (* x y))) (- (+ 1 (/ x y)) (/ 1.0 y)) (- (+ 1 (/ x y)) (/ 1.0 y)) (* 1.0 (- (+ y x) (* x y))) (- (+ 1 (/ x y)) (/ 1.0 y)) (- (+ 1 (/ x y)) (/ 1.0 y)) (+ 1 (* 1.0 (+ x y))) (+ (+ (* (/ (* x E) (pow y 2)) (- (* x 1/2) 2.0)) E) (* (/ E y) (+ (/ 1.5 y) (- x 1.0)))) (+ (+ (* (/ (* x E) (pow y 2)) (- (* x 1/2) 2.0)) E) (* (/ E y) (+ (/ 1.5 y) (- x 1.0)))) 208.555 * * * [progress]: adding candidates to table 208.699 * [progress]: [Phase 3 of 3] Extracting. 208.699 * * [regime]: Finding splitpoints for: (# # #) 208.699 * * * [regime-changes]: Trying 3 branch expressions: ((/ (+ x y) (+ y 1.0)) y x) 208.699 * * * * [regimes]: Trying to branch on (/ (+ x y) (+ y 1.0)) from (# # #) 208.737 * * * * [regimes]: Trying to branch on y from (# # #) 208.775 * * * * [regimes]: Trying to branch on x from (# # #) 208.811 * * * [regime]: Found split indices: #