281.433 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (/ (- x y) (* (* x 2.0) y)) 0.021 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.022 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 0.024 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 0.032 * * [simplify]: iteration 3 : 104 enodes (cost 9 ) 0.047 * * [simplify]: iteration 4 : 148 enodes (cost 9 ) 0.072 * * [simplify]: iteration 5 : 172 enodes (cost 9 ) 0.092 * * [simplify]: iteration 6 : 187 enodes (cost 9 ) 0.117 * * [simplify]: iteration 7 : 192 enodes (cost 9 ) 0.138 * * [simplify]: iteration done : 192 enodes (cost 9 ) 0.138 * [simplify]: Simplified to: (/ (- x y) (* (* x 2.0) y)) 0.139 * * [progress]: iteration 1 / 4 0.139 * * * [progress]: picking best candidate 0.141 * * * * [pick]: Picked # 0.141 * * * [progress]: localizing error 0.147 * * * [progress]: generating rewritten candidates 0.147 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.157 * * * [progress]: generating series expansions 0.157 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.158 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 0.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 0.158 * [taylor]: Taking taylor expansion of 0.5 in y 0.158 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 0.158 * [taylor]: Taking taylor expansion of (- x y) in y 0.158 * [taylor]: Taking taylor expansion of x in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.158 * [taylor]: Taking taylor expansion of (* x y) in y 0.158 * [taylor]: Taking taylor expansion of x in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 0.158 * [taylor]: Taking taylor expansion of 0.5 in x 0.158 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 0.158 * [taylor]: Taking taylor expansion of (- x y) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of y in x 0.158 * [taylor]: Taking taylor expansion of (* x y) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of y in x 0.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 0.158 * [taylor]: Taking taylor expansion of 0.5 in x 0.158 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 0.158 * [taylor]: Taking taylor expansion of (- x y) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of y in x 0.158 * [taylor]: Taking taylor expansion of (* x y) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of y in x 0.158 * [taylor]: Taking taylor expansion of -0.5 in y 0.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.159 * [taylor]: Taking taylor expansion of 0.5 in y 0.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in (x y) around 0 0.160 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in y 0.160 * [taylor]: Taking taylor expansion of 0.5 in y 0.160 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 x) (/ 1 y)) y)) in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in y 0.160 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in x 0.160 * [taylor]: Taking taylor expansion of 0.5 in x 0.160 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 x) (/ 1 y)) y)) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in x 0.160 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in x 0.161 * [taylor]: Taking taylor expansion of 0.5 in x 0.161 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 x) (/ 1 y)) y)) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in x 0.161 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.161 * [taylor]: Taking taylor expansion of 0.5 in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.161 * [taylor]: Taking taylor expansion of (neg 0.5) in y 0.162 * [taylor]: Taking taylor expansion of 0.5 in y 0.162 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in (x y) around 0 0.163 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in y 0.163 * [taylor]: Taking taylor expansion of 0.5 in y 0.163 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in y 0.163 * [taylor]: Taking taylor expansion of x in y 0.163 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y 0.163 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.164 * [taylor]: Taking taylor expansion of x in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x 0.164 * [taylor]: Taking taylor expansion of 0.5 in x 0.164 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 0.164 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x 0.164 * [taylor]: Taking taylor expansion of 0.5 in x 0.164 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 0.164 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.164 * [taylor]: Taking taylor expansion of (neg (* 0.5 y)) in y 0.165 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.165 * [taylor]: Taking taylor expansion of 0.5 in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of 0.5 in y 0.165 * [taylor]: Taking taylor expansion of 0 in y 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.166 * * * [progress]: simplifying candidates 0.167 * [simplify]: Simplifying using # : (- (log (- x y)) (+ (+ (log x) (log 2.0)) (log y))) (- (log (- x y)) (+ (log (* x 2.0)) (log y))) (- (log (- x y)) (log (* (* x 2.0) y))) (log (/ (- x y) (* (* x 2.0) y))) (exp (/ (- x y) (* (* x 2.0) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))) (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y)))) (cbrt (/ (- x y) (* (* x 2.0) y))) (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (neg (- x y)) (neg (* (* x 2.0) y)) (/ x (* (* x 2.0) y)) (/ y (* (* x 2.0) y)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0)) (/ (cbrt (- x y)) y) (/ (sqrt (- x y)) (* x 2.0)) (/ (sqrt (- x y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ (+ (sqrt x) (sqrt y)) (* x 2.0)) (/ (- (sqrt x) (sqrt y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (- x y)) (/ (- x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (- x y))) (/ (* (* x 2.0) y) (sqrt (- x y))) (/ (* (* x 2.0) y) (- x y)) (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y))) (/ (* (* x 2.0) y) (- x y)) (* (* (* x 2.0) y) (+ (* x x) (+ (* y y) (* x y)))) (* (* (* x 2.0) y) (+ x y)) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.168 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 0.169 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 0.171 * * [simplify]: iteration 2 : 45 enodes (cost 13 ) 0.181 * * [simplify]: iteration 3 : 89 enodes (cost 13 ) 0.203 * * [simplify]: iteration 4 : 171 enodes (cost 13 ) 0.276 * * [simplify]: iteration 5 : 287 enodes (cost 13 ) 0.402 * * [simplify]: iteration 6 : 438 enodes (cost 13 ) 0.536 * * [simplify]: iteration 7 : 560 enodes (cost 13 ) 0.667 * * [simplify]: iteration 8 : 576 enodes (cost 13 ) 0.797 * * [simplify]: iteration done : 576 enodes (cost 13 ) 0.798 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.799 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.801 * * [simplify]: iteration 2 : 38 enodes (cost 12 ) 0.806 * * [simplify]: iteration 3 : 73 enodes (cost 12 ) 0.821 * * [simplify]: iteration 4 : 152 enodes (cost 12 ) 0.879 * * [simplify]: iteration 5 : 259 enodes (cost 12 ) 0.986 * * [simplify]: iteration 6 : 398 enodes (cost 12 ) 1.145 * * [simplify]: iteration 7 : 558 enodes (cost 12 ) 1.268 * * [simplify]: iteration 8 : 583 enodes (cost 12 ) 1.397 * * [simplify]: iteration done : 583 enodes (cost 12 ) 1.398 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 1.399 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 1.402 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 1.407 * * [simplify]: iteration 3 : 71 enodes (cost 11 ) 1.417 * * [simplify]: iteration 4 : 131 enodes (cost 11 ) 1.454 * * [simplify]: iteration 5 : 219 enodes (cost 11 ) 1.539 * * [simplify]: iteration 6 : 358 enodes (cost 11 ) 1.717 * * [simplify]: iteration 7 : 538 enodes (cost 11 ) 1.829 * * [simplify]: iteration 8 : 583 enodes (cost 11 ) 1.954 * * [simplify]: iteration done : 583 enodes (cost 11 ) 1.955 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 1.956 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 1.959 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 1.969 * * [simplify]: iteration 3 : 147 enodes (cost 10 ) 1.997 * * [simplify]: iteration 4 : 259 enodes (cost 10 ) 2.045 * * [simplify]: iteration 5 : 373 enodes (cost 10 ) 2.141 * * [simplify]: iteration 6 : 511 enodes (cost 10 ) 2.297 * * [simplify]: iteration 7 : 666 enodes (cost 10 ) 2.461 * * [simplify]: iteration 8 : 788 enodes (cost 10 ) 2.618 * * [simplify]: iteration 9 : 804 enodes (cost 10 ) 2.773 * * [simplify]: iteration done : 804 enodes (cost 10 ) 2.774 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 2.775 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 2.777 * * [simplify]: iteration 2 : 51 enodes (cost 10 ) 2.785 * * [simplify]: iteration 3 : 106 enodes (cost 10 ) 2.802 * * [simplify]: iteration 4 : 152 enodes (cost 10 ) 2.826 * * [simplify]: iteration 5 : 183 enodes (cost 10 ) 2.849 * * [simplify]: iteration 6 : 203 enodes (cost 10 ) 2.876 * * [simplify]: iteration 7 : 223 enodes (cost 10 ) 2.901 * * [simplify]: iteration 8 : 229 enodes (cost 10 ) 2.930 * * [simplify]: iteration 9 : 246 enodes (cost 10 ) 2.959 * * [simplify]: iteration 10 : 287 enodes (cost 10 ) 3.015 * * [simplify]: iteration 11 : 349 enodes (cost 10 ) 3.059 * * [simplify]: iteration 12 : 406 enodes (cost 10 ) 3.114 * * [simplify]: iteration 13 : 457 enodes (cost 10 ) 3.170 * * [simplify]: iteration 14 : 480 enodes (cost 10 ) 3.230 * * [simplify]: iteration 15 : 514 enodes (cost 10 ) 3.295 * * [simplify]: iteration 16 : 540 enodes (cost 10 ) 3.354 * * [simplify]: iteration 17 : 541 enodes (cost 10 ) 3.415 * * [simplify]: iteration done : 541 enodes (cost 10 ) 3.415 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 3.418 * * [simplify]: iteration 1 : 38 enodes (cost 29 ) 3.427 * * [simplify]: iteration 2 : 202 enodes (cost 17 ) 3.537 * * [simplify]: iteration 3 : 1347 enodes (cost 17 ) 4.601 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 4.602 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 4.604 * * [simplify]: iteration 1 : 40 enodes (cost 29 ) 4.613 * * [simplify]: iteration 2 : 196 enodes (cost 15 ) 4.727 * * [simplify]: iteration 3 : 1336 enodes (cost 15 ) 5.753 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 5.754 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 5.756 * * [simplify]: iteration 1 : 35 enodes (cost 29 ) 5.771 * * [simplify]: iteration 2 : 198 enodes (cost 13 ) 5.917 * * [simplify]: iteration 3 : 1580 enodes (cost 11 ) 7.016 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 7.017 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 7.018 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 7.021 * * [simplify]: iteration 2 : 49 enodes (cost 21 ) 7.028 * * [simplify]: iteration 3 : 105 enodes (cost 21 ) 7.050 * * [simplify]: iteration 4 : 148 enodes (cost 21 ) 7.069 * * [simplify]: iteration 5 : 174 enodes (cost 21 ) 7.089 * * [simplify]: iteration 6 : 189 enodes (cost 21 ) 7.115 * * [simplify]: iteration 7 : 194 enodes (cost 21 ) 7.136 * * [simplify]: iteration done : 194 enodes (cost 21 ) 7.136 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 7.138 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 7.140 * * [simplify]: iteration 2 : 48 enodes (cost 10 ) 7.152 * * [simplify]: iteration 3 : 101 enodes (cost 10 ) 7.167 * * [simplify]: iteration 4 : 146 enodes (cost 10 ) 7.187 * * [simplify]: iteration 5 : 171 enodes (cost 10 ) 7.210 * * [simplify]: iteration 6 : 187 enodes (cost 10 ) 7.231 * * [simplify]: iteration 7 : 192 enodes (cost 10 ) 7.252 * * [simplify]: iteration done : 192 enodes (cost 10 ) 7.253 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 7.254 * * [simplify]: iteration 1 : 27 enodes (cost 29 ) 7.263 * * [simplify]: iteration 2 : 125 enodes (cost 11 ) 7.322 * * [simplify]: iteration 3 : 921 enodes (cost 11 ) 8.607 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 8.607 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 8.609 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 8.611 * * [simplify]: iteration 2 : 48 enodes (cost 10 ) 8.619 * * [simplify]: iteration 3 : 101 enodes (cost 10 ) 8.639 * * [simplify]: iteration 4 : 146 enodes (cost 10 ) 8.659 * * [simplify]: iteration 5 : 171 enodes (cost 10 ) 8.678 * * [simplify]: iteration 6 : 187 enodes (cost 10 ) 8.704 * * [simplify]: iteration 7 : 192 enodes (cost 10 ) 8.725 * * [simplify]: iteration done : 192 enodes (cost 10 ) 8.725 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 8.726 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 8.729 * * [simplify]: iteration 2 : 48 enodes (cost 10 ) 8.736 * * [simplify]: iteration 3 : 101 enodes (cost 10 ) 8.757 * * [simplify]: iteration 4 : 146 enodes (cost 10 ) 8.776 * * [simplify]: iteration 5 : 171 enodes (cost 10 ) 8.796 * * [simplify]: iteration 6 : 187 enodes (cost 10 ) 8.822 * * [simplify]: iteration 7 : 192 enodes (cost 10 ) 8.842 * * [simplify]: iteration done : 192 enodes (cost 10 ) 8.843 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.843 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 8.844 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.845 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 8.846 * * [simplify]: iteration 4 : 13 enodes (cost 3 ) 8.847 * * [simplify]: iteration done : 13 enodes (cost 3 ) 8.848 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.848 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 8.850 * * [simplify]: iteration 2 : 35 enodes (cost 6 ) 8.861 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 8.870 * * [simplify]: iteration done : 53 enodes (cost 6 ) 8.871 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 8.872 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 8.873 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 8.877 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 8.882 * * [simplify]: iteration 4 : 40 enodes (cost 5 ) 8.886 * * [simplify]: iteration done : 40 enodes (cost 5 ) 8.886 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 8.887 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 8.889 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 8.892 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 8.897 * * [simplify]: iteration 4 : 41 enodes (cost 5 ) 8.902 * * [simplify]: iteration done : 41 enodes (cost 5 ) 8.902 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 8.903 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 8.905 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 8.909 * * [simplify]: iteration 3 : 44 enodes (cost 13 ) 8.918 * * [simplify]: iteration 4 : 46 enodes (cost 13 ) 8.924 * * [simplify]: iteration done : 46 enodes (cost 13 ) 8.925 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.925 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 8.926 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 8.927 * * [simplify]: iteration done : 8 enodes (cost 6 ) 8.927 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.928 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 8.929 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 8.931 * * [simplify]: iteration done : 15 enodes (cost 8 ) 8.932 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.932 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 8.933 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 8.933 * * [simplify]: iteration done : 8 enodes (cost 6 ) 8.934 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.935 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 8.936 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 8.937 * * [simplify]: iteration done : 12 enodes (cost 5 ) 8.937 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 8.938 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 8.939 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 8.940 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 8.941 * * [simplify]: iteration done : 17 enodes (cost 5 ) 8.942 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 8.943 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 8.944 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 8.945 * * [simplify]: iteration done : 14 enodes (cost 9 ) 8.946 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 8.947 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 8.948 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 8.949 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 8.951 * * [simplify]: iteration done : 16 enodes (cost 7 ) 8.952 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.952 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 8.953 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 8.954 * * [simplify]: iteration done : 12 enodes (cost 5 ) 8.955 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 8.955 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 8.956 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 8.957 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 8.959 * * [simplify]: iteration done : 17 enodes (cost 5 ) 8.959 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.960 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 8.962 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 8.965 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 8.970 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 8.975 * * [simplify]: iteration done : 40 enodes (cost 7 ) 8.975 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 8.977 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 8.983 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 8.988 * * [simplify]: iteration 3 : 70 enodes (cost 9 ) 8.999 * * [simplify]: iteration 4 : 120 enodes (cost 9 ) 9.019 * * [simplify]: iteration 5 : 151 enodes (cost 9 ) 9.044 * * [simplify]: iteration 6 : 166 enodes (cost 9 ) 9.066 * * [simplify]: iteration 7 : 171 enodes (cost 9 ) 9.088 * * [simplify]: iteration done : 171 enodes (cost 9 ) 9.092 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 9.093 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 9.095 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 9.098 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 9.102 * * [simplify]: iteration 4 : 45 enodes (cost 7 ) 9.107 * * [simplify]: iteration 5 : 46 enodes (cost 7 ) 9.111 * * [simplify]: iteration done : 46 enodes (cost 7 ) 9.112 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 9.113 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 9.114 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 9.119 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 9.127 * * [simplify]: iteration 4 : 76 enodes (cost 10 ) 9.141 * * [simplify]: iteration 5 : 89 enodes (cost 10 ) 9.159 * * [simplify]: iteration done : 89 enodes (cost 10 ) 9.160 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 9.161 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 9.163 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 9.167 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 9.175 * * [simplify]: iteration 4 : 76 enodes (cost 10 ) 9.190 * * [simplify]: iteration 5 : 89 enodes (cost 10 ) 9.207 * * [simplify]: iteration done : 89 enodes (cost 10 ) 9.207 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 9.208 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 9.211 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 9.216 * * [simplify]: iteration 3 : 70 enodes (cost 9 ) 9.226 * * [simplify]: iteration 4 : 120 enodes (cost 9 ) 9.246 * * [simplify]: iteration 5 : 151 enodes (cost 9 ) 9.272 * * [simplify]: iteration 6 : 166 enodes (cost 9 ) 9.293 * * [simplify]: iteration 7 : 171 enodes (cost 9 ) 9.318 * * [simplify]: iteration done : 171 enodes (cost 9 ) 9.319 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 9.320 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 9.322 * * [simplify]: iteration 2 : 37 enodes (cost 11 ) 9.327 * * [simplify]: iteration 3 : 70 enodes (cost 11 ) 9.338 * * [simplify]: iteration 4 : 118 enodes (cost 11 ) 9.358 * * [simplify]: iteration 5 : 148 enodes (cost 11 ) 9.382 * * [simplify]: iteration 6 : 157 enodes (cost 11 ) 9.403 * * [simplify]: iteration done : 157 enodes (cost 11 ) 9.404 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 9.405 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 9.407 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 9.412 * * [simplify]: iteration 3 : 70 enodes (cost 9 ) 9.426 * * [simplify]: iteration 4 : 120 enodes (cost 9 ) 9.447 * * [simplify]: iteration 5 : 151 enodes (cost 9 ) 9.467 * * [simplify]: iteration 6 : 166 enodes (cost 9 ) 9.493 * * [simplify]: iteration 7 : 171 enodes (cost 9 ) 9.514 * * [simplify]: iteration done : 171 enodes (cost 9 ) 9.515 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 9.517 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 9.523 * * [simplify]: iteration 2 : 112 enodes (cost 15 ) 9.561 * * [simplify]: iteration 3 : 376 enodes (cost 15 ) 9.735 * * [simplify]: iteration 4 : 589 enodes (cost 15 ) 9.992 * * [simplify]: iteration 5 : 657 enodes (cost 15 ) 10.241 * * [simplify]: iteration 6 : 690 enodes (cost 15 ) 10.507 * * [simplify]: iteration 7 : 771 enodes (cost 15 ) 10.827 * * [simplify]: iteration 8 : 1009 enodes (cost 15 ) 11.389 * * [simplify]: iteration 9 : 1793 enodes (cost 15 ) 13.926 * * [simplify]: iteration 10 : 4674 enodes (cost 15 ) 15.967 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 15.968 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 15.969 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 15.977 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 15.992 * * [simplify]: iteration 3 : 129 enodes (cost 9 ) 16.030 * * [simplify]: iteration 4 : 152 enodes (cost 9 ) 16.059 * * [simplify]: iteration done : 152 enodes (cost 9 ) 16.060 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 16.061 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 16.064 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 16.069 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 16.074 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 16.090 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 16.105 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 16.120 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 16.140 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 16.155 * * [simplify]: iteration done : 106 enodes (cost 7 ) 16.156 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 16.157 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 16.160 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 16.165 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 16.171 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 16.182 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 16.200 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 16.216 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 16.232 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 16.248 * * [simplify]: iteration done : 106 enodes (cost 7 ) 16.248 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 16.252 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 16.255 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 16.260 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 16.265 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 16.276 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 16.292 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 16.311 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 16.327 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 16.342 * * [simplify]: iteration done : 106 enodes (cost 7 ) 16.344 * [simplify]: Simplified to: (- (log (- x y)) (+ (+ (log x) (log 2.0)) (log y))) (- (log (- x y)) (+ (log (* x 2.0)) (log y))) (- (log (- x y)) (log (* (* x 2.0) y))) (log (/ (- x y) (* (* x 2.0) y))) (exp (/ (- x y) (* (* x 2.0) y))) (/ (/ (pow (- x y) 3) (pow y 3)) (* (pow 2.0 3) (pow x 3))) (/ (/ (pow (- x y) 3) (pow (* x 2.0) 3)) (pow y 3)) (pow (/ (- x y) (* (* x 2.0) y)) 3) (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y)))) (cbrt (/ (- x y) (* (* x 2.0) y))) (pow (/ (- x y) (* (* x 2.0) y)) 3) (sqrt (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (- y x) (neg (* (* x 2.0) y)) (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0)) (/ (cbrt (- x y)) y) (/ (sqrt (- x y)) (* x 2.0)) (/ (sqrt (- x y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ (+ (sqrt x) (sqrt y)) (* x 2.0)) (/ (- (sqrt x) (sqrt y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (- x y)) (/ (- x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (- x y))) (/ (* (* x 2.0) y) (sqrt (- x y))) (/ (* (* x 2.0) y) (- x y)) (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y))) (/ (* (* x 2.0) y) (- x y)) (* (+ (* y (+ y x)) (* x x)) (* (* x 2.0) y)) (* (* (* x 2.0) y) (+ x y)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) 16.344 * * * [progress]: adding candidates to table 16.396 * * [progress]: iteration 2 / 4 16.396 * * * [progress]: picking best candidate 16.401 * * * * [pick]: Picked # 16.401 * * * [progress]: localizing error 16.407 * * * [progress]: generating rewritten candidates 16.407 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 16.422 * * * [progress]: generating series expansions 16.422 * * * * [progress]: [ 1 / 1 ] generating series at (2) 16.422 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (y x) around 0 16.422 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x 16.422 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 16.422 * [taylor]: Taking taylor expansion of 0.5 in x 16.422 * [taylor]: Taking taylor expansion of (/ 1 y) in x 16.422 * [taylor]: Taking taylor expansion of y in x 16.422 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 16.422 * [taylor]: Taking taylor expansion of 0.5 in x 16.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.423 * [taylor]: Taking taylor expansion of x in x 16.423 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y 16.423 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 16.423 * [taylor]: Taking taylor expansion of 0.5 in y 16.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.423 * [taylor]: Taking taylor expansion of y in y 16.423 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 16.423 * [taylor]: Taking taylor expansion of 0.5 in y 16.423 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.423 * [taylor]: Taking taylor expansion of x in y 16.423 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y 16.423 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 16.423 * [taylor]: Taking taylor expansion of 0.5 in y 16.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.423 * [taylor]: Taking taylor expansion of y in y 16.423 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 16.423 * [taylor]: Taking taylor expansion of 0.5 in y 16.423 * [taylor]: Taking taylor expansion of (/ 1 x) in y 16.423 * [taylor]: Taking taylor expansion of x in y 16.423 * [taylor]: Taking taylor expansion of 0.5 in x 16.423 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 x))) in x 16.423 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 16.423 * [taylor]: Taking taylor expansion of 0.5 in x 16.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.423 * [taylor]: Taking taylor expansion of x in x 16.424 * [taylor]: Taking taylor expansion of 0 in x 16.424 * [taylor]: Taking taylor expansion of 0 in x 16.424 * [taylor]: Taking taylor expansion of 0 in x 16.425 * [approximate]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in (y x) around 0 16.425 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in x 16.425 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 16.425 * [taylor]: Taking taylor expansion of 0.5 in x 16.425 * [taylor]: Taking taylor expansion of y in x 16.425 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 16.425 * [taylor]: Taking taylor expansion of 0.5 in x 16.425 * [taylor]: Taking taylor expansion of x in x 16.425 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y 16.425 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 16.425 * [taylor]: Taking taylor expansion of 0.5 in y 16.425 * [taylor]: Taking taylor expansion of y in y 16.425 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 16.425 * [taylor]: Taking taylor expansion of 0.5 in y 16.425 * [taylor]: Taking taylor expansion of x in y 16.425 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y 16.425 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 16.425 * [taylor]: Taking taylor expansion of 0.5 in y 16.425 * [taylor]: Taking taylor expansion of y in y 16.425 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 16.425 * [taylor]: Taking taylor expansion of 0.5 in y 16.425 * [taylor]: Taking taylor expansion of x in y 16.425 * [taylor]: Taking taylor expansion of (neg (* 0.5 x)) in x 16.425 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 16.425 * [taylor]: Taking taylor expansion of 0.5 in x 16.425 * [taylor]: Taking taylor expansion of x in x 16.425 * [taylor]: Taking taylor expansion of 0.5 in x 16.425 * [taylor]: Taking taylor expansion of 0 in x 16.426 * [taylor]: Taking taylor expansion of 0 in x 16.426 * [approximate]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in (y x) around 0 16.426 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in x 16.426 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 16.426 * [taylor]: Taking taylor expansion of 0.5 in x 16.426 * [taylor]: Taking taylor expansion of x in x 16.426 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 16.426 * [taylor]: Taking taylor expansion of 0.5 in x 16.426 * [taylor]: Taking taylor expansion of y in x 16.426 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y 16.426 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 16.426 * [taylor]: Taking taylor expansion of 0.5 in y 16.426 * [taylor]: Taking taylor expansion of x in y 16.426 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 16.426 * [taylor]: Taking taylor expansion of 0.5 in y 16.426 * [taylor]: Taking taylor expansion of y in y 16.426 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y 16.426 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 16.426 * [taylor]: Taking taylor expansion of 0.5 in y 16.426 * [taylor]: Taking taylor expansion of x in y 16.426 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 16.426 * [taylor]: Taking taylor expansion of 0.5 in y 16.426 * [taylor]: Taking taylor expansion of y in y 16.426 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 16.426 * [taylor]: Taking taylor expansion of 0.5 in x 16.426 * [taylor]: Taking taylor expansion of x in x 16.426 * [taylor]: Taking taylor expansion of (neg 0.5) in x 16.426 * [taylor]: Taking taylor expansion of 0.5 in x 16.427 * [taylor]: Taking taylor expansion of 0 in x 16.427 * [taylor]: Taking taylor expansion of 0 in x 16.427 * * * [progress]: simplifying candidates 16.427 * [simplify]: Simplifying using # : (/ (exp (/ 0.5 y)) (exp (/ 0.5 x))) (log (- (/ 0.5 y) (/ 0.5 x))) (exp (- (/ 0.5 y) (/ 0.5 x))) (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x)))) (cbrt (- (/ 0.5 y) (/ 0.5 x))) (* (* (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x))) (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (- (* 0.5 x) (* y 0.5)) (* y x) (- (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3)) (+ (* (/ 0.5 y) (/ 0.5 y)) (+ (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 x)))) (neg (/ 0.5 x)) (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x))) (+ (/ 0.5 y) (/ 0.5 x)) (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x)) (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 1 y) (/ 1 x)) (neg (/ 0.5 x)) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 16.428 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 16.429 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 16.430 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 16.431 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 16.433 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 16.435 * * [simplify]: iteration 5 : 26 enodes (cost 8 ) 16.442 * * [simplify]: iteration 6 : 30 enodes (cost 8 ) 16.445 * * [simplify]: iteration 7 : 46 enodes (cost 8 ) 16.451 * * [simplify]: iteration 8 : 50 enodes (cost 8 ) 16.456 * * [simplify]: iteration 9 : 56 enodes (cost 8 ) 16.463 * * [simplify]: iteration 10 : 65 enodes (cost 8 ) 16.471 * * [simplify]: iteration 11 : 85 enodes (cost 8 ) 16.482 * * [simplify]: iteration 12 : 106 enodes (cost 8 ) 16.499 * * [simplify]: iteration 13 : 123 enodes (cost 8 ) 16.514 * * [simplify]: iteration 14 : 124 enodes (cost 8 ) 16.528 * * [simplify]: iteration done : 124 enodes (cost 8 ) 16.529 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.530 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 16.531 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 16.532 * * [simplify]: iteration done : 12 enodes (cost 8 ) 16.532 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.533 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 16.534 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 16.536 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 16.538 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 16.541 * * [simplify]: iteration 5 : 30 enodes (cost 8 ) 16.545 * * [simplify]: iteration 6 : 46 enodes (cost 8 ) 16.550 * * [simplify]: iteration 7 : 50 enodes (cost 8 ) 16.558 * * [simplify]: iteration 8 : 56 enodes (cost 8 ) 16.564 * * [simplify]: iteration 9 : 65 enodes (cost 8 ) 16.573 * * [simplify]: iteration 10 : 85 enodes (cost 8 ) 16.583 * * [simplify]: iteration 11 : 106 enodes (cost 8 ) 16.598 * * [simplify]: iteration 12 : 123 enodes (cost 8 ) 16.616 * * [simplify]: iteration 13 : 124 enodes (cost 8 ) 16.630 * * [simplify]: iteration done : 124 enodes (cost 8 ) 16.631 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 16.632 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 16.633 * * [simplify]: iteration 2 : 13 enodes (cost 17 ) 16.634 * * [simplify]: iteration done : 13 enodes (cost 17 ) 16.634 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.635 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 16.636 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 16.637 * * [simplify]: iteration done : 12 enodes (cost 8 ) 16.638 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 16.639 * * [simplify]: iteration 1 : 11 enodes (cost 23 ) 16.640 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 16.645 * * [simplify]: iteration 3 : 87 enodes (cost 9 ) 16.667 * * [simplify]: iteration 4 : 286 enodes (cost 9 ) 16.782 * * [simplify]: iteration 5 : 940 enodes (cost 9 ) 17.620 * * [simplify]: iteration 6 : 3127 enodes (cost 9 ) 18.751 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 18.752 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 18.753 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 18.754 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 18.755 * * [simplify]: iteration done : 12 enodes (cost 8 ) 18.756 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 18.756 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 18.758 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 18.759 * * [simplify]: iteration done : 12 enodes (cost 8 ) 18.759 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 18.760 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 18.762 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 18.764 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 18.767 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 18.770 * * [simplify]: iteration done : 24 enodes (cost 5 ) 18.770 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 18.771 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 18.771 * * [simplify]: iteration done : 4 enodes (cost 3 ) 18.772 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 18.778 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 18.783 * * [simplify]: iteration 2 : 84 enodes (cost 11 ) 18.799 * * [simplify]: iteration 3 : 240 enodes (cost 11 ) 18.878 * * [simplify]: iteration 4 : 773 enodes (cost 11 ) 19.382 * * [simplify]: iteration 5 : 2602 enodes (cost 11 ) 20.629 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 20.629 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 20.631 * * [simplify]: iteration 1 : 27 enodes (cost 19 ) 20.635 * * [simplify]: iteration 2 : 51 enodes (cost 19 ) 20.647 * * [simplify]: iteration 3 : 83 enodes (cost 19 ) 20.660 * * [simplify]: iteration 4 : 116 enodes (cost 19 ) 20.678 * * [simplify]: iteration 5 : 140 enodes (cost 19 ) 20.702 * * [simplify]: iteration 6 : 153 enodes (cost 17 ) 20.724 * * [simplify]: iteration 7 : 160 enodes (cost 17 ) 20.746 * * [simplify]: iteration 8 : 162 enodes (cost 17 ) 20.770 * * [simplify]: iteration done : 162 enodes (cost 17 ) 20.771 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 20.771 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 20.772 * * [simplify]: iteration done : 6 enodes (cost 4 ) 20.773 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 20.774 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 20.777 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 20.782 * * [simplify]: iteration 3 : 82 enodes (cost 15 ) 20.795 * * [simplify]: iteration 4 : 149 enodes (cost 13 ) 20.824 * * [simplify]: iteration 5 : 236 enodes (cost 13 ) 20.877 * * [simplify]: iteration 6 : 351 enodes (cost 13 ) 20.969 * * [simplify]: iteration 7 : 595 enodes (cost 13 ) 21.796 * * [simplify]: iteration 8 : 2103 enodes (cost 13 ) 26.140 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 26.140 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.141 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 26.142 * * [simplify]: iteration done : 7 enodes (cost 7 ) 26.142 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.143 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 26.144 * * [simplify]: iteration done : 9 enodes (cost 9 ) 26.145 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.145 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 26.146 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 26.147 * * [simplify]: iteration done : 11 enodes (cost 9 ) 26.148 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 26.149 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 26.150 * * [simplify]: iteration done : 10 enodes (cost 10 ) 26.150 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 26.151 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 26.152 * * [simplify]: iteration 2 : 14 enodes (cost 10 ) 26.154 * * [simplify]: iteration done : 14 enodes (cost 10 ) 26.154 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 26.155 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 26.156 * * [simplify]: iteration done : 10 enodes (cost 10 ) 26.156 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 26.157 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 26.158 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 26.159 * * [simplify]: iteration done : 12 enodes (cost 10 ) 26.160 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.161 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 26.162 * * [simplify]: iteration done : 10 enodes (cost 11 ) 26.162 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.164 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 26.165 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 26.166 * * [simplify]: iteration done : 14 enodes (cost 11 ) 26.167 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 26.167 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 26.168 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 26.170 * * [simplify]: iteration done : 12 enodes (cost 9 ) 26.170 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 26.171 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 26.172 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 26.173 * * [simplify]: iteration done : 12 enodes (cost 9 ) 26.173 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.174 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 26.175 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 26.176 * * [simplify]: iteration done : 11 enodes (cost 7 ) 26.177 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.177 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 26.178 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 26.179 * * [simplify]: iteration done : 11 enodes (cost 7 ) 26.183 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.183 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 26.185 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 26.186 * * [simplify]: iteration done : 14 enodes (cost 7 ) 26.186 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 26.187 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 26.187 * * [simplify]: iteration done : 6 enodes (cost 4 ) 26.188 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.189 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 26.192 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 26.197 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 26.203 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 26.214 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 26.229 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 26.248 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 26.264 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 26.279 * * [simplify]: iteration done : 106 enodes (cost 7 ) 26.280 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.281 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 26.284 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 26.289 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 26.299 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 26.311 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 26.325 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 26.341 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 26.361 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 26.376 * * [simplify]: iteration done : 106 enodes (cost 7 ) 26.377 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 26.378 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 26.381 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 26.386 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 26.392 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 26.404 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 26.422 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 26.437 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 26.454 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 26.471 * * [simplify]: iteration done : 106 enodes (cost 7 ) 26.472 * [simplify]: Simplified to: (exp (- (/ 0.5 y) (/ 0.5 x))) (log (- (/ 0.5 y) (/ 0.5 x))) (exp (- (/ 0.5 y) (/ 0.5 x))) (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x)))) (cbrt (- (/ 0.5 y) (/ 0.5 x))) (pow (- (/ 0.5 y) (/ 0.5 x)) 3) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (* 0.5 (- x y)) (* y x) (- (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3)) (* 0.5 (+ (/ (/ 0.5 y) y) (/ (+ (/ 0.5 x) (/ 0.5 y)) x))) (neg (/ 0.5 x)) (* 0.5 (- (/ (/ 0.5 y) y) (/ (/ 0.5 x) x))) (+ (/ 0.5 y) (/ 0.5 x)) (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x)) (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 1 y) (/ 1 x)) (neg (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) 26.472 * * * [progress]: adding candidates to table 26.505 * * [progress]: iteration 3 / 4 26.505 * * * [progress]: picking best candidate 26.507 * * * * [pick]: Picked # 26.508 * * * [progress]: localizing error 26.514 * * * [progress]: generating rewritten candidates 26.514 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 26.524 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 26.535 * * * [progress]: generating series expansions 26.535 * * * * [progress]: [ 1 / 2 ] generating series at (2) 26.535 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 26.535 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 26.535 * [taylor]: Taking taylor expansion of 0.5 in y 26.535 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 26.535 * [taylor]: Taking taylor expansion of (- x y) in y 26.535 * [taylor]: Taking taylor expansion of x in y 26.535 * [taylor]: Taking taylor expansion of y in y 26.535 * [taylor]: Taking taylor expansion of (* x y) in y 26.535 * [taylor]: Taking taylor expansion of x in y 26.535 * [taylor]: Taking taylor expansion of y in y 26.535 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 26.535 * [taylor]: Taking taylor expansion of 0.5 in x 26.535 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 26.535 * [taylor]: Taking taylor expansion of (- x y) in x 26.535 * [taylor]: Taking taylor expansion of x in x 26.535 * [taylor]: Taking taylor expansion of y in x 26.535 * [taylor]: Taking taylor expansion of (* x y) in x 26.535 * [taylor]: Taking taylor expansion of x in x 26.535 * [taylor]: Taking taylor expansion of y in x 26.535 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 26.535 * [taylor]: Taking taylor expansion of 0.5 in x 26.535 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 26.535 * [taylor]: Taking taylor expansion of (- x y) in x 26.535 * [taylor]: Taking taylor expansion of x in x 26.535 * [taylor]: Taking taylor expansion of y in x 26.535 * [taylor]: Taking taylor expansion of (* x y) in x 26.536 * [taylor]: Taking taylor expansion of x in x 26.536 * [taylor]: Taking taylor expansion of y in x 26.536 * [taylor]: Taking taylor expansion of -0.5 in y 26.536 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 26.536 * [taylor]: Taking taylor expansion of 0.5 in y 26.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.536 * [taylor]: Taking taylor expansion of y in y 26.536 * [taylor]: Taking taylor expansion of 0 in y 26.536 * [taylor]: Taking taylor expansion of 0 in y 26.537 * [taylor]: Taking taylor expansion of 0 in y 26.537 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in (x y) around 0 26.537 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in y 26.537 * [taylor]: Taking taylor expansion of 0.5 in y 26.537 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 x) (/ 1 y)) y)) in y 26.537 * [taylor]: Taking taylor expansion of x in y 26.537 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in y 26.537 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 26.537 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.537 * [taylor]: Taking taylor expansion of x in y 26.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.537 * [taylor]: Taking taylor expansion of y in y 26.537 * [taylor]: Taking taylor expansion of y in y 26.537 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in x 26.537 * [taylor]: Taking taylor expansion of 0.5 in x 26.537 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 x) (/ 1 y)) y)) in x 26.537 * [taylor]: Taking taylor expansion of x in x 26.538 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in x 26.538 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 26.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.538 * [taylor]: Taking taylor expansion of x in x 26.538 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.538 * [taylor]: Taking taylor expansion of y in x 26.538 * [taylor]: Taking taylor expansion of y in x 26.538 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 x) (/ 1 y)) y))) in x 26.538 * [taylor]: Taking taylor expansion of 0.5 in x 26.538 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 x) (/ 1 y)) y)) in x 26.538 * [taylor]: Taking taylor expansion of x in x 26.538 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) y) in x 26.538 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 26.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.538 * [taylor]: Taking taylor expansion of x in x 26.538 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.538 * [taylor]: Taking taylor expansion of y in x 26.538 * [taylor]: Taking taylor expansion of y in x 26.538 * [taylor]: Taking taylor expansion of 0 in y 26.538 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 26.538 * [taylor]: Taking taylor expansion of 0.5 in y 26.538 * [taylor]: Taking taylor expansion of y in y 26.539 * [taylor]: Taking taylor expansion of (neg 0.5) in y 26.539 * [taylor]: Taking taylor expansion of 0.5 in y 26.539 * [taylor]: Taking taylor expansion of 0 in y 26.539 * [taylor]: Taking taylor expansion of 0 in y 26.540 * [taylor]: Taking taylor expansion of 0 in y 26.540 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in (x y) around 0 26.540 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in y 26.540 * [taylor]: Taking taylor expansion of 0.5 in y 26.540 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in y 26.540 * [taylor]: Taking taylor expansion of x in y 26.540 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y 26.540 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 26.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.540 * [taylor]: Taking taylor expansion of y in y 26.540 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.540 * [taylor]: Taking taylor expansion of x in y 26.540 * [taylor]: Taking taylor expansion of y in y 26.540 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x 26.540 * [taylor]: Taking taylor expansion of 0.5 in x 26.540 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x 26.540 * [taylor]: Taking taylor expansion of x in x 26.540 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 26.540 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.541 * [taylor]: Taking taylor expansion of y in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.541 * [taylor]: Taking taylor expansion of x in x 26.541 * [taylor]: Taking taylor expansion of y in x 26.541 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x 26.541 * [taylor]: Taking taylor expansion of 0.5 in x 26.541 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x 26.541 * [taylor]: Taking taylor expansion of x in x 26.541 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 26.541 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.541 * [taylor]: Taking taylor expansion of y in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.541 * [taylor]: Taking taylor expansion of x in x 26.541 * [taylor]: Taking taylor expansion of y in x 26.541 * [taylor]: Taking taylor expansion of 0 in y 26.541 * [taylor]: Taking taylor expansion of (neg (* 0.5 y)) in y 26.541 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 26.541 * [taylor]: Taking taylor expansion of 0.5 in y 26.541 * [taylor]: Taking taylor expansion of y in y 26.541 * [taylor]: Taking taylor expansion of 0.5 in y 26.542 * [taylor]: Taking taylor expansion of 0 in y 26.542 * [taylor]: Taking taylor expansion of 0 in y 26.547 * [taylor]: Taking taylor expansion of 0 in y 26.547 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 26.547 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in (x y) around 0 26.547 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in y 26.547 * [taylor]: Taking taylor expansion of 0.5 in y 26.548 * [taylor]: Taking taylor expansion of (/ (- x y) x) in y 26.548 * [taylor]: Taking taylor expansion of (- x y) in y 26.548 * [taylor]: Taking taylor expansion of x in y 26.548 * [taylor]: Taking taylor expansion of y in y 26.548 * [taylor]: Taking taylor expansion of x in y 26.548 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in x 26.548 * [taylor]: Taking taylor expansion of 0.5 in x 26.548 * [taylor]: Taking taylor expansion of (/ (- x y) x) in x 26.548 * [taylor]: Taking taylor expansion of (- x y) in x 26.548 * [taylor]: Taking taylor expansion of x in x 26.548 * [taylor]: Taking taylor expansion of y in x 26.548 * [taylor]: Taking taylor expansion of x in x 26.548 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in x 26.548 * [taylor]: Taking taylor expansion of 0.5 in x 26.548 * [taylor]: Taking taylor expansion of (/ (- x y) x) in x 26.548 * [taylor]: Taking taylor expansion of (- x y) in x 26.548 * [taylor]: Taking taylor expansion of x in x 26.548 * [taylor]: Taking taylor expansion of y in x 26.548 * [taylor]: Taking taylor expansion of x in x 26.548 * [taylor]: Taking taylor expansion of (* -0.5 y) in y 26.548 * [taylor]: Taking taylor expansion of -0.5 in y 26.548 * [taylor]: Taking taylor expansion of y in y 26.548 * [taylor]: Taking taylor expansion of 0.5 in y 26.548 * [taylor]: Taking taylor expansion of 0 in y 26.549 * [taylor]: Taking taylor expansion of 0 in y 26.549 * [approximate]: Taking taylor expansion of (* 0.5 (* x (- (/ 1 x) (/ 1 y)))) in (x y) around 0 26.549 * [taylor]: Taking taylor expansion of (* 0.5 (* x (- (/ 1 x) (/ 1 y)))) in y 26.549 * [taylor]: Taking taylor expansion of 0.5 in y 26.549 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in y 26.549 * [taylor]: Taking taylor expansion of x in y 26.549 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 26.549 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.549 * [taylor]: Taking taylor expansion of x in y 26.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.549 * [taylor]: Taking taylor expansion of y in y 26.549 * [taylor]: Taking taylor expansion of (* 0.5 (* x (- (/ 1 x) (/ 1 y)))) in x 26.549 * [taylor]: Taking taylor expansion of 0.5 in x 26.549 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in x 26.549 * [taylor]: Taking taylor expansion of x in x 26.549 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 26.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.549 * [taylor]: Taking taylor expansion of x in x 26.549 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.549 * [taylor]: Taking taylor expansion of y in x 26.549 * [taylor]: Taking taylor expansion of (* 0.5 (* x (- (/ 1 x) (/ 1 y)))) in x 26.549 * [taylor]: Taking taylor expansion of 0.5 in x 26.549 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in x 26.549 * [taylor]: Taking taylor expansion of x in x 26.549 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 26.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.549 * [taylor]: Taking taylor expansion of x in x 26.549 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.549 * [taylor]: Taking taylor expansion of y in x 26.550 * [taylor]: Taking taylor expansion of 0 in y 26.550 * [taylor]: Taking taylor expansion of 0.5 in y 26.550 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y 26.550 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 26.550 * [taylor]: Taking taylor expansion of 0.5 in y 26.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.550 * [taylor]: Taking taylor expansion of y in y 26.550 * [taylor]: Taking taylor expansion of 0 in y 26.551 * [taylor]: Taking taylor expansion of 0 in y 26.551 * [approximate]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in (x y) around 0 26.551 * [taylor]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in y 26.551 * [taylor]: Taking taylor expansion of -0.5 in y 26.551 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in y 26.551 * [taylor]: Taking taylor expansion of x in y 26.551 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 26.551 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.551 * [taylor]: Taking taylor expansion of y in y 26.551 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.551 * [taylor]: Taking taylor expansion of x in y 26.551 * [taylor]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in x 26.551 * [taylor]: Taking taylor expansion of -0.5 in x 26.551 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x 26.551 * [taylor]: Taking taylor expansion of x in x 26.551 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 26.552 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.552 * [taylor]: Taking taylor expansion of y in x 26.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.552 * [taylor]: Taking taylor expansion of x in x 26.552 * [taylor]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in x 26.552 * [taylor]: Taking taylor expansion of -0.5 in x 26.552 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x 26.552 * [taylor]: Taking taylor expansion of x in x 26.552 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 26.552 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.552 * [taylor]: Taking taylor expansion of y in x 26.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.552 * [taylor]: Taking taylor expansion of x in x 26.552 * [taylor]: Taking taylor expansion of 0 in y 26.552 * [taylor]: Taking taylor expansion of 0.5 in y 26.552 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y 26.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 26.552 * [taylor]: Taking taylor expansion of 0.5 in y 26.552 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.552 * [taylor]: Taking taylor expansion of y in y 26.553 * [taylor]: Taking taylor expansion of 0 in y 26.553 * [taylor]: Taking taylor expansion of 0 in y 26.553 * * * [progress]: simplifying candidates 26.555 * [simplify]: Simplifying using # : (- (- (log (- x y)) (+ (log x) (log 2.0))) (log y)) (- (- (log (- x y)) (log (* x 2.0))) (log y)) (- (log (/ (- x y) (* x 2.0))) (log y)) (log (/ (/ (- x y) (* x 2.0)) y)) (exp (/ (/ (- x y) (* x 2.0)) y)) (/ (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* y y) y)) (/ (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* y y) y)) (/ (* (* (/ (- x y) (* x 2.0)) (/ (- x y) (* x 2.0))) (/ (- x y) (* x 2.0))) (* (* y y) y)) (* (cbrt (/ (/ (- x y) (* x 2.0)) y)) (cbrt (/ (/ (- x y) (* x 2.0)) y))) (cbrt (/ (/ (- x y) (* x 2.0)) y)) (* (* (/ (/ (- x y) (* x 2.0)) y) (/ (/ (- x y) (* x 2.0)) y)) (/ (/ (- x y) (* x 2.0)) y)) (sqrt (/ (/ (- x y) (* x 2.0)) y)) (sqrt (/ (/ (- x y) (* x 2.0)) y)) (neg (/ (- x y) (* x 2.0))) (neg y) (/ (/ x (* x 2.0)) y) (/ (/ y (* x 2.0)) y) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) 1) (/ (cbrt (/ (- x y) (* x 2.0))) y) (/ (sqrt (/ (- x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) 1) (/ (sqrt (/ (- x y) (* x 2.0))) y) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (- x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (sqrt y)) (/ (/ (cbrt (- x y)) 2.0) (sqrt y)) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) 1) (/ (/ (cbrt (- x y)) 2.0) y) (/ (/ (sqrt (- x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (- x y)) 2.0) (cbrt y)) (/ (/ (sqrt (- x y)) x) (sqrt y)) (/ (/ (sqrt (- x y)) 2.0) (sqrt y)) (/ (/ (sqrt (- x y)) x) 1) (/ (/ (sqrt (- x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (- x y) 2.0) y) (/ (/ (+ (sqrt x) (sqrt y)) x) (* (cbrt y) (cbrt y))) (/ (/ (- (sqrt x) (sqrt y)) 2.0) (cbrt y)) (/ (/ (+ (sqrt x) (sqrt y)) x) (sqrt y)) (/ (/ (- (sqrt x) (sqrt y)) 2.0) (sqrt y)) (/ (/ (+ (sqrt x) (sqrt y)) x) 1) (/ (/ (- (sqrt x) (sqrt y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (- x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (- x y) (* x 2.0)) (sqrt y)) (/ 1 1) (/ (/ (- x y) (* x 2.0)) y) (/ (- x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (- x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (/ (- x y) 1) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (- x y) (* x 2.0))) (/ (/ (- x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (sqrt y)) (/ (/ (- x y) (* x 2.0)) 1) (/ y (cbrt (/ (- x y) (* x 2.0)))) (/ y (sqrt (/ (- x y) (* x 2.0)))) (/ y (/ (cbrt (- x y)) 2.0)) (/ y (/ (sqrt (- x y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- (sqrt x) (sqrt y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- x y) (* x 2.0))) (/ y (/ 1 (* x 2.0))) (* y (* x 2.0)) (- (log (- x y)) (+ (log x) (log 2.0))) (- (log (- x y)) (log (* x 2.0))) (log (/ (- x y) (* x 2.0))) (exp (/ (- x y) (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (cbrt (/ (- x y) (* x 2.0))) (* (* (/ (- x y) (* x 2.0)) (/ (- x y) (* x 2.0))) (/ (- x y) (* x 2.0))) (sqrt (/ (- x y) (* x 2.0))) (sqrt (/ (- x y) (* x 2.0))) (neg (- x y)) (neg (* x 2.0)) (/ x (* x 2.0)) (/ y (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (/ (cbrt (- x y)) 2.0) (/ (sqrt (- x y)) x) (/ (sqrt (- x y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ (+ (sqrt x) (sqrt y)) x) (/ (- (sqrt x) (sqrt y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (- x y)) (/ (- x y) x) (/ (* x 2.0) (cbrt (- x y))) (/ (* x 2.0) (sqrt (- x y))) (/ (* x 2.0) (- x y)) (/ (* x 2.0) (- (sqrt x) (sqrt y))) (/ (* x 2.0) (- x y)) (* (* x 2.0) (+ (* x x) (+ (* y y) (* x y)))) (* (* x 2.0) (+ x y)) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- 0.5 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) 26.555 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 26.557 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 26.560 * * [simplify]: iteration 2 : 49 enodes (cost 13 ) 26.568 * * [simplify]: iteration 3 : 112 enodes (cost 13 ) 26.609 * * [simplify]: iteration 4 : 224 enodes (cost 13 ) 26.673 * * [simplify]: iteration 5 : 313 enodes (cost 13 ) 26.765 * * [simplify]: iteration 6 : 429 enodes (cost 13 ) 26.893 * * [simplify]: iteration 7 : 515 enodes (cost 13 ) 27.004 * * [simplify]: iteration 8 : 526 enodes (cost 13 ) 27.127 * * [simplify]: iteration done : 526 enodes (cost 13 ) 27.128 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 27.129 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 27.132 * * [simplify]: iteration 2 : 42 enodes (cost 12 ) 27.138 * * [simplify]: iteration 3 : 86 enodes (cost 12 ) 27.160 * * [simplify]: iteration 4 : 173 enodes (cost 12 ) 27.206 * * [simplify]: iteration 5 : 252 enodes (cost 12 ) 27.290 * * [simplify]: iteration 6 : 376 enodes (cost 12 ) 27.441 * * [simplify]: iteration 7 : 521 enodes (cost 12 ) 27.550 * * [simplify]: iteration 8 : 551 enodes (cost 12 ) 27.671 * * [simplify]: iteration done : 551 enodes (cost 12 ) 27.672 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 27.673 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 27.676 * * [simplify]: iteration 2 : 49 enodes (cost 11 ) 27.682 * * [simplify]: iteration 3 : 96 enodes (cost 11 ) 27.703 * * [simplify]: iteration 4 : 177 enodes (cost 11 ) 27.739 * * [simplify]: iteration 5 : 258 enodes (cost 11 ) 27.809 * * [simplify]: iteration 6 : 345 enodes (cost 11 ) 27.912 * * [simplify]: iteration 7 : 462 enodes (cost 11 ) 28.036 * * [simplify]: iteration 8 : 549 enodes (cost 11 ) 28.158 * * [simplify]: iteration 9 : 560 enodes (cost 11 ) 28.285 * * [simplify]: iteration done : 560 enodes (cost 11 ) 28.286 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 28.287 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 28.289 * * [simplify]: iteration 2 : 59 enodes (cost 10 ) 28.300 * * [simplify]: iteration 3 : 133 enodes (cost 10 ) 28.322 * * [simplify]: iteration 4 : 243 enodes (cost 10 ) 28.377 * * [simplify]: iteration 5 : 365 enodes (cost 10 ) 28.449 * * [simplify]: iteration 6 : 465 enodes (cost 10 ) 28.563 * * [simplify]: iteration 7 : 572 enodes (cost 10 ) 28.689 * * [simplify]: iteration 8 : 667 enodes (cost 10 ) 28.862 * * [simplify]: iteration 9 : 752 enodes (cost 10 ) 29.020 * * [simplify]: iteration 10 : 759 enodes (cost 10 ) 29.180 * * [simplify]: iteration done : 759 enodes (cost 10 ) 29.180 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 29.186 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 29.189 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 29.196 * * [simplify]: iteration 3 : 94 enodes (cost 10 ) 29.210 * * [simplify]: iteration 4 : 136 enodes (cost 10 ) 29.227 * * [simplify]: iteration 5 : 168 enodes (cost 10 ) 29.253 * * [simplify]: iteration 6 : 190 enodes (cost 10 ) 29.276 * * [simplify]: iteration 7 : 203 enodes (cost 10 ) 29.306 * * [simplify]: iteration 8 : 219 enodes (cost 10 ) 29.330 * * [simplify]: iteration 9 : 223 enodes (cost 10 ) 29.359 * * [simplify]: iteration 10 : 240 enodes (cost 10 ) 29.391 * * [simplify]: iteration 11 : 281 enodes (cost 10 ) 29.449 * * [simplify]: iteration 12 : 347 enodes (cost 10 ) 29.492 * * [simplify]: iteration 13 : 404 enodes (cost 10 ) 29.548 * * [simplify]: iteration 14 : 452 enodes (cost 10 ) 29.605 * * [simplify]: iteration 15 : 474 enodes (cost 10 ) 29.662 * * [simplify]: iteration 16 : 508 enodes (cost 10 ) 29.726 * * [simplify]: iteration 17 : 534 enodes (cost 10 ) 29.784 * * [simplify]: iteration 18 : 535 enodes (cost 10 ) 29.846 * * [simplify]: iteration done : 535 enodes (cost 10 ) 29.847 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 29.849 * * [simplify]: iteration 1 : 37 enodes (cost 29 ) 29.857 * * [simplify]: iteration 2 : 188 enodes (cost 17 ) 29.937 * * [simplify]: iteration 3 : 1223 enodes (cost 17 ) 31.196 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 31.197 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 31.199 * * [simplify]: iteration 1 : 39 enodes (cost 29 ) 31.208 * * [simplify]: iteration 2 : 202 enodes (cost 15 ) 31.321 * * [simplify]: iteration 3 : 1403 enodes (cost 13 ) 32.499 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 32.500 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 32.509 * * [simplify]: iteration 1 : 34 enodes (cost 29 ) 32.516 * * [simplify]: iteration 2 : 154 enodes (cost 13 ) 32.585 * * [simplify]: iteration 3 : 1041 enodes (cost 11 ) 33.782 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 33.783 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 33.784 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 33.786 * * [simplify]: iteration 2 : 47 enodes (cost 21 ) 33.793 * * [simplify]: iteration 3 : 92 enodes (cost 21 ) 33.807 * * [simplify]: iteration 4 : 132 enodes (cost 21 ) 33.823 * * [simplify]: iteration 5 : 162 enodes (cost 21 ) 33.847 * * [simplify]: iteration 6 : 179 enodes (cost 21 ) 33.868 * * [simplify]: iteration 7 : 188 enodes (cost 21 ) 33.893 * * [simplify]: iteration done : 188 enodes (cost 21 ) 33.893 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 33.894 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 33.897 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 33.903 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 33.917 * * [simplify]: iteration 4 : 131 enodes (cost 10 ) 33.933 * * [simplify]: iteration 5 : 161 enodes (cost 10 ) 33.957 * * [simplify]: iteration 6 : 178 enodes (cost 10 ) 33.977 * * [simplify]: iteration 7 : 187 enodes (cost 10 ) 33.999 * * [simplify]: iteration done : 187 enodes (cost 10 ) 33.999 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 34.005 * * [simplify]: iteration 1 : 26 enodes (cost 29 ) 34.009 * * [simplify]: iteration 2 : 91 enodes (cost 11 ) 34.036 * * [simplify]: iteration 3 : 469 enodes (cost 11 ) 34.819 * * [simplify]: iteration 4 : 4196 enodes (cost 11 ) 35.958 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 35.959 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 35.960 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 35.962 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 35.969 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 35.982 * * [simplify]: iteration 4 : 131 enodes (cost 10 ) 35.998 * * [simplify]: iteration 5 : 161 enodes (cost 10 ) 36.021 * * [simplify]: iteration 6 : 178 enodes (cost 10 ) 36.042 * * [simplify]: iteration 7 : 187 enodes (cost 10 ) 36.067 * * [simplify]: iteration done : 187 enodes (cost 10 ) 36.068 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 36.069 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 36.071 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 36.078 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 36.092 * * [simplify]: iteration 4 : 131 enodes (cost 10 ) 36.107 * * [simplify]: iteration 5 : 161 enodes (cost 10 ) 36.132 * * [simplify]: iteration 6 : 178 enodes (cost 10 ) 36.152 * * [simplify]: iteration 7 : 187 enodes (cost 10 ) 36.175 * * [simplify]: iteration done : 187 enodes (cost 10 ) 36.179 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.180 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 36.182 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 36.187 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 36.193 * * [simplify]: iteration 4 : 82 enodes (cost 7 ) 36.202 * * [simplify]: iteration 5 : 94 enodes (cost 7 ) 36.211 * * [simplify]: iteration 6 : 95 enodes (cost 7 ) 36.219 * * [simplify]: iteration done : 95 enodes (cost 7 ) 36.220 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 36.220 * * [simplify]: iteration done : 2 enodes (cost 2 ) 36.221 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.222 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 36.223 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 36.226 * * [simplify]: iteration 3 : 39 enodes (cost 5 ) 36.230 * * [simplify]: iteration 4 : 41 enodes (cost 5 ) 36.238 * * [simplify]: iteration done : 41 enodes (cost 5 ) 36.239 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.240 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 36.241 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 36.244 * * [simplify]: iteration 3 : 37 enodes (cost 5 ) 36.249 * * [simplify]: iteration 4 : 40 enodes (cost 5 ) 36.253 * * [simplify]: iteration done : 40 enodes (cost 5 ) 36.254 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 36.255 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 36.258 * * [simplify]: iteration 2 : 48 enodes (cost 23 ) 36.264 * * [simplify]: iteration 3 : 63 enodes (cost 23 ) 36.271 * * [simplify]: iteration 4 : 71 enodes (cost 23 ) 36.278 * * [simplify]: iteration 5 : 72 enodes (cost 23 ) 36.286 * * [simplify]: iteration done : 72 enodes (cost 23 ) 36.286 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 36.287 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 36.289 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 36.296 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 36.301 * * [simplify]: iteration 4 : 48 enodes (cost 11 ) 36.305 * * [simplify]: iteration 5 : 49 enodes (cost 11 ) 36.310 * * [simplify]: iteration done : 49 enodes (cost 11 ) 36.310 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 36.312 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 36.314 * * [simplify]: iteration 2 : 36 enodes (cost 20 ) 36.318 * * [simplify]: iteration 3 : 46 enodes (cost 20 ) 36.323 * * [simplify]: iteration 4 : 54 enodes (cost 20 ) 36.329 * * [simplify]: iteration 5 : 55 enodes (cost 20 ) 36.334 * * [simplify]: iteration done : 55 enodes (cost 20 ) 36.335 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 36.336 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 36.338 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 36.341 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 36.346 * * [simplify]: iteration 4 : 48 enodes (cost 11 ) 36.350 * * [simplify]: iteration 5 : 49 enodes (cost 11 ) 36.358 * * [simplify]: iteration done : 49 enodes (cost 11 ) 36.359 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 36.360 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 36.363 * * [simplify]: iteration 2 : 42 enodes (cost 17 ) 36.367 * * [simplify]: iteration 3 : 55 enodes (cost 17 ) 36.372 * * [simplify]: iteration 4 : 61 enodes (cost 17 ) 36.378 * * [simplify]: iteration 5 : 62 enodes (cost 17 ) 36.384 * * [simplify]: iteration done : 62 enodes (cost 17 ) 36.385 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 36.386 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 36.388 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 36.391 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 36.395 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 36.399 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 36.404 * * [simplify]: iteration done : 48 enodes (cost 10 ) 36.405 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 36.406 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 36.408 * * [simplify]: iteration 2 : 34 enodes (cost 14 ) 36.416 * * [simplify]: iteration 3 : 43 enodes (cost 14 ) 36.420 * * [simplify]: iteration 4 : 51 enodes (cost 14 ) 36.425 * * [simplify]: iteration 5 : 52 enodes (cost 14 ) 36.430 * * [simplify]: iteration done : 52 enodes (cost 14 ) 36.431 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 36.432 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 36.434 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 36.438 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 36.443 * * [simplify]: iteration 4 : 48 enodes (cost 11 ) 36.447 * * [simplify]: iteration 5 : 49 enodes (cost 11 ) 36.452 * * [simplify]: iteration done : 49 enodes (cost 11 ) 36.452 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 36.453 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 36.455 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 36.459 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 36.463 * * [simplify]: iteration 4 : 48 enodes (cost 11 ) 36.468 * * [simplify]: iteration 5 : 49 enodes (cost 11 ) 36.476 * * [simplify]: iteration done : 49 enodes (cost 11 ) 36.477 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 36.478 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 36.480 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 36.483 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 36.488 * * [simplify]: iteration 4 : 48 enodes (cost 11 ) 36.492 * * [simplify]: iteration 5 : 49 enodes (cost 11 ) 36.497 * * [simplify]: iteration done : 49 enodes (cost 11 ) 36.498 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 36.499 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 36.501 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 36.505 * * [simplify]: iteration 3 : 43 enodes (cost 8 ) 36.509 * * [simplify]: iteration 4 : 49 enodes (cost 8 ) 36.513 * * [simplify]: iteration 5 : 50 enodes (cost 8 ) 36.518 * * [simplify]: iteration done : 50 enodes (cost 8 ) 36.518 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 36.519 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 36.521 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 36.525 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 36.533 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 36.538 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 36.542 * * [simplify]: iteration done : 48 enodes (cost 10 ) 36.543 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 36.544 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 36.546 * * [simplify]: iteration 2 : 34 enodes (cost 17 ) 36.551 * * [simplify]: iteration 3 : 70 enodes (cost 17 ) 36.563 * * [simplify]: iteration 4 : 112 enodes (cost 17 ) 36.582 * * [simplify]: iteration 5 : 122 enodes (cost 17 ) 36.603 * * [simplify]: iteration done : 122 enodes (cost 17 ) 36.604 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.605 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 36.606 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 36.608 * * [simplify]: iteration done : 16 enodes (cost 9 ) 36.609 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 36.610 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 36.611 * * [simplify]: iteration 2 : 26 enodes (cost 14 ) 36.615 * * [simplify]: iteration 3 : 39 enodes (cost 14 ) 36.620 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 36.626 * * [simplify]: iteration done : 49 enodes (cost 14 ) 36.626 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.627 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 36.629 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 36.630 * * [simplify]: iteration done : 16 enodes (cost 9 ) 36.631 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 36.632 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 36.634 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 36.637 * * [simplify]: iteration 3 : 45 enodes (cost 11 ) 36.641 * * [simplify]: iteration 4 : 60 enodes (cost 11 ) 36.652 * * [simplify]: iteration 5 : 65 enodes (cost 11 ) 36.656 * * [simplify]: iteration done : 65 enodes (cost 11 ) 36.657 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.658 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 36.659 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 36.660 * * [simplify]: iteration done : 15 enodes (cost 8 ) 36.661 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 36.662 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 36.664 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 36.667 * * [simplify]: iteration 3 : 27 enodes (cost 12 ) 36.670 * * [simplify]: iteration done : 27 enodes (cost 12 ) 36.671 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.672 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 36.673 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 36.675 * * [simplify]: iteration done : 16 enodes (cost 9 ) 36.675 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 36.676 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 36.677 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 36.679 * * [simplify]: iteration done : 15 enodes (cost 9 ) 36.679 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.680 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 36.681 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 36.683 * * [simplify]: iteration done : 16 enodes (cost 9 ) 36.684 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.684 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 36.686 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 36.687 * * [simplify]: iteration done : 21 enodes (cost 6 ) 36.688 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.689 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 36.690 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 36.691 * * [simplify]: iteration done : 15 enodes (cost 8 ) 36.692 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 36.693 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 36.694 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 36.696 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 36.699 * * [simplify]: iteration done : 25 enodes (cost 9 ) 36.700 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.700 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.702 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 36.705 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 36.713 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 36.717 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 36.722 * * [simplify]: iteration done : 46 enodes (cost 8 ) 36.723 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 36.723 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 36.725 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 36.726 * * [simplify]: iteration done : 13 enodes (cost 6 ) 36.727 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.727 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.729 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 36.732 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 36.737 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 36.741 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 36.746 * * [simplify]: iteration done : 46 enodes (cost 8 ) 36.746 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 36.747 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 36.748 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 36.748 * * [simplify]: iteration done : 15 enodes (cost 3 ) 36.749 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.750 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 36.751 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 36.754 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 36.758 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 36.763 * * [simplify]: iteration 5 : 49 enodes (cost 7 ) 36.767 * * [simplify]: iteration done : 49 enodes (cost 7 ) 36.768 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 36.769 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 36.770 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 36.776 * * [simplify]: iteration 3 : 26 enodes (cost 13 ) 36.779 * * [simplify]: iteration done : 26 enodes (cost 13 ) 36.780 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 36.781 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 36.783 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 36.786 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 36.791 * * [simplify]: iteration 4 : 45 enodes (cost 10 ) 36.796 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 36.801 * * [simplify]: iteration done : 48 enodes (cost 10 ) 36.802 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 36.802 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 36.804 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 36.805 * * [simplify]: iteration done : 13 enodes (cost 10 ) 36.805 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 36.806 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 36.808 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 36.811 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 36.815 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 36.820 * * [simplify]: iteration 5 : 51 enodes (cost 9 ) 36.824 * * [simplify]: iteration done : 51 enodes (cost 9 ) 36.825 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.826 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 36.827 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 36.828 * * [simplify]: iteration done : 20 enodes (cost 7 ) 36.829 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 36.830 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 36.831 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 36.838 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 36.842 * * [simplify]: iteration 4 : 44 enodes (cost 9 ) 36.847 * * [simplify]: iteration 5 : 47 enodes (cost 9 ) 36.853 * * [simplify]: iteration done : 47 enodes (cost 9 ) 36.853 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 36.854 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 36.856 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 36.858 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 36.860 * * [simplify]: iteration done : 25 enodes (cost 9 ) 36.861 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.862 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.864 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 36.867 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 36.871 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 36.875 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 36.879 * * [simplify]: iteration done : 46 enodes (cost 8 ) 36.880 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 36.881 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 36.882 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 36.883 * * [simplify]: iteration done : 13 enodes (cost 6 ) 36.883 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.884 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.886 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 36.889 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 36.893 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 36.900 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 36.905 * * [simplify]: iteration done : 46 enodes (cost 8 ) 36.905 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 36.906 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 36.907 * * [simplify]: iteration 2 : 15 enodes (cost 3 ) 36.907 * * [simplify]: iteration done : 15 enodes (cost 3 ) 36.908 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.909 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 36.910 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 36.914 * * [simplify]: iteration 3 : 36 enodes (cost 7 ) 36.918 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 36.922 * * [simplify]: iteration 5 : 49 enodes (cost 7 ) 36.927 * * [simplify]: iteration done : 49 enodes (cost 7 ) 36.928 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 36.928 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 36.929 * * [simplify]: iteration done : 9 enodes (cost 7 ) 36.929 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 36.930 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 36.933 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 36.939 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 36.952 * * [simplify]: iteration 4 : 123 enodes (cost 10 ) 36.973 * * [simplify]: iteration 5 : 141 enodes (cost 10 ) 36.989 * * [simplify]: iteration 6 : 143 enodes (cost 10 ) 37.006 * * [simplify]: iteration done : 143 enodes (cost 10 ) 37.006 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 37.007 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 37.007 * * [simplify]: iteration done : 6 enodes (cost 4 ) 37.008 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 37.009 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 37.011 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 37.021 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 37.034 * * [simplify]: iteration 4 : 123 enodes (cost 10 ) 37.050 * * [simplify]: iteration 5 : 141 enodes (cost 10 ) 37.066 * * [simplify]: iteration 6 : 143 enodes (cost 10 ) 37.087 * * [simplify]: iteration done : 143 enodes (cost 10 ) 37.088 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 37.088 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 37.088 * * [simplify]: iteration done : 4 enodes (cost 1 ) 37.089 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 37.090 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 37.092 * * [simplify]: iteration 2 : 45 enodes (cost 9 ) 37.099 * * [simplify]: iteration 3 : 90 enodes (cost 9 ) 37.112 * * [simplify]: iteration 4 : 130 enodes (cost 9 ) 37.133 * * [simplify]: iteration 5 : 160 enodes (cost 9 ) 37.152 * * [simplify]: iteration 6 : 177 enodes (cost 9 ) 37.172 * * [simplify]: iteration 7 : 186 enodes (cost 9 ) 37.198 * * [simplify]: iteration done : 186 enodes (cost 9 ) 37.199 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 37.200 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 37.201 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 37.204 * * [simplify]: iteration 3 : 26 enodes (cost 9 ) 37.206 * * [simplify]: iteration 4 : 29 enodes (cost 9 ) 37.209 * * [simplify]: iteration done : 29 enodes (cost 9 ) 37.210 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 37.211 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 37.212 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 37.215 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 37.220 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 37.225 * * [simplify]: iteration done : 41 enodes (cost 8 ) 37.226 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 37.227 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 37.228 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 37.229 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 37.231 * * [simplify]: iteration done : 15 enodes (cost 6 ) 37.231 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 37.232 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 37.234 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 37.237 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 37.242 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 37.249 * * [simplify]: iteration done : 41 enodes (cost 8 ) 37.250 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.251 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 37.252 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 37.253 * * [simplify]: iteration done : 17 enodes (cost 3 ) 37.253 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 37.254 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 37.256 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 37.259 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 37.264 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 37.268 * * [simplify]: iteration done : 40 enodes (cost 7 ) 37.269 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.269 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 37.269 * * [simplify]: iteration done : 5 enodes (cost 3 ) 37.270 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 37.271 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 37.273 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 37.279 * * [simplify]: iteration 3 : 64 enodes (cost 9 ) 37.287 * * [simplify]: iteration 4 : 80 enodes (cost 9 ) 37.298 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 37.316 * * [simplify]: iteration 6 : 130 enodes (cost 9 ) 37.335 * * [simplify]: iteration 7 : 153 enodes (cost 9 ) 37.359 * * [simplify]: iteration 8 : 167 enodes (cost 9 ) 37.381 * * [simplify]: iteration 9 : 174 enodes (cost 9 ) 37.403 * * [simplify]: iteration done : 174 enodes (cost 9 ) 37.404 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 37.405 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 37.409 * * [simplify]: iteration 2 : 57 enodes (cost 13 ) 37.420 * * [simplify]: iteration 3 : 133 enodes (cost 13 ) 37.442 * * [simplify]: iteration 4 : 231 enodes (cost 13 ) 37.489 * * [simplify]: iteration 5 : 314 enodes (cost 13 ) 37.541 * * [simplify]: iteration 6 : 327 enodes (cost 13 ) 37.590 * * [simplify]: iteration 7 : 328 enodes (cost 13 ) 37.638 * * [simplify]: iteration done : 328 enodes (cost 13 ) 37.639 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 37.640 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 37.642 * * [simplify]: iteration 2 : 46 enodes (cost 10 ) 37.649 * * [simplify]: iteration 3 : 91 enodes (cost 10 ) 37.662 * * [simplify]: iteration 4 : 123 enodes (cost 10 ) 37.677 * * [simplify]: iteration 5 : 141 enodes (cost 10 ) 37.698 * * [simplify]: iteration 6 : 143 enodes (cost 10 ) 37.715 * * [simplify]: iteration done : 143 enodes (cost 10 ) 37.716 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.717 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 37.719 * * [simplify]: iteration 2 : 49 enodes (cost 7 ) 37.730 * * [simplify]: iteration 3 : 104 enodes (cost 7 ) 37.742 * * [simplify]: iteration 4 : 131 enodes (cost 7 ) 37.755 * * [simplify]: iteration 5 : 140 enodes (cost 7 ) 37.763 * * [simplify]: iteration 6 : 141 enodes (cost 7 ) 37.771 * * [simplify]: iteration done : 141 enodes (cost 7 ) 37.771 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 37.772 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 37.774 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 37.778 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 37.782 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 37.786 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 37.791 * * [simplify]: iteration done : 48 enodes (cost 10 ) 37.792 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 37.792 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 37.794 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 37.798 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 37.802 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 37.811 * * [simplify]: iteration 5 : 48 enodes (cost 10 ) 37.815 * * [simplify]: iteration done : 48 enodes (cost 10 ) 37.816 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 37.817 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 37.818 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 37.819 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 37.821 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 37.823 * * [simplify]: iteration 5 : 20 enodes (cost 8 ) 37.825 * * [simplify]: iteration 6 : 21 enodes (cost 8 ) 37.827 * * [simplify]: iteration done : 21 enodes (cost 8 ) 37.828 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 37.829 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 37.830 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 37.831 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 37.833 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 37.835 * * [simplify]: iteration 5 : 20 enodes (cost 8 ) 37.837 * * [simplify]: iteration 6 : 21 enodes (cost 8 ) 37.840 * * [simplify]: iteration done : 21 enodes (cost 8 ) 37.840 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 37.841 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 37.842 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 37.845 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 37.847 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 37.850 * * [simplify]: iteration 5 : 29 enodes (cost 7 ) 37.853 * * [simplify]: iteration 6 : 34 enodes (cost 7 ) 37.857 * * [simplify]: iteration 7 : 37 enodes (cost 7 ) 37.860 * * [simplify]: iteration done : 37 enodes (cost 7 ) 37.861 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.862 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 37.864 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 37.870 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 37.872 * * [simplify]: iteration 4 : 26 enodes (cost 9 ) 37.875 * * [simplify]: iteration 5 : 31 enodes (cost 9 ) 37.878 * * [simplify]: iteration 6 : 34 enodes (cost 9 ) 37.882 * * [simplify]: iteration 7 : 36 enodes (cost 9 ) 37.886 * * [simplify]: iteration done : 36 enodes (cost 9 ) 37.887 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 37.887 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 37.889 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 37.891 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 37.893 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 37.897 * * [simplify]: iteration 5 : 29 enodes (cost 7 ) 37.900 * * [simplify]: iteration 6 : 34 enodes (cost 7 ) 37.903 * * [simplify]: iteration 7 : 37 enodes (cost 7 ) 37.907 * * [simplify]: iteration done : 37 enodes (cost 7 ) 37.907 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 37.908 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 37.911 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 37.916 * * [simplify]: iteration 3 : 64 enodes (cost 9 ) 37.929 * * [simplify]: iteration 4 : 80 enodes (cost 9 ) 37.939 * * [simplify]: iteration 5 : 100 enodes (cost 9 ) 37.953 * * [simplify]: iteration 6 : 130 enodes (cost 9 ) 37.971 * * [simplify]: iteration 7 : 153 enodes (cost 9 ) 37.995 * * [simplify]: iteration 8 : 167 enodes (cost 9 ) 38.016 * * [simplify]: iteration 9 : 174 enodes (cost 9 ) 38.042 * * [simplify]: iteration done : 174 enodes (cost 9 ) 38.043 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.043 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 38.045 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 38.048 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 38.055 * * [simplify]: iteration 4 : 72 enodes (cost 5 ) 38.076 * * [simplify]: iteration 5 : 133 enodes (cost 5 ) 38.101 * * [simplify]: iteration 6 : 157 enodes (cost 5 ) 38.116 * * [simplify]: iteration done : 157 enodes (cost 5 ) 38.116 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.117 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 38.118 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 38.120 * * [simplify]: iteration done : 15 enodes (cost 5 ) 38.121 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 38.122 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 38.124 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 38.126 * * [simplify]: iteration 3 : 36 enodes (cost 10 ) 38.131 * * [simplify]: iteration 4 : 48 enodes (cost 10 ) 38.139 * * [simplify]: iteration 5 : 64 enodes (cost 10 ) 38.152 * * [simplify]: iteration 6 : 83 enodes (cost 10 ) 38.163 * * [simplify]: iteration 7 : 99 enodes (cost 10 ) 38.174 * * [simplify]: iteration 8 : 104 enodes (cost 10 ) 38.186 * * [simplify]: iteration done : 104 enodes (cost 10 ) 38.187 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.188 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 38.190 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 38.192 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 38.196 * * [simplify]: iteration 4 : 41 enodes (cost 9 ) 38.202 * * [simplify]: iteration 5 : 53 enodes (cost 9 ) 38.213 * * [simplify]: iteration 6 : 72 enodes (cost 9 ) 38.226 * * [simplify]: iteration 7 : 98 enodes (cost 9 ) 38.238 * * [simplify]: iteration 8 : 108 enodes (cost 9 ) 38.250 * * [simplify]: iteration done : 108 enodes (cost 9 ) 38.251 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.252 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 38.254 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 38.259 * * [simplify]: iteration 3 : 61 enodes (cost 8 ) 38.270 * * [simplify]: iteration 4 : 82 enodes (cost 8 ) 38.279 * * [simplify]: iteration 5 : 93 enodes (cost 8 ) 38.290 * * [simplify]: iteration 6 : 109 enodes (cost 8 ) 38.304 * * [simplify]: iteration 7 : 128 enodes (cost 8 ) 38.323 * * [simplify]: iteration 8 : 144 enodes (cost 8 ) 38.338 * * [simplify]: iteration 9 : 149 enodes (cost 8 ) 38.355 * * [simplify]: iteration done : 149 enodes (cost 8 ) 38.355 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.356 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 38.358 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 38.362 * * [simplify]: iteration 3 : 43 enodes (cost 8 ) 38.368 * * [simplify]: iteration 4 : 53 enodes (cost 8 ) 38.373 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 38.383 * * [simplify]: iteration 6 : 62 enodes (cost 8 ) 38.390 * * [simplify]: iteration 7 : 78 enodes (cost 8 ) 38.398 * * [simplify]: iteration 8 : 82 enodes (cost 8 ) 38.407 * * [simplify]: iteration 9 : 94 enodes (cost 8 ) 38.418 * * [simplify]: iteration 10 : 111 enodes (cost 8 ) 38.436 * * [simplify]: iteration 11 : 139 enodes (cost 8 ) 38.452 * * [simplify]: iteration 12 : 167 enodes (cost 8 ) 38.471 * * [simplify]: iteration 13 : 188 enodes (cost 8 ) 38.496 * * [simplify]: iteration 14 : 203 enodes (cost 8 ) 38.519 * * [simplify]: iteration 15 : 229 enodes (cost 8 ) 38.542 * * [simplify]: iteration 16 : 240 enodes (cost 8 ) 38.567 * * [simplify]: iteration 17 : 241 enodes (cost 8 ) 38.589 * * [simplify]: iteration done : 241 enodes (cost 8 ) 38.590 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 38.592 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 38.599 * * [simplify]: iteration 2 : 133 enodes (cost 13 ) 38.645 * * [simplify]: iteration 3 : 627 enodes (cost 13 ) 39.298 * * [simplify]: iteration 4 : 2652 enodes (cost 11 ) 41.110 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 41.111 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 41.112 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 41.120 * * [simplify]: iteration 2 : 149 enodes (cost 11 ) 41.199 * * [simplify]: iteration 3 : 777 enodes (cost 9 ) 42.393 * * [simplify]: iteration 4 : 3141 enodes (cost 9 ) 44.537 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 44.537 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 44.539 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 44.540 * * [simplify]: iteration 2 : 30 enodes (cost 17 ) 44.544 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 44.548 * * [simplify]: iteration 4 : 47 enodes (cost 17 ) 44.554 * * [simplify]: iteration 5 : 48 enodes (cost 17 ) 44.558 * * [simplify]: iteration done : 48 enodes (cost 17 ) 44.559 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 44.560 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 44.562 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 44.565 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 44.569 * * [simplify]: iteration 4 : 46 enodes (cost 8 ) 44.573 * * [simplify]: iteration 5 : 47 enodes (cost 8 ) 44.582 * * [simplify]: iteration done : 47 enodes (cost 8 ) 44.583 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 44.584 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 44.589 * * [simplify]: iteration 2 : 95 enodes (cost 9 ) 44.621 * * [simplify]: iteration 3 : 516 enodes (cost 9 ) 45.137 * * [simplify]: iteration 4 : 2520 enodes (cost 9 ) 46.986 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 46.987 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 46.988 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 46.990 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 46.994 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 46.998 * * [simplify]: iteration 4 : 46 enodes (cost 8 ) 47.002 * * [simplify]: iteration 5 : 47 enodes (cost 8 ) 47.007 * * [simplify]: iteration done : 47 enodes (cost 8 ) 47.008 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.009 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 47.011 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 47.014 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 47.022 * * [simplify]: iteration 4 : 46 enodes (cost 8 ) 47.026 * * [simplify]: iteration 5 : 47 enodes (cost 8 ) 47.031 * * [simplify]: iteration done : 47 enodes (cost 8 ) 47.032 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.032 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 47.033 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 47.034 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 47.035 * * [simplify]: iteration 4 : 13 enodes (cost 3 ) 47.036 * * [simplify]: iteration done : 13 enodes (cost 3 ) 47.036 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.037 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 47.038 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 47.039 * * [simplify]: iteration done : 11 enodes (cost 4 ) 47.040 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 47.040 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 47.041 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 47.042 * * [simplify]: iteration 3 : 12 enodes (cost 3 ) 47.043 * * [simplify]: iteration done : 12 enodes (cost 3 ) 47.043 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 47.044 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 47.045 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 47.046 * * [simplify]: iteration done : 10 enodes (cost 5 ) 47.047 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 47.048 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 47.049 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 47.050 * * [simplify]: iteration 3 : 14 enodes (cost 11 ) 47.052 * * [simplify]: iteration done : 14 enodes (cost 11 ) 47.052 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 47.053 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 47.054 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 47.055 * * [simplify]: iteration done : 9 enodes (cost 6 ) 47.055 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 47.056 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 47.057 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 47.057 * * [simplify]: iteration done : 8 enodes (cost 6 ) 47.058 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 47.059 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 47.059 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 47.060 * * [simplify]: iteration done : 9 enodes (cost 6 ) 47.061 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.061 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 47.061 * * [simplify]: iteration done : 5 enodes (cost 3 ) 47.062 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 47.063 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 47.064 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 47.065 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 47.067 * * [simplify]: iteration done : 15 enodes (cost 5 ) 47.067 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.068 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 47.068 * * [simplify]: iteration done : 7 enodes (cost 7 ) 47.069 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.070 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 47.071 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 47.072 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 47.074 * * [simplify]: iteration done : 17 enodes (cost 7 ) 47.074 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.075 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 47.075 * * [simplify]: iteration done : 5 enodes (cost 3 ) 47.076 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 47.077 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 47.078 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 47.079 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 47.081 * * [simplify]: iteration done : 15 enodes (cost 5 ) 47.082 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 47.082 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 47.083 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 47.084 * * [simplify]: iteration done : 12 enodes (cost 5 ) 47.085 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.085 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 47.090 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 47.092 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 47.096 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 47.099 * * [simplify]: iteration 5 : 37 enodes (cost 7 ) 47.103 * * [simplify]: iteration done : 37 enodes (cost 7 ) 47.103 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 47.104 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 47.105 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 47.107 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 47.108 * * [simplify]: iteration done : 17 enodes (cost 5 ) 47.109 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.109 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 47.111 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 47.113 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 47.115 * * [simplify]: iteration 4 : 21 enodes (cost 8 ) 47.117 * * [simplify]: iteration done : 21 enodes (cost 8 ) 47.118 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 47.119 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 47.120 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 47.122 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 47.124 * * [simplify]: iteration 4 : 21 enodes (cost 8 ) 47.126 * * [simplify]: iteration done : 21 enodes (cost 8 ) 47.127 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.127 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 47.129 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 47.131 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 47.134 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 47.138 * * [simplify]: iteration 5 : 37 enodes (cost 7 ) 47.142 * * [simplify]: iteration done : 37 enodes (cost 7 ) 47.142 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 47.143 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 47.145 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 47.147 * * [simplify]: iteration 3 : 29 enodes (cost 9 ) 47.153 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 47.157 * * [simplify]: iteration 5 : 36 enodes (cost 9 ) 47.161 * * [simplify]: iteration done : 36 enodes (cost 9 ) 47.162 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 47.163 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 47.164 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 47.166 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 47.170 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 47.173 * * [simplify]: iteration 5 : 37 enodes (cost 7 ) 47.177 * * [simplify]: iteration done : 37 enodes (cost 7 ) 47.178 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 47.179 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 47.185 * * [simplify]: iteration 2 : 88 enodes (cost 13 ) 47.205 * * [simplify]: iteration 3 : 197 enodes (cost 13 ) 47.259 * * [simplify]: iteration 4 : 262 enodes (cost 13 ) 47.324 * * [simplify]: iteration 5 : 276 enodes (cost 13 ) 47.390 * * [simplify]: iteration 6 : 296 enodes (cost 13 ) 47.461 * * [simplify]: iteration 7 : 345 enodes (cost 13 ) 47.559 * * [simplify]: iteration 8 : 496 enodes (cost 13 ) 47.832 * * [simplify]: iteration 9 : 1019 enodes (cost 13 ) 50.188 * * [simplify]: iteration 10 : 3346 enodes (cost 13 ) 53.795 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 53.796 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 53.796 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 53.799 * * [simplify]: iteration 2 : 39 enodes (cost 7 ) 53.811 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 53.818 * * [simplify]: iteration done : 45 enodes (cost 7 ) 53.819 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 53.820 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 53.823 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 53.828 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 53.834 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 53.845 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 53.860 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 53.880 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 53.896 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 53.912 * * [simplify]: iteration done : 106 enodes (cost 7 ) 53.912 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 53.914 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 53.917 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 53.921 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 53.931 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 53.944 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 53.959 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 53.974 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 53.994 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 54.010 * * [simplify]: iteration done : 106 enodes (cost 7 ) 54.011 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 54.012 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 54.015 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 54.020 * * [simplify]: iteration 3 : 47 enodes (cost 7 ) 54.025 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 54.037 * * [simplify]: iteration 5 : 90 enodes (cost 7 ) 54.056 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 54.071 * * [simplify]: iteration 7 : 104 enodes (cost 7 ) 54.087 * * [simplify]: iteration 8 : 106 enodes (cost 7 ) 54.107 * * [simplify]: iteration done : 106 enodes (cost 7 ) 54.108 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 54.109 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 54.110 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 54.113 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 54.118 * * [simplify]: iteration 4 : 54 enodes (cost 7 ) 54.126 * * [simplify]: iteration 5 : 64 enodes (cost 7 ) 54.136 * * [simplify]: iteration 6 : 65 enodes (cost 7 ) 54.143 * * [simplify]: iteration done : 65 enodes (cost 7 ) 54.144 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 54.145 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 54.146 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 54.150 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 54.160 * * [simplify]: iteration 4 : 54 enodes (cost 7 ) 54.167 * * [simplify]: iteration 5 : 64 enodes (cost 7 ) 54.178 * * [simplify]: iteration 6 : 65 enodes (cost 7 ) 54.185 * * [simplify]: iteration done : 65 enodes (cost 7 ) 54.186 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 54.186 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 54.188 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 54.191 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 54.196 * * [simplify]: iteration 4 : 54 enodes (cost 7 ) 54.204 * * [simplify]: iteration 5 : 64 enodes (cost 7 ) 54.219 * * [simplify]: iteration 6 : 65 enodes (cost 7 ) 54.227 * * [simplify]: iteration done : 65 enodes (cost 7 ) 54.228 * [simplify]: Simplified to: (- (- (log (- x y)) (+ (log x) (log 2.0))) (log y)) (- (- (log (- x y)) (log (* x 2.0))) (log y)) (- (log (/ (- x y) (* x 2.0))) (log y)) (log (/ (/ (- x y) (* x 2.0)) y)) (exp (/ (/ (- x y) (* x 2.0)) y)) (/ (pow (- x y) 3) (* (pow y 3) (* (pow 2.0 3) (pow x 3)))) (/ (pow (/ (- x y) (* x 2.0)) 3) (pow y 3)) (pow (/ (/ (- x y) (* x 2.0)) y) 3) (* (cbrt (/ (/ (- x y) (* x 2.0)) y)) (cbrt (/ (/ (- x y) (* x 2.0)) y))) (cbrt (/ (/ (- x y) (* x 2.0)) y)) (pow (/ (/ (- x y) (* x 2.0)) y) 3) (sqrt (/ (/ (- x y) (* x 2.0)) y)) (sqrt (/ (/ (- x y) (* x 2.0)) y)) (/ (/ (- y x) 2.0) x) (neg y) (/ (/ 1 2.0) y) (/ (/ 1 x) 2.0) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (- x y) (* x 2.0))) (sqrt y)) (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (/ (cbrt (/ (- x y) (* x 2.0))) y) (/ (sqrt (/ (- x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (sqrt (/ (- x y) (* x 2.0))) (/ (sqrt (/ (- x y) (* x 2.0))) y) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (- x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (sqrt y)) (/ (/ (cbrt (- x y)) 2.0) (sqrt y)) (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (/ (/ (cbrt (- x y)) 2.0) y) (/ (/ (sqrt (- x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (- x y)) 2.0) (cbrt y)) (/ (/ (sqrt (- x y)) x) (sqrt y)) (/ (/ (sqrt (- x y)) 2.0) (sqrt y)) (/ (sqrt (- x y)) x) (/ (/ (sqrt (- x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (- x y) 2.0) y) (/ (/ (+ (sqrt x) (sqrt y)) x) (* (cbrt y) (cbrt y))) (/ (/ (- (sqrt x) (sqrt y)) 2.0) (cbrt y)) (/ (/ (+ (sqrt x) (sqrt y)) x) (sqrt y)) (/ (- (/ (sqrt x) (sqrt y)) 1) 2.0) (/ (+ (sqrt x) (sqrt y)) x) (/ (/ (- (sqrt x) (sqrt y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (- x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (- x y) (* x 2.0)) (sqrt y)) 1 (/ (/ (- x y) (* x 2.0)) y) (/ (- x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (- x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (- x y) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (- x y) (* x 2.0))) (/ (/ (- x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (sqrt y)) (/ (- x y) (* x 2.0)) (/ y (cbrt (/ (- x y) (* x 2.0)))) (/ y (sqrt (/ (- x y) (* x 2.0)))) (/ y (/ (cbrt (- x y)) 2.0)) (/ y (/ (sqrt (- x y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- (sqrt x) (sqrt y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- x y) (* x 2.0))) (* y (* x 2.0)) (* y (* x 2.0)) (- (log (- x y)) (+ (log x) (log 2.0))) (- (log (- x y)) (log (* x 2.0))) (log (/ (- x y) (* x 2.0))) (exp (/ (- x y) (* x 2.0))) (/ (pow (- x y) 3) (pow (* x 2.0) 3)) (pow (/ (- x y) (* x 2.0)) 3) (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (cbrt (/ (- x y) (* x 2.0))) (pow (/ (- x y) (* x 2.0)) 3) (sqrt (/ (- x y) (* x 2.0))) (sqrt (/ (- x y) (* x 2.0))) (- y x) (neg (* x 2.0)) (/ 1 2.0) (/ y (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (/ (cbrt (- x y)) 2.0) (/ (sqrt (- x y)) x) (/ (sqrt (- x y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ (+ (sqrt x) (sqrt y)) x) (/ (- (sqrt x) (sqrt y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (- x y)) (/ (- x y) x) (/ (* x 2.0) (cbrt (- x y))) (/ (* x 2.0) (sqrt (- x y))) (/ (* x 2.0) (- x y)) (/ (* x 2.0) (- (sqrt x) (sqrt y))) (/ (* x 2.0) (- x y)) (* (+ (* x x) (* y (+ y x))) (* x 2.0)) (* (* x 2.0) (+ x y)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- 0.5 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) 54.228 * * * [progress]: adding candidates to table 54.328 * [progress]: [Phase 3 of 3] Extracting. 54.328 * * [regime]: Finding splitpoints for: (# #) 54.329 * * * [regime-changes]: Trying 2 branch expressions: (y x) 54.329 * * * * [regimes]: Trying to branch on y from (# #) 54.363 * * * * [regimes]: Trying to branch on x from (# #) 54.396 * * * [regime]: Found split indices: #