10.287 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying using # : (* x (exp (* y y))) 0.039 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.041 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.042 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.045 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.051 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 0.059 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 0.096 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 0.299 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 2.149 * * [simplify]: iteration 8 : 3759 enodes (cost 6 ) 4.007 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.008 * [simplify]: Simplified to: (* x (exp (* y y))) 4.008 * * [progress]: iteration 1 / 4 4.008 * * * [progress]: picking best candidate 4.009 * * * * [pick]: Picked # 4.009 * * * [progress]: localizing error 4.014 * * * [progress]: generating rewritten candidates 4.014 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.019 * * * [progress]: generating series expansions 4.019 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.019 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 4.019 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 4.019 * [taylor]: Taking taylor expansion of x in y 4.019 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.019 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.019 * [taylor]: Taking taylor expansion of y in y 4.020 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.020 * [taylor]: Taking taylor expansion of x in x 4.020 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.020 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.020 * [taylor]: Taking taylor expansion of y in x 4.020 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.020 * [taylor]: Taking taylor expansion of x in x 4.020 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.020 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.020 * [taylor]: Taking taylor expansion of y in x 4.020 * [taylor]: Taking taylor expansion of 0 in y 4.021 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.021 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.021 * [taylor]: Taking taylor expansion of y in y 4.023 * [taylor]: Taking taylor expansion of 0 in y 4.026 * [taylor]: Taking taylor expansion of 0 in y 4.026 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 4.026 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 4.026 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.026 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.026 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.026 * [taylor]: Taking taylor expansion of y in y 4.027 * [taylor]: Taking taylor expansion of x in y 4.027 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.027 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.027 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.027 * [taylor]: Taking taylor expansion of y in x 4.027 * [taylor]: Taking taylor expansion of x in x 4.027 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.027 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.027 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.028 * [taylor]: Taking taylor expansion of y in x 4.028 * [taylor]: Taking taylor expansion of x in x 4.028 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.028 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.028 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.028 * [taylor]: Taking taylor expansion of y in y 4.030 * [taylor]: Taking taylor expansion of 0 in y 4.033 * [taylor]: Taking taylor expansion of 0 in y 4.036 * [taylor]: Taking taylor expansion of 0 in y 4.036 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 4.036 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 4.036 * [taylor]: Taking taylor expansion of -1 in y 4.036 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 4.036 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.036 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.036 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.036 * [taylor]: Taking taylor expansion of y in y 4.037 * [taylor]: Taking taylor expansion of x in y 4.037 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 4.037 * [taylor]: Taking taylor expansion of -1 in x 4.037 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.037 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.037 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.037 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.037 * [taylor]: Taking taylor expansion of y in x 4.037 * [taylor]: Taking taylor expansion of x in x 4.037 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 4.037 * [taylor]: Taking taylor expansion of -1 in x 4.037 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.037 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.037 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.037 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.037 * [taylor]: Taking taylor expansion of y in x 4.038 * [taylor]: Taking taylor expansion of x in x 4.038 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 4.038 * [taylor]: Taking taylor expansion of -1 in y 4.038 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.038 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.038 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.038 * [taylor]: Taking taylor expansion of y in y 4.040 * [taylor]: Taking taylor expansion of 0 in y 4.044 * [taylor]: Taking taylor expansion of 0 in y 4.048 * [taylor]: Taking taylor expansion of 0 in y 4.048 * * * [progress]: simplifying candidates 4.049 * [simplify]: Simplifying using # : (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 4.050 * * [simplify]: iteration 0 : 35 enodes (cost 174 ) 4.056 * * [simplify]: iteration 1 : 74 enodes (cost 170 ) 4.068 * * [simplify]: iteration 2 : 155 enodes (cost 147 ) 4.107 * * [simplify]: iteration 3 : 313 enodes (cost 147 ) 4.252 * * [simplify]: iteration 4 : 948 enodes (cost 147 ) 5.292 * * [simplify]: iteration 5 : 3281 enodes (cost 147 ) 6.636 * * [simplify]: iteration done : 5001 enodes (cost 147 ) 6.636 * [simplify]: Simplified to: (* x (exp (pow y 2))) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* x (exp (* y y)))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (pow y 2))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 6.636 * * * [progress]: adding candidates to table 6.681 * * [progress]: iteration 2 / 4 6.682 * * * [progress]: picking best candidate 6.683 * * * * [pick]: Picked # 6.683 * * * [progress]: localizing error 6.692 * * * [progress]: generating rewritten candidates 6.692 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.694 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 6.696 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.699 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.707 * * * [progress]: generating series expansions 6.708 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.708 * [approximate]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in (x y) around 0 6.708 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in y 6.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in y 6.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in y 6.708 * [taylor]: Taking taylor expansion of 1/3 in y 6.708 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in y 6.708 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 6.708 * [taylor]: Taking taylor expansion of x in y 6.708 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.708 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.708 * [taylor]: Taking taylor expansion of y in y 6.708 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 6.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 6.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 6.709 * [taylor]: Taking taylor expansion of 1/3 in x 6.709 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 6.709 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 6.709 * [taylor]: Taking taylor expansion of x in x 6.709 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.709 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.709 * [taylor]: Taking taylor expansion of y in x 6.711 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 6.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 6.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 6.711 * [taylor]: Taking taylor expansion of 1/3 in x 6.711 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 6.711 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 6.711 * [taylor]: Taking taylor expansion of x in x 6.711 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.711 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.711 * [taylor]: Taking taylor expansion of y in x 6.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (pow y 2)))) in y 6.713 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (pow y 2))) in y 6.713 * [taylor]: Taking taylor expansion of 1/3 in y 6.713 * [taylor]: Taking taylor expansion of (+ (log x) (pow y 2)) in y 6.713 * [taylor]: Taking taylor expansion of (log x) in y 6.713 * [taylor]: Taking taylor expansion of x in y 6.713 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.713 * [taylor]: Taking taylor expansion of y in y 6.716 * [taylor]: Taking taylor expansion of 0 in y 6.726 * [taylor]: Taking taylor expansion of 0 in y 6.736 * [taylor]: Taking taylor expansion of 0 in y 6.751 * [taylor]: Taking taylor expansion of 0 in y 6.751 * [approximate]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in (x y) around 0 6.751 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 6.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 6.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 6.751 * [taylor]: Taking taylor expansion of 1/3 in y 6.751 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 6.751 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 6.751 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.751 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.751 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.751 * [taylor]: Taking taylor expansion of y in y 6.752 * [taylor]: Taking taylor expansion of x in y 6.752 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.752 * [taylor]: Taking taylor expansion of 1/3 in x 6.752 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.752 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.752 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.752 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.752 * [taylor]: Taking taylor expansion of y in x 6.753 * [taylor]: Taking taylor expansion of x in x 6.753 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.753 * [taylor]: Taking taylor expansion of 1/3 in x 6.753 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.753 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.754 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.754 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.754 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.754 * [taylor]: Taking taylor expansion of y in x 6.754 * [taylor]: Taking taylor expansion of x in x 6.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 6.755 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 6.755 * [taylor]: Taking taylor expansion of 1/3 in y 6.755 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 6.755 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.755 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.755 * [taylor]: Taking taylor expansion of y in y 6.755 * [taylor]: Taking taylor expansion of (log x) in y 6.755 * [taylor]: Taking taylor expansion of x in y 6.759 * [taylor]: Taking taylor expansion of 0 in y 6.765 * [taylor]: Taking taylor expansion of 0 in y 6.772 * [taylor]: Taking taylor expansion of 0 in y 6.772 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in (x y) around 0 6.773 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in y 6.773 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.773 * [taylor]: Taking taylor expansion of -1 in y 6.773 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 6.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 6.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 6.773 * [taylor]: Taking taylor expansion of 1/3 in y 6.773 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 6.773 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 6.773 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.773 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.774 * [taylor]: Taking taylor expansion of y in y 6.774 * [taylor]: Taking taylor expansion of x in y 6.775 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 6.775 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.775 * [taylor]: Taking taylor expansion of -1 in x 6.775 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.775 * [taylor]: Taking taylor expansion of 1/3 in x 6.775 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.775 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.775 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.775 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.775 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.775 * [taylor]: Taking taylor expansion of y in x 6.776 * [taylor]: Taking taylor expansion of x in x 6.776 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 6.777 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.777 * [taylor]: Taking taylor expansion of -1 in x 6.777 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.777 * [taylor]: Taking taylor expansion of 1/3 in x 6.777 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.777 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.777 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.777 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.777 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.777 * [taylor]: Taking taylor expansion of y in x 6.778 * [taylor]: Taking taylor expansion of x in x 6.779 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (/ 1 (pow y 2)) (log x))))) in y 6.779 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.779 * [taylor]: Taking taylor expansion of -1 in y 6.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 6.780 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 6.780 * [taylor]: Taking taylor expansion of 1/3 in y 6.780 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 6.780 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.780 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.780 * [taylor]: Taking taylor expansion of y in y 6.780 * [taylor]: Taking taylor expansion of (log x) in y 6.780 * [taylor]: Taking taylor expansion of x in y 6.786 * [taylor]: Taking taylor expansion of 0 in y 6.793 * [taylor]: Taking taylor expansion of 0 in y 6.803 * [taylor]: Taking taylor expansion of 0 in y 6.804 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 6.804 * [approximate]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in (x y) around 0 6.804 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in y 6.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in y 6.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in y 6.804 * [taylor]: Taking taylor expansion of 1/3 in y 6.804 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in y 6.804 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 6.804 * [taylor]: Taking taylor expansion of x in y 6.804 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.804 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.804 * [taylor]: Taking taylor expansion of y in y 6.805 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 6.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 6.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 6.805 * [taylor]: Taking taylor expansion of 1/3 in x 6.805 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 6.805 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 6.805 * [taylor]: Taking taylor expansion of x in x 6.805 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.805 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.805 * [taylor]: Taking taylor expansion of y in x 6.806 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 6.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 6.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 6.807 * [taylor]: Taking taylor expansion of 1/3 in x 6.807 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 6.807 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 6.807 * [taylor]: Taking taylor expansion of x in x 6.807 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.807 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.807 * [taylor]: Taking taylor expansion of y in x 6.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (pow y 2)))) in y 6.808 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (pow y 2))) in y 6.808 * [taylor]: Taking taylor expansion of 1/3 in y 6.808 * [taylor]: Taking taylor expansion of (+ (log x) (pow y 2)) in y 6.808 * [taylor]: Taking taylor expansion of (log x) in y 6.808 * [taylor]: Taking taylor expansion of x in y 6.808 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.808 * [taylor]: Taking taylor expansion of y in y 6.815 * [taylor]: Taking taylor expansion of 0 in y 6.822 * [taylor]: Taking taylor expansion of 0 in y 6.832 * [taylor]: Taking taylor expansion of 0 in y 6.846 * [taylor]: Taking taylor expansion of 0 in y 6.847 * [approximate]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in (x y) around 0 6.847 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 6.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 6.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 6.847 * [taylor]: Taking taylor expansion of 1/3 in y 6.847 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 6.847 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 6.847 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.847 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.847 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.847 * [taylor]: Taking taylor expansion of y in y 6.848 * [taylor]: Taking taylor expansion of x in y 6.848 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.848 * [taylor]: Taking taylor expansion of 1/3 in x 6.848 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.848 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.848 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.848 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.848 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.848 * [taylor]: Taking taylor expansion of y in x 6.848 * [taylor]: Taking taylor expansion of x in x 6.849 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.849 * [taylor]: Taking taylor expansion of 1/3 in x 6.849 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.849 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.849 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.849 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.849 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.849 * [taylor]: Taking taylor expansion of y in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 6.850 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 6.850 * [taylor]: Taking taylor expansion of 1/3 in y 6.850 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 6.850 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.850 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.850 * [taylor]: Taking taylor expansion of y in y 6.851 * [taylor]: Taking taylor expansion of (log x) in y 6.851 * [taylor]: Taking taylor expansion of x in y 6.855 * [taylor]: Taking taylor expansion of 0 in y 6.860 * [taylor]: Taking taylor expansion of 0 in y 6.867 * [taylor]: Taking taylor expansion of 0 in y 6.868 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in (x y) around 0 6.868 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in y 6.868 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.868 * [taylor]: Taking taylor expansion of -1 in y 6.869 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 6.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 6.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 6.869 * [taylor]: Taking taylor expansion of 1/3 in y 6.869 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 6.869 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 6.869 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.869 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.869 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.869 * [taylor]: Taking taylor expansion of y in y 6.869 * [taylor]: Taking taylor expansion of x in y 6.870 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 6.870 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.870 * [taylor]: Taking taylor expansion of -1 in x 6.871 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.871 * [taylor]: Taking taylor expansion of 1/3 in x 6.871 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.871 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.871 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.871 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.871 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.871 * [taylor]: Taking taylor expansion of y in x 6.871 * [taylor]: Taking taylor expansion of x in x 6.872 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 6.872 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.872 * [taylor]: Taking taylor expansion of -1 in x 6.873 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.873 * [taylor]: Taking taylor expansion of 1/3 in x 6.873 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.873 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.873 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.873 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.873 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.873 * [taylor]: Taking taylor expansion of y in x 6.874 * [taylor]: Taking taylor expansion of x in x 6.875 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (/ 1 (pow y 2)) (log x))))) in y 6.875 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.875 * [taylor]: Taking taylor expansion of -1 in y 6.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 6.876 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 6.876 * [taylor]: Taking taylor expansion of 1/3 in y 6.876 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 6.876 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.876 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.876 * [taylor]: Taking taylor expansion of y in y 6.876 * [taylor]: Taking taylor expansion of (log x) in y 6.876 * [taylor]: Taking taylor expansion of x in y 6.882 * [taylor]: Taking taylor expansion of 0 in y 6.889 * [taylor]: Taking taylor expansion of 0 in y 6.899 * [taylor]: Taking taylor expansion of 0 in y 6.902 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 6.902 * [approximate]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in (x y) around 0 6.903 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in y 6.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in y 6.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in y 6.903 * [taylor]: Taking taylor expansion of 1/3 in y 6.903 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in y 6.903 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 6.903 * [taylor]: Taking taylor expansion of x in y 6.903 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.903 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.903 * [taylor]: Taking taylor expansion of y in y 6.903 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 6.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 6.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 6.903 * [taylor]: Taking taylor expansion of 1/3 in x 6.903 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 6.903 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 6.903 * [taylor]: Taking taylor expansion of x in x 6.903 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.903 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.903 * [taylor]: Taking taylor expansion of y in x 6.905 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 6.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 6.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 6.905 * [taylor]: Taking taylor expansion of 1/3 in x 6.905 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 6.905 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 6.905 * [taylor]: Taking taylor expansion of x in x 6.905 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.905 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.905 * [taylor]: Taking taylor expansion of y in x 6.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (pow y 2)))) in y 6.907 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (pow y 2))) in y 6.907 * [taylor]: Taking taylor expansion of 1/3 in y 6.907 * [taylor]: Taking taylor expansion of (+ (log x) (pow y 2)) in y 6.907 * [taylor]: Taking taylor expansion of (log x) in y 6.907 * [taylor]: Taking taylor expansion of x in y 6.907 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.907 * [taylor]: Taking taylor expansion of y in y 6.910 * [taylor]: Taking taylor expansion of 0 in y 6.917 * [taylor]: Taking taylor expansion of 0 in y 6.927 * [taylor]: Taking taylor expansion of 0 in y 6.942 * [taylor]: Taking taylor expansion of 0 in y 6.942 * [approximate]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in (x y) around 0 6.942 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 6.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 6.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 6.942 * [taylor]: Taking taylor expansion of 1/3 in y 6.943 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 6.943 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 6.943 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.943 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.943 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.943 * [taylor]: Taking taylor expansion of y in y 6.943 * [taylor]: Taking taylor expansion of x in y 6.944 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.944 * [taylor]: Taking taylor expansion of 1/3 in x 6.944 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.944 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.944 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.944 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.944 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.944 * [taylor]: Taking taylor expansion of y in x 6.944 * [taylor]: Taking taylor expansion of x in x 6.945 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.945 * [taylor]: Taking taylor expansion of 1/3 in x 6.945 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.945 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.945 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.945 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.945 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.945 * [taylor]: Taking taylor expansion of y in x 6.945 * [taylor]: Taking taylor expansion of x in x 6.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 6.946 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 6.946 * [taylor]: Taking taylor expansion of 1/3 in y 6.946 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 6.946 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.946 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.946 * [taylor]: Taking taylor expansion of y in y 6.947 * [taylor]: Taking taylor expansion of (log x) in y 6.947 * [taylor]: Taking taylor expansion of x in y 6.951 * [taylor]: Taking taylor expansion of 0 in y 6.956 * [taylor]: Taking taylor expansion of 0 in y 6.963 * [taylor]: Taking taylor expansion of 0 in y 6.963 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in (x y) around 0 6.963 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in y 6.963 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.963 * [taylor]: Taking taylor expansion of -1 in y 6.964 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 6.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 6.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 6.964 * [taylor]: Taking taylor expansion of 1/3 in y 6.964 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 6.964 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 6.964 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.964 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.964 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.964 * [taylor]: Taking taylor expansion of y in y 6.965 * [taylor]: Taking taylor expansion of x in y 6.965 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 6.965 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.965 * [taylor]: Taking taylor expansion of -1 in x 6.966 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.966 * [taylor]: Taking taylor expansion of 1/3 in x 6.966 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.966 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.966 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.966 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.966 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.966 * [taylor]: Taking taylor expansion of y in x 6.966 * [taylor]: Taking taylor expansion of x in x 6.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 6.967 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.967 * [taylor]: Taking taylor expansion of -1 in x 6.968 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 6.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 6.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 6.968 * [taylor]: Taking taylor expansion of 1/3 in x 6.968 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 6.968 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.968 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.968 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.968 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.968 * [taylor]: Taking taylor expansion of y in x 6.968 * [taylor]: Taking taylor expansion of x in x 6.970 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (/ 1 (pow y 2)) (log x))))) in y 6.970 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.970 * [taylor]: Taking taylor expansion of -1 in y 6.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 6.971 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 6.971 * [taylor]: Taking taylor expansion of 1/3 in y 6.971 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 6.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.971 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.971 * [taylor]: Taking taylor expansion of y in y 6.971 * [taylor]: Taking taylor expansion of (log x) in y 6.971 * [taylor]: Taking taylor expansion of x in y 6.977 * [taylor]: Taking taylor expansion of 0 in y 6.984 * [taylor]: Taking taylor expansion of 0 in y 6.997 * [taylor]: Taking taylor expansion of 0 in y 6.997 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.998 * [approximate]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in (x y) around 0 6.998 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in y 6.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2))))) in y 6.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2)))) in y 6.998 * [taylor]: Taking taylor expansion of 1/3 in y 6.998 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (exp (pow y 2)) 2))) in y 6.998 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (exp (pow y 2)) 2)) in y 6.998 * [taylor]: Taking taylor expansion of (pow x 2) in y 6.998 * [taylor]: Taking taylor expansion of x in y 6.998 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in y 6.998 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.998 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.998 * [taylor]: Taking taylor expansion of y in y 6.999 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in x 6.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2))))) in x 6.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2)))) in x 6.999 * [taylor]: Taking taylor expansion of 1/3 in x 6.999 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (exp (pow y 2)) 2))) in x 6.999 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (exp (pow y 2)) 2)) in x 6.999 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.999 * [taylor]: Taking taylor expansion of x in x 6.999 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in x 6.999 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.999 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.999 * [taylor]: Taking taylor expansion of y in x 7.000 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in x 7.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2))))) in x 7.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2)))) in x 7.000 * [taylor]: Taking taylor expansion of 1/3 in x 7.000 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (exp (pow y 2)) 2))) in x 7.000 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (exp (pow y 2)) 2)) in x 7.000 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.000 * [taylor]: Taking taylor expansion of x in x 7.000 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in x 7.000 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.000 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.000 * [taylor]: Taking taylor expansion of y in x 7.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow (exp (pow y 2)) 2))))) in y 7.002 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow (exp (pow y 2)) 2)))) in y 7.002 * [taylor]: Taking taylor expansion of 1/3 in y 7.002 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow (exp (pow y 2)) 2))) in y 7.002 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 7.002 * [taylor]: Taking taylor expansion of 2 in y 7.002 * [taylor]: Taking taylor expansion of (log x) in y 7.002 * [taylor]: Taking taylor expansion of x in y 7.002 * [taylor]: Taking taylor expansion of (log (pow (exp (pow y 2)) 2)) in y 7.002 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in y 7.002 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.002 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.002 * [taylor]: Taking taylor expansion of y in y 7.007 * [taylor]: Taking taylor expansion of 0 in y 7.016 * [taylor]: Taking taylor expansion of 0 in y 7.030 * [taylor]: Taking taylor expansion of 0 in y 7.050 * [taylor]: Taking taylor expansion of 0 in y 7.051 * [approximate]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in (x y) around 0 7.051 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in y 7.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in y 7.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in y 7.051 * [taylor]: Taking taylor expansion of 1/3 in y 7.051 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in y 7.051 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in y 7.051 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 7.051 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.051 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.051 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.051 * [taylor]: Taking taylor expansion of y in y 7.052 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.052 * [taylor]: Taking taylor expansion of x in y 7.053 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 7.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 7.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 7.053 * [taylor]: Taking taylor expansion of 1/3 in x 7.053 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 7.053 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 7.053 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 7.053 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.053 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.053 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.053 * [taylor]: Taking taylor expansion of y in x 7.053 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.053 * [taylor]: Taking taylor expansion of x in x 7.055 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 7.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 7.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 7.055 * [taylor]: Taking taylor expansion of 1/3 in x 7.055 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 7.055 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 7.055 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 7.055 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.055 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.055 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.055 * [taylor]: Taking taylor expansion of y in x 7.055 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.055 * [taylor]: Taking taylor expansion of x in x 7.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))))) in y 7.056 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x)))) in y 7.057 * [taylor]: Taking taylor expansion of 1/3 in y 7.057 * [taylor]: Taking taylor expansion of (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))) in y 7.057 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow y 2))) 2)) in y 7.057 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 7.057 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.057 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.057 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.057 * [taylor]: Taking taylor expansion of y in y 7.058 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 7.058 * [taylor]: Taking taylor expansion of 2 in y 7.058 * [taylor]: Taking taylor expansion of (log x) in y 7.058 * [taylor]: Taking taylor expansion of x in y 7.063 * [taylor]: Taking taylor expansion of 0 in y 7.072 * [taylor]: Taking taylor expansion of 0 in y 7.090 * [taylor]: Taking taylor expansion of 0 in y 7.091 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in (x y) around 0 7.091 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in y 7.091 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 7.091 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.091 * [taylor]: Taking taylor expansion of -1 in y 7.092 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in y 7.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in y 7.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in y 7.092 * [taylor]: Taking taylor expansion of 1/3 in y 7.092 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in y 7.092 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in y 7.092 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 7.092 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.092 * [taylor]: Taking taylor expansion of y in y 7.092 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.092 * [taylor]: Taking taylor expansion of x in y 7.093 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in x 7.093 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 7.093 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.093 * [taylor]: Taking taylor expansion of -1 in x 7.094 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 7.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 7.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 7.094 * [taylor]: Taking taylor expansion of 1/3 in x 7.094 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 7.094 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 7.094 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 7.094 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.094 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.094 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.094 * [taylor]: Taking taylor expansion of y in x 7.095 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.095 * [taylor]: Taking taylor expansion of x in x 7.096 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in x 7.096 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 7.096 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.096 * [taylor]: Taking taylor expansion of -1 in x 7.097 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 7.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 7.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 7.097 * [taylor]: Taking taylor expansion of 1/3 in x 7.097 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 7.097 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 7.097 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 7.097 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.097 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.097 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.097 * [taylor]: Taking taylor expansion of y in x 7.098 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.098 * [taylor]: Taking taylor expansion of x in x 7.101 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x)))))) in y 7.101 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 7.101 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.101 * [taylor]: Taking taylor expansion of -1 in y 7.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))))) in y 7.102 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x)))) in y 7.102 * [taylor]: Taking taylor expansion of 1/3 in y 7.102 * [taylor]: Taking taylor expansion of (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))) in y 7.102 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow y 2))) 2)) in y 7.102 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 7.102 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.102 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.102 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.102 * [taylor]: Taking taylor expansion of y in y 7.103 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 7.103 * [taylor]: Taking taylor expansion of 2 in y 7.103 * [taylor]: Taking taylor expansion of (log x) in y 7.103 * [taylor]: Taking taylor expansion of x in y 7.111 * [taylor]: Taking taylor expansion of 0 in y 7.124 * [taylor]: Taking taylor expansion of 0 in y 7.142 * [taylor]: Taking taylor expansion of 0 in y 7.143 * * * [progress]: simplifying candidates 7.144 * [simplify]: Simplifying using # : (log (cbrt (* x (exp (* y y))))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (log (cbrt (* x (exp (* y y))))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (log (cbrt (* x (exp (* y y))))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (+ 1/3 1/3) (+ 1 1) (* (* x (exp (* y y))) (* x (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (+ 1 1) (+ (log (cbrt (* x (exp (* y y))))) (log (cbrt (* x (exp (* y y)))))) (log (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (exp (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (* (* x (exp (* y y))) (* x (exp (* y y)))) (* (cbrt (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (cbrt (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))))) (cbrt (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (* (* (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (sqrt (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (sqrt (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))) (* (cbrt x) (cbrt x)) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (* (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y))))))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (* (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y)))))) (* (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y)))))) (* 1 1) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (* (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y)))))) (* (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y)))))) (* 2 1/3) (* 2 1) (* (cbrt (* x (exp (* y y)))) (cbrt x)) (* (cbrt (* x (exp (* y y)))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y))))))) (* (cbrt (* x (exp (* y y)))) (sqrt (cbrt (* x (exp (* y y)))))) (* (cbrt (* x (exp (* y y)))) 1) (* (cbrt (exp (* y y))) (cbrt (* x (exp (* y y))))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y))))) (* (sqrt (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) (pow y 2)))) (exp (* 1/3 (- (pow y 2) (log (/ 1 x))))) (* (exp (* 1/3 (- (pow y 2) (log (/ -1 x))))) (cbrt -1)) (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) (pow y 2)))) (exp (* 1/3 (- (pow y 2) (log (/ 1 x))))) (* (exp (* 1/3 (- (pow y 2) (log (/ -1 x))))) (cbrt -1)) (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) (pow y 2)))) (exp (* 1/3 (- (pow y 2) (log (/ 1 x))))) (* (exp (* 1/3 (- (pow y 2) (log (/ -1 x))))) (cbrt -1)) (+ (pow x 2/3) (* 2/3 (* (pow (pow x 2) 1/3) (pow y 2)))) (exp (* 1/3 (- (log (pow (exp (pow y 2)) 2)) (* 2 (log (/ 1 x)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (exp (pow y 2)) 2)) (* 2 (log (/ -1 x))))))) 7.147 * * [simplify]: iteration 0 : 81 enodes (cost 936 ) 7.170 * * [simplify]: iteration 1 : 175 enodes (cost 834 ) 7.202 * * [simplify]: iteration 2 : 478 enodes (cost 726 ) 7.423 * * [simplify]: iteration 3 : 1463 enodes (cost 636 ) 8.366 * * [simplify]: iteration done : 5001 enodes (cost 621 ) 8.367 * [simplify]: Simplified to: (log (cbrt (* (pow (exp y) y) x))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (pow (exp y) y) x) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (log (cbrt (* (pow (exp y) y) x))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (pow (exp y) y) x) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (log (cbrt (* (pow (exp y) y) x))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (pow (exp y) y) x) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) 2/3 2 (pow (cbrt (* x (exp (* y y)))) 6) (exp (* 2/3 (+ (* y y) (log x)))) 2 (* 2 (log (cbrt (* x (exp (* y y)))))) (* 2 (log (cbrt (* x (exp (* y y)))))) (exp (exp (* 2/3 (+ (* y y) (log x))))) (pow (cbrt (* x (exp (* y y)))) 6) (* (cbrt (exp (* 2/3 (+ (* y y) (log x))))) (cbrt (exp (* 2/3 (+ (* y y) (log x)))))) (cbrt (exp (* 2/3 (+ (* y y) (log x))))) (pow (cbrt (* x (exp (* y y)))) 6) (fabs (cbrt (* x (exp (* y y))))) (fabs (cbrt (* x (exp (* y y))))) (pow x 2/3) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (pow (cbrt (cbrt (* x (exp (* y y))))) 4) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (* (pow (exp y) y) x)) (cbrt (* (pow (exp y) y) x)) 1 (exp (* 2/3 (+ (* y y) (log x)))) (cbrt (* (pow (exp y) y) x)) (cbrt (* (pow (exp y) y) x)) 2/3 2 (* (cbrt (* x (exp (* y y)))) (cbrt x)) (* (pow (cbrt (cbrt (* x (exp (* y y))))) 4) (cbrt (cbrt (* x (exp (* y y)))))) (pow (sqrt (cbrt (* x (exp (* y y))))) 3) (cbrt (* (pow (exp y) y) x)) (* (cbrt (exp (* y y))) (cbrt (* x (exp (* y y))))) (pow (cbrt (cbrt (* x (exp (* y y))))) 4) (pow (sqrt (cbrt (* x (exp (* y y))))) 3) (exp (* 2/3 (+ (* y y) (log x)))) (* (+ (* 1/3 (* y y)) 1) (cbrt x)) (cbrt (* (pow (exp y) y) x)) (* (cbrt -1) (cbrt (/ (pow (exp y) y) (/ -1 x)))) (* (+ (* 1/3 (* y y)) 1) (cbrt x)) (cbrt (* (pow (exp y) y) x)) (* (cbrt -1) (cbrt (/ (pow (exp y) y) (/ -1 x)))) (* (+ (* 1/3 (* y y)) 1) (cbrt x)) (cbrt (* (pow (exp y) y) x)) (* (cbrt -1) (cbrt (/ (pow (exp y) y) (/ -1 x)))) (+ (pow x 2/3) (* 2/3 (* (pow y 2) (cbrt (pow x 2))))) (exp (* 2/3 (+ (* y y) (log x)))) (* (pow (cbrt -1) 2) (exp (* 2/3 (- (pow y 2) (log (/ -1 x)))))) 8.367 * * * [progress]: adding candidates to table 8.541 * * [progress]: iteration 3 / 4 8.541 * * * [progress]: picking best candidate 8.544 * * * * [pick]: Picked # 8.544 * * * [progress]: localizing error 8.556 * * * [progress]: generating rewritten candidates 8.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 8.556 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 8.559 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.561 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.574 * * * [progress]: generating series expansions 8.574 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 8.574 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.574 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.574 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.574 * [taylor]: Taking taylor expansion of 1/3 in x 8.574 * [taylor]: Taking taylor expansion of (log x) in x 8.574 * [taylor]: Taking taylor expansion of x in x 8.575 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.575 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.575 * [taylor]: Taking taylor expansion of 1/3 in x 8.575 * [taylor]: Taking taylor expansion of (log x) in x 8.575 * [taylor]: Taking taylor expansion of x in x 8.627 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.627 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.627 * [taylor]: Taking taylor expansion of 1/3 in x 8.627 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.627 * [taylor]: Taking taylor expansion of x in x 8.628 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.628 * [taylor]: Taking taylor expansion of 1/3 in x 8.628 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.628 * [taylor]: Taking taylor expansion of x in x 8.680 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.680 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.681 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.681 * [taylor]: Taking taylor expansion of -1 in x 8.681 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.681 * [taylor]: Taking taylor expansion of 1/3 in x 8.681 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.681 * [taylor]: Taking taylor expansion of x in x 8.682 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.682 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.682 * [taylor]: Taking taylor expansion of -1 in x 8.683 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.683 * [taylor]: Taking taylor expansion of 1/3 in x 8.683 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.683 * [taylor]: Taking taylor expansion of x in x 8.751 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 8.752 * [approximate]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in (x y) around 0 8.752 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in y 8.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in y 8.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in y 8.752 * [taylor]: Taking taylor expansion of 1/3 in y 8.752 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in y 8.752 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 8.752 * [taylor]: Taking taylor expansion of x in y 8.752 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.752 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.752 * [taylor]: Taking taylor expansion of y in y 8.752 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 8.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 8.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 8.752 * [taylor]: Taking taylor expansion of 1/3 in x 8.752 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 8.752 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 8.752 * [taylor]: Taking taylor expansion of x in x 8.752 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.752 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.752 * [taylor]: Taking taylor expansion of y in x 8.754 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 8.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 8.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 8.754 * [taylor]: Taking taylor expansion of 1/3 in x 8.754 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 8.754 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 8.754 * [taylor]: Taking taylor expansion of x in x 8.754 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.754 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.754 * [taylor]: Taking taylor expansion of y in x 8.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (pow y 2)))) in y 8.756 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (pow y 2))) in y 8.756 * [taylor]: Taking taylor expansion of 1/3 in y 8.756 * [taylor]: Taking taylor expansion of (+ (log x) (pow y 2)) in y 8.756 * [taylor]: Taking taylor expansion of (log x) in y 8.756 * [taylor]: Taking taylor expansion of x in y 8.756 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.756 * [taylor]: Taking taylor expansion of y in y 8.760 * [taylor]: Taking taylor expansion of 0 in y 8.770 * [taylor]: Taking taylor expansion of 0 in y 8.780 * [taylor]: Taking taylor expansion of 0 in y 8.795 * [taylor]: Taking taylor expansion of 0 in y 8.795 * [approximate]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in (x y) around 0 8.795 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 8.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 8.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 8.795 * [taylor]: Taking taylor expansion of 1/3 in y 8.795 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 8.795 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 8.795 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.795 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.795 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.795 * [taylor]: Taking taylor expansion of y in y 8.796 * [taylor]: Taking taylor expansion of x in y 8.796 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.796 * [taylor]: Taking taylor expansion of 1/3 in x 8.796 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.796 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.796 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.796 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.797 * [taylor]: Taking taylor expansion of y in x 8.797 * [taylor]: Taking taylor expansion of x in x 8.797 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.798 * [taylor]: Taking taylor expansion of 1/3 in x 8.798 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.798 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.798 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.798 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.798 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.798 * [taylor]: Taking taylor expansion of y in x 8.798 * [taylor]: Taking taylor expansion of x in x 8.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 8.799 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 8.799 * [taylor]: Taking taylor expansion of 1/3 in y 8.799 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 8.799 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.799 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.799 * [taylor]: Taking taylor expansion of y in y 8.799 * [taylor]: Taking taylor expansion of (log x) in y 8.799 * [taylor]: Taking taylor expansion of x in y 8.804 * [taylor]: Taking taylor expansion of 0 in y 8.809 * [taylor]: Taking taylor expansion of 0 in y 8.816 * [taylor]: Taking taylor expansion of 0 in y 8.816 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in (x y) around 0 8.816 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in y 8.816 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.816 * [taylor]: Taking taylor expansion of -1 in y 8.817 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 8.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 8.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 8.817 * [taylor]: Taking taylor expansion of 1/3 in y 8.817 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 8.817 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 8.817 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.817 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.817 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.817 * [taylor]: Taking taylor expansion of y in y 8.818 * [taylor]: Taking taylor expansion of x in y 8.819 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 8.819 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.819 * [taylor]: Taking taylor expansion of -1 in x 8.819 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.819 * [taylor]: Taking taylor expansion of 1/3 in x 8.819 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.819 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.819 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.819 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.819 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.819 * [taylor]: Taking taylor expansion of y in x 8.820 * [taylor]: Taking taylor expansion of x in x 8.821 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 8.821 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.821 * [taylor]: Taking taylor expansion of -1 in x 8.821 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.822 * [taylor]: Taking taylor expansion of 1/3 in x 8.822 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.822 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.822 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.822 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.822 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.822 * [taylor]: Taking taylor expansion of y in x 8.822 * [taylor]: Taking taylor expansion of x in x 8.823 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (/ 1 (pow y 2)) (log x))))) in y 8.823 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.823 * [taylor]: Taking taylor expansion of -1 in y 8.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 8.824 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 8.824 * [taylor]: Taking taylor expansion of 1/3 in y 8.824 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.824 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.824 * [taylor]: Taking taylor expansion of y in y 8.824 * [taylor]: Taking taylor expansion of (log x) in y 8.824 * [taylor]: Taking taylor expansion of x in y 8.830 * [taylor]: Taking taylor expansion of 0 in y 8.837 * [taylor]: Taking taylor expansion of 0 in y 8.847 * [taylor]: Taking taylor expansion of 0 in y 8.848 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 8.848 * [approximate]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in (x y) around 0 8.848 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in y 8.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in y 8.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in y 8.848 * [taylor]: Taking taylor expansion of 1/3 in y 8.848 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in y 8.848 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 8.848 * [taylor]: Taking taylor expansion of x in y 8.848 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.848 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.848 * [taylor]: Taking taylor expansion of y in y 8.849 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 8.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 8.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 8.849 * [taylor]: Taking taylor expansion of 1/3 in x 8.849 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 8.849 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 8.849 * [taylor]: Taking taylor expansion of x in x 8.849 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.849 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.849 * [taylor]: Taking taylor expansion of y in x 8.851 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 1/3) in x 8.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (exp (pow y 2)))))) in x 8.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (exp (pow y 2))))) in x 8.851 * [taylor]: Taking taylor expansion of 1/3 in x 8.851 * [taylor]: Taking taylor expansion of (log (* x (exp (pow y 2)))) in x 8.851 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 8.851 * [taylor]: Taking taylor expansion of x in x 8.851 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.851 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.851 * [taylor]: Taking taylor expansion of y in x 8.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (pow y 2)))) in y 8.852 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (pow y 2))) in y 8.852 * [taylor]: Taking taylor expansion of 1/3 in y 8.852 * [taylor]: Taking taylor expansion of (+ (log x) (pow y 2)) in y 8.852 * [taylor]: Taking taylor expansion of (log x) in y 8.853 * [taylor]: Taking taylor expansion of x in y 8.853 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.853 * [taylor]: Taking taylor expansion of y in y 8.856 * [taylor]: Taking taylor expansion of 0 in y 8.866 * [taylor]: Taking taylor expansion of 0 in y 8.876 * [taylor]: Taking taylor expansion of 0 in y 8.891 * [taylor]: Taking taylor expansion of 0 in y 8.891 * [approximate]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in (x y) around 0 8.891 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 8.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 8.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 8.891 * [taylor]: Taking taylor expansion of 1/3 in y 8.891 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 8.891 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 8.891 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.891 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.891 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.891 * [taylor]: Taking taylor expansion of y in y 8.892 * [taylor]: Taking taylor expansion of x in y 8.892 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.892 * [taylor]: Taking taylor expansion of 1/3 in x 8.892 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.892 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.892 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.893 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.893 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.893 * [taylor]: Taking taylor expansion of y in x 8.893 * [taylor]: Taking taylor expansion of x in x 8.893 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.894 * [taylor]: Taking taylor expansion of 1/3 in x 8.894 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.894 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.894 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.894 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.894 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.894 * [taylor]: Taking taylor expansion of y in x 8.894 * [taylor]: Taking taylor expansion of x in x 8.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 8.895 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 8.895 * [taylor]: Taking taylor expansion of 1/3 in y 8.895 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 8.895 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.895 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.895 * [taylor]: Taking taylor expansion of y in y 8.895 * [taylor]: Taking taylor expansion of (log x) in y 8.895 * [taylor]: Taking taylor expansion of x in y 8.899 * [taylor]: Taking taylor expansion of 0 in y 8.905 * [taylor]: Taking taylor expansion of 0 in y 8.912 * [taylor]: Taking taylor expansion of 0 in y 8.912 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in (x y) around 0 8.912 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in y 8.912 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.912 * [taylor]: Taking taylor expansion of -1 in y 8.913 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in y 8.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in y 8.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in y 8.913 * [taylor]: Taking taylor expansion of 1/3 in y 8.913 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in y 8.913 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 8.913 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.913 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.913 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.913 * [taylor]: Taking taylor expansion of y in y 8.914 * [taylor]: Taking taylor expansion of x in y 8.914 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 8.914 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.914 * [taylor]: Taking taylor expansion of -1 in x 8.915 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.915 * [taylor]: Taking taylor expansion of 1/3 in x 8.915 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.915 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.915 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.915 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.915 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.915 * [taylor]: Taking taylor expansion of y in x 8.915 * [taylor]: Taking taylor expansion of x in x 8.916 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (exp (/ 1 (pow y 2))) x) 1/3)) in x 8.916 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.916 * [taylor]: Taking taylor expansion of -1 in x 8.917 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 1/3) in x 8.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x)))) in x 8.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (exp (/ 1 (pow y 2))) x))) in x 8.917 * [taylor]: Taking taylor expansion of 1/3 in x 8.917 * [taylor]: Taking taylor expansion of (log (/ (exp (/ 1 (pow y 2))) x)) in x 8.917 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.917 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.917 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.917 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.917 * [taylor]: Taking taylor expansion of y in x 8.917 * [taylor]: Taking taylor expansion of x in x 8.919 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (/ 1 (pow y 2)) (log x))))) in y 8.919 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.919 * [taylor]: Taking taylor expansion of -1 in y 8.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (/ 1 (pow y 2)) (log x)))) in y 8.919 * [taylor]: Taking taylor expansion of (* 1/3 (- (/ 1 (pow y 2)) (log x))) in y 8.919 * [taylor]: Taking taylor expansion of 1/3 in y 8.920 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (log x)) in y 8.920 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.920 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.920 * [taylor]: Taking taylor expansion of y in y 8.920 * [taylor]: Taking taylor expansion of (log x) in y 8.920 * [taylor]: Taking taylor expansion of x in y 8.926 * [taylor]: Taking taylor expansion of 0 in y 8.933 * [taylor]: Taking taylor expansion of 0 in y 8.943 * [taylor]: Taking taylor expansion of 0 in y 8.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 8.944 * [approximate]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in (x y) around 0 8.944 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in y 8.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2))))) in y 8.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2)))) in y 8.944 * [taylor]: Taking taylor expansion of 1/3 in y 8.944 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (exp (pow y 2)) 2))) in y 8.944 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (exp (pow y 2)) 2)) in y 8.944 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.944 * [taylor]: Taking taylor expansion of x in y 8.944 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in y 8.944 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.944 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.944 * [taylor]: Taking taylor expansion of y in y 8.945 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in x 8.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2))))) in x 8.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2)))) in x 8.945 * [taylor]: Taking taylor expansion of 1/3 in x 8.945 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (exp (pow y 2)) 2))) in x 8.945 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (exp (pow y 2)) 2)) in x 8.945 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.945 * [taylor]: Taking taylor expansion of x in x 8.945 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in x 8.945 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.945 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.945 * [taylor]: Taking taylor expansion of y in x 8.947 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (exp (pow y 2)) 2)) 1/3) in x 8.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2))))) in x 8.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (exp (pow y 2)) 2)))) in x 8.947 * [taylor]: Taking taylor expansion of 1/3 in x 8.947 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (exp (pow y 2)) 2))) in x 8.947 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (exp (pow y 2)) 2)) in x 8.947 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.947 * [taylor]: Taking taylor expansion of x in x 8.947 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in x 8.947 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.947 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.947 * [taylor]: Taking taylor expansion of y in x 8.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow (exp (pow y 2)) 2))))) in y 8.951 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow (exp (pow y 2)) 2)))) in y 8.951 * [taylor]: Taking taylor expansion of 1/3 in y 8.951 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow (exp (pow y 2)) 2))) in y 8.951 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 8.951 * [taylor]: Taking taylor expansion of 2 in y 8.951 * [taylor]: Taking taylor expansion of (log x) in y 8.951 * [taylor]: Taking taylor expansion of x in y 8.951 * [taylor]: Taking taylor expansion of (log (pow (exp (pow y 2)) 2)) in y 8.951 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 2) in y 8.951 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.951 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.951 * [taylor]: Taking taylor expansion of y in y 8.956 * [taylor]: Taking taylor expansion of 0 in y 8.966 * [taylor]: Taking taylor expansion of 0 in y 8.979 * [taylor]: Taking taylor expansion of 0 in y 8.999 * [taylor]: Taking taylor expansion of 0 in y 9.000 * [approximate]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in (x y) around 0 9.000 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in y 9.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in y 9.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in y 9.000 * [taylor]: Taking taylor expansion of 1/3 in y 9.000 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in y 9.000 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in y 9.000 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 9.000 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.000 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.000 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.000 * [taylor]: Taking taylor expansion of y in y 9.001 * [taylor]: Taking taylor expansion of (pow x 2) in y 9.001 * [taylor]: Taking taylor expansion of x in y 9.001 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 9.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 9.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 9.002 * [taylor]: Taking taylor expansion of 1/3 in x 9.002 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 9.002 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 9.002 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 9.002 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.002 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.002 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.002 * [taylor]: Taking taylor expansion of y in x 9.002 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.002 * [taylor]: Taking taylor expansion of x in x 9.003 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 9.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 9.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 9.003 * [taylor]: Taking taylor expansion of 1/3 in x 9.003 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 9.003 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 9.003 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 9.003 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.003 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.003 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.003 * [taylor]: Taking taylor expansion of y in x 9.004 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.004 * [taylor]: Taking taylor expansion of x in x 9.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))))) in y 9.005 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x)))) in y 9.005 * [taylor]: Taking taylor expansion of 1/3 in y 9.005 * [taylor]: Taking taylor expansion of (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))) in y 9.005 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow y 2))) 2)) in y 9.005 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 9.005 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.005 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.005 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.005 * [taylor]: Taking taylor expansion of y in y 9.006 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 9.006 * [taylor]: Taking taylor expansion of 2 in y 9.006 * [taylor]: Taking taylor expansion of (log x) in y 9.006 * [taylor]: Taking taylor expansion of x in y 9.012 * [taylor]: Taking taylor expansion of 0 in y 9.022 * [taylor]: Taking taylor expansion of 0 in y 9.035 * [taylor]: Taking taylor expansion of 0 in y 9.036 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in (x y) around 0 9.036 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in y 9.036 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 9.036 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.036 * [taylor]: Taking taylor expansion of -1 in y 9.037 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in y 9.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in y 9.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in y 9.037 * [taylor]: Taking taylor expansion of 1/3 in y 9.037 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in y 9.037 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in y 9.037 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 9.037 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.037 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.037 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.037 * [taylor]: Taking taylor expansion of y in y 9.038 * [taylor]: Taking taylor expansion of (pow x 2) in y 9.038 * [taylor]: Taking taylor expansion of x in y 9.041 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in x 9.041 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 9.041 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.042 * [taylor]: Taking taylor expansion of -1 in x 9.042 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 9.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 9.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 9.043 * [taylor]: Taking taylor expansion of 1/3 in x 9.043 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 9.043 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 9.043 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 9.043 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.043 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.043 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.043 * [taylor]: Taking taylor expansion of y in x 9.043 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.043 * [taylor]: Taking taylor expansion of x in x 9.044 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3)) in x 9.044 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 9.044 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.044 * [taylor]: Taking taylor expansion of -1 in x 9.045 * [taylor]: Taking taylor expansion of (pow (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) 1/3) in x 9.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))))) in x 9.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)))) in x 9.045 * [taylor]: Taking taylor expansion of 1/3 in x 9.045 * [taylor]: Taking taylor expansion of (log (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2))) in x 9.045 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 (pow y 2))) 2) (pow x 2)) in x 9.045 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in x 9.045 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.045 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.045 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.045 * [taylor]: Taking taylor expansion of y in x 9.046 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.046 * [taylor]: Taking taylor expansion of x in x 9.049 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x)))))) in y 9.049 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 9.049 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.049 * [taylor]: Taking taylor expansion of -1 in y 9.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))))) in y 9.050 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x)))) in y 9.050 * [taylor]: Taking taylor expansion of 1/3 in y 9.050 * [taylor]: Taking taylor expansion of (- (log (pow (exp (/ 1 (pow y 2))) 2)) (* 2 (log x))) in y 9.050 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (pow y 2))) 2)) in y 9.050 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 2) in y 9.050 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.050 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.050 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.050 * [taylor]: Taking taylor expansion of y in y 9.051 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 9.051 * [taylor]: Taking taylor expansion of 2 in y 9.051 * [taylor]: Taking taylor expansion of (log x) in y 9.051 * [taylor]: Taking taylor expansion of x in y 9.060 * [taylor]: Taking taylor expansion of 0 in y 9.072 * [taylor]: Taking taylor expansion of 0 in y 9.091 * [taylor]: Taking taylor expansion of 0 in y 9.092 * * * [progress]: simplifying candidates 9.093 * [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 (* y y))))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (log (cbrt (* x (exp (* y y))))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (+ 1/3 1/3) (* (* x (exp (* y y))) (* x (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (+ (log (cbrt (* x (exp (* y y))))) (+ (log (cbrt x)) (log (cbrt (exp (* y y)))))) (+ (log (cbrt (* x (exp (* y y))))) (log (* (cbrt x) (cbrt (exp (* y y)))))) (log (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (exp (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (* (* x (exp (* y y))) (* x (exp (* y y)))) (* (* x (exp (* y y))) (* (* (* (cbrt x) (cbrt (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt x) (cbrt (exp (* y y)))))) (* (cbrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (cbrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))))) (cbrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (* (* (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (sqrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (sqrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (* (cbrt x) (cbrt x)) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (* 2 1/3) (* (cbrt (* x (exp (* y y)))) (cbrt x)) (* (cbrt (exp (* y y))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt (cbrt (* x (exp (* y y))))) (* (cbrt x) (cbrt (exp (* y y))))) (* (sqrt (cbrt (* x (exp (* y y))))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) (pow y 2)))) (exp (* 1/3 (- (pow y 2) (log (/ 1 x))))) (* (exp (* 1/3 (- (pow y 2) (log (/ -1 x))))) (cbrt -1)) (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) (pow y 2)))) (exp (* 1/3 (- (pow y 2) (log (/ 1 x))))) (* (exp (* 1/3 (- (pow y 2) (log (/ -1 x))))) (cbrt -1)) (+ (pow x 2/3) (* 2/3 (* (pow (pow x 2) 1/3) (pow y 2)))) (exp (* 1/3 (- (log (pow (exp (pow y 2)) 2)) (* 2 (log (/ 1 x)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (exp (pow y 2)) 2)) (* 2 (log (/ -1 x))))))) 9.097 * * [simplify]: iteration 0 : 97 enodes (cost 763 ) 9.116 * * [simplify]: iteration 1 : 219 enodes (cost 728 ) 9.164 * * [simplify]: iteration 2 : 619 enodes (cost 643 ) 9.459 * * [simplify]: iteration 3 : 2354 enodes (cost 621 ) 10.600 * * [simplify]: iteration done : 5000 enodes (cost 621 ) 10.600 * [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 (* y y))))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* x (exp (* y y))) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) (log (cbrt (* x (exp (* y y))))) (exp (cbrt (* x (exp (* y y))))) (cbrt x) (cbrt (exp (* y y))) (* (cbrt (cbrt (* x (exp (* y y))))) (cbrt (cbrt (* x (exp (* y y)))))) (cbrt (cbrt (* x (exp (* y y))))) (* x (exp (* y y))) (sqrt (cbrt (* x (exp (* y y))))) (sqrt (cbrt (* x (exp (* y y))))) 2/3 (* (pow x 2) (pow (exp (pow y 2)) 2)) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (log (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (log (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (log (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (exp (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (* (pow x 2) (pow (exp (pow y 2)) 2)) (* (* x (exp (* y y))) (* x (pow (cbrt (exp (* y y))) 3))) (* (cbrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (cbrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))))) (cbrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (* (* x (exp (* y y))) (* x (pow (cbrt (exp (* y y))) 3))) (sqrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (sqrt (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y)))))) (pow x 2/3) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) 2/3 (* (cbrt (* x (exp (* y y)))) (cbrt x)) (* (cbrt (exp (* y y))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt (cbrt (* x (exp (* y y))))) (* (cbrt x) (cbrt (exp (* y y))))) (* (sqrt (cbrt (* x (exp (* y y))))) (* (cbrt x) (cbrt (exp (* y y))))) (* (cbrt (* x (exp (* y y)))) (* (cbrt x) (cbrt (exp (* y y))))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (* (+ (* (pow y 2) 1/3) 1) (cbrt x)) (cbrt (exp (+ (log x) (pow y 2)))) (* (cbrt (exp (- (pow y 2) (log (/ -1 x))))) (cbrt -1)) (* (+ (* (pow y 2) 1/3) 1) (cbrt x)) (cbrt (exp (+ (log x) (pow y 2)))) (* (cbrt (exp (- (pow y 2) (log (/ -1 x))))) (cbrt -1)) (+ (pow x 2/3) (* (* (cbrt (pow x 2)) (* y y)) 2/3)) (exp (* 2/3 (+ (log x) (pow y 2)))) (* (exp (* 2/3 (- (pow y 2) (log (/ -1 x))))) (pow (cbrt -1) 2)) 10.601 * * * [progress]: adding candidates to table 10.785 * [progress]: [Phase 3 of 3] Extracting. 10.785 * * [regime]: Finding splitpoints for: (# #) 10.785 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (exp (* y y)) (* x (exp (* y y))) y x) 10.786 * * * * [regimes]: Trying to branch on (* y y) from (# #) 10.797 * * * * [regimes]: Trying to branch on (exp (* y y)) from (# #) 10.809 * * * * [regimes]: Trying to branch on (* x (exp (* y y))) from (# #) 10.827 * * * * [regimes]: Trying to branch on y from (# #) 10.839 * * * * [regimes]: Trying to branch on x from (# #) 10.851 * * * [regime]: Found split indices: #