13.154 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (- (+ x y) (* x y)) 0.020 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.020 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.022 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.025 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 0.029 * * [simplify]: iteration 4 : 46 enodes (cost 7 ) 0.035 * * [simplify]: iteration 5 : 68 enodes (cost 7 ) 0.049 * * [simplify]: iteration 6 : 98 enodes (cost 7 ) 0.059 * * [simplify]: iteration 7 : 166 enodes (cost 7 ) 0.070 * * [simplify]: iteration 8 : 225 enodes (cost 7 ) 0.082 * * [simplify]: iteration 9 : 285 enodes (cost 7 ) 0.095 * * [simplify]: iteration 10 : 362 enodes (cost 7 ) 0.114 * * [simplify]: iteration 11 : 442 enodes (cost 7 ) 0.134 * * [simplify]: iteration 12 : 544 enodes (cost 7 ) 0.163 * * [simplify]: iteration 13 : 699 enodes (cost 7 ) 0.189 * * [simplify]: iteration 14 : 908 enodes (cost 7 ) 0.228 * * [simplify]: iteration 15 : 1086 enodes (cost 7 ) 0.277 * * [simplify]: iteration 16 : 1315 enodes (cost 7 ) 0.364 * * [simplify]: iteration 17 : 1444 enodes (cost 7 ) 0.415 * * [simplify]: iteration 18 : 1604 enodes (cost 7 ) 0.504 * * [simplify]: iteration 19 : 1727 enodes (cost 7 ) 0.555 * * [simplify]: iteration 20 : 1887 enodes (cost 7 ) 0.641 * * [simplify]: iteration 21 : 2010 enodes (cost 7 ) 0.693 * * [simplify]: iteration 22 : 2170 enodes (cost 7 ) 0.779 * * [simplify]: iteration 23 : 2294 enodes (cost 7 ) 0.830 * * [simplify]: iteration 24 : 2454 enodes (cost 7 ) 0.918 * * [simplify]: iteration 25 : 2578 enodes (cost 7 ) 0.970 * * [simplify]: iteration 26 : 2738 enodes (cost 7 ) 1.053 * * [simplify]: iteration 27 : 2861 enodes (cost 7 ) 1.104 * * [simplify]: iteration 28 : 3021 enodes (cost 7 ) 1.193 * * [simplify]: iteration 29 : 3146 enodes (cost 7 ) 1.249 * * [simplify]: iteration 30 : 3306 enodes (cost 7 ) 1.334 * * [simplify]: iteration 31 : 3429 enodes (cost 7 ) 1.385 * * [simplify]: iteration 32 : 3589 enodes (cost 7 ) 1.471 * * [simplify]: iteration 33 : 3710 enodes (cost 7 ) 1.522 * * [simplify]: iteration 34 : 3870 enodes (cost 7 ) 1.607 * * [simplify]: iteration 35 : 3993 enodes (cost 7 ) 1.659 * * [simplify]: iteration 36 : 4153 enodes (cost 7 ) 1.744 * * [simplify]: iteration 37 : 4275 enodes (cost 7 ) 1.795 * * [simplify]: iteration 38 : 4435 enodes (cost 7 ) 1.882 * * [simplify]: iteration 39 : 4557 enodes (cost 7 ) 1.933 * * [simplify]: iteration 40 : 4717 enodes (cost 7 ) 2.245 * * [simplify]: iteration 41 : 4838 enodes (cost 7 ) 2.296 * * [simplify]: iteration 42 : 4998 enodes (cost 7 ) 2.356 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 2.356 * [simplify]: Simplified to: (- (+ x y) (* x y)) 2.357 * * [progress]: iteration 1 / 4 2.357 * * * [progress]: picking best candidate 2.359 * * * * [pick]: Picked # 2.359 * * * [progress]: localizing error 2.367 * * * [progress]: generating rewritten candidates 2.368 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.375 * * * [progress]: generating series expansions 2.375 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.375 * [approximate]: Taking taylor expansion of (- (+ x y) (* x y)) in (x y) around 0 2.375 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 2.375 * [taylor]: Taking taylor expansion of (+ x y) in y 2.375 * [taylor]: Taking taylor expansion of x in y 2.375 * [taylor]: Taking taylor expansion of y in y 2.375 * [taylor]: Taking taylor expansion of (* x y) in y 2.375 * [taylor]: Taking taylor expansion of x in y 2.375 * [taylor]: Taking taylor expansion of y in y 2.375 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 2.375 * [taylor]: Taking taylor expansion of (+ x y) in x 2.375 * [taylor]: Taking taylor expansion of x in x 2.375 * [taylor]: Taking taylor expansion of y in x 2.375 * [taylor]: Taking taylor expansion of (* x y) in x 2.375 * [taylor]: Taking taylor expansion of x in x 2.375 * [taylor]: Taking taylor expansion of y in x 2.375 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 2.375 * [taylor]: Taking taylor expansion of (+ x y) in x 2.375 * [taylor]: Taking taylor expansion of x in x 2.375 * [taylor]: Taking taylor expansion of y in x 2.375 * [taylor]: Taking taylor expansion of (* x y) in x 2.375 * [taylor]: Taking taylor expansion of x in x 2.375 * [taylor]: Taking taylor expansion of y in x 2.375 * [taylor]: Taking taylor expansion of y in y 2.375 * [taylor]: Taking taylor expansion of (- 1 y) in y 2.375 * [taylor]: Taking taylor expansion of 1 in y 2.376 * [taylor]: Taking taylor expansion of y in y 2.376 * [taylor]: Taking taylor expansion of 0 in y 2.376 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in (x y) around 0 2.376 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 2.376 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 2.376 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.376 * [taylor]: Taking taylor expansion of x in y 2.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.376 * [taylor]: Taking taylor expansion of y in y 2.376 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.376 * [taylor]: Taking taylor expansion of (* x y) in y 2.376 * [taylor]: Taking taylor expansion of x in y 2.376 * [taylor]: Taking taylor expansion of y in y 2.376 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 2.376 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 2.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.376 * [taylor]: Taking taylor expansion of x in x 2.376 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.376 * [taylor]: Taking taylor expansion of y in x 2.376 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.376 * [taylor]: Taking taylor expansion of (* x y) in x 2.376 * [taylor]: Taking taylor expansion of x in x 2.376 * [taylor]: Taking taylor expansion of y in x 2.376 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 2.376 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 2.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.377 * [taylor]: Taking taylor expansion of x in x 2.377 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.377 * [taylor]: Taking taylor expansion of y in x 2.377 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.377 * [taylor]: Taking taylor expansion of (* x y) in x 2.377 * [taylor]: Taking taylor expansion of x in x 2.377 * [taylor]: Taking taylor expansion of y in x 2.377 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 2.377 * [taylor]: Taking taylor expansion of 1 in y 2.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.377 * [taylor]: Taking taylor expansion of y in y 2.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.377 * [taylor]: Taking taylor expansion of y in y 2.378 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 2.378 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 2.378 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.378 * [taylor]: Taking taylor expansion of (* x y) in y 2.378 * [taylor]: Taking taylor expansion of x in y 2.378 * [taylor]: Taking taylor expansion of y in y 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 2.378 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.378 * [taylor]: Taking taylor expansion of x in y 2.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.378 * [taylor]: Taking taylor expansion of y in y 2.378 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.378 * [taylor]: Taking taylor expansion of (* x y) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [taylor]: Taking taylor expansion of y in x 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.378 * [taylor]: Taking taylor expansion of y in x 2.378 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.378 * [taylor]: Taking taylor expansion of (* x y) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [taylor]: Taking taylor expansion of y in x 2.378 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.378 * [taylor]: Taking taylor expansion of y in x 2.379 * [taylor]: Taking taylor expansion of (neg (+ 1 (/ 1 y))) in y 2.379 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 2.379 * [taylor]: Taking taylor expansion of 1 in y 2.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.379 * [taylor]: Taking taylor expansion of y in y 2.379 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.379 * [taylor]: Taking taylor expansion of y in y 2.379 * * * [progress]: simplifying candidates 2.380 * [simplify]: Simplifying using # : (/ (* (exp x) (exp y)) (exp (* x y))) (/ (exp (+ x y)) (exp (* 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))) (* (* (- (+ 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) 3) (pow (* x y) 3)) (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))) (neg (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (* x y))) (+ (+ x y) (* x y)) (- y (* x y)) (neg (* x y)) (- (+ y x) (* x y)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) 2.381 * * [simplify]: iteration 0 : 34 enodes (cost 189 ) 2.386 * * [simplify]: iteration 1 : 95 enodes (cost 182 ) 2.402 * * [simplify]: iteration 2 : 314 enodes (cost 168 ) 2.481 * * [simplify]: iteration 3 : 1192 enodes (cost 168 ) 2.918 * * [simplify]: iteration 4 : 4852 enodes (cost 168 ) 4.004 * * [simplify]: iteration done : 5000 enodes (cost 168 ) 4.004 * [simplify]: Simplified to: (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 (- (+ y x) (* x y)) 3) (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))) (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (+ x y) (+ x y)) (* (* x y) (+ (+ x y) (* x y)))) (neg (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (* x y))) (+ (+ x y) (* x y)) (- y (* x y)) (neg (* x y)) (- (+ y x) (* x y)) (- (+ y x) (* x y)) (- (+ y x) (* x y)) 4.004 * * * [progress]: adding candidates to table 4.020 * * [progress]: iteration 2 / 4 4.020 * * * [progress]: picking best candidate 4.033 * * * * [pick]: Picked # 4.033 * * * [progress]: localizing error 4.041 * * * [progress]: generating rewritten candidates 4.041 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.056 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.062 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 4.068 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 4.076 * * * [progress]: generating series expansions 4.076 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.076 * [approximate]: Taking taylor expansion of (pow (pow (- (+ x y) (* x y)) 2) 1/3) in (x y) around 0 4.076 * [taylor]: Taking taylor expansion of (pow (pow (- (+ x y) (* x y)) 2) 1/3) in y 4.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ x y) (* x y)) 2)))) in y 4.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ x y) (* x y)) 2))) in y 4.076 * [taylor]: Taking taylor expansion of 1/3 in y 4.076 * [taylor]: Taking taylor expansion of (log (pow (- (+ x y) (* x y)) 2)) in y 4.076 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 2) in y 4.076 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 4.076 * [taylor]: Taking taylor expansion of (+ x y) in y 4.076 * [taylor]: Taking taylor expansion of x in y 4.076 * [taylor]: Taking taylor expansion of y in y 4.076 * [taylor]: Taking taylor expansion of (* x y) in y 4.076 * [taylor]: Taking taylor expansion of x in y 4.076 * [taylor]: Taking taylor expansion of y in y 4.077 * [taylor]: Taking taylor expansion of (pow (pow (- (+ x y) (* x y)) 2) 1/3) in x 4.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ x y) (* x y)) 2)))) in x 4.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ x y) (* x y)) 2))) in x 4.077 * [taylor]: Taking taylor expansion of 1/3 in x 4.077 * [taylor]: Taking taylor expansion of (log (pow (- (+ x y) (* x y)) 2)) in x 4.077 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 2) in x 4.077 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.077 * [taylor]: Taking taylor expansion of (+ x y) in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of y in x 4.077 * [taylor]: Taking taylor expansion of (* x y) in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of y in x 4.077 * [taylor]: Taking taylor expansion of (pow (pow (- (+ x y) (* x y)) 2) 1/3) in x 4.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ x y) (* x y)) 2)))) in x 4.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ x y) (* x y)) 2))) in x 4.077 * [taylor]: Taking taylor expansion of 1/3 in x 4.077 * [taylor]: Taking taylor expansion of (log (pow (- (+ x y) (* x y)) 2)) in x 4.077 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 2) in x 4.077 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.077 * [taylor]: Taking taylor expansion of (+ x y) in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of y in x 4.077 * [taylor]: Taking taylor expansion of (* x y) in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of y in x 4.077 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 4.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 4.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 4.078 * [taylor]: Taking taylor expansion of 1/3 in y 4.078 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 4.078 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.078 * [taylor]: Taking taylor expansion of y in y 4.079 * [taylor]: Taking taylor expansion of (* (pow (pow y 2) 1/3) (- (* 2/3 (/ 1 y)) 2/3)) in y 4.079 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 4.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 4.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 4.079 * [taylor]: Taking taylor expansion of 1/3 in y 4.079 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 4.079 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.079 * [taylor]: Taking taylor expansion of y in y 4.079 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y)) 2/3) in y 4.079 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 4.079 * [taylor]: Taking taylor expansion of 2/3 in y 4.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.079 * [taylor]: Taking taylor expansion of y in y 4.079 * [taylor]: Taking taylor expansion of 2/3 in y 4.082 * [taylor]: Taking taylor expansion of (* (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) (pow (pow y 2) 1/3)) in y 4.082 * [taylor]: Taking taylor expansion of (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) in y 4.082 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 y)) in y 4.082 * [taylor]: Taking taylor expansion of 2/9 in y 4.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.082 * [taylor]: Taking taylor expansion of y in y 4.082 * [taylor]: Taking taylor expansion of (+ 1/9 (* 1/9 (/ 1 (pow y 2)))) in y 4.082 * [taylor]: Taking taylor expansion of 1/9 in y 4.082 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow y 2))) in y 4.082 * [taylor]: Taking taylor expansion of 1/9 in y 4.082 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.082 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.082 * [taylor]: Taking taylor expansion of y in y 4.082 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 4.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 4.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 4.082 * [taylor]: Taking taylor expansion of 1/3 in y 4.082 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 4.082 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.082 * [taylor]: Taking taylor expansion of y in y 4.084 * [approximate]: Taking taylor expansion of (pow (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2) 1/3) in (x y) around 0 4.084 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2) 1/3) in y 4.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2)))) in y 4.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2))) in y 4.084 * [taylor]: Taking taylor expansion of 1/3 in y 4.085 * [taylor]: Taking taylor expansion of (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2)) in y 4.085 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2) in y 4.085 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 4.085 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.085 * [taylor]: Taking taylor expansion of x in y 4.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.085 * [taylor]: Taking taylor expansion of y in y 4.085 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.085 * [taylor]: Taking taylor expansion of (* x y) in y 4.085 * [taylor]: Taking taylor expansion of x in y 4.085 * [taylor]: Taking taylor expansion of y in y 4.085 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2) 1/3) in x 4.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2)))) in x 4.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2))) in x 4.085 * [taylor]: Taking taylor expansion of 1/3 in x 4.085 * [taylor]: Taking taylor expansion of (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2)) in x 4.085 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2) in x 4.085 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.085 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.086 * [taylor]: Taking taylor expansion of x in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.086 * [taylor]: Taking taylor expansion of y in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.086 * [taylor]: Taking taylor expansion of (* x y) in x 4.086 * [taylor]: Taking taylor expansion of x in x 4.086 * [taylor]: Taking taylor expansion of y in x 4.086 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2) 1/3) in x 4.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2)))) in x 4.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2))) in x 4.086 * [taylor]: Taking taylor expansion of 1/3 in x 4.086 * [taylor]: Taking taylor expansion of (log (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2)) in x 4.086 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 2) in x 4.086 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.086 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.086 * [taylor]: Taking taylor expansion of x in x 4.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.087 * [taylor]: Taking taylor expansion of y in x 4.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.087 * [taylor]: Taking taylor expansion of (* x y) in x 4.087 * [taylor]: Taking taylor expansion of x in x 4.087 * [taylor]: Taking taylor expansion of y in x 4.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (- 1 (/ 1 y)) 2)) (* 2 (log x))))) in y 4.087 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (- 1 (/ 1 y)) 2)) (* 2 (log x)))) in y 4.087 * [taylor]: Taking taylor expansion of 1/3 in y 4.087 * [taylor]: Taking taylor expansion of (- (log (pow (- 1 (/ 1 y)) 2)) (* 2 (log x))) in y 4.087 * [taylor]: Taking taylor expansion of (log (pow (- 1 (/ 1 y)) 2)) in y 4.087 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 y)) 2) in y 4.087 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.087 * [taylor]: Taking taylor expansion of 1 in y 4.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.087 * [taylor]: Taking taylor expansion of y in y 4.088 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 4.088 * [taylor]: Taking taylor expansion of 2 in y 4.088 * [taylor]: Taking taylor expansion of (log x) in y 4.088 * [taylor]: Taking taylor expansion of x in y 4.090 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow (- 1 (/ 1 y)) 2)) (* 2 (log x))))) (- (* 2/3 (/ 1 (* (pow (- 1 (/ 1 y)) 2) y))) (* 2/3 (/ 1 (* (pow (- 1 (/ 1 y)) 2) (pow y 2)))))) in y 4.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (- 1 (/ 1 y)) 2)) (* 2 (log x))))) in y 4.090 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (- 1 (/ 1 y)) 2)) (* 2 (log x)))) in y 4.090 * [taylor]: Taking taylor expansion of 1/3 in y 4.090 * [taylor]: Taking taylor expansion of (- (log (pow (- 1 (/ 1 y)) 2)) (* 2 (log x))) in y 4.090 * [taylor]: Taking taylor expansion of (log (pow (- 1 (/ 1 y)) 2)) in y 4.090 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 y)) 2) in y 4.090 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.090 * [taylor]: Taking taylor expansion of 1 in y 4.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.090 * [taylor]: Taking taylor expansion of y in y 4.090 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 4.090 * [taylor]: Taking taylor expansion of 2 in y 4.090 * [taylor]: Taking taylor expansion of (log x) in y 4.090 * [taylor]: Taking taylor expansion of x in y 4.090 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 (* (pow (- 1 (/ 1 y)) 2) y))) (* 2/3 (/ 1 (* (pow (- 1 (/ 1 y)) 2) (pow y 2))))) in y 4.090 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 (* (pow (- 1 (/ 1 y)) 2) y))) in y 4.091 * [taylor]: Taking taylor expansion of 2/3 in y 4.091 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- 1 (/ 1 y)) 2) y)) in y 4.091 * [taylor]: Taking taylor expansion of (* (pow (- 1 (/ 1 y)) 2) y) in y 4.091 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 y)) 2) in y 4.091 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.091 * [taylor]: Taking taylor expansion of 1 in y 4.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.091 * [taylor]: Taking taylor expansion of y in y 4.091 * [taylor]: Taking taylor expansion of y in y 4.091 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 (* (pow (- 1 (/ 1 y)) 2) (pow y 2)))) in y 4.091 * [taylor]: Taking taylor expansion of 2/3 in y 4.091 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (- 1 (/ 1 y)) 2) (pow y 2))) in y 4.091 * [taylor]: Taking taylor expansion of (* (pow (- 1 (/ 1 y)) 2) (pow y 2)) in y 4.091 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 y)) 2) in y 4.091 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.091 * [taylor]: Taking taylor expansion of 1 in y 4.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.091 * [taylor]: Taking taylor expansion of y in y 4.091 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.091 * [taylor]: Taking taylor expansion of y in y 4.093 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) 1/3)) in (x y) around 0 4.093 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) 1/3)) in y 4.093 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 4.093 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.093 * [taylor]: Taking taylor expansion of -1 in y 4.093 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) 1/3) in y 4.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2)))) in y 4.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2))) in y 4.093 * [taylor]: Taking taylor expansion of 1/3 in y 4.093 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2)) in y 4.093 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) in y 4.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 4.093 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.093 * [taylor]: Taking taylor expansion of (* x y) in y 4.093 * [taylor]: Taking taylor expansion of x in y 4.093 * [taylor]: Taking taylor expansion of y in y 4.093 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.093 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.093 * [taylor]: Taking taylor expansion of x in y 4.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.094 * [taylor]: Taking taylor expansion of y in y 4.094 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) 1/3)) in x 4.094 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 4.094 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.094 * [taylor]: Taking taylor expansion of -1 in x 4.094 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) 1/3) in x 4.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2)))) in x 4.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2))) in x 4.094 * [taylor]: Taking taylor expansion of 1/3 in x 4.094 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2)) in x 4.094 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) in x 4.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.094 * [taylor]: Taking taylor expansion of (* x y) in x 4.094 * [taylor]: Taking taylor expansion of x in x 4.094 * [taylor]: Taking taylor expansion of y in x 4.095 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.095 * [taylor]: Taking taylor expansion of x in x 4.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.095 * [taylor]: Taking taylor expansion of y in x 4.095 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) 1/3)) in x 4.095 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 4.095 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.095 * [taylor]: Taking taylor expansion of -1 in x 4.095 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) 1/3) in x 4.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2)))) in x 4.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2))) in x 4.095 * [taylor]: Taking taylor expansion of 1/3 in x 4.095 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2)) in x 4.095 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 2) in x 4.095 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.096 * [taylor]: Taking taylor expansion of (* x y) in x 4.096 * [taylor]: Taking taylor expansion of x in x 4.096 * [taylor]: Taking taylor expansion of y in x 4.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.096 * [taylor]: Taking taylor expansion of x in x 4.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.096 * [taylor]: Taking taylor expansion of y in x 4.097 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) in y 4.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) in y 4.097 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x)))) in y 4.097 * [taylor]: Taking taylor expansion of 1/3 in y 4.097 * [taylor]: Taking taylor expansion of (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))) in y 4.097 * [taylor]: Taking taylor expansion of (log (pow (+ 1 (/ 1 y)) 2)) in y 4.097 * [taylor]: Taking taylor expansion of (pow (+ 1 (/ 1 y)) 2) in y 4.097 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 4.097 * [taylor]: Taking taylor expansion of 1 in y 4.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.097 * [taylor]: Taking taylor expansion of y in y 4.097 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 4.097 * [taylor]: Taking taylor expansion of 2 in y 4.097 * [taylor]: Taking taylor expansion of (log x) in y 4.097 * [taylor]: Taking taylor expansion of x in y 4.097 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 4.097 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.097 * [taylor]: Taking taylor expansion of -1 in y 4.101 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) (* (pow (+ (/ 1 y) 1) 2) y))) (* 2/3 (/ (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) (* (pow (+ (/ 1 y) 1) 2) (pow y 2))))) in y 4.101 * [taylor]: Taking taylor expansion of (* 2/3 (/ (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) (* (pow (+ (/ 1 y) 1) 2) y))) in y 4.101 * [taylor]: Taking taylor expansion of 2/3 in y 4.101 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) (* (pow (+ (/ 1 y) 1) 2) y)) in y 4.101 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) in y 4.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) in y 4.101 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x)))) in y 4.101 * [taylor]: Taking taylor expansion of 1/3 in y 4.101 * [taylor]: Taking taylor expansion of (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))) in y 4.101 * [taylor]: Taking taylor expansion of (log (pow (+ 1 (/ 1 y)) 2)) in y 4.101 * [taylor]: Taking taylor expansion of (pow (+ 1 (/ 1 y)) 2) in y 4.101 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 4.101 * [taylor]: Taking taylor expansion of 1 in y 4.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.101 * [taylor]: Taking taylor expansion of y in y 4.101 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 4.101 * [taylor]: Taking taylor expansion of 2 in y 4.101 * [taylor]: Taking taylor expansion of (log x) in y 4.101 * [taylor]: Taking taylor expansion of x in y 4.101 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 4.101 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.102 * [taylor]: Taking taylor expansion of -1 in y 4.102 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 y) 1) 2) y) in y 4.102 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1) 2) in y 4.102 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.102 * [taylor]: Taking taylor expansion of y in y 4.102 * [taylor]: Taking taylor expansion of 1 in y 4.102 * [taylor]: Taking taylor expansion of y in y 4.102 * [taylor]: Taking taylor expansion of (* 2/3 (/ (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) (* (pow (+ (/ 1 y) 1) 2) (pow y 2)))) in y 4.102 * [taylor]: Taking taylor expansion of 2/3 in y 4.102 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) (* (pow (+ (/ 1 y) 1) 2) (pow y 2))) in y 4.102 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) (pow (cbrt -1) 2)) in y 4.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))))) in y 4.103 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x)))) in y 4.103 * [taylor]: Taking taylor expansion of 1/3 in y 4.103 * [taylor]: Taking taylor expansion of (- (log (pow (+ 1 (/ 1 y)) 2)) (* 2 (log x))) in y 4.103 * [taylor]: Taking taylor expansion of (log (pow (+ 1 (/ 1 y)) 2)) in y 4.103 * [taylor]: Taking taylor expansion of (pow (+ 1 (/ 1 y)) 2) in y 4.103 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 4.103 * [taylor]: Taking taylor expansion of 1 in y 4.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.103 * [taylor]: Taking taylor expansion of y in y 4.103 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 4.103 * [taylor]: Taking taylor expansion of 2 in y 4.103 * [taylor]: Taking taylor expansion of (log x) in y 4.103 * [taylor]: Taking taylor expansion of x in y 4.103 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 4.103 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.103 * [taylor]: Taking taylor expansion of -1 in y 4.103 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 y) 1) 2) (pow y 2)) in y 4.103 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1) 2) in y 4.103 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.103 * [taylor]: Taking taylor expansion of y in y 4.103 * [taylor]: Taking taylor expansion of 1 in y 4.104 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.104 * [taylor]: Taking taylor expansion of y in y 4.108 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 4.108 * [approximate]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in (x y) around 0 4.108 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y 4.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in y 4.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in y 4.108 * [taylor]: Taking taylor expansion of 1/3 in y 4.108 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in y 4.108 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 4.108 * [taylor]: Taking taylor expansion of (+ x y) in y 4.108 * [taylor]: Taking taylor expansion of x in y 4.108 * [taylor]: Taking taylor expansion of y in y 4.108 * [taylor]: Taking taylor expansion of (* x y) in y 4.108 * [taylor]: Taking taylor expansion of x in y 4.108 * [taylor]: Taking taylor expansion of y in y 4.108 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in x 4.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in x 4.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in x 4.108 * [taylor]: Taking taylor expansion of 1/3 in x 4.108 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in x 4.108 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.108 * [taylor]: Taking taylor expansion of (+ x y) in x 4.108 * [taylor]: Taking taylor expansion of x in x 4.108 * [taylor]: Taking taylor expansion of y in x 4.108 * [taylor]: Taking taylor expansion of (* x y) in x 4.108 * [taylor]: Taking taylor expansion of x in x 4.108 * [taylor]: Taking taylor expansion of y in x 4.108 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in x 4.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in x 4.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in x 4.109 * [taylor]: Taking taylor expansion of 1/3 in x 4.109 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in x 4.109 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.109 * [taylor]: Taking taylor expansion of (+ x y) in x 4.109 * [taylor]: Taking taylor expansion of x in x 4.109 * [taylor]: Taking taylor expansion of y in x 4.109 * [taylor]: Taking taylor expansion of (* x y) in x 4.109 * [taylor]: Taking taylor expansion of x in x 4.109 * [taylor]: Taking taylor expansion of y in x 4.109 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.109 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.109 * [taylor]: Taking taylor expansion of 1/3 in y 4.109 * [taylor]: Taking taylor expansion of (log y) in y 4.109 * [taylor]: Taking taylor expansion of y in y 4.110 * [taylor]: Taking taylor expansion of (* (pow y 1/3) (- (* 1/3 (/ 1 y)) 1/3)) in y 4.110 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.110 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.110 * [taylor]: Taking taylor expansion of 1/3 in y 4.110 * [taylor]: Taking taylor expansion of (log y) in y 4.110 * [taylor]: Taking taylor expansion of y in y 4.110 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 y)) 1/3) in y 4.110 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 4.110 * [taylor]: Taking taylor expansion of 1/3 in y 4.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.110 * [taylor]: Taking taylor expansion of y in y 4.110 * [taylor]: Taking taylor expansion of 1/3 in y 4.112 * [taylor]: Taking taylor expansion of (* (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) (pow y 1/3)) in y 4.112 * [taylor]: Taking taylor expansion of (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) in y 4.112 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 y)) in y 4.112 * [taylor]: Taking taylor expansion of 2/9 in y 4.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.112 * [taylor]: Taking taylor expansion of y in y 4.112 * [taylor]: Taking taylor expansion of (+ 1/9 (* 1/9 (/ 1 (pow y 2)))) in y 4.112 * [taylor]: Taking taylor expansion of 1/9 in y 4.112 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow y 2))) in y 4.112 * [taylor]: Taking taylor expansion of 1/9 in y 4.112 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.112 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.112 * [taylor]: Taking taylor expansion of y in y 4.112 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.112 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.112 * [taylor]: Taking taylor expansion of 1/3 in y 4.112 * [taylor]: Taking taylor expansion of (log y) in y 4.112 * [taylor]: Taking taylor expansion of y in y 4.114 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in (x y) around 0 4.114 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in y 4.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in y 4.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in y 4.114 * [taylor]: Taking taylor expansion of 1/3 in y 4.114 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in y 4.114 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 4.114 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.114 * [taylor]: Taking taylor expansion of x in y 4.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.114 * [taylor]: Taking taylor expansion of y in y 4.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.114 * [taylor]: Taking taylor expansion of (* x y) in y 4.114 * [taylor]: Taking taylor expansion of x in y 4.114 * [taylor]: Taking taylor expansion of y in y 4.115 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in x 4.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in x 4.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in x 4.115 * [taylor]: Taking taylor expansion of 1/3 in x 4.115 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 4.115 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.115 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.115 * [taylor]: Taking taylor expansion of x in x 4.115 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.115 * [taylor]: Taking taylor expansion of y in x 4.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.115 * [taylor]: Taking taylor expansion of (* x y) in x 4.115 * [taylor]: Taking taylor expansion of x in x 4.115 * [taylor]: Taking taylor expansion of y in x 4.115 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in x 4.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in x 4.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in x 4.115 * [taylor]: Taking taylor expansion of 1/3 in x 4.115 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 4.115 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.115 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.116 * [taylor]: Taking taylor expansion of x in x 4.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.116 * [taylor]: Taking taylor expansion of y in x 4.116 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.116 * [taylor]: Taking taylor expansion of (* x y) in x 4.116 * [taylor]: Taking taylor expansion of x in x 4.116 * [taylor]: Taking taylor expansion of y in x 4.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) in y 4.116 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- 1 (/ 1 y))) (log x))) in y 4.116 * [taylor]: Taking taylor expansion of 1/3 in y 4.116 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 y))) (log x)) in y 4.116 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 4.116 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.116 * [taylor]: Taking taylor expansion of 1 in y 4.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.116 * [taylor]: Taking taylor expansion of y in y 4.116 * [taylor]: Taking taylor expansion of (log x) in y 4.116 * [taylor]: Taking taylor expansion of x in y 4.117 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) (* (- 1 (/ 1 y)) y))) in y 4.117 * [taylor]: Taking taylor expansion of 1/3 in y 4.117 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) (* (- 1 (/ 1 y)) y)) in y 4.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) in y 4.118 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- 1 (/ 1 y))) (log x))) in y 4.118 * [taylor]: Taking taylor expansion of 1/3 in y 4.118 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 y))) (log x)) in y 4.118 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 4.118 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.118 * [taylor]: Taking taylor expansion of 1 in y 4.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.118 * [taylor]: Taking taylor expansion of y in y 4.118 * [taylor]: Taking taylor expansion of (log x) in y 4.118 * [taylor]: Taking taylor expansion of x in y 4.118 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 y)) y) in y 4.118 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.118 * [taylor]: Taking taylor expansion of 1 in y 4.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.118 * [taylor]: Taking taylor expansion of y in y 4.118 * [taylor]: Taking taylor expansion of y in y 4.120 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in (x y) around 0 4.120 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in y 4.120 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.120 * [taylor]: Taking taylor expansion of -1 in y 4.120 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in y 4.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in y 4.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in y 4.120 * [taylor]: Taking taylor expansion of 1/3 in y 4.120 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 4.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 4.120 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.120 * [taylor]: Taking taylor expansion of (* x y) in y 4.120 * [taylor]: Taking taylor expansion of x in y 4.120 * [taylor]: Taking taylor expansion of y in y 4.120 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.120 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.120 * [taylor]: Taking taylor expansion of x in y 4.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.120 * [taylor]: Taking taylor expansion of y in y 4.121 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in x 4.121 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.121 * [taylor]: Taking taylor expansion of -1 in x 4.121 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in x 4.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in x 4.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 4.121 * [taylor]: Taking taylor expansion of 1/3 in x 4.121 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 4.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.121 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.121 * [taylor]: Taking taylor expansion of (* x y) in x 4.121 * [taylor]: Taking taylor expansion of x in x 4.121 * [taylor]: Taking taylor expansion of y in x 4.121 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.121 * [taylor]: Taking taylor expansion of x in x 4.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.121 * [taylor]: Taking taylor expansion of y in x 4.121 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in x 4.121 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.121 * [taylor]: Taking taylor expansion of -1 in x 4.122 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in x 4.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in x 4.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 4.122 * [taylor]: Taking taylor expansion of 1/3 in x 4.122 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 4.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.122 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.122 * [taylor]: Taking taylor expansion of (* x y) in x 4.122 * [taylor]: Taking taylor expansion of x in x 4.122 * [taylor]: Taking taylor expansion of y in x 4.122 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.122 * [taylor]: Taking taylor expansion of x in x 4.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.122 * [taylor]: Taking taylor expansion of y in x 4.122 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) in y 4.122 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.122 * [taylor]: Taking taylor expansion of -1 in y 4.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 4.123 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 4.123 * [taylor]: Taking taylor expansion of 1/3 in y 4.123 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 4.123 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 4.123 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.123 * [taylor]: Taking taylor expansion of y in y 4.123 * [taylor]: Taking taylor expansion of 1 in y 4.123 * [taylor]: Taking taylor expansion of (log x) in y 4.123 * [taylor]: Taking taylor expansion of x in y 4.127 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) (* y (+ 1 (/ 1 y))))) in y 4.127 * [taylor]: Taking taylor expansion of 1/3 in y 4.127 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) (* y (+ 1 (/ 1 y)))) in y 4.127 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) in y 4.128 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.128 * [taylor]: Taking taylor expansion of -1 in y 4.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 4.128 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 4.128 * [taylor]: Taking taylor expansion of 1/3 in y 4.128 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 4.128 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 4.128 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.128 * [taylor]: Taking taylor expansion of y in y 4.128 * [taylor]: Taking taylor expansion of 1 in y 4.128 * [taylor]: Taking taylor expansion of (log x) in y 4.128 * [taylor]: Taking taylor expansion of x in y 4.128 * [taylor]: Taking taylor expansion of (* y (+ 1 (/ 1 y))) in y 4.128 * [taylor]: Taking taylor expansion of y in y 4.128 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 4.128 * [taylor]: Taking taylor expansion of 1 in y 4.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.128 * [taylor]: Taking taylor expansion of y in y 4.131 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 4.131 * [approximate]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in (x y) around 0 4.131 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y 4.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in y 4.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in y 4.131 * [taylor]: Taking taylor expansion of 1/3 in y 4.131 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in y 4.131 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 4.131 * [taylor]: Taking taylor expansion of (+ x y) in y 4.131 * [taylor]: Taking taylor expansion of x in y 4.131 * [taylor]: Taking taylor expansion of y in y 4.131 * [taylor]: Taking taylor expansion of (* x y) in y 4.131 * [taylor]: Taking taylor expansion of x in y 4.131 * [taylor]: Taking taylor expansion of y in y 4.131 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in x 4.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in x 4.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in x 4.132 * [taylor]: Taking taylor expansion of 1/3 in x 4.132 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in x 4.132 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.132 * [taylor]: Taking taylor expansion of (+ x y) in x 4.132 * [taylor]: Taking taylor expansion of x in x 4.132 * [taylor]: Taking taylor expansion of y in x 4.132 * [taylor]: Taking taylor expansion of (* x y) in x 4.132 * [taylor]: Taking taylor expansion of x in x 4.132 * [taylor]: Taking taylor expansion of y in x 4.132 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in x 4.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in x 4.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in x 4.132 * [taylor]: Taking taylor expansion of 1/3 in x 4.132 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in x 4.132 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.132 * [taylor]: Taking taylor expansion of (+ x y) in x 4.132 * [taylor]: Taking taylor expansion of x in x 4.132 * [taylor]: Taking taylor expansion of y in x 4.132 * [taylor]: Taking taylor expansion of (* x y) in x 4.132 * [taylor]: Taking taylor expansion of x in x 4.132 * [taylor]: Taking taylor expansion of y in x 4.132 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.132 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.132 * [taylor]: Taking taylor expansion of 1/3 in y 4.132 * [taylor]: Taking taylor expansion of (log y) in y 4.132 * [taylor]: Taking taylor expansion of y in y 4.133 * [taylor]: Taking taylor expansion of (* (pow y 1/3) (- (* 1/3 (/ 1 y)) 1/3)) in y 4.133 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.133 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.133 * [taylor]: Taking taylor expansion of 1/3 in y 4.133 * [taylor]: Taking taylor expansion of (log y) in y 4.133 * [taylor]: Taking taylor expansion of y in y 4.133 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 y)) 1/3) in y 4.133 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 4.133 * [taylor]: Taking taylor expansion of 1/3 in y 4.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.133 * [taylor]: Taking taylor expansion of y in y 4.133 * [taylor]: Taking taylor expansion of 1/3 in y 4.135 * [taylor]: Taking taylor expansion of (* (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) (pow y 1/3)) in y 4.135 * [taylor]: Taking taylor expansion of (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) in y 4.135 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 y)) in y 4.135 * [taylor]: Taking taylor expansion of 2/9 in y 4.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.135 * [taylor]: Taking taylor expansion of y in y 4.135 * [taylor]: Taking taylor expansion of (+ 1/9 (* 1/9 (/ 1 (pow y 2)))) in y 4.135 * [taylor]: Taking taylor expansion of 1/9 in y 4.135 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow y 2))) in y 4.135 * [taylor]: Taking taylor expansion of 1/9 in y 4.136 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.136 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.136 * [taylor]: Taking taylor expansion of y in y 4.136 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.136 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.136 * [taylor]: Taking taylor expansion of 1/3 in y 4.136 * [taylor]: Taking taylor expansion of (log y) in y 4.136 * [taylor]: Taking taylor expansion of y in y 4.138 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in (x y) around 0 4.138 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in y 4.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in y 4.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in y 4.138 * [taylor]: Taking taylor expansion of 1/3 in y 4.138 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in y 4.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 4.138 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.138 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.138 * [taylor]: Taking taylor expansion of x in y 4.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.138 * [taylor]: Taking taylor expansion of y in y 4.138 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.138 * [taylor]: Taking taylor expansion of (* x y) in y 4.138 * [taylor]: Taking taylor expansion of x in y 4.138 * [taylor]: Taking taylor expansion of y in y 4.138 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in x 4.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in x 4.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in x 4.138 * [taylor]: Taking taylor expansion of 1/3 in x 4.138 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 4.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.138 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.138 * [taylor]: Taking taylor expansion of x in x 4.138 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.138 * [taylor]: Taking taylor expansion of y in x 4.138 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.138 * [taylor]: Taking taylor expansion of (* x y) in x 4.138 * [taylor]: Taking taylor expansion of x in x 4.138 * [taylor]: Taking taylor expansion of y in x 4.139 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in x 4.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in x 4.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in x 4.139 * [taylor]: Taking taylor expansion of 1/3 in x 4.139 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 4.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.139 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.139 * [taylor]: Taking taylor expansion of x in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.139 * [taylor]: Taking taylor expansion of y in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.139 * [taylor]: Taking taylor expansion of (* x y) in x 4.139 * [taylor]: Taking taylor expansion of x in x 4.139 * [taylor]: Taking taylor expansion of y in x 4.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) in y 4.140 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- 1 (/ 1 y))) (log x))) in y 4.140 * [taylor]: Taking taylor expansion of 1/3 in y 4.140 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 y))) (log x)) in y 4.140 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 4.140 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.140 * [taylor]: Taking taylor expansion of 1 in y 4.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.140 * [taylor]: Taking taylor expansion of y in y 4.140 * [taylor]: Taking taylor expansion of (log x) in y 4.140 * [taylor]: Taking taylor expansion of x in y 4.141 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) (* (- 1 (/ 1 y)) y))) in y 4.141 * [taylor]: Taking taylor expansion of 1/3 in y 4.141 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) (* (- 1 (/ 1 y)) y)) in y 4.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) in y 4.141 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- 1 (/ 1 y))) (log x))) in y 4.141 * [taylor]: Taking taylor expansion of 1/3 in y 4.141 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 y))) (log x)) in y 4.141 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 4.141 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.141 * [taylor]: Taking taylor expansion of 1 in y 4.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.141 * [taylor]: Taking taylor expansion of y in y 4.141 * [taylor]: Taking taylor expansion of (log x) in y 4.141 * [taylor]: Taking taylor expansion of x in y 4.142 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 y)) y) in y 4.142 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.142 * [taylor]: Taking taylor expansion of 1 in y 4.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.142 * [taylor]: Taking taylor expansion of y in y 4.142 * [taylor]: Taking taylor expansion of y in y 4.143 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in (x y) around 0 4.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in y 4.143 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.143 * [taylor]: Taking taylor expansion of -1 in y 4.143 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in y 4.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in y 4.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in y 4.143 * [taylor]: Taking taylor expansion of 1/3 in y 4.143 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 4.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 4.143 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.143 * [taylor]: Taking taylor expansion of (* x y) in y 4.144 * [taylor]: Taking taylor expansion of x in y 4.144 * [taylor]: Taking taylor expansion of y in y 4.144 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.144 * [taylor]: Taking taylor expansion of x in y 4.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.144 * [taylor]: Taking taylor expansion of y in y 4.144 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in x 4.144 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.144 * [taylor]: Taking taylor expansion of -1 in x 4.144 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in x 4.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in x 4.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 4.144 * [taylor]: Taking taylor expansion of 1/3 in x 4.144 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 4.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.144 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.144 * [taylor]: Taking taylor expansion of (* x y) in x 4.144 * [taylor]: Taking taylor expansion of x in x 4.144 * [taylor]: Taking taylor expansion of y in x 4.144 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.144 * [taylor]: Taking taylor expansion of x in x 4.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.144 * [taylor]: Taking taylor expansion of y in x 4.145 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in x 4.145 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.145 * [taylor]: Taking taylor expansion of -1 in x 4.145 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in x 4.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in x 4.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 4.145 * [taylor]: Taking taylor expansion of 1/3 in x 4.145 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 4.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.145 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.145 * [taylor]: Taking taylor expansion of (* x y) in x 4.145 * [taylor]: Taking taylor expansion of x in x 4.145 * [taylor]: Taking taylor expansion of y in x 4.145 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.145 * [taylor]: Taking taylor expansion of x in x 4.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.145 * [taylor]: Taking taylor expansion of y in x 4.146 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) in y 4.146 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.146 * [taylor]: Taking taylor expansion of -1 in y 4.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 4.146 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 4.146 * [taylor]: Taking taylor expansion of 1/3 in y 4.146 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 4.146 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 4.146 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.146 * [taylor]: Taking taylor expansion of y in y 4.146 * [taylor]: Taking taylor expansion of 1 in y 4.146 * [taylor]: Taking taylor expansion of (log x) in y 4.146 * [taylor]: Taking taylor expansion of x in y 4.148 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) (* y (+ 1 (/ 1 y))))) in y 4.148 * [taylor]: Taking taylor expansion of 1/3 in y 4.148 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) (* y (+ 1 (/ 1 y)))) in y 4.148 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) in y 4.148 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.148 * [taylor]: Taking taylor expansion of -1 in y 4.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 4.148 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 4.148 * [taylor]: Taking taylor expansion of 1/3 in y 4.148 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 4.148 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 4.148 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.148 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of 1 in y 4.148 * [taylor]: Taking taylor expansion of (log x) in y 4.148 * [taylor]: Taking taylor expansion of x in y 4.148 * [taylor]: Taking taylor expansion of (* y (+ 1 (/ 1 y))) in y 4.148 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 4.149 * [taylor]: Taking taylor expansion of 1 in y 4.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.149 * [taylor]: Taking taylor expansion of y in y 4.151 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 4.151 * [approximate]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in (x y) around 0 4.151 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y 4.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in y 4.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in y 4.151 * [taylor]: Taking taylor expansion of 1/3 in y 4.151 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in y 4.151 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 4.151 * [taylor]: Taking taylor expansion of (+ x y) in y 4.151 * [taylor]: Taking taylor expansion of x in y 4.151 * [taylor]: Taking taylor expansion of y in y 4.151 * [taylor]: Taking taylor expansion of (* x y) in y 4.151 * [taylor]: Taking taylor expansion of x in y 4.151 * [taylor]: Taking taylor expansion of y in y 4.151 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in x 4.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in x 4.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in x 4.151 * [taylor]: Taking taylor expansion of 1/3 in x 4.151 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in x 4.152 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.152 * [taylor]: Taking taylor expansion of (+ x y) in x 4.152 * [taylor]: Taking taylor expansion of x in x 4.152 * [taylor]: Taking taylor expansion of y in x 4.152 * [taylor]: Taking taylor expansion of (* x y) in x 4.152 * [taylor]: Taking taylor expansion of x in x 4.152 * [taylor]: Taking taylor expansion of y in x 4.152 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in x 4.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ x y) (* x y))))) in x 4.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ x y) (* x y)))) in x 4.152 * [taylor]: Taking taylor expansion of 1/3 in x 4.152 * [taylor]: Taking taylor expansion of (log (- (+ x y) (* x y))) in x 4.152 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 4.152 * [taylor]: Taking taylor expansion of (+ x y) in x 4.152 * [taylor]: Taking taylor expansion of x in x 4.152 * [taylor]: Taking taylor expansion of y in x 4.152 * [taylor]: Taking taylor expansion of (* x y) in x 4.152 * [taylor]: Taking taylor expansion of x in x 4.152 * [taylor]: Taking taylor expansion of y in x 4.152 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.152 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.152 * [taylor]: Taking taylor expansion of 1/3 in y 4.152 * [taylor]: Taking taylor expansion of (log y) in y 4.152 * [taylor]: Taking taylor expansion of y in y 4.153 * [taylor]: Taking taylor expansion of (* (pow y 1/3) (- (* 1/3 (/ 1 y)) 1/3)) in y 4.153 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.153 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.153 * [taylor]: Taking taylor expansion of 1/3 in y 4.153 * [taylor]: Taking taylor expansion of (log y) in y 4.153 * [taylor]: Taking taylor expansion of y in y 4.153 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 y)) 1/3) in y 4.153 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 4.153 * [taylor]: Taking taylor expansion of 1/3 in y 4.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.153 * [taylor]: Taking taylor expansion of y in y 4.153 * [taylor]: Taking taylor expansion of 1/3 in y 4.155 * [taylor]: Taking taylor expansion of (* (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) (pow y 1/3)) in y 4.155 * [taylor]: Taking taylor expansion of (- (* 2/9 (/ 1 y)) (+ 1/9 (* 1/9 (/ 1 (pow y 2))))) in y 4.155 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 y)) in y 4.155 * [taylor]: Taking taylor expansion of 2/9 in y 4.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.155 * [taylor]: Taking taylor expansion of y in y 4.155 * [taylor]: Taking taylor expansion of (+ 1/9 (* 1/9 (/ 1 (pow y 2)))) in y 4.155 * [taylor]: Taking taylor expansion of 1/9 in y 4.155 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow y 2))) in y 4.155 * [taylor]: Taking taylor expansion of 1/9 in y 4.155 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.155 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.155 * [taylor]: Taking taylor expansion of y in y 4.155 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.155 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.155 * [taylor]: Taking taylor expansion of 1/3 in y 4.155 * [taylor]: Taking taylor expansion of (log y) in y 4.155 * [taylor]: Taking taylor expansion of y in y 4.157 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in (x y) around 0 4.157 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in y 4.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in y 4.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in y 4.157 * [taylor]: Taking taylor expansion of 1/3 in y 4.157 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in y 4.157 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 4.157 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.157 * [taylor]: Taking taylor expansion of x in y 4.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.157 * [taylor]: Taking taylor expansion of y in y 4.158 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.158 * [taylor]: Taking taylor expansion of (* x y) in y 4.158 * [taylor]: Taking taylor expansion of x in y 4.158 * [taylor]: Taking taylor expansion of y in y 4.158 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in x 4.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in x 4.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in x 4.158 * [taylor]: Taking taylor expansion of 1/3 in x 4.158 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 4.158 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.158 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.158 * [taylor]: Taking taylor expansion of x in x 4.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.158 * [taylor]: Taking taylor expansion of y in x 4.158 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.158 * [taylor]: Taking taylor expansion of (* x y) in x 4.158 * [taylor]: Taking taylor expansion of x in x 4.158 * [taylor]: Taking taylor expansion of y in x 4.159 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) 1/3) in x 4.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))))) in x 4.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))))) in x 4.159 * [taylor]: Taking taylor expansion of 1/3 in x 4.159 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 4.159 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 4.159 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.159 * [taylor]: Taking taylor expansion of x in x 4.159 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.159 * [taylor]: Taking taylor expansion of y in x 4.159 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.159 * [taylor]: Taking taylor expansion of (* x y) in x 4.159 * [taylor]: Taking taylor expansion of x in x 4.159 * [taylor]: Taking taylor expansion of y in x 4.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) in y 4.159 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- 1 (/ 1 y))) (log x))) in y 4.159 * [taylor]: Taking taylor expansion of 1/3 in y 4.159 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 y))) (log x)) in y 4.159 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 4.159 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.159 * [taylor]: Taking taylor expansion of 1 in y 4.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.159 * [taylor]: Taking taylor expansion of y in y 4.159 * [taylor]: Taking taylor expansion of (log x) in y 4.160 * [taylor]: Taking taylor expansion of x in y 4.161 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) (* (- 1 (/ 1 y)) y))) in y 4.161 * [taylor]: Taking taylor expansion of 1/3 in y 4.161 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) (* (- 1 (/ 1 y)) y)) in y 4.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- 1 (/ 1 y))) (log x)))) in y 4.161 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- 1 (/ 1 y))) (log x))) in y 4.161 * [taylor]: Taking taylor expansion of 1/3 in y 4.161 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 y))) (log x)) in y 4.161 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 y))) in y 4.161 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.161 * [taylor]: Taking taylor expansion of 1 in y 4.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.161 * [taylor]: Taking taylor expansion of y in y 4.161 * [taylor]: Taking taylor expansion of (log x) in y 4.161 * [taylor]: Taking taylor expansion of x in y 4.161 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 y)) y) in y 4.161 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 4.161 * [taylor]: Taking taylor expansion of 1 in y 4.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.161 * [taylor]: Taking taylor expansion of y in y 4.161 * [taylor]: Taking taylor expansion of y in y 4.163 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in (x y) around 0 4.163 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in y 4.163 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.163 * [taylor]: Taking taylor expansion of -1 in y 4.163 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in y 4.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in y 4.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in y 4.163 * [taylor]: Taking taylor expansion of 1/3 in y 4.163 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 4.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 4.163 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.163 * [taylor]: Taking taylor expansion of (* x y) in y 4.163 * [taylor]: Taking taylor expansion of x in y 4.163 * [taylor]: Taking taylor expansion of y in y 4.163 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.163 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.163 * [taylor]: Taking taylor expansion of x in y 4.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.163 * [taylor]: Taking taylor expansion of y in y 4.164 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in x 4.164 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.164 * [taylor]: Taking taylor expansion of -1 in x 4.164 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in x 4.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in x 4.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 4.164 * [taylor]: Taking taylor expansion of 1/3 in x 4.164 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 4.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.164 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.164 * [taylor]: Taking taylor expansion of (* x y) in x 4.164 * [taylor]: Taking taylor expansion of x in x 4.164 * [taylor]: Taking taylor expansion of y in x 4.164 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.164 * [taylor]: Taking taylor expansion of x in x 4.164 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.164 * [taylor]: Taking taylor expansion of y in x 4.165 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3)) in x 4.165 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.165 * [taylor]: Taking taylor expansion of -1 in x 4.165 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) 1/3) in x 4.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))))) in x 4.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 4.165 * [taylor]: Taking taylor expansion of 1/3 in x 4.165 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 4.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 4.165 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.165 * [taylor]: Taking taylor expansion of (* x y) in x 4.165 * [taylor]: Taking taylor expansion of x in x 4.165 * [taylor]: Taking taylor expansion of y in x 4.165 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.165 * [taylor]: Taking taylor expansion of x in x 4.165 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.165 * [taylor]: Taking taylor expansion of y in x 4.165 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) in y 4.165 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.166 * [taylor]: Taking taylor expansion of -1 in y 4.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 4.166 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 4.166 * [taylor]: Taking taylor expansion of 1/3 in y 4.166 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 4.166 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 4.166 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.166 * [taylor]: Taking taylor expansion of y in y 4.166 * [taylor]: Taking taylor expansion of 1 in y 4.166 * [taylor]: Taking taylor expansion of (log x) in y 4.166 * [taylor]: Taking taylor expansion of x in y 4.167 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) (* y (+ 1 (/ 1 y))))) in y 4.167 * [taylor]: Taking taylor expansion of 1/3 in y 4.168 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) (* y (+ 1 (/ 1 y)))) in y 4.168 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))))) in y 4.168 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.168 * [taylor]: Taking taylor expansion of -1 in y 4.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1)) (log x)))) in y 4.168 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1)) (log x))) in y 4.168 * [taylor]: Taking taylor expansion of 1/3 in y 4.168 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1)) (log x)) in y 4.168 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1)) in y 4.168 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 4.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.168 * [taylor]: Taking taylor expansion of y in y 4.168 * [taylor]: Taking taylor expansion of 1 in y 4.168 * [taylor]: Taking taylor expansion of (log x) in y 4.168 * [taylor]: Taking taylor expansion of x in y 4.168 * [taylor]: Taking taylor expansion of (* y (+ 1 (/ 1 y))) in y 4.168 * [taylor]: Taking taylor expansion of y in y 4.168 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 4.168 * [taylor]: Taking taylor expansion of 1 in y 4.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.168 * [taylor]: Taking taylor expansion of y in y 4.171 * * * [progress]: simplifying candidates 4.172 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (+ 1 1) (+ (log (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y))))) (log (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (exp (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (* (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (* (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))) (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))) (* (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (+ (+ x y) (* x y)))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (+ (+ x y) (* x y))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))) (* (cbrt (+ (+ x y) (* x y))) (cbrt (+ (+ x y) (* x y)))) (* (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (* (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y))))) (* 1 1) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y))))) (* 2 1/3) (* 2 1) (* (cbrt (- (+ x y) (* x y))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))) (* (cbrt (- (+ x y) (* x y))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (- (+ x y) (* x y))) (cbrt 1)) (* (cbrt (- (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))) (* (cbrt (- (+ x y) (* x y))) (sqrt (cbrt (- (+ x y) (* x y))))) (* (cbrt (- (+ x y) (* x y))) 1) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))) (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y)))) (exp (cbrt (- (+ x y) (* x y)))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt 1) (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (+ (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y)))) (exp (cbrt (- (+ x y) (* x y)))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt 1) (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (+ (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y)))) (exp (cbrt (- (+ x y) (* x y)))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt 1) (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (+ (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (- (exp (* 1/3 (+ (* 2 (log y)) (log 1)))) (+ (* 2/3 (* x (exp (* 1/3 (+ (* 2 (log y)) (log 1)))))) (* 1/9 (* (pow x 2) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))))))) (- (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y))))))) (+ (* 2/3 (/ (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y))))))) x)) (* 2/3 (/ (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y))))))) y)))) (- (* (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) (pow (cbrt -1) 2)) (+ (* 2/3 (/ (* (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) (pow (cbrt -1) 2)) y)) (* 2/3 (/ (* (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) (pow (cbrt -1) 2)) x)))) (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (+ (log y) (log 1)))))) (* 1/3 (* x (exp (* 1/3 (+ (log y) (log 1)))))))) (- (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) (+ (* 1/3 (/ (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) x)) (* 1/3 (/ (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) y)))) (- (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) (+ (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) y)) (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) x)))) (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (+ (log y) (log 1)))))) (* 1/3 (* x (exp (* 1/3 (+ (log y) (log 1)))))))) (- (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) (+ (* 1/3 (/ (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) x)) (* 1/3 (/ (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) y)))) (- (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) (+ (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) y)) (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) x)))) (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (+ (log y) (log 1)))))) (* 1/3 (* x (exp (* 1/3 (+ (log y) (log 1)))))))) (- (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) (+ (* 1/3 (/ (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) x)) (* 1/3 (/ (exp (* 1/3 (- (log (neg 1)) (+ (log (/ 1 x)) (log (/ 1 y)))))) y)))) (- (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) (+ (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) y)) (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) x)))) 4.180 * * [simplify]: iteration 0 : 158 enodes (cost 2483 ) 4.209 * * [simplify]: iteration 1 : 382 enodes (cost 2270 ) 4.281 * * [simplify]: iteration 2 : 1150 enodes (cost 2065 ) 4.521 * * [simplify]: iteration 3 : 3919 enodes (cost 1816 ) 5.066 * * [simplify]: iteration done : 5000 enodes (cost 1816 ) 5.067 * [simplify]: Simplified to: 2/3 2 (pow (cbrt (- (+ x y) (* x y))) 6) (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4) 2 (* 2 (log (cbrt (- (+ x y) (* x y))))) (* 2 (log (cbrt (- (+ x y) (* x y))))) (exp (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)) (pow (cbrt (- (+ x y) (* x y))) 6) (* (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)) (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4))) (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)) (pow (cbrt (- (+ x y) (* x y))) 6) (fabs (cbrt (- (+ x y) (* x y)))) (fabs (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (+ (* (* x y) (+ (+ x y) (* x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (+ x y) (* x y))) (* (+ x y) (+ x y))))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (+ (* (* x y) (+ (+ x y) (* x y))) (* (+ x y) (+ x y)))) (cbrt (+ (+ x y) (* x y)))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (+ (* (* x y) (+ (+ x y) (* x y))) (* (+ x y) (+ x y)))) (cbrt (+ (+ x y) (* x y)))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))) (* (cbrt (+ (+ x y) (* x y))) (cbrt (+ (+ x y) (* x y)))) (* (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)) (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) 1 (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4) (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))) 1 (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))) 2/3 2 (* (cbrt (- (+ x y) (* x y))) (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4))) (* (cbrt (- (+ x y) (* x y))) (cbrt (sqrt (- (+ x y) (* x y))))) (cbrt (- (+ x y) (* x y))) (* (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4) (cbrt (cbrt (- (+ x y) (* x y))))) (pow (sqrt (cbrt (- (+ x y) (* x y)))) 3) (cbrt (- (+ x y) (* x y))) (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4) (* (cbrt (- (+ x y) (* x y))) (cbrt (sqrt (- (+ x y) (* x y))))) (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4) (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4) (pow (sqrt (cbrt (- (+ x y) (* x y)))) 3) (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y)))) (exp (cbrt (- (+ x y) (* x y)))) (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)) (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) 1 (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (+ x y) (* x y))) (* (+ x y) (+ x y)))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (+ (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (- (+ x y) (* x y)) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y)))) (exp (cbrt (- (+ x y) (* x y)))) (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)) (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) 1 (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (+ x y) (* x y))) (* (+ x y) (+ x y)))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (+ (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (- (+ x y) (* x y)) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y)))) (exp (cbrt (- (+ x y) (* x y)))) (cbrt (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)) (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))) 1 (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (+ x y) (* x y))) (* (+ x y) (+ x y)))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (+ (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (cbrt (cbrt (- (+ x y) (* x y)))) (- (+ x y) (* x y)) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))) (* (pow y 2/3) (- 1 (* x (+ 2/3 (* 1/9 x))))) (- (exp (* 2/3 (+ (log x) (log y)))) (* 2/3 (+ (/ (exp (* 2/3 (+ (log x) (log y)))) y) (/ (exp (* 2/3 (+ (log x) (log y)))) x)))) (- (* (pow (cbrt -1) 2) (exp (* -2/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* (* (pow (cbrt -1) 2) (+ (/ (exp (* -2/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y) (/ (exp (* -2/3 (+ (log (/ -1 y)) (log (/ -1 x))))) x))) 2/3)) (* (cbrt y) (- 1 (* x (+ (* 1/9 x) 1/3)))) (- (cbrt (* (exp (+ (log -1) (log x))) y)) (* (+ (/ (cbrt (* (exp (+ (log -1) (log x))) y)) x) (/ (cbrt (* (exp (+ (log -1) (log x))) y)) y)) 1/3)) (+ (* (* (cbrt -1) (+ (/ (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) y) (/ (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) x))) -1/3) (* (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1))) (* (cbrt y) (- 1 (* x (+ (* 1/9 x) 1/3)))) (- (cbrt (* (exp (+ (log -1) (log x))) y)) (* (+ (/ (cbrt (* (exp (+ (log -1) (log x))) y)) x) (/ (cbrt (* (exp (+ (log -1) (log x))) y)) y)) 1/3)) (+ (* (* (cbrt -1) (+ (/ (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) y) (/ (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) x))) -1/3) (* (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1))) (* (cbrt y) (- 1 (* x (+ (* 1/9 x) 1/3)))) (- (cbrt (* (exp (+ (log -1) (log x))) y)) (* (+ (/ (cbrt (* (exp (+ (log -1) (log x))) y)) x) (/ (cbrt (* (exp (+ (log -1) (log x))) y)) y)) 1/3)) (+ (* (* (cbrt -1) (+ (/ (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) y) (/ (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) x))) -1/3) (* (cbrt (exp (neg (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1))) 5.068 * * * [progress]: adding candidates to table 5.192 * * [progress]: iteration 3 / 4 5.192 * * * [progress]: picking best candidate 5.194 * * * * [pick]: Picked # 5.194 * * * [progress]: localizing error 5.201 * * * [progress]: generating rewritten candidates 5.201 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 5.217 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 5.223 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 5.229 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 5.238 * * * [progress]: generating series expansions 5.238 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.239 * [approximate]: Taking taylor expansion of (- (+ x y) (* x y)) in (x y) around 0 5.239 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 5.239 * [taylor]: Taking taylor expansion of (+ x y) in y 5.239 * [taylor]: Taking taylor expansion of x in y 5.239 * [taylor]: Taking taylor expansion of y in y 5.239 * [taylor]: Taking taylor expansion of (* x y) in y 5.239 * [taylor]: Taking taylor expansion of x in y 5.239 * [taylor]: Taking taylor expansion of y in y 5.239 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.239 * [taylor]: Taking taylor expansion of (+ x y) in x 5.239 * [taylor]: Taking taylor expansion of x in x 5.239 * [taylor]: Taking taylor expansion of y in x 5.239 * [taylor]: Taking taylor expansion of (* x y) in x 5.239 * [taylor]: Taking taylor expansion of x in x 5.239 * [taylor]: Taking taylor expansion of y in x 5.239 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.239 * [taylor]: Taking taylor expansion of (+ x y) in x 5.239 * [taylor]: Taking taylor expansion of x in x 5.239 * [taylor]: Taking taylor expansion of y in x 5.239 * [taylor]: Taking taylor expansion of (* x y) in x 5.239 * [taylor]: Taking taylor expansion of x in x 5.239 * [taylor]: Taking taylor expansion of y in x 5.239 * [taylor]: Taking taylor expansion of y in y 5.239 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.239 * [taylor]: Taking taylor expansion of 1 in y 5.239 * [taylor]: Taking taylor expansion of y in y 5.239 * [taylor]: Taking taylor expansion of 0 in y 5.240 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in (x y) around 0 5.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 5.240 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.240 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.240 * [taylor]: Taking taylor expansion of x in y 5.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.240 * [taylor]: Taking taylor expansion of y in y 5.240 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.240 * [taylor]: Taking taylor expansion of (* x y) in y 5.240 * [taylor]: Taking taylor expansion of x in y 5.240 * [taylor]: Taking taylor expansion of y in y 5.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.240 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.240 * [taylor]: Taking taylor expansion of x in x 5.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.240 * [taylor]: Taking taylor expansion of y in x 5.240 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.240 * [taylor]: Taking taylor expansion of (* x y) in x 5.240 * [taylor]: Taking taylor expansion of x in x 5.240 * [taylor]: Taking taylor expansion of y in x 5.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.240 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.240 * [taylor]: Taking taylor expansion of x in x 5.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.240 * [taylor]: Taking taylor expansion of y in x 5.240 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.240 * [taylor]: Taking taylor expansion of (* x y) in x 5.240 * [taylor]: Taking taylor expansion of x in x 5.240 * [taylor]: Taking taylor expansion of y in x 5.241 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.241 * [taylor]: Taking taylor expansion of 1 in y 5.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.241 * [taylor]: Taking taylor expansion of y in y 5.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.241 * [taylor]: Taking taylor expansion of y in y 5.241 * [approximate]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) 2) in (x y) around 0 5.241 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) 2) in y 5.242 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in y 5.242 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 5.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 5.242 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.242 * [taylor]: Taking taylor expansion of (* x y) in y 5.242 * [taylor]: Taking taylor expansion of x in y 5.242 * [taylor]: Taking taylor expansion of y in y 5.242 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.242 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.242 * [taylor]: Taking taylor expansion of x in y 5.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.242 * [taylor]: Taking taylor expansion of y in y 5.242 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) 2) in x 5.242 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 5.242 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.242 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.242 * [taylor]: Taking taylor expansion of (* x y) in x 5.242 * [taylor]: Taking taylor expansion of x in x 5.242 * [taylor]: Taking taylor expansion of y in x 5.242 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.242 * [taylor]: Taking taylor expansion of x in x 5.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.242 * [taylor]: Taking taylor expansion of y in x 5.242 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) 2) in x 5.242 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 5.243 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.243 * [taylor]: Taking taylor expansion of (* x y) in x 5.243 * [taylor]: Taking taylor expansion of x in x 5.243 * [taylor]: Taking taylor expansion of y in x 5.243 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.243 * [taylor]: Taking taylor expansion of x in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.243 * [taylor]: Taking taylor expansion of y in x 5.243 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow (+ (/ 1 y) 1) 2)) in y 5.243 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.243 * [taylor]: Taking taylor expansion of NAN in y 5.243 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1) 2) in y 5.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 5.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.243 * [taylor]: Taking taylor expansion of y in y 5.243 * [taylor]: Taking taylor expansion of 1 in y 5.245 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) y)) (+ (* 2 (/ (pow NAN 4) (pow y 3))) (+ (* 2 (pow NAN 4)) (+ (* 2 (/ (pow NAN 2) (pow y 2))) (+ (* 6 (/ (pow NAN 4) y)) (* 6 (/ (pow NAN 4) (pow y 2)))))))) in y 5.245 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) y)) in y 5.245 * [taylor]: Taking taylor expansion of 2 in y 5.245 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) y) in y 5.245 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.245 * [taylor]: Taking taylor expansion of NAN in y 5.245 * [taylor]: Taking taylor expansion of y in y 5.245 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 4) (pow y 3))) (+ (* 2 (pow NAN 4)) (+ (* 2 (/ (pow NAN 2) (pow y 2))) (+ (* 6 (/ (pow NAN 4) y)) (* 6 (/ (pow NAN 4) (pow y 2))))))) in y 5.245 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow y 3))) in y 5.245 * [taylor]: Taking taylor expansion of 2 in y 5.245 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in y 5.245 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 5.245 * [taylor]: Taking taylor expansion of NAN in y 5.245 * [taylor]: Taking taylor expansion of (pow y 3) in y 5.246 * [taylor]: Taking taylor expansion of y in y 5.246 * [taylor]: Taking taylor expansion of (+ (* 2 (pow NAN 4)) (+ (* 2 (/ (pow NAN 2) (pow y 2))) (+ (* 6 (/ (pow NAN 4) y)) (* 6 (/ (pow NAN 4) (pow y 2)))))) in y 5.246 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in y 5.246 * [taylor]: Taking taylor expansion of 2 in y 5.246 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 5.246 * [taylor]: Taking taylor expansion of NAN in y 5.246 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (pow y 2))) (+ (* 6 (/ (pow NAN 4) y)) (* 6 (/ (pow NAN 4) (pow y 2))))) in y 5.246 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (pow y 2))) in y 5.246 * [taylor]: Taking taylor expansion of 2 in y 5.246 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in y 5.246 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.246 * [taylor]: Taking taylor expansion of NAN in y 5.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.246 * [taylor]: Taking taylor expansion of y in y 5.246 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) y)) (* 6 (/ (pow NAN 4) (pow y 2)))) in y 5.246 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) y)) in y 5.246 * [taylor]: Taking taylor expansion of 6 in y 5.246 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) y) in y 5.246 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 5.246 * [taylor]: Taking taylor expansion of NAN in y 5.246 * [taylor]: Taking taylor expansion of y in y 5.246 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) (pow y 2))) in y 5.246 * [taylor]: Taking taylor expansion of 6 in y 5.246 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 2)) in y 5.246 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 5.246 * [taylor]: Taking taylor expansion of NAN in y 5.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.246 * [taylor]: Taking taylor expansion of y in y 5.258 * [taylor]: Taking taylor expansion of (+ (* 5 (/ (pow NAN 6) (pow y 4))) (+ (/ (pow NAN 2) (pow y 2)) (+ (* 5 (pow NAN 6)) (+ (* 12 (/ (pow NAN 4) (pow y 2))) (+ (* 20 (/ (pow NAN 6) (pow y 3))) (+ (* 6 (/ (pow NAN 4) (pow y 3))) (+ (* 20 (/ (pow NAN 6) y)) (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2))))))))))) in y 5.258 * [taylor]: Taking taylor expansion of (* 5 (/ (pow NAN 6) (pow y 4))) in y 5.258 * [taylor]: Taking taylor expansion of 5 in y 5.258 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (pow y 4)) in y 5.258 * [taylor]: Taking taylor expansion of (pow NAN 6) in y 5.258 * [taylor]: Taking taylor expansion of NAN in y 5.259 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.259 * [taylor]: Taking taylor expansion of y in y 5.259 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow y 2)) (+ (* 5 (pow NAN 6)) (+ (* 12 (/ (pow NAN 4) (pow y 2))) (+ (* 20 (/ (pow NAN 6) (pow y 3))) (+ (* 6 (/ (pow NAN 4) (pow y 3))) (+ (* 20 (/ (pow NAN 6) y)) (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2)))))))))) in y 5.259 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in y 5.259 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.259 * [taylor]: Taking taylor expansion of NAN in y 5.259 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.259 * [taylor]: Taking taylor expansion of y in y 5.259 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (* 12 (/ (pow NAN 4) (pow y 2))) (+ (* 20 (/ (pow NAN 6) (pow y 3))) (+ (* 6 (/ (pow NAN 4) (pow y 3))) (+ (* 20 (/ (pow NAN 6) y)) (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2))))))))) in y 5.259 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in y 5.259 * [taylor]: Taking taylor expansion of 5 in y 5.259 * [taylor]: Taking taylor expansion of (pow NAN 6) in y 5.259 * [taylor]: Taking taylor expansion of NAN in y 5.259 * [taylor]: Taking taylor expansion of (+ (* 12 (/ (pow NAN 4) (pow y 2))) (+ (* 20 (/ (pow NAN 6) (pow y 3))) (+ (* 6 (/ (pow NAN 4) (pow y 3))) (+ (* 20 (/ (pow NAN 6) y)) (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2)))))))) in y 5.259 * [taylor]: Taking taylor expansion of (* 12 (/ (pow NAN 4) (pow y 2))) in y 5.259 * [taylor]: Taking taylor expansion of 12 in y 5.259 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 2)) in y 5.259 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 5.259 * [taylor]: Taking taylor expansion of NAN in y 5.259 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.259 * [taylor]: Taking taylor expansion of y in y 5.259 * [taylor]: Taking taylor expansion of (+ (* 20 (/ (pow NAN 6) (pow y 3))) (+ (* 6 (/ (pow NAN 4) (pow y 3))) (+ (* 20 (/ (pow NAN 6) y)) (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2))))))) in y 5.259 * [taylor]: Taking taylor expansion of (* 20 (/ (pow NAN 6) (pow y 3))) in y 5.259 * [taylor]: Taking taylor expansion of 20 in y 5.259 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (pow y 3)) in y 5.259 * [taylor]: Taking taylor expansion of (pow NAN 6) in y 5.259 * [taylor]: Taking taylor expansion of NAN in y 5.259 * [taylor]: Taking taylor expansion of (pow y 3) in y 5.260 * [taylor]: Taking taylor expansion of y in y 5.260 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) (pow y 3))) (+ (* 20 (/ (pow NAN 6) y)) (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2)))))) in y 5.260 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) (pow y 3))) in y 5.260 * [taylor]: Taking taylor expansion of 6 in y 5.260 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in y 5.260 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 5.260 * [taylor]: Taking taylor expansion of NAN in y 5.260 * [taylor]: Taking taylor expansion of (pow y 3) in y 5.260 * [taylor]: Taking taylor expansion of y in y 5.260 * [taylor]: Taking taylor expansion of (+ (* 20 (/ (pow NAN 6) y)) (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2))))) in y 5.260 * [taylor]: Taking taylor expansion of (* 20 (/ (pow NAN 6) y)) in y 5.260 * [taylor]: Taking taylor expansion of 20 in y 5.260 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) y) in y 5.260 * [taylor]: Taking taylor expansion of (pow NAN 6) in y 5.260 * [taylor]: Taking taylor expansion of NAN in y 5.260 * [taylor]: Taking taylor expansion of y in y 5.261 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) y)) (* 30 (/ (pow NAN 6) (pow y 2)))) in y 5.261 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) y)) in y 5.261 * [taylor]: Taking taylor expansion of 6 in y 5.261 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) y) in y 5.261 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 5.261 * [taylor]: Taking taylor expansion of NAN in y 5.261 * [taylor]: Taking taylor expansion of y in y 5.261 * [taylor]: Taking taylor expansion of (* 30 (/ (pow NAN 6) (pow y 2))) in y 5.261 * [taylor]: Taking taylor expansion of 30 in y 5.261 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (pow y 2)) in y 5.261 * [taylor]: Taking taylor expansion of (pow NAN 6) in y 5.261 * [taylor]: Taking taylor expansion of NAN in y 5.261 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.261 * [taylor]: Taking taylor expansion of y in y 5.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.268 * [approximate]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in (x y) around 0 5.268 * [taylor]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in y 5.268 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 5.268 * [taylor]: Taking taylor expansion of (+ x y) in y 5.268 * [taylor]: Taking taylor expansion of x in y 5.268 * [taylor]: Taking taylor expansion of y in y 5.268 * [taylor]: Taking taylor expansion of (* x y) in y 5.268 * [taylor]: Taking taylor expansion of x in y 5.268 * [taylor]: Taking taylor expansion of y in y 5.268 * [taylor]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in x 5.268 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.268 * [taylor]: Taking taylor expansion of (+ x y) in x 5.268 * [taylor]: Taking taylor expansion of x in x 5.268 * [taylor]: Taking taylor expansion of y in x 5.268 * [taylor]: Taking taylor expansion of (* x y) in x 5.268 * [taylor]: Taking taylor expansion of x in x 5.268 * [taylor]: Taking taylor expansion of y in x 5.268 * [taylor]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in x 5.268 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.268 * [taylor]: Taking taylor expansion of (+ x y) in x 5.269 * [taylor]: Taking taylor expansion of x in x 5.269 * [taylor]: Taking taylor expansion of y in x 5.269 * [taylor]: Taking taylor expansion of (* x y) in x 5.269 * [taylor]: Taking taylor expansion of x in x 5.269 * [taylor]: Taking taylor expansion of y in x 5.269 * [taylor]: Taking taylor expansion of (sqrt y) in y 5.269 * [taylor]: Taking taylor expansion of y in y 5.269 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 y)) (- 1 y))) in y 5.269 * [taylor]: Taking taylor expansion of 1/2 in y 5.269 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (- 1 y)) in y 5.269 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 5.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.269 * [taylor]: Taking taylor expansion of y in y 5.269 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.269 * [taylor]: Taking taylor expansion of 1 in y 5.269 * [taylor]: Taking taylor expansion of y in y 5.269 * [taylor]: Taking taylor expansion of (* 1/2 (* (- 1/2 (+ (* 1/4 y) (* 1/4 (/ 1 y)))) (sqrt (/ 1 y)))) in y 5.269 * [taylor]: Taking taylor expansion of 1/2 in y 5.270 * [taylor]: Taking taylor expansion of (* (- 1/2 (+ (* 1/4 y) (* 1/4 (/ 1 y)))) (sqrt (/ 1 y))) in y 5.270 * [taylor]: Taking taylor expansion of (- 1/2 (+ (* 1/4 y) (* 1/4 (/ 1 y)))) in y 5.270 * [taylor]: Taking taylor expansion of 1/2 in y 5.270 * [taylor]: Taking taylor expansion of (+ (* 1/4 y) (* 1/4 (/ 1 y))) in y 5.270 * [taylor]: Taking taylor expansion of (* 1/4 y) in y 5.270 * [taylor]: Taking taylor expansion of 1/4 in y 5.270 * [taylor]: Taking taylor expansion of y in y 5.270 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 y)) in y 5.270 * [taylor]: Taking taylor expansion of 1/4 in y 5.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.270 * [taylor]: Taking taylor expansion of y in y 5.270 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 5.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.270 * [taylor]: Taking taylor expansion of y in y 5.271 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in (x y) around 0 5.271 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in y 5.271 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 5.271 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.271 * [taylor]: Taking taylor expansion of x in y 5.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.271 * [taylor]: Taking taylor expansion of y in y 5.271 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.271 * [taylor]: Taking taylor expansion of (* x y) in y 5.271 * [taylor]: Taking taylor expansion of x in y 5.271 * [taylor]: Taking taylor expansion of y in y 5.271 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 5.271 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.271 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.271 * [taylor]: Taking taylor expansion of x in x 5.271 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.271 * [taylor]: Taking taylor expansion of y in x 5.272 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.272 * [taylor]: Taking taylor expansion of (* x y) in x 5.272 * [taylor]: Taking taylor expansion of x in x 5.272 * [taylor]: Taking taylor expansion of y in x 5.272 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 5.272 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.272 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.272 * [taylor]: Taking taylor expansion of x in x 5.272 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.272 * [taylor]: Taking taylor expansion of y in x 5.272 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.272 * [taylor]: Taking taylor expansion of (* x y) in x 5.272 * [taylor]: Taking taylor expansion of x in x 5.272 * [taylor]: Taking taylor expansion of y in x 5.272 * [taylor]: Taking taylor expansion of 0 in y 5.272 * [taylor]: Taking taylor expansion of (* NAN (- 1 (/ 1 y))) in y 5.272 * [taylor]: Taking taylor expansion of NAN in y 5.272 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.272 * [taylor]: Taking taylor expansion of 1 in y 5.272 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.272 * [taylor]: Taking taylor expansion of y in y 5.273 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) (+ (/ (pow NAN 2) (pow y 2)) (pow NAN 2)))) in y 5.273 * [taylor]: Taking taylor expansion of NAN in y 5.273 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) (+ (/ (pow NAN 2) (pow y 2)) (pow NAN 2))) in y 5.273 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) in y 5.273 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) y)) in y 5.273 * [taylor]: Taking taylor expansion of 2 in y 5.273 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) y) in y 5.273 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.273 * [taylor]: Taking taylor expansion of NAN in y 5.273 * [taylor]: Taking taylor expansion of y in y 5.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.273 * [taylor]: Taking taylor expansion of y in y 5.273 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow y 2)) (pow NAN 2)) in y 5.273 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in y 5.273 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.273 * [taylor]: Taking taylor expansion of NAN in y 5.273 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.273 * [taylor]: Taking taylor expansion of y in y 5.273 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.273 * [taylor]: Taking taylor expansion of NAN in y 5.275 * [approximate]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in (x y) around 0 5.275 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in y 5.275 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 5.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 5.275 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.275 * [taylor]: Taking taylor expansion of (* x y) in y 5.275 * [taylor]: Taking taylor expansion of x in y 5.275 * [taylor]: Taking taylor expansion of y in y 5.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.275 * [taylor]: Taking taylor expansion of x in y 5.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.275 * [taylor]: Taking taylor expansion of y in y 5.275 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 5.275 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.275 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.275 * [taylor]: Taking taylor expansion of (* x y) in x 5.275 * [taylor]: Taking taylor expansion of x in x 5.275 * [taylor]: Taking taylor expansion of y in x 5.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.275 * [taylor]: Taking taylor expansion of x in x 5.275 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.275 * [taylor]: Taking taylor expansion of y in x 5.276 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 5.276 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.276 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.276 * [taylor]: Taking taylor expansion of (* x y) in x 5.276 * [taylor]: Taking taylor expansion of x in x 5.276 * [taylor]: Taking taylor expansion of y in x 5.276 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.276 * [taylor]: Taking taylor expansion of x in x 5.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.276 * [taylor]: Taking taylor expansion of y in x 5.276 * [taylor]: Taking taylor expansion of 0 in y 5.276 * [taylor]: Taking taylor expansion of (* NAN (+ 1 (/ 1 y))) in y 5.276 * [taylor]: Taking taylor expansion of NAN in y 5.276 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 5.276 * [taylor]: Taking taylor expansion of 1 in y 5.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.276 * [taylor]: Taking taylor expansion of y in y 5.277 * [taylor]: Taking taylor expansion of (* NAN (+ (pow NAN 2) (+ (/ (pow NAN 2) (pow y 2)) (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y))))) in y 5.277 * [taylor]: Taking taylor expansion of NAN in y 5.277 * [taylor]: Taking taylor expansion of (+ (pow NAN 2) (+ (/ (pow NAN 2) (pow y 2)) (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)))) in y 5.277 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.277 * [taylor]: Taking taylor expansion of NAN in y 5.277 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow y 2)) (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y))) in y 5.277 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in y 5.277 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.277 * [taylor]: Taking taylor expansion of NAN in y 5.277 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.277 * [taylor]: Taking taylor expansion of y in y 5.277 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) in y 5.277 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) y)) in y 5.277 * [taylor]: Taking taylor expansion of 2 in y 5.277 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) y) in y 5.277 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.277 * [taylor]: Taking taylor expansion of NAN in y 5.277 * [taylor]: Taking taylor expansion of y in y 5.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.277 * [taylor]: Taking taylor expansion of y in y 5.278 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.278 * [approximate]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in (x y) around 0 5.278 * [taylor]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in y 5.278 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 5.278 * [taylor]: Taking taylor expansion of (+ x y) in y 5.278 * [taylor]: Taking taylor expansion of x in y 5.278 * [taylor]: Taking taylor expansion of y in y 5.278 * [taylor]: Taking taylor expansion of (* x y) in y 5.278 * [taylor]: Taking taylor expansion of x in y 5.278 * [taylor]: Taking taylor expansion of y in y 5.279 * [taylor]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in x 5.279 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.279 * [taylor]: Taking taylor expansion of (+ x y) in x 5.279 * [taylor]: Taking taylor expansion of x in x 5.279 * [taylor]: Taking taylor expansion of y in x 5.279 * [taylor]: Taking taylor expansion of (* x y) in x 5.279 * [taylor]: Taking taylor expansion of x in x 5.279 * [taylor]: Taking taylor expansion of y in x 5.279 * [taylor]: Taking taylor expansion of (sqrt (- (+ x y) (* x y))) in x 5.279 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.279 * [taylor]: Taking taylor expansion of (+ x y) in x 5.279 * [taylor]: Taking taylor expansion of x in x 5.279 * [taylor]: Taking taylor expansion of y in x 5.279 * [taylor]: Taking taylor expansion of (* x y) in x 5.279 * [taylor]: Taking taylor expansion of x in x 5.279 * [taylor]: Taking taylor expansion of y in x 5.279 * [taylor]: Taking taylor expansion of (sqrt y) in y 5.279 * [taylor]: Taking taylor expansion of y in y 5.279 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 y)) (- 1 y))) in y 5.279 * [taylor]: Taking taylor expansion of 1/2 in y 5.279 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (- 1 y)) in y 5.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 5.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.279 * [taylor]: Taking taylor expansion of y in y 5.279 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.279 * [taylor]: Taking taylor expansion of 1 in y 5.280 * [taylor]: Taking taylor expansion of y in y 5.280 * [taylor]: Taking taylor expansion of (* 1/2 (* (- 1/2 (+ (* 1/4 y) (* 1/4 (/ 1 y)))) (sqrt (/ 1 y)))) in y 5.280 * [taylor]: Taking taylor expansion of 1/2 in y 5.280 * [taylor]: Taking taylor expansion of (* (- 1/2 (+ (* 1/4 y) (* 1/4 (/ 1 y)))) (sqrt (/ 1 y))) in y 5.280 * [taylor]: Taking taylor expansion of (- 1/2 (+ (* 1/4 y) (* 1/4 (/ 1 y)))) in y 5.280 * [taylor]: Taking taylor expansion of 1/2 in y 5.280 * [taylor]: Taking taylor expansion of (+ (* 1/4 y) (* 1/4 (/ 1 y))) in y 5.280 * [taylor]: Taking taylor expansion of (* 1/4 y) in y 5.280 * [taylor]: Taking taylor expansion of 1/4 in y 5.280 * [taylor]: Taking taylor expansion of y in y 5.280 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 y)) in y 5.280 * [taylor]: Taking taylor expansion of 1/4 in y 5.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.280 * [taylor]: Taking taylor expansion of y in y 5.280 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 5.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.280 * [taylor]: Taking taylor expansion of y in y 5.281 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in (x y) around 0 5.281 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in y 5.281 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 5.281 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.281 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.281 * [taylor]: Taking taylor expansion of x in y 5.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.282 * [taylor]: Taking taylor expansion of y in y 5.282 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.282 * [taylor]: Taking taylor expansion of (* x y) in y 5.282 * [taylor]: Taking taylor expansion of x in y 5.282 * [taylor]: Taking taylor expansion of y in y 5.282 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 5.282 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.282 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.282 * [taylor]: Taking taylor expansion of y in x 5.282 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.282 * [taylor]: Taking taylor expansion of (* x y) in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.282 * [taylor]: Taking taylor expansion of y in x 5.282 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))) in x 5.282 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.282 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.282 * [taylor]: Taking taylor expansion of y in x 5.282 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.282 * [taylor]: Taking taylor expansion of (* x y) in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.282 * [taylor]: Taking taylor expansion of y in x 5.283 * [taylor]: Taking taylor expansion of 0 in y 5.283 * [taylor]: Taking taylor expansion of (* NAN (- 1 (/ 1 y))) in y 5.283 * [taylor]: Taking taylor expansion of NAN in y 5.283 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.283 * [taylor]: Taking taylor expansion of 1 in y 5.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.283 * [taylor]: Taking taylor expansion of y in y 5.283 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) (+ (/ (pow NAN 2) (pow y 2)) (pow NAN 2)))) in y 5.283 * [taylor]: Taking taylor expansion of NAN in y 5.283 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) (+ (/ (pow NAN 2) (pow y 2)) (pow NAN 2))) in y 5.283 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) in y 5.283 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) y)) in y 5.283 * [taylor]: Taking taylor expansion of 2 in y 5.283 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) y) in y 5.283 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.283 * [taylor]: Taking taylor expansion of NAN in y 5.283 * [taylor]: Taking taylor expansion of y in y 5.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.283 * [taylor]: Taking taylor expansion of y in y 5.284 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow y 2)) (pow NAN 2)) in y 5.284 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in y 5.284 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.284 * [taylor]: Taking taylor expansion of NAN in y 5.284 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.284 * [taylor]: Taking taylor expansion of y in y 5.284 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.284 * [taylor]: Taking taylor expansion of NAN in y 5.285 * [approximate]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in (x y) around 0 5.285 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in y 5.285 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 5.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 5.285 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.285 * [taylor]: Taking taylor expansion of (* x y) in y 5.285 * [taylor]: Taking taylor expansion of x in y 5.285 * [taylor]: Taking taylor expansion of y in y 5.285 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.285 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.285 * [taylor]: Taking taylor expansion of x in y 5.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.285 * [taylor]: Taking taylor expansion of y in y 5.285 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 5.286 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.286 * [taylor]: Taking taylor expansion of (* x y) in x 5.286 * [taylor]: Taking taylor expansion of x in x 5.286 * [taylor]: Taking taylor expansion of y in x 5.286 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.286 * [taylor]: Taking taylor expansion of x in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.286 * [taylor]: Taking taylor expansion of y in x 5.286 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))) in x 5.286 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.286 * [taylor]: Taking taylor expansion of (* x y) in x 5.286 * [taylor]: Taking taylor expansion of x in x 5.286 * [taylor]: Taking taylor expansion of y in x 5.286 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.286 * [taylor]: Taking taylor expansion of x in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.286 * [taylor]: Taking taylor expansion of y in x 5.286 * [taylor]: Taking taylor expansion of 0 in y 5.286 * [taylor]: Taking taylor expansion of (* NAN (+ 1 (/ 1 y))) in y 5.287 * [taylor]: Taking taylor expansion of NAN in y 5.287 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 5.287 * [taylor]: Taking taylor expansion of 1 in y 5.287 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.287 * [taylor]: Taking taylor expansion of y in y 5.287 * [taylor]: Taking taylor expansion of (* NAN (+ (pow NAN 2) (+ (/ (pow NAN 2) (pow y 2)) (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y))))) in y 5.287 * [taylor]: Taking taylor expansion of NAN in y 5.287 * [taylor]: Taking taylor expansion of (+ (pow NAN 2) (+ (/ (pow NAN 2) (pow y 2)) (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)))) in y 5.287 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.287 * [taylor]: Taking taylor expansion of NAN in y 5.287 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow y 2)) (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y))) in y 5.287 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in y 5.287 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.287 * [taylor]: Taking taylor expansion of NAN in y 5.287 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.287 * [taylor]: Taking taylor expansion of y in y 5.287 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) y)) (/ 1 y)) in y 5.287 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) y)) in y 5.287 * [taylor]: Taking taylor expansion of 2 in y 5.287 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) y) in y 5.287 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 5.287 * [taylor]: Taking taylor expansion of NAN in y 5.287 * [taylor]: Taking taylor expansion of y in y 5.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.288 * [taylor]: Taking taylor expansion of y in y 5.289 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 5.289 * [approximate]: Taking taylor expansion of (- (+ x y) (* x y)) in (x y) around 0 5.289 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 5.289 * [taylor]: Taking taylor expansion of (+ x y) in y 5.289 * [taylor]: Taking taylor expansion of x in y 5.289 * [taylor]: Taking taylor expansion of y in y 5.289 * [taylor]: Taking taylor expansion of (* x y) in y 5.289 * [taylor]: Taking taylor expansion of x in y 5.289 * [taylor]: Taking taylor expansion of y in y 5.289 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.289 * [taylor]: Taking taylor expansion of (+ x y) in x 5.289 * [taylor]: Taking taylor expansion of x in x 5.289 * [taylor]: Taking taylor expansion of y in x 5.289 * [taylor]: Taking taylor expansion of (* x y) in x 5.289 * [taylor]: Taking taylor expansion of x in x 5.289 * [taylor]: Taking taylor expansion of y in x 5.289 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 5.289 * [taylor]: Taking taylor expansion of (+ x y) in x 5.289 * [taylor]: Taking taylor expansion of x in x 5.289 * [taylor]: Taking taylor expansion of y in x 5.289 * [taylor]: Taking taylor expansion of (* x y) in x 5.289 * [taylor]: Taking taylor expansion of x in x 5.289 * [taylor]: Taking taylor expansion of y in x 5.289 * [taylor]: Taking taylor expansion of y in y 5.289 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.289 * [taylor]: Taking taylor expansion of 1 in y 5.289 * [taylor]: Taking taylor expansion of y in y 5.290 * [taylor]: Taking taylor expansion of 0 in y 5.290 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in (x y) around 0 5.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y 5.290 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.290 * [taylor]: Taking taylor expansion of x in y 5.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.290 * [taylor]: Taking taylor expansion of y in y 5.290 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.290 * [taylor]: Taking taylor expansion of (* x y) in y 5.290 * [taylor]: Taking taylor expansion of x in y 5.290 * [taylor]: Taking taylor expansion of y in y 5.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.290 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.290 * [taylor]: Taking taylor expansion of x in x 5.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.290 * [taylor]: Taking taylor expansion of y in x 5.290 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.290 * [taylor]: Taking taylor expansion of (* x y) in x 5.290 * [taylor]: Taking taylor expansion of x in x 5.290 * [taylor]: Taking taylor expansion of y in x 5.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x 5.290 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.290 * [taylor]: Taking taylor expansion of x in x 5.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.290 * [taylor]: Taking taylor expansion of y in x 5.290 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.290 * [taylor]: Taking taylor expansion of (* x y) in x 5.290 * [taylor]: Taking taylor expansion of x in x 5.291 * [taylor]: Taking taylor expansion of y in x 5.291 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.291 * [taylor]: Taking taylor expansion of 1 in y 5.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.291 * [taylor]: Taking taylor expansion of y in y 5.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.291 * [taylor]: Taking taylor expansion of y in y 5.291 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 5.291 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y 5.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y 5.291 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.291 * [taylor]: Taking taylor expansion of (* x y) in y 5.291 * [taylor]: Taking taylor expansion of x in y 5.291 * [taylor]: Taking taylor expansion of y in y 5.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 5.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.292 * [taylor]: Taking taylor expansion of x in y 5.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.292 * [taylor]: Taking taylor expansion of y in y 5.292 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.292 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.292 * [taylor]: Taking taylor expansion of (* x y) in x 5.292 * [taylor]: Taking taylor expansion of x in x 5.292 * [taylor]: Taking taylor expansion of y in x 5.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.292 * [taylor]: Taking taylor expansion of x in x 5.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.292 * [taylor]: Taking taylor expansion of y in x 5.292 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x 5.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x 5.292 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.292 * [taylor]: Taking taylor expansion of (* x y) in x 5.292 * [taylor]: Taking taylor expansion of x in x 5.292 * [taylor]: Taking taylor expansion of y in x 5.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 5.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.292 * [taylor]: Taking taylor expansion of x in x 5.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.292 * [taylor]: Taking taylor expansion of y in x 5.292 * [taylor]: Taking taylor expansion of (neg (+ 1 (/ 1 y))) in y 5.292 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 5.292 * [taylor]: Taking taylor expansion of 1 in y 5.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.292 * [taylor]: Taking taylor expansion of y in y 5.293 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 5.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.293 * [taylor]: Taking taylor expansion of y in y 5.293 * * * [progress]: simplifying candidates 5.295 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (+ 1 1) (+ (log (sqrt (- (+ x y) (* x y)))) (log (sqrt (- (+ x y) (* x y))))) (log (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (exp (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (* (* (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (* (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y))))) (* (cbrt (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (cbrt (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))))) (cbrt (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (* (* (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (sqrt (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (sqrt (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y))))) (* (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (sqrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (sqrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))) (* (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))) (* (sqrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (sqrt (+ (+ x y) (* x y)))) (* (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (sqrt (+ (+ x y) (* x y))) (sqrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))) (* (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))) (* (sqrt (+ (+ x y) (* x y))) (sqrt (+ (+ x y) (* x y)))) (* (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* 1 1) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (- (+ x y) (* x y))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))) (* (sqrt (- (+ x y) (* x y))) (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))) (* (sqrt (- (+ x y) (* x y))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (- (+ x y) (* x y))) (sqrt 1)) (* (sqrt (- (+ x y) (* x y))) (sqrt (sqrt (- (+ x y) (* x y))))) (* (sqrt (- (+ x y) (* x y))) 1) (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))) (* (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (log (sqrt (- (+ x y) (* x y)))) (exp (sqrt (- (+ x y) (* x y)))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (cbrt (sqrt (- (+ x y) (* x y)))) (* (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt 1) (sqrt (- (+ x y) (* x y))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (+ (+ x y) (* x y))) (/ 1 2) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (log (sqrt (- (+ x y) (* x y)))) (exp (sqrt (- (+ x y) (* x y)))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (cbrt (sqrt (- (+ x y) (* x y)))) (* (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt 1) (sqrt (- (+ x y) (* x y))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (+ (+ x y) (* x y))) (/ 1 2) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (/ (* (exp x) (exp y)) (exp (* x y))) (/ (exp (+ x y)) (exp (* 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))) (* (* (- (+ 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) 3) (pow (* x y) 3)) (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))) (neg (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (* x y))) (+ (+ x y) (* x y)) (- y (* x y)) (neg (* x y)) (- (+ y x) (* x y)) (- (+ x y) (* x y)) (- (+ (* 5 (/ (pow NAN 6) (pow x 2))) (pow NAN 2)) (* 2 (/ (pow NAN 4) x))) (- (+ (* 1/2 (* x NAN)) (+ (* NAN y) (* 1/4 (* (pow x 2) NAN)))) (* 1/8 (* (pow x 2) (pow NAN 3)))) (- (+ (/ (* NAN y) x) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (* NAN y)) (- (+ (/ (* NAN y) x) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (* NAN y)) (- (+ (* 1/2 (* x NAN)) (+ (* NAN y) (* 1/4 (* (pow x 2) NAN)))) (* 1/8 (* (pow x 2) (pow NAN 3)))) (- (+ (/ (* NAN y) x) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (* NAN y)) (- (+ (/ (* NAN y) x) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (* NAN y)) (- (+ y x) (* x y)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) 5.300 * * [simplify]: iteration 0 : 129 enodes (cost 2147 ) 5.319 * * [simplify]: iteration 1 : 284 enodes (cost 1568 ) 5.373 * * [simplify]: iteration 2 : 947 enodes (cost 1458 ) 5.626 * * [simplify]: iteration 3 : 3968 enodes (cost 1403 ) 6.297 * * [simplify]: iteration done : 5000 enodes (cost 1403 ) 6.297 * [simplify]: Simplified to: 1 1 2 1 1 (pow (sqrt (+ x (- y (* x y)))) 4) (+ x (- y (* x y))) (pow (sqrt (+ x (- y (* x y)))) 4) 2 (log (+ x (- y (* x y)))) (log (+ x (- y (* x y)))) (exp (+ x (- y (* x y)))) (pow (+ x (- y (* x y))) 3) (* (cbrt (+ x (- y (* x y)))) (cbrt (+ x (- y (* x y))))) (cbrt (+ x (- y (* x y)))) (pow (+ x (- y (* x y))) 3) (pow (sqrt (+ x (- y (* x y)))) 4) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (* (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (sqrt (+ (+ x y) (* x y))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (* (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (sqrt (+ (+ x y) (* x y))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (* (+ (* x y) (+ x y)) (+ x (- y (* x y)))) (+ (* x y) (+ x y)) (pow (cbrt (sqrt (+ x (- y (* x y))))) 4) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (* (cbrt (+ x (- y (* x y)))) (cbrt (+ x (- y (* x y))))) (cbrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) 1 (+ x (- y (* x y))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) 1 (+ x (- y (* x y))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) (sqrt (+ x (- y (* x y)))) 1 2 1 (* (cbrt (sqrt (- (+ x y) (* x y)))) (pow (cbrt (sqrt (+ x (- y (* x y))))) 4)) (* (sqrt (- (+ x y) (* x y))) (fabs (cbrt (+ x (- y (* x y)))))) (pow (sqrt (sqrt (- (+ x y) (* x y)))) 3) (sqrt (+ x (- y (* x y)))) (pow (sqrt (sqrt (- (+ x y) (* x y)))) 3) (sqrt (+ x (- y (* x y)))) (pow (cbrt (sqrt (+ x (- y (* x y))))) 4) (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (pow (sqrt (sqrt (- (+ x y) (* x y)))) 3) (+ x (- y (* x y))) (pow (sqrt (sqrt (- (+ x y) (* x y)))) 3) (+ x (- y (* x y))) (* (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (- (+ x y) (* x y)))) (* (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (- (+ x y) (* x y)))) (log (sqrt (+ x (- y (* x y))))) (exp (sqrt (- (+ x y) (* x y)))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (cbrt (sqrt (- (+ x y) (* x y)))) (pow (sqrt (+ x (- y (* x y)))) 3) (fabs (cbrt (+ x (- y (* x y))))) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) 1 (sqrt (+ x (- y (* x y)))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (+ (+ x y) (* x y))) 1/2 (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (log (sqrt (+ x (- y (* x y))))) (exp (sqrt (- (+ x y) (* x y)))) (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y))))) (cbrt (sqrt (- (+ x y) (* x y)))) (pow (sqrt (+ x (- y (* x y)))) 3) (fabs (cbrt (+ x (- y (* x y))))) (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) 1 (sqrt (+ x (- y (* x y)))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (sqrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (sqrt (+ (+ x y) (* x y))) 1/2 (sqrt (sqrt (- (+ x y) (* x y)))) (sqrt (sqrt (- (+ x y) (* x y)))) (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) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (neg (* x y)) (* (+ (* x y) (+ x y)) (+ x (- y (* x y)))) (+ (* x y) (+ x y)) (- y (* x y)) (neg (* x y)) (+ x (- y (* x y))) (+ x (- y (* x y))) (- (+ (* 5 (/ (pow NAN 6) (pow x 2))) (pow NAN 2)) (* 2 (/ (pow NAN 4) x))) (+ (* (pow x 2) (- (* NAN 1/4) (* (pow NAN 3) 1/8))) (* NAN (+ (* 1/2 x) y))) (+ (* y (- (/ NAN x) NAN)) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (+ (* y (- (/ NAN x) NAN)) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (+ (* (pow x 2) (- (* NAN 1/4) (* (pow NAN 3) 1/8))) (* NAN (+ (* 1/2 x) y))) (+ (* y (- (/ NAN x) NAN)) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (+ (* y (- (/ NAN x) NAN)) (+ NAN (* 2 (/ (* (pow NAN 3) y) x)))) (+ x (- y (* x y))) (+ x (- y (* x y))) (+ x (- y (* x y))) 6.298 * * * [progress]: adding candidates to table 6.386 * [progress]: [Phase 3 of 3] Extracting. 6.386 * * [regime]: Finding splitpoints for: (# # #) 6.387 * * * [regime-changes]: Trying 3 branch expressions: ((- (+ x y) (* x y)) y x) 6.387 * * * * [regimes]: Trying to branch on (- (+ x y) (* x y)) from (# # #) 6.425 * * * * [regimes]: Trying to branch on y from (# # #) 6.460 * * * * [regimes]: Trying to branch on x from (# # #) 6.496 * * * [regime]: Found split indices: #