1152.991 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (- (/ x (* y y)) 3.0) 0.024 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.025 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.026 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 0.028 * * [simplify]: iteration done : 11 enodes (cost 7 ) 0.028 * [simplify]: Simplified to: (- (/ x (* y y)) 3.0) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.031 * * * * [pick]: Picked # 0.031 * * * [progress]: localizing error 0.036 * * * [progress]: generating rewritten candidates 0.036 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.041 * * * [progress]: generating series expansions 0.041 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.042 * [approximate]: Taking taylor expansion of (/ x (pow y 2)) in (x y) around 0 0.042 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.042 * [taylor]: Taking taylor expansion of x in y 0.042 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.042 * [taylor]: Taking taylor expansion of y in y 0.042 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.042 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.042 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.042 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.042 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.042 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.042 * [taylor]: Taking taylor expansion of y in y 0.042 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.044 * [approximate]: Taking taylor expansion of (/ (pow y 2) x) in (x y) around 0 0.044 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 0.044 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.044 * [taylor]: Taking taylor expansion of x in y 0.044 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 0.044 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 0.044 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.044 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [approximate]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in (x y) around 0 0.045 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in y 0.045 * [taylor]: Taking taylor expansion of -1 in y 0.045 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 0.045 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of x in y 0.045 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in x 0.045 * [taylor]: Taking taylor expansion of -1 in x 0.045 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 0.046 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in x 0.046 * [taylor]: Taking taylor expansion of -1 in x 0.046 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 0.046 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (* -1 (pow y 2)) in y 0.046 * [taylor]: Taking taylor expansion of -1 in y 0.046 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of 0 in y 0.046 * [taylor]: Taking taylor expansion of 0 in y 0.047 * [taylor]: Taking taylor expansion of 0 in y 0.047 * * * [progress]: simplifying candidates 0.048 * [simplify]: Simplifying using # : (- (log x) (+ (log y) (log y))) (- (log x) (log (* y y))) (log (/ x (* y y))) (exp (/ x (* y y))) (/ (* (* x x) x) (* (* (* y y) y) (* (* y y) y))) (/ (* (* x x) x) (* (* (* y y) (* y y)) (* y y))) (* (cbrt (/ x (* y y))) (cbrt (/ x (* y y)))) (cbrt (/ x (* y y))) (* (* (/ x (* y y)) (/ x (* y y))) (/ x (* y y))) (sqrt (/ x (* y y))) (sqrt (/ x (* y y))) (neg x) (neg (* y y)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) y) (/ (sqrt x) y) (/ (sqrt x) y) (/ 1 y) (/ x y) (/ 1 (* y y)) (/ (* y y) x) (/ x y) (/ (* y y) (cbrt x)) (/ (* y y) (sqrt x)) (/ (* y y) x) (/ x (pow y 2)) (/ x (pow y 2)) (/ x (pow y 2)) 0.048 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 0.049 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.051 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 0.053 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 0.057 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 0.067 * * [simplify]: iteration 5 : 44 enodes (cost 7 ) 0.074 * * [simplify]: iteration 6 : 57 enodes (cost 7 ) 0.083 * * [simplify]: iteration 7 : 73 enodes (cost 7 ) 0.092 * * [simplify]: iteration 8 : 76 enodes (cost 7 ) 0.101 * * [simplify]: iteration done : 76 enodes (cost 7 ) 0.101 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.102 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.103 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.105 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 0.108 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 0.112 * * [simplify]: iteration 5 : 43 enodes (cost 7 ) 0.118 * * [simplify]: iteration 6 : 55 enodes (cost 7 ) 0.130 * * [simplify]: iteration 7 : 69 enodes (cost 7 ) 0.139 * * [simplify]: iteration 8 : 84 enodes (cost 7 ) 0.148 * * [simplify]: iteration done : 84 enodes (cost 7 ) 0.149 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.149 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.150 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 0.152 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 0.155 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 0.160 * * [simplify]: iteration 5 : 44 enodes (cost 6 ) 0.165 * * [simplify]: iteration 6 : 53 enodes (cost 6 ) 0.172 * * [simplify]: iteration 7 : 66 enodes (cost 6 ) 0.184 * * [simplify]: iteration 8 : 82 enodes (cost 6 ) 0.193 * * [simplify]: iteration 9 : 85 enodes (cost 6 ) 0.202 * * [simplify]: iteration done : 85 enodes (cost 6 ) 0.203 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.203 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.204 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.205 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 0.206 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 0.211 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 0.246 * * [simplify]: iteration 3 : 323 enodes (cost 7 ) 0.458 * * [simplify]: iteration 4 : 746 enodes (cost 7 ) 1.250 * * [simplify]: iteration 5 : 1849 enodes (cost 7 ) 4.031 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 4.031 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 4.033 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 4.038 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 4.075 * * [simplify]: iteration 3 : 339 enodes (cost 7 ) 4.316 * * [simplify]: iteration 4 : 806 enodes (cost 7 ) 5.204 * * [simplify]: iteration 5 : 1926 enodes (cost 7 ) 8.032 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 8.033 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 8.033 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 8.034 * * [simplify]: iteration done : 8 enodes (cost 13 ) 8.035 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.036 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 8.036 * * [simplify]: iteration done : 7 enodes (cost 6 ) 8.037 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 8.038 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 8.040 * * [simplify]: iteration 2 : 52 enodes (cost 7 ) 8.055 * * [simplify]: iteration 3 : 188 enodes (cost 7 ) 8.167 * * [simplify]: iteration 4 : 512 enodes (cost 7 ) 8.482 * * [simplify]: iteration 5 : 850 enodes (cost 7 ) 9.348 * * [simplify]: iteration 6 : 1977 enodes (cost 7 ) 12.173 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 12.174 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 12.174 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 12.175 * * [simplify]: iteration done : 7 enodes (cost 6 ) 12.176 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 12.176 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 12.177 * * [simplify]: iteration done : 7 enodes (cost 6 ) 12.178 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 12.178 * * [simplify]: iteration done : 2 enodes (cost 2 ) 12.178 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 12.179 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 12.179 * * [simplify]: iteration done : 6 enodes (cost 4 ) 12.180 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 12.180 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 12.181 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 12.182 * * [simplify]: iteration 3 : 10 enodes (cost 7 ) 12.183 * * [simplify]: iteration done : 10 enodes (cost 7 ) 12.184 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 12.184 * * [simplify]: iteration done : 4 enodes (cost 4 ) 12.185 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 12.185 * * [simplify]: iteration done : 4 enodes (cost 4 ) 12.186 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 12.186 * * [simplify]: iteration done : 4 enodes (cost 4 ) 12.187 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 12.187 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 12.187 * * [simplify]: iteration done : 5 enodes (cost 3 ) 12.188 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 12.188 * * [simplify]: iteration done : 3 enodes (cost 3 ) 12.189 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 12.193 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 12.194 * * [simplify]: iteration done : 8 enodes (cost 5 ) 12.194 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 12.195 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 12.196 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 12.197 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 12.198 * * [simplify]: iteration done : 9 enodes (cost 5 ) 12.198 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 12.198 * * [simplify]: iteration done : 3 enodes (cost 3 ) 12.199 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 12.200 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 12.200 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 12.201 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 12.203 * * [simplify]: iteration done : 10 enodes (cost 6 ) 12.203 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 12.204 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 12.204 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 12.205 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 12.206 * * [simplify]: iteration done : 10 enodes (cost 6 ) 12.207 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 12.208 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 12.208 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 12.209 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 12.210 * * [simplify]: iteration done : 9 enodes (cost 5 ) 12.211 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 12.211 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 12.213 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 12.214 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 12.216 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 12.218 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 12.222 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 12.231 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 12.280 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 12.731 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 15.053 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 15.053 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.054 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 15.055 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 15.057 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 15.058 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 15.061 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 15.064 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 15.078 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 15.127 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 15.571 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 17.881 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 17.882 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 17.882 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 17.884 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 17.885 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 17.887 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 17.889 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 17.892 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 17.901 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 17.950 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 18.398 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 20.980 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 20.980 * [simplify]: Simplified to: (- (log x) (* 2 (log y))) (- (log x) (log (* y y))) (log (/ x (* y y))) (exp (/ x (* y y))) (/ (pow x 3) (pow y 6)) (pow (/ x (* y y)) 3) (* (cbrt (/ x (* y y))) (cbrt (/ x (* y y)))) (cbrt (/ x (* y y))) (pow (/ x (* y y)) 3) (sqrt (/ x (* y y))) (sqrt (/ x (* y y))) (neg x) (neg (* y y)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) y) (/ (sqrt x) y) (/ (sqrt x) y) (/ 1 y) (/ x y) (/ 1 (* y y)) (/ (* y y) x) (/ x y) (/ (* y y) (cbrt x)) (/ (* y y) (sqrt x)) (/ (* y y) x) (/ x (pow y 2)) (/ x (pow y 2)) (/ x (pow y 2)) 20.980 * * * [progress]: adding candidates to table 21.021 * * [progress]: iteration 2 / 4 21.021 * * * [progress]: picking best candidate 21.036 * * * * [pick]: Picked # 21.036 * * * [progress]: localizing error 21.041 * * * [progress]: generating rewritten candidates 21.041 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 21.052 * * * [progress]: generating series expansions 21.052 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 21.052 * [approximate]: Taking taylor expansion of (/ x (pow y 2)) in (x y) around 0 21.052 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 21.052 * [taylor]: Taking taylor expansion of x in y 21.052 * [taylor]: Taking taylor expansion of (pow y 2) in y 21.052 * [taylor]: Taking taylor expansion of y in y 21.052 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 21.052 * [taylor]: Taking taylor expansion of x in x 21.052 * [taylor]: Taking taylor expansion of (pow y 2) in x 21.052 * [taylor]: Taking taylor expansion of y in x 21.053 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 21.053 * [taylor]: Taking taylor expansion of x in x 21.053 * [taylor]: Taking taylor expansion of (pow y 2) in x 21.053 * [taylor]: Taking taylor expansion of y in x 21.053 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 21.053 * [taylor]: Taking taylor expansion of (pow y 2) in y 21.053 * [taylor]: Taking taylor expansion of y in y 21.053 * [taylor]: Taking taylor expansion of 0 in y 21.053 * [taylor]: Taking taylor expansion of 0 in y 21.054 * [taylor]: Taking taylor expansion of 0 in y 21.054 * [taylor]: Taking taylor expansion of 0 in y 21.055 * [approximate]: Taking taylor expansion of (/ (pow y 2) x) in (x y) around 0 21.055 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 21.055 * [taylor]: Taking taylor expansion of (pow y 2) in y 21.055 * [taylor]: Taking taylor expansion of y in y 21.055 * [taylor]: Taking taylor expansion of x in y 21.055 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 21.055 * [taylor]: Taking taylor expansion of (pow y 2) in x 21.055 * [taylor]: Taking taylor expansion of y in x 21.055 * [taylor]: Taking taylor expansion of x in x 21.055 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 21.055 * [taylor]: Taking taylor expansion of (pow y 2) in x 21.055 * [taylor]: Taking taylor expansion of y in x 21.055 * [taylor]: Taking taylor expansion of x in x 21.055 * [taylor]: Taking taylor expansion of (pow y 2) in y 21.055 * [taylor]: Taking taylor expansion of y in y 21.056 * [taylor]: Taking taylor expansion of 0 in y 21.056 * [taylor]: Taking taylor expansion of 0 in y 21.056 * [taylor]: Taking taylor expansion of 0 in y 21.056 * [approximate]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in (x y) around 0 21.056 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in y 21.056 * [taylor]: Taking taylor expansion of -1 in y 21.056 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 21.056 * [taylor]: Taking taylor expansion of (pow y 2) in y 21.056 * [taylor]: Taking taylor expansion of y in y 21.056 * [taylor]: Taking taylor expansion of x in y 21.056 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in x 21.056 * [taylor]: Taking taylor expansion of -1 in x 21.056 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 21.057 * [taylor]: Taking taylor expansion of (pow y 2) in x 21.057 * [taylor]: Taking taylor expansion of y in x 21.057 * [taylor]: Taking taylor expansion of x in x 21.057 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in x 21.057 * [taylor]: Taking taylor expansion of -1 in x 21.057 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 21.057 * [taylor]: Taking taylor expansion of (pow y 2) in x 21.057 * [taylor]: Taking taylor expansion of y in x 21.057 * [taylor]: Taking taylor expansion of x in x 21.057 * [taylor]: Taking taylor expansion of (* -1 (pow y 2)) in y 21.057 * [taylor]: Taking taylor expansion of -1 in y 21.057 * [taylor]: Taking taylor expansion of (pow y 2) in y 21.057 * [taylor]: Taking taylor expansion of y in y 21.057 * [taylor]: Taking taylor expansion of 0 in y 21.057 * [taylor]: Taking taylor expansion of 0 in y 21.058 * [taylor]: Taking taylor expansion of 0 in y 21.058 * * * [progress]: simplifying candidates 21.059 * [simplify]: Simplifying using # : (- (- (log x) (log y)) (log y)) (- (log (/ x y)) (log y)) (log (/ (/ x y) y)) (exp (/ (/ x y) y)) (/ (/ (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (/ (* (* (/ x y) (/ x y)) (/ x y)) (* (* y y) y)) (* (cbrt (/ (/ x y) y)) (cbrt (/ (/ x y) y))) (cbrt (/ (/ x y) y)) (* (* (/ (/ x y) y) (/ (/ x y) y)) (/ (/ x y) y)) (sqrt (/ (/ x y) y)) (sqrt (/ (/ x y) y)) (neg (/ x y)) (neg y) (/ (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ x y)) (cbrt y)) (/ (* (cbrt (/ x y)) (cbrt (/ x y))) (sqrt y)) (/ (cbrt (/ x y)) (sqrt y)) (/ (* (cbrt (/ x y)) (cbrt (/ x y))) 1) (/ (cbrt (/ x y)) y) (/ (sqrt (/ x y)) (* (cbrt y) (cbrt y))) (/ (sqrt (/ x y)) (cbrt y)) (/ (sqrt (/ x y)) (sqrt y)) (/ (sqrt (/ x y)) (sqrt y)) (/ (sqrt (/ x y)) 1) (/ (sqrt (/ x y)) y) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (/ (/ (cbrt x) (cbrt y)) (cbrt y)) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (sqrt y)) (/ (/ (cbrt x) (cbrt y)) (sqrt y)) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) 1) (/ (/ (cbrt x) (cbrt y)) y) (/ (/ (* (cbrt x) (cbrt x)) (sqrt y)) (* (cbrt y) (cbrt y))) (/ (/ (cbrt x) (sqrt y)) (cbrt y)) (/ (/ (* (cbrt x) (cbrt x)) (sqrt y)) (sqrt y)) (/ (/ (cbrt x) (sqrt y)) (sqrt y)) (/ (/ (* (cbrt x) (cbrt x)) (sqrt y)) 1) (/ (/ (cbrt x) (sqrt y)) y) (/ (/ (* (cbrt x) (cbrt x)) 1) (* (cbrt y) (cbrt y))) (/ (/ (cbrt x) y) (cbrt y)) (/ (/ (* (cbrt x) (cbrt x)) 1) (sqrt y)) (/ (/ (cbrt x) y) (sqrt y)) (/ (/ (* (cbrt x) (cbrt x)) 1) 1) (/ (/ (cbrt x) y) y) (/ (/ (sqrt x) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (/ (/ (sqrt x) (cbrt y)) (cbrt y)) (/ (/ (sqrt x) (* (cbrt y) (cbrt y))) (sqrt y)) (/ (/ (sqrt x) (cbrt y)) (sqrt y)) (/ (/ (sqrt x) (* (cbrt y) (cbrt y))) 1) (/ (/ (sqrt x) (cbrt y)) y) (/ (/ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))) (/ (/ (sqrt x) (sqrt y)) (cbrt y)) (/ (/ (sqrt x) (sqrt y)) (sqrt y)) (/ (/ (sqrt x) (sqrt y)) (sqrt y)) (/ (/ (sqrt x) (sqrt y)) 1) (/ (/ (sqrt x) (sqrt y)) y) (/ (/ (sqrt x) 1) (* (cbrt y) (cbrt y))) (/ (/ (sqrt x) y) (cbrt y)) (/ (/ (sqrt x) 1) (sqrt y)) (/ (/ (sqrt x) y) (sqrt y)) (/ (/ (sqrt x) 1) 1) (/ (/ (sqrt x) y) y) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (/ (/ x (cbrt y)) (cbrt y)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y)) (/ (/ x (cbrt y)) (sqrt y)) (/ (/ 1 (* (cbrt y) (cbrt y))) 1) (/ (/ x (cbrt y)) y) (/ (/ 1 (sqrt y)) (* (cbrt y) (cbrt y))) (/ (/ x (sqrt y)) (cbrt y)) (/ (/ 1 (sqrt y)) (sqrt y)) (/ (/ x (sqrt y)) (sqrt y)) (/ (/ 1 (sqrt y)) 1) (/ (/ x (sqrt y)) y) (/ (/ 1 1) (* (cbrt y) (cbrt y))) (/ (/ x y) (cbrt y)) (/ (/ 1 1) (sqrt y)) (/ (/ x y) (sqrt y)) (/ (/ 1 1) 1) (/ (/ x y) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ x y) (cbrt y)) (/ 1 (sqrt y)) (/ (/ x y) (sqrt y)) (/ 1 1) (/ (/ x y) y) (/ x (* (cbrt y) (cbrt y))) (/ (/ 1 y) (cbrt y)) (/ x (sqrt y)) (/ (/ 1 y) (sqrt y)) (/ x 1) (/ (/ 1 y) y) (/ 1 y) (/ y (/ x y)) (/ (/ x y) (* (cbrt y) (cbrt y))) (/ (/ x y) (sqrt y)) (/ (/ x y) 1) (/ y (cbrt (/ x y))) (/ y (sqrt (/ x y))) (/ y (/ (cbrt x) (cbrt y))) (/ y (/ (cbrt x) (sqrt y))) (/ y (/ (cbrt x) y)) (/ y (/ (sqrt x) (cbrt y))) (/ y (/ (sqrt x) (sqrt y))) (/ y (/ (sqrt x) y)) (/ y (/ x (cbrt y))) (/ y (/ x (sqrt y))) (/ y (/ x y)) (/ y (/ x y)) (/ y (/ 1 y)) (* y y) (/ x (pow y 2)) (/ x (pow y 2)) (/ x (pow y 2)) 21.060 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 21.060 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 21.062 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 21.069 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 21.074 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 21.079 * * [simplify]: iteration 5 : 53 enodes (cost 7 ) 21.085 * * [simplify]: iteration 6 : 67 enodes (cost 7 ) 21.093 * * [simplify]: iteration 7 : 77 enodes (cost 7 ) 21.100 * * [simplify]: iteration 8 : 80 enodes (cost 7 ) 21.109 * * [simplify]: iteration done : 80 enodes (cost 7 ) 21.110 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.110 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.111 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 21.113 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 21.118 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 21.122 * * [simplify]: iteration 5 : 49 enodes (cost 7 ) 21.132 * * [simplify]: iteration 6 : 59 enodes (cost 7 ) 21.137 * * [simplify]: iteration 7 : 67 enodes (cost 7 ) 21.145 * * [simplify]: iteration 8 : 77 enodes (cost 7 ) 21.153 * * [simplify]: iteration 9 : 80 enodes (cost 7 ) 21.163 * * [simplify]: iteration done : 80 enodes (cost 7 ) 21.164 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 21.164 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 21.165 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 21.167 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 21.170 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 21.174 * * [simplify]: iteration 5 : 47 enodes (cost 6 ) 21.179 * * [simplify]: iteration 6 : 54 enodes (cost 6 ) 21.189 * * [simplify]: iteration 7 : 64 enodes (cost 6 ) 21.195 * * [simplify]: iteration 8 : 72 enodes (cost 6 ) 21.204 * * [simplify]: iteration 9 : 82 enodes (cost 6 ) 21.212 * * [simplify]: iteration 10 : 85 enodes (cost 6 ) 21.222 * * [simplify]: iteration done : 85 enodes (cost 6 ) 21.222 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 21.223 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 21.224 * * [simplify]: iteration done : 7 enodes (cost 6 ) 21.225 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 21.226 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 21.230 * * [simplify]: iteration 2 : 91 enodes (cost 11 ) 21.265 * * [simplify]: iteration 3 : 327 enodes (cost 7 ) 21.487 * * [simplify]: iteration 4 : 782 enodes (cost 7 ) 22.343 * * [simplify]: iteration 5 : 1908 enodes (cost 7 ) 25.225 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 25.226 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 25.228 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 25.232 * * [simplify]: iteration 2 : 78 enodes (cost 9 ) 25.259 * * [simplify]: iteration 3 : 265 enodes (cost 7 ) 25.433 * * [simplify]: iteration 4 : 655 enodes (cost 7 ) 26.028 * * [simplify]: iteration 5 : 1459 enodes (cost 7 ) 28.985 * * [simplify]: iteration 6 : 4733 enodes (cost 7 ) 30.197 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 30.198 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 30.199 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 30.200 * * [simplify]: iteration done : 8 enodes (cost 13 ) 30.201 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 30.201 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 30.202 * * [simplify]: iteration done : 7 enodes (cost 6 ) 30.202 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 30.203 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 30.206 * * [simplify]: iteration 2 : 46 enodes (cost 7 ) 30.216 * * [simplify]: iteration 3 : 141 enodes (cost 7 ) 30.293 * * [simplify]: iteration 4 : 426 enodes (cost 7 ) 30.545 * * [simplify]: iteration 5 : 815 enodes (cost 7 ) 31.297 * * [simplify]: iteration 6 : 1834 enodes (cost 7 ) 34.161 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 34.162 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 34.163 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 34.163 * * [simplify]: iteration done : 7 enodes (cost 6 ) 34.164 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 34.164 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 34.165 * * [simplify]: iteration done : 7 enodes (cost 6 ) 34.166 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 34.166 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 34.167 * * [simplify]: iteration done : 6 enodes (cost 4 ) 34.167 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 34.168 * * [simplify]: iteration done : 2 enodes (cost 2 ) 34.168 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 34.169 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 34.171 * * [simplify]: iteration 2 : 23 enodes (cost 15 ) 34.174 * * [simplify]: iteration 3 : 29 enodes (cost 15 ) 34.177 * * [simplify]: iteration done : 29 enodes (cost 15 ) 34.178 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.179 * * [simplify]: iteration done : 6 enodes (cost 7 ) 34.179 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 34.180 * * [simplify]: iteration 1 : 9 enodes (cost 12 ) 34.181 * * [simplify]: iteration 2 : 11 enodes (cost 12 ) 34.187 * * [simplify]: iteration 3 : 12 enodes (cost 12 ) 34.188 * * [simplify]: iteration done : 12 enodes (cost 12 ) 34.189 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.190 * * [simplify]: iteration done : 6 enodes (cost 7 ) 34.190 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 34.191 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 34.192 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 34.194 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 34.195 * * [simplify]: iteration done : 22 enodes (cost 9 ) 34.196 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 34.197 * * [simplify]: iteration done : 5 enodes (cost 6 ) 34.197 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 34.198 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 34.199 * * [simplify]: iteration done : 9 enodes (cost 10 ) 34.199 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.200 * * [simplify]: iteration done : 6 enodes (cost 7 ) 34.200 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.201 * * [simplify]: iteration done : 6 enodes (cost 7 ) 34.202 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.202 * * [simplify]: iteration done : 6 enodes (cost 7 ) 34.203 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 34.203 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 34.204 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 34.205 * * [simplify]: iteration done : 10 enodes (cost 4 ) 34.205 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 34.206 * * [simplify]: iteration done : 5 enodes (cost 6 ) 34.207 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 34.208 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 34.210 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 34.219 * * [simplify]: iteration 3 : 89 enodes (cost 13 ) 34.235 * * [simplify]: iteration 4 : 113 enodes (cost 10 ) 34.254 * * [simplify]: iteration 5 : 122 enodes (cost 10 ) 34.272 * * [simplify]: iteration 6 : 139 enodes (cost 10 ) 34.292 * * [simplify]: iteration 7 : 192 enodes (cost 10 ) 34.347 * * [simplify]: iteration 8 : 386 enodes (cost 10 ) 34.586 * * [simplify]: iteration 9 : 959 enodes (cost 10 ) 35.376 * * [simplify]: iteration 10 : 3182 enodes (cost 10 ) 36.668 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 36.668 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 36.669 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 36.670 * * [simplify]: iteration done : 8 enodes (cost 8 ) 36.670 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 36.671 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 36.678 * * [simplify]: iteration 2 : 40 enodes (cost 14 ) 36.685 * * [simplify]: iteration 3 : 77 enodes (cost 14 ) 36.700 * * [simplify]: iteration 4 : 118 enodes (cost 14 ) 36.720 * * [simplify]: iteration 5 : 123 enodes (cost 14 ) 36.741 * * [simplify]: iteration done : 123 enodes (cost 14 ) 36.742 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.742 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 36.743 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 36.744 * * [simplify]: iteration done : 12 enodes (cost 8 ) 36.745 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 36.747 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 36.749 * * [simplify]: iteration 2 : 46 enodes (cost 11 ) 36.761 * * [simplify]: iteration 3 : 95 enodes (cost 11 ) 36.779 * * [simplify]: iteration 4 : 125 enodes (cost 11 ) 36.795 * * [simplify]: iteration done : 125 enodes (cost 11 ) 36.795 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.796 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 36.797 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 36.798 * * [simplify]: iteration done : 11 enodes (cost 7 ) 36.799 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 36.800 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 36.802 * * [simplify]: iteration 2 : 31 enodes (cost 14 ) 36.807 * * [simplify]: iteration 3 : 67 enodes (cost 14 ) 36.819 * * [simplify]: iteration 4 : 109 enodes (cost 14 ) 36.838 * * [simplify]: iteration 5 : 119 enodes (cost 14 ) 36.859 * * [simplify]: iteration done : 119 enodes (cost 14 ) 36.859 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 36.860 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 36.861 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 36.862 * * [simplify]: iteration done : 12 enodes (cost 8 ) 36.863 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 36.864 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 36.865 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 36.867 * * [simplify]: iteration 3 : 23 enodes (cost 7 ) 36.870 * * [simplify]: iteration 4 : 28 enodes (cost 7 ) 36.873 * * [simplify]: iteration 5 : 29 enodes (cost 7 ) 36.876 * * [simplify]: iteration done : 29 enodes (cost 7 ) 36.877 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 36.877 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 36.878 * * [simplify]: iteration done : 8 enodes (cost 4 ) 36.879 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 36.880 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.882 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 36.886 * * [simplify]: iteration 3 : 46 enodes (cost 8 ) 36.892 * * [simplify]: iteration 4 : 56 enodes (cost 8 ) 36.897 * * [simplify]: iteration done : 56 enodes (cost 8 ) 36.898 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.898 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 36.899 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 36.900 * * [simplify]: iteration done : 11 enodes (cost 7 ) 36.901 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 36.902 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 36.905 * * [simplify]: iteration 2 : 46 enodes (cost 11 ) 36.919 * * [simplify]: iteration 3 : 103 enodes (cost 11 ) 36.934 * * [simplify]: iteration 4 : 121 enodes (cost 11 ) 36.948 * * [simplify]: iteration done : 121 enodes (cost 11 ) 36.948 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.949 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 36.950 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 36.951 * * [simplify]: iteration done : 11 enodes (cost 7 ) 36.952 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 36.953 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 36.955 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 36.960 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 36.965 * * [simplify]: iteration 4 : 57 enodes (cost 8 ) 36.972 * * [simplify]: iteration done : 57 enodes (cost 8 ) 36.973 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.973 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 36.974 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 36.975 * * [simplify]: iteration done : 11 enodes (cost 7 ) 36.976 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 36.977 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 36.978 * * [simplify]: iteration 2 : 16 enodes (cost 5 ) 36.979 * * [simplify]: iteration 3 : 21 enodes (cost 5 ) 36.981 * * [simplify]: iteration done : 21 enodes (cost 5 ) 36.981 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 36.982 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 36.983 * * [simplify]: iteration done : 7 enodes (cost 6 ) 36.983 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 36.984 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 36.986 * * [simplify]: iteration 2 : 20 enodes (cost 14 ) 36.989 * * [simplify]: iteration 3 : 24 enodes (cost 10 ) 36.992 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 36.995 * * [simplify]: iteration 5 : 42 enodes (cost 7 ) 36.999 * * [simplify]: iteration 6 : 55 enodes (cost 7 ) 37.005 * * [simplify]: iteration 7 : 85 enodes (cost 7 ) 37.017 * * [simplify]: iteration 8 : 165 enodes (cost 7 ) 37.052 * * [simplify]: iteration 9 : 341 enodes (cost 7 ) 37.196 * * [simplify]: iteration 10 : 1122 enodes (cost 7 ) 38.239 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 38.239 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 38.240 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 38.241 * * [simplify]: iteration done : 8 enodes (cost 8 ) 38.241 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 38.242 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 38.244 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 38.246 * * [simplify]: iteration 3 : 26 enodes (cost 11 ) 38.249 * * [simplify]: iteration done : 26 enodes (cost 11 ) 38.249 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.250 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 38.255 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 38.256 * * [simplify]: iteration done : 12 enodes (cost 8 ) 38.257 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 38.258 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 38.260 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 38.263 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 38.267 * * [simplify]: iteration done : 40 enodes (cost 8 ) 38.268 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.268 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 38.269 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 38.270 * * [simplify]: iteration done : 11 enodes (cost 7 ) 38.271 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 38.272 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 38.274 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 38.276 * * [simplify]: iteration 3 : 24 enodes (cost 11 ) 38.279 * * [simplify]: iteration done : 24 enodes (cost 11 ) 38.279 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 38.280 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 38.281 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 38.282 * * [simplify]: iteration done : 12 enodes (cost 8 ) 38.283 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 38.284 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 38.284 * * [simplify]: iteration done : 8 enodes (cost 4 ) 38.285 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 38.286 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 38.286 * * [simplify]: iteration done : 8 enodes (cost 4 ) 38.287 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.288 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 38.289 * * [simplify]: iteration 2 : 18 enodes (cost 5 ) 38.291 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 38.292 * * [simplify]: iteration done : 20 enodes (cost 5 ) 38.292 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.293 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 38.294 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 38.295 * * [simplify]: iteration done : 11 enodes (cost 7 ) 38.295 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 38.296 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 38.298 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 38.301 * * [simplify]: iteration 3 : 31 enodes (cost 8 ) 38.303 * * [simplify]: iteration done : 31 enodes (cost 8 ) 38.304 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.304 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 38.305 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 38.306 * * [simplify]: iteration done : 11 enodes (cost 7 ) 38.307 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.308 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 38.309 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 38.310 * * [simplify]: iteration done : 17 enodes (cost 5 ) 38.311 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.311 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 38.312 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 38.313 * * [simplify]: iteration done : 11 enodes (cost 7 ) 38.314 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 38.314 * * [simplify]: iteration 1 : 9 enodes (cost 2 ) 38.315 * * [simplify]: iteration done : 9 enodes (cost 2 ) 38.315 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 38.316 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 38.317 * * [simplify]: iteration done : 7 enodes (cost 6 ) 38.317 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 38.318 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 38.323 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 38.325 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 38.329 * * [simplify]: iteration 4 : 31 enodes (cost 6 ) 38.331 * * [simplify]: iteration 5 : 38 enodes (cost 6 ) 38.335 * * [simplify]: iteration 6 : 51 enodes (cost 6 ) 38.340 * * [simplify]: iteration 7 : 81 enodes (cost 6 ) 38.352 * * [simplify]: iteration 8 : 160 enodes (cost 6 ) 38.386 * * [simplify]: iteration 9 : 340 enodes (cost 6 ) 38.522 * * [simplify]: iteration 10 : 1127 enodes (cost 6 ) 39.563 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 39.564 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 39.564 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 39.565 * * [simplify]: iteration done : 7 enodes (cost 7 ) 39.565 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 39.566 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 39.568 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 39.570 * * [simplify]: iteration 3 : 27 enodes (cost 10 ) 39.573 * * [simplify]: iteration done : 27 enodes (cost 10 ) 39.573 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.574 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 39.575 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 39.576 * * [simplify]: iteration done : 11 enodes (cost 7 ) 39.577 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.578 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 39.579 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 39.582 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 39.585 * * [simplify]: iteration done : 32 enodes (cost 7 ) 39.585 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.586 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.587 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.588 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.588 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 39.589 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 39.590 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 39.592 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 39.595 * * [simplify]: iteration done : 25 enodes (cost 10 ) 39.596 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.596 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 39.600 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 39.601 * * [simplify]: iteration done : 11 enodes (cost 7 ) 39.602 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 39.602 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 39.603 * * [simplify]: iteration done : 9 enodes (cost 3 ) 39.604 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 39.604 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 39.605 * * [simplify]: iteration done : 7 enodes (cost 3 ) 39.606 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.606 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 39.607 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 39.608 * * [simplify]: iteration done : 16 enodes (cost 4 ) 39.609 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.610 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.610 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.611 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.612 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.613 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 39.614 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 39.616 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 39.618 * * [simplify]: iteration 4 : 28 enodes (cost 7 ) 39.620 * * [simplify]: iteration done : 28 enodes (cost 7 ) 39.621 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.621 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.622 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.623 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.624 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.625 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 39.625 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 39.626 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 39.627 * * [simplify]: iteration done : 15 enodes (cost 4 ) 39.628 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.628 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.629 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.630 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.631 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 39.631 * * [simplify]: iteration 1 : 7 enodes (cost 1 ) 39.631 * * [simplify]: iteration done : 7 enodes (cost 1 ) 39.632 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 39.632 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 39.633 * * [simplify]: iteration done : 6 enodes (cost 5 ) 39.634 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 39.634 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 39.635 * * [simplify]: iteration done : 9 enodes (cost 7 ) 39.636 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.636 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.637 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.638 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.638 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.639 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 39.639 * * [simplify]: iteration done : 6 enodes (cost 4 ) 39.640 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.640 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.641 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.642 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.643 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 39.643 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 39.643 * * [simplify]: iteration done : 4 enodes (cost 1 ) 39.644 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 39.644 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 39.645 * * [simplify]: iteration done : 6 enodes (cost 5 ) 39.646 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 39.646 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 39.647 * * [simplify]: iteration done : 7 enodes (cost 7 ) 39.647 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.648 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 39.649 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 39.650 * * [simplify]: iteration done : 12 enodes (cost 6 ) 39.651 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.651 * * [simplify]: iteration done : 4 enodes (cost 4 ) 39.651 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.652 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 39.653 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 39.654 * * [simplify]: iteration done : 12 enodes (cost 6 ) 39.655 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 39.655 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 39.656 * * [simplify]: iteration done : 5 enodes (cost 1 ) 39.656 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 39.657 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 39.657 * * [simplify]: iteration done : 8 enodes (cost 5 ) 39.658 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 39.658 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 39.659 * * [simplify]: iteration done : 5 enodes (cost 3 ) 39.659 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 39.660 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 39.660 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 39.661 * * [simplify]: iteration done : 9 enodes (cost 5 ) 39.662 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.663 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 39.664 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 39.666 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 39.671 * * [simplify]: iteration done : 22 enodes (cost 9 ) 39.672 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.672 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.673 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.675 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.675 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 39.676 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 39.677 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 39.678 * * [simplify]: iteration done : 16 enodes (cost 3 ) 39.678 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.679 * * [simplify]: iteration done : 5 enodes (cost 6 ) 39.679 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.680 * * [simplify]: iteration done : 5 enodes (cost 6 ) 39.680 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.681 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 39.682 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 39.683 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 39.684 * * [simplify]: iteration 4 : 14 enodes (cost 7 ) 39.686 * * [simplify]: iteration 5 : 16 enodes (cost 7 ) 39.687 * * [simplify]: iteration 6 : 17 enodes (cost 7 ) 39.689 * * [simplify]: iteration done : 17 enodes (cost 7 ) 39.690 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.690 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 39.691 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 39.692 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 39.694 * * [simplify]: iteration 4 : 14 enodes (cost 7 ) 39.695 * * [simplify]: iteration 5 : 16 enodes (cost 7 ) 39.697 * * [simplify]: iteration 6 : 17 enodes (cost 7 ) 39.699 * * [simplify]: iteration done : 17 enodes (cost 7 ) 39.699 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.700 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.701 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.702 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.703 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.703 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 39.704 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 39.705 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 39.707 * * [simplify]: iteration 4 : 14 enodes (cost 7 ) 39.708 * * [simplify]: iteration 5 : 16 enodes (cost 7 ) 39.710 * * [simplify]: iteration 6 : 17 enodes (cost 7 ) 39.712 * * [simplify]: iteration done : 17 enodes (cost 7 ) 39.713 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 39.713 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 39.714 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 39.715 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 39.716 * * [simplify]: iteration 4 : 14 enodes (cost 7 ) 39.718 * * [simplify]: iteration 5 : 16 enodes (cost 7 ) 39.720 * * [simplify]: iteration 6 : 17 enodes (cost 7 ) 39.722 * * [simplify]: iteration done : 17 enodes (cost 7 ) 39.722 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.723 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.724 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.725 * * [simplify]: iteration done : 10 enodes (cost 6 ) 39.725 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.726 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.727 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.728 * * [simplify]: iteration 3 : 11 enodes (cost 6 ) 39.729 * * [simplify]: iteration 4 : 13 enodes (cost 6 ) 39.730 * * [simplify]: iteration 5 : 15 enodes (cost 6 ) 39.735 * * [simplify]: iteration 6 : 16 enodes (cost 6 ) 39.736 * * [simplify]: iteration done : 16 enodes (cost 6 ) 39.737 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 39.738 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 39.738 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 39.739 * * [simplify]: iteration 3 : 11 enodes (cost 6 ) 39.741 * * [simplify]: iteration 4 : 13 enodes (cost 6 ) 39.742 * * [simplify]: iteration 5 : 15 enodes (cost 6 ) 39.744 * * [simplify]: iteration 6 : 16 enodes (cost 6 ) 39.745 * * [simplify]: iteration done : 16 enodes (cost 6 ) 39.746 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 39.747 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 39.747 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 39.748 * * [simplify]: iteration done : 9 enodes (cost 5 ) 39.749 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 39.749 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 39.750 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 39.751 * * [simplify]: iteration done : 9 enodes (cost 5 ) 39.752 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 39.752 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 39.753 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 39.754 * * [simplify]: iteration done : 11 enodes (cost 3 ) 39.755 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 39.755 * * [simplify]: iteration done : 2 enodes (cost 3 ) 39.756 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 39.756 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 39.758 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 39.759 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 39.761 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 39.763 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 39.767 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 39.775 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 39.822 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 40.267 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 42.775 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 42.776 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.776 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 42.782 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 42.784 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 42.785 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 42.788 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 42.791 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 42.800 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 42.847 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 43.275 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 45.559 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 45.560 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.561 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 45.562 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 45.564 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 45.565 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 45.567 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 45.571 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 45.580 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 45.628 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 46.063 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 48.338 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 48.338 * [simplify]: Simplified to: (- (log x) (* 2 (log y))) (- (log (/ x y)) (log y)) (log (/ (/ x y) y)) (exp (/ (/ x y) y)) (/ (pow x 3) (pow y 6)) (pow (/ (/ x y) y) 3) (* (cbrt (/ (/ x y) y)) (cbrt (/ (/ x y) y))) (cbrt (/ (/ x y) y)) (pow (/ (/ x y) y) 3) (sqrt (/ (/ x y) y)) (sqrt (/ (/ x y) y)) (neg (/ x y)) (neg y) (/ (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ x y)) (cbrt y)) (/ (* (cbrt (/ x y)) (cbrt (/ x y))) (sqrt y)) (/ (cbrt (/ x y)) (sqrt y)) (* (cbrt (/ x y)) (cbrt (/ x y))) (/ (cbrt (/ x y)) y) (/ (sqrt (/ x y)) (* (cbrt y) (cbrt y))) (/ (sqrt (/ x y)) (cbrt y)) (/ (sqrt (/ x y)) (sqrt y)) (/ (sqrt (/ x y)) (sqrt y)) (sqrt (/ x y)) (/ (sqrt (/ x y)) y) (/ (* (/ (cbrt x) (cbrt y)) (cbrt x)) y) (/ (/ (cbrt x) (cbrt y)) (cbrt y)) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (sqrt y)) (/ (/ (cbrt x) (cbrt y)) (sqrt y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ (cbrt x) (cbrt y)) y) (/ (/ (* (cbrt x) (cbrt x)) (sqrt y)) (* (cbrt y) (cbrt y))) (/ (/ (cbrt x) (sqrt y)) (cbrt y)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) y) (/ (* (cbrt x) (cbrt x)) (sqrt y)) (/ (/ (cbrt x) (sqrt y)) y) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ (cbrt x) y) (cbrt y)) (/ (* (cbrt x) (cbrt x)) (sqrt y)) (/ (/ (cbrt x) y) (sqrt y)) (* (cbrt x) (cbrt x)) (/ (/ (cbrt x) y) y) (/ (/ (sqrt x) (cbrt y)) y) (/ (/ (sqrt x) (cbrt y)) (cbrt y)) (/ (/ (sqrt x) (* (cbrt y) (cbrt y))) (sqrt y)) (/ (/ (sqrt x) (cbrt y)) (sqrt y)) (/ (sqrt x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt x) (cbrt y)) y) (/ (/ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))) (/ (/ (sqrt x) (sqrt y)) (cbrt y)) (/ (sqrt x) y) (/ (sqrt x) y) (/ (sqrt x) (sqrt y)) (/ (/ (sqrt x) (sqrt y)) y) (/ (sqrt x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt x) y) (cbrt y)) (/ (sqrt x) (sqrt y)) (/ (/ (sqrt x) y) (sqrt y)) (sqrt x) (/ (/ (sqrt x) y) y) (/ (/ 1 (cbrt y)) y) (/ (/ x (cbrt y)) (cbrt y)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y)) (/ (/ x (cbrt y)) (sqrt y)) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ x (cbrt y)) y) (/ (/ 1 (sqrt y)) (* (cbrt y) (cbrt y))) (/ (/ x (sqrt y)) (cbrt y)) (/ 1 y) (/ x y) (/ 1 (sqrt y)) (/ (/ x (sqrt y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ x y) (cbrt y)) (/ 1 (sqrt y)) (/ (/ x y) (sqrt y)) 1 (/ (/ x y) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ x y) (cbrt y)) (/ 1 (sqrt y)) (/ (/ x y) (sqrt y)) 1 (/ (/ x y) y) (/ x (* (cbrt y) (cbrt y))) (/ (/ 1 y) (cbrt y)) (/ x (sqrt y)) (/ (/ 1 y) (sqrt y)) x (/ (/ 1 y) y) (/ 1 y) (/ y (/ x y)) (/ (/ x y) (* (cbrt y) (cbrt y))) (/ (/ x y) (sqrt y)) (/ x y) (/ y (cbrt (/ x y))) (/ y (sqrt (/ x y))) (/ y (/ (cbrt x) (cbrt y))) (/ y (/ (cbrt x) (sqrt y))) (/ y (/ (cbrt x) y)) (/ y (/ (sqrt x) (cbrt y))) (/ y (/ (sqrt x) (sqrt y))) (/ y (/ (sqrt x) y)) (/ y (/ x (cbrt y))) (/ y (/ x (sqrt y))) (/ y (/ x y)) (/ y (/ x y)) (* y y) (* y y) (/ x (pow y 2)) (/ x (pow y 2)) (/ x (pow y 2)) 48.339 * * * [progress]: adding candidates to table 48.413 * * [progress]: iteration 3 / 4 48.414 * * * [progress]: picking best candidate 48.432 * * * * [pick]: Picked # 48.432 * * * [progress]: localizing error 48.439 * * * [progress]: generating rewritten candidates 48.439 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 48.454 * * * [progress]: generating series expansions 48.454 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 48.454 * [approximate]: Taking taylor expansion of (/ x (pow y 2)) in (y x) around 0 48.454 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 48.454 * [taylor]: Taking taylor expansion of x in x 48.454 * [taylor]: Taking taylor expansion of (pow y 2) in x 48.454 * [taylor]: Taking taylor expansion of y in x 48.454 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 48.454 * [taylor]: Taking taylor expansion of x in y 48.454 * [taylor]: Taking taylor expansion of (pow y 2) in y 48.454 * [taylor]: Taking taylor expansion of y in y 48.454 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 48.454 * [taylor]: Taking taylor expansion of x in y 48.454 * [taylor]: Taking taylor expansion of (pow y 2) in y 48.454 * [taylor]: Taking taylor expansion of y in y 48.454 * [taylor]: Taking taylor expansion of x in x 48.454 * [taylor]: Taking taylor expansion of 0 in x 48.454 * [taylor]: Taking taylor expansion of 0 in x 48.455 * [taylor]: Taking taylor expansion of 0 in x 48.455 * [approximate]: Taking taylor expansion of (/ (pow y 2) x) in (y x) around 0 48.455 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 48.455 * [taylor]: Taking taylor expansion of (pow y 2) in x 48.455 * [taylor]: Taking taylor expansion of y in x 48.455 * [taylor]: Taking taylor expansion of x in x 48.455 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 48.455 * [taylor]: Taking taylor expansion of (pow y 2) in y 48.455 * [taylor]: Taking taylor expansion of y in y 48.455 * [taylor]: Taking taylor expansion of x in y 48.455 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 48.455 * [taylor]: Taking taylor expansion of (pow y 2) in y 48.455 * [taylor]: Taking taylor expansion of y in y 48.455 * [taylor]: Taking taylor expansion of x in y 48.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 48.455 * [taylor]: Taking taylor expansion of x in x 48.455 * [taylor]: Taking taylor expansion of 0 in x 48.456 * [taylor]: Taking taylor expansion of 0 in x 48.456 * [taylor]: Taking taylor expansion of 0 in x 48.456 * [approximate]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in (y x) around 0 48.456 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in x 48.456 * [taylor]: Taking taylor expansion of -1 in x 48.456 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 48.456 * [taylor]: Taking taylor expansion of (pow y 2) in x 48.456 * [taylor]: Taking taylor expansion of y in x 48.456 * [taylor]: Taking taylor expansion of x in x 48.456 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in y 48.456 * [taylor]: Taking taylor expansion of -1 in y 48.456 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 48.456 * [taylor]: Taking taylor expansion of (pow y 2) in y 48.456 * [taylor]: Taking taylor expansion of y in y 48.456 * [taylor]: Taking taylor expansion of x in y 48.457 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) x)) in y 48.457 * [taylor]: Taking taylor expansion of -1 in y 48.457 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 48.457 * [taylor]: Taking taylor expansion of (pow y 2) in y 48.457 * [taylor]: Taking taylor expansion of y in y 48.457 * [taylor]: Taking taylor expansion of x in y 48.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x 48.457 * [taylor]: Taking taylor expansion of -1 in x 48.457 * [taylor]: Taking taylor expansion of x in x 48.457 * [taylor]: Taking taylor expansion of 0 in x 48.457 * [taylor]: Taking taylor expansion of 0 in x 48.457 * [taylor]: Taking taylor expansion of 0 in x 48.458 * * * [progress]: simplifying candidates 48.459 * [simplify]: Simplifying using # : (* (/ 1 y) (/ x y)) (+ (neg (log y)) (- (log x) (log y))) (+ (neg (log y)) (log (/ x y))) (+ (- 0 (log y)) (- (log x) (log y))) (+ (- 0 (log y)) (log (/ x y))) (+ (- (log 1) (log y)) (- (log x) (log y))) (+ (- (log 1) (log y)) (log (/ x y))) (+ (log (/ 1 y)) (- (log x) (log y))) (+ (log (/ 1 y)) (log (/ x y))) (log (* (/ 1 y) (/ x y))) (exp (* (/ 1 y) (/ x y))) (* (/ (* (* 1 1) 1) (* (* y y) y)) (/ (* (* x x) x) (* (* y y) y))) (* (/ (* (* 1 1) 1) (* (* y y) y)) (* (* (/ x y) (/ x y)) (/ x y))) (* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (/ (* (* x x) x) (* (* y y) y))) (* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (/ x y) (/ x y)) (/ x y))) (* (cbrt (* (/ 1 y) (/ x y))) (cbrt (* (/ 1 y) (/ x y)))) (cbrt (* (/ 1 y) (/ x y))) (* (* (* (/ 1 y) (/ x y)) (* (/ 1 y) (/ x y))) (* (/ 1 y) (/ x y))) (sqrt (* (/ 1 y) (/ x y))) (sqrt (* (/ 1 y) (/ x y))) (* 1 x) (* y y) (* (sqrt (/ 1 y)) (sqrt (/ x y))) (* (sqrt (/ 1 y)) (sqrt (/ x y))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt y))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt y))) (* (/ (sqrt 1) (sqrt y)) (sqrt (/ x y))) (* (/ (sqrt 1) (sqrt y)) (sqrt (/ x y))) (* (/ (sqrt 1) (sqrt y)) (/ (sqrt x) (sqrt y))) (* (/ (sqrt 1) (sqrt y)) (/ (sqrt x) (sqrt y))) (* (/ 1 (sqrt y)) (sqrt (/ x y))) (* (/ 1 (sqrt y)) (sqrt (/ x y))) (* (/ 1 (sqrt y)) (/ (sqrt x) (sqrt y))) (* (/ 1 (sqrt y)) (/ (sqrt x) (sqrt y))) (* (/ 1 y) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (/ 1 y) (sqrt (/ x y))) (* (/ 1 y) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ 1 y) (/ (* (cbrt x) (cbrt x)) (sqrt y))) (* (/ 1 y) (/ (* (cbrt x) (cbrt x)) 1)) (* (/ 1 y) (/ (sqrt x) (* (cbrt y) (cbrt y)))) (* (/ 1 y) (/ (sqrt x) (sqrt y))) (* (/ 1 y) (/ (sqrt x) 1)) (* (/ 1 y) (/ 1 (* (cbrt y) (cbrt y)))) (* (/ 1 y) (/ 1 (sqrt y))) (* (/ 1 y) (/ 1 1)) (* (/ 1 y) 1) (* (/ 1 y) x) (* (cbrt (/ 1 y)) (/ x y)) (* (sqrt (/ 1 y)) (/ x y)) (* (/ (cbrt 1) (cbrt y)) (/ x y)) (* (/ (cbrt 1) (sqrt y)) (/ x y)) (* (/ (cbrt 1) y) (/ x y)) (* (/ (sqrt 1) (cbrt y)) (/ x y)) (* (/ (sqrt 1) (sqrt y)) (/ x y)) (* (/ (sqrt 1) y) (/ x y)) (* (/ 1 (cbrt y)) (/ x y)) (* (/ 1 (sqrt y)) (/ x y)) (* (/ 1 y) (/ x y)) (* (/ 1 y) (/ x y)) (* (/ 1 y) (/ x y)) (* (/ 1 y) x) (* 1 (/ x y)) (/ x (pow y 2)) (/ x (pow y 2)) (/ x (pow y 2)) 48.459 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 48.460 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 48.462 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 48.470 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 48.485 * * [simplify]: iteration 4 : 105 enodes (cost 5 ) 48.496 * * [simplify]: iteration 5 : 107 enodes (cost 5 ) 48.506 * * [simplify]: iteration done : 107 enodes (cost 5 ) 48.507 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 48.507 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 48.509 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 48.511 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 48.515 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 48.519 * * [simplify]: iteration 5 : 44 enodes (cost 7 ) 48.527 * * [simplify]: iteration 6 : 58 enodes (cost 7 ) 48.534 * * [simplify]: iteration 7 : 68 enodes (cost 7 ) 48.542 * * [simplify]: iteration 8 : 71 enodes (cost 7 ) 48.550 * * [simplify]: iteration done : 71 enodes (cost 7 ) 48.551 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 48.552 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 48.553 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 48.555 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 48.558 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 48.563 * * [simplify]: iteration 5 : 46 enodes (cost 7 ) 48.568 * * [simplify]: iteration 6 : 56 enodes (cost 7 ) 48.573 * * [simplify]: iteration 7 : 64 enodes (cost 7 ) 48.583 * * [simplify]: iteration 8 : 74 enodes (cost 7 ) 48.591 * * [simplify]: iteration 9 : 77 enodes (cost 7 ) 48.600 * * [simplify]: iteration done : 77 enodes (cost 7 ) 48.601 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 48.601 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 48.604 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 48.615 * * [simplify]: iteration 3 : 103 enodes (cost 8 ) 48.659 * * [simplify]: iteration 4 : 211 enodes (cost 7 ) 48.699 * * [simplify]: iteration 5 : 273 enodes (cost 7 ) 48.747 * * [simplify]: iteration 6 : 287 enodes (cost 7 ) 48.785 * * [simplify]: iteration done : 287 enodes (cost 7 ) 48.786 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 48.787 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 48.789 * * [simplify]: iteration 2 : 35 enodes (cost 7 ) 48.795 * * [simplify]: iteration 3 : 77 enodes (cost 7 ) 48.833 * * [simplify]: iteration 4 : 198 enodes (cost 7 ) 48.871 * * [simplify]: iteration 5 : 285 enodes (cost 7 ) 48.923 * * [simplify]: iteration 6 : 304 enodes (cost 7 ) 48.961 * * [simplify]: iteration done : 304 enodes (cost 7 ) 48.961 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 48.962 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 48.965 * * [simplify]: iteration 2 : 41 enodes (cost 8 ) 48.975 * * [simplify]: iteration 3 : 103 enodes (cost 8 ) 49.030 * * [simplify]: iteration 4 : 240 enodes (cost 7 ) 49.072 * * [simplify]: iteration 5 : 332 enodes (cost 7 ) 49.121 * * [simplify]: iteration 6 : 348 enodes (cost 7 ) 49.158 * * [simplify]: iteration done : 348 enodes (cost 7 ) 49.158 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 49.159 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 49.161 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 49.168 * * [simplify]: iteration 3 : 79 enodes (cost 7 ) 49.200 * * [simplify]: iteration 4 : 197 enodes (cost 7 ) 49.238 * * [simplify]: iteration 5 : 274 enodes (cost 7 ) 49.288 * * [simplify]: iteration 6 : 290 enodes (cost 7 ) 49.338 * * [simplify]: iteration 7 : 305 enodes (cost 7 ) 49.379 * * [simplify]: iteration done : 305 enodes (cost 7 ) 49.380 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 49.381 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 49.383 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 49.389 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 49.410 * * [simplify]: iteration 4 : 151 enodes (cost 7 ) 49.444 * * [simplify]: iteration 5 : 206 enodes (cost 7 ) 49.491 * * [simplify]: iteration 6 : 224 enodes (cost 7 ) 49.526 * * [simplify]: iteration done : 224 enodes (cost 7 ) 49.526 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 49.527 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 49.529 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 49.534 * * [simplify]: iteration 3 : 60 enodes (cost 7 ) 49.555 * * [simplify]: iteration 4 : 136 enodes (cost 7 ) 49.582 * * [simplify]: iteration 5 : 198 enodes (cost 7 ) 49.638 * * [simplify]: iteration 6 : 253 enodes (cost 7 ) 49.677 * * [simplify]: iteration done : 253 enodes (cost 7 ) 49.677 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 49.678 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 49.680 * * [simplify]: iteration 2 : 33 enodes (cost 6 ) 49.687 * * [simplify]: iteration 3 : 92 enodes (cost 6 ) 49.709 * * [simplify]: iteration 4 : 187 enodes (cost 6 ) 49.762 * * [simplify]: iteration 5 : 304 enodes (cost 6 ) 49.809 * * [simplify]: iteration 6 : 377 enodes (cost 6 ) 49.877 * * [simplify]: iteration 7 : 436 enodes (cost 6 ) 49.927 * * [simplify]: iteration done : 436 enodes (cost 6 ) 49.928 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 49.929 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 49.931 * * [simplify]: iteration 2 : 30 enodes (cost 6 ) 49.938 * * [simplify]: iteration 3 : 96 enodes (cost 6 ) 49.966 * * [simplify]: iteration 4 : 209 enodes (cost 6 ) 50.019 * * [simplify]: iteration 5 : 393 enodes (cost 6 ) 50.324 * * [simplify]: iteration 6 : 1044 enodes (cost 6 ) 53.100 * * [simplify]: iteration 7 : 3977 enodes (cost 6 ) 54.211 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 54.212 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 54.214 * * [simplify]: iteration 1 : 35 enodes (cost 19 ) 54.221 * * [simplify]: iteration 2 : 133 enodes (cost 11 ) 54.362 * * [simplify]: iteration 3 : 829 enodes (cost 9 ) 56.929 * * [simplify]: iteration 4 : 3024 enodes (cost 7 ) 59.665 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 59.666 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 59.668 * * [simplify]: iteration 1 : 34 enodes (cost 19 ) 59.674 * * [simplify]: iteration 2 : 105 enodes (cost 9 ) 59.736 * * [simplify]: iteration 3 : 444 enodes (cost 9 ) 60.779 * * [simplify]: iteration 4 : 1766 enodes (cost 9 ) 65.177 * * [simplify]: iteration 5 : 4213 enodes (cost 7 ) 66.186 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 66.187 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 66.189 * * [simplify]: iteration 1 : 35 enodes (cost 23 ) 66.197 * * [simplify]: iteration 2 : 137 enodes (cost 13 ) 66.301 * * [simplify]: iteration 3 : 595 enodes (cost 9 ) 67.839 * * [simplify]: iteration 4 : 2178 enodes (cost 9 ) 71.693 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 71.694 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 71.695 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 71.702 * * [simplify]: iteration 2 : 104 enodes (cost 11 ) 71.762 * * [simplify]: iteration 3 : 365 enodes (cost 11 ) 72.345 * * [simplify]: iteration 4 : 1292 enodes (cost 7 ) 76.647 * * [simplify]: iteration 5 : 4145 enodes (cost 7 ) 78.053 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 78.054 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 78.055 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 78.057 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 78.063 * * [simplify]: iteration 3 : 64 enodes (cost 13 ) 78.083 * * [simplify]: iteration 4 : 105 enodes (cost 13 ) 78.094 * * [simplify]: iteration 5 : 108 enodes (cost 13 ) 78.104 * * [simplify]: iteration done : 108 enodes (cost 13 ) 78.105 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 78.106 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 78.108 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 78.113 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 78.132 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 78.143 * * [simplify]: iteration 5 : 107 enodes (cost 6 ) 78.152 * * [simplify]: iteration done : 107 enodes (cost 6 ) 78.153 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 78.154 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 78.162 * * [simplify]: iteration 2 : 104 enodes (cost 7 ) 78.248 * * [simplify]: iteration 3 : 397 enodes (cost 7 ) 78.743 * * [simplify]: iteration 4 : 1112 enodes (cost 7 ) 81.315 * * [simplify]: iteration 5 : 2743 enodes (cost 7 ) 84.617 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 84.617 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.618 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 84.620 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 84.628 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 84.643 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 84.655 * * [simplify]: iteration 5 : 107 enodes (cost 6 ) 84.664 * * [simplify]: iteration done : 107 enodes (cost 6 ) 84.665 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 84.666 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 84.667 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 84.672 * * [simplify]: iteration 3 : 63 enodes (cost 6 ) 84.690 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 84.702 * * [simplify]: iteration 5 : 107 enodes (cost 6 ) 84.711 * * [simplify]: iteration done : 107 enodes (cost 6 ) 84.712 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 84.712 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 84.712 * * [simplify]: iteration done : 6 enodes (cost 1 ) 84.713 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 84.713 * * [simplify]: iteration done : 2 enodes (cost 3 ) 84.714 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 84.715 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 84.716 * * [simplify]: iteration done : 11 enodes (cost 9 ) 84.717 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 84.717 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 84.718 * * [simplify]: iteration done : 11 enodes (cost 9 ) 84.719 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 84.720 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 84.721 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 84.723 * * [simplify]: iteration 3 : 21 enodes (cost 10 ) 84.725 * * [simplify]: iteration 4 : 22 enodes (cost 10 ) 84.727 * * [simplify]: iteration done : 22 enodes (cost 10 ) 84.728 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 84.729 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 84.730 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 84.732 * * [simplify]: iteration 3 : 21 enodes (cost 10 ) 84.734 * * [simplify]: iteration 4 : 22 enodes (cost 10 ) 84.736 * * [simplify]: iteration done : 22 enodes (cost 10 ) 84.736 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 84.737 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 84.739 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 84.740 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 84.747 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 84.751 * * [simplify]: iteration 5 : 35 enodes (cost 7 ) 84.754 * * [simplify]: iteration done : 35 enodes (cost 7 ) 84.754 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 84.756 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 84.757 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 84.759 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 84.761 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 84.765 * * [simplify]: iteration 5 : 35 enodes (cost 7 ) 84.768 * * [simplify]: iteration done : 35 enodes (cost 7 ) 84.769 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 84.770 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 84.772 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 84.775 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 84.782 * * [simplify]: iteration 4 : 86 enodes (cost 4 ) 84.799 * * [simplify]: iteration 5 : 94 enodes (cost 4 ) 84.812 * * [simplify]: iteration done : 94 enodes (cost 4 ) 84.813 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 84.814 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 84.815 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 84.818 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 84.826 * * [simplify]: iteration 4 : 86 enodes (cost 4 ) 84.843 * * [simplify]: iteration 5 : 94 enodes (cost 4 ) 84.852 * * [simplify]: iteration done : 94 enodes (cost 4 ) 84.853 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 84.854 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 84.855 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 84.857 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 84.866 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 84.869 * * [simplify]: iteration done : 36 enodes (cost 7 ) 84.870 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 84.870 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 84.872 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 84.874 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 84.878 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 84.882 * * [simplify]: iteration done : 36 enodes (cost 7 ) 84.883 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 84.883 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 84.885 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 84.889 * * [simplify]: iteration 3 : 64 enodes (cost 8 ) 84.909 * * [simplify]: iteration 4 : 118 enodes (cost 4 ) 84.927 * * [simplify]: iteration 5 : 119 enodes (cost 4 ) 84.937 * * [simplify]: iteration done : 119 enodes (cost 4 ) 84.937 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 84.938 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 84.940 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 84.944 * * [simplify]: iteration 3 : 64 enodes (cost 8 ) 84.963 * * [simplify]: iteration 4 : 118 enodes (cost 4 ) 84.982 * * [simplify]: iteration 5 : 119 enodes (cost 4 ) 84.991 * * [simplify]: iteration done : 119 enodes (cost 4 ) 84.992 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 84.993 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 84.995 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 84.999 * * [simplify]: iteration 3 : 51 enodes (cost 11 ) 85.009 * * [simplify]: iteration 4 : 64 enodes (cost 11 ) 85.016 * * [simplify]: iteration done : 64 enodes (cost 11 ) 85.017 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 85.018 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 85.019 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 85.021 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 85.026 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 85.028 * * [simplify]: iteration done : 33 enodes (cost 6 ) 85.029 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 85.030 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 85.034 * * [simplify]: iteration 2 : 64 enodes (cost 13 ) 85.062 * * [simplify]: iteration 3 : 216 enodes (cost 13 ) 85.208 * * [simplify]: iteration 4 : 525 enodes (cost 13 ) 85.621 * * [simplify]: iteration 5 : 836 enodes (cost 13 ) 85.963 * * [simplify]: iteration 6 : 858 enodes (cost 13 ) 86.260 * * [simplify]: iteration done : 858 enodes (cost 13 ) 86.261 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 86.267 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 86.270 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 86.282 * * [simplify]: iteration 3 : 113 enodes (cost 10 ) 86.335 * * [simplify]: iteration 4 : 233 enodes (cost 10 ) 86.415 * * [simplify]: iteration 5 : 306 enodes (cost 10 ) 86.492 * * [simplify]: iteration 6 : 323 enodes (cost 10 ) 86.553 * * [simplify]: iteration done : 323 enodes (cost 10 ) 86.554 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 86.555 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 86.558 * * [simplify]: iteration 2 : 43 enodes (cost 7 ) 86.582 * * [simplify]: iteration 3 : 168 enodes (cost 7 ) 86.635 * * [simplify]: iteration 4 : 243 enodes (cost 7 ) 86.668 * * [simplify]: iteration 5 : 249 enodes (cost 7 ) 86.695 * * [simplify]: iteration done : 249 enodes (cost 7 ) 86.696 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 86.697 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 86.699 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 86.708 * * [simplify]: iteration 3 : 109 enodes (cost 10 ) 86.752 * * [simplify]: iteration 4 : 245 enodes (cost 10 ) 86.878 * * [simplify]: iteration 5 : 418 enodes (cost 10 ) 86.975 * * [simplify]: iteration 6 : 432 enodes (cost 10 ) 87.058 * * [simplify]: iteration done : 432 enodes (cost 10 ) 87.059 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.060 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 87.062 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 87.066 * * [simplify]: iteration 3 : 63 enodes (cost 7 ) 87.082 * * [simplify]: iteration 4 : 114 enodes (cost 7 ) 87.109 * * [simplify]: iteration 5 : 153 enodes (cost 7 ) 87.135 * * [simplify]: iteration 6 : 162 enodes (cost 7 ) 87.157 * * [simplify]: iteration done : 162 enodes (cost 7 ) 87.158 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.159 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 87.161 * * [simplify]: iteration 2 : 27 enodes (cost 4 ) 87.167 * * [simplify]: iteration 3 : 71 enodes (cost 4 ) 87.181 * * [simplify]: iteration 4 : 95 enodes (cost 4 ) 87.189 * * [simplify]: iteration 5 : 99 enodes (cost 4 ) 87.197 * * [simplify]: iteration done : 99 enodes (cost 4 ) 87.198 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 87.199 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 87.201 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 87.212 * * [simplify]: iteration 3 : 79 enodes (cost 9 ) 87.236 * * [simplify]: iteration 4 : 127 enodes (cost 9 ) 87.252 * * [simplify]: iteration done : 127 enodes (cost 9 ) 87.252 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 87.253 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 87.255 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 87.258 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 87.270 * * [simplify]: iteration 4 : 50 enodes (cost 6 ) 87.274 * * [simplify]: iteration done : 50 enodes (cost 6 ) 87.275 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 87.276 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 87.277 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 87.279 * * [simplify]: iteration 3 : 23 enodes (cost 3 ) 87.280 * * [simplify]: iteration done : 23 enodes (cost 3 ) 87.281 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 87.282 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 87.282 * * [simplify]: iteration done : 9 enodes (cost 3 ) 87.283 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 87.283 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 87.285 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 87.286 * * [simplify]: iteration done : 13 enodes (cost 3 ) 87.286 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.287 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 87.288 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 87.290 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 87.291 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 87.293 * * [simplify]: iteration done : 20 enodes (cost 8 ) 87.294 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.295 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 87.296 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 87.298 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 87.300 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 87.302 * * [simplify]: iteration done : 20 enodes (cost 8 ) 87.303 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.304 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 87.305 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 87.309 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 87.315 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 87.332 * * [simplify]: iteration 5 : 98 enodes (cost 6 ) 87.349 * * [simplify]: iteration 6 : 109 enodes (cost 6 ) 87.367 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 87.388 * * [simplify]: iteration done : 110 enodes (cost 6 ) 87.388 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.389 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 87.391 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 87.394 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 87.400 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 87.414 * * [simplify]: iteration 5 : 98 enodes (cost 6 ) 87.432 * * [simplify]: iteration 6 : 109 enodes (cost 6 ) 87.452 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 87.469 * * [simplify]: iteration done : 110 enodes (cost 6 ) 87.470 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.471 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 87.472 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 87.475 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 87.482 * * [simplify]: iteration 4 : 70 enodes (cost 5 ) 87.493 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 87.507 * * [simplify]: iteration 6 : 85 enodes (cost 5 ) 87.516 * * [simplify]: iteration done : 85 enodes (cost 5 ) 87.516 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.517 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 87.519 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 87.523 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 87.529 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 87.542 * * [simplify]: iteration 5 : 98 enodes (cost 6 ) 87.564 * * [simplify]: iteration 6 : 109 enodes (cost 6 ) 87.582 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 87.599 * * [simplify]: iteration done : 110 enodes (cost 6 ) 87.600 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 87.601 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 87.602 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 87.606 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 87.612 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 87.629 * * [simplify]: iteration 5 : 98 enodes (cost 6 ) 87.647 * * [simplify]: iteration 6 : 109 enodes (cost 6 ) 87.664 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 87.684 * * [simplify]: iteration done : 110 enodes (cost 6 ) 87.685 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.686 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 87.687 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 87.691 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 87.697 * * [simplify]: iteration 4 : 70 enodes (cost 5 ) 87.709 * * [simplify]: iteration 5 : 83 enodes (cost 5 ) 87.719 * * [simplify]: iteration 6 : 85 enodes (cost 5 ) 87.732 * * [simplify]: iteration done : 85 enodes (cost 5 ) 87.732 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.733 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 87.735 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 87.739 * * [simplify]: iteration 3 : 62 enodes (cost 6 ) 87.751 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 87.767 * * [simplify]: iteration 5 : 121 enodes (cost 6 ) 87.790 * * [simplify]: iteration 6 : 136 enodes (cost 6 ) 87.808 * * [simplify]: iteration done : 136 enodes (cost 6 ) 87.808 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 87.809 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 87.811 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 87.815 * * [simplify]: iteration 3 : 62 enodes (cost 6 ) 87.827 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 87.842 * * [simplify]: iteration 5 : 121 enodes (cost 6 ) 87.865 * * [simplify]: iteration 6 : 136 enodes (cost 6 ) 87.882 * * [simplify]: iteration done : 136 enodes (cost 6 ) 87.883 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 87.883 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 87.885 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 87.890 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 87.909 * * [simplify]: iteration 4 : 105 enodes (cost 5 ) 87.920 * * [simplify]: iteration 5 : 107 enodes (cost 5 ) 87.929 * * [simplify]: iteration done : 107 enodes (cost 5 ) 87.930 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 87.931 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 87.932 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 87.937 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 87.952 * * [simplify]: iteration 4 : 105 enodes (cost 5 ) 87.968 * * [simplify]: iteration 5 : 107 enodes (cost 5 ) 87.977 * * [simplify]: iteration done : 107 enodes (cost 5 ) 87.977 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 87.978 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 87.979 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 87.984 * * [simplify]: iteration 3 : 62 enodes (cost 5 ) 88.000 * * [simplify]: iteration 4 : 105 enodes (cost 5 ) 88.011 * * [simplify]: iteration 5 : 107 enodes (cost 5 ) 88.025 * * [simplify]: iteration done : 107 enodes (cost 5 ) 88.026 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 88.026 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 88.027 * * [simplify]: iteration 2 : 13 enodes (cost 3 ) 88.028 * * [simplify]: iteration done : 13 enodes (cost 3 ) 88.029 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 88.030 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 88.031 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 88.032 * * [simplify]: iteration 3 : 22 enodes (cost 3 ) 88.034 * * [simplify]: iteration 4 : 25 enodes (cost 3 ) 88.036 * * [simplify]: iteration 5 : 27 enodes (cost 3 ) 88.038 * * [simplify]: iteration done : 27 enodes (cost 3 ) 88.038 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 88.039 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 88.041 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 88.042 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 88.044 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 88.046 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 88.050 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 88.058 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 88.107 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 88.781 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 91.131 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 91.132 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 91.132 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 91.134 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 91.135 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 91.137 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 91.139 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 91.148 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 91.158 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 91.206 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 91.661 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 94.039 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 94.040 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 94.040 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 94.042 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 94.043 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 94.045 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 94.047 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 94.050 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 94.059 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 94.110 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 94.570 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 96.941 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 96.942 * [simplify]: Simplified to: (/ (/ x y) y) (- (log x) (* 2 (log y))) (- (log (/ x y)) (log y)) (- (log x) (* 2 (log y))) (- (log (/ x y)) (log y)) (- (log x) (* 2 (log y))) (- (log (/ x y)) (log y)) (- (log x) (* 2 (log y))) (- (log (/ x y)) (log y)) (log (/ (/ x y) y)) (exp (/ (/ x y) y)) (/ (pow x 3) (pow y 6)) (pow (/ (/ x y) y) 3) (/ (pow (/ x y) 3) (pow y 3)) (pow (/ (/ x y) y) 3) (* (cbrt (/ (/ x y) y)) (cbrt (/ (/ x y) y))) (cbrt (/ (/ x y) y)) (pow (/ (/ x y) y) 3) (sqrt (/ (/ x y) y)) (sqrt (/ (/ x y) y)) x (* y y) (* (sqrt (/ 1 y)) (sqrt (/ x y))) (* (sqrt (/ 1 y)) (sqrt (/ x y))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt y))) (* (sqrt (/ 1 y)) (/ (sqrt x) (sqrt y))) (/ (sqrt (/ x y)) (sqrt y)) (/ (sqrt (/ x y)) (sqrt y)) (/ (sqrt x) y) (/ (sqrt x) y) (/ (sqrt (/ x y)) (sqrt y)) (/ (sqrt (/ x y)) (sqrt y)) (/ (sqrt x) y) (/ (sqrt x) y) (/ (* (cbrt (/ x y)) (cbrt (/ x y))) y) (/ (sqrt (/ x y)) y) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) y) (/ (/ (* (cbrt x) (cbrt x)) (sqrt y)) y) (/ (* (cbrt x) (cbrt x)) y) (/ (/ (sqrt x) (* (cbrt y) (cbrt y))) y) (/ (/ (sqrt x) (sqrt y)) y) (/ (sqrt x) y) (/ (/ 1 (* (cbrt y) (cbrt y))) y) (/ (/ 1 (sqrt y)) y) (/ 1 y) (/ 1 y) (/ x y) (* (cbrt (/ 1 y)) (/ x y)) (* (sqrt (/ 1 y)) (/ x y)) (/ (/ x y) (cbrt y)) (/ (/ x y) (sqrt y)) (/ (/ x y) y) (/ (/ x y) (cbrt y)) (/ (/ x y) (sqrt y)) (/ (/ x y) y) (/ (/ x y) (cbrt y)) (/ (/ x y) (sqrt y)) (/ (/ x y) y) (/ (/ x y) y) (/ (/ x y) y) (/ x y) (/ x y) (/ x (pow y 2)) (/ x (pow y 2)) (/ x (pow y 2)) 96.942 * * * [progress]: adding candidates to table 96.994 * * [progress]: iteration 4 / 4 96.994 * * * [progress]: picking best candidate 97.011 * * * * [pick]: Picked # 97.011 * * * [progress]: localizing error 97.024 * * * [progress]: generating rewritten candidates 97.024 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 97.027 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 97.030 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 97.033 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 97.055 * * * [progress]: generating series expansions 97.055 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 97.055 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 97.055 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 97.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 97.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 97.055 * [taylor]: Taking taylor expansion of 1/3 in y 97.055 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 97.055 * [taylor]: Taking taylor expansion of (/ x y) in y 97.055 * [taylor]: Taking taylor expansion of x in y 97.055 * [taylor]: Taking taylor expansion of y in y 97.055 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 97.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 97.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 97.056 * [taylor]: Taking taylor expansion of 1/3 in x 97.056 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 97.056 * [taylor]: Taking taylor expansion of (/ x y) in x 97.056 * [taylor]: Taking taylor expansion of x in x 97.056 * [taylor]: Taking taylor expansion of y in x 97.056 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 97.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 97.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 97.056 * [taylor]: Taking taylor expansion of 1/3 in x 97.056 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 97.056 * [taylor]: Taking taylor expansion of (/ x y) in x 97.056 * [taylor]: Taking taylor expansion of x in x 97.056 * [taylor]: Taking taylor expansion of y in x 97.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 97.056 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 97.056 * [taylor]: Taking taylor expansion of 1/3 in y 97.056 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 97.056 * [taylor]: Taking taylor expansion of (log x) in y 97.056 * [taylor]: Taking taylor expansion of x in y 97.056 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 97.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 97.056 * [taylor]: Taking taylor expansion of y in y 97.057 * [taylor]: Taking taylor expansion of 0 in y 97.058 * [taylor]: Taking taylor expansion of 0 in y 97.060 * [taylor]: Taking taylor expansion of 0 in y 97.060 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 97.060 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 97.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 97.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 97.060 * [taylor]: Taking taylor expansion of 1/3 in y 97.060 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 97.060 * [taylor]: Taking taylor expansion of (/ y x) in y 97.060 * [taylor]: Taking taylor expansion of y in y 97.060 * [taylor]: Taking taylor expansion of x in y 97.061 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.061 * [taylor]: Taking taylor expansion of 1/3 in x 97.061 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.061 * [taylor]: Taking taylor expansion of (/ y x) in x 97.061 * [taylor]: Taking taylor expansion of y in x 97.061 * [taylor]: Taking taylor expansion of x in x 97.061 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.061 * [taylor]: Taking taylor expansion of 1/3 in x 97.061 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.061 * [taylor]: Taking taylor expansion of (/ y x) in x 97.061 * [taylor]: Taking taylor expansion of y in x 97.061 * [taylor]: Taking taylor expansion of x in x 97.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 97.061 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 97.061 * [taylor]: Taking taylor expansion of 1/3 in y 97.061 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 97.061 * [taylor]: Taking taylor expansion of (log y) in y 97.061 * [taylor]: Taking taylor expansion of y in y 97.061 * [taylor]: Taking taylor expansion of (log x) in y 97.061 * [taylor]: Taking taylor expansion of x in y 97.062 * [taylor]: Taking taylor expansion of 0 in y 97.063 * [taylor]: Taking taylor expansion of 0 in y 97.065 * [taylor]: Taking taylor expansion of 0 in y 97.065 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 97.065 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 97.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 97.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 97.065 * [taylor]: Taking taylor expansion of 1/3 in y 97.065 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 97.065 * [taylor]: Taking taylor expansion of (/ y x) in y 97.065 * [taylor]: Taking taylor expansion of y in y 97.065 * [taylor]: Taking taylor expansion of x in y 97.065 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.065 * [taylor]: Taking taylor expansion of 1/3 in x 97.065 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.065 * [taylor]: Taking taylor expansion of (/ y x) in x 97.065 * [taylor]: Taking taylor expansion of y in x 97.065 * [taylor]: Taking taylor expansion of x in x 97.066 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.066 * [taylor]: Taking taylor expansion of 1/3 in x 97.066 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.066 * [taylor]: Taking taylor expansion of (/ y x) in x 97.066 * [taylor]: Taking taylor expansion of y in x 97.066 * [taylor]: Taking taylor expansion of x in x 97.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 97.066 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 97.066 * [taylor]: Taking taylor expansion of 1/3 in y 97.066 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 97.066 * [taylor]: Taking taylor expansion of (log y) in y 97.066 * [taylor]: Taking taylor expansion of y in y 97.066 * [taylor]: Taking taylor expansion of (log x) in y 97.066 * [taylor]: Taking taylor expansion of x in y 97.067 * [taylor]: Taking taylor expansion of 0 in y 97.068 * [taylor]: Taking taylor expansion of 0 in y 97.069 * [taylor]: Taking taylor expansion of 0 in y 97.069 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 97.069 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 97.069 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 97.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 97.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 97.070 * [taylor]: Taking taylor expansion of 1/3 in y 97.070 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 97.070 * [taylor]: Taking taylor expansion of (/ x y) in y 97.070 * [taylor]: Taking taylor expansion of x in y 97.070 * [taylor]: Taking taylor expansion of y in y 97.070 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 97.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 97.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 97.070 * [taylor]: Taking taylor expansion of 1/3 in x 97.070 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 97.070 * [taylor]: Taking taylor expansion of (/ x y) in x 97.070 * [taylor]: Taking taylor expansion of x in x 97.070 * [taylor]: Taking taylor expansion of y in x 97.070 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 97.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 97.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 97.070 * [taylor]: Taking taylor expansion of 1/3 in x 97.070 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 97.070 * [taylor]: Taking taylor expansion of (/ x y) in x 97.070 * [taylor]: Taking taylor expansion of x in x 97.070 * [taylor]: Taking taylor expansion of y in x 97.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 97.071 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 97.071 * [taylor]: Taking taylor expansion of 1/3 in y 97.071 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 97.071 * [taylor]: Taking taylor expansion of (log x) in y 97.071 * [taylor]: Taking taylor expansion of x in y 97.071 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 97.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 97.071 * [taylor]: Taking taylor expansion of y in y 97.071 * [taylor]: Taking taylor expansion of 0 in y 97.073 * [taylor]: Taking taylor expansion of 0 in y 97.074 * [taylor]: Taking taylor expansion of 0 in y 97.074 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 97.074 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 97.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 97.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 97.074 * [taylor]: Taking taylor expansion of 1/3 in y 97.074 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 97.074 * [taylor]: Taking taylor expansion of (/ y x) in y 97.074 * [taylor]: Taking taylor expansion of y in y 97.074 * [taylor]: Taking taylor expansion of x in y 97.075 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.075 * [taylor]: Taking taylor expansion of 1/3 in x 97.075 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.075 * [taylor]: Taking taylor expansion of (/ y x) in x 97.075 * [taylor]: Taking taylor expansion of y in x 97.075 * [taylor]: Taking taylor expansion of x in x 97.075 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.075 * [taylor]: Taking taylor expansion of 1/3 in x 97.075 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.075 * [taylor]: Taking taylor expansion of (/ y x) in x 97.075 * [taylor]: Taking taylor expansion of y in x 97.075 * [taylor]: Taking taylor expansion of x in x 97.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 97.076 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 97.076 * [taylor]: Taking taylor expansion of 1/3 in y 97.076 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 97.076 * [taylor]: Taking taylor expansion of (log y) in y 97.076 * [taylor]: Taking taylor expansion of y in y 97.076 * [taylor]: Taking taylor expansion of (log x) in y 97.076 * [taylor]: Taking taylor expansion of x in y 97.076 * [taylor]: Taking taylor expansion of 0 in y 97.077 * [taylor]: Taking taylor expansion of 0 in y 97.079 * [taylor]: Taking taylor expansion of 0 in y 97.079 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 97.079 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 97.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 97.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 97.079 * [taylor]: Taking taylor expansion of 1/3 in y 97.079 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 97.079 * [taylor]: Taking taylor expansion of (/ y x) in y 97.079 * [taylor]: Taking taylor expansion of y in y 97.079 * [taylor]: Taking taylor expansion of x in y 97.079 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.080 * [taylor]: Taking taylor expansion of 1/3 in x 97.080 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.080 * [taylor]: Taking taylor expansion of (/ y x) in x 97.080 * [taylor]: Taking taylor expansion of y in x 97.080 * [taylor]: Taking taylor expansion of x in x 97.080 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.080 * [taylor]: Taking taylor expansion of 1/3 in x 97.080 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.080 * [taylor]: Taking taylor expansion of (/ y x) in x 97.080 * [taylor]: Taking taylor expansion of y in x 97.080 * [taylor]: Taking taylor expansion of x in x 97.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 97.080 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 97.080 * [taylor]: Taking taylor expansion of 1/3 in y 97.080 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 97.080 * [taylor]: Taking taylor expansion of (log y) in y 97.080 * [taylor]: Taking taylor expansion of y in y 97.080 * [taylor]: Taking taylor expansion of (log x) in y 97.080 * [taylor]: Taking taylor expansion of x in y 97.081 * [taylor]: Taking taylor expansion of 0 in y 97.082 * [taylor]: Taking taylor expansion of 0 in y 97.083 * [taylor]: Taking taylor expansion of 0 in y 97.084 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 97.084 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 97.084 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 97.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 97.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 97.084 * [taylor]: Taking taylor expansion of 1/3 in y 97.084 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 97.084 * [taylor]: Taking taylor expansion of (/ x y) in y 97.084 * [taylor]: Taking taylor expansion of x in y 97.084 * [taylor]: Taking taylor expansion of y in y 97.084 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 97.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 97.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 97.084 * [taylor]: Taking taylor expansion of 1/3 in x 97.084 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 97.084 * [taylor]: Taking taylor expansion of (/ x y) in x 97.084 * [taylor]: Taking taylor expansion of x in x 97.084 * [taylor]: Taking taylor expansion of y in x 97.084 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 97.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 97.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 97.084 * [taylor]: Taking taylor expansion of 1/3 in x 97.085 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 97.085 * [taylor]: Taking taylor expansion of (/ x y) in x 97.085 * [taylor]: Taking taylor expansion of x in x 97.085 * [taylor]: Taking taylor expansion of y in x 97.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 97.085 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 97.085 * [taylor]: Taking taylor expansion of 1/3 in y 97.085 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 97.085 * [taylor]: Taking taylor expansion of (log x) in y 97.085 * [taylor]: Taking taylor expansion of x in y 97.085 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 97.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 97.085 * [taylor]: Taking taylor expansion of y in y 97.086 * [taylor]: Taking taylor expansion of 0 in y 97.087 * [taylor]: Taking taylor expansion of 0 in y 97.089 * [taylor]: Taking taylor expansion of 0 in y 97.089 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 97.089 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 97.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 97.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 97.089 * [taylor]: Taking taylor expansion of 1/3 in y 97.089 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 97.089 * [taylor]: Taking taylor expansion of (/ y x) in y 97.089 * [taylor]: Taking taylor expansion of y in y 97.089 * [taylor]: Taking taylor expansion of x in y 97.089 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.090 * [taylor]: Taking taylor expansion of 1/3 in x 97.090 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.090 * [taylor]: Taking taylor expansion of (/ y x) in x 97.090 * [taylor]: Taking taylor expansion of y in x 97.090 * [taylor]: Taking taylor expansion of x in x 97.090 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.090 * [taylor]: Taking taylor expansion of 1/3 in x 97.090 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.090 * [taylor]: Taking taylor expansion of (/ y x) in x 97.090 * [taylor]: Taking taylor expansion of y in x 97.090 * [taylor]: Taking taylor expansion of x in x 97.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 97.090 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 97.090 * [taylor]: Taking taylor expansion of 1/3 in y 97.090 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 97.090 * [taylor]: Taking taylor expansion of (log y) in y 97.090 * [taylor]: Taking taylor expansion of y in y 97.090 * [taylor]: Taking taylor expansion of (log x) in y 97.090 * [taylor]: Taking taylor expansion of x in y 97.091 * [taylor]: Taking taylor expansion of 0 in y 97.092 * [taylor]: Taking taylor expansion of 0 in y 97.094 * [taylor]: Taking taylor expansion of 0 in y 97.094 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 97.094 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 97.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 97.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 97.094 * [taylor]: Taking taylor expansion of 1/3 in y 97.094 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 97.094 * [taylor]: Taking taylor expansion of (/ y x) in y 97.094 * [taylor]: Taking taylor expansion of y in y 97.094 * [taylor]: Taking taylor expansion of x in y 97.094 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.094 * [taylor]: Taking taylor expansion of 1/3 in x 97.094 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.094 * [taylor]: Taking taylor expansion of (/ y x) in x 97.094 * [taylor]: Taking taylor expansion of y in x 97.095 * [taylor]: Taking taylor expansion of x in x 97.095 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 97.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 97.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 97.095 * [taylor]: Taking taylor expansion of 1/3 in x 97.095 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 97.095 * [taylor]: Taking taylor expansion of (/ y x) in x 97.095 * [taylor]: Taking taylor expansion of y in x 97.095 * [taylor]: Taking taylor expansion of x in x 97.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 97.095 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 97.095 * [taylor]: Taking taylor expansion of 1/3 in y 97.095 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 97.095 * [taylor]: Taking taylor expansion of (log y) in y 97.095 * [taylor]: Taking taylor expansion of y in y 97.095 * [taylor]: Taking taylor expansion of (log x) in y 97.095 * [taylor]: Taking taylor expansion of x in y 97.096 * [taylor]: Taking taylor expansion of 0 in y 97.097 * [taylor]: Taking taylor expansion of 0 in y 97.099 * [taylor]: Taking taylor expansion of 0 in y 97.099 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 97.099 * [approximate]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in (x y) around 0 97.099 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in y 97.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow y 2))))) in y 97.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow y 2)))) in y 97.099 * [taylor]: Taking taylor expansion of 1/3 in y 97.099 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow y 2))) in y 97.099 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in y 97.099 * [taylor]: Taking taylor expansion of (pow x 2) in y 97.099 * [taylor]: Taking taylor expansion of x in y 97.099 * [taylor]: Taking taylor expansion of (pow y 2) in y 97.099 * [taylor]: Taking taylor expansion of y in y 97.099 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in x 97.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow y 2))))) in x 97.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow y 2)))) in x 97.100 * [taylor]: Taking taylor expansion of 1/3 in x 97.100 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow y 2))) in x 97.100 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 97.100 * [taylor]: Taking taylor expansion of (pow x 2) in x 97.100 * [taylor]: Taking taylor expansion of x in x 97.100 * [taylor]: Taking taylor expansion of (pow y 2) in x 97.100 * [taylor]: Taking taylor expansion of y in x 97.100 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in x 97.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow y 2))))) in x 97.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow y 2)))) in x 97.100 * [taylor]: Taking taylor expansion of 1/3 in x 97.100 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow y 2))) in x 97.100 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 97.100 * [taylor]: Taking taylor expansion of (pow x 2) in x 97.100 * [taylor]: Taking taylor expansion of x in x 97.100 * [taylor]: Taking taylor expansion of (pow y 2) in x 97.100 * [taylor]: Taking taylor expansion of y in x 97.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow y 2))) (* 2 (log x))))) in y 97.101 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow y 2))) (* 2 (log x)))) in y 97.101 * [taylor]: Taking taylor expansion of 1/3 in y 97.101 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow y 2))) (* 2 (log x))) in y 97.101 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 97.101 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 97.101 * [taylor]: Taking taylor expansion of (pow y 2) in y 97.101 * [taylor]: Taking taylor expansion of y in y 97.101 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 97.101 * [taylor]: Taking taylor expansion of 2 in y 97.101 * [taylor]: Taking taylor expansion of (log x) in y 97.101 * [taylor]: Taking taylor expansion of x in y 97.102 * [taylor]: Taking taylor expansion of 0 in y 97.104 * [taylor]: Taking taylor expansion of 0 in y 97.107 * [taylor]: Taking taylor expansion of 0 in y 97.107 * [approximate]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in (x y) around 0 97.107 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in y 97.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in y 97.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in y 97.107 * [taylor]: Taking taylor expansion of 1/3 in y 97.107 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in y 97.107 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 97.107 * [taylor]: Taking taylor expansion of (pow y 2) in y 97.107 * [taylor]: Taking taylor expansion of y in y 97.107 * [taylor]: Taking taylor expansion of (pow x 2) in y 97.107 * [taylor]: Taking taylor expansion of x in y 97.108 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 97.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 97.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 97.108 * [taylor]: Taking taylor expansion of 1/3 in x 97.108 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 97.108 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 97.108 * [taylor]: Taking taylor expansion of (pow y 2) in x 97.108 * [taylor]: Taking taylor expansion of y in x 97.108 * [taylor]: Taking taylor expansion of (pow x 2) in x 97.108 * [taylor]: Taking taylor expansion of x in x 97.108 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 97.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 97.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 97.109 * [taylor]: Taking taylor expansion of 1/3 in x 97.109 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 97.109 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 97.109 * [taylor]: Taking taylor expansion of (pow y 2) in x 97.109 * [taylor]: Taking taylor expansion of y in x 97.109 * [taylor]: Taking taylor expansion of (pow x 2) in x 97.109 * [taylor]: Taking taylor expansion of x in x 97.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow y 2)) (* 2 (log x))))) in y 97.109 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow y 2)) (* 2 (log x)))) in y 97.109 * [taylor]: Taking taylor expansion of 1/3 in y 97.109 * [taylor]: Taking taylor expansion of (- (log (pow y 2)) (* 2 (log x))) in y 97.109 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 97.109 * [taylor]: Taking taylor expansion of (pow y 2) in y 97.109 * [taylor]: Taking taylor expansion of y in y 97.109 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 97.109 * [taylor]: Taking taylor expansion of 2 in y 97.109 * [taylor]: Taking taylor expansion of (log x) in y 97.109 * [taylor]: Taking taylor expansion of x in y 97.110 * [taylor]: Taking taylor expansion of 0 in y 97.112 * [taylor]: Taking taylor expansion of 0 in y 97.114 * [taylor]: Taking taylor expansion of 0 in y 97.114 * [approximate]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in (x y) around 0 97.114 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in y 97.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in y 97.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in y 97.114 * [taylor]: Taking taylor expansion of 1/3 in y 97.114 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in y 97.114 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 97.114 * [taylor]: Taking taylor expansion of (pow y 2) in y 97.114 * [taylor]: Taking taylor expansion of y in y 97.114 * [taylor]: Taking taylor expansion of (pow x 2) in y 97.114 * [taylor]: Taking taylor expansion of x in y 97.115 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 97.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 97.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 97.120 * [taylor]: Taking taylor expansion of 1/3 in x 97.120 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 97.120 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 97.120 * [taylor]: Taking taylor expansion of (pow y 2) in x 97.120 * [taylor]: Taking taylor expansion of y in x 97.120 * [taylor]: Taking taylor expansion of (pow x 2) in x 97.120 * [taylor]: Taking taylor expansion of x in x 97.120 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 97.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 97.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 97.121 * [taylor]: Taking taylor expansion of 1/3 in x 97.121 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 97.121 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 97.121 * [taylor]: Taking taylor expansion of (pow y 2) in x 97.121 * [taylor]: Taking taylor expansion of y in x 97.121 * [taylor]: Taking taylor expansion of (pow x 2) in x 97.121 * [taylor]: Taking taylor expansion of x in x 97.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow y 2)) (* 2 (log x))))) in y 97.121 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow y 2)) (* 2 (log x)))) in y 97.121 * [taylor]: Taking taylor expansion of 1/3 in y 97.121 * [taylor]: Taking taylor expansion of (- (log (pow y 2)) (* 2 (log x))) in y 97.121 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 97.121 * [taylor]: Taking taylor expansion of (pow y 2) in y 97.121 * [taylor]: Taking taylor expansion of y in y 97.121 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 97.121 * [taylor]: Taking taylor expansion of 2 in y 97.121 * [taylor]: Taking taylor expansion of (log x) in y 97.121 * [taylor]: Taking taylor expansion of x in y 97.123 * [taylor]: Taking taylor expansion of 0 in y 97.124 * [taylor]: Taking taylor expansion of 0 in y 97.126 * [taylor]: Taking taylor expansion of 0 in y 97.126 * * * [progress]: simplifying candidates 97.129 * [simplify]: Simplifying using # : (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (+ 1/3 1/3) (+ 1 1) (* (/ x y) (/ x y)) (* (cbrt (/ x y)) (cbrt (/ x y))) (+ 1 1) (+ (log (cbrt (/ x y))) (log (cbrt (/ x y)))) (log (* (cbrt (/ x y)) (cbrt (/ x y)))) (exp (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (/ x y) (/ x y)) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (sqrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (sqrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (cbrt x) (cbrt y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (* (cbrt x) (cbrt x)) 1))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ (cbrt x) y))) (* (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (cbrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) 1))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ (sqrt x) y))) (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x (cbrt y)))) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x (sqrt y)))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (cbrt x)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y))))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* 1 1) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (sqrt (cbrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* 2 1/3) (* 2 1) (* (cbrt (/ x y)) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (/ x y)) (cbrt (sqrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) 1))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) 1))) (* (cbrt (/ x y)) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ 1 1))) (* (cbrt (/ x y)) (cbrt 1)) (* (cbrt (/ x y)) (cbrt x)) (* (cbrt (/ x y)) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y))))) (* (cbrt (/ x y)) (sqrt (cbrt (/ x y)))) (* (cbrt (/ x y)) 1) (* (cbrt (cbrt (/ x y))) (cbrt (/ x y))) (* (cbrt (sqrt (/ x y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ x y))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ 1 y)) (cbrt (/ x y))) (* (cbrt (cbrt (/ x y))) (cbrt (/ x y))) (* (sqrt (cbrt (/ x y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt x)) (* (cbrt x) (cbrt (/ x y))) (exp (* 1/3 (- (+ (log 1) (log x)) (log y)))) (exp (* 1/3 (- (+ (log 1) (log (/ 1 y))) (log (/ 1 x))))) (exp (* 1/3 (- (+ (log 1) (log (/ -1 y))) (log (/ -1 x))))) (exp (* 1/3 (- (+ (log 1) (log x)) (log y)))) (exp (* 1/3 (- (+ (log 1) (log (/ 1 y))) (log (/ 1 x))))) (exp (* 1/3 (- (+ (log 1) (log (/ -1 y))) (log (/ -1 x))))) (exp (* 1/3 (- (+ (log 1) (log x)) (log y)))) (exp (* 1/3 (- (+ (log 1) (log (/ 1 y))) (log (/ 1 x))))) (exp (* 1/3 (- (+ (log 1) (log (/ -1 y))) (log (/ -1 x))))) (exp (* 1/3 (- (+ (log 1) (* 2 (log x))) (* 2 (log y))))) (exp (* 1/3 (- (+ (log 1) (* 2 (log (/ 1 y)))) (* 2 (log (/ 1 x)))))) (exp (* 1/3 (- (+ (log 1) (* 2 (log (/ -1 y)))) (* 2 (log (/ -1 x)))))) 97.129 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.130 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.130 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.131 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.131 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 97.132 * * [simplify]: iteration done : 6 enodes (cost 10 ) 97.132 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.133 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.133 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.134 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.134 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.135 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.136 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 97.136 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 97.138 * * [simplify]: iteration 2 : 23 enodes (cost 12 ) 97.141 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 97.144 * * [simplify]: iteration done : 29 enodes (cost 12 ) 97.145 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.146 * * [simplify]: iteration done : 6 enodes (cost 6 ) 97.146 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 97.147 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 97.148 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 97.149 * * [simplify]: iteration 3 : 12 enodes (cost 9 ) 97.150 * * [simplify]: iteration done : 12 enodes (cost 9 ) 97.151 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.151 * * [simplify]: iteration done : 6 enodes (cost 6 ) 97.152 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 97.153 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 97.153 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 97.155 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 97.157 * * [simplify]: iteration done : 21 enodes (cost 6 ) 97.157 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.158 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.158 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 97.159 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 97.160 * * [simplify]: iteration done : 9 enodes (cost 9 ) 97.160 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.161 * * [simplify]: iteration done : 6 enodes (cost 6 ) 97.161 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.162 * * [simplify]: iteration done : 6 enodes (cost 6 ) 97.163 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.163 * * [simplify]: iteration done : 6 enodes (cost 6 ) 97.164 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.164 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 97.165 * * [simplify]: iteration 2 : 9 enodes (cost 3 ) 97.165 * * [simplify]: iteration done : 9 enodes (cost 3 ) 97.166 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.166 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.167 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 97.168 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 97.169 * * [simplify]: iteration done : 10 enodes (cost 8 ) 97.169 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.170 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.170 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.171 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 97.171 * * [simplify]: iteration done : 7 enodes (cost 5 ) 97.172 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.172 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.173 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 97.173 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 97.173 * * [simplify]: iteration done : 5 enodes (cost 1 ) 97.174 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 97.174 * * [simplify]: iteration done : 4 enodes (cost 4 ) 97.175 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 97.175 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 97.175 * * [simplify]: iteration done : 4 enodes (cost 1 ) 97.176 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 97.176 * * [simplify]: iteration done : 4 enodes (cost 4 ) 97.177 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 97.177 * * [simplify]: iteration done : 2 enodes (cost 2 ) 97.178 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 97.178 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 97.178 * * [simplify]: iteration done : 6 enodes (cost 4 ) 97.179 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 97.179 * * [simplify]: iteration done : 2 enodes (cost 2 ) 97.180 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 97.180 * * [simplify]: iteration done : 2 enodes (cost 2 ) 97.180 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 97.181 * * [simplify]: iteration done : 6 enodes (cost 11 ) 97.181 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 97.182 * * [simplify]: iteration done : 5 enodes (cost 5 ) 97.183 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 97.183 * * [simplify]: iteration 1 : 7 enodes (cost 14 ) 97.184 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 97.185 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 97.187 * * [simplify]: iteration 4 : 20 enodes (cost 3 ) 97.189 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 97.192 * * [simplify]: iteration 6 : 53 enodes (cost 3 ) 97.206 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 97.252 * * [simplify]: iteration 8 : 324 enodes (cost 3 ) 97.702 * * [simplify]: iteration 9 : 1243 enodes (cost 3 ) 100.114 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 100.115 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.115 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.116 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.116 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.117 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.117 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.118 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.118 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.119 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 100.120 * * [simplify]: iteration done : 6 enodes (cost 10 ) 100.120 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.121 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.122 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.122 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.123 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.123 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.124 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 100.125 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 100.127 * * [simplify]: iteration 2 : 23 enodes (cost 12 ) 100.129 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 100.133 * * [simplify]: iteration done : 29 enodes (cost 12 ) 100.133 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 100.134 * * [simplify]: iteration done : 6 enodes (cost 6 ) 100.134 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 100.135 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 100.136 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 100.137 * * [simplify]: iteration 3 : 12 enodes (cost 9 ) 100.139 * * [simplify]: iteration done : 12 enodes (cost 9 ) 100.139 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 100.140 * * [simplify]: iteration done : 6 enodes (cost 6 ) 100.140 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 100.141 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 100.142 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 100.144 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 100.145 * * [simplify]: iteration done : 21 enodes (cost 6 ) 100.146 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.146 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.147 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 100.148 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 100.148 * * [simplify]: iteration done : 9 enodes (cost 9 ) 100.149 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 100.149 * * [simplify]: iteration done : 6 enodes (cost 6 ) 100.150 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 100.151 * * [simplify]: iteration done : 6 enodes (cost 6 ) 100.151 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 100.152 * * [simplify]: iteration done : 6 enodes (cost 6 ) 100.152 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.153 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 100.153 * * [simplify]: iteration 2 : 9 enodes (cost 3 ) 100.154 * * [simplify]: iteration done : 9 enodes (cost 3 ) 100.154 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.155 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.155 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 100.156 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 100.157 * * [simplify]: iteration done : 10 enodes (cost 8 ) 100.157 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.158 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.158 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.159 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 100.159 * * [simplify]: iteration done : 7 enodes (cost 5 ) 100.160 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.160 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.161 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 100.161 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 100.161 * * [simplify]: iteration done : 5 enodes (cost 1 ) 100.162 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 100.162 * * [simplify]: iteration done : 4 enodes (cost 4 ) 100.163 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 100.163 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 100.163 * * [simplify]: iteration done : 4 enodes (cost 1 ) 100.164 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 100.164 * * [simplify]: iteration done : 4 enodes (cost 4 ) 100.165 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 100.165 * * [simplify]: iteration done : 2 enodes (cost 2 ) 100.166 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 100.166 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 100.167 * * [simplify]: iteration done : 6 enodes (cost 4 ) 100.167 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 100.167 * * [simplify]: iteration done : 2 enodes (cost 2 ) 100.168 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 100.168 * * [simplify]: iteration done : 2 enodes (cost 2 ) 100.169 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 100.169 * * [simplify]: iteration done : 6 enodes (cost 11 ) 100.170 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 100.170 * * [simplify]: iteration done : 5 enodes (cost 5 ) 100.171 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 100.172 * * [simplify]: iteration 1 : 7 enodes (cost 14 ) 100.173 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 100.174 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 100.176 * * [simplify]: iteration 4 : 20 enodes (cost 3 ) 100.178 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 100.181 * * [simplify]: iteration 6 : 53 enodes (cost 3 ) 100.194 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 100.237 * * [simplify]: iteration 8 : 324 enodes (cost 3 ) 100.697 * * [simplify]: iteration 9 : 1243 enodes (cost 3 ) 103.060 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 103.063 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.064 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.065 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.065 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.066 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.066 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.067 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.067 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.068 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 103.068 * * [simplify]: iteration done : 6 enodes (cost 10 ) 103.069 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.069 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.070 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.070 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.071 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.071 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.072 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 103.073 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 103.075 * * [simplify]: iteration 2 : 23 enodes (cost 12 ) 103.077 * * [simplify]: iteration 3 : 29 enodes (cost 12 ) 103.080 * * [simplify]: iteration done : 29 enodes (cost 12 ) 103.081 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 103.082 * * [simplify]: iteration done : 6 enodes (cost 6 ) 103.082 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 103.083 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 103.084 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 103.085 * * [simplify]: iteration 3 : 12 enodes (cost 9 ) 103.086 * * [simplify]: iteration done : 12 enodes (cost 9 ) 103.087 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 103.087 * * [simplify]: iteration done : 6 enodes (cost 6 ) 103.088 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 103.089 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 103.090 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 103.091 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 103.093 * * [simplify]: iteration done : 21 enodes (cost 6 ) 103.094 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.094 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.095 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 103.095 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 103.096 * * [simplify]: iteration done : 9 enodes (cost 9 ) 103.097 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 103.097 * * [simplify]: iteration done : 6 enodes (cost 6 ) 103.098 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 103.099 * * [simplify]: iteration done : 6 enodes (cost 6 ) 103.099 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 103.100 * * [simplify]: iteration done : 6 enodes (cost 6 ) 103.100 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.101 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 103.101 * * [simplify]: iteration 2 : 9 enodes (cost 3 ) 103.102 * * [simplify]: iteration done : 9 enodes (cost 3 ) 103.102 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.103 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.103 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 103.104 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 103.105 * * [simplify]: iteration done : 10 enodes (cost 8 ) 103.106 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.106 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.107 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.107 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 103.108 * * [simplify]: iteration done : 7 enodes (cost 5 ) 103.108 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.109 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.109 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 103.110 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 103.110 * * [simplify]: iteration done : 5 enodes (cost 1 ) 103.110 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 103.111 * * [simplify]: iteration done : 4 enodes (cost 4 ) 103.111 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 103.112 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 103.112 * * [simplify]: iteration done : 4 enodes (cost 1 ) 103.112 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 103.113 * * [simplify]: iteration done : 4 enodes (cost 4 ) 103.113 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 103.114 * * [simplify]: iteration done : 2 enodes (cost 2 ) 103.114 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 103.115 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 103.115 * * [simplify]: iteration done : 6 enodes (cost 4 ) 103.116 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 103.116 * * [simplify]: iteration done : 2 enodes (cost 2 ) 103.116 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 103.116 * * [simplify]: iteration done : 2 enodes (cost 2 ) 103.117 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 103.118 * * [simplify]: iteration done : 6 enodes (cost 11 ) 103.118 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.119 * * [simplify]: iteration done : 5 enodes (cost 5 ) 103.119 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 103.120 * * [simplify]: iteration 1 : 7 enodes (cost 14 ) 103.121 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 103.122 * * [simplify]: iteration 3 : 14 enodes (cost 3 ) 103.124 * * [simplify]: iteration 4 : 20 enodes (cost 3 ) 103.126 * * [simplify]: iteration 5 : 30 enodes (cost 3 ) 103.129 * * [simplify]: iteration 6 : 53 enodes (cost 3 ) 103.141 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 103.186 * * [simplify]: iteration 8 : 324 enodes (cost 3 ) 103.624 * * [simplify]: iteration 9 : 1243 enodes (cost 3 ) 105.985 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 105.986 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 105.986 * * [simplify]: iteration done : 5 enodes (cost 5 ) 105.987 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 105.987 * * [simplify]: iteration done : 5 enodes (cost 5 ) 105.988 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 105.989 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 105.989 * * [simplify]: iteration done : 5 enodes (cost 1 ) 105.989 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 105.990 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 105.990 * * [simplify]: iteration done : 6 enodes (cost 1 ) 105.991 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 105.991 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 105.992 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 105.994 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 105.996 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 105.999 * * [simplify]: iteration done : 26 enodes (cost 7 ) 106.000 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 106.000 * * [simplify]: iteration done : 5 enodes (cost 9 ) 106.001 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 106.001 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 106.002 * * [simplify]: iteration done : 6 enodes (cost 1 ) 106.002 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 106.003 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 106.004 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 106.004 * * [simplify]: iteration done : 9 enodes (cost 7 ) 106.005 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 106.006 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 106.007 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 106.008 * * [simplify]: iteration 3 : 11 enodes (cost 7 ) 106.009 * * [simplify]: iteration done : 11 enodes (cost 7 ) 106.009 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 106.010 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 106.011 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 106.012 * * [simplify]: iteration 3 : 17 enodes (cost 10 ) 106.015 * * [simplify]: iteration 4 : 35 enodes (cost 10 ) 106.020 * * [simplify]: iteration 5 : 75 enodes (cost 10 ) 106.041 * * [simplify]: iteration 6 : 181 enodes (cost 10 ) 106.137 * * [simplify]: iteration 7 : 552 enodes (cost 10 ) 107.038 * * [simplify]: iteration 8 : 2249 enodes (cost 10 ) 109.202 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 109.202 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.203 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 109.204 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 109.206 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 109.208 * * [simplify]: iteration 4 : 26 enodes (cost 7 ) 109.211 * * [simplify]: iteration done : 26 enodes (cost 7 ) 109.212 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 109.212 * * [simplify]: iteration done : 7 enodes (cost 21 ) 109.213 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 109.214 * * [simplify]: iteration done : 6 enodes (cost 10 ) 109.214 * * [simplify]: iteration 0 : 7 enodes (cost 29 ) 109.215 * * [simplify]: iteration 1 : 15 enodes (cost 29 ) 109.218 * * [simplify]: iteration 2 : 24 enodes (cost 11 ) 109.222 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 109.229 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 109.254 * * [simplify]: iteration 5 : 195 enodes (cost 6 ) 109.325 * * [simplify]: iteration 6 : 504 enodes (cost 6 ) 109.848 * * [simplify]: iteration 7 : 1764 enodes (cost 6 ) 111.882 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 111.883 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 111.883 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 111.884 * * [simplify]: iteration done : 7 enodes (cost 5 ) 111.885 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 111.885 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 111.886 * * [simplify]: iteration done : 7 enodes (cost 5 ) 111.887 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 111.887 * * [simplify]: iteration done : 3 enodes (cost 5 ) 111.887 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 111.888 * * [simplify]: iteration done : 3 enodes (cost 5 ) 111.888 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 111.889 * * [simplify]: iteration done : 7 enodes (cost 21 ) 111.890 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.890 * * [simplify]: iteration done : 6 enodes (cost 11 ) 111.891 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.892 * * [simplify]: iteration done : 6 enodes (cost 11 ) 111.892 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.893 * * [simplify]: iteration done : 6 enodes (cost 11 ) 111.893 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 111.894 * * [simplify]: iteration 1 : 15 enodes (cost 25 ) 111.896 * * [simplify]: iteration 2 : 24 enodes (cost 25 ) 111.899 * * [simplify]: iteration 3 : 30 enodes (cost 25 ) 111.902 * * [simplify]: iteration done : 30 enodes (cost 25 ) 111.903 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 111.904 * * [simplify]: iteration done : 7 enodes (cost 13 ) 111.904 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 111.905 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 111.906 * * [simplify]: iteration 2 : 12 enodes (cost 19 ) 111.907 * * [simplify]: iteration 3 : 13 enodes (cost 19 ) 111.909 * * [simplify]: iteration done : 13 enodes (cost 19 ) 111.914 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 111.914 * * [simplify]: iteration done : 7 enodes (cost 13 ) 111.915 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 111.916 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 111.917 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 111.919 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 111.920 * * [simplify]: iteration done : 22 enodes (cost 13 ) 111.921 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.922 * * [simplify]: iteration done : 6 enodes (cost 11 ) 111.923 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 111.924 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 111.925 * * [simplify]: iteration done : 10 enodes (cost 19 ) 111.925 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 111.926 * * [simplify]: iteration done : 7 enodes (cost 13 ) 111.926 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 111.927 * * [simplify]: iteration done : 7 enodes (cost 13 ) 111.928 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 111.928 * * [simplify]: iteration done : 7 enodes (cost 13 ) 111.929 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.930 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 111.930 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 111.931 * * [simplify]: iteration done : 10 enodes (cost 7 ) 111.932 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.932 * * [simplify]: iteration done : 6 enodes (cost 11 ) 111.933 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 111.934 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 111.935 * * [simplify]: iteration done : 11 enodes (cost 17 ) 111.935 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.936 * * [simplify]: iteration done : 6 enodes (cost 11 ) 111.937 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.937 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 111.938 * * [simplify]: iteration done : 8 enodes (cost 11 ) 111.939 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 111.939 * * [simplify]: iteration done : 6 enodes (cost 11 ) 111.940 * * [simplify]: iteration 0 : 4 enodes (cost 9 ) 111.940 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 111.941 * * [simplify]: iteration done : 6 enodes (cost 1 ) 111.941 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 111.942 * * [simplify]: iteration done : 5 enodes (cost 9 ) 111.942 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 111.943 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 111.943 * * [simplify]: iteration done : 5 enodes (cost 1 ) 111.944 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 111.944 * * [simplify]: iteration done : 5 enodes (cost 9 ) 111.945 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 111.945 * * [simplify]: iteration done : 3 enodes (cost 5 ) 111.946 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 111.946 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 111.947 * * [simplify]: iteration done : 7 enodes (cost 9 ) 111.948 * * [simplify]: iteration 0 : 7 enodes (cost 23 ) 111.948 * * [simplify]: iteration 1 : 11 enodes (cost 23 ) 111.950 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 111.951 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 111.954 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 111.958 * * [simplify]: iteration 5 : 63 enodes (cost 7 ) 111.969 * * [simplify]: iteration 6 : 137 enodes (cost 7 ) 112.014 * * [simplify]: iteration 7 : 361 enodes (cost 7 ) 112.360 * * [simplify]: iteration 8 : 1276 enodes (cost 7 ) 114.241 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 114.242 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 114.243 * * [simplify]: iteration done : 6 enodes (cost 11 ) 114.243 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 114.244 * * [simplify]: iteration done : 6 enodes (cost 4 ) 114.244 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 114.245 * * [simplify]: iteration done : 6 enodes (cost 4 ) 114.246 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 114.246 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 114.246 * * [simplify]: iteration done : 4 enodes (cost 1 ) 114.247 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 114.247 * * [simplify]: iteration done : 5 enodes (cost 9 ) 114.248 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 114.248 * * [simplify]: iteration done : 6 enodes (cost 11 ) 114.249 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 114.250 * * [simplify]: iteration done : 6 enodes (cost 11 ) 114.250 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.251 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.252 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.253 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.258 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.259 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.260 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 114.261 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 114.261 * * [simplify]: iteration done : 9 enodes (cost 11 ) 114.262 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 114.263 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 114.264 * * [simplify]: iteration done : 9 enodes (cost 11 ) 114.264 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.265 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.266 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.267 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.268 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.269 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.269 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 114.270 * * [simplify]: iteration done : 7 enodes (cost 13 ) 114.271 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 114.271 * * [simplify]: iteration done : 7 enodes (cost 13 ) 114.272 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.273 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.274 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.274 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.275 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.276 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.277 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 114.278 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 114.279 * * [simplify]: iteration done : 9 enodes (cost 11 ) 114.279 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 114.280 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 114.281 * * [simplify]: iteration done : 9 enodes (cost 11 ) 114.281 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.282 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.283 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.284 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 114.285 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 114.286 * * [simplify]: iteration done : 11 enodes (cost 12 ) 114.286 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 114.287 * * [simplify]: iteration done : 6 enodes (cost 4 ) 114.288 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 114.288 * * [simplify]: iteration done : 6 enodes (cost 4 ) 114.289 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.289 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 114.289 * * [simplify]: iteration done : 5 enodes (cost 1 ) 114.290 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.290 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 114.291 * * [simplify]: iteration done : 6 enodes (cost 1 ) 114.291 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 114.292 * * [simplify]: iteration 1 : 8 enodes (cost 15 ) 114.293 * * [simplify]: iteration done : 8 enodes (cost 15 ) 114.293 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 114.294 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 114.295 * * [simplify]: iteration done : 8 enodes (cost 10 ) 114.296 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 114.297 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 114.299 * * [simplify]: iteration 2 : 27 enodes (cost 17 ) 114.302 * * [simplify]: iteration 3 : 33 enodes (cost 17 ) 114.306 * * [simplify]: iteration done : 33 enodes (cost 17 ) 114.307 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 114.308 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 114.309 * * [simplify]: iteration 2 : 15 enodes (cost 14 ) 114.311 * * [simplify]: iteration 3 : 16 enodes (cost 14 ) 114.312 * * [simplify]: iteration done : 16 enodes (cost 14 ) 114.313 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 114.314 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 114.315 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 114.317 * * [simplify]: iteration 3 : 26 enodes (cost 11 ) 114.320 * * [simplify]: iteration done : 26 enodes (cost 11 ) 114.320 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 114.322 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 114.323 * * [simplify]: iteration done : 13 enodes (cost 14 ) 114.324 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 114.325 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 114.329 * * [simplify]: iteration done : 10 enodes (cost 11 ) 114.330 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 114.331 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 114.332 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 114.332 * * [simplify]: iteration done : 14 enodes (cost 8 ) 114.333 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 114.334 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 114.336 * * [simplify]: iteration done : 15 enodes (cost 13 ) 114.336 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 114.337 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 114.338 * * [simplify]: iteration done : 12 enodes (cost 10 ) 114.339 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 114.340 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 114.340 * * [simplify]: iteration done : 11 enodes (cost 6 ) 114.341 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 114.342 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 114.342 * * [simplify]: iteration done : 10 enodes (cost 6 ) 114.343 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 114.344 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 114.344 * * [simplify]: iteration done : 7 enodes (cost 7 ) 114.345 * * [simplify]: iteration 0 : 7 enodes (cost 16 ) 114.346 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 114.347 * * [simplify]: iteration 2 : 12 enodes (cost 16 ) 114.348 * * [simplify]: iteration done : 12 enodes (cost 16 ) 114.349 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 114.349 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 114.350 * * [simplify]: iteration done : 7 enodes (cost 10 ) 114.351 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 114.351 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 114.352 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 114.353 * * [simplify]: iteration done : 12 enodes (cost 4 ) 114.354 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 114.354 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 114.355 * * [simplify]: iteration done : 7 enodes (cost 10 ) 114.355 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 114.356 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 114.357 * * [simplify]: iteration done : 8 enodes (cost 10 ) 114.358 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 114.358 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 114.360 * * [simplify]: iteration done : 10 enodes (cost 11 ) 114.360 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 114.361 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 114.362 * * [simplify]: iteration done : 10 enodes (cost 11 ) 114.363 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 114.364 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 114.365 * * [simplify]: iteration done : 9 enodes (cost 10 ) 114.365 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 114.366 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 114.367 * * [simplify]: iteration done : 10 enodes (cost 11 ) 114.368 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 114.369 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 114.370 * * [simplify]: iteration done : 10 enodes (cost 11 ) 114.371 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 114.371 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 114.372 * * [simplify]: iteration done : 9 enodes (cost 10 ) 114.373 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 114.374 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 114.375 * * [simplify]: iteration done : 9 enodes (cost 10 ) 114.375 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 114.376 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 114.377 * * [simplify]: iteration done : 9 enodes (cost 10 ) 114.378 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 114.379 * * [simplify]: iteration done : 5 enodes (cost 9 ) 114.379 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 114.380 * * [simplify]: iteration done : 5 enodes (cost 9 ) 114.381 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 114.382 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 114.383 * * [simplify]: iteration done : 11 enodes (cost 9 ) 114.383 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 114.384 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 114.385 * * [simplify]: iteration done : 7 enodes (cost 10 ) 114.385 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 114.386 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 114.387 * * [simplify]: iteration done : 7 enodes (cost 10 ) 114.388 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 114.388 * * [simplify]: iteration done : 5 enodes (cost 9 ) 114.389 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 114.390 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 114.391 * * [simplify]: iteration done : 7 enodes (cost 7 ) 114.391 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 114.392 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 114.393 * * [simplify]: iteration done : 7 enodes (cost 7 ) 114.394 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 114.396 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 114.404 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 114.414 * * [simplify]: iteration 3 : 99 enodes (cost 7 ) 114.434 * * [simplify]: iteration 4 : 179 enodes (cost 4 ) 114.476 * * [simplify]: iteration 5 : 334 enodes (cost 4 ) 114.616 * * [simplify]: iteration 6 : 715 enodes (cost 4 ) 115.281 * * [simplify]: iteration 7 : 2141 enodes (cost 4 ) 116.356 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 116.357 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 116.359 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 116.364 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 116.382 * * [simplify]: iteration 3 : 160 enodes (cost 7 ) 116.417 * * [simplify]: iteration 4 : 281 enodes (cost 6 ) 116.503 * * [simplify]: iteration 5 : 542 enodes (cost 4 ) 116.773 * * [simplify]: iteration 6 : 1075 enodes (cost 4 ) 117.972 * * [simplify]: iteration 7 : 3093 enodes (cost 4 ) 119.072 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 119.073 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 119.075 * * [simplify]: iteration 1 : 29 enodes (cost 14 ) 119.079 * * [simplify]: iteration 2 : 68 enodes (cost 12 ) 119.099 * * [simplify]: iteration 3 : 209 enodes (cost 11 ) 119.193 * * [simplify]: iteration 4 : 586 enodes (cost 8 ) 119.545 * * [simplify]: iteration 5 : 1441 enodes (cost 4 ) 120.987 * * [simplify]: iteration 6 : 3675 enodes (cost 4 ) 121.907 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 121.908 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 121.910 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 121.913 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 121.921 * * [simplify]: iteration 3 : 99 enodes (cost 7 ) 121.938 * * [simplify]: iteration 4 : 179 enodes (cost 4 ) 121.977 * * [simplify]: iteration 5 : 334 enodes (cost 4 ) 122.113 * * [simplify]: iteration 6 : 715 enodes (cost 4 ) 122.768 * * [simplify]: iteration 7 : 2141 enodes (cost 4 ) 123.771 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 123.772 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 123.774 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 123.779 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 123.802 * * [simplify]: iteration 3 : 160 enodes (cost 7 ) 123.830 * * [simplify]: iteration 4 : 281 enodes (cost 6 ) 123.913 * * [simplify]: iteration 5 : 542 enodes (cost 4 ) 124.174 * * [simplify]: iteration 6 : 1075 enodes (cost 4 ) 125.351 * * [simplify]: iteration 7 : 3093 enodes (cost 4 ) 126.425 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 126.425 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 126.427 * * [simplify]: iteration 1 : 29 enodes (cost 14 ) 126.431 * * [simplify]: iteration 2 : 68 enodes (cost 12 ) 126.459 * * [simplify]: iteration 3 : 209 enodes (cost 11 ) 126.549 * * [simplify]: iteration 4 : 586 enodes (cost 8 ) 126.894 * * [simplify]: iteration 5 : 1441 enodes (cost 4 ) 128.340 * * [simplify]: iteration 6 : 3675 enodes (cost 4 ) 129.252 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 129.253 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 129.254 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 129.257 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 129.271 * * [simplify]: iteration 3 : 99 enodes (cost 7 ) 129.289 * * [simplify]: iteration 4 : 179 enodes (cost 4 ) 129.321 * * [simplify]: iteration 5 : 334 enodes (cost 4 ) 129.456 * * [simplify]: iteration 6 : 715 enodes (cost 4 ) 130.095 * * [simplify]: iteration 7 : 2141 enodes (cost 4 ) 131.110 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 131.111 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 131.112 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 131.117 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 131.134 * * [simplify]: iteration 3 : 160 enodes (cost 7 ) 131.161 * * [simplify]: iteration 4 : 281 enodes (cost 6 ) 131.245 * * [simplify]: iteration 5 : 542 enodes (cost 4 ) 131.706 * * [simplify]: iteration 6 : 1075 enodes (cost 4 ) 132.872 * * [simplify]: iteration 7 : 3093 enodes (cost 4 ) 133.955 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 133.956 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 133.958 * * [simplify]: iteration 1 : 29 enodes (cost 14 ) 133.971 * * [simplify]: iteration 2 : 68 enodes (cost 12 ) 133.990 * * [simplify]: iteration 3 : 209 enodes (cost 11 ) 134.081 * * [simplify]: iteration 4 : 586 enodes (cost 8 ) 134.427 * * [simplify]: iteration 5 : 1441 enodes (cost 4 ) 135.851 * * [simplify]: iteration 6 : 3675 enodes (cost 4 ) 136.760 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 136.761 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 136.762 * * [simplify]: iteration 1 : 26 enodes (cost 14 ) 136.766 * * [simplify]: iteration 2 : 59 enodes (cost 10 ) 136.777 * * [simplify]: iteration 3 : 147 enodes (cost 8 ) 136.813 * * [simplify]: iteration 4 : 301 enodes (cost 7 ) 136.929 * * [simplify]: iteration 5 : 667 enodes (cost 5 ) 137.492 * * [simplify]: iteration 6 : 2047 enodes (cost 5 ) 138.564 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 138.564 * * [simplify]: iteration 0 : 16 enodes (cost 19 ) 138.567 * * [simplify]: iteration 1 : 34 enodes (cost 16 ) 138.572 * * [simplify]: iteration 2 : 77 enodes (cost 12 ) 138.594 * * [simplify]: iteration 3 : 205 enodes (cost 9 ) 138.670 * * [simplify]: iteration 4 : 480 enodes (cost 8 ) 138.935 * * [simplify]: iteration 5 : 1115 enodes (cost 5 ) 140.145 * * [simplify]: iteration 6 : 3287 enodes (cost 5 ) 141.021 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 141.021 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 141.024 * * [simplify]: iteration 1 : 34 enodes (cost 18 ) 141.028 * * [simplify]: iteration 2 : 71 enodes (cost 14 ) 141.042 * * [simplify]: iteration 3 : 187 enodes (cost 12 ) 141.100 * * [simplify]: iteration 4 : 514 enodes (cost 11 ) 141.476 * * [simplify]: iteration 5 : 1602 enodes (cost 9 ) 143.224 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 143.225 * [simplify]: Simplified to: (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt x)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (/ x y) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt x)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (/ x y) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt x)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (/ x y) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) 2/3 2 (* (/ x y) (/ x y)) (* (cbrt (/ x y)) (cbrt (/ x y))) 2 (* 2 (log (cbrt (/ x y)))) (* 2 (log (cbrt (/ x y)))) (exp (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (/ x y) (/ x y)) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (pow (cbrt (/ x y)) 6) (fabs (cbrt (/ x y))) (fabs (cbrt (/ x y))) (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (cbrt x) (cbrt y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y)))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ (cbrt x) y))) (* (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (cbrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ (sqrt x) y))) (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x (cbrt y)))) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x (sqrt y)))) 1 (* (cbrt (/ x y)) (cbrt (/ x y))) 1 (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (cbrt x)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (pow (cbrt (cbrt (/ x y))) 4) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (/ x y)) (cbrt (/ x y)) 1 (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (sqrt (cbrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (cbrt (/ x y)) (cbrt (/ x y)) 2/3 2 (* (cbrt (/ x y)) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (/ x y)) (cbrt (sqrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt x)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ x y)) 1) (* 1 (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt x)) (* (cbrt (/ x y)) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y))))) (* (cbrt (/ x y)) (sqrt (cbrt (/ x y)))) (cbrt (/ x y)) (* (cbrt (cbrt (/ x y))) (cbrt (/ x y))) (* (cbrt (sqrt (/ x y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ x y))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ 1 y)) (cbrt (/ x y))) (* (cbrt (cbrt (/ x y))) (cbrt (/ x y))) (* (sqrt (cbrt (/ x y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt x)) (* (cbrt x) (cbrt (/ x y))) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ x y)) (pow (/ x y) 2/3) (pow (/ x y) 2/3) (pow (exp 2/3) (- (log x) (log y))) 143.226 * * * [progress]: adding candidates to table 143.375 * [progress]: [Phase 3 of 3] Extracting. 143.375 * * [regime]: Finding splitpoints for: (# # # # # # # #) 143.376 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (/ x (* y y)) y x) 143.376 * * * * [regimes]: Trying to branch on (* y y) from (# # # # # # # #) 143.424 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 143.459 * * * * [regimes]: Trying to branch on (/ x (* y y)) from (# # # # # # # #) 143.510 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 143.562 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 143.612 * * * [regime]: Found split indices: #