21.305 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.068 * [simplify]: Simplifying using # : (/ (exp (* x (log (/ x (+ x y))))) x) 0.069 * * [simplify]: iteration 0 : 15 enodes (cost 6 ) 0.070 * * [simplify]: iteration 1 : 24 enodes (cost 6 ) 0.071 * * [simplify]: iteration 2 : 51 enodes (cost 6 ) 0.073 * * [simplify]: iteration 3 : 106 enodes (cost 6 ) 0.075 * * [simplify]: iteration 4 : 304 enodes (cost 4 ) 0.078 * * [simplify]: iteration 5 : 774 enodes (cost 4 ) 0.092 * * [simplify]: iteration 6 : 4142 enodes (cost 4 ) 0.174 * * [simplify]: iteration 7 : 5001 enodes (cost 4 ) 0.174 * [simplify]: Simplified to: (/ (pow (/ x (+ x y)) x) x) 0.179 * * [progress]: iteration 1 / 4 0.179 * * * [progress]: picking best candidate 0.181 * * * * [pick]: Picked # 0.181 * * * [progress]: localizing error 0.187 * * * [progress]: generating rewritten candidates 0.187 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.193 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.200 * * * [progress]: generating series expansions 0.200 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.200 * [approximate]: Taking taylor expansion of (pow (/ x (+ x y)) x) in (x y) around 0 0.200 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 0.200 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 0.200 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 0.200 * [taylor]: Taking taylor expansion of x in y 0.200 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 0.200 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 0.200 * [taylor]: Taking taylor expansion of x in y 0.200 * [taylor]: Taking taylor expansion of (+ x y) in y 0.200 * [taylor]: Taking taylor expansion of x in y 0.200 * [taylor]: Taking taylor expansion of y in y 0.200 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 0.201 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 0.201 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 0.201 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of (+ x y) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of y in x 0.201 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 0.201 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 0.201 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 0.201 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of (+ x y) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of y in x 0.202 * [taylor]: Taking taylor expansion of 1 in y 0.202 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.202 * [taylor]: Taking taylor expansion of (log x) in y 0.202 * [taylor]: Taking taylor expansion of x in y 0.202 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.202 * [taylor]: Taking taylor expansion of y in y 0.203 * [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 0.203 * [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 0.203 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 y))) in y 0.203 * [taylor]: Taking taylor expansion of (log x) in y 0.203 * [taylor]: Taking taylor expansion of x in y 0.203 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.203 * [taylor]: Taking taylor expansion of y in y 0.203 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2))) in y 0.203 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log x) 2)) in y 0.203 * [taylor]: Taking taylor expansion of 1/2 in y 0.203 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 0.204 * [taylor]: Taking taylor expansion of (log x) in y 0.204 * [taylor]: Taking taylor expansion of x in y 0.204 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log (/ 1 y)) 2)) in y 0.204 * [taylor]: Taking taylor expansion of 1/2 in y 0.204 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 0.204 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.206 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in (x y) around 0 0.206 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in y 0.206 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 0.206 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.206 * [taylor]: Taking taylor expansion of x in y 0.206 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 0.206 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 0.207 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 0.207 * [taylor]: Taking taylor expansion of x in y 0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.207 * [taylor]: Taking taylor expansion of x in y 0.207 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 0.207 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 0.207 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.207 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 0.207 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 0.207 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.207 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x)) in y 0.208 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in y 0.208 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 0.208 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 0.208 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of 0 in y 0.209 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in (x y) around 0 0.214 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in y 0.214 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 0.214 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 0.214 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.214 * [taylor]: Taking taylor expansion of -1 in y 0.214 * [taylor]: Taking taylor expansion of x in y 0.214 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 0.214 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 0.214 * [taylor]: Taking taylor expansion of x in y 0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.214 * [taylor]: Taking taylor expansion of x in y 0.214 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 0.214 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 0.214 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 0.214 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.214 * [taylor]: Taking taylor expansion of -1 in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.214 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.214 * [taylor]: Taking taylor expansion of y in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 0.215 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 0.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.215 * [taylor]: Taking taylor expansion of -1 in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.215 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x))) in y 0.215 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x)) in y 0.215 * [taylor]: Taking taylor expansion of -1 in y 0.215 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in y 0.215 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 0.215 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 0.215 * [taylor]: Taking taylor expansion of x in y 0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.215 * [taylor]: Taking taylor expansion of x in y 0.216 * [taylor]: Taking taylor expansion of x in y 0.216 * [taylor]: Taking taylor expansion of 0 in y 0.217 * [taylor]: Taking taylor expansion of 0 in y 0.219 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.219 * [approximate]: Taking taylor expansion of (/ x (+ x y)) in (x y) around 0 0.219 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 0.219 * [taylor]: Taking taylor expansion of x in y 0.219 * [taylor]: Taking taylor expansion of (+ x y) in y 0.219 * [taylor]: Taking taylor expansion of x in y 0.219 * [taylor]: Taking taylor expansion of y in y 0.219 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of (+ x y) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of y in x 0.220 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of (+ x y) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of y in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.220 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 2))) in y 0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.220 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.220 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.221 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 0.221 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 0.221 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 0.221 * [taylor]: Taking taylor expansion of x in y 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.221 * [taylor]: Taking taylor expansion of x in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.221 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.221 * [taylor]: Taking taylor expansion of y in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.221 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.221 * [taylor]: Taking taylor expansion of y in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of 1 in y 0.222 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.222 * [taylor]: Taking taylor expansion of y in y 0.222 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.222 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.222 * [taylor]: Taking taylor expansion of y in y 0.222 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 0.222 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 0.222 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 0.222 * [taylor]: Taking taylor expansion of x in y 0.222 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.222 * [taylor]: Taking taylor expansion of y in y 0.222 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.223 * [taylor]: Taking taylor expansion of x in y 0.223 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.223 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.223 * [taylor]: Taking taylor expansion of y in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 0.223 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.223 * [taylor]: Taking taylor expansion of y in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of 1 in y 0.223 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.223 * [taylor]: Taking taylor expansion of y in y 0.224 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.224 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.224 * [taylor]: Taking taylor expansion of y in y 0.224 * * * [progress]: simplifying candidates 0.225 * [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))) (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))) (neg x) (neg (+ 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))) (- (+ (* (log x) x) (+ (* 1/2 (* (pow (log x) 2) (pow x 2))) (+ (* (log 1) x) (+ (* 1/2 (* (pow (log 1) 2) (pow x 2))) (+ (* 1/2 (* (pow x 2) (pow (log y) 2))) (+ (* (log 1) (* (log x) (pow x 2))) 1)))))) (+ (* (log 1) (* (pow x 2) (log y))) (+ (* (log x) (* (pow x 2) (log y))) (* x (log y))))) (- (+ (* 1/2 (/ (* (pow x 4) (exp (* x (+ (log x) (log (/ 1 y)))))) (pow y 2))) (+ (exp (* x (+ (log x) (log (/ 1 y))))) (* 1/2 (/ (* (pow x 3) (exp (* x (+ (log x) (log (/ 1 y)))))) (pow y 2))))) (/ (* (pow x 2) (exp (* x (+ (log x) (log (/ 1 y)))))) y)) (- (+ (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (+ (* 1/2 (/ (* (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (pow x 3)) (pow y 2))) (* 1/2 (/ (* (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (pow x 4)) (pow y 2))))) (/ (* (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (pow x 2)) y)) 0 0 0 0.230 * * [simplify]: iteration 0 : 451 enodes (cost 502 ) 0.239 * * [simplify]: iteration 1 : 2027 enodes (cost 479 ) 0.270 * * [simplify]: iteration 2 : 5002 enodes (cost 474 ) 0.273 * [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)) (pow x 2)) 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 (/ 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) (pow (/ x (+ x y)) 1/2) (pow (/ x (+ x y)) 1/2) (* -1 x) (neg (+ 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))) (- (+ (+ (+ (* (log x) x) (* 1/2 (* (pow (log x) 2) (pow x 2)))) (* (log 1) x)) (+ (+ (* 1/2 (+ (* (* x 0) (* x 0)) (* (pow x 2) (pow (log y) 2)))) 1) (* (log 1) (* (log x) (pow x 2))))) (* (log y) (+ x (* (log x) (pow x 2))))) (- (+ (* 1/2 (/ (* (pow x 4) (exp (* x (+ (log x) (log (/ 1 y)))))) (pow y 2))) (+ (exp (* x (+ (log x) (log (/ 1 y))))) (* 1/2 (/ (* (pow x 3) (exp (* x (+ (log x) (log (/ 1 y)))))) (pow y 2))))) (/ (* (pow x 2) (exp (* x (+ (log x) (log (/ 1 y)))))) y)) (+ (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (- (* 1/2 (+ (/ (* (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (pow x 3)) (pow y 2)) (/ (* (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (pow x 4)) (pow y 2)))) (/ (* (exp (* x (+ (log (* -1 x)) (log (/ -1 y))))) (pow x 2)) y))) 0 0 0 0.273 * * * [progress]: adding candidates to table 0.367 * * [progress]: iteration 2 / 4 0.367 * * * [progress]: picking best candidate 0.393 * * * * [pick]: Picked # 0.393 * * * [progress]: localizing error 0.408 * * * [progress]: generating rewritten candidates 0.408 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 0.424 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2) 0.425 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 0.428 * * * [progress]: generating series expansions 0.428 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.428 * [approximate]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in (x y) around 0 0.428 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in y 0.428 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in y 0.428 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in y 0.428 * [taylor]: Taking taylor expansion of x in y 0.429 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in y 0.429 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in y 0.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in y 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in y 0.429 * [taylor]: Taking taylor expansion of 1/3 in y 0.429 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in y 0.429 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in y 0.429 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.429 * [taylor]: Taking taylor expansion of x in y 0.429 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 0.429 * [taylor]: Taking taylor expansion of (+ x y) in y 0.429 * [taylor]: Taking taylor expansion of x in y 0.429 * [taylor]: Taking taylor expansion of y in y 0.429 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 0.429 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 0.429 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 0.429 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 0.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 0.429 * [taylor]: Taking taylor expansion of 1/3 in x 0.429 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 0.429 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 0.429 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.429 * [taylor]: Taking taylor expansion of (+ x y) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.431 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 0.431 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 0.431 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 0.431 * [taylor]: Taking taylor expansion of x in x 0.431 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 0.431 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 0.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 0.431 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 0.431 * [taylor]: Taking taylor expansion of 1/3 in x 0.431 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 0.431 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 0.431 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.431 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.432 * [taylor]: Taking taylor expansion of (+ x y) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of y in x 0.433 * [taylor]: Taking taylor expansion of 1 in y 0.434 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log x)) (* 1/3 (log (/ 1 (pow y 2))))) in y 0.434 * [taylor]: Taking taylor expansion of (* 2/3 (log x)) in y 0.434 * [taylor]: Taking taylor expansion of 2/3 in y 0.434 * [taylor]: Taking taylor expansion of (log x) in y 0.434 * [taylor]: Taking taylor expansion of x in y 0.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 0.434 * [taylor]: Taking taylor expansion of 1/3 in y 0.434 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 0.434 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.434 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.434 * [taylor]: Taking taylor expansion of y in y 0.437 * [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 0.437 * [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 0.437 * [taylor]: Taking taylor expansion of (* 2/9 (pow (log x) 2)) in y 0.437 * [taylor]: Taking taylor expansion of 2/9 in y 0.437 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 0.437 * [taylor]: Taking taylor expansion of (log x) in y 0.437 * [taylor]: Taking taylor expansion of x in y 0.437 * [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 0.437 * [taylor]: Taking taylor expansion of (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) in y 0.437 * [taylor]: Taking taylor expansion of 2/9 in y 0.437 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 (pow y 2)))) in y 0.437 * [taylor]: Taking taylor expansion of (log x) in y 0.437 * [taylor]: Taking taylor expansion of x in y 0.437 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 0.437 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.437 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.437 * [taylor]: Taking taylor expansion of y in y 0.437 * [taylor]: Taking taylor expansion of (* 1/18 (pow (log (/ 1 (pow y 2))) 2)) in y 0.437 * [taylor]: Taking taylor expansion of 1/18 in y 0.437 * [taylor]: Taking taylor expansion of (pow (log (/ 1 (pow y 2))) 2) in y 0.437 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 0.437 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.437 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.437 * [taylor]: Taking taylor expansion of y in y 0.437 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 0.437 * [taylor]: Taking taylor expansion of 2/3 in y 0.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.437 * [taylor]: Taking taylor expansion of y in y 0.441 * [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 0.441 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in y 0.441 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 0.441 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 0.441 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.441 * [taylor]: Taking taylor expansion of x in y 0.441 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 0.441 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 0.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 0.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 0.441 * [taylor]: Taking taylor expansion of 1/3 in y 0.441 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 0.441 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 0.441 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 0.441 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.441 * [taylor]: Taking taylor expansion of x in y 0.441 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 0.441 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.441 * [taylor]: Taking taylor expansion of y in y 0.441 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.441 * [taylor]: Taking taylor expansion of x in y 0.442 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 0.442 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 0.442 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 0.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.442 * [taylor]: Taking taylor expansion of x in x 0.442 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 0.442 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 0.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 0.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 0.442 * [taylor]: Taking taylor expansion of 1/3 in x 0.442 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 0.442 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 0.442 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 0.442 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.442 * [taylor]: Taking taylor expansion of x in x 0.442 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 0.442 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.442 * [taylor]: Taking taylor expansion of y in x 0.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.442 * [taylor]: Taking taylor expansion of x in x 0.443 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 0.443 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 0.443 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 0.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.443 * [taylor]: Taking taylor expansion of x in x 0.443 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 0.443 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 0.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 0.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 0.443 * [taylor]: Taking taylor expansion of 1/3 in x 0.443 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 0.443 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 0.443 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 0.443 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.443 * [taylor]: Taking taylor expansion of x in x 0.443 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.443 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.443 * [taylor]: Taking taylor expansion of y in x 0.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.443 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of (exp (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x)) in y 0.444 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x) in y 0.444 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 0.444 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 0.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 0.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 0.444 * [taylor]: Taking taylor expansion of 1/3 in y 0.444 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 0.444 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 0.444 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 0.444 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.444 * [taylor]: Taking taylor expansion of x in y 0.444 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.444 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.444 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.444 * [taylor]: Taking taylor expansion of x in y 0.444 * [taylor]: Taking taylor expansion of x in y 0.445 * [taylor]: Taking taylor expansion of 0 in y 0.447 * [taylor]: Taking taylor expansion of 0 in y 0.453 * [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 0.453 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in y 0.453 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 0.453 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 0.453 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.453 * [taylor]: Taking taylor expansion of -1 in y 0.453 * [taylor]: Taking taylor expansion of x in y 0.453 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 0.453 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 0.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 0.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 0.453 * [taylor]: Taking taylor expansion of 1/3 in y 0.453 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 0.453 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 0.453 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 0.453 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.453 * [taylor]: Taking taylor expansion of x in y 0.453 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.453 * [taylor]: Taking taylor expansion of y in y 0.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.453 * [taylor]: Taking taylor expansion of x in y 0.454 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 0.454 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 0.454 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 0.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.454 * [taylor]: Taking taylor expansion of -1 in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.454 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 0.454 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 0.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 0.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 0.455 * [taylor]: Taking taylor expansion of 1/3 in x 0.455 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 0.455 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 0.455 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 0.455 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.455 * [taylor]: Taking taylor expansion of y in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 0.455 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 0.455 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 0.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.455 * [taylor]: Taking taylor expansion of -1 in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 0.455 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 0.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 0.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 0.455 * [taylor]: Taking taylor expansion of 1/3 in x 0.455 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 0.455 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 0.455 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 0.455 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.455 * [taylor]: Taking taylor expansion of y in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.456 * [taylor]: Taking taylor expansion of x in x 0.456 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x))) in y 0.456 * [taylor]: Taking taylor expansion of (* -1 (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x)) in y 0.456 * [taylor]: Taking taylor expansion of -1 in y 0.456 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x) in y 0.456 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 0.456 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 0.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 0.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 0.456 * [taylor]: Taking taylor expansion of 1/3 in y 0.456 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 0.456 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 0.456 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 0.456 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.456 * [taylor]: Taking taylor expansion of x in y 0.456 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 0.456 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.456 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.456 * [taylor]: Taking taylor expansion of x in y 0.457 * [taylor]: Taking taylor expansion of x in y 0.457 * [taylor]: Taking taylor expansion of 0 in y 0.459 * [taylor]: Taking taylor expansion of 0 in y 0.464 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 0.464 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.464 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.464 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.464 * [taylor]: Taking taylor expansion of 1/3 in x 0.464 * [taylor]: Taking taylor expansion of (log x) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.464 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.464 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.464 * [taylor]: Taking taylor expansion of 1/3 in x 0.464 * [taylor]: Taking taylor expansion of (log x) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.470 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.470 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.470 * [taylor]: Taking taylor expansion of 1/3 in x 0.470 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.470 * [taylor]: Taking taylor expansion of 1/3 in x 0.470 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.476 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.477 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.477 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.477 * [taylor]: Taking taylor expansion of -1 in x 0.477 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.477 * [taylor]: Taking taylor expansion of 1/3 in x 0.477 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.477 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.477 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.477 * [taylor]: Taking taylor expansion of -1 in x 0.477 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.477 * [taylor]: Taking taylor expansion of 1/3 in x 0.477 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2) 0.485 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.485 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.485 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.485 * [taylor]: Taking taylor expansion of 1/3 in x 0.485 * [taylor]: Taking taylor expansion of (log x) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.485 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.485 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.485 * [taylor]: Taking taylor expansion of 1/3 in x 0.485 * [taylor]: Taking taylor expansion of (log x) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.491 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.491 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.491 * [taylor]: Taking taylor expansion of 1/3 in x 0.491 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.491 * [taylor]: Taking taylor expansion of 1/3 in x 0.491 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.497 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.497 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.497 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.497 * [taylor]: Taking taylor expansion of -1 in x 0.498 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.498 * [taylor]: Taking taylor expansion of 1/3 in x 0.498 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.498 * [taylor]: Taking taylor expansion of x in x 0.498 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.498 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.498 * [taylor]: Taking taylor expansion of -1 in x 0.498 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.498 * [taylor]: Taking taylor expansion of 1/3 in x 0.498 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.498 * [taylor]: Taking taylor expansion of x in x 0.506 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 0.506 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.506 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.506 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.506 * [taylor]: Taking taylor expansion of 1/3 in x 0.506 * [taylor]: Taking taylor expansion of (log x) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.506 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.506 * [taylor]: Taking taylor expansion of 1/3 in x 0.506 * [taylor]: Taking taylor expansion of (log x) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.512 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.512 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.512 * [taylor]: Taking taylor expansion of 1/3 in x 0.512 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.512 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.512 * [taylor]: Taking taylor expansion of 1/3 in x 0.512 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.512 * [taylor]: Taking taylor expansion of x in x 0.519 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.519 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.519 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.519 * [taylor]: Taking taylor expansion of -1 in x 0.519 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.519 * [taylor]: Taking taylor expansion of 1/3 in x 0.519 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.519 * [taylor]: Taking taylor expansion of x in x 0.519 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.519 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.519 * [taylor]: Taking taylor expansion of -1 in x 0.519 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.519 * [taylor]: Taking taylor expansion of 1/3 in x 0.519 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.519 * [taylor]: Taking taylor expansion of x in x 0.527 * * * [progress]: simplifying candidates 0.528 * [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/3 (* (log x) x)) (+ (* 2/9 (* (pow (log x) 2) (pow x 2))) (+ (* 1/3 (* (log 1) x)) (+ (* 1/18 (* (pow (log 1) 2) (pow x 2))) (+ (* 2/9 (* (pow x 2) (pow (log y) 2))) (+ (* 2/9 (* (log 1) (* (log x) (pow x 2)))) 1)))))) (+ (* 2/9 (* (log 1) (* (pow x 2) (log y)))) (+ (* 4/9 (* (log x) (* (pow x 2) (log y)))) (* 2/3 (* x (log y)))))) (- (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))) (+ (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))))) (* 2/3 (/ (* (pow x 2) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) y))) (- (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))) (+ (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y))))))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))))) (* 2/3 (/ (* (pow x 2) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) y))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 0.536 * * [simplify]: iteration 0 : 540 enodes (cost 774 ) 0.544 * * [simplify]: iteration 1 : 1876 enodes (cost 714 ) 0.578 * * [simplify]: iteration 2 : 5002 enodes (cost 668 ) 0.582 * [simplify]: Simplified to: (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) 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)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (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 (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 (/ (* (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 (- (* 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 (+ (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 (+ (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) (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) (* (* 2 (- (log (cbrt x)) (log (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 (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 3) (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)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) 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)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) 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)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (+ (+ (* 2/9 (* (pow x 2) (pow (log y) 2))) 1) (+ (* x (+ (* (* 2/9 (pow (log x) 2)) x) (* 2/3 (log x)))) (+ (* -2/3 (* x (log y))) (* (neg (* (pow x 2) (log y))) (* 4/9 (log x)))))) (+ (+ (* -2/3 (/ (* (pow x 2) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) y)) (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))))) (pow (exp 1/3) (* (* 2 (+ (log (/ 1 y)) (log x))) x))) (+ (+ (* -2/3 (/ (* (pow x 2) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) y)) (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))))) (pow (exp 1/3) (* x (* 2 (+ (log (/ -1 y)) (log x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 0.582 * * * [progress]: adding candidates to table 0.694 * * [progress]: iteration 3 / 4 0.694 * * * [progress]: picking best candidate 0.705 * * * * [pick]: Picked # 0.705 * * * [progress]: localizing error 0.720 * * * [progress]: generating rewritten candidates 0.720 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 0.721 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 0.723 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 0.724 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 0.728 * * * [progress]: generating series expansions 0.728 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 0.728 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.728 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.728 * [taylor]: Taking taylor expansion of 1/3 in x 0.728 * [taylor]: Taking taylor expansion of (log x) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.728 * [taylor]: Taking taylor expansion of 1/3 in x 0.728 * [taylor]: Taking taylor expansion of (log x) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.734 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.734 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.734 * [taylor]: Taking taylor expansion of 1/3 in x 0.734 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.734 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.734 * [taylor]: Taking taylor expansion of 1/3 in x 0.734 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.741 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.741 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.741 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.741 * [taylor]: Taking taylor expansion of -1 in x 0.741 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.741 * [taylor]: Taking taylor expansion of 1/3 in x 0.741 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.741 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.741 * [taylor]: Taking taylor expansion of -1 in x 0.741 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.741 * [taylor]: Taking taylor expansion of 1/3 in x 0.741 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.749 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 0.749 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.749 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.749 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.749 * [taylor]: Taking taylor expansion of 1/3 in x 0.749 * [taylor]: Taking taylor expansion of (log x) in x 0.749 * [taylor]: Taking taylor expansion of x in x 0.750 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.750 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.750 * [taylor]: Taking taylor expansion of 1/3 in x 0.750 * [taylor]: Taking taylor expansion of (log x) in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.755 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.755 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.756 * [taylor]: Taking taylor expansion of 1/3 in x 0.756 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.756 * [taylor]: Taking taylor expansion of 1/3 in x 0.756 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.763 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.763 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.763 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.763 * [taylor]: Taking taylor expansion of -1 in x 0.763 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.763 * [taylor]: Taking taylor expansion of 1/3 in x 0.763 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.763 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.763 * [taylor]: Taking taylor expansion of -1 in x 0.763 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.763 * [taylor]: Taking taylor expansion of 1/3 in x 0.763 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.771 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 0.771 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.771 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.771 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.771 * [taylor]: Taking taylor expansion of 1/3 in x 0.771 * [taylor]: Taking taylor expansion of (log x) in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.771 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.771 * [taylor]: Taking taylor expansion of 1/3 in x 0.771 * [taylor]: Taking taylor expansion of (log x) in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.777 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.777 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.777 * [taylor]: Taking taylor expansion of 1/3 in x 0.777 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.778 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.778 * [taylor]: Taking taylor expansion of 1/3 in x 0.778 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.778 * [taylor]: Taking taylor expansion of x in x 0.784 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.784 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.784 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.784 * [taylor]: Taking taylor expansion of -1 in x 0.784 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.784 * [taylor]: Taking taylor expansion of 1/3 in x 0.784 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.784 * [taylor]: Taking taylor expansion of x in x 0.784 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.784 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.784 * [taylor]: Taking taylor expansion of -1 in x 0.785 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.785 * [taylor]: Taking taylor expansion of 1/3 in x 0.785 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.795 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 0.795 * [approximate]: Taking taylor expansion of (pow (+ x y) 1/3) in (x y) around 0 0.795 * [taylor]: Taking taylor expansion of (pow (+ x y) 1/3) in y 0.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x y)))) in y 0.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x y))) in y 0.795 * [taylor]: Taking taylor expansion of 1/3 in y 0.795 * [taylor]: Taking taylor expansion of (log (+ x y)) in y 0.795 * [taylor]: Taking taylor expansion of (+ x y) in y 0.795 * [taylor]: Taking taylor expansion of x in y 0.795 * [taylor]: Taking taylor expansion of y in y 0.795 * [taylor]: Taking taylor expansion of (pow (+ x y) 1/3) in x 0.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x y)))) in x 0.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x y))) in x 0.795 * [taylor]: Taking taylor expansion of 1/3 in x 0.795 * [taylor]: Taking taylor expansion of (log (+ x y)) in x 0.795 * [taylor]: Taking taylor expansion of (+ x y) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of y in x 0.795 * [taylor]: Taking taylor expansion of (pow (+ x y) 1/3) in x 0.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x y)))) in x 0.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x y))) in x 0.795 * [taylor]: Taking taylor expansion of 1/3 in x 0.795 * [taylor]: Taking taylor expansion of (log (+ x y)) in x 0.795 * [taylor]: Taking taylor expansion of (+ x y) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of y in x 0.796 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.796 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.796 * [taylor]: Taking taylor expansion of 1/3 in y 0.796 * [taylor]: Taking taylor expansion of (log y) in y 0.796 * [taylor]: Taking taylor expansion of y in y 0.796 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow y 2)) 1/3)) in y 0.796 * [taylor]: Taking taylor expansion of 1/3 in y 0.796 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 0.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 0.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 0.796 * [taylor]: Taking taylor expansion of 1/3 in y 0.796 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 0.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.796 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.796 * [taylor]: Taking taylor expansion of y in y 0.797 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow y 5)) 1/3)) in y 0.798 * [taylor]: Taking taylor expansion of -1/9 in y 0.798 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 5)) 1/3) in y 0.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 5))))) in y 0.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 5)))) in y 0.798 * [taylor]: Taking taylor expansion of 1/3 in y 0.798 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 5))) in y 0.798 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 0.798 * [taylor]: Taking taylor expansion of (pow y 5) in y 0.798 * [taylor]: Taking taylor expansion of y in y 0.798 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 1/3) in (x y) around 0 0.798 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 1/3) in y 0.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) (/ 1 x))))) in y 0.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) (/ 1 x)))) in y 0.798 * [taylor]: Taking taylor expansion of 1/3 in y 0.798 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in y 0.798 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.798 * [taylor]: Taking taylor expansion of y in y 0.798 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.798 * [taylor]: Taking taylor expansion of x in y 0.799 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 1/3) in x 0.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) (/ 1 x))))) in x 0.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) (/ 1 x)))) in x 0.799 * [taylor]: Taking taylor expansion of 1/3 in x 0.799 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x 0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 1/3) in x 0.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) (/ 1 x))))) in x 0.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) (/ 1 x)))) in x 0.799 * [taylor]: Taking taylor expansion of 1/3 in x 0.799 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x 0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.799 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.799 * [taylor]: Taking taylor expansion of 1/3 in y 0.799 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.799 * [taylor]: Taking taylor expansion of (log 1) in y 0.799 * [taylor]: Taking taylor expansion of 1 in y 0.799 * [taylor]: Taking taylor expansion of (log x) in y 0.800 * [taylor]: Taking taylor expansion of x in y 0.800 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log 1) (log x)))) y)) in y 0.800 * [taylor]: Taking taylor expansion of 1/3 in y 0.800 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) y) in y 0.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.800 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.800 * [taylor]: Taking taylor expansion of 1/3 in y 0.800 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.800 * [taylor]: Taking taylor expansion of (log 1) in y 0.800 * [taylor]: Taking taylor expansion of 1 in y 0.800 * [taylor]: Taking taylor expansion of (log x) in y 0.800 * [taylor]: Taking taylor expansion of x in y 0.800 * [taylor]: Taking taylor expansion of y in y 0.802 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow y 2))) in y 0.802 * [taylor]: Taking taylor expansion of -1/9 in y 0.802 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow y 2)) in y 0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.802 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.802 * [taylor]: Taking taylor expansion of 1/3 in y 0.802 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.802 * [taylor]: Taking taylor expansion of (log 1) in y 0.802 * [taylor]: Taking taylor expansion of 1 in y 0.802 * [taylor]: Taking taylor expansion of (log x) in y 0.802 * [taylor]: Taking taylor expansion of x in y 0.802 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.802 * [taylor]: Taking taylor expansion of y in y 0.806 * [taylor]: Taking taylor expansion of (* 5/81 (/ (exp (* 1/3 (- (log 1) (log x)))) (pow y 3))) in y 0.807 * [taylor]: Taking taylor expansion of 5/81 in y 0.807 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log x)))) (pow y 3)) in y 0.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.807 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.807 * [taylor]: Taking taylor expansion of 1/3 in y 0.807 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.807 * [taylor]: Taking taylor expansion of (log 1) in y 0.807 * [taylor]: Taking taylor expansion of 1 in y 0.807 * [taylor]: Taking taylor expansion of (log x) in y 0.807 * [taylor]: Taking taylor expansion of x in y 0.807 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.807 * [taylor]: Taking taylor expansion of y in y 0.809 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) (/ 1 x)) 1/3)) in (x y) around 0 0.810 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) (/ 1 x)) 1/3)) in y 0.810 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.810 * [taylor]: Taking taylor expansion of -1 in y 0.810 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 1/3) in y 0.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) (/ 1 x))))) in y 0.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) (/ 1 x)))) in y 0.810 * [taylor]: Taking taylor expansion of 1/3 in y 0.810 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in y 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.810 * [taylor]: Taking taylor expansion of x in y 0.810 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) (/ 1 x)) 1/3)) in x 0.810 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.810 * [taylor]: Taking taylor expansion of -1 in x 0.810 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 1/3) in x 0.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) (/ 1 x))))) in x 0.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) (/ 1 x)))) in x 0.810 * [taylor]: Taking taylor expansion of 1/3 in x 0.810 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.810 * [taylor]: Taking taylor expansion of y in x 0.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.810 * [taylor]: Taking taylor expansion of x in x 0.811 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) (/ 1 x)) 1/3)) in x 0.811 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.811 * [taylor]: Taking taylor expansion of -1 in x 0.811 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 1/3) in x 0.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) (/ 1 x))))) in x 0.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) (/ 1 x)))) in x 0.811 * [taylor]: Taking taylor expansion of 1/3 in x 0.811 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.811 * [taylor]: Taking taylor expansion of y in x 0.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.811 * [taylor]: Taking taylor expansion of x in x 0.811 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) in y 0.811 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.811 * [taylor]: Taking taylor expansion of -1 in y 0.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.811 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.811 * [taylor]: Taking taylor expansion of 1/3 in y 0.811 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.811 * [taylor]: Taking taylor expansion of (log 1) in y 0.811 * [taylor]: Taking taylor expansion of 1 in y 0.811 * [taylor]: Taking taylor expansion of (log x) in y 0.811 * [taylor]: Taking taylor expansion of x in y 0.812 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) y)) in y 0.812 * [taylor]: Taking taylor expansion of 1/3 in y 0.812 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) y) in y 0.812 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) in y 0.812 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.812 * [taylor]: Taking taylor expansion of -1 in y 0.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.813 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.813 * [taylor]: Taking taylor expansion of 1/3 in y 0.813 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.813 * [taylor]: Taking taylor expansion of (log 1) in y 0.813 * [taylor]: Taking taylor expansion of 1 in y 0.813 * [taylor]: Taking taylor expansion of (log x) in y 0.813 * [taylor]: Taking taylor expansion of x in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.815 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) (pow y 2)))) in y 0.816 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) (pow y 2))) in y 0.816 * [taylor]: Taking taylor expansion of 1/9 in y 0.816 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) (pow y 2)) in y 0.816 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) in y 0.816 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.816 * [taylor]: Taking taylor expansion of -1 in y 0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.816 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.816 * [taylor]: Taking taylor expansion of 1/3 in y 0.816 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.816 * [taylor]: Taking taylor expansion of (log 1) in y 0.816 * [taylor]: Taking taylor expansion of 1 in y 0.816 * [taylor]: Taking taylor expansion of (log x) in y 0.816 * [taylor]: Taking taylor expansion of x in y 0.816 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.816 * [taylor]: Taking taylor expansion of y in y 0.822 * [taylor]: Taking taylor expansion of (* 5/81 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) (pow y 3))) in y 0.822 * [taylor]: Taking taylor expansion of 5/81 in y 0.822 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) (pow y 3)) in y 0.822 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log x))))) in y 0.822 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.822 * [taylor]: Taking taylor expansion of -1 in y 0.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log x)))) in y 0.822 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log x))) in y 0.822 * [taylor]: Taking taylor expansion of 1/3 in y 0.822 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 0.822 * [taylor]: Taking taylor expansion of (log 1) in y 0.822 * [taylor]: Taking taylor expansion of 1 in y 0.822 * [taylor]: Taking taylor expansion of (log x) in y 0.822 * [taylor]: Taking taylor expansion of x in y 0.822 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.822 * [taylor]: Taking taylor expansion of y in y 0.826 * * * [progress]: simplifying candidates 0.826 * [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 y))) (exp (cbrt (+ x y))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (cbrt (+ x y))) (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))) (cbrt 1) (cbrt (+ x y)) (cbrt 1) (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (- (* x x) (* y y))) (cbrt (- x y)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))) (* (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (+ x y))) (sqrt (cbrt (+ x y))) (sqrt (cbrt (+ x y))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (- (+ (* 1/3 (* x (exp (* 1/3 (- (log 1) (* 2 (log y))))))) (exp (* 1/3 (+ (log 1) (log y))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log 1) (* 5 (log y)))))))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 0.830 * * [simplify]: iteration 0 : 167 enodes (cost 258 ) 0.832 * * [simplify]: iteration 1 : 354 enodes (cost 240 ) 0.837 * * [simplify]: iteration 2 : 998 enodes (cost 202 ) 0.859 * * [simplify]: iteration 3 : 4983 enodes (cost 195 ) 0.996 * * [simplify]: iteration 4 : 5003 enodes (cost 195 ) 0.998 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) 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)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) 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)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt (+ x y))) (exp (cbrt (+ x y))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (cbrt (+ x y))) (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))) 1 (cbrt (+ x y)) 1 (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (- (* x x) (* y y))) (cbrt (- x y)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))) (+ x y) (sqrt (cbrt (+ x y))) (sqrt (cbrt (+ x y))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (- (* 1/3 (* x (exp (* 1/3 (- (log 1) (* 2 (log y))))))) (- (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log 1) (* 5 (log y))))))) (pow y 1/3))) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 0.998 * * * [progress]: adding candidates to table 1.073 * * [progress]: iteration 4 / 4 1.073 * * * [progress]: picking best candidate 1.080 * * * * [pick]: Picked # 1.080 * * * [progress]: localizing error 1.099 * * * [progress]: generating rewritten candidates 1.099 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 1.102 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.118 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1) 1.119 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2) 1.123 * * * [progress]: generating series expansions 1.123 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 1.123 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.123 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.123 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.123 * [taylor]: Taking taylor expansion of 1/3 in x 1.123 * [taylor]: Taking taylor expansion of (log x) in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.123 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.123 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.123 * [taylor]: Taking taylor expansion of 1/3 in x 1.123 * [taylor]: Taking taylor expansion of (log x) in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.129 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.129 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.129 * [taylor]: Taking taylor expansion of 1/3 in x 1.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.129 * [taylor]: Taking taylor expansion of 1/3 in x 1.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.136 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.136 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.136 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.136 * [taylor]: Taking taylor expansion of -1 in x 1.136 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.136 * [taylor]: Taking taylor expansion of 1/3 in x 1.136 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.136 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.136 * [taylor]: Taking taylor expansion of -1 in x 1.136 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.136 * [taylor]: Taking taylor expansion of 1/3 in x 1.136 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.144 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.144 * [approximate]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in (x y) around 0 1.144 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in y 1.144 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in y 1.144 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in y 1.144 * [taylor]: Taking taylor expansion of x in y 1.144 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in y 1.144 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in y 1.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in y 1.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in y 1.144 * [taylor]: Taking taylor expansion of 1/3 in y 1.144 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in y 1.144 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in y 1.144 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.144 * [taylor]: Taking taylor expansion of x in y 1.144 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 1.144 * [taylor]: Taking taylor expansion of (+ x y) in y 1.144 * [taylor]: Taking taylor expansion of x in y 1.144 * [taylor]: Taking taylor expansion of y in y 1.145 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 1.145 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 1.145 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 1.145 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 1.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 1.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 1.145 * [taylor]: Taking taylor expansion of 1/3 in x 1.145 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 1.145 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 1.145 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 1.145 * [taylor]: Taking taylor expansion of (+ x y) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of y in x 1.147 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 1.147 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 1.147 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 1.147 * [taylor]: Taking taylor expansion of x in x 1.147 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 1.147 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 1.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 1.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 1.147 * [taylor]: Taking taylor expansion of 1/3 in x 1.147 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 1.147 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 1.147 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.147 * [taylor]: Taking taylor expansion of x in x 1.147 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 1.147 * [taylor]: Taking taylor expansion of (+ x y) in x 1.147 * [taylor]: Taking taylor expansion of x in x 1.147 * [taylor]: Taking taylor expansion of y in x 1.149 * [taylor]: Taking taylor expansion of 1 in y 1.149 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log x)) (* 1/3 (log (/ 1 (pow y 2))))) in y 1.149 * [taylor]: Taking taylor expansion of (* 2/3 (log x)) in y 1.149 * [taylor]: Taking taylor expansion of 2/3 in y 1.149 * [taylor]: Taking taylor expansion of (log x) in y 1.149 * [taylor]: Taking taylor expansion of x in y 1.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 1.149 * [taylor]: Taking taylor expansion of 1/3 in y 1.149 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.149 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.149 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.149 * [taylor]: Taking taylor expansion of y in y 1.152 * [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 1.152 * [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 1.152 * [taylor]: Taking taylor expansion of (* 2/9 (pow (log x) 2)) in y 1.152 * [taylor]: Taking taylor expansion of 2/9 in y 1.152 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 1.152 * [taylor]: Taking taylor expansion of (log x) in y 1.153 * [taylor]: Taking taylor expansion of x in y 1.153 * [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 1.153 * [taylor]: Taking taylor expansion of (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) in y 1.153 * [taylor]: Taking taylor expansion of 2/9 in y 1.153 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 (pow y 2)))) in y 1.153 * [taylor]: Taking taylor expansion of (log x) in y 1.153 * [taylor]: Taking taylor expansion of x in y 1.153 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.153 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.153 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.153 * [taylor]: Taking taylor expansion of y in y 1.153 * [taylor]: Taking taylor expansion of (* 1/18 (pow (log (/ 1 (pow y 2))) 2)) in y 1.153 * [taylor]: Taking taylor expansion of 1/18 in y 1.153 * [taylor]: Taking taylor expansion of (pow (log (/ 1 (pow y 2))) 2) in y 1.153 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 1.153 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.153 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.153 * [taylor]: Taking taylor expansion of y in y 1.153 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 1.153 * [taylor]: Taking taylor expansion of 2/3 in y 1.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.153 * [taylor]: Taking taylor expansion of y in y 1.156 * [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 1.156 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in y 1.156 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 1.156 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 1.156 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.156 * [taylor]: Taking taylor expansion of x in y 1.156 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 1.156 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 1.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 1.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 1.156 * [taylor]: Taking taylor expansion of 1/3 in y 1.156 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 1.156 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 1.156 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 1.156 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.157 * [taylor]: Taking taylor expansion of x in y 1.157 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 1.157 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.157 * [taylor]: Taking taylor expansion of y in y 1.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.157 * [taylor]: Taking taylor expansion of x in y 1.158 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 1.158 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 1.158 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 1.158 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 1.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 1.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 1.158 * [taylor]: Taking taylor expansion of 1/3 in x 1.158 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 1.158 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 1.158 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 1.158 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.158 * [taylor]: Taking taylor expansion of y in x 1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 1.158 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 1.158 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 1.159 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 1.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 1.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 1.159 * [taylor]: Taking taylor expansion of 1/3 in x 1.159 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 1.159 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 1.159 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 1.159 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.159 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.159 * [taylor]: Taking taylor expansion of y in x 1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of (exp (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x)) in y 1.159 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x) in y 1.159 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 1.159 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 1.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 1.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 1.159 * [taylor]: Taking taylor expansion of 1/3 in y 1.159 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 1.159 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 1.159 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 1.159 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.159 * [taylor]: Taking taylor expansion of x in y 1.159 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.159 * [taylor]: Taking taylor expansion of y in y 1.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.160 * [taylor]: Taking taylor expansion of x in y 1.160 * [taylor]: Taking taylor expansion of x in y 1.161 * [taylor]: Taking taylor expansion of 0 in y 1.162 * [taylor]: Taking taylor expansion of 0 in y 1.167 * [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 1.167 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in y 1.167 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 1.167 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 1.167 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.167 * [taylor]: Taking taylor expansion of -1 in y 1.167 * [taylor]: Taking taylor expansion of x in y 1.167 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 1.167 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 1.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 1.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 1.167 * [taylor]: Taking taylor expansion of 1/3 in y 1.167 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 1.167 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 1.167 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 1.167 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.167 * [taylor]: Taking taylor expansion of x in y 1.167 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 1.167 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.167 * [taylor]: Taking taylor expansion of y in y 1.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.167 * [taylor]: Taking taylor expansion of x in y 1.168 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 1.168 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 1.168 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 1.168 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.168 * [taylor]: Taking taylor expansion of -1 in x 1.168 * [taylor]: Taking taylor expansion of x in x 1.168 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 1.168 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 1.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 1.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 1.168 * [taylor]: Taking taylor expansion of 1/3 in x 1.168 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 1.168 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 1.168 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 1.168 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.168 * [taylor]: Taking taylor expansion of x in x 1.168 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 1.168 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.169 * [taylor]: Taking taylor expansion of y in x 1.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.169 * [taylor]: Taking taylor expansion of x in x 1.169 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 1.169 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 1.169 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 1.169 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.169 * [taylor]: Taking taylor expansion of -1 in x 1.169 * [taylor]: Taking taylor expansion of x in x 1.169 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 1.169 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 1.169 * [taylor]: Taking taylor expansion of 1/3 in x 1.169 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 1.169 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 1.169 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 1.169 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.169 * [taylor]: Taking taylor expansion of x in x 1.169 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 1.169 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.169 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.169 * [taylor]: Taking taylor expansion of y in x 1.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.169 * [taylor]: Taking taylor expansion of x in x 1.170 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x))) in y 1.170 * [taylor]: Taking taylor expansion of (* -1 (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x)) in y 1.170 * [taylor]: Taking taylor expansion of -1 in y 1.170 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) x) in y 1.170 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 1.170 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 1.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 1.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 1.170 * [taylor]: Taking taylor expansion of 1/3 in y 1.170 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 1.170 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 1.170 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 1.170 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.170 * [taylor]: Taking taylor expansion of x in y 1.170 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 1.170 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.170 * [taylor]: Taking taylor expansion of y in y 1.170 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.170 * [taylor]: Taking taylor expansion of x in y 1.171 * [taylor]: Taking taylor expansion of x in y 1.171 * [taylor]: Taking taylor expansion of 0 in y 1.173 * [taylor]: Taking taylor expansion of 0 in y 1.178 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1) 1.178 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.178 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.178 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.178 * [taylor]: Taking taylor expansion of 1/3 in x 1.178 * [taylor]: Taking taylor expansion of (log x) in x 1.178 * [taylor]: Taking taylor expansion of x in x 1.178 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.178 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.178 * [taylor]: Taking taylor expansion of 1/3 in x 1.178 * [taylor]: Taking taylor expansion of (log x) in x 1.178 * [taylor]: Taking taylor expansion of x in x 1.184 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.184 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.184 * [taylor]: Taking taylor expansion of 1/3 in x 1.184 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.184 * [taylor]: Taking taylor expansion of x in x 1.184 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.184 * [taylor]: Taking taylor expansion of 1/3 in x 1.184 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.184 * [taylor]: Taking taylor expansion of x in x 1.193 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.193 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.193 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.193 * [taylor]: Taking taylor expansion of -1 in x 1.193 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.193 * [taylor]: Taking taylor expansion of 1/3 in x 1.193 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.193 * [taylor]: Taking taylor expansion of x in x 1.193 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.193 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.193 * [taylor]: Taking taylor expansion of -1 in x 1.193 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.194 * [taylor]: Taking taylor expansion of 1/3 in x 1.194 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.201 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2) 1.201 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.201 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.201 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.201 * [taylor]: Taking taylor expansion of 1/3 in x 1.201 * [taylor]: Taking taylor expansion of (log x) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.201 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.201 * [taylor]: Taking taylor expansion of 1/3 in x 1.202 * [taylor]: Taking taylor expansion of (log x) in x 1.202 * [taylor]: Taking taylor expansion of x in x 1.207 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.207 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.208 * [taylor]: Taking taylor expansion of 1/3 in x 1.208 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.208 * [taylor]: Taking taylor expansion of 1/3 in x 1.208 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.214 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.214 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.214 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.214 * [taylor]: Taking taylor expansion of -1 in x 1.214 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.214 * [taylor]: Taking taylor expansion of 1/3 in x 1.214 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.214 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.214 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.214 * [taylor]: Taking taylor expansion of -1 in x 1.215 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.215 * [taylor]: Taking taylor expansion of 1/3 in x 1.215 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.222 * * * [progress]: simplifying candidates 1.223 * [simplify]: Simplifying using # : (log (* (cbrt (exp (cbrt x))) (cbrt (exp (cbrt x))))) (log (cbrt (exp (cbrt x)))) (log (sqrt (exp (cbrt x)))) (log (sqrt (exp (cbrt x)))) (log 1) (log (exp (cbrt x))) (log (exp (cbrt x))) (log (exp (cbrt (* (cbrt x) (cbrt x))))) (log (exp (cbrt (sqrt x)))) (log (exp (cbrt 1))) (log (exp (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (log (exp (sqrt (cbrt x)))) (log (exp 1)) (log (log (exp (cbrt x)))) (exp (log (exp (cbrt x)))) (* (cbrt (log (exp (cbrt x)))) (cbrt (log (exp (cbrt x))))) (cbrt (log (exp (cbrt x)))) (* (* (log (exp (cbrt x))) (log (exp (cbrt x)))) (log (exp (cbrt x)))) (sqrt (log (exp (cbrt x)))) (sqrt (log (exp (cbrt x)))) (* (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt (+ x y))) (log (cbrt (+ x y))))) x) (* (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt (+ x y))) (log (cbrt (+ x y))))) x) (* (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* 1 x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt x) (cbrt x))) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 1) (pow (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))) x) (pow (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow 1 x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (* (cbrt x) (cbrt x)) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (+ (* x x) (- (* y y) (* x y))))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (- x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (- x y)) (cbrt (+ (* x x) (- (* y y) (* x y))))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (- x y)) (cbrt (- x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (cbrt (+ (* x x) (- (* y y) (* x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (- (* x x) (* y y))))) x) (pow (cbrt (- x y)) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ x y)))) x) (pow (cbrt (+ (* x x) (- (* y y) (* x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (log (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (exp (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x))) (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (* (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (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)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (- (+ (* 2/3 (* (log x) x)) (+ (* 2/9 (* (pow (log x) 2) (pow x 2))) (+ (* 1/3 (* (log 1) x)) (+ (* 1/18 (* (pow (log 1) 2) (pow x 2))) (+ (* 2/9 (* (pow x 2) (pow (log y) 2))) (+ (* 2/9 (* (log 1) (* (log x) (pow x 2)))) 1)))))) (+ (* 2/9 (* (log 1) (* (pow x 2) (log y)))) (+ (* 4/9 (* (log x) (* (pow x 2) (log y)))) (* 2/3 (* x (log y)))))) (- (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))) (+ (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))))) (* 2/3 (/ (* (pow x 2) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) y))) (- (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))) (+ (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y))))))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))))) (* 2/3 (/ (* (pow x 2) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) y))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.230 * * [simplify]: iteration 0 : 571 enodes (cost 799 ) 1.238 * * [simplify]: iteration 1 : 1964 enodes (cost 735 ) 1.272 * * [simplify]: iteration 2 : 5001 enodes (cost 689 ) 1.276 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (cbrt x))))) (log (cbrt (exp (cbrt x)))) (log (sqrt (exp (cbrt x)))) (log (sqrt (exp (cbrt x)))) 0 (pow x 1/3) (pow x 1/3) (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt x)) 1 (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (cbrt x)) 1 (log (cbrt x)) (exp (cbrt x)) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) (* (* 2 (- (log (cbrt x)) (log (cbrt (+ x y))))) x) 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)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (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 (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 (/ (* (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 (- (* 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 (+ (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 (+ (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) (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) (* (* 2 (- (log (cbrt x)) (log (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 (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 3) (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)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) 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)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (+ (+ (* 2/9 (* (pow x 2) (pow (log y) 2))) 1) (+ (* x (+ (* (* 2/9 (pow (log x) 2)) x) (* 2/3 (log x)))) (+ (* -2/3 (* x (log y))) (* (neg (* (pow x 2) (log y))) (* 4/9 (log x)))))) (+ (+ (* -2/3 (/ (* (pow x 2) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) y)) (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* (+ (log (pow x 2)) (* 2 (log (/ 1 y)))) x)))) (pow y 2))))) (cbrt (pow E (* (* 2 (+ (log (/ 1 y)) (log x))) x)))) (+ (+ (* -2/3 (/ (* (pow x 2) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) y)) (+ (* 2/9 (/ (* (pow x 4) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))) (* 1/3 (/ (* (pow x 3) (exp (* 1/3 (* x (+ (log (pow x 2)) (* 2 (log (/ -1 y)))))))) (pow y 2))))) (cbrt (pow E (* x (* 2 (+ (log (/ -1 y)) (log x))))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.276 * * * [progress]: adding candidates to table 1.394 * [progress]: [Phase 3 of 3] Extracting. 1.395 * * [regime]: Finding splitpoints for: (# # #) 1.395 * * * [regime-changes]: Trying 2 branch expressions: (y x) 1.395 * * * * [regimes]: Trying to branch on y from (# # #) 1.600 * * * * [regimes]: Trying to branch on x from (# # #) 1.637 * * * [regime]: Found split indices: #