1317.067 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying using # : (+ (+ (* x 2.0) (* x x)) (* y y)) 0.032 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.033 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.036 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 0.039 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 0.047 * * [simplify]: iteration done : 25 enodes (cost 9 ) 0.047 * [simplify]: Simplified to: (+ (* y y) (* x (+ 2.0 x))) 0.051 * * [progress]: iteration 1 / 4 0.051 * * * [progress]: picking best candidate 0.053 * * * * [pick]: Picked # 0.054 * * * [progress]: localizing error 0.060 * * * [progress]: generating rewritten candidates 0.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.068 * * * [progress]: generating series expansions 0.069 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.069 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in (x y) around 0 0.069 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 0.069 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 0.069 * [taylor]: Taking taylor expansion of 2.0 in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 0.069 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in x 0.069 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 0.069 * [taylor]: Taking taylor expansion of 2.0 in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 0.069 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in x 0.069 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 0.069 * [taylor]: Taking taylor expansion of 2.0 in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 0.069 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.070 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of 2.0 in y 0.070 * [taylor]: Taking taylor expansion of 1 in y 0.070 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in (x y) around 0 0.070 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 0.070 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.070 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.070 * [taylor]: Taking taylor expansion of x in y 0.071 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 0.071 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 0.071 * [taylor]: Taking taylor expansion of 2.0 in y 0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.071 * [taylor]: Taking taylor expansion of x in y 0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.071 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.071 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.071 * [taylor]: Taking taylor expansion of x in x 0.071 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x 0.071 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.071 * [taylor]: Taking taylor expansion of 2.0 in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.071 * [taylor]: Taking taylor expansion of x in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.071 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.071 * [taylor]: Taking taylor expansion of y in x 0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.071 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.071 * [taylor]: Taking taylor expansion of x in x 0.071 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x 0.071 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.071 * [taylor]: Taking taylor expansion of 2.0 in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.071 * [taylor]: Taking taylor expansion of x in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.071 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.071 * [taylor]: Taking taylor expansion of y in x 0.071 * [taylor]: Taking taylor expansion of 1 in y 0.072 * [taylor]: Taking taylor expansion of 2.0 in y 0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.072 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (x y) around 0 0.073 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 0.073 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 0.073 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.073 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.073 * [taylor]: Taking taylor expansion of x in y 0.073 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.073 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.073 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 0.073 * [taylor]: Taking taylor expansion of 2.0 in y 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.073 * [taylor]: Taking taylor expansion of x in y 0.073 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x 0.073 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.073 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.073 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.074 * [taylor]: Taking taylor expansion of 2.0 in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x 0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.074 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.074 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.074 * [taylor]: Taking taylor expansion of 2.0 in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of 1 in y 0.074 * [taylor]: Taking taylor expansion of (neg 2.0) in y 0.074 * [taylor]: Taking taylor expansion of 2.0 in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.074 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.075 * * * [progress]: simplifying candidates 0.076 * [simplify]: Simplifying using # : (* (* (exp (* x 2.0)) (exp (* x x))) (exp (* y y))) (* (exp (+ (* x 2.0) (* x x))) (exp (* y y))) (log (+ (+ (* x 2.0) (* x x)) (* y y))) (exp (+ (+ (* x 2.0) (* x x)) (* y y))) (* (cbrt (+ (+ (* x 2.0) (* x x)) (* y y))) (cbrt (+ (+ (* x 2.0) (* x x)) (* y y)))) (cbrt (+ (+ (* x 2.0) (* x x)) (* y y))) (* (* (+ (+ (* x 2.0) (* x x)) (* y y)) (+ (+ (* x 2.0) (* x x)) (* y y))) (+ (+ (* x 2.0) (* x x)) (* y y))) (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))) (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))) (+ (pow (+ (* x 2.0) (* x x)) 3) (pow (* y y) 3)) (+ (* (+ (* x 2.0) (* x x)) (+ (* x 2.0) (* x x))) (- (* (* y y) (* y y)) (* (+ (* x 2.0) (* x x)) (* y y)))) (- (* (+ (* x 2.0) (* x x)) (+ (* x 2.0) (* x x))) (* (* y y) (* y y))) (- (+ (* x 2.0) (* x x)) (* y y)) (+ (* x x) (* y y)) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) 0.076 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 0.078 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 0.081 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 0.089 * * [simplify]: iteration 3 : 127 enodes (cost 10 ) 0.133 * * [simplify]: iteration 4 : 462 enodes (cost 10 ) 0.716 * * [simplify]: iteration 5 : 2439 enodes (cost 10 ) 2.132 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 2.132 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 2.134 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 2.137 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 2.143 * * [simplify]: iteration 3 : 82 enodes (cost 10 ) 2.160 * * [simplify]: iteration 4 : 229 enodes (cost 10 ) 2.279 * * [simplify]: iteration 5 : 1013 enodes (cost 10 ) 3.555 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 3.555 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 3.557 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 3.559 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 3.562 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 3.565 * * [simplify]: iteration done : 26 enodes (cost 10 ) 3.566 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 3.567 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 3.570 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 3.576 * * [simplify]: iteration 3 : 63 enodes (cost 10 ) 3.586 * * [simplify]: iteration 4 : 105 enodes (cost 10 ) 3.612 * * [simplify]: iteration 5 : 310 enodes (cost 10 ) 3.817 * * [simplify]: iteration 6 : 1327 enodes (cost 10 ) 5.051 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 5.052 * * [simplify]: iteration 0 : 10 enodes (cost 25 ) 5.054 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 5.056 * * [simplify]: iteration 2 : 25 enodes (cost 21 ) 5.059 * * [simplify]: iteration 3 : 27 enodes (cost 21 ) 5.063 * * [simplify]: iteration done : 27 enodes (cost 21 ) 5.063 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 5.064 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 5.067 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 5.070 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 5.074 * * [simplify]: iteration done : 26 enodes (cost 10 ) 5.075 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 5.076 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 5.082 * * [simplify]: iteration 2 : 124 enodes (cost 11 ) 5.132 * * [simplify]: iteration 3 : 653 enodes (cost 11 ) 5.731 * * [simplify]: iteration 4 : 3636 enodes (cost 11 ) 7.388 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 7.388 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 7.390 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 7.392 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 7.395 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 7.398 * * [simplify]: iteration done : 26 enodes (cost 10 ) 7.399 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 7.400 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 7.407 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 7.410 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 7.414 * * [simplify]: iteration done : 26 enodes (cost 10 ) 7.414 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 7.417 * * [simplify]: iteration 1 : 31 enodes (cost 13 ) 7.422 * * [simplify]: iteration 2 : 86 enodes (cost 11 ) 7.443 * * [simplify]: iteration 3 : 262 enodes (cost 11 ) 7.565 * * [simplify]: iteration 4 : 723 enodes (cost 11 ) 8.126 * * [simplify]: iteration 5 : 2038 enodes (cost 11 ) 9.614 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 9.615 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 9.617 * * [simplify]: iteration 1 : 36 enodes (cost 25 ) 9.624 * * [simplify]: iteration 2 : 127 enodes (cost 25 ) 9.663 * * [simplify]: iteration 3 : 390 enodes (cost 19 ) 9.857 * * [simplify]: iteration 4 : 1295 enodes (cost 19 ) 11.057 * * [simplify]: iteration 5 : 3832 enodes (cost 19 ) 12.406 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 12.407 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 12.409 * * [simplify]: iteration 1 : 29 enodes (cost 19 ) 12.414 * * [simplify]: iteration 2 : 94 enodes (cost 17 ) 12.444 * * [simplify]: iteration 3 : 260 enodes (cost 15 ) 12.532 * * [simplify]: iteration 4 : 705 enodes (cost 15 ) 12.993 * * [simplify]: iteration 5 : 2067 enodes (cost 15 ) 14.606 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 14.607 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 14.608 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 14.610 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 14.615 * * [simplify]: iteration 3 : 40 enodes (cost 9 ) 14.621 * * [simplify]: iteration 4 : 61 enodes (cost 9 ) 14.632 * * [simplify]: iteration 5 : 115 enodes (cost 9 ) 14.667 * * [simplify]: iteration 6 : 243 enodes (cost 9 ) 14.801 * * [simplify]: iteration 7 : 548 enodes (cost 9 ) 15.223 * * [simplify]: iteration 8 : 1316 enodes (cost 9 ) 18.560 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 18.560 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 18.561 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 18.562 * * [simplify]: iteration done : 6 enodes (cost 7 ) 18.563 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 18.564 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 18.567 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 18.571 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 18.576 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 18.582 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 18.590 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 18.612 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 18.708 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 19.631 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 21.611 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 21.613 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 21.614 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 21.617 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 21.621 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 21.626 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 21.631 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 21.645 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 21.664 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 21.756 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 22.665 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 24.635 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 24.636 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 24.637 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 24.640 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 24.644 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 24.654 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 24.660 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 24.668 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 24.686 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 24.780 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 25.696 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 27.694 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 27.695 * [simplify]: Simplified to: (exp (+ (* y y) (* x (+ 2.0 x)))) (exp (+ (* x (+ 2.0 x)) (* y y))) (log (+ (* y y) (* x (+ 2.0 x)))) (exp (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (pow (+ (* y y) (* x (+ 2.0 x))) 3) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (+ (pow (* x (+ 2.0 x)) 3) (pow y 6)) (- (pow y 4) (* (* x (+ 2.0 x)) (- (* y y) (* x (+ 2.0 x))))) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4)) (- (* x (+ 2.0 x)) (* y y)) (+ (* x x) (* y y)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) 27.695 * * * [progress]: adding candidates to table 27.717 * * [progress]: iteration 2 / 4 27.717 * * * [progress]: picking best candidate 27.723 * * * * [pick]: Picked # 27.723 * * * [progress]: localizing error 27.732 * * * [progress]: generating rewritten candidates 27.732 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 27.745 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 27.752 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 27.759 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 27.768 * * * [progress]: generating series expansions 27.768 * * * * [progress]: [ 1 / 4 ] generating series at (2) 27.768 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in (y x) around 0 27.768 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in x 27.768 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 27.768 * [taylor]: Taking taylor expansion of 2.0 in x 27.768 * [taylor]: Taking taylor expansion of x in x 27.768 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 27.768 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.768 * [taylor]: Taking taylor expansion of x in x 27.768 * [taylor]: Taking taylor expansion of (pow y 2) in x 27.768 * [taylor]: Taking taylor expansion of y in x 27.768 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 27.768 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 27.768 * [taylor]: Taking taylor expansion of 2.0 in y 27.768 * [taylor]: Taking taylor expansion of x in y 27.768 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 27.768 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.768 * [taylor]: Taking taylor expansion of x in y 27.768 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.768 * [taylor]: Taking taylor expansion of y in y 27.768 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 27.768 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 27.768 * [taylor]: Taking taylor expansion of 2.0 in y 27.768 * [taylor]: Taking taylor expansion of x in y 27.768 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 27.768 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.768 * [taylor]: Taking taylor expansion of x in y 27.768 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.768 * [taylor]: Taking taylor expansion of y in y 27.769 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 27.769 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 27.769 * [taylor]: Taking taylor expansion of 2.0 in x 27.769 * [taylor]: Taking taylor expansion of x in x 27.769 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.769 * [taylor]: Taking taylor expansion of x in x 27.769 * [taylor]: Taking taylor expansion of 0 in x 27.769 * [taylor]: Taking taylor expansion of 1 in x 27.770 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in (y x) around 0 27.770 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x 27.770 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.770 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.770 * [taylor]: Taking taylor expansion of x in x 27.770 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x 27.770 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.770 * [taylor]: Taking taylor expansion of 2.0 in x 27.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.770 * [taylor]: Taking taylor expansion of x in x 27.770 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 27.770 * [taylor]: Taking taylor expansion of (pow y 2) in x 27.770 * [taylor]: Taking taylor expansion of y in x 27.770 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 27.770 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.770 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.770 * [taylor]: Taking taylor expansion of x in y 27.770 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 27.770 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.770 * [taylor]: Taking taylor expansion of 2.0 in y 27.770 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.770 * [taylor]: Taking taylor expansion of x in y 27.770 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.770 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.770 * [taylor]: Taking taylor expansion of y in y 27.770 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 27.770 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.770 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.771 * [taylor]: Taking taylor expansion of x in y 27.771 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 27.771 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.771 * [taylor]: Taking taylor expansion of 2.0 in y 27.771 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.771 * [taylor]: Taking taylor expansion of x in y 27.771 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.771 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.771 * [taylor]: Taking taylor expansion of y in y 27.771 * [taylor]: Taking taylor expansion of 1 in x 27.771 * [taylor]: Taking taylor expansion of 0 in x 27.771 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 27.771 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.771 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.771 * [taylor]: Taking taylor expansion of x in x 27.771 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.771 * [taylor]: Taking taylor expansion of 2.0 in x 27.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.771 * [taylor]: Taking taylor expansion of x in x 27.772 * [taylor]: Taking taylor expansion of 0 in x 27.773 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0 27.773 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x 27.773 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 27.773 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.773 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.773 * [taylor]: Taking taylor expansion of x in x 27.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 27.773 * [taylor]: Taking taylor expansion of (pow y 2) in x 27.773 * [taylor]: Taking taylor expansion of y in x 27.773 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.773 * [taylor]: Taking taylor expansion of 2.0 in x 27.773 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.773 * [taylor]: Taking taylor expansion of x in x 27.773 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 27.773 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 27.773 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.773 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.773 * [taylor]: Taking taylor expansion of x in y 27.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.773 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.773 * [taylor]: Taking taylor expansion of y in y 27.773 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.773 * [taylor]: Taking taylor expansion of 2.0 in y 27.773 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.773 * [taylor]: Taking taylor expansion of x in y 27.773 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 27.773 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 27.773 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.773 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.773 * [taylor]: Taking taylor expansion of x in y 27.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.773 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.773 * [taylor]: Taking taylor expansion of y in y 27.773 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.774 * [taylor]: Taking taylor expansion of 2.0 in y 27.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.774 * [taylor]: Taking taylor expansion of x in y 27.774 * [taylor]: Taking taylor expansion of 1 in x 27.774 * [taylor]: Taking taylor expansion of 0 in x 27.774 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 27.774 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.774 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.774 * [taylor]: Taking taylor expansion of x in x 27.774 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.774 * [taylor]: Taking taylor expansion of 2.0 in x 27.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.774 * [taylor]: Taking taylor expansion of x in x 27.775 * [taylor]: Taking taylor expansion of 0 in x 27.775 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 27.775 * [approximate]: Taking taylor expansion of (* x (+ x 2.0)) in (x) around 0 27.775 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 27.775 * [taylor]: Taking taylor expansion of x in x 27.775 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 27.775 * [taylor]: Taking taylor expansion of x in x 27.775 * [taylor]: Taking taylor expansion of 2.0 in x 27.775 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 27.775 * [taylor]: Taking taylor expansion of x in x 27.775 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 27.775 * [taylor]: Taking taylor expansion of x in x 27.775 * [taylor]: Taking taylor expansion of 2.0 in x 27.776 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0 27.776 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 27.776 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 27.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.776 * [taylor]: Taking taylor expansion of x in x 27.776 * [taylor]: Taking taylor expansion of 2.0 in x 27.776 * [taylor]: Taking taylor expansion of x in x 27.776 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 27.776 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 27.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.776 * [taylor]: Taking taylor expansion of x in x 27.776 * [taylor]: Taking taylor expansion of 2.0 in x 27.777 * [taylor]: Taking taylor expansion of x in x 27.778 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0 27.778 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 27.778 * [taylor]: Taking taylor expansion of -1 in x 27.778 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 27.778 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 27.778 * [taylor]: Taking taylor expansion of 2.0 in x 27.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.778 * [taylor]: Taking taylor expansion of x in x 27.778 * [taylor]: Taking taylor expansion of x in x 27.778 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 27.778 * [taylor]: Taking taylor expansion of -1 in x 27.778 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 27.778 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 27.778 * [taylor]: Taking taylor expansion of 2.0 in x 27.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.778 * [taylor]: Taking taylor expansion of x in x 27.778 * [taylor]: Taking taylor expansion of x in x 27.785 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 27.785 * [approximate]: Taking taylor expansion of (* x (+ x 2.0)) in (x) around 0 27.785 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 27.785 * [taylor]: Taking taylor expansion of x in x 27.785 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 27.786 * [taylor]: Taking taylor expansion of x in x 27.786 * [taylor]: Taking taylor expansion of 2.0 in x 27.786 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 27.786 * [taylor]: Taking taylor expansion of x in x 27.786 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 27.786 * [taylor]: Taking taylor expansion of x in x 27.786 * [taylor]: Taking taylor expansion of 2.0 in x 27.786 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0 27.787 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 27.787 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 27.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.787 * [taylor]: Taking taylor expansion of x in x 27.787 * [taylor]: Taking taylor expansion of 2.0 in x 27.787 * [taylor]: Taking taylor expansion of x in x 27.787 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 27.787 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 27.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.787 * [taylor]: Taking taylor expansion of x in x 27.787 * [taylor]: Taking taylor expansion of 2.0 in x 27.787 * [taylor]: Taking taylor expansion of x in x 27.788 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0 27.788 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 27.788 * [taylor]: Taking taylor expansion of -1 in x 27.788 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 27.788 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 27.788 * [taylor]: Taking taylor expansion of 2.0 in x 27.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.788 * [taylor]: Taking taylor expansion of x in x 27.788 * [taylor]: Taking taylor expansion of x in x 27.788 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 27.788 * [taylor]: Taking taylor expansion of -1 in x 27.788 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 27.789 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 27.789 * [taylor]: Taking taylor expansion of 2.0 in x 27.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.789 * [taylor]: Taking taylor expansion of x in x 27.789 * [taylor]: Taking taylor expansion of x in x 27.790 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 27.790 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in (y x) around 0 27.791 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in x 27.791 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 27.791 * [taylor]: Taking taylor expansion of 2.0 in x 27.791 * [taylor]: Taking taylor expansion of x in x 27.791 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 27.791 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.791 * [taylor]: Taking taylor expansion of x in x 27.791 * [taylor]: Taking taylor expansion of (pow y 2) in x 27.791 * [taylor]: Taking taylor expansion of y in x 27.791 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 27.791 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 27.791 * [taylor]: Taking taylor expansion of 2.0 in y 27.791 * [taylor]: Taking taylor expansion of x in y 27.791 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 27.791 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.791 * [taylor]: Taking taylor expansion of x in y 27.791 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.791 * [taylor]: Taking taylor expansion of y in y 27.791 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 27.791 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 27.791 * [taylor]: Taking taylor expansion of 2.0 in y 27.791 * [taylor]: Taking taylor expansion of x in y 27.791 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 27.791 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.791 * [taylor]: Taking taylor expansion of x in y 27.791 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.791 * [taylor]: Taking taylor expansion of y in y 27.791 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 27.791 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 27.791 * [taylor]: Taking taylor expansion of 2.0 in x 27.791 * [taylor]: Taking taylor expansion of x in x 27.791 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.791 * [taylor]: Taking taylor expansion of x in x 27.791 * [taylor]: Taking taylor expansion of 0 in x 27.792 * [taylor]: Taking taylor expansion of 1 in x 27.792 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in (y x) around 0 27.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x 27.792 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.792 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.792 * [taylor]: Taking taylor expansion of x in x 27.792 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x 27.792 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.792 * [taylor]: Taking taylor expansion of 2.0 in x 27.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.792 * [taylor]: Taking taylor expansion of x in x 27.792 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 27.792 * [taylor]: Taking taylor expansion of (pow y 2) in x 27.792 * [taylor]: Taking taylor expansion of y in x 27.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 27.792 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.792 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.792 * [taylor]: Taking taylor expansion of x in y 27.793 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 27.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.793 * [taylor]: Taking taylor expansion of 2.0 in y 27.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.793 * [taylor]: Taking taylor expansion of x in y 27.793 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.793 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.793 * [taylor]: Taking taylor expansion of y in y 27.793 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 27.793 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.793 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.793 * [taylor]: Taking taylor expansion of x in y 27.793 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 27.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.793 * [taylor]: Taking taylor expansion of 2.0 in y 27.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.793 * [taylor]: Taking taylor expansion of x in y 27.793 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.793 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.793 * [taylor]: Taking taylor expansion of y in y 27.793 * [taylor]: Taking taylor expansion of 1 in x 27.793 * [taylor]: Taking taylor expansion of 0 in x 27.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 27.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.794 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.794 * [taylor]: Taking taylor expansion of x in x 27.794 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.794 * [taylor]: Taking taylor expansion of 2.0 in x 27.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.794 * [taylor]: Taking taylor expansion of x in x 27.794 * [taylor]: Taking taylor expansion of 0 in x 27.795 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0 27.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x 27.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 27.795 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.795 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.795 * [taylor]: Taking taylor expansion of x in x 27.795 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 27.795 * [taylor]: Taking taylor expansion of (pow y 2) in x 27.795 * [taylor]: Taking taylor expansion of y in x 27.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.795 * [taylor]: Taking taylor expansion of 2.0 in x 27.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.795 * [taylor]: Taking taylor expansion of x in x 27.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 27.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 27.795 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.795 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.795 * [taylor]: Taking taylor expansion of x in y 27.795 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.795 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.795 * [taylor]: Taking taylor expansion of y in y 27.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.795 * [taylor]: Taking taylor expansion of 2.0 in y 27.795 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.795 * [taylor]: Taking taylor expansion of x in y 27.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 27.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 27.795 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 27.795 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.795 * [taylor]: Taking taylor expansion of x in y 27.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 27.796 * [taylor]: Taking taylor expansion of (pow y 2) in y 27.796 * [taylor]: Taking taylor expansion of y in y 27.796 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 27.796 * [taylor]: Taking taylor expansion of 2.0 in y 27.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.796 * [taylor]: Taking taylor expansion of x in y 27.796 * [taylor]: Taking taylor expansion of 1 in x 27.796 * [taylor]: Taking taylor expansion of 0 in x 27.796 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 27.796 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 27.796 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.796 * [taylor]: Taking taylor expansion of x in x 27.796 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 27.796 * [taylor]: Taking taylor expansion of 2.0 in x 27.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.796 * [taylor]: Taking taylor expansion of x in x 27.797 * [taylor]: Taking taylor expansion of 0 in x 27.797 * * * [progress]: simplifying candidates 27.799 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (+ 1 1) (+ (log (sqrt (+ (* y y) (* x (+ 2.0 x))))) (log (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (log (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (exp (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (* (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (cbrt (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (cbrt (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))))) (cbrt (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (* (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (sqrt (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (sqrt (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3))) (sqrt (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)))) (* (sqrt (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x)))))) (sqrt (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x))))))) (* (sqrt (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3))) (sqrt (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))) (* (sqrt (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x)))))) (sqrt (- (* y y) (* x (+ 2.0 x))))) (* (sqrt (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (sqrt (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)))) (* (sqrt (- (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x))))))) (* (sqrt (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (sqrt (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))) (* (sqrt (- (* y y) (* x (+ 2.0 x)))) (sqrt (- (* y y) (* x (+ 2.0 x))))) (* (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))))) (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x)))))) (sqrt (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))))) (* (sqrt (cbrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (cbrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* 1 1) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt 1)) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) 1) (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (cbrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))) (* (sqrt (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* x (+ 2.0 x)) (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) (* x 1) (* x 1) (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))) (* x (- (* 2.0 2.0) (* x x))) (* x (+ 2.0 x)) (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) (* x 1) (* x 1) (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))) (* x (- (* 2.0 2.0) (* x x))) (* (exp (* y y)) (exp (* x (+ 2.0 x)))) (log (+ (* y y) (* x (+ 2.0 x)))) (exp (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (* (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)) (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x))))) (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x 2.0)) (+ (* y y) (* 2.0 x)) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) 27.800 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 27.800 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 27.800 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 27.801 * * [simplify]: iteration done : 7 enodes (cost 1 ) 27.801 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 27.802 * * [simplify]: iteration 1 : 8 enodes (cost 1 ) 27.802 * * [simplify]: iteration done : 8 enodes (cost 1 ) 27.803 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 27.803 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 27.803 * * [simplify]: iteration done : 6 enodes (cost 1 ) 27.804 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 27.804 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 27.805 * * [simplify]: iteration done : 8 enodes (cost 1 ) 27.805 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 27.806 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 27.807 * * [simplify]: iteration 2 : 9 enodes (cost 1 ) 27.807 * * [simplify]: iteration done : 9 enodes (cost 1 ) 27.808 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 27.809 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 27.812 * * [simplify]: iteration 2 : 58 enodes (cost 19 ) 27.826 * * [simplify]: iteration 3 : 238 enodes (cost 19 ) 27.936 * * [simplify]: iteration 4 : 714 enodes (cost 19 ) 28.509 * * [simplify]: iteration 5 : 2502 enodes (cost 19 ) 30.154 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 30.155 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 30.156 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 30.158 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 30.161 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 30.165 * * [simplify]: iteration done : 27 enodes (cost 9 ) 30.165 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 30.166 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 30.170 * * [simplify]: iteration 2 : 58 enodes (cost 19 ) 30.187 * * [simplify]: iteration 3 : 238 enodes (cost 19 ) 30.296 * * [simplify]: iteration 4 : 714 enodes (cost 19 ) 30.869 * * [simplify]: iteration 5 : 2502 enodes (cost 19 ) 32.517 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 32.518 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 32.519 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 32.519 * * [simplify]: iteration done : 6 enodes (cost 1 ) 32.519 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 32.521 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 32.523 * * [simplify]: iteration 2 : 26 enodes (cost 13 ) 32.531 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 32.535 * * [simplify]: iteration done : 30 enodes (cost 13 ) 32.535 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 32.537 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 32.539 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 32.542 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 32.547 * * [simplify]: iteration done : 33 enodes (cost 10 ) 32.547 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 32.549 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 32.551 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 32.556 * * [simplify]: iteration 3 : 57 enodes (cost 10 ) 32.565 * * [simplify]: iteration 4 : 100 enodes (cost 10 ) 32.581 * * [simplify]: iteration 5 : 192 enodes (cost 10 ) 32.654 * * [simplify]: iteration 6 : 531 enodes (cost 10 ) 33.095 * * [simplify]: iteration 7 : 2014 enodes (cost 10 ) 34.589 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 34.590 * * [simplify]: iteration 0 : 11 enodes (cost 65 ) 34.592 * * [simplify]: iteration 1 : 26 enodes (cost 29 ) 34.597 * * [simplify]: iteration 2 : 73 enodes (cost 25 ) 34.617 * * [simplify]: iteration 3 : 298 enodes (cost 11 ) 34.781 * * [simplify]: iteration 4 : 1540 enodes (cost 11 ) 36.099 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 36.104 * * [simplify]: iteration 0 : 11 enodes (cost 45 ) 36.105 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 36.108 * * [simplify]: iteration 2 : 25 enodes (cost 21 ) 36.111 * * [simplify]: iteration 3 : 29 enodes (cost 21 ) 36.114 * * [simplify]: iteration done : 29 enodes (cost 21 ) 36.115 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 36.116 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 36.118 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 36.122 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 36.125 * * [simplify]: iteration done : 28 enodes (cost 10 ) 36.126 * * [simplify]: iteration 0 : 11 enodes (cost 65 ) 36.127 * * [simplify]: iteration 1 : 27 enodes (cost 29 ) 36.132 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 36.149 * * [simplify]: iteration 3 : 276 enodes (cost 11 ) 36.295 * * [simplify]: iteration 4 : 1439 enodes (cost 11 ) 37.393 * * [simplify]: iteration done : 5002 enodes (cost 11 ) 37.393 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 37.395 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 37.399 * * [simplify]: iteration 2 : 58 enodes (cost 19 ) 37.415 * * [simplify]: iteration 3 : 238 enodes (cost 19 ) 37.524 * * [simplify]: iteration 4 : 714 enodes (cost 19 ) 38.099 * * [simplify]: iteration 5 : 2502 enodes (cost 19 ) 39.728 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 39.729 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 39.732 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 39.734 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 39.737 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 39.741 * * [simplify]: iteration done : 28 enodes (cost 10 ) 39.741 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 39.743 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 39.745 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 39.748 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 39.751 * * [simplify]: iteration done : 28 enodes (cost 10 ) 39.752 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 39.754 * * [simplify]: iteration 1 : 38 enodes (cost 13 ) 39.761 * * [simplify]: iteration 2 : 104 enodes (cost 11 ) 39.791 * * [simplify]: iteration 3 : 329 enodes (cost 11 ) 39.962 * * [simplify]: iteration 4 : 812 enodes (cost 11 ) 40.632 * * [simplify]: iteration 5 : 2585 enodes (cost 11 ) 41.908 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 41.909 * * [simplify]: iteration 0 : 13 enodes (cost 61 ) 41.912 * * [simplify]: iteration 1 : 42 enodes (cost 23 ) 41.921 * * [simplify]: iteration 2 : 147 enodes (cost 21 ) 41.968 * * [simplify]: iteration 3 : 449 enodes (cost 19 ) 42.201 * * [simplify]: iteration 4 : 1256 enodes (cost 19 ) 43.243 * * [simplify]: iteration 5 : 3254 enodes (cost 19 ) 44.754 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 44.756 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 44.761 * * [simplify]: iteration 1 : 56 enodes (cost 35 ) 44.773 * * [simplify]: iteration 2 : 169 enodes (cost 31 ) 44.835 * * [simplify]: iteration 3 : 552 enodes (cost 29 ) 45.158 * * [simplify]: iteration 4 : 1656 enodes (cost 29 ) 46.643 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 46.644 * * [simplify]: iteration 0 : 15 enodes (cost 41 ) 46.647 * * [simplify]: iteration 1 : 47 enodes (cost 35 ) 46.656 * * [simplify]: iteration 2 : 161 enodes (cost 33 ) 46.706 * * [simplify]: iteration 3 : 481 enodes (cost 31 ) 46.956 * * [simplify]: iteration 4 : 1270 enodes (cost 31 ) 48.051 * * [simplify]: iteration 5 : 3326 enodes (cost 31 ) 49.551 * * [simplify]: iteration done : 5001 enodes (cost 31 ) 49.551 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 49.554 * * [simplify]: iteration 1 : 56 enodes (cost 35 ) 49.566 * * [simplify]: iteration 2 : 171 enodes (cost 31 ) 49.628 * * [simplify]: iteration 3 : 543 enodes (cost 29 ) 49.955 * * [simplify]: iteration 4 : 1663 enodes (cost 29 ) 51.434 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 51.435 * * [simplify]: iteration 0 : 15 enodes (cost 41 ) 51.437 * * [simplify]: iteration 1 : 47 enodes (cost 35 ) 51.447 * * [simplify]: iteration 2 : 159 enodes (cost 33 ) 51.497 * * [simplify]: iteration 3 : 478 enodes (cost 31 ) 51.749 * * [simplify]: iteration 4 : 1270 enodes (cost 31 ) 52.841 * * [simplify]: iteration 5 : 3344 enodes (cost 31 ) 54.557 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 54.558 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 54.559 * * [simplify]: iteration 1 : 33 enodes (cost 19 ) 54.565 * * [simplify]: iteration 2 : 97 enodes (cost 17 ) 54.598 * * [simplify]: iteration 3 : 290 enodes (cost 15 ) 54.725 * * [simplify]: iteration 4 : 840 enodes (cost 15 ) 55.321 * * [simplify]: iteration 5 : 2179 enodes (cost 15 ) 56.434 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 56.435 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 56.436 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 56.439 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 56.448 * * [simplify]: iteration 3 : 53 enodes (cost 9 ) 56.456 * * [simplify]: iteration 4 : 68 enodes (cost 9 ) 56.467 * * [simplify]: iteration 5 : 87 enodes (cost 9 ) 56.483 * * [simplify]: iteration 6 : 141 enodes (cost 9 ) 56.527 * * [simplify]: iteration 7 : 270 enodes (cost 9 ) 56.618 * * [simplify]: iteration 8 : 530 enodes (cost 9 ) 56.955 * * [simplify]: iteration 9 : 1241 enodes (cost 9 ) 58.376 * * [simplify]: iteration 10 : 2668 enodes (cost 9 ) 60.656 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 60.657 * * [simplify]: iteration 0 : 11 enodes (cost 47 ) 60.658 * * [simplify]: iteration 1 : 23 enodes (cost 47 ) 60.661 * * [simplify]: iteration 2 : 30 enodes (cost 25 ) 60.665 * * [simplify]: iteration 3 : 43 enodes (cost 13 ) 60.671 * * [simplify]: iteration 4 : 58 enodes (cost 13 ) 60.678 * * [simplify]: iteration 5 : 84 enodes (cost 13 ) 60.692 * * [simplify]: iteration 6 : 157 enodes (cost 13 ) 60.740 * * [simplify]: iteration 7 : 373 enodes (cost 13 ) 61.087 * * [simplify]: iteration 8 : 1277 enodes (cost 13 ) 62.693 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 62.699 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.700 * * [simplify]: iteration 1 : 18 enodes (cost 23 ) 62.702 * * [simplify]: iteration 2 : 23 enodes (cost 23 ) 62.705 * * [simplify]: iteration 3 : 27 enodes (cost 23 ) 62.709 * * [simplify]: iteration done : 27 enodes (cost 23 ) 62.710 * * [simplify]: iteration 0 : 11 enodes (cost 45 ) 62.711 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 62.714 * * [simplify]: iteration 2 : 26 enodes (cost 21 ) 62.717 * * [simplify]: iteration 3 : 30 enodes (cost 21 ) 62.721 * * [simplify]: iteration done : 30 enodes (cost 21 ) 62.721 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.722 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.725 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.728 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.731 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.732 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.733 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.736 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.739 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.742 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.743 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.744 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.746 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.749 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.753 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.753 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.754 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.759 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.762 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.766 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.767 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.768 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.770 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.773 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.777 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.777 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 62.778 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 62.778 * * [simplify]: iteration done : 5 enodes (cost 1 ) 62.778 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 62.780 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 62.782 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 62.785 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 62.788 * * [simplify]: iteration done : 27 enodes (cost 9 ) 62.789 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.790 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.793 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.795 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.799 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.799 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.801 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.803 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.806 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.810 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.810 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.811 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.814 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.821 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.824 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.825 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.826 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.828 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.831 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.834 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.835 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 62.835 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 62.836 * * [simplify]: iteration done : 4 enodes (cost 1 ) 62.836 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 62.837 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 62.840 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 62.843 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 62.846 * * [simplify]: iteration done : 27 enodes (cost 9 ) 62.847 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.848 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.850 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.853 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.857 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.858 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.859 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.861 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.864 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.867 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.868 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.870 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.872 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.875 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.882 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.883 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.884 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.886 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.889 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.892 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.893 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.894 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.897 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.900 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.903 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.904 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.905 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.908 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.910 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.914 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.915 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.916 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.918 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.921 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.925 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.925 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 62.927 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 62.929 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 62.932 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 62.936 * * [simplify]: iteration done : 28 enodes (cost 10 ) 62.938 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.939 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 62.939 * * [simplify]: iteration 2 : 7 enodes (cost 1 ) 62.939 * * [simplify]: iteration done : 7 enodes (cost 1 ) 62.940 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.940 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 62.941 * * [simplify]: iteration done : 6 enodes (cost 1 ) 62.941 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 62.942 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 62.942 * * [simplify]: iteration done : 10 enodes (cost 1 ) 62.943 * * [simplify]: iteration 0 : 11 enodes (cost 34 ) 62.944 * * [simplify]: iteration 1 : 22 enodes (cost 34 ) 62.947 * * [simplify]: iteration 2 : 29 enodes (cost 34 ) 62.951 * * [simplify]: iteration 3 : 33 enodes (cost 34 ) 62.955 * * [simplify]: iteration done : 33 enodes (cost 34 ) 62.956 * * [simplify]: iteration 0 : 12 enodes (cost 33 ) 62.958 * * [simplify]: iteration 1 : 22 enodes (cost 22 ) 62.960 * * [simplify]: iteration 2 : 27 enodes (cost 22 ) 62.963 * * [simplify]: iteration 3 : 31 enodes (cost 22 ) 62.968 * * [simplify]: iteration done : 31 enodes (cost 22 ) 62.968 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 62.970 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 62.972 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 62.975 * * [simplify]: iteration 3 : 28 enodes (cost 22 ) 62.979 * * [simplify]: iteration done : 28 enodes (cost 22 ) 62.980 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 62.981 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 62.983 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 62.986 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 62.990 * * [simplify]: iteration 4 : 34 enodes (cost 10 ) 62.994 * * [simplify]: iteration done : 34 enodes (cost 10 ) 62.995 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 62.996 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 63.002 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 63.005 * * [simplify]: iteration 3 : 28 enodes (cost 22 ) 63.009 * * [simplify]: iteration done : 28 enodes (cost 22 ) 63.009 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 63.011 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 63.013 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 63.017 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 63.020 * * [simplify]: iteration done : 33 enodes (cost 10 ) 63.021 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 63.022 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 63.025 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 63.028 * * [simplify]: iteration 3 : 28 enodes (cost 22 ) 63.032 * * [simplify]: iteration done : 28 enodes (cost 22 ) 63.033 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 63.034 * * [simplify]: iteration 1 : 20 enodes (cost 22 ) 63.036 * * [simplify]: iteration 2 : 25 enodes (cost 22 ) 63.039 * * [simplify]: iteration 3 : 29 enodes (cost 22 ) 63.043 * * [simplify]: iteration done : 29 enodes (cost 22 ) 63.044 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 63.045 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 63.048 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 63.051 * * [simplify]: iteration 3 : 28 enodes (cost 22 ) 63.054 * * [simplify]: iteration done : 28 enodes (cost 22 ) 63.055 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 63.056 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 63.061 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 63.064 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 63.067 * * [simplify]: iteration done : 27 enodes (cost 9 ) 63.068 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 63.069 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 63.072 * * [simplify]: iteration 2 : 24 enodes (cost 22 ) 63.075 * * [simplify]: iteration 3 : 28 enodes (cost 22 ) 63.078 * * [simplify]: iteration done : 28 enodes (cost 22 ) 63.079 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 63.080 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 63.082 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 63.085 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 63.089 * * [simplify]: iteration done : 27 enodes (cost 9 ) 63.090 * * [simplify]: iteration 0 : 14 enodes (cost 25 ) 63.092 * * [simplify]: iteration 1 : 42 enodes (cost 25 ) 63.100 * * [simplify]: iteration 2 : 111 enodes (cost 23 ) 63.133 * * [simplify]: iteration 3 : 341 enodes (cost 23 ) 63.309 * * [simplify]: iteration 4 : 827 enodes (cost 23 ) 63.998 * * [simplify]: iteration 5 : 2609 enodes (cost 23 ) 65.317 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 65.318 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 65.320 * * [simplify]: iteration 1 : 36 enodes (cost 31 ) 65.327 * * [simplify]: iteration 2 : 98 enodes (cost 29 ) 65.356 * * [simplify]: iteration 3 : 297 enodes (cost 27 ) 65.487 * * [simplify]: iteration 4 : 861 enodes (cost 27 ) 66.107 * * [simplify]: iteration 5 : 2299 enodes (cost 27 ) 67.202 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 67.203 * * [simplify]: iteration 0 : 14 enodes (cost 25 ) 67.205 * * [simplify]: iteration 1 : 42 enodes (cost 25 ) 67.213 * * [simplify]: iteration 2 : 111 enodes (cost 23 ) 67.249 * * [simplify]: iteration 3 : 348 enodes (cost 23 ) 67.435 * * [simplify]: iteration 4 : 857 enodes (cost 23 ) 68.126 * * [simplify]: iteration 5 : 2609 enodes (cost 23 ) 69.405 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 69.406 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 69.408 * * [simplify]: iteration 1 : 36 enodes (cost 31 ) 69.414 * * [simplify]: iteration 2 : 100 enodes (cost 29 ) 69.442 * * [simplify]: iteration 3 : 298 enodes (cost 27 ) 69.574 * * [simplify]: iteration 4 : 862 enodes (cost 27 ) 70.195 * * [simplify]: iteration 5 : 2294 enodes (cost 27 ) 71.252 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 71.253 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 71.253 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 71.255 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 71.256 * * [simplify]: iteration done : 12 enodes (cost 5 ) 71.257 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.257 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 71.258 * * [simplify]: iteration done : 8 enodes (cost 7 ) 71.259 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 71.260 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 71.261 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 71.263 * * [simplify]: iteration done : 17 enodes (cost 6 ) 71.264 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 71.265 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 71.267 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 71.270 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 71.275 * * [simplify]: iteration 4 : 69 enodes (cost 6 ) 71.287 * * [simplify]: iteration 5 : 163 enodes (cost 6 ) 71.346 * * [simplify]: iteration 6 : 402 enodes (cost 6 ) 71.618 * * [simplify]: iteration 7 : 1265 enodes (cost 6 ) 73.055 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 73.056 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 73.058 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 73.064 * * [simplify]: iteration 2 : 106 enodes (cost 9 ) 73.099 * * [simplify]: iteration 3 : 315 enodes (cost 9 ) 73.298 * * [simplify]: iteration 4 : 1026 enodes (cost 7 ) 74.784 * * [simplify]: iteration 5 : 3538 enodes (cost 7 ) 76.496 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 76.497 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 76.497 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 76.499 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 76.501 * * [simplify]: iteration done : 14 enodes (cost 13 ) 76.502 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 76.502 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 76.504 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 76.505 * * [simplify]: iteration done : 13 enodes (cost 6 ) 76.506 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 76.507 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 76.512 * * [simplify]: iteration 2 : 89 enodes (cost 7 ) 76.543 * * [simplify]: iteration 3 : 285 enodes (cost 7 ) 76.745 * * [simplify]: iteration 4 : 753 enodes (cost 7 ) 77.538 * * [simplify]: iteration 5 : 2125 enodes (cost 7 ) 79.329 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 79.330 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 79.330 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 79.332 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 79.333 * * [simplify]: iteration done : 13 enodes (cost 6 ) 79.334 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 79.334 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 79.336 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 79.337 * * [simplify]: iteration done : 13 enodes (cost 6 ) 79.338 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.339 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 79.339 * * [simplify]: iteration done : 8 enodes (cost 7 ) 79.340 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 79.340 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 79.341 * * [simplify]: iteration done : 8 enodes (cost 7 ) 79.342 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 79.343 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 79.343 * * [simplify]: iteration done : 4 enodes (cost 3 ) 79.344 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 79.344 * * [simplify]: iteration done : 2 enodes (cost 3 ) 79.344 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 79.345 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 79.345 * * [simplify]: iteration done : 4 enodes (cost 3 ) 79.346 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 79.346 * * [simplify]: iteration done : 2 enodes (cost 3 ) 79.347 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 79.347 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 79.352 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 79.354 * * [simplify]: iteration done : 12 enodes (cost 11 ) 79.354 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 79.355 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 79.356 * * [simplify]: iteration done : 7 enodes (cost 6 ) 79.356 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 79.357 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 79.357 * * [simplify]: iteration done : 6 enodes (cost 1 ) 79.357 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 79.358 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 79.358 * * [simplify]: iteration done : 6 enodes (cost 1 ) 79.359 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 79.359 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.361 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 79.362 * * [simplify]: iteration done : 14 enodes (cost 6 ) 79.363 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 79.364 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 79.365 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 79.367 * * [simplify]: iteration done : 14 enodes (cost 6 ) 79.367 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 79.368 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 79.369 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 79.371 * * [simplify]: iteration done : 12 enodes (cost 5 ) 79.371 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 79.372 * * [simplify]: iteration 1 : 28 enodes (cost 9 ) 79.377 * * [simplify]: iteration 2 : 59 enodes (cost 9 ) 79.387 * * [simplify]: iteration 3 : 110 enodes (cost 9 ) 79.407 * * [simplify]: iteration 4 : 210 enodes (cost 9 ) 79.477 * * [simplify]: iteration 5 : 542 enodes (cost 9 ) 79.941 * * [simplify]: iteration 6 : 1817 enodes (cost 9 ) 81.366 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 81.367 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 81.367 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 81.369 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 81.374 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 81.387 * * [simplify]: iteration 4 : 135 enodes (cost 9 ) 81.422 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 81.488 * * [simplify]: iteration 6 : 358 enodes (cost 9 ) 81.645 * * [simplify]: iteration 7 : 702 enodes (cost 9 ) 83.282 * * [simplify]: iteration 8 : 3252 enodes (cost 9 ) 85.370 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 85.371 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 85.371 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 85.373 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 85.374 * * [simplify]: iteration done : 12 enodes (cost 5 ) 85.375 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 85.375 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 85.376 * * [simplify]: iteration done : 8 enodes (cost 7 ) 85.377 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 85.377 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 85.379 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 85.381 * * [simplify]: iteration done : 17 enodes (cost 6 ) 85.382 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 85.382 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 85.384 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 85.387 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 85.392 * * [simplify]: iteration 4 : 69 enodes (cost 6 ) 85.404 * * [simplify]: iteration 5 : 163 enodes (cost 6 ) 85.463 * * [simplify]: iteration 6 : 402 enodes (cost 6 ) 85.735 * * [simplify]: iteration 7 : 1265 enodes (cost 6 ) 87.159 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 87.159 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 87.161 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 87.167 * * [simplify]: iteration 2 : 106 enodes (cost 9 ) 87.202 * * [simplify]: iteration 3 : 315 enodes (cost 9 ) 87.400 * * [simplify]: iteration 4 : 1026 enodes (cost 7 ) 88.667 * * [simplify]: iteration 5 : 3538 enodes (cost 7 ) 90.368 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 90.368 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 90.369 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 90.371 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 90.372 * * [simplify]: iteration done : 14 enodes (cost 13 ) 90.373 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 90.374 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 90.375 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 90.377 * * [simplify]: iteration done : 13 enodes (cost 6 ) 90.377 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 90.378 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 90.383 * * [simplify]: iteration 2 : 89 enodes (cost 7 ) 90.418 * * [simplify]: iteration 3 : 285 enodes (cost 7 ) 90.610 * * [simplify]: iteration 4 : 753 enodes (cost 7 ) 91.410 * * [simplify]: iteration 5 : 2125 enodes (cost 7 ) 93.432 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 93.433 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 93.434 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 93.435 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 93.437 * * [simplify]: iteration done : 13 enodes (cost 6 ) 93.437 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 93.438 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 93.440 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 93.441 * * [simplify]: iteration done : 13 enodes (cost 6 ) 93.442 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 93.442 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 93.443 * * [simplify]: iteration done : 8 enodes (cost 7 ) 93.448 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 93.448 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 93.449 * * [simplify]: iteration done : 8 enodes (cost 7 ) 93.450 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.450 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 93.450 * * [simplify]: iteration done : 4 enodes (cost 3 ) 93.451 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 93.451 * * [simplify]: iteration done : 2 enodes (cost 3 ) 93.452 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.452 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 93.452 * * [simplify]: iteration done : 4 enodes (cost 3 ) 93.453 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 93.453 * * [simplify]: iteration done : 2 enodes (cost 3 ) 93.454 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 93.455 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 93.456 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 93.457 * * [simplify]: iteration done : 12 enodes (cost 11 ) 93.458 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 93.458 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 93.459 * * [simplify]: iteration done : 7 enodes (cost 6 ) 93.460 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.460 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 93.460 * * [simplify]: iteration done : 6 enodes (cost 1 ) 93.461 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.461 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 93.461 * * [simplify]: iteration done : 6 enodes (cost 1 ) 93.462 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 93.463 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 93.464 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 93.466 * * [simplify]: iteration done : 14 enodes (cost 6 ) 93.467 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 93.467 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 93.469 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 93.470 * * [simplify]: iteration done : 14 enodes (cost 6 ) 93.471 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 93.472 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 93.473 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 93.474 * * [simplify]: iteration done : 12 enodes (cost 5 ) 93.475 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 93.476 * * [simplify]: iteration 1 : 28 enodes (cost 9 ) 93.481 * * [simplify]: iteration 2 : 59 enodes (cost 9 ) 93.491 * * [simplify]: iteration 3 : 110 enodes (cost 9 ) 93.513 * * [simplify]: iteration 4 : 210 enodes (cost 9 ) 93.582 * * [simplify]: iteration 5 : 542 enodes (cost 9 ) 94.049 * * [simplify]: iteration 6 : 1817 enodes (cost 9 ) 95.480 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 95.481 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 95.482 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 95.484 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 95.488 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 95.501 * * [simplify]: iteration 4 : 135 enodes (cost 9 ) 95.537 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 95.603 * * [simplify]: iteration 6 : 358 enodes (cost 9 ) 95.758 * * [simplify]: iteration 7 : 702 enodes (cost 9 ) 97.426 * * [simplify]: iteration 8 : 3252 enodes (cost 9 ) 99.508 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 99.509 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 99.510 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 99.514 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 99.519 * * [simplify]: iteration 3 : 83 enodes (cost 10 ) 99.535 * * [simplify]: iteration 4 : 202 enodes (cost 10 ) 99.621 * * [simplify]: iteration 5 : 686 enodes (cost 10 ) 100.631 * * [simplify]: iteration 6 : 3412 enodes (cost 10 ) 102.328 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 102.329 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 102.330 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 102.332 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 102.335 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 102.338 * * [simplify]: iteration done : 25 enodes (cost 10 ) 102.339 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 102.340 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 102.343 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 102.347 * * [simplify]: iteration 3 : 63 enodes (cost 10 ) 102.358 * * [simplify]: iteration 4 : 115 enodes (cost 10 ) 102.387 * * [simplify]: iteration 5 : 330 enodes (cost 10 ) 102.593 * * [simplify]: iteration 6 : 1357 enodes (cost 10 ) 103.832 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 103.833 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 103.834 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 103.836 * * [simplify]: iteration 2 : 22 enodes (cost 21 ) 103.839 * * [simplify]: iteration 3 : 26 enodes (cost 21 ) 103.842 * * [simplify]: iteration done : 26 enodes (cost 21 ) 103.843 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 103.844 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 103.846 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 103.848 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 103.852 * * [simplify]: iteration done : 25 enodes (cost 10 ) 103.853 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 103.854 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 103.860 * * [simplify]: iteration 2 : 105 enodes (cost 11 ) 103.896 * * [simplify]: iteration 3 : 507 enodes (cost 11 ) 104.274 * * [simplify]: iteration 4 : 2606 enodes (cost 11 ) 105.637 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 105.637 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 105.638 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 105.641 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 105.643 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 105.647 * * [simplify]: iteration done : 25 enodes (cost 10 ) 105.647 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 105.648 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 105.650 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 105.653 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 105.656 * * [simplify]: iteration done : 25 enodes (cost 10 ) 105.657 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 105.659 * * [simplify]: iteration 1 : 36 enodes (cost 13 ) 105.665 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 105.697 * * [simplify]: iteration 3 : 333 enodes (cost 11 ) 105.869 * * [simplify]: iteration 4 : 813 enodes (cost 11 ) 106.530 * * [simplify]: iteration 5 : 2564 enodes (cost 11 ) 107.802 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 107.803 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 107.805 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 107.813 * * [simplify]: iteration 2 : 144 enodes (cost 21 ) 107.860 * * [simplify]: iteration 3 : 446 enodes (cost 19 ) 108.095 * * [simplify]: iteration 4 : 1242 enodes (cost 19 ) 109.145 * * [simplify]: iteration 5 : 3248 enodes (cost 19 ) 110.998 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 110.999 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 111.001 * * [simplify]: iteration 1 : 31 enodes (cost 19 ) 111.006 * * [simplify]: iteration 2 : 94 enodes (cost 17 ) 111.038 * * [simplify]: iteration 3 : 289 enodes (cost 15 ) 111.165 * * [simplify]: iteration 4 : 839 enodes (cost 15 ) 111.755 * * [simplify]: iteration 5 : 2178 enodes (cost 15 ) 112.792 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 112.793 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 112.799 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 112.801 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 112.806 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 112.813 * * [simplify]: iteration 4 : 64 enodes (cost 9 ) 112.823 * * [simplify]: iteration 5 : 83 enodes (cost 9 ) 112.839 * * [simplify]: iteration 6 : 137 enodes (cost 9 ) 112.881 * * [simplify]: iteration 7 : 266 enodes (cost 9 ) 112.970 * * [simplify]: iteration 8 : 524 enodes (cost 9 ) 113.306 * * [simplify]: iteration 9 : 1229 enodes (cost 9 ) 114.744 * * [simplify]: iteration 10 : 2677 enodes (cost 9 ) 116.929 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 116.930 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 116.931 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 116.932 * * [simplify]: iteration done : 8 enodes (cost 7 ) 116.932 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 116.933 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 116.934 * * [simplify]: iteration done : 8 enodes (cost 7 ) 116.935 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 116.936 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 116.939 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 116.943 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 116.948 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 116.953 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 116.962 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 116.985 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 117.080 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 117.990 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 119.963 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 119.964 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 119.965 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 119.968 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 119.972 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 119.981 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 119.987 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 119.995 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 120.014 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 120.106 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 121.018 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 122.993 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 122.994 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 122.995 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 122.998 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 123.002 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 123.007 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 123.012 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 123.020 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 123.039 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 123.133 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 124.045 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 126.025 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 126.026 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 126.027 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 126.029 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 126.031 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 126.033 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 126.036 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 126.040 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 126.049 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 126.098 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 126.553 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 128.926 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 128.927 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 128.927 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 128.929 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 128.932 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 128.934 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 128.937 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 128.941 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 128.950 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 128.998 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 129.457 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 131.845 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 131.845 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 131.846 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 131.849 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 131.851 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 131.853 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 131.856 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 131.861 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 131.870 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 131.918 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 132.379 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 135.006 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 135.007 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 135.008 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 135.010 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 135.012 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 135.014 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 135.017 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 135.021 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 135.031 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 135.079 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 135.542 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 137.936 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 137.936 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 137.937 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 137.939 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 137.941 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 137.943 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 137.946 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 137.950 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 137.965 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 138.008 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 138.467 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 140.868 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 140.868 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 140.869 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 140.871 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 140.873 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 140.875 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 140.878 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 140.882 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 140.891 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 140.940 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 141.400 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 143.807 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 143.808 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 143.809 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 143.812 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 143.816 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 143.821 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 143.831 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 143.839 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 143.859 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 143.953 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 144.869 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 146.850 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 146.851 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 146.852 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 146.856 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 146.860 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 146.865 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 146.870 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 146.879 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 146.898 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 146.994 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 147.911 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 149.889 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 149.890 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 149.891 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 149.894 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 149.898 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 149.903 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 149.909 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 149.917 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 149.941 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 150.033 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 150.947 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 152.934 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 152.935 * [simplify]: Simplified to: 1 1 2 1 1 (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (+ (* x (+ 2.0 x)) (* y y)) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) 2 (* 2 (log (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (log (+ (* x (+ 2.0 x)) (* y y))) (exp (+ (* x (+ 2.0 x)) (* y y))) (pow (+ (* x (+ 2.0 x)) (* y y)) 3) (* (cbrt (+ (* x (+ 2.0 x)) (* y y))) (cbrt (+ (* x (+ 2.0 x)) (* y y)))) (cbrt (+ (* x (+ 2.0 x)) (* y y))) (pow (+ (* x (+ 2.0 x)) (* y y)) 3) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (+ (pow (* x (+ 2.0 x)) 3) (pow y 6)) (+ (pow y 4) (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (* y y)))) (* (sqrt (+ (pow (* x (+ 2.0 x)) 3) (pow y 6))) (sqrt (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))) (* (sqrt (- (* y y) (* x (+ 2.0 x)))) (sqrt (+ (pow y 4) (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (* y y)))))) (* (sqrt (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (sqrt (+ (pow (* x (+ 2.0 x)) 3) (pow y 6)))) (* (sqrt (- (* y y) (* x (+ 2.0 x)))) (sqrt (+ (pow y 4) (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (* y y)))))) (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x))) (pow (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) 4) (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) 1 (+ (* x (+ 2.0 x)) (* y y)) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) 1 (+ (* x (+ 2.0 x)) (* y y)) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) 1 2 1 (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (fabs (cbrt (+ (* y y) (* x (+ 2.0 x)))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x)))))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (cbrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (+ (* x (+ 2.0 x)) (* y y)) (* (sqrt (sqrt (+ (* y y) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (+ (* x (+ 2.0 x)) (* y y)) (* (sqrt (+ (pow (* x (+ 2.0 x)) 3) (pow y 6))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (+ (pow (* x (+ 2.0 x)) 3) (pow y 6))) (sqrt (+ (* y y) (* x (+ 2.0 x))))) (* (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))) (* x (+ 2.0 x)) (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (pow (* (+ 2.0 x) x) 3) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (pow (* x (+ 2.0 x)) 3) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) x x (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))) (* (+ 2.0 x) (* x (- 2.0 x))) (* x (+ 2.0 x)) (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (pow (* (+ 2.0 x) x) 3) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (pow (* x (+ 2.0 x)) 3) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) x x (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))) (* (+ 2.0 x) (* x (- 2.0 x))) (exp (+ (* y y) (* x (+ 2.0 x)))) (log (+ (* y y) (* x (+ 2.0 x)))) (exp (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (pow (+ (* y y) (* x (+ 2.0 x))) 3) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (+ (pow (* x (+ 2.0 x)) 3) (pow y 6)) (+ (pow y 4) (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (* y y)))) (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x 2.0)) (+ (* y y) (* 2.0 x)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) 152.936 * * * [progress]: adding candidates to table 153.117 * * [progress]: iteration 3 / 4 153.117 * * * [progress]: picking best candidate 153.120 * * * * [pick]: Picked # 153.120 * * * [progress]: localizing error 153.129 * * * [progress]: generating rewritten candidates 153.129 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 153.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 153.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 153.150 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 153.158 * * * [progress]: generating series expansions 153.158 * * * * [progress]: [ 1 / 4 ] generating series at (2) 153.158 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in (y x) around 0 153.158 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in x 153.158 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 153.158 * [taylor]: Taking taylor expansion of 2.0 in x 153.158 * [taylor]: Taking taylor expansion of x in x 153.158 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 153.158 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.158 * [taylor]: Taking taylor expansion of x in x 153.158 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.158 * [taylor]: Taking taylor expansion of y in x 153.158 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 153.158 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 153.158 * [taylor]: Taking taylor expansion of 2.0 in y 153.158 * [taylor]: Taking taylor expansion of x in y 153.158 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 153.158 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.158 * [taylor]: Taking taylor expansion of x in y 153.158 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.158 * [taylor]: Taking taylor expansion of y in y 153.158 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 153.158 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 153.158 * [taylor]: Taking taylor expansion of 2.0 in y 153.158 * [taylor]: Taking taylor expansion of x in y 153.158 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 153.158 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.158 * [taylor]: Taking taylor expansion of x in y 153.158 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.158 * [taylor]: Taking taylor expansion of y in y 153.159 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 153.159 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 153.159 * [taylor]: Taking taylor expansion of 2.0 in x 153.159 * [taylor]: Taking taylor expansion of x in x 153.159 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.159 * [taylor]: Taking taylor expansion of x in x 153.159 * [taylor]: Taking taylor expansion of 0 in x 153.159 * [taylor]: Taking taylor expansion of 1 in x 153.160 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in (y x) around 0 153.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x 153.160 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.160 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.160 * [taylor]: Taking taylor expansion of x in x 153.160 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x 153.160 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.160 * [taylor]: Taking taylor expansion of 2.0 in x 153.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.160 * [taylor]: Taking taylor expansion of x in x 153.160 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 153.160 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.160 * [taylor]: Taking taylor expansion of y in x 153.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 153.160 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.160 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.160 * [taylor]: Taking taylor expansion of x in y 153.160 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 153.160 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.160 * [taylor]: Taking taylor expansion of 2.0 in y 153.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.160 * [taylor]: Taking taylor expansion of x in y 153.160 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.160 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.160 * [taylor]: Taking taylor expansion of y in y 153.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 153.160 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.160 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.160 * [taylor]: Taking taylor expansion of x in y 153.160 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 153.160 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.160 * [taylor]: Taking taylor expansion of 2.0 in y 153.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.160 * [taylor]: Taking taylor expansion of x in y 153.161 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.161 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.161 * [taylor]: Taking taylor expansion of y in y 153.161 * [taylor]: Taking taylor expansion of 1 in x 153.161 * [taylor]: Taking taylor expansion of 0 in x 153.161 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 153.161 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.161 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.161 * [taylor]: Taking taylor expansion of x in x 153.161 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.161 * [taylor]: Taking taylor expansion of 2.0 in x 153.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.161 * [taylor]: Taking taylor expansion of x in x 153.162 * [taylor]: Taking taylor expansion of 0 in x 153.162 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0 153.162 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x 153.162 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 153.162 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.162 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.162 * [taylor]: Taking taylor expansion of x in x 153.162 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 153.162 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.162 * [taylor]: Taking taylor expansion of y in x 153.162 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.162 * [taylor]: Taking taylor expansion of 2.0 in x 153.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.163 * [taylor]: Taking taylor expansion of x in x 153.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 153.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 153.163 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.163 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.163 * [taylor]: Taking taylor expansion of x in y 153.163 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.163 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.163 * [taylor]: Taking taylor expansion of y in y 153.163 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.163 * [taylor]: Taking taylor expansion of 2.0 in y 153.163 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.163 * [taylor]: Taking taylor expansion of x in y 153.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 153.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 153.163 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.163 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.163 * [taylor]: Taking taylor expansion of x in y 153.163 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.163 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.163 * [taylor]: Taking taylor expansion of y in y 153.163 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.163 * [taylor]: Taking taylor expansion of 2.0 in y 153.163 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.163 * [taylor]: Taking taylor expansion of x in y 153.163 * [taylor]: Taking taylor expansion of 1 in x 153.163 * [taylor]: Taking taylor expansion of 0 in x 153.164 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 153.164 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.164 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.164 * [taylor]: Taking taylor expansion of x in x 153.164 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.164 * [taylor]: Taking taylor expansion of 2.0 in x 153.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.164 * [taylor]: Taking taylor expansion of x in x 153.164 * [taylor]: Taking taylor expansion of 0 in x 153.165 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 153.165 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) 3) in (y x) around 0 153.165 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) 3) in x 153.165 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in x 153.165 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 153.165 * [taylor]: Taking taylor expansion of 2.0 in x 153.165 * [taylor]: Taking taylor expansion of x in x 153.165 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 153.165 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.165 * [taylor]: Taking taylor expansion of x in x 153.165 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.165 * [taylor]: Taking taylor expansion of y in x 153.165 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) 3) in y 153.165 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 153.165 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 153.165 * [taylor]: Taking taylor expansion of 2.0 in y 153.165 * [taylor]: Taking taylor expansion of x in y 153.165 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 153.165 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.165 * [taylor]: Taking taylor expansion of x in y 153.165 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.165 * [taylor]: Taking taylor expansion of y in y 153.166 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) 3) in y 153.166 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 153.166 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 153.166 * [taylor]: Taking taylor expansion of 2.0 in y 153.166 * [taylor]: Taking taylor expansion of x in y 153.166 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 153.166 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.166 * [taylor]: Taking taylor expansion of x in y 153.166 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.166 * [taylor]: Taking taylor expansion of y in y 153.166 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (pow x 2)) 3) in x 153.166 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 153.166 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 153.166 * [taylor]: Taking taylor expansion of 2.0 in x 153.166 * [taylor]: Taking taylor expansion of x in x 153.166 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.166 * [taylor]: Taking taylor expansion of x in x 153.167 * [taylor]: Taking taylor expansion of 0 in x 153.168 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow x 2)) (+ (* 12.0 (pow x 3)) (* 3 (pow x 4)))) in x 153.168 * [taylor]: Taking taylor expansion of (* 12.0 (pow x 2)) in x 153.168 * [taylor]: Taking taylor expansion of 12.0 in x 153.168 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.168 * [taylor]: Taking taylor expansion of x in x 153.168 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow x 3)) (* 3 (pow x 4))) in x 153.168 * [taylor]: Taking taylor expansion of (* 12.0 (pow x 3)) in x 153.168 * [taylor]: Taking taylor expansion of 12.0 in x 153.168 * [taylor]: Taking taylor expansion of (pow x 3) in x 153.168 * [taylor]: Taking taylor expansion of x in x 153.168 * [taylor]: Taking taylor expansion of (* 3 (pow x 4)) in x 153.168 * [taylor]: Taking taylor expansion of 3 in x 153.168 * [taylor]: Taking taylor expansion of (pow x 4) in x 153.168 * [taylor]: Taking taylor expansion of x in x 153.169 * [taylor]: Taking taylor expansion of 0 in x 153.170 * [taylor]: Taking taylor expansion of (+ (* 6.0 x) (* 3 (pow x 2))) in x 153.170 * [taylor]: Taking taylor expansion of (* 6.0 x) in x 153.170 * [taylor]: Taking taylor expansion of 6.0 in x 153.170 * [taylor]: Taking taylor expansion of x in x 153.170 * [taylor]: Taking taylor expansion of (* 3 (pow x 2)) in x 153.170 * [taylor]: Taking taylor expansion of 3 in x 153.170 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.170 * [taylor]: Taking taylor expansion of x in x 153.170 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) 3) in (y x) around 0 153.171 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) 3) in x 153.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x 153.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.171 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.171 * [taylor]: Taking taylor expansion of x in x 153.171 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x 153.171 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.171 * [taylor]: Taking taylor expansion of 2.0 in x 153.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.171 * [taylor]: Taking taylor expansion of x in x 153.171 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 153.171 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.171 * [taylor]: Taking taylor expansion of y in x 153.171 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) 3) in y 153.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 153.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.171 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.171 * [taylor]: Taking taylor expansion of x in y 153.171 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 153.171 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.171 * [taylor]: Taking taylor expansion of 2.0 in y 153.171 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.171 * [taylor]: Taking taylor expansion of x in y 153.171 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.171 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.171 * [taylor]: Taking taylor expansion of y in y 153.171 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) 3) in y 153.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 153.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.171 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.171 * [taylor]: Taking taylor expansion of x in y 153.172 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 153.172 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.172 * [taylor]: Taking taylor expansion of 2.0 in y 153.172 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.172 * [taylor]: Taking taylor expansion of x in y 153.172 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.172 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.172 * [taylor]: Taking taylor expansion of y in y 153.172 * [taylor]: Taking taylor expansion of 1 in x 153.172 * [taylor]: Taking taylor expansion of 0 in x 153.173 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow x 2))) (* 6.0 (/ 1 x))) in x 153.173 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 2))) in x 153.173 * [taylor]: Taking taylor expansion of 3 in x 153.173 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.173 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.173 * [taylor]: Taking taylor expansion of x in x 153.173 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 153.173 * [taylor]: Taking taylor expansion of 6.0 in x 153.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.173 * [taylor]: Taking taylor expansion of x in x 153.174 * [taylor]: Taking taylor expansion of 0 in x 153.175 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow x 2))) (+ (* 3 (/ 1 (pow x 4))) (* 12.0 (/ 1 (pow x 3))))) in x 153.175 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 2))) in x 153.175 * [taylor]: Taking taylor expansion of 12.0 in x 153.176 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.176 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.176 * [taylor]: Taking taylor expansion of x in x 153.176 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow x 4))) (* 12.0 (/ 1 (pow x 3)))) in x 153.176 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 4))) in x 153.176 * [taylor]: Taking taylor expansion of 3 in x 153.176 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 153.176 * [taylor]: Taking taylor expansion of (pow x 4) in x 153.176 * [taylor]: Taking taylor expansion of x in x 153.176 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 3))) in x 153.176 * [taylor]: Taking taylor expansion of 12.0 in x 153.176 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 153.176 * [taylor]: Taking taylor expansion of (pow x 3) in x 153.176 * [taylor]: Taking taylor expansion of x in x 153.177 * [taylor]: Taking taylor expansion of 0 in x 153.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 8.0 (/ 1 (pow x 3))) (+ (* 12.0 (/ 1 (pow x 4))) (* 6.0 (/ 1 (pow x 5)))))) in x 153.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 153.179 * [taylor]: Taking taylor expansion of (pow x 6) in x 153.179 * [taylor]: Taking taylor expansion of x in x 153.179 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ 1 (pow x 3))) (+ (* 12.0 (/ 1 (pow x 4))) (* 6.0 (/ 1 (pow x 5))))) in x 153.179 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in x 153.179 * [taylor]: Taking taylor expansion of 8.0 in x 153.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 153.179 * [taylor]: Taking taylor expansion of (pow x 3) in x 153.179 * [taylor]: Taking taylor expansion of x in x 153.179 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow x 4))) (* 6.0 (/ 1 (pow x 5)))) in x 153.179 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in x 153.179 * [taylor]: Taking taylor expansion of 12.0 in x 153.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 153.179 * [taylor]: Taking taylor expansion of (pow x 4) in x 153.179 * [taylor]: Taking taylor expansion of x in x 153.179 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x 153.179 * [taylor]: Taking taylor expansion of 6.0 in x 153.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 153.180 * [taylor]: Taking taylor expansion of (pow x 5) in x 153.180 * [taylor]: Taking taylor expansion of x in x 153.180 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) 3) in (y x) around 0 153.180 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) 3) in x 153.180 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x 153.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 153.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.181 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.181 * [taylor]: Taking taylor expansion of x in x 153.181 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 153.181 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.181 * [taylor]: Taking taylor expansion of y in x 153.181 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.181 * [taylor]: Taking taylor expansion of 2.0 in x 153.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.181 * [taylor]: Taking taylor expansion of x in x 153.181 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) 3) in y 153.181 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 153.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 153.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.181 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.181 * [taylor]: Taking taylor expansion of x in y 153.181 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.181 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.181 * [taylor]: Taking taylor expansion of y in y 153.181 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.181 * [taylor]: Taking taylor expansion of 2.0 in y 153.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.181 * [taylor]: Taking taylor expansion of x in y 153.181 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) 3) in y 153.181 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 153.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 153.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.181 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.181 * [taylor]: Taking taylor expansion of x in y 153.181 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.181 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.181 * [taylor]: Taking taylor expansion of y in y 153.182 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.182 * [taylor]: Taking taylor expansion of 2.0 in y 153.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.182 * [taylor]: Taking taylor expansion of x in y 153.182 * [taylor]: Taking taylor expansion of 1 in x 153.182 * [taylor]: Taking taylor expansion of 0 in x 153.183 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x 2))) (* 6.0 (/ 1 x))) in x 153.183 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 2))) in x 153.183 * [taylor]: Taking taylor expansion of 3 in x 153.183 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.183 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.183 * [taylor]: Taking taylor expansion of x in x 153.183 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 153.183 * [taylor]: Taking taylor expansion of 6.0 in x 153.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.183 * [taylor]: Taking taylor expansion of x in x 153.184 * [taylor]: Taking taylor expansion of 0 in x 153.186 * [taylor]: Taking taylor expansion of (- (+ (* 12.0 (/ 1 (pow x 2))) (* 3 (/ 1 (pow x 4)))) (* 12.0 (/ 1 (pow x 3)))) in x 153.186 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow x 2))) (* 3 (/ 1 (pow x 4)))) in x 153.186 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 2))) in x 153.186 * [taylor]: Taking taylor expansion of 12.0 in x 153.186 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.186 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.186 * [taylor]: Taking taylor expansion of x in x 153.186 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 4))) in x 153.186 * [taylor]: Taking taylor expansion of 3 in x 153.186 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 153.186 * [taylor]: Taking taylor expansion of (pow x 4) in x 153.186 * [taylor]: Taking taylor expansion of x in x 153.186 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 3))) in x 153.186 * [taylor]: Taking taylor expansion of 12.0 in x 153.186 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 153.186 * [taylor]: Taking taylor expansion of (pow x 3) in x 153.186 * [taylor]: Taking taylor expansion of x in x 153.187 * [taylor]: Taking taylor expansion of 0 in x 153.189 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4)))) (+ (* 8.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 (pow x 5))))) in x 153.189 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4)))) in x 153.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 153.189 * [taylor]: Taking taylor expansion of (pow x 6) in x 153.189 * [taylor]: Taking taylor expansion of x in x 153.189 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in x 153.189 * [taylor]: Taking taylor expansion of 12.0 in x 153.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 153.189 * [taylor]: Taking taylor expansion of (pow x 4) in x 153.189 * [taylor]: Taking taylor expansion of x in x 153.189 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 (pow x 5)))) in x 153.189 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in x 153.189 * [taylor]: Taking taylor expansion of 8.0 in x 153.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 153.189 * [taylor]: Taking taylor expansion of (pow x 3) in x 153.190 * [taylor]: Taking taylor expansion of x in x 153.190 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x 153.190 * [taylor]: Taking taylor expansion of 6.0 in x 153.190 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 153.190 * [taylor]: Taking taylor expansion of (pow x 5) in x 153.190 * [taylor]: Taking taylor expansion of x in x 153.190 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 153.190 * [approximate]: Taking taylor expansion of (* x (+ x 2.0)) in (x) around 0 153.190 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 153.190 * [taylor]: Taking taylor expansion of x in x 153.190 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 153.191 * [taylor]: Taking taylor expansion of x in x 153.191 * [taylor]: Taking taylor expansion of 2.0 in x 153.191 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 153.191 * [taylor]: Taking taylor expansion of x in x 153.191 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 153.191 * [taylor]: Taking taylor expansion of x in x 153.191 * [taylor]: Taking taylor expansion of 2.0 in x 153.191 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0 153.191 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 153.191 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 153.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.192 * [taylor]: Taking taylor expansion of x in x 153.192 * [taylor]: Taking taylor expansion of 2.0 in x 153.192 * [taylor]: Taking taylor expansion of x in x 153.192 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 153.192 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 153.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.192 * [taylor]: Taking taylor expansion of x in x 153.192 * [taylor]: Taking taylor expansion of 2.0 in x 153.192 * [taylor]: Taking taylor expansion of x in x 153.193 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0 153.193 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 153.193 * [taylor]: Taking taylor expansion of -1 in x 153.193 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 153.193 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 153.193 * [taylor]: Taking taylor expansion of 2.0 in x 153.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.193 * [taylor]: Taking taylor expansion of x in x 153.193 * [taylor]: Taking taylor expansion of x in x 153.193 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 153.193 * [taylor]: Taking taylor expansion of -1 in x 153.193 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 153.193 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 153.193 * [taylor]: Taking taylor expansion of 2.0 in x 153.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.193 * [taylor]: Taking taylor expansion of x in x 153.194 * [taylor]: Taking taylor expansion of x in x 153.195 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 153.195 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in (y x) around 0 153.195 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in x 153.195 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 153.195 * [taylor]: Taking taylor expansion of 2.0 in x 153.195 * [taylor]: Taking taylor expansion of x in x 153.196 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 153.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.196 * [taylor]: Taking taylor expansion of x in x 153.196 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.196 * [taylor]: Taking taylor expansion of y in x 153.196 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 153.196 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 153.196 * [taylor]: Taking taylor expansion of 2.0 in y 153.196 * [taylor]: Taking taylor expansion of x in y 153.196 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 153.196 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.196 * [taylor]: Taking taylor expansion of x in y 153.196 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.196 * [taylor]: Taking taylor expansion of y in y 153.196 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) in y 153.196 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 153.196 * [taylor]: Taking taylor expansion of 2.0 in y 153.196 * [taylor]: Taking taylor expansion of x in y 153.196 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 153.196 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.196 * [taylor]: Taking taylor expansion of x in y 153.196 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.196 * [taylor]: Taking taylor expansion of y in y 153.196 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 153.196 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 153.196 * [taylor]: Taking taylor expansion of 2.0 in x 153.196 * [taylor]: Taking taylor expansion of x in x 153.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.196 * [taylor]: Taking taylor expansion of x in x 153.196 * [taylor]: Taking taylor expansion of 0 in x 153.197 * [taylor]: Taking taylor expansion of 1 in x 153.197 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in (y x) around 0 153.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x 153.197 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.197 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.197 * [taylor]: Taking taylor expansion of x in x 153.197 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x 153.197 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.197 * [taylor]: Taking taylor expansion of 2.0 in x 153.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.197 * [taylor]: Taking taylor expansion of x in x 153.197 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 153.197 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.197 * [taylor]: Taking taylor expansion of y in x 153.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 153.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.198 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.198 * [taylor]: Taking taylor expansion of x in y 153.198 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 153.198 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.198 * [taylor]: Taking taylor expansion of 2.0 in y 153.198 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.198 * [taylor]: Taking taylor expansion of x in y 153.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.198 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.198 * [taylor]: Taking taylor expansion of y in y 153.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y 153.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.198 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.198 * [taylor]: Taking taylor expansion of x in y 153.198 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y 153.198 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.198 * [taylor]: Taking taylor expansion of 2.0 in y 153.198 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.198 * [taylor]: Taking taylor expansion of x in y 153.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.198 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.198 * [taylor]: Taking taylor expansion of y in y 153.198 * [taylor]: Taking taylor expansion of 1 in x 153.199 * [taylor]: Taking taylor expansion of 0 in x 153.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 153.199 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.199 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.199 * [taylor]: Taking taylor expansion of x in x 153.199 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.199 * [taylor]: Taking taylor expansion of 2.0 in x 153.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.199 * [taylor]: Taking taylor expansion of x in x 153.199 * [taylor]: Taking taylor expansion of 0 in x 153.200 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0 153.200 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x 153.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 153.200 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.200 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.200 * [taylor]: Taking taylor expansion of x in x 153.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 153.200 * [taylor]: Taking taylor expansion of (pow y 2) in x 153.200 * [taylor]: Taking taylor expansion of y in x 153.200 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.200 * [taylor]: Taking taylor expansion of 2.0 in x 153.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.200 * [taylor]: Taking taylor expansion of x in x 153.200 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 153.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 153.200 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.200 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.200 * [taylor]: Taking taylor expansion of x in y 153.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.200 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.200 * [taylor]: Taking taylor expansion of y in y 153.201 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.201 * [taylor]: Taking taylor expansion of 2.0 in y 153.201 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.201 * [taylor]: Taking taylor expansion of x in y 153.201 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y 153.201 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 153.201 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 153.201 * [taylor]: Taking taylor expansion of (pow x 2) in y 153.201 * [taylor]: Taking taylor expansion of x in y 153.201 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 153.201 * [taylor]: Taking taylor expansion of (pow y 2) in y 153.201 * [taylor]: Taking taylor expansion of y in y 153.201 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 153.201 * [taylor]: Taking taylor expansion of 2.0 in y 153.201 * [taylor]: Taking taylor expansion of (/ 1 x) in y 153.201 * [taylor]: Taking taylor expansion of x in y 153.201 * [taylor]: Taking taylor expansion of 1 in x 153.201 * [taylor]: Taking taylor expansion of 0 in x 153.201 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 153.201 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 153.201 * [taylor]: Taking taylor expansion of (pow x 2) in x 153.202 * [taylor]: Taking taylor expansion of x in x 153.202 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 153.202 * [taylor]: Taking taylor expansion of 2.0 in x 153.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 153.202 * [taylor]: Taking taylor expansion of x in x 153.202 * [taylor]: Taking taylor expansion of 0 in x 153.202 * * * [progress]: simplifying candidates 153.204 * [simplify]: Simplifying using # : (log (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (exp (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt (pow (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) 3)) (cbrt (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 3)) (cbrt (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3)) (cbrt (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (cbrt (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (* (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)))) (cbrt (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt (pow (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) 3)) (cbrt (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 3)) (cbrt (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3)) (cbrt (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt 1) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) (/ 3 2))) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) (/ 3 2))) (cbrt (pow (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)) 3)) (cbrt (pow (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x))))) 3)) (cbrt (pow (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) 3)) (cbrt (pow (- (* y y) (* x (+ 2.0 x))) 3)) (* (cbrt (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)))) (cbrt (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (* (* (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (sqrt (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (sqrt (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (* (log (+ (* y y) (* x (+ 2.0 x)))) 3) (* (log (+ (* y y) (* x (+ 2.0 x)))) 3) (* 1 3) (pow (+ (* y y) (* x (+ 2.0 x))) (* (cbrt 3) (cbrt 3))) (pow (+ (* y y) (* x (+ 2.0 x))) (sqrt 3)) (pow (+ (* y y) (* x (+ 2.0 x))) 1) (pow (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) 3) (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow 1 3) (pow (+ (* y y) (* x (+ 2.0 x))) 3) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (log (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (exp (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (* (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (* (* (pow (+ (* y y) (* x (+ 2.0 x))) 3) (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (pow (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) 3) (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow 1 3) (pow (+ (* y y) (* x (+ 2.0 x))) 3) (pow (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)) 3) (pow (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x))))) 3) (pow (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) 3) (pow (- (* y y) (* x (+ 2.0 x))) 3) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (pow (+ (* y y) (* x (+ 2.0 x))) (/ 3 2)) (pow (+ (* y y) (* x (+ 2.0 x))) (/ 3 2)) (* x (+ 2.0 x)) (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) (* x 1) (* x 1) (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))) (* x (- (* 2.0 2.0) (* x x))) (* (exp (* y y)) (exp (* x (+ 2.0 x)))) (log (+ (* y y) (* x (+ 2.0 x)))) (exp (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (* (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)) (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x))))) (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x 2.0)) (+ (* y y) (* 2.0 x)) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 12.0 (* (pow x 2) (pow y 2))) (+ (* 8.0 (pow x 3)) (* 12.0 (pow x 4)))) (+ (* 3 (* (pow x 4) (pow y 2))) (+ (pow x 6) (* 3 (* (pow x 2) (pow y 4))))) (+ (* 3 (* (pow x 4) (pow y 2))) (+ (pow x 6) (* 3 (* (pow x 2) (pow y 4))))) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) (+ (* 2.0 x) (+ (pow x 2) (pow y 2))) 153.204 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 153.206 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 153.210 * * [simplify]: iteration 2 : 54 enodes (cost 10 ) 153.220 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 153.296 * * [simplify]: iteration 4 : 886 enodes (cost 10 ) 154.168 * * [simplify]: iteration 5 : 4675 enodes (cost 10 ) 155.930 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 155.931 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 155.933 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 155.937 * * [simplify]: iteration 2 : 58 enodes (cost 10 ) 155.948 * * [simplify]: iteration 3 : 200 enodes (cost 10 ) 156.030 * * [simplify]: iteration 4 : 929 enodes (cost 10 ) 157.125 * * [simplify]: iteration 5 : 4784 enodes (cost 10 ) 158.845 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 158.845 * * [simplify]: iteration 0 : 12 enodes (cost 24 ) 158.847 * * [simplify]: iteration 1 : 30 enodes (cost 21 ) 158.851 * * [simplify]: iteration 2 : 56 enodes (cost 13 ) 158.868 * * [simplify]: iteration 3 : 129 enodes (cost 13 ) 158.904 * * [simplify]: iteration 4 : 480 enodes (cost 13 ) 159.229 * * [simplify]: iteration 5 : 1480 enodes (cost 12 ) 160.638 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 160.639 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 160.641 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 160.644 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 160.649 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 160.656 * * [simplify]: iteration 4 : 75 enodes (cost 10 ) 160.669 * * [simplify]: iteration 5 : 140 enodes (cost 10 ) 160.725 * * [simplify]: iteration 6 : 353 enodes (cost 10 ) 161.187 * * [simplify]: iteration 7 : 1282 enodes (cost 10 ) 163.632 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 163.633 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 163.634 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 163.638 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 163.643 * * [simplify]: iteration 3 : 73 enodes (cost 10 ) 163.655 * * [simplify]: iteration 4 : 124 enodes (cost 10 ) 163.684 * * [simplify]: iteration 5 : 201 enodes (cost 10 ) 163.753 * * [simplify]: iteration 6 : 414 enodes (cost 10 ) 164.260 * * [simplify]: iteration 7 : 1368 enodes (cost 10 ) 166.680 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 166.681 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 166.682 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 166.686 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 166.691 * * [simplify]: iteration 3 : 73 enodes (cost 10 ) 166.702 * * [simplify]: iteration 4 : 124 enodes (cost 10 ) 166.730 * * [simplify]: iteration 5 : 201 enodes (cost 10 ) 166.798 * * [simplify]: iteration 6 : 414 enodes (cost 10 ) 167.302 * * [simplify]: iteration 7 : 1368 enodes (cost 10 ) 169.722 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 169.723 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 169.724 * * [simplify]: iteration 1 : 14 enodes (cost 1 ) 169.724 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 169.725 * * [simplify]: iteration done : 18 enodes (cost 1 ) 169.725 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 169.727 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 169.731 * * [simplify]: iteration 2 : 53 enodes (cost 9 ) 169.741 * * [simplify]: iteration 3 : 181 enodes (cost 9 ) 169.817 * * [simplify]: iteration 4 : 892 enodes (cost 9 ) 170.687 * * [simplify]: iteration 5 : 4706 enodes (cost 9 ) 172.433 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 172.434 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 172.435 * * [simplify]: iteration 1 : 23 enodes (cost 20 ) 172.444 * * [simplify]: iteration 2 : 59 enodes (cost 20 ) 172.457 * * [simplify]: iteration 3 : 241 enodes (cost 20 ) 172.563 * * [simplify]: iteration 4 : 712 enodes (cost 20 ) 173.125 * * [simplify]: iteration 5 : 2532 enodes (cost 20 ) 174.633 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 174.634 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 174.635 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 174.637 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 174.640 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 174.643 * * [simplify]: iteration done : 25 enodes (cost 10 ) 174.644 * * [simplify]: iteration 0 : 12 enodes (cost 26 ) 174.645 * * [simplify]: iteration 1 : 27 enodes (cost 20 ) 174.649 * * [simplify]: iteration 2 : 54 enodes (cost 20 ) 174.659 * * [simplify]: iteration 3 : 182 enodes (cost 20 ) 174.730 * * [simplify]: iteration 4 : 886 enodes (cost 20 ) 175.597 * * [simplify]: iteration 5 : 4661 enodes (cost 20 ) 177.607 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 177.608 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 177.609 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 177.613 * * [simplify]: iteration 2 : 54 enodes (cost 10 ) 177.624 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 177.699 * * [simplify]: iteration 4 : 886 enodes (cost 10 ) 178.560 * * [simplify]: iteration 5 : 4675 enodes (cost 10 ) 180.332 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 180.334 * * [simplify]: iteration 0 : 12 enodes (cost 24 ) 180.335 * * [simplify]: iteration 1 : 30 enodes (cost 21 ) 180.340 * * [simplify]: iteration 2 : 56 enodes (cost 13 ) 180.349 * * [simplify]: iteration 3 : 129 enodes (cost 13 ) 180.390 * * [simplify]: iteration 4 : 480 enodes (cost 13 ) 180.704 * * [simplify]: iteration 5 : 1480 enodes (cost 12 ) 182.090 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 182.091 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 182.093 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 182.096 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 182.104 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 182.111 * * [simplify]: iteration 4 : 75 enodes (cost 10 ) 182.125 * * [simplify]: iteration 5 : 140 enodes (cost 10 ) 182.178 * * [simplify]: iteration 6 : 353 enodes (cost 10 ) 182.644 * * [simplify]: iteration 7 : 1282 enodes (cost 10 ) 185.039 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 185.039 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 185.041 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 185.044 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 185.049 * * [simplify]: iteration 3 : 73 enodes (cost 10 ) 185.061 * * [simplify]: iteration 4 : 124 enodes (cost 10 ) 185.089 * * [simplify]: iteration 5 : 201 enodes (cost 10 ) 185.156 * * [simplify]: iteration 6 : 414 enodes (cost 10 ) 185.659 * * [simplify]: iteration 7 : 1368 enodes (cost 10 ) 188.043 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 188.044 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 188.045 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 188.049 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 188.054 * * [simplify]: iteration 3 : 73 enodes (cost 10 ) 188.065 * * [simplify]: iteration 4 : 124 enodes (cost 10 ) 188.094 * * [simplify]: iteration 5 : 201 enodes (cost 10 ) 188.161 * * [simplify]: iteration 6 : 414 enodes (cost 10 ) 188.658 * * [simplify]: iteration 7 : 1368 enodes (cost 10 ) 191.048 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 191.048 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 191.050 * * [simplify]: iteration 1 : 14 enodes (cost 1 ) 191.050 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 191.051 * * [simplify]: iteration done : 18 enodes (cost 1 ) 191.052 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 191.053 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 191.056 * * [simplify]: iteration 2 : 53 enodes (cost 9 ) 191.067 * * [simplify]: iteration 3 : 181 enodes (cost 9 ) 191.139 * * [simplify]: iteration 4 : 892 enodes (cost 9 ) 192.007 * * [simplify]: iteration 5 : 4706 enodes (cost 9 ) 193.737 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 193.738 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 193.739 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 193.741 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 193.744 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 193.747 * * [simplify]: iteration done : 25 enodes (cost 10 ) 193.748 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 193.749 * * [simplify]: iteration 1 : 23 enodes (cost 20 ) 193.757 * * [simplify]: iteration 2 : 59 enodes (cost 20 ) 193.771 * * [simplify]: iteration 3 : 241 enodes (cost 20 ) 193.877 * * [simplify]: iteration 4 : 712 enodes (cost 20 ) 194.440 * * [simplify]: iteration 5 : 2532 enodes (cost 20 ) 195.944 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 195.945 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 195.950 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 195.954 * * [simplify]: iteration 2 : 55 enodes (cost 13 ) 195.964 * * [simplify]: iteration 3 : 183 enodes (cost 13 ) 196.038 * * [simplify]: iteration 4 : 885 enodes (cost 13 ) 196.925 * * [simplify]: iteration 5 : 4681 enodes (cost 13 ) 198.909 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 198.910 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 198.916 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 198.926 * * [simplify]: iteration 2 : 55 enodes (cost 13 ) 198.937 * * [simplify]: iteration 3 : 183 enodes (cost 13 ) 199.009 * * [simplify]: iteration 4 : 885 enodes (cost 13 ) 199.890 * * [simplify]: iteration 5 : 4681 enodes (cost 13 ) 201.666 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 201.667 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 201.667 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 201.667 * * [simplify]: iteration done : 4 enodes (cost 1 ) 201.668 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 201.669 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 201.680 * * [simplify]: iteration 2 : 53 enodes (cost 9 ) 201.691 * * [simplify]: iteration 3 : 181 enodes (cost 9 ) 201.763 * * [simplify]: iteration 4 : 892 enodes (cost 9 ) 202.651 * * [simplify]: iteration 5 : 4706 enodes (cost 9 ) 204.390 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 204.390 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 204.392 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 204.395 * * [simplify]: iteration 2 : 35 enodes (cost 12 ) 204.400 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 204.406 * * [simplify]: iteration 4 : 81 enodes (cost 12 ) 204.418 * * [simplify]: iteration 5 : 139 enodes (cost 12 ) 204.467 * * [simplify]: iteration 6 : 352 enodes (cost 12 ) 204.906 * * [simplify]: iteration 7 : 1267 enodes (cost 12 ) 207.334 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 207.334 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 207.336 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 207.339 * * [simplify]: iteration 2 : 35 enodes (cost 12 ) 207.343 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 207.350 * * [simplify]: iteration 4 : 81 enodes (cost 12 ) 207.367 * * [simplify]: iteration 5 : 139 enodes (cost 12 ) 207.411 * * [simplify]: iteration 6 : 352 enodes (cost 12 ) 207.851 * * [simplify]: iteration 7 : 1267 enodes (cost 12 ) 210.288 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 210.289 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 210.291 * * [simplify]: iteration 1 : 43 enodes (cost 13 ) 210.304 * * [simplify]: iteration 2 : 127 enodes (cost 11 ) 210.343 * * [simplify]: iteration 3 : 525 enodes (cost 11 ) 210.814 * * [simplify]: iteration 4 : 3321 enodes (cost 11 ) 212.709 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 212.710 * * [simplify]: iteration 0 : 14 enodes (cost 32 ) 212.712 * * [simplify]: iteration 1 : 51 enodes (cost 23 ) 212.723 * * [simplify]: iteration 2 : 176 enodes (cost 21 ) 212.788 * * [simplify]: iteration 3 : 637 enodes (cost 19 ) 213.277 * * [simplify]: iteration 4 : 3705 enodes (cost 19 ) 214.718 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 214.719 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 214.721 * * [simplify]: iteration 1 : 42 enodes (cost 19 ) 214.728 * * [simplify]: iteration 2 : 136 enodes (cost 17 ) 214.776 * * [simplify]: iteration 3 : 594 enodes (cost 15 ) 215.356 * * [simplify]: iteration 4 : 4515 enodes (cost 15 ) 217.397 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 217.398 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 217.400 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 217.403 * * [simplify]: iteration 2 : 58 enodes (cost 9 ) 217.414 * * [simplify]: iteration 3 : 181 enodes (cost 9 ) 217.479 * * [simplify]: iteration 4 : 835 enodes (cost 9 ) 218.385 * * [simplify]: iteration 5 : 4753 enodes (cost 9 ) 220.169 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 220.170 * * [simplify]: iteration 0 : 12 enodes (cost 27 ) 220.171 * * [simplify]: iteration 1 : 28 enodes (cost 21 ) 220.175 * * [simplify]: iteration 2 : 55 enodes (cost 21 ) 220.186 * * [simplify]: iteration 3 : 183 enodes (cost 21 ) 220.268 * * [simplify]: iteration 4 : 887 enodes (cost 21 ) 221.161 * * [simplify]: iteration 5 : 4679 enodes (cost 21 ) 222.911 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 222.912 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 222.913 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 222.917 * * [simplify]: iteration 2 : 54 enodes (cost 10 ) 222.927 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 223.001 * * [simplify]: iteration 4 : 886 enodes (cost 10 ) 223.871 * * [simplify]: iteration 5 : 4675 enodes (cost 10 ) 225.642 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 225.642 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 225.644 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 225.648 * * [simplify]: iteration 2 : 53 enodes (cost 11 ) 225.658 * * [simplify]: iteration 3 : 181 enodes (cost 11 ) 225.735 * * [simplify]: iteration 4 : 890 enodes (cost 11 ) 226.605 * * [simplify]: iteration 5 : 4676 enodes (cost 11 ) 228.399 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 228.400 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 228.401 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 228.405 * * [simplify]: iteration 2 : 54 enodes (cost 10 ) 228.416 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 228.495 * * [simplify]: iteration 4 : 886 enodes (cost 10 ) 229.362 * * [simplify]: iteration 5 : 4675 enodes (cost 10 ) 231.139 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 231.139 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 231.141 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 231.145 * * [simplify]: iteration 2 : 54 enodes (cost 10 ) 231.155 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 231.233 * * [simplify]: iteration 4 : 886 enodes (cost 10 ) 232.114 * * [simplify]: iteration 5 : 4675 enodes (cost 10 ) 234.120 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 234.121 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 234.123 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 234.125 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 234.128 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 234.132 * * [simplify]: iteration done : 28 enodes (cost 12 ) 234.132 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 234.133 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 234.136 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 234.139 * * [simplify]: iteration 3 : 28 enodes (cost 12 ) 234.148 * * [simplify]: iteration done : 28 enodes (cost 12 ) 234.149 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 234.149 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 234.149 * * [simplify]: iteration done : 6 enodes (cost 1 ) 234.150 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 234.151 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 234.154 * * [simplify]: iteration 2 : 35 enodes (cost 15 ) 234.160 * * [simplify]: iteration 3 : 63 enodes (cost 15 ) 234.169 * * [simplify]: iteration 4 : 119 enodes (cost 15 ) 234.210 * * [simplify]: iteration 5 : 274 enodes (cost 15 ) 234.452 * * [simplify]: iteration 6 : 894 enodes (cost 15 ) 236.267 * * [simplify]: iteration 7 : 3326 enodes (cost 15 ) 237.621 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 237.622 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 237.623 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 237.626 * * [simplify]: iteration 2 : 32 enodes (cost 12 ) 237.631 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 237.638 * * [simplify]: iteration 4 : 93 enodes (cost 12 ) 237.667 * * [simplify]: iteration 5 : 204 enodes (cost 12 ) 237.764 * * [simplify]: iteration 6 : 584 enodes (cost 12 ) 238.640 * * [simplify]: iteration 7 : 2208 enodes (cost 12 ) 240.753 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 240.753 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 240.755 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 240.757 * * [simplify]: iteration 2 : 36 enodes (cost 9 ) 240.762 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 240.769 * * [simplify]: iteration 4 : 73 enodes (cost 9 ) 240.786 * * [simplify]: iteration 5 : 135 enodes (cost 9 ) 240.839 * * [simplify]: iteration 6 : 347 enodes (cost 9 ) 241.313 * * [simplify]: iteration 7 : 1297 enodes (cost 9 ) 243.642 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 243.643 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 243.645 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 243.649 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 243.659 * * [simplify]: iteration 3 : 128 enodes (cost 12 ) 243.699 * * [simplify]: iteration 4 : 477 enodes (cost 12 ) 244.008 * * [simplify]: iteration 5 : 1501 enodes (cost 12 ) 245.374 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 245.375 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 245.376 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 245.384 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 245.389 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 245.396 * * [simplify]: iteration 4 : 72 enodes (cost 9 ) 245.410 * * [simplify]: iteration 5 : 137 enodes (cost 9 ) 245.465 * * [simplify]: iteration 6 : 351 enodes (cost 9 ) 245.939 * * [simplify]: iteration 7 : 1278 enodes (cost 9 ) 248.327 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 248.328 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 248.329 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 248.333 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 248.338 * * [simplify]: iteration 3 : 72 enodes (cost 12 ) 248.350 * * [simplify]: iteration 4 : 121 enodes (cost 12 ) 248.374 * * [simplify]: iteration 5 : 200 enodes (cost 12 ) 248.444 * * [simplify]: iteration 6 : 415 enodes (cost 12 ) 248.937 * * [simplify]: iteration 7 : 1361 enodes (cost 12 ) 251.298 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 251.299 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 251.301 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 251.305 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 251.310 * * [simplify]: iteration 3 : 72 enodes (cost 12 ) 251.321 * * [simplify]: iteration 4 : 121 enodes (cost 12 ) 251.349 * * [simplify]: iteration 5 : 200 enodes (cost 12 ) 251.417 * * [simplify]: iteration 6 : 415 enodes (cost 12 ) 251.910 * * [simplify]: iteration 7 : 1361 enodes (cost 12 ) 254.280 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 254.280 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 254.281 * * [simplify]: iteration 1 : 13 enodes (cost 1 ) 254.281 * * [simplify]: iteration done : 13 enodes (cost 1 ) 254.282 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 254.283 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 254.287 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 254.298 * * [simplify]: iteration 3 : 180 enodes (cost 11 ) 254.369 * * [simplify]: iteration 4 : 890 enodes (cost 11 ) 255.231 * * [simplify]: iteration 5 : 4666 enodes (cost 11 ) 257.217 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 257.218 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 257.219 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 257.222 * * [simplify]: iteration 2 : 58 enodes (cost 19 ) 257.242 * * [simplify]: iteration 3 : 238 enodes (cost 19 ) 257.350 * * [simplify]: iteration 4 : 714 enodes (cost 19 ) 257.924 * * [simplify]: iteration 5 : 2502 enodes (cost 19 ) 259.577 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 259.577 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 259.579 * * [simplify]: iteration 1 : 28 enodes (cost 12 ) 259.583 * * [simplify]: iteration 2 : 61 enodes (cost 12 ) 259.594 * * [simplify]: iteration 3 : 194 enodes (cost 12 ) 259.669 * * [simplify]: iteration 4 : 925 enodes (cost 12 ) 260.562 * * [simplify]: iteration 5 : 4790 enodes (cost 12 ) 262.263 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 262.264 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 262.265 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 262.269 * * [simplify]: iteration 2 : 59 enodes (cost 12 ) 262.281 * * [simplify]: iteration 3 : 217 enodes (cost 12 ) 262.370 * * [simplify]: iteration 4 : 1048 enodes (cost 12 ) 263.274 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 263.275 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 263.277 * * [simplify]: iteration 1 : 26 enodes (cost 19 ) 263.281 * * [simplify]: iteration 2 : 53 enodes (cost 19 ) 263.291 * * [simplify]: iteration 3 : 181 enodes (cost 19 ) 263.366 * * [simplify]: iteration 4 : 892 enodes (cost 19 ) 264.231 * * [simplify]: iteration 5 : 4698 enodes (cost 19 ) 265.962 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 265.963 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 265.964 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 265.968 * * [simplify]: iteration 2 : 53 enodes (cost 9 ) 265.986 * * [simplify]: iteration 3 : 181 enodes (cost 9 ) 266.059 * * [simplify]: iteration 4 : 892 enodes (cost 9 ) 266.934 * * [simplify]: iteration 5 : 4706 enodes (cost 9 ) 268.673 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 268.674 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 268.675 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 268.681 * * [simplify]: iteration 2 : 91 enodes (cost 13 ) 268.716 * * [simplify]: iteration 3 : 476 enodes (cost 13 ) 269.245 * * [simplify]: iteration 4 : 3820 enodes (cost 13 ) 271.017 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 271.018 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 271.020 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 271.024 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 271.040 * * [simplify]: iteration 3 : 128 enodes (cost 12 ) 271.076 * * [simplify]: iteration 4 : 477 enodes (cost 12 ) 271.390 * * [simplify]: iteration 5 : 1501 enodes (cost 12 ) 272.765 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 272.765 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 272.767 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 272.770 * * [simplify]: iteration 2 : 37 enodes (cost 9 ) 272.775 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 272.787 * * [simplify]: iteration 4 : 72 enodes (cost 9 ) 272.801 * * [simplify]: iteration 5 : 137 enodes (cost 9 ) 272.855 * * [simplify]: iteration 6 : 351 enodes (cost 9 ) 273.323 * * [simplify]: iteration 7 : 1278 enodes (cost 9 ) 275.967 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 275.967 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 275.969 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 275.972 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 275.982 * * [simplify]: iteration 3 : 72 enodes (cost 12 ) 275.994 * * [simplify]: iteration 4 : 121 enodes (cost 12 ) 276.018 * * [simplify]: iteration 5 : 200 enodes (cost 12 ) 276.090 * * [simplify]: iteration 6 : 415 enodes (cost 12 ) 276.592 * * [simplify]: iteration 7 : 1361 enodes (cost 12 ) 279.025 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 279.026 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 279.027 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 279.031 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 279.036 * * [simplify]: iteration 3 : 72 enodes (cost 12 ) 279.048 * * [simplify]: iteration 4 : 121 enodes (cost 12 ) 279.072 * * [simplify]: iteration 5 : 200 enodes (cost 12 ) 279.144 * * [simplify]: iteration 6 : 415 enodes (cost 12 ) 279.636 * * [simplify]: iteration 7 : 1361 enodes (cost 12 ) 282.026 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 282.026 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 282.027 * * [simplify]: iteration 1 : 13 enodes (cost 1 ) 282.027 * * [simplify]: iteration done : 13 enodes (cost 1 ) 282.028 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 282.029 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 282.033 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 282.043 * * [simplify]: iteration 3 : 180 enodes (cost 11 ) 282.116 * * [simplify]: iteration 4 : 890 enodes (cost 11 ) 282.978 * * [simplify]: iteration 5 : 4666 enodes (cost 11 ) 284.723 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 284.724 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 284.726 * * [simplify]: iteration 1 : 42 enodes (cost 15 ) 284.733 * * [simplify]: iteration 2 : 126 enodes (cost 13 ) 284.778 * * [simplify]: iteration 3 : 530 enodes (cost 13 ) 285.233 * * [simplify]: iteration 4 : 3281 enodes (cost 13 ) 287.093 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 287.094 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 287.096 * * [simplify]: iteration 1 : 50 enodes (cost 25 ) 287.115 * * [simplify]: iteration 2 : 175 enodes (cost 23 ) 287.173 * * [simplify]: iteration 3 : 635 enodes (cost 21 ) 287.662 * * [simplify]: iteration 4 : 3701 enodes (cost 21 ) 289.133 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 289.134 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 289.141 * * [simplify]: iteration 1 : 41 enodes (cost 21 ) 289.148 * * [simplify]: iteration 2 : 135 enodes (cost 19 ) 289.195 * * [simplify]: iteration 3 : 593 enodes (cost 17 ) 289.772 * * [simplify]: iteration 4 : 4504 enodes (cost 17 ) 291.590 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 291.592 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 291.593 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 291.597 * * [simplify]: iteration 2 : 57 enodes (cost 11 ) 291.607 * * [simplify]: iteration 3 : 180 enodes (cost 11 ) 291.672 * * [simplify]: iteration 4 : 833 enodes (cost 11 ) 292.798 * * [simplify]: iteration 5 : 4800 enodes (cost 11 ) 294.581 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 294.581 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 294.582 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 294.586 * * [simplify]: iteration 2 : 58 enodes (cost 19 ) 294.600 * * [simplify]: iteration 3 : 238 enodes (cost 19 ) 294.711 * * [simplify]: iteration 4 : 714 enodes (cost 19 ) 295.292 * * [simplify]: iteration 5 : 2502 enodes (cost 19 ) 296.952 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 296.953 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 296.955 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 296.958 * * [simplify]: iteration 2 : 54 enodes (cost 12 ) 296.969 * * [simplify]: iteration 3 : 182 enodes (cost 12 ) 297.042 * * [simplify]: iteration 4 : 891 enodes (cost 12 ) 297.936 * * [simplify]: iteration 5 : 4711 enodes (cost 12 ) 299.654 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 299.654 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 299.661 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 299.664 * * [simplify]: iteration 2 : 54 enodes (cost 12 ) 299.675 * * [simplify]: iteration 3 : 182 enodes (cost 12 ) 299.753 * * [simplify]: iteration 4 : 891 enodes (cost 12 ) 300.651 * * [simplify]: iteration 5 : 4711 enodes (cost 12 ) 302.375 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 302.375 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 302.382 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 302.385 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 302.389 * * [simplify]: iteration 3 : 49 enodes (cost 11 ) 302.395 * * [simplify]: iteration 4 : 70 enodes (cost 11 ) 302.406 * * [simplify]: iteration 5 : 129 enodes (cost 11 ) 302.456 * * [simplify]: iteration 6 : 343 enodes (cost 11 ) 302.920 * * [simplify]: iteration 7 : 1265 enodes (cost 11 ) 305.326 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 305.327 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 305.329 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 305.332 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 305.336 * * [simplify]: iteration 3 : 49 enodes (cost 11 ) 305.342 * * [simplify]: iteration 4 : 70 enodes (cost 11 ) 305.358 * * [simplify]: iteration 5 : 129 enodes (cost 11 ) 305.407 * * [simplify]: iteration 6 : 343 enodes (cost 11 ) 305.863 * * [simplify]: iteration 7 : 1265 enodes (cost 11 ) 308.277 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 308.278 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 308.279 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 308.280 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 308.282 * * [simplify]: iteration done : 12 enodes (cost 5 ) 308.282 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 308.283 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 308.284 * * [simplify]: iteration done : 8 enodes (cost 7 ) 308.284 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 308.285 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 308.287 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 308.289 * * [simplify]: iteration done : 17 enodes (cost 6 ) 308.289 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 308.290 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 308.292 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 308.295 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 308.300 * * [simplify]: iteration 4 : 69 enodes (cost 6 ) 308.312 * * [simplify]: iteration 5 : 163 enodes (cost 6 ) 308.371 * * [simplify]: iteration 6 : 402 enodes (cost 6 ) 308.646 * * [simplify]: iteration 7 : 1265 enodes (cost 6 ) 310.077 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 310.077 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 310.079 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 310.085 * * [simplify]: iteration 2 : 106 enodes (cost 9 ) 310.120 * * [simplify]: iteration 3 : 315 enodes (cost 9 ) 310.317 * * [simplify]: iteration 4 : 1026 enodes (cost 7 ) 311.801 * * [simplify]: iteration 5 : 3538 enodes (cost 7 ) 313.503 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 313.503 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 313.504 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 313.506 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 313.507 * * [simplify]: iteration done : 14 enodes (cost 13 ) 313.508 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 313.509 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 313.510 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 313.512 * * [simplify]: iteration done : 13 enodes (cost 6 ) 313.512 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 313.513 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 313.518 * * [simplify]: iteration 2 : 89 enodes (cost 7 ) 313.554 * * [simplify]: iteration 3 : 285 enodes (cost 7 ) 313.746 * * [simplify]: iteration 4 : 753 enodes (cost 7 ) 314.554 * * [simplify]: iteration 5 : 2125 enodes (cost 7 ) 316.392 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 316.393 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 316.394 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 316.395 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 316.397 * * [simplify]: iteration done : 13 enodes (cost 6 ) 316.397 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 316.398 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 316.399 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 316.401 * * [simplify]: iteration done : 13 enodes (cost 6 ) 316.401 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 316.408 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 316.409 * * [simplify]: iteration done : 8 enodes (cost 7 ) 316.409 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 316.410 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 316.411 * * [simplify]: iteration done : 8 enodes (cost 7 ) 316.411 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 316.412 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 316.412 * * [simplify]: iteration done : 4 enodes (cost 3 ) 316.412 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 316.413 * * [simplify]: iteration done : 2 enodes (cost 3 ) 316.413 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 316.414 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 316.414 * * [simplify]: iteration done : 4 enodes (cost 3 ) 316.415 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 316.415 * * [simplify]: iteration done : 2 enodes (cost 3 ) 316.415 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 316.416 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 316.418 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 316.419 * * [simplify]: iteration done : 12 enodes (cost 11 ) 316.420 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 316.420 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 316.421 * * [simplify]: iteration done : 7 enodes (cost 6 ) 316.421 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 316.422 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 316.422 * * [simplify]: iteration done : 6 enodes (cost 1 ) 316.423 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 316.423 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 316.423 * * [simplify]: iteration done : 6 enodes (cost 1 ) 316.424 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 316.425 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 316.426 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 316.428 * * [simplify]: iteration done : 14 enodes (cost 6 ) 316.429 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 316.429 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 316.431 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 316.433 * * [simplify]: iteration done : 14 enodes (cost 6 ) 316.433 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 316.434 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 316.435 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 316.436 * * [simplify]: iteration done : 12 enodes (cost 5 ) 316.437 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 316.438 * * [simplify]: iteration 1 : 28 enodes (cost 9 ) 316.443 * * [simplify]: iteration 2 : 59 enodes (cost 9 ) 316.453 * * [simplify]: iteration 3 : 110 enodes (cost 9 ) 316.476 * * [simplify]: iteration 4 : 210 enodes (cost 9 ) 316.546 * * [simplify]: iteration 5 : 542 enodes (cost 9 ) 317.024 * * [simplify]: iteration 6 : 1817 enodes (cost 9 ) 318.486 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 318.487 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 318.488 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 318.490 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 318.494 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 318.508 * * [simplify]: iteration 4 : 135 enodes (cost 9 ) 318.545 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 318.612 * * [simplify]: iteration 6 : 358 enodes (cost 9 ) 318.773 * * [simplify]: iteration 7 : 702 enodes (cost 9 ) 320.430 * * [simplify]: iteration 8 : 3252 enodes (cost 9 ) 322.527 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 322.528 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 322.530 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 322.533 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 322.538 * * [simplify]: iteration 3 : 83 enodes (cost 10 ) 322.554 * * [simplify]: iteration 4 : 202 enodes (cost 10 ) 322.639 * * [simplify]: iteration 5 : 686 enodes (cost 10 ) 323.647 * * [simplify]: iteration 6 : 3412 enodes (cost 10 ) 325.368 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 325.369 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 325.370 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 325.372 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 325.375 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 325.378 * * [simplify]: iteration done : 25 enodes (cost 10 ) 325.379 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 325.380 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 325.383 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 325.388 * * [simplify]: iteration 3 : 63 enodes (cost 10 ) 325.398 * * [simplify]: iteration 4 : 115 enodes (cost 10 ) 325.427 * * [simplify]: iteration 5 : 330 enodes (cost 10 ) 325.634 * * [simplify]: iteration 6 : 1357 enodes (cost 10 ) 326.893 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 326.894 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 326.895 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 326.898 * * [simplify]: iteration 2 : 22 enodes (cost 21 ) 326.901 * * [simplify]: iteration 3 : 26 enodes (cost 21 ) 326.904 * * [simplify]: iteration done : 26 enodes (cost 21 ) 326.905 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 326.906 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 326.908 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 326.911 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 326.914 * * [simplify]: iteration done : 25 enodes (cost 10 ) 326.915 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 326.916 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 326.923 * * [simplify]: iteration 2 : 105 enodes (cost 11 ) 326.960 * * [simplify]: iteration 3 : 507 enodes (cost 11 ) 327.346 * * [simplify]: iteration 4 : 2606 enodes (cost 11 ) 328.733 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 328.734 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 328.735 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 328.737 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 328.740 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 328.743 * * [simplify]: iteration done : 25 enodes (cost 10 ) 328.744 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 328.745 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 328.747 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 328.749 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 328.753 * * [simplify]: iteration done : 25 enodes (cost 10 ) 328.754 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 328.756 * * [simplify]: iteration 1 : 36 enodes (cost 13 ) 328.763 * * [simplify]: iteration 2 : 101 enodes (cost 11 ) 328.795 * * [simplify]: iteration 3 : 333 enodes (cost 11 ) 328.970 * * [simplify]: iteration 4 : 813 enodes (cost 11 ) 329.638 * * [simplify]: iteration 5 : 2564 enodes (cost 11 ) 331.156 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 331.157 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 331.159 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 331.168 * * [simplify]: iteration 2 : 144 enodes (cost 21 ) 331.215 * * [simplify]: iteration 3 : 446 enodes (cost 19 ) 331.453 * * [simplify]: iteration 4 : 1242 enodes (cost 19 ) 332.509 * * [simplify]: iteration 5 : 3248 enodes (cost 19 ) 334.142 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 334.143 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 334.144 * * [simplify]: iteration 1 : 31 enodes (cost 19 ) 334.150 * * [simplify]: iteration 2 : 94 enodes (cost 17 ) 334.181 * * [simplify]: iteration 3 : 289 enodes (cost 15 ) 334.306 * * [simplify]: iteration 4 : 839 enodes (cost 15 ) 334.894 * * [simplify]: iteration 5 : 2178 enodes (cost 15 ) 335.935 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 335.935 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 335.941 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 335.944 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 335.948 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 335.960 * * [simplify]: iteration 4 : 64 enodes (cost 9 ) 335.971 * * [simplify]: iteration 5 : 83 enodes (cost 9 ) 335.987 * * [simplify]: iteration 6 : 137 enodes (cost 9 ) 336.030 * * [simplify]: iteration 7 : 266 enodes (cost 9 ) 336.116 * * [simplify]: iteration 8 : 524 enodes (cost 9 ) 336.457 * * [simplify]: iteration 9 : 1229 enodes (cost 9 ) 337.876 * * [simplify]: iteration 10 : 2677 enodes (cost 9 ) 340.033 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 340.033 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 340.034 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 340.035 * * [simplify]: iteration done : 8 enodes (cost 7 ) 340.036 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 340.037 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 340.038 * * [simplify]: iteration done : 8 enodes (cost 7 ) 340.038 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 340.039 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 340.043 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 340.047 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 340.052 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 340.057 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 340.065 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 340.084 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 340.176 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 341.082 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 343.060 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 343.061 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 343.062 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 343.065 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 343.069 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 343.074 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 343.080 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 343.089 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 343.112 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 343.204 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 344.109 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 346.083 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 346.083 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 346.085 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 346.088 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 346.092 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 346.097 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 346.102 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 346.115 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 346.134 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 346.227 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 347.133 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 349.106 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 349.107 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 349.110 * * [simplify]: iteration 1 : 44 enodes (cost 21 ) 349.127 * * [simplify]: iteration 2 : 143 enodes (cost 21 ) 349.149 * * [simplify]: iteration 3 : 251 enodes (cost 19 ) 349.209 * * [simplify]: iteration 4 : 450 enodes (cost 17 ) 349.355 * * [simplify]: iteration 5 : 896 enodes (cost 17 ) 350.117 * * [simplify]: iteration 6 : 2564 enodes (cost 17 ) 351.921 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 351.922 * * [simplify]: iteration 0 : 17 enodes (cost 23 ) 351.925 * * [simplify]: iteration 1 : 45 enodes (cost 23 ) 351.938 * * [simplify]: iteration 2 : 156 enodes (cost 23 ) 351.975 * * [simplify]: iteration 3 : 339 enodes (cost 21 ) 352.131 * * [simplify]: iteration 4 : 839 enodes (cost 21 ) 352.754 * * [simplify]: iteration 5 : 1766 enodes (cost 21 ) 354.953 * * [simplify]: iteration 6 : 4326 enodes (cost 21 ) 356.649 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 356.650 * * [simplify]: iteration 0 : 17 enodes (cost 23 ) 356.657 * * [simplify]: iteration 1 : 45 enodes (cost 23 ) 356.676 * * [simplify]: iteration 2 : 156 enodes (cost 23 ) 356.708 * * [simplify]: iteration 3 : 339 enodes (cost 21 ) 356.867 * * [simplify]: iteration 4 : 839 enodes (cost 21 ) 357.498 * * [simplify]: iteration 5 : 1766 enodes (cost 21 ) 359.513 * * [simplify]: iteration 6 : 4326 enodes (cost 21 ) 361.220 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 361.220 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 361.221 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 361.223 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 361.225 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 361.228 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 361.231 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 361.235 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 361.245 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 361.293 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 361.762 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 364.211 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 364.212 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 364.212 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 364.215 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 364.217 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 364.219 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 364.222 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 364.226 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 364.241 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 364.289 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 364.751 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 367.155 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 367.156 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 367.157 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 367.159 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 367.161 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 367.163 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 367.166 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 367.170 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 367.180 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 367.228 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 367.688 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 370.109 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 370.109 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 370.111 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 370.114 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 370.118 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 370.123 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 370.135 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 370.143 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 370.162 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 370.256 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 371.168 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 373.166 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 373.167 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 373.168 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 373.178 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 373.181 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 373.186 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 373.192 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 373.200 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 373.219 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 373.313 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 374.228 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 376.236 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 376.237 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 376.238 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 376.241 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 376.245 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 376.250 * * [simplify]: iteration 4 : 60 enodes (cost 9 ) 376.255 * * [simplify]: iteration 5 : 77 enodes (cost 9 ) 376.264 * * [simplify]: iteration 6 : 121 enodes (cost 9 ) 376.289 * * [simplify]: iteration 7 : 233 enodes (cost 9 ) 376.381 * * [simplify]: iteration 8 : 647 enodes (cost 9 ) 377.304 * * [simplify]: iteration 9 : 2496 enodes (cost 9 ) 379.304 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 379.305 * [simplify]: Simplified to: (log (+ (* x (+ 2.0 x)) (* y y))) (exp (+ (* x (+ 2.0 x)) (* y y))) (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 2) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) 1 (+ (* x (+ 2.0 x)) (* y y)) (cbrt (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (* (+ (* x (+ 2.0 x)) (* y y)) (+ (* x (+ 2.0 x)) (* y y)))) (cbrt (+ (* x (+ 2.0 x)) (* y y))) (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 2) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) 1 (+ (* x (+ 2.0 x)) (* y y)) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x))))) (cbrt (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) (cbrt (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3))) 1 (+ (* x (+ 2.0 x)) (* y y)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3/2)) (cbrt (pow (+ (* y y) (* x (+ 2.0 x))) 3/2)) (+ (pow (* x (+ 2.0 x)) 3) (pow y 6)) (+ (pow y 4) (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (* y y)))) (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x))) (* (cbrt (+ (* x (+ 2.0 x)) (* y y))) (cbrt (+ (* x (+ 2.0 x)) (* y y)))) (cbrt (+ (* x (+ 2.0 x)) (* y y))) (pow (+ (* x (+ 2.0 x)) (* y y)) 3) (sqrt (+ (* x (+ 2.0 x)) (* y y))) (sqrt (+ (* x (+ 2.0 x)) (* y y))) (* (log (+ (* y y) (* x (+ 2.0 x)))) 3) (* (log (+ (* y y) (* x (+ 2.0 x)))) 3) 3 (pow (+ (* y y) (* x (+ 2.0 x))) (* (cbrt 3) (cbrt 3))) (pow (+ (* y y) (* x (+ 2.0 x))) (sqrt 3)) (+ (* y y) (* x (+ 2.0 x))) (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 6) (+ (* y y) (* x (+ 2.0 x))) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) 1 (pow (+ (* y y) (* x (+ 2.0 x))) 3) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (log (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (exp (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (* (+ (* x (+ 2.0 x)) (* y y)) (+ (* x (+ 2.0 x)) (* y y))) (+ (* x (+ 2.0 x)) (* y y)) (pow (pow (+ (* y y) (* x (+ 2.0 x))) 3) 3) (pow (cbrt (+ (* y y) (* x (+ 2.0 x)))) 6) (+ (* y y) (* x (+ 2.0 x))) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) (pow (sqrt (+ (* y y) (* x (+ 2.0 x)))) 3) 1 (pow (+ (* y y) (* x (+ 2.0 x))) 3) (pow (+ (pow (* x (+ 2.0 x)) 3) (pow y 6)) 3) (pow (+ (pow y 4) (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (* y y)))) 3) (pow (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) 3) (pow (- (* y y) (* x (+ 2.0 x))) 3) (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (sqrt (pow (+ (* y y) (* x (+ 2.0 x))) 3)) (pow (+ (* y y) (* x (+ 2.0 x))) 3/2) (pow (+ (* y y) (* x (+ 2.0 x))) 3/2) (* x (+ 2.0 x)) (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))) (exp (* x (+ 2.0 x))) (pow (* (+ 2.0 x) x) 3) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))) (pow (* x (+ 2.0 x)) 3) (sqrt (* x (+ 2.0 x))) (sqrt (* x (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* (sqrt x) (sqrt (+ 2.0 x))) (* x 2.0) (* x x) (* 2.0 x) (* x x) (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))) (* x (sqrt (+ 2.0 x))) x x (* (cbrt x) (+ 2.0 x)) (* (sqrt x) (+ 2.0 x)) (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))) (* (+ 2.0 x) (* x (- 2.0 x))) (exp (+ (* y y) (* x (+ 2.0 x)))) (log (+ (* y y) (* x (+ 2.0 x)))) (exp (+ (* y y) (* x (+ 2.0 x)))) (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x))))) (cbrt (+ (* y y) (* x (+ 2.0 x)))) (pow (+ (* y y) (* x (+ 2.0 x))) 3) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (sqrt (+ (* y y) (* x (+ 2.0 x)))) (+ (pow (* x (+ 2.0 x)) 3) (pow y 6)) (+ (pow y 4) (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (* y y)))) (- (pow y 4) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x 2.0)) (+ (* y y) (* 2.0 x)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) (* (pow x 2) (+ (* 12.0 (+ (pow x 2) (pow y 2))) (* x 8.0))) (+ (* 3 (+ (* (pow x 2) (pow y 4)) (* (pow x 4) (pow y 2)))) (pow x 6)) (+ (* 3 (+ (* (pow x 2) (pow y 4)) (* (pow x 4) (pow y 2)))) (pow x 6)) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) (+ (* x (+ 2.0 x)) (pow y 2)) 379.306 * * * [progress]: adding candidates to table 379.446 * [progress]: [Phase 3 of 3] Extracting. 379.446 * * [regime]: Finding splitpoints for: (# # #) 379.447 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (+ (* x 2.0) (* x x)) (+ (+ (* x 2.0) (* x x)) (* y y)) y x) 379.447 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 379.483 * * * * [regimes]: Trying to branch on (+ (* x 2.0) (* x x)) from (# # #) 379.521 * * * * [regimes]: Trying to branch on (+ (+ (* x 2.0) (* x x)) (* y y)) from (# # #) 379.561 * * * * [regimes]: Trying to branch on y from (# # #) 379.597 * * * * [regimes]: Trying to branch on x from (# # #) 379.634 * * * [regime]: Found split indices: #