32.126 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.677 * * * [progress]: [2/2] Setting up program.
0.681 * [progress]: [Phase 2 of 3] Improving.
0.681 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (/ x y) (- z t)) t)
0.713 * * [simplify]: iteration  0 :  733  enodes  (cost  9 )
0.713 * * [simplify]: iteration  1 :  733  enodes  (cost  9 )
0.713 * [simplify]: Simplified to:
   (+ t (* x (/ (- z t) y)))
0.717 * * [progress]: iteration 1 / 4
0.717 * * * [progress]: picking best candidate
0.723 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (/ x y) (- z t)) t))>
0.723 * * * [progress]: localizing error
0.734 * * * [progress]: generating rewritten candidates
0.734 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.743 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.753 * * * [progress]: generating series expansions
0.753 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.753 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0
0.753 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
0.753 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
0.753 * [taylor]: Taking taylor expansion of x in t
0.753 * [taylor]: Taking taylor expansion of (- z t) in t
0.753 * [taylor]: Taking taylor expansion of z in t
0.753 * [taylor]: Taking taylor expansion of t in t
0.753 * [taylor]: Taking taylor expansion of y in t
0.753 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
0.753 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
0.753 * [taylor]: Taking taylor expansion of x in z
0.753 * [taylor]: Taking taylor expansion of (- z t) in z
0.753 * [taylor]: Taking taylor expansion of z in z
0.753 * [taylor]: Taking taylor expansion of t in z
0.753 * [taylor]: Taking taylor expansion of y in z
0.753 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
0.753 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
0.753 * [taylor]: Taking taylor expansion of x in y
0.753 * [taylor]: Taking taylor expansion of (- z t) in y
0.753 * [taylor]: Taking taylor expansion of z in y
0.753 * [taylor]: Taking taylor expansion of t in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.753 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
0.753 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (- z t) in x
0.754 * [taylor]: Taking taylor expansion of z in x
0.754 * [taylor]: Taking taylor expansion of t in x
0.754 * [taylor]: Taking taylor expansion of y in x
0.754 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
0.754 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (- z t) in x
0.754 * [taylor]: Taking taylor expansion of z in x
0.754 * [taylor]: Taking taylor expansion of t in x
0.754 * [taylor]: Taking taylor expansion of y in x
0.754 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y
0.754 * [taylor]: Taking taylor expansion of (- z t) in y
0.754 * [taylor]: Taking taylor expansion of z in y
0.754 * [taylor]: Taking taylor expansion of t in y
0.754 * [taylor]: Taking taylor expansion of y in y
0.754 * [taylor]: Taking taylor expansion of (- z t) in z
0.754 * [taylor]: Taking taylor expansion of z in z
0.754 * [taylor]: Taking taylor expansion of t in z
0.754 * [taylor]: Taking taylor expansion of (neg t) in t
0.754 * [taylor]: Taking taylor expansion of t in t
0.754 * [taylor]: Taking taylor expansion of 0 in y
0.754 * [taylor]: Taking taylor expansion of 0 in z
0.754 * [taylor]: Taking taylor expansion of 0 in t
0.754 * [taylor]: Taking taylor expansion of 1 in t
0.755 * [taylor]: Taking taylor expansion of 0 in y
0.755 * [taylor]: Taking taylor expansion of 0 in z
0.755 * [taylor]: Taking taylor expansion of 0 in t
0.755 * [taylor]: Taking taylor expansion of 0 in z
0.755 * [taylor]: Taking taylor expansion of 0 in t
0.755 * [taylor]: Taking taylor expansion of 0 in t
0.755 * [taylor]: Taking taylor expansion of 0 in t
0.755 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0
0.755 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t
0.755 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t
0.755 * [taylor]: Taking taylor expansion of y in t
0.755 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.755 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.755 * [taylor]: Taking taylor expansion of z in t
0.755 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.755 * [taylor]: Taking taylor expansion of t in t
0.756 * [taylor]: Taking taylor expansion of x in t
0.756 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z
0.756 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z
0.756 * [taylor]: Taking taylor expansion of y in z
0.756 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.756 * [taylor]: Taking taylor expansion of z in z
0.756 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.756 * [taylor]: Taking taylor expansion of t in z
0.756 * [taylor]: Taking taylor expansion of x in z
0.756 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y
0.756 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y
0.756 * [taylor]: Taking taylor expansion of y in y
0.756 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.756 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.756 * [taylor]: Taking taylor expansion of z in y
0.756 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.756 * [taylor]: Taking taylor expansion of t in y
0.756 * [taylor]: Taking taylor expansion of x in y
0.756 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
0.756 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
0.756 * [taylor]: Taking taylor expansion of y in x
0.756 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.756 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.756 * [taylor]: Taking taylor expansion of z in x
0.756 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.756 * [taylor]: Taking taylor expansion of t in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
0.757 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
0.757 * [taylor]: Taking taylor expansion of y in x
0.757 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.757 * [taylor]: Taking taylor expansion of z in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.757 * [taylor]: Taking taylor expansion of t in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
0.757 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.757 * [taylor]: Taking taylor expansion of z in y
0.757 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.757 * [taylor]: Taking taylor expansion of t in y
0.757 * [taylor]: Taking taylor expansion of y in y
0.757 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.758 * [taylor]: Taking taylor expansion of z in z
0.758 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.758 * [taylor]: Taking taylor expansion of t in z
0.758 * [taylor]: Taking taylor expansion of 1 in t
0.758 * [taylor]: Taking taylor expansion of 0 in y
0.758 * [taylor]: Taking taylor expansion of 0 in z
0.758 * [taylor]: Taking taylor expansion of 0 in z
0.758 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.758 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.758 * [taylor]: Taking taylor expansion of t in t
0.759 * [taylor]: Taking taylor expansion of 0 in y
0.759 * [taylor]: Taking taylor expansion of 0 in z
0.759 * [taylor]: Taking taylor expansion of 0 in z
0.759 * [taylor]: Taking taylor expansion of 0 in z
0.759 * [taylor]: Taking taylor expansion of 0 in t
0.759 * [taylor]: Taking taylor expansion of 0 in t
0.759 * [taylor]: Taking taylor expansion of 0 in t
0.760 * [taylor]: Taking taylor expansion of 0 in y
0.760 * [taylor]: Taking taylor expansion of 0 in z
0.760 * [taylor]: Taking taylor expansion of 0 in z
0.760 * [taylor]: Taking taylor expansion of 0 in z
0.760 * [taylor]: Taking taylor expansion of 0 in z
0.760 * [taylor]: Taking taylor expansion of 0 in t
0.760 * [taylor]: Taking taylor expansion of 0 in t
0.760 * [taylor]: Taking taylor expansion of 0 in t
0.760 * [taylor]: Taking taylor expansion of 0 in t
0.760 * [taylor]: Taking taylor expansion of 0 in t
0.760 * [taylor]: Taking taylor expansion of 0 in t
0.761 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0
0.761 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
0.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
0.761 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
0.761 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.761 * [taylor]: Taking taylor expansion of t in t
0.761 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.761 * [taylor]: Taking taylor expansion of z in t
0.761 * [taylor]: Taking taylor expansion of y in t
0.761 * [taylor]: Taking taylor expansion of x in t
0.761 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
0.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
0.761 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.761 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.761 * [taylor]: Taking taylor expansion of t in z
0.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.761 * [taylor]: Taking taylor expansion of z in z
0.761 * [taylor]: Taking taylor expansion of y in z
0.761 * [taylor]: Taking taylor expansion of x in z
0.761 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
0.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
0.761 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.761 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.761 * [taylor]: Taking taylor expansion of t in y
0.761 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.761 * [taylor]: Taking taylor expansion of z in y
0.761 * [taylor]: Taking taylor expansion of y in y
0.761 * [taylor]: Taking taylor expansion of x in y
0.762 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
0.762 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
0.762 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
0.762 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.762 * [taylor]: Taking taylor expansion of t in x
0.762 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.762 * [taylor]: Taking taylor expansion of z in x
0.762 * [taylor]: Taking taylor expansion of y in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
0.762 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
0.762 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
0.762 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.762 * [taylor]: Taking taylor expansion of t in x
0.762 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.762 * [taylor]: Taking taylor expansion of z in x
0.762 * [taylor]: Taking taylor expansion of y in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
0.762 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.763 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.763 * [taylor]: Taking taylor expansion of t in y
0.763 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.763 * [taylor]: Taking taylor expansion of z in y
0.763 * [taylor]: Taking taylor expansion of y in y
0.763 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.763 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.763 * [taylor]: Taking taylor expansion of t in z
0.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.763 * [taylor]: Taking taylor expansion of z in z
0.763 * [taylor]: Taking taylor expansion of (neg 1) in t
0.763 * [taylor]: Taking taylor expansion of 1 in t
0.764 * [taylor]: Taking taylor expansion of 0 in y
0.764 * [taylor]: Taking taylor expansion of 0 in z
0.764 * [taylor]: Taking taylor expansion of 0 in z
0.764 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.764 * [taylor]: Taking taylor expansion of t in t
0.764 * [taylor]: Taking taylor expansion of 0 in y
0.764 * [taylor]: Taking taylor expansion of 0 in z
0.764 * [taylor]: Taking taylor expansion of 0 in z
0.765 * [taylor]: Taking taylor expansion of 0 in z
0.765 * [taylor]: Taking taylor expansion of 0 in t
0.765 * [taylor]: Taking taylor expansion of 0 in t
0.765 * [taylor]: Taking taylor expansion of 0 in t
0.765 * [taylor]: Taking taylor expansion of 0 in y
0.765 * [taylor]: Taking taylor expansion of 0 in z
0.765 * [taylor]: Taking taylor expansion of 0 in z
0.765 * [taylor]: Taking taylor expansion of 0 in z
0.766 * [taylor]: Taking taylor expansion of 0 in z
0.766 * [taylor]: Taking taylor expansion of 0 in t
0.766 * [taylor]: Taking taylor expansion of 0 in t
0.766 * [taylor]: Taking taylor expansion of 0 in t
0.766 * [taylor]: Taking taylor expansion of 0 in t
0.766 * [taylor]: Taking taylor expansion of 0 in t
0.766 * [taylor]: Taking taylor expansion of 0 in t
0.766 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.766 * [approximate]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in (x y z t) around 0
0.766 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in t
0.766 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in t
0.766 * [taylor]: Taking taylor expansion of t in t
0.766 * [taylor]: Taking taylor expansion of (/ (* x z) y) in t
0.766 * [taylor]: Taking taylor expansion of (* x z) in t
0.766 * [taylor]: Taking taylor expansion of x in t
0.766 * [taylor]: Taking taylor expansion of z in t
0.766 * [taylor]: Taking taylor expansion of y in t
0.767 * [taylor]: Taking taylor expansion of (/ (* t x) y) in t
0.767 * [taylor]: Taking taylor expansion of (* t x) in t
0.767 * [taylor]: Taking taylor expansion of t in t
0.767 * [taylor]: Taking taylor expansion of x in t
0.767 * [taylor]: Taking taylor expansion of y in t
0.767 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in z
0.767 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in z
0.767 * [taylor]: Taking taylor expansion of t in z
0.767 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z
0.767 * [taylor]: Taking taylor expansion of (* x z) in z
0.767 * [taylor]: Taking taylor expansion of x in z
0.767 * [taylor]: Taking taylor expansion of z in z
0.767 * [taylor]: Taking taylor expansion of y in z
0.767 * [taylor]: Taking taylor expansion of (/ (* t x) y) in z
0.767 * [taylor]: Taking taylor expansion of (* t x) in z
0.767 * [taylor]: Taking taylor expansion of t in z
0.767 * [taylor]: Taking taylor expansion of x in z
0.767 * [taylor]: Taking taylor expansion of y in z
0.767 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in y
0.767 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in y
0.767 * [taylor]: Taking taylor expansion of t in y
0.767 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y
0.767 * [taylor]: Taking taylor expansion of (* x z) in y
0.767 * [taylor]: Taking taylor expansion of x in y
0.767 * [taylor]: Taking taylor expansion of z in y
0.767 * [taylor]: Taking taylor expansion of y in y
0.767 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y
0.767 * [taylor]: Taking taylor expansion of (* t x) in y
0.767 * [taylor]: Taking taylor expansion of t in y
0.767 * [taylor]: Taking taylor expansion of x in y
0.767 * [taylor]: Taking taylor expansion of y in y
0.767 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x
0.767 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x
0.767 * [taylor]: Taking taylor expansion of t in x
0.767 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
0.767 * [taylor]: Taking taylor expansion of (* x z) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of z in x
0.767 * [taylor]: Taking taylor expansion of y in x
0.767 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
0.767 * [taylor]: Taking taylor expansion of (* t x) in x
0.767 * [taylor]: Taking taylor expansion of t in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.768 * [taylor]: Taking taylor expansion of y in x
0.768 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x
0.768 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x
0.768 * [taylor]: Taking taylor expansion of t in x
0.768 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
0.768 * [taylor]: Taking taylor expansion of (* x z) in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.768 * [taylor]: Taking taylor expansion of z in x
0.768 * [taylor]: Taking taylor expansion of y in x
0.768 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
0.768 * [taylor]: Taking taylor expansion of (* t x) in x
0.768 * [taylor]: Taking taylor expansion of t in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.768 * [taylor]: Taking taylor expansion of y in x
0.768 * [taylor]: Taking taylor expansion of t in y
0.768 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y
0.768 * [taylor]: Taking taylor expansion of (/ z y) in y
0.768 * [taylor]: Taking taylor expansion of z in y
0.768 * [taylor]: Taking taylor expansion of y in y
0.768 * [taylor]: Taking taylor expansion of (/ t y) in y
0.768 * [taylor]: Taking taylor expansion of t in y
0.768 * [taylor]: Taking taylor expansion of y in y
0.768 * [taylor]: Taking taylor expansion of (- z t) in z
0.768 * [taylor]: Taking taylor expansion of z in z
0.768 * [taylor]: Taking taylor expansion of t in z
0.768 * [taylor]: Taking taylor expansion of (neg t) in t
0.768 * [taylor]: Taking taylor expansion of t in t
0.768 * [taylor]: Taking taylor expansion of t in z
0.768 * [taylor]: Taking taylor expansion of t in t
0.769 * [taylor]: Taking taylor expansion of 0 in y
0.769 * [taylor]: Taking taylor expansion of 0 in z
0.769 * [taylor]: Taking taylor expansion of 0 in t
0.769 * [taylor]: Taking taylor expansion of 0 in z
0.769 * [taylor]: Taking taylor expansion of 0 in t
0.769 * [taylor]: Taking taylor expansion of 1 in t
0.769 * [taylor]: Taking taylor expansion of 0 in t
0.769 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in (x y z t) around 0
0.769 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in t
0.769 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
0.769 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.769 * [taylor]: Taking taylor expansion of t in t
0.769 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
0.770 * [taylor]: Taking taylor expansion of y in t
0.770 * [taylor]: Taking taylor expansion of (* x z) in t
0.770 * [taylor]: Taking taylor expansion of x in t
0.770 * [taylor]: Taking taylor expansion of z in t
0.770 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
0.770 * [taylor]: Taking taylor expansion of y in t
0.770 * [taylor]: Taking taylor expansion of (* t x) in t
0.770 * [taylor]: Taking taylor expansion of t in t
0.770 * [taylor]: Taking taylor expansion of x in t
0.770 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in z
0.770 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
0.770 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.770 * [taylor]: Taking taylor expansion of t in z
0.770 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
0.770 * [taylor]: Taking taylor expansion of y in z
0.770 * [taylor]: Taking taylor expansion of (* x z) in z
0.770 * [taylor]: Taking taylor expansion of x in z
0.770 * [taylor]: Taking taylor expansion of z in z
0.770 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
0.770 * [taylor]: Taking taylor expansion of y in z
0.770 * [taylor]: Taking taylor expansion of (* t x) in z
0.770 * [taylor]: Taking taylor expansion of t in z
0.770 * [taylor]: Taking taylor expansion of x in z
0.770 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in y
0.770 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
0.770 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.770 * [taylor]: Taking taylor expansion of t in y
0.770 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
0.770 * [taylor]: Taking taylor expansion of y in y
0.770 * [taylor]: Taking taylor expansion of (* x z) in y
0.770 * [taylor]: Taking taylor expansion of x in y
0.770 * [taylor]: Taking taylor expansion of z in y
0.770 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
0.770 * [taylor]: Taking taylor expansion of y in y
0.770 * [taylor]: Taking taylor expansion of (* t x) in y
0.770 * [taylor]: Taking taylor expansion of t in y
0.770 * [taylor]: Taking taylor expansion of x in y
0.770 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x
0.770 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
0.770 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.770 * [taylor]: Taking taylor expansion of t in x
0.771 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
0.771 * [taylor]: Taking taylor expansion of y in x
0.771 * [taylor]: Taking taylor expansion of (* x z) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of z in x
0.771 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
0.771 * [taylor]: Taking taylor expansion of y in x
0.771 * [taylor]: Taking taylor expansion of (* t x) in x
0.771 * [taylor]: Taking taylor expansion of t in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x
0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.771 * [taylor]: Taking taylor expansion of t in x
0.771 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
0.771 * [taylor]: Taking taylor expansion of y in x
0.771 * [taylor]: Taking taylor expansion of (* x z) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of z in x
0.771 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
0.771 * [taylor]: Taking taylor expansion of y in x
0.771 * [taylor]: Taking taylor expansion of (* t x) in x
0.771 * [taylor]: Taking taylor expansion of t in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y
0.771 * [taylor]: Taking taylor expansion of (/ y z) in y
0.771 * [taylor]: Taking taylor expansion of y in y
0.771 * [taylor]: Taking taylor expansion of z in y
0.771 * [taylor]: Taking taylor expansion of (/ y t) in y
0.771 * [taylor]: Taking taylor expansion of y in y
0.771 * [taylor]: Taking taylor expansion of t in y
0.772 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.772 * [taylor]: Taking taylor expansion of t in y
0.772 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.772 * [taylor]: Taking taylor expansion of t in z
0.772 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.772 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.772 * [taylor]: Taking taylor expansion of z in z
0.772 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.772 * [taylor]: Taking taylor expansion of t in z
0.772 * [taylor]: Taking taylor expansion of 1 in t
0.772 * [taylor]: Taking taylor expansion of 0 in y
0.772 * [taylor]: Taking taylor expansion of 0 in z
0.772 * [taylor]: Taking taylor expansion of 0 in z
0.773 * [taylor]: Taking taylor expansion of 0 in z
0.773 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.773 * [taylor]: Taking taylor expansion of t in t
0.773 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.773 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.773 * [taylor]: Taking taylor expansion of t in t
0.773 * [approximate]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in (x y z t) around 0
0.773 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in t
0.773 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
0.773 * [taylor]: Taking taylor expansion of y in t
0.773 * [taylor]: Taking taylor expansion of (* t x) in t
0.773 * [taylor]: Taking taylor expansion of t in t
0.773 * [taylor]: Taking taylor expansion of x in t
0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
0.774 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.774 * [taylor]: Taking taylor expansion of t in t
0.774 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
0.774 * [taylor]: Taking taylor expansion of y in t
0.774 * [taylor]: Taking taylor expansion of (* x z) in t
0.774 * [taylor]: Taking taylor expansion of x in t
0.774 * [taylor]: Taking taylor expansion of z in t
0.774 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in z
0.774 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
0.774 * [taylor]: Taking taylor expansion of y in z
0.774 * [taylor]: Taking taylor expansion of (* t x) in z
0.774 * [taylor]: Taking taylor expansion of t in z
0.774 * [taylor]: Taking taylor expansion of x in z
0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
0.774 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.774 * [taylor]: Taking taylor expansion of t in z
0.774 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
0.774 * [taylor]: Taking taylor expansion of y in z
0.774 * [taylor]: Taking taylor expansion of (* x z) in z
0.774 * [taylor]: Taking taylor expansion of x in z
0.774 * [taylor]: Taking taylor expansion of z in z
0.774 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in y
0.774 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
0.774 * [taylor]: Taking taylor expansion of y in y
0.774 * [taylor]: Taking taylor expansion of (* t x) in y
0.774 * [taylor]: Taking taylor expansion of t in y
0.774 * [taylor]: Taking taylor expansion of x in y
0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
0.774 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.774 * [taylor]: Taking taylor expansion of t in y
0.774 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
0.774 * [taylor]: Taking taylor expansion of y in y
0.774 * [taylor]: Taking taylor expansion of (* x z) in y
0.774 * [taylor]: Taking taylor expansion of x in y
0.774 * [taylor]: Taking taylor expansion of z in y
0.774 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x
0.774 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
0.774 * [taylor]: Taking taylor expansion of y in x
0.774 * [taylor]: Taking taylor expansion of (* t x) in x
0.774 * [taylor]: Taking taylor expansion of t in x
0.774 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
0.775 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.775 * [taylor]: Taking taylor expansion of t in x
0.775 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
0.775 * [taylor]: Taking taylor expansion of y in x
0.775 * [taylor]: Taking taylor expansion of (* x z) in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of z in x
0.775 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x
0.775 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
0.775 * [taylor]: Taking taylor expansion of y in x
0.775 * [taylor]: Taking taylor expansion of (* t x) in x
0.775 * [taylor]: Taking taylor expansion of t in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
0.775 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.775 * [taylor]: Taking taylor expansion of t in x
0.775 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
0.775 * [taylor]: Taking taylor expansion of y in x
0.775 * [taylor]: Taking taylor expansion of (* x z) in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of z in x
0.775 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y
0.775 * [taylor]: Taking taylor expansion of (/ y t) in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.775 * [taylor]: Taking taylor expansion of t in y
0.775 * [taylor]: Taking taylor expansion of (/ y z) in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.775 * [taylor]: Taking taylor expansion of z in y
0.776 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in y
0.776 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.776 * [taylor]: Taking taylor expansion of t in y
0.776 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in z
0.776 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.776 * [taylor]: Taking taylor expansion of t in z
0.776 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.776 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.776 * [taylor]: Taking taylor expansion of t in z
0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.776 * [taylor]: Taking taylor expansion of z in z
0.776 * [taylor]: Taking taylor expansion of (neg 1) in t
0.776 * [taylor]: Taking taylor expansion of 1 in t
0.776 * [taylor]: Taking taylor expansion of 0 in y
0.776 * [taylor]: Taking taylor expansion of 0 in z
0.776 * [taylor]: Taking taylor expansion of 0 in z
0.777 * [taylor]: Taking taylor expansion of 0 in z
0.777 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.777 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.777 * [taylor]: Taking taylor expansion of t in t
0.777 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.777 * [taylor]: Taking taylor expansion of t in t
0.777 * * * [progress]: simplifying candidates
0.778 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ x y) (- z t))
  (+ (- (log x) (log y)) (log (- z t)))
  (+ (log (/ x y)) (log (- z t)))
  (log (* (/ x y) (- z t)))
  (exp (* (/ x y) (- z t)))
  (* (/ (* (* x x) x) (* (* y y) y)) (* (* (- z t) (- z t)) (- z t)))
  (* (* (* (/ x y) (/ x y)) (/ x y)) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t))))
  (cbrt (* (/ x y) (- z t)))
  (* (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (* x (- (pow z 3) (pow t 3)))
  (* y (+ (* z z) (+ (* t t) (* z t))))
  (* x (- (* z z) (* t t)))
  (* y (+ z t))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ x y) z)
  (* (/ x y) (neg t))
  (* z (/ x y))
  (* (neg t) (/ x y))
  (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ x y) (sqrt (- z t)))
  (* (/ x y) 1)
  (* (/ x y) (+ (sqrt z) (sqrt t)))
  (* (/ x y) 1)
  (* (cbrt (/ x y)) (- z t))
  (* (sqrt (/ x y)) (- z t))
  (* (/ (cbrt x) (cbrt y)) (- z t))
  (* (/ (cbrt x) (sqrt y)) (- z t))
  (* (/ (cbrt x) y) (- z t))
  (* (/ (sqrt x) (cbrt y)) (- z t))
  (* (/ (sqrt x) (sqrt y)) (- z t))
  (* (/ (sqrt x) y) (- z t))
  (* (/ x (cbrt y)) (- z t))
  (* (/ x (sqrt y)) (- z t))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (* (/ 1 y) (- z t))
  (* (/ x y) (- (pow z 3) (pow t 3)))
  (* (/ x y) (- (* z z) (* t t)))
  (* x (- z t))
  (* (exp (* (/ x y) (- z t))) (exp t))
  (log (+ (* (/ x y) (- z t)) t))
  (exp (+ (* (/ x y) (- z t)) t))
  (* (cbrt (+ (* (/ x y) (- z t)) t)) (cbrt (+ (* (/ x y) (- z t)) t)))
  (cbrt (+ (* (/ x y) (- z t)) t))
  (* (* (+ (* (/ x y) (- z t)) t) (+ (* (/ x y) (- z t)) t)) (+ (* (/ x y) (- z t)) t))
  (sqrt (+ (* (/ x y) (- z t)) t))
  (sqrt (+ (* (/ x y) (- z t)) t))
  (+ (pow (* (/ x y) (- z t)) 3) (pow t 3))
  (+ (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (- (* t t) (* (* (/ x y) (- z t)) t)))
  (- (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* t t))
  (- (* (/ x y) (- z t)) t)
  (+ (* (/ x y) (neg t)) t)
  (+ (* (neg t) (/ x y)) t)
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
0.815 * * [simplify]: iteration  0 :  4963  enodes  (cost  583 )
0.816 * * [simplify]: iteration  1 :  4963  enodes  (cost  583 )
0.818 * [simplify]: Simplified to:
   (* (/ x y) (- z t))
  (log (* (/ x y) (- z t)))
  (log (* (/ x y) (- z t)))
  (log (* (/ x y) (- z t)))
  (pow (exp (/ x y)) (- z t))
  (pow (* (/ x y) (- z t)) 3)
  (pow (* (/ x y) (- z t)) 3)
  (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t))))
  (cbrt (* (/ x y) (- z t)))
  (pow (* (/ x y) (- z t)) 3)
  (sqrt (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (* x (- (pow z 3) (pow t 3)))
  (* y (+ (* z z) (* t (+ z t))))
  (* x (- (* z z) (* t t)))
  (* y (+ z t))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (- z t)) (/ (sqrt x) (sqrt y)))
  (* (sqrt (- z t)) (/ (sqrt x) (sqrt y)))
  (* (/ x y) z)
  (* x (neg (/ t y)))
  (* (/ x y) z)
  (* x (neg (/ t y)))
  (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ x y) (sqrt (- z t)))
  (/ x y)
  (* (/ x y) (+ (sqrt z) (sqrt t)))
  (/ x y)
  (* (- z t) (cbrt (/ x y)))
  (* (- z t) (sqrt (/ x y)))
  (* (- z t) (/ (cbrt x) (cbrt y)))
  (* (- z t) (/ (cbrt x) (sqrt y)))
  (* (- z t) (/ (cbrt x) y))
  (* (- z t) (/ (sqrt x) (cbrt y)))
  (* (- z t) (/ (sqrt x) (sqrt y)))
  (* (- z t) (/ (sqrt x) y))
  (* (- z t) (/ x (cbrt y)))
  (* (- z t) (/ x (sqrt y)))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (/ (- z t) y)
  (* (/ x y) (- (pow z 3) (pow t 3)))
  (* (/ x y) (- (* z z) (* t t)))
  (* x (- z t))
  (exp (+ t (* (/ x y) (- z t))))
  (log (+ t (* (/ x y) (- z t))))
  (exp (+ t (* (/ x y) (- z t))))
  (* (cbrt (+ t (* (/ x y) (- z t)))) (cbrt (+ t (* (/ x y) (- z t)))))
  (cbrt (+ t (* (/ x y) (- z t))))
  (pow (+ t (* (/ x y) (- z t))) 3)
  (sqrt (+ t (* (/ x y) (- z t))))
  (sqrt (+ t (* (/ x y) (- z t))))
  (+ (pow (* (/ x y) (- z t)) 3) (pow t 3))
  (+ (* t t) (* (* (/ x y) (- z t)) (- (* (/ x y) (- z t)) t)))
  (- (* (/ x y) (* (/ x y) (* (- z t) (- z t)))) (* t t))
  (- (* (/ x y) (- z t)) t)
  (- t (* x (/ t y)))
  (- t (* x (/ t y)))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (+ t (* (/ x y) (- z t)))
  (+ t (* (/ x y) (- z t)))
  (+ t (* (/ x y) (- z t)))
