14.077 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (+ (+ (/ x 2.0) (* y x)) z) 0.017 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.018 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.020 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.022 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.022 * [simplify]: Simplified to: (+ (+ (/ x 2.0) (* y x)) z) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.023 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.033 * * * [progress]: generating rewritten candidates 0.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.042 * * * [progress]: generating series expansions 0.042 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.042 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in (x y) around 0 0.042 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in y 0.042 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 0.042 * [taylor]: Taking taylor expansion of 0.5 in y 0.042 * [taylor]: Taking taylor expansion of x in y 0.042 * [taylor]: Taking taylor expansion of (* x y) in y 0.042 * [taylor]: Taking taylor expansion of x in y 0.043 * [taylor]: Taking taylor expansion of y in y 0.043 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in x 0.043 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.043 * [taylor]: Taking taylor expansion of 0.5 in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of (* x y) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in x 0.043 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.043 * [taylor]: Taking taylor expansion of 0.5 in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of (* x y) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.045 * [taylor]: Taking taylor expansion of 0.5 in y 0.046 * [taylor]: Taking taylor expansion of 0 in y 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in (x y) around 0 0.051 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in y 0.051 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.051 * [taylor]: Taking taylor expansion of (* x y) in y 0.051 * [taylor]: Taking taylor expansion of x in y 0.051 * [taylor]: Taking taylor expansion of y in y 0.051 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.051 * [taylor]: Taking taylor expansion of 0.5 in y 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.051 * [taylor]: Taking taylor expansion of x in y 0.051 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.051 * [taylor]: Taking taylor expansion of (* x y) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of y in x 0.052 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.052 * [taylor]: Taking taylor expansion of 0.5 in x 0.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.052 * [taylor]: Taking taylor expansion of x in x 0.052 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 0.052 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.052 * [taylor]: Taking taylor expansion of (* x y) in x 0.052 * [taylor]: Taking taylor expansion of x in x 0.052 * [taylor]: Taking taylor expansion of y in x 0.052 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.052 * [taylor]: Taking taylor expansion of 0.5 in x 0.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.052 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.053 * [taylor]: Taking taylor expansion of y in y 0.053 * [taylor]: Taking taylor expansion of 0.5 in y 0.055 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.062 * [taylor]: Taking taylor expansion of 0 in y 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in (x y) around 0 0.066 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.066 * [taylor]: Taking taylor expansion of (* x y) in y 0.066 * [taylor]: Taking taylor expansion of x in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.066 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.066 * [taylor]: Taking taylor expansion of 0.5 in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.066 * [taylor]: Taking taylor expansion of x in y 0.066 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.066 * [taylor]: Taking taylor expansion of (* x y) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 0.5 in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.067 * [taylor]: Taking taylor expansion of (* x y) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 0.5 in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of (- (/ 1 y) 0.5) in y 0.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of 0.5 in y 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.082 * * * [progress]: simplifying candidates 0.083 * [simplify]: Simplifying using # : (* (exp (/ x 2.0)) (exp (* y x))) (log (+ (/ x 2.0) (* y x))) (exp (+ (/ x 2.0) (* y x))) (* (cbrt (+ (/ x 2.0) (* y x))) (cbrt (+ (/ x 2.0) (* y x)))) (cbrt (+ (/ x 2.0) (* y x))) (* (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))) (+ (pow (/ x 2.0) 3) (pow (* y x) 3)) (+ (* (/ x 2.0) (/ x 2.0)) (- (* (* y x) (* y x)) (* (/ x 2.0) (* y x)))) (- (* (/ x 2.0) (/ x 2.0)) (* (* y x) (* y x))) (- (/ x 2.0) (* y x)) (+ (* 0.5 x) (* x y)) (+ (* 0.5 x) (* x y)) (+ (* 0.5 x) (* x y)) 0.084 * * [simplify]: iteration 0 : 31 enodes (cost 166 ) 0.089 * * [simplify]: iteration 1 : 94 enodes (cost 161 ) 0.110 * * [simplify]: iteration 2 : 266 enodes (cost 141 ) 0.166 * * [simplify]: iteration 3 : 671 enodes (cost 141 ) 0.339 * * [simplify]: iteration 4 : 1517 enodes (cost 137 ) 0.931 * * [simplify]: iteration 5 : 3963 enodes (cost 137 ) 2.482 * * [simplify]: iteration done : 5000 enodes (cost 137 ) 2.483 * [simplify]: Simplified to: (exp (+ (/ x 2.0) (* y x))) (log (+ (/ x 2.0) (* y x))) (exp (+ (/ x 2.0) (* y x))) (* (cbrt (+ (/ x 2.0) (* y x))) (cbrt (+ (/ x 2.0) (* y x)))) (cbrt (+ (/ x 2.0) (* y x))) (pow (+ (/ x 2.0) (* y x)) 3) (sqrt (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))) (+ (pow (/ x 2.0) 3) (pow (* y x) 3)) (* x (+ (* (- (* x y) (/ x 2.0)) y) (/ x (* 2.0 2.0)))) (* x (- (/ x (* 2.0 2.0)) (* (* y y) x))) (- (/ x 2.0) (* y x)) (* x (+ y 0.5)) (* x (+ y 0.5)) (* x (+ y 0.5)) 2.483 * * * [progress]: adding candidates to table 2.516 * * [progress]: iteration 2 / 4 2.516 * * * [progress]: picking best candidate 2.518 * * * * [pick]: Picked # 2.518 * * * [progress]: localizing error 2.523 * * * [progress]: generating rewritten candidates 2.523 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 2.533 * * * [progress]: generating series expansions 2.534 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 2.534 * [approximate]: Taking taylor expansion of (* x (+ y 0.5)) in (x y) around 0 2.534 * [taylor]: Taking taylor expansion of (* x (+ y 0.5)) in y 2.534 * [taylor]: Taking taylor expansion of x in y 2.534 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 2.534 * [taylor]: Taking taylor expansion of y in y 2.534 * [taylor]: Taking taylor expansion of 0.5 in y 2.534 * [taylor]: Taking taylor expansion of (* x (+ y 0.5)) in x 2.534 * [taylor]: Taking taylor expansion of x in x 2.534 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 2.534 * [taylor]: Taking taylor expansion of y in x 2.534 * [taylor]: Taking taylor expansion of 0.5 in x 2.534 * [taylor]: Taking taylor expansion of (* x (+ y 0.5)) in x 2.534 * [taylor]: Taking taylor expansion of x in x 2.534 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 2.534 * [taylor]: Taking taylor expansion of y in x 2.534 * [taylor]: Taking taylor expansion of 0.5 in x 2.534 * [taylor]: Taking taylor expansion of 0 in y 2.535 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 2.535 * [taylor]: Taking taylor expansion of y in y 2.535 * [taylor]: Taking taylor expansion of 0.5 in y 2.536 * [taylor]: Taking taylor expansion of 0 in y 2.537 * [taylor]: Taking taylor expansion of 0 in y 2.539 * [taylor]: Taking taylor expansion of 0 in y 2.539 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 0.5) x) in (x y) around 0 2.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 0.5) x) in y 2.539 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 2.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.539 * [taylor]: Taking taylor expansion of y in y 2.539 * [taylor]: Taking taylor expansion of 0.5 in y 2.539 * [taylor]: Taking taylor expansion of x in y 2.539 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 0.5) x) in x 2.539 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in x 2.539 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.540 * [taylor]: Taking taylor expansion of y in x 2.540 * [taylor]: Taking taylor expansion of 0.5 in x 2.540 * [taylor]: Taking taylor expansion of x in x 2.540 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 0.5) x) in x 2.540 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in x 2.540 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.540 * [taylor]: Taking taylor expansion of y in x 2.540 * [taylor]: Taking taylor expansion of 0.5 in x 2.540 * [taylor]: Taking taylor expansion of x in x 2.540 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 2.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.540 * [taylor]: Taking taylor expansion of y in y 2.540 * [taylor]: Taking taylor expansion of 0.5 in y 2.541 * [taylor]: Taking taylor expansion of 0 in y 2.543 * [taylor]: Taking taylor expansion of 0 in y 2.545 * [taylor]: Taking taylor expansion of 0 in y 2.548 * [taylor]: Taking taylor expansion of 0 in y 2.549 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in (x y) around 0 2.549 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in y 2.549 * [taylor]: Taking taylor expansion of -1 in y 2.549 * [taylor]: Taking taylor expansion of (/ (- 0.5 (/ 1 y)) x) in y 2.549 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 2.549 * [taylor]: Taking taylor expansion of 0.5 in y 2.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.549 * [taylor]: Taking taylor expansion of y in y 2.549 * [taylor]: Taking taylor expansion of x in y 2.550 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in x 2.550 * [taylor]: Taking taylor expansion of -1 in x 2.550 * [taylor]: Taking taylor expansion of (/ (- 0.5 (/ 1 y)) x) in x 2.550 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 2.550 * [taylor]: Taking taylor expansion of 0.5 in x 2.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.550 * [taylor]: Taking taylor expansion of y in x 2.550 * [taylor]: Taking taylor expansion of x in x 2.553 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in x 2.553 * [taylor]: Taking taylor expansion of -1 in x 2.553 * [taylor]: Taking taylor expansion of (/ (- 0.5 (/ 1 y)) x) in x 2.553 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 2.553 * [taylor]: Taking taylor expansion of 0.5 in x 2.553 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.553 * [taylor]: Taking taylor expansion of y in x 2.553 * [taylor]: Taking taylor expansion of x in x 2.553 * [taylor]: Taking taylor expansion of (* -1 (- 0.5 (/ 1 y))) in y 2.553 * [taylor]: Taking taylor expansion of -1 in y 2.553 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 2.553 * [taylor]: Taking taylor expansion of 0.5 in y 2.553 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.553 * [taylor]: Taking taylor expansion of y in y 2.556 * [taylor]: Taking taylor expansion of 0 in y 2.560 * [taylor]: Taking taylor expansion of 0 in y 2.564 * [taylor]: Taking taylor expansion of 0 in y 2.569 * [taylor]: Taking taylor expansion of 0 in y 2.569 * * * [progress]: simplifying candidates 2.570 * [simplify]: Simplifying using # : (* x (+ y 0.5)) (+ (log x) (log (+ y 0.5))) (log (* x (+ y 0.5))) (exp (* x (+ y 0.5))) (* (* (* x x) x) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (cbrt (* x (+ y 0.5))) (cbrt (* x (+ y 0.5)))) (cbrt (* x (+ y 0.5))) (* (* (* x (+ y 0.5)) (* x (+ y 0.5))) (* x (+ y 0.5))) (sqrt (* x (+ y 0.5))) (sqrt (* x (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* x y) (* x 0.5) (* y x) (* 0.5 x) (* x (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* x (sqrt (+ y 0.5))) (* x 1) (* x 1) (* (cbrt x) (+ y 0.5)) (* (sqrt x) (+ y 0.5)) (* x (+ y 0.5)) (* x (+ (pow y 3) (pow 0.5 3))) (* x (- (* y y) (* 0.5 0.5))) (+ (* 0.5 x) (* x y)) (+ (* 0.5 x) (* x y)) (+ (* 0.5 x) (* x y)) 2.571 * * [simplify]: iteration 0 : 46 enodes (cost 194 ) 2.580 * * [simplify]: iteration 1 : 125 enodes (cost 183 ) 2.600 * * [simplify]: iteration 2 : 321 enodes (cost 163 ) 2.677 * * [simplify]: iteration 3 : 783 enodes (cost 163 ) 2.966 * * [simplify]: iteration 4 : 1913 enodes (cost 163 ) 4.212 * * [simplify]: iteration done : 5000 enodes (cost 163 ) 4.212 * [simplify]: Simplified to: (* (+ y 0.5) x) (log (* x (+ y 0.5))) (log (* x (+ y 0.5))) (exp (* x (+ y 0.5))) (pow (* (+ y 0.5) x) 3) (* (cbrt (* x (+ y 0.5))) (cbrt (* x (+ y 0.5)))) (cbrt (* x (+ y 0.5))) (pow (* (+ y 0.5) x) 3) (sqrt (* x (+ y 0.5))) (sqrt (* x (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* x y) (* 0.5 x) (* x y) (* 0.5 x) (* x (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* x (sqrt (+ y 0.5))) x x (* (cbrt x) (+ y 0.5)) (* (sqrt x) (+ y 0.5)) (* (+ y 0.5) x) (* x (+ (pow y 3) (pow 0.5 3))) (* x (- (* y y) (* 0.5 0.5))) (* (+ y 0.5) x) (* (+ y 0.5) x) (* (+ y 0.5) x) 4.212 * * * [progress]: adding candidates to table 4.258 * [progress]: [Phase 3 of 3] Extracting. 4.258 * * [regime]: Finding splitpoints for: (# #) 4.258 * * * [regime-changes]: Trying 5 branch expressions: ((+ (/ x 2.0) (* y x)) (+ (+ (/ x 2.0) (* y x)) z) z y x) 4.258 * * * * [regimes]: Trying to branch on (+ (/ x 2.0) (* y x)) from (# #) 4.270 * * * * [regimes]: Trying to branch on (+ (+ (/ x 2.0) (* y x)) z) from (# #) 4.285 * * * * [regimes]: Trying to branch on z from (# #) 4.297 * * * * [regimes]: Trying to branch on y from (# #) 4.308 * * * * [regimes]: Trying to branch on x from (# #) 4.321 * * * [regime]: Found split indices: #