938.303 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (sqrt (+ (* x x) y)) 0.023 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.024 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 0.024 * * [simplify]: iteration done : 6 enodes (cost 6 ) 0.024 * [simplify]: Simplified to: (sqrt (+ (* x x) y)) 0.025 * * [progress]: iteration 1 / 4 0.025 * * * [progress]: picking best candidate 0.028 * * * * [pick]: Picked # 0.028 * * * [progress]: localizing error 0.032 * * * [progress]: generating rewritten candidates 0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.037 * * * [progress]: generating series expansions 0.037 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.037 * [approximate]: Taking taylor expansion of (sqrt (+ y (pow x 2))) in (x y) around 0 0.037 * [taylor]: Taking taylor expansion of (sqrt (+ y (pow x 2))) in y 0.037 * [taylor]: Taking taylor expansion of (+ y (pow x 2)) in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.037 * [taylor]: Taking taylor expansion of x in y 0.038 * [taylor]: Taking taylor expansion of (sqrt (+ y (pow x 2))) in x 0.038 * [taylor]: Taking taylor expansion of (+ y (pow x 2)) in x 0.038 * [taylor]: Taking taylor expansion of y in x 0.038 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of (sqrt (+ y (pow x 2))) in x 0.038 * [taylor]: Taking taylor expansion of (+ y (pow x 2)) in x 0.038 * [taylor]: Taking taylor expansion of y in x 0.038 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.038 * [taylor]: Taking taylor expansion of y in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 y))) in y 0.038 * [taylor]: Taking taylor expansion of 1/2 in y 0.038 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.038 * [taylor]: Taking taylor expansion of y in y 0.039 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in (x y) around 0 0.039 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in y 0.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.039 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.039 * [taylor]: Taking taylor expansion of x in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.039 * [taylor]: Taking taylor expansion of y in y 0.039 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in x 0.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.039 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.039 * [taylor]: Taking taylor expansion of y in x 0.040 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 y))) in x 0.040 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.040 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.040 * [taylor]: Taking taylor expansion of y in x 0.040 * [taylor]: Taking taylor expansion of 1 in y 0.040 * [taylor]: Taking taylor expansion of 0 in y 0.040 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 0.040 * [taylor]: Taking taylor expansion of 1/2 in y 0.040 * [taylor]: Taking taylor expansion of y in y 0.040 * [taylor]: Taking taylor expansion of 0 in y 0.041 * [taylor]: Taking taylor expansion of (/ -1/8 (pow y 2)) in y 0.041 * [taylor]: Taking taylor expansion of -1/8 in y 0.041 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.041 * [taylor]: Taking taylor expansion of y in y 0.041 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in (x y) around 0 0.041 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in y 0.041 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y 0.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.041 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.041 * [taylor]: Taking taylor expansion of x in y 0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.041 * [taylor]: Taking taylor expansion of y in y 0.042 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in x 0.042 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.042 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.042 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) (/ 1 y))) in x 0.042 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.042 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.042 * [taylor]: Taking taylor expansion of y in x 0.042 * [taylor]: Taking taylor expansion of 1 in y 0.042 * [taylor]: Taking taylor expansion of 0 in y 0.042 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y 0.042 * [taylor]: Taking taylor expansion of -1/2 in y 0.042 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.043 * [taylor]: Taking taylor expansion of (/ -1/8 (pow y 2)) in y 0.043 * [taylor]: Taking taylor expansion of -1/8 in y 0.043 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * * * [progress]: simplifying candidates 0.044 * [simplify]: Simplifying using # : (log (sqrt (+ (* x x) y))) (exp (sqrt (+ (* x x) y))) (* (cbrt (sqrt (+ (* x x) y))) (cbrt (sqrt (+ (* x x) y)))) (cbrt (sqrt (+ (* x x) y))) (* (* (sqrt (+ (* x x) y)) (sqrt (+ (* x x) y))) (sqrt (+ (* x x) y))) (sqrt (* (cbrt (+ (* x x) y)) (cbrt (+ (* x x) y)))) (sqrt (cbrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y))) (sqrt 1) (sqrt (+ (* x x) y)) (sqrt (+ (pow (* x x) 3) (pow y 3))) (sqrt (+ (* (* x x) (* x x)) (- (* y y) (* (* x x) y)))) (sqrt (- (* (* x x) (* x x)) (* y y))) (sqrt (- (* x x) y)) (/ 1 2) (sqrt (sqrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y))) (+ (* NAN y) (+ (* (pow NAN 3) (pow y 2)) (* 1/2 (* (pow x 2) NAN)))) (+ (* 1/2 (/ y x)) x) (neg (+ (* 1/2 (/ y x)) x)) 0.044 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.045 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 0.046 * * [simplify]: iteration done : 7 enodes (cost 7 ) 0.046 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.047 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 0.048 * * [simplify]: iteration done : 7 enodes (cost 7 ) 0.048 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 0.049 * * [simplify]: iteration 1 : 8 enodes (cost 15 ) 0.050 * * [simplify]: iteration done : 8 enodes (cost 15 ) 0.050 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.051 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 0.052 * * [simplify]: iteration done : 7 enodes (cost 7 ) 0.053 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 0.053 * * [simplify]: iteration 1 : 9 enodes (cost 12 ) 0.055 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 0.057 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 0.061 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 0.066 * * [simplify]: iteration 5 : 45 enodes (cost 8 ) 0.072 * * [simplify]: iteration 6 : 66 enodes (cost 8 ) 0.088 * * [simplify]: iteration 7 : 129 enodes (cost 8 ) 0.139 * * [simplify]: iteration 8 : 345 enodes (cost 8 ) 0.602 * * [simplify]: iteration 9 : 1263 enodes (cost 8 ) 3.028 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 3.028 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 3.029 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 3.030 * * [simplify]: iteration done : 9 enodes (cost 7 ) 3.031 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.036 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 3.036 * * [simplify]: iteration done : 7 enodes (cost 7 ) 3.037 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.038 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 3.038 * * [simplify]: iteration done : 7 enodes (cost 7 ) 3.039 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.040 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 3.040 * * [simplify]: iteration done : 7 enodes (cost 7 ) 3.041 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 3.041 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 3.041 * * [simplify]: iteration done : 4 enodes (cost 1 ) 3.042 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 3.043 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 3.043 * * [simplify]: iteration done : 6 enodes (cost 6 ) 3.044 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 3.045 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 3.049 * * [simplify]: iteration 2 : 48 enodes (cost 8 ) 3.056 * * [simplify]: iteration 3 : 84 enodes (cost 8 ) 3.072 * * [simplify]: iteration 4 : 175 enodes (cost 8 ) 3.136 * * [simplify]: iteration 5 : 463 enodes (cost 8 ) 3.470 * * [simplify]: iteration 6 : 1477 enodes (cost 8 ) 5.059 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 5.060 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 5.062 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 5.065 * * [simplify]: iteration 2 : 48 enodes (cost 14 ) 5.077 * * [simplify]: iteration 3 : 86 enodes (cost 12 ) 5.093 * * [simplify]: iteration 4 : 139 enodes (cost 12 ) 5.122 * * [simplify]: iteration 5 : 238 enodes (cost 12 ) 5.222 * * [simplify]: iteration 6 : 486 enodes (cost 12 ) 5.529 * * [simplify]: iteration 7 : 1217 enodes (cost 12 ) 9.390 * * [simplify]: iteration 8 : 4797 enodes (cost 12 ) 11.059 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 11.059 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 11.060 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 11.063 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 11.067 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 11.075 * * [simplify]: iteration 4 : 99 enodes (cost 8 ) 11.100 * * [simplify]: iteration 5 : 189 enodes (cost 8 ) 11.148 * * [simplify]: iteration 6 : 350 enodes (cost 8 ) 11.283 * * [simplify]: iteration 7 : 832 enodes (cost 8 ) 12.615 * * [simplify]: iteration 8 : 3577 enodes (cost 8 ) 14.687 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 14.688 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.688 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 14.689 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 14.690 * * [simplify]: iteration done : 8 enodes (cost 6 ) 14.690 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.691 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 14.691 * * [simplify]: iteration done : 6 enodes (cost 1 ) 14.692 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 14.692 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 14.693 * * [simplify]: iteration done : 7 enodes (cost 7 ) 14.694 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 14.694 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 14.695 * * [simplify]: iteration done : 7 enodes (cost 7 ) 14.696 * * [simplify]: iteration 0 : 15 enodes (cost 19 ) 14.698 * * [simplify]: iteration 1 : 40 enodes (cost 19 ) 14.711 * * [simplify]: iteration 2 : 108 enodes (cost 19 ) 14.728 * * [simplify]: iteration 3 : 190 enodes (cost 17 ) 14.773 * * [simplify]: iteration 4 : 316 enodes (cost 17 ) 14.901 * * [simplify]: iteration 5 : 647 enodes (cost 17 ) 15.587 * * [simplify]: iteration 6 : 1756 enodes (cost 17 ) 18.214 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 18.215 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 18.216 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 18.217 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 18.219 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 18.225 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 18.227 * * [simplify]: iteration done : 18 enodes (cost 7 ) 18.228 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 18.229 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 18.231 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 18.234 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 18.240 * * [simplify]: iteration 4 : 53 enodes (cost 7 ) 18.247 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 18.254 * * [simplify]: iteration done : 56 enodes (cost 7 ) 18.254 * [simplify]: Simplified to: (log (sqrt (+ (* x x) y))) (exp (sqrt (+ (* x x) y))) (* (cbrt (sqrt (+ (* x x) y))) (cbrt (sqrt (+ (* x x) y)))) (cbrt (sqrt (+ (* x x) y))) (pow (sqrt (+ (* x x) y)) 3) (fabs (cbrt (+ (* x x) y))) (sqrt (cbrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y))) 1 (sqrt (+ (* x x) y)) (sqrt (+ (pow x 6) (pow y 3))) (sqrt (+ (* y (- y (* x x))) (pow x 4))) (sqrt (- (pow x 4) (* y y))) (sqrt (- (* x x) y)) 1/2 (sqrt (sqrt (+ (* x x) y))) (sqrt (sqrt (+ (* x x) y))) (+ (* (pow NAN 3) (pow y 2)) (* NAN (+ y (* 1/2 (pow x 2))))) (+ (* 1/2 (/ y x)) x) (- (* (/ y x) -1/2) x) 18.255 * * * [progress]: adding candidates to table 18.278 * * [progress]: iteration 2 / 4 18.278 * * * [progress]: picking best candidate 18.283 * * * * [pick]: Picked # 18.283 * * * [progress]: localizing error 18.288 * * * [progress]: generating rewritten candidates 18.288 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 18.299 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 18.307 * * * [progress]: generating series expansions 18.307 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 18.307 * [approximate]: Taking taylor expansion of (* 1/2 (/ y x)) in (y x) around 0 18.307 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x 18.307 * [taylor]: Taking taylor expansion of 1/2 in x 18.307 * [taylor]: Taking taylor expansion of (/ y x) in x 18.307 * [taylor]: Taking taylor expansion of y in x 18.307 * [taylor]: Taking taylor expansion of x in x 18.307 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 18.307 * [taylor]: Taking taylor expansion of 1/2 in y 18.307 * [taylor]: Taking taylor expansion of (/ y x) in y 18.307 * [taylor]: Taking taylor expansion of y in y 18.307 * [taylor]: Taking taylor expansion of x in y 18.307 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 18.307 * [taylor]: Taking taylor expansion of 1/2 in y 18.307 * [taylor]: Taking taylor expansion of (/ y x) in y 18.307 * [taylor]: Taking taylor expansion of y in y 18.307 * [taylor]: Taking taylor expansion of x in y 18.307 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 18.307 * [taylor]: Taking taylor expansion of 1/2 in x 18.307 * [taylor]: Taking taylor expansion of x in x 18.308 * [taylor]: Taking taylor expansion of 0 in x 18.308 * [taylor]: Taking taylor expansion of 0 in x 18.308 * [taylor]: Taking taylor expansion of 0 in x 18.308 * [approximate]: Taking taylor expansion of (* 1/2 (/ x y)) in (y x) around 0 18.308 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 18.308 * [taylor]: Taking taylor expansion of 1/2 in x 18.308 * [taylor]: Taking taylor expansion of (/ x y) in x 18.308 * [taylor]: Taking taylor expansion of x in x 18.308 * [taylor]: Taking taylor expansion of y in x 18.308 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.308 * [taylor]: Taking taylor expansion of 1/2 in y 18.308 * [taylor]: Taking taylor expansion of (/ x y) in y 18.308 * [taylor]: Taking taylor expansion of x in y 18.308 * [taylor]: Taking taylor expansion of y in y 18.308 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.308 * [taylor]: Taking taylor expansion of 1/2 in y 18.308 * [taylor]: Taking taylor expansion of (/ x y) in y 18.308 * [taylor]: Taking taylor expansion of x in y 18.309 * [taylor]: Taking taylor expansion of y in y 18.309 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 18.309 * [taylor]: Taking taylor expansion of 1/2 in x 18.309 * [taylor]: Taking taylor expansion of x in x 18.309 * [taylor]: Taking taylor expansion of 0 in x 18.309 * [taylor]: Taking taylor expansion of 0 in x 18.309 * [taylor]: Taking taylor expansion of 0 in x 18.309 * [approximate]: Taking taylor expansion of (* 1/2 (/ x y)) in (y x) around 0 18.309 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 18.309 * [taylor]: Taking taylor expansion of 1/2 in x 18.309 * [taylor]: Taking taylor expansion of (/ x y) in x 18.309 * [taylor]: Taking taylor expansion of x in x 18.309 * [taylor]: Taking taylor expansion of y in x 18.309 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.309 * [taylor]: Taking taylor expansion of 1/2 in y 18.309 * [taylor]: Taking taylor expansion of (/ x y) in y 18.309 * [taylor]: Taking taylor expansion of x in y 18.309 * [taylor]: Taking taylor expansion of y in y 18.310 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.310 * [taylor]: Taking taylor expansion of 1/2 in y 18.310 * [taylor]: Taking taylor expansion of (/ x y) in y 18.310 * [taylor]: Taking taylor expansion of x in y 18.310 * [taylor]: Taking taylor expansion of y in y 18.310 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 18.310 * [taylor]: Taking taylor expansion of 1/2 in x 18.310 * [taylor]: Taking taylor expansion of x in x 18.310 * [taylor]: Taking taylor expansion of 0 in x 18.310 * [taylor]: Taking taylor expansion of 0 in x 18.310 * [taylor]: Taking taylor expansion of 0 in x 18.310 * * * * [progress]: [ 2 / 2 ] generating series at (2) 18.310 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ y x)) x) in (y x) around 0 18.310 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ y x)) x) in x 18.310 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x 18.310 * [taylor]: Taking taylor expansion of 1/2 in x 18.311 * [taylor]: Taking taylor expansion of (/ y x) in x 18.311 * [taylor]: Taking taylor expansion of y in x 18.311 * [taylor]: Taking taylor expansion of x in x 18.311 * [taylor]: Taking taylor expansion of x in x 18.311 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ y x)) x) in y 18.311 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 18.311 * [taylor]: Taking taylor expansion of 1/2 in y 18.311 * [taylor]: Taking taylor expansion of (/ y x) in y 18.311 * [taylor]: Taking taylor expansion of y in y 18.311 * [taylor]: Taking taylor expansion of x in y 18.311 * [taylor]: Taking taylor expansion of x in y 18.311 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ y x)) x) in y 18.311 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 18.311 * [taylor]: Taking taylor expansion of 1/2 in y 18.311 * [taylor]: Taking taylor expansion of (/ y x) in y 18.311 * [taylor]: Taking taylor expansion of y in y 18.311 * [taylor]: Taking taylor expansion of x in y 18.311 * [taylor]: Taking taylor expansion of x in y 18.311 * [taylor]: Taking taylor expansion of x in x 18.311 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 18.311 * [taylor]: Taking taylor expansion of 1/2 in x 18.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.311 * [taylor]: Taking taylor expansion of x in x 18.311 * [taylor]: Taking taylor expansion of 0 in x 18.311 * [taylor]: Taking taylor expansion of 0 in x 18.312 * [taylor]: Taking taylor expansion of 0 in x 18.312 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (* 1/2 (/ x y))) in (y x) around 0 18.312 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/2 (/ x y))) in x 18.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.312 * [taylor]: Taking taylor expansion of x in x 18.312 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 18.312 * [taylor]: Taking taylor expansion of 1/2 in x 18.312 * [taylor]: Taking taylor expansion of (/ x y) in x 18.312 * [taylor]: Taking taylor expansion of x in x 18.312 * [taylor]: Taking taylor expansion of y in x 18.312 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/2 (/ x y))) in y 18.312 * [taylor]: Taking taylor expansion of (/ 1 x) in y 18.312 * [taylor]: Taking taylor expansion of x in y 18.312 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.312 * [taylor]: Taking taylor expansion of 1/2 in y 18.312 * [taylor]: Taking taylor expansion of (/ x y) in y 18.312 * [taylor]: Taking taylor expansion of x in y 18.312 * [taylor]: Taking taylor expansion of y in y 18.313 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/2 (/ x y))) in y 18.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y 18.313 * [taylor]: Taking taylor expansion of x in y 18.313 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.313 * [taylor]: Taking taylor expansion of 1/2 in y 18.313 * [taylor]: Taking taylor expansion of (/ x y) in y 18.313 * [taylor]: Taking taylor expansion of x in y 18.313 * [taylor]: Taking taylor expansion of y in y 18.313 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 18.313 * [taylor]: Taking taylor expansion of 1/2 in x 18.313 * [taylor]: Taking taylor expansion of x in x 18.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.313 * [taylor]: Taking taylor expansion of x in x 18.313 * [taylor]: Taking taylor expansion of 0 in x 18.313 * [taylor]: Taking taylor expansion of 0 in x 18.314 * [taylor]: Taking taylor expansion of 0 in x 18.314 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in (y x) around 0 18.314 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in x 18.314 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 18.314 * [taylor]: Taking taylor expansion of 1/2 in x 18.314 * [taylor]: Taking taylor expansion of (/ x y) in x 18.314 * [taylor]: Taking taylor expansion of x in x 18.314 * [taylor]: Taking taylor expansion of y in x 18.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.314 * [taylor]: Taking taylor expansion of x in x 18.314 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in y 18.314 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.314 * [taylor]: Taking taylor expansion of 1/2 in y 18.314 * [taylor]: Taking taylor expansion of (/ x y) in y 18.314 * [taylor]: Taking taylor expansion of x in y 18.314 * [taylor]: Taking taylor expansion of y in y 18.314 * [taylor]: Taking taylor expansion of (/ 1 x) in y 18.314 * [taylor]: Taking taylor expansion of x in y 18.314 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ x y)) (/ 1 x)) in y 18.315 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 18.315 * [taylor]: Taking taylor expansion of 1/2 in y 18.315 * [taylor]: Taking taylor expansion of (/ x y) in y 18.315 * [taylor]: Taking taylor expansion of x in y 18.315 * [taylor]: Taking taylor expansion of y in y 18.315 * [taylor]: Taking taylor expansion of (/ 1 x) in y 18.315 * [taylor]: Taking taylor expansion of x in y 18.315 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 18.315 * [taylor]: Taking taylor expansion of 1/2 in x 18.315 * [taylor]: Taking taylor expansion of x in x 18.315 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 18.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.315 * [taylor]: Taking taylor expansion of x in x 18.315 * [taylor]: Taking taylor expansion of 0 in x 18.315 * [taylor]: Taking taylor expansion of 0 in x 18.316 * [taylor]: Taking taylor expansion of 0 in x 18.316 * * * [progress]: simplifying candidates 18.317 * [simplify]: Simplifying using # : (* 1/2 (/ y x)) (+ (log 1/2) (- (log y) (log x))) (+ (log 1/2) (log (/ y x))) (log (* 1/2 (/ y x))) (exp (* 1/2 (/ y x))) (* (* (* 1/2 1/2) 1/2) (/ (* (* y y) y) (* (* x x) x))) (* (* (* 1/2 1/2) 1/2) (* (* (/ y x) (/ y x)) (/ y x))) (* (cbrt (* 1/2 (/ y x))) (cbrt (* 1/2 (/ y x)))) (cbrt (* 1/2 (/ y x))) (* (* (* 1/2 (/ y x)) (* 1/2 (/ y x))) (* 1/2 (/ y x))) (sqrt (* 1/2 (/ y x))) (sqrt (* 1/2 (/ y x))) (* (sqrt 1/2) (sqrt (/ y x))) (* (sqrt 1/2) (sqrt (/ y x))) (* (sqrt 1/2) (/ (sqrt y) (sqrt x))) (* (sqrt 1/2) (/ (sqrt y) (sqrt x))) (* 1/2 (* (cbrt (/ y x)) (cbrt (/ y x)))) (* 1/2 (sqrt (/ y x))) (* 1/2 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (* 1/2 (/ (* (cbrt y) (cbrt y)) (sqrt x))) (* 1/2 (/ (* (cbrt y) (cbrt y)) 1)) (* 1/2 (/ (sqrt y) (* (cbrt x) (cbrt x)))) (* 1/2 (/ (sqrt y) (sqrt x))) (* 1/2 (/ (sqrt y) 1)) (* 1/2 (/ 1 (* (cbrt x) (cbrt x)))) (* 1/2 (/ 1 (sqrt x))) (* 1/2 (/ 1 1)) (* 1/2 1) (* 1/2 y) (* (cbrt 1/2) (/ y x)) (* (sqrt 1/2) (/ y x)) (* 1/2 (/ y x)) (* 1/2 y) (* (exp (* 1/2 (/ y x))) (exp x)) (log (+ (* 1/2 (/ y x)) x)) (exp (+ (* 1/2 (/ y x)) x)) (* (cbrt (+ (* 1/2 (/ y x)) x)) (cbrt (+ (* 1/2 (/ y x)) x))) (cbrt (+ (* 1/2 (/ y x)) x)) (* (* (+ (* 1/2 (/ y x)) x) (+ (* 1/2 (/ y x)) x)) (+ (* 1/2 (/ y x)) x)) (sqrt (+ (* 1/2 (/ y x)) x)) (sqrt (+ (* 1/2 (/ y x)) x)) (+ (pow (* 1/2 (/ y x)) 3) (pow x 3)) (+ (* (* 1/2 (/ y x)) (* 1/2 (/ y x))) (- (* x x) (* (* 1/2 (/ y x)) x))) (- (* (* 1/2 (/ y x)) (* 1/2 (/ y x))) (* x x)) (- (* 1/2 (/ y x)) x) (* 1/2 (/ y x)) (* 1/2 (/ y x)) (* 1/2 (/ y x)) (+ (* 1/2 (/ y x)) x) (+ (* 1/2 (/ y x)) x) (+ (* 1/2 (/ y x)) x) 18.317 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 18.318 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 18.319 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 18.320 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 18.322 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 18.323 * * [simplify]: iteration done : 16 enodes (cost 5 ) 18.324 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 18.325 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 18.326 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 18.329 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 18.332 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 18.337 * * [simplify]: iteration 5 : 45 enodes (cost 8 ) 18.343 * * [simplify]: iteration 6 : 52 enodes (cost 8 ) 18.348 * * [simplify]: iteration 7 : 64 enodes (cost 8 ) 18.358 * * [simplify]: iteration 8 : 87 enodes (cost 8 ) 18.374 * * [simplify]: iteration 9 : 101 enodes (cost 8 ) 18.385 * * [simplify]: iteration 10 : 107 enodes (cost 8 ) 18.398 * * [simplify]: iteration done : 107 enodes (cost 8 ) 18.398 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 18.399 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 18.400 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 18.402 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 18.405 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 18.410 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 18.415 * * [simplify]: iteration 6 : 50 enodes (cost 7 ) 18.423 * * [simplify]: iteration 7 : 59 enodes (cost 7 ) 18.430 * * [simplify]: iteration 8 : 76 enodes (cost 7 ) 18.443 * * [simplify]: iteration 9 : 95 enodes (cost 7 ) 18.453 * * [simplify]: iteration 10 : 103 enodes (cost 7 ) 18.465 * * [simplify]: iteration done : 103 enodes (cost 7 ) 18.466 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 18.467 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 18.468 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 18.471 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 18.477 * * [simplify]: iteration 4 : 55 enodes (cost 6 ) 18.485 * * [simplify]: iteration 5 : 69 enodes (cost 6 ) 18.494 * * [simplify]: iteration 6 : 81 enodes (cost 6 ) 18.503 * * [simplify]: iteration 7 : 99 enodes (cost 6 ) 18.514 * * [simplify]: iteration 8 : 115 enodes (cost 6 ) 18.527 * * [simplify]: iteration 9 : 122 enodes (cost 6 ) 18.545 * * [simplify]: iteration 10 : 139 enodes (cost 6 ) 18.560 * * [simplify]: iteration 11 : 141 enodes (cost 6 ) 18.574 * * [simplify]: iteration done : 141 enodes (cost 6 ) 18.575 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 18.576 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 18.577 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 18.580 * * [simplify]: iteration 3 : 36 enodes (cost 5 ) 18.588 * * [simplify]: iteration 4 : 70 enodes (cost 5 ) 18.599 * * [simplify]: iteration 5 : 145 enodes (cost 5 ) 18.651 * * [simplify]: iteration 6 : 339 enodes (cost 5 ) 19.079 * * [simplify]: iteration 7 : 1392 enodes (cost 5 ) 22.560 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 22.561 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 22.563 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 22.568 * * [simplify]: iteration 2 : 96 enodes (cost 9 ) 22.594 * * [simplify]: iteration 3 : 348 enodes (cost 7 ) 22.868 * * [simplify]: iteration 4 : 1090 enodes (cost 7 ) 24.928 * * [simplify]: iteration 5 : 3073 enodes (cost 7 ) 27.437 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 27.438 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 27.440 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 27.443 * * [simplify]: iteration 2 : 63 enodes (cost 7 ) 27.457 * * [simplify]: iteration 3 : 184 enodes (cost 7 ) 27.548 * * [simplify]: iteration 4 : 571 enodes (cost 7 ) 28.170 * * [simplify]: iteration 5 : 1584 enodes (cost 7 ) 31.092 * * [simplify]: iteration 6 : 3639 enodes (cost 7 ) 33.528 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 33.529 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 33.529 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 33.535 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 33.536 * * [simplify]: iteration 3 : 17 enodes (cost 13 ) 33.538 * * [simplify]: iteration 4 : 18 enodes (cost 13 ) 33.540 * * [simplify]: iteration done : 18 enodes (cost 13 ) 33.541 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 33.541 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 33.542 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 33.544 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 33.545 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 33.547 * * [simplify]: iteration done : 17 enodes (cost 6 ) 33.548 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 33.549 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 33.553 * * [simplify]: iteration 2 : 73 enodes (cost 7 ) 33.580 * * [simplify]: iteration 3 : 271 enodes (cost 7 ) 33.795 * * [simplify]: iteration 4 : 828 enodes (cost 7 ) 35.181 * * [simplify]: iteration 5 : 2501 enodes (cost 7 ) 41.351 * * [simplify]: iteration 6 : 4539 enodes (cost 7 ) 42.946 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 42.947 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.947 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 42.948 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 42.950 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 42.951 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 42.953 * * [simplify]: iteration done : 17 enodes (cost 6 ) 42.954 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.954 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 42.955 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 42.957 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 42.958 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 42.960 * * [simplify]: iteration done : 17 enodes (cost 6 ) 42.961 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 42.962 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 42.962 * * [simplify]: iteration done : 8 enodes (cost 7 ) 42.963 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 42.964 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 42.968 * * [simplify]: iteration done : 8 enodes (cost 7 ) 42.969 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 42.970 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 42.971 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 42.972 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 42.974 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 42.976 * * [simplify]: iteration done : 19 enodes (cost 8 ) 42.977 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 42.978 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 42.979 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 42.981 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 42.983 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 42.985 * * [simplify]: iteration done : 19 enodes (cost 8 ) 42.986 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 42.986 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 42.988 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 42.989 * * [simplify]: iteration done : 12 enodes (cost 11 ) 42.990 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.990 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 42.991 * * [simplify]: iteration done : 7 enodes (cost 6 ) 42.991 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 42.992 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 42.995 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 43.003 * * [simplify]: iteration 3 : 86 enodes (cost 13 ) 43.022 * * [simplify]: iteration 4 : 142 enodes (cost 13 ) 43.057 * * [simplify]: iteration 5 : 158 enodes (cost 13 ) 43.089 * * [simplify]: iteration done : 158 enodes (cost 13 ) 43.090 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 43.091 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 43.092 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 43.095 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 43.101 * * [simplify]: iteration 4 : 51 enodes (cost 10 ) 43.108 * * [simplify]: iteration 5 : 53 enodes (cost 10 ) 43.115 * * [simplify]: iteration done : 53 enodes (cost 10 ) 43.116 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 43.117 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 43.119 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 43.125 * * [simplify]: iteration 3 : 69 enodes (cost 7 ) 43.138 * * [simplify]: iteration 4 : 93 enodes (cost 7 ) 43.147 * * [simplify]: iteration done : 93 enodes (cost 7 ) 43.148 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 43.149 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 43.151 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 43.154 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 43.159 * * [simplify]: iteration 4 : 50 enodes (cost 10 ) 43.165 * * [simplify]: iteration done : 50 enodes (cost 10 ) 43.166 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 43.167 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 43.168 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 43.169 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 43.171 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 43.173 * * [simplify]: iteration done : 18 enodes (cost 7 ) 43.173 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 43.174 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 43.175 * * [simplify]: iteration 2 : 19 enodes (cost 4 ) 43.177 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 43.179 * * [simplify]: iteration done : 28 enodes (cost 4 ) 43.180 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 43.180 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 43.182 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 43.184 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 43.186 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 43.190 * * [simplify]: iteration 5 : 44 enodes (cost 7 ) 43.200 * * [simplify]: iteration 6 : 56 enodes (cost 7 ) 43.208 * * [simplify]: iteration 7 : 61 enodes (cost 7 ) 43.217 * * [simplify]: iteration done : 61 enodes (cost 7 ) 43.218 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 43.219 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 43.220 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 43.221 * * [simplify]: iteration done : 13 enodes (cost 4 ) 43.221 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 43.222 * * [simplify]: iteration 1 : 9 enodes (cost 1 ) 43.222 * * [simplify]: iteration done : 9 enodes (cost 1 ) 43.223 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 43.223 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 43.223 * * [simplify]: iteration done : 6 enodes (cost 1 ) 43.224 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 43.224 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 43.225 * * [simplify]: iteration done : 4 enodes (cost 3 ) 43.225 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 43.226 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 43.227 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 43.228 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 43.230 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 43.232 * * [simplify]: iteration done : 17 enodes (cost 6 ) 43.232 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 43.233 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 43.234 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 43.235 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 43.237 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 43.239 * * [simplify]: iteration done : 17 enodes (cost 6 ) 43.239 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 43.240 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 43.241 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 43.242 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 43.244 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 43.246 * * [simplify]: iteration done : 16 enodes (cost 5 ) 43.246 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 43.247 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 43.247 * * [simplify]: iteration done : 4 enodes (cost 3 ) 43.248 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 43.249 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 43.251 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 43.254 * * [simplify]: iteration 3 : 46 enodes (cost 8 ) 43.264 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 43.280 * * [simplify]: iteration 5 : 205 enodes (cost 8 ) 43.359 * * [simplify]: iteration 6 : 509 enodes (cost 8 ) 43.966 * * [simplify]: iteration 7 : 1950 enodes (cost 8 ) 46.459 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 46.460 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 46.461 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 46.462 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 46.464 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 46.466 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 46.468 * * [simplify]: iteration done : 19 enodes (cost 8 ) 46.469 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 46.470 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 46.471 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 46.474 * * [simplify]: iteration 3 : 35 enodes (cost 8 ) 46.479 * * [simplify]: iteration 4 : 59 enodes (cost 8 ) 46.487 * * [simplify]: iteration 5 : 114 enodes (cost 8 ) 46.512 * * [simplify]: iteration 6 : 261 enodes (cost 8 ) 46.629 * * [simplify]: iteration 7 : 676 enodes (cost 8 ) 47.538 * * [simplify]: iteration 8 : 2548 enodes (cost 8 ) 49.666 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 49.666 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 49.668 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 49.669 * * [simplify]: iteration 2 : 15 enodes (cost 17 ) 49.671 * * [simplify]: iteration 3 : 19 enodes (cost 17 ) 49.679 * * [simplify]: iteration 4 : 20 enodes (cost 17 ) 49.682 * * [simplify]: iteration done : 20 enodes (cost 17 ) 49.682 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 49.683 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 49.685 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 49.686 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 49.688 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 49.691 * * [simplify]: iteration done : 19 enodes (cost 8 ) 49.691 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 49.693 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 49.698 * * [simplify]: iteration 2 : 84 enodes (cost 9 ) 49.723 * * [simplify]: iteration 3 : 315 enodes (cost 9 ) 49.899 * * [simplify]: iteration 4 : 1118 enodes (cost 9 ) 51.403 * * [simplify]: iteration 5 : 3605 enodes (cost 9 ) 52.802 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 52.802 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 52.803 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 52.804 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 52.806 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 52.808 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 52.810 * * [simplify]: iteration done : 19 enodes (cost 8 ) 52.811 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 52.812 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 52.813 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 52.814 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 52.816 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 52.819 * * [simplify]: iteration done : 19 enodes (cost 8 ) 52.819 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 52.821 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 52.826 * * [simplify]: iteration 2 : 80 enodes (cost 11 ) 52.853 * * [simplify]: iteration 3 : 275 enodes (cost 11 ) 53.048 * * [simplify]: iteration 4 : 991 enodes (cost 11 ) 54.934 * * [simplify]: iteration 5 : 4187 enodes (cost 11 ) 56.297 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 56.297 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 56.299 * * [simplify]: iteration 1 : 31 enodes (cost 19 ) 56.305 * * [simplify]: iteration 2 : 91 enodes (cost 19 ) 56.326 * * [simplify]: iteration 3 : 222 enodes (cost 17 ) 56.406 * * [simplify]: iteration 4 : 520 enodes (cost 17 ) 56.822 * * [simplify]: iteration 5 : 1197 enodes (cost 15 ) 59.581 * * [simplify]: iteration 6 : 4357 enodes (cost 15 ) 61.190 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 61.191 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 61.192 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 61.196 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 61.208 * * [simplify]: iteration 3 : 127 enodes (cost 13 ) 61.249 * * [simplify]: iteration 4 : 314 enodes (cost 13 ) 61.375 * * [simplify]: iteration 5 : 633 enodes (cost 13 ) 61.644 * * [simplify]: iteration 6 : 867 enodes (cost 13 ) 62.060 * * [simplify]: iteration 7 : 1239 enodes (cost 13 ) 63.981 * * [simplify]: iteration 8 : 4226 enodes (cost 13 ) 66.405 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 66.405 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 66.406 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 66.408 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 66.409 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 66.412 * * [simplify]: iteration 4 : 20 enodes (cost 7 ) 66.414 * * [simplify]: iteration done : 20 enodes (cost 7 ) 66.415 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 66.416 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 66.417 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 66.418 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 66.420 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 66.421 * * [simplify]: iteration done : 16 enodes (cost 5 ) 66.422 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 66.427 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 66.428 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 66.429 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 66.431 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 66.433 * * [simplify]: iteration done : 16 enodes (cost 5 ) 66.433 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 66.434 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 66.435 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 66.436 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 66.438 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 66.439 * * [simplify]: iteration done : 16 enodes (cost 5 ) 66.440 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 66.441 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 66.442 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 66.443 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.445 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 66.448 * * [simplify]: iteration done : 18 enodes (cost 7 ) 66.448 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 66.449 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 66.450 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 66.452 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.454 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 66.456 * * [simplify]: iteration done : 18 enodes (cost 7 ) 66.457 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 66.457 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 66.459 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 66.460 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.462 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 66.464 * * [simplify]: iteration done : 18 enodes (cost 7 ) 66.465 * [simplify]: Simplified to: (* 1/2 (/ y x)) (+ (log 1/2) (- (log y) (log x))) (+ (log 1/2) (log (/ y x))) (log (* 1/2 (/ y x))) (sqrt (exp (/ y x))) (* (pow (/ y x) 3) 1/8) (* (pow (/ y x) 3) 1/8) (* (cbrt (* 1/2 (/ y x))) (cbrt (* 1/2 (/ y x)))) (cbrt (* 1/2 (/ y x))) (pow (* 1/2 (/ y x)) 3) (sqrt (* 1/2 (/ y x))) (sqrt (* 1/2 (/ y x))) (* (sqrt 1/2) (sqrt (/ y x))) (* (sqrt 1/2) (sqrt (/ y x))) (* (sqrt 1/2) (/ (sqrt y) (sqrt x))) (* (sqrt 1/2) (/ (sqrt y) (sqrt x))) (* 1/2 (* (cbrt (/ y x)) (cbrt (/ y x)))) (* 1/2 (sqrt (/ y x))) (* 1/2 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (* 1/2 (/ (* (cbrt y) (cbrt y)) (sqrt x))) (* (* (cbrt y) (cbrt y)) 1/2) (* 1/2 (/ (sqrt y) (* (cbrt x) (cbrt x)))) (* 1/2 (/ (sqrt y) (sqrt x))) (* (sqrt y) 1/2) (/ 1/2 (* (cbrt x) (cbrt x))) (/ 1/2 (sqrt x)) 1/2 1/2 (* 1/2 y) (* (cbrt 1/2) (/ y x)) (* (sqrt 1/2) (/ y x)) (* 1/2 (/ y x)) (* 1/2 y) (exp (+ (* 1/2 (/ y x)) x)) (log (+ (* 1/2 (/ y x)) x)) (exp (+ (* 1/2 (/ y x)) x)) (* (cbrt (+ (* 1/2 (/ y x)) x)) (cbrt (+ (* 1/2 (/ y x)) x))) (cbrt (+ (* 1/2 (/ y x)) x)) (pow (+ (* 1/2 (/ y x)) x) 3) (sqrt (+ (* 1/2 (/ y x)) x)) (sqrt (+ (* 1/2 (/ y x)) x)) (+ (pow (* 1/2 (/ y x)) 3) (pow x 3)) (- (* x x) (* y (- 1/2 (/ (* 1/4 (/ y x)) x)))) (- (* 1/4 (* (/ y x) (/ y x))) (* x x)) (- (* 1/2 (/ y x)) x) (* 1/2 (/ y x)) (* 1/2 (/ y x)) (* 1/2 (/ y x)) (+ (* 1/2 (/ y x)) x) (+ (* 1/2 (/ y x)) x) (+ (* 1/2 (/ y x)) x) 66.465 * * * [progress]: adding candidates to table 66.519 * * [progress]: iteration 3 / 4 66.519 * * * [progress]: picking best candidate 66.522 * * * * [pick]: Picked # 66.522 * * * [progress]: localizing error 66.527 * * * [progress]: generating rewritten candidates 66.527 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 66.534 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 66.541 * * * [progress]: generating series expansions 66.541 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 66.541 * [approximate]: Taking taylor expansion of (* -1/2 (/ y x)) in (y x) around 0 66.541 * [taylor]: Taking taylor expansion of (* -1/2 (/ y x)) in x 66.541 * [taylor]: Taking taylor expansion of -1/2 in x 66.541 * [taylor]: Taking taylor expansion of (/ y x) in x 66.541 * [taylor]: Taking taylor expansion of y in x 66.541 * [taylor]: Taking taylor expansion of x in x 66.541 * [taylor]: Taking taylor expansion of (* -1/2 (/ y x)) in y 66.541 * [taylor]: Taking taylor expansion of -1/2 in y 66.541 * [taylor]: Taking taylor expansion of (/ y x) in y 66.541 * [taylor]: Taking taylor expansion of y in y 66.541 * [taylor]: Taking taylor expansion of x in y 66.542 * [taylor]: Taking taylor expansion of (* -1/2 (/ y x)) in y 66.542 * [taylor]: Taking taylor expansion of -1/2 in y 66.542 * [taylor]: Taking taylor expansion of (/ y x) in y 66.542 * [taylor]: Taking taylor expansion of y in y 66.542 * [taylor]: Taking taylor expansion of x in y 66.542 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 66.542 * [taylor]: Taking taylor expansion of -1/2 in x 66.542 * [taylor]: Taking taylor expansion of x in x 66.542 * [taylor]: Taking taylor expansion of 0 in x 66.542 * [taylor]: Taking taylor expansion of 0 in x 66.542 * [taylor]: Taking taylor expansion of 0 in x 66.543 * [approximate]: Taking taylor expansion of (* -1/2 (/ x y)) in (y x) around 0 66.543 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in x 66.543 * [taylor]: Taking taylor expansion of -1/2 in x 66.543 * [taylor]: Taking taylor expansion of (/ x y) in x 66.543 * [taylor]: Taking taylor expansion of x in x 66.543 * [taylor]: Taking taylor expansion of y in x 66.543 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y 66.543 * [taylor]: Taking taylor expansion of -1/2 in y 66.543 * [taylor]: Taking taylor expansion of (/ x y) in y 66.543 * [taylor]: Taking taylor expansion of x in y 66.543 * [taylor]: Taking taylor expansion of y in y 66.543 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y 66.543 * [taylor]: Taking taylor expansion of -1/2 in y 66.543 * [taylor]: Taking taylor expansion of (/ x y) in y 66.543 * [taylor]: Taking taylor expansion of x in y 66.543 * [taylor]: Taking taylor expansion of y in y 66.543 * [taylor]: Taking taylor expansion of (* -1/2 x) in x 66.543 * [taylor]: Taking taylor expansion of -1/2 in x 66.543 * [taylor]: Taking taylor expansion of x in x 66.543 * [taylor]: Taking taylor expansion of 0 in x 66.543 * [taylor]: Taking taylor expansion of 0 in x 66.543 * [taylor]: Taking taylor expansion of 0 in x 66.544 * [approximate]: Taking taylor expansion of (* -1/2 (/ x y)) in (y x) around 0 66.544 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in x 66.544 * [taylor]: Taking taylor expansion of -1/2 in x 66.544 * [taylor]: Taking taylor expansion of (/ x y) in x 66.544 * [taylor]: Taking taylor expansion of x in x 66.544 * [taylor]: Taking taylor expansion of y in x 66.544 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y 66.544 * [taylor]: Taking taylor expansion of -1/2 in y 66.544 * [taylor]: Taking taylor expansion of (/ x y) in y 66.544 * [taylor]: Taking taylor expansion of x in y 66.544 * [taylor]: Taking taylor expansion of y in y 66.544 * [taylor]: Taking taylor expansion of (* -1/2 (/ x y)) in y 66.544 * [taylor]: Taking taylor expansion of -1/2 in y 66.544 * [taylor]: Taking taylor expansion of (/ x y) in y 66.544 * [taylor]: Taking taylor expansion of x in y 66.544 * [taylor]: Taking taylor expansion of y in y 66.544 * [taylor]: Taking taylor expansion of (* -1/2 x) in x 66.544 * [taylor]: Taking taylor expansion of -1/2 in x 66.544 * [taylor]: Taking taylor expansion of x in x 66.544 * [taylor]: Taking taylor expansion of 0 in x 66.544 * [taylor]: Taking taylor expansion of 0 in x 66.545 * [taylor]: Taking taylor expansion of 0 in x 66.545 * * * * [progress]: [ 2 / 2 ] generating series at (2) 66.545 * [approximate]: Taking taylor expansion of (neg (+ (* 1/2 (/ y x)) x)) in (y x) around 0 66.545 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ y x)) x)) in x 66.545 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ y x)) x) in x 66.545 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in x 66.545 * [taylor]: Taking taylor expansion of 1/2 in x 66.545 * [taylor]: Taking taylor expansion of (/ y x) in x 66.545 * [taylor]: Taking taylor expansion of y in x 66.545 * [taylor]: Taking taylor expansion of x in x 66.545 * [taylor]: Taking taylor expansion of x in x 66.545 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ y x)) x)) in y 66.545 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ y x)) x) in y 66.545 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 66.545 * [taylor]: Taking taylor expansion of 1/2 in y 66.545 * [taylor]: Taking taylor expansion of (/ y x) in y 66.545 * [taylor]: Taking taylor expansion of y in y 66.545 * [taylor]: Taking taylor expansion of x in y 66.545 * [taylor]: Taking taylor expansion of x in y 66.545 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ y x)) x)) in y 66.545 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ y x)) x) in y 66.545 * [taylor]: Taking taylor expansion of (* 1/2 (/ y x)) in y 66.545 * [taylor]: Taking taylor expansion of 1/2 in y 66.545 * [taylor]: Taking taylor expansion of (/ y x) in y 66.545 * [taylor]: Taking taylor expansion of y in y 66.545 * [taylor]: Taking taylor expansion of x in y 66.545 * [taylor]: Taking taylor expansion of x in y 66.545 * [taylor]: Taking taylor expansion of (neg x) in x 66.545 * [taylor]: Taking taylor expansion of x in x 66.546 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 x))) in x 66.546 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 66.546 * [taylor]: Taking taylor expansion of 1/2 in x 66.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 66.546 * [taylor]: Taking taylor expansion of x in x 66.546 * [taylor]: Taking taylor expansion of 0 in x 66.546 * [taylor]: Taking taylor expansion of 0 in x 66.546 * [taylor]: Taking taylor expansion of 0 in x 66.547 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 x) (* 1/2 (/ x y)))) in (y x) around 0 66.547 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (* 1/2 (/ x y)))) in x 66.547 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/2 (/ x y))) in x 66.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 66.547 * [taylor]: Taking taylor expansion of x in x 66.547 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 66.547 * [taylor]: Taking taylor expansion of 1/2 in x 66.547 * [taylor]: Taking taylor expansion of (/ x y) in x 66.547 * [taylor]: Taking taylor expansion of x in x 66.547 * [taylor]: Taking taylor expansion of y in x 66.547 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (* 1/2 (/ x y)))) in y 66.547 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/2 (/ x y))) in y 66.547 * [taylor]: Taking taylor expansion of (/ 1 x) in y 66.547 * [taylor]: Taking taylor expansion of x in y 66.547 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 66.547 * [taylor]: Taking taylor expansion of 1/2 in y 66.547 * [taylor]: Taking taylor expansion of (/ x y) in y 66.547 * [taylor]: Taking taylor expansion of x in y 66.547 * [taylor]: Taking taylor expansion of y in y 66.547 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (* 1/2 (/ x y)))) in y 66.547 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/2 (/ x y))) in y 66.547 * [taylor]: Taking taylor expansion of (/ 1 x) in y 66.547 * [taylor]: Taking taylor expansion of x in y 66.547 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 66.547 * [taylor]: Taking taylor expansion of 1/2 in y 66.547 * [taylor]: Taking taylor expansion of (/ x y) in y 66.547 * [taylor]: Taking taylor expansion of x in y 66.547 * [taylor]: Taking taylor expansion of y in y 66.547 * [taylor]: Taking taylor expansion of (neg (* 1/2 x)) in x 66.547 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 66.547 * [taylor]: Taking taylor expansion of 1/2 in x 66.547 * [taylor]: Taking taylor expansion of x in x 66.548 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 66.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 66.548 * [taylor]: Taking taylor expansion of x in x 66.548 * [taylor]: Taking taylor expansion of 0 in x 66.548 * [taylor]: Taking taylor expansion of 0 in x 66.549 * [taylor]: Taking taylor expansion of 0 in x 66.549 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in (y x) around 0 66.549 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in x 66.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 66.549 * [taylor]: Taking taylor expansion of x in x 66.549 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in x 66.549 * [taylor]: Taking taylor expansion of 1/2 in x 66.549 * [taylor]: Taking taylor expansion of (/ x y) in x 66.549 * [taylor]: Taking taylor expansion of x in x 66.549 * [taylor]: Taking taylor expansion of y in x 66.549 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in y 66.549 * [taylor]: Taking taylor expansion of (/ 1 x) in y 66.549 * [taylor]: Taking taylor expansion of x in y 66.549 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 66.549 * [taylor]: Taking taylor expansion of 1/2 in y 66.549 * [taylor]: Taking taylor expansion of (/ x y) in y 66.549 * [taylor]: Taking taylor expansion of x in y 66.549 * [taylor]: Taking taylor expansion of y in y 66.549 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/2 (/ x y))) in y 66.549 * [taylor]: Taking taylor expansion of (/ 1 x) in y 66.549 * [taylor]: Taking taylor expansion of x in y 66.549 * [taylor]: Taking taylor expansion of (* 1/2 (/ x y)) in y 66.549 * [taylor]: Taking taylor expansion of 1/2 in y 66.549 * [taylor]: Taking taylor expansion of (/ x y) in y 66.549 * [taylor]: Taking taylor expansion of x in y 66.549 * [taylor]: Taking taylor expansion of y in y 66.550 * [taylor]: Taking taylor expansion of (neg (* 1/2 x)) in x 66.550 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 66.550 * [taylor]: Taking taylor expansion of 1/2 in x 66.550 * [taylor]: Taking taylor expansion of x in x 66.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x 66.550 * [taylor]: Taking taylor expansion of x in x 66.550 * [taylor]: Taking taylor expansion of 0 in x 66.550 * [taylor]: Taking taylor expansion of 0 in x 66.551 * [taylor]: Taking taylor expansion of 0 in x 66.551 * * * [progress]: simplifying candidates 66.552 * [simplify]: Simplifying using # : (* (/ y x) -1/2) (+ (- (log y) (log x)) (log -1/2)) (+ (log (/ y x)) (log -1/2)) (log (* (/ y x) -1/2)) (exp (* (/ y x) -1/2)) (* (/ (* (* y y) y) (* (* x x) x)) (* (* -1/2 -1/2) -1/2)) (* (* (* (/ y x) (/ y x)) (/ y x)) (* (* -1/2 -1/2) -1/2)) (* (cbrt (* (/ y x) -1/2)) (cbrt (* (/ y x) -1/2))) (cbrt (* (/ y x) -1/2)) (* (* (* (/ y x) -1/2) (* (/ y x) -1/2)) (* (/ y x) -1/2)) (sqrt (* (/ y x) -1/2)) (sqrt (* (/ y x) -1/2)) (* (sqrt (/ y x)) (sqrt -1/2)) (* (sqrt (/ y x)) (sqrt -1/2)) (* (/ (sqrt y) (sqrt x)) (sqrt -1/2)) (* (/ (sqrt y) (sqrt x)) (sqrt -1/2)) (* (/ y x) (* (cbrt -1/2) (cbrt -1/2))) (* (/ y x) (sqrt -1/2)) (* (/ y x) 1) (* (cbrt (/ y x)) -1/2) (* (sqrt (/ y x)) -1/2) (* (/ (cbrt y) (cbrt x)) -1/2) (* (/ (cbrt y) (sqrt x)) -1/2) (* (/ (cbrt y) x) -1/2) (* (/ (sqrt y) (cbrt x)) -1/2) (* (/ (sqrt y) (sqrt x)) -1/2) (* (/ (sqrt y) x) -1/2) (* (/ y (cbrt x)) -1/2) (* (/ y (sqrt x)) -1/2) (* (/ y x) -1/2) (* (/ y x) -1/2) (* (/ 1 x) -1/2) (* y -1/2) (/ (exp (* (/ y x) -1/2)) (exp x)) (log (- (* (/ y x) -1/2) x)) (exp (- (* (/ y x) -1/2) x)) (* (cbrt (- (* (/ y x) -1/2) x)) (cbrt (- (* (/ y x) -1/2) x))) (cbrt (- (* (/ y x) -1/2) x)) (* (* (- (* (/ y x) -1/2) x) (- (* (/ y x) -1/2) x)) (- (* (/ y x) -1/2) x)) (sqrt (- (* (/ y x) -1/2) x)) (sqrt (- (* (/ y x) -1/2) x)) (- (pow (* (/ y x) -1/2) 3) (pow x 3)) (+ (* (* (/ y x) -1/2) (* (/ y x) -1/2)) (+ (* x x) (* (* (/ y x) -1/2) x))) (neg x) (- (* (* (/ y x) -1/2) (* (/ y x) -1/2)) (* x x)) (+ (* (/ y x) -1/2) x) (neg x) (* -1/2 (/ y x)) (* -1/2 (/ y x)) (* -1/2 (/ y x)) (neg (+ (* 1/2 (/ y x)) x)) (neg (+ (* 1/2 (/ y x)) x)) (neg (+ (* 1/2 (/ y x)) x)) 66.552 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 66.553 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 66.554 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 66.555 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 66.557 * * [simplify]: iteration 4 : 15 enodes (cost 5 ) 66.558 * * [simplify]: iteration 5 : 16 enodes (cost 5 ) 66.560 * * [simplify]: iteration done : 16 enodes (cost 5 ) 66.561 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 66.562 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 66.563 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 66.566 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 66.574 * * [simplify]: iteration 4 : 41 enodes (cost 8 ) 66.579 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 66.584 * * [simplify]: iteration 6 : 55 enodes (cost 8 ) 66.591 * * [simplify]: iteration 7 : 72 enodes (cost 8 ) 66.603 * * [simplify]: iteration 8 : 91 enodes (cost 8 ) 66.614 * * [simplify]: iteration 9 : 99 enodes (cost 8 ) 66.629 * * [simplify]: iteration done : 99 enodes (cost 8 ) 66.630 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.630 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 66.631 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 66.633 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 66.636 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 66.641 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 66.646 * * [simplify]: iteration 6 : 50 enodes (cost 7 ) 66.651 * * [simplify]: iteration 7 : 59 enodes (cost 7 ) 66.659 * * [simplify]: iteration 8 : 76 enodes (cost 7 ) 66.672 * * [simplify]: iteration 9 : 95 enodes (cost 7 ) 66.685 * * [simplify]: iteration 10 : 103 enodes (cost 7 ) 66.698 * * [simplify]: iteration done : 103 enodes (cost 7 ) 66.698 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 66.699 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 66.701 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 66.703 * * [simplify]: iteration 3 : 33 enodes (cost 6 ) 66.707 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 66.712 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 66.721 * * [simplify]: iteration 6 : 76 enodes (cost 6 ) 66.730 * * [simplify]: iteration 7 : 88 enodes (cost 6 ) 66.745 * * [simplify]: iteration 8 : 111 enodes (cost 6 ) 66.758 * * [simplify]: iteration 9 : 123 enodes (cost 6 ) 66.773 * * [simplify]: iteration 10 : 139 enodes (cost 6 ) 66.788 * * [simplify]: iteration 11 : 141 enodes (cost 6 ) 66.806 * * [simplify]: iteration done : 141 enodes (cost 6 ) 66.807 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 66.807 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 66.809 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 66.811 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 66.815 * * [simplify]: iteration 4 : 51 enodes (cost 6 ) 66.821 * * [simplify]: iteration 5 : 103 enodes (cost 6 ) 66.839 * * [simplify]: iteration 6 : 226 enodes (cost 6 ) 66.944 * * [simplify]: iteration 7 : 605 enodes (cost 6 ) 67.846 * * [simplify]: iteration 8 : 2487 enodes (cost 6 ) 69.639 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 69.640 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 69.642 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 69.646 * * [simplify]: iteration 2 : 96 enodes (cost 9 ) 69.673 * * [simplify]: iteration 3 : 361 enodes (cost 7 ) 69.979 * * [simplify]: iteration 4 : 1197 enodes (cost 7 ) 72.121 * * [simplify]: iteration 5 : 3185 enodes (cost 7 ) 74.574 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 74.575 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 74.576 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 74.580 * * [simplify]: iteration 2 : 64 enodes (cost 7 ) 74.595 * * [simplify]: iteration 3 : 191 enodes (cost 7 ) 74.694 * * [simplify]: iteration 4 : 632 enodes (cost 7 ) 75.342 * * [simplify]: iteration 5 : 1689 enodes (cost 7 ) 78.318 * * [simplify]: iteration 6 : 3629 enodes (cost 7 ) 80.793 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 80.794 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 80.795 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 80.796 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 80.798 * * [simplify]: iteration 3 : 15 enodes (cost 13 ) 80.799 * * [simplify]: iteration 4 : 17 enodes (cost 13 ) 80.801 * * [simplify]: iteration 5 : 18 enodes (cost 13 ) 80.803 * * [simplify]: iteration done : 18 enodes (cost 13 ) 80.804 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.804 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 80.805 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 80.807 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 80.808 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 80.810 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 80.812 * * [simplify]: iteration done : 17 enodes (cost 6 ) 80.813 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 80.814 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 80.818 * * [simplify]: iteration 2 : 73 enodes (cost 7 ) 80.851 * * [simplify]: iteration 3 : 291 enodes (cost 7 ) 81.078 * * [simplify]: iteration 4 : 835 enodes (cost 7 ) 82.220 * * [simplify]: iteration 5 : 2297 enodes (cost 7 ) 87.457 * * [simplify]: iteration 6 : 4413 enodes (cost 7 ) 89.266 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 89.267 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.267 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 89.268 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.270 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 89.271 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 89.273 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 89.275 * * [simplify]: iteration done : 17 enodes (cost 6 ) 89.275 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.276 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 89.277 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.278 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 89.280 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 89.286 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 89.288 * * [simplify]: iteration done : 17 enodes (cost 6 ) 89.289 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.290 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 89.290 * * [simplify]: iteration done : 8 enodes (cost 7 ) 89.291 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.292 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 89.292 * * [simplify]: iteration done : 8 enodes (cost 7 ) 89.293 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 89.294 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 89.295 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 89.297 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 89.299 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 89.300 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 89.302 * * [simplify]: iteration done : 19 enodes (cost 8 ) 89.303 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 89.304 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 89.305 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 89.307 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 89.308 * * [simplify]: iteration 4 : 18 enodes (cost 8 ) 89.310 * * [simplify]: iteration 5 : 19 enodes (cost 8 ) 89.312 * * [simplify]: iteration done : 19 enodes (cost 8 ) 89.313 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 89.313 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 89.315 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 89.318 * * [simplify]: iteration 3 : 28 enodes (cost 9 ) 89.322 * * [simplify]: iteration 4 : 37 enodes (cost 9 ) 89.328 * * [simplify]: iteration 5 : 43 enodes (cost 9 ) 89.335 * * [simplify]: iteration 6 : 48 enodes (cost 9 ) 89.341 * * [simplify]: iteration done : 48 enodes (cost 9 ) 89.342 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.343 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 89.344 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.348 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 89.349 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 89.351 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 89.353 * * [simplify]: iteration done : 17 enodes (cost 6 ) 89.353 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 89.354 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 89.356 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 89.357 * * [simplify]: iteration done : 20 enodes (cost 3 ) 89.357 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.358 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 89.359 * * [simplify]: iteration done : 7 enodes (cost 6 ) 89.359 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.360 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 89.360 * * [simplify]: iteration done : 7 enodes (cost 6 ) 89.361 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.362 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 89.363 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 89.364 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 89.366 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 89.367 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 89.369 * * [simplify]: iteration done : 18 enodes (cost 7 ) 89.370 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.371 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 89.372 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 89.373 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 89.374 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 89.376 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 89.379 * * [simplify]: iteration done : 18 enodes (cost 7 ) 89.380 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.380 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 89.381 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.383 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 89.384 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 89.386 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 89.388 * * [simplify]: iteration done : 17 enodes (cost 6 ) 89.389 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.389 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 89.390 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 89.392 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 89.393 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 89.395 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 89.397 * * [simplify]: iteration done : 18 enodes (cost 7 ) 89.397 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.398 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 89.399 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 89.401 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 89.402 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 89.404 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 89.406 * * [simplify]: iteration done : 18 enodes (cost 7 ) 89.407 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.410 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 89.411 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.413 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 89.414 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 89.416 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 89.418 * * [simplify]: iteration done : 17 enodes (cost 6 ) 89.418 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.419 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 89.420 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.421 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 89.423 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 89.424 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 89.426 * * [simplify]: iteration done : 17 enodes (cost 6 ) 89.427 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.428 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 89.429 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.430 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 89.432 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 89.434 * * [simplify]: iteration 5 : 17 enodes (cost 6 ) 89.436 * * [simplify]: iteration done : 17 enodes (cost 6 ) 89.436 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 89.437 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 89.438 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 89.439 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 89.440 * * [simplify]: iteration 4 : 15 enodes (cost 5 ) 89.442 * * [simplify]: iteration 5 : 16 enodes (cost 5 ) 89.444 * * [simplify]: iteration done : 16 enodes (cost 5 ) 89.444 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 89.445 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 89.446 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 89.447 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 89.449 * * [simplify]: iteration 4 : 15 enodes (cost 5 ) 89.450 * * [simplify]: iteration 5 : 16 enodes (cost 5 ) 89.452 * * [simplify]: iteration done : 16 enodes (cost 5 ) 89.453 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 89.453 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 89.454 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 89.455 * * [simplify]: iteration done : 12 enodes (cost 3 ) 89.456 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.456 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 89.456 * * [simplify]: iteration done : 4 enodes (cost 3 ) 89.457 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 89.458 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 89.460 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 89.463 * * [simplify]: iteration 3 : 43 enodes (cost 8 ) 89.468 * * [simplify]: iteration 4 : 77 enodes (cost 8 ) 89.483 * * [simplify]: iteration 5 : 181 enodes (cost 8 ) 89.547 * * [simplify]: iteration 6 : 528 enodes (cost 8 ) 90.295 * * [simplify]: iteration 7 : 2099 enodes (cost 8 ) 92.507 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 92.508 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 92.509 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 92.510 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 92.512 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 92.514 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 92.516 * * [simplify]: iteration 5 : 21 enodes (cost 8 ) 92.519 * * [simplify]: iteration done : 21 enodes (cost 8 ) 92.519 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 92.520 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 92.522 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 92.526 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 92.531 * * [simplify]: iteration 4 : 71 enodes (cost 8 ) 92.542 * * [simplify]: iteration 5 : 153 enodes (cost 8 ) 92.603 * * [simplify]: iteration 6 : 443 enodes (cost 8 ) 92.914 * * [simplify]: iteration 7 : 1224 enodes (cost 8 ) 95.033 * * [simplify]: iteration 8 : 4070 enodes (cost 8 ) 96.302 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 96.303 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 96.304 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 96.306 * * [simplify]: iteration 2 : 17 enodes (cost 17 ) 96.308 * * [simplify]: iteration 3 : 19 enodes (cost 17 ) 96.310 * * [simplify]: iteration 4 : 21 enodes (cost 17 ) 96.313 * * [simplify]: iteration 5 : 22 enodes (cost 17 ) 96.315 * * [simplify]: iteration done : 22 enodes (cost 17 ) 96.316 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 96.317 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 96.318 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 96.320 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 96.322 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 96.324 * * [simplify]: iteration 5 : 21 enodes (cost 8 ) 96.327 * * [simplify]: iteration done : 21 enodes (cost 8 ) 96.327 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 96.328 * * [simplify]: iteration 1 : 14 enodes (cost 23 ) 96.330 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 96.336 * * [simplify]: iteration 3 : 109 enodes (cost 9 ) 96.373 * * [simplify]: iteration 4 : 419 enodes (cost 9 ) 96.617 * * [simplify]: iteration 5 : 1574 enodes (cost 9 ) 98.252 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 98.253 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 98.254 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 98.255 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 98.257 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 98.259 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 98.261 * * [simplify]: iteration 5 : 21 enodes (cost 8 ) 98.264 * * [simplify]: iteration done : 21 enodes (cost 8 ) 98.265 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 98.265 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 98.267 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 98.269 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 98.271 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 98.273 * * [simplify]: iteration 5 : 21 enodes (cost 8 ) 98.276 * * [simplify]: iteration done : 21 enodes (cost 8 ) 98.277 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 98.278 * * [simplify]: iteration 1 : 31 enodes (cost 11 ) 98.283 * * [simplify]: iteration 2 : 94 enodes (cost 11 ) 98.311 * * [simplify]: iteration 3 : 311 enodes (cost 11 ) 98.510 * * [simplify]: iteration 4 : 1051 enodes (cost 11 ) 99.982 * * [simplify]: iteration 5 : 4270 enodes (cost 11 ) 101.476 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 101.476 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 101.478 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 101.483 * * [simplify]: iteration 2 : 78 enodes (cost 19 ) 101.506 * * [simplify]: iteration 3 : 161 enodes (cost 17 ) 101.548 * * [simplify]: iteration 4 : 299 enodes (cost 17 ) 101.676 * * [simplify]: iteration 5 : 480 enodes (cost 17 ) 102.052 * * [simplify]: iteration 6 : 1275 enodes (cost 15 ) 103.983 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 103.983 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 103.984 * * [simplify]: iteration done : 2 enodes (cost 2 ) 103.984 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 103.985 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 103.989 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 104.002 * * [simplify]: iteration 3 : 129 enodes (cost 13 ) 104.040 * * [simplify]: iteration 4 : 297 enodes (cost 13 ) 104.137 * * [simplify]: iteration 5 : 595 enodes (cost 13 ) 104.377 * * [simplify]: iteration 6 : 869 enodes (cost 13 ) 104.792 * * [simplify]: iteration 7 : 1242 enodes (cost 13 ) 106.770 * * [simplify]: iteration 8 : 4203 enodes (cost 13 ) 109.090 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 109.091 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 109.092 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 109.093 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 109.095 * * [simplify]: iteration 3 : 15 enodes (cost 7 ) 109.097 * * [simplify]: iteration 4 : 17 enodes (cost 7 ) 109.099 * * [simplify]: iteration 5 : 18 enodes (cost 7 ) 109.101 * * [simplify]: iteration done : 18 enodes (cost 7 ) 109.101 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 109.101 * * [simplify]: iteration done : 2 enodes (cost 2 ) 109.102 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.103 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 109.104 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 109.105 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 109.106 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 109.108 * * [simplify]: iteration done : 16 enodes (cost 5 ) 109.109 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.110 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 109.111 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 109.112 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 109.114 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 109.116 * * [simplify]: iteration done : 16 enodes (cost 5 ) 109.117 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 109.117 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 109.118 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 109.120 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 109.121 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 109.123 * * [simplify]: iteration done : 16 enodes (cost 5 ) 109.124 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 109.124 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 109.126 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 109.130 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 109.135 * * [simplify]: iteration 4 : 53 enodes (cost 7 ) 109.145 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 109.153 * * [simplify]: iteration done : 56 enodes (cost 7 ) 109.153 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 109.154 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 109.156 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 109.160 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 109.165 * * [simplify]: iteration 4 : 53 enodes (cost 7 ) 109.173 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 109.181 * * [simplify]: iteration done : 56 enodes (cost 7 ) 109.182 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 109.182 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 109.184 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 109.188 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 109.193 * * [simplify]: iteration 4 : 53 enodes (cost 7 ) 109.203 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 109.211 * * [simplify]: iteration done : 56 enodes (cost 7 ) 109.211 * [simplify]: Simplified to: (* (/ y x) -1/2) (+ (- (log y) (log x)) (log -1/2)) (+ (log (/ y x)) (log -1/2)) (log (* (/ y x) -1/2)) (exp (* (/ y x) -1/2)) (* (pow (/ y x) 3) -1/8) (* -1/8 (pow (/ y x) 3)) (* (cbrt (* (/ y x) -1/2)) (cbrt (* (/ y x) -1/2))) (cbrt (* (/ y x) -1/2)) (pow (* (/ y x) -1/2) 3) (sqrt (* (/ y x) -1/2)) (sqrt (* (/ y x) -1/2)) (* (sqrt (/ y x)) (sqrt -1/2)) (* (sqrt (/ y x)) (sqrt -1/2)) (* (/ (sqrt y) (sqrt x)) (sqrt -1/2)) (* (/ (sqrt y) (sqrt x)) (sqrt -1/2)) (* (/ y x) (* (cbrt -1/2) (cbrt -1/2))) (* (/ y x) (sqrt -1/2)) (/ y x) (* (cbrt (/ y x)) -1/2) (* (sqrt (/ y x)) -1/2) (* (/ (cbrt y) (cbrt x)) -1/2) (* (/ (cbrt y) (sqrt x)) -1/2) (* (/ (cbrt y) x) -1/2) (* (/ (sqrt y) (cbrt x)) -1/2) (* (/ (sqrt y) (sqrt x)) -1/2) (* (/ (sqrt y) x) -1/2) (* (/ y (cbrt x)) -1/2) (* (/ y (sqrt x)) -1/2) (* (/ y x) -1/2) (* (/ y x) -1/2) (/ -1/2 x) (* y -1/2) (exp (- (* (/ y x) -1/2) x)) (log (- (* (/ y x) -1/2) x)) (exp (- (* (/ y x) -1/2) x)) (* (cbrt (- (* (/ y x) -1/2) x)) (cbrt (- (* (/ y x) -1/2) x))) (cbrt (- (* (/ y x) -1/2) x)) (pow (- (* (/ y x) -1/2) x) 3) (sqrt (- (* (/ y x) -1/2) x)) (sqrt (- (* (/ y x) -1/2) x)) (- (pow (* (/ y x) -1/2) 3) (pow x 3)) (+ (* x x) (* y (+ (/ y (* x (/ x 1/4))) -1/2))) (neg x) (- (* (* (/ y x) (/ y x)) 1/4) (* x x)) (+ (* (/ y x) -1/2) x) (neg x) (* -1/2 (/ y x)) (* -1/2 (/ y x)) (* -1/2 (/ y x)) (- (* (/ y x) -1/2) x) (- (* (/ y x) -1/2) x) (- (* (/ y x) -1/2) x) 109.211 * * * [progress]: adding candidates to table 109.266 * [progress]: [Phase 3 of 3] Extracting. 109.266 * * [regime]: Finding splitpoints for: (# # #) 109.266 * * * [regime-changes]: Trying 5 branch expressions: ((* x x) (+ (* x x) y) (sqrt (+ (* x x) y)) y x) 109.266 * * * * [regimes]: Trying to branch on (* x x) from (# # #) 109.305 * * * * [regimes]: Trying to branch on (+ (* x x) y) from (# # #) 109.346 * * * * [regimes]: Trying to branch on (sqrt (+ (* x x) y)) from (# # #) 109.388 * * * * [regimes]: Trying to branch on y from (# # #) 109.451 * * * * [regimes]: Trying to branch on x from (# # #) 109.499 * * * [regime]: Found split indices: #