17.467 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.013 * [simplify]: Simplifying using # : (+ (+ (* x y) x) y) 0.013 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.014 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.015 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.018 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 0.021 * * [simplify]: iteration 4 : 34 enodes (cost 7 ) 0.025 * * [simplify]: iteration 5 : 46 enodes (cost 7 ) 0.033 * * [simplify]: iteration 6 : 74 enodes (cost 7 ) 0.056 * * [simplify]: iteration 7 : 93 enodes (cost 7 ) 0.086 * * [simplify]: iteration 8 : 108 enodes (cost 7 ) 0.128 * * [simplify]: iteration 9 : 146 enodes (cost 7 ) 0.211 * * [simplify]: iteration 10 : 403 enodes (cost 7 ) 0.843 * * [simplify]: iteration 11 : 1596 enodes (cost 7 ) 7.194 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 7.194 * [simplify]: Simplified to: (+ (+ (* x y) x) y) 7.194 * * [progress]: iteration 1 / 4 7.194 * * * [progress]: picking best candidate 7.195 * * * * [pick]: Picked # 7.195 * * * [progress]: localizing error 7.200 * * * [progress]: generating rewritten candidates 7.200 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 7.203 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.218 * * * [progress]: generating series expansions 7.219 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 7.219 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0 7.219 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 7.219 * [taylor]: Taking taylor expansion of x in y 7.219 * [taylor]: Taking taylor expansion of (* x y) in y 7.219 * [taylor]: Taking taylor expansion of x in y 7.219 * [taylor]: Taking taylor expansion of y in y 7.219 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of (* x y) in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of y in x 7.219 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of (* x y) in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of y in x 7.219 * [taylor]: Taking taylor expansion of 0 in y 7.220 * [taylor]: Taking taylor expansion of (+ y 1) in y 7.220 * [taylor]: Taking taylor expansion of y in y 7.220 * [taylor]: Taking taylor expansion of 1 in y 7.221 * [taylor]: Taking taylor expansion of 0 in y 7.223 * [taylor]: Taking taylor expansion of 0 in y 7.224 * [taylor]: Taking taylor expansion of 0 in y 7.224 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0 7.224 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 7.224 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.224 * [taylor]: Taking taylor expansion of x in y 7.224 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.224 * [taylor]: Taking taylor expansion of (* x y) in y 7.224 * [taylor]: Taking taylor expansion of x in y 7.224 * [taylor]: Taking taylor expansion of y in y 7.225 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.225 * [taylor]: Taking taylor expansion of x in x 7.225 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.225 * [taylor]: Taking taylor expansion of (* x y) in x 7.225 * [taylor]: Taking taylor expansion of x in x 7.225 * [taylor]: Taking taylor expansion of y in x 7.225 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.225 * [taylor]: Taking taylor expansion of x in x 7.226 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.226 * [taylor]: Taking taylor expansion of (* x y) in x 7.226 * [taylor]: Taking taylor expansion of x in x 7.226 * [taylor]: Taking taylor expansion of y in x 7.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 7.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.226 * [taylor]: Taking taylor expansion of y in y 7.227 * [taylor]: Taking taylor expansion of 1 in y 7.228 * [taylor]: Taking taylor expansion of 0 in y 7.230 * [taylor]: Taking taylor expansion of 0 in y 7.236 * [taylor]: Taking taylor expansion of 0 in y 7.239 * [taylor]: Taking taylor expansion of 0 in y 7.239 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 7.239 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 7.239 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.239 * [taylor]: Taking taylor expansion of (* x y) in y 7.239 * [taylor]: Taking taylor expansion of x in y 7.239 * [taylor]: Taking taylor expansion of y in y 7.240 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.240 * [taylor]: Taking taylor expansion of x in y 7.240 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.240 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.240 * [taylor]: Taking taylor expansion of (* x y) in x 7.240 * [taylor]: Taking taylor expansion of x in x 7.240 * [taylor]: Taking taylor expansion of y in x 7.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.240 * [taylor]: Taking taylor expansion of x in x 7.240 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.240 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.241 * [taylor]: Taking taylor expansion of (* x y) in x 7.241 * [taylor]: Taking taylor expansion of x in x 7.241 * [taylor]: Taking taylor expansion of y in x 7.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.241 * [taylor]: Taking taylor expansion of x in x 7.241 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 7.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.241 * [taylor]: Taking taylor expansion of y in y 7.242 * [taylor]: Taking taylor expansion of 1 in y 7.243 * [taylor]: Taking taylor expansion of 0 in y 7.246 * [taylor]: Taking taylor expansion of 0 in y 7.249 * [taylor]: Taking taylor expansion of 0 in y 7.252 * [taylor]: Taking taylor expansion of 0 in y 7.253 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.253 * [approximate]: Taking taylor expansion of (+ x (+ y (* x y))) in (x y) around 0 7.253 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in y 7.253 * [taylor]: Taking taylor expansion of x in y 7.253 * [taylor]: Taking taylor expansion of (+ y (* x y)) in y 7.253 * [taylor]: Taking taylor expansion of y in y 7.253 * [taylor]: Taking taylor expansion of (* x y) in y 7.253 * [taylor]: Taking taylor expansion of x in y 7.253 * [taylor]: Taking taylor expansion of y in y 7.253 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x 7.253 * [taylor]: Taking taylor expansion of x in x 7.253 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x 7.253 * [taylor]: Taking taylor expansion of y in x 7.253 * [taylor]: Taking taylor expansion of (* x y) in x 7.253 * [taylor]: Taking taylor expansion of x in x 7.253 * [taylor]: Taking taylor expansion of y in x 7.253 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x 7.253 * [taylor]: Taking taylor expansion of x in x 7.253 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x 7.253 * [taylor]: Taking taylor expansion of y in x 7.253 * [taylor]: Taking taylor expansion of (* x y) in x 7.253 * [taylor]: Taking taylor expansion of x in x 7.253 * [taylor]: Taking taylor expansion of y in x 7.253 * [taylor]: Taking taylor expansion of y in y 7.254 * [taylor]: Taking taylor expansion of (+ y 1) in y 7.254 * [taylor]: Taking taylor expansion of y in y 7.254 * [taylor]: Taking taylor expansion of 1 in y 7.255 * [taylor]: Taking taylor expansion of 0 in y 7.255 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0 7.256 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y 7.256 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.256 * [taylor]: Taking taylor expansion of (* x y) in y 7.256 * [taylor]: Taking taylor expansion of x in y 7.256 * [taylor]: Taking taylor expansion of y in y 7.256 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 7.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.256 * [taylor]: Taking taylor expansion of y in y 7.256 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.256 * [taylor]: Taking taylor expansion of x in y 7.256 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 7.256 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.256 * [taylor]: Taking taylor expansion of (* x y) in x 7.256 * [taylor]: Taking taylor expansion of x in x 7.256 * [taylor]: Taking taylor expansion of y in x 7.257 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 7.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.257 * [taylor]: Taking taylor expansion of y in x 7.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.257 * [taylor]: Taking taylor expansion of x in x 7.257 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 7.257 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.257 * [taylor]: Taking taylor expansion of (* x y) in x 7.257 * [taylor]: Taking taylor expansion of x in x 7.257 * [taylor]: Taking taylor expansion of y in x 7.257 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 7.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.258 * [taylor]: Taking taylor expansion of y in x 7.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.258 * [taylor]: Taking taylor expansion of x in x 7.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 7.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.258 * [taylor]: Taking taylor expansion of y in y 7.258 * [taylor]: Taking taylor expansion of 1 in y 7.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.260 * [taylor]: Taking taylor expansion of y in y 7.261 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0 7.261 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y 7.261 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.261 * [taylor]: Taking taylor expansion of (* x y) in y 7.261 * [taylor]: Taking taylor expansion of x in y 7.261 * [taylor]: Taking taylor expansion of y in y 7.262 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 7.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.262 * [taylor]: Taking taylor expansion of y in y 7.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.262 * [taylor]: Taking taylor expansion of x in y 7.262 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 7.262 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.262 * [taylor]: Taking taylor expansion of (* x y) in x 7.262 * [taylor]: Taking taylor expansion of x in x 7.262 * [taylor]: Taking taylor expansion of y in x 7.262 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 7.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.262 * [taylor]: Taking taylor expansion of y in x 7.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.262 * [taylor]: Taking taylor expansion of x in x 7.263 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 7.263 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.263 * [taylor]: Taking taylor expansion of (* x y) in x 7.263 * [taylor]: Taking taylor expansion of x in x 7.263 * [taylor]: Taking taylor expansion of y in x 7.263 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 7.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.263 * [taylor]: Taking taylor expansion of y in x 7.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.263 * [taylor]: Taking taylor expansion of x in x 7.264 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 7.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.264 * [taylor]: Taking taylor expansion of y in y 7.264 * [taylor]: Taking taylor expansion of 1 in y 7.266 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.266 * [taylor]: Taking taylor expansion of y in y 7.267 * * * [progress]: simplifying candidates 7.268 * [simplify]: Simplifying using # : (* (exp (* x y)) (exp x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))) (- (* (* x y) (* x y)) (* x x)) (- (* x y) x) (* (* (exp (* x y)) (exp x)) (exp y)) (* (exp (+ (* x y) x)) (exp y)) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))) (cbrt (+ (+ (* x y) x) y)) (* (* (+ (+ (* x y) x) y) (+ (+ (* x y) x) y)) (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y))) (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y) (+ (+ (* x y) x) y) (+ x y) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) (+ x (+ y (* x y))) (+ x (+ y (* x y))) (+ x (+ y (* x y))) 7.269 * * [simplify]: iteration 0 : 49 enodes (cost 310 ) 7.277 * * [simplify]: iteration 1 : 143 enodes (cost 292 ) 7.304 * * [simplify]: iteration 2 : 410 enodes (cost 274 ) 7.402 * * [simplify]: iteration 3 : 1325 enodes (cost 270 ) 7.790 * * [simplify]: iteration done : 5000 enodes (cost 268 ) 7.791 * [simplify]: Simplified to: (exp (+ (* x y) x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (pow (+ (* x y) x) 3) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (pow (* x y) 3) (pow x 3)) (* (+ (* y (- (* x y) x)) x) x) (* x (- (* y (* x y)) x)) (- (* x y) x) (exp (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))) (cbrt (+ (+ (* x y) x) y)) (pow (+ (+ (* x y) x) y) 3) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* y y) (* (+ x (* x y)) (- (+ (* x y) x) y))) (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y) (+ (+ (* x y) x) y) (+ x y) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) (+ (+ (* x y) x) y) (+ (+ (* x y) x) y) (+ (+ (* x y) x) y) 7.791 * * * [progress]: adding candidates to table 7.837 * * [progress]: iteration 2 / 4 7.837 * * * [progress]: picking best candidate 7.838 * * * * [pick]: Picked # 7.838 * * * [progress]: localizing error 7.845 * * * [progress]: generating rewritten candidates 7.845 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 7.871 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 7.875 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 7.880 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 7.886 * * * [progress]: generating series expansions 7.886 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 7.886 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0 7.886 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 7.886 * [taylor]: Taking taylor expansion of x in y 7.886 * [taylor]: Taking taylor expansion of (* x y) in y 7.886 * [taylor]: Taking taylor expansion of x in y 7.886 * [taylor]: Taking taylor expansion of y in y 7.886 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.886 * [taylor]: Taking taylor expansion of x in x 7.886 * [taylor]: Taking taylor expansion of (* x y) in x 7.886 * [taylor]: Taking taylor expansion of x in x 7.886 * [taylor]: Taking taylor expansion of y in x 7.886 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.886 * [taylor]: Taking taylor expansion of x in x 7.886 * [taylor]: Taking taylor expansion of (* x y) in x 7.886 * [taylor]: Taking taylor expansion of x in x 7.886 * [taylor]: Taking taylor expansion of y in x 7.887 * [taylor]: Taking taylor expansion of 0 in y 7.887 * [taylor]: Taking taylor expansion of (+ y 1) in y 7.887 * [taylor]: Taking taylor expansion of y in y 7.887 * [taylor]: Taking taylor expansion of 1 in y 7.888 * [taylor]: Taking taylor expansion of 0 in y 7.890 * [taylor]: Taking taylor expansion of 0 in y 7.891 * [taylor]: Taking taylor expansion of 0 in y 7.892 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0 7.892 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 7.892 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.892 * [taylor]: Taking taylor expansion of x in y 7.892 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.892 * [taylor]: Taking taylor expansion of (* x y) in y 7.892 * [taylor]: Taking taylor expansion of x in y 7.892 * [taylor]: Taking taylor expansion of y in y 7.892 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.892 * [taylor]: Taking taylor expansion of x in x 7.892 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.892 * [taylor]: Taking taylor expansion of (* x y) in x 7.892 * [taylor]: Taking taylor expansion of x in x 7.892 * [taylor]: Taking taylor expansion of y in x 7.893 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.893 * [taylor]: Taking taylor expansion of x in x 7.893 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.893 * [taylor]: Taking taylor expansion of (* x y) in x 7.893 * [taylor]: Taking taylor expansion of x in x 7.893 * [taylor]: Taking taylor expansion of y in x 7.894 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 7.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.894 * [taylor]: Taking taylor expansion of y in y 7.894 * [taylor]: Taking taylor expansion of 1 in y 7.895 * [taylor]: Taking taylor expansion of 0 in y 7.897 * [taylor]: Taking taylor expansion of 0 in y 7.900 * [taylor]: Taking taylor expansion of 0 in y 7.903 * [taylor]: Taking taylor expansion of 0 in y 7.903 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 7.903 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 7.903 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.903 * [taylor]: Taking taylor expansion of (* x y) in y 7.903 * [taylor]: Taking taylor expansion of x in y 7.903 * [taylor]: Taking taylor expansion of y in y 7.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.904 * [taylor]: Taking taylor expansion of x in y 7.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.904 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.904 * [taylor]: Taking taylor expansion of (* x y) in x 7.904 * [taylor]: Taking taylor expansion of x in x 7.904 * [taylor]: Taking taylor expansion of y in x 7.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.904 * [taylor]: Taking taylor expansion of x in x 7.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.904 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.905 * [taylor]: Taking taylor expansion of (* x y) in x 7.905 * [taylor]: Taking taylor expansion of x in x 7.905 * [taylor]: Taking taylor expansion of y in x 7.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.905 * [taylor]: Taking taylor expansion of x in x 7.905 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 7.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.905 * [taylor]: Taking taylor expansion of y in y 7.906 * [taylor]: Taking taylor expansion of 1 in y 7.907 * [taylor]: Taking taylor expansion of 0 in y 7.910 * [taylor]: Taking taylor expansion of 0 in y 7.913 * [taylor]: Taking taylor expansion of 0 in y 7.916 * [taylor]: Taking taylor expansion of 0 in y 7.916 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 7.916 * [approximate]: Taking taylor expansion of (sqrt (+ x (* x y))) in (x y) around 0 7.916 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in y 7.916 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 7.916 * [taylor]: Taking taylor expansion of x in y 7.916 * [taylor]: Taking taylor expansion of (* x y) in y 7.916 * [taylor]: Taking taylor expansion of x in y 7.916 * [taylor]: Taking taylor expansion of y in y 7.917 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x 7.917 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.917 * [taylor]: Taking taylor expansion of x in x 7.917 * [taylor]: Taking taylor expansion of (* x y) in x 7.917 * [taylor]: Taking taylor expansion of x in x 7.917 * [taylor]: Taking taylor expansion of y in x 7.918 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x 7.918 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.918 * [taylor]: Taking taylor expansion of x in x 7.918 * [taylor]: Taking taylor expansion of (* x y) in x 7.918 * [taylor]: Taking taylor expansion of x in x 7.918 * [taylor]: Taking taylor expansion of y in x 7.919 * [taylor]: Taking taylor expansion of 0 in y 7.919 * [taylor]: Taking taylor expansion of (* +nan.0 (+ y 1)) in y 7.919 * [taylor]: Taking taylor expansion of +nan.0 in y 7.919 * [taylor]: Taking taylor expansion of (+ y 1) in y 7.919 * [taylor]: Taking taylor expansion of y in y 7.919 * [taylor]: Taking taylor expansion of 1 in y 7.921 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 7.921 * [taylor]: Taking taylor expansion of +nan.0 in y 7.921 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 7.921 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 7.921 * [taylor]: Taking taylor expansion of +nan.0 in y 7.921 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.921 * [taylor]: Taking taylor expansion of y in y 7.921 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 7.921 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 7.921 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 7.921 * [taylor]: Taking taylor expansion of +nan.0 in y 7.921 * [taylor]: Taking taylor expansion of y in y 7.921 * [taylor]: Taking taylor expansion of (- +nan.0) in y 7.921 * [taylor]: Taking taylor expansion of +nan.0 in y 7.926 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in (x y) around 0 7.926 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in y 7.926 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 7.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.926 * [taylor]: Taking taylor expansion of x in y 7.926 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.926 * [taylor]: Taking taylor expansion of (* x y) in y 7.926 * [taylor]: Taking taylor expansion of x in y 7.926 * [taylor]: Taking taylor expansion of y in y 7.927 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x 7.927 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.927 * [taylor]: Taking taylor expansion of x in x 7.927 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.927 * [taylor]: Taking taylor expansion of (* x y) in x 7.927 * [taylor]: Taking taylor expansion of x in x 7.927 * [taylor]: Taking taylor expansion of y in x 7.928 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x 7.928 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.928 * [taylor]: Taking taylor expansion of x in x 7.929 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.929 * [taylor]: Taking taylor expansion of (* x y) in x 7.929 * [taylor]: Taking taylor expansion of x in x 7.929 * [taylor]: Taking taylor expansion of y in x 7.930 * [taylor]: Taking taylor expansion of 0 in y 7.930 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y 7.930 * [taylor]: Taking taylor expansion of +nan.0 in y 7.930 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 7.930 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.930 * [taylor]: Taking taylor expansion of y in y 7.930 * [taylor]: Taking taylor expansion of 1 in y 7.933 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 7.933 * [taylor]: Taking taylor expansion of +nan.0 in y 7.933 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 7.933 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.933 * [taylor]: Taking taylor expansion of +nan.0 in y 7.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.933 * [taylor]: Taking taylor expansion of y in y 7.933 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 7.933 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 7.933 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 7.933 * [taylor]: Taking taylor expansion of +nan.0 in y 7.933 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.933 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.933 * [taylor]: Taking taylor expansion of y in y 7.934 * [taylor]: Taking taylor expansion of (- +nan.0) in y 7.934 * [taylor]: Taking taylor expansion of +nan.0 in y 7.941 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in (x y) around 0 7.941 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in y 7.941 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 7.941 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.941 * [taylor]: Taking taylor expansion of (* x y) in y 7.941 * [taylor]: Taking taylor expansion of x in y 7.941 * [taylor]: Taking taylor expansion of y in y 7.941 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.941 * [taylor]: Taking taylor expansion of x in y 7.942 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x 7.942 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.942 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.942 * [taylor]: Taking taylor expansion of (* x y) in x 7.942 * [taylor]: Taking taylor expansion of x in x 7.942 * [taylor]: Taking taylor expansion of y in x 7.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.943 * [taylor]: Taking taylor expansion of x in x 7.944 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x 7.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.944 * [taylor]: Taking taylor expansion of (* x y) in x 7.944 * [taylor]: Taking taylor expansion of x in x 7.944 * [taylor]: Taking taylor expansion of y in x 7.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.944 * [taylor]: Taking taylor expansion of x in x 7.945 * [taylor]: Taking taylor expansion of 0 in y 7.945 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) 1)) in y 7.945 * [taylor]: Taking taylor expansion of +nan.0 in y 7.945 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 7.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.945 * [taylor]: Taking taylor expansion of y in y 7.946 * [taylor]: Taking taylor expansion of 1 in y 7.948 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 7.948 * [taylor]: Taking taylor expansion of +nan.0 in y 7.948 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 7.949 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.949 * [taylor]: Taking taylor expansion of +nan.0 in y 7.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.949 * [taylor]: Taking taylor expansion of y in y 7.949 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 7.949 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 7.949 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 7.949 * [taylor]: Taking taylor expansion of +nan.0 in y 7.949 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.949 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.949 * [taylor]: Taking taylor expansion of y in y 7.949 * [taylor]: Taking taylor expansion of (- +nan.0) in y 7.949 * [taylor]: Taking taylor expansion of +nan.0 in y 7.960 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 7.960 * [approximate]: Taking taylor expansion of (sqrt (+ x (* x y))) in (x y) around 0 7.960 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in y 7.960 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 7.960 * [taylor]: Taking taylor expansion of x in y 7.960 * [taylor]: Taking taylor expansion of (* x y) in y 7.960 * [taylor]: Taking taylor expansion of x in y 7.960 * [taylor]: Taking taylor expansion of y in y 7.960 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x 7.960 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.960 * [taylor]: Taking taylor expansion of x in x 7.960 * [taylor]: Taking taylor expansion of (* x y) in x 7.960 * [taylor]: Taking taylor expansion of x in x 7.960 * [taylor]: Taking taylor expansion of y in x 7.962 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x 7.962 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 7.962 * [taylor]: Taking taylor expansion of x in x 7.962 * [taylor]: Taking taylor expansion of (* x y) in x 7.962 * [taylor]: Taking taylor expansion of x in x 7.962 * [taylor]: Taking taylor expansion of y in x 7.963 * [taylor]: Taking taylor expansion of 0 in y 7.963 * [taylor]: Taking taylor expansion of (* +nan.0 (+ y 1)) in y 7.963 * [taylor]: Taking taylor expansion of +nan.0 in y 7.963 * [taylor]: Taking taylor expansion of (+ y 1) in y 7.963 * [taylor]: Taking taylor expansion of y in y 7.963 * [taylor]: Taking taylor expansion of 1 in y 7.965 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 7.965 * [taylor]: Taking taylor expansion of +nan.0 in y 7.965 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 7.965 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 7.965 * [taylor]: Taking taylor expansion of +nan.0 in y 7.965 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.965 * [taylor]: Taking taylor expansion of y in y 7.965 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 7.965 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 7.965 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 7.965 * [taylor]: Taking taylor expansion of +nan.0 in y 7.965 * [taylor]: Taking taylor expansion of y in y 7.965 * [taylor]: Taking taylor expansion of (- +nan.0) in y 7.965 * [taylor]: Taking taylor expansion of +nan.0 in y 7.969 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in (x y) around 0 7.969 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in y 7.969 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 7.969 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.969 * [taylor]: Taking taylor expansion of x in y 7.970 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.970 * [taylor]: Taking taylor expansion of (* x y) in y 7.970 * [taylor]: Taking taylor expansion of x in y 7.970 * [taylor]: Taking taylor expansion of y in y 7.971 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x 7.971 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.971 * [taylor]: Taking taylor expansion of x in x 7.971 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.971 * [taylor]: Taking taylor expansion of (* x y) in x 7.971 * [taylor]: Taking taylor expansion of x in x 7.971 * [taylor]: Taking taylor expansion of y in x 7.972 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x 7.972 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 7.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.972 * [taylor]: Taking taylor expansion of x in x 7.972 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.972 * [taylor]: Taking taylor expansion of (* x y) in x 7.972 * [taylor]: Taking taylor expansion of x in x 7.972 * [taylor]: Taking taylor expansion of y in x 7.973 * [taylor]: Taking taylor expansion of 0 in y 7.973 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y 7.973 * [taylor]: Taking taylor expansion of +nan.0 in y 7.973 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 7.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.973 * [taylor]: Taking taylor expansion of y in y 7.974 * [taylor]: Taking taylor expansion of 1 in y 7.976 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 7.976 * [taylor]: Taking taylor expansion of +nan.0 in y 7.976 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 7.976 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.976 * [taylor]: Taking taylor expansion of +nan.0 in y 7.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.976 * [taylor]: Taking taylor expansion of y in y 7.976 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 7.976 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 7.976 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 7.976 * [taylor]: Taking taylor expansion of +nan.0 in y 7.976 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.976 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.976 * [taylor]: Taking taylor expansion of y in y 7.977 * [taylor]: Taking taylor expansion of (- +nan.0) in y 7.977 * [taylor]: Taking taylor expansion of +nan.0 in y 7.985 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in (x y) around 0 7.985 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in y 7.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 7.985 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.985 * [taylor]: Taking taylor expansion of (* x y) in y 7.985 * [taylor]: Taking taylor expansion of x in y 7.985 * [taylor]: Taking taylor expansion of y in y 7.985 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.985 * [taylor]: Taking taylor expansion of x in y 7.986 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x 7.986 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.986 * [taylor]: Taking taylor expansion of (* x y) in x 7.986 * [taylor]: Taking taylor expansion of x in x 7.986 * [taylor]: Taking taylor expansion of y in x 7.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.986 * [taylor]: Taking taylor expansion of x in x 7.987 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x 7.987 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 7.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.987 * [taylor]: Taking taylor expansion of (* x y) in x 7.987 * [taylor]: Taking taylor expansion of x in x 7.987 * [taylor]: Taking taylor expansion of y in x 7.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.988 * [taylor]: Taking taylor expansion of x in x 7.989 * [taylor]: Taking taylor expansion of 0 in y 7.989 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) 1)) in y 7.989 * [taylor]: Taking taylor expansion of +nan.0 in y 7.989 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 7.989 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.989 * [taylor]: Taking taylor expansion of y in y 7.989 * [taylor]: Taking taylor expansion of 1 in y 7.992 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y 7.992 * [taylor]: Taking taylor expansion of +nan.0 in y 7.992 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y 7.992 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.992 * [taylor]: Taking taylor expansion of +nan.0 in y 7.992 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.992 * [taylor]: Taking taylor expansion of y in y 7.992 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y 7.992 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y 7.992 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 7.993 * [taylor]: Taking taylor expansion of +nan.0 in y 7.993 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.993 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.993 * [taylor]: Taking taylor expansion of y in y 7.993 * [taylor]: Taking taylor expansion of (- +nan.0) in y 7.993 * [taylor]: Taking taylor expansion of +nan.0 in y 8.001 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 8.001 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0 8.001 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 8.001 * [taylor]: Taking taylor expansion of x in y 8.001 * [taylor]: Taking taylor expansion of (* x y) in y 8.001 * [taylor]: Taking taylor expansion of x in y 8.001 * [taylor]: Taking taylor expansion of y in y 8.001 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of (* x y) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of y in x 8.001 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of (* x y) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of y in x 8.002 * [taylor]: Taking taylor expansion of 0 in y 8.002 * [taylor]: Taking taylor expansion of (+ y 1) in y 8.002 * [taylor]: Taking taylor expansion of y in y 8.002 * [taylor]: Taking taylor expansion of 1 in y 8.003 * [taylor]: Taking taylor expansion of 0 in y 8.004 * [taylor]: Taking taylor expansion of 0 in y 8.006 * [taylor]: Taking taylor expansion of 0 in y 8.006 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0 8.006 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 8.006 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.006 * [taylor]: Taking taylor expansion of x in y 8.006 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.006 * [taylor]: Taking taylor expansion of (* x y) in y 8.006 * [taylor]: Taking taylor expansion of x in y 8.006 * [taylor]: Taking taylor expansion of y in y 8.006 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 8.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.006 * [taylor]: Taking taylor expansion of x in x 8.007 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.007 * [taylor]: Taking taylor expansion of (* x y) in x 8.007 * [taylor]: Taking taylor expansion of x in x 8.007 * [taylor]: Taking taylor expansion of y in x 8.007 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 8.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.007 * [taylor]: Taking taylor expansion of x in x 8.007 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.007 * [taylor]: Taking taylor expansion of (* x y) in x 8.007 * [taylor]: Taking taylor expansion of x in x 8.007 * [taylor]: Taking taylor expansion of y in x 8.008 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 8.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.008 * [taylor]: Taking taylor expansion of y in y 8.008 * [taylor]: Taking taylor expansion of 1 in y 8.010 * [taylor]: Taking taylor expansion of 0 in y 8.012 * [taylor]: Taking taylor expansion of 0 in y 8.014 * [taylor]: Taking taylor expansion of 0 in y 8.017 * [taylor]: Taking taylor expansion of 0 in y 8.017 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 8.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 8.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.017 * [taylor]: Taking taylor expansion of (* x y) in y 8.017 * [taylor]: Taking taylor expansion of x in y 8.017 * [taylor]: Taking taylor expansion of y in y 8.018 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.018 * [taylor]: Taking taylor expansion of x in y 8.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 8.018 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.018 * [taylor]: Taking taylor expansion of (* x y) in x 8.018 * [taylor]: Taking taylor expansion of x in x 8.018 * [taylor]: Taking taylor expansion of y in x 8.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.018 * [taylor]: Taking taylor expansion of x in x 8.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 8.018 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.018 * [taylor]: Taking taylor expansion of (* x y) in x 8.018 * [taylor]: Taking taylor expansion of x in x 8.018 * [taylor]: Taking taylor expansion of y in x 8.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.019 * [taylor]: Taking taylor expansion of x in x 8.019 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 8.019 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.019 * [taylor]: Taking taylor expansion of y in y 8.020 * [taylor]: Taking taylor expansion of 1 in y 8.021 * [taylor]: Taking taylor expansion of 0 in y 8.024 * [taylor]: Taking taylor expansion of 0 in y 8.027 * [taylor]: Taking taylor expansion of 0 in y 8.030 * [taylor]: Taking taylor expansion of 0 in y 8.030 * * * [progress]: simplifying candidates 8.032 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (+ (* x y) x) (+ (* x y) x)) (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (* (+ (* x y) x) (+ (* x y) x)) (+ 1 1) (+ (log (sqrt (+ (* x y) x))) (log (sqrt (+ (* x y) x)))) (log (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (exp (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (* (* (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (* (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x)))) (* (cbrt (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (cbrt (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))))) (cbrt (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (* (* (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (* (+ (* x y) x) (+ (* x y) x)) (sqrt (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (sqrt (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))) (* (sqrt (+ (pow (* x y) 3) (pow x 3))) (sqrt (+ (pow (* x y) 3) (pow x 3)))) (* (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))) (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))))) (* (sqrt (+ (pow (* x y) 3) (pow x 3))) (sqrt (- (* (* x y) (* x y)) (* x x)))) (* (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))) (sqrt (- (* x y) x))) (* (sqrt (- (* (* x y) (* x y)) (* x x))) (sqrt (+ (pow (* x y) 3) (pow x 3)))) (* (sqrt (- (* x y) x)) (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))))) (* (sqrt (- (* (* x y) (* x y)) (* x x))) (sqrt (- (* (* x y) (* x y)) (* x x)))) (* (sqrt (- (* x y) x)) (sqrt (- (* x y) x))) (* (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x)))) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))))) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x)))) (* (sqrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (sqrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))) (* (sqrt (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* 1 1) (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (+ (* x y) x)) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))))) (* (sqrt (+ (* x y) x)) (sqrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))) (* (sqrt (+ (* x y) x)) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (+ (* x y) x)) (sqrt 1)) (* (sqrt (+ (* x y) x)) (sqrt (sqrt (+ (* x y) x)))) (* (sqrt (+ (* x y) x)) 1) (* (cbrt (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (* (sqrt (cbrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (* (sqrt (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (* (sqrt (+ (* x y) x)) (sqrt (+ (pow (* x y) 3) (pow x 3)))) (* (sqrt (+ (* x y) x)) (sqrt (- (* (* x y) (* x y)) (* x x)))) (* (sqrt (+ (pow (* x y) 3) (pow x 3))) (sqrt (+ (* x y) x))) (* (sqrt (- (* (* x y) (* x y)) (* x x))) (sqrt (+ (* x y) x))) (log (sqrt (+ (* x y) x))) (exp (sqrt (+ (* x y) x))) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x)))) (cbrt (sqrt (+ (* x y) x))) (* (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (sqrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (sqrt (cbrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (sqrt 1) (sqrt (+ (* x y) x)) (sqrt (+ (pow (* x y) 3) (pow x 3))) (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))) (sqrt (- (* (* x y) (* x y)) (* x x))) (sqrt (- (* x y) x)) (/ 1 2) (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (log (sqrt (+ (* x y) x))) (exp (sqrt (+ (* x y) x))) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x)))) (cbrt (sqrt (+ (* x y) x))) (* (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (sqrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (sqrt (cbrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (sqrt 1) (sqrt (+ (* x y) x)) (sqrt (+ (pow (* x y) 3) (pow x 3))) (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))) (sqrt (- (* (* x y) (* x y)) (* x x))) (sqrt (- (* x y) x)) (/ 1 2) (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (* (exp (* x y)) (exp x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))) (- (* (* x y) (* x y)) (* x x)) (- (* x y) x) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0))))) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) 8.038 * * [simplify]: iteration 0 : 105 enodes (cost 1632 ) 8.058 * * [simplify]: iteration 1 : 220 enodes (cost 1151 ) 8.114 * * [simplify]: iteration 2 : 738 enodes (cost 1045 ) 8.494 * * [simplify]: iteration 3 : 3535 enodes (cost 1006 ) 11.049 * * [simplify]: iteration done : 5000 enodes (cost 1004 ) 11.050 * [simplify]: Simplified to: 1 1 2 1 1 (pow (sqrt (+ x (* x y))) 4) (+ x (* x y)) (pow (sqrt (+ x (* x y))) 4) 2 (log (+ (* x y) x)) (log (+ (* x y) x)) (exp (+ x (* x y))) (pow (+ x (* x y)) 3) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ x (* x y))) (pow (+ x (* x y)) 3) (pow (sqrt (+ x (* x y))) 4) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (+ (pow x 3) (pow (* x y) 3)) (* x (+ (* y (* x y)) (- x (* x y)))) (* (sqrt (+ (pow (* x y) 3) (pow x 3))) (sqrt (* x (- (* y (* x y)) x)))) (* (sqrt (* x (+ (* y (* x y)) (- x (* x y))))) (sqrt (- (* x y) x))) (* (sqrt (+ (pow (* x y) 3) (pow x 3))) (sqrt (* x (- (* y (* x y)) x)))) (* (sqrt (* x (+ (* y (* x y)) (- x (* x y))))) (sqrt (- (* x y) x))) (* x (- (* y (* x y)) x)) (- (* x y) x) (pow (cbrt (sqrt (+ x (* x y)))) 4) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x)))) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) 1 (+ x (* x y)) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) 1 (+ x (* x y)) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) 1 2 1 (* (cbrt (sqrt (+ (* x y) x))) (pow (cbrt (sqrt (+ x (* x y)))) 4)) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (pow (sqrt (sqrt (+ (* x y) x))) 3) (sqrt (+ x (* x y))) (pow (sqrt (sqrt (+ (* x y) x))) 3) (sqrt (+ x (* x y))) (pow (cbrt (sqrt (+ x (* x y)))) 4) (* (sqrt (cbrt (+ (* x y) x))) (sqrt (+ (* x y) x))) (pow (sqrt (sqrt (+ (* x y) x))) 3) (+ x (* x y)) (pow (sqrt (sqrt (+ (* x y) x))) 3) (+ x (* x y)) (* (sqrt (+ (* x y) x)) (sqrt (+ (pow (* x y) 3) (pow x 3)))) (* (sqrt (* x (- (* y (* x y)) x))) (sqrt (+ x (* x y)))) (* (sqrt (+ (* x y) x)) (sqrt (+ (pow (* x y) 3) (pow x 3)))) (* (sqrt (* x (- (* y (* x y)) x))) (sqrt (+ x (* x y)))) (log (sqrt (+ x (* x y)))) (exp (sqrt (+ (* x y) x))) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x)))) (cbrt (sqrt (+ (* x y) x))) (pow (sqrt (+ x (* x y))) 3) (fabs (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) 1 (sqrt (+ x (* x y))) (sqrt (+ (pow x 3) (pow (* x y) 3))) (sqrt (* x (+ (* y (* x y)) (- x (* x y))))) (sqrt (* x (- (* y (* x y)) x))) (sqrt (- (* x y) x)) 1/2 (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (log (sqrt (+ x (* x y)))) (exp (sqrt (+ (* x y) x))) (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x)))) (cbrt (sqrt (+ (* x y) x))) (pow (sqrt (+ x (* x y))) 3) (fabs (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) 1 (sqrt (+ x (* x y))) (sqrt (+ (pow x 3) (pow (* x y) 3))) (sqrt (* x (+ (* y (* x y)) (- x (* x y))))) (sqrt (* x (- (* y (* x y)) x))) (sqrt (- (* x y) x)) 1/2 (sqrt (sqrt (+ (* x y) x))) (sqrt (sqrt (+ (* x y) x))) (exp (+ x (* x y))) (log (+ (* x y) x)) (exp (+ x (* x y))) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ x (* x y))) (pow (+ x (* x y)) 3) (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) (+ (pow x 3) (pow (* x y) 3)) (* x (+ (* y (* x y)) (- x (* x y)))) (* x (- (* y (* x y)) x)) (- (* x y) x) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) (* (- (- x (* x y)) (* x x)) +nan.0) (- (+ +nan.0 (* +nan.0 (- (/ y x) y)))) (- (+ +nan.0 (* +nan.0 (- (/ y x) y)))) (* (- (- x (* x y)) (* x x)) +nan.0) (- (+ +nan.0 (* +nan.0 (- (/ y x) y)))) (- (+ +nan.0 (* +nan.0 (- (/ y x) y)))) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) 11.050 * * * [progress]: adding candidates to table 11.245 * * [progress]: iteration 3 / 4 11.245 * * * [progress]: picking best candidate 11.248 * * * * [pick]: Picked # 11.248 * * * [progress]: localizing error 11.262 * * * [progress]: generating rewritten candidates 11.262 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 11.265 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 11.266 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 11.275 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 11.304 * * * [progress]: generating series expansions 11.304 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 11.304 * [approximate]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in (x y) around 0 11.305 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in y 11.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in y 11.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in y 11.305 * [taylor]: Taking taylor expansion of 1/3 in y 11.305 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in y 11.305 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 11.305 * [taylor]: Taking taylor expansion of x in y 11.305 * [taylor]: Taking taylor expansion of (* x y) in y 11.305 * [taylor]: Taking taylor expansion of x in y 11.305 * [taylor]: Taking taylor expansion of y in y 11.305 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 11.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 11.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 11.305 * [taylor]: Taking taylor expansion of 1/3 in x 11.305 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 11.305 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.305 * [taylor]: Taking taylor expansion of x in x 11.305 * [taylor]: Taking taylor expansion of (* x y) in x 11.305 * [taylor]: Taking taylor expansion of x in x 11.305 * [taylor]: Taking taylor expansion of y in x 11.306 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 11.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 11.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 11.306 * [taylor]: Taking taylor expansion of 1/3 in x 11.306 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 11.306 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.306 * [taylor]: Taking taylor expansion of x in x 11.306 * [taylor]: Taking taylor expansion of (* x y) in x 11.306 * [taylor]: Taking taylor expansion of x in x 11.306 * [taylor]: Taking taylor expansion of y in x 11.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ y 1)) (log x)))) in y 11.307 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ y 1)) (log x))) in y 11.308 * [taylor]: Taking taylor expansion of 1/3 in y 11.308 * [taylor]: Taking taylor expansion of (+ (log (+ y 1)) (log x)) in y 11.308 * [taylor]: Taking taylor expansion of (log (+ y 1)) in y 11.308 * [taylor]: Taking taylor expansion of (+ y 1) in y 11.308 * [taylor]: Taking taylor expansion of y in y 11.308 * [taylor]: Taking taylor expansion of 1 in y 11.308 * [taylor]: Taking taylor expansion of (log x) in y 11.308 * [taylor]: Taking taylor expansion of x in y 11.314 * [taylor]: Taking taylor expansion of 0 in y 11.320 * [taylor]: Taking taylor expansion of 0 in y 11.325 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in (x y) around 0 11.325 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in y 11.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y)))))) in y 11.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y))))) in y 11.325 * [taylor]: Taking taylor expansion of 1/3 in y 11.325 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in y 11.325 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 11.325 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.325 * [taylor]: Taking taylor expansion of x in y 11.325 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.325 * [taylor]: Taking taylor expansion of (* x y) in y 11.325 * [taylor]: Taking taylor expansion of x in y 11.325 * [taylor]: Taking taylor expansion of y in y 11.326 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in x 11.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y)))))) in x 11.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y))))) in x 11.326 * [taylor]: Taking taylor expansion of 1/3 in x 11.326 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in x 11.326 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 11.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.326 * [taylor]: Taking taylor expansion of x in x 11.326 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.326 * [taylor]: Taking taylor expansion of (* x y) in x 11.326 * [taylor]: Taking taylor expansion of x in x 11.326 * [taylor]: Taking taylor expansion of y in x 11.327 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in x 11.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y)))))) in x 11.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y))))) in x 11.327 * [taylor]: Taking taylor expansion of 1/3 in x 11.327 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in x 11.327 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 11.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.327 * [taylor]: Taking taylor expansion of x in x 11.328 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.328 * [taylor]: Taking taylor expansion of (* x y) in x 11.328 * [taylor]: Taking taylor expansion of x in x 11.328 * [taylor]: Taking taylor expansion of y in x 11.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 11.329 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 11.329 * [taylor]: Taking taylor expansion of 1/3 in y 11.329 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 11.329 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 11.329 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.329 * [taylor]: Taking taylor expansion of y in y 11.329 * [taylor]: Taking taylor expansion of 1 in y 11.329 * [taylor]: Taking taylor expansion of (log x) in y 11.329 * [taylor]: Taking taylor expansion of x in y 11.333 * [taylor]: Taking taylor expansion of 0 in y 11.341 * [taylor]: Taking taylor expansion of 0 in y 11.347 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 11.347 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in y 11.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in y 11.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in y 11.347 * [taylor]: Taking taylor expansion of 1/3 in y 11.347 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in y 11.347 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 11.347 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.347 * [taylor]: Taking taylor expansion of (* x y) in y 11.347 * [taylor]: Taking taylor expansion of x in y 11.347 * [taylor]: Taking taylor expansion of y in y 11.347 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.347 * [taylor]: Taking taylor expansion of x in y 11.348 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 11.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 11.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 11.348 * [taylor]: Taking taylor expansion of 1/3 in x 11.348 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 11.348 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.348 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.348 * [taylor]: Taking taylor expansion of (* x y) in x 11.348 * [taylor]: Taking taylor expansion of x in x 11.348 * [taylor]: Taking taylor expansion of y in x 11.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.348 * [taylor]: Taking taylor expansion of x in x 11.349 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 11.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 11.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 11.349 * [taylor]: Taking taylor expansion of 1/3 in x 11.349 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 11.349 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.349 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.349 * [taylor]: Taking taylor expansion of (* x y) in x 11.350 * [taylor]: Taking taylor expansion of x in x 11.350 * [taylor]: Taking taylor expansion of y in x 11.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.350 * [taylor]: Taking taylor expansion of x in x 11.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1)) (log x)))) in y 11.351 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1)) (log x))) in y 11.351 * [taylor]: Taking taylor expansion of 1/3 in y 11.351 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1)) (log x)) in y 11.351 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1)) in y 11.351 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 11.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.351 * [taylor]: Taking taylor expansion of y in y 11.351 * [taylor]: Taking taylor expansion of 1 in y 11.352 * [taylor]: Taking taylor expansion of (log x) in y 11.352 * [taylor]: Taking taylor expansion of x in y 11.356 * [taylor]: Taking taylor expansion of 0 in y 11.364 * [taylor]: Taking taylor expansion of 0 in y 11.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 11.370 * [approximate]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in (x y) around 0 11.370 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in y 11.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in y 11.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in y 11.370 * [taylor]: Taking taylor expansion of 1/3 in y 11.370 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in y 11.370 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 11.370 * [taylor]: Taking taylor expansion of x in y 11.370 * [taylor]: Taking taylor expansion of (* x y) in y 11.370 * [taylor]: Taking taylor expansion of x in y 11.370 * [taylor]: Taking taylor expansion of y in y 11.371 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 11.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 11.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 11.371 * [taylor]: Taking taylor expansion of 1/3 in x 11.371 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 11.371 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.371 * [taylor]: Taking taylor expansion of x in x 11.371 * [taylor]: Taking taylor expansion of (* x y) in x 11.371 * [taylor]: Taking taylor expansion of x in x 11.371 * [taylor]: Taking taylor expansion of y in x 11.372 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 11.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 11.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 11.372 * [taylor]: Taking taylor expansion of 1/3 in x 11.372 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 11.372 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.372 * [taylor]: Taking taylor expansion of x in x 11.372 * [taylor]: Taking taylor expansion of (* x y) in x 11.372 * [taylor]: Taking taylor expansion of x in x 11.372 * [taylor]: Taking taylor expansion of y in x 11.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ y 1)) (log x)))) in y 11.373 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ y 1)) (log x))) in y 11.373 * [taylor]: Taking taylor expansion of 1/3 in y 11.373 * [taylor]: Taking taylor expansion of (+ (log (+ y 1)) (log x)) in y 11.373 * [taylor]: Taking taylor expansion of (log (+ y 1)) in y 11.373 * [taylor]: Taking taylor expansion of (+ y 1) in y 11.373 * [taylor]: Taking taylor expansion of y in y 11.373 * [taylor]: Taking taylor expansion of 1 in y 11.374 * [taylor]: Taking taylor expansion of (log x) in y 11.374 * [taylor]: Taking taylor expansion of x in y 11.376 * [taylor]: Taking taylor expansion of 0 in y 11.383 * [taylor]: Taking taylor expansion of 0 in y 11.388 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 11.388 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in y 11.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in y 11.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in y 11.388 * [taylor]: Taking taylor expansion of 1/3 in y 11.388 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in y 11.388 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 11.388 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.388 * [taylor]: Taking taylor expansion of (* x y) in y 11.388 * [taylor]: Taking taylor expansion of x in y 11.388 * [taylor]: Taking taylor expansion of y in y 11.389 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.389 * [taylor]: Taking taylor expansion of x in y 11.389 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 11.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 11.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 11.389 * [taylor]: Taking taylor expansion of 1/3 in x 11.389 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 11.390 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 11.390 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.390 * [taylor]: Taking taylor expansion of (* x y) in x 11.390 * [taylor]: Taking taylor expansion of x in x 11.390 * [taylor]: Taking taylor expansion of y in x 11.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.390 * [taylor]: Taking taylor expansion of x in x 11.391 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 11.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 11.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 11.391 * [taylor]: Taking taylor expansion of 1/3 in x 11.391 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 11.391 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 11.391 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.391 * [taylor]: Taking taylor expansion of (* x y) in x 11.391 * [taylor]: Taking taylor expansion of x in x 11.391 * [taylor]: Taking taylor expansion of y in x 11.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.391 * [taylor]: Taking taylor expansion of x in x 11.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 11.392 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 11.392 * [taylor]: Taking taylor expansion of 1/3 in y 11.392 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 11.392 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 11.392 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.392 * [taylor]: Taking taylor expansion of y in y 11.393 * [taylor]: Taking taylor expansion of 1 in y 11.393 * [taylor]: Taking taylor expansion of (log x) in y 11.393 * [taylor]: Taking taylor expansion of x in y 11.397 * [taylor]: Taking taylor expansion of 0 in y 11.407 * [taylor]: Taking taylor expansion of 0 in y 11.413 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 11.413 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in y 11.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in y 11.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in y 11.413 * [taylor]: Taking taylor expansion of 1/3 in y 11.413 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in y 11.413 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 11.413 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.413 * [taylor]: Taking taylor expansion of (* x y) in y 11.413 * [taylor]: Taking taylor expansion of x in y 11.413 * [taylor]: Taking taylor expansion of y in y 11.413 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.413 * [taylor]: Taking taylor expansion of x in y 11.414 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 11.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 11.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 11.414 * [taylor]: Taking taylor expansion of 1/3 in x 11.414 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 11.414 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.414 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.414 * [taylor]: Taking taylor expansion of (* x y) in x 11.414 * [taylor]: Taking taylor expansion of x in x 11.414 * [taylor]: Taking taylor expansion of y in x 11.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.414 * [taylor]: Taking taylor expansion of x in x 11.415 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 11.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 11.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 11.416 * [taylor]: Taking taylor expansion of 1/3 in x 11.416 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 11.416 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.416 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.416 * [taylor]: Taking taylor expansion of (* x y) in x 11.416 * [taylor]: Taking taylor expansion of x in x 11.416 * [taylor]: Taking taylor expansion of y in x 11.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.416 * [taylor]: Taking taylor expansion of x in x 11.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1)) (log x)))) in y 11.417 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1)) (log x))) in y 11.417 * [taylor]: Taking taylor expansion of 1/3 in y 11.417 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1)) (log x)) in y 11.417 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1)) in y 11.417 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 11.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.417 * [taylor]: Taking taylor expansion of y in y 11.417 * [taylor]: Taking taylor expansion of 1 in y 11.418 * [taylor]: Taking taylor expansion of (log x) in y 11.418 * [taylor]: Taking taylor expansion of x in y 11.422 * [taylor]: Taking taylor expansion of 0 in y 11.430 * [taylor]: Taking taylor expansion of 0 in y 11.436 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 11.436 * [approximate]: Taking taylor expansion of (* (sqrt (+ x (* x y))) (fabs (pow (+ x (* x y)) 1/3))) in (x y) around 0 11.436 * [taylor]: Taking taylor expansion of (* (sqrt (+ x (* x y))) (fabs (pow (+ x (* x y)) 1/3))) in y 11.436 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in y 11.436 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 11.436 * [taylor]: Taking taylor expansion of x in y 11.436 * [taylor]: Taking taylor expansion of (* x y) in y 11.436 * [taylor]: Taking taylor expansion of x in y 11.436 * [taylor]: Taking taylor expansion of y in y 11.437 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.438 * [taylor]: Taking taylor expansion of (* (sqrt (+ x (* x y))) (fabs (pow (+ x (* x y)) 1/3))) in x 11.438 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x 11.438 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.438 * [taylor]: Taking taylor expansion of x in x 11.438 * [taylor]: Taking taylor expansion of (* x y) in x 11.438 * [taylor]: Taking taylor expansion of x in x 11.438 * [taylor]: Taking taylor expansion of y in x 11.439 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in x 11.439 * [taylor]: Taking taylor expansion of (* (sqrt (+ x (* x y))) (fabs (pow (+ x (* x y)) 1/3))) in x 11.439 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x 11.439 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.439 * [taylor]: Taking taylor expansion of x in x 11.439 * [taylor]: Taking taylor expansion of (* x y) in x 11.439 * [taylor]: Taking taylor expansion of x in x 11.439 * [taylor]: Taking taylor expansion of y in x 11.440 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in x 11.441 * [taylor]: Taking taylor expansion of 0 in y 11.441 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y))))) in y 11.441 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y)))) in y 11.441 * [taylor]: Taking taylor expansion of (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) in y 11.441 * [taylor]: Taking taylor expansion of +nan.0 in y 11.441 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.441 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y))) in y 11.441 * [taylor]: Taking taylor expansion of (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y)) in y 11.442 * [taylor]: Taking taylor expansion of +nan.0 in y 11.442 * [taylor]: Taking taylor expansion of (* (fabs (pow (+ x (* x y)) 1/3)) y) in y 11.442 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.442 * [taylor]: Taking taylor expansion of y in y 11.445 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) (pow y 2))) (- (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y))))))) in y 11.445 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) (pow y 2))) (- (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y)))))) in y 11.445 * [taylor]: Taking taylor expansion of (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) (pow y 2))) in y 11.445 * [taylor]: Taking taylor expansion of +nan.0 in y 11.445 * [taylor]: Taking taylor expansion of (* (fabs (pow (+ x (* x y)) 1/3)) (pow y 2)) in y 11.445 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.445 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.445 * [taylor]: Taking taylor expansion of y in y 11.445 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y))))) in y 11.445 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y)))) in y 11.445 * [taylor]: Taking taylor expansion of (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) in y 11.446 * [taylor]: Taking taylor expansion of +nan.0 in y 11.446 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.446 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y))) in y 11.446 * [taylor]: Taking taylor expansion of (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y)) in y 11.446 * [taylor]: Taking taylor expansion of +nan.0 in y 11.446 * [taylor]: Taking taylor expansion of (* (fabs (pow (+ x (* x y)) 1/3)) y) in y 11.446 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.446 * [taylor]: Taking taylor expansion of y in y 11.450 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in (x y) around 0 11.450 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.450 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* x y)) (/ 1 x))) in y 11.450 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 11.450 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.450 * [taylor]: Taking taylor expansion of (* x y) in y 11.450 * [taylor]: Taking taylor expansion of x in y 11.450 * [taylor]: Taking taylor expansion of y in y 11.450 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.450 * [taylor]: Taking taylor expansion of x in y 11.451 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.451 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in x 11.451 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* x y)) (/ 1 x))) in x 11.451 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 11.451 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.451 * [taylor]: Taking taylor expansion of (* x y) in x 11.451 * [taylor]: Taking taylor expansion of x in x 11.451 * [taylor]: Taking taylor expansion of y in x 11.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.452 * [taylor]: Taking taylor expansion of x in x 11.452 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.453 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in x 11.453 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* x y)) (/ 1 x))) in x 11.453 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 11.453 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.453 * [taylor]: Taking taylor expansion of (* x y) in x 11.453 * [taylor]: Taking taylor expansion of x in x 11.453 * [taylor]: Taking taylor expansion of y in x 11.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.453 * [taylor]: Taking taylor expansion of x in x 11.454 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.454 * [taylor]: Taking taylor expansion of 0 in y 11.455 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))))) in y 11.455 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))))) in y 11.455 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) in y 11.455 * [taylor]: Taking taylor expansion of +nan.0 in y 11.455 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y) in y 11.455 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.455 * [taylor]: Taking taylor expansion of y in y 11.455 * [taylor]: Taking taylor expansion of (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))) in y 11.455 * [taylor]: Taking taylor expansion of (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.455 * [taylor]: Taking taylor expansion of +nan.0 in y 11.455 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.459 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) (- (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))))))) in y 11.459 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) (- (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))))))) in y 11.459 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) in y 11.459 * [taylor]: Taking taylor expansion of +nan.0 in y 11.459 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2)) in y 11.459 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.459 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.459 * [taylor]: Taking taylor expansion of y in y 11.460 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))))) in y 11.460 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))))) in y 11.460 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) in y 11.460 * [taylor]: Taking taylor expansion of +nan.0 in y 11.460 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) y) in y 11.460 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.460 * [taylor]: Taking taylor expansion of y in y 11.460 * [taylor]: Taking taylor expansion of (- (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))) in y 11.460 * [taylor]: Taking taylor expansion of (* +nan.0 (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.460 * [taylor]: Taking taylor expansion of +nan.0 in y 11.460 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.466 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))) in (x y) around 0 11.466 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.466 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in y 11.466 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 11.466 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.466 * [taylor]: Taking taylor expansion of (* x y) in y 11.466 * [taylor]: Taking taylor expansion of x in y 11.466 * [taylor]: Taking taylor expansion of y in y 11.466 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.466 * [taylor]: Taking taylor expansion of x in y 11.467 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.467 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))) in x 11.467 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x 11.467 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.467 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.467 * [taylor]: Taking taylor expansion of (* x y) in x 11.467 * [taylor]: Taking taylor expansion of x in x 11.467 * [taylor]: Taking taylor expansion of y in x 11.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.468 * [taylor]: Taking taylor expansion of x in x 11.469 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.469 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))) in x 11.469 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x 11.469 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.469 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.469 * [taylor]: Taking taylor expansion of (* x y) in x 11.469 * [taylor]: Taking taylor expansion of x in x 11.469 * [taylor]: Taking taylor expansion of y in x 11.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.469 * [taylor]: Taking taylor expansion of x in x 11.471 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.471 * [taylor]: Taking taylor expansion of 0 in y 11.471 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)))))) in y 11.471 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))))) in y 11.471 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) in y 11.471 * [taylor]: Taking taylor expansion of +nan.0 in y 11.471 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y) in y 11.472 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.472 * [taylor]: Taking taylor expansion of y in y 11.472 * [taylor]: Taking taylor expansion of (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)))) in y 11.472 * [taylor]: Taking taylor expansion of (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.472 * [taylor]: Taking taylor expansion of +nan.0 in y 11.472 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.476 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)))))))) in y 11.476 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) (- (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))))))) in y 11.476 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y)) in y 11.476 * [taylor]: Taking taylor expansion of +nan.0 in y 11.476 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) y) in y 11.476 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.476 * [taylor]: Taking taylor expansion of y in y 11.476 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)))))) in y 11.476 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))))) in y 11.476 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2))) in y 11.476 * [taylor]: Taking taylor expansion of +nan.0 in y 11.476 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow y 2)) in y 11.476 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.477 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.477 * [taylor]: Taking taylor expansion of y in y 11.477 * [taylor]: Taking taylor expansion of (- (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)))) in y 11.477 * [taylor]: Taking taylor expansion of (* +nan.0 (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.477 * [taylor]: Taking taylor expansion of +nan.0 in y 11.477 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.482 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 11.483 * [approximate]: Taking taylor expansion of (* (pow (pow (+ x (* x y)) 2) 1/3) (fabs (pow (+ x (* x y)) 1/3))) in (x y) around 0 11.483 * [taylor]: Taking taylor expansion of (* (pow (pow (+ x (* x y)) 2) 1/3) (fabs (pow (+ x (* x y)) 1/3))) in y 11.483 * [taylor]: Taking taylor expansion of (pow (pow (+ x (* x y)) 2) 1/3) in y 11.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (* x y)) 2)))) in y 11.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (* x y)) 2))) in y 11.483 * [taylor]: Taking taylor expansion of 1/3 in y 11.483 * [taylor]: Taking taylor expansion of (log (pow (+ x (* x y)) 2)) in y 11.483 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 2) in y 11.483 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 11.483 * [taylor]: Taking taylor expansion of x in y 11.483 * [taylor]: Taking taylor expansion of (* x y) in y 11.483 * [taylor]: Taking taylor expansion of x in y 11.483 * [taylor]: Taking taylor expansion of y in y 11.483 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.483 * [taylor]: Taking taylor expansion of (* (pow (pow (+ x (* x y)) 2) 1/3) (fabs (pow (+ x (* x y)) 1/3))) in x 11.483 * [taylor]: Taking taylor expansion of (pow (pow (+ x (* x y)) 2) 1/3) in x 11.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (* x y)) 2)))) in x 11.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (* x y)) 2))) in x 11.484 * [taylor]: Taking taylor expansion of 1/3 in x 11.484 * [taylor]: Taking taylor expansion of (log (pow (+ x (* x y)) 2)) in x 11.484 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 2) in x 11.484 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.484 * [taylor]: Taking taylor expansion of x in x 11.484 * [taylor]: Taking taylor expansion of (* x y) in x 11.484 * [taylor]: Taking taylor expansion of x in x 11.484 * [taylor]: Taking taylor expansion of y in x 11.485 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in x 11.485 * [taylor]: Taking taylor expansion of (* (pow (pow (+ x (* x y)) 2) 1/3) (fabs (pow (+ x (* x y)) 1/3))) in x 11.485 * [taylor]: Taking taylor expansion of (pow (pow (+ x (* x y)) 2) 1/3) in x 11.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x (* x y)) 2)))) in x 11.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x (* x y)) 2))) in x 11.485 * [taylor]: Taking taylor expansion of 1/3 in x 11.485 * [taylor]: Taking taylor expansion of (log (pow (+ x (* x y)) 2)) in x 11.485 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 2) in x 11.485 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 11.485 * [taylor]: Taking taylor expansion of x in x 11.485 * [taylor]: Taking taylor expansion of (* x y) in x 11.485 * [taylor]: Taking taylor expansion of x in x 11.485 * [taylor]: Taking taylor expansion of y in x 11.487 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in x 11.487 * [taylor]: Taking taylor expansion of (* (fabs (pow (+ x (* x y)) 1/3)) (exp (* 1/3 (+ (* 2 (log x)) (log (pow (+ y 1) 2)))))) in y 11.487 * [taylor]: Taking taylor expansion of (fabs (pow (+ x (* x y)) 1/3)) in y 11.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow (+ y 1) 2))))) in y 11.487 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow (+ y 1) 2)))) in y 11.487 * [taylor]: Taking taylor expansion of 1/3 in y 11.487 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow (+ y 1) 2))) in y 11.487 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 11.487 * [taylor]: Taking taylor expansion of 2 in y 11.487 * [taylor]: Taking taylor expansion of (log x) in y 11.487 * [taylor]: Taking taylor expansion of x in y 11.487 * [taylor]: Taking taylor expansion of (log (pow (+ y 1) 2)) in y 11.487 * [taylor]: Taking taylor expansion of (pow (+ y 1) 2) in y 11.487 * [taylor]: Taking taylor expansion of (+ y 1) in y 11.487 * [taylor]: Taking taylor expansion of y in y 11.488 * [taylor]: Taking taylor expansion of 1 in y 11.496 * [taylor]: Taking taylor expansion of 0 in y 11.505 * [taylor]: Taking taylor expansion of 0 in y 11.512 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (* (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))) in (x y) around 0 11.512 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (* (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))) in y 11.512 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* x y)) (/ 1 x))) in y 11.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 11.512 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.512 * [taylor]: Taking taylor expansion of (* x y) in y 11.512 * [taylor]: Taking taylor expansion of x in y 11.512 * [taylor]: Taking taylor expansion of y in y 11.512 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.512 * [taylor]: Taking taylor expansion of x in y 11.513 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.513 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) in y 11.513 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 x) (/ 1 (* x y)))))) in y 11.513 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 x) (/ 1 (* x y))))) in y 11.513 * [taylor]: Taking taylor expansion of 1/6 in y 11.513 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in y 11.513 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 11.513 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.513 * [taylor]: Taking taylor expansion of x in y 11.513 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.513 * [taylor]: Taking taylor expansion of (* x y) in y 11.513 * [taylor]: Taking taylor expansion of x in y 11.513 * [taylor]: Taking taylor expansion of y in y 11.514 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.514 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (* (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))) in x 11.514 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* x y)) (/ 1 x))) in x 11.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 11.514 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.514 * [taylor]: Taking taylor expansion of (* x y) in x 11.514 * [taylor]: Taking taylor expansion of x in x 11.514 * [taylor]: Taking taylor expansion of y in x 11.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.515 * [taylor]: Taking taylor expansion of x in x 11.516 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in x 11.516 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) in x 11.516 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 x) (/ 1 (* x y)))))) in x 11.516 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 x) (/ 1 (* x y))))) in x 11.516 * [taylor]: Taking taylor expansion of 1/6 in x 11.516 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in x 11.516 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 11.516 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.516 * [taylor]: Taking taylor expansion of x in x 11.516 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.516 * [taylor]: Taking taylor expansion of (* x y) in x 11.516 * [taylor]: Taking taylor expansion of x in x 11.516 * [taylor]: Taking taylor expansion of y in x 11.517 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.517 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 (* x y)) (/ 1 x))) (* (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)))) in x 11.517 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* x y)) (/ 1 x))) in x 11.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 11.517 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.517 * [taylor]: Taking taylor expansion of (* x y) in x 11.517 * [taylor]: Taking taylor expansion of x in x 11.517 * [taylor]: Taking taylor expansion of y in x 11.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.518 * [taylor]: Taking taylor expansion of x in x 11.518 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3))) in x 11.518 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/6) in x 11.518 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 x) (/ 1 (* x y)))))) in x 11.518 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 x) (/ 1 (* x y))))) in x 11.519 * [taylor]: Taking taylor expansion of 1/6 in x 11.519 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in x 11.519 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 11.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.519 * [taylor]: Taking taylor expansion of x in x 11.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.519 * [taylor]: Taking taylor expansion of (* x y) in x 11.519 * [taylor]: Taking taylor expansion of x in x 11.519 * [taylor]: Taking taylor expansion of y in x 11.520 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.520 * [taylor]: Taking taylor expansion of 0 in y 11.524 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y)) (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))))))) in y 11.524 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y)) (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)))))) in y 11.524 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y)) in y 11.524 * [taylor]: Taking taylor expansion of +nan.0 in y 11.524 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y) in y 11.524 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) in y 11.524 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) in y 11.524 * [taylor]: Taking taylor expansion of (* 1/6 (- (log (+ (/ 1 y) 1)) (log x))) in y 11.524 * [taylor]: Taking taylor expansion of 1/6 in y 11.524 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 11.524 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 11.524 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.524 * [taylor]: Taking taylor expansion of y in y 11.525 * [taylor]: Taking taylor expansion of 1 in y 11.525 * [taylor]: Taking taylor expansion of (log x) in y 11.525 * [taylor]: Taking taylor expansion of x in y 11.526 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)) in y 11.526 * [taylor]: Taking taylor expansion of y in y 11.526 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))))) in y 11.526 * [taylor]: Taking taylor expansion of (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)))) in y 11.526 * [taylor]: Taking taylor expansion of +nan.0 in y 11.526 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) in y 11.527 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) in y 11.527 * [taylor]: Taking taylor expansion of (* 1/6 (- (log (+ (/ 1 y) 1)) (log x))) in y 11.527 * [taylor]: Taking taylor expansion of 1/6 in y 11.527 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 11.527 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 11.527 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.527 * [taylor]: Taking taylor expansion of y in y 11.527 * [taylor]: Taking taylor expansion of 1 in y 11.527 * [taylor]: Taking taylor expansion of (log x) in y 11.527 * [taylor]: Taking taylor expansion of x in y 11.528 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)) in y 11.537 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y)) (- (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) (pow y 2))) (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))))))))) in y 11.537 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y)) (- (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) (pow y 2))) (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)))))))) in y 11.537 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y)) in y 11.537 * [taylor]: Taking taylor expansion of +nan.0 in y 11.537 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) y) in y 11.537 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) in y 11.537 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) in y 11.537 * [taylor]: Taking taylor expansion of (* 1/6 (- (log (+ (/ 1 y) 1)) (log x))) in y 11.537 * [taylor]: Taking taylor expansion of 1/6 in y 11.537 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 11.537 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 11.537 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.537 * [taylor]: Taking taylor expansion of y in y 11.538 * [taylor]: Taking taylor expansion of 1 in y 11.538 * [taylor]: Taking taylor expansion of (log x) in y 11.538 * [taylor]: Taking taylor expansion of x in y 11.539 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)) in y 11.539 * [taylor]: Taking taylor expansion of y in y 11.539 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) (pow y 2))) (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))))))) in y 11.539 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) (pow y 2))) (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)))))) in y 11.539 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) (pow y 2))) in y 11.539 * [taylor]: Taking taylor expansion of +nan.0 in y 11.540 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) (pow y 2)) in y 11.540 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) in y 11.540 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) in y 11.540 * [taylor]: Taking taylor expansion of (* 1/6 (- (log (+ (/ 1 y) 1)) (log x))) in y 11.540 * [taylor]: Taking taylor expansion of 1/6 in y 11.540 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 11.540 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 11.540 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.540 * [taylor]: Taking taylor expansion of y in y 11.540 * [taylor]: Taking taylor expansion of 1 in y 11.540 * [taylor]: Taking taylor expansion of (log x) in y 11.540 * [taylor]: Taking taylor expansion of x in y 11.541 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)) in y 11.541 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.541 * [taylor]: Taking taylor expansion of y in y 11.542 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))))) in y 11.542 * [taylor]: Taking taylor expansion of (* +nan.0 (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)))) in y 11.542 * [taylor]: Taking taylor expansion of +nan.0 in y 11.542 * [taylor]: Taking taylor expansion of (* (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3))) in y 11.542 * [taylor]: Taking taylor expansion of (exp (* 1/6 (- (log (+ (/ 1 y) 1)) (log x)))) in y 11.542 * [taylor]: Taking taylor expansion of (* 1/6 (- (log (+ (/ 1 y) 1)) (log x))) in y 11.542 * [taylor]: Taking taylor expansion of 1/6 in y 11.542 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 11.542 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 11.542 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.542 * [taylor]: Taking taylor expansion of y in y 11.542 * [taylor]: Taking taylor expansion of 1 in y 11.543 * [taylor]: Taking taylor expansion of (log x) in y 11.543 * [taylor]: Taking taylor expansion of x in y 11.543 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3)) in y 11.558 * [approximate]: Taking taylor expansion of (* (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow (pow (- (/ 1 (* x y)) (/ 1 x)) 2) 1/3)) in (x y) around 0 11.558 * [taylor]: Taking taylor expansion of (* (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow (pow (- (/ 1 (* x y)) (/ 1 x)) 2) 1/3)) in y 11.558 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.558 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (* x y)) (/ 1 x)) 2) 1/3) in y 11.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2)))) in y 11.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2))) in y 11.558 * [taylor]: Taking taylor expansion of 1/3 in y 11.558 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2)) in y 11.558 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 2) in y 11.559 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 11.559 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 11.559 * [taylor]: Taking taylor expansion of (* x y) in y 11.559 * [taylor]: Taking taylor expansion of x in y 11.559 * [taylor]: Taking taylor expansion of y in y 11.559 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.559 * [taylor]: Taking taylor expansion of x in y 11.560 * [taylor]: Taking taylor expansion of (* (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow (pow (- (/ 1 (* x y)) (/ 1 x)) 2) 1/3)) in x 11.560 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.560 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (* x y)) (/ 1 x)) 2) 1/3) in x 11.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2)))) in x 11.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2))) in x 11.560 * [taylor]: Taking taylor expansion of 1/3 in x 11.560 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2)) in x 11.560 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 2) in x 11.560 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.560 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.560 * [taylor]: Taking taylor expansion of (* x y) in x 11.560 * [taylor]: Taking taylor expansion of x in x 11.560 * [taylor]: Taking taylor expansion of y in x 11.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.561 * [taylor]: Taking taylor expansion of x in x 11.562 * [taylor]: Taking taylor expansion of (* (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) (pow (pow (- (/ 1 (* x y)) (/ 1 x)) 2) 1/3)) in x 11.562 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in x 11.562 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (* x y)) (/ 1 x)) 2) 1/3) in x 11.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2)))) in x 11.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2))) in x 11.562 * [taylor]: Taking taylor expansion of 1/3 in x 11.562 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (* x y)) (/ 1 x)) 2)) in x 11.562 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 2) in x 11.562 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 11.562 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.562 * [taylor]: Taking taylor expansion of (* x y) in x 11.562 * [taylor]: Taking taylor expansion of x in x 11.562 * [taylor]: Taking taylor expansion of y in x 11.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.563 * [taylor]: Taking taylor expansion of x in x 11.564 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow (- (/ 1 y) 1) 2)) (* 2 (log x))))) (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3))) in y 11.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (- (/ 1 y) 1) 2)) (* 2 (log x))))) in y 11.564 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (- (/ 1 y) 1) 2)) (* 2 (log x)))) in y 11.564 * [taylor]: Taking taylor expansion of 1/3 in y 11.564 * [taylor]: Taking taylor expansion of (- (log (pow (- (/ 1 y) 1) 2)) (* 2 (log x))) in y 11.564 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 y) 1) 2)) in y 11.564 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1) 2) in y 11.564 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 11.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.564 * [taylor]: Taking taylor expansion of y in y 11.565 * [taylor]: Taking taylor expansion of 1 in y 11.565 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 11.565 * [taylor]: Taking taylor expansion of 2 in y 11.565 * [taylor]: Taking taylor expansion of (log x) in y 11.565 * [taylor]: Taking taylor expansion of x in y 11.566 * [taylor]: Taking taylor expansion of (fabs (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3)) in y 11.570 * [taylor]: Taking taylor expansion of 0 in y 11.585 * [taylor]: Taking taylor expansion of 0 in y 11.594 * * * [progress]: simplifying candidates 11.595 * [simplify]: Simplifying using # : (log (cbrt (+ (* x y) x))) (exp (cbrt (+ (* x y) x))) (cbrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt 1) (cbrt (+ (* x y) x)) (cbrt (+ (pow (* x y) 3) (pow x 3))) (cbrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))) (cbrt (- (* (* x y) (* x y)) (* x x))) (cbrt (- (* x y) x)) (* (cbrt (cbrt (+ (* x y) x))) (cbrt (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (* (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (* x y) x))) (log (cbrt (+ x (* x y)))) (exp (cbrt (+ x (* x y)))) (cbrt (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt 1) (cbrt (+ x (* x y))) (cbrt (+ (pow x 3) (pow (* x y) 3))) (cbrt (+ (* x x) (- (* (* x y) (* x y)) (* x (* x y))))) (cbrt (- (* x x) (* (* x y) (* x y)))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (* (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y)))) (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (+ (log (fabs (cbrt (+ x (* x y))))) (log (sqrt (+ x (* x y))))) (log (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (exp (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (* (* (fabs (cbrt (+ x (* x y)))) (fabs (cbrt (+ x (* x y))))) (fabs (cbrt (+ x (* x y))))) (* (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (cbrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (cbrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))))) (cbrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (sqrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (sqrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (fabs (cbrt (+ x (* x y)))) (* (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y)))))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (sqrt (+ x (* x y))))) (* (fabs (cbrt (+ x (* x y)))) (sqrt 1)) (* (fabs (cbrt (+ x (* x y)))) (sqrt (sqrt (+ x (* x y))))) (* (fabs (cbrt (+ x (* x y)))) 1) (* (cbrt (fabs (cbrt (+ x (* x y))))) (sqrt (+ x (* x y)))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (+ x (* x y)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (- (* x x) (* (* x y) (* x y))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) (+ (+ (log (fabs (cbrt (+ x (* x y))))) (log (sqrt (+ x (* x y))))) (log (sqrt (cbrt (+ (* x y) x))))) (+ (log (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (log (sqrt (cbrt (+ (* x y) x))))) (log (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (exp (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (* (* (* (* (fabs (cbrt (+ x (* x y)))) (fabs (cbrt (+ x (* x y))))) (fabs (cbrt (+ x (* x y))))) (* (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (* (sqrt (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (* x y) x)))) (sqrt (cbrt (+ (* x y) x))))) (* (* (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (* (sqrt (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (* x y) x)))) (sqrt (cbrt (+ (* x y) x))))) (* (cbrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (cbrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))))) (cbrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (* (* (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (sqrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (sqrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3)))) (sqrt (cbrt (+ (pow (* x y) 3) (pow x 3))))) (* (sqrt (+ (* x x) (- (* (* x y) (* x y)) (* x (* x y))))) (sqrt (cbrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3)))) (sqrt (cbrt (- (* (* x y) (* x y)) (* x x))))) (* (sqrt (+ (* x x) (- (* (* x y) (* x y)) (* x (* x y))))) (sqrt (cbrt (- (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (- (* x x) (* (* x y) (* x y))))) (sqrt (cbrt (+ (pow (* x y) 3) (pow x 3))))) (* (sqrt (- x (* x y))) (sqrt (cbrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (- (* x x) (* (* x y) (* x y))))) (sqrt (cbrt (- (* (* x y) (* x y)) (* x x))))) (* (sqrt (- x (* x y))) (sqrt (cbrt (- (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (* (cbrt (sqrt (cbrt (+ (* x y) x)))) (cbrt (sqrt (cbrt (+ (* x y) x)))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (sqrt (+ (* x y) x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt 1))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (* (cbrt (cbrt (+ (* x y) x))) (cbrt (cbrt (+ (* x y) x)))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (sqrt (cbrt (+ (* x y) x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt 1)) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (sqrt (cbrt (+ (* x y) x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) 1) (* (sqrt (+ x (* x y))) (sqrt (cbrt (+ (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (pow (* x y) 3) (pow x 3))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (- (* (* x y) (* x y)) (* x x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3)))) (sqrt (cbrt (+ (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (- (* x x) (* (* x y) (* x y))))) (sqrt (cbrt (+ (* x y) x)))) (- (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) y))) (* 1/9 (* (pow x 1/3) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) y)) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) (- (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) y))) (* 1/9 (* (pow x 1/3) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) y)) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) (- (+ (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) x)) (- (+ (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) (* y x))) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) (pow x 2)))))))) (- (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (+ (* +nan.0 (/ (* (fabs (pow (+ x (* x y)) 1/3)) y) x)) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y))))))) (- (+ (* +nan.0 (fabs (pow (+ x (* x y)) 1/3))) (- (+ (* +nan.0 (/ (* (fabs (pow (+ x (* x y)) 1/3)) y) x)) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) y))))))) (- (+ (* (fabs (pow (+ x (* x y)) 1/3)) (pow (pow x 2) 1/3)) (* 2/3 (* (* (fabs (pow (+ x (* x y)) 1/3)) y) (pow (pow x 2) 1/3)))) (* 1/9 (* (* (fabs (pow (+ x (* x y)) 1/3)) (pow y 2)) (pow (pow x 2) 1/3)))) (- (+ (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) (* y (exp (* -1/6 (+ (log (/ 1 x)) (log (/ 1 y)))))))) (- (+ (* +nan.0 (/ (* (fabs (pow (+ x (* x y)) 1/3)) (* y (exp (* -1/6 (+ (log (/ 1 x)) (log (/ 1 y))))))) x)) (- (* +nan.0 (* (fabs (pow (+ x (* x y)) 1/3)) (exp (* -1/6 (+ (log (/ 1 x)) (log (/ 1 y)))))))))))) (- (+ (* 2/3 (/ (* (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) (fabs (pow (+ x (* x y)) 1/3))) y)) (* (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) (fabs (pow (+ x (* x y)) 1/3)))) (* 1/9 (/ (* (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) (fabs (pow (+ x (* x y)) 1/3))) (pow y 2)))) 11.603 * * [simplify]: iteration 0 : 240 enodes (cost 2390 ) 11.647 * * [simplify]: iteration 1 : 606 enodes (cost 2218 ) 11.774 * * [simplify]: iteration 2 : 2222 enodes (cost 1980 ) 12.386 * * [simplify]: iteration done : 5001 enodes (cost 1976 ) 12.387 * [simplify]: Simplified to: (log (cbrt (+ x (* x y)))) (exp (cbrt (+ x (* x y)))) (cbrt (pow (+ x (* x y)) 2/3)) (cbrt (cbrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) 1 (cbrt (+ (* x y) x)) (cbrt (+ (pow x 3) (pow (* x y) 3))) (cbrt (+ (pow x 2) (* (* y x) (- (* x y) x)))) (cbrt (* x (- (* y (* y x)) x))) (cbrt (- (* x y) x)) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (pow (cbrt (+ (* x y) x)) 3) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (log (cbrt (+ x (* x y)))) (exp (cbrt (+ x (* x y)))) (cbrt (pow (+ x (* x y)) 2/3)) (cbrt (cbrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) 1 (cbrt (+ (* x y) x)) (cbrt (+ (pow x 3) (pow (* x y) 3))) (cbrt (+ (pow x 2) (* (* y x) (- (* x y) x)))) (cbrt (* x (- x (* y (* y x))))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (pow (cbrt (+ (* x y) x)) 3) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) (log (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (log (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (exp (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (pow (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) 3) (* (cbrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (cbrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))))) (cbrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (pow (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) 3) (sqrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (sqrt (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (sqrt (+ x (* x y))))) (* (fabs (cbrt (+ x (* x y)))) (* (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))))) (pow (+ x (* x y)) 2/3) (* (fabs (cbrt (+ x (* x y)))) (sqrt (sqrt (+ x (* x y))))) (fabs (cbrt (+ (* x y) x))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (sqrt (+ x (* x y))))) (fabs (cbrt (+ (* x y) x))) (* (cbrt (fabs (cbrt (+ x (* x y))))) (sqrt (+ x (* x y)))) (* (sqrt (fabs (cbrt (+ x (* x y))))) (sqrt (+ x (* x y)))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3)))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (* x (- x (* y (* y x)))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) (log (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (log (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (log (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (exp (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (pow (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) 3) (pow (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) 3) (* (cbrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (cbrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))))) (cbrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (pow (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x)))) 3) (sqrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (sqrt (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (* x y) x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3)))) (sqrt (cbrt (+ (pow (* x y) 3) (pow x 3))))) (* (sqrt (cbrt (+ (pow x 2) (* (* y x) (- (* x y) x))))) (sqrt (+ (pow x 2) (* (* y x) (- (* x y) x))))) (* (sqrt (cbrt (* x (- (* y (* y x)) x)))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3))))) (* (sqrt (cbrt (- (* x y) x))) (sqrt (+ (pow x 2) (* (* y x) (- (* x y) x))))) (* (sqrt (* x (- x (* y (* y x))))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (pow (* x y) 3) (pow x 3)))))) (* (sqrt (cbrt (+ (pow x 2) (* (* y x) (- (* x y) x))))) (sqrt (- x (* x y)))) (* (* (fabs (cbrt (+ (* x y) x))) (sqrt (* x (- x (* y (* y x)))))) (sqrt (cbrt (* x (- (* y (* y x)) x))))) (* (sqrt (- x (* x y))) (sqrt (cbrt (- (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (* (cbrt (sqrt (cbrt (+ (* x y) x)))) (cbrt (sqrt (cbrt (+ (* x y) x)))))) (* (sqrt (+ x (* x y))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (cbrt (pow (+ x (* x y)) 2/3))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (sqrt (+ (* x y) x))))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) (* (fabs (cbrt (cbrt (+ x (* x y))))) (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (sqrt (cbrt (+ (* x y) x))))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (sqrt (cbrt (+ (* x y) x))))) (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) (* (sqrt (+ x (* x y))) (sqrt (cbrt (+ (* x y) x)))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ x (* x y)))) (sqrt (cbrt (+ (pow (* x y) 3) (pow x 3))))) (* (* (fabs (cbrt (+ (* x y) x))) (sqrt (+ x (* x y)))) (sqrt (cbrt (* x (- (* y (* y x)) x))))) (* (* (fabs (cbrt (+ x (* x y)))) (sqrt (+ (pow x 3) (pow (* x y) 3)))) (sqrt (cbrt (+ (* x y) x)))) (* (fabs (cbrt (+ (* x y) x))) (* (sqrt (* x (- x (* y (* y x))))) (sqrt (cbrt (+ x (* x y)))))) (- (+ (cbrt x) (* 1/3 (* (cbrt x) y))) (* (* 1/9 (cbrt x)) (pow y 2))) (+ (+ (pow (exp -1/3) (- (- (log y)) (log x))) (/ (* 1/3 (pow (exp -1/3) (- (- (log y)) (log x)))) y)) (* -1/9 (/ (pow (exp -1/3) (- (- (log y)) (log x))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) (- (+ (cbrt x) (* 1/3 (* (cbrt x) y))) (* (* 1/9 (cbrt x)) (pow y 2))) (+ (+ (pow (exp -1/3) (- (- (log y)) (log x))) (/ (* 1/3 (pow (exp -1/3) (- (- (log y)) (log x)))) y)) (* -1/9 (/ (pow (exp -1/3) (- (- (log y)) (log x))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) (- (* (* (fabs (cbrt (+ (* x y) x))) +nan.0) (- (* y x) (* x x))) (* (* (fabs (cbrt (+ (* x y) x))) +nan.0) x)) (- (* +nan.0 (- (/ (* (fabs (cbrt (+ (* x y) x))) y) x) (* (fabs (cbrt (+ (* x y) x))) y))) (* (fabs (cbrt (+ (* x y) x))) +nan.0)) (- (* +nan.0 (- (/ (* (fabs (cbrt (+ (* x y) x))) y) x) (* (fabs (cbrt (+ (* x y) x))) y))) (* (fabs (cbrt (+ (* x y) x))) +nan.0)) (- (* (cbrt (pow x 2)) (+ (* 2/3 (* (fabs (cbrt (+ (* x y) x))) y)) (fabs (cbrt (+ (* x y) x))))) (* 1/9 (* (cbrt (pow x 2)) (* (pow y 2) (fabs (cbrt (+ (* x y) x))))))) (- (* +nan.0 (- (/ (* (fabs (cbrt (+ (* x y) x))) y) (/ x (pow (exp (- (- (log y)) (log x))) -1/6))) (* (fabs (cbrt (+ (* x y) x))) (pow (exp (- (- (log y)) (log x))) -1/6)))) (* (* (fabs (cbrt (+ (* x y) x))) y) (* (pow (exp (- (- (log y)) (log x))) -1/6) +nan.0))) (+ (/ (* (exp (* -2/3 (+ (log (/ -1 y)) (log (/ -1 x))))) 2/3) (/ y (fabs (cbrt (+ (* x y) x))))) (- (* (fabs (cbrt (+ (* x y) x))) (exp (* -2/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* (/ 1/9 y) (/ (exp (* -2/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (/ y (fabs (cbrt (+ (* x y) x)))))))) 12.388 * * * [progress]: adding candidates to table 12.730 * * [progress]: iteration 4 / 4 12.730 * * * [progress]: picking best candidate 12.733 * * * * [pick]: Picked # 12.733 * * * [progress]: localizing error 12.752 * * * [progress]: generating rewritten candidates 12.752 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 12.755 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1) 12.756 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1 1) 12.758 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 12.761 * * * [progress]: generating series expansions 12.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 12.761 * [approximate]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in (x y) around 0 12.761 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in y 12.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in y 12.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in y 12.761 * [taylor]: Taking taylor expansion of 1/3 in y 12.761 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in y 12.761 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 12.761 * [taylor]: Taking taylor expansion of x in y 12.761 * [taylor]: Taking taylor expansion of (* x y) in y 12.761 * [taylor]: Taking taylor expansion of x in y 12.761 * [taylor]: Taking taylor expansion of y in y 12.761 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.761 * [taylor]: Taking taylor expansion of 1/3 in x 12.761 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.761 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.761 * [taylor]: Taking taylor expansion of x in x 12.761 * [taylor]: Taking taylor expansion of (* x y) in x 12.761 * [taylor]: Taking taylor expansion of x in x 12.762 * [taylor]: Taking taylor expansion of y in x 12.763 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.763 * [taylor]: Taking taylor expansion of 1/3 in x 12.763 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.763 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.763 * [taylor]: Taking taylor expansion of x in x 12.763 * [taylor]: Taking taylor expansion of (* x y) in x 12.763 * [taylor]: Taking taylor expansion of x in x 12.763 * [taylor]: Taking taylor expansion of y in x 12.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ y 1)) (log x)))) in y 12.764 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ y 1)) (log x))) in y 12.764 * [taylor]: Taking taylor expansion of 1/3 in y 12.764 * [taylor]: Taking taylor expansion of (+ (log (+ y 1)) (log x)) in y 12.764 * [taylor]: Taking taylor expansion of (log (+ y 1)) in y 12.764 * [taylor]: Taking taylor expansion of (+ y 1) in y 12.764 * [taylor]: Taking taylor expansion of y in y 12.764 * [taylor]: Taking taylor expansion of 1 in y 12.765 * [taylor]: Taking taylor expansion of (log x) in y 12.765 * [taylor]: Taking taylor expansion of x in y 12.772 * [taylor]: Taking taylor expansion of 0 in y 12.778 * [taylor]: Taking taylor expansion of 0 in y 12.783 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in (x y) around 0 12.783 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in y 12.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y)))))) in y 12.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y))))) in y 12.783 * [taylor]: Taking taylor expansion of 1/3 in y 12.783 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in y 12.783 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 12.783 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.783 * [taylor]: Taking taylor expansion of x in y 12.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.783 * [taylor]: Taking taylor expansion of (* x y) in y 12.783 * [taylor]: Taking taylor expansion of x in y 12.783 * [taylor]: Taking taylor expansion of y in y 12.784 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in x 12.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y)))))) in x 12.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y))))) in x 12.784 * [taylor]: Taking taylor expansion of 1/3 in x 12.784 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in x 12.784 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 12.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.784 * [taylor]: Taking taylor expansion of x in x 12.784 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.784 * [taylor]: Taking taylor expansion of (* x y) in x 12.784 * [taylor]: Taking taylor expansion of x in x 12.784 * [taylor]: Taking taylor expansion of y in x 12.785 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 (* x y))) 1/3) in x 12.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y)))))) in x 12.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 (* x y))))) in x 12.785 * [taylor]: Taking taylor expansion of 1/3 in x 12.785 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 (* x y)))) in x 12.785 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 12.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.785 * [taylor]: Taking taylor expansion of x in x 12.785 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.785 * [taylor]: Taking taylor expansion of (* x y) in x 12.785 * [taylor]: Taking taylor expansion of x in x 12.785 * [taylor]: Taking taylor expansion of y in x 12.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 12.786 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 12.786 * [taylor]: Taking taylor expansion of 1/3 in y 12.786 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 12.786 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 12.786 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 12.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.786 * [taylor]: Taking taylor expansion of y in y 12.787 * [taylor]: Taking taylor expansion of 1 in y 12.787 * [taylor]: Taking taylor expansion of (log x) in y 12.787 * [taylor]: Taking taylor expansion of x in y 12.791 * [taylor]: Taking taylor expansion of 0 in y 12.798 * [taylor]: Taking taylor expansion of 0 in y 12.804 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 12.804 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in y 12.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in y 12.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in y 12.804 * [taylor]: Taking taylor expansion of 1/3 in y 12.804 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in y 12.804 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 12.804 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.804 * [taylor]: Taking taylor expansion of (* x y) in y 12.804 * [taylor]: Taking taylor expansion of x in y 12.804 * [taylor]: Taking taylor expansion of y in y 12.804 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.805 * [taylor]: Taking taylor expansion of x in y 12.805 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 12.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 12.805 * [taylor]: Taking taylor expansion of 1/3 in x 12.805 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 12.805 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 12.805 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.805 * [taylor]: Taking taylor expansion of (* x y) in x 12.805 * [taylor]: Taking taylor expansion of x in x 12.805 * [taylor]: Taking taylor expansion of y in x 12.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.806 * [taylor]: Taking taylor expansion of x in x 12.807 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 12.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 12.807 * [taylor]: Taking taylor expansion of 1/3 in x 12.807 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 12.807 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 12.807 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.807 * [taylor]: Taking taylor expansion of (* x y) in x 12.807 * [taylor]: Taking taylor expansion of x in x 12.807 * [taylor]: Taking taylor expansion of y in x 12.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.807 * [taylor]: Taking taylor expansion of x in x 12.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1)) (log x)))) in y 12.808 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1)) (log x))) in y 12.808 * [taylor]: Taking taylor expansion of 1/3 in y 12.808 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1)) (log x)) in y 12.808 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1)) in y 12.808 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 12.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.808 * [taylor]: Taking taylor expansion of y in y 12.809 * [taylor]: Taking taylor expansion of 1 in y 12.809 * [taylor]: Taking taylor expansion of (log x) in y 12.809 * [taylor]: Taking taylor expansion of x in y 12.813 * [taylor]: Taking taylor expansion of 0 in y 12.821 * [taylor]: Taking taylor expansion of 0 in y 12.827 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1) 12.827 * [approximate]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in (x y) around 0 12.827 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in y 12.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in y 12.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in y 12.827 * [taylor]: Taking taylor expansion of 1/3 in y 12.827 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in y 12.827 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 12.827 * [taylor]: Taking taylor expansion of x in y 12.827 * [taylor]: Taking taylor expansion of (* x y) in y 12.827 * [taylor]: Taking taylor expansion of x in y 12.827 * [taylor]: Taking taylor expansion of y in y 12.828 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.828 * [taylor]: Taking taylor expansion of 1/3 in x 12.828 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.828 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.828 * [taylor]: Taking taylor expansion of x in x 12.828 * [taylor]: Taking taylor expansion of (* x y) in x 12.828 * [taylor]: Taking taylor expansion of x in x 12.828 * [taylor]: Taking taylor expansion of y in x 12.829 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.829 * [taylor]: Taking taylor expansion of 1/3 in x 12.829 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.829 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.829 * [taylor]: Taking taylor expansion of x in x 12.829 * [taylor]: Taking taylor expansion of (* x y) in x 12.829 * [taylor]: Taking taylor expansion of x in x 12.829 * [taylor]: Taking taylor expansion of y in x 12.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ y 1)) (log x)))) in y 12.830 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ y 1)) (log x))) in y 12.830 * [taylor]: Taking taylor expansion of 1/3 in y 12.830 * [taylor]: Taking taylor expansion of (+ (log (+ y 1)) (log x)) in y 12.830 * [taylor]: Taking taylor expansion of (log (+ y 1)) in y 12.830 * [taylor]: Taking taylor expansion of (+ y 1) in y 12.830 * [taylor]: Taking taylor expansion of y in y 12.830 * [taylor]: Taking taylor expansion of 1 in y 12.831 * [taylor]: Taking taylor expansion of (log x) in y 12.831 * [taylor]: Taking taylor expansion of x in y 12.833 * [taylor]: Taking taylor expansion of 0 in y 12.839 * [taylor]: Taking taylor expansion of 0 in y 12.844 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 12.844 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in y 12.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in y 12.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in y 12.844 * [taylor]: Taking taylor expansion of 1/3 in y 12.844 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in y 12.844 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 12.844 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.844 * [taylor]: Taking taylor expansion of (* x y) in y 12.844 * [taylor]: Taking taylor expansion of x in y 12.844 * [taylor]: Taking taylor expansion of y in y 12.844 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.844 * [taylor]: Taking taylor expansion of x in y 12.845 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 12.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.845 * [taylor]: Taking taylor expansion of 1/3 in x 12.845 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 12.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.845 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.845 * [taylor]: Taking taylor expansion of (* x y) in x 12.845 * [taylor]: Taking taylor expansion of x in x 12.845 * [taylor]: Taking taylor expansion of y in x 12.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.845 * [taylor]: Taking taylor expansion of x in x 12.846 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 12.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.846 * [taylor]: Taking taylor expansion of 1/3 in x 12.846 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 12.846 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.846 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.846 * [taylor]: Taking taylor expansion of (* x y) in x 12.846 * [taylor]: Taking taylor expansion of x in x 12.846 * [taylor]: Taking taylor expansion of y in x 12.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.847 * [taylor]: Taking taylor expansion of x in x 12.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 12.848 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 12.848 * [taylor]: Taking taylor expansion of 1/3 in y 12.848 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 12.848 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 12.848 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 12.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.848 * [taylor]: Taking taylor expansion of y in y 12.848 * [taylor]: Taking taylor expansion of 1 in y 12.848 * [taylor]: Taking taylor expansion of (log x) in y 12.848 * [taylor]: Taking taylor expansion of x in y 12.852 * [taylor]: Taking taylor expansion of 0 in y 12.864 * [taylor]: Taking taylor expansion of 0 in y 12.870 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 12.870 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in y 12.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in y 12.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in y 12.870 * [taylor]: Taking taylor expansion of 1/3 in y 12.870 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in y 12.870 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 12.870 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.870 * [taylor]: Taking taylor expansion of (* x y) in y 12.870 * [taylor]: Taking taylor expansion of x in y 12.870 * [taylor]: Taking taylor expansion of y in y 12.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.871 * [taylor]: Taking taylor expansion of x in y 12.871 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 12.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 12.871 * [taylor]: Taking taylor expansion of 1/3 in x 12.871 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 12.871 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 12.871 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.871 * [taylor]: Taking taylor expansion of (* x y) in x 12.871 * [taylor]: Taking taylor expansion of x in x 12.871 * [taylor]: Taking taylor expansion of y in x 12.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.872 * [taylor]: Taking taylor expansion of x in x 12.873 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 12.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 12.873 * [taylor]: Taking taylor expansion of 1/3 in x 12.873 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 12.873 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 12.873 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.873 * [taylor]: Taking taylor expansion of (* x y) in x 12.873 * [taylor]: Taking taylor expansion of x in x 12.873 * [taylor]: Taking taylor expansion of y in x 12.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.873 * [taylor]: Taking taylor expansion of x in x 12.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1)) (log x)))) in y 12.874 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1)) (log x))) in y 12.874 * [taylor]: Taking taylor expansion of 1/3 in y 12.875 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1)) (log x)) in y 12.875 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1)) in y 12.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 12.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.875 * [taylor]: Taking taylor expansion of y in y 12.875 * [taylor]: Taking taylor expansion of 1 in y 12.875 * [taylor]: Taking taylor expansion of (log x) in y 12.875 * [taylor]: Taking taylor expansion of x in y 12.879 * [taylor]: Taking taylor expansion of 0 in y 12.888 * [taylor]: Taking taylor expansion of 0 in y 12.894 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1 1) 12.894 * [approximate]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in (x y) around 0 12.894 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in y 12.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in y 12.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in y 12.894 * [taylor]: Taking taylor expansion of 1/3 in y 12.894 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in y 12.894 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 12.894 * [taylor]: Taking taylor expansion of x in y 12.894 * [taylor]: Taking taylor expansion of (* x y) in y 12.894 * [taylor]: Taking taylor expansion of x in y 12.894 * [taylor]: Taking taylor expansion of y in y 12.894 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.894 * [taylor]: Taking taylor expansion of 1/3 in x 12.894 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.894 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.894 * [taylor]: Taking taylor expansion of x in x 12.894 * [taylor]: Taking taylor expansion of (* x y) in x 12.894 * [taylor]: Taking taylor expansion of x in x 12.894 * [taylor]: Taking taylor expansion of y in x 12.895 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.895 * [taylor]: Taking taylor expansion of 1/3 in x 12.895 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.895 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.895 * [taylor]: Taking taylor expansion of x in x 12.895 * [taylor]: Taking taylor expansion of (* x y) in x 12.895 * [taylor]: Taking taylor expansion of x in x 12.895 * [taylor]: Taking taylor expansion of y in x 12.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ y 1)) (log x)))) in y 12.896 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ y 1)) (log x))) in y 12.896 * [taylor]: Taking taylor expansion of 1/3 in y 12.896 * [taylor]: Taking taylor expansion of (+ (log (+ y 1)) (log x)) in y 12.897 * [taylor]: Taking taylor expansion of (log (+ y 1)) in y 12.897 * [taylor]: Taking taylor expansion of (+ y 1) in y 12.897 * [taylor]: Taking taylor expansion of y in y 12.897 * [taylor]: Taking taylor expansion of 1 in y 12.897 * [taylor]: Taking taylor expansion of (log x) in y 12.897 * [taylor]: Taking taylor expansion of x in y 12.900 * [taylor]: Taking taylor expansion of 0 in y 12.906 * [taylor]: Taking taylor expansion of 0 in y 12.911 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 12.911 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in y 12.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in y 12.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in y 12.911 * [taylor]: Taking taylor expansion of 1/3 in y 12.911 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in y 12.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 12.911 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.911 * [taylor]: Taking taylor expansion of (* x y) in y 12.911 * [taylor]: Taking taylor expansion of x in y 12.911 * [taylor]: Taking taylor expansion of y in y 12.911 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.911 * [taylor]: Taking taylor expansion of x in y 12.912 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 12.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.912 * [taylor]: Taking taylor expansion of 1/3 in x 12.912 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 12.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.912 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.912 * [taylor]: Taking taylor expansion of (* x y) in x 12.912 * [taylor]: Taking taylor expansion of x in x 12.912 * [taylor]: Taking taylor expansion of y in x 12.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.912 * [taylor]: Taking taylor expansion of x in x 12.913 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 12.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.913 * [taylor]: Taking taylor expansion of 1/3 in x 12.913 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 12.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.914 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.914 * [taylor]: Taking taylor expansion of (* x y) in x 12.914 * [taylor]: Taking taylor expansion of x in x 12.914 * [taylor]: Taking taylor expansion of y in x 12.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.914 * [taylor]: Taking taylor expansion of x in x 12.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 12.915 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 12.915 * [taylor]: Taking taylor expansion of 1/3 in y 12.915 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 12.915 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 12.915 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 12.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.915 * [taylor]: Taking taylor expansion of y in y 12.915 * [taylor]: Taking taylor expansion of 1 in y 12.916 * [taylor]: Taking taylor expansion of (log x) in y 12.916 * [taylor]: Taking taylor expansion of x in y 12.919 * [taylor]: Taking taylor expansion of 0 in y 12.927 * [taylor]: Taking taylor expansion of 0 in y 12.933 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 12.933 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in y 12.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in y 12.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in y 12.933 * [taylor]: Taking taylor expansion of 1/3 in y 12.933 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in y 12.933 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 12.933 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.933 * [taylor]: Taking taylor expansion of (* x y) in y 12.933 * [taylor]: Taking taylor expansion of x in y 12.933 * [taylor]: Taking taylor expansion of y in y 12.933 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.933 * [taylor]: Taking taylor expansion of x in y 12.934 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 12.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 12.934 * [taylor]: Taking taylor expansion of 1/3 in x 12.934 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 12.934 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 12.934 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.934 * [taylor]: Taking taylor expansion of (* x y) in x 12.934 * [taylor]: Taking taylor expansion of x in x 12.934 * [taylor]: Taking taylor expansion of y in x 12.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.934 * [taylor]: Taking taylor expansion of x in x 12.935 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 12.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 12.936 * [taylor]: Taking taylor expansion of 1/3 in x 12.936 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 12.936 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 12.936 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.936 * [taylor]: Taking taylor expansion of (* x y) in x 12.936 * [taylor]: Taking taylor expansion of x in x 12.936 * [taylor]: Taking taylor expansion of y in x 12.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.936 * [taylor]: Taking taylor expansion of x in x 12.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1)) (log x)))) in y 12.937 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1)) (log x))) in y 12.937 * [taylor]: Taking taylor expansion of 1/3 in y 12.937 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1)) (log x)) in y 12.937 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1)) in y 12.937 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 12.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.937 * [taylor]: Taking taylor expansion of y in y 12.938 * [taylor]: Taking taylor expansion of 1 in y 12.938 * [taylor]: Taking taylor expansion of (log x) in y 12.938 * [taylor]: Taking taylor expansion of x in y 12.942 * [taylor]: Taking taylor expansion of 0 in y 12.955 * [taylor]: Taking taylor expansion of 0 in y 12.961 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1) 12.961 * [approximate]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in (x y) around 0 12.961 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in y 12.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in y 12.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in y 12.961 * [taylor]: Taking taylor expansion of 1/3 in y 12.961 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in y 12.961 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 12.962 * [taylor]: Taking taylor expansion of x in y 12.962 * [taylor]: Taking taylor expansion of (* x y) in y 12.962 * [taylor]: Taking taylor expansion of x in y 12.962 * [taylor]: Taking taylor expansion of y in y 12.962 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.962 * [taylor]: Taking taylor expansion of 1/3 in x 12.962 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.962 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.962 * [taylor]: Taking taylor expansion of x in x 12.962 * [taylor]: Taking taylor expansion of (* x y) in x 12.962 * [taylor]: Taking taylor expansion of x in x 12.962 * [taylor]: Taking taylor expansion of y in x 12.963 * [taylor]: Taking taylor expansion of (pow (+ x (* x y)) 1/3) in x 12.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x (* x y))))) in x 12.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x (* x y)))) in x 12.963 * [taylor]: Taking taylor expansion of 1/3 in x 12.963 * [taylor]: Taking taylor expansion of (log (+ x (* x y))) in x 12.963 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 12.963 * [taylor]: Taking taylor expansion of x in x 12.963 * [taylor]: Taking taylor expansion of (* x y) in x 12.963 * [taylor]: Taking taylor expansion of x in x 12.963 * [taylor]: Taking taylor expansion of y in x 12.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ y 1)) (log x)))) in y 12.964 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ y 1)) (log x))) in y 12.964 * [taylor]: Taking taylor expansion of 1/3 in y 12.964 * [taylor]: Taking taylor expansion of (+ (log (+ y 1)) (log x)) in y 12.964 * [taylor]: Taking taylor expansion of (log (+ y 1)) in y 12.964 * [taylor]: Taking taylor expansion of (+ y 1) in y 12.964 * [taylor]: Taking taylor expansion of y in y 12.964 * [taylor]: Taking taylor expansion of 1 in y 12.965 * [taylor]: Taking taylor expansion of (log x) in y 12.965 * [taylor]: Taking taylor expansion of x in y 12.967 * [taylor]: Taking taylor expansion of 0 in y 12.973 * [taylor]: Taking taylor expansion of 0 in y 12.978 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 12.978 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in y 12.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in y 12.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in y 12.978 * [taylor]: Taking taylor expansion of 1/3 in y 12.978 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in y 12.978 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 12.978 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.978 * [taylor]: Taking taylor expansion of (* x y) in y 12.978 * [taylor]: Taking taylor expansion of x in y 12.978 * [taylor]: Taking taylor expansion of y in y 12.979 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.979 * [taylor]: Taking taylor expansion of x in y 12.979 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 12.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.979 * [taylor]: Taking taylor expansion of 1/3 in x 12.979 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 12.979 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.979 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.979 * [taylor]: Taking taylor expansion of (* x y) in x 12.979 * [taylor]: Taking taylor expansion of x in x 12.979 * [taylor]: Taking taylor expansion of y in x 12.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.980 * [taylor]: Taking taylor expansion of x in x 12.981 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (/ 1 x)) 1/3) in x 12.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x))))) in x 12.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.981 * [taylor]: Taking taylor expansion of 1/3 in x 12.981 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (/ 1 x))) in x 12.981 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.981 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.981 * [taylor]: Taking taylor expansion of (* x y) in x 12.981 * [taylor]: Taking taylor expansion of x in x 12.981 * [taylor]: Taking taylor expansion of y in x 12.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.981 * [taylor]: Taking taylor expansion of x in x 12.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 12.982 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 12.982 * [taylor]: Taking taylor expansion of 1/3 in y 12.982 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 12.982 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 12.982 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 12.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.982 * [taylor]: Taking taylor expansion of y in y 12.982 * [taylor]: Taking taylor expansion of 1 in y 12.983 * [taylor]: Taking taylor expansion of (log x) in y 12.983 * [taylor]: Taking taylor expansion of x in y 12.986 * [taylor]: Taking taylor expansion of 0 in y 12.994 * [taylor]: Taking taylor expansion of 0 in y 12.999 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in (x y) around 0 13.000 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in y 13.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in y 13.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in y 13.000 * [taylor]: Taking taylor expansion of 1/3 in y 13.000 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in y 13.000 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 13.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 13.000 * [taylor]: Taking taylor expansion of (* x y) in y 13.000 * [taylor]: Taking taylor expansion of x in y 13.000 * [taylor]: Taking taylor expansion of y in y 13.000 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.000 * [taylor]: Taking taylor expansion of x in y 13.001 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 13.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 13.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 13.001 * [taylor]: Taking taylor expansion of 1/3 in x 13.001 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 13.001 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 13.001 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 13.001 * [taylor]: Taking taylor expansion of (* x y) in x 13.001 * [taylor]: Taking taylor expansion of x in x 13.001 * [taylor]: Taking taylor expansion of y in x 13.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.001 * [taylor]: Taking taylor expansion of x in x 13.002 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (/ 1 x)) 1/3) in x 13.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x))))) in x 13.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (* x y)) (/ 1 x)))) in x 13.002 * [taylor]: Taking taylor expansion of 1/3 in x 13.002 * [taylor]: Taking taylor expansion of (log (- (/ 1 (* x y)) (/ 1 x))) in x 13.002 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 13.002 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 13.002 * [taylor]: Taking taylor expansion of (* x y) in x 13.002 * [taylor]: Taking taylor expansion of x in x 13.002 * [taylor]: Taking taylor expansion of y in x 13.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.003 * [taylor]: Taking taylor expansion of x in x 13.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1)) (log x)))) in y 13.004 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1)) (log x))) in y 13.004 * [taylor]: Taking taylor expansion of 1/3 in y 13.004 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1)) (log x)) in y 13.004 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1)) in y 13.004 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 13.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.004 * [taylor]: Taking taylor expansion of y in y 13.004 * [taylor]: Taking taylor expansion of 1 in y 13.005 * [taylor]: Taking taylor expansion of (log x) in y 13.005 * [taylor]: Taking taylor expansion of x in y 13.008 * [taylor]: Taking taylor expansion of 0 in y 13.017 * [taylor]: Taking taylor expansion of 0 in y 13.024 * * * [progress]: simplifying candidates 13.025 * [simplify]: Simplifying using # : (log (cbrt (+ (* x y) x))) (exp (cbrt (+ (* x y) x))) (cbrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt 1) (cbrt (+ (* x y) x)) (cbrt (+ (pow (* x y) 3) (pow x 3))) (cbrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))) (cbrt (- (* (* x y) (* x y)) (* x x))) (cbrt (- (* x y) x)) (* (cbrt (cbrt (+ (* x y) x))) (cbrt (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (* (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (* x y) x))) (sqrt (cbrt (+ (* x y) x))) (log (cbrt (+ x (* x y)))) (exp (cbrt (+ x (* x y)))) (cbrt (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt 1) (cbrt (+ x (* x y))) (cbrt (+ (pow x 3) (pow (* x y) 3))) (cbrt (+ (* x x) (- (* (* x y) (* x y)) (* x (* x y))))) (cbrt (- (* x x) (* (* x y) (* x y)))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (* (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y)))) (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (log (cbrt (+ x (* x y)))) (exp (cbrt (+ x (* x y)))) (cbrt (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt 1) (cbrt (+ x (* x y))) (cbrt (+ (pow x 3) (pow (* x y) 3))) (cbrt (+ (* x x) (- (* (* x y) (* x y)) (* x (* x y))))) (cbrt (- (* x x) (* (* x y) (* x y)))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (* (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y)))) (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (log (cbrt (+ x (* x y)))) (exp (cbrt (+ x (* x y)))) (cbrt (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt (sqrt (+ x (* x y)))) (cbrt 1) (cbrt (+ x (* x y))) (cbrt (+ (pow x 3) (pow (* x y) 3))) (cbrt (+ (* x x) (- (* (* x y) (* x y)) (* x (* x y))))) (cbrt (- (* x x) (* (* x y) (* x y)))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ x (* x y)))) (* (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y)))) (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (- (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) y))) (* 1/9 (* (pow x 1/3) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) y)) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) (- (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) y))) (* 1/9 (* (pow x 1/3) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) y)) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) (- (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) y))) (* 1/9 (* (pow x 1/3) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) y)) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) (- (+ (pow x 1/3) (* 1/3 (* (pow x 1/3) y))) (* 1/9 (* (pow x 1/3) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) y)) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (pow y 2)))) (- (+ (* 1/3 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* 1/9 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (pow y 2)))) 13.032 * * [simplify]: iteration 0 : 93 enodes (cost 1104 ) 13.069 * * [simplify]: iteration 1 : 209 enodes (cost 1050 ) 13.106 * * [simplify]: iteration 2 : 529 enodes (cost 980 ) 13.232 * * [simplify]: iteration 3 : 1710 enodes (cost 832 ) 13.668 * * [simplify]: iteration done : 5001 enodes (cost 832 ) 13.669 * [simplify]: Simplified to: (log (cbrt (+ (* x y) x))) (exp (cbrt (+ (* x y) x))) (cbrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) 1 (cbrt (+ (* x y) x)) (cbrt (+ (pow (* x y) 3) (pow x 3))) (cbrt (* (+ x (* y (- (* x y) x))) x)) (cbrt (* x (- (* y (* x y)) x))) (cbrt (- (* x y) x)) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ (* x y) x))) (+ x (* x y)) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (log (cbrt (+ (* x y) x))) (exp (cbrt (+ (* x y) x))) (cbrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) 1 (cbrt (+ (* x y) x)) (cbrt (+ (pow (* x y) 3) (pow x 3))) (cbrt (* (+ x (* y (- (* x y) x))) x)) (cbrt (* x (- x (* y (* x y))))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ (* x y) x))) (+ x (* x y)) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (log (cbrt (+ (* x y) x))) (exp (cbrt (+ (* x y) x))) (cbrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) 1 (cbrt (+ (* x y) x)) (cbrt (+ (pow (* x y) 3) (pow x 3))) (cbrt (* (+ x (* y (- (* x y) x))) x)) (cbrt (* x (- x (* y (* x y))))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ (* x y) x))) (+ x (* x y)) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (log (cbrt (+ (* x y) x))) (exp (cbrt (+ (* x y) x))) (cbrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))) (cbrt (cbrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))) 1 (cbrt (+ (* x y) x)) (cbrt (+ (pow (* x y) 3) (pow x 3))) (cbrt (* (+ x (* y (- (* x y) x))) x)) (cbrt (* x (- x (* y (* x y))))) (cbrt (- x (* x y))) (* (cbrt (cbrt (+ x (* x y)))) (cbrt (cbrt (+ x (* x y))))) (cbrt (cbrt (+ (* x y) x))) (+ x (* x y)) (sqrt (cbrt (+ x (* x y)))) (sqrt (cbrt (+ x (* x y)))) (+ (* (cbrt x) (- (* y 1/3) (* (pow y 2) 1/9))) (cbrt x)) (+ (* (/ (pow (exp -1/3) (- (- (log x)) (log y))) y) (- 1/3 (/ 1/9 y))) (pow (exp -1/3) (- (- (log x)) (log y)))) (+ (* (/ (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3)) y) (- 1/3 (/ 1/9 y))) (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3))) (+ (* (cbrt x) (- (* y 1/3) (* (pow y 2) 1/9))) (cbrt x)) (+ (* (/ (pow (exp -1/3) (- (- (log x)) (log y))) y) (- 1/3 (/ 1/9 y))) (pow (exp -1/3) (- (- (log x)) (log y)))) (+ (* (/ (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3)) y) (- 1/3 (/ 1/9 y))) (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3))) (+ (* (cbrt x) (- (* y 1/3) (* (pow y 2) 1/9))) (cbrt x)) (+ (* (/ (pow (exp -1/3) (- (- (log x)) (log y))) y) (- 1/3 (/ 1/9 y))) (pow (exp -1/3) (- (- (log x)) (log y)))) (+ (* (/ (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3)) y) (- 1/3 (/ 1/9 y))) (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3))) (+ (* (cbrt x) (- (* y 1/3) (* (pow y 2) 1/9))) (cbrt x)) (+ (* (/ (pow (exp -1/3) (- (- (log x)) (log y))) y) (- 1/3 (/ 1/9 y))) (pow (exp -1/3) (- (- (log x)) (log y)))) (+ (* (/ (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3)) y) (- 1/3 (/ 1/9 y))) (* (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3))) 13.669 * * * [progress]: adding candidates to table 14.013 * [progress]: [Phase 3 of 3] Extracting. 14.013 * * [regime]: Finding splitpoints for: (# # # #) 14.015 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (* x y) x) y) y x) 14.015 * * * * [regimes]: Trying to branch on (+ (+ (* x y) x) y) from (# # # #) 14.033 * * * * [regimes]: Trying to branch on y from (# # # #) 14.053 * * * * [regimes]: Trying to branch on x from (# # # #) 14.070 * * * [regime]: Found split indices: #