20.994 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying using # : (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) 0.040 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.041 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.044 * * [simplify]: iteration 2 : 67 enodes (cost 9 ) 0.059 * * [simplify]: iteration 3 : 154 enodes (cost 7 ) 0.156 * * [simplify]: iteration 4 : 533 enodes (cost 5 ) 1.463 * * [simplify]: iteration 5 : 2197 enodes (cost 5 ) 5.611 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 5.611 * [simplify]: Simplified to: (* (- x z) y) 5.616 * * [progress]: iteration 1 / 4 5.616 * * * [progress]: picking best candidate 5.618 * * * * [pick]: Picked # 5.618 * * * [progress]: localizing error 5.622 * * * [progress]: generating rewritten candidates 5.622 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.630 * * * [progress]: generating series expansions 5.630 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.630 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0 5.630 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 5.630 * [taylor]: Taking taylor expansion of (- x z) in y 5.630 * [taylor]: Taking taylor expansion of x in y 5.630 * [taylor]: Taking taylor expansion of z in y 5.630 * [taylor]: Taking taylor expansion of y in y 5.630 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 5.630 * [taylor]: Taking taylor expansion of (- x z) in z 5.630 * [taylor]: Taking taylor expansion of x in z 5.630 * [taylor]: Taking taylor expansion of z in z 5.630 * [taylor]: Taking taylor expansion of y in z 5.630 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 5.630 * [taylor]: Taking taylor expansion of (- x z) in x 5.630 * [taylor]: Taking taylor expansion of x in x 5.630 * [taylor]: Taking taylor expansion of z in x 5.630 * [taylor]: Taking taylor expansion of y in x 5.630 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 5.630 * [taylor]: Taking taylor expansion of (- x z) in x 5.630 * [taylor]: Taking taylor expansion of x in x 5.630 * [taylor]: Taking taylor expansion of z in x 5.630 * [taylor]: Taking taylor expansion of y in x 5.630 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 5.630 * [taylor]: Taking taylor expansion of -1 in z 5.630 * [taylor]: Taking taylor expansion of (* z y) in z 5.630 * [taylor]: Taking taylor expansion of z in z 5.630 * [taylor]: Taking taylor expansion of y in z 5.630 * [taylor]: Taking taylor expansion of 0 in y 5.630 * [taylor]: Taking taylor expansion of y in z 5.630 * [taylor]: Taking taylor expansion of y in y 5.631 * [taylor]: Taking taylor expansion of (neg y) in y 5.631 * [taylor]: Taking taylor expansion of y in y 5.631 * [taylor]: Taking taylor expansion of 0 in z 5.631 * [taylor]: Taking taylor expansion of 0 in y 5.631 * [taylor]: Taking taylor expansion of 0 in y 5.631 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 5.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 5.631 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.631 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.631 * [taylor]: Taking taylor expansion of x in y 5.631 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.631 * [taylor]: Taking taylor expansion of z in y 5.631 * [taylor]: Taking taylor expansion of y in y 5.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 5.631 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.631 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.631 * [taylor]: Taking taylor expansion of x in z 5.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.631 * [taylor]: Taking taylor expansion of z in z 5.631 * [taylor]: Taking taylor expansion of y in z 5.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 5.631 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.631 * [taylor]: Taking taylor expansion of x in x 5.631 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.631 * [taylor]: Taking taylor expansion of z in x 5.632 * [taylor]: Taking taylor expansion of y in x 5.632 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 5.632 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.632 * [taylor]: Taking taylor expansion of x in x 5.632 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.632 * [taylor]: Taking taylor expansion of z in x 5.632 * [taylor]: Taking taylor expansion of y in x 5.632 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.632 * [taylor]: Taking taylor expansion of y in z 5.632 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in z 5.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.632 * [taylor]: Taking taylor expansion of (* z y) in z 5.632 * [taylor]: Taking taylor expansion of z in z 5.632 * [taylor]: Taking taylor expansion of y in z 5.632 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 5.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.632 * [taylor]: Taking taylor expansion of y in y 5.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.632 * [taylor]: Taking taylor expansion of y in y 5.633 * [taylor]: Taking taylor expansion of 0 in z 5.633 * [taylor]: Taking taylor expansion of 0 in y 5.633 * [taylor]: Taking taylor expansion of 0 in y 5.633 * [taylor]: Taking taylor expansion of 0 in z 5.633 * [taylor]: Taking taylor expansion of 0 in y 5.633 * [taylor]: Taking taylor expansion of 0 in y 5.633 * [taylor]: Taking taylor expansion of 0 in y 5.634 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 5.634 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 5.634 * [taylor]: Taking taylor expansion of -1 in y 5.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 5.634 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.634 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.634 * [taylor]: Taking taylor expansion of z in y 5.634 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.634 * [taylor]: Taking taylor expansion of x in y 5.634 * [taylor]: Taking taylor expansion of y in y 5.634 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 5.634 * [taylor]: Taking taylor expansion of -1 in z 5.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 5.634 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.634 * [taylor]: Taking taylor expansion of z in z 5.634 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.634 * [taylor]: Taking taylor expansion of x in z 5.634 * [taylor]: Taking taylor expansion of y in z 5.634 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 5.634 * [taylor]: Taking taylor expansion of -1 in x 5.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 5.634 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.634 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.634 * [taylor]: Taking taylor expansion of z in x 5.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.634 * [taylor]: Taking taylor expansion of x in x 5.635 * [taylor]: Taking taylor expansion of y in x 5.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 5.635 * [taylor]: Taking taylor expansion of -1 in x 5.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 5.635 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.635 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.635 * [taylor]: Taking taylor expansion of z in x 5.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.635 * [taylor]: Taking taylor expansion of x in x 5.635 * [taylor]: Taking taylor expansion of y in x 5.635 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.635 * [taylor]: Taking taylor expansion of y in z 5.635 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in z 5.635 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.635 * [taylor]: Taking taylor expansion of (* z y) in z 5.635 * [taylor]: Taking taylor expansion of z in z 5.635 * [taylor]: Taking taylor expansion of y in z 5.635 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 5.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.635 * [taylor]: Taking taylor expansion of y in y 5.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.635 * [taylor]: Taking taylor expansion of y in y 5.636 * [taylor]: Taking taylor expansion of 0 in z 5.636 * [taylor]: Taking taylor expansion of 0 in y 5.636 * [taylor]: Taking taylor expansion of 0 in y 5.636 * [taylor]: Taking taylor expansion of 0 in z 5.636 * [taylor]: Taking taylor expansion of 0 in y 5.636 * [taylor]: Taking taylor expansion of 0 in y 5.637 * [taylor]: Taking taylor expansion of 0 in y 5.637 * * * [progress]: simplifying candidates 5.637 * [simplify]: Simplifying using # : (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 5.639 * * [simplify]: iteration 0 : 49 enodes (cost 185 ) 5.645 * * [simplify]: iteration 1 : 105 enodes (cost 178 ) 5.669 * * [simplify]: iteration 2 : 344 enodes (cost 158 ) 6.070 * * [simplify]: iteration 3 : 1203 enodes (cost 158 ) 6.971 * * [simplify]: iteration 4 : 2888 enodes (cost 158 ) 8.465 * * [simplify]: iteration done : 5000 enodes (cost 158 ) 8.465 * [simplify]: Simplified to: (* (- x z) y) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (* (- x z) y) (* (- x z) y) 8.466 * * * [progress]: adding candidates to table 8.487 * * [progress]: iteration 2 / 4 8.487 * * * [progress]: picking best candidate 8.493 * * * * [pick]: Picked # 8.493 * * * [progress]: localizing error 8.501 * * * [progress]: generating rewritten candidates 8.501 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 8.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 8.515 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.530 * * * [progress]: generating series expansions 8.530 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 8.530 * [approximate]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in (x z y) around 0 8.530 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in y 8.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in y 8.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in y 8.530 * [taylor]: Taking taylor expansion of 1/3 in y 8.530 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in y 8.530 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 8.530 * [taylor]: Taking taylor expansion of (- x z) in y 8.531 * [taylor]: Taking taylor expansion of x in y 8.531 * [taylor]: Taking taylor expansion of z in y 8.531 * [taylor]: Taking taylor expansion of y in y 8.531 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in z 8.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in z 8.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in z 8.531 * [taylor]: Taking taylor expansion of 1/3 in z 8.531 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in z 8.531 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 8.531 * [taylor]: Taking taylor expansion of (- x z) in z 8.531 * [taylor]: Taking taylor expansion of x in z 8.531 * [taylor]: Taking taylor expansion of z in z 8.531 * [taylor]: Taking taylor expansion of y in z 8.531 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in x 8.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in x 8.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in x 8.531 * [taylor]: Taking taylor expansion of 1/3 in x 8.531 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in x 8.531 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.531 * [taylor]: Taking taylor expansion of (- x z) in x 8.531 * [taylor]: Taking taylor expansion of x in x 8.531 * [taylor]: Taking taylor expansion of z in x 8.531 * [taylor]: Taking taylor expansion of y in x 8.531 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in x 8.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in x 8.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in x 8.531 * [taylor]: Taking taylor expansion of 1/3 in x 8.532 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in x 8.532 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.532 * [taylor]: Taking taylor expansion of (- x z) in x 8.532 * [taylor]: Taking taylor expansion of x in x 8.532 * [taylor]: Taking taylor expansion of z in x 8.532 * [taylor]: Taking taylor expansion of y in x 8.532 * [taylor]: Taking taylor expansion of (pow (* -1 (* z y)) 1/3) in z 8.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* z y))))) in z 8.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* z y)))) in z 8.532 * [taylor]: Taking taylor expansion of 1/3 in z 8.532 * [taylor]: Taking taylor expansion of (log (* -1 (* z y))) in z 8.532 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 8.532 * [taylor]: Taking taylor expansion of -1 in z 8.532 * [taylor]: Taking taylor expansion of (* z y) in z 8.532 * [taylor]: Taking taylor expansion of z in z 8.532 * [taylor]: Taking taylor expansion of y in z 8.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg y)) (log z)))) in y 8.532 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg y)) (log z))) in y 8.532 * [taylor]: Taking taylor expansion of 1/3 in y 8.532 * [taylor]: Taking taylor expansion of (+ (log (neg y)) (log z)) in y 8.532 * [taylor]: Taking taylor expansion of (log (neg y)) in y 8.532 * [taylor]: Taking taylor expansion of (neg y) in y 8.532 * [taylor]: Taking taylor expansion of y in y 8.532 * [taylor]: Taking taylor expansion of (log z) in y 8.532 * [taylor]: Taking taylor expansion of z in y 8.533 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 y) (pow z 2)) 1/3)) in z 8.533 * [taylor]: Taking taylor expansion of -1/3 in z 8.533 * [taylor]: Taking taylor expansion of (pow (/ (* -1 y) (pow z 2)) 1/3) in z 8.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 y) (pow z 2))))) in z 8.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 y) (pow z 2)))) in z 8.533 * [taylor]: Taking taylor expansion of 1/3 in z 8.533 * [taylor]: Taking taylor expansion of (log (/ (* -1 y) (pow z 2))) in z 8.533 * [taylor]: Taking taylor expansion of (/ (* -1 y) (pow z 2)) in z 8.533 * [taylor]: Taking taylor expansion of (* -1 y) in z 8.533 * [taylor]: Taking taylor expansion of -1 in z 8.533 * [taylor]: Taking taylor expansion of y in z 8.533 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.533 * [taylor]: Taking taylor expansion of z in z 8.534 * [taylor]: Taking taylor expansion of (* -1/3 (exp (* 1/3 (- (log (* -1 y)) (* 2 (log z)))))) in y 8.534 * [taylor]: Taking taylor expansion of -1/3 in y 8.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 y)) (* 2 (log z))))) in y 8.534 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 y)) (* 2 (log z)))) in y 8.534 * [taylor]: Taking taylor expansion of 1/3 in y 8.534 * [taylor]: Taking taylor expansion of (- (log (* -1 y)) (* 2 (log z))) in y 8.534 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 8.534 * [taylor]: Taking taylor expansion of (* -1 y) in y 8.534 * [taylor]: Taking taylor expansion of -1 in y 8.534 * [taylor]: Taking taylor expansion of y in y 8.534 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 8.534 * [taylor]: Taking taylor expansion of 2 in y 8.534 * [taylor]: Taking taylor expansion of (log z) in y 8.534 * [taylor]: Taking taylor expansion of z in y 8.535 * [taylor]: Taking taylor expansion of 0 in y 8.536 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 y) (pow z 5)) 1/3)) in z 8.536 * [taylor]: Taking taylor expansion of -1/9 in z 8.536 * [taylor]: Taking taylor expansion of (pow (/ (* -1 y) (pow z 5)) 1/3) in z 8.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 y) (pow z 5))))) in z 8.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 y) (pow z 5)))) in z 8.536 * [taylor]: Taking taylor expansion of 1/3 in z 8.536 * [taylor]: Taking taylor expansion of (log (/ (* -1 y) (pow z 5))) in z 8.536 * [taylor]: Taking taylor expansion of (/ (* -1 y) (pow z 5)) in z 8.536 * [taylor]: Taking taylor expansion of (* -1 y) in z 8.536 * [taylor]: Taking taylor expansion of -1 in z 8.536 * [taylor]: Taking taylor expansion of y in z 8.536 * [taylor]: Taking taylor expansion of (pow z 5) in z 8.536 * [taylor]: Taking taylor expansion of z in z 8.537 * [taylor]: Taking taylor expansion of (* -1/9 (exp (* 1/3 (- (log (* -1 y)) (* 5 (log z)))))) in y 8.537 * [taylor]: Taking taylor expansion of -1/9 in y 8.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 y)) (* 5 (log z))))) in y 8.537 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 y)) (* 5 (log z)))) in y 8.537 * [taylor]: Taking taylor expansion of 1/3 in y 8.537 * [taylor]: Taking taylor expansion of (- (log (* -1 y)) (* 5 (log z))) in y 8.537 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 8.537 * [taylor]: Taking taylor expansion of (* -1 y) in y 8.537 * [taylor]: Taking taylor expansion of -1 in y 8.537 * [taylor]: Taking taylor expansion of y in y 8.537 * [taylor]: Taking taylor expansion of (* 5 (log z)) in y 8.537 * [taylor]: Taking taylor expansion of 5 in y 8.537 * [taylor]: Taking taylor expansion of (log z) in y 8.537 * [taylor]: Taking taylor expansion of z in y 8.538 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in (x z y) around 0 8.538 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in y 8.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in y 8.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in y 8.538 * [taylor]: Taking taylor expansion of 1/3 in y 8.538 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in y 8.538 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.538 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.538 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.538 * [taylor]: Taking taylor expansion of x in y 8.538 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.538 * [taylor]: Taking taylor expansion of z in y 8.538 * [taylor]: Taking taylor expansion of y in y 8.539 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in z 8.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in z 8.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in z 8.539 * [taylor]: Taking taylor expansion of 1/3 in z 8.539 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in z 8.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 8.539 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.539 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.539 * [taylor]: Taking taylor expansion of x in z 8.539 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.539 * [taylor]: Taking taylor expansion of z in z 8.539 * [taylor]: Taking taylor expansion of y in z 8.539 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in x 8.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in x 8.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in x 8.539 * [taylor]: Taking taylor expansion of 1/3 in x 8.539 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in x 8.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.539 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.539 * [taylor]: Taking taylor expansion of x in x 8.539 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.540 * [taylor]: Taking taylor expansion of z in x 8.540 * [taylor]: Taking taylor expansion of y in x 8.540 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in x 8.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in x 8.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in x 8.540 * [taylor]: Taking taylor expansion of 1/3 in x 8.540 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in x 8.540 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.540 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.540 * [taylor]: Taking taylor expansion of x in x 8.540 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.540 * [taylor]: Taking taylor expansion of z in x 8.540 * [taylor]: Taking taylor expansion of y in x 8.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.540 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.540 * [taylor]: Taking taylor expansion of 1/3 in z 8.540 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.540 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.540 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.540 * [taylor]: Taking taylor expansion of y in z 8.540 * [taylor]: Taking taylor expansion of (log x) in z 8.540 * [taylor]: Taking taylor expansion of x in z 8.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 8.541 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 8.541 * [taylor]: Taking taylor expansion of 1/3 in y 8.541 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 8.541 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.541 * [taylor]: Taking taylor expansion of y in y 8.541 * [taylor]: Taking taylor expansion of (log x) in y 8.541 * [taylor]: Taking taylor expansion of x in y 8.542 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) z)) in z 8.542 * [taylor]: Taking taylor expansion of -1/3 in z 8.542 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) z) in z 8.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.542 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.542 * [taylor]: Taking taylor expansion of 1/3 in z 8.542 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.542 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.542 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.542 * [taylor]: Taking taylor expansion of y in z 8.542 * [taylor]: Taking taylor expansion of (log x) in z 8.542 * [taylor]: Taking taylor expansion of x in z 8.542 * [taylor]: Taking taylor expansion of z in z 8.543 * [taylor]: Taking taylor expansion of 0 in y 8.543 * [taylor]: Taking taylor expansion of 0 in y 8.545 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (pow z 2))) in z 8.545 * [taylor]: Taking taylor expansion of -1/9 in z 8.545 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (pow z 2)) in z 8.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.545 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.545 * [taylor]: Taking taylor expansion of 1/3 in z 8.545 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.545 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.545 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.545 * [taylor]: Taking taylor expansion of y in z 8.545 * [taylor]: Taking taylor expansion of (log x) in z 8.545 * [taylor]: Taking taylor expansion of x in z 8.545 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.545 * [taylor]: Taking taylor expansion of z in z 8.547 * [taylor]: Taking taylor expansion of 0 in y 8.548 * [taylor]: Taking taylor expansion of 0 in y 8.549 * [taylor]: Taking taylor expansion of 0 in y 8.549 * [approximate]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in (x z y) around 0 8.549 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in y 8.549 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in y 8.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in y 8.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in y 8.549 * [taylor]: Taking taylor expansion of 1/3 in y 8.549 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in y 8.549 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.549 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.549 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.549 * [taylor]: Taking taylor expansion of z in y 8.549 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.549 * [taylor]: Taking taylor expansion of x in y 8.549 * [taylor]: Taking taylor expansion of y in y 8.550 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.550 * [taylor]: Taking taylor expansion of -1 in y 8.550 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in z 8.550 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in z 8.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in z 8.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in z 8.550 * [taylor]: Taking taylor expansion of 1/3 in z 8.550 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in z 8.550 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 8.550 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.550 * [taylor]: Taking taylor expansion of z in z 8.550 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.550 * [taylor]: Taking taylor expansion of x in z 8.550 * [taylor]: Taking taylor expansion of y in z 8.551 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.551 * [taylor]: Taking taylor expansion of -1 in z 8.551 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in x 8.551 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in x 8.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in x 8.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in x 8.551 * [taylor]: Taking taylor expansion of 1/3 in x 8.551 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.551 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.551 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.551 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.551 * [taylor]: Taking taylor expansion of z in x 8.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.551 * [taylor]: Taking taylor expansion of x in x 8.551 * [taylor]: Taking taylor expansion of y in x 8.551 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.551 * [taylor]: Taking taylor expansion of -1 in x 8.551 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in x 8.551 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in x 8.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in x 8.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in x 8.551 * [taylor]: Taking taylor expansion of 1/3 in x 8.551 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.551 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.551 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.552 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.552 * [taylor]: Taking taylor expansion of z in x 8.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.552 * [taylor]: Taking taylor expansion of x in x 8.552 * [taylor]: Taking taylor expansion of y in x 8.552 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.552 * [taylor]: Taking taylor expansion of -1 in x 8.552 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.552 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.552 * [taylor]: Taking taylor expansion of 1/3 in z 8.552 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.552 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.552 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.552 * [taylor]: Taking taylor expansion of -1 in z 8.552 * [taylor]: Taking taylor expansion of y in z 8.552 * [taylor]: Taking taylor expansion of (log x) in z 8.552 * [taylor]: Taking taylor expansion of x in z 8.553 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.553 * [taylor]: Taking taylor expansion of -1 in z 8.553 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in y 8.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in y 8.553 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in y 8.553 * [taylor]: Taking taylor expansion of 1/3 in y 8.553 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in y 8.553 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.553 * [taylor]: Taking taylor expansion of -1 in y 8.553 * [taylor]: Taking taylor expansion of y in y 8.553 * [taylor]: Taking taylor expansion of (log x) in y 8.553 * [taylor]: Taking taylor expansion of x in y 8.553 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.553 * [taylor]: Taking taylor expansion of -1 in y 8.555 * [taylor]: Taking taylor expansion of (neg (* 1/3 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z))) in z 8.555 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z)) in z 8.555 * [taylor]: Taking taylor expansion of 1/3 in z 8.555 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z) in z 8.555 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.555 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.555 * [taylor]: Taking taylor expansion of 1/3 in z 8.555 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.555 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.555 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.555 * [taylor]: Taking taylor expansion of -1 in z 8.555 * [taylor]: Taking taylor expansion of y in z 8.555 * [taylor]: Taking taylor expansion of (log x) in z 8.555 * [taylor]: Taking taylor expansion of x in z 8.555 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.555 * [taylor]: Taking taylor expansion of -1 in z 8.555 * [taylor]: Taking taylor expansion of z in z 8.556 * [taylor]: Taking taylor expansion of 0 in y 8.557 * [taylor]: Taking taylor expansion of 0 in y 8.560 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2)))) in z 8.560 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2))) in z 8.560 * [taylor]: Taking taylor expansion of 1/9 in z 8.560 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2)) in z 8.560 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.560 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.560 * [taylor]: Taking taylor expansion of 1/3 in z 8.560 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.560 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.560 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.560 * [taylor]: Taking taylor expansion of -1 in z 8.560 * [taylor]: Taking taylor expansion of y in z 8.560 * [taylor]: Taking taylor expansion of (log x) in z 8.560 * [taylor]: Taking taylor expansion of x in z 8.560 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.560 * [taylor]: Taking taylor expansion of -1 in z 8.560 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.560 * [taylor]: Taking taylor expansion of z in z 8.563 * [taylor]: Taking taylor expansion of 0 in y 8.564 * [taylor]: Taking taylor expansion of 0 in y 8.565 * [taylor]: Taking taylor expansion of 0 in y 8.565 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 8.566 * [approximate]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in (x z y) around 0 8.566 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in y 8.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in y 8.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in y 8.566 * [taylor]: Taking taylor expansion of 1/3 in y 8.566 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in y 8.566 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 8.566 * [taylor]: Taking taylor expansion of (- x z) in y 8.566 * [taylor]: Taking taylor expansion of x in y 8.566 * [taylor]: Taking taylor expansion of z in y 8.566 * [taylor]: Taking taylor expansion of y in y 8.566 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in z 8.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in z 8.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in z 8.566 * [taylor]: Taking taylor expansion of 1/3 in z 8.566 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in z 8.566 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 8.566 * [taylor]: Taking taylor expansion of (- x z) in z 8.566 * [taylor]: Taking taylor expansion of x in z 8.566 * [taylor]: Taking taylor expansion of z in z 8.566 * [taylor]: Taking taylor expansion of y in z 8.566 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in x 8.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in x 8.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in x 8.566 * [taylor]: Taking taylor expansion of 1/3 in x 8.566 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in x 8.566 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.566 * [taylor]: Taking taylor expansion of (- x z) in x 8.566 * [taylor]: Taking taylor expansion of x in x 8.566 * [taylor]: Taking taylor expansion of z in x 8.566 * [taylor]: Taking taylor expansion of y in x 8.567 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in x 8.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in x 8.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in x 8.567 * [taylor]: Taking taylor expansion of 1/3 in x 8.567 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in x 8.567 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.567 * [taylor]: Taking taylor expansion of (- x z) in x 8.567 * [taylor]: Taking taylor expansion of x in x 8.567 * [taylor]: Taking taylor expansion of z in x 8.567 * [taylor]: Taking taylor expansion of y in x 8.567 * [taylor]: Taking taylor expansion of (pow (* -1 (* z y)) 1/3) in z 8.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* z y))))) in z 8.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* z y)))) in z 8.567 * [taylor]: Taking taylor expansion of 1/3 in z 8.567 * [taylor]: Taking taylor expansion of (log (* -1 (* z y))) in z 8.567 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 8.567 * [taylor]: Taking taylor expansion of -1 in z 8.567 * [taylor]: Taking taylor expansion of (* z y) in z 8.567 * [taylor]: Taking taylor expansion of z in z 8.567 * [taylor]: Taking taylor expansion of y in z 8.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg y)) (log z)))) in y 8.567 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg y)) (log z))) in y 8.567 * [taylor]: Taking taylor expansion of 1/3 in y 8.567 * [taylor]: Taking taylor expansion of (+ (log (neg y)) (log z)) in y 8.568 * [taylor]: Taking taylor expansion of (log (neg y)) in y 8.568 * [taylor]: Taking taylor expansion of (neg y) in y 8.568 * [taylor]: Taking taylor expansion of y in y 8.568 * [taylor]: Taking taylor expansion of (log z) in y 8.568 * [taylor]: Taking taylor expansion of z in y 8.568 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 y) (pow z 2)) 1/3)) in z 8.568 * [taylor]: Taking taylor expansion of -1/3 in z 8.568 * [taylor]: Taking taylor expansion of (pow (/ (* -1 y) (pow z 2)) 1/3) in z 8.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 y) (pow z 2))))) in z 8.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 y) (pow z 2)))) in z 8.568 * [taylor]: Taking taylor expansion of 1/3 in z 8.568 * [taylor]: Taking taylor expansion of (log (/ (* -1 y) (pow z 2))) in z 8.569 * [taylor]: Taking taylor expansion of (/ (* -1 y) (pow z 2)) in z 8.569 * [taylor]: Taking taylor expansion of (* -1 y) in z 8.569 * [taylor]: Taking taylor expansion of -1 in z 8.569 * [taylor]: Taking taylor expansion of y in z 8.569 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.569 * [taylor]: Taking taylor expansion of z in z 8.569 * [taylor]: Taking taylor expansion of (* -1/3 (exp (* 1/3 (- (log (* -1 y)) (* 2 (log z)))))) in y 8.569 * [taylor]: Taking taylor expansion of -1/3 in y 8.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 y)) (* 2 (log z))))) in y 8.569 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 y)) (* 2 (log z)))) in y 8.569 * [taylor]: Taking taylor expansion of 1/3 in y 8.569 * [taylor]: Taking taylor expansion of (- (log (* -1 y)) (* 2 (log z))) in y 8.569 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 8.569 * [taylor]: Taking taylor expansion of (* -1 y) in y 8.569 * [taylor]: Taking taylor expansion of -1 in y 8.569 * [taylor]: Taking taylor expansion of y in y 8.569 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 8.569 * [taylor]: Taking taylor expansion of 2 in y 8.569 * [taylor]: Taking taylor expansion of (log z) in y 8.569 * [taylor]: Taking taylor expansion of z in y 8.570 * [taylor]: Taking taylor expansion of 0 in y 8.571 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 y) (pow z 5)) 1/3)) in z 8.571 * [taylor]: Taking taylor expansion of -1/9 in z 8.571 * [taylor]: Taking taylor expansion of (pow (/ (* -1 y) (pow z 5)) 1/3) in z 8.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 y) (pow z 5))))) in z 8.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 y) (pow z 5)))) in z 8.571 * [taylor]: Taking taylor expansion of 1/3 in z 8.571 * [taylor]: Taking taylor expansion of (log (/ (* -1 y) (pow z 5))) in z 8.572 * [taylor]: Taking taylor expansion of (/ (* -1 y) (pow z 5)) in z 8.572 * [taylor]: Taking taylor expansion of (* -1 y) in z 8.572 * [taylor]: Taking taylor expansion of -1 in z 8.572 * [taylor]: Taking taylor expansion of y in z 8.572 * [taylor]: Taking taylor expansion of (pow z 5) in z 8.572 * [taylor]: Taking taylor expansion of z in z 8.572 * [taylor]: Taking taylor expansion of (* -1/9 (exp (* 1/3 (- (log (* -1 y)) (* 5 (log z)))))) in y 8.572 * [taylor]: Taking taylor expansion of -1/9 in y 8.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 y)) (* 5 (log z))))) in y 8.572 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 y)) (* 5 (log z)))) in y 8.572 * [taylor]: Taking taylor expansion of 1/3 in y 8.572 * [taylor]: Taking taylor expansion of (- (log (* -1 y)) (* 5 (log z))) in y 8.572 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 8.572 * [taylor]: Taking taylor expansion of (* -1 y) in y 8.572 * [taylor]: Taking taylor expansion of -1 in y 8.572 * [taylor]: Taking taylor expansion of y in y 8.572 * [taylor]: Taking taylor expansion of (* 5 (log z)) in y 8.572 * [taylor]: Taking taylor expansion of 5 in y 8.572 * [taylor]: Taking taylor expansion of (log z) in y 8.572 * [taylor]: Taking taylor expansion of z in y 8.573 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in (x z y) around 0 8.573 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in y 8.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in y 8.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in y 8.573 * [taylor]: Taking taylor expansion of 1/3 in y 8.573 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in y 8.573 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.573 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.573 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.573 * [taylor]: Taking taylor expansion of x in y 8.573 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.573 * [taylor]: Taking taylor expansion of z in y 8.574 * [taylor]: Taking taylor expansion of y in y 8.574 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in z 8.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in z 8.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in z 8.574 * [taylor]: Taking taylor expansion of 1/3 in z 8.574 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in z 8.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 8.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.574 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.574 * [taylor]: Taking taylor expansion of x in z 8.574 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.574 * [taylor]: Taking taylor expansion of z in z 8.574 * [taylor]: Taking taylor expansion of y in z 8.574 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in x 8.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in x 8.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in x 8.574 * [taylor]: Taking taylor expansion of 1/3 in x 8.574 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in x 8.575 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.575 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.575 * [taylor]: Taking taylor expansion of x in x 8.575 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.575 * [taylor]: Taking taylor expansion of z in x 8.575 * [taylor]: Taking taylor expansion of y in x 8.575 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in x 8.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in x 8.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in x 8.575 * [taylor]: Taking taylor expansion of 1/3 in x 8.575 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in x 8.575 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.575 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.575 * [taylor]: Taking taylor expansion of x in x 8.575 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.575 * [taylor]: Taking taylor expansion of z in x 8.575 * [taylor]: Taking taylor expansion of y in x 8.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.575 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.575 * [taylor]: Taking taylor expansion of 1/3 in z 8.575 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.575 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.575 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.575 * [taylor]: Taking taylor expansion of y in z 8.576 * [taylor]: Taking taylor expansion of (log x) in z 8.576 * [taylor]: Taking taylor expansion of x in z 8.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 8.576 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 8.576 * [taylor]: Taking taylor expansion of 1/3 in y 8.576 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 8.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.576 * [taylor]: Taking taylor expansion of y in y 8.576 * [taylor]: Taking taylor expansion of (log x) in y 8.576 * [taylor]: Taking taylor expansion of x in y 8.577 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) z)) in z 8.577 * [taylor]: Taking taylor expansion of -1/3 in z 8.577 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) z) in z 8.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.577 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.577 * [taylor]: Taking taylor expansion of 1/3 in z 8.577 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.577 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.577 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.577 * [taylor]: Taking taylor expansion of y in z 8.577 * [taylor]: Taking taylor expansion of (log x) in z 8.577 * [taylor]: Taking taylor expansion of x in z 8.577 * [taylor]: Taking taylor expansion of z in z 8.578 * [taylor]: Taking taylor expansion of 0 in y 8.579 * [taylor]: Taking taylor expansion of 0 in y 8.580 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (pow z 2))) in z 8.580 * [taylor]: Taking taylor expansion of -1/9 in z 8.580 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (pow z 2)) in z 8.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.580 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.580 * [taylor]: Taking taylor expansion of 1/3 in z 8.580 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.580 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.580 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.580 * [taylor]: Taking taylor expansion of y in z 8.580 * [taylor]: Taking taylor expansion of (log x) in z 8.580 * [taylor]: Taking taylor expansion of x in z 8.580 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.581 * [taylor]: Taking taylor expansion of z in z 8.582 * [taylor]: Taking taylor expansion of 0 in y 8.583 * [taylor]: Taking taylor expansion of 0 in y 8.584 * [taylor]: Taking taylor expansion of 0 in y 8.584 * [approximate]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in (x z y) around 0 8.584 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in y 8.584 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in y 8.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in y 8.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in y 8.584 * [taylor]: Taking taylor expansion of 1/3 in y 8.584 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in y 8.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.584 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.584 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.584 * [taylor]: Taking taylor expansion of z in y 8.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.584 * [taylor]: Taking taylor expansion of x in y 8.584 * [taylor]: Taking taylor expansion of y in y 8.585 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.585 * [taylor]: Taking taylor expansion of -1 in y 8.585 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in z 8.585 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in z 8.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in z 8.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in z 8.585 * [taylor]: Taking taylor expansion of 1/3 in z 8.585 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in z 8.585 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 8.585 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.585 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.585 * [taylor]: Taking taylor expansion of z in z 8.585 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.585 * [taylor]: Taking taylor expansion of x in z 8.585 * [taylor]: Taking taylor expansion of y in z 8.585 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.585 * [taylor]: Taking taylor expansion of -1 in z 8.586 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in x 8.586 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in x 8.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in x 8.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in x 8.586 * [taylor]: Taking taylor expansion of 1/3 in x 8.586 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.586 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.586 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.586 * [taylor]: Taking taylor expansion of z in x 8.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.586 * [taylor]: Taking taylor expansion of x in x 8.586 * [taylor]: Taking taylor expansion of y in x 8.586 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.586 * [taylor]: Taking taylor expansion of -1 in x 8.586 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in x 8.586 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in x 8.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in x 8.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in x 8.586 * [taylor]: Taking taylor expansion of 1/3 in x 8.586 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.586 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.586 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.586 * [taylor]: Taking taylor expansion of z in x 8.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.586 * [taylor]: Taking taylor expansion of x in x 8.586 * [taylor]: Taking taylor expansion of y in x 8.587 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.587 * [taylor]: Taking taylor expansion of -1 in x 8.587 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.587 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.587 * [taylor]: Taking taylor expansion of 1/3 in z 8.587 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.587 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.587 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.587 * [taylor]: Taking taylor expansion of -1 in z 8.587 * [taylor]: Taking taylor expansion of y in z 8.587 * [taylor]: Taking taylor expansion of (log x) in z 8.587 * [taylor]: Taking taylor expansion of x in z 8.587 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.587 * [taylor]: Taking taylor expansion of -1 in z 8.588 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in y 8.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in y 8.588 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in y 8.588 * [taylor]: Taking taylor expansion of 1/3 in y 8.588 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in y 8.588 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.588 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.588 * [taylor]: Taking taylor expansion of -1 in y 8.588 * [taylor]: Taking taylor expansion of y in y 8.588 * [taylor]: Taking taylor expansion of (log x) in y 8.588 * [taylor]: Taking taylor expansion of x in y 8.588 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.588 * [taylor]: Taking taylor expansion of -1 in y 8.589 * [taylor]: Taking taylor expansion of (neg (* 1/3 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z))) in z 8.589 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z)) in z 8.589 * [taylor]: Taking taylor expansion of 1/3 in z 8.589 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z) in z 8.589 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.589 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.589 * [taylor]: Taking taylor expansion of 1/3 in z 8.590 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.590 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.590 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.590 * [taylor]: Taking taylor expansion of -1 in z 8.590 * [taylor]: Taking taylor expansion of y in z 8.590 * [taylor]: Taking taylor expansion of (log x) in z 8.590 * [taylor]: Taking taylor expansion of x in z 8.590 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.590 * [taylor]: Taking taylor expansion of -1 in z 8.590 * [taylor]: Taking taylor expansion of z in z 8.591 * [taylor]: Taking taylor expansion of 0 in y 8.592 * [taylor]: Taking taylor expansion of 0 in y 8.594 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2)))) in z 8.594 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2))) in z 8.594 * [taylor]: Taking taylor expansion of 1/9 in z 8.594 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2)) in z 8.594 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.594 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.594 * [taylor]: Taking taylor expansion of 1/3 in z 8.594 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.594 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.594 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.594 * [taylor]: Taking taylor expansion of -1 in z 8.594 * [taylor]: Taking taylor expansion of y in z 8.594 * [taylor]: Taking taylor expansion of (log x) in z 8.594 * [taylor]: Taking taylor expansion of x in z 8.595 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.595 * [taylor]: Taking taylor expansion of -1 in z 8.595 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.595 * [taylor]: Taking taylor expansion of z in z 8.597 * [taylor]: Taking taylor expansion of 0 in y 8.599 * [taylor]: Taking taylor expansion of 0 in y 8.600 * [taylor]: Taking taylor expansion of 0 in y 8.600 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 8.600 * [approximate]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in (x z y) around 0 8.600 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in y 8.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in y 8.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in y 8.600 * [taylor]: Taking taylor expansion of 1/3 in y 8.600 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in y 8.600 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 8.600 * [taylor]: Taking taylor expansion of (- x z) in y 8.600 * [taylor]: Taking taylor expansion of x in y 8.600 * [taylor]: Taking taylor expansion of z in y 8.600 * [taylor]: Taking taylor expansion of y in y 8.600 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in z 8.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in z 8.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in z 8.600 * [taylor]: Taking taylor expansion of 1/3 in z 8.600 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in z 8.600 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 8.600 * [taylor]: Taking taylor expansion of (- x z) in z 8.600 * [taylor]: Taking taylor expansion of x in z 8.600 * [taylor]: Taking taylor expansion of z in z 8.600 * [taylor]: Taking taylor expansion of y in z 8.601 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in x 8.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in x 8.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in x 8.601 * [taylor]: Taking taylor expansion of 1/3 in x 8.601 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in x 8.601 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.601 * [taylor]: Taking taylor expansion of (- x z) in x 8.601 * [taylor]: Taking taylor expansion of x in x 8.601 * [taylor]: Taking taylor expansion of z in x 8.601 * [taylor]: Taking taylor expansion of y in x 8.601 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 1/3) in x 8.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- x z) y)))) in x 8.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- x z) y))) in x 8.601 * [taylor]: Taking taylor expansion of 1/3 in x 8.601 * [taylor]: Taking taylor expansion of (log (* (- x z) y)) in x 8.601 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 8.601 * [taylor]: Taking taylor expansion of (- x z) in x 8.601 * [taylor]: Taking taylor expansion of x in x 8.601 * [taylor]: Taking taylor expansion of z in x 8.601 * [taylor]: Taking taylor expansion of y in x 8.601 * [taylor]: Taking taylor expansion of (pow (* -1 (* z y)) 1/3) in z 8.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* z y))))) in z 8.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* z y)))) in z 8.601 * [taylor]: Taking taylor expansion of 1/3 in z 8.601 * [taylor]: Taking taylor expansion of (log (* -1 (* z y))) in z 8.601 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 8.601 * [taylor]: Taking taylor expansion of -1 in z 8.601 * [taylor]: Taking taylor expansion of (* z y) in z 8.601 * [taylor]: Taking taylor expansion of z in z 8.601 * [taylor]: Taking taylor expansion of y in z 8.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (neg y)) (log z)))) in y 8.602 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (neg y)) (log z))) in y 8.602 * [taylor]: Taking taylor expansion of 1/3 in y 8.602 * [taylor]: Taking taylor expansion of (+ (log (neg y)) (log z)) in y 8.602 * [taylor]: Taking taylor expansion of (log (neg y)) in y 8.602 * [taylor]: Taking taylor expansion of (neg y) in y 8.602 * [taylor]: Taking taylor expansion of y in y 8.602 * [taylor]: Taking taylor expansion of (log z) in y 8.602 * [taylor]: Taking taylor expansion of z in y 8.603 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ (* -1 y) (pow z 2)) 1/3)) in z 8.603 * [taylor]: Taking taylor expansion of -1/3 in z 8.603 * [taylor]: Taking taylor expansion of (pow (/ (* -1 y) (pow z 2)) 1/3) in z 8.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 y) (pow z 2))))) in z 8.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 y) (pow z 2)))) in z 8.603 * [taylor]: Taking taylor expansion of 1/3 in z 8.603 * [taylor]: Taking taylor expansion of (log (/ (* -1 y) (pow z 2))) in z 8.603 * [taylor]: Taking taylor expansion of (/ (* -1 y) (pow z 2)) in z 8.603 * [taylor]: Taking taylor expansion of (* -1 y) in z 8.603 * [taylor]: Taking taylor expansion of -1 in z 8.603 * [taylor]: Taking taylor expansion of y in z 8.603 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.603 * [taylor]: Taking taylor expansion of z in z 8.603 * [taylor]: Taking taylor expansion of (* -1/3 (exp (* 1/3 (- (log (* -1 y)) (* 2 (log z)))))) in y 8.603 * [taylor]: Taking taylor expansion of -1/3 in y 8.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 y)) (* 2 (log z))))) in y 8.603 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 y)) (* 2 (log z)))) in y 8.603 * [taylor]: Taking taylor expansion of 1/3 in y 8.603 * [taylor]: Taking taylor expansion of (- (log (* -1 y)) (* 2 (log z))) in y 8.603 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 8.603 * [taylor]: Taking taylor expansion of (* -1 y) in y 8.603 * [taylor]: Taking taylor expansion of -1 in y 8.603 * [taylor]: Taking taylor expansion of y in y 8.603 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 8.603 * [taylor]: Taking taylor expansion of 2 in y 8.603 * [taylor]: Taking taylor expansion of (log z) in y 8.603 * [taylor]: Taking taylor expansion of z in y 8.604 * [taylor]: Taking taylor expansion of 0 in y 8.606 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (* -1 y) (pow z 5)) 1/3)) in z 8.606 * [taylor]: Taking taylor expansion of -1/9 in z 8.606 * [taylor]: Taking taylor expansion of (pow (/ (* -1 y) (pow z 5)) 1/3) in z 8.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 y) (pow z 5))))) in z 8.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 y) (pow z 5)))) in z 8.606 * [taylor]: Taking taylor expansion of 1/3 in z 8.606 * [taylor]: Taking taylor expansion of (log (/ (* -1 y) (pow z 5))) in z 8.606 * [taylor]: Taking taylor expansion of (/ (* -1 y) (pow z 5)) in z 8.606 * [taylor]: Taking taylor expansion of (* -1 y) in z 8.606 * [taylor]: Taking taylor expansion of -1 in z 8.606 * [taylor]: Taking taylor expansion of y in z 8.606 * [taylor]: Taking taylor expansion of (pow z 5) in z 8.606 * [taylor]: Taking taylor expansion of z in z 8.606 * [taylor]: Taking taylor expansion of (* -1/9 (exp (* 1/3 (- (log (* -1 y)) (* 5 (log z)))))) in y 8.606 * [taylor]: Taking taylor expansion of -1/9 in y 8.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 y)) (* 5 (log z))))) in y 8.606 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 y)) (* 5 (log z)))) in y 8.606 * [taylor]: Taking taylor expansion of 1/3 in y 8.606 * [taylor]: Taking taylor expansion of (- (log (* -1 y)) (* 5 (log z))) in y 8.606 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 8.606 * [taylor]: Taking taylor expansion of (* -1 y) in y 8.606 * [taylor]: Taking taylor expansion of -1 in y 8.606 * [taylor]: Taking taylor expansion of y in y 8.606 * [taylor]: Taking taylor expansion of (* 5 (log z)) in y 8.606 * [taylor]: Taking taylor expansion of 5 in y 8.606 * [taylor]: Taking taylor expansion of (log z) in y 8.606 * [taylor]: Taking taylor expansion of z in y 8.607 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in (x z y) around 0 8.608 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in y 8.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in y 8.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in y 8.608 * [taylor]: Taking taylor expansion of 1/3 in y 8.608 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in y 8.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.608 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.608 * [taylor]: Taking taylor expansion of x in y 8.608 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.608 * [taylor]: Taking taylor expansion of z in y 8.608 * [taylor]: Taking taylor expansion of y in y 8.611 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in z 8.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in z 8.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in z 8.612 * [taylor]: Taking taylor expansion of 1/3 in z 8.612 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in z 8.612 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 8.612 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.612 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.612 * [taylor]: Taking taylor expansion of x in z 8.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.612 * [taylor]: Taking taylor expansion of z in z 8.612 * [taylor]: Taking taylor expansion of y in z 8.612 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in x 8.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in x 8.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in x 8.612 * [taylor]: Taking taylor expansion of 1/3 in x 8.612 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in x 8.612 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.612 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.612 * [taylor]: Taking taylor expansion of x in x 8.612 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.612 * [taylor]: Taking taylor expansion of z in x 8.612 * [taylor]: Taking taylor expansion of y in x 8.613 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 1/3) in x 8.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y)))) in x 8.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 x) (/ 1 z)) y))) in x 8.613 * [taylor]: Taking taylor expansion of 1/3 in x 8.613 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) (/ 1 z)) y)) in x 8.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.613 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.613 * [taylor]: Taking taylor expansion of x in x 8.613 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.613 * [taylor]: Taking taylor expansion of z in x 8.613 * [taylor]: Taking taylor expansion of y in x 8.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.613 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.613 * [taylor]: Taking taylor expansion of 1/3 in z 8.613 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.613 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.613 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.613 * [taylor]: Taking taylor expansion of y in z 8.613 * [taylor]: Taking taylor expansion of (log x) in z 8.613 * [taylor]: Taking taylor expansion of x in z 8.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 8.614 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 8.614 * [taylor]: Taking taylor expansion of 1/3 in y 8.614 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 8.614 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.614 * [taylor]: Taking taylor expansion of y in y 8.614 * [taylor]: Taking taylor expansion of (log x) in y 8.614 * [taylor]: Taking taylor expansion of x in y 8.615 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) z)) in z 8.615 * [taylor]: Taking taylor expansion of -1/3 in z 8.615 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) z) in z 8.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.615 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.615 * [taylor]: Taking taylor expansion of 1/3 in z 8.615 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.615 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.615 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.615 * [taylor]: Taking taylor expansion of y in z 8.615 * [taylor]: Taking taylor expansion of (log x) in z 8.615 * [taylor]: Taking taylor expansion of x in z 8.615 * [taylor]: Taking taylor expansion of z in z 8.616 * [taylor]: Taking taylor expansion of 0 in y 8.617 * [taylor]: Taking taylor expansion of 0 in y 8.618 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (pow z 2))) in z 8.618 * [taylor]: Taking taylor expansion of -1/9 in z 8.618 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (pow z 2)) in z 8.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in z 8.618 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in z 8.618 * [taylor]: Taking taylor expansion of 1/3 in z 8.618 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in z 8.618 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.618 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.618 * [taylor]: Taking taylor expansion of y in z 8.618 * [taylor]: Taking taylor expansion of (log x) in z 8.618 * [taylor]: Taking taylor expansion of x in z 8.618 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.618 * [taylor]: Taking taylor expansion of z in z 8.620 * [taylor]: Taking taylor expansion of 0 in y 8.621 * [taylor]: Taking taylor expansion of 0 in y 8.622 * [taylor]: Taking taylor expansion of 0 in y 8.622 * [approximate]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in (x z y) around 0 8.622 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in y 8.622 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in y 8.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in y 8.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in y 8.622 * [taylor]: Taking taylor expansion of 1/3 in y 8.622 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in y 8.622 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.622 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.622 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.622 * [taylor]: Taking taylor expansion of z in y 8.622 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.622 * [taylor]: Taking taylor expansion of x in y 8.622 * [taylor]: Taking taylor expansion of y in y 8.623 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.623 * [taylor]: Taking taylor expansion of -1 in y 8.623 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in z 8.623 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in z 8.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in z 8.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in z 8.623 * [taylor]: Taking taylor expansion of 1/3 in z 8.623 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in z 8.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 8.623 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.623 * [taylor]: Taking taylor expansion of z in z 8.623 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.623 * [taylor]: Taking taylor expansion of x in z 8.623 * [taylor]: Taking taylor expansion of y in z 8.623 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.623 * [taylor]: Taking taylor expansion of -1 in z 8.624 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in x 8.624 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in x 8.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in x 8.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in x 8.624 * [taylor]: Taking taylor expansion of 1/3 in x 8.624 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.624 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.624 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.624 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.624 * [taylor]: Taking taylor expansion of z in x 8.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.624 * [taylor]: Taking taylor expansion of x in x 8.624 * [taylor]: Taking taylor expansion of y in x 8.624 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.624 * [taylor]: Taking taylor expansion of -1 in x 8.624 * [taylor]: Taking taylor expansion of (* (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) (cbrt -1)) in x 8.624 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) y) 1/3) in x 8.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y)))) in x 8.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 x)) y))) in x 8.624 * [taylor]: Taking taylor expansion of 1/3 in x 8.624 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 x)) y)) in x 8.624 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.624 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.624 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.624 * [taylor]: Taking taylor expansion of z in x 8.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.624 * [taylor]: Taking taylor expansion of x in x 8.624 * [taylor]: Taking taylor expansion of y in x 8.625 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.625 * [taylor]: Taking taylor expansion of -1 in x 8.625 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.625 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.625 * [taylor]: Taking taylor expansion of 1/3 in z 8.625 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.625 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.625 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.625 * [taylor]: Taking taylor expansion of -1 in z 8.625 * [taylor]: Taking taylor expansion of y in z 8.625 * [taylor]: Taking taylor expansion of (log x) in z 8.625 * [taylor]: Taking taylor expansion of x in z 8.625 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.625 * [taylor]: Taking taylor expansion of -1 in z 8.626 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in y 8.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in y 8.626 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in y 8.626 * [taylor]: Taking taylor expansion of 1/3 in y 8.626 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in y 8.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.626 * [taylor]: Taking taylor expansion of -1 in y 8.626 * [taylor]: Taking taylor expansion of y in y 8.626 * [taylor]: Taking taylor expansion of (log x) in y 8.626 * [taylor]: Taking taylor expansion of x in y 8.626 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.626 * [taylor]: Taking taylor expansion of -1 in y 8.627 * [taylor]: Taking taylor expansion of (neg (* 1/3 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z))) in z 8.627 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z)) in z 8.627 * [taylor]: Taking taylor expansion of 1/3 in z 8.627 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) z) in z 8.627 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.628 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.628 * [taylor]: Taking taylor expansion of 1/3 in z 8.628 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.628 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.628 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.628 * [taylor]: Taking taylor expansion of -1 in z 8.628 * [taylor]: Taking taylor expansion of y in z 8.628 * [taylor]: Taking taylor expansion of (log x) in z 8.628 * [taylor]: Taking taylor expansion of x in z 8.628 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.628 * [taylor]: Taking taylor expansion of -1 in z 8.628 * [taylor]: Taking taylor expansion of z in z 8.629 * [taylor]: Taking taylor expansion of 0 in y 8.630 * [taylor]: Taking taylor expansion of 0 in y 8.632 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2)))) in z 8.632 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2))) in z 8.632 * [taylor]: Taking taylor expansion of 1/9 in z 8.632 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) (pow z 2)) in z 8.632 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ -1 y)) (log x)))) (cbrt -1)) in z 8.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 y)) (log x)))) in z 8.632 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 y)) (log x))) in z 8.632 * [taylor]: Taking taylor expansion of 1/3 in z 8.632 * [taylor]: Taking taylor expansion of (- (log (/ -1 y)) (log x)) in z 8.632 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.632 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.632 * [taylor]: Taking taylor expansion of -1 in z 8.632 * [taylor]: Taking taylor expansion of y in z 8.632 * [taylor]: Taking taylor expansion of (log x) in z 8.632 * [taylor]: Taking taylor expansion of x in z 8.632 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.633 * [taylor]: Taking taylor expansion of -1 in z 8.633 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.633 * [taylor]: Taking taylor expansion of z in z 8.635 * [taylor]: Taking taylor expansion of 0 in y 8.636 * [taylor]: Taking taylor expansion of 0 in y 8.637 * [taylor]: Taking taylor expansion of 0 in y 8.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 8.638 * [approximate]: Taking taylor expansion of (pow (* (pow (- x z) 2) (pow y 2)) 1/3) in (x z y) around 0 8.638 * [taylor]: Taking taylor expansion of (pow (* (pow (- x z) 2) (pow y 2)) 1/3) in y 8.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- x z) 2) (pow y 2))))) in y 8.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- x z) 2) (pow y 2)))) in y 8.638 * [taylor]: Taking taylor expansion of 1/3 in y 8.638 * [taylor]: Taking taylor expansion of (log (* (pow (- x z) 2) (pow y 2))) in y 8.638 * [taylor]: Taking taylor expansion of (* (pow (- x z) 2) (pow y 2)) in y 8.638 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in y 8.638 * [taylor]: Taking taylor expansion of (- x z) in y 8.638 * [taylor]: Taking taylor expansion of x in y 8.638 * [taylor]: Taking taylor expansion of z in y 8.638 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.638 * [taylor]: Taking taylor expansion of y in y 8.638 * [taylor]: Taking taylor expansion of (pow (* (pow (- x z) 2) (pow y 2)) 1/3) in z 8.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- x z) 2) (pow y 2))))) in z 8.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- x z) 2) (pow y 2)))) in z 8.638 * [taylor]: Taking taylor expansion of 1/3 in z 8.639 * [taylor]: Taking taylor expansion of (log (* (pow (- x z) 2) (pow y 2))) in z 8.639 * [taylor]: Taking taylor expansion of (* (pow (- x z) 2) (pow y 2)) in z 8.639 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in z 8.639 * [taylor]: Taking taylor expansion of (- x z) in z 8.639 * [taylor]: Taking taylor expansion of x in z 8.639 * [taylor]: Taking taylor expansion of z in z 8.639 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.639 * [taylor]: Taking taylor expansion of y in z 8.639 * [taylor]: Taking taylor expansion of (pow (* (pow (- x z) 2) (pow y 2)) 1/3) in x 8.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- x z) 2) (pow y 2))))) in x 8.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- x z) 2) (pow y 2)))) in x 8.639 * [taylor]: Taking taylor expansion of 1/3 in x 8.639 * [taylor]: Taking taylor expansion of (log (* (pow (- x z) 2) (pow y 2))) in x 8.639 * [taylor]: Taking taylor expansion of (* (pow (- x z) 2) (pow y 2)) in x 8.639 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x 8.639 * [taylor]: Taking taylor expansion of (- x z) in x 8.639 * [taylor]: Taking taylor expansion of x in x 8.639 * [taylor]: Taking taylor expansion of z in x 8.639 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.639 * [taylor]: Taking taylor expansion of y in x 8.640 * [taylor]: Taking taylor expansion of (pow (* (pow (- x z) 2) (pow y 2)) 1/3) in x 8.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- x z) 2) (pow y 2))))) in x 8.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- x z) 2) (pow y 2)))) in x 8.640 * [taylor]: Taking taylor expansion of 1/3 in x 8.640 * [taylor]: Taking taylor expansion of (log (* (pow (- x z) 2) (pow y 2))) in x 8.640 * [taylor]: Taking taylor expansion of (* (pow (- x z) 2) (pow y 2)) in x 8.640 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x 8.640 * [taylor]: Taking taylor expansion of (- x z) in x 8.640 * [taylor]: Taking taylor expansion of x in x 8.640 * [taylor]: Taking taylor expansion of z in x 8.640 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.640 * [taylor]: Taking taylor expansion of y in x 8.640 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow y 2)) 1/3) in z 8.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow y 2))))) in z 8.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow y 2)))) in z 8.640 * [taylor]: Taking taylor expansion of 1/3 in z 8.640 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow y 2))) in z 8.640 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.640 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.640 * [taylor]: Taking taylor expansion of z in z 8.640 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.641 * [taylor]: Taking taylor expansion of y in z 8.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (pow y 2)) (* 2 (log z))))) in y 8.641 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (pow y 2)) (* 2 (log z)))) in y 8.641 * [taylor]: Taking taylor expansion of 1/3 in y 8.641 * [taylor]: Taking taylor expansion of (+ (log (pow y 2)) (* 2 (log z))) in y 8.641 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 8.641 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.641 * [taylor]: Taking taylor expansion of y in y 8.641 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 8.641 * [taylor]: Taking taylor expansion of 2 in y 8.641 * [taylor]: Taking taylor expansion of (log z) in y 8.641 * [taylor]: Taking taylor expansion of z in y 8.642 * [taylor]: Taking taylor expansion of (* -2/3 (pow (/ (pow y 2) z) 1/3)) in z 8.642 * [taylor]: Taking taylor expansion of -2/3 in z 8.642 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) z) 1/3) in z 8.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) z)))) in z 8.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) z))) in z 8.643 * [taylor]: Taking taylor expansion of 1/3 in z 8.643 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) z)) in z 8.643 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 8.643 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.643 * [taylor]: Taking taylor expansion of y in z 8.643 * [taylor]: Taking taylor expansion of z in z 8.643 * [taylor]: Taking taylor expansion of (* -2/3 (exp (* 1/3 (- (log (pow y 2)) (log z))))) in y 8.643 * [taylor]: Taking taylor expansion of -2/3 in y 8.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow y 2)) (log z)))) in y 8.643 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow y 2)) (log z))) in y 8.643 * [taylor]: Taking taylor expansion of 1/3 in y 8.643 * [taylor]: Taking taylor expansion of (- (log (pow y 2)) (log z)) in y 8.643 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 8.643 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.643 * [taylor]: Taking taylor expansion of y in y 8.643 * [taylor]: Taking taylor expansion of (log z) in y 8.643 * [taylor]: Taking taylor expansion of z in y 8.644 * [taylor]: Taking taylor expansion of 0 in y 8.646 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ (pow y 2) (pow z 4)) 1/3)) in z 8.646 * [taylor]: Taking taylor expansion of -1/9 in z 8.646 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 4)) 1/3) in z 8.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 4))))) in z 8.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 4)))) in z 8.646 * [taylor]: Taking taylor expansion of 1/3 in z 8.646 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 4))) in z 8.646 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 4)) in z 8.646 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.646 * [taylor]: Taking taylor expansion of y in z 8.646 * [taylor]: Taking taylor expansion of (pow z 4) in z 8.646 * [taylor]: Taking taylor expansion of z in z 8.647 * [taylor]: Taking taylor expansion of (* -1/9 (exp (* 1/3 (- (log (pow y 2)) (* 4 (log z)))))) in y 8.647 * [taylor]: Taking taylor expansion of -1/9 in y 8.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow y 2)) (* 4 (log z))))) in y 8.647 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow y 2)) (* 4 (log z)))) in y 8.647 * [taylor]: Taking taylor expansion of 1/3 in y 8.647 * [taylor]: Taking taylor expansion of (- (log (pow y 2)) (* 4 (log z))) in y 8.647 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 8.647 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.647 * [taylor]: Taking taylor expansion of y in y 8.647 * [taylor]: Taking taylor expansion of (* 4 (log z)) in y 8.647 * [taylor]: Taking taylor expansion of 4 in y 8.647 * [taylor]: Taking taylor expansion of (log z) in y 8.647 * [taylor]: Taking taylor expansion of z in y 8.648 * [approximate]: Taking taylor expansion of (pow (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) 1/3) in (x z y) around 0 8.648 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) 1/3) in y 8.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))))) in y 8.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)))) in y 8.649 * [taylor]: Taking taylor expansion of 1/3 in y 8.649 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))) in y 8.649 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) in y 8.649 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in y 8.649 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.649 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.649 * [taylor]: Taking taylor expansion of x in y 8.649 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.649 * [taylor]: Taking taylor expansion of z in y 8.649 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.649 * [taylor]: Taking taylor expansion of y in y 8.649 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) 1/3) in z 8.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))))) in z 8.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)))) in z 8.650 * [taylor]: Taking taylor expansion of 1/3 in z 8.650 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))) in z 8.650 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) in z 8.650 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in z 8.650 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.650 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.650 * [taylor]: Taking taylor expansion of x in z 8.650 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.650 * [taylor]: Taking taylor expansion of z in z 8.650 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.650 * [taylor]: Taking taylor expansion of y in z 8.651 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) 1/3) in x 8.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))))) in x 8.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)))) in x 8.651 * [taylor]: Taking taylor expansion of 1/3 in x 8.651 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))) in x 8.651 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) in x 8.651 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x 8.651 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.651 * [taylor]: Taking taylor expansion of x in x 8.651 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.651 * [taylor]: Taking taylor expansion of z in x 8.651 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.651 * [taylor]: Taking taylor expansion of y in x 8.651 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) 1/3) in x 8.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))))) in x 8.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)))) in x 8.651 * [taylor]: Taking taylor expansion of 1/3 in x 8.651 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2))) in x 8.651 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 x) (/ 1 z)) 2) (pow y 2)) in x 8.651 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x 8.652 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.652 * [taylor]: Taking taylor expansion of x in x 8.652 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.652 * [taylor]: Taking taylor expansion of z in x 8.652 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.652 * [taylor]: Taking taylor expansion of y in x 8.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in z 8.652 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in z 8.652 * [taylor]: Taking taylor expansion of 1/3 in z 8.652 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in z 8.652 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z 8.652 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.652 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.652 * [taylor]: Taking taylor expansion of y in z 8.652 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 8.652 * [taylor]: Taking taylor expansion of 2 in z 8.652 * [taylor]: Taking taylor expansion of (log x) in z 8.652 * [taylor]: Taking taylor expansion of x in z 8.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in y 8.653 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in y 8.653 * [taylor]: Taking taylor expansion of 1/3 in y 8.653 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in y 8.653 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 8.653 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.653 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.653 * [taylor]: Taking taylor expansion of y in y 8.653 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 8.653 * [taylor]: Taking taylor expansion of 2 in y 8.653 * [taylor]: Taking taylor expansion of (log x) in y 8.653 * [taylor]: Taking taylor expansion of x in y 8.655 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) z)) in z 8.655 * [taylor]: Taking taylor expansion of -2/3 in z 8.655 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) z) in z 8.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in z 8.655 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in z 8.655 * [taylor]: Taking taylor expansion of 1/3 in z 8.655 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in z 8.655 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z 8.655 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.655 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.655 * [taylor]: Taking taylor expansion of y in z 8.655 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 8.655 * [taylor]: Taking taylor expansion of 2 in z 8.655 * [taylor]: Taking taylor expansion of (log x) in z 8.655 * [taylor]: Taking taylor expansion of x in z 8.656 * [taylor]: Taking taylor expansion of z in z 8.657 * [taylor]: Taking taylor expansion of 0 in y 8.657 * [taylor]: Taking taylor expansion of 0 in y 8.660 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow z 2))) in z 8.660 * [taylor]: Taking taylor expansion of -1/9 in z 8.660 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow z 2)) in z 8.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in z 8.660 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in z 8.660 * [taylor]: Taking taylor expansion of 1/3 in z 8.660 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in z 8.660 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z 8.660 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.660 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.660 * [taylor]: Taking taylor expansion of y in z 8.660 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 8.660 * [taylor]: Taking taylor expansion of 2 in z 8.660 * [taylor]: Taking taylor expansion of (log x) in z 8.660 * [taylor]: Taking taylor expansion of x in z 8.661 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.661 * [taylor]: Taking taylor expansion of z in z 8.664 * [taylor]: Taking taylor expansion of 0 in y 8.665 * [taylor]: Taking taylor expansion of 0 in y 8.666 * [taylor]: Taking taylor expansion of 0 in y 8.667 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3)) in (x z y) around 0 8.667 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3)) in y 8.667 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.667 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.667 * [taylor]: Taking taylor expansion of -1 in y 8.667 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3) in y 8.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))))) in y 8.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)))) in y 8.667 * [taylor]: Taking taylor expansion of 1/3 in y 8.667 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))) in y 8.667 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) in y 8.667 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in y 8.667 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.667 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.667 * [taylor]: Taking taylor expansion of z in y 8.667 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.667 * [taylor]: Taking taylor expansion of x in y 8.667 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.667 * [taylor]: Taking taylor expansion of y in y 8.668 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3)) in z 8.668 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 8.668 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.668 * [taylor]: Taking taylor expansion of -1 in z 8.668 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3) in z 8.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))))) in z 8.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)))) in z 8.668 * [taylor]: Taking taylor expansion of 1/3 in z 8.668 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))) in z 8.668 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) in z 8.668 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in z 8.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.668 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.668 * [taylor]: Taking taylor expansion of z in z 8.668 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.668 * [taylor]: Taking taylor expansion of x in z 8.668 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.668 * [taylor]: Taking taylor expansion of y in z 8.669 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3)) in x 8.669 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.669 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.669 * [taylor]: Taking taylor expansion of -1 in x 8.669 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3) in x 8.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))))) in x 8.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)))) in x 8.669 * [taylor]: Taking taylor expansion of 1/3 in x 8.669 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))) in x 8.669 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) in x 8.669 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x 8.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.669 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.669 * [taylor]: Taking taylor expansion of z in x 8.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.669 * [taylor]: Taking taylor expansion of x in x 8.669 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.669 * [taylor]: Taking taylor expansion of y in x 8.670 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3)) in x 8.670 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.670 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.670 * [taylor]: Taking taylor expansion of -1 in x 8.670 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) 1/3) in x 8.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))))) in x 8.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)))) in x 8.670 * [taylor]: Taking taylor expansion of 1/3 in x 8.670 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2))) in x 8.670 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 x)) 2) (pow y 2)) in x 8.670 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x 8.670 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.670 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.670 * [taylor]: Taking taylor expansion of z in x 8.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.670 * [taylor]: Taking taylor expansion of x in x 8.670 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.670 * [taylor]: Taking taylor expansion of y in x 8.671 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) in z 8.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in z 8.671 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in z 8.671 * [taylor]: Taking taylor expansion of 1/3 in z 8.671 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in z 8.671 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z 8.671 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.671 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.671 * [taylor]: Taking taylor expansion of y in z 8.671 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 8.671 * [taylor]: Taking taylor expansion of 2 in z 8.671 * [taylor]: Taking taylor expansion of (log x) in z 8.671 * [taylor]: Taking taylor expansion of x in z 8.672 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 8.672 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.672 * [taylor]: Taking taylor expansion of -1 in z 8.672 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) in y 8.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in y 8.672 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in y 8.672 * [taylor]: Taking taylor expansion of 1/3 in y 8.672 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in y 8.672 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 8.672 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.672 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.672 * [taylor]: Taking taylor expansion of y in y 8.673 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 8.673 * [taylor]: Taking taylor expansion of 2 in y 8.673 * [taylor]: Taking taylor expansion of (log x) in y 8.673 * [taylor]: Taking taylor expansion of x in y 8.673 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.673 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.673 * [taylor]: Taking taylor expansion of -1 in y 8.675 * [taylor]: Taking taylor expansion of (neg (* 2/3 (/ (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) z))) in z 8.675 * [taylor]: Taking taylor expansion of (* 2/3 (/ (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) z)) in z 8.675 * [taylor]: Taking taylor expansion of 2/3 in z 8.675 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) z) in z 8.675 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) in z 8.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in z 8.675 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in z 8.675 * [taylor]: Taking taylor expansion of 1/3 in z 8.675 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in z 8.675 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z 8.675 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.676 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.676 * [taylor]: Taking taylor expansion of y in z 8.676 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 8.676 * [taylor]: Taking taylor expansion of 2 in z 8.676 * [taylor]: Taking taylor expansion of (log x) in z 8.676 * [taylor]: Taking taylor expansion of x in z 8.676 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 8.676 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.676 * [taylor]: Taking taylor expansion of -1 in z 8.676 * [taylor]: Taking taylor expansion of z in z 8.678 * [taylor]: Taking taylor expansion of 0 in y 8.679 * [taylor]: Taking taylor expansion of 0 in y 8.683 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) (pow z 2)))) in z 8.683 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) (pow z 2))) in z 8.683 * [taylor]: Taking taylor expansion of 1/9 in z 8.683 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) (pow z 2)) in z 8.683 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) (pow (cbrt -1) 2)) in z 8.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x))))) in z 8.683 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log x)))) in z 8.683 * [taylor]: Taking taylor expansion of 1/3 in z 8.683 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log x))) in z 8.683 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z 8.683 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.683 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.683 * [taylor]: Taking taylor expansion of y in z 8.683 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 8.683 * [taylor]: Taking taylor expansion of 2 in z 8.683 * [taylor]: Taking taylor expansion of (log x) in z 8.683 * [taylor]: Taking taylor expansion of x in z 8.684 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 8.684 * [taylor]: Taking taylor expansion of (cbrt -1) in z 8.684 * [taylor]: Taking taylor expansion of -1 in z 8.684 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.684 * [taylor]: Taking taylor expansion of z in z 8.688 * [taylor]: Taking taylor expansion of 0 in y 8.690 * [taylor]: Taking taylor expansion of 0 in y 8.692 * [taylor]: Taking taylor expansion of 0 in y 8.692 * * * [progress]: simplifying candidates 8.693 * [simplify]: Simplifying using # : (log (cbrt (* (- x z) y))) (exp (cbrt (* (- x z) y))) (cbrt (- x z)) (cbrt y) (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (* (- (* x x) (* z z)) y)) (cbrt (+ x z)) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (cbrt (cbrt (* (- x z) y))) (* (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (log (cbrt (* (- x z) y))) (exp (cbrt (* (- x z) y))) (cbrt (- x z)) (cbrt y) (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (* (- (* x x) (* z z)) y)) (cbrt (+ x z)) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (cbrt (cbrt (* (- x z) y))) (* (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (log (cbrt (* (- x z) y))) (exp (cbrt (* (- x z) y))) (cbrt (- x z)) (cbrt y) (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (* (- (* x x) (* z z)) y)) (cbrt (+ x z)) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (cbrt (cbrt (* (- x z) y))) (* (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (+ 1/3 1/3) (+ 1 1) (* (* (- x z) y) (* (- x z) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (+ 1 1) (+ (log (cbrt (* (- x z) y))) (log (cbrt (* (- x z) y)))) (log (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (exp (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (* (* (- x z) y) (* (- x z) y)) (* (cbrt (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (cbrt (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))))) (cbrt (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (* (* (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (sqrt (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (sqrt (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z))))) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (* x x) (* z z)) y))) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ x z))) (* (cbrt (* (- (* x x) (* z z)) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (* (cbrt (+ x z)) (cbrt (+ (* x x) (+ (* z z) (* x z))))) (* (cbrt (* (- (* x x) (* z z)) y)) (cbrt (* (- (* x x) (* z z)) y))) (* (cbrt (+ x z)) (cbrt (+ x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)) (* (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y))))) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (* (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y)))) (* (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y)))) (* 1 1) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (* (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y)))) (* (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y)))) (* 2 1/3) (* 2 1) (* (cbrt (* (- x z) y)) (cbrt (- x z))) (* (cbrt (* (- x z) y)) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y))))) (* (cbrt (* (- x z) y)) (sqrt (cbrt (* (- x z) y)))) (* (cbrt (* (- x z) y)) 1) (* (cbrt y) (cbrt (* (- x z) y))) (* (cbrt (cbrt (* (- x z) y))) (cbrt (* (- x z) y))) (* (sqrt (cbrt (* (- x z) y))) (cbrt (* (- x z) y))) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (* (cbrt (* (- x z) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (* (cbrt (* (- x z) y)) (cbrt (* (- (* x x) (* z z)) y))) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- x z) y))) (* (cbrt (* (- (* x x) (* z z)) y)) (cbrt (* (- x z) y))) (- (exp (* 1/3 (+ (log (neg 1)) (+ (log y) (log z))))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (* 2 (log z))))) x)))) (exp (* 1/3 (- (log 1) (+ (log (/ 1 x)) (log (/ 1 y)))))) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) (- (exp (* 1/3 (+ (log (neg 1)) (+ (log y) (log z))))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (* 2 (log z))))) x)))) (exp (* 1/3 (- (log 1) (+ (log (/ 1 x)) (log (/ 1 y)))))) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) (- (exp (* 1/3 (+ (log (neg 1)) (+ (log y) (log z))))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (* 2 (log z))))) x)))) (exp (* 1/3 (- (log 1) (+ (log (/ 1 x)) (log (/ 1 y)))))) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -1)) (- (exp (* 1/3 (+ (* 2 (log y)) (+ (* 2 (log z)) (log 1))))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (+ (* 2 (log y)) (log 1)) (* 4 (log z))))))) (* 2/3 (* (exp (* 1/3 (- (+ (* 2 (log y)) (log 1)) (log z)))) x)))) (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y))))))) (* (exp (* 1/3 (- (log 1) (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) (pow (cbrt -1) 2)) 8.698 * * [simplify]: iteration 0 : 154 enodes (cost 1355 ) 8.727 * * [simplify]: iteration 1 : 340 enodes (cost 1237 ) 8.796 * * [simplify]: iteration 2 : 904 enodes (cost 1132 ) 9.230 * * [simplify]: iteration 3 : 2496 enodes (cost 1017 ) 9.849 * * [simplify]: iteration done : 5000 enodes (cost 1017 ) 9.850 * [simplify]: Simplified to: (log (cbrt (* (- x z) y))) (exp (cbrt (* (- x z) y))) (cbrt (- x z)) (cbrt y) (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (+ (* x x) (* z (+ x z)))) (cbrt (* (- (* x x) (* z z)) y)) (cbrt (+ x z)) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (cbrt (cbrt (* (- x z) y))) (* (- x z) y) (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (log (cbrt (* (- x z) y))) (exp (cbrt (* (- x z) y))) (cbrt (- x z)) (cbrt y) (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (+ (* x x) (* z (+ x z)))) (cbrt (* (- (* x x) (* z z)) y)) (cbrt (+ x z)) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (cbrt (cbrt (* (- x z) y))) (* (- x z) y) (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) (log (cbrt (* (- x z) y))) (exp (cbrt (* (- x z) y))) (cbrt (- x z)) (cbrt y) (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (+ (* x x) (* z (+ x z)))) (cbrt (* (- (* x x) (* z z)) y)) (cbrt (+ x z)) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (cbrt (cbrt (* (- x z) y))) (* (- x z) y) (sqrt (cbrt (* (- x z) y))) (sqrt (cbrt (* (- x z) y))) 2/3 2 (pow (cbrt (* (- x z) y)) 6) (pow (sqrt (cbrt (* (- x z) y))) 4) 2 (* 2 (log (cbrt (* (- x z) y)))) (* 2 (log (cbrt (* (- x z) y)))) (exp (pow (sqrt (cbrt (* (- x z) y))) 4)) (pow (cbrt (* (- x z) y)) 6) (* (cbrt (pow (sqrt (cbrt (* (- x z) y))) 4)) (cbrt (pow (sqrt (cbrt (* (- x z) y))) 4))) (cbrt (pow (sqrt (cbrt (* (- x z) y))) 4)) (pow (cbrt (* (- x z) y)) 6) (fabs (cbrt (* (- x z) y))) (fabs (cbrt (* (- x z) y))) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (* (cbrt (+ (* x x) (* z (+ x z)))) (cbrt (+ (* x x) (* z (+ x z))))) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (* x x) (* z z)) y))) (* (cbrt (+ (* x x) (* z (+ x z)))) (cbrt (+ x z))) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (* x x) (* z z)) y))) (* (cbrt (+ (* x x) (* z (+ x z)))) (cbrt (+ x z))) (* (cbrt (* (- (* x x) (* z z)) y)) (cbrt (* (- (* x x) (* z z)) y))) (* (cbrt (+ x z)) (cbrt (+ x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)) (pow (cbrt (cbrt (* (- x z) y))) 4) (* (cbrt (cbrt (* (- x z) y))) (cbrt (cbrt (* (- x z) y)))) (cbrt (* (- x z) y)) (cbrt (* (- x z) y)) 1 (pow (sqrt (cbrt (* (- x z) y))) 4) (cbrt (* (- x z) y)) (cbrt (* (- x z) y)) 2/3 2 (* (cbrt (* (- x z) y)) (cbrt (- x z))) (* (pow (cbrt (cbrt (* (- x z) y))) 4) (cbrt (cbrt (* (- x z) y)))) (pow (sqrt (cbrt (* (- x z) y))) 3) (cbrt (* (- x z) y)) (* (cbrt y) (cbrt (* (- x z) y))) (pow (cbrt (cbrt (* (- x z) y))) 4) (pow (sqrt (cbrt (* (- x z) y))) 3) (pow (sqrt (cbrt (* (- x z) y))) 4) (* (cbrt (* (- x z) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (* (cbrt (* (- x z) y)) (cbrt (* (- (* x x) (* z z)) y))) (* (cbrt (* (- x z) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (* (cbrt (* (- x z) y)) (cbrt (* (- (* x x) (* z z)) y))) (- (- (cbrt (exp (+ (log -1) (+ (log y) (log z))))) (* (cbrt (exp (+ (log -1) (- (log y) (* 5 (log z)))))) (* 1/9 (* x x)))) (* (cbrt (exp (- (+ (log y) (log -1)) (* 2 (log z))))) (* 1/3 x))) (cbrt (exp (+ (log x) (log y)))) (* (cbrt (exp (- (log y) (log (/ -1 x))))) (cbrt -1)) (- (- (cbrt (exp (+ (log -1) (+ (log y) (log z))))) (* (cbrt (exp (+ (log -1) (- (log y) (* 5 (log z)))))) (* 1/9 (* x x)))) (* (cbrt (exp (- (+ (log y) (log -1)) (* 2 (log z))))) (* 1/3 x))) (cbrt (exp (+ (log x) (log y)))) (* (cbrt (exp (- (log y) (log (/ -1 x))))) (cbrt -1)) (- (- (cbrt (exp (+ (log -1) (+ (log y) (log z))))) (* (cbrt (exp (+ (log -1) (- (log y) (* 5 (log z)))))) (* 1/9 (* x x)))) (* (cbrt (exp (- (+ (log y) (log -1)) (* 2 (log z))))) (* 1/3 x))) (cbrt (exp (+ (log x) (log y)))) (* (cbrt (exp (- (log y) (log (/ -1 x))))) (cbrt -1)) (+ (- (exp (* 2/3 (+ (log y) (log z)))) (* (* 1/9 (* x x)) (* (pow y 2/3) (exp (* (log z) -4/3))))) (* -2/3 (* (cbrt (exp (- (* (log y) 2) (log z)))) x))) (exp (* 2/3 (+ (log x) (log y)))) (* (pow (cbrt -1) 2) (exp (* -2/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) 9.850 * * * [progress]: adding candidates to table 9.944 * * [progress]: iteration 3 / 4 9.945 * * * [progress]: picking best candidate 9.947 * * * * [pick]: Picked # 9.948 * * * [progress]: localizing error 9.954 * * * [progress]: generating rewritten candidates 9.954 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 9.959 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 9.968 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 9.982 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 9.993 * * * [progress]: generating series expansions 9.993 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 9.993 * [approximate]: Taking taylor expansion of (sqrt (* (- x z) y)) in (x z y) around 0 9.993 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in y 9.993 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 9.993 * [taylor]: Taking taylor expansion of (- x z) in y 9.993 * [taylor]: Taking taylor expansion of x in y 9.993 * [taylor]: Taking taylor expansion of z in y 9.993 * [taylor]: Taking taylor expansion of y in y 9.993 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in z 9.993 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 9.993 * [taylor]: Taking taylor expansion of (- x z) in z 9.993 * [taylor]: Taking taylor expansion of x in z 9.993 * [taylor]: Taking taylor expansion of z in z 9.993 * [taylor]: Taking taylor expansion of y in z 9.994 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in x 9.994 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 9.994 * [taylor]: Taking taylor expansion of (- x z) in x 9.994 * [taylor]: Taking taylor expansion of x in x 9.994 * [taylor]: Taking taylor expansion of z in x 9.994 * [taylor]: Taking taylor expansion of y in x 9.994 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in x 9.994 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 9.994 * [taylor]: Taking taylor expansion of (- x z) in x 9.994 * [taylor]: Taking taylor expansion of x in x 9.994 * [taylor]: Taking taylor expansion of z in x 9.994 * [taylor]: Taking taylor expansion of y in x 9.994 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 9.994 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 9.994 * [taylor]: Taking taylor expansion of -1 in z 9.994 * [taylor]: Taking taylor expansion of (* z y) in z 9.994 * [taylor]: Taking taylor expansion of z in z 9.994 * [taylor]: Taking taylor expansion of y in z 9.994 * [taylor]: Taking taylor expansion of 0 in y 9.994 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (sqrt (* -1 (* z y))))) in z 9.994 * [taylor]: Taking taylor expansion of 1/2 in z 9.994 * [taylor]: Taking taylor expansion of (/ y (sqrt (* -1 (* z y)))) in z 9.995 * [taylor]: Taking taylor expansion of y in z 9.995 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 9.995 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 9.995 * [taylor]: Taking taylor expansion of -1 in z 9.995 * [taylor]: Taking taylor expansion of (* z y) in z 9.995 * [taylor]: Taking taylor expansion of z in z 9.995 * [taylor]: Taking taylor expansion of y in z 9.995 * [taylor]: Taking taylor expansion of (neg (* 1/2 (* NAN y))) in y 9.995 * [taylor]: Taking taylor expansion of (* 1/2 (* NAN y)) in y 9.995 * [taylor]: Taking taylor expansion of 1/2 in y 9.995 * [taylor]: Taking taylor expansion of (* NAN y) in y 9.995 * [taylor]: Taking taylor expansion of NAN in y 9.995 * [taylor]: Taking taylor expansion of y in y 9.995 * [taylor]: Taking taylor expansion of (* NAN y) in y 9.995 * [taylor]: Taking taylor expansion of NAN in y 9.995 * [taylor]: Taking taylor expansion of y in y 9.996 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow y 2) (pow (sqrt (* -1 (* z y))) 3))) in z 9.996 * [taylor]: Taking taylor expansion of -1/8 in z 9.996 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (sqrt (* -1 (* z y))) 3)) in z 9.996 * [taylor]: Taking taylor expansion of (pow y 2) in z 9.996 * [taylor]: Taking taylor expansion of y in z 9.996 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* z y))) 3) in z 9.996 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 9.996 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 9.996 * [taylor]: Taking taylor expansion of -1 in z 9.996 * [taylor]: Taking taylor expansion of (* z y) in z 9.996 * [taylor]: Taking taylor expansion of z in z 9.996 * [taylor]: Taking taylor expansion of y in z 10.003 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 3) (pow y 2))) in y 10.003 * [taylor]: Taking taylor expansion of 1/8 in y 10.003 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow y 2)) in y 10.003 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.003 * [taylor]: Taking taylor expansion of NAN in y 10.003 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.003 * [taylor]: Taking taylor expansion of y in y 10.004 * [taylor]: Taking taylor expansion of 0 in y 10.004 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 2) (pow y 2))) in y 10.004 * [taylor]: Taking taylor expansion of NAN in y 10.004 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow y 2)) in y 10.004 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 10.004 * [taylor]: Taking taylor expansion of NAN in y 10.004 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.004 * [taylor]: Taking taylor expansion of y in y 10.005 * [taylor]: Taking taylor expansion of (* 1/16 (/ (pow y 3) (pow (sqrt (* -1 (* z y))) 5))) in z 10.005 * [taylor]: Taking taylor expansion of 1/16 in z 10.005 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow (sqrt (* -1 (* z y))) 5)) in z 10.005 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.005 * [taylor]: Taking taylor expansion of y in z 10.005 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* z y))) 5) in z 10.005 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 10.005 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.005 * [taylor]: Taking taylor expansion of -1 in z 10.005 * [taylor]: Taking taylor expansion of (* z y) in z 10.005 * [taylor]: Taking taylor expansion of z in z 10.005 * [taylor]: Taking taylor expansion of y in z 10.028 * [taylor]: Taking taylor expansion of (neg (* 1/16 (* (pow NAN 5) (pow y 3)))) in y 10.028 * [taylor]: Taking taylor expansion of (* 1/16 (* (pow NAN 5) (pow y 3))) in y 10.028 * [taylor]: Taking taylor expansion of 1/16 in y 10.028 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow y 3)) in y 10.028 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 10.028 * [taylor]: Taking taylor expansion of NAN in y 10.028 * [taylor]: Taking taylor expansion of (pow y 3) in y 10.028 * [taylor]: Taking taylor expansion of y in y 10.033 * [taylor]: Taking taylor expansion of 0 in y 10.034 * [taylor]: Taking taylor expansion of 0 in y 10.034 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 4) (pow y 3))) in y 10.034 * [taylor]: Taking taylor expansion of NAN in y 10.034 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow y 3)) in y 10.034 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 10.034 * [taylor]: Taking taylor expansion of NAN in y 10.034 * [taylor]: Taking taylor expansion of (pow y 3) in y 10.034 * [taylor]: Taking taylor expansion of y in y 10.035 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in (x z y) around 0 10.035 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in y 10.035 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 10.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.035 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.035 * [taylor]: Taking taylor expansion of x in y 10.035 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.035 * [taylor]: Taking taylor expansion of z in y 10.035 * [taylor]: Taking taylor expansion of y in y 10.035 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in z 10.035 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 10.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.035 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.035 * [taylor]: Taking taylor expansion of x in z 10.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.035 * [taylor]: Taking taylor expansion of z in z 10.035 * [taylor]: Taking taylor expansion of y in z 10.035 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in x 10.035 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.035 * [taylor]: Taking taylor expansion of x in x 10.035 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.035 * [taylor]: Taking taylor expansion of z in x 10.035 * [taylor]: Taking taylor expansion of y in x 10.035 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in x 10.035 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.036 * [taylor]: Taking taylor expansion of x in x 10.036 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.036 * [taylor]: Taking taylor expansion of z in x 10.036 * [taylor]: Taking taylor expansion of y in x 10.036 * [taylor]: Taking taylor expansion of 0 in z 10.036 * [taylor]: Taking taylor expansion of (/ NAN y) in z 10.036 * [taylor]: Taking taylor expansion of NAN in z 10.036 * [taylor]: Taking taylor expansion of y in z 10.036 * [taylor]: Taking taylor expansion of 0 in y 10.036 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2)))) in z 10.036 * [taylor]: Taking taylor expansion of NAN in z 10.036 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2))) in z 10.036 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.036 * [taylor]: Taking taylor expansion of (* z y) in z 10.036 * [taylor]: Taking taylor expansion of z in z 10.036 * [taylor]: Taking taylor expansion of y in z 10.036 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in z 10.036 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.036 * [taylor]: Taking taylor expansion of NAN in z 10.036 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.036 * [taylor]: Taking taylor expansion of y in z 10.037 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.037 * [taylor]: Taking taylor expansion of NAN in y 10.037 * [taylor]: Taking taylor expansion of y in y 10.037 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.037 * [taylor]: Taking taylor expansion of NAN in y 10.037 * [taylor]: Taking taylor expansion of y in y 10.037 * [taylor]: Taking taylor expansion of 0 in y 10.037 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3))))) in z 10.037 * [taylor]: Taking taylor expansion of NAN in z 10.037 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3)))) in z 10.038 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* z (pow y 2)))) in z 10.038 * [taylor]: Taking taylor expansion of 2 in z 10.038 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* z (pow y 2))) in z 10.038 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.038 * [taylor]: Taking taylor expansion of NAN in z 10.038 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 10.038 * [taylor]: Taking taylor expansion of z in z 10.038 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.038 * [taylor]: Taking taylor expansion of y in z 10.038 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow y 3))) in z 10.038 * [taylor]: Taking taylor expansion of 2 in z 10.038 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in z 10.038 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 10.038 * [taylor]: Taking taylor expansion of NAN in z 10.038 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.038 * [taylor]: Taking taylor expansion of y in z 10.039 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) (pow y 2))) in y 10.039 * [taylor]: Taking taylor expansion of 2 in y 10.039 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.039 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.039 * [taylor]: Taking taylor expansion of NAN in y 10.039 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.039 * [taylor]: Taking taylor expansion of y in y 10.039 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.039 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.039 * [taylor]: Taking taylor expansion of NAN in y 10.039 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.039 * [taylor]: Taking taylor expansion of y in y 10.040 * [taylor]: Taking taylor expansion of 0 in y 10.040 * [taylor]: Taking taylor expansion of 0 in y 10.040 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in (x z y) around 0 10.040 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in y 10.040 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 10.040 * [taylor]: Taking taylor expansion of -1 in y 10.040 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 10.040 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.040 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.040 * [taylor]: Taking taylor expansion of z in y 10.040 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.040 * [taylor]: Taking taylor expansion of x in y 10.041 * [taylor]: Taking taylor expansion of y in y 10.041 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in z 10.041 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 10.041 * [taylor]: Taking taylor expansion of -1 in z 10.041 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 10.041 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.041 * [taylor]: Taking taylor expansion of z in z 10.041 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.041 * [taylor]: Taking taylor expansion of x in z 10.041 * [taylor]: Taking taylor expansion of y in z 10.041 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in x 10.041 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.041 * [taylor]: Taking taylor expansion of -1 in x 10.041 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.041 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.041 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.041 * [taylor]: Taking taylor expansion of z in x 10.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.041 * [taylor]: Taking taylor expansion of x in x 10.041 * [taylor]: Taking taylor expansion of y in x 10.041 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in x 10.041 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.041 * [taylor]: Taking taylor expansion of -1 in x 10.041 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.041 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.041 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.041 * [taylor]: Taking taylor expansion of z in x 10.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.042 * [taylor]: Taking taylor expansion of x in x 10.042 * [taylor]: Taking taylor expansion of y in x 10.042 * [taylor]: Taking taylor expansion of 0 in z 10.042 * [taylor]: Taking taylor expansion of (/ NAN y) in z 10.042 * [taylor]: Taking taylor expansion of NAN in z 10.042 * [taylor]: Taking taylor expansion of y in z 10.042 * [taylor]: Taking taylor expansion of 0 in y 10.042 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2)))) in z 10.042 * [taylor]: Taking taylor expansion of NAN in z 10.042 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2))) in z 10.042 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.042 * [taylor]: Taking taylor expansion of (* z y) in z 10.042 * [taylor]: Taking taylor expansion of z in z 10.042 * [taylor]: Taking taylor expansion of y in z 10.042 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in z 10.042 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.042 * [taylor]: Taking taylor expansion of NAN in z 10.042 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.042 * [taylor]: Taking taylor expansion of y in z 10.043 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.043 * [taylor]: Taking taylor expansion of NAN in y 10.043 * [taylor]: Taking taylor expansion of y in y 10.043 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.043 * [taylor]: Taking taylor expansion of NAN in y 10.043 * [taylor]: Taking taylor expansion of y in y 10.043 * [taylor]: Taking taylor expansion of 0 in y 10.043 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3))))) in z 10.044 * [taylor]: Taking taylor expansion of NAN in z 10.044 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3)))) in z 10.044 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* z (pow y 2)))) in z 10.044 * [taylor]: Taking taylor expansion of 2 in z 10.044 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* z (pow y 2))) in z 10.044 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.044 * [taylor]: Taking taylor expansion of NAN in z 10.044 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 10.044 * [taylor]: Taking taylor expansion of z in z 10.044 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.044 * [taylor]: Taking taylor expansion of y in z 10.044 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow y 3))) in z 10.044 * [taylor]: Taking taylor expansion of 2 in z 10.044 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in z 10.044 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 10.044 * [taylor]: Taking taylor expansion of NAN in z 10.044 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.044 * [taylor]: Taking taylor expansion of y in z 10.045 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) (pow y 2))) in y 10.045 * [taylor]: Taking taylor expansion of 2 in y 10.045 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.045 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.045 * [taylor]: Taking taylor expansion of NAN in y 10.045 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.045 * [taylor]: Taking taylor expansion of y in y 10.045 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.045 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.046 * [taylor]: Taking taylor expansion of NAN in y 10.046 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.046 * [taylor]: Taking taylor expansion of y in y 10.046 * [taylor]: Taking taylor expansion of 0 in y 10.046 * [taylor]: Taking taylor expansion of 0 in y 10.046 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 10.046 * [approximate]: Taking taylor expansion of (sqrt (* (- x z) y)) in (x z y) around 0 10.046 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in y 10.046 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 10.046 * [taylor]: Taking taylor expansion of (- x z) in y 10.046 * [taylor]: Taking taylor expansion of x in y 10.046 * [taylor]: Taking taylor expansion of z in y 10.046 * [taylor]: Taking taylor expansion of y in y 10.047 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in z 10.047 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 10.047 * [taylor]: Taking taylor expansion of (- x z) in z 10.047 * [taylor]: Taking taylor expansion of x in z 10.047 * [taylor]: Taking taylor expansion of z in z 10.047 * [taylor]: Taking taylor expansion of y in z 10.047 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in x 10.047 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 10.047 * [taylor]: Taking taylor expansion of (- x z) in x 10.047 * [taylor]: Taking taylor expansion of x in x 10.047 * [taylor]: Taking taylor expansion of z in x 10.047 * [taylor]: Taking taylor expansion of y in x 10.047 * [taylor]: Taking taylor expansion of (sqrt (* (- x z) y)) in x 10.047 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 10.047 * [taylor]: Taking taylor expansion of (- x z) in x 10.047 * [taylor]: Taking taylor expansion of x in x 10.047 * [taylor]: Taking taylor expansion of z in x 10.047 * [taylor]: Taking taylor expansion of y in x 10.047 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 10.047 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.047 * [taylor]: Taking taylor expansion of -1 in z 10.047 * [taylor]: Taking taylor expansion of (* z y) in z 10.047 * [taylor]: Taking taylor expansion of z in z 10.048 * [taylor]: Taking taylor expansion of y in z 10.048 * [taylor]: Taking taylor expansion of 0 in y 10.048 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (sqrt (* -1 (* z y))))) in z 10.048 * [taylor]: Taking taylor expansion of 1/2 in z 10.048 * [taylor]: Taking taylor expansion of (/ y (sqrt (* -1 (* z y)))) in z 10.048 * [taylor]: Taking taylor expansion of y in z 10.048 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 10.048 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.048 * [taylor]: Taking taylor expansion of -1 in z 10.048 * [taylor]: Taking taylor expansion of (* z y) in z 10.048 * [taylor]: Taking taylor expansion of z in z 10.048 * [taylor]: Taking taylor expansion of y in z 10.048 * [taylor]: Taking taylor expansion of (neg (* 1/2 (* NAN y))) in y 10.048 * [taylor]: Taking taylor expansion of (* 1/2 (* NAN y)) in y 10.048 * [taylor]: Taking taylor expansion of 1/2 in y 10.048 * [taylor]: Taking taylor expansion of (* NAN y) in y 10.048 * [taylor]: Taking taylor expansion of NAN in y 10.048 * [taylor]: Taking taylor expansion of y in y 10.049 * [taylor]: Taking taylor expansion of (* NAN y) in y 10.049 * [taylor]: Taking taylor expansion of NAN in y 10.049 * [taylor]: Taking taylor expansion of y in y 10.049 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow y 2) (pow (sqrt (* -1 (* z y))) 3))) in z 10.049 * [taylor]: Taking taylor expansion of -1/8 in z 10.049 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (sqrt (* -1 (* z y))) 3)) in z 10.049 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.049 * [taylor]: Taking taylor expansion of y in z 10.049 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* z y))) 3) in z 10.049 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 10.049 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.049 * [taylor]: Taking taylor expansion of -1 in z 10.049 * [taylor]: Taking taylor expansion of (* z y) in z 10.049 * [taylor]: Taking taylor expansion of z in z 10.049 * [taylor]: Taking taylor expansion of y in z 10.059 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 3) (pow y 2))) in y 10.059 * [taylor]: Taking taylor expansion of 1/8 in y 10.059 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow y 2)) in y 10.059 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.059 * [taylor]: Taking taylor expansion of NAN in y 10.059 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.059 * [taylor]: Taking taylor expansion of y in y 10.060 * [taylor]: Taking taylor expansion of 0 in y 10.060 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 2) (pow y 2))) in y 10.060 * [taylor]: Taking taylor expansion of NAN in y 10.060 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow y 2)) in y 10.060 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 10.060 * [taylor]: Taking taylor expansion of NAN in y 10.060 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.060 * [taylor]: Taking taylor expansion of y in y 10.061 * [taylor]: Taking taylor expansion of (* 1/16 (/ (pow y 3) (pow (sqrt (* -1 (* z y))) 5))) in z 10.061 * [taylor]: Taking taylor expansion of 1/16 in z 10.061 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow (sqrt (* -1 (* z y))) 5)) in z 10.061 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.061 * [taylor]: Taking taylor expansion of y in z 10.061 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* z y))) 5) in z 10.061 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* z y))) in z 10.061 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.061 * [taylor]: Taking taylor expansion of -1 in z 10.061 * [taylor]: Taking taylor expansion of (* z y) in z 10.061 * [taylor]: Taking taylor expansion of z in z 10.061 * [taylor]: Taking taylor expansion of y in z 10.084 * [taylor]: Taking taylor expansion of (neg (* 1/16 (* (pow NAN 5) (pow y 3)))) in y 10.084 * [taylor]: Taking taylor expansion of (* 1/16 (* (pow NAN 5) (pow y 3))) in y 10.084 * [taylor]: Taking taylor expansion of 1/16 in y 10.084 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow y 3)) in y 10.084 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 10.084 * [taylor]: Taking taylor expansion of NAN in y 10.084 * [taylor]: Taking taylor expansion of (pow y 3) in y 10.084 * [taylor]: Taking taylor expansion of y in y 10.088 * [taylor]: Taking taylor expansion of 0 in y 10.089 * [taylor]: Taking taylor expansion of 0 in y 10.090 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 4) (pow y 3))) in y 10.090 * [taylor]: Taking taylor expansion of NAN in y 10.090 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow y 3)) in y 10.090 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 10.090 * [taylor]: Taking taylor expansion of NAN in y 10.090 * [taylor]: Taking taylor expansion of (pow y 3) in y 10.090 * [taylor]: Taking taylor expansion of y in y 10.090 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in (x z y) around 0 10.090 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in y 10.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 10.090 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.090 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.090 * [taylor]: Taking taylor expansion of x in y 10.090 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.090 * [taylor]: Taking taylor expansion of z in y 10.090 * [taylor]: Taking taylor expansion of y in y 10.091 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in z 10.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 10.091 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.091 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.091 * [taylor]: Taking taylor expansion of x in z 10.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.091 * [taylor]: Taking taylor expansion of z in z 10.091 * [taylor]: Taking taylor expansion of y in z 10.091 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in x 10.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.091 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.091 * [taylor]: Taking taylor expansion of x in x 10.091 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.091 * [taylor]: Taking taylor expansion of z in x 10.091 * [taylor]: Taking taylor expansion of y in x 10.091 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) (/ 1 z)) y)) in x 10.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.091 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.091 * [taylor]: Taking taylor expansion of x in x 10.091 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.091 * [taylor]: Taking taylor expansion of z in x 10.091 * [taylor]: Taking taylor expansion of y in x 10.091 * [taylor]: Taking taylor expansion of 0 in z 10.091 * [taylor]: Taking taylor expansion of (/ NAN y) in z 10.091 * [taylor]: Taking taylor expansion of NAN in z 10.092 * [taylor]: Taking taylor expansion of y in z 10.092 * [taylor]: Taking taylor expansion of 0 in y 10.092 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2)))) in z 10.092 * [taylor]: Taking taylor expansion of NAN in z 10.092 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2))) in z 10.092 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.092 * [taylor]: Taking taylor expansion of (* z y) in z 10.092 * [taylor]: Taking taylor expansion of z in z 10.092 * [taylor]: Taking taylor expansion of y in z 10.092 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in z 10.092 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.092 * [taylor]: Taking taylor expansion of NAN in z 10.092 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.092 * [taylor]: Taking taylor expansion of y in z 10.092 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.092 * [taylor]: Taking taylor expansion of NAN in y 10.092 * [taylor]: Taking taylor expansion of y in y 10.092 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.092 * [taylor]: Taking taylor expansion of NAN in y 10.092 * [taylor]: Taking taylor expansion of y in y 10.093 * [taylor]: Taking taylor expansion of 0 in y 10.093 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3))))) in z 10.093 * [taylor]: Taking taylor expansion of NAN in z 10.093 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3)))) in z 10.093 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* z (pow y 2)))) in z 10.093 * [taylor]: Taking taylor expansion of 2 in z 10.093 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* z (pow y 2))) in z 10.093 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.093 * [taylor]: Taking taylor expansion of NAN in z 10.093 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 10.093 * [taylor]: Taking taylor expansion of z in z 10.093 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.093 * [taylor]: Taking taylor expansion of y in z 10.094 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow y 3))) in z 10.094 * [taylor]: Taking taylor expansion of 2 in z 10.094 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in z 10.094 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 10.094 * [taylor]: Taking taylor expansion of NAN in z 10.094 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.094 * [taylor]: Taking taylor expansion of y in z 10.094 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) (pow y 2))) in y 10.094 * [taylor]: Taking taylor expansion of 2 in y 10.094 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.094 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.094 * [taylor]: Taking taylor expansion of NAN in y 10.094 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.094 * [taylor]: Taking taylor expansion of y in y 10.095 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.095 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.095 * [taylor]: Taking taylor expansion of NAN in y 10.095 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.095 * [taylor]: Taking taylor expansion of y in y 10.096 * [taylor]: Taking taylor expansion of 0 in y 10.096 * [taylor]: Taking taylor expansion of 0 in y 10.096 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in (x z y) around 0 10.096 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in y 10.096 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 10.096 * [taylor]: Taking taylor expansion of -1 in y 10.096 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 10.096 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.096 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.096 * [taylor]: Taking taylor expansion of z in y 10.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.096 * [taylor]: Taking taylor expansion of x in y 10.096 * [taylor]: Taking taylor expansion of y in y 10.097 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in z 10.097 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 10.097 * [taylor]: Taking taylor expansion of -1 in z 10.097 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 10.097 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.097 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.097 * [taylor]: Taking taylor expansion of z in z 10.097 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.097 * [taylor]: Taking taylor expansion of x in z 10.097 * [taylor]: Taking taylor expansion of y in z 10.097 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in x 10.097 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.097 * [taylor]: Taking taylor expansion of -1 in x 10.097 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.097 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.097 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.097 * [taylor]: Taking taylor expansion of z in x 10.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.097 * [taylor]: Taking taylor expansion of x in x 10.097 * [taylor]: Taking taylor expansion of y in x 10.097 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in x 10.097 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.097 * [taylor]: Taking taylor expansion of -1 in x 10.097 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.097 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.097 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.097 * [taylor]: Taking taylor expansion of z in x 10.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.097 * [taylor]: Taking taylor expansion of x in x 10.097 * [taylor]: Taking taylor expansion of y in x 10.097 * [taylor]: Taking taylor expansion of 0 in z 10.097 * [taylor]: Taking taylor expansion of (/ NAN y) in z 10.097 * [taylor]: Taking taylor expansion of NAN in z 10.097 * [taylor]: Taking taylor expansion of y in z 10.098 * [taylor]: Taking taylor expansion of 0 in y 10.098 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2)))) in z 10.098 * [taylor]: Taking taylor expansion of NAN in z 10.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ (pow NAN 2) (pow y 2))) in z 10.098 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.098 * [taylor]: Taking taylor expansion of (* z y) in z 10.098 * [taylor]: Taking taylor expansion of z in z 10.098 * [taylor]: Taking taylor expansion of y in z 10.098 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in z 10.098 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.098 * [taylor]: Taking taylor expansion of NAN in z 10.098 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.098 * [taylor]: Taking taylor expansion of y in z 10.098 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.098 * [taylor]: Taking taylor expansion of NAN in y 10.098 * [taylor]: Taking taylor expansion of y in y 10.098 * [taylor]: Taking taylor expansion of (/ NAN y) in y 10.098 * [taylor]: Taking taylor expansion of NAN in y 10.098 * [taylor]: Taking taylor expansion of y in y 10.099 * [taylor]: Taking taylor expansion of 0 in y 10.099 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3))))) in z 10.099 * [taylor]: Taking taylor expansion of NAN in z 10.099 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3)))) in z 10.099 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* z (pow y 2)))) in z 10.099 * [taylor]: Taking taylor expansion of 2 in z 10.099 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* z (pow y 2))) in z 10.099 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.099 * [taylor]: Taking taylor expansion of NAN in z 10.099 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 10.099 * [taylor]: Taking taylor expansion of z in z 10.099 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.099 * [taylor]: Taking taylor expansion of y in z 10.100 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow y 3))) in z 10.100 * [taylor]: Taking taylor expansion of 2 in z 10.100 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in z 10.100 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 10.100 * [taylor]: Taking taylor expansion of NAN in z 10.100 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.100 * [taylor]: Taking taylor expansion of y in z 10.100 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) (pow y 2))) in y 10.100 * [taylor]: Taking taylor expansion of 2 in y 10.100 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.101 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.101 * [taylor]: Taking taylor expansion of NAN in y 10.101 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.101 * [taylor]: Taking taylor expansion of y in y 10.101 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow y 2)) in y 10.101 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 10.101 * [taylor]: Taking taylor expansion of NAN in y 10.101 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.101 * [taylor]: Taking taylor expansion of y in y 10.102 * [taylor]: Taking taylor expansion of 0 in y 10.102 * [taylor]: Taking taylor expansion of 0 in y 10.102 * * * * [progress]: [ 3 / 4 ] generating series at (2) 10.102 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0 10.102 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 10.102 * [taylor]: Taking taylor expansion of (- x z) in y 10.102 * [taylor]: Taking taylor expansion of x in y 10.102 * [taylor]: Taking taylor expansion of z in y 10.102 * [taylor]: Taking taylor expansion of y in y 10.102 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 10.102 * [taylor]: Taking taylor expansion of (- x z) in z 10.102 * [taylor]: Taking taylor expansion of x in z 10.102 * [taylor]: Taking taylor expansion of z in z 10.102 * [taylor]: Taking taylor expansion of y in z 10.102 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 10.102 * [taylor]: Taking taylor expansion of (- x z) in x 10.102 * [taylor]: Taking taylor expansion of x in x 10.103 * [taylor]: Taking taylor expansion of z in x 10.103 * [taylor]: Taking taylor expansion of y in x 10.103 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 10.103 * [taylor]: Taking taylor expansion of (- x z) in x 10.103 * [taylor]: Taking taylor expansion of x in x 10.103 * [taylor]: Taking taylor expansion of z in x 10.103 * [taylor]: Taking taylor expansion of y in x 10.103 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.103 * [taylor]: Taking taylor expansion of -1 in z 10.103 * [taylor]: Taking taylor expansion of (* z y) in z 10.103 * [taylor]: Taking taylor expansion of z in z 10.103 * [taylor]: Taking taylor expansion of y in z 10.103 * [taylor]: Taking taylor expansion of 0 in y 10.103 * [taylor]: Taking taylor expansion of y in z 10.103 * [taylor]: Taking taylor expansion of y in y 10.103 * [taylor]: Taking taylor expansion of (neg y) in y 10.103 * [taylor]: Taking taylor expansion of y in y 10.103 * [taylor]: Taking taylor expansion of 0 in z 10.103 * [taylor]: Taking taylor expansion of 0 in y 10.103 * [taylor]: Taking taylor expansion of 0 in y 10.103 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 10.103 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 10.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.103 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.103 * [taylor]: Taking taylor expansion of x in y 10.104 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.104 * [taylor]: Taking taylor expansion of z in y 10.104 * [taylor]: Taking taylor expansion of y in y 10.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 10.104 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.104 * [taylor]: Taking taylor expansion of x in z 10.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.104 * [taylor]: Taking taylor expansion of z in z 10.104 * [taylor]: Taking taylor expansion of y in z 10.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.104 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.104 * [taylor]: Taking taylor expansion of x in x 10.104 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.104 * [taylor]: Taking taylor expansion of z in x 10.104 * [taylor]: Taking taylor expansion of y in x 10.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.104 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.104 * [taylor]: Taking taylor expansion of x in x 10.104 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.104 * [taylor]: Taking taylor expansion of z in x 10.104 * [taylor]: Taking taylor expansion of y in x 10.104 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.104 * [taylor]: Taking taylor expansion of y in z 10.105 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in z 10.105 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.105 * [taylor]: Taking taylor expansion of (* z y) in z 10.105 * [taylor]: Taking taylor expansion of z in z 10.105 * [taylor]: Taking taylor expansion of y in z 10.105 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 10.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.105 * [taylor]: Taking taylor expansion of y in y 10.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.105 * [taylor]: Taking taylor expansion of y in y 10.105 * [taylor]: Taking taylor expansion of 0 in z 10.105 * [taylor]: Taking taylor expansion of 0 in y 10.105 * [taylor]: Taking taylor expansion of 0 in y 10.106 * [taylor]: Taking taylor expansion of 0 in z 10.106 * [taylor]: Taking taylor expansion of 0 in y 10.106 * [taylor]: Taking taylor expansion of 0 in y 10.106 * [taylor]: Taking taylor expansion of 0 in y 10.106 * [approximate]: Taking taylor expansion of (pow (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) 2) in (x z y) around 0 10.106 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) 2) in y 10.106 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in y 10.106 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 10.106 * [taylor]: Taking taylor expansion of -1 in y 10.106 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 10.106 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.106 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.106 * [taylor]: Taking taylor expansion of z in y 10.107 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.107 * [taylor]: Taking taylor expansion of x in y 10.107 * [taylor]: Taking taylor expansion of y in y 10.107 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) 2) in z 10.107 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in z 10.107 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 10.107 * [taylor]: Taking taylor expansion of -1 in z 10.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 10.107 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.107 * [taylor]: Taking taylor expansion of z in z 10.107 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.107 * [taylor]: Taking taylor expansion of x in z 10.107 * [taylor]: Taking taylor expansion of y in z 10.107 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) 2) in x 10.107 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in x 10.107 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.107 * [taylor]: Taking taylor expansion of -1 in x 10.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.107 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.107 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.107 * [taylor]: Taking taylor expansion of z in x 10.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.107 * [taylor]: Taking taylor expansion of x in x 10.107 * [taylor]: Taking taylor expansion of y in x 10.107 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) 2) in x 10.108 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (- (/ 1 z) (/ 1 x)) y))) in x 10.108 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.108 * [taylor]: Taking taylor expansion of -1 in x 10.108 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.108 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.108 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.108 * [taylor]: Taking taylor expansion of z in x 10.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.108 * [taylor]: Taking taylor expansion of x in x 10.108 * [taylor]: Taking taylor expansion of y in x 10.108 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in z 10.108 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.108 * [taylor]: Taking taylor expansion of NAN in z 10.108 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.108 * [taylor]: Taking taylor expansion of y in z 10.108 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow y 2)) in y 10.108 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 10.108 * [taylor]: Taking taylor expansion of NAN in y 10.108 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.108 * [taylor]: Taking taylor expansion of y in y 10.109 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* z (pow y 2)))) (* 2 (/ (pow NAN 4) (pow y 3)))) in z 10.109 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* z (pow y 2)))) in z 10.109 * [taylor]: Taking taylor expansion of 2 in z 10.109 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* z (pow y 2))) in z 10.109 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.109 * [taylor]: Taking taylor expansion of NAN in z 10.109 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 10.109 * [taylor]: Taking taylor expansion of z in z 10.110 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.110 * [taylor]: Taking taylor expansion of y in z 10.110 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow y 3))) in z 10.110 * [taylor]: Taking taylor expansion of 2 in z 10.110 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in z 10.110 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 10.110 * [taylor]: Taking taylor expansion of NAN in z 10.110 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.110 * [taylor]: Taking taylor expansion of y in z 10.111 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow y 3))) in y 10.111 * [taylor]: Taking taylor expansion of 2 in y 10.111 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow y 3)) in y 10.111 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 10.111 * [taylor]: Taking taylor expansion of NAN in y 10.111 * [taylor]: Taking taylor expansion of (pow y 3) in y 10.111 * [taylor]: Taking taylor expansion of y in y 10.112 * [taylor]: Taking taylor expansion of 0 in y 10.115 * [taylor]: Taking taylor expansion of (+ (* 5 (/ (pow NAN 6) (pow y 4))) (+ (* 6 (/ (pow NAN 4) (* z (pow y 3)))) (/ (pow NAN 2) (* (pow z 2) (pow y 2))))) in z 10.115 * [taylor]: Taking taylor expansion of (* 5 (/ (pow NAN 6) (pow y 4))) in z 10.115 * [taylor]: Taking taylor expansion of 5 in z 10.115 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (pow y 4)) in z 10.115 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 10.115 * [taylor]: Taking taylor expansion of NAN in z 10.115 * [taylor]: Taking taylor expansion of (pow y 4) in z 10.115 * [taylor]: Taking taylor expansion of y in z 10.116 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) (* z (pow y 3)))) (/ (pow NAN 2) (* (pow z 2) (pow y 2)))) in z 10.116 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) (* z (pow y 3)))) in z 10.116 * [taylor]: Taking taylor expansion of 6 in z 10.116 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* z (pow y 3))) in z 10.116 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 10.116 * [taylor]: Taking taylor expansion of NAN in z 10.116 * [taylor]: Taking taylor expansion of (* z (pow y 3)) in z 10.116 * [taylor]: Taking taylor expansion of z in z 10.116 * [taylor]: Taking taylor expansion of (pow y 3) in z 10.116 * [taylor]: Taking taylor expansion of y in z 10.116 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow z 2) (pow y 2))) in z 10.116 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 10.116 * [taylor]: Taking taylor expansion of NAN in z 10.116 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 10.116 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.116 * [taylor]: Taking taylor expansion of z in z 10.116 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.116 * [taylor]: Taking taylor expansion of y in z 10.118 * [taylor]: Taking taylor expansion of (* 5 (/ (pow NAN 6) (pow y 4))) in y 10.118 * [taylor]: Taking taylor expansion of 5 in y 10.118 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (pow y 4)) in y 10.118 * [taylor]: Taking taylor expansion of (pow NAN 6) in y 10.118 * [taylor]: Taking taylor expansion of NAN in y 10.118 * [taylor]: Taking taylor expansion of (pow y 4) in y 10.118 * [taylor]: Taking taylor expansion of y in y 10.121 * [taylor]: Taking taylor expansion of 0 in y 10.121 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 10.121 * [approximate]: Taking taylor expansion of (* (- x z) y) in (x z y) around 0 10.121 * [taylor]: Taking taylor expansion of (* (- x z) y) in y 10.121 * [taylor]: Taking taylor expansion of (- x z) in y 10.121 * [taylor]: Taking taylor expansion of x in y 10.121 * [taylor]: Taking taylor expansion of z in y 10.121 * [taylor]: Taking taylor expansion of y in y 10.121 * [taylor]: Taking taylor expansion of (* (- x z) y) in z 10.121 * [taylor]: Taking taylor expansion of (- x z) in z 10.121 * [taylor]: Taking taylor expansion of x in z 10.121 * [taylor]: Taking taylor expansion of z in z 10.121 * [taylor]: Taking taylor expansion of y in z 10.121 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 10.121 * [taylor]: Taking taylor expansion of (- x z) in x 10.121 * [taylor]: Taking taylor expansion of x in x 10.121 * [taylor]: Taking taylor expansion of z in x 10.121 * [taylor]: Taking taylor expansion of y in x 10.121 * [taylor]: Taking taylor expansion of (* (- x z) y) in x 10.121 * [taylor]: Taking taylor expansion of (- x z) in x 10.121 * [taylor]: Taking taylor expansion of x in x 10.122 * [taylor]: Taking taylor expansion of z in x 10.122 * [taylor]: Taking taylor expansion of y in x 10.122 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.122 * [taylor]: Taking taylor expansion of -1 in z 10.122 * [taylor]: Taking taylor expansion of (* z y) in z 10.122 * [taylor]: Taking taylor expansion of z in z 10.122 * [taylor]: Taking taylor expansion of y in z 10.122 * [taylor]: Taking taylor expansion of 0 in y 10.122 * [taylor]: Taking taylor expansion of y in z 10.122 * [taylor]: Taking taylor expansion of y in y 10.122 * [taylor]: Taking taylor expansion of (neg y) in y 10.122 * [taylor]: Taking taylor expansion of y in y 10.122 * [taylor]: Taking taylor expansion of 0 in z 10.122 * [taylor]: Taking taylor expansion of 0 in y 10.122 * [taylor]: Taking taylor expansion of 0 in y 10.122 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 10.122 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 10.122 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.122 * [taylor]: Taking taylor expansion of x in y 10.122 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.122 * [taylor]: Taking taylor expansion of z in y 10.122 * [taylor]: Taking taylor expansion of y in y 10.123 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 10.123 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.123 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.123 * [taylor]: Taking taylor expansion of x in z 10.123 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.123 * [taylor]: Taking taylor expansion of z in z 10.123 * [taylor]: Taking taylor expansion of y in z 10.123 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.123 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.123 * [taylor]: Taking taylor expansion of x in x 10.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.123 * [taylor]: Taking taylor expansion of z in x 10.123 * [taylor]: Taking taylor expansion of y in x 10.123 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.123 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.123 * [taylor]: Taking taylor expansion of x in x 10.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.123 * [taylor]: Taking taylor expansion of z in x 10.123 * [taylor]: Taking taylor expansion of y in x 10.123 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.123 * [taylor]: Taking taylor expansion of y in z 10.123 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in z 10.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.123 * [taylor]: Taking taylor expansion of (* z y) in z 10.123 * [taylor]: Taking taylor expansion of z in z 10.123 * [taylor]: Taking taylor expansion of y in z 10.123 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 10.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.124 * [taylor]: Taking taylor expansion of y in y 10.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.124 * [taylor]: Taking taylor expansion of y in y 10.124 * [taylor]: Taking taylor expansion of 0 in z 10.124 * [taylor]: Taking taylor expansion of 0 in y 10.124 * [taylor]: Taking taylor expansion of 0 in y 10.124 * [taylor]: Taking taylor expansion of 0 in z 10.124 * [taylor]: Taking taylor expansion of 0 in y 10.125 * [taylor]: Taking taylor expansion of 0 in y 10.125 * [taylor]: Taking taylor expansion of 0 in y 10.125 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 10.125 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 10.125 * [taylor]: Taking taylor expansion of -1 in y 10.125 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 10.125 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.125 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.125 * [taylor]: Taking taylor expansion of z in y 10.125 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.125 * [taylor]: Taking taylor expansion of x in y 10.125 * [taylor]: Taking taylor expansion of y in y 10.125 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 10.125 * [taylor]: Taking taylor expansion of -1 in z 10.125 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 10.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.126 * [taylor]: Taking taylor expansion of z in z 10.126 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.126 * [taylor]: Taking taylor expansion of x in z 10.126 * [taylor]: Taking taylor expansion of y in z 10.126 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.126 * [taylor]: Taking taylor expansion of -1 in x 10.126 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.126 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.126 * [taylor]: Taking taylor expansion of z in x 10.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.126 * [taylor]: Taking taylor expansion of x in x 10.126 * [taylor]: Taking taylor expansion of y in x 10.126 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.126 * [taylor]: Taking taylor expansion of -1 in x 10.126 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.126 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.126 * [taylor]: Taking taylor expansion of z in x 10.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.126 * [taylor]: Taking taylor expansion of x in x 10.126 * [taylor]: Taking taylor expansion of y in x 10.126 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.126 * [taylor]: Taking taylor expansion of y in z 10.126 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in z 10.126 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.127 * [taylor]: Taking taylor expansion of (* z y) in z 10.127 * [taylor]: Taking taylor expansion of z in z 10.127 * [taylor]: Taking taylor expansion of y in z 10.127 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 10.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.127 * [taylor]: Taking taylor expansion of y in y 10.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.127 * [taylor]: Taking taylor expansion of y in y 10.127 * [taylor]: Taking taylor expansion of 0 in z 10.127 * [taylor]: Taking taylor expansion of 0 in y 10.127 * [taylor]: Taking taylor expansion of 0 in y 10.128 * [taylor]: Taking taylor expansion of 0 in z 10.128 * [taylor]: Taking taylor expansion of 0 in y 10.128 * [taylor]: Taking taylor expansion of 0 in y 10.128 * [taylor]: Taking taylor expansion of 0 in y 10.128 * * * [progress]: simplifying candidates 10.130 * [simplify]: Simplifying using # : (log (sqrt (* (- x z) y))) (exp (sqrt (* (- x z) y))) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y)))) (cbrt (sqrt (* (- x z) y))) (* (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (sqrt (* (- x z) y))) (sqrt (- x z)) (sqrt y) (sqrt (* (- (pow x 3) (pow z 3)) y)) (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (* (- (* x x) (* z z)) y)) (sqrt (+ x z)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y))) (log (sqrt (* (- x z) y))) (exp (sqrt (* (- x z) y))) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y)))) (cbrt (sqrt (* (- x z) y))) (* (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (sqrt (* (- x z) y))) (sqrt (- x z)) (sqrt y) (sqrt (* (- (pow x 3) (pow z 3)) y)) (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (* (- (* x x) (* z z)) y)) (sqrt (+ x z)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* (- x z) y) (* (- x z) y)) (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (* (* (- x z) y) (* (- x z) y)) (* (* (- x z) y) (* (- x z) y)) (* (* (- x z) y) (* (- x z) y)) (* (* (- x z) y) (* (- x z) y)) (+ 1 1) (+ (log (sqrt (* (- x z) y))) (log (sqrt (* (- x z) y)))) (log (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (exp (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (* (* (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (sqrt (* (- x z) y))) (* (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (sqrt (* (- x z) y)))) (* (cbrt (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (cbrt (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))))) (cbrt (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (* (* (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (* (* (- x z) y) (* (- x z) y)) (sqrt (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (sqrt (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y)))) (* (sqrt (* (- (pow x 3) (pow z 3)) y)) (sqrt (* (- (pow x 3) (pow z 3)) y))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (* (sqrt (* (- (pow x 3) (pow z 3)) y)) (sqrt (* (- (* x x) (* z z)) y))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (+ x z))) (* (sqrt (* (- (* x x) (* z z)) y)) (sqrt (* (- (pow x 3) (pow z 3)) y))) (* (sqrt (+ x z)) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (* (sqrt (* (- (* x x) (* z z)) y)) (sqrt (* (- (* x x) (* z z)) y))) (* (sqrt (+ x z)) (sqrt (+ x z))) (* (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y)))) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y))))) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y)))) (* (sqrt (- x z)) (sqrt (- x z))) (* (sqrt y) (sqrt y)) (* (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y)))) (* (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y)))) (* 1 1) (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (* (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y)))) (* (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* (- x z) y)) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y))))) (* (sqrt (* (- x z) y)) (sqrt (- x z))) (* (sqrt (* (- x z) y)) (sqrt (sqrt (* (- x z) y)))) (* (sqrt (* (- x z) y)) 1) (* (cbrt (sqrt (* (- x z) y))) (sqrt (* (- x z) y))) (* (sqrt y) (sqrt (* (- x z) y))) (* (sqrt (sqrt (* (- x z) y))) (sqrt (* (- x z) y))) (* (sqrt (* (- x z) y)) (sqrt (* (- x z) y))) (* (sqrt (* (- x z) y)) (sqrt (* (- (pow x 3) (pow z 3)) y))) (* (sqrt (* (- x z) y)) (sqrt (* (- (* x x) (* z z)) y))) (* (sqrt (* (- (pow x 3) (pow z 3)) y)) (sqrt (* (- x z) y))) (* (sqrt (* (- (* x x) (* z z)) y)) (sqrt (* (- x z) y))) (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) (- (* NAN (* z y)) (* 1/2 (* x (* NAN y)))) (+ (* NAN y) (/ (* NAN (* z y)) x)) (neg (+ (* NAN y) (/ (* NAN (* z y)) x))) (- (* NAN (* z y)) (* 1/2 (* x (* NAN y)))) (+ (* NAN y) (/ (* NAN (* z y)) x)) (neg (+ (* NAN y) (/ (* NAN (* z y)) x))) 0 (- (* x y) (* z y)) 0 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 10.133 * * [simplify]: iteration 0 : 117 enodes (cost 1321 ) 10.158 * * [simplify]: iteration 1 : 221 enodes (cost 981 ) 10.205 * * [simplify]: iteration 2 : 706 enodes (cost 917 ) 11.287 * * [simplify]: iteration 3 : 3109 enodes (cost 865 ) 12.563 * * [simplify]: iteration done : 5001 enodes (cost 865 ) 12.564 * [simplify]: Simplified to: (log (sqrt (* (- x z) y))) (exp (sqrt (* (- x z) y))) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y)))) (cbrt (sqrt (* (- x z) y))) (pow (sqrt (* (- x z) y)) 3) (sqrt (- x z)) (sqrt y) (sqrt (* y (- (pow x 3) (pow z 3)))) (sqrt (+ (* x x) (* z (+ x z)))) (sqrt (* (- (* x x) (* z z)) y)) (sqrt (+ x z)) 1/2 1/2 (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y))) (log (sqrt (* (- x z) y))) (exp (sqrt (* (- x z) y))) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y)))) (cbrt (sqrt (* (- x z) y))) (pow (sqrt (* (- x z) y)) 3) (sqrt (- x z)) (sqrt y) (sqrt (* y (- (pow x 3) (pow z 3)))) (sqrt (+ (* x x) (* z (+ x z)))) (sqrt (* (- (* x x) (* z z)) y)) (sqrt (+ x z)) 1/2 1/2 (sqrt (sqrt (* (- x z) y))) (sqrt (sqrt (* (- x z) y))) 1 1 1 2 1 1 1 1 1 1 (pow (sqrt (* (- x z) y)) 4) (* (- x z) y) (pow (sqrt (* (- x z) y)) 4) (pow (sqrt (* (- x z) y)) 4) (pow (sqrt (* (- x z) y)) 4) (pow (sqrt (* (- x z) y)) 4) 2 (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (pow (sqrt (* (- x z) y)) 4) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ x z))) (* (sqrt (* (- (* x x) (* z z)) y)) (sqrt (* (- (pow x 3) (pow z 3)) y))) (* (sqrt (+ x z)) (sqrt (+ (* x x) (* z (+ x z))))) (* (sqrt (* (- (* x x) (* z z)) y)) (sqrt (* (- (pow x 3) (pow z 3)) y))) (* (sqrt (+ x z)) (sqrt (+ (* x x) (* z (+ x z))))) (* (- (* x x) (* z z)) y) (+ x z) (pow (cbrt (sqrt (* (- x z) y))) 4) (* (cbrt (sqrt (* (- x z) y))) (cbrt (sqrt (* (- x z) y)))) (- x z) y (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) 1 (* (- x z) y) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) 1 2 1 1 1 1 (* (pow (cbrt (sqrt (* (- x z) y))) 4) (cbrt (sqrt (* (- x z) y)))) (* (sqrt (* (- x z) y)) (sqrt (- x z))) (pow (sqrt (sqrt (* (- x z) y))) 3) (sqrt (* (- x z) y)) (pow (cbrt (sqrt (* (- x z) y))) 4) (* (sqrt y) (sqrt (* (- x z) y))) (pow (sqrt (sqrt (* (- x z) y))) 3) (* (- x z) y) (* (sqrt (* (- x z) y)) (sqrt (* (- (pow x 3) (pow z 3)) y))) (* (sqrt (* (- x z) y)) (sqrt (* (- (* x x) (* z z)) y))) (* (sqrt (* (- x z) y)) (sqrt (* (- (pow x 3) (pow z 3)) y))) (* (sqrt (* (- x z) y)) (sqrt (* (- (* x x) (* z z)) y))) (* (- x z) y) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* y (- (pow x 3) (pow z 3))) (* (- (* x x) (* z z)) y) (* (* NAN y) (+ z (* x -1/2))) (+ (* NAN y) (/ (* NAN (* z y)) x)) (neg (+ (* NAN y) (/ (* NAN (* z y)) x))) (* (* NAN y) (+ z (* x -1/2))) (+ (* NAN y) (/ (* NAN (* z y)) x)) (neg (+ (* NAN y) (/ (* NAN (* z y)) x))) 0 (* (- x z) y) 0 0 (* (- x z) y) (* (- x z) y) 12.565 * * * [progress]: adding candidates to table 12.647 * [progress]: [Phase 3 of 3] Extracting. 12.647 * * [regime]: Finding splitpoints for: (# # #) 12.648 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 12.648 * * * * [regimes]: Trying to branch on z from (# # #) 12.690 * * * * [regimes]: Trying to branch on y from (# # #) 12.730 * * * * [regimes]: Trying to branch on x from (# # #) 12.773 * * * [regime]: Found split indices: #