0.818 * * * [progress]: adding candidates to table
0.877 * * [progress]: iteration 2 / 4
0.877 * * * [progress]: picking best candidate
0.898 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))>
0.899 * * * [progress]: localizing error
0.909 * * * [progress]: generating rewritten candidates
0.909 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.916 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.922 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.928 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.940 * * * [progress]: generating series expansions
0.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.940 * [approximate]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in (x y z t) around 0
0.940 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in t
0.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in t
0.940 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in t
0.941 * [taylor]: Taking taylor expansion of 1/3 in t
0.941 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in t
0.941 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
0.941 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
0.941 * [taylor]: Taking taylor expansion of x in t
0.941 * [taylor]: Taking taylor expansion of (- z t) in t
0.941 * [taylor]: Taking taylor expansion of z in t
0.941 * [taylor]: Taking taylor expansion of t in t
0.941 * [taylor]: Taking taylor expansion of y in t
0.941 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in z
0.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in z
0.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in z
0.941 * [taylor]: Taking taylor expansion of 1/3 in z
0.941 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in z
0.941 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
0.941 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
0.941 * [taylor]: Taking taylor expansion of x in z
0.941 * [taylor]: Taking taylor expansion of (- z t) in z
0.941 * [taylor]: Taking taylor expansion of z in z
0.941 * [taylor]: Taking taylor expansion of t in z
0.941 * [taylor]: Taking taylor expansion of y in z
0.941 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in y
0.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in y
0.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in y
0.941 * [taylor]: Taking taylor expansion of 1/3 in y
0.941 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in y
0.941 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
0.941 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
0.941 * [taylor]: Taking taylor expansion of x in y
0.941 * [taylor]: Taking taylor expansion of (- z t) in y
0.941 * [taylor]: Taking taylor expansion of z in y
0.941 * [taylor]: Taking taylor expansion of t in y
0.941 * [taylor]: Taking taylor expansion of y in y
0.942 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in x
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in x
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in x
0.942 * [taylor]: Taking taylor expansion of 1/3 in x
0.942 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in x
0.942 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
0.942 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [taylor]: Taking taylor expansion of (- z t) in x
0.942 * [taylor]: Taking taylor expansion of z in x
0.942 * [taylor]: Taking taylor expansion of t in x
0.942 * [taylor]: Taking taylor expansion of y in x
0.942 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in x
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in x
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in x
0.942 * [taylor]: Taking taylor expansion of 1/3 in x
0.942 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in x
0.942 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
0.942 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [taylor]: Taking taylor expansion of (- z t) in x
0.942 * [taylor]: Taking taylor expansion of z in x
0.942 * [taylor]: Taking taylor expansion of t in x
0.942 * [taylor]: Taking taylor expansion of y in x
0.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ (- z t) y))))) in y
0.943 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ (- z t) y)))) in y
0.943 * [taylor]: Taking taylor expansion of 1/3 in y
0.943 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ (- z t) y))) in y
0.943 * [taylor]: Taking taylor expansion of (log x) in y
0.943 * [taylor]: Taking taylor expansion of x in y
0.943 * [taylor]: Taking taylor expansion of (log (/ (- z t) y)) in y
0.943 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y
0.943 * [taylor]: Taking taylor expansion of (- z t) in y
0.943 * [taylor]: Taking taylor expansion of z in y
0.943 * [taylor]: Taking taylor expansion of t in y
0.943 * [taylor]: Taking taylor expansion of y in y
0.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (- z t))) (log y)))) in z
0.943 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (- z t))) (log y))) in z
0.943 * [taylor]: Taking taylor expansion of 1/3 in z
0.943 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (- z t))) (log y)) in z
0.943 * [taylor]: Taking taylor expansion of (+ (log x) (log (- z t))) in z
0.943 * [taylor]: Taking taylor expansion of (log x) in z
0.943 * [taylor]: Taking taylor expansion of x in z
0.944 * [taylor]: Taking taylor expansion of (log (- z t)) in z
0.944 * [taylor]: Taking taylor expansion of (- z t) in z
0.944 * [taylor]: Taking taylor expansion of z in z
0.944 * [taylor]: Taking taylor expansion of t in z
0.944 * [taylor]: Taking taylor expansion of (log y) in z
0.944 * [taylor]: Taking taylor expansion of y in z
0.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) in t
0.944 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (neg t))) (log y))) in t
0.944 * [taylor]: Taking taylor expansion of 1/3 in t
0.944 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (neg t))) (log y)) in t
0.944 * [taylor]: Taking taylor expansion of (+ (log x) (log (neg t))) in t
0.944 * [taylor]: Taking taylor expansion of (log x) in t
0.944 * [taylor]: Taking taylor expansion of x in t
0.944 * [taylor]: Taking taylor expansion of (log (neg t)) in t
0.944 * [taylor]: Taking taylor expansion of (neg t) in t
0.944 * [taylor]: Taking taylor expansion of t in t
0.944 * [taylor]: Taking taylor expansion of (log y) in t
0.944 * [taylor]: Taking taylor expansion of y in t
0.945 * [taylor]: Taking taylor expansion of 0 in y
0.945 * [taylor]: Taking taylor expansion of 0 in z
0.945 * [taylor]: Taking taylor expansion of 0 in t
0.946 * [taylor]: Taking taylor expansion of 0 in z
0.946 * [taylor]: Taking taylor expansion of 0 in t
0.946 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) t)) in t
0.946 * [taylor]: Taking taylor expansion of -1/3 in t
0.946 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) t) in t
0.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) in t
0.946 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (neg t))) (log y))) in t
0.946 * [taylor]: Taking taylor expansion of 1/3 in t
0.946 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (neg t))) (log y)) in t
0.947 * [taylor]: Taking taylor expansion of (+ (log x) (log (neg t))) in t
0.947 * [taylor]: Taking taylor expansion of (log x) in t
0.947 * [taylor]: Taking taylor expansion of x in t
0.947 * [taylor]: Taking taylor expansion of (log (neg t)) in t
0.947 * [taylor]: Taking taylor expansion of (neg t) in t
0.947 * [taylor]: Taking taylor expansion of t in t
0.947 * [taylor]: Taking taylor expansion of (log y) in t
0.947 * [taylor]: Taking taylor expansion of y in t
0.947 * [taylor]: Taking taylor expansion of t in t
0.949 * [taylor]: Taking taylor expansion of 0 in y
0.949 * [taylor]: Taking taylor expansion of 0 in z
0.949 * [taylor]: Taking taylor expansion of 0 in t
0.949 * [taylor]: Taking taylor expansion of 0 in z
0.949 * [taylor]: Taking taylor expansion of 0 in t
0.950 * [approximate]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in (x y z t) around 0
0.950 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in t
0.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in t
0.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in t
0.950 * [taylor]: Taking taylor expansion of 1/3 in t
0.950 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in t
0.950 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in t
0.950 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
0.950 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.950 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.950 * [taylor]: Taking taylor expansion of z in t
0.950 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.950 * [taylor]: Taking taylor expansion of t in t
0.950 * [taylor]: Taking taylor expansion of y in t
0.950 * [taylor]: Taking taylor expansion of x in t
0.950 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in z
0.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in z
0.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in z
0.950 * [taylor]: Taking taylor expansion of 1/3 in z
0.950 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in z
0.950 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in z
0.950 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
0.950 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.950 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.950 * [taylor]: Taking taylor expansion of z in z
0.950 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.950 * [taylor]: Taking taylor expansion of t in z
0.950 * [taylor]: Taking taylor expansion of y in z
0.950 * [taylor]: Taking taylor expansion of x in z
0.951 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in y
0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in y
0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in y
0.951 * [taylor]: Taking taylor expansion of 1/3 in y
0.951 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in y
0.951 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
0.951 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
0.951 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.951 * [taylor]: Taking taylor expansion of z in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.951 * [taylor]: Taking taylor expansion of t in y
0.951 * [taylor]: Taking taylor expansion of y in y
0.951 * [taylor]: Taking taylor expansion of x in y
0.952 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in x
0.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in x
0.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in x
0.952 * [taylor]: Taking taylor expansion of 1/3 in x
0.952 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in x
0.952 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
0.952 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.952 * [taylor]: Taking taylor expansion of z in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.952 * [taylor]: Taking taylor expansion of t in x
0.952 * [taylor]: Taking taylor expansion of y in x
0.952 * [taylor]: Taking taylor expansion of x in x
0.952 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in x
0.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in x
0.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in x
0.952 * [taylor]: Taking taylor expansion of 1/3 in x
0.952 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in x
0.952 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
0.952 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.952 * [taylor]: Taking taylor expansion of z in x
0.953 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.953 * [taylor]: Taking taylor expansion of t in x
0.953 * [taylor]: Taking taylor expansion of y in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x)))) in y
0.953 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x))) in y
0.953 * [taylor]: Taking taylor expansion of 1/3 in y
0.953 * [taylor]: Taking taylor expansion of (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x)) in y
0.953 * [taylor]: Taking taylor expansion of (log (* y (- (/ 1 z) (/ 1 t)))) in y
0.953 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y
0.953 * [taylor]: Taking taylor expansion of y in y
0.953 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.953 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.953 * [taylor]: Taking taylor expansion of z in y
0.953 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.953 * [taylor]: Taking taylor expansion of t in y
0.954 * [taylor]: Taking taylor expansion of (log x) in y
0.954 * [taylor]: Taking taylor expansion of x in y
0.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)))) in z
0.954 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x))) in z
0.954 * [taylor]: Taking taylor expansion of 1/3 in z
0.954 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)) in z
0.954 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 z) (/ 1 t))) (log y)) in z
0.954 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 t))) in z
0.954 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.954 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.954 * [taylor]: Taking taylor expansion of z in z
0.954 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.954 * [taylor]: Taking taylor expansion of t in z
0.954 * [taylor]: Taking taylor expansion of (log y) in z
0.954 * [taylor]: Taking taylor expansion of y in z
0.954 * [taylor]: Taking taylor expansion of (log x) in z
0.954 * [taylor]: Taking taylor expansion of x in z
0.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) in t
0.955 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z)))) in t
0.955 * [taylor]: Taking taylor expansion of 1/3 in t
0.955 * [taylor]: Taking taylor expansion of (- (+ (log 1) (log y)) (+ (log x) (log z))) in t
0.955 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in t
0.955 * [taylor]: Taking taylor expansion of (log 1) in t
0.955 * [taylor]: Taking taylor expansion of 1 in t
0.955 * [taylor]: Taking taylor expansion of (log y) in t
0.955 * [taylor]: Taking taylor expansion of y in t
0.955 * [taylor]: Taking taylor expansion of (+ (log x) (log z)) in t
0.955 * [taylor]: Taking taylor expansion of (log x) in t
0.955 * [taylor]: Taking taylor expansion of x in t
0.955 * [taylor]: Taking taylor expansion of (log z) in t
0.955 * [taylor]: Taking taylor expansion of z in t
0.956 * [taylor]: Taking taylor expansion of 0 in y
0.956 * [taylor]: Taking taylor expansion of 0 in z
0.956 * [taylor]: Taking taylor expansion of 0 in t
0.957 * [taylor]: Taking taylor expansion of 0 in z
0.957 * [taylor]: Taking taylor expansion of 0 in t
0.958 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) t)) in t
0.958 * [taylor]: Taking taylor expansion of -1/3 in t
0.958 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) t) in t
0.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) in t
0.958 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z)))) in t
0.958 * [taylor]: Taking taylor expansion of 1/3 in t
0.958 * [taylor]: Taking taylor expansion of (- (+ (log 1) (log y)) (+ (log x) (log z))) in t
0.958 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in t
0.958 * [taylor]: Taking taylor expansion of (log 1) in t
0.958 * [taylor]: Taking taylor expansion of 1 in t
0.958 * [taylor]: Taking taylor expansion of (log y) in t
0.958 * [taylor]: Taking taylor expansion of y in t
0.958 * [taylor]: Taking taylor expansion of (+ (log x) (log z)) in t
0.958 * [taylor]: Taking taylor expansion of (log x) in t
0.958 * [taylor]: Taking taylor expansion of x in t
0.958 * [taylor]: Taking taylor expansion of (log z) in t
0.958 * [taylor]: Taking taylor expansion of z in t
0.958 * [taylor]: Taking taylor expansion of t in t
0.961 * [taylor]: Taking taylor expansion of 0 in y
0.961 * [taylor]: Taking taylor expansion of 0 in z
0.961 * [taylor]: Taking taylor expansion of 0 in t
0.961 * [taylor]: Taking taylor expansion of 0 in z
0.961 * [taylor]: Taking taylor expansion of 0 in t
0.961 * [approximate]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in (x y z t) around 0
0.961 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in t
0.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in t
0.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in t
0.961 * [taylor]: Taking taylor expansion of 1/3 in t
0.961 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in t
0.962 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
0.962 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
0.962 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
0.962 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.962 * [taylor]: Taking taylor expansion of t in t
0.962 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.962 * [taylor]: Taking taylor expansion of z in t
0.962 * [taylor]: Taking taylor expansion of y in t
0.962 * [taylor]: Taking taylor expansion of x in t
0.962 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in z
0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in z
0.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in z
0.962 * [taylor]: Taking taylor expansion of 1/3 in z
0.962 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in z
0.962 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
0.962 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
0.962 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.962 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.962 * [taylor]: Taking taylor expansion of t in z
0.962 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.962 * [taylor]: Taking taylor expansion of z in z
0.962 * [taylor]: Taking taylor expansion of y in z
0.962 * [taylor]: Taking taylor expansion of x in z
0.962 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in y
0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in y
0.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in y
0.963 * [taylor]: Taking taylor expansion of 1/3 in y
0.963 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in y
0.963 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
0.963 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
0.963 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.963 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.963 * [taylor]: Taking taylor expansion of t in y
0.963 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.963 * [taylor]: Taking taylor expansion of z in y
0.963 * [taylor]: Taking taylor expansion of y in y
0.963 * [taylor]: Taking taylor expansion of x in y
0.963 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in x
0.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in x
0.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in x
0.963 * [taylor]: Taking taylor expansion of 1/3 in x
0.963 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in x
0.964 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
0.964 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
0.964 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
0.964 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.964 * [taylor]: Taking taylor expansion of t in x
0.964 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.964 * [taylor]: Taking taylor expansion of z in x
0.964 * [taylor]: Taking taylor expansion of y in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in x
0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in x
0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in x
0.964 * [taylor]: Taking taylor expansion of 1/3 in x
0.964 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in x
0.964 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
0.964 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
0.964 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
0.964 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.964 * [taylor]: Taking taylor expansion of t in x
0.964 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.964 * [taylor]: Taking taylor expansion of z in x
0.964 * [taylor]: Taking taylor expansion of y in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x)))) in y
0.965 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x))) in y
0.965 * [taylor]: Taking taylor expansion of 1/3 in y
0.965 * [taylor]: Taking taylor expansion of (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x)) in y
0.965 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 t) (/ 1 z)) y)) in y
0.965 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
0.965 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.965 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.965 * [taylor]: Taking taylor expansion of t in y
0.965 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.965 * [taylor]: Taking taylor expansion of z in y
0.965 * [taylor]: Taking taylor expansion of y in y
0.966 * [taylor]: Taking taylor expansion of (log x) in y
0.966 * [taylor]: Taking taylor expansion of x in y
0.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)))) in z
0.966 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x))) in z
0.966 * [taylor]: Taking taylor expansion of 1/3 in z
0.966 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)) in z
0.966 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 t) (/ 1 z))) (log y)) in z
0.966 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 z))) in z
0.966 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.966 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.966 * [taylor]: Taking taylor expansion of t in z
0.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.966 * [taylor]: Taking taylor expansion of z in z
0.966 * [taylor]: Taking taylor expansion of (log y) in z
0.966 * [taylor]: Taking taylor expansion of y in z
0.966 * [taylor]: Taking taylor expansion of (log x) in z
0.966 * [taylor]: Taking taylor expansion of x in z
0.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) in t
0.967 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x)))) in t
0.967 * [taylor]: Taking taylor expansion of 1/3 in t
0.967 * [taylor]: Taking taylor expansion of (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))) in t
0.967 * [taylor]: Taking taylor expansion of (+ (log (neg 1)) (log y)) in t
0.967 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
0.967 * [taylor]: Taking taylor expansion of (neg 1) in t
0.967 * [taylor]: Taking taylor expansion of 1 in t
0.967 * [taylor]: Taking taylor expansion of (log y) in t
0.967 * [taylor]: Taking taylor expansion of y in t
0.967 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t
0.967 * [taylor]: Taking taylor expansion of (log z) in t
0.967 * [taylor]: Taking taylor expansion of z in t
0.967 * [taylor]: Taking taylor expansion of (log x) in t
0.967 * [taylor]: Taking taylor expansion of x in t
0.968 * [taylor]: Taking taylor expansion of 0 in y
0.968 * [taylor]: Taking taylor expansion of 0 in z
0.968 * [taylor]: Taking taylor expansion of 0 in t
0.969 * [taylor]: Taking taylor expansion of 0 in z
0.969 * [taylor]: Taking taylor expansion of 0 in t
0.970 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) t)) in t
0.970 * [taylor]: Taking taylor expansion of -1/3 in t
0.970 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) t) in t
0.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) in t
0.970 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x)))) in t
0.970 * [taylor]: Taking taylor expansion of 1/3 in t
0.970 * [taylor]: Taking taylor expansion of (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))) in t
0.970 * [taylor]: Taking taylor expansion of (+ (log (neg 1)) (log y)) in t
0.970 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
0.970 * [taylor]: Taking taylor expansion of (neg 1) in t
0.970 * [taylor]: Taking taylor expansion of 1 in t
0.970 * [taylor]: Taking taylor expansion of (log y) in t
0.970 * [taylor]: Taking taylor expansion of y in t
0.970 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t
0.970 * [taylor]: Taking taylor expansion of (log z) in t
0.970 * [taylor]: Taking taylor expansion of z in t
0.970 * [taylor]: Taking taylor expansion of (log x) in t
0.970 * [taylor]: Taking taylor expansion of x in t
0.970 * [taylor]: Taking taylor expansion of t in t
0.973 * [taylor]: Taking taylor expansion of 0 in y
0.973 * [taylor]: Taking taylor expansion of 0 in z
0.973 * [taylor]: Taking taylor expansion of 0 in t
0.973 * [taylor]: Taking taylor expansion of 0 in z
0.973 * [taylor]: Taking taylor expansion of 0 in t
0.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.973 * [approximate]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in (x y z t) around 0
0.973 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in t
0.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in t
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in t
0.974 * [taylor]: Taking taylor expansion of 1/3 in t
0.974 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in t
0.974 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
0.974 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
0.974 * [taylor]: Taking taylor expansion of x in t
0.974 * [taylor]: Taking taylor expansion of (- z t) in t
0.974 * [taylor]: Taking taylor expansion of z in t
0.974 * [taylor]: Taking taylor expansion of t in t
0.974 * [taylor]: Taking taylor expansion of y in t
0.974 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in z
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in z
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in z
0.974 * [taylor]: Taking taylor expansion of 1/3 in z
0.974 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in z
0.974 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
0.974 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
0.974 * [taylor]: Taking taylor expansion of x in z
0.974 * [taylor]: Taking taylor expansion of (- z t) in z
0.974 * [taylor]: Taking taylor expansion of z in z
0.974 * [taylor]: Taking taylor expansion of t in z
0.974 * [taylor]: Taking taylor expansion of y in z
0.974 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in y
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in y
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in y
0.974 * [taylor]: Taking taylor expansion of 1/3 in y
0.974 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in y
0.974 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
0.974 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
0.974 * [taylor]: Taking taylor expansion of x in y
0.974 * [taylor]: Taking taylor expansion of (- z t) in y
0.974 * [taylor]: Taking taylor expansion of z in y
0.974 * [taylor]: Taking taylor expansion of t in y
0.974 * [taylor]: Taking taylor expansion of y in y
0.975 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in x
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in x
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in x
0.975 * [taylor]: Taking taylor expansion of 1/3 in x
0.975 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in x
0.975 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
0.975 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (- z t) in x
0.975 * [taylor]: Taking taylor expansion of z in x
0.975 * [taylor]: Taking taylor expansion of t in x
0.975 * [taylor]: Taking taylor expansion of y in x
0.975 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in x
0.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in x
0.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in x
0.975 * [taylor]: Taking taylor expansion of 1/3 in x
0.975 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in x
0.975 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
0.975 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (- z t) in x
0.975 * [taylor]: Taking taylor expansion of z in x
0.975 * [taylor]: Taking taylor expansion of t in x
0.975 * [taylor]: Taking taylor expansion of y in x
0.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ (- z t) y))))) in y
0.976 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ (- z t) y)))) in y
0.976 * [taylor]: Taking taylor expansion of 1/3 in y
0.976 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ (- z t) y))) in y
0.976 * [taylor]: Taking taylor expansion of (log x) in y
0.976 * [taylor]: Taking taylor expansion of x in y
0.976 * [taylor]: Taking taylor expansion of (log (/ (- z t) y)) in y
0.976 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y
0.976 * [taylor]: Taking taylor expansion of (- z t) in y
0.976 * [taylor]: Taking taylor expansion of z in y
0.976 * [taylor]: Taking taylor expansion of t in y
0.976 * [taylor]: Taking taylor expansion of y in y
0.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (- z t))) (log y)))) in z
0.977 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (- z t))) (log y))) in z
0.977 * [taylor]: Taking taylor expansion of 1/3 in z
0.977 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (- z t))) (log y)) in z
0.977 * [taylor]: Taking taylor expansion of (+ (log x) (log (- z t))) in z
0.977 * [taylor]: Taking taylor expansion of (log x) in z
0.977 * [taylor]: Taking taylor expansion of x in z
0.977 * [taylor]: Taking taylor expansion of (log (- z t)) in z
0.977 * [taylor]: Taking taylor expansion of (- z t) in z
0.977 * [taylor]: Taking taylor expansion of z in z
0.977 * [taylor]: Taking taylor expansion of t in z
0.977 * [taylor]: Taking taylor expansion of (log y) in z
0.977 * [taylor]: Taking taylor expansion of y in z
0.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) in t
0.977 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (neg t))) (log y))) in t
0.977 * [taylor]: Taking taylor expansion of 1/3 in t
0.977 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (neg t))) (log y)) in t
0.977 * [taylor]: Taking taylor expansion of (+ (log x) (log (neg t))) in t
0.977 * [taylor]: Taking taylor expansion of (log x) in t
0.977 * [taylor]: Taking taylor expansion of x in t
0.977 * [taylor]: Taking taylor expansion of (log (neg t)) in t
0.977 * [taylor]: Taking taylor expansion of (neg t) in t
0.977 * [taylor]: Taking taylor expansion of t in t
0.977 * [taylor]: Taking taylor expansion of (log y) in t
0.977 * [taylor]: Taking taylor expansion of y in t
0.978 * [taylor]: Taking taylor expansion of 0 in y
0.978 * [taylor]: Taking taylor expansion of 0 in z
0.978 * [taylor]: Taking taylor expansion of 0 in t
0.979 * [taylor]: Taking taylor expansion of 0 in z
0.979 * [taylor]: Taking taylor expansion of 0 in t
0.979 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) t)) in t
0.979 * [taylor]: Taking taylor expansion of -1/3 in t
0.979 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) t) in t
0.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) in t
0.980 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (neg t))) (log y))) in t
0.980 * [taylor]: Taking taylor expansion of 1/3 in t
0.980 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (neg t))) (log y)) in t
0.980 * [taylor]: Taking taylor expansion of (+ (log x) (log (neg t))) in t
0.980 * [taylor]: Taking taylor expansion of (log x) in t
0.980 * [taylor]: Taking taylor expansion of x in t
0.980 * [taylor]: Taking taylor expansion of (log (neg t)) in t
0.980 * [taylor]: Taking taylor expansion of (neg t) in t
0.980 * [taylor]: Taking taylor expansion of t in t
0.980 * [taylor]: Taking taylor expansion of (log y) in t
0.980 * [taylor]: Taking taylor expansion of y in t
0.980 * [taylor]: Taking taylor expansion of t in t
0.982 * [taylor]: Taking taylor expansion of 0 in y
0.982 * [taylor]: Taking taylor expansion of 0 in z
0.982 * [taylor]: Taking taylor expansion of 0 in t
0.982 * [taylor]: Taking taylor expansion of 0 in z
0.982 * [taylor]: Taking taylor expansion of 0 in t
0.983 * [approximate]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in (x y z t) around 0
0.983 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in t
0.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in t
0.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in t
0.983 * [taylor]: Taking taylor expansion of 1/3 in t
0.983 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in t
0.983 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in t
0.983 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
0.983 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.983 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.983 * [taylor]: Taking taylor expansion of z in t
0.983 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.983 * [taylor]: Taking taylor expansion of t in t
0.983 * [taylor]: Taking taylor expansion of y in t
0.983 * [taylor]: Taking taylor expansion of x in t
0.983 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in z
0.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in z
0.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in z
0.983 * [taylor]: Taking taylor expansion of 1/3 in z
0.983 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in z
0.983 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in z
0.983 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
0.983 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.983 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.983 * [taylor]: Taking taylor expansion of z in z
0.983 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.983 * [taylor]: Taking taylor expansion of t in z
0.983 * [taylor]: Taking taylor expansion of y in z
0.983 * [taylor]: Taking taylor expansion of x in z
0.984 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in y
0.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in y
0.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in y
0.984 * [taylor]: Taking taylor expansion of 1/3 in y
0.984 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in y
0.984 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
0.984 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
0.984 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.984 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.984 * [taylor]: Taking taylor expansion of z in y
0.984 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.984 * [taylor]: Taking taylor expansion of t in y
0.984 * [taylor]: Taking taylor expansion of y in y
0.984 * [taylor]: Taking taylor expansion of x in y
0.985 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in x
0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in x
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in x
0.985 * [taylor]: Taking taylor expansion of 1/3 in x
0.985 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in x
0.985 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
0.985 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
0.985 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.985 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.985 * [taylor]: Taking taylor expansion of z in x
0.985 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.985 * [taylor]: Taking taylor expansion of t in x
0.985 * [taylor]: Taking taylor expansion of y in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in x
0.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in x
0.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in x
0.987 * [taylor]: Taking taylor expansion of 1/3 in x
0.987 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in x
0.987 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
0.987 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
0.987 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.987 * [taylor]: Taking taylor expansion of z in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.988 * [taylor]: Taking taylor expansion of t in x
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x)))) in y
0.988 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x))) in y
0.988 * [taylor]: Taking taylor expansion of 1/3 in y
0.988 * [taylor]: Taking taylor expansion of (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x)) in y
0.988 * [taylor]: Taking taylor expansion of (log (* y (- (/ 1 z) (/ 1 t)))) in y
0.988 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y
0.988 * [taylor]: Taking taylor expansion of y in y
0.988 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.988 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.988 * [taylor]: Taking taylor expansion of z in y
0.988 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.988 * [taylor]: Taking taylor expansion of t in y
0.989 * [taylor]: Taking taylor expansion of (log x) in y
0.989 * [taylor]: Taking taylor expansion of x in y
0.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)))) in z
0.989 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x))) in z
0.989 * [taylor]: Taking taylor expansion of 1/3 in z
0.989 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)) in z
0.989 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 z) (/ 1 t))) (log y)) in z
0.989 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 t))) in z
0.989 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.989 * [taylor]: Taking taylor expansion of z in z
0.989 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.989 * [taylor]: Taking taylor expansion of t in z
0.989 * [taylor]: Taking taylor expansion of (log y) in z
0.989 * [taylor]: Taking taylor expansion of y in z
0.989 * [taylor]: Taking taylor expansion of (log x) in z
0.989 * [taylor]: Taking taylor expansion of x in z
0.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) in t
0.990 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z)))) in t
0.990 * [taylor]: Taking taylor expansion of 1/3 in t
0.990 * [taylor]: Taking taylor expansion of (- (+ (log 1) (log y)) (+ (log x) (log z))) in t
0.990 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in t
0.990 * [taylor]: Taking taylor expansion of (log 1) in t
0.990 * [taylor]: Taking taylor expansion of 1 in t
0.990 * [taylor]: Taking taylor expansion of (log y) in t
0.990 * [taylor]: Taking taylor expansion of y in t
0.990 * [taylor]: Taking taylor expansion of (+ (log x) (log z)) in t
0.990 * [taylor]: Taking taylor expansion of (log x) in t
0.990 * [taylor]: Taking taylor expansion of x in t
0.990 * [taylor]: Taking taylor expansion of (log z) in t
0.990 * [taylor]: Taking taylor expansion of z in t
0.991 * [taylor]: Taking taylor expansion of 0 in y
0.991 * [taylor]: Taking taylor expansion of 0 in z
0.991 * [taylor]: Taking taylor expansion of 0 in t
0.992 * [taylor]: Taking taylor expansion of 0 in z
0.992 * [taylor]: Taking taylor expansion of 0 in t
0.993 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) t)) in t
0.993 * [taylor]: Taking taylor expansion of -1/3 in t
0.993 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) t) in t
0.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) in t
0.993 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z)))) in t
0.993 * [taylor]: Taking taylor expansion of 1/3 in t
0.993 * [taylor]: Taking taylor expansion of (- (+ (log 1) (log y)) (+ (log x) (log z))) in t
0.993 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in t
0.993 * [taylor]: Taking taylor expansion of (log 1) in t
0.993 * [taylor]: Taking taylor expansion of 1 in t
0.993 * [taylor]: Taking taylor expansion of (log y) in t
0.993 * [taylor]: Taking taylor expansion of y in t
0.993 * [taylor]: Taking taylor expansion of (+ (log x) (log z)) in t
0.993 * [taylor]: Taking taylor expansion of (log x) in t
0.993 * [taylor]: Taking taylor expansion of x in t
0.993 * [taylor]: Taking taylor expansion of (log z) in t
0.993 * [taylor]: Taking taylor expansion of z in t
0.993 * [taylor]: Taking taylor expansion of t in t
0.996 * [taylor]: Taking taylor expansion of 0 in y
0.996 * [taylor]: Taking taylor expansion of 0 in z
0.996 * [taylor]: Taking taylor expansion of 0 in t
0.996 * [taylor]: Taking taylor expansion of 0 in z
0.996 * [taylor]: Taking taylor expansion of 0 in t
0.996 * [approximate]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in (x y z t) around 0
0.996 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in t
0.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in t
0.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in t
0.997 * [taylor]: Taking taylor expansion of 1/3 in t
0.997 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in t
0.997 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
0.997 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
0.997 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
0.997 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.997 * [taylor]: Taking taylor expansion of t in t
0.997 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.997 * [taylor]: Taking taylor expansion of z in t
0.997 * [taylor]: Taking taylor expansion of y in t
0.997 * [taylor]: Taking taylor expansion of x in t
0.997 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in z
0.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in z
0.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in z
0.997 * [taylor]: Taking taylor expansion of 1/3 in z
0.997 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in z
0.997 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
0.997 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
0.997 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.997 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.997 * [taylor]: Taking taylor expansion of t in z
0.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.997 * [taylor]: Taking taylor expansion of z in z
0.997 * [taylor]: Taking taylor expansion of y in z
0.997 * [taylor]: Taking taylor expansion of x in z
0.997 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in y
0.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in y
0.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in y
0.998 * [taylor]: Taking taylor expansion of 1/3 in y
0.998 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in y
0.998 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
0.998 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
0.998 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.998 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.998 * [taylor]: Taking taylor expansion of t in y
0.998 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.998 * [taylor]: Taking taylor expansion of z in y
0.998 * [taylor]: Taking taylor expansion of y in y
0.998 * [taylor]: Taking taylor expansion of x in y
0.998 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in x
0.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in x
0.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in x
0.998 * [taylor]: Taking taylor expansion of 1/3 in x
0.998 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in x
0.999 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
0.999 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
0.999 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.999 * [taylor]: Taking taylor expansion of t in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.999 * [taylor]: Taking taylor expansion of z in x
0.999 * [taylor]: Taking taylor expansion of y in x
0.999 * [taylor]: Taking taylor expansion of x in x
0.999 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in x
0.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in x
0.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in x
0.999 * [taylor]: Taking taylor expansion of 1/3 in x
0.999 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in x
0.999 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
0.999 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
0.999 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.999 * [taylor]: Taking taylor expansion of t in x
0.999 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.999 * [taylor]: Taking taylor expansion of z in x
0.999 * [taylor]: Taking taylor expansion of y in x
0.999 * [taylor]: Taking taylor expansion of x in x
1.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x)))) in y
1.000 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x))) in y
1.000 * [taylor]: Taking taylor expansion of 1/3 in y
1.000 * [taylor]: Taking taylor expansion of (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x)) in y
1.000 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 t) (/ 1 z)) y)) in y
1.000 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.000 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.000 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.000 * [taylor]: Taking taylor expansion of t in y
1.000 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.000 * [taylor]: Taking taylor expansion of z in y
1.000 * [taylor]: Taking taylor expansion of y in y
1.001 * [taylor]: Taking taylor expansion of (log x) in y
1.001 * [taylor]: Taking taylor expansion of x in y
1.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)))) in z
1.001 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x))) in z
1.001 * [taylor]: Taking taylor expansion of 1/3 in z
1.001 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)) in z
1.001 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 t) (/ 1 z))) (log y)) in z
1.001 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 z))) in z
1.001 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.001 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.001 * [taylor]: Taking taylor expansion of t in z
1.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.001 * [taylor]: Taking taylor expansion of z in z
1.001 * [taylor]: Taking taylor expansion of (log y) in z
1.001 * [taylor]: Taking taylor expansion of y in z
1.001 * [taylor]: Taking taylor expansion of (log x) in z
1.001 * [taylor]: Taking taylor expansion of x in z
1.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) in t
1.002 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x)))) in t
1.002 * [taylor]: Taking taylor expansion of 1/3 in t
1.002 * [taylor]: Taking taylor expansion of (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))) in t
1.002 * [taylor]: Taking taylor expansion of (+ (log (neg 1)) (log y)) in t
1.002 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
1.002 * [taylor]: Taking taylor expansion of (neg 1) in t
1.002 * [taylor]: Taking taylor expansion of 1 in t
1.002 * [taylor]: Taking taylor expansion of (log y) in t
1.002 * [taylor]: Taking taylor expansion of y in t
1.002 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t
1.002 * [taylor]: Taking taylor expansion of (log z) in t
1.002 * [taylor]: Taking taylor expansion of z in t
1.002 * [taylor]: Taking taylor expansion of (log x) in t
1.002 * [taylor]: Taking taylor expansion of x in t
1.003 * [taylor]: Taking taylor expansion of 0 in y
1.003 * [taylor]: Taking taylor expansion of 0 in z
1.003 * [taylor]: Taking taylor expansion of 0 in t
1.004 * [taylor]: Taking taylor expansion of 0 in z
1.004 * [taylor]: Taking taylor expansion of 0 in t
1.005 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) t)) in t
1.005 * [taylor]: Taking taylor expansion of -1/3 in t
1.005 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) t) in t
1.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) in t
1.005 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x)))) in t
1.005 * [taylor]: Taking taylor expansion of 1/3 in t
1.005 * [taylor]: Taking taylor expansion of (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))) in t
1.005 * [taylor]: Taking taylor expansion of (+ (log (neg 1)) (log y)) in t
1.005 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
1.005 * [taylor]: Taking taylor expansion of (neg 1) in t
1.005 * [taylor]: Taking taylor expansion of 1 in t
1.005 * [taylor]: Taking taylor expansion of (log y) in t
1.005 * [taylor]: Taking taylor expansion of y in t
1.005 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t
1.005 * [taylor]: Taking taylor expansion of (log z) in t
1.005 * [taylor]: Taking taylor expansion of z in t
1.005 * [taylor]: Taking taylor expansion of (log x) in t
1.005 * [taylor]: Taking taylor expansion of x in t
1.005 * [taylor]: Taking taylor expansion of t in t
1.008 * [taylor]: Taking taylor expansion of 0 in y
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in t
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in t
1.008 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.008 * [approximate]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in (x y z t) around 0
1.008 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in t
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in t
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in t
1.009 * [taylor]: Taking taylor expansion of 1/3 in t
1.009 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in t
1.009 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
1.009 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
1.009 * [taylor]: Taking taylor expansion of x in t
1.009 * [taylor]: Taking taylor expansion of (- z t) in t
1.009 * [taylor]: Taking taylor expansion of z in t
1.009 * [taylor]: Taking taylor expansion of t in t
1.009 * [taylor]: Taking taylor expansion of y in t
1.009 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in z
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in z
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in z
1.009 * [taylor]: Taking taylor expansion of 1/3 in z
1.009 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in z
1.009 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
1.009 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
1.009 * [taylor]: Taking taylor expansion of x in z
1.009 * [taylor]: Taking taylor expansion of (- z t) in z
1.009 * [taylor]: Taking taylor expansion of z in z
1.009 * [taylor]: Taking taylor expansion of t in z
1.009 * [taylor]: Taking taylor expansion of y in z
1.009 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in y
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in y
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in y
1.009 * [taylor]: Taking taylor expansion of 1/3 in y
1.009 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in y
1.009 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
1.009 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
1.009 * [taylor]: Taking taylor expansion of x in y
1.009 * [taylor]: Taking taylor expansion of (- z t) in y
1.009 * [taylor]: Taking taylor expansion of z in y
1.009 * [taylor]: Taking taylor expansion of t in y
1.009 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in x
1.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in x
1.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in x
1.010 * [taylor]: Taking taylor expansion of 1/3 in x
1.010 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in x
1.010 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
1.010 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (- z t) in x
1.010 * [taylor]: Taking taylor expansion of z in x
1.010 * [taylor]: Taking taylor expansion of t in x
1.010 * [taylor]: Taking taylor expansion of y in x
1.010 * [taylor]: Taking taylor expansion of (pow (/ (* x (- z t)) y) 1/3) in x
1.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (- z t)) y)))) in x
1.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (- z t)) y))) in x
1.010 * [taylor]: Taking taylor expansion of 1/3 in x
1.010 * [taylor]: Taking taylor expansion of (log (/ (* x (- z t)) y)) in x
1.010 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
1.010 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (- z t) in x
1.010 * [taylor]: Taking taylor expansion of z in x
1.010 * [taylor]: Taking taylor expansion of t in x
1.010 * [taylor]: Taking taylor expansion of y in x
1.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ (- z t) y))))) in y
1.011 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ (- z t) y)))) in y
1.011 * [taylor]: Taking taylor expansion of 1/3 in y
1.011 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ (- z t) y))) in y
1.011 * [taylor]: Taking taylor expansion of (log x) in y
1.011 * [taylor]: Taking taylor expansion of x in y
1.011 * [taylor]: Taking taylor expansion of (log (/ (- z t) y)) in y
1.011 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y
1.011 * [taylor]: Taking taylor expansion of (- z t) in y
1.011 * [taylor]: Taking taylor expansion of z in y
1.011 * [taylor]: Taking taylor expansion of t in y
1.011 * [taylor]: Taking taylor expansion of y in y
1.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (- z t))) (log y)))) in z
1.011 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (- z t))) (log y))) in z
1.011 * [taylor]: Taking taylor expansion of 1/3 in z
1.011 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (- z t))) (log y)) in z
1.011 * [taylor]: Taking taylor expansion of (+ (log x) (log (- z t))) in z
1.011 * [taylor]: Taking taylor expansion of (log x) in z
1.011 * [taylor]: Taking taylor expansion of x in z
1.011 * [taylor]: Taking taylor expansion of (log (- z t)) in z
1.011 * [taylor]: Taking taylor expansion of (- z t) in z
1.012 * [taylor]: Taking taylor expansion of z in z
1.012 * [taylor]: Taking taylor expansion of t in z
1.012 * [taylor]: Taking taylor expansion of (log y) in z
1.012 * [taylor]: Taking taylor expansion of y in z
1.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) in t
1.012 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (neg t))) (log y))) in t
1.012 * [taylor]: Taking taylor expansion of 1/3 in t
1.012 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (neg t))) (log y)) in t
1.012 * [taylor]: Taking taylor expansion of (+ (log x) (log (neg t))) in t
1.012 * [taylor]: Taking taylor expansion of (log x) in t
1.012 * [taylor]: Taking taylor expansion of x in t
1.012 * [taylor]: Taking taylor expansion of (log (neg t)) in t
1.012 * [taylor]: Taking taylor expansion of (neg t) in t
1.012 * [taylor]: Taking taylor expansion of t in t
1.012 * [taylor]: Taking taylor expansion of (log y) in t
1.012 * [taylor]: Taking taylor expansion of y in t
1.013 * [taylor]: Taking taylor expansion of 0 in y
1.013 * [taylor]: Taking taylor expansion of 0 in z
1.013 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of 0 in z
1.014 * [taylor]: Taking taylor expansion of 0 in t
1.014 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) t)) in t
1.014 * [taylor]: Taking taylor expansion of -1/3 in t
1.014 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) t) in t
1.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log x) (log (neg t))) (log y)))) in t
1.014 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log x) (log (neg t))) (log y))) in t
1.014 * [taylor]: Taking taylor expansion of 1/3 in t
1.014 * [taylor]: Taking taylor expansion of (- (+ (log x) (log (neg t))) (log y)) in t
1.014 * [taylor]: Taking taylor expansion of (+ (log x) (log (neg t))) in t
1.014 * [taylor]: Taking taylor expansion of (log x) in t
1.014 * [taylor]: Taking taylor expansion of x in t
1.015 * [taylor]: Taking taylor expansion of (log (neg t)) in t
1.015 * [taylor]: Taking taylor expansion of (neg t) in t
1.015 * [taylor]: Taking taylor expansion of t in t
1.015 * [taylor]: Taking taylor expansion of (log y) in t
1.015 * [taylor]: Taking taylor expansion of y in t
1.015 * [taylor]: Taking taylor expansion of t in t
1.017 * [taylor]: Taking taylor expansion of 0 in y
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.017 * [approximate]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in (x y z t) around 0
1.017 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in t
1.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in t
1.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in t
1.018 * [taylor]: Taking taylor expansion of 1/3 in t
1.018 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in t
1.018 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in t
1.018 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
1.018 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.018 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.018 * [taylor]: Taking taylor expansion of z in t
1.018 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.018 * [taylor]: Taking taylor expansion of t in t
1.018 * [taylor]: Taking taylor expansion of y in t
1.018 * [taylor]: Taking taylor expansion of x in t
1.018 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in z
1.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in z
1.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in z
1.018 * [taylor]: Taking taylor expansion of 1/3 in z
1.018 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in z
1.018 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in z
1.018 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
1.018 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.018 * [taylor]: Taking taylor expansion of z in z
1.018 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.018 * [taylor]: Taking taylor expansion of t in z
1.018 * [taylor]: Taking taylor expansion of y in z
1.018 * [taylor]: Taking taylor expansion of x in z
1.019 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in y
1.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in y
1.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in y
1.019 * [taylor]: Taking taylor expansion of 1/3 in y
1.019 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in y
1.019 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
1.019 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.019 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.019 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.019 * [taylor]: Taking taylor expansion of z in y
1.019 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.019 * [taylor]: Taking taylor expansion of t in y
1.019 * [taylor]: Taking taylor expansion of y in y
1.019 * [taylor]: Taking taylor expansion of x in y
1.019 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in x
1.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in x
1.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in x
1.020 * [taylor]: Taking taylor expansion of 1/3 in x
1.020 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in x
1.020 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.020 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.020 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.020 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.020 * [taylor]: Taking taylor expansion of z in x
1.020 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.020 * [taylor]: Taking taylor expansion of t in x
1.020 * [taylor]: Taking taylor expansion of y in x
1.020 * [taylor]: Taking taylor expansion of x in x
1.020 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 z) (/ 1 t)) y) x) 1/3) in x
1.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)))) in x
1.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 z) (/ 1 t)) y) x))) in x
1.020 * [taylor]: Taking taylor expansion of 1/3 in x
1.020 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 z) (/ 1 t)) y) x)) in x
1.020 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.020 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.020 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.020 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.020 * [taylor]: Taking taylor expansion of z in x
1.020 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.020 * [taylor]: Taking taylor expansion of t in x
1.021 * [taylor]: Taking taylor expansion of y in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x)))) in y
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x))) in y
1.021 * [taylor]: Taking taylor expansion of 1/3 in y
1.021 * [taylor]: Taking taylor expansion of (- (log (* y (- (/ 1 z) (/ 1 t)))) (log x)) in y
1.021 * [taylor]: Taking taylor expansion of (log (* y (- (/ 1 z) (/ 1 t)))) in y
1.021 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y
1.021 * [taylor]: Taking taylor expansion of y in y
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.021 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.021 * [taylor]: Taking taylor expansion of z in y
1.021 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.021 * [taylor]: Taking taylor expansion of t in y
1.022 * [taylor]: Taking taylor expansion of (log x) in y
1.022 * [taylor]: Taking taylor expansion of x in y
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)))) in z
1.022 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x))) in z
1.022 * [taylor]: Taking taylor expansion of 1/3 in z
1.022 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)) in z
1.022 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 z) (/ 1 t))) (log y)) in z
1.022 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 t))) in z
1.022 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.022 * [taylor]: Taking taylor expansion of t in z
1.022 * [taylor]: Taking taylor expansion of (log y) in z
1.022 * [taylor]: Taking taylor expansion of y in z
1.022 * [taylor]: Taking taylor expansion of (log x) in z
1.022 * [taylor]: Taking taylor expansion of x in z
1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) in t
1.023 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z)))) in t
1.023 * [taylor]: Taking taylor expansion of 1/3 in t
1.023 * [taylor]: Taking taylor expansion of (- (+ (log 1) (log y)) (+ (log x) (log z))) in t
1.023 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in t
1.023 * [taylor]: Taking taylor expansion of (log 1) in t
1.023 * [taylor]: Taking taylor expansion of 1 in t
1.023 * [taylor]: Taking taylor expansion of (log y) in t
1.023 * [taylor]: Taking taylor expansion of y in t
1.023 * [taylor]: Taking taylor expansion of (+ (log x) (log z)) in t
1.023 * [taylor]: Taking taylor expansion of (log x) in t
1.023 * [taylor]: Taking taylor expansion of x in t
1.023 * [taylor]: Taking taylor expansion of (log z) in t
1.023 * [taylor]: Taking taylor expansion of z in t
1.024 * [taylor]: Taking taylor expansion of 0 in y
1.024 * [taylor]: Taking taylor expansion of 0 in z
1.024 * [taylor]: Taking taylor expansion of 0 in t
1.025 * [taylor]: Taking taylor expansion of 0 in z
1.025 * [taylor]: Taking taylor expansion of 0 in t
1.026 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) t)) in t
1.026 * [taylor]: Taking taylor expansion of -1/3 in t
1.026 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) t) in t
1.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z))))) in t
1.026 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log 1) (log y)) (+ (log x) (log z)))) in t
1.026 * [taylor]: Taking taylor expansion of 1/3 in t
1.026 * [taylor]: Taking taylor expansion of (- (+ (log 1) (log y)) (+ (log x) (log z))) in t
1.026 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in t
1.026 * [taylor]: Taking taylor expansion of (log 1) in t
1.026 * [taylor]: Taking taylor expansion of 1 in t
1.026 * [taylor]: Taking taylor expansion of (log y) in t
1.026 * [taylor]: Taking taylor expansion of y in t
1.026 * [taylor]: Taking taylor expansion of (+ (log x) (log z)) in t
1.026 * [taylor]: Taking taylor expansion of (log x) in t
1.026 * [taylor]: Taking taylor expansion of x in t
1.026 * [taylor]: Taking taylor expansion of (log z) in t
1.026 * [taylor]: Taking taylor expansion of z in t
1.027 * [taylor]: Taking taylor expansion of t in t
1.029 * [taylor]: Taking taylor expansion of 0 in y
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in t
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in t
1.030 * [approximate]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in (x y z t) around 0
1.030 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in t
1.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in t
1.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in t
1.030 * [taylor]: Taking taylor expansion of 1/3 in t
1.030 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in t
1.030 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
1.030 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.030 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.030 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.030 * [taylor]: Taking taylor expansion of t in t
1.030 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.030 * [taylor]: Taking taylor expansion of z in t
1.030 * [taylor]: Taking taylor expansion of y in t
1.030 * [taylor]: Taking taylor expansion of x in t
1.030 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in z
1.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in z
1.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in z
1.030 * [taylor]: Taking taylor expansion of 1/3 in z
1.030 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in z
1.030 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
1.030 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.030 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.030 * [taylor]: Taking taylor expansion of t in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.030 * [taylor]: Taking taylor expansion of z in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.031 * [taylor]: Taking taylor expansion of x in z
1.031 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in y
1.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in y
1.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in y
1.031 * [taylor]: Taking taylor expansion of 1/3 in y
1.031 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in y
1.031 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.031 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.031 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.031 * [taylor]: Taking taylor expansion of t in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.031 * [taylor]: Taking taylor expansion of z in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.032 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in x
1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in x
1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in x
1.032 * [taylor]: Taking taylor expansion of 1/3 in x
1.032 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in x
1.032 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.032 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.032 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.032 * [taylor]: Taking taylor expansion of t in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.032 * [taylor]: Taking taylor expansion of z in x
1.032 * [taylor]: Taking taylor expansion of y in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (pow (/ (* (- (/ 1 t) (/ 1 z)) y) x) 1/3) in x
1.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)))) in x
1.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* (- (/ 1 t) (/ 1 z)) y) x))) in x
1.033 * [taylor]: Taking taylor expansion of 1/3 in x
1.033 * [taylor]: Taking taylor expansion of (log (/ (* (- (/ 1 t) (/ 1 z)) y) x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.033 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.033 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.033 * [taylor]: Taking taylor expansion of t in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.033 * [taylor]: Taking taylor expansion of z in x
1.033 * [taylor]: Taking taylor expansion of y in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x)))) in y
1.033 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x))) in y
1.033 * [taylor]: Taking taylor expansion of 1/3 in y
1.033 * [taylor]: Taking taylor expansion of (- (log (* (- (/ 1 t) (/ 1 z)) y)) (log x)) in y
1.033 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 t) (/ 1 z)) y)) in y
1.033 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.034 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.034 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.034 * [taylor]: Taking taylor expansion of t in y
1.034 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.034 * [taylor]: Taking taylor expansion of z in y
1.034 * [taylor]: Taking taylor expansion of y in y
1.034 * [taylor]: Taking taylor expansion of (log x) in y
1.034 * [taylor]: Taking taylor expansion of x in y
1.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)))) in z
1.034 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x))) in z
1.034 * [taylor]: Taking taylor expansion of 1/3 in z
1.034 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)) in z
1.034 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 t) (/ 1 z))) (log y)) in z
1.034 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 z))) in z
1.035 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.035 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.035 * [taylor]: Taking taylor expansion of t in z
1.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.035 * [taylor]: Taking taylor expansion of z in z
1.035 * [taylor]: Taking taylor expansion of (log y) in z
1.035 * [taylor]: Taking taylor expansion of y in z
1.035 * [taylor]: Taking taylor expansion of (log x) in z
1.035 * [taylor]: Taking taylor expansion of x in z
1.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) in t
1.035 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x)))) in t
1.035 * [taylor]: Taking taylor expansion of 1/3 in t
1.035 * [taylor]: Taking taylor expansion of (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))) in t
1.035 * [taylor]: Taking taylor expansion of (+ (log (neg 1)) (log y)) in t
1.035 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
1.035 * [taylor]: Taking taylor expansion of (neg 1) in t
1.035 * [taylor]: Taking taylor expansion of 1 in t
1.035 * [taylor]: Taking taylor expansion of (log y) in t
1.035 * [taylor]: Taking taylor expansion of y in t
1.035 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t
1.035 * [taylor]: Taking taylor expansion of (log z) in t
1.035 * [taylor]: Taking taylor expansion of z in t
1.035 * [taylor]: Taking taylor expansion of (log x) in t
1.035 * [taylor]: Taking taylor expansion of x in t
1.037 * [taylor]: Taking taylor expansion of 0 in y
1.037 * [taylor]: Taking taylor expansion of 0 in z
1.037 * [taylor]: Taking taylor expansion of 0 in t
1.037 * [taylor]: Taking taylor expansion of 0 in z
1.037 * [taylor]: Taking taylor expansion of 0 in t
1.038 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) t)) in t
1.038 * [taylor]: Taking taylor expansion of -1/3 in t
1.038 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) t) in t
1.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))))) in t
1.038 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (neg 1)) (log y)) (+ (log z) (log x)))) in t
1.038 * [taylor]: Taking taylor expansion of 1/3 in t
1.038 * [taylor]: Taking taylor expansion of (- (+ (log (neg 1)) (log y)) (+ (log z) (log x))) in t
1.038 * [taylor]: Taking taylor expansion of (+ (log (neg 1)) (log y)) in t
1.038 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
1.038 * [taylor]: Taking taylor expansion of (neg 1) in t
1.038 * [taylor]: Taking taylor expansion of 1 in t
1.038 * [taylor]: Taking taylor expansion of (log y) in t
1.039 * [taylor]: Taking taylor expansion of y in t
1.039 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t
1.039 * [taylor]: Taking taylor expansion of (log z) in t
1.039 * [taylor]: Taking taylor expansion of z in t
1.039 * [taylor]: Taking taylor expansion of (log x) in t
1.039 * [taylor]: Taking taylor expansion of x in t
1.039 * [taylor]: Taking taylor expansion of t in t
1.042 * [taylor]: Taking taylor expansion of 0 in y
1.042 * [taylor]: Taking taylor expansion of 0 in z
1.042 * [taylor]: Taking taylor expansion of 0 in t
1.042 * [taylor]: Taking taylor expansion of 0 in z
1.042 * [taylor]: Taking taylor expansion of 0 in t
1.042 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.042 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0
1.042 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
1.042 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
1.042 * [taylor]: Taking taylor expansion of x in t
1.042 * [taylor]: Taking taylor expansion of (- z t) in t
1.042 * [taylor]: Taking taylor expansion of z in t
1.042 * [taylor]: Taking taylor expansion of t in t
1.042 * [taylor]: Taking taylor expansion of y in t
1.042 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
1.042 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
1.042 * [taylor]: Taking taylor expansion of x in z
1.042 * [taylor]: Taking taylor expansion of (- z t) in z
1.042 * [taylor]: Taking taylor expansion of z in z
1.042 * [taylor]: Taking taylor expansion of t in z
1.043 * [taylor]: Taking taylor expansion of y in z
1.043 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
1.043 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
1.043 * [taylor]: Taking taylor expansion of x in y
1.043 * [taylor]: Taking taylor expansion of (- z t) in y
1.043 * [taylor]: Taking taylor expansion of z in y
1.043 * [taylor]: Taking taylor expansion of t in y
1.043 * [taylor]: Taking taylor expansion of y in y
1.043 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
1.043 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.043 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of (- z t) in x
1.043 * [taylor]: Taking taylor expansion of z in x
1.043 * [taylor]: Taking taylor expansion of t in x
1.043 * [taylor]: Taking taylor expansion of y in x
1.043 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
1.043 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.043 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of (- z t) in x
1.043 * [taylor]: Taking taylor expansion of z in x
1.043 * [taylor]: Taking taylor expansion of t in x
1.043 * [taylor]: Taking taylor expansion of y in x
1.043 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y
1.043 * [taylor]: Taking taylor expansion of (- z t) in y
1.043 * [taylor]: Taking taylor expansion of z in y
1.043 * [taylor]: Taking taylor expansion of t in y
1.043 * [taylor]: Taking taylor expansion of y in y
1.043 * [taylor]: Taking taylor expansion of (- z t) in z
1.043 * [taylor]: Taking taylor expansion of z in z
1.043 * [taylor]: Taking taylor expansion of t in z
1.043 * [taylor]: Taking taylor expansion of (neg t) in t
1.043 * [taylor]: Taking taylor expansion of t in t
1.044 * [taylor]: Taking taylor expansion of 0 in y
1.044 * [taylor]: Taking taylor expansion of 0 in z
1.044 * [taylor]: Taking taylor expansion of 0 in t
1.044 * [taylor]: Taking taylor expansion of 1 in t
1.044 * [taylor]: Taking taylor expansion of 0 in y
1.044 * [taylor]: Taking taylor expansion of 0 in z
1.044 * [taylor]: Taking taylor expansion of 0 in t
1.044 * [taylor]: Taking taylor expansion of 0 in z
1.044 * [taylor]: Taking taylor expansion of 0 in t
1.044 * [taylor]: Taking taylor expansion of 0 in t
1.044 * [taylor]: Taking taylor expansion of 0 in t
1.045 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0
1.045 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t
1.045 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t
1.045 * [taylor]: Taking taylor expansion of y in t
1.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.045 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.045 * [taylor]: Taking taylor expansion of z in t
1.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.045 * [taylor]: Taking taylor expansion of t in t
1.045 * [taylor]: Taking taylor expansion of x in t
1.045 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z
1.045 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z
1.045 * [taylor]: Taking taylor expansion of y in z
1.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.045 * [taylor]: Taking taylor expansion of z in z
1.045 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.045 * [taylor]: Taking taylor expansion of t in z
1.045 * [taylor]: Taking taylor expansion of x in z
1.045 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y
1.045 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y
1.045 * [taylor]: Taking taylor expansion of y in y
1.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.045 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.045 * [taylor]: Taking taylor expansion of z in y
1.045 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.045 * [taylor]: Taking taylor expansion of t in y
1.045 * [taylor]: Taking taylor expansion of x in y
1.046 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
1.046 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
1.046 * [taylor]: Taking taylor expansion of y in x
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.046 * [taylor]: Taking taylor expansion of z in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.046 * [taylor]: Taking taylor expansion of t in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
1.046 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
1.046 * [taylor]: Taking taylor expansion of y in x
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.046 * [taylor]: Taking taylor expansion of z in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.046 * [taylor]: Taking taylor expansion of t in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.046 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.046 * [taylor]: Taking taylor expansion of z in y
1.047 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.047 * [taylor]: Taking taylor expansion of t in y
1.047 * [taylor]: Taking taylor expansion of y in y
1.047 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.047 * [taylor]: Taking taylor expansion of z in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.047 * [taylor]: Taking taylor expansion of t in z
1.047 * [taylor]: Taking taylor expansion of 1 in t
1.047 * [taylor]: Taking taylor expansion of 0 in y
1.047 * [taylor]: Taking taylor expansion of 0 in z
1.047 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.048 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.048 * [taylor]: Taking taylor expansion of t in t
1.048 * [taylor]: Taking taylor expansion of 0 in y
1.048 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of 0 in t
1.048 * [taylor]: Taking taylor expansion of 0 in t
1.048 * [taylor]: Taking taylor expansion of 0 in t
1.049 * [taylor]: Taking taylor expansion of 0 in y
1.049 * [taylor]: Taking taylor expansion of 0 in z
1.049 * [taylor]: Taking taylor expansion of 0 in z
1.049 * [taylor]: Taking taylor expansion of 0 in z
1.049 * [taylor]: Taking taylor expansion of 0 in z
1.049 * [taylor]: Taking taylor expansion of 0 in t
1.049 * [taylor]: Taking taylor expansion of 0 in t
1.049 * [taylor]: Taking taylor expansion of 0 in t
1.049 * [taylor]: Taking taylor expansion of 0 in t
1.049 * [taylor]: Taking taylor expansion of 0 in t
1.050 * [taylor]: Taking taylor expansion of 0 in t
1.050 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0
1.050 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
1.050 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.050 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.050 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.050 * [taylor]: Taking taylor expansion of t in t
1.050 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.050 * [taylor]: Taking taylor expansion of z in t
1.050 * [taylor]: Taking taylor expansion of y in t
1.050 * [taylor]: Taking taylor expansion of x in t
1.050 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
1.050 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.050 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.050 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.050 * [taylor]: Taking taylor expansion of t in z
1.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.050 * [taylor]: Taking taylor expansion of z in z
1.050 * [taylor]: Taking taylor expansion of y in z
1.051 * [taylor]: Taking taylor expansion of x in z
1.051 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.051 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.051 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.051 * [taylor]: Taking taylor expansion of t in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.051 * [taylor]: Taking taylor expansion of z in y
1.051 * [taylor]: Taking taylor expansion of y in y
1.051 * [taylor]: Taking taylor expansion of x in y
1.051 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.051 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.051 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.051 * [taylor]: Taking taylor expansion of t in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.051 * [taylor]: Taking taylor expansion of z in x
1.051 * [taylor]: Taking taylor expansion of y in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.052 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.052 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.052 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.052 * [taylor]: Taking taylor expansion of t in x
1.052 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.052 * [taylor]: Taking taylor expansion of z in x
1.052 * [taylor]: Taking taylor expansion of y in x
1.052 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.052 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.052 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.052 * [taylor]: Taking taylor expansion of t in y
1.052 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.052 * [taylor]: Taking taylor expansion of z in y
1.052 * [taylor]: Taking taylor expansion of y in y
1.052 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.052 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.052 * [taylor]: Taking taylor expansion of t in z
1.052 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.052 * [taylor]: Taking taylor expansion of z in z
1.052 * [taylor]: Taking taylor expansion of (neg 1) in t
1.052 * [taylor]: Taking taylor expansion of 1 in t
1.053 * [taylor]: Taking taylor expansion of 0 in y
1.053 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.053 * [taylor]: Taking taylor expansion of t in t
1.053 * [taylor]: Taking taylor expansion of 0 in y
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [taylor]: Taking taylor expansion of 0 in t
1.054 * [taylor]: Taking taylor expansion of 0 in t
1.054 * [taylor]: Taking taylor expansion of 0 in t
1.054 * [taylor]: Taking taylor expansion of 0 in y
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.055 * [taylor]: Taking taylor expansion of 0 in z
1.055 * [taylor]: Taking taylor expansion of 0 in t
1.055 * [taylor]: Taking taylor expansion of 0 in t
1.055 * [taylor]: Taking taylor expansion of 0 in t
1.055 * [taylor]: Taking taylor expansion of 0 in t
1.055 * [taylor]: Taking taylor expansion of 0 in t
1.055 * [taylor]: Taking taylor expansion of 0 in t
1.055 * * * [progress]: simplifying candidates
1.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* (/ x y) (- z t))))
  (exp (cbrt (* (/ x y) (- z t))))
  (cbrt (/ x y))
  (cbrt (- z t))
  (cbrt (* x (- (pow z 3) (pow t 3))))
  (cbrt (* y (+ (* z z) (+ (* t t) (* z t)))))
  (cbrt (* x (- (* z z) (* t t))))
  (cbrt (* y (+ z t)))
  (cbrt (* (/ x y) (- (pow z 3) (pow t 3))))
  (cbrt (+ (* z z) (+ (* t t) (* z t))))
  (cbrt (* (/ x y) (- (* z z) (* t t))))
  (cbrt (+ z t))
  (cbrt (* x (- z t)))
  (cbrt y)
  (* (cbrt (cbrt (* (/ x y) (- z t)))) (cbrt (cbrt (* (/ x y) (- z t)))))
  (cbrt (cbrt (* (/ x y) (- z t))))
  (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (log (cbrt (* (/ x y) (- z t))))
  (exp (cbrt (* (/ x y) (- z t))))
  (cbrt (/ x y))
  (cbrt (- z t))
  (cbrt (* x (- (pow z 3) (pow t 3))))
  (cbrt (* y (+ (* z z) (+ (* t t) (* z t)))))
  (cbrt (* x (- (* z z) (* t t))))
  (cbrt (* y (+ z t)))
  (cbrt (* (/ x y) (- (pow z 3) (pow t 3))))
  (cbrt (+ (* z z) (+ (* t t) (* z t))))
  (cbrt (* (/ x y) (- (* z z) (* t t))))
  (cbrt (+ z t))
  (cbrt (* x (- z t)))
  (cbrt y)
  (* (cbrt (cbrt (* (/ x y) (- z t)))) (cbrt (cbrt (* (/ x y) (- z t)))))
  (cbrt (cbrt (* (/ x y) (- z t))))
  (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (log (cbrt (* (/ x y) (- z t))))
  (exp (cbrt (* (/ x y) (- z t))))
  (cbrt (/ x y))
  (cbrt (- z t))
  (cbrt (* x (- (pow z 3) (pow t 3))))
  (cbrt (* y (+ (* z z) (+ (* t t) (* z t)))))
  (cbrt (* x (- (* z z) (* t t))))
  (cbrt (* y (+ z t)))
  (cbrt (* (/ x y) (- (pow z 3) (pow t 3))))
  (cbrt (+ (* z z) (+ (* t t) (* z t))))
  (cbrt (* (/ x y) (- (* z z) (* t t))))
  (cbrt (+ z t))
  (cbrt (* x (- z t)))
  (cbrt y)
  (* (cbrt (cbrt (* (/ x y) (- z t)))) (cbrt (cbrt (* (/ x y) (- z t)))))
  (cbrt (cbrt (* (/ x y) (- z t))))
  (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (* (/ x y) (- z t))
  (+ (- (log x) (log y)) (log (- z t)))
  (+ (log (/ x y)) (log (- z t)))
  (log (* (/ x y) (- z t)))
  (exp (* (/ x y) (- z t)))
  (* (/ (* (* x x) x) (* (* y y) y)) (* (* (- z t) (- z t)) (- z t)))
  (* (* (* (/ x y) (/ x y)) (/ x y)) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t))))
  (cbrt (* (/ x y) (- z t)))
  (* (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (* x (- (pow z 3) (pow t 3)))
  (* y (+ (* z z) (+ (* t t) (* z t))))
  (* x (- (* z z) (* t t)))
  (* y (+ z t))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ x y) z)
  (* (/ x y) (neg t))
  (* z (/ x y))
  (* (neg t) (/ x y))
  (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ x y) (sqrt (- z t)))
  (* (/ x y) 1)
  (* (/ x y) (+ (sqrt z) (sqrt t)))
  (* (/ x y) 1)
  (* (cbrt (/ x y)) (- z t))
  (* (sqrt (/ x y)) (- z t))
  (* (/ (cbrt x) (cbrt y)) (- z t))
  (* (/ (cbrt x) (sqrt y)) (- z t))
  (* (/ (cbrt x) y) (- z t))
  (* (/ (sqrt x) (cbrt y)) (- z t))
  (* (/ (sqrt x) (sqrt y)) (- z t))
  (* (/ (sqrt x) y) (- z t))
  (* (/ x (cbrt y)) (- z t))
  (* (/ x (sqrt y)) (- z t))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (* (/ 1 y) (- z t))
  (* (/ x y) (- (pow z 3) (pow t 3)))
  (* (/ x y) (- (* z z) (* t t)))
  (* x (- z t))
  (exp (* 1/3 (- (+ (log t) (+ (log x) (log (neg 1)))) (log y))))
  (exp (* 1/3 (- (+ (log 1) (log (/ 1 y))) (+ (log (/ 1 x)) (log (/ 1 z))))))
  (exp (* 1/3 (- (+ (log (neg 1)) (log (/ -1 y))) (+ (log (/ -1 z)) (log (/ -1 x))))))
  (exp (* 1/3 (- (+ (log t) (+ (log x) (log (neg 1)))) (log y))))
  (exp (* 1/3 (- (+ (log 1) (log (/ 1 y))) (+ (log (/ 1 x)) (log (/ 1 z))))))
  (exp (* 1/3 (- (+ (log (neg 1)) (log (/ -1 y))) (+ (log (/ -1 z)) (log (/ -1 x))))))
  (exp (* 1/3 (- (+ (log t) (+ (log x) (log (neg 1)))) (log y))))
  (exp (* 1/3 (- (+ (log 1) (log (/ 1 y))) (+ (log (/ 1 x)) (log (/ 1 z))))))
  (exp (* 1/3 (- (+ (log (neg 1)) (log (/ -1 y))) (+ (log (/ -1 z)) (log (/ -1 x))))))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
