30.666 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.056 * * * [progress]: [2/2] Setting up program. 0.059 * [progress]: [Phase 2 of 3] Improving. 0.059 * [simplify]: Simplifying using # : (/ (exp (* x (log (/ x (+ x y))))) x) 0.060 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.061 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 0.063 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 0.066 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 0.075 * * [simplify]: iteration 4 : 100 enodes (cost 9 ) 0.095 * * [simplify]: iteration 5 : 235 enodes (cost 9 ) 0.177 * * [simplify]: iteration 6 : 543 enodes (cost 9 ) 0.514 * * [simplify]: iteration 7 : 1636 enodes (cost 9 ) 1.920 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 1.920 * [simplify]: Simplified to: (/ (pow (/ x (+ x y)) x) x) 1.923 * * [progress]: iteration 1 / 4 1.923 * * * [progress]: picking best candidate 1.925 * * * * [pick]: Picked # 1.925 * * * [progress]: localizing error 1.933 * * * [progress]: generating rewritten candidates 1.933 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.941 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.970 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.985 * * * [progress]: generating series expansions 1.985 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.986 * [approximate]: Taking taylor expansion of (pow (/ x (+ x y)) x) in (x y) around 0 1.986 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 1.986 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 1.986 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 1.986 * [taylor]: Taking taylor expansion of x in y 1.986 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 1.986 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 1.986 * [taylor]: Taking taylor expansion of x in y 1.986 * [taylor]: Taking taylor expansion of (+ x y) in y 1.986 * [taylor]: Taking taylor expansion of x in y 1.986 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 1.988 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 1.988 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 1.988 * [taylor]: Taking taylor expansion of x in x 1.988 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.988 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.988 * [taylor]: Taking taylor expansion of x in x 1.988 * [taylor]: Taking taylor expansion of (+ x y) in x 1.988 * [taylor]: Taking taylor expansion of x in x 1.988 * [taylor]: Taking taylor expansion of y in x 1.990 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 1.990 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 1.990 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 1.990 * [taylor]: Taking taylor expansion of x in x 1.990 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.990 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.990 * [taylor]: Taking taylor expansion of x in x 1.990 * [taylor]: Taking taylor expansion of (+ x y) in x 1.990 * [taylor]: Taking taylor expansion of x in x 1.990 * [taylor]: Taking taylor expansion of y in x 1.992 * [taylor]: Taking taylor expansion of 1 in y 1.993 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 1.993 * [taylor]: Taking taylor expansion of (log x) in y 1.993 * [taylor]: Taking taylor expansion of x in y 1.993 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.993 * [taylor]: Taking taylor expansion of y in y 1.996 * [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.996 * [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.996 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 y))) in y 1.996 * [taylor]: Taking taylor expansion of (log x) in y 1.996 * [taylor]: Taking taylor expansion of x in y 1.996 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.997 * [taylor]: Taking taylor expansion of y in y 1.997 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2))) in y 1.997 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log x) 2)) in y 1.997 * [taylor]: Taking taylor expansion of 1/2 in y 1.997 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 1.997 * [taylor]: Taking taylor expansion of (log x) in y 1.997 * [taylor]: Taking taylor expansion of x in y 1.998 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log (/ 1 y)) 2)) in y 1.998 * [taylor]: Taking taylor expansion of 1/2 in y 1.998 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 1.998 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.998 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.998 * [taylor]: Taking taylor expansion of y in y 1.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.999 * [taylor]: Taking taylor expansion of y in y 2.003 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in (x y) around 0 2.003 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in y 2.003 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.003 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.003 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.003 * [taylor]: Taking taylor expansion of x in y 2.003 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.003 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.003 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.003 * [taylor]: Taking taylor expansion of x in y 2.003 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.004 * [taylor]: Taking taylor expansion of y in y 2.004 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.004 * [taylor]: Taking taylor expansion of x in y 2.005 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.005 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.005 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.005 * [taylor]: Taking taylor expansion of x in x 2.006 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.006 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.006 * [taylor]: Taking taylor expansion of x in x 2.006 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.006 * [taylor]: Taking taylor expansion of y in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.006 * [taylor]: Taking taylor expansion of x in x 2.011 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.011 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.011 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.012 * [taylor]: Taking taylor expansion of x in x 2.012 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.012 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.012 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.012 * [taylor]: Taking taylor expansion of x in x 2.012 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.012 * [taylor]: Taking taylor expansion of y in x 2.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.012 * [taylor]: Taking taylor expansion of x in x 2.018 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.018 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.018 * [taylor]: Taking taylor expansion of y in y 2.024 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- (/ 1 y))) (pow y 2))) in y 2.024 * [taylor]: Taking taylor expansion of 1/2 in y 2.024 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 2)) in y 2.024 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.024 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.024 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.024 * [taylor]: Taking taylor expansion of y in y 2.024 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.025 * [taylor]: Taking taylor expansion of y in y 2.036 * [taylor]: Taking taylor expansion of (* (- (* 1/8 (/ 1 (pow y 4))) (* 1/3 (/ 1 (pow y 3)))) (exp (- (/ 1 y)))) in y 2.036 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow y 4))) (* 1/3 (/ 1 (pow y 3)))) in y 2.036 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow y 4))) in y 2.036 * [taylor]: Taking taylor expansion of 1/8 in y 2.036 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.036 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.036 * [taylor]: Taking taylor expansion of y in y 2.037 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 2.037 * [taylor]: Taking taylor expansion of 1/3 in y 2.037 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.037 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.037 * [taylor]: Taking taylor expansion of y in y 2.038 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.038 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.038 * [taylor]: Taking taylor expansion of y in y 2.075 * [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.076 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.076 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.076 * [taylor]: Taking taylor expansion of y in y 2.077 * [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.077 * [taylor]: Taking taylor expansion of (+ (* 1/48 (/ 1 (pow y 6))) (* 1/4 (/ 1 (pow y 4)))) in y 2.077 * [taylor]: Taking taylor expansion of (* 1/48 (/ 1 (pow y 6))) in y 2.077 * [taylor]: Taking taylor expansion of 1/48 in y 2.077 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 2.077 * [taylor]: Taking taylor expansion of (pow y 6) in y 2.077 * [taylor]: Taking taylor expansion of y in y 2.078 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow y 4))) in y 2.078 * [taylor]: Taking taylor expansion of 1/4 in y 2.078 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.078 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.078 * [taylor]: Taking taylor expansion of y in y 2.079 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 5))) in y 2.079 * [taylor]: Taking taylor expansion of 1/6 in y 2.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 2.079 * [taylor]: Taking taylor expansion of (pow y 5) in y 2.079 * [taylor]: Taking taylor expansion of y in y 2.133 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in (x y) around 0 2.133 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in y 2.133 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.133 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.133 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.133 * [taylor]: Taking taylor expansion of -1 in y 2.133 * [taylor]: Taking taylor expansion of x in y 2.133 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.133 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.133 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.133 * [taylor]: Taking taylor expansion of x in y 2.133 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.133 * [taylor]: Taking taylor expansion of y in y 2.133 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.133 * [taylor]: Taking taylor expansion of x in y 2.134 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.135 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.135 * [taylor]: Taking taylor expansion of -1 in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.135 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.135 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.135 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.135 * [taylor]: Taking taylor expansion of y in x 2.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.135 * [taylor]: Taking taylor expansion of x in x 2.141 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.141 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.141 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.141 * [taylor]: Taking taylor expansion of -1 in x 2.141 * [taylor]: Taking taylor expansion of x in x 2.142 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.142 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.142 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.142 * [taylor]: Taking taylor expansion of x in x 2.142 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.142 * [taylor]: Taking taylor expansion of y in x 2.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.142 * [taylor]: Taking taylor expansion of x in x 2.147 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.147 * [taylor]: Taking taylor expansion of y in y 2.153 * [taylor]: Taking taylor expansion of (* -1/2 (/ (exp (/ 1 y)) (pow y 2))) in y 2.153 * [taylor]: Taking taylor expansion of -1/2 in y 2.153 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 2)) in y 2.153 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.153 * [taylor]: Taking taylor expansion of y in y 2.153 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.153 * [taylor]: Taking taylor expansion of y in y 2.168 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/8 (/ 1 (pow y 4))))) in y 2.168 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.168 * [taylor]: Taking taylor expansion of y in y 2.168 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (* 1/8 (/ 1 (pow y 4)))) in y 2.168 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 2.168 * [taylor]: Taking taylor expansion of 1/3 in y 2.169 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.169 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.169 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow y 4))) in y 2.169 * [taylor]: Taking taylor expansion of 1/8 in y 2.170 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.170 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.170 * [taylor]: Taking taylor expansion of y in y 2.201 * [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.201 * [taylor]: Taking taylor expansion of -1 in y 2.201 * [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.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 y in y 2.202 * [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.202 * [taylor]: Taking taylor expansion of (* 1/48 (/ 1 (pow y 6))) in y 2.202 * [taylor]: Taking taylor expansion of 1/48 in y 2.202 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 2.202 * [taylor]: Taking taylor expansion of (pow y 6) in y 2.202 * [taylor]: Taking taylor expansion of y in y 2.203 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5)))) in y 2.203 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow y 4))) in y 2.203 * [taylor]: Taking taylor expansion of 1/4 in y 2.203 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.203 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.203 * [taylor]: Taking taylor expansion of y in y 2.204 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 5))) in y 2.204 * [taylor]: Taking taylor expansion of 1/6 in y 2.204 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 2.204 * [taylor]: Taking taylor expansion of (pow y 5) in y 2.204 * [taylor]: Taking taylor expansion of y in y 2.264 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.265 * [approximate]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in (x y) around 0 2.265 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in y 2.265 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 2.265 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 2.265 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 2.265 * [taylor]: Taking taylor expansion of x in y 2.265 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 2.265 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.265 * [taylor]: Taking taylor expansion of x in y 2.265 * [taylor]: Taking taylor expansion of (+ x y) in y 2.265 * [taylor]: Taking taylor expansion of x in y 2.265 * [taylor]: Taking taylor expansion of y in y 2.267 * [taylor]: Taking taylor expansion of x in y 2.267 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in x 2.267 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.267 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.267 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.267 * [taylor]: Taking taylor expansion of x in x 2.267 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.267 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.267 * [taylor]: Taking taylor expansion of x in x 2.267 * [taylor]: Taking taylor expansion of (+ x y) in x 2.267 * [taylor]: Taking taylor expansion of x in x 2.267 * [taylor]: Taking taylor expansion of y in x 2.269 * [taylor]: Taking taylor expansion of x in x 2.269 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in x 2.270 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.270 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.270 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.270 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (+ x y) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of y in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.272 * [taylor]: Taking taylor expansion of 1 in y 2.273 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 2.273 * [taylor]: Taking taylor expansion of (log x) in y 2.273 * [taylor]: Taking taylor expansion of x in y 2.273 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.273 * [taylor]: Taking taylor expansion of y in y 2.278 * [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.278 * [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.278 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 y))) in y 2.278 * [taylor]: Taking taylor expansion of (log x) in y 2.278 * [taylor]: Taking taylor expansion of x in y 2.278 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.278 * [taylor]: Taking taylor expansion of y in y 2.279 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2))) in y 2.279 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log x) 2)) in y 2.279 * [taylor]: Taking taylor expansion of 1/2 in y 2.279 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 2.279 * [taylor]: Taking taylor expansion of (log x) in y 2.279 * [taylor]: Taking taylor expansion of x in y 2.279 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log (/ 1 y)) 2)) in y 2.279 * [taylor]: Taking taylor expansion of 1/2 in y 2.279 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 2.279 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.279 * [taylor]: Taking taylor expansion of y in y 2.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.280 * [taylor]: Taking taylor expansion of y in y 2.285 * [approximate]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in (x y) around 0 2.285 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in y 2.285 * [taylor]: Taking taylor expansion of x in y 2.285 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in y 2.285 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.285 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.285 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.285 * [taylor]: Taking taylor expansion of x in y 2.285 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.285 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.285 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.285 * [taylor]: Taking taylor expansion of x in y 2.285 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.285 * [taylor]: Taking taylor expansion of y in y 2.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.286 * [taylor]: Taking taylor expansion of x in y 2.287 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.287 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.287 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.287 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.287 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.287 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.287 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.287 * [taylor]: Taking taylor expansion of y in x 2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.294 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.294 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.294 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.294 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.294 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.294 * [taylor]: Taking taylor expansion of y in x 2.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.300 * [taylor]: Taking taylor expansion of 0 in y 2.305 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.305 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.305 * [taylor]: Taking taylor expansion of y in y 2.313 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- (/ 1 y))) (pow y 2))) in y 2.313 * [taylor]: Taking taylor expansion of 1/2 in y 2.313 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 2)) in y 2.313 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.313 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.313 * [taylor]: Taking taylor expansion of y in y 2.314 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.314 * [taylor]: Taking taylor expansion of y in y 2.328 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ (exp (- (/ 1 y))) (pow y 4))) (* 1/3 (/ (exp (- (/ 1 y))) (pow y 3)))) in y 2.328 * [taylor]: Taking taylor expansion of (* 1/8 (/ (exp (- (/ 1 y))) (pow y 4))) in y 2.328 * [taylor]: Taking taylor expansion of 1/8 in y 2.328 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 4)) in y 2.328 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.328 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.328 * [taylor]: Taking taylor expansion of y in y 2.329 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.329 * [taylor]: Taking taylor expansion of y in y 2.330 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (- (/ 1 y))) (pow y 3))) in y 2.330 * [taylor]: Taking taylor expansion of 1/3 in y 2.330 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 3)) in y 2.330 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.330 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.330 * [taylor]: Taking taylor expansion of y in y 2.331 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.331 * [taylor]: Taking taylor expansion of y in y 2.353 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in (x y) around 0 2.354 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in y 2.354 * [taylor]: Taking taylor expansion of -1 in y 2.354 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in y 2.354 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in y 2.354 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.354 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.354 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.354 * [taylor]: Taking taylor expansion of -1 in y 2.354 * [taylor]: Taking taylor expansion of x in y 2.354 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.354 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.354 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.354 * [taylor]: Taking taylor expansion of x in y 2.354 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.354 * [taylor]: Taking taylor expansion of y in y 2.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.354 * [taylor]: Taking taylor expansion of x in y 2.355 * [taylor]: Taking taylor expansion of x in y 2.355 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in x 2.355 * [taylor]: Taking taylor expansion of -1 in x 2.356 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in x 2.356 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.356 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.356 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.356 * [taylor]: Taking taylor expansion of -1 in x 2.356 * [taylor]: Taking taylor expansion of x in x 2.356 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.356 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.356 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.356 * [taylor]: Taking taylor expansion of x in x 2.356 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.356 * [taylor]: Taking taylor expansion of y in x 2.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.356 * [taylor]: Taking taylor expansion of x in x 2.366 * [taylor]: Taking taylor expansion of x in x 2.366 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in x 2.366 * [taylor]: Taking taylor expansion of -1 in x 2.366 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in x 2.366 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.366 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.366 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.366 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.366 * [taylor]: Taking taylor expansion of -1 in x 2.366 * [taylor]: Taking taylor expansion of x in x 2.366 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.367 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.367 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.367 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.367 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.367 * [taylor]: Taking taylor expansion of y in x 2.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.372 * [taylor]: Taking taylor expansion of x in x 2.373 * [taylor]: Taking taylor expansion of 0 in y 2.378 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y))) in y 2.379 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.379 * [taylor]: Taking taylor expansion of y in y 2.387 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (/ 1 y)) (pow y 2))) in y 2.387 * [taylor]: Taking taylor expansion of 1/2 in y 2.387 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 2)) in y 2.387 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.387 * [taylor]: Taking taylor expansion of y in y 2.388 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.388 * [taylor]: Taking taylor expansion of y in y 2.404 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) (* 1/8 (/ (exp (/ 1 y)) (pow y 4))))) in y 2.404 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) (* 1/8 (/ (exp (/ 1 y)) (pow y 4)))) in y 2.404 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) in y 2.404 * [taylor]: Taking taylor expansion of 1/3 in y 2.404 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 3)) in y 2.404 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.404 * [taylor]: Taking taylor expansion of y in y 2.404 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.404 * [taylor]: Taking taylor expansion of y in y 2.405 * [taylor]: Taking taylor expansion of (* 1/8 (/ (exp (/ 1 y)) (pow y 4))) in y 2.405 * [taylor]: Taking taylor expansion of 1/8 in y 2.405 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 4)) in y 2.405 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.405 * [taylor]: Taking taylor expansion of y in y 2.406 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.406 * [taylor]: Taking taylor expansion of y in y 2.427 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.427 * [approximate]: Taking taylor expansion of (/ x (+ x y)) in (x y) around 0 2.427 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.428 * [taylor]: Taking taylor expansion of x in y 2.428 * [taylor]: Taking taylor expansion of (+ x y) in y 2.428 * [taylor]: Taking taylor expansion of x in y 2.428 * [taylor]: Taking taylor expansion of y in y 2.428 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.428 * [taylor]: Taking taylor expansion of x in x 2.428 * [taylor]: Taking taylor expansion of (+ x y) in x 2.428 * [taylor]: Taking taylor expansion of x in x 2.428 * [taylor]: Taking taylor expansion of y in x 2.428 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.428 * [taylor]: Taking taylor expansion of x in x 2.428 * [taylor]: Taking taylor expansion of (+ x y) in x 2.428 * [taylor]: Taking taylor expansion of x in x 2.428 * [taylor]: Taking taylor expansion of y in x 2.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.428 * [taylor]: Taking taylor expansion of y in y 2.429 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 2.430 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.430 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.430 * [taylor]: Taking taylor expansion of y in y 2.434 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.434 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.434 * [taylor]: Taking taylor expansion of y in y 2.441 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 2.442 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.442 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.442 * [taylor]: Taking taylor expansion of x in y 2.442 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.442 * [taylor]: Taking taylor expansion of y in y 2.442 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.442 * [taylor]: Taking taylor expansion of x in y 2.443 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.443 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.443 * [taylor]: Taking taylor expansion of x in x 2.443 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.443 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.443 * [taylor]: Taking taylor expansion of y in x 2.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.443 * [taylor]: Taking taylor expansion of x in x 2.445 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.445 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.445 * [taylor]: Taking taylor expansion of x in x 2.445 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.445 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.445 * [taylor]: Taking taylor expansion of y in x 2.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.445 * [taylor]: Taking taylor expansion of x in x 2.447 * [taylor]: Taking taylor expansion of 1 in y 2.449 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.449 * [taylor]: Taking taylor expansion of y in y 2.454 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.454 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.454 * [taylor]: Taking taylor expansion of y in y 2.459 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 2.459 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.459 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.459 * [taylor]: Taking taylor expansion of x in y 2.459 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.459 * [taylor]: Taking taylor expansion of y in y 2.459 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.459 * [taylor]: Taking taylor expansion of x in y 2.460 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.460 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.460 * [taylor]: Taking taylor expansion of x in x 2.460 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.460 * [taylor]: Taking taylor expansion of y in x 2.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.460 * [taylor]: Taking taylor expansion of x in x 2.462 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.462 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.462 * [taylor]: Taking taylor expansion of x in x 2.462 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.462 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.462 * [taylor]: Taking taylor expansion of y in x 2.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.462 * [taylor]: Taking taylor expansion of x in x 2.468 * [taylor]: Taking taylor expansion of 1 in y 2.470 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.470 * [taylor]: Taking taylor expansion of y in y 2.474 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.474 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.474 * [taylor]: Taking taylor expansion of y in y 2.479 * * * [progress]: simplifying candidates 2.482 * [simplify]: Simplifying using # : (* (- (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)) (- (* (- (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))) (- (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.492 * * [simplify]: iteration 0 : 276 enodes (cost 2881 ) 2.604 * * [simplify]: iteration 1 : 536 enodes (cost 2708 ) 2.771 * * [simplify]: iteration 2 : 1561 enodes (cost 2650 ) 3.375 * * [simplify]: iteration done : 5000 enodes (cost 2650 ) 3.377 * [simplify]: Simplified to: (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 (+ (* y (- y x)) (* x 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)) (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 (+ (* y (- y x)) (* x x)) x) (cbrt x)) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (sqrt x)) (/ (pow (+ (* y (- y x)) (* x x)) x) (sqrt x)) (pow (/ x (+ (pow x 3) (pow y 3))) x) (/ (pow (+ (* y (- y x)) (* x 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 (+ (* y (- y x)) (* x 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))) (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))) (- (+ (* 1/2 (* (pow x 2) (pow (log y) 2))) (+ (* (log x) x) (+ (* 1/2 (* (pow (log x) 2) (pow x 2))) 1))) (* (log y) (+ x (* (log x) (* x x))))) (exp (- y)) (exp (- y)) (- (+ (* 1/2 (* x (pow (log y) 2))) (+ (log x) (+ (* 1/2 (* (pow (log x) 2) x)) (/ 1 x)))) (* (+ (* (log x) x) 1) (log y))) (/ (exp (- y)) x) (/ (exp (- y)) x) 0 0 0 3.378 * * * [progress]: adding candidates to table 3.842 * * [progress]: iteration 2 / 4 3.843 * * * [progress]: picking best candidate 3.856 * * * * [pick]: Picked # 3.856 * * * [progress]: localizing error 3.881 * * * [progress]: generating rewritten candidates 3.881 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.897 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 3.897 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 3.898 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 3.900 * * * [progress]: generating series expansions 3.900 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.901 * [approximate]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in (x y) around 0 3.901 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in y 3.901 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in y 3.901 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in y 3.901 * [taylor]: Taking taylor expansion of x in y 3.901 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in y 3.901 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in y 3.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in y 3.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in y 3.901 * [taylor]: Taking taylor expansion of 1/3 in y 3.901 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in y 3.901 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in y 3.901 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.901 * [taylor]: Taking taylor expansion of x in y 3.901 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 3.901 * [taylor]: Taking taylor expansion of (+ x y) in y 3.901 * [taylor]: Taking taylor expansion of x in y 3.901 * [taylor]: Taking taylor expansion of y in y 3.906 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 3.906 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 3.906 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 3.906 * [taylor]: Taking taylor expansion of x in x 3.906 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 3.906 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 3.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 3.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 3.906 * [taylor]: Taking taylor expansion of 1/3 in x 3.906 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 3.906 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 3.906 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.906 * [taylor]: Taking taylor expansion of x in x 3.906 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 3.906 * [taylor]: Taking taylor expansion of (+ x y) in x 3.906 * [taylor]: Taking taylor expansion of x in x 3.906 * [taylor]: Taking taylor expansion of y in x 3.911 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 3.912 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 3.912 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 3.912 * [taylor]: Taking taylor expansion of x in x 3.912 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 3.912 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 3.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 3.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 3.912 * [taylor]: Taking taylor expansion of 1/3 in x 3.912 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 3.912 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 3.912 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.912 * [taylor]: Taking taylor expansion of x in x 3.912 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 3.912 * [taylor]: Taking taylor expansion of (+ x y) in x 3.912 * [taylor]: Taking taylor expansion of x in x 3.912 * [taylor]: Taking taylor expansion of y in x 3.918 * [taylor]: Taking taylor expansion of 1 in y 3.918 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log x)) (* 1/3 (log (/ 1 (pow y 2))))) in y 3.918 * [taylor]: Taking taylor expansion of (* 2/3 (log x)) in y 3.918 * [taylor]: Taking taylor expansion of 2/3 in y 3.918 * [taylor]: Taking taylor expansion of (log x) in y 3.918 * [taylor]: Taking taylor expansion of x in y 3.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 3.918 * [taylor]: Taking taylor expansion of 1/3 in y 3.918 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.918 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.918 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.918 * [taylor]: Taking taylor expansion of y in y 3.926 * [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.926 * [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.926 * [taylor]: Taking taylor expansion of (* 2/9 (pow (log x) 2)) in y 3.926 * [taylor]: Taking taylor expansion of 2/9 in y 3.926 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 3.926 * [taylor]: Taking taylor expansion of (log x) in y 3.926 * [taylor]: Taking taylor expansion of x in y 3.926 * [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.926 * [taylor]: Taking taylor expansion of (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) in y 3.926 * [taylor]: Taking taylor expansion of 2/9 in y 3.926 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 (pow y 2)))) in y 3.926 * [taylor]: Taking taylor expansion of (log x) in y 3.926 * [taylor]: Taking taylor expansion of x in y 3.926 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.926 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.926 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.926 * [taylor]: Taking taylor expansion of y in y 3.927 * [taylor]: Taking taylor expansion of (* 1/18 (pow (log (/ 1 (pow y 2))) 2)) in y 3.927 * [taylor]: Taking taylor expansion of 1/18 in y 3.927 * [taylor]: Taking taylor expansion of (pow (log (/ 1 (pow y 2))) 2) in y 3.927 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.927 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.927 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.929 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.929 * [taylor]: Taking taylor expansion of 2/3 in y 3.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.929 * [taylor]: Taking taylor expansion of y in y 3.934 * [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.935 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in y 3.935 * [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.935 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 3.935 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.935 * [taylor]: Taking taylor expansion of x in y 3.935 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 3.935 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 3.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 3.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 3.935 * [taylor]: Taking taylor expansion of 1/3 in y 3.935 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 3.935 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 3.935 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 3.935 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.935 * [taylor]: Taking taylor expansion of x in y 3.935 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 3.935 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.935 * [taylor]: Taking taylor expansion of y in y 3.935 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.936 * [taylor]: Taking taylor expansion of x in y 3.938 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 3.938 * [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.938 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.938 * [taylor]: Taking taylor expansion of x in x 3.939 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.939 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.939 * [taylor]: Taking taylor expansion of 1/3 in x 3.939 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.939 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.939 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.939 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.939 * [taylor]: Taking taylor expansion of x in x 3.939 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.939 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.939 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.939 * [taylor]: Taking taylor expansion of y in x 3.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.939 * [taylor]: Taking taylor expansion of x in x 3.946 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 3.946 * [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.946 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.946 * [taylor]: Taking taylor expansion of x in x 3.947 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.947 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.947 * [taylor]: Taking taylor expansion of 1/3 in x 3.947 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.947 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.947 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.947 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.947 * [taylor]: Taking taylor expansion of x in x 3.947 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.947 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.947 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.947 * [taylor]: Taking taylor expansion of y in x 3.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.947 * [taylor]: Taking taylor expansion of x in x 3.954 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.954 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.954 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.954 * [taylor]: Taking taylor expansion of 2/3 in y 3.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.954 * [taylor]: Taking taylor expansion of y in y 3.963 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (- (* 2/3 (/ 1 y)))) (pow y 2))) in y 3.963 * [taylor]: Taking taylor expansion of 1/3 in y 3.963 * [taylor]: Taking taylor expansion of (/ (exp (- (* 2/3 (/ 1 y)))) (pow y 2)) in y 3.963 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.963 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.963 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.963 * [taylor]: Taking taylor expansion of 2/3 in y 3.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.963 * [taylor]: Taking taylor expansion of y in y 3.964 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.965 * [taylor]: Taking taylor expansion of y in y 3.985 * [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.985 * [taylor]: Taking taylor expansion of (- (* 1/18 (/ 1 (pow y 4))) (* 2/9 (/ 1 (pow y 3)))) in y 3.985 * [taylor]: Taking taylor expansion of (* 1/18 (/ 1 (pow y 4))) in y 3.985 * [taylor]: Taking taylor expansion of 1/18 in y 3.985 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.985 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.985 * [taylor]: Taking taylor expansion of y in y 3.986 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 (pow y 3))) in y 3.986 * [taylor]: Taking taylor expansion of 2/9 in y 3.986 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.986 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.986 * [taylor]: Taking taylor expansion of y in y 3.987 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.987 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.987 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.987 * [taylor]: Taking taylor expansion of 2/3 in y 3.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.987 * [taylor]: Taking taylor expansion of y in y 4.026 * [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 4.026 * [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 4.026 * [taylor]: Taking taylor expansion of (+ (* 1/162 (/ 1 (pow y 6))) (* 1/6 (/ 1 (pow y 4)))) in y 4.027 * [taylor]: Taking taylor expansion of (* 1/162 (/ 1 (pow y 6))) in y 4.027 * [taylor]: Taking taylor expansion of 1/162 in y 4.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 4.027 * [taylor]: Taking taylor expansion of (pow y 6) in y 4.027 * [taylor]: Taking taylor expansion of y in y 4.028 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 4))) in y 4.028 * [taylor]: Taking taylor expansion of 1/6 in y 4.028 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 4.028 * [taylor]: Taking taylor expansion of (pow y 4) in y 4.028 * [taylor]: Taking taylor expansion of y in y 4.029 * [taylor]: Taking taylor expansion of (* 2/27 (/ 1 (pow y 5))) in y 4.029 * [taylor]: Taking taylor expansion of 2/27 in y 4.029 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 4.029 * [taylor]: Taking taylor expansion of (pow y 5) in y 4.029 * [taylor]: Taking taylor expansion of y in y 4.030 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 4.030 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 4.030 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 4.030 * [taylor]: Taking taylor expansion of 2/3 in y 4.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.030 * [taylor]: Taking taylor expansion of y in y 4.088 * [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 4.088 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in y 4.088 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 4.088 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 4.088 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.088 * [taylor]: Taking taylor expansion of -1 in y 4.088 * [taylor]: Taking taylor expansion of x in y 4.088 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 4.088 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 4.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 4.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 4.088 * [taylor]: Taking taylor expansion of 1/3 in y 4.088 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 4.088 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 4.088 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 4.088 * [taylor]: Taking taylor expansion of (pow x 2) in y 4.089 * [taylor]: Taking taylor expansion of x in y 4.089 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 4.089 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 4.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.089 * [taylor]: Taking taylor expansion of y in y 4.089 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.089 * [taylor]: Taking taylor expansion of x in y 4.092 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 4.092 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 4.092 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 4.092 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.092 * [taylor]: Taking taylor expansion of -1 in x 4.092 * [taylor]: Taking taylor expansion of x in x 4.093 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 4.093 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 4.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 4.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 4.093 * [taylor]: Taking taylor expansion of 1/3 in x 4.093 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 4.093 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 4.093 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 4.093 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.093 * [taylor]: Taking taylor expansion of x in x 4.093 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 4.093 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.093 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.093 * [taylor]: Taking taylor expansion of y in x 4.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.093 * [taylor]: Taking taylor expansion of x in x 4.100 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 4.100 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 4.100 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 4.100 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.100 * [taylor]: Taking taylor expansion of -1 in x 4.100 * [taylor]: Taking taylor expansion of x in x 4.101 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 4.101 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 4.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 4.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 4.101 * [taylor]: Taking taylor expansion of 1/3 in x 4.101 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 4.101 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 4.101 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 4.101 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.101 * [taylor]: Taking taylor expansion of x in x 4.101 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 4.101 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.101 * [taylor]: Taking taylor expansion of y in x 4.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.101 * [taylor]: Taking taylor expansion of x in x 4.108 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 4.108 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 4.108 * [taylor]: Taking taylor expansion of 2/3 in y 4.108 * [taylor]: Taking taylor expansion of y in y 4.116 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (/ 2/3 y)) (pow y 2))) in y 4.116 * [taylor]: Taking taylor expansion of -1/3 in y 4.116 * [taylor]: Taking taylor expansion of (/ (exp (/ 2/3 y)) (pow y 2)) in y 4.116 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 4.116 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 4.116 * [taylor]: Taking taylor expansion of 2/3 in y 4.116 * [taylor]: Taking taylor expansion of y in y 4.117 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.117 * [taylor]: Taking taylor expansion of y in y 4.132 * [taylor]: Taking taylor expansion of (* (+ (* 2/9 (/ 1 (pow y 3))) (* 1/18 (/ 1 (pow y 4)))) (exp (/ 2/3 y))) in y 4.132 * [taylor]: Taking taylor expansion of (+ (* 2/9 (/ 1 (pow y 3))) (* 1/18 (/ 1 (pow y 4)))) in y 4.132 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 (pow y 3))) in y 4.132 * [taylor]: Taking taylor expansion of 2/9 in y 4.132 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 4.132 * [taylor]: Taking taylor expansion of (pow y 3) in y 4.132 * [taylor]: Taking taylor expansion of y in y 4.133 * [taylor]: Taking taylor expansion of (* 1/18 (/ 1 (pow y 4))) in y 4.133 * [taylor]: Taking taylor expansion of 1/18 in y 4.133 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 4.133 * [taylor]: Taking taylor expansion of (pow y 4) in y 4.133 * [taylor]: Taking taylor expansion of y in y 4.134 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 4.134 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 4.134 * [taylor]: Taking taylor expansion of 2/3 in y 4.134 * [taylor]: Taking taylor expansion of y in y 4.178 * [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 4.178 * [taylor]: Taking taylor expansion of -1 in y 4.179 * [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 4.179 * [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 4.179 * [taylor]: Taking taylor expansion of (* 1/162 (/ 1 (pow y 6))) in y 4.179 * [taylor]: Taking taylor expansion of 1/162 in y 4.179 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 4.179 * [taylor]: Taking taylor expansion of (pow y 6) in y 4.179 * [taylor]: Taking taylor expansion of y in y 4.180 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5)))) in y 4.180 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 4))) in y 4.180 * [taylor]: Taking taylor expansion of 1/6 in y 4.180 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 4.180 * [taylor]: Taking taylor expansion of (pow y 4) in y 4.180 * [taylor]: Taking taylor expansion of y in y 4.181 * [taylor]: Taking taylor expansion of (* 2/27 (/ 1 (pow y 5))) in y 4.181 * [taylor]: Taking taylor expansion of 2/27 in y 4.182 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 4.182 * [taylor]: Taking taylor expansion of (pow y 5) in y 4.182 * [taylor]: Taking taylor expansion of y in y 4.183 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 4.183 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 4.183 * [taylor]: Taking taylor expansion of 2/3 in y 4.183 * [taylor]: Taking taylor expansion of y in y 4.240 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 4.240 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.240 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.240 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.240 * [taylor]: Taking taylor expansion of 1/3 in x 4.240 * [taylor]: Taking taylor expansion of (log x) in x 4.240 * [taylor]: Taking taylor expansion of x in x 4.241 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.241 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.241 * [taylor]: Taking taylor expansion of 1/3 in x 4.241 * [taylor]: Taking taylor expansion of (log x) in x 4.241 * [taylor]: Taking taylor expansion of x in x 4.306 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.306 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.307 * [taylor]: Taking taylor expansion of 1/3 in x 4.307 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.307 * [taylor]: Taking taylor expansion of x in x 4.308 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.308 * [taylor]: Taking taylor expansion of 1/3 in x 4.308 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.308 * [taylor]: Taking taylor expansion of x in x 4.376 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.376 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.377 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.377 * [taylor]: Taking taylor expansion of -1 in x 4.378 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.378 * [taylor]: Taking taylor expansion of 1/3 in x 4.378 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.378 * [taylor]: Taking taylor expansion of x in x 4.379 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.379 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.379 * [taylor]: Taking taylor expansion of -1 in x 4.380 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.380 * [taylor]: Taking taylor expansion of 1/3 in x 4.380 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.380 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.380 * [taylor]: Taking taylor expansion of x in x 4.462 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 4.462 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.462 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.462 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.462 * [taylor]: Taking taylor expansion of 1/3 in x 4.462 * [taylor]: Taking taylor expansion of (log x) in x 4.462 * [taylor]: Taking taylor expansion of x in x 4.463 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.463 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.463 * [taylor]: Taking taylor expansion of 1/3 in x 4.463 * [taylor]: Taking taylor expansion of (log x) in x 4.463 * [taylor]: Taking taylor expansion of x in x 4.518 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.518 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.518 * [taylor]: Taking taylor expansion of 1/3 in x 4.518 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.518 * [taylor]: Taking taylor expansion of x in x 4.520 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.520 * [taylor]: Taking taylor expansion of 1/3 in x 4.520 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.520 * [taylor]: Taking taylor expansion of x in x 4.587 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.587 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.587 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.587 * [taylor]: Taking taylor expansion of -1 in x 4.588 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.588 * [taylor]: Taking taylor expansion of 1/3 in x 4.588 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.589 * [taylor]: Taking taylor expansion of x in x 4.590 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.590 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.590 * [taylor]: Taking taylor expansion of -1 in x 4.591 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.591 * [taylor]: Taking taylor expansion of 1/3 in x 4.591 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.591 * [taylor]: Taking taylor expansion of x in x 4.673 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 4.673 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.673 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.673 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.673 * [taylor]: Taking taylor expansion of 1/3 in x 4.673 * [taylor]: Taking taylor expansion of (log x) in x 4.673 * [taylor]: Taking taylor expansion of x in x 4.674 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.674 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.674 * [taylor]: Taking taylor expansion of 1/3 in x 4.674 * [taylor]: Taking taylor expansion of (log x) in x 4.674 * [taylor]: Taking taylor expansion of x in x 4.738 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.738 * [taylor]: Taking taylor expansion of 1/3 in x 4.738 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.738 * [taylor]: Taking taylor expansion of x in x 4.740 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.740 * [taylor]: Taking taylor expansion of 1/3 in x 4.740 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.740 * [taylor]: Taking taylor expansion of x in x 4.799 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.799 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.799 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.799 * [taylor]: Taking taylor expansion of -1 in x 4.800 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.801 * [taylor]: Taking taylor expansion of 1/3 in x 4.801 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.801 * [taylor]: Taking taylor expansion of x in x 4.802 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.802 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.802 * [taylor]: Taking taylor expansion of -1 in x 4.803 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.803 * [taylor]: Taking taylor expansion of 1/3 in x 4.803 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.803 * [taylor]: Taking taylor expansion of x in x 4.883 * * * [progress]: simplifying candidates 4.885 * [simplify]: Simplifying using # : (* (- (+ (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)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (* 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.890 * * [simplify]: iteration 0 : 150 enodes (cost 1093 ) 4.933 * * [simplify]: iteration 1 : 357 enodes (cost 1017 ) 5.008 * * [simplify]: iteration 2 : 856 enodes (cost 899 ) 5.369 * * [simplify]: iteration 3 : 2455 enodes (cost 878 ) 6.245 * * [simplify]: iteration done : 5000 enodes (cost 878 ) 6.245 * [simplify]: Simplified to: (* (* 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) (log (/ (cbrt x) (cbrt (+ x y))))) 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 (+ (* y (- y x)) (* x x))) (cbrt (+ (* y (- y x)) (* x x)))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (+ (* y (- y x)) (* x 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 (+ (* y (- y x)) (* x 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 (+ x y)) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (cbrt (+ (* y (- y x)) (* x 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 (+ x y)) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (cbrt (+ (* y (- y x)) (* x x))) x) (pow (/ (pow x 2/3) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) (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)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (+ 1 (* 2/9 (* (pow x 2) (pow (log y) 2)))) (* x (+ (* (* 2/9 (pow (log x) 2)) x) (* 2/3 (log x))))) (* (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))) 6.286 * * * [progress]: adding candidates to table 6.568 * * [progress]: iteration 3 / 4 6.568 * * * [progress]: picking best candidate 6.586 * * * * [pick]: Picked # 6.586 * * * [progress]: localizing error 6.605 * * * [progress]: generating rewritten candidates 6.605 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.606 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 6.606 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 6.607 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 6.608 * * * [progress]: generating series expansions 6.608 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.608 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.608 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.608 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.608 * [taylor]: Taking taylor expansion of 1/3 in x 6.608 * [taylor]: Taking taylor expansion of (log x) in x 6.608 * [taylor]: Taking taylor expansion of x in x 6.610 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.610 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.610 * [taylor]: Taking taylor expansion of 1/3 in x 6.610 * [taylor]: Taking taylor expansion of (log x) in x 6.610 * [taylor]: Taking taylor expansion of x in x 6.665 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.665 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.665 * [taylor]: Taking taylor expansion of 1/3 in x 6.665 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.665 * [taylor]: Taking taylor expansion of x in x 6.667 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.667 * [taylor]: Taking taylor expansion of 1/3 in x 6.667 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.667 * [taylor]: Taking taylor expansion of x in x 6.732 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.732 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.732 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.732 * [taylor]: Taking taylor expansion of -1 in x 6.733 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.733 * [taylor]: Taking taylor expansion of 1/3 in x 6.733 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.733 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.733 * [taylor]: Taking taylor expansion of x in x 6.734 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.735 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.735 * [taylor]: Taking taylor expansion of -1 in x 6.735 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.736 * [taylor]: Taking taylor expansion of 1/3 in x 6.736 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.736 * [taylor]: Taking taylor expansion of x in x 6.816 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 6.816 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.816 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.816 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.816 * [taylor]: Taking taylor expansion of 1/3 in x 6.816 * [taylor]: Taking taylor expansion of (log x) in x 6.816 * [taylor]: Taking taylor expansion of x in x 6.817 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.817 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.817 * [taylor]: Taking taylor expansion of 1/3 in x 6.817 * [taylor]: Taking taylor expansion of (log x) in x 6.817 * [taylor]: Taking taylor expansion of x in x 6.878 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.878 * [taylor]: Taking taylor expansion of 1/3 in x 6.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.878 * [taylor]: Taking taylor expansion of x in x 6.880 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.880 * [taylor]: Taking taylor expansion of 1/3 in x 6.880 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.880 * [taylor]: Taking taylor expansion of x in x 6.946 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.946 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.946 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.946 * [taylor]: Taking taylor expansion of -1 in x 6.947 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.947 * [taylor]: Taking taylor expansion of 1/3 in x 6.947 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.947 * [taylor]: Taking taylor expansion of x in x 6.948 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.948 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.948 * [taylor]: Taking taylor expansion of -1 in x 6.949 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.949 * [taylor]: Taking taylor expansion of 1/3 in x 6.949 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.949 * [taylor]: Taking taylor expansion of x in x 7.023 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 7.023 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.023 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.023 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.023 * [taylor]: Taking taylor expansion of 1/3 in x 7.023 * [taylor]: Taking taylor expansion of (log x) in x 7.023 * [taylor]: Taking taylor expansion of x in x 7.024 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.024 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.024 * [taylor]: Taking taylor expansion of 1/3 in x 7.024 * [taylor]: Taking taylor expansion of (log x) in x 7.024 * [taylor]: Taking taylor expansion of x in x 7.086 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.086 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.086 * [taylor]: Taking taylor expansion of 1/3 in x 7.086 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.086 * [taylor]: Taking taylor expansion of x in x 7.088 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.088 * [taylor]: Taking taylor expansion of 1/3 in x 7.088 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.088 * [taylor]: Taking taylor expansion of x in x 7.154 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.154 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.154 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.154 * [taylor]: Taking taylor expansion of -1 in x 7.155 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.155 * [taylor]: Taking taylor expansion of 1/3 in x 7.155 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.155 * [taylor]: Taking taylor expansion of x in x 7.156 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.156 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.156 * [taylor]: Taking taylor expansion of -1 in x 7.157 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.157 * [taylor]: Taking taylor expansion of 1/3 in x 7.157 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.157 * [taylor]: Taking taylor expansion of x in x 7.234 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 7.234 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.234 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.234 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.234 * [taylor]: Taking taylor expansion of 1/3 in x 7.234 * [taylor]: Taking taylor expansion of (log x) in x 7.234 * [taylor]: Taking taylor expansion of x in x 7.235 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.235 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.235 * [taylor]: Taking taylor expansion of 1/3 in x 7.235 * [taylor]: Taking taylor expansion of (log x) in x 7.235 * [taylor]: Taking taylor expansion of x in x 7.286 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.286 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.286 * [taylor]: Taking taylor expansion of 1/3 in x 7.286 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.286 * [taylor]: Taking taylor expansion of x in x 7.293 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.293 * [taylor]: Taking taylor expansion of 1/3 in x 7.293 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.293 * [taylor]: Taking taylor expansion of x in x 7.349 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.349 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.349 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.349 * [taylor]: Taking taylor expansion of -1 in x 7.350 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.350 * [taylor]: Taking taylor expansion of 1/3 in x 7.350 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.350 * [taylor]: Taking taylor expansion of x in x 7.351 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.351 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.351 * [taylor]: Taking taylor expansion of -1 in x 7.352 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.352 * [taylor]: Taking taylor expansion of 1/3 in x 7.352 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.352 * [taylor]: Taking taylor expansion of x in x 7.425 * * * [progress]: simplifying candidates 7.426 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 7.428 * * [simplify]: iteration 0 : 24 enodes (cost 260 ) 7.432 * * [simplify]: iteration 1 : 42 enodes (cost 244 ) 7.439 * * [simplify]: iteration 2 : 83 enodes (cost 220 ) 7.458 * * [simplify]: iteration 3 : 161 enodes (cost 208 ) 7.486 * * [simplify]: iteration 4 : 369 enodes (cost 208 ) 7.660 * * [simplify]: iteration 5 : 1062 enodes (cost 208 ) 9.145 * * [simplify]: iteration 6 : 4138 enodes (cost 208 ) 10.980 * * [simplify]: iteration done : 5001 enodes (cost 208 ) 10.980 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (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)) (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))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 10.981 * * * [progress]: adding candidates to table 11.174 * * [progress]: iteration 4 / 4 11.174 * * * [progress]: picking best candidate 11.185 * * * * [pick]: Picked # 11.185 * * * [progress]: localizing error 11.209 * * * [progress]: generating rewritten candidates 11.209 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 11.210 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2) 11.211 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 1) 11.212 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 11.214 * * * [progress]: generating series expansions 11.214 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 11.214 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 11.214 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 11.214 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 11.214 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 11.214 * [taylor]: Taking taylor expansion of 1/9 in x 11.214 * [taylor]: Taking taylor expansion of (log x) in x 11.214 * [taylor]: Taking taylor expansion of x in x 11.215 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 11.215 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 11.215 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 11.215 * [taylor]: Taking taylor expansion of 1/9 in x 11.215 * [taylor]: Taking taylor expansion of (log x) in x 11.215 * [taylor]: Taking taylor expansion of x in x 11.278 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 11.278 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.278 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.278 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.278 * [taylor]: Taking taylor expansion of 1/9 in x 11.278 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.278 * [taylor]: Taking taylor expansion of x in x 11.279 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.279 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.279 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.279 * [taylor]: Taking taylor expansion of 1/9 in x 11.279 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.280 * [taylor]: Taking taylor expansion of x in x 11.339 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 11.339 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 11.339 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 11.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 11.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 11.339 * [taylor]: Taking taylor expansion of 1/3 in x 11.339 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 11.339 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.339 * [taylor]: Taking taylor expansion of -1 in x 11.352 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.352 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.352 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.352 * [taylor]: Taking taylor expansion of 1/9 in x 11.352 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.352 * [taylor]: Taking taylor expansion of x in x 11.353 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 11.353 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 11.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 11.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 11.353 * [taylor]: Taking taylor expansion of 1/3 in x 11.353 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 11.353 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.353 * [taylor]: Taking taylor expansion of -1 in x 11.358 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.358 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.358 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.358 * [taylor]: Taking taylor expansion of 1/9 in x 11.358 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.358 * [taylor]: Taking taylor expansion of x in x 11.738 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2) 11.738 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 11.738 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 11.738 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 11.738 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 11.738 * [taylor]: Taking taylor expansion of 1/9 in x 11.738 * [taylor]: Taking taylor expansion of (log x) in x 11.738 * [taylor]: Taking taylor expansion of x in x 11.739 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 11.739 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 11.739 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 11.739 * [taylor]: Taking taylor expansion of 1/9 in x 11.739 * [taylor]: Taking taylor expansion of (log x) in x 11.739 * [taylor]: Taking taylor expansion of x in x 11.798 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 11.798 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.798 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.798 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.798 * [taylor]: Taking taylor expansion of 1/9 in x 11.798 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.799 * [taylor]: Taking taylor expansion of x in x 11.800 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.800 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.800 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.800 * [taylor]: Taking taylor expansion of 1/9 in x 11.800 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.800 * [taylor]: Taking taylor expansion of x in x 11.863 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 11.863 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 11.863 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 11.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 11.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 11.863 * [taylor]: Taking taylor expansion of 1/3 in x 11.863 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 11.863 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.863 * [taylor]: Taking taylor expansion of -1 in x 11.867 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.867 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.867 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.867 * [taylor]: Taking taylor expansion of 1/9 in x 11.867 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.867 * [taylor]: Taking taylor expansion of x in x 11.868 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 11.869 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 11.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 11.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 11.869 * [taylor]: Taking taylor expansion of 1/3 in x 11.869 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 11.869 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.869 * [taylor]: Taking taylor expansion of -1 in x 11.873 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 11.873 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 11.873 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 11.873 * [taylor]: Taking taylor expansion of 1/9 in x 11.873 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.873 * [taylor]: Taking taylor expansion of x in x 12.009 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 1) 12.009 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 12.009 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 12.009 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 12.010 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 12.010 * [taylor]: Taking taylor expansion of 1/9 in x 12.010 * [taylor]: Taking taylor expansion of (log x) in x 12.010 * [taylor]: Taking taylor expansion of x in x 12.010 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 12.011 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 12.011 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 12.011 * [taylor]: Taking taylor expansion of 1/9 in x 12.011 * [taylor]: Taking taylor expansion of (log x) in x 12.011 * [taylor]: Taking taylor expansion of x in x 12.073 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 12.073 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 12.073 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 12.073 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 12.073 * [taylor]: Taking taylor expansion of 1/9 in x 12.073 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.073 * [taylor]: Taking taylor expansion of x in x 12.074 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 12.074 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 12.074 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 12.074 * [taylor]: Taking taylor expansion of 1/9 in x 12.074 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.074 * [taylor]: Taking taylor expansion of x in x 12.140 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 12.140 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 12.140 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 12.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 12.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 12.140 * [taylor]: Taking taylor expansion of 1/3 in x 12.140 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 12.140 * [taylor]: Taking taylor expansion of (cbrt -1) in x 12.140 * [taylor]: Taking taylor expansion of -1 in x 12.145 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 12.145 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 12.145 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 12.145 * [taylor]: Taking taylor expansion of 1/9 in x 12.145 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.146 * [taylor]: Taking taylor expansion of x in x 12.147 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 12.147 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 12.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 12.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 12.147 * [taylor]: Taking taylor expansion of 1/3 in x 12.147 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 12.147 * [taylor]: Taking taylor expansion of (cbrt -1) in x 12.147 * [taylor]: Taking taylor expansion of -1 in x 12.151 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 12.151 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 12.151 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 12.151 * [taylor]: Taking taylor expansion of 1/9 in x 12.151 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.151 * [taylor]: Taking taylor expansion of x in x 12.296 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 12.297 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 12.297 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 12.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 12.297 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 12.297 * [taylor]: Taking taylor expansion of 1/3 in x 12.297 * [taylor]: Taking taylor expansion of (log x) in x 12.297 * [taylor]: Taking taylor expansion of x in x 12.298 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 12.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 12.298 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 12.298 * [taylor]: Taking taylor expansion of 1/3 in x 12.298 * [taylor]: Taking taylor expansion of (log x) in x 12.298 * [taylor]: Taking taylor expansion of x in x 12.355 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 12.355 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.355 * [taylor]: Taking taylor expansion of 1/3 in x 12.355 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.355 * [taylor]: Taking taylor expansion of x in x 12.356 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.357 * [taylor]: Taking taylor expansion of 1/3 in x 12.357 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.357 * [taylor]: Taking taylor expansion of x in x 12.425 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 12.425 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 12.425 * [taylor]: Taking taylor expansion of (cbrt -1) in x 12.425 * [taylor]: Taking taylor expansion of -1 in x 12.426 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.426 * [taylor]: Taking taylor expansion of 1/3 in x 12.426 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.426 * [taylor]: Taking taylor expansion of x in x 12.428 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 12.428 * [taylor]: Taking taylor expansion of (cbrt -1) in x 12.428 * [taylor]: Taking taylor expansion of -1 in x 12.428 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.429 * [taylor]: Taking taylor expansion of 1/3 in x 12.429 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.429 * [taylor]: Taking taylor expansion of x in x 12.506 * * * [progress]: simplifying candidates 12.507 * [simplify]: Simplifying using # : (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow 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)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 12.508 * * [simplify]: iteration 0 : 42 enodes (cost 389 ) 12.516 * * [simplify]: iteration 1 : 75 enodes (cost 370 ) 12.529 * * [simplify]: iteration 2 : 147 enodes (cost 340 ) 12.560 * * [simplify]: iteration 3 : 306 enodes (cost 328 ) 12.636 * * [simplify]: iteration 4 : 845 enodes (cost 328 ) 13.303 * * [simplify]: iteration 5 : 3485 enodes (cost 328 ) 14.884 * * [simplify]: iteration done : 5000 enodes (cost 328 ) 14.884 * [simplify]: Simplified to: (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (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))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (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))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (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))) (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)) (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))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 14.885 * * * [progress]: adding candidates to table 15.150 * [progress]: [Phase 3 of 3] Extracting. 15.150 * * [regime]: Finding splitpoints for: (# # # # # #) 15.151 * * * [regime-changes]: Trying 2 branch expressions: (y x) 15.152 * * * * [regimes]: Trying to branch on y from (# # # # # #) 15.190 * * * * [regimes]: Trying to branch on x from (# # # # # #) 15.230 * * * [regime]: Found split indices: #