30.734 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.058 * * * [progress]: [2/2] Setting up program. 0.060 * [progress]: [Phase 2 of 3] Improving. 0.061 * [simplify]: Simplifying using # : (/ (exp (* x (log (/ x (+ x y))))) x) 0.062 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.063 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 0.065 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 0.068 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 0.076 * * [simplify]: iteration 4 : 102 enodes (cost 9 ) 0.097 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 0.188 * * [simplify]: iteration 6 : 553 enodes (cost 9 ) 0.520 * * [simplify]: iteration 7 : 1646 enodes (cost 9 ) 1.842 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 1.842 * [simplify]: Simplified to: (/ (pow (/ x (+ x y)) x) x) 1.845 * * [progress]: iteration 1 / 4 1.845 * * * [progress]: picking best candidate 1.847 * * * * [pick]: Picked # 1.847 * * * [progress]: localizing error 1.854 * * * [progress]: generating rewritten candidates 1.854 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.868 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.893 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.907 * * * [progress]: generating series expansions 1.907 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.908 * [approximate]: Taking taylor expansion of (pow (/ x (+ x y)) x) in (x y) around 0 1.908 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 1.908 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 1.908 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 1.908 * [taylor]: Taking taylor expansion of x in y 1.908 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 1.908 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 1.908 * [taylor]: Taking taylor expansion of x in y 1.908 * [taylor]: Taking taylor expansion of (+ x y) in y 1.908 * [taylor]: Taking taylor expansion of x in y 1.908 * [taylor]: Taking taylor expansion of y in y 1.910 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 1.910 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 1.910 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.910 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.910 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.910 * [taylor]: Taking taylor expansion of (+ x y) in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.910 * [taylor]: Taking taylor expansion of y in x 1.912 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 1.912 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 1.912 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 1.912 * [taylor]: Taking taylor expansion of x in x 1.912 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.912 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.912 * [taylor]: Taking taylor expansion of x in x 1.912 * [taylor]: Taking taylor expansion of (+ x y) in x 1.912 * [taylor]: Taking taylor expansion of x in x 1.912 * [taylor]: Taking taylor expansion of y in x 1.914 * [taylor]: Taking taylor expansion of 1 in y 1.914 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 1.914 * [taylor]: Taking taylor expansion of (log x) in y 1.914 * [taylor]: Taking taylor expansion of x in y 1.914 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.915 * [taylor]: Taking taylor expansion of y in y 1.918 * [taylor]: Taking taylor expansion of (- (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) (/ 1 y)) in y 1.918 * [taylor]: Taking taylor expansion of (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) in y 1.918 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 y))) in y 1.918 * [taylor]: Taking taylor expansion of (log x) in y 1.918 * [taylor]: Taking taylor expansion of x in y 1.918 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.918 * [taylor]: Taking taylor expansion of y in y 1.919 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2))) in y 1.919 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log x) 2)) in y 1.919 * [taylor]: Taking taylor expansion of 1/2 in y 1.919 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 1.919 * [taylor]: Taking taylor expansion of (log x) in y 1.919 * [taylor]: Taking taylor expansion of x in y 1.919 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log (/ 1 y)) 2)) in y 1.919 * [taylor]: Taking taylor expansion of 1/2 in y 1.919 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 1.919 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.919 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.919 * [taylor]: Taking taylor expansion of y in y 1.920 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.920 * [taylor]: Taking taylor expansion of y in y 1.924 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in (x y) around 0 1.924 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in y 1.924 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 1.924 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 1.924 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.924 * [taylor]: Taking taylor expansion of x in y 1.924 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 1.924 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.924 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.924 * [taylor]: Taking taylor expansion of x in y 1.924 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.924 * [taylor]: Taking taylor expansion of y in y 1.924 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.924 * [taylor]: Taking taylor expansion of x in y 1.925 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 1.925 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 1.925 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 1.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.925 * [taylor]: Taking taylor expansion of x in x 1.926 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.926 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.926 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.926 * [taylor]: Taking taylor expansion of x in x 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.926 * [taylor]: Taking taylor expansion of y in x 1.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.926 * [taylor]: Taking taylor expansion of x in x 1.931 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 1.931 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 1.931 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 1.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.931 * [taylor]: Taking taylor expansion of x in x 1.931 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.931 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.931 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.931 * [taylor]: Taking taylor expansion of x in x 1.931 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.931 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.931 * [taylor]: Taking taylor expansion of y in x 1.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.932 * [taylor]: Taking taylor expansion of x in x 1.937 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.937 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.937 * [taylor]: Taking taylor expansion of y in y 1.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- (/ 1 y))) (pow y 2))) in y 1.946 * [taylor]: Taking taylor expansion of 1/2 in y 1.946 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 2)) in y 1.946 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.946 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.946 * [taylor]: Taking taylor expansion of y in y 1.947 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.947 * [taylor]: Taking taylor expansion of y in y 1.956 * [taylor]: Taking taylor expansion of (* (- (* 1/8 (/ 1 (pow y 4))) (* 1/3 (/ 1 (pow y 3)))) (exp (- (/ 1 y)))) in y 1.957 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow y 4))) (* 1/3 (/ 1 (pow y 3)))) in y 1.957 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow y 4))) in y 1.957 * [taylor]: Taking taylor expansion of 1/8 in y 1.957 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.957 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.957 * [taylor]: Taking taylor expansion of y in y 1.958 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.958 * [taylor]: Taking taylor expansion of 1/3 in y 1.958 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.958 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.958 * [taylor]: Taking taylor expansion of y in y 1.958 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.958 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.958 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.958 * [taylor]: Taking taylor expansion of y in y 1.987 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (- (+ (* 1/48 (/ 1 (pow y 6))) (* 1/4 (/ 1 (pow y 4)))) (* 1/6 (/ 1 (pow y 5))))) in y 1.987 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.987 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.987 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of (- (+ (* 1/48 (/ 1 (pow y 6))) (* 1/4 (/ 1 (pow y 4)))) (* 1/6 (/ 1 (pow y 5)))) in y 1.988 * [taylor]: Taking taylor expansion of (+ (* 1/48 (/ 1 (pow y 6))) (* 1/4 (/ 1 (pow y 4)))) in y 1.988 * [taylor]: Taking taylor expansion of (* 1/48 (/ 1 (pow y 6))) in y 1.988 * [taylor]: Taking taylor expansion of 1/48 in y 1.988 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 1.988 * [taylor]: Taking taylor expansion of (pow y 6) in y 1.988 * [taylor]: Taking taylor expansion of y in y 1.989 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow y 4))) in y 1.989 * [taylor]: Taking taylor expansion of 1/4 in y 1.989 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.989 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.989 * [taylor]: Taking taylor expansion of y in y 1.990 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 5))) in y 1.990 * [taylor]: Taking taylor expansion of 1/6 in y 1.990 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 1.990 * [taylor]: Taking taylor expansion of (pow y 5) in y 1.990 * [taylor]: Taking taylor expansion of y in y 2.040 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in (x y) around 0 2.040 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in y 2.040 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.040 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.040 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.040 * [taylor]: Taking taylor expansion of -1 in y 2.040 * [taylor]: Taking taylor expansion of x in y 2.040 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.040 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.040 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.040 * [taylor]: Taking taylor expansion of x in y 2.041 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.041 * [taylor]: Taking taylor expansion of y in y 2.041 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.041 * [taylor]: Taking taylor expansion of x in y 2.042 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.042 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.042 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.042 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.042 * [taylor]: Taking taylor expansion of -1 in x 2.042 * [taylor]: Taking taylor expansion of x in x 2.042 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.042 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.042 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.042 * [taylor]: Taking taylor expansion of x in x 2.042 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.042 * [taylor]: Taking taylor expansion of y in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.043 * [taylor]: Taking taylor expansion of x in x 2.048 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.048 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.048 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.048 * [taylor]: Taking taylor expansion of -1 in x 2.048 * [taylor]: Taking taylor expansion of x in x 2.049 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.049 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.049 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.049 * [taylor]: Taking taylor expansion of x in x 2.049 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.049 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.049 * [taylor]: Taking taylor expansion of y in x 2.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.049 * [taylor]: Taking taylor expansion of x in x 2.055 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.055 * [taylor]: Taking taylor expansion of y in y 2.060 * [taylor]: Taking taylor expansion of (* -1/2 (/ (exp (/ 1 y)) (pow y 2))) in y 2.060 * [taylor]: Taking taylor expansion of -1/2 in y 2.060 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 2)) in y 2.060 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.060 * [taylor]: Taking taylor expansion of y in y 2.061 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.061 * [taylor]: Taking taylor expansion of y in y 2.070 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/8 (/ 1 (pow y 4))))) in y 2.070 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.070 * [taylor]: Taking taylor expansion of y in y 2.070 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (* 1/8 (/ 1 (pow y 4)))) in y 2.070 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 2.070 * [taylor]: Taking taylor expansion of 1/3 in y 2.070 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.070 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.070 * [taylor]: Taking taylor expansion of y in y 2.071 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow y 4))) in y 2.071 * [taylor]: Taking taylor expansion of 1/8 in y 2.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.071 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.071 * [taylor]: Taking taylor expansion of y in y 2.099 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1 y)) (+ (* 1/48 (/ 1 (pow y 6))) (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5))))))) in y 2.099 * [taylor]: Taking taylor expansion of -1 in y 2.099 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (+ (* 1/48 (/ 1 (pow y 6))) (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5)))))) in y 2.099 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.099 * [taylor]: Taking taylor expansion of y in y 2.099 * [taylor]: Taking taylor expansion of (+ (* 1/48 (/ 1 (pow y 6))) (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5))))) in y 2.099 * [taylor]: Taking taylor expansion of (* 1/48 (/ 1 (pow y 6))) in y 2.099 * [taylor]: Taking taylor expansion of 1/48 in y 2.099 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 2.099 * [taylor]: Taking taylor expansion of (pow y 6) in y 2.099 * [taylor]: Taking taylor expansion of y in y 2.100 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5)))) in y 2.100 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow y 4))) in y 2.100 * [taylor]: Taking taylor expansion of 1/4 in y 2.101 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.101 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.101 * [taylor]: Taking taylor expansion of y in y 2.102 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 5))) in y 2.102 * [taylor]: Taking taylor expansion of 1/6 in y 2.102 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 2.102 * [taylor]: Taking taylor expansion of (pow y 5) in y 2.102 * [taylor]: Taking taylor expansion of y in y 2.158 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.159 * [approximate]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in (x y) around 0 2.159 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in y 2.159 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 2.159 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 2.159 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 2.159 * [taylor]: Taking taylor expansion of x in y 2.159 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 2.159 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.159 * [taylor]: Taking taylor expansion of x in y 2.159 * [taylor]: Taking taylor expansion of (+ x y) in y 2.159 * [taylor]: Taking taylor expansion of x in y 2.159 * [taylor]: Taking taylor expansion of y in y 2.160 * [taylor]: Taking taylor expansion of x in y 2.161 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in x 2.161 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.161 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.161 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.161 * [taylor]: Taking taylor expansion of x in x 2.161 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.161 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.161 * [taylor]: Taking taylor expansion of x in x 2.161 * [taylor]: Taking taylor expansion of (+ x y) in x 2.161 * [taylor]: Taking taylor expansion of x in x 2.161 * [taylor]: Taking taylor expansion of y in x 2.162 * [taylor]: Taking taylor expansion of x in x 2.163 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in x 2.163 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.163 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.163 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.163 * [taylor]: Taking taylor expansion of x in x 2.163 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.163 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.163 * [taylor]: Taking taylor expansion of x in x 2.163 * [taylor]: Taking taylor expansion of (+ x y) in x 2.163 * [taylor]: Taking taylor expansion of x in x 2.163 * [taylor]: Taking taylor expansion of y in x 2.165 * [taylor]: Taking taylor expansion of x in x 2.165 * [taylor]: Taking taylor expansion of 1 in y 2.166 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 2.166 * [taylor]: Taking taylor expansion of (log x) in y 2.166 * [taylor]: Taking taylor expansion of x in y 2.166 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.166 * [taylor]: Taking taylor expansion of y in y 2.170 * [taylor]: Taking taylor expansion of (- (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) (/ 1 y)) in y 2.170 * [taylor]: Taking taylor expansion of (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) in y 2.170 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 y))) in y 2.170 * [taylor]: Taking taylor expansion of (log x) in y 2.170 * [taylor]: Taking taylor expansion of x in y 2.170 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.170 * [taylor]: Taking taylor expansion of y in y 2.171 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2))) in y 2.171 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log x) 2)) in y 2.171 * [taylor]: Taking taylor expansion of 1/2 in y 2.171 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 2.171 * [taylor]: Taking taylor expansion of (log x) in y 2.171 * [taylor]: Taking taylor expansion of x in y 2.171 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log (/ 1 y)) 2)) in y 2.171 * [taylor]: Taking taylor expansion of 1/2 in y 2.171 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 2.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.171 * [taylor]: Taking taylor expansion of y in y 2.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.172 * [taylor]: Taking taylor expansion of y in y 2.176 * [approximate]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in (x y) around 0 2.176 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in y 2.176 * [taylor]: Taking taylor expansion of x in y 2.176 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in y 2.176 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.176 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.176 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.176 * [taylor]: Taking taylor expansion of x in y 2.176 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.176 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.176 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.176 * [taylor]: Taking taylor expansion of x in y 2.176 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.176 * [taylor]: Taking taylor expansion of y in y 2.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.177 * [taylor]: Taking taylor expansion of x in y 2.177 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in x 2.178 * [taylor]: Taking taylor expansion of x in x 2.178 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.178 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.178 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.178 * [taylor]: Taking taylor expansion of x in x 2.178 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.178 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.178 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.178 * [taylor]: Taking taylor expansion of x in x 2.178 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.178 * [taylor]: Taking taylor expansion of y in x 2.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.178 * [taylor]: Taking taylor expansion of x in x 2.183 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in x 2.183 * [taylor]: Taking taylor expansion of x in x 2.183 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.183 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.183 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.183 * [taylor]: Taking taylor expansion of x in x 2.184 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.184 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.184 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.184 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.184 * [taylor]: Taking taylor expansion of y in x 2.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.189 * [taylor]: Taking taylor expansion of 0 in y 2.194 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.194 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.194 * [taylor]: Taking taylor expansion of y in y 2.201 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- (/ 1 y))) (pow y 2))) in y 2.201 * [taylor]: Taking taylor expansion of 1/2 in y 2.201 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 2)) in y 2.201 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.201 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.201 * [taylor]: Taking taylor expansion of y in y 2.202 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.202 * [taylor]: Taking taylor expansion of y in y 2.217 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ (exp (- (/ 1 y))) (pow y 4))) (* 1/3 (/ (exp (- (/ 1 y))) (pow y 3)))) in y 2.217 * [taylor]: Taking taylor expansion of (* 1/8 (/ (exp (- (/ 1 y))) (pow y 4))) in y 2.218 * [taylor]: Taking taylor expansion of 1/8 in y 2.218 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 4)) in y 2.218 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.218 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.218 * [taylor]: Taking taylor expansion of y in y 2.218 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.218 * [taylor]: Taking taylor expansion of y in y 2.219 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (- (/ 1 y))) (pow y 3))) in y 2.219 * [taylor]: Taking taylor expansion of 1/3 in y 2.219 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 3)) in y 2.219 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.219 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.219 * [taylor]: Taking taylor expansion of y in y 2.220 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.220 * [taylor]: Taking taylor expansion of y in y 2.239 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in (x y) around 0 2.239 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in y 2.239 * [taylor]: Taking taylor expansion of -1 in y 2.239 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in y 2.239 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in y 2.239 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.239 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.240 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.240 * [taylor]: Taking taylor expansion of -1 in y 2.240 * [taylor]: Taking taylor expansion of x in y 2.240 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.240 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.240 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.240 * [taylor]: Taking taylor expansion of x in y 2.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.240 * [taylor]: Taking taylor expansion of y in y 2.240 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.240 * [taylor]: Taking taylor expansion of x in y 2.241 * [taylor]: Taking taylor expansion of x in y 2.241 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in x 2.241 * [taylor]: Taking taylor expansion of -1 in x 2.241 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in x 2.241 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.241 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.241 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.241 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.241 * [taylor]: Taking taylor expansion of -1 in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.242 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.242 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.242 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.242 * [taylor]: Taking taylor expansion of x in x 2.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.242 * [taylor]: Taking taylor expansion of y in x 2.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.242 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in x 2.247 * [taylor]: Taking taylor expansion of -1 in x 2.247 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in x 2.247 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.247 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.247 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.247 * [taylor]: Taking taylor expansion of -1 in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.247 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.247 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.247 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.247 * [taylor]: Taking taylor expansion of y in x 2.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.253 * [taylor]: Taking taylor expansion of x in x 2.253 * [taylor]: Taking taylor expansion of 0 in y 2.258 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y))) in y 2.258 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.258 * [taylor]: Taking taylor expansion of y in y 2.266 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (/ 1 y)) (pow y 2))) in y 2.266 * [taylor]: Taking taylor expansion of 1/2 in y 2.266 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 2)) in y 2.266 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.266 * [taylor]: Taking taylor expansion of y in y 2.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.266 * [taylor]: Taking taylor expansion of y in y 2.281 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) (* 1/8 (/ (exp (/ 1 y)) (pow y 4))))) in y 2.281 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) (* 1/8 (/ (exp (/ 1 y)) (pow y 4)))) in y 2.281 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) in y 2.281 * [taylor]: Taking taylor expansion of 1/3 in y 2.281 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 3)) in y 2.281 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.281 * [taylor]: Taking taylor expansion of y in y 2.281 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.281 * [taylor]: Taking taylor expansion of y in y 2.282 * [taylor]: Taking taylor expansion of (* 1/8 (/ (exp (/ 1 y)) (pow y 4))) in y 2.282 * [taylor]: Taking taylor expansion of 1/8 in y 2.282 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 4)) in y 2.282 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.282 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.302 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.303 * [approximate]: Taking taylor expansion of (/ x (+ x y)) in (x y) around 0 2.303 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.303 * [taylor]: Taking taylor expansion of x in y 2.303 * [taylor]: Taking taylor expansion of (+ x y) in y 2.303 * [taylor]: Taking taylor expansion of x in y 2.303 * [taylor]: Taking taylor expansion of y in y 2.303 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of (+ x y) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of y in x 2.303 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of (+ x y) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of y in x 2.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.306 * [taylor]: Taking taylor expansion of y in y 2.307 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 2.307 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.307 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.307 * [taylor]: Taking taylor expansion of y in y 2.311 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.311 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.311 * [taylor]: Taking taylor expansion of y in y 2.318 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 2.318 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.318 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.318 * [taylor]: Taking taylor expansion of x in y 2.318 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.318 * [taylor]: Taking taylor expansion of y in y 2.319 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.319 * [taylor]: Taking taylor expansion of x in y 2.319 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.319 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.319 * [taylor]: Taking taylor expansion of x in x 2.319 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.319 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.319 * [taylor]: Taking taylor expansion of y in x 2.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.319 * [taylor]: Taking taylor expansion of x in x 2.321 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.321 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.321 * [taylor]: Taking taylor expansion of x in x 2.321 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.321 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.321 * [taylor]: Taking taylor expansion of y in x 2.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.322 * [taylor]: Taking taylor expansion of x in x 2.324 * [taylor]: Taking taylor expansion of 1 in y 2.325 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.325 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.325 * [taylor]: Taking taylor expansion of y in y 2.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.329 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.329 * [taylor]: Taking taylor expansion of y in y 2.333 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 2.333 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.333 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.333 * [taylor]: Taking taylor expansion of x in y 2.333 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.333 * [taylor]: Taking taylor expansion of y in y 2.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.334 * [taylor]: Taking taylor expansion of x in y 2.334 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.334 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.334 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.334 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.334 * [taylor]: Taking taylor expansion of y in x 2.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.336 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.336 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.336 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.336 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.336 * [taylor]: Taking taylor expansion of y in x 2.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.338 * [taylor]: Taking taylor expansion of 1 in y 2.339 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.340 * [taylor]: Taking taylor expansion of y in y 2.343 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.343 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.343 * [taylor]: Taking taylor expansion of y in y 2.347 * * * [progress]: simplifying candidates 2.350 * [simplify]: Simplifying using # : (expm1 (pow (/ x (+ x y)) x)) (log1p (pow (/ x (+ x y)) x)) (* (- (log x) (log (+ x y))) x) (* (log (/ x (+ x y))) x) (* (log (/ x (+ x y))) x) (* 1 x) (pow (/ x (+ x y)) (* (cbrt x) (cbrt x))) (pow (/ x (+ x y)) (sqrt x)) (pow (/ x (+ x y)) 1) (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (pow (cbrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (pow (/ (cbrt x) (sqrt (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) 1) x) (pow (/ (cbrt x) (+ x y)) x) (pow (/ (* (cbrt x) (cbrt x)) 1) x) (pow (/ (cbrt x) (+ x y)) x) (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (sqrt x) (cbrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (/ (sqrt x) 1) x) (pow (/ (sqrt x) (+ x y)) x) (pow (/ (sqrt x) 1) x) (pow (/ (sqrt x) (+ x y)) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ x (cbrt (+ x y))) x) (pow (/ 1 (sqrt (+ x y))) x) (pow (/ x (sqrt (+ x y))) x) (pow (/ 1 1) x) (pow (/ x (+ x y)) x) (pow (/ 1 1) x) (pow (/ x (+ x y)) x) (pow 1 x) (pow (/ x (+ x y)) x) (pow x x) (pow (/ 1 (+ x y)) x) (pow (/ x (+ (pow x 3) (pow y 3))) x) (pow (+ (* x x) (- (* y y) (* x y))) x) (pow (/ x (- (* x x) (* y y))) x) (pow (- x y) x) (log (pow (/ x (+ x y)) x)) (exp (pow (/ x (+ x y)) x)) (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (cbrt (pow (/ x (+ x y)) x)) (* (* (pow (/ x (+ x y)) x) (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) x)) (sqrt (pow (/ x (+ x y)) x)) (sqrt (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) (/ x 2)) (pow (/ x (+ x y)) (/ x 2)) (expm1 (/ (pow (/ x (+ x y)) x) x)) (log1p (/ (pow (/ x (+ x y)) x) x)) (- (* (- (log x) (log (+ x y))) x) (log x)) (- (* (log (/ x (+ x y))) x) (log x)) (- (* (log (/ x (+ x y))) x) (log x)) (- (log (pow (/ x (+ x y)) x)) (log x)) (log (/ (pow (/ x (+ x y)) x) x)) (exp (/ (pow (/ x (+ x y)) x) x)) (/ (* (* (pow (/ x (+ x y)) x) (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) x)) (* (* x x) x)) (* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x))) (cbrt (/ (pow (/ x (+ x y)) x) x)) (* (* (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ x (+ x y)) x) x)) (/ (pow (/ x (+ x y)) x) x)) (sqrt (/ (pow (/ x (+ x y)) x) x)) (sqrt (/ (pow (/ x (+ x y)) x) x)) (- (pow (/ x (+ x y)) x)) (- x) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (cbrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (sqrt x)) (/ (pow (cbrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) 1) (/ (pow (cbrt (/ x (+ x y))) x) x) (/ (pow (sqrt (/ x (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (sqrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (sqrt (/ x (+ x y))) x) 1) (/ (pow (sqrt (/ x (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 1) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) 1) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) 1) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) 1) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 1) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) 1) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) x) (/ (pow (/ (sqrt x) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (sqrt x) 1) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (sqrt x) 1) x) 1) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (/ (sqrt x) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (sqrt x) 1) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (sqrt x) 1) x) 1) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ x (cbrt (+ x y))) x) (sqrt x)) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 1) (/ (pow (/ x (cbrt (+ x y))) x) x) (/ (pow (/ 1 (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ x (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ 1 (sqrt (+ x y))) x) 1) (/ (pow (/ x (sqrt (+ x y))) x) x) (/ (pow (/ 1 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ (pow (/ 1 1) x) (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow (/ 1 1) x) 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ 1 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ (pow (/ 1 1) x) (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow (/ 1 1) x) 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow 1 x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ (pow 1 x) (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow 1 x) 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow x x) (* (cbrt x) (cbrt x))) (/ (pow (/ 1 (+ x y)) x) (cbrt x)) (/ (pow x x) (sqrt x)) (/ (pow (/ 1 (+ x y)) x) (sqrt x)) (/ (pow x x) 1) (/ (pow (/ 1 (+ x y)) x) x) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (* (cbrt x) (cbrt x))) (/ (pow (+ (* x x) (- (* y y) (* x y))) x) (cbrt x)) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (sqrt x)) (/ (pow (+ (* x x) (- (* y y) (* x y))) x) (sqrt x)) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) 1) (/ (pow (+ (* x x) (- (* y y) (* x y))) x) x) (/ (pow (/ x (- (* x x) (* y y))) x) (* (cbrt x) (cbrt x))) (/ (pow (- x y) x) (cbrt x)) (/ (pow (/ x (- (* x x) (* y y))) x) (sqrt x)) (/ (pow (- x y) x) (sqrt x)) (/ (pow (/ x (- (* x x) (* y y))) x) 1) (/ (pow (- x y) x) x) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (* (cbrt x) (cbrt x))) (/ (cbrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (sqrt x)) (/ (cbrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) 1) (/ (cbrt (pow (/ x (+ x y)) x)) x) (/ (sqrt (pow (/ x (+ x y)) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) 1) (/ (sqrt (pow (/ x (+ x y)) x)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ 1 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ x (+ x y)) (/ x 2)) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) (/ x 2)) (cbrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) 1) (/ (pow (/ x (+ x y)) (/ x 2)) x) (/ 1 x) (/ x (pow (/ x (+ x y)) x)) (/ (pow (/ x (+ x y)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow (/ x (+ x y)) x) 1) (/ x (pow (cbrt (/ x (+ x y))) x)) (/ x (pow (sqrt (/ x (+ x y))) x)) (/ x (pow (/ (cbrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ x (cbrt (+ x y))) x)) (/ x (pow (/ x (sqrt (+ x y))) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ 1 (+ x y)) x)) (/ x (pow (+ (* x x) (- (* y y) (* x y))) x)) (/ x (pow (- x y) x)) (/ x (cbrt (pow (/ x (+ x y)) x))) (/ x (sqrt (pow (/ x (+ x y)) x))) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) (/ x 2))) (expm1 (/ x (+ x y))) (log1p (/ x (+ x y))) (- (log x) (log (+ x y))) (log (/ x (+ x y))) (exp (/ x (+ x y))) (/ (* (* x x) x) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) (cbrt (/ x (+ x y))) (* (* (/ x (+ x y)) (/ x (+ x y))) (/ x (+ x y))) (sqrt (/ x (+ x y))) (sqrt (/ x (+ x y))) (- x) (- (+ x y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt x) (cbrt (+ x y))) (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) (/ (cbrt x) (sqrt (+ x y))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (+ x y)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (+ x y)) (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt x) (cbrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (/ (sqrt x) 1) (/ (sqrt x) (+ x y)) (/ (sqrt x) 1) (/ (sqrt x) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ x (sqrt (+ x y))) (/ 1 1) (/ x (+ x y)) (/ 1 1) (/ x (+ x y)) (/ 1 (+ x y)) (/ (+ x y) x) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (sqrt (+ x y))) (/ x 1) (/ x 1) (/ (+ x y) (cbrt x)) (/ (+ x y) (sqrt x)) (/ (+ x y) x) (/ x (+ (pow x 3) (pow y 3))) (/ x (- (* x x) (* y y))) (- (+ (* 1/2 (* (pow x 2) (pow (log y) 2))) (+ (* (log x) x) (+ (* 1/2 (* (pow (log x) 2) (pow x 2))) 1))) (+ (* x (log y)) (* (log x) (* (pow x 2) (log y))))) (exp (- y)) (exp (* -1 y)) (- (+ (* 1/2 (* x (pow (log y) 2))) (+ (log x) (+ (* 1/2 (* (pow (log x) 2) x)) (/ 1 x)))) (+ (log y) (* (log x) (* x (log y))))) (/ (exp (- y)) x) (/ (exp (* -1 y)) x) 0 0 0 2.360 * * [simplify]: iteration 0 : 282 enodes (cost 2929 ) 2.466 * * [simplify]: iteration 1 : 552 enodes (cost 2745 ) 2.624 * * [simplify]: iteration 2 : 1623 enodes (cost 2688 ) 3.194 * * [simplify]: iteration done : 5000 enodes (cost 2688 ) 3.196 * [simplify]: Simplified to: (expm1 (pow (/ x (+ x y)) x)) (log1p (pow (/ x (+ x y)) x)) (log (pow (/ x (+ x y)) x)) (log (pow (/ x (+ x y)) x)) (log (pow (/ x (+ x y)) x)) x (pow (/ x (+ x y)) (* (cbrt x) (cbrt x))) (pow (/ x (+ x y)) (sqrt x)) (/ x (+ x y)) (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (pow (cbrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (pow (/ (cbrt x) (sqrt (+ x y))) x) (pow (* (cbrt x) (cbrt x)) x) (pow (/ (cbrt x) (+ x y)) x) (pow (* (cbrt x) (cbrt x)) x) (pow (/ (cbrt x) (+ x y)) x) (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (sqrt x) (cbrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (sqrt x) x) (pow (/ (sqrt x) (+ x y)) x) (pow (sqrt x) x) (pow (/ (sqrt x) (+ x y)) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ x (cbrt (+ x y))) x) (pow (/ 1 (sqrt (+ x y))) x) (pow (/ x (sqrt (+ x y))) x) 1 (pow (/ x (+ x y)) x) 1 (pow (/ x (+ x y)) x) 1 (pow (/ x (+ x y)) x) (pow x x) (pow (/ 1 (+ x y)) x) (pow (/ x (+ (pow x 3) (pow y 3))) x) (pow (fma x x (* y (- y x))) x) (pow (/ x (- (* x x) (* y y))) x) (pow (- x y) x) (log (pow (/ x (+ x y)) x)) (exp (pow (/ x (+ x y)) x)) (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (cbrt (pow (/ x (+ x y)) x)) (pow (pow (/ x (+ x y)) x) 3) (sqrt (pow (/ x (+ x y)) x)) (sqrt (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) (/ x 2)) (pow (/ x (+ x y)) (/ x 2)) (expm1 (/ (pow (/ x (+ x y)) x) x)) (log1p (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (exp (/ (pow (/ x (+ x y)) x) x)) (pow (/ (pow (/ x (+ x y)) x) x) 3) (* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x))) (cbrt (/ (pow (/ x (+ x y)) x) x)) (pow (/ (pow (/ x (+ x y)) x) x) 3) (sqrt (/ (pow (/ x (+ x y)) x) x)) (sqrt (/ (pow (/ x (+ x y)) x) x)) (- (pow (/ x (+ x y)) x)) (- x) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (cbrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (sqrt x)) (/ (pow (cbrt (/ x (+ x y))) x) (sqrt x)) (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (/ (pow (cbrt (/ x (+ x y))) x) x) (/ (pow (sqrt (/ x (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (sqrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (pow (sqrt (/ x (+ x y))) x) (/ (pow (sqrt (/ x (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (sqrt x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (sqrt x)) (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) x) (/ (pow (* (cbrt x) (cbrt x)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (* (cbrt x) (cbrt x)) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (pow (* (cbrt x) (cbrt x)) x) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (* (cbrt x) (cbrt x)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (* (cbrt x) (cbrt x)) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (pow (* (cbrt x) (cbrt x)) x) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (sqrt x)) (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (pow (/ (sqrt x) (sqrt (+ x y))) x) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) x) (/ (pow (sqrt x) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (sqrt x) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (pow (sqrt x) x) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (sqrt x) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (sqrt x) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (pow (sqrt x) x) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ x (cbrt (+ x y))) x) (sqrt x)) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (/ (pow (/ x (cbrt (+ x y))) x) x) (/ (pow (/ 1 (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ x (sqrt (+ x y))) x) (sqrt x)) (pow (/ 1 (sqrt (+ x y))) x) (/ (pow (/ x (sqrt (+ x y))) x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ (pow x x) (* (cbrt x) (cbrt x))) (/ (pow (/ 1 (+ x y)) x) (cbrt x)) (/ (pow x x) (sqrt x)) (/ (pow (/ 1 (+ x y)) x) (sqrt x)) (pow x x) (/ (pow (/ 1 (+ x y)) x) x) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (* (cbrt x) (cbrt x))) (/ (pow (fma x x (* y (- y x))) x) (cbrt x)) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (sqrt x)) (/ (pow (fma x x (* y (- y x))) x) (sqrt x)) (pow (/ x (+ (pow x 3) (pow y 3))) x) (/ (pow (fma x x (* y (- y x))) x) x) (/ (pow (/ x (- (* x x) (* y y))) x) (* (cbrt x) (cbrt x))) (/ (pow (- x y) x) (cbrt x)) (/ (pow (/ x (- (* x x) (* y y))) x) (sqrt x)) (/ (pow (- x y) x) (sqrt x)) (pow (/ x (- (* x x) (* y y))) x) (/ (pow (- x y) x) x) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (* (cbrt x) (cbrt x))) (/ (cbrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (sqrt x)) (/ (cbrt (pow (/ x (+ x y)) x)) (sqrt x)) (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (/ (cbrt (pow (/ x (+ x y)) x)) x) (/ (sqrt (pow (/ x (+ x y)) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (sqrt (pow (/ x (+ x y)) x)) (/ (sqrt (pow (/ x (+ x y)) x)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ x (+ x y)) (/ x 2)) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) (/ x 2)) (cbrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (pow (/ x (+ x y)) (/ x 2)) (/ (pow (/ x (+ x y)) (/ x 2)) x) (/ 1 x) (/ x (pow (/ x (+ x y)) x)) (/ (pow (/ x (+ x y)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (sqrt x)) (pow (/ x (+ x y)) x) (/ x (pow (cbrt (/ x (+ x y))) x)) (/ x (pow (sqrt (/ x (+ x y))) x)) (/ x (pow (/ (cbrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ x (cbrt (+ x y))) x)) (/ x (pow (/ x (sqrt (+ x y))) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ 1 (+ x y)) x)) (/ x (pow (fma x x (* y (- y x))) x)) (/ x (pow (- x y) x)) (/ x (cbrt (pow (/ x (+ x y)) x))) (/ x (sqrt (pow (/ x (+ x y)) x))) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) (/ x 2))) (expm1 (/ x (+ x y))) (log1p (/ x (+ x y))) (log (/ x (+ x y))) (log (/ x (+ x y))) (exp (/ x (+ x y))) (pow (/ x (+ x y)) 3) (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) (cbrt (/ x (+ x y))) (pow (/ x (+ x y)) 3) (sqrt (/ x (+ x y))) (sqrt (/ x (+ x y))) (- x) (- (+ x y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt x) (cbrt (+ x y))) (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) (/ (cbrt x) (sqrt (+ x y))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y)) (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt x) (cbrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (sqrt x) (/ (sqrt x) (+ x y)) (sqrt x) (/ (sqrt x) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ x (sqrt (+ x y))) 1 (/ x (+ x y)) 1 (/ x (+ x y)) (/ 1 (+ x y)) (/ (+ x y) x) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (sqrt (+ x y))) x x (/ (+ x y) (cbrt x)) (/ (+ x y) (sqrt x)) (/ (+ x y) x) (/ x (+ (pow x 3) (pow y 3))) (/ x (- (* x x) (* y y))) (- (fma 1/2 (* (pow x 2) (pow (log y) 2)) (fma (log x) x (fma 1/2 (* (pow (log x) 2) (pow x 2)) 1))) (* (log y) (+ x (* (log x) (* x x))))) (exp (- y)) (exp (- y)) (fma 1/2 (* x (pow (log y) 2)) (+ (fma 1/2 (* (pow (log x) 2) x) (/ 1 x)) (- (log x) (fma (log x) (* x (log y)) (log y))))) (/ (exp (- y)) x) (/ (exp (- y)) x) 0 0 0 3.197 * * * [progress]: adding candidates to table 3.627 * * [progress]: iteration 2 / 4 3.627 * * * [progress]: picking best candidate 3.639 * * * * [pick]: Picked # 3.639 * * * [progress]: localizing error 3.656 * * * [progress]: generating rewritten candidates 3.656 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.671 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 3.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 3.672 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 3.674 * * * [progress]: generating series expansions 3.674 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.675 * [approximate]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in (x y) around 0 3.675 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in y 3.675 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in y 3.675 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in y 3.675 * [taylor]: Taking taylor expansion of x in y 3.675 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in y 3.675 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in y 3.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in y 3.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in y 3.675 * [taylor]: Taking taylor expansion of 1/3 in y 3.675 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in y 3.675 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in y 3.675 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.675 * [taylor]: Taking taylor expansion of x in y 3.675 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 3.675 * [taylor]: Taking taylor expansion of (+ x y) in y 3.675 * [taylor]: Taking taylor expansion of x in y 3.675 * [taylor]: Taking taylor expansion of y in y 3.679 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 3.679 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 3.679 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 3.679 * [taylor]: Taking taylor expansion of x in x 3.679 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 3.679 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 3.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 3.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 3.679 * [taylor]: Taking taylor expansion of 1/3 in x 3.679 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 3.679 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 3.679 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.679 * [taylor]: Taking taylor expansion of x in x 3.679 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 3.679 * [taylor]: Taking taylor expansion of (+ x y) in x 3.679 * [taylor]: Taking taylor expansion of x in x 3.679 * [taylor]: Taking taylor expansion of y in x 3.684 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 3.684 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 3.684 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 3.684 * [taylor]: Taking taylor expansion of x in x 3.684 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 3.684 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 3.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 3.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 3.684 * [taylor]: Taking taylor expansion of 1/3 in x 3.684 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 3.684 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 3.684 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.684 * [taylor]: Taking taylor expansion of x in x 3.684 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 3.684 * [taylor]: Taking taylor expansion of (+ x y) in x 3.684 * [taylor]: Taking taylor expansion of x in x 3.684 * [taylor]: Taking taylor expansion of y in x 3.689 * [taylor]: Taking taylor expansion of 1 in y 3.689 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log x)) (* 1/3 (log (/ 1 (pow y 2))))) in y 3.689 * [taylor]: Taking taylor expansion of (* 2/3 (log x)) in y 3.689 * [taylor]: Taking taylor expansion of 2/3 in y 3.689 * [taylor]: Taking taylor expansion of (log x) in y 3.689 * [taylor]: Taking taylor expansion of x in y 3.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 3.689 * [taylor]: Taking taylor expansion of 1/3 in y 3.689 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.689 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.689 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.689 * [taylor]: Taking taylor expansion of y in y 3.699 * [taylor]: Taking taylor expansion of (- (+ (* 2/9 (pow (log x) 2)) (+ (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) (* 1/18 (pow (log (/ 1 (pow y 2))) 2)))) (* 2/3 (/ 1 y))) in y 3.699 * [taylor]: Taking taylor expansion of (+ (* 2/9 (pow (log x) 2)) (+ (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) (* 1/18 (pow (log (/ 1 (pow y 2))) 2)))) in y 3.699 * [taylor]: Taking taylor expansion of (* 2/9 (pow (log x) 2)) in y 3.699 * [taylor]: Taking taylor expansion of 2/9 in y 3.699 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 3.699 * [taylor]: Taking taylor expansion of (log x) in y 3.699 * [taylor]: Taking taylor expansion of x in y 3.699 * [taylor]: Taking taylor expansion of (+ (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) (* 1/18 (pow (log (/ 1 (pow y 2))) 2))) in y 3.699 * [taylor]: Taking taylor expansion of (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) in y 3.699 * [taylor]: Taking taylor expansion of 2/9 in y 3.699 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 (pow y 2)))) in y 3.699 * [taylor]: Taking taylor expansion of (log x) in y 3.699 * [taylor]: Taking taylor expansion of x in y 3.699 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.699 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.699 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.699 * [taylor]: Taking taylor expansion of y in y 3.700 * [taylor]: Taking taylor expansion of (* 1/18 (pow (log (/ 1 (pow y 2))) 2)) in y 3.700 * [taylor]: Taking taylor expansion of 1/18 in y 3.700 * [taylor]: Taking taylor expansion of (pow (log (/ 1 (pow y 2))) 2) in y 3.700 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.700 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.700 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.700 * [taylor]: Taking taylor expansion of y in y 3.701 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.702 * [taylor]: Taking taylor expansion of 2/3 in y 3.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.702 * [taylor]: Taking taylor expansion of y in y 3.706 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in (x y) around 0 3.707 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in y 3.707 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 3.707 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 3.707 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.707 * [taylor]: Taking taylor expansion of x in y 3.707 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 3.707 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 3.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 3.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 3.707 * [taylor]: Taking taylor expansion of 1/3 in y 3.707 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 3.707 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 3.707 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 3.707 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.707 * [taylor]: Taking taylor expansion of x in y 3.707 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 3.707 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.707 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.707 * [taylor]: Taking taylor expansion of y in y 3.707 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.707 * [taylor]: Taking taylor expansion of x in y 3.709 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 3.709 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.709 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.709 * [taylor]: Taking taylor expansion of x in x 3.710 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.710 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.710 * [taylor]: Taking taylor expansion of 1/3 in x 3.710 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.710 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.710 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.710 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.710 * [taylor]: Taking taylor expansion of x in x 3.710 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.710 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.710 * [taylor]: Taking taylor expansion of y in x 3.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.710 * [taylor]: Taking taylor expansion of x in x 3.716 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 3.716 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.716 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.716 * [taylor]: Taking taylor expansion of x in x 3.717 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.717 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.717 * [taylor]: Taking taylor expansion of 1/3 in x 3.717 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.717 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.717 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.717 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.717 * [taylor]: Taking taylor expansion of x in x 3.717 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.717 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.717 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.717 * [taylor]: Taking taylor expansion of y in x 3.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.717 * [taylor]: Taking taylor expansion of x in x 3.723 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.723 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.723 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.723 * [taylor]: Taking taylor expansion of 2/3 in y 3.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.723 * [taylor]: Taking taylor expansion of y in y 3.730 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (- (* 2/3 (/ 1 y)))) (pow y 2))) in y 3.730 * [taylor]: Taking taylor expansion of 1/3 in y 3.730 * [taylor]: Taking taylor expansion of (/ (exp (- (* 2/3 (/ 1 y)))) (pow y 2)) in y 3.731 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.731 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.731 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.731 * [taylor]: Taking taylor expansion of 2/3 in y 3.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.731 * [taylor]: Taking taylor expansion of y in y 3.731 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.732 * [taylor]: Taking taylor expansion of y in y 3.744 * [taylor]: Taking taylor expansion of (* (- (* 1/18 (/ 1 (pow y 4))) (* 2/9 (/ 1 (pow y 3)))) (exp (- (* 2/3 (/ 1 y))))) in y 3.744 * [taylor]: Taking taylor expansion of (- (* 1/18 (/ 1 (pow y 4))) (* 2/9 (/ 1 (pow y 3)))) in y 3.744 * [taylor]: Taking taylor expansion of (* 1/18 (/ 1 (pow y 4))) in y 3.744 * [taylor]: Taking taylor expansion of 1/18 in y 3.744 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.744 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.744 * [taylor]: Taking taylor expansion of y in y 3.745 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 (pow y 3))) in y 3.745 * [taylor]: Taking taylor expansion of 2/9 in y 3.745 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.745 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.745 * [taylor]: Taking taylor expansion of y in y 3.746 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.746 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.746 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.746 * [taylor]: Taking taylor expansion of 2/3 in y 3.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.746 * [taylor]: Taking taylor expansion of y in y 3.780 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/162 (/ 1 (pow y 6))) (* 1/6 (/ 1 (pow y 4)))) (* 2/27 (/ 1 (pow y 5)))) (exp (- (* 2/3 (/ 1 y))))) in y 3.780 * [taylor]: Taking taylor expansion of (- (+ (* 1/162 (/ 1 (pow y 6))) (* 1/6 (/ 1 (pow y 4)))) (* 2/27 (/ 1 (pow y 5)))) in y 3.780 * [taylor]: Taking taylor expansion of (+ (* 1/162 (/ 1 (pow y 6))) (* 1/6 (/ 1 (pow y 4)))) in y 3.780 * [taylor]: Taking taylor expansion of (* 1/162 (/ 1 (pow y 6))) in y 3.780 * [taylor]: Taking taylor expansion of 1/162 in y 3.780 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.780 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.781 * [taylor]: Taking taylor expansion of y in y 3.782 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 4))) in y 3.782 * [taylor]: Taking taylor expansion of 1/6 in y 3.782 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.782 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.782 * [taylor]: Taking taylor expansion of y in y 3.783 * [taylor]: Taking taylor expansion of (* 2/27 (/ 1 (pow y 5))) in y 3.783 * [taylor]: Taking taylor expansion of 2/27 in y 3.783 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 3.783 * [taylor]: Taking taylor expansion of (pow y 5) in y 3.783 * [taylor]: Taking taylor expansion of y in y 3.784 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.784 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.784 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.784 * [taylor]: Taking taylor expansion of 2/3 in y 3.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.784 * [taylor]: Taking taylor expansion of y in y 3.835 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in (x y) around 0 3.835 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in y 3.835 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 3.835 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 3.835 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.835 * [taylor]: Taking taylor expansion of -1 in y 3.835 * [taylor]: Taking taylor expansion of x in y 3.835 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 3.835 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 3.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 3.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 3.835 * [taylor]: Taking taylor expansion of 1/3 in y 3.835 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 3.835 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 3.835 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 3.835 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.835 * [taylor]: Taking taylor expansion of x in y 3.835 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 3.835 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.835 * [taylor]: Taking taylor expansion of y in y 3.836 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.836 * [taylor]: Taking taylor expansion of x in y 3.838 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 3.838 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.838 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.838 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.838 * [taylor]: Taking taylor expansion of -1 in x 3.838 * [taylor]: Taking taylor expansion of x in x 3.838 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.838 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.838 * [taylor]: Taking taylor expansion of 1/3 in x 3.838 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.838 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.838 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.838 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.839 * [taylor]: Taking taylor expansion of x in x 3.839 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.839 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.839 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.839 * [taylor]: Taking taylor expansion of y in x 3.839 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.839 * [taylor]: Taking taylor expansion of x in x 3.845 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 3.845 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.845 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.845 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.845 * [taylor]: Taking taylor expansion of -1 in x 3.845 * [taylor]: Taking taylor expansion of x in x 3.845 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.845 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.845 * [taylor]: Taking taylor expansion of 1/3 in x 3.845 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.845 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.845 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.845 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.845 * [taylor]: Taking taylor expansion of x in x 3.845 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.845 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.845 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.845 * [taylor]: Taking taylor expansion of y in x 3.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.845 * [taylor]: Taking taylor expansion of x in x 3.852 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.852 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.852 * [taylor]: Taking taylor expansion of 2/3 in y 3.852 * [taylor]: Taking taylor expansion of y in y 3.859 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (/ 2/3 y)) (pow y 2))) in y 3.859 * [taylor]: Taking taylor expansion of -1/3 in y 3.859 * [taylor]: Taking taylor expansion of (/ (exp (/ 2/3 y)) (pow y 2)) in y 3.859 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.859 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.859 * [taylor]: Taking taylor expansion of 2/3 in y 3.859 * [taylor]: Taking taylor expansion of y in y 3.859 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.859 * [taylor]: Taking taylor expansion of y in y 3.875 * [taylor]: Taking taylor expansion of (* (+ (* 2/9 (/ 1 (pow y 3))) (* 1/18 (/ 1 (pow y 4)))) (exp (/ 2/3 y))) in y 3.875 * [taylor]: Taking taylor expansion of (+ (* 2/9 (/ 1 (pow y 3))) (* 1/18 (/ 1 (pow y 4)))) in y 3.875 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 (pow y 3))) in y 3.875 * [taylor]: Taking taylor expansion of 2/9 in y 3.875 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.875 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.875 * [taylor]: Taking taylor expansion of y in y 3.876 * [taylor]: Taking taylor expansion of (* 1/18 (/ 1 (pow y 4))) in y 3.876 * [taylor]: Taking taylor expansion of 1/18 in y 3.876 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.876 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.876 * [taylor]: Taking taylor expansion of y in y 3.876 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.876 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.876 * [taylor]: Taking taylor expansion of 2/3 in y 3.877 * [taylor]: Taking taylor expansion of y in y 3.909 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/162 (/ 1 (pow y 6))) (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5))))) (exp (/ 2/3 y)))) in y 3.910 * [taylor]: Taking taylor expansion of -1 in y 3.910 * [taylor]: Taking taylor expansion of (* (+ (* 1/162 (/ 1 (pow y 6))) (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5))))) (exp (/ 2/3 y))) in y 3.910 * [taylor]: Taking taylor expansion of (+ (* 1/162 (/ 1 (pow y 6))) (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5))))) in y 3.910 * [taylor]: Taking taylor expansion of (* 1/162 (/ 1 (pow y 6))) in y 3.910 * [taylor]: Taking taylor expansion of 1/162 in y 3.910 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.910 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.910 * [taylor]: Taking taylor expansion of y in y 3.911 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5)))) in y 3.911 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 4))) in y 3.911 * [taylor]: Taking taylor expansion of 1/6 in y 3.911 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.911 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.911 * [taylor]: Taking taylor expansion of y in y 3.912 * [taylor]: Taking taylor expansion of (* 2/27 (/ 1 (pow y 5))) in y 3.912 * [taylor]: Taking taylor expansion of 2/27 in y 3.912 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 3.912 * [taylor]: Taking taylor expansion of (pow y 5) in y 3.912 * [taylor]: Taking taylor expansion of y in y 3.913 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.913 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.913 * [taylor]: Taking taylor expansion of 2/3 in y 3.913 * [taylor]: Taking taylor expansion of y in y 3.966 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 3.966 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 3.966 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.966 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.966 * [taylor]: Taking taylor expansion of 1/3 in x 3.966 * [taylor]: Taking taylor expansion of (log x) in x 3.966 * [taylor]: Taking taylor expansion of x in x 3.967 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.967 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.967 * [taylor]: Taking taylor expansion of 1/3 in x 3.967 * [taylor]: Taking taylor expansion of (log x) in x 3.967 * [taylor]: Taking taylor expansion of x in x 4.018 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.018 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.018 * [taylor]: Taking taylor expansion of 1/3 in x 4.018 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.018 * [taylor]: Taking taylor expansion of x in x 4.019 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.019 * [taylor]: Taking taylor expansion of 1/3 in x 4.019 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.019 * [taylor]: Taking taylor expansion of x in x 4.077 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.077 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.077 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.077 * [taylor]: Taking taylor expansion of -1 in x 4.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.078 * [taylor]: Taking taylor expansion of 1/3 in x 4.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.078 * [taylor]: Taking taylor expansion of x in x 4.079 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.079 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.079 * [taylor]: Taking taylor expansion of -1 in x 4.080 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.080 * [taylor]: Taking taylor expansion of 1/3 in x 4.080 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.080 * [taylor]: Taking taylor expansion of x in x 4.149 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 4.149 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.149 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.149 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.149 * [taylor]: Taking taylor expansion of 1/3 in x 4.149 * [taylor]: Taking taylor expansion of (log x) in x 4.149 * [taylor]: Taking taylor expansion of x in x 4.149 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.150 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.150 * [taylor]: Taking taylor expansion of 1/3 in x 4.150 * [taylor]: Taking taylor expansion of (log x) in x 4.150 * [taylor]: Taking taylor expansion of x in x 4.203 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.203 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.203 * [taylor]: Taking taylor expansion of 1/3 in x 4.203 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.203 * [taylor]: Taking taylor expansion of x in x 4.204 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.205 * [taylor]: Taking taylor expansion of 1/3 in x 4.205 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.205 * [taylor]: Taking taylor expansion of x in x 4.258 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.259 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.259 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.259 * [taylor]: Taking taylor expansion of -1 in x 4.259 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.260 * [taylor]: Taking taylor expansion of 1/3 in x 4.260 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.260 * [taylor]: Taking taylor expansion of x in x 4.261 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.261 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.261 * [taylor]: Taking taylor expansion of -1 in x 4.261 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.261 * [taylor]: Taking taylor expansion of 1/3 in x 4.261 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.261 * [taylor]: Taking taylor expansion of x in x 4.335 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 4.335 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.335 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.335 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.335 * [taylor]: Taking taylor expansion of 1/3 in x 4.335 * [taylor]: Taking taylor expansion of (log x) in x 4.335 * [taylor]: Taking taylor expansion of x in x 4.335 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.336 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.336 * [taylor]: Taking taylor expansion of 1/3 in x 4.336 * [taylor]: Taking taylor expansion of (log x) in x 4.336 * [taylor]: Taking taylor expansion of x in x 4.394 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.394 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.394 * [taylor]: Taking taylor expansion of 1/3 in x 4.394 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.394 * [taylor]: Taking taylor expansion of x in x 4.395 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.396 * [taylor]: Taking taylor expansion of 1/3 in x 4.396 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.396 * [taylor]: Taking taylor expansion of x in x 4.458 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.458 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.458 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.458 * [taylor]: Taking taylor expansion of -1 in x 4.459 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.460 * [taylor]: Taking taylor expansion of 1/3 in x 4.460 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.460 * [taylor]: Taking taylor expansion of x in x 4.461 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.461 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.461 * [taylor]: Taking taylor expansion of -1 in x 4.462 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.462 * [taylor]: Taking taylor expansion of 1/3 in x 4.462 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.462 * [taylor]: Taking taylor expansion of x in x 4.536 * * * [progress]: simplifying candidates 4.537 * [simplify]: Simplifying using # : (expm1 (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (log1p (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt (+ x y))) (log (cbrt (+ x y))))) x) (* (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt (+ x y))) (log (cbrt (+ x y))))) x) (* (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* 1 x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt x) (cbrt x))) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 1) (pow (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))) x) (pow (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow 1 x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (* (cbrt x) (cbrt x)) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (+ (* x x) (- (* y y) (* x y))))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (- x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (- x y)) (cbrt (+ (* x x) (- (* y y) (* x y))))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (- x y)) (cbrt (- x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (cbrt (+ (* x x) (- (* y y) (* x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (- (* x x) (* y y))))) x) (pow (cbrt (- x y)) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ x y)))) x) (pow (cbrt (+ (* x x) (- (* y y) (* x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (log (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (exp (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x))) (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (* (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (* 2/9 (* (pow x 2) (pow (log y) 2))) (+ (* 2/3 (* (log x) x)) (+ (* 2/9 (* (pow (log x) 2) (pow x 2))) 1))) (+ (* 2/3 (* x (log y))) (* 4/9 (* (log x) (* (pow x 2) (log y)))))) (exp (- (* 2/3 y))) (exp (* -2/3 y)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 4.542 * * [simplify]: iteration 0 : 154 enodes (cost 1147 ) 4.580 * * [simplify]: iteration 1 : 368 enodes (cost 1061 ) 4.659 * * [simplify]: iteration 2 : 900 enodes (cost 939 ) 5.052 * * [simplify]: iteration 3 : 2667 enodes (cost 921 ) 5.920 * * [simplify]: iteration done : 5000 enodes (cost 921 ) 5.920 * [simplify]: Simplified to: (expm1 (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (log1p (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) 2) x) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) 2) x) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) 2) x) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) 2) x) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) 2) x) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) 2) x) x (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (pow x 2/3)) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt x)) (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (pow (* (cbrt (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))))) x) (pow (cbrt (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (fabs (/ (cbrt x) (cbrt (+ x y)))) x) (pow (fabs (/ (cbrt x) (cbrt (+ x y)))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) 1 (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (pow x 2/3) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (fma x x (* y (- y x)))) (cbrt (fma x x (* y (- y x))))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (fma x x (* y (- y x)))) (cbrt (- x y))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (fma x x (* y (- y x)))) (cbrt (- x y))) x) (pow (/ (pow x 2/3) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (- x y)) (cbrt (- x y))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ x y)))) x) (pow (cbrt (fma x x (* y (- y x)))) x) (pow (/ (pow x 2/3) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ x y)))) x) (pow (cbrt (fma x x (* y (- y x)))) x) (pow (/ (pow x 2/3) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) 2) x) (exp (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (cbrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (cbrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x))) (cbrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 3) (sqrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (fma (pow (log y) 2) (* 2/9 (* x x)) (- (fma 2/3 (* (log x) x) (fma 2/9 (* (pow (log x) 2) (pow x 2)) 1)) (* (log y) (+ (* 4/9 (* (log x) (* x x))) (* 2/3 x))))) (exp (* -2/3 y)) (exp (* -2/3 y)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 5.921 * * * [progress]: adding candidates to table 6.212 * * [progress]: iteration 3 / 4 6.212 * * * [progress]: picking best candidate 6.224 * * * * [pick]: Picked # 6.224 * * * [progress]: localizing error 6.243 * * * [progress]: generating rewritten candidates 6.243 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 6.253 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 6.253 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 6.254 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 6.258 * * * [progress]: generating series expansions 6.258 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 6.258 * [approximate]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in (x y) around 0 6.258 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in y 6.258 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in y 6.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in y 6.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in y 6.258 * [taylor]: Taking taylor expansion of 1/3 in y 6.258 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 6.258 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 6.259 * [taylor]: Taking taylor expansion of x in y 6.259 * [taylor]: Taking taylor expansion of (+ x y) in y 6.259 * [taylor]: Taking taylor expansion of x in y 6.259 * [taylor]: Taking taylor expansion of y in y 6.261 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 6.261 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 6.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 6.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 6.261 * [taylor]: Taking taylor expansion of 1/3 in x 6.261 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 6.261 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 6.261 * [taylor]: Taking taylor expansion of x in x 6.261 * [taylor]: Taking taylor expansion of (+ x y) in x 6.261 * [taylor]: Taking taylor expansion of x in x 6.261 * [taylor]: Taking taylor expansion of y in x 6.262 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 6.262 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 6.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 6.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 6.262 * [taylor]: Taking taylor expansion of 1/3 in x 6.262 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 6.262 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 6.262 * [taylor]: Taking taylor expansion of x in x 6.262 * [taylor]: Taking taylor expansion of (+ x y) in x 6.262 * [taylor]: Taking taylor expansion of x in x 6.262 * [taylor]: Taking taylor expansion of y in x 6.263 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 6.263 * [taylor]: Taking taylor expansion of 1/3 in y 6.263 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 6.263 * [taylor]: Taking taylor expansion of (log x) in y 6.263 * [taylor]: Taking taylor expansion of x in y 6.263 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.263 * [taylor]: Taking taylor expansion of y in y 6.266 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 6.266 * [taylor]: Taking taylor expansion of -1/3 in y 6.266 * [taylor]: Taking taylor expansion of y in y 6.272 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 6.272 * [taylor]: Taking taylor expansion of 1/6 in y 6.272 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.272 * [taylor]: Taking taylor expansion of y in y 6.286 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 6.287 * [taylor]: Taking taylor expansion of -1/9 in y 6.287 * [taylor]: Taking taylor expansion of (pow y 3) in y 6.287 * [taylor]: Taking taylor expansion of y in y 6.293 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 6.293 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 6.293 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 6.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 6.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 6.293 * [taylor]: Taking taylor expansion of 1/3 in y 6.293 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 6.293 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 6.293 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 6.293 * [taylor]: Taking taylor expansion of x in y 6.293 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.293 * [taylor]: Taking taylor expansion of y in y 6.294 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.294 * [taylor]: Taking taylor expansion of x in y 6.295 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.295 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.295 * [taylor]: Taking taylor expansion of 1/3 in x 6.295 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.295 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.295 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.295 * [taylor]: Taking taylor expansion of x in x 6.295 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.295 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.295 * [taylor]: Taking taylor expansion of y in x 6.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.295 * [taylor]: Taking taylor expansion of x in x 6.300 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.300 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.300 * [taylor]: Taking taylor expansion of 1/3 in x 6.301 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.301 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.301 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.301 * [taylor]: Taking taylor expansion of x in x 6.301 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.301 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.301 * [taylor]: Taking taylor expansion of y in x 6.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.301 * [taylor]: Taking taylor expansion of x in x 6.306 * [taylor]: Taking taylor expansion of 0 in y 6.306 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 6.306 * [taylor]: Taking taylor expansion of -1/3 in y 6.306 * [taylor]: Taking taylor expansion of y in y 6.313 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 6.313 * [taylor]: Taking taylor expansion of 1/6 in y 6.314 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.314 * [taylor]: Taking taylor expansion of y in y 6.317 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 6.317 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 6.317 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 6.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 6.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 6.318 * [taylor]: Taking taylor expansion of 1/3 in y 6.318 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 6.318 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 6.318 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 6.318 * [taylor]: Taking taylor expansion of x in y 6.318 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.318 * [taylor]: Taking taylor expansion of y in y 6.318 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.318 * [taylor]: Taking taylor expansion of x in y 6.319 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.319 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.319 * [taylor]: Taking taylor expansion of 1/3 in x 6.319 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.319 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.319 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.319 * [taylor]: Taking taylor expansion of x in x 6.319 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.319 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.319 * [taylor]: Taking taylor expansion of y in x 6.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.319 * [taylor]: Taking taylor expansion of x in x 6.324 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.324 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.324 * [taylor]: Taking taylor expansion of 1/3 in x 6.324 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.324 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.324 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.324 * [taylor]: Taking taylor expansion of x in x 6.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.324 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.325 * [taylor]: Taking taylor expansion of y in x 6.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.325 * [taylor]: Taking taylor expansion of x in x 6.329 * [taylor]: Taking taylor expansion of 0 in y 6.330 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 6.330 * [taylor]: Taking taylor expansion of -1/3 in y 6.330 * [taylor]: Taking taylor expansion of y in y 6.336 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 6.336 * [taylor]: Taking taylor expansion of 1/6 in y 6.336 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.336 * [taylor]: Taking taylor expansion of y in y 6.339 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 6.339 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.339 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.339 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.339 * [taylor]: Taking taylor expansion of 1/3 in x 6.339 * [taylor]: Taking taylor expansion of (log x) in x 6.339 * [taylor]: Taking taylor expansion of x in x 6.340 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.340 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.340 * [taylor]: Taking taylor expansion of 1/3 in x 6.340 * [taylor]: Taking taylor expansion of (log x) in x 6.340 * [taylor]: Taking taylor expansion of x in x 6.398 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.398 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.398 * [taylor]: Taking taylor expansion of 1/3 in x 6.398 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.398 * [taylor]: Taking taylor expansion of x in x 6.399 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.399 * [taylor]: Taking taylor expansion of 1/3 in x 6.399 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.399 * [taylor]: Taking taylor expansion of x in x 6.462 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.462 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.462 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.462 * [taylor]: Taking taylor expansion of -1 in x 6.463 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.463 * [taylor]: Taking taylor expansion of 1/3 in x 6.463 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.463 * [taylor]: Taking taylor expansion of x in x 6.465 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.465 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.465 * [taylor]: Taking taylor expansion of -1 in x 6.466 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.466 * [taylor]: Taking taylor expansion of 1/3 in x 6.466 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.466 * [taylor]: Taking taylor expansion of x in x 6.542 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 6.542 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.542 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.542 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.543 * [taylor]: Taking taylor expansion of 1/3 in x 6.543 * [taylor]: Taking taylor expansion of (log x) in x 6.543 * [taylor]: Taking taylor expansion of x in x 6.543 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.543 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.543 * [taylor]: Taking taylor expansion of 1/3 in x 6.543 * [taylor]: Taking taylor expansion of (log x) in x 6.543 * [taylor]: Taking taylor expansion of x in x 6.594 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.594 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.594 * [taylor]: Taking taylor expansion of 1/3 in x 6.594 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.594 * [taylor]: Taking taylor expansion of x in x 6.595 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.595 * [taylor]: Taking taylor expansion of 1/3 in x 6.595 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.595 * [taylor]: Taking taylor expansion of x in x 6.658 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.658 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.658 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.658 * [taylor]: Taking taylor expansion of -1 in x 6.659 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.659 * [taylor]: Taking taylor expansion of 1/3 in x 6.659 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.659 * [taylor]: Taking taylor expansion of x in x 6.660 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.660 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.660 * [taylor]: Taking taylor expansion of -1 in x 6.661 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.661 * [taylor]: Taking taylor expansion of 1/3 in x 6.661 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.661 * [taylor]: Taking taylor expansion of x in x 6.738 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 6.738 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.738 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.738 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.738 * [taylor]: Taking taylor expansion of 1/3 in x 6.738 * [taylor]: Taking taylor expansion of (log x) in x 6.738 * [taylor]: Taking taylor expansion of x in x 6.739 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.739 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.739 * [taylor]: Taking taylor expansion of 1/3 in x 6.739 * [taylor]: Taking taylor expansion of (log x) in x 6.739 * [taylor]: Taking taylor expansion of x in x 6.799 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.799 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.799 * [taylor]: Taking taylor expansion of 1/3 in x 6.799 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.799 * [taylor]: Taking taylor expansion of x in x 6.800 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.801 * [taylor]: Taking taylor expansion of 1/3 in x 6.801 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.801 * [taylor]: Taking taylor expansion of x in x 6.865 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.865 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.865 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.865 * [taylor]: Taking taylor expansion of -1 in x 6.866 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.866 * [taylor]: Taking taylor expansion of 1/3 in x 6.866 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.866 * [taylor]: Taking taylor expansion of x in x 6.867 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.867 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.867 * [taylor]: Taking taylor expansion of -1 in x 6.868 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.868 * [taylor]: Taking taylor expansion of 1/3 in x 6.868 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.868 * [taylor]: Taking taylor expansion of x in x 6.939 * * * [progress]: simplifying candidates 6.948 * [simplify]: Simplifying using # : (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (log (* (cbrt (/ (cbrt x) (cbrt (+ x y)))) (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) 1)) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ (cbrt 1) 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) 1)) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ 1 (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ 1 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log 1) (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (log (/ 1 (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (+ (* x x) (- (* y y) (* x y))))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (exp (log (/ (cbrt x) (cbrt (+ x y))))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 6.952 * * [simplify]: iteration 0 : 177 enodes (cost 1295 ) 6.980 * * [simplify]: iteration 1 : 316 enodes (cost 1207 ) 7.028 * * [simplify]: iteration 2 : 573 enodes (cost 1152 ) 7.148 * * [simplify]: iteration 3 : 1243 enodes (cost 1109 ) 7.568 * * [simplify]: iteration 4 : 2666 enodes (cost 1107 ) 8.147 * * [simplify]: iteration done : 5001 enodes (cost 1107 ) 8.148 * [simplify]: Simplified to: (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (* 2 (log (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (pow x 2/3)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (pow x 2/3)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (pow x 2/3))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (cbrt (pow x 2/3))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (pow x 2/3))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (pow x 2/3)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (pow x 2/3))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (sqrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* -2 (log (cbrt (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (sqrt (cbrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* -2 (log (cbrt (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (- (log (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (fma x x (* y (- y x))))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (/ (cbrt x) (cbrt (+ x y))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (pow (log (/ (cbrt x) (cbrt (+ x y)))) 3) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 8.149 * * * [progress]: adding candidates to table 8.555 * * [progress]: iteration 4 / 4 8.555 * * * [progress]: picking best candidate 8.566 * * * * [pick]: Picked # 8.566 * * * [progress]: localizing error 8.592 * * * [progress]: generating rewritten candidates 8.592 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 8.598 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2) 8.599 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 8.600 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 1) 8.605 * * * [progress]: generating series expansions 8.605 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 8.605 * [approximate]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in (x y) around 0 8.605 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in y 8.605 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in y 8.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in y 8.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in y 8.605 * [taylor]: Taking taylor expansion of 1/3 in y 8.605 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 8.605 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 8.605 * [taylor]: Taking taylor expansion of x in y 8.605 * [taylor]: Taking taylor expansion of (+ x y) in y 8.605 * [taylor]: Taking taylor expansion of x in y 8.605 * [taylor]: Taking taylor expansion of y in y 8.614 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 8.614 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 8.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 8.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 8.614 * [taylor]: Taking taylor expansion of 1/3 in x 8.614 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 8.614 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 8.614 * [taylor]: Taking taylor expansion of x in x 8.614 * [taylor]: Taking taylor expansion of (+ x y) in x 8.615 * [taylor]: Taking taylor expansion of x in x 8.615 * [taylor]: Taking taylor expansion of y in x 8.615 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 8.615 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 8.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 8.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 8.616 * [taylor]: Taking taylor expansion of 1/3 in x 8.616 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 8.616 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 8.616 * [taylor]: Taking taylor expansion of x in x 8.616 * [taylor]: Taking taylor expansion of (+ x y) in x 8.616 * [taylor]: Taking taylor expansion of x in x 8.616 * [taylor]: Taking taylor expansion of y in x 8.617 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 8.617 * [taylor]: Taking taylor expansion of 1/3 in y 8.617 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 8.617 * [taylor]: Taking taylor expansion of (log x) in y 8.617 * [taylor]: Taking taylor expansion of x in y 8.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.617 * [taylor]: Taking taylor expansion of y in y 8.620 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 8.620 * [taylor]: Taking taylor expansion of -1/3 in y 8.620 * [taylor]: Taking taylor expansion of y in y 8.626 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 8.626 * [taylor]: Taking taylor expansion of 1/6 in y 8.626 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.626 * [taylor]: Taking taylor expansion of y in y 8.638 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 8.638 * [taylor]: Taking taylor expansion of -1/9 in y 8.638 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.638 * [taylor]: Taking taylor expansion of y in y 8.644 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 8.644 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 8.644 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 8.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 8.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 8.644 * [taylor]: Taking taylor expansion of 1/3 in y 8.644 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 8.644 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 8.644 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 8.644 * [taylor]: Taking taylor expansion of x in y 8.644 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.644 * [taylor]: Taking taylor expansion of y in y 8.644 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.644 * [taylor]: Taking taylor expansion of x in y 8.645 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.646 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.646 * [taylor]: Taking taylor expansion of 1/3 in x 8.646 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.646 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.646 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.646 * [taylor]: Taking taylor expansion of x in x 8.646 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.646 * [taylor]: Taking taylor expansion of y in x 8.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.646 * [taylor]: Taking taylor expansion of x in x 8.651 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.651 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.651 * [taylor]: Taking taylor expansion of 1/3 in x 8.651 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.651 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.651 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.651 * [taylor]: Taking taylor expansion of x in x 8.651 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.651 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.651 * [taylor]: Taking taylor expansion of y in x 8.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.651 * [taylor]: Taking taylor expansion of x in x 8.656 * [taylor]: Taking taylor expansion of 0 in y 8.657 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 8.657 * [taylor]: Taking taylor expansion of -1/3 in y 8.657 * [taylor]: Taking taylor expansion of y in y 8.663 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 8.663 * [taylor]: Taking taylor expansion of 1/6 in y 8.663 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.663 * [taylor]: Taking taylor expansion of y in y 8.667 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 8.667 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 8.667 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 8.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 8.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 8.667 * [taylor]: Taking taylor expansion of 1/3 in y 8.667 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 8.667 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 8.667 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 8.667 * [taylor]: Taking taylor expansion of x in y 8.667 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.667 * [taylor]: Taking taylor expansion of y in y 8.667 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.667 * [taylor]: Taking taylor expansion of x in y 8.669 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.669 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.669 * [taylor]: Taking taylor expansion of 1/3 in x 8.669 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.669 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.669 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.669 * [taylor]: Taking taylor expansion of x in x 8.669 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.669 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.669 * [taylor]: Taking taylor expansion of y in x 8.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.669 * [taylor]: Taking taylor expansion of x in x 8.675 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.675 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.675 * [taylor]: Taking taylor expansion of 1/3 in x 8.675 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.675 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.675 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.675 * [taylor]: Taking taylor expansion of x in x 8.675 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.675 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.675 * [taylor]: Taking taylor expansion of y in x 8.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.675 * [taylor]: Taking taylor expansion of x in x 8.681 * [taylor]: Taking taylor expansion of 0 in y 8.682 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 8.682 * [taylor]: Taking taylor expansion of -1/3 in y 8.682 * [taylor]: Taking taylor expansion of y in y 8.688 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 8.688 * [taylor]: Taking taylor expansion of 1/6 in y 8.688 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.688 * [taylor]: Taking taylor expansion of y in y 8.691 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2) 8.691 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 8.691 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.691 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.691 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.691 * [taylor]: Taking taylor expansion of 1/9 in x 8.691 * [taylor]: Taking taylor expansion of (log x) in x 8.691 * [taylor]: Taking taylor expansion of x in x 8.692 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.692 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.692 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.692 * [taylor]: Taking taylor expansion of 1/9 in x 8.692 * [taylor]: Taking taylor expansion of (log x) in x 8.692 * [taylor]: Taking taylor expansion of x in x 8.752 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 8.752 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.752 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.752 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.752 * [taylor]: Taking taylor expansion of 1/9 in x 8.753 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.753 * [taylor]: Taking taylor expansion of x in x 8.754 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.754 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.754 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.754 * [taylor]: Taking taylor expansion of 1/9 in x 8.754 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.754 * [taylor]: Taking taylor expansion of x in x 8.819 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 8.819 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.819 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.819 * [taylor]: Taking taylor expansion of 1/3 in x 8.819 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.819 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.819 * [taylor]: Taking taylor expansion of -1 in x 8.823 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.823 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.823 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.823 * [taylor]: Taking taylor expansion of 1/9 in x 8.823 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.823 * [taylor]: Taking taylor expansion of x in x 8.824 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.824 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.824 * [taylor]: Taking taylor expansion of 1/3 in x 8.824 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.824 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.824 * [taylor]: Taking taylor expansion of -1 in x 8.828 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.829 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.829 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.829 * [taylor]: Taking taylor expansion of 1/9 in x 8.829 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.829 * [taylor]: Taking taylor expansion of x in x 8.968 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 8.968 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 8.968 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.968 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.968 * [taylor]: Taking taylor expansion of 1/9 in x 8.968 * [taylor]: Taking taylor expansion of (log x) in x 8.968 * [taylor]: Taking taylor expansion of x in x 8.969 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.969 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.969 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.969 * [taylor]: Taking taylor expansion of 1/9 in x 8.969 * [taylor]: Taking taylor expansion of (log x) in x 8.969 * [taylor]: Taking taylor expansion of x in x 9.031 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 9.031 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.031 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.031 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.031 * [taylor]: Taking taylor expansion of 1/9 in x 9.031 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.031 * [taylor]: Taking taylor expansion of x in x 9.032 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.032 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.032 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.032 * [taylor]: Taking taylor expansion of 1/9 in x 9.032 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.032 * [taylor]: Taking taylor expansion of x in x 9.097 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 9.097 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 9.097 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 9.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 9.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 9.097 * [taylor]: Taking taylor expansion of 1/3 in x 9.097 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 9.097 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.097 * [taylor]: Taking taylor expansion of -1 in x 9.101 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.101 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.101 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.101 * [taylor]: Taking taylor expansion of 1/9 in x 9.101 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.101 * [taylor]: Taking taylor expansion of x in x 9.102 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 9.102 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 9.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 9.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 9.102 * [taylor]: Taking taylor expansion of 1/3 in x 9.102 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 9.102 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.102 * [taylor]: Taking taylor expansion of -1 in x 9.106 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.106 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.106 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.106 * [taylor]: Taking taylor expansion of 1/9 in x 9.106 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.106 * [taylor]: Taking taylor expansion of x in x 9.249 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 1) 9.249 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 9.249 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 9.249 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 9.249 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 9.249 * [taylor]: Taking taylor expansion of 1/9 in x 9.249 * [taylor]: Taking taylor expansion of (log x) in x 9.249 * [taylor]: Taking taylor expansion of x in x 9.250 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 9.250 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 9.250 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 9.250 * [taylor]: Taking taylor expansion of 1/9 in x 9.250 * [taylor]: Taking taylor expansion of (log x) in x 9.250 * [taylor]: Taking taylor expansion of x in x 9.304 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 9.304 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.304 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.304 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.304 * [taylor]: Taking taylor expansion of 1/9 in x 9.304 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.304 * [taylor]: Taking taylor expansion of x in x 9.305 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.306 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.306 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.306 * [taylor]: Taking taylor expansion of 1/9 in x 9.306 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.306 * [taylor]: Taking taylor expansion of x in x 9.373 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 9.373 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 9.373 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 9.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 9.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 9.374 * [taylor]: Taking taylor expansion of 1/3 in x 9.374 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 9.374 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.374 * [taylor]: Taking taylor expansion of -1 in x 9.378 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.378 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.378 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.378 * [taylor]: Taking taylor expansion of 1/9 in x 9.378 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.378 * [taylor]: Taking taylor expansion of x in x 9.379 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 9.379 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 9.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 9.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 9.379 * [taylor]: Taking taylor expansion of 1/3 in x 9.379 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 9.379 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.379 * [taylor]: Taking taylor expansion of -1 in x 9.384 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 9.384 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 9.384 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 9.384 * [taylor]: Taking taylor expansion of 1/9 in x 9.384 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.384 * [taylor]: Taking taylor expansion of x in x 9.529 * * * [progress]: simplifying candidates 9.531 * [simplify]: Simplifying using # : (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (log (* (cbrt (/ (cbrt x) (cbrt (+ x y)))) (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) 1)) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ (cbrt 1) 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) 1)) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ 1 (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ 1 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log 1) (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (log (/ 1 (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (+ (* x x) (- (* y y) (* x y))))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (exp (log (/ (cbrt x) (cbrt (+ x y))))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (* 1/3 (- (log x) (log y))) 0 0 (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) 9.536 * * [simplify]: iteration 0 : 188 enodes (cost 1430 ) 9.572 * * [simplify]: iteration 1 : 330 enodes (cost 1339 ) 9.617 * * [simplify]: iteration 2 : 573 enodes (cost 1298 ) 9.731 * * [simplify]: iteration 3 : 1168 enodes (cost 1255 ) 10.122 * * [simplify]: iteration 4 : 2266 enodes (cost 1253 ) 11.097 * * [simplify]: iteration done : 5001 enodes (cost 1247 ) 11.098 * [simplify]: Simplified to: (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (* 2 (log (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (* (cbrt x) (cbrt x)))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (sqrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* -2 (log (cbrt (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (sqrt (cbrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* -2 (log (cbrt (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (- (log (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (fma x x (* y (- y x))))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (/ (cbrt x) (cbrt (+ x y))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (pow (log (/ (cbrt x) (cbrt (+ x y)))) 3) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (* 1/3 (- (log x) (log y))) 0 0 (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) 11.099 * * * [progress]: adding candidates to table 11.607 * [progress]: [Phase 3 of 3] Extracting. 11.607 * * [regime]: Finding splitpoints for: (# # # # # #) 11.609 * * * [regime-changes]: Trying 2 branch expressions: (y x) 11.609 * * * * [regimes]: Trying to branch on y from (# # # # # #) 11.649 * * * * [regimes]: Trying to branch on x from (# # # # # #) 11.687 * * * [regime]: Found split indices: #