1.097 * * [simplify]: iteration  0 :  4978  enodes  (cost  958 )
1.098 * * [simplify]: iteration  1 :  4978  enodes  (cost  958 )
1.102 * [simplify]: Simplified to:
   (log (cbrt (* (/ x y) (- z t))))
  (exp (cbrt (* (/ x y) (- z t))))
  (cbrt (/ x y))
  (cbrt (- z t))
  (cbrt (* x (- (pow z 3) (pow t 3))))
  (cbrt (* y (+ (* z z) (* t (+ z t)))))
  (cbrt (* x (- (* z z) (* t t))))
  (cbrt (* y (+ z t)))
  (cbrt (* (/ x y) (- (pow z 3) (pow t 3))))
  (cbrt (+ (* z z) (* t (+ z t))))
  (cbrt (* (/ x y) (- (* z z) (* t t))))
  (cbrt (+ z t))
  (cbrt (* x (- z t)))
  (cbrt y)
  (* (cbrt (cbrt (* (/ x y) (- z t)))) (cbrt (cbrt (* (/ x y) (- z t)))))
  (cbrt (cbrt (* (/ x y) (- z t))))
  (* (/ x y) (- z t))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (log (cbrt (* (/ x y) (- z t))))
  (exp (cbrt (* (/ x y) (- z t))))
  (cbrt (/ x y))
  (cbrt (- z t))
  (cbrt (* x (- (pow z 3) (pow t 3))))
  (cbrt (* y (+ (* z z) (* t (+ z t)))))
  (cbrt (* x (- (* z z) (* t t))))
  (cbrt (* y (+ z t)))
  (cbrt (* (/ x y) (- (pow z 3) (pow t 3))))
  (cbrt (+ (* z z) (* t (+ z t))))
  (cbrt (* (/ x y) (- (* z z) (* t t))))
  (cbrt (+ z t))
  (cbrt (* x (- z t)))
  (cbrt y)
  (* (cbrt (cbrt (* (/ x y) (- z t)))) (cbrt (cbrt (* (/ x y) (- z t)))))
  (cbrt (cbrt (* (/ x y) (- z t))))
  (* (/ x y) (- z t))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (log (cbrt (* (/ x y) (- z t))))
  (exp (cbrt (* (/ x y) (- z t))))
  (cbrt (/ x y))
  (cbrt (- z t))
  (cbrt (* x (- (pow z 3) (pow t 3))))
  (cbrt (* y (+ (* z z) (* t (+ z t)))))
  (cbrt (* x (- (* z z) (* t t))))
  (cbrt (* y (+ z t)))
  (cbrt (* (/ x y) (- (pow z 3) (pow t 3))))
  (cbrt (+ (* z z) (* t (+ z t))))
  (cbrt (* (/ x y) (- (* z z) (* t t))))
  (cbrt (+ z t))
  (cbrt (* x (- z t)))
  (cbrt y)
  (* (cbrt (cbrt (* (/ x y) (- z t)))) (cbrt (cbrt (* (/ x y) (- z t)))))
  (cbrt (cbrt (* (/ x y) (- z t))))
  (* (/ x y) (- z t))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (sqrt (cbrt (* (/ x y) (- z t))))
  (* (/ x y) (- z t))
  (log (* (/ x y) (- z t)))
  (log (* (/ x y) (- z t)))
  (log (* (/ x y) (- z t)))
  (pow (exp (/ x y)) (- z t))
  (pow (* (/ x y) (- z t)) 3)
  (pow (* (/ x y) (- z t)) 3)
  (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t))))
  (cbrt (* (/ x y) (- z t)))
  (pow (* (/ x y) (- z t)) 3)
  (sqrt (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (* x (- (pow z 3) (pow t 3)))
  (* y (+ (* z z) (* t (+ z t))))
  (* x (- (* z z) (* t t)))
  (* y (+ z t))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (- z t)) (/ (sqrt x) (sqrt y)))
  (* (sqrt (- z t)) (/ (sqrt x) (sqrt y)))
  (* (/ x y) z)
  (* (/ x y) (neg t))
  (* (/ x y) z)
  (* (/ x y) (neg t))
  (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ x y) (sqrt (- z t)))
  (/ x y)
  (* (/ x y) (+ (sqrt z) (sqrt t)))
  (/ x y)
  (* (- z t) (cbrt (/ x y)))
  (* (- z t) (sqrt (/ x y)))
  (* (- z t) (/ (cbrt x) (cbrt y)))
  (* (- z t) (/ (cbrt x) (sqrt y)))
  (* (- z t) (/ (cbrt x) y))
  (* (- z t) (/ (sqrt x) (cbrt y)))
  (* (- z t) (/ (sqrt x) (sqrt y)))
  (* (- z t) (/ (sqrt x) y))
  (* (- z t) (/ x (cbrt y)))
  (* (- z t) (/ x (sqrt y)))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (/ (- z t) y)
  (* (/ x y) (- (pow z 3) (pow t 3)))
  (* (/ x y) (- (* z z) (* t t)))
  (* x (- z t))
  (cbrt (* (/ x y) (neg t)))
  (cbrt (* (/ x y) z))
  (cbrt (* x (/ (/ (* -1 (/ -1 y)) (/ -1 z)) -1)))
  (cbrt (* (/ x y) (neg t)))
  (cbrt (* (/ x y) z))
  (cbrt (* x (/ (/ (* -1 (/ -1 y)) (/ -1 z)) -1)))
  (cbrt (* (/ x y) (neg t)))
  (cbrt (* (/ x y) z))
  (cbrt (* x (/ (/ (* -1 (/ -1 y)) (/ -1 z)) -1)))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
