14.872 * [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 (- 1.0 (* x y))) 0.017 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.018 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.019 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 0.022 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 0.028 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 0.034 * * [simplify]: iteration done : 41 enodes (cost 7 ) 0.034 * [simplify]: Simplified to: (* x (- 1.0 (* x y))) 0.035 * * [progress]: iteration 1 / 4 0.035 * * * [progress]: picking best candidate 0.036 * * * * [pick]: Picked # 0.036 * * * [progress]: localizing error 0.041 * * * [progress]: generating rewritten candidates 0.041 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.049 * * * [progress]: generating series expansions 0.049 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.049 * [approximate]: Taking taylor expansion of (* x (- 1.0 (* x y))) in (x y) around 0 0.049 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* x y))) in y 0.049 * [taylor]: Taking taylor expansion of x in y 0.049 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in y 0.049 * [taylor]: Taking taylor expansion of 1.0 in y 0.049 * [taylor]: Taking taylor expansion of (* x y) in y 0.049 * [taylor]: Taking taylor expansion of x in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* x y))) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.049 * [taylor]: Taking taylor expansion of 1.0 in x 0.049 * [taylor]: Taking taylor expansion of (* x y) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of y in x 0.049 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* x y))) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of (- 1.0 (* x y)) in x 0.049 * [taylor]: Taking taylor expansion of 1.0 in x 0.049 * [taylor]: Taking taylor expansion of (* x y) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of y in x 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 1.0 in y 0.053 * [taylor]: Taking taylor expansion of (- y) in y 0.053 * [taylor]: Taking taylor expansion of y in y 0.055 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in (x y) around 0 0.059 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in y 0.059 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 0.059 * [taylor]: Taking taylor expansion of 1.0 in y 0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.059 * [taylor]: Taking taylor expansion of (* x y) in y 0.059 * [taylor]: Taking taylor expansion of x in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of x in y 0.059 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.059 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.059 * [taylor]: Taking taylor expansion of 1.0 in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.059 * [taylor]: Taking taylor expansion of (* x y) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of y in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.060 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.060 * [taylor]: Taking taylor expansion of 1.0 in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.060 * [taylor]: Taking taylor expansion of (* x y) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of y in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.060 * [taylor]: Taking taylor expansion of -1 in y 0.060 * [taylor]: Taking taylor expansion of y in y 0.062 * [taylor]: Taking taylor expansion of 1.0 in y 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in (x y) around 0 0.078 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in y 0.078 * [taylor]: Taking taylor expansion of -1 in y 0.078 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in y 0.078 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in y 0.078 * [taylor]: Taking taylor expansion of 1.0 in y 0.078 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.078 * [taylor]: Taking taylor expansion of (* x y) in y 0.078 * [taylor]: Taking taylor expansion of x in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of x in y 0.079 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in x 0.079 * [taylor]: Taking taylor expansion of -1 in x 0.079 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.079 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.079 * [taylor]: Taking taylor expansion of 1.0 in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.079 * [taylor]: Taking taylor expansion of (* x y) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of y in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* x y))) x)) in x 0.079 * [taylor]: Taking taylor expansion of -1 in x 0.079 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* x y))) x) in x 0.079 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* x y))) in x 0.079 * [taylor]: Taking taylor expansion of 1.0 in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.079 * [taylor]: Taking taylor expansion of (* x y) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of y in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.080 * [taylor]: Taking taylor expansion of y in y 0.082 * [taylor]: Taking taylor expansion of (- 1.0) in y 0.082 * [taylor]: Taking taylor expansion of 1.0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.096 * * * [progress]: simplifying candidates 0.097 * [simplify]: Simplifying using # : (* x (- 1.0 (* x y))) (+ (log x) (log (- 1.0 (* x y)))) (log (* x (- 1.0 (* x y)))) (exp (* x (- 1.0 (* x y)))) (* (* (* x x) x) (* (* (- 1.0 (* x y)) (- 1.0 (* x y))) (- 1.0 (* x y)))) (* (cbrt (* x (- 1.0 (* x y)))) (cbrt (* x (- 1.0 (* x y))))) (cbrt (* x (- 1.0 (* x y)))) (* (* (* x (- 1.0 (* x y))) (* x (- 1.0 (* x y)))) (* x (- 1.0 (* x y)))) (sqrt (* x (- 1.0 (* x y)))) (sqrt (* x (- 1.0 (* x y)))) (* (sqrt x) (sqrt (- 1.0 (* x y)))) (* (sqrt x) (sqrt (- 1.0 (* x y)))) (* x 1.0) (* x (- (* x y))) (* x 1.0) (* x (- (* x y))) (* 1.0 x) (* (- (* x y)) x) (* 1.0 x) (* (- (* x y)) x) (* x (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (* x (sqrt (- 1.0 (* x y)))) (* x 1) (* (cbrt x) (- 1.0 (* x y))) (* (sqrt x) (- 1.0 (* x y))) (* x (- 1.0 (* x y))) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* x (- (* 1.0 1.0) (* (* x y) (* x y)))) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) 0.098 * * [simplify]: iteration 0 : 51 enodes (cost 273 ) 0.110 * * [simplify]: iteration 1 : 122 enodes (cost 270 ) 0.134 * * [simplify]: iteration 2 : 339 enodes (cost 236 ) 0.266 * * [simplify]: iteration 3 : 1237 enodes (cost 236 ) 1.549 * * [simplify]: iteration done : 5000 enodes (cost 236 ) 1.549 * [simplify]: Simplified to: (* (- 1.0 (* x y)) x) (log (* x (- 1.0 (* x y)))) (log (* x (- 1.0 (* x y)))) (exp (* x (- 1.0 (* x y)))) (pow (* x (- 1.0 (* x y))) 3) (* (cbrt (* x (- 1.0 (* x y)))) (cbrt (* x (- 1.0 (* x y))))) (cbrt (* x (- 1.0 (* x y)))) (pow (* x (- 1.0 (* x y))) 3) (sqrt (* x (- 1.0 (* x y)))) (sqrt (* x (- 1.0 (* x y)))) (* (sqrt x) (sqrt (- 1.0 (* x y)))) (* (sqrt x) (sqrt (- 1.0 (* x y)))) (* 1.0 x) (- (* y (* x x))) (* 1.0 x) (- (* y (* x x))) (* 1.0 x) (- (* y (* x x))) (* 1.0 x) (- (* y (* x x))) (* x (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))) (* x (sqrt (- 1.0 (* x y)))) x (* (cbrt x) (- 1.0 (* x y))) (* (sqrt x) (- 1.0 (* x y))) (* (- 1.0 (* x y)) x) (* x (- (pow 1.0 3) (pow (* x y) 3))) (* x (- (* 1.0 1.0) (* (* x y) (* x y)))) (* (- 1.0 (* x y)) x) (* (- 1.0 (* x y)) x) (* (- 1.0 (* x y)) x) 1.549 * * * [progress]: adding candidates to table 1.590 * * [progress]: iteration 2 / 4 1.590 * * * [progress]: picking best candidate 1.599 * * * * [pick]: Picked # 1.599 * * * [progress]: localizing error 1.607 * * * [progress]: generating rewritten candidates 1.608 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.608 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.609 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.610 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.617 * * * [progress]: generating series expansions 1.617 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.617 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.617 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.617 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.617 * [taylor]: Taking taylor expansion of 1/3 in x 1.617 * [taylor]: Taking taylor expansion of (log x) in x 1.617 * [taylor]: Taking taylor expansion of x in x 1.618 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.618 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.618 * [taylor]: Taking taylor expansion of 1/3 in x 1.618 * [taylor]: Taking taylor expansion of (log x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.673 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.673 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.673 * [taylor]: Taking taylor expansion of 1/3 in x 1.673 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.673 * [taylor]: Taking taylor expansion of x in x 1.674 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.674 * [taylor]: Taking taylor expansion of 1/3 in x 1.674 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.674 * [taylor]: Taking taylor expansion of x in x 1.735 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.735 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.735 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.735 * [taylor]: Taking taylor expansion of -1 in x 1.736 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.736 * [taylor]: Taking taylor expansion of 1/3 in x 1.736 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.737 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.737 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.737 * [taylor]: Taking taylor expansion of -1 in x 1.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.738 * [taylor]: Taking taylor expansion of 1/3 in x 1.738 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.738 * [taylor]: Taking taylor expansion of x in x 1.809 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.809 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.809 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.809 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.809 * [taylor]: Taking taylor expansion of 1/3 in x 1.809 * [taylor]: Taking taylor expansion of (log x) in x 1.809 * [taylor]: Taking taylor expansion of x in x 1.810 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.810 * [taylor]: Taking taylor expansion of 1/3 in x 1.810 * [taylor]: Taking taylor expansion of (log x) in x 1.810 * [taylor]: Taking taylor expansion of x in x 1.860 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.860 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.860 * [taylor]: Taking taylor expansion of 1/3 in x 1.860 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.860 * [taylor]: Taking taylor expansion of x in x 1.861 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.861 * [taylor]: Taking taylor expansion of 1/3 in x 1.861 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.861 * [taylor]: Taking taylor expansion of x in x 1.919 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.919 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.919 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.919 * [taylor]: Taking taylor expansion of -1 in x 1.920 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.920 * [taylor]: Taking taylor expansion of 1/3 in x 1.920 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.920 * [taylor]: Taking taylor expansion of x in x 1.921 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.921 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.921 * [taylor]: Taking taylor expansion of -1 in x 1.922 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.922 * [taylor]: Taking taylor expansion of 1/3 in x 1.922 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.922 * [taylor]: Taking taylor expansion of x in x 1.995 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.995 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.995 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.995 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.995 * [taylor]: Taking taylor expansion of 1/3 in x 1.995 * [taylor]: Taking taylor expansion of (log x) in x 1.995 * [taylor]: Taking taylor expansion of x in x 1.996 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.996 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.996 * [taylor]: Taking taylor expansion of 1/3 in x 1.996 * [taylor]: Taking taylor expansion of (log x) in x 1.996 * [taylor]: Taking taylor expansion of x in x 2.052 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.052 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.052 * [taylor]: Taking taylor expansion of 1/3 in x 2.052 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.052 * [taylor]: Taking taylor expansion of x in x 2.053 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.053 * [taylor]: Taking taylor expansion of 1/3 in x 2.053 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.053 * [taylor]: Taking taylor expansion of x in x 2.108 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.108 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.108 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.108 * [taylor]: Taking taylor expansion of -1 in x 2.109 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.109 * [taylor]: Taking taylor expansion of 1/3 in x 2.109 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.109 * [taylor]: Taking taylor expansion of x in x 2.110 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.110 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.110 * [taylor]: Taking taylor expansion of -1 in x 2.111 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.111 * [taylor]: Taking taylor expansion of 1/3 in x 2.111 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.111 * [taylor]: Taking taylor expansion of x in x 2.183 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.183 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 2.183 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.183 * [taylor]: Taking taylor expansion of 1/3 in x 2.183 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.183 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.183 * [taylor]: Taking taylor expansion of x in x 2.184 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.184 * [taylor]: Taking taylor expansion of 1/3 in x 2.184 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.184 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.244 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 2.244 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.244 * [taylor]: Taking taylor expansion of 1/3 in x 2.244 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.244 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.244 * [taylor]: Taking taylor expansion of x in x 2.245 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.245 * [taylor]: Taking taylor expansion of 1/3 in x 2.245 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.245 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.245 * [taylor]: Taking taylor expansion of x in x 2.496 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 2.496 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 2.496 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.496 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.496 * [taylor]: Taking taylor expansion of -1 in x 2.497 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.497 * [taylor]: Taking taylor expansion of 1/3 in x 2.497 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.497 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.497 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.497 * [taylor]: Taking taylor expansion of x in x 2.498 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 2.498 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.499 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.499 * [taylor]: Taking taylor expansion of -1 in x 2.499 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.499 * [taylor]: Taking taylor expansion of 1/3 in x 2.499 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.499 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.499 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.499 * [taylor]: Taking taylor expansion of x in x 2.580 * * * [progress]: simplifying candidates 2.581 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (+ 1/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) 2.583 * * [simplify]: iteration 0 : 61 enodes (cost 524 ) 2.600 * * [simplify]: iteration 1 : 115 enodes (cost 417 ) 2.626 * * [simplify]: iteration 2 : 327 enodes (cost 397 ) 2.859 * * [simplify]: iteration 3 : 1169 enodes (cost 379 ) 4.131 * * [simplify]: iteration 4 : 3727 enodes (cost 374 ) 5.654 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 5.654 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) 2/3 2 (* x x) (pow x 2/3) 2 (log (pow x 2/3)) (log (pow x 2/3)) (exp (pow x 2/3)) (* x x) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (cbrt (pow x 2/3)) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt (pow x 2/3)) (cbrt x)) (* (cbrt x) (cbrt (sqrt x))) (cbrt x) (pow (cbrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 3) (cbrt x) (pow (cbrt (cbrt x)) 4) (* (cbrt x) (cbrt (sqrt x))) (pow x 2/3) (pow (cbrt (cbrt x)) 4) (pow (sqrt (cbrt x)) 3) (pow x 2/3) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow x 2/3)) 5.655 * * * [progress]: adding candidates to table 5.813 * * [progress]: iteration 3 / 4 5.813 * * * [progress]: picking best candidate 5.825 * * * * [pick]: Picked # 5.826 * * * [progress]: localizing error 5.838 * * * [progress]: generating rewritten candidates 5.838 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 5.841 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 5.842 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 5.842 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 5.844 * * * [progress]: generating series expansions 5.844 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.844 * [approximate]: Taking taylor expansion of (pow (pow x 1/9) 5) in (x) around 0 5.844 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 5) in x 5.844 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.844 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.845 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.845 * [taylor]: Taking taylor expansion of 1/9 in x 5.845 * [taylor]: Taking taylor expansion of (log x) in x 5.845 * [taylor]: Taking taylor expansion of x in x 5.845 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 5) in x 5.845 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.845 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.845 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.845 * [taylor]: Taking taylor expansion of 1/9 in x 5.845 * [taylor]: Taking taylor expansion of (log x) in x 5.845 * [taylor]: Taking taylor expansion of x in x 5.917 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 5) in (x) around 0 5.918 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 5) in x 5.918 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.918 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.918 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.918 * [taylor]: Taking taylor expansion of 1/9 in x 5.918 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.918 * [taylor]: Taking taylor expansion of x in x 5.919 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 5) in x 5.919 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.919 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.919 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.919 * [taylor]: Taking taylor expansion of 1/9 in x 5.919 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.919 * [taylor]: Taking taylor expansion of x in x 5.996 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 5) in (x) around 0 5.996 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 5) in x 5.996 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.996 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.996 * [taylor]: Taking taylor expansion of 1/3 in x 5.996 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.996 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.996 * [taylor]: Taking taylor expansion of -1 in x 6.000 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.000 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.000 * [taylor]: Taking taylor expansion of 1/9 in x 6.000 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.000 * [taylor]: Taking taylor expansion of x in x 6.002 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 5) in x 6.002 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.002 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.002 * [taylor]: Taking taylor expansion of 1/3 in x 6.002 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.002 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.002 * [taylor]: Taking taylor expansion of -1 in x 6.006 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.006 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.006 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.006 * [taylor]: Taking taylor expansion of 1/9 in x 6.006 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.006 * [taylor]: Taking taylor expansion of x in x 6.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 6.199 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.199 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.199 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.199 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.199 * [taylor]: Taking taylor expansion of 1/9 in x 6.199 * [taylor]: Taking taylor expansion of (log x) in x 6.199 * [taylor]: Taking taylor expansion of x in x 6.200 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.200 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.200 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.200 * [taylor]: Taking taylor expansion of 1/9 in x 6.200 * [taylor]: Taking taylor expansion of (log x) in x 6.200 * [taylor]: Taking taylor expansion of x in x 6.256 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.257 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.257 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.257 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.257 * [taylor]: Taking taylor expansion of 1/9 in x 6.257 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.257 * [taylor]: Taking taylor expansion of x in x 6.258 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.258 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.258 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.258 * [taylor]: Taking taylor expansion of 1/9 in x 6.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.258 * [taylor]: Taking taylor expansion of x in x 6.311 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.311 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.311 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.311 * [taylor]: Taking taylor expansion of 1/3 in x 6.311 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.311 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.311 * [taylor]: Taking taylor expansion of -1 in x 6.321 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.322 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.322 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.322 * [taylor]: Taking taylor expansion of 1/9 in x 6.322 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.322 * [taylor]: Taking taylor expansion of x in x 6.323 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.323 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.323 * [taylor]: Taking taylor expansion of 1/3 in x 6.323 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.323 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.323 * [taylor]: Taking taylor expansion of -1 in x 6.326 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.326 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.326 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.326 * [taylor]: Taking taylor expansion of 1/9 in x 6.326 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.327 * [taylor]: Taking taylor expansion of x in x 6.452 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 6.452 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.452 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.452 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.452 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.452 * [taylor]: Taking taylor expansion of 1/9 in x 6.452 * [taylor]: Taking taylor expansion of (log x) in x 6.452 * [taylor]: Taking taylor expansion of x in x 6.452 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.452 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.452 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.452 * [taylor]: Taking taylor expansion of 1/9 in x 6.452 * [taylor]: Taking taylor expansion of (log x) in x 6.453 * [taylor]: Taking taylor expansion of x in x 6.510 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.510 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.510 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.510 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.510 * [taylor]: Taking taylor expansion of 1/9 in x 6.510 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.510 * [taylor]: Taking taylor expansion of x in x 6.511 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.511 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.511 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.511 * [taylor]: Taking taylor expansion of 1/9 in x 6.511 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.511 * [taylor]: Taking taylor expansion of x in x 6.572 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.572 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.572 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.572 * [taylor]: Taking taylor expansion of 1/3 in x 6.572 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.572 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.572 * [taylor]: Taking taylor expansion of -1 in x 6.576 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.576 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.576 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.576 * [taylor]: Taking taylor expansion of 1/9 in x 6.576 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.576 * [taylor]: Taking taylor expansion of x in x 6.577 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.577 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.577 * [taylor]: Taking taylor expansion of 1/3 in x 6.577 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.577 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.577 * [taylor]: Taking taylor expansion of -1 in x 6.581 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.581 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.581 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.581 * [taylor]: Taking taylor expansion of 1/9 in x 6.581 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.581 * [taylor]: Taking taylor expansion of x in x 6.708 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 6.708 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.708 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.708 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.708 * [taylor]: Taking taylor expansion of 1/3 in x 6.708 * [taylor]: Taking taylor expansion of (log x) in x 6.708 * [taylor]: Taking taylor expansion of x in x 6.708 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.709 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.709 * [taylor]: Taking taylor expansion of 1/3 in x 6.709 * [taylor]: Taking taylor expansion of (log x) in x 6.709 * [taylor]: Taking taylor expansion of x in x 6.765 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.765 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.765 * [taylor]: Taking taylor expansion of 1/3 in x 6.765 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.765 * [taylor]: Taking taylor expansion of x in x 6.766 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.767 * [taylor]: Taking taylor expansion of 1/3 in x 6.767 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.767 * [taylor]: Taking taylor expansion of x in x 6.827 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.827 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.827 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.827 * [taylor]: Taking taylor expansion of -1 in x 6.828 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.828 * [taylor]: Taking taylor expansion of 1/3 in x 6.828 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.828 * [taylor]: Taking taylor expansion of x in x 6.829 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.829 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.829 * [taylor]: Taking taylor expansion of -1 in x 6.830 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.830 * [taylor]: Taking taylor expansion of 1/3 in x 6.830 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.830 * [taylor]: Taking taylor expansion of x in x 6.903 * * * [progress]: simplifying candidates 6.905 * [simplify]: Simplifying using # : (* (log (cbrt (cbrt x))) 5) (* (log (cbrt (cbrt x))) 5) (* 1/3 5) (* 1 5) (pow (cbrt (cbrt x)) (* (cbrt 5) (cbrt 5))) (pow (cbrt (cbrt x)) (sqrt 5)) (pow (cbrt (cbrt x)) 1) (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 5) (pow (cbrt (cbrt (cbrt x))) 5) (pow (cbrt (cbrt (sqrt x))) 5) (pow (cbrt (cbrt (sqrt x))) 5) (pow (cbrt (cbrt 1)) 5) (pow (cbrt (cbrt x)) 5) (pow (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 5) (pow (cbrt (cbrt (cbrt x))) 5) (pow (cbrt (sqrt (cbrt x))) 5) (pow (cbrt (sqrt (cbrt x))) 5) (pow (cbrt 1) 5) (pow (cbrt (cbrt x)) 5) (pow (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) 5) (pow (cbrt (cbrt (cbrt x))) 5) (pow (sqrt (cbrt (cbrt x))) 5) (pow (sqrt (cbrt (cbrt x))) 5) (pow 1 5) (pow (cbrt (cbrt x)) 5) (log (pow (cbrt (cbrt x)) 5)) (exp (pow (cbrt (cbrt x)) 5)) (* (cbrt (pow (cbrt (cbrt x)) 5)) (cbrt (pow (cbrt (cbrt x)) 5))) (cbrt (pow (cbrt (cbrt x)) 5)) (* (* (pow (cbrt (cbrt x)) 5) (pow (cbrt (cbrt x)) 5)) (pow (cbrt (cbrt x)) 5)) (sqrt (pow (cbrt (cbrt x)) 5)) (sqrt (pow (cbrt (cbrt x)) 5)) (pow (cbrt (cbrt x)) (/ 5 2)) (pow (cbrt (cbrt x)) (/ 5 2)) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow (pow x 5) 1/9) (pow (pow x 5) 1/9) (* (pow (* -1 (pow x 5)) 1/9) (pow (pow (cbrt -1) 5) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 6.907 * * [simplify]: iteration 0 : 80 enodes (cost 528 ) 6.926 * * [simplify]: iteration 1 : 169 enodes (cost 487 ) 6.963 * * [simplify]: iteration 2 : 366 enodes (cost 451 ) 7.037 * * [simplify]: iteration 3 : 847 enodes (cost 442 ) 7.360 * * [simplify]: iteration 4 : 2573 enodes (cost 442 ) 8.142 * * [simplify]: iteration done : 5000 enodes (cost 442 ) 8.142 * [simplify]: Simplified to: (log (pow (cbrt (cbrt x)) 5)) (log (pow (cbrt (cbrt x)) 5)) 5/3 5 (pow (cbrt (cbrt x)) (* (cbrt 5) (cbrt 5))) (pow (cbrt (cbrt x)) (sqrt 5)) (cbrt (cbrt x)) (pow (cbrt (cbrt (pow x 2/3))) 5) (pow (cbrt (cbrt (cbrt x))) 5) (pow (cbrt (cbrt (sqrt x))) 5) (pow (cbrt (cbrt (sqrt x))) 5) 1 (pow (cbrt (cbrt x)) 5) (pow (cbrt (pow (cbrt (cbrt x)) 2)) 5) (pow (cbrt (cbrt (cbrt x))) 5) (pow (cbrt (sqrt (cbrt x))) 5) (pow (cbrt (sqrt (cbrt x))) 5) 1 (pow (cbrt (cbrt x)) 5) (pow (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) 5) (pow (cbrt (cbrt (cbrt x))) 5) (pow (sqrt (cbrt (cbrt x))) 5) (pow (sqrt (cbrt (cbrt x))) 5) 1 (pow (cbrt (cbrt x)) 5) (log (pow (cbrt (cbrt x)) 5)) (exp (pow (cbrt (cbrt x)) 5)) (* (cbrt (pow (cbrt (cbrt x)) 5)) (cbrt (pow (cbrt (cbrt x)) 5))) (cbrt (pow (cbrt (cbrt x)) 5)) (pow (pow (cbrt (cbrt x)) 5) 3) (sqrt (pow (cbrt (cbrt x)) 5)) (sqrt (pow (cbrt (cbrt x)) 5)) (pow (cbrt (cbrt x)) 5/2) (pow (cbrt (cbrt x)) 5/2) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (pow (cbrt (cbrt x)) 2)) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (pow (cbrt (cbrt x)) 2)) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (pow (cbrt (cbrt x)) 2) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow (pow x 5) 1/9) (pow (pow x 5) 1/9) (* (pow (- (pow x 5)) 1/9) (cbrt (pow (cbrt -1) 5))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 8.143 * * * [progress]: adding candidates to table 8.340 * * [progress]: iteration 4 / 4 8.340 * * * [progress]: picking best candidate 8.347 * * * * [pick]: Picked # 8.347 * * * [progress]: localizing error 8.354 * * * [progress]: generating rewritten candidates 8.354 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 8.361 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.365 * * * [progress]: generating series expansions 8.365 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 8.365 * [approximate]: Taking taylor expansion of (* (pow x 2) y) in (y x) around 0 8.365 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.365 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.365 * [taylor]: Taking taylor expansion of x in x 8.365 * [taylor]: Taking taylor expansion of y in x 8.365 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.365 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.365 * [taylor]: Taking taylor expansion of x in y 8.365 * [taylor]: Taking taylor expansion of y in y 8.365 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.365 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.365 * [taylor]: Taking taylor expansion of x in y 8.365 * [taylor]: Taking taylor expansion of y in y 8.365 * [taylor]: Taking taylor expansion of 0 in x 8.366 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.366 * [taylor]: Taking taylor expansion of x in x 8.367 * [taylor]: Taking taylor expansion of 0 in x 8.369 * [taylor]: Taking taylor expansion of 0 in x 8.369 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in (y x) around 0 8.369 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 8.369 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.369 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.369 * [taylor]: Taking taylor expansion of x in x 8.369 * [taylor]: Taking taylor expansion of y in x 8.369 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y 8.369 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.369 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.369 * [taylor]: Taking taylor expansion of x in y 8.369 * [taylor]: Taking taylor expansion of y in y 8.370 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y 8.370 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.370 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.370 * [taylor]: Taking taylor expansion of x in y 8.370 * [taylor]: Taking taylor expansion of y in y 8.371 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.371 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.371 * [taylor]: Taking taylor expansion of x in x 8.372 * [taylor]: Taking taylor expansion of 0 in x 8.374 * [taylor]: Taking taylor expansion of 0 in x 8.377 * [taylor]: Taking taylor expansion of 0 in x 8.380 * [taylor]: Taking taylor expansion of 0 in x 8.380 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in (y x) around 0 8.380 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x 8.380 * [taylor]: Taking taylor expansion of -1 in x 8.380 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.380 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.380 * [taylor]: Taking taylor expansion of x in x 8.380 * [taylor]: Taking taylor expansion of y in x 8.381 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y 8.381 * [taylor]: Taking taylor expansion of -1 in y 8.381 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.381 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.381 * [taylor]: Taking taylor expansion of x in y 8.381 * [taylor]: Taking taylor expansion of y in y 8.381 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y 8.381 * [taylor]: Taking taylor expansion of -1 in y 8.381 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.381 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.381 * [taylor]: Taking taylor expansion of x in y 8.381 * [taylor]: Taking taylor expansion of y in y 8.382 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x 8.382 * [taylor]: Taking taylor expansion of -1 in x 8.382 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.382 * [taylor]: Taking taylor expansion of x in x 8.383 * [taylor]: Taking taylor expansion of 0 in x 8.386 * [taylor]: Taking taylor expansion of 0 in x 8.388 * [taylor]: Taking taylor expansion of 0 in x 8.392 * [taylor]: Taking taylor expansion of 0 in x 8.392 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.392 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* (pow x 2) y)) in (x y) around 0 8.392 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* (pow x 2) y)) in y 8.392 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 8.392 * [taylor]: Taking taylor expansion of 1.0 in y 8.392 * [taylor]: Taking taylor expansion of x in y 8.392 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.392 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.392 * [taylor]: Taking taylor expansion of x in y 8.392 * [taylor]: Taking taylor expansion of y in y 8.392 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* (pow x 2) y)) in x 8.392 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 8.392 * [taylor]: Taking taylor expansion of 1.0 in x 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.392 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [taylor]: Taking taylor expansion of y in x 8.392 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* (pow x 2) y)) in x 8.392 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 8.392 * [taylor]: Taking taylor expansion of 1.0 in x 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.392 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [taylor]: Taking taylor expansion of y in x 8.393 * [taylor]: Taking taylor expansion of 0 in y 8.394 * [taylor]: Taking taylor expansion of 1.0 in y 8.395 * [taylor]: Taking taylor expansion of (- y) in y 8.395 * [taylor]: Taking taylor expansion of y in y 8.397 * [taylor]: Taking taylor expansion of 0 in y 8.399 * [taylor]: Taking taylor expansion of 0 in y 8.400 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* (pow x 2) y))) in (x y) around 0 8.400 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* (pow x 2) y))) in y 8.400 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 8.400 * [taylor]: Taking taylor expansion of 1.0 in y 8.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.400 * [taylor]: Taking taylor expansion of x in y 8.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y 8.400 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.400 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.400 * [taylor]: Taking taylor expansion of x in y 8.400 * [taylor]: Taking taylor expansion of y in y 8.401 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* (pow x 2) y))) in x 8.401 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.401 * [taylor]: Taking taylor expansion of 1.0 in x 8.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.401 * [taylor]: Taking taylor expansion of x in x 8.401 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 8.401 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.401 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.401 * [taylor]: Taking taylor expansion of x in x 8.401 * [taylor]: Taking taylor expansion of y in x 8.402 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* (pow x 2) y))) in x 8.402 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.402 * [taylor]: Taking taylor expansion of 1.0 in x 8.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.402 * [taylor]: Taking taylor expansion of x in x 8.402 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 8.402 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.402 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.402 * [taylor]: Taking taylor expansion of x in x 8.402 * [taylor]: Taking taylor expansion of y in x 8.402 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.402 * [taylor]: Taking taylor expansion of y in y 8.409 * [taylor]: Taking taylor expansion of 1.0 in y 8.412 * [taylor]: Taking taylor expansion of 0 in y 8.416 * [taylor]: Taking taylor expansion of 0 in y 8.420 * [taylor]: Taking taylor expansion of 0 in y 8.420 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (* 1.0 (/ 1 x))) in (x y) around 0 8.420 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (* 1.0 (/ 1 x))) in y 8.420 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y 8.420 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y 8.420 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.420 * [taylor]: Taking taylor expansion of x in y 8.420 * [taylor]: Taking taylor expansion of y in y 8.421 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 8.421 * [taylor]: Taking taylor expansion of 1.0 in y 8.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.421 * [taylor]: Taking taylor expansion of x in y 8.421 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (* 1.0 (/ 1 x))) in x 8.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 8.421 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.421 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.421 * [taylor]: Taking taylor expansion of x in x 8.421 * [taylor]: Taking taylor expansion of y in x 8.422 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.422 * [taylor]: Taking taylor expansion of 1.0 in x 8.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.422 * [taylor]: Taking taylor expansion of x in x 8.422 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (* 1.0 (/ 1 x))) in x 8.422 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x 8.422 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x 8.422 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.422 * [taylor]: Taking taylor expansion of x in x 8.422 * [taylor]: Taking taylor expansion of y in x 8.422 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.422 * [taylor]: Taking taylor expansion of 1.0 in x 8.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.422 * [taylor]: Taking taylor expansion of x in x 8.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.423 * [taylor]: Taking taylor expansion of y in y 8.425 * [taylor]: Taking taylor expansion of (- 1.0) in y 8.425 * [taylor]: Taking taylor expansion of 1.0 in y 8.428 * [taylor]: Taking taylor expansion of 0 in y 8.432 * [taylor]: Taking taylor expansion of 0 in y 8.436 * [taylor]: Taking taylor expansion of 0 in y 8.436 * * * [progress]: simplifying candidates 8.437 * [simplify]: Simplifying using # : (* y (* x x)) (* y (* x x)) (+ (log y) (+ (log x) (log x))) (+ (log y) (log (* x x))) (log (* y (* x x))) (exp (* y (* x x))) (* (* (* y y) y) (* (* (* x x) x) (* (* x x) x))) (* (* (* y y) y) (* (* (* x x) (* x x)) (* x x))) (* (cbrt (* y (* x x))) (cbrt (* y (* x x)))) (cbrt (* y (* x x))) (* (* (* y (* x x)) (* y (* x x))) (* y (* x x))) (sqrt (* y (* x x))) (sqrt (* y (* x x))) (* (sqrt y) x) (* (sqrt y) x) (* y x) (* (cbrt y) (* x x)) (* (sqrt y) (* x x)) (* y (* x x)) (* (exp (* 1.0 x)) (/ 1 (exp (* y (* x x))))) (* (exp (* 1.0 x)) (exp (- (* y (* x x))))) (log (+ (* 1.0 x) (- (* y (* x x))))) (exp (+ (* 1.0 x) (- (* y (* x x))))) (* (cbrt (+ (* 1.0 x) (- (* y (* x x))))) (cbrt (+ (* 1.0 x) (- (* y (* x x)))))) (cbrt (+ (* 1.0 x) (- (* y (* x x))))) (* (* (+ (* 1.0 x) (- (* y (* x x)))) (+ (* 1.0 x) (- (* y (* x x))))) (+ (* 1.0 x) (- (* y (* x x))))) (sqrt (+ (* 1.0 x) (- (* y (* x x))))) (sqrt (+ (* 1.0 x) (- (* y (* x x))))) (+ (pow (* 1.0 x) 3) (pow (- (* y (* x x))) 3)) (+ (* (* 1.0 x) (* 1.0 x)) (- (* (- (* y (* x x))) (- (* y (* x x)))) (* (* 1.0 x) (- (* y (* x x)))))) (- (* (* 1.0 x) (* 1.0 x)) (* (- (* y (* x x))) (- (* y (* x x))))) (- (* 1.0 x) (- (* y (* x x)))) (+ (* 1.0 x) 0) (* (pow x 2) y) (* (pow x 2) y) (* (pow x 2) y) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) (- (* 1.0 x) (* (pow x 2) y)) 8.439 * * [simplify]: iteration 0 : 65 enodes (cost 406 ) 8.452 * * [simplify]: iteration 1 : 183 enodes (cost 377 ) 8.506 * * [simplify]: iteration 2 : 680 enodes (cost 297 ) 9.442 * * [simplify]: iteration 3 : 3574 enodes (cost 289 ) 10.786 * * [simplify]: iteration done : 5000 enodes (cost 289 ) 10.786 * [simplify]: Simplified to: (* x (* y x)) (* x (* y x)) (log (* y (* x x))) (log (* y (* x x))) (log (* y (* x x))) (exp (* y (* x x))) (pow (* x (* y x)) 3) (pow (* x (* y x)) 3) (* (cbrt (* y (* x x))) (cbrt (* y (* x x)))) (cbrt (* y (* x x))) (pow (* x (* y x)) 3) (sqrt (* y (* x x))) (sqrt (* y (* x x))) (* (sqrt y) x) (* (sqrt y) x) (* y x) (* (cbrt y) (* x x)) (* (sqrt y) (* x x)) (* x (* y x)) (exp (* x (- 1.0 (* y x)))) (exp (* x (- 1.0 (* y x)))) (log (* x (- 1.0 (* y x)))) (exp (* x (- 1.0 (* y x)))) (* (cbrt (* x (- 1.0 (* y x)))) (cbrt (* x (- 1.0 (* y x))))) (cbrt (* x (- 1.0 (* y x)))) (pow (* x (- 1.0 (* y x))) 3) (sqrt (* x (- 1.0 (* y x)))) (sqrt (* x (- 1.0 (* y x)))) (- (pow (* 1.0 x) 3) (pow (* x (* y x)) 3)) (+ (* (* y y) (pow x 4)) (* (* 1.0 x) (* x (+ (* y x) 1.0)))) (* (* x x) (- (* 1.0 1.0) (* (* y (* x x)) y))) (* x (+ (* y x) 1.0)) (* 1.0 x) (* x (* y x)) (* x (* y x)) (* x (* y x)) (* x (- 1.0 (* y x))) (* x (- 1.0 (* y x))) (* x (- 1.0 (* y x))) 10.786 * * * [progress]: adding candidates to table 10.856 * [progress]: [Phase 3 of 3] Extracting. 10.856 * * [regime]: Finding splitpoints for: (# # # # # # # #) 10.857 * * * [regime-changes]: Trying 3 branch expressions: ((* x (- 1.0 (* x y))) y x) 10.857 * * * * [regimes]: Trying to branch on (* x (- 1.0 (* x y))) from (# # # # # # # #) 10.886 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 10.913 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 10.937 * * * [regime]: Found split indices: #