1.102 * * * [progress]: adding candidates to table
1.205 * * [progress]: iteration 3 / 4
1.205 * * * [progress]: picking best candidate
1.223 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))>
1.223 * * * [progress]: localizing error
1.233 * * * [progress]: generating rewritten candidates
1.233 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.240 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.246 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.256 * * * [progress]: generating series expansions
1.256 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.257 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x z t y) around 0
1.257 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
1.257 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
1.257 * [taylor]: Taking taylor expansion of x in y
1.257 * [taylor]: Taking taylor expansion of (- z t) in y
1.257 * [taylor]: Taking taylor expansion of z in y
1.257 * [taylor]: Taking taylor expansion of t in y
1.257 * [taylor]: Taking taylor expansion of y in y
1.257 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
1.257 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
1.257 * [taylor]: Taking taylor expansion of x in t
1.257 * [taylor]: Taking taylor expansion of (- z t) in t
1.257 * [taylor]: Taking taylor expansion of z in t
1.257 * [taylor]: Taking taylor expansion of t in t
1.257 * [taylor]: Taking taylor expansion of y in t
1.257 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
1.257 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
1.257 * [taylor]: Taking taylor expansion of x in z
1.257 * [taylor]: Taking taylor expansion of (- z t) in z
1.257 * [taylor]: Taking taylor expansion of z in z
1.257 * [taylor]: Taking taylor expansion of t in z
1.257 * [taylor]: Taking taylor expansion of y in z
1.257 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
1.257 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.257 * [taylor]: Taking taylor expansion of x in x
1.257 * [taylor]: Taking taylor expansion of (- z t) in x
1.257 * [taylor]: Taking taylor expansion of z in x
1.257 * [taylor]: Taking taylor expansion of t in x
1.257 * [taylor]: Taking taylor expansion of y in x
1.257 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
1.257 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.258 * [taylor]: Taking taylor expansion of (- z t) in x
1.258 * [taylor]: Taking taylor expansion of z in x
1.258 * [taylor]: Taking taylor expansion of t in x
1.258 * [taylor]: Taking taylor expansion of y in x
1.258 * [taylor]: Taking taylor expansion of (/ (- z t) y) in z
1.258 * [taylor]: Taking taylor expansion of (- z t) in z
1.258 * [taylor]: Taking taylor expansion of z in z
1.258 * [taylor]: Taking taylor expansion of t in z
1.258 * [taylor]: Taking taylor expansion of y in z
1.258 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in t
1.258 * [taylor]: Taking taylor expansion of -1 in t
1.258 * [taylor]: Taking taylor expansion of (/ t y) in t
1.258 * [taylor]: Taking taylor expansion of t in t
1.258 * [taylor]: Taking taylor expansion of y in t
1.258 * [taylor]: Taking taylor expansion of 0 in z
1.258 * [taylor]: Taking taylor expansion of 0 in t
1.258 * [taylor]: Taking taylor expansion of 0 in y
1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.258 * [taylor]: Taking taylor expansion of y in t
1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.258 * [taylor]: Taking taylor expansion of y in y
1.258 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.258 * [taylor]: Taking taylor expansion of -1 in y
1.258 * [taylor]: Taking taylor expansion of y in y
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.259 * [taylor]: Taking taylor expansion of 0 in t
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in t
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in t
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.259 * [taylor]: Taking taylor expansion of 0 in t
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in t
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in t
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in t
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [taylor]: Taking taylor expansion of 0 in y
1.260 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in (x z t y) around 0
1.260 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
1.260 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.260 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.260 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.260 * [taylor]: Taking taylor expansion of z in y
1.261 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.261 * [taylor]: Taking taylor expansion of t in y
1.261 * [taylor]: Taking taylor expansion of y in y
1.261 * [taylor]: Taking taylor expansion of x in y
1.261 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in t
1.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
1.261 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.261 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.261 * [taylor]: Taking taylor expansion of z in t
1.261 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.261 * [taylor]: Taking taylor expansion of t in t
1.261 * [taylor]: Taking taylor expansion of y in t
1.261 * [taylor]: Taking taylor expansion of x in t
1.261 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in z
1.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
1.261 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.261 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.261 * [taylor]: Taking taylor expansion of z in z
1.261 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.261 * [taylor]: Taking taylor expansion of t in z
1.261 * [taylor]: Taking taylor expansion of y in z
1.261 * [taylor]: Taking taylor expansion of x in z
1.261 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.261 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.261 * [taylor]: Taking taylor expansion of z in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.262 * [taylor]: Taking taylor expansion of t in x
1.262 * [taylor]: Taking taylor expansion of y in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.262 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.262 * [taylor]: Taking taylor expansion of z in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.262 * [taylor]: Taking taylor expansion of t in x
1.262 * [taylor]: Taking taylor expansion of y in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z
1.262 * [taylor]: Taking taylor expansion of y in z
1.262 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.262 * [taylor]: Taking taylor expansion of z in z
1.262 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.262 * [taylor]: Taking taylor expansion of t in z
1.262 * [taylor]: Taking taylor expansion of y in t
1.263 * [taylor]: Taking taylor expansion of 0 in z
1.263 * [taylor]: Taking taylor expansion of (neg (/ y t)) in t
1.263 * [taylor]: Taking taylor expansion of (/ y t) in t
1.263 * [taylor]: Taking taylor expansion of y in t
1.263 * [taylor]: Taking taylor expansion of t in t
1.263 * [taylor]: Taking taylor expansion of (neg y) in y
1.263 * [taylor]: Taking taylor expansion of y in y
1.263 * [taylor]: Taking taylor expansion of y in y
1.263 * [taylor]: Taking taylor expansion of 0 in z
1.263 * [taylor]: Taking taylor expansion of 0 in t
1.264 * [taylor]: Taking taylor expansion of 0 in t
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [taylor]: Taking taylor expansion of 0 in z
1.264 * [taylor]: Taking taylor expansion of 0 in t
1.264 * [taylor]: Taking taylor expansion of 0 in t
1.264 * [taylor]: Taking taylor expansion of 0 in t
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.265 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x z t y) around 0
1.265 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.265 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.265 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.265 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.265 * [taylor]: Taking taylor expansion of t in y
1.265 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.265 * [taylor]: Taking taylor expansion of z in y
1.265 * [taylor]: Taking taylor expansion of y in y
1.265 * [taylor]: Taking taylor expansion of x in y
1.265 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
1.265 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.265 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.265 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.266 * [taylor]: Taking taylor expansion of t in t
1.266 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.266 * [taylor]: Taking taylor expansion of z in t
1.266 * [taylor]: Taking taylor expansion of y in t
1.266 * [taylor]: Taking taylor expansion of x in t
1.266 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
1.266 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.266 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.266 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.266 * [taylor]: Taking taylor expansion of t in z
1.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.266 * [taylor]: Taking taylor expansion of z in z
1.266 * [taylor]: Taking taylor expansion of y in z
1.266 * [taylor]: Taking taylor expansion of x in z
1.266 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.266 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.266 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.266 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.266 * [taylor]: Taking taylor expansion of t in x
1.266 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.266 * [taylor]: Taking taylor expansion of z in x
1.266 * [taylor]: Taking taylor expansion of y in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.266 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.266 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.266 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.266 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.266 * [taylor]: Taking taylor expansion of t in x
1.266 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.266 * [taylor]: Taking taylor expansion of z in x
1.266 * [taylor]: Taking taylor expansion of y in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.267 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.267 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.267 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.267 * [taylor]: Taking taylor expansion of t in z
1.267 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.267 * [taylor]: Taking taylor expansion of z in z
1.267 * [taylor]: Taking taylor expansion of y in z
1.267 * [taylor]: Taking taylor expansion of (* -1 y) in t
1.267 * [taylor]: Taking taylor expansion of -1 in t
1.267 * [taylor]: Taking taylor expansion of y in t
1.267 * [taylor]: Taking taylor expansion of 0 in z
1.267 * [taylor]: Taking taylor expansion of (/ y t) in t
1.267 * [taylor]: Taking taylor expansion of y in t
1.267 * [taylor]: Taking taylor expansion of t in t
1.267 * [taylor]: Taking taylor expansion of y in y
1.267 * [taylor]: Taking taylor expansion of (* -1 y) in y
1.267 * [taylor]: Taking taylor expansion of -1 in y
1.268 * [taylor]: Taking taylor expansion of y in y
1.268 * [taylor]: Taking taylor expansion of 0 in z
1.268 * [taylor]: Taking taylor expansion of 0 in t
1.268 * [taylor]: Taking taylor expansion of 0 in t
1.268 * [taylor]: Taking taylor expansion of 0 in y
1.268 * [taylor]: Taking taylor expansion of 0 in y
1.269 * [taylor]: Taking taylor expansion of 0 in z
1.269 * [taylor]: Taking taylor expansion of 0 in t
1.269 * [taylor]: Taking taylor expansion of 0 in t
1.269 * [taylor]: Taking taylor expansion of 0 in t
1.269 * [taylor]: Taking taylor expansion of 0 in y
1.269 * [taylor]: Taking taylor expansion of 0 in y
1.269 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.269 * [approximate]: Taking taylor expansion of (* x (- z t)) in (x z t) around 0
1.269 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
1.269 * [taylor]: Taking taylor expansion of x in t
1.270 * [taylor]: Taking taylor expansion of (- z t) in t
1.270 * [taylor]: Taking taylor expansion of z in t
1.270 * [taylor]: Taking taylor expansion of t in t
1.270 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
1.270 * [taylor]: Taking taylor expansion of x in z
1.270 * [taylor]: Taking taylor expansion of (- z t) in z
1.270 * [taylor]: Taking taylor expansion of z in z
1.270 * [taylor]: Taking taylor expansion of t in z
1.270 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.270 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of (- z t) in x
1.270 * [taylor]: Taking taylor expansion of z in x
1.270 * [taylor]: Taking taylor expansion of t in x
1.270 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.270 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of (- z t) in x
1.270 * [taylor]: Taking taylor expansion of z in x
1.270 * [taylor]: Taking taylor expansion of t in x
1.270 * [taylor]: Taking taylor expansion of 0 in z
1.270 * [taylor]: Taking taylor expansion of 0 in t
1.270 * [taylor]: Taking taylor expansion of (- z t) in z
1.270 * [taylor]: Taking taylor expansion of z in z
1.270 * [taylor]: Taking taylor expansion of t in z
1.270 * [taylor]: Taking taylor expansion of (neg t) in t
1.270 * [taylor]: Taking taylor expansion of t in t
1.270 * [taylor]: Taking taylor expansion of 0 in t
1.270 * [taylor]: Taking taylor expansion of 0 in z
1.270 * [taylor]: Taking taylor expansion of 0 in t
1.270 * [taylor]: Taking taylor expansion of 1 in t
1.270 * [taylor]: Taking taylor expansion of 0 in t
1.270 * [taylor]: Taking taylor expansion of 0 in z
1.270 * [taylor]: Taking taylor expansion of 0 in t
1.271 * [taylor]: Taking taylor expansion of 0 in t
1.271 * [taylor]: Taking taylor expansion of 0 in t
1.271 * [taylor]: Taking taylor expansion of 0 in t
1.271 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in (x z t) around 0
1.271 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in t
1.271 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.271 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.271 * [taylor]: Taking taylor expansion of z in t
1.271 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.271 * [taylor]: Taking taylor expansion of t in t
1.271 * [taylor]: Taking taylor expansion of x in t
1.271 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in z
1.271 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.271 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.271 * [taylor]: Taking taylor expansion of z in z
1.271 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.271 * [taylor]: Taking taylor expansion of t in z
1.271 * [taylor]: Taking taylor expansion of x in z
1.271 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.271 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.271 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.271 * [taylor]: Taking taylor expansion of z in x
1.271 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.271 * [taylor]: Taking taylor expansion of t in x
1.271 * [taylor]: Taking taylor expansion of x in x
1.272 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.272 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.272 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.272 * [taylor]: Taking taylor expansion of z in x
1.272 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.272 * [taylor]: Taking taylor expansion of t in x
1.272 * [taylor]: Taking taylor expansion of x in x
1.272 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.272 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.272 * [taylor]: Taking taylor expansion of z in z
1.272 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.272 * [taylor]: Taking taylor expansion of t in z
1.272 * [taylor]: Taking taylor expansion of 1 in t
1.272 * [taylor]: Taking taylor expansion of 0 in z
1.272 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.272 * [taylor]: Taking taylor expansion of t in t
1.273 * [taylor]: Taking taylor expansion of 0 in z
1.273 * [taylor]: Taking taylor expansion of 0 in t
1.273 * [taylor]: Taking taylor expansion of 0 in t
1.273 * [taylor]: Taking taylor expansion of 0 in z
1.273 * [taylor]: Taking taylor expansion of 0 in t
1.273 * [taylor]: Taking taylor expansion of 0 in t
1.273 * [taylor]: Taking taylor expansion of 0 in t
1.274 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in (x z t) around 0
1.274 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in t
1.274 * [taylor]: Taking taylor expansion of -1 in t
1.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in t
1.274 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.274 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.274 * [taylor]: Taking taylor expansion of t in t
1.274 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.274 * [taylor]: Taking taylor expansion of z in t
1.274 * [taylor]: Taking taylor expansion of x in t
1.274 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in z
1.274 * [taylor]: Taking taylor expansion of -1 in z
1.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in z
1.274 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.274 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.274 * [taylor]: Taking taylor expansion of t in z
1.274 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.274 * [taylor]: Taking taylor expansion of z in z
1.274 * [taylor]: Taking taylor expansion of x in z
1.274 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
1.274 * [taylor]: Taking taylor expansion of -1 in x
1.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.274 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.274 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.274 * [taylor]: Taking taylor expansion of t in x
1.274 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.274 * [taylor]: Taking taylor expansion of z in x
1.274 * [taylor]: Taking taylor expansion of x in x
1.274 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
1.275 * [taylor]: Taking taylor expansion of -1 in x
1.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.275 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.275 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.275 * [taylor]: Taking taylor expansion of t in x
1.275 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.275 * [taylor]: Taking taylor expansion of z in x
1.275 * [taylor]: Taking taylor expansion of x in x
1.275 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z
1.275 * [taylor]: Taking taylor expansion of -1 in z
1.275 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.275 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.275 * [taylor]: Taking taylor expansion of t in z
1.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.275 * [taylor]: Taking taylor expansion of z in z
1.275 * [taylor]: Taking taylor expansion of 1 in t
1.275 * [taylor]: Taking taylor expansion of 0 in z
1.275 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.275 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.276 * [taylor]: Taking taylor expansion of t in t
1.276 * [taylor]: Taking taylor expansion of 0 in z
1.276 * [taylor]: Taking taylor expansion of 0 in t
1.276 * [taylor]: Taking taylor expansion of 0 in t
1.276 * [taylor]: Taking taylor expansion of 0 in z
1.277 * [taylor]: Taking taylor expansion of 0 in t
1.277 * [taylor]: Taking taylor expansion of 0 in t
1.277 * [taylor]: Taking taylor expansion of 0 in t
1.277 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.277 * [approximate]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in (x z t y) around 0
1.277 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in y
1.277 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in y
1.277 * [taylor]: Taking taylor expansion of t in y
1.277 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y
1.277 * [taylor]: Taking taylor expansion of (* x z) in y
1.277 * [taylor]: Taking taylor expansion of x in y
1.277 * [taylor]: Taking taylor expansion of z in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.277 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y
1.277 * [taylor]: Taking taylor expansion of (* t x) in y
1.277 * [taylor]: Taking taylor expansion of t in y
1.277 * [taylor]: Taking taylor expansion of x in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.278 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in t
1.278 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in t
1.278 * [taylor]: Taking taylor expansion of t in t
1.278 * [taylor]: Taking taylor expansion of (/ (* x z) y) in t
1.278 * [taylor]: Taking taylor expansion of (* x z) in t
1.278 * [taylor]: Taking taylor expansion of x in t
1.278 * [taylor]: Taking taylor expansion of z in t
1.278 * [taylor]: Taking taylor expansion of y in t
1.278 * [taylor]: Taking taylor expansion of (/ (* t x) y) in t
1.278 * [taylor]: Taking taylor expansion of (* t x) in t
1.278 * [taylor]: Taking taylor expansion of t in t
1.278 * [taylor]: Taking taylor expansion of x in t
1.278 * [taylor]: Taking taylor expansion of y in t
1.278 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in z
1.278 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in z
1.278 * [taylor]: Taking taylor expansion of t in z
1.278 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z
1.278 * [taylor]: Taking taylor expansion of (* x z) in z
1.278 * [taylor]: Taking taylor expansion of x in z
1.278 * [taylor]: Taking taylor expansion of z in z
1.278 * [taylor]: Taking taylor expansion of y in z
1.278 * [taylor]: Taking taylor expansion of (/ (* t x) y) in z
1.278 * [taylor]: Taking taylor expansion of (* t x) in z
1.278 * [taylor]: Taking taylor expansion of t in z
1.278 * [taylor]: Taking taylor expansion of x in z
1.278 * [taylor]: Taking taylor expansion of y in z
1.278 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x
1.278 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x
1.278 * [taylor]: Taking taylor expansion of t in x
1.278 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
1.278 * [taylor]: Taking taylor expansion of (* x z) in x
1.278 * [taylor]: Taking taylor expansion of x in x
1.278 * [taylor]: Taking taylor expansion of z in x
1.278 * [taylor]: Taking taylor expansion of y in x
1.278 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
1.278 * [taylor]: Taking taylor expansion of (* t x) in x
1.278 * [taylor]: Taking taylor expansion of t in x
1.278 * [taylor]: Taking taylor expansion of x in x
1.278 * [taylor]: Taking taylor expansion of y in x
1.278 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x
1.279 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x
1.279 * [taylor]: Taking taylor expansion of t in x
1.279 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
1.279 * [taylor]: Taking taylor expansion of (* x z) in x
1.279 * [taylor]: Taking taylor expansion of x in x
1.279 * [taylor]: Taking taylor expansion of z in x
1.279 * [taylor]: Taking taylor expansion of y in x
1.279 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
1.279 * [taylor]: Taking taylor expansion of (* t x) in x
1.279 * [taylor]: Taking taylor expansion of t in x
1.279 * [taylor]: Taking taylor expansion of x in x
1.279 * [taylor]: Taking taylor expansion of y in x
1.279 * [taylor]: Taking taylor expansion of t in z
1.279 * [taylor]: Taking taylor expansion of t in t
1.279 * [taylor]: Taking taylor expansion of 0 in y
1.279 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in z
1.279 * [taylor]: Taking taylor expansion of (/ z y) in z
1.279 * [taylor]: Taking taylor expansion of z in z
1.279 * [taylor]: Taking taylor expansion of y in z
1.279 * [taylor]: Taking taylor expansion of (/ t y) in z
1.279 * [taylor]: Taking taylor expansion of t in z
1.279 * [taylor]: Taking taylor expansion of y in z
1.279 * [taylor]: Taking taylor expansion of (neg (/ t y)) in t
1.279 * [taylor]: Taking taylor expansion of (/ t y) in t
1.279 * [taylor]: Taking taylor expansion of t in t
1.279 * [taylor]: Taking taylor expansion of y in t
1.279 * [taylor]: Taking taylor expansion of 0 in t
1.279 * [taylor]: Taking taylor expansion of 0 in y
1.279 * [taylor]: Taking taylor expansion of 1 in y
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of 0 in t
1.280 * [taylor]: Taking taylor expansion of 0 in y
1.280 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.280 * [taylor]: Taking taylor expansion of y in t
1.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.280 * [taylor]: Taking taylor expansion of y in y
1.280 * [taylor]: Taking taylor expansion of 0 in t
1.280 * [taylor]: Taking taylor expansion of 0 in y
1.280 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.280 * [taylor]: Taking taylor expansion of y in y
1.280 * [taylor]: Taking taylor expansion of 0 in y
1.280 * [taylor]: Taking taylor expansion of 0 in y
1.281 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in (x z t y) around 0
1.281 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in y
1.281 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
1.281 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.281 * [taylor]: Taking taylor expansion of t in y
1.281 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.281 * [taylor]: Taking taylor expansion of y in y
1.281 * [taylor]: Taking taylor expansion of (* x z) in y
1.281 * [taylor]: Taking taylor expansion of x in y
1.281 * [taylor]: Taking taylor expansion of z in y
1.281 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.281 * [taylor]: Taking taylor expansion of y in y
1.281 * [taylor]: Taking taylor expansion of (* t x) in y
1.281 * [taylor]: Taking taylor expansion of t in y
1.281 * [taylor]: Taking taylor expansion of x in y
1.281 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in t
1.281 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
1.281 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.281 * [taylor]: Taking taylor expansion of t in t
1.281 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
1.281 * [taylor]: Taking taylor expansion of y in t
1.281 * [taylor]: Taking taylor expansion of (* x z) in t
1.281 * [taylor]: Taking taylor expansion of x in t
1.281 * [taylor]: Taking taylor expansion of z in t
1.281 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
1.281 * [taylor]: Taking taylor expansion of y in t
1.281 * [taylor]: Taking taylor expansion of (* t x) in t
1.281 * [taylor]: Taking taylor expansion of t in t
1.281 * [taylor]: Taking taylor expansion of x in t
1.281 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in z
1.281 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
1.281 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.281 * [taylor]: Taking taylor expansion of t in z
1.281 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.281 * [taylor]: Taking taylor expansion of y in z
1.281 * [taylor]: Taking taylor expansion of (* x z) in z
1.282 * [taylor]: Taking taylor expansion of x in z
1.282 * [taylor]: Taking taylor expansion of z in z
1.282 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
1.282 * [taylor]: Taking taylor expansion of y in z
1.282 * [taylor]: Taking taylor expansion of (* t x) in z
1.282 * [taylor]: Taking taylor expansion of t in z
1.282 * [taylor]: Taking taylor expansion of x in z
1.282 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x
1.282 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.282 * [taylor]: Taking taylor expansion of t in x
1.282 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.282 * [taylor]: Taking taylor expansion of y in x
1.282 * [taylor]: Taking taylor expansion of (* x z) in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.282 * [taylor]: Taking taylor expansion of z in x
1.282 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.282 * [taylor]: Taking taylor expansion of y in x
1.282 * [taylor]: Taking taylor expansion of (* t x) in x
1.282 * [taylor]: Taking taylor expansion of t in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.282 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x
1.282 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.282 * [taylor]: Taking taylor expansion of t in x
1.282 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.282 * [taylor]: Taking taylor expansion of y in x
1.282 * [taylor]: Taking taylor expansion of (* x z) in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.282 * [taylor]: Taking taylor expansion of z in x
1.282 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.282 * [taylor]: Taking taylor expansion of y in x
1.282 * [taylor]: Taking taylor expansion of (* t x) in x
1.282 * [taylor]: Taking taylor expansion of t in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.283 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in z
1.283 * [taylor]: Taking taylor expansion of (/ y z) in z
1.283 * [taylor]: Taking taylor expansion of y in z
1.283 * [taylor]: Taking taylor expansion of z in z
1.283 * [taylor]: Taking taylor expansion of (/ y t) in z
1.283 * [taylor]: Taking taylor expansion of y in z
1.283 * [taylor]: Taking taylor expansion of t in z
1.283 * [taylor]: Taking taylor expansion of y in t
1.283 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.283 * [taylor]: Taking taylor expansion of t in z
1.283 * [taylor]: Taking taylor expansion of (neg (/ y t)) in t
1.283 * [taylor]: Taking taylor expansion of (/ y t) in t
1.283 * [taylor]: Taking taylor expansion of y in t
1.283 * [taylor]: Taking taylor expansion of t in t
1.283 * [taylor]: Taking taylor expansion of (neg y) in y
1.283 * [taylor]: Taking taylor expansion of y in y
1.283 * [taylor]: Taking taylor expansion of y in y
1.284 * [taylor]: Taking taylor expansion of 0 in z
1.284 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.284 * [taylor]: Taking taylor expansion of t in t
1.284 * [taylor]: Taking taylor expansion of 1 in y
1.284 * [taylor]: Taking taylor expansion of 0 in t
1.284 * [taylor]: Taking taylor expansion of 0 in y
1.284 * [taylor]: Taking taylor expansion of 0 in y
1.285 * [approximate]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in (x z t y) around 0
1.285 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in y
1.285 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.285 * [taylor]: Taking taylor expansion of y in y
1.285 * [taylor]: Taking taylor expansion of (* t x) in y
1.285 * [taylor]: Taking taylor expansion of t in y
1.285 * [taylor]: Taking taylor expansion of x in y
1.285 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
1.285 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.285 * [taylor]: Taking taylor expansion of t in y
1.285 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.285 * [taylor]: Taking taylor expansion of y in y
1.285 * [taylor]: Taking taylor expansion of (* x z) in y
1.285 * [taylor]: Taking taylor expansion of x in y
1.285 * [taylor]: Taking taylor expansion of z in y
1.285 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in t
1.285 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
1.285 * [taylor]: Taking taylor expansion of y in t
1.285 * [taylor]: Taking taylor expansion of (* t x) in t
1.285 * [taylor]: Taking taylor expansion of t in t
1.285 * [taylor]: Taking taylor expansion of x in t
1.285 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
1.285 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.285 * [taylor]: Taking taylor expansion of t in t
1.285 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
1.285 * [taylor]: Taking taylor expansion of y in t
1.285 * [taylor]: Taking taylor expansion of (* x z) in t
1.285 * [taylor]: Taking taylor expansion of x in t
1.285 * [taylor]: Taking taylor expansion of z in t
1.286 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in z
1.286 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
1.286 * [taylor]: Taking taylor expansion of y in z
1.286 * [taylor]: Taking taylor expansion of (* t x) in z
1.286 * [taylor]: Taking taylor expansion of t in z
1.286 * [taylor]: Taking taylor expansion of x in z
1.286 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
1.286 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.286 * [taylor]: Taking taylor expansion of t in z
1.286 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.286 * [taylor]: Taking taylor expansion of y in z
1.286 * [taylor]: Taking taylor expansion of (* x z) in z
1.286 * [taylor]: Taking taylor expansion of x in z
1.286 * [taylor]: Taking taylor expansion of z in z
1.286 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x
1.286 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.286 * [taylor]: Taking taylor expansion of y in x
1.286 * [taylor]: Taking taylor expansion of (* t x) in x
1.286 * [taylor]: Taking taylor expansion of t in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.286 * [taylor]: Taking taylor expansion of t in x
1.286 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.286 * [taylor]: Taking taylor expansion of y in x
1.286 * [taylor]: Taking taylor expansion of (* x z) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of z in x
1.286 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x
1.286 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.286 * [taylor]: Taking taylor expansion of y in x
1.286 * [taylor]: Taking taylor expansion of (* t x) in x
1.286 * [taylor]: Taking taylor expansion of t in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
1.286 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.286 * [taylor]: Taking taylor expansion of t in x
1.286 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.286 * [taylor]: Taking taylor expansion of y in x
1.286 * [taylor]: Taking taylor expansion of (* x z) in x
1.286 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of z in x
1.287 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in z
1.287 * [taylor]: Taking taylor expansion of (/ y t) in z
1.287 * [taylor]: Taking taylor expansion of y in z
1.287 * [taylor]: Taking taylor expansion of t in z
1.287 * [taylor]: Taking taylor expansion of (/ y z) in z
1.287 * [taylor]: Taking taylor expansion of y in z
1.287 * [taylor]: Taking taylor expansion of z in z
1.287 * [taylor]: Taking taylor expansion of (neg y) in t
1.287 * [taylor]: Taking taylor expansion of y in t
1.287 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in z
1.287 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.287 * [taylor]: Taking taylor expansion of t in z
1.287 * [taylor]: Taking taylor expansion of (/ y t) in t
1.287 * [taylor]: Taking taylor expansion of y in t
1.287 * [taylor]: Taking taylor expansion of t in t
1.287 * [taylor]: Taking taylor expansion of y in y
1.288 * [taylor]: Taking taylor expansion of (neg y) in y
1.288 * [taylor]: Taking taylor expansion of y in y
1.288 * [taylor]: Taking taylor expansion of 0 in z
1.288 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.288 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.288 * [taylor]: Taking taylor expansion of t in t
1.288 * [taylor]: Taking taylor expansion of (neg 1) in y
1.288 * [taylor]: Taking taylor expansion of 1 in y
1.288 * [taylor]: Taking taylor expansion of 0 in t
1.288 * [taylor]: Taking taylor expansion of 0 in y
1.288 * [taylor]: Taking taylor expansion of 0 in y
1.289 * * * [progress]: simplifying candidates
1.290 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log x) (log (- z t))) (log y))
  (- (log (* x (- z t))) (log y))
  (log (/ (* x (- z t)) y))
  (exp (/ (* x (- z t)) y))
  (/ (* (* (* x x) x) (* (* (- z t) (- z t)) (- z t))) (* (* y y) y))
  (/ (* (* (* x (- z t)) (* x (- z t))) (* x (- z t))) (* (* y y) y))
  (* (cbrt (/ (* x (- z t)) y)) (cbrt (/ (* x (- z t)) y)))
  (cbrt (/ (* x (- z t)) y))
  (* (* (/ (* x (- z t)) y) (/ (* x (- z t)) y)) (/ (* x (- z t)) y))
  (sqrt (/ (* x (- z t)) y))
  (sqrt (/ (* x (- z t)) y))
  (neg (* x (- z t)))
  (neg y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ (- z t) (cbrt y))
  (/ x (sqrt y))
  (/ (- z t) (sqrt y))
  (/ x 1)
  (/ (- z t) y)
  (/ 1 y)
  (/ y (* x (- z t)))
  (/ (* x (- z t)) (* (cbrt y) (cbrt y)))
  (/ (* x (- z t)) (sqrt y))
  (/ (* x (- z t)) 1)
  (/ y (- z t))
  (* y (+ (* z z) (+ (* t t) (* z t))))
  (* y (+ z t))
  (* x (- z t))
  (+ (log x) (log (- z t)))
  (log (* x (- z t)))
  (exp (* x (- z t)))
  (* (* (* x x) x) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (* x (- z t))) (cbrt (* x (- z t))))
  (cbrt (* x (- z t)))
  (* (* (* x (- z t)) (* x (- z t))) (* x (- z t)))
  (sqrt (* x (- z t)))
  (sqrt (* x (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* x z)
  (* x (neg t))
  (* z x)
  (* (neg t) x)
  (* x (* (cbrt (- z t)) (cbrt (- z t))))
  (* x (sqrt (- z t)))
  (* x 1)
  (* x (+ (sqrt z) (sqrt t)))
  (* x 1)
  (* (cbrt x) (- z t))
  (* (sqrt x) (- z t))
  (* x (- z t))
  (* x (- (pow z 3) (pow t 3)))
  (* x (- (* z z) (* t t)))
  (* (exp (/ (* x (- z t)) y)) (exp t))
  (log (+ (/ (* x (- z t)) y) t))
  (exp (+ (/ (* x (- z t)) y) t))
  (* (cbrt (+ (/ (* x (- z t)) y) t)) (cbrt (+ (/ (* x (- z t)) y) t)))
  (cbrt (+ (/ (* x (- z t)) y) t))
  (* (* (+ (/ (* x (- z t)) y) t) (+ (/ (* x (- z t)) y) t)) (+ (/ (* x (- z t)) y) t))
  (sqrt (+ (/ (* x (- z t)) y) t))
  (sqrt (+ (/ (* x (- z t)) y) t))
  (+ (pow (/ (* x (- z t)) y) 3) (pow t 3))
  (+ (* (/ (* x (- z t)) y) (/ (* x (- z t)) y)) (- (* t t) (* (/ (* x (- z t)) y) t)))
  (- (* (/ (* x (- z t)) y) (/ (* x (- z t)) y)) (* t t))
  (- (/ (* x (- z t)) y) t)
  (+ (/ (* x (- z t)) y) t)
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (* x z) (* t x))
  (- (* x z) (* t x))
  (- (* x z) (* t x))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
1.321 * * [simplify]: iteration  0 :  5009  enodes  (cost  574 )
1.323 * [simplify]: Simplified to:
   (log (* (- z t) (/ x y)))
  (log (* (- z t) (/ x y)))
  (log (* (- z t) (/ x y)))
  (pow (exp (- z t)) (/ x y))
  (pow (* (- z t) (/ x y)) 3)
  (pow (* (- z t) (/ x y)) 3)
  (* (cbrt (* (- z t) (/ x y))) (cbrt (* (- z t) (/ x y))))
  (cbrt (* (- z t) (/ x y)))
  (pow (* (- z t) (/ x y)) 3)
  (sqrt (* (- z t) (/ x y)))
  (sqrt (* (- z t) (/ x y)))
  (* x (- t z))
  (neg y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ (- z t) (cbrt y))
  (/ x (sqrt y))
  (/ (- z t) (sqrt y))
  x
  (/ (- z t) y)
  (/ 1 y)
  (/ y (* x (- z t)))
  (* (- z t) (/ x (* (cbrt y) (cbrt y))))
  (* (- z t) (/ x (sqrt y)))
  (* x (- z t))
  (/ y (- z t))
  (* y (+ (* z z) (* t (+ z t))))
  (* y (+ z t))
  (* x (- z t))
  (log (* x (- z t)))
  (log (* x (- z t)))
  (pow (exp x) (- z t))
  (pow (* x (- z t)) 3)
  (* (cbrt (* x (- z t))) (cbrt (* x (- z t))))
  (cbrt (* x (- z t)))
  (pow (* x (- z t)) 3)
  (sqrt (* x (- z t)))
  (sqrt (* x (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* x z)
  (* x (neg t))
  (* x z)
  (* x (neg t))
  (* x (* (cbrt (- z t)) (cbrt (- z t))))
  (* x (sqrt (- z t)))
  x
  (* x (+ (sqrt z) (sqrt t)))
  x
  (* (- z t) (cbrt x))
  (* (- z t) (sqrt x))
  (* x (- z t))
  (* x (- (pow z 3) (pow t 3)))
  (* x (- (* z z) (* t t)))
  (exp (+ t (* (- z t) (/ x y))))
  (log (+ t (* (- z t) (/ x y))))
  (exp (+ t (* (- z t) (/ x y))))
  (* (cbrt (+ t (* (- z t) (/ x y)))) (cbrt (+ t (* (- z t) (/ x y)))))
  (cbrt (+ t (* (- z t) (/ x y))))
  (pow (+ t (* (- z t) (/ x y))) 3)
  (sqrt (+ t (* (- z t) (/ x y))))
  (sqrt (+ t (* (- z t) (/ x y))))
  (+ (pow (* (- z t) (/ x y)) 3) (pow t 3))
  (+ (* t t) (* (* (- z t) (/ x y)) (- (* (- z t) (/ x y)) t)))
  (- (* (* (- z t) (/ x y)) (* (- z t) (/ x y))) (* t t))
  (- (* (- z t) (/ x y)) t)
  (+ t (* (- z t) (/ x y)))
  (* (- z t) (/ x y))
  (* (- z t) (/ x y))
  (* (- z t) (/ x y))
  (* x (- z t))
  (* x (- z t))
  (* x (- z t))
  (+ t (* (- z t) (/ x y)))
  (+ t (* (- z t) (/ x y)))
  (+ t (* (- z t) (/ x y)))
1.324 * * * [progress]: adding candidates to table
1.385 * * [progress]: iteration 4 / 4
1.386 * * * [progress]: picking best candidate
1.398 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))>
1.399 * * * [progress]: localizing error
1.410 * * * [progress]: generating rewritten candidates
1.410 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.426 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.433 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.455 * * * [progress]: generating series expansions
1.455 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.455 * [approximate]: Taking taylor expansion of (/ y (* x (- z t))) in (y x z t) around 0
1.455 * [taylor]: Taking taylor expansion of (/ y (* x (- z t))) in t
1.455 * [taylor]: Taking taylor expansion of y in t
1.455 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
1.455 * [taylor]: Taking taylor expansion of x in t
1.455 * [taylor]: Taking taylor expansion of (- z t) in t
1.455 * [taylor]: Taking taylor expansion of z in t
1.455 * [taylor]: Taking taylor expansion of t in t
1.455 * [taylor]: Taking taylor expansion of (/ y (* x (- z t))) in z
1.455 * [taylor]: Taking taylor expansion of y in z
1.455 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
1.455 * [taylor]: Taking taylor expansion of x in z
1.456 * [taylor]: Taking taylor expansion of (- z t) in z
1.456 * [taylor]: Taking taylor expansion of z in z
1.456 * [taylor]: Taking taylor expansion of t in z
1.456 * [taylor]: Taking taylor expansion of (/ y (* x (- z t))) in x
1.456 * [taylor]: Taking taylor expansion of y in x
1.456 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.456 * [taylor]: Taking taylor expansion of x in x
1.456 * [taylor]: Taking taylor expansion of (- z t) in x
1.456 * [taylor]: Taking taylor expansion of z in x
1.456 * [taylor]: Taking taylor expansion of t in x
1.456 * [taylor]: Taking taylor expansion of (/ y (* x (- z t))) in y
1.456 * [taylor]: Taking taylor expansion of y in y
1.456 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
1.456 * [taylor]: Taking taylor expansion of x in y
1.456 * [taylor]: Taking taylor expansion of (- z t) in y
1.456 * [taylor]: Taking taylor expansion of z in y
1.456 * [taylor]: Taking taylor expansion of t in y
1.456 * [taylor]: Taking taylor expansion of (/ y (* x (- z t))) in y
1.456 * [taylor]: Taking taylor expansion of y in y
1.456 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
1.456 * [taylor]: Taking taylor expansion of x in y
1.456 * [taylor]: Taking taylor expansion of (- z t) in y
1.456 * [taylor]: Taking taylor expansion of z in y
1.456 * [taylor]: Taking taylor expansion of t in y
1.456 * [taylor]: Taking taylor expansion of (/ 1 (* x (- z t))) in x
1.456 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.456 * [taylor]: Taking taylor expansion of x in x
1.456 * [taylor]: Taking taylor expansion of (- z t) in x
1.456 * [taylor]: Taking taylor expansion of z in x
1.456 * [taylor]: Taking taylor expansion of t in x
1.457 * [taylor]: Taking taylor expansion of (/ 1 (- z t)) in z
1.457 * [taylor]: Taking taylor expansion of (- z t) in z
1.457 * [taylor]: Taking taylor expansion of z in z
1.457 * [taylor]: Taking taylor expansion of t in z
1.457 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.457 * [taylor]: Taking taylor expansion of -1 in t
1.457 * [taylor]: Taking taylor expansion of t in t
1.457 * [taylor]: Taking taylor expansion of 0 in x
1.457 * [taylor]: Taking taylor expansion of 0 in z
1.457 * [taylor]: Taking taylor expansion of 0 in t
1.457 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow t 2))) in t
1.457 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
1.457 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.457 * [taylor]: Taking taylor expansion of t in t
1.458 * [taylor]: Taking taylor expansion of 0 in x
1.458 * [taylor]: Taking taylor expansion of 0 in z
1.458 * [taylor]: Taking taylor expansion of 0 in t
1.458 * [taylor]: Taking taylor expansion of 0 in z
1.458 * [taylor]: Taking taylor expansion of 0 in t
1.458 * [approximate]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in (y x z t) around 0
1.458 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in t
1.458 * [taylor]: Taking taylor expansion of x in t
1.458 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
1.458 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.458 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.458 * [taylor]: Taking taylor expansion of z in t
1.458 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.458 * [taylor]: Taking taylor expansion of t in t
1.458 * [taylor]: Taking taylor expansion of y in t
1.459 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in z
1.459 * [taylor]: Taking taylor expansion of x in z
1.459 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
1.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.459 * [taylor]: Taking taylor expansion of z in z
1.459 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.459 * [taylor]: Taking taylor expansion of t in z
1.459 * [taylor]: Taking taylor expansion of y in z
1.459 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in x
1.459 * [taylor]: Taking taylor expansion of x in x
1.459 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.459 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.459 * [taylor]: Taking taylor expansion of z in x
1.459 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.459 * [taylor]: Taking taylor expansion of t in x
1.459 * [taylor]: Taking taylor expansion of y in x
1.459 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in y
1.459 * [taylor]: Taking taylor expansion of x in y
1.459 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.459 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.459 * [taylor]: Taking taylor expansion of z in y
1.459 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.459 * [taylor]: Taking taylor expansion of t in y
1.459 * [taylor]: Taking taylor expansion of y in y
1.460 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 z) (/ 1 t)) y)) in y
1.460 * [taylor]: Taking taylor expansion of x in y
1.460 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.460 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.460 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.460 * [taylor]: Taking taylor expansion of z in y
1.460 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.460 * [taylor]: Taking taylor expansion of t in y
1.460 * [taylor]: Taking taylor expansion of y in y
1.460 * [taylor]: Taking taylor expansion of (/ x (- (/ 1 z) (/ 1 t))) in x
1.460 * [taylor]: Taking taylor expansion of x in x
1.460 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.460 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.460 * [taylor]: Taking taylor expansion of z in x
1.460 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.460 * [taylor]: Taking taylor expansion of t in x
1.461 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 t))) in z
1.461 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.461 * [taylor]: Taking taylor expansion of z in z
1.461 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.461 * [taylor]: Taking taylor expansion of t in z
1.461 * [taylor]: Taking taylor expansion of 1 in t
1.461 * [taylor]: Taking taylor expansion of 0 in x
1.461 * [taylor]: Taking taylor expansion of 0 in z
1.461 * [taylor]: Taking taylor expansion of 0 in t
1.461 * [taylor]: Taking taylor expansion of 0 in z
1.461 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.462 * [taylor]: Taking taylor expansion of t in t
1.462 * [taylor]: Taking taylor expansion of 0 in x
1.462 * [taylor]: Taking taylor expansion of 0 in z
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [approximate]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in (y x z t) around 0
1.462 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in t
1.462 * [taylor]: Taking taylor expansion of x in t
1.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.463 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.463 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.463 * [taylor]: Taking taylor expansion of t in t
1.463 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.463 * [taylor]: Taking taylor expansion of z in t
1.463 * [taylor]: Taking taylor expansion of y in t
1.463 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in z
1.463 * [taylor]: Taking taylor expansion of x in z
1.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.463 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.463 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.463 * [taylor]: Taking taylor expansion of t in z
1.463 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.463 * [taylor]: Taking taylor expansion of z in z
1.463 * [taylor]: Taking taylor expansion of y in z
1.463 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in x
1.463 * [taylor]: Taking taylor expansion of x in x
1.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.463 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.463 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.463 * [taylor]: Taking taylor expansion of t in x
1.463 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.463 * [taylor]: Taking taylor expansion of z in x
1.463 * [taylor]: Taking taylor expansion of y in x
1.463 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in y
1.463 * [taylor]: Taking taylor expansion of x in y
1.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.463 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.463 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.463 * [taylor]: Taking taylor expansion of t in y
1.463 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.463 * [taylor]: Taking taylor expansion of z in y
1.463 * [taylor]: Taking taylor expansion of y in y
1.464 * [taylor]: Taking taylor expansion of (/ x (* (- (/ 1 t) (/ 1 z)) y)) in y
1.464 * [taylor]: Taking taylor expansion of x in y
1.464 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.464 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.464 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.464 * [taylor]: Taking taylor expansion of t in y
1.464 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.464 * [taylor]: Taking taylor expansion of z in y
1.464 * [taylor]: Taking taylor expansion of y in y
1.464 * [taylor]: Taking taylor expansion of (/ x (- (/ 1 t) (/ 1 z))) in x
1.464 * [taylor]: Taking taylor expansion of x in x
1.464 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.464 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.465 * [taylor]: Taking taylor expansion of t in x
1.465 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.465 * [taylor]: Taking taylor expansion of z in x
1.465 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in z
1.465 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.465 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.465 * [taylor]: Taking taylor expansion of t in z
1.465 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.465 * [taylor]: Taking taylor expansion of z in z
1.465 * [taylor]: Taking taylor expansion of -1 in t
1.465 * [taylor]: Taking taylor expansion of 0 in x
1.465 * [taylor]: Taking taylor expansion of 0 in z
1.465 * [taylor]: Taking taylor expansion of 0 in t
1.466 * [taylor]: Taking taylor expansion of 0 in z
1.466 * [taylor]: Taking taylor expansion of 0 in t
1.466 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.466 * [taylor]: Taking taylor expansion of t in t
1.466 * [taylor]: Taking taylor expansion of 0 in x
1.466 * [taylor]: Taking taylor expansion of 0 in z
1.466 * [taylor]: Taking taylor expansion of 0 in t
1.466 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.467 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (y x z t) around 0
1.467 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
1.467 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
1.467 * [taylor]: Taking taylor expansion of x in t
1.467 * [taylor]: Taking taylor expansion of (- z t) in t
1.467 * [taylor]: Taking taylor expansion of z in t
1.467 * [taylor]: Taking taylor expansion of t in t
1.467 * [taylor]: Taking taylor expansion of y in t
1.467 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
1.467 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
1.467 * [taylor]: Taking taylor expansion of x in z
1.467 * [taylor]: Taking taylor expansion of (- z t) in z
1.467 * [taylor]: Taking taylor expansion of z in z
1.467 * [taylor]: Taking taylor expansion of t in z
1.467 * [taylor]: Taking taylor expansion of y in z
1.467 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
1.467 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.467 * [taylor]: Taking taylor expansion of x in x
1.467 * [taylor]: Taking taylor expansion of (- z t) in x
1.467 * [taylor]: Taking taylor expansion of z in x
1.467 * [taylor]: Taking taylor expansion of t in x
1.467 * [taylor]: Taking taylor expansion of y in x
1.467 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
1.467 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
1.467 * [taylor]: Taking taylor expansion of x in y
1.467 * [taylor]: Taking taylor expansion of (- z t) in y
1.467 * [taylor]: Taking taylor expansion of z in y
1.467 * [taylor]: Taking taylor expansion of t in y
1.467 * [taylor]: Taking taylor expansion of y in y
1.467 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
1.467 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
1.467 * [taylor]: Taking taylor expansion of x in y
1.467 * [taylor]: Taking taylor expansion of (- z t) in y
1.467 * [taylor]: Taking taylor expansion of z in y
1.467 * [taylor]: Taking taylor expansion of t in y
1.468 * [taylor]: Taking taylor expansion of y in y
1.468 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.468 * [taylor]: Taking taylor expansion of x in x
1.468 * [taylor]: Taking taylor expansion of (- z t) in x
1.468 * [taylor]: Taking taylor expansion of z in x
1.468 * [taylor]: Taking taylor expansion of t in x
1.468 * [taylor]: Taking taylor expansion of (- z t) in z
1.468 * [taylor]: Taking taylor expansion of z in z
1.468 * [taylor]: Taking taylor expansion of t in z
1.468 * [taylor]: Taking taylor expansion of (neg t) in t
1.468 * [taylor]: Taking taylor expansion of t in t
1.468 * [taylor]: Taking taylor expansion of 0 in x
1.468 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 1 in t
1.468 * [taylor]: Taking taylor expansion of 0 in x
1.468 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in (y x z t) around 0
1.469 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in t
1.469 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in t
1.469 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.469 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.469 * [taylor]: Taking taylor expansion of z in t
1.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.469 * [taylor]: Taking taylor expansion of t in t
1.469 * [taylor]: Taking taylor expansion of y in t
1.469 * [taylor]: Taking taylor expansion of x in t
1.469 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in z
1.469 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in z
1.469 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.469 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.469 * [taylor]: Taking taylor expansion of z in z
1.469 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.469 * [taylor]: Taking taylor expansion of t in z
1.469 * [taylor]: Taking taylor expansion of y in z
1.470 * [taylor]: Taking taylor expansion of x in z
1.470 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in x
1.470 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in x
1.470 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.470 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.470 * [taylor]: Taking taylor expansion of z in x
1.470 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.470 * [taylor]: Taking taylor expansion of t in x
1.470 * [taylor]: Taking taylor expansion of y in x
1.470 * [taylor]: Taking taylor expansion of x in x
1.470 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
1.470 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.470 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.470 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.470 * [taylor]: Taking taylor expansion of z in y
1.470 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.470 * [taylor]: Taking taylor expansion of t in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.470 * [taylor]: Taking taylor expansion of x in y
1.470 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 t)) y) x) in y
1.470 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
1.471 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.471 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.471 * [taylor]: Taking taylor expansion of z in y
1.471 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.471 * [taylor]: Taking taylor expansion of t in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.471 * [taylor]: Taking taylor expansion of x in y
1.471 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.471 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.471 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.471 * [taylor]: Taking taylor expansion of z in x
1.471 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.471 * [taylor]: Taking taylor expansion of t in x
1.471 * [taylor]: Taking taylor expansion of x in x
1.472 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.472 * [taylor]: Taking taylor expansion of z in z
1.472 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.472 * [taylor]: Taking taylor expansion of t in z
1.472 * [taylor]: Taking taylor expansion of 1 in t
1.472 * [taylor]: Taking taylor expansion of 0 in x
1.472 * [taylor]: Taking taylor expansion of 0 in z
1.472 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.472 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.472 * [taylor]: Taking taylor expansion of t in t
1.473 * [taylor]: Taking taylor expansion of 0 in x
1.473 * [taylor]: Taking taylor expansion of 0 in z
1.473 * [taylor]: Taking taylor expansion of 0 in z
1.473 * [taylor]: Taking taylor expansion of 0 in t
1.473 * [taylor]: Taking taylor expansion of 0 in t
1.474 * [taylor]: Taking taylor expansion of 0 in x
1.474 * [taylor]: Taking taylor expansion of 0 in z
1.474 * [taylor]: Taking taylor expansion of 0 in z
1.474 * [taylor]: Taking taylor expansion of 0 in z
1.474 * [taylor]: Taking taylor expansion of 0 in t
1.474 * [taylor]: Taking taylor expansion of 0 in t
1.474 * [taylor]: Taking taylor expansion of 0 in t
1.474 * [taylor]: Taking taylor expansion of 0 in t
1.475 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (y x z t) around 0
1.475 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
1.475 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
1.475 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.475 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.475 * [taylor]: Taking taylor expansion of t in t
1.475 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.475 * [taylor]: Taking taylor expansion of z in t
1.475 * [taylor]: Taking taylor expansion of y in t
1.475 * [taylor]: Taking taylor expansion of x in t
1.475 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
1.475 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
1.475 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.475 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.475 * [taylor]: Taking taylor expansion of t in z
1.475 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.475 * [taylor]: Taking taylor expansion of z in z
1.475 * [taylor]: Taking taylor expansion of y in z
1.475 * [taylor]: Taking taylor expansion of x in z
1.475 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
1.475 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
1.475 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.475 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.475 * [taylor]: Taking taylor expansion of t in x
1.475 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.475 * [taylor]: Taking taylor expansion of z in x
1.475 * [taylor]: Taking taylor expansion of y in x
1.475 * [taylor]: Taking taylor expansion of x in x
1.476 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.476 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.476 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.476 * [taylor]: Taking taylor expansion of t in y
1.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.476 * [taylor]: Taking taylor expansion of z in y
1.476 * [taylor]: Taking taylor expansion of y in y
1.476 * [taylor]: Taking taylor expansion of x in y
1.476 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
1.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
1.476 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.476 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.476 * [taylor]: Taking taylor expansion of t in y
1.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.476 * [taylor]: Taking taylor expansion of z in y
1.476 * [taylor]: Taking taylor expansion of y in y
1.476 * [taylor]: Taking taylor expansion of x in y
1.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.477 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.477 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.477 * [taylor]: Taking taylor expansion of t in x
1.477 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.477 * [taylor]: Taking taylor expansion of z in x
1.477 * [taylor]: Taking taylor expansion of x in x
1.477 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.477 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.477 * [taylor]: Taking taylor expansion of t in z
1.477 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.477 * [taylor]: Taking taylor expansion of z in z
1.477 * [taylor]: Taking taylor expansion of (neg 1) in t
1.477 * [taylor]: Taking taylor expansion of 1 in t
1.478 * [taylor]: Taking taylor expansion of 0 in x
1.478 * [taylor]: Taking taylor expansion of 0 in z
1.478 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.478 * [taylor]: Taking taylor expansion of t in t
1.478 * [taylor]: Taking taylor expansion of 0 in x
1.478 * [taylor]: Taking taylor expansion of 0 in z
1.479 * [taylor]: Taking taylor expansion of 0 in z
1.479 * [taylor]: Taking taylor expansion of 0 in t
1.479 * [taylor]: Taking taylor expansion of 0 in t
1.479 * [taylor]: Taking taylor expansion of 0 in x
1.479 * [taylor]: Taking taylor expansion of 0 in z
1.479 * [taylor]: Taking taylor expansion of 0 in z
1.480 * [taylor]: Taking taylor expansion of 0 in z
1.480 * [taylor]: Taking taylor expansion of 0 in t
1.480 * [taylor]: Taking taylor expansion of 0 in t
1.480 * [taylor]: Taking taylor expansion of 0 in t
1.480 * [taylor]: Taking taylor expansion of 0 in t
1.480 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.480 * [approximate]: Taking taylor expansion of (* x (- z t)) in (x z t) around 0
1.480 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
1.480 * [taylor]: Taking taylor expansion of x in t
1.480 * [taylor]: Taking taylor expansion of (- z t) in t
1.480 * [taylor]: Taking taylor expansion of z in t
1.480 * [taylor]: Taking taylor expansion of t in t
1.480 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
1.480 * [taylor]: Taking taylor expansion of x in z
1.480 * [taylor]: Taking taylor expansion of (- z t) in z
1.480 * [taylor]: Taking taylor expansion of z in z
1.480 * [taylor]: Taking taylor expansion of t in z
1.480 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.480 * [taylor]: Taking taylor expansion of x in x
1.481 * [taylor]: Taking taylor expansion of (- z t) in x
1.481 * [taylor]: Taking taylor expansion of z in x
1.481 * [taylor]: Taking taylor expansion of t in x
1.481 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
1.481 * [taylor]: Taking taylor expansion of x in x
1.481 * [taylor]: Taking taylor expansion of (- z t) in x
1.481 * [taylor]: Taking taylor expansion of z in x
1.481 * [taylor]: Taking taylor expansion of t in x
1.481 * [taylor]: Taking taylor expansion of 0 in z
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of (- z t) in z
1.481 * [taylor]: Taking taylor expansion of z in z
1.481 * [taylor]: Taking taylor expansion of t in z
1.481 * [taylor]: Taking taylor expansion of (neg t) in t
1.481 * [taylor]: Taking taylor expansion of t in t
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in z
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 1 in t
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in z
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.482 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in (x z t) around 0
1.482 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in t
1.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.482 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.482 * [taylor]: Taking taylor expansion of z in t
1.482 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.482 * [taylor]: Taking taylor expansion of t in t
1.482 * [taylor]: Taking taylor expansion of x in t
1.482 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in z
1.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.482 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.482 * [taylor]: Taking taylor expansion of z in z
1.482 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.482 * [taylor]: Taking taylor expansion of t in z
1.482 * [taylor]: Taking taylor expansion of x in z
1.482 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.482 * [taylor]: Taking taylor expansion of z in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.482 * [taylor]: Taking taylor expansion of t in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) x) in x
1.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.482 * [taylor]: Taking taylor expansion of z in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.482 * [taylor]: Taking taylor expansion of t in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.483 * [taylor]: Taking taylor expansion of z in z
1.483 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.483 * [taylor]: Taking taylor expansion of t in z
1.483 * [taylor]: Taking taylor expansion of 1 in t
1.483 * [taylor]: Taking taylor expansion of 0 in z
1.483 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.483 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.483 * [taylor]: Taking taylor expansion of t in t
1.483 * [taylor]: Taking taylor expansion of 0 in z
1.483 * [taylor]: Taking taylor expansion of 0 in t
1.483 * [taylor]: Taking taylor expansion of 0 in t
1.484 * [taylor]: Taking taylor expansion of 0 in z
1.484 * [taylor]: Taking taylor expansion of 0 in t
1.484 * [taylor]: Taking taylor expansion of 0 in t
1.484 * [taylor]: Taking taylor expansion of 0 in t
1.484 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in (x z t) around 0
1.484 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in t
1.484 * [taylor]: Taking taylor expansion of -1 in t
1.484 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in t
1.484 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.484 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.485 * [taylor]: Taking taylor expansion of t in t
1.485 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.485 * [taylor]: Taking taylor expansion of z in t
1.485 * [taylor]: Taking taylor expansion of x in t
1.485 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in z
1.485 * [taylor]: Taking taylor expansion of -1 in z
1.485 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in z
1.485 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.485 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.485 * [taylor]: Taking taylor expansion of t in z
1.485 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.485 * [taylor]: Taking taylor expansion of z in z
1.485 * [taylor]: Taking taylor expansion of x in z
1.485 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
1.485 * [taylor]: Taking taylor expansion of -1 in x
1.485 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.485 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.485 * [taylor]: Taking taylor expansion of t in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.485 * [taylor]: Taking taylor expansion of z in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.485 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) x)) in x
1.485 * [taylor]: Taking taylor expansion of -1 in x
1.485 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) x) in x
1.485 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.485 * [taylor]: Taking taylor expansion of t in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.485 * [taylor]: Taking taylor expansion of z in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.486 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z
1.486 * [taylor]: Taking taylor expansion of -1 in z
1.486 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.486 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.486 * [taylor]: Taking taylor expansion of t in z
1.486 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.486 * [taylor]: Taking taylor expansion of z in z
1.486 * [taylor]: Taking taylor expansion of 1 in t
1.486 * [taylor]: Taking taylor expansion of 0 in z
1.486 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.486 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.486 * [taylor]: Taking taylor expansion of t in t
1.487 * [taylor]: Taking taylor expansion of 0 in z
1.487 * [taylor]: Taking taylor expansion of 0 in t
1.487 * [taylor]: Taking taylor expansion of 0 in t
1.487 * [taylor]: Taking taylor expansion of 0 in z
1.487 * [taylor]: Taking taylor expansion of 0 in t
1.487 * [taylor]: Taking taylor expansion of 0 in t
1.487 * [taylor]: Taking taylor expansion of 0 in t
1.488 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.488 * [approximate]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in (y x z t) around 0
1.488 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in t
1.488 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in t
1.488 * [taylor]: Taking taylor expansion of t in t
1.488 * [taylor]: Taking taylor expansion of (/ (* x z) y) in t
1.488 * [taylor]: Taking taylor expansion of (* x z) in t
1.488 * [taylor]: Taking taylor expansion of x in t
1.488 * [taylor]: Taking taylor expansion of z in t
1.488 * [taylor]: Taking taylor expansion of y in t
1.488 * [taylor]: Taking taylor expansion of (/ (* t x) y) in t
1.488 * [taylor]: Taking taylor expansion of (* t x) in t
1.488 * [taylor]: Taking taylor expansion of t in t
1.488 * [taylor]: Taking taylor expansion of x in t
1.488 * [taylor]: Taking taylor expansion of y in t
1.488 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in z
1.488 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in z
1.488 * [taylor]: Taking taylor expansion of t in z
1.488 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z
1.488 * [taylor]: Taking taylor expansion of (* x z) in z
1.488 * [taylor]: Taking taylor expansion of x in z
1.488 * [taylor]: Taking taylor expansion of z in z
1.488 * [taylor]: Taking taylor expansion of y in z
1.488 * [taylor]: Taking taylor expansion of (/ (* t x) y) in z
1.488 * [taylor]: Taking taylor expansion of (* t x) in z
1.488 * [taylor]: Taking taylor expansion of t in z
1.488 * [taylor]: Taking taylor expansion of x in z
1.488 * [taylor]: Taking taylor expansion of y in z
1.489 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x
1.489 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x
1.489 * [taylor]: Taking taylor expansion of t in x
1.489 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
1.489 * [taylor]: Taking taylor expansion of (* x z) in x
1.489 * [taylor]: Taking taylor expansion of x in x
1.489 * [taylor]: Taking taylor expansion of z in x
1.489 * [taylor]: Taking taylor expansion of y in x
1.489 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
1.489 * [taylor]: Taking taylor expansion of (* t x) in x
1.489 * [taylor]: Taking taylor expansion of t in x
1.489 * [taylor]: Taking taylor expansion of x in x
1.489 * [taylor]: Taking taylor expansion of y in x
1.489 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in y
1.489 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in y
1.489 * [taylor]: Taking taylor expansion of t in y
1.489 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y
1.489 * [taylor]: Taking taylor expansion of (* x z) in y
1.489 * [taylor]: Taking taylor expansion of x in y
1.489 * [taylor]: Taking taylor expansion of z in y
1.489 * [taylor]: Taking taylor expansion of y in y
1.489 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y
1.489 * [taylor]: Taking taylor expansion of (* t x) in y
1.489 * [taylor]: Taking taylor expansion of t in y
1.489 * [taylor]: Taking taylor expansion of x in y
1.489 * [taylor]: Taking taylor expansion of y in y
1.489 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in y
1.489 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in y
1.489 * [taylor]: Taking taylor expansion of t in y
1.489 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y
1.489 * [taylor]: Taking taylor expansion of (* x z) in y
1.489 * [taylor]: Taking taylor expansion of x in y
1.489 * [taylor]: Taking taylor expansion of z in y
1.489 * [taylor]: Taking taylor expansion of y in y
1.489 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y
1.489 * [taylor]: Taking taylor expansion of (* t x) in y
1.489 * [taylor]: Taking taylor expansion of t in y
1.489 * [taylor]: Taking taylor expansion of x in y
1.489 * [taylor]: Taking taylor expansion of y in y
1.490 * [taylor]: Taking taylor expansion of (- (* x z) (* t x)) in x
1.490 * [taylor]: Taking taylor expansion of (* x z) in x
1.490 * [taylor]: Taking taylor expansion of x in x
1.490 * [taylor]: Taking taylor expansion of z in x
1.490 * [taylor]: Taking taylor expansion of (* t x) in x
1.490 * [taylor]: Taking taylor expansion of t in x
1.490 * [taylor]: Taking taylor expansion of x in x
1.490 * [taylor]: Taking taylor expansion of 0 in z
1.490 * [taylor]: Taking taylor expansion of 0 in t
1.490 * [taylor]: Taking taylor expansion of t in x
1.490 * [taylor]: Taking taylor expansion of t in z
1.490 * [taylor]: Taking taylor expansion of t in t
1.490 * [taylor]: Taking taylor expansion of (- z t) in z
1.490 * [taylor]: Taking taylor expansion of z in z
1.490 * [taylor]: Taking taylor expansion of t in z
1.490 * [taylor]: Taking taylor expansion of (neg t) in t
1.490 * [taylor]: Taking taylor expansion of t in t
1.490 * [taylor]: Taking taylor expansion of 0 in t
1.491 * [taylor]: Taking taylor expansion of 0 in x
1.491 * [taylor]: Taking taylor expansion of 0 in z
1.491 * [taylor]: Taking taylor expansion of 0 in t
1.491 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in (y x z t) around 0
1.491 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in t
1.491 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
1.491 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.491 * [taylor]: Taking taylor expansion of t in t
1.491 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
1.491 * [taylor]: Taking taylor expansion of y in t
1.491 * [taylor]: Taking taylor expansion of (* x z) in t
1.491 * [taylor]: Taking taylor expansion of x in t
1.491 * [taylor]: Taking taylor expansion of z in t
1.491 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
1.491 * [taylor]: Taking taylor expansion of y in t
1.491 * [taylor]: Taking taylor expansion of (* t x) in t
1.491 * [taylor]: Taking taylor expansion of t in t
1.491 * [taylor]: Taking taylor expansion of x in t
1.491 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in z
1.491 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
1.491 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.491 * [taylor]: Taking taylor expansion of t in z
1.491 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.491 * [taylor]: Taking taylor expansion of y in z
1.491 * [taylor]: Taking taylor expansion of (* x z) in z
1.491 * [taylor]: Taking taylor expansion of x in z
1.492 * [taylor]: Taking taylor expansion of z in z
1.492 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
1.492 * [taylor]: Taking taylor expansion of y in z
1.492 * [taylor]: Taking taylor expansion of (* t x) in z
1.492 * [taylor]: Taking taylor expansion of t in z
1.492 * [taylor]: Taking taylor expansion of x in z
1.492 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x
1.492 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
1.492 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.492 * [taylor]: Taking taylor expansion of t in x
1.492 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.492 * [taylor]: Taking taylor expansion of y in x
1.492 * [taylor]: Taking taylor expansion of (* x z) in x
1.492 * [taylor]: Taking taylor expansion of x in x
1.492 * [taylor]: Taking taylor expansion of z in x
1.492 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.492 * [taylor]: Taking taylor expansion of y in x
1.492 * [taylor]: Taking taylor expansion of (* t x) in x
1.492 * [taylor]: Taking taylor expansion of t in x
1.492 * [taylor]: Taking taylor expansion of x in x
1.492 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in y
1.492 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
1.492 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.492 * [taylor]: Taking taylor expansion of t in y
1.492 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.492 * [taylor]: Taking taylor expansion of y in y
1.492 * [taylor]: Taking taylor expansion of (* x z) in y
1.492 * [taylor]: Taking taylor expansion of x in y
1.492 * [taylor]: Taking taylor expansion of z in y
1.492 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.492 * [taylor]: Taking taylor expansion of y in y
1.492 * [taylor]: Taking taylor expansion of (* t x) in y
1.492 * [taylor]: Taking taylor expansion of t in y
1.492 * [taylor]: Taking taylor expansion of x in y
1.496 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in y
1.496 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
1.496 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.496 * [taylor]: Taking taylor expansion of t in y
1.496 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.496 * [taylor]: Taking taylor expansion of y in y
1.496 * [taylor]: Taking taylor expansion of (* x z) in y
1.496 * [taylor]: Taking taylor expansion of x in y
1.496 * [taylor]: Taking taylor expansion of z in y
1.496 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.496 * [taylor]: Taking taylor expansion of y in y
1.496 * [taylor]: Taking taylor expansion of (* t x) in y
1.496 * [taylor]: Taking taylor expansion of t in y
1.496 * [taylor]: Taking taylor expansion of x in y
1.496 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.496 * [taylor]: Taking taylor expansion of t in x
1.496 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t x))) in x
1.496 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.496 * [taylor]: Taking taylor expansion of (* x z) in x
1.497 * [taylor]: Taking taylor expansion of x in x
1.497 * [taylor]: Taking taylor expansion of z in x
1.497 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
1.497 * [taylor]: Taking taylor expansion of (* t x) in x
1.497 * [taylor]: Taking taylor expansion of t in x
1.497 * [taylor]: Taking taylor expansion of x in x
1.497 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.497 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.497 * [taylor]: Taking taylor expansion of z in z
1.497 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.497 * [taylor]: Taking taylor expansion of t in z
1.497 * [taylor]: Taking taylor expansion of 1 in t
1.497 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.497 * [taylor]: Taking taylor expansion of t in z
1.497 * [taylor]: Taking taylor expansion of 0 in x
1.497 * [taylor]: Taking taylor expansion of 0 in z
1.498 * [taylor]: Taking taylor expansion of 0 in z
1.498 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.498 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.498 * [taylor]: Taking taylor expansion of t in t
1.498 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.498 * [taylor]: Taking taylor expansion of t in t
1.498 * [approximate]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in (y x z t) around 0
1.498 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in t
1.498 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
1.498 * [taylor]: Taking taylor expansion of y in t
1.499 * [taylor]: Taking taylor expansion of (* t x) in t
1.499 * [taylor]: Taking taylor expansion of t in t
1.499 * [taylor]: Taking taylor expansion of x in t
1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.499 * [taylor]: Taking taylor expansion of t in t
1.499 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
1.499 * [taylor]: Taking taylor expansion of y in t
1.499 * [taylor]: Taking taylor expansion of (* x z) in t
1.499 * [taylor]: Taking taylor expansion of x in t
1.499 * [taylor]: Taking taylor expansion of z in t
1.499 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in z
1.499 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
1.499 * [taylor]: Taking taylor expansion of y in z
1.499 * [taylor]: Taking taylor expansion of (* t x) in z
1.499 * [taylor]: Taking taylor expansion of t in z
1.499 * [taylor]: Taking taylor expansion of x in z
1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.499 * [taylor]: Taking taylor expansion of t in z
1.499 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
1.499 * [taylor]: Taking taylor expansion of y in z
1.499 * [taylor]: Taking taylor expansion of (* x z) in z
1.499 * [taylor]: Taking taylor expansion of x in z
1.499 * [taylor]: Taking taylor expansion of z in z
1.499 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x
1.499 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
1.499 * [taylor]: Taking taylor expansion of y in x
1.499 * [taylor]: Taking taylor expansion of (* t x) in x
1.499 * [taylor]: Taking taylor expansion of t in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.499 * [taylor]: Taking taylor expansion of t in x
1.499 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
1.499 * [taylor]: Taking taylor expansion of y in x
1.499 * [taylor]: Taking taylor expansion of (* x z) in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.499 * [taylor]: Taking taylor expansion of z in x
1.500 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in y
1.500 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.500 * [taylor]: Taking taylor expansion of y in y
1.500 * [taylor]: Taking taylor expansion of (* t x) in y
1.500 * [taylor]: Taking taylor expansion of t in y
1.500 * [taylor]: Taking taylor expansion of x in y
1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
1.500 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.500 * [taylor]: Taking taylor expansion of t in y
1.500 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.500 * [taylor]: Taking taylor expansion of y in y
1.500 * [taylor]: Taking taylor expansion of (* x z) in y
1.500 * [taylor]: Taking taylor expansion of x in y
1.500 * [taylor]: Taking taylor expansion of z in y
1.500 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in y
1.500 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
1.500 * [taylor]: Taking taylor expansion of y in y
1.500 * [taylor]: Taking taylor expansion of (* t x) in y
1.500 * [taylor]: Taking taylor expansion of t in y
1.500 * [taylor]: Taking taylor expansion of x in y
1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
1.500 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.500 * [taylor]: Taking taylor expansion of t in y
1.500 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
1.500 * [taylor]: Taking taylor expansion of y in y
1.500 * [taylor]: Taking taylor expansion of (* x z) in y
1.500 * [taylor]: Taking taylor expansion of x in y
1.500 * [taylor]: Taking taylor expansion of z in y
1.500 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in x
1.500 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.500 * [taylor]: Taking taylor expansion of t in x
1.501 * [taylor]: Taking taylor expansion of (- (/ 1 (* t x)) (/ 1 (* x z))) in x
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
1.501 * [taylor]: Taking taylor expansion of (* t x) in x
1.501 * [taylor]: Taking taylor expansion of t in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.501 * [taylor]: Taking taylor expansion of (* x z) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of z in x
1.501 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.501 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.501 * [taylor]: Taking taylor expansion of t in z
1.501 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.501 * [taylor]: Taking taylor expansion of z in z
1.501 * [taylor]: Taking taylor expansion of (neg 1) in t
1.501 * [taylor]: Taking taylor expansion of 1 in t
1.501 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in z
1.501 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.501 * [taylor]: Taking taylor expansion of t in z
1.502 * [taylor]: Taking taylor expansion of 0 in x
1.502 * [taylor]: Taking taylor expansion of 0 in z
1.502 * [taylor]: Taking taylor expansion of 0 in z
1.502 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.502 * [taylor]: Taking taylor expansion of t in t
1.502 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.502 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.502 * [taylor]: Taking taylor expansion of t in t
1.503 * * * [progress]: simplifying candidates
1.504 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log y) (+ (log x) (log (- z t))))
  (- (log y) (log (* x (- z t))))
  (log (/ y (* x (- z t))))
  (exp (/ y (* x (- z t))))
  (/ (* (* y y) y) (* (* (* x x) x) (* (* (- z t) (- z t)) (- z t))))
  (/ (* (* y y) y) (* (* (* x (- z t)) (* x (- z t))) (* x (- z t))))
  (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t)))))
  (cbrt (/ y (* x (- z t))))
  (* (* (/ y (* x (- z t))) (/ y (* x (- z t)))) (/ y (* x (- z t))))
  (sqrt (/ y (* x (- z t))))
  (sqrt (/ y (* x (- z t))))
  (neg y)
  (neg (* x (- z t)))
  (/ (* (cbrt y) (cbrt y)) x)
  (/ (cbrt y) (- z t))
  (/ (sqrt y) x)
  (/ (sqrt y) (- z t))
  (/ 1 x)
  (/ y (- z t))
  (/ 1 (* x (- z t)))
  (/ (* x (- z t)) y)
  (/ y x)
  (/ (* x (- z t)) (cbrt y))
  (/ (* x (- z t)) (sqrt y))
  (/ (* x (- z t)) y)
  (/ y (* x (- (pow z 3) (pow t 3))))
  (/ y (* x (- (* z z) (* t t))))
  (neg 1)
  (neg (- (log y) (+ (log x) (log (- z t)))))
  (neg (- (log y) (log (* x (- z t)))))
  (neg (log (/ y (* x (- z t)))))
  (- 0 (- (log y) (+ (log x) (log (- z t)))))
  (- 0 (- (log y) (log (* x (- z t)))))
  (- 0 (log (/ y (* x (- z t)))))
  (- (log 1) (- (log y) (+ (log x) (log (- z t)))))
  (- (log 1) (- (log y) (log (* x (- z t)))))
  (- (log 1) (log (/ y (* x (- z t)))))
  (log (/ 1 (/ y (* x (- z t)))))
  (exp (/ 1 (/ y (* x (- z t)))))
  (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (* x x) x) (* (* (- z t) (- z t)) (- z t)))))
  (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (* x (- z t)) (* x (- z t))) (* x (- z t)))))
  (/ (* (* 1 1) 1) (* (* (/ y (* x (- z t))) (/ y (* x (- z t)))) (/ y (* x (- z t)))))
  (* (cbrt (/ 1 (/ y (* x (- z t))))) (cbrt (/ 1 (/ y (* x (- z t))))))
  (cbrt (/ 1 (/ y (* x (- z t)))))
  (* (* (/ 1 (/ y (* x (- z t)))) (/ 1 (/ y (* x (- z t))))) (/ 1 (/ y (* x (- z t)))))
  (sqrt (/ 1 (/ y (* x (- z t)))))
  (sqrt (/ 1 (/ y (* x (- z t)))))
  (neg 1)
  (neg (/ y (* x (- z t))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t))))))
  (/ (cbrt 1) (cbrt (/ y (* x (- z t)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (* x (- z t)))))
  (/ (cbrt 1) (sqrt (/ y (* x (- z t)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) x))
  (/ (cbrt 1) (/ (cbrt y) (- z t)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) x))
  (/ (cbrt 1) (/ (sqrt y) (- z t)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 x))
  (/ (cbrt 1) (/ y (- z t)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ y (* x (- z t))))
  (/ (* (cbrt 1) (cbrt 1)) y)
  (/ (cbrt 1) (/ 1 (* x (- z t))))
  (/ (* (cbrt 1) (cbrt 1)) (/ y (* x (- (pow z 3) (pow t 3)))))
  (/ (cbrt 1) (+ (* z z) (+ (* t t) (* z t))))
  (/ (* (cbrt 1) (cbrt 1)) (/ y (* x (- (* z z) (* t t)))))
  (/ (cbrt 1) (+ z t))
  (/ (sqrt 1) (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t))))))
  (/ (sqrt 1) (cbrt (/ y (* x (- z t)))))
  (/ (sqrt 1) (sqrt (/ y (* x (- z t)))))
  (/ (sqrt 1) (sqrt (/ y (* x (- z t)))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) x))
  (/ (sqrt 1) (/ (cbrt y) (- z t)))
  (/ (sqrt 1) (/ (sqrt y) x))
  (/ (sqrt 1) (/ (sqrt y) (- z t)))
  (/ (sqrt 1) (/ 1 x))
  (/ (sqrt 1) (/ y (- z t)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ y (* x (- z t))))
  (/ (sqrt 1) y)
  (/ (sqrt 1) (/ 1 (* x (- z t))))
  (/ (sqrt 1) (/ y (* x (- (pow z 3) (pow t 3)))))
  (/ (sqrt 1) (+ (* z z) (+ (* t t) (* z t))))
  (/ (sqrt 1) (/ y (* x (- (* z z) (* t t)))))
  (/ (sqrt 1) (+ z t))
  (/ 1 (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t))))))
  (/ 1 (cbrt (/ y (* x (- z t)))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) x))
  (/ 1 (/ (cbrt y) (- z t)))
  (/ 1 (/ (sqrt y) x))
  (/ 1 (/ (sqrt y) (- z t)))
  (/ 1 (/ 1 x))
  (/ 1 (/ y (- z t)))
  (/ 1 1)
  (/ 1 (/ y (* x (- z t))))
  (/ 1 y)
  (/ 1 (/ 1 (* x (- z t))))
  (/ 1 (/ y (* x (- (pow z 3) (pow t 3)))))
  (/ 1 (+ (* z z) (+ (* t t) (* z t))))
  (/ 1 (/ y (* x (- (* z z) (* t t)))))
  (/ 1 (+ z t))
  (/ 1 (/ y (* x (- z t))))
  (/ (/ y (* x (- z t))) 1)
  (/ 1 (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t))))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) x))
  (/ 1 (/ (sqrt y) x))
  (/ 1 (/ 1 x))
  (/ 1 1)
  (/ 1 y)
  (/ 1 (/ y (* x (- (pow z 3) (pow t 3)))))
  (/ 1 (/ y (* x (- (* z z) (* t t)))))
  (/ (/ y (* x (- z t))) (cbrt 1))
  (/ (/ y (* x (- z t))) (sqrt 1))
  (/ (/ y (* x (- z t))) 1)
  (/ 1 y)
  (* x (- z t))
  (+ (log x) (log (- z t)))
  (log (* x (- z t)))
  (exp (* x (- z t)))
  (* (* (* x x) x) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (* x (- z t))) (cbrt (* x (- z t))))
  (cbrt (* x (- z t)))
  (* (* (* x (- z t)) (* x (- z t))) (* x (- z t)))
  (sqrt (* x (- z t)))
  (sqrt (* x (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* x z)
  (* x (neg t))
  (* z x)
  (* (neg t) x)
  (* x (* (cbrt (- z t)) (cbrt (- z t))))
  (* x (sqrt (- z t)))
  (* x 1)
  (* x (+ (sqrt z) (sqrt t)))
  (* x 1)
  (* (cbrt x) (- z t))
  (* (sqrt x) (- z t))
  (* x (- z t))
  (* x (- (pow z 3) (pow t 3)))
  (* x (- (* z z) (* t t)))
  (* (exp (/ 1 (/ y (* x (- z t))))) (exp t))
  (log (+ (/ 1 (/ y (* x (- z t)))) t))
  (exp (+ (/ 1 (/ y (* x (- z t)))) t))
  (* (cbrt (+ (/ 1 (/ y (* x (- z t)))) t)) (cbrt (+ (/ 1 (/ y (* x (- z t)))) t)))
  (cbrt (+ (/ 1 (/ y (* x (- z t)))) t))
  (* (* (+ (/ 1 (/ y (* x (- z t)))) t) (+ (/ 1 (/ y (* x (- z t)))) t)) (+ (/ 1 (/ y (* x (- z t)))) t))
  (sqrt (+ (/ 1 (/ y (* x (- z t)))) t))
  (sqrt (+ (/ 1 (/ y (* x (- z t)))) t))
  (+ (pow (/ 1 (/ y (* x (- z t)))) 3) (pow t 3))
  (+ (* (/ 1 (/ y (* x (- z t)))) (/ 1 (/ y (* x (- z t))))) (- (* t t) (* (/ 1 (/ y (* x (- z t)))) t)))
  (- (* (/ 1 (/ y (* x (- z t)))) (/ 1 (/ y (* x (- z t))))) (* t t))
  (- (/ 1 (/ y (* x (- z t)))) t)
  (+ (/ 1 (/ y (* x (- z t)))) t)
  (+ (/ 1 (/ y (* x (- z t)))) t)
  0
  0
  0
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (* x z) (* t x))
  (- (* x z) (* t x))
  (- (* x z) (* t x))
  0
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
1.538 * * [simplify]: iteration  0 :  4985  enodes  (cost  1331 )
1.539 * * [simplify]: iteration  1 :  4985  enodes  (cost  1331 )
1.544 * [simplify]: Simplified to:
   (log (/ y (* x (- z t))))
  (log (/ y (* x (- z t))))
  (log (/ y (* x (- z t))))
  (exp (/ y (* x (- z t))))
  (pow (/ y (* x (- z t))) 3)
  (pow (/ y (* x (- z t))) 3)
  (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t)))))
  (cbrt (/ y (* x (- z t))))
  (pow (/ y (* x (- z t))) 3)
  (sqrt (/ y (* x (- z t))))
  (sqrt (/ y (* x (- z t))))
  (neg y)
  (* x (- t z))
  (* (cbrt y) (/ (cbrt y) x))
  (/ (cbrt y) (- z t))
  (/ (sqrt y) x)
  (/ (sqrt y) (- z t))
  (/ 1 x)
  (/ y (- z t))
  (/ 1 (* x (- z t)))
  (* (/ (- z t) y) x)
  (/ y x)
  (* (/ x (cbrt y)) (- z t))
  (* (/ x (sqrt y)) (- z t))
  (* (/ (- z t) y) x)
  (/ y (* x (- (pow z 3) (pow t 3))))
  (/ y (* x (- (* z z) (* t t))))
  -1
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (log (* (/ (- z t) y) x))
  (pow (exp (/ (- z t) y)) x)
  (pow (* (/ (- z t) y) x) 3)
  (pow (* (/ (- z t) y) x) 3)
  (pow (* (/ (- z t) y) x) 3)
  (* (cbrt (* (/ (- z t) y) x)) (cbrt (* (/ (- z t) y) x)))
  (cbrt (* (/ (- z t) y) x))
  (pow (* (/ (- z t) y) x) 3)
  (sqrt (* (/ (- z t) y) x))
  (sqrt (* (/ (- z t) y) x))
  -1
  (/ (neg y) (* x (- z t)))
  (* (/ (cbrt 1) (cbrt (/ y (* x (- z t))))) (/ (cbrt 1) (cbrt (/ y (* x (- z t))))))
  (/ (cbrt 1) (cbrt (/ y (* x (- z t)))))
  (* (/ (cbrt 1) (sqrt (/ y (* x (- z t))))) (cbrt 1))
  (/ (cbrt 1) (sqrt (/ y (* x (- z t)))))
  (* x (* (/ (cbrt 1) (cbrt y)) (/ (cbrt 1) (cbrt y))))
  (* (- z t) (/ (cbrt 1) (cbrt y)))
  (* x (* (/ (cbrt 1) (sqrt y)) (cbrt 1)))
  (* (- z t) (/ (cbrt 1) (sqrt y)))
  (* x (* (cbrt 1) (cbrt 1)))
  (* (- z t) (/ (cbrt 1) y))
  (* (cbrt 1) (cbrt 1))
  (* (* x (- z t)) (/ (cbrt 1) y))
  (* (/ (cbrt 1) y) (cbrt 1))
  (* (* x (- z t)) (cbrt 1))
  (* (* x (- (pow z 3) (pow t 3))) (* (/ (cbrt 1) y) (cbrt 1)))
  (/ (cbrt 1) (+ (* z z) (* t (+ z t))))
  (* (* x (- (* z z) (* t t))) (* (/ (cbrt 1) y) (cbrt 1)))
  (/ (cbrt 1) (+ z t))
  (/ 1 (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t))))))
  (/ 1 (cbrt (/ y (* x (- z t)))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ x (* (cbrt y) (cbrt y)))
  (/ (- z t) (cbrt y))
  (/ x (sqrt y))
  (/ (- z t) (sqrt y))
  x
  (/ (- z t) y)
  1
  (* (/ (- z t) y) x)
  (/ 1 y)
  (* x (- z t))
  (/ (* x (- (pow z 3) (pow t 3))) y)
  (/ 1 (+ (* z z) (* t (+ z t))))
  (/ (* x (- (* z z) (* t t))) y)
  (/ 1 (+ z t))
  (/ 1 (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t))))))
  (/ 1 (cbrt (/ y (* x (- z t)))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ x (* (cbrt y) (cbrt y)))
  (/ (- z t) (cbrt y))
  (/ x (sqrt y))
  (/ (- z t) (sqrt y))
  x
  (/ (- z t) y)
  1
  (* (/ (- z t) y) x)
  (/ 1 y)
  (* x (- z t))
  (/ (* x (- (pow z 3) (pow t 3))) y)
  (/ 1 (+ (* z z) (* t (+ z t))))
  (/ (* x (- (* z z) (* t t))) y)
  (/ 1 (+ z t))
  (* (/ (- z t) y) x)
  (/ y (* x (- z t)))
  (/ 1 (* (cbrt (/ y (* x (- z t)))) (cbrt (/ y (* x (- z t))))))
  (/ 1 (sqrt (/ y (* x (- z t)))))
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (sqrt y))
  x
  1
  (/ 1 y)
  (/ (* x (- (pow z 3) (pow t 3))) y)
  (/ (* x (- (* z z) (* t t))) y)
  (/ y (* (* x (- z t)) (cbrt 1)))
  (/ y (* x (- z t)))
  (/ y (* x (- z t)))
  (/ 1 y)
  (* x (- z t))
  (log (* x (- z t)))
  (log (* x (- z t)))
  (pow (exp x) (- z t))
  (pow (* x (- z t)) 3)
  (* (cbrt (* x (- z t))) (cbrt (* x (- z t))))
  (cbrt (* x (- z t)))
  (pow (* x (- z t)) 3)
  (sqrt (* x (- z t)))
  (sqrt (* x (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* (sqrt x) (sqrt (- z t)))
  (* x z)
  (* x (neg t))
  (* x z)
  (* x (neg t))
  (* x (* (cbrt (- z t)) (cbrt (- z t))))
  (* x (sqrt (- z t)))
  x
  (* x (+ (sqrt z) (sqrt t)))
  x
  (* (- z t) (cbrt x))
  (* (- z t) (sqrt x))
  (* x (- z t))
  (* x (- (pow z 3) (pow t 3)))
  (* x (- (* z z) (* t t)))
  (exp (+ t (* (/ (- z t) y) x)))
  (log (+ t (* (/ (- z t) y) x)))
  (exp (+ t (* (/ (- z t) y) x)))
  (* (cbrt (+ t (* (/ (- z t) y) x))) (cbrt (+ t (* (/ (- z t) y) x))))
  (cbrt (+ t (* (/ (- z t) y) x)))
  (pow (+ t (* (/ (- z t) y) x)) 3)
  (sqrt (+ t (* (/ (- z t) y) x)))
  (sqrt (+ t (* (/ (- z t) y) x)))
  (+ (pow t 3) (pow (* (/ (- z t) y) x) 3))
  (+ (* t t) (* (* (/ (- z t) y) x) (- (* (/ (- z t) y) x) t)))
  (- (* (* (/ (- z t) y) x) (* (/ (- z t) y) x)) (* t t))
  (- (* (/ (- z t) y) x) t)
  (+ t (* (/ (- z t) y) x))
  (+ t (* (/ (- z t) y) x))
  0
  0
  0
  (* (/ (- z t) y) x)
  (* (/ (- z t) y) x)
  (* (/ (- z t) y) x)
  (* x (- z t))
  (* x (- z t))
  (* x (- z t))
  0
  (+ t (* (/ (- z t) y) x))
  (+ t (* (/ (- z t) y) x))
1.545 * * * [progress]: adding candidates to table
1.652 * [progress]: [Phase 3 of 3] Extracting.
1.652 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
1.653 * * * [regime-changes]: Trying 5 branch expressions: ((/ x y) t z y x)
1.653 * * * * [regimes]: Trying to branch on (/ x y) from (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
1.716 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
1.778 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
1.840 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
1.903 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
1.977 * * * [regime]: Found split indices: #<option (#s(si 0 26) #s(si 4 171) #s(si 0 255))>
1.977 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
2.013 * [regimes]: Found splitpoints: (#s(sp 0 x -6.876263184564786e+71) #s(sp 4 x 1.0215699845099448e-138) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x y z t) (+ (/ x (/ y (- z t))) t))> #<alt (λ (x y z t) (+ (* (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t)))) t))> #<alt (λ (x y z t) (+ (* (sqrt (/ x y)) (* (- z t) (sqrt (/ x y)))) t))> #<alt (λ (x y z t) (+ (/ 1 (/ y (* x (- z t)))) t))> #<alt (λ (x y z t) (+ (/ (* x (- z t)) y) t))> #<alt (λ (x y z t) (+ t (* x (/ (- z t) y))))>)
2.013 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -6.876263184564786e+71) (+ (/ x (/ y (- z t))) t) (if (<= x 1.0215699845099448e-138) (+ (/ (* x (- z t)) y) t) (+ (/ x (/ y (- z t))) t)))
2.014 * * [simplify]: iteration  0 :  33  enodes  (cost  27 )
2.014 * * [simplify]: iteration  1 :  33  enodes  (cost  27 )
2.014 * [simplify]: Simplified to:
   (if (or (<= x -6.876263184564786e+71) (not (<= x 1.0215699845099448e-138))) (+ t (/ x (/ y (- z t)))) (+ t (/ (* x (- z t)) y)))
3.337 * [regime-testing]: End program error score: 1.969755521564791
3.446 * [regime-testing]: Target error score: 2.2835477392430485