9.408 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.502 * * * [progress]: [2/2] Setting up program.
0.508 * [progress]: [Phase 2 of 3] Improving.
0.508 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
0.672 * * [simplify]: iteration  0 :  5015  enodes  (cost  16 )
0.673 * [simplify]: Simplified to:
   (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
0.673 * * [progress]: iteration 1 / 4
0.673 * * * [progress]: picking best candidate
0.679 * * * * [pick]: Picked  #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>
0.679 * * * [progress]: localizing error
0.694 * * * [progress]: generating rewritten candidates
0.694 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.704 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.716 * * * [progress]: generating series expansions
0.716 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.716 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in (x y z t) around 0
0.716 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in t
0.716 * [taylor]: Taking taylor expansion of x in t
0.716 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in t
0.716 * [taylor]: Taking taylor expansion of (- y z) in t
0.716 * [taylor]: Taking taylor expansion of y in t
0.717 * [taylor]: Taking taylor expansion of z in t
0.717 * [taylor]: Taking taylor expansion of (- y t) in t
0.717 * [taylor]: Taking taylor expansion of y in t
0.717 * [taylor]: Taking taylor expansion of t in t
0.717 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in z
0.717 * [taylor]: Taking taylor expansion of x in z
0.717 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in z
0.717 * [taylor]: Taking taylor expansion of (- y z) in z
0.717 * [taylor]: Taking taylor expansion of y in z
0.717 * [taylor]: Taking taylor expansion of z in z
0.717 * [taylor]: Taking taylor expansion of (- y t) in z
0.717 * [taylor]: Taking taylor expansion of y in z
0.717 * [taylor]: Taking taylor expansion of t in z
0.718 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in y
0.718 * [taylor]: Taking taylor expansion of (- y z) in y
0.718 * [taylor]: Taking taylor expansion of y in y
0.718 * [taylor]: Taking taylor expansion of z in y
0.718 * [taylor]: Taking taylor expansion of (- y t) in y
0.718 * [taylor]: Taking taylor expansion of y in y
0.718 * [taylor]: Taking taylor expansion of t in y
0.719 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in x
0.719 * [taylor]: Taking taylor expansion of (- y z) in x
0.719 * [taylor]: Taking taylor expansion of y in x
0.719 * [taylor]: Taking taylor expansion of z in x
0.719 * [taylor]: Taking taylor expansion of (- y t) in x
0.719 * [taylor]: Taking taylor expansion of y in x
0.719 * [taylor]: Taking taylor expansion of t in x
0.720 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in x
0.720 * [taylor]: Taking taylor expansion of (- y z) in x
0.720 * [taylor]: Taking taylor expansion of y in x
0.720 * [taylor]: Taking taylor expansion of z in x
0.720 * [taylor]: Taking taylor expansion of (- y t) in x
0.720 * [taylor]: Taking taylor expansion of y in x
0.720 * [taylor]: Taking taylor expansion of t in x
0.721 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- y t))) in y
0.721 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in y
0.721 * [taylor]: Taking taylor expansion of (- y z) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of z in y
0.721 * [taylor]: Taking taylor expansion of (- y t) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of t in y
0.722 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.722 * [taylor]: Taking taylor expansion of (* t z) in z
0.723 * [taylor]: Taking taylor expansion of t in z
0.723 * [taylor]: Taking taylor expansion of z in z
0.723 * [taylor]: Taking taylor expansion of 0 in t
0.725 * [taylor]: Taking taylor expansion of 0 in y
0.725 * [taylor]: Taking taylor expansion of 0 in z
0.725 * [taylor]: Taking taylor expansion of 0 in t
0.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t (pow z 2))) (/ 1 (* (pow t 2) z))) in z
0.726 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.726 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.726 * [taylor]: Taking taylor expansion of t in z
0.726 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.726 * [taylor]: Taking taylor expansion of z in z
0.726 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in z
0.726 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in z
0.726 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.726 * [taylor]: Taking taylor expansion of t in z
0.726 * [taylor]: Taking taylor expansion of z in z
0.729 * [taylor]: Taking taylor expansion of 0 in t
0.730 * [taylor]: Taking taylor expansion of 0 in t
0.732 * [taylor]: Taking taylor expansion of 0 in y
0.732 * [taylor]: Taking taylor expansion of 0 in z
0.732 * [taylor]: Taking taylor expansion of 0 in t
0.733 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in (x y z t) around 0
0.733 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in t
0.733 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in t
0.733 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.733 * [taylor]: Taking taylor expansion of y in t
0.733 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.733 * [taylor]: Taking taylor expansion of z in t
0.733 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.733 * [taylor]: Taking taylor expansion of x in t
0.733 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.733 * [taylor]: Taking taylor expansion of y in t
0.733 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.733 * [taylor]: Taking taylor expansion of t in t
0.734 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in z
0.734 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in z
0.734 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.734 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.734 * [taylor]: Taking taylor expansion of y in z
0.734 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.734 * [taylor]: Taking taylor expansion of z in z
0.735 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.735 * [taylor]: Taking taylor expansion of x in z
0.735 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.735 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.735 * [taylor]: Taking taylor expansion of y in z
0.735 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.735 * [taylor]: Taking taylor expansion of t in z
0.736 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in y
0.736 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in y
0.736 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.736 * [taylor]: Taking taylor expansion of y in y
0.736 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.736 * [taylor]: Taking taylor expansion of z in y
0.736 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.736 * [taylor]: Taking taylor expansion of x in y
0.736 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.736 * [taylor]: Taking taylor expansion of y in y
0.736 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.736 * [taylor]: Taking taylor expansion of t in y
0.737 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in x
0.737 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in x
0.737 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.737 * [taylor]: Taking taylor expansion of y in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.737 * [taylor]: Taking taylor expansion of z in x
0.737 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.737 * [taylor]: Taking taylor expansion of y in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.737 * [taylor]: Taking taylor expansion of t in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in x
0.741 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in x
0.741 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.741 * [taylor]: Taking taylor expansion of y in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.741 * [taylor]: Taking taylor expansion of z in x
0.741 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.741 * [taylor]: Taking taylor expansion of y in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.741 * [taylor]: Taking taylor expansion of t in x
0.745 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y))))) in y
0.745 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y)))) in y
0.745 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (pow y 2))) in y
0.745 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.745 * [taylor]: Taking taylor expansion of (* t z) in y
0.745 * [taylor]: Taking taylor expansion of t in y
0.745 * [taylor]: Taking taylor expansion of z in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.746 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.746 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t y))) in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.746 * [taylor]: Taking taylor expansion of (* z y) in y
0.746 * [taylor]: Taking taylor expansion of z in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.746 * [taylor]: Taking taylor expansion of (* t y) in y
0.746 * [taylor]: Taking taylor expansion of t in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of 1 in z
0.747 * [taylor]: Taking taylor expansion of 0 in t
0.751 * [taylor]: Taking taylor expansion of 0 in y
0.751 * [taylor]: Taking taylor expansion of 0 in z
0.751 * [taylor]: Taking taylor expansion of 0 in t
0.753 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
0.753 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.753 * [taylor]: Taking taylor expansion of z in z
0.753 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.753 * [taylor]: Taking taylor expansion of t in z
0.753 * [taylor]: Taking taylor expansion of 0 in t
0.754 * [taylor]: Taking taylor expansion of 0 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 t
0.760 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in (x y z t) around 0
0.760 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in t
0.760 * [taylor]: Taking taylor expansion of -1 in t
0.760 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in t
0.760 * [taylor]: Taking taylor expansion of x in t
0.760 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in t
0.760 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.760 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.760 * [taylor]: Taking taylor expansion of z in t
0.760 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.760 * [taylor]: Taking taylor expansion of y in t
0.760 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.760 * [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 y) in t
0.761 * [taylor]: Taking taylor expansion of y in t
0.762 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in z
0.762 * [taylor]: Taking taylor expansion of -1 in z
0.762 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in z
0.762 * [taylor]: Taking taylor expansion of x in z
0.762 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in z
0.762 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.762 * [taylor]: Taking taylor expansion of z in z
0.762 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.762 * [taylor]: Taking taylor expansion of y in z
0.762 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.762 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.762 * [taylor]: Taking taylor expansion of t in z
0.762 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.762 * [taylor]: Taking taylor expansion of y in z
0.763 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in y
0.763 * [taylor]: Taking taylor expansion of -1 in y
0.763 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in y
0.763 * [taylor]: Taking taylor expansion of x in y
0.763 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in y
0.763 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.763 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.763 * [taylor]: Taking taylor expansion of z in y
0.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.764 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.764 * [taylor]: Taking taylor expansion of t in y
0.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in x
0.764 * [taylor]: Taking taylor expansion of -1 in x
0.764 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in x
0.764 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.764 * [taylor]: Taking taylor expansion of z in x
0.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.764 * [taylor]: Taking taylor expansion of y in x
0.764 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.764 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.765 * [taylor]: Taking taylor expansion of t in x
0.765 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.765 * [taylor]: Taking taylor expansion of y in x
0.769 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in x
0.769 * [taylor]: Taking taylor expansion of -1 in x
0.769 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in x
0.769 * [taylor]: Taking taylor expansion of x in x
0.769 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in x
0.769 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.769 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.769 * [taylor]: Taking taylor expansion of z in x
0.769 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.769 * [taylor]: Taking taylor expansion of y in x
0.769 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.769 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.769 * [taylor]: Taking taylor expansion of t in x
0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.770 * [taylor]: Taking taylor expansion of y in x
0.774 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y))))) in y
0.774 * [taylor]: Taking taylor expansion of -1 in y
0.774 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y)))) in y
0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (pow y 2))) in y
0.775 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.775 * [taylor]: Taking taylor expansion of (* t z) in y
0.775 * [taylor]: Taking taylor expansion of t in y
0.775 * [taylor]: Taking taylor expansion of z in y
0.775 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.775 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t y))) in y
0.775 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.775 * [taylor]: Taking taylor expansion of (* z y) in y
0.775 * [taylor]: Taking taylor expansion of z in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.775 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.775 * [taylor]: Taking taylor expansion of (* t y) in y
0.775 * [taylor]: Taking taylor expansion of t in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.776 * [taylor]: Taking taylor expansion of -1 in z
0.776 * [taylor]: Taking taylor expansion of 0 in t
0.782 * [taylor]: Taking taylor expansion of 0 in y
0.782 * [taylor]: Taking taylor expansion of 0 in z
0.782 * [taylor]: Taking taylor expansion of 0 in t
0.783 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 t))) in z
0.783 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
0.783 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.783 * [taylor]: Taking taylor expansion of z in z
0.783 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.784 * [taylor]: Taking taylor expansion of t in z
0.784 * [taylor]: Taking taylor expansion of 0 in t
0.784 * [taylor]: Taking taylor expansion of 0 in t
0.791 * [taylor]: Taking taylor expansion of 0 in y
0.791 * [taylor]: Taking taylor expansion of 0 in z
0.791 * [taylor]: Taking taylor expansion of 0 in t
0.791 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.792 * [approximate]: Taking taylor expansion of (* (- y z) (- y t)) in (y z t) around 0
0.792 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in t
0.792 * [taylor]: Taking taylor expansion of (- y z) in t
0.792 * [taylor]: Taking taylor expansion of y in t
0.792 * [taylor]: Taking taylor expansion of z in t
0.792 * [taylor]: Taking taylor expansion of (- y t) in t
0.792 * [taylor]: Taking taylor expansion of y in t
0.792 * [taylor]: Taking taylor expansion of t in t
0.792 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in z
0.792 * [taylor]: Taking taylor expansion of (- y z) in z
0.792 * [taylor]: Taking taylor expansion of y in z
0.792 * [taylor]: Taking taylor expansion of z in z
0.792 * [taylor]: Taking taylor expansion of (- y t) in z
0.792 * [taylor]: Taking taylor expansion of y in z
0.792 * [taylor]: Taking taylor expansion of t in z
0.792 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in y
0.792 * [taylor]: Taking taylor expansion of (- y z) in y
0.792 * [taylor]: Taking taylor expansion of y in y
0.792 * [taylor]: Taking taylor expansion of z in y
0.792 * [taylor]: Taking taylor expansion of (- y t) in y
0.792 * [taylor]: Taking taylor expansion of y in y
0.792 * [taylor]: Taking taylor expansion of t in y
0.792 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in y
0.792 * [taylor]: Taking taylor expansion of (- y z) in y
0.792 * [taylor]: Taking taylor expansion of y in y
0.792 * [taylor]: Taking taylor expansion of z in y
0.792 * [taylor]: Taking taylor expansion of (- y t) in y
0.792 * [taylor]: Taking taylor expansion of y in y
0.792 * [taylor]: Taking taylor expansion of t in y
0.793 * [taylor]: Taking taylor expansion of (* t z) in z
0.793 * [taylor]: Taking taylor expansion of t in z
0.793 * [taylor]: Taking taylor expansion of z in z
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of (neg (+ t z)) in z
0.793 * [taylor]: Taking taylor expansion of (+ t z) in z
0.793 * [taylor]: Taking taylor expansion of t in z
0.793 * [taylor]: Taking taylor expansion of z in z
0.793 * [taylor]: Taking taylor expansion of (neg t) in t
0.793 * [taylor]: Taking taylor expansion of t in t
0.794 * [taylor]: Taking taylor expansion of t in t
0.794 * [taylor]: Taking taylor expansion of 1 in z
0.794 * [taylor]: Taking taylor expansion of 1 in t
0.795 * [taylor]: Taking taylor expansion of -1 in t
0.795 * [taylor]: Taking taylor expansion of 0 in t
0.796 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in (y z t) around 0
0.796 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in t
0.796 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.796 * [taylor]: Taking taylor expansion of y in t
0.796 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.796 * [taylor]: Taking taylor expansion of z in t
0.796 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.797 * [taylor]: Taking taylor expansion of y in t
0.797 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.797 * [taylor]: Taking taylor expansion of t in t
0.797 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in z
0.797 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.797 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.797 * [taylor]: Taking taylor expansion of y in z
0.797 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.797 * [taylor]: Taking taylor expansion of z in z
0.797 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.797 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.797 * [taylor]: Taking taylor expansion of y in z
0.797 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.797 * [taylor]: Taking taylor expansion of t in z
0.797 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in y
0.797 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.797 * [taylor]: Taking taylor expansion of y in y
0.797 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.797 * [taylor]: Taking taylor expansion of z in y
0.797 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.797 * [taylor]: Taking taylor expansion of y in y
0.797 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.797 * [taylor]: Taking taylor expansion of t in y
0.797 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in y
0.798 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.798 * [taylor]: Taking taylor expansion of z in y
0.798 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.798 * [taylor]: Taking taylor expansion of t in y
0.798 * [taylor]: Taking taylor expansion of 1 in z
0.799 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 t))) in z
0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
0.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.799 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.800 * [taylor]: Taking taylor expansion of t in z
0.800 * [taylor]: Taking taylor expansion of -1 in t
0.800 * [taylor]: Taking taylor expansion of 1 in t
0.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.802 * [taylor]: Taking taylor expansion of (* t z) in z
0.802 * [taylor]: Taking taylor expansion of t in z
0.802 * [taylor]: Taking taylor expansion of z in z
0.802 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.802 * [taylor]: Taking taylor expansion of t in t
0.802 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.803 * [taylor]: Taking taylor expansion of t in t
0.803 * [taylor]: Taking taylor expansion of 0 in t
0.805 * [approximate]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in (y z t) around 0
0.805 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in t
0.805 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.805 * [taylor]: Taking taylor expansion of t in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.805 * [taylor]: Taking taylor expansion of y in t
0.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.805 * [taylor]: Taking taylor expansion of z in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.805 * [taylor]: Taking taylor expansion of y in t
0.805 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z
0.805 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.805 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.805 * [taylor]: Taking taylor expansion of t in z
0.805 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.805 * [taylor]: Taking taylor expansion of y in z
0.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.805 * [taylor]: Taking taylor expansion of z in z
0.805 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.805 * [taylor]: Taking taylor expansion of y in z
0.806 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
0.806 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.806 * [taylor]: Taking taylor expansion of t in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.806 * [taylor]: Taking taylor expansion of z in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
0.806 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.806 * [taylor]: Taking taylor expansion of t in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.806 * [taylor]: Taking taylor expansion of z in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.807 * [taylor]: Taking taylor expansion of 1 in z
0.808 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 t))) in z
0.808 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
0.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.808 * [taylor]: Taking taylor expansion of z in z
0.808 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.808 * [taylor]: Taking taylor expansion of t in z
0.808 * [taylor]: Taking taylor expansion of -1 in t
0.808 * [taylor]: Taking taylor expansion of 1 in t
0.810 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.810 * [taylor]: Taking taylor expansion of (* t z) in z
0.810 * [taylor]: Taking taylor expansion of t in z
0.810 * [taylor]: Taking taylor expansion of z in z
0.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.810 * [taylor]: Taking taylor expansion of t in t
0.811 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.811 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.811 * [taylor]: Taking taylor expansion of t in t
0.811 * [taylor]: Taking taylor expansion of 0 in t
0.812 * * * [progress]: simplifying candidates
0.813 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 y t)))
  (/.f64 x (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 y t)))
  (/.f64 x (*.f64 (-.f64 y z) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 x (*.f64 (-.f64 y z) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 x (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 x (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 (*.f64 (-.f64 y z) (-.f64 y t)) x)
  (/.f64 (*.f64 (-.f64 y z) (-.f64 y t)) (sqrt.f64 x))
  (/.f64 (*.f64 (-.f64 y z) (-.f64 y t)) (cbrt.f64 x))
  (/.f64 x (-.f64 y z))
  (/.f64 (*.f64 (-.f64 y z) (-.f64 y t)) x)
  (/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))
  (/.f64 1 (-.f64 y z))
  (/.f64 x (-.f64 y t))
  (/.f64 (sqrt.f64 x) (-.f64 y z))
  (/.f64 (sqrt.f64 x) (-.f64 y t))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (-.f64 y z))
  (/.f64 (cbrt.f64 x) (-.f64 y t))
  (neg.f64 x)
  (neg.f64 (*.f64 (-.f64 y z) (-.f64 y t)))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
  (*.f64 (*.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))) (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))) (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
  (*.f64 (cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))) (cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))
  (cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
  (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 (-.f64 y z) (-.f64 y t)) (*.f64 (-.f64 y z) (-.f64 y t))) (*.f64 (-.f64 y z) (-.f64 y t))))
  (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 (-.f64 y z) (-.f64 y z)) (-.f64 y z)) (*.f64 (*.f64 (-.f64 y t) (-.f64 y t)) (-.f64 y t))))
  (exp.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
  (-.f64 (log.f64 x) (log.f64 (*.f64 (-.f64 y z) (-.f64 y t))))
  (-.f64 (log.f64 x) (+.f64 (log.f64 (-.f64 y z)) (log.f64 (-.f64 y t))))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 y t))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 y t))
  (*.f64 (-.f64 y z) (-.f64 (*.f64 y y) (*.f64 t t)))
  (*.f64 (-.f64 y z) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (*.f64 (-.f64 y z) (-.f64 y t))
  (*.f64 (-.f64 (sqrt.f64 y) (sqrt.f64 z)) (-.f64 y t))
  (*.f64 (-.f64 y z) (-.f64 y t))
  (*.f64 (sqrt.f64 (-.f64 y z)) (-.f64 y t))
  (*.f64 (cbrt.f64 (-.f64 y z)) (-.f64 y t))
  (*.f64 (-.f64 y z) 1)
  (*.f64 (-.f64 y z) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (*.f64 (-.f64 y z) 1)
  (*.f64 (-.f64 y z) (sqrt.f64 (-.f64 y t)))
  (*.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (*.f64 y (-.f64 y z))
  (*.f64 (neg.f64 t) (-.f64 y z))
  (*.f64 (-.f64 y z) y)
  (*.f64 (-.f64 y z) (neg.f64 t))
  (*.f64 (sqrt.f64 (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (*.f64 (sqrt.f64 (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (*.f64 y y) (*.f64 t t)))
  (*.f64 (+.f64 y z) (+.f64 y t))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (*.f64 (+.f64 y z) (+.f64 (*.f64 y y) (+.f64 (*.f64 t t) (*.f64 y t))))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (*.f64 y y) (*.f64 t t)))
  (*.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))) (+.f64 y t))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (*.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))) (+.f64 (*.f64 y y) (+.f64 (*.f64 t t) (*.f64 y t))))
  (sqrt.f64 (*.f64 (-.f64 y z) (-.f64 y t)))
  (sqrt.f64 (*.f64 (-.f64 y z) (-.f64 y t)))
  (*.f64 (*.f64 (*.f64 (-.f64 y z) (-.f64 y t)) (*.f64 (-.f64 y z) (-.f64 y t))) (*.f64 (-.f64 y z) (-.f64 y t)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 y t))) (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 y t))))
  (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 y t)))
  (*.f64 (*.f64 (*.f64 (-.f64 y z) (-.f64 y z)) (-.f64 y z)) (*.f64 (*.f64 (-.f64 y t) (-.f64 y t)) (-.f64 y t)))
  (exp.f64 (*.f64 (-.f64 y z) (-.f64 y t)))
  (log.f64 (*.f64 (-.f64 y z) (-.f64 y t)))
  (+.f64 (log.f64 (-.f64 y z)) (log.f64 (-.f64 y t)))
  (*.f64 (-.f64 y z) (-.f64 y t))
  0
  0
  0
  (-.f64 (pow.f64 y 2) (+.f64 (*.f64 z y) (*.f64 t y)))
  (-.f64 (*.f64 t z) (+.f64 (*.f64 z y) (*.f64 t y)))
  (-.f64 (*.f64 t z) (+.f64 (*.f64 z y) (*.f64 t y)))
0.846 * * [simplify]: iteration  0 :  5063  enodes  (cost  1080 )
0.852 * [simplify]: Simplified to:
   (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 y t)))
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 x (*.f64 (-.f64 y z) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 x (*.f64 (-.f64 y z) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 x (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 x (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) x)
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (sqrt.f64 x))
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (cbrt.f64 x))
  (/.f64 x (-.f64 y z))
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) x)
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (-.f64 y z))
  (/.f64 x (-.f64 y t))
  (/.f64 (sqrt.f64 x) (-.f64 y z))
  (/.f64 (sqrt.f64 x) (-.f64 y t))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (-.f64 y z))
  (/.f64 (cbrt.f64 x) (-.f64 y t))
  (neg.f64 x)
  (neg.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (*.f64 (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))) (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))))
  (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (exp.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 y t))
  (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 (-.f64 y z) (-.f64 (*.f64 y y) (*.f64 t t)))
  (*.f64 (-.f64 y z) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (*.f64 (-.f64 y t) (-.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (*.f64 (-.f64 y t) (sqrt.f64 (-.f64 y z)))
  (*.f64 (-.f64 y t) (cbrt.f64 (-.f64 y z)))
  (-.f64 y z)
  (*.f64 (-.f64 y z) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (-.f64 y z)
  (*.f64 (-.f64 y z) (sqrt.f64 (-.f64 y t)))
  (*.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (*.f64 y (-.f64 y z))
  (*.f64 (-.f64 y z) (neg.f64 t))
  (*.f64 y (-.f64 y z))
  (*.f64 (-.f64 y z) (neg.f64 t))
  (*.f64 (sqrt.f64 (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (*.f64 (sqrt.f64 (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (*.f64 y y) (*.f64 t t)))
  (*.f64 (+.f64 y z) (+.f64 y t))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 z z)) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (*.f64 (+.f64 y z) (+.f64 (*.f64 y y) (*.f64 t (+.f64 y t))))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (*.f64 y y) (*.f64 t t)))
  (*.f64 (+.f64 y t) (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 z 3)) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (*.f64 (+.f64 (*.f64 y y) (*.f64 t (+.f64 y t))) (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))))
  (sqrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (sqrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (pow.f64 (*.f64 (-.f64 y t) (-.f64 y z)) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z))) (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (pow.f64 (*.f64 (-.f64 y t) (-.f64 y z)) 3)
  (exp.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (log.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (log.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  0
  0
  0
  (*.f64 y (-.f64 y (+.f64 z t)))
  (-.f64 (*.f64 z t) (*.f64 y (+.f64 z t)))
  (-.f64 (*.f64 z t) (*.f64 y (+.f64 z t)))
0.853 * * * [progress]: adding candidates to table
1.025 * * [progress]: iteration 2 / 4
1.025 * * * [progress]: picking best candidate
1.036 * * * * [pick]: Picked  #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))>
1.036 * * * [progress]: localizing error
1.050 * * * [progress]: generating rewritten candidates
1.050 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.070 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
1.080 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2)
1.093 * * * [progress]: generating series expansions
1.093 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.094 * [approximate]: Taking taylor expansion of (/ x (* (- y t) (- y z))) in (x y t z) around 0
1.094 * [taylor]: Taking taylor expansion of (/ x (* (- y t) (- y z))) in z
1.094 * [taylor]: Taking taylor expansion of x in z
1.094 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in z
1.094 * [taylor]: Taking taylor expansion of (- y t) in z
1.094 * [taylor]: Taking taylor expansion of y in z
1.094 * [taylor]: Taking taylor expansion of t in z
1.094 * [taylor]: Taking taylor expansion of (- y z) in z
1.094 * [taylor]: Taking taylor expansion of y in z
1.095 * [taylor]: Taking taylor expansion of z in z
1.095 * [taylor]: Taking taylor expansion of (/ x (* (- y t) (- y z))) in t
1.095 * [taylor]: Taking taylor expansion of x in t
1.095 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in t
1.095 * [taylor]: Taking taylor expansion of (- y t) in t
1.095 * [taylor]: Taking taylor expansion of y in t
1.095 * [taylor]: Taking taylor expansion of t in t
1.095 * [taylor]: Taking taylor expansion of (- y z) in t
1.095 * [taylor]: Taking taylor expansion of y in t
1.095 * [taylor]: Taking taylor expansion of z in t
1.096 * [taylor]: Taking taylor expansion of (/ x (* (- y t) (- y z))) in y
1.096 * [taylor]: Taking taylor expansion of x in y
1.096 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in y
1.096 * [taylor]: Taking taylor expansion of (- y t) in y
1.096 * [taylor]: Taking taylor expansion of y in y
1.096 * [taylor]: Taking taylor expansion of t in y
1.096 * [taylor]: Taking taylor expansion of (- y z) in y
1.096 * [taylor]: Taking taylor expansion of y in y
1.096 * [taylor]: Taking taylor expansion of z in y
1.097 * [taylor]: Taking taylor expansion of (/ x (* (- y t) (- y z))) in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in x
1.097 * [taylor]: Taking taylor expansion of (- y t) in x
1.097 * [taylor]: Taking taylor expansion of y in x
1.097 * [taylor]: Taking taylor expansion of t in x
1.097 * [taylor]: Taking taylor expansion of (- y z) in x
1.097 * [taylor]: Taking taylor expansion of y in x
1.097 * [taylor]: Taking taylor expansion of z in x
1.098 * [taylor]: Taking taylor expansion of (/ x (* (- y t) (- y z))) in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in x
1.098 * [taylor]: Taking taylor expansion of (- y t) in x
1.098 * [taylor]: Taking taylor expansion of y in x
1.098 * [taylor]: Taking taylor expansion of t in x
1.098 * [taylor]: Taking taylor expansion of (- y z) in x
1.098 * [taylor]: Taking taylor expansion of y in x
1.098 * [taylor]: Taking taylor expansion of z in x
1.099 * [taylor]: Taking taylor expansion of (/ 1 (* (- y t) (- y z))) in y
1.099 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in y
1.099 * [taylor]: Taking taylor expansion of (- y t) in y
1.099 * [taylor]: Taking taylor expansion of y in y
1.099 * [taylor]: Taking taylor expansion of t in y
1.099 * [taylor]: Taking taylor expansion of (- y z) in y
1.099 * [taylor]: Taking taylor expansion of y in y
1.099 * [taylor]: Taking taylor expansion of z in y
1.100 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.100 * [taylor]: Taking taylor expansion of (* t z) in t
1.100 * [taylor]: Taking taylor expansion of t in t
1.100 * [taylor]: Taking taylor expansion of z in t
1.101 * [taylor]: Taking taylor expansion of 0 in z
1.102 * [taylor]: Taking taylor expansion of 0 in y
1.103 * [taylor]: Taking taylor expansion of 0 in t
1.103 * [taylor]: Taking taylor expansion of 0 in z
1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t (pow z 2))) (/ 1 (* (pow t 2) z))) in t
1.104 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in t
1.104 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in t
1.104 * [taylor]: Taking taylor expansion of t in t
1.104 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.104 * [taylor]: Taking taylor expansion of z in t
1.104 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t
1.105 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t
1.105 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.105 * [taylor]: Taking taylor expansion of t in t
1.105 * [taylor]: Taking taylor expansion of z in t
1.107 * [taylor]: Taking taylor expansion of 0 in z
1.108 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [taylor]: Taking taylor expansion of 0 in y
1.110 * [taylor]: Taking taylor expansion of 0 in t
1.110 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in (x y t z) around 0
1.111 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in z
1.111 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in z
1.111 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
1.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.111 * [taylor]: Taking taylor expansion of y in z
1.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.111 * [taylor]: Taking taylor expansion of z in z
1.111 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
1.111 * [taylor]: Taking taylor expansion of x in z
1.111 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
1.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.111 * [taylor]: Taking taylor expansion of y in z
1.111 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.111 * [taylor]: Taking taylor expansion of t in z
1.112 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in t
1.112 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in t
1.112 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
1.112 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.112 * [taylor]: Taking taylor expansion of y in t
1.112 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.112 * [taylor]: Taking taylor expansion of z in t
1.112 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
1.113 * [taylor]: Taking taylor expansion of x in t
1.113 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
1.113 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.113 * [taylor]: Taking taylor expansion of y in t
1.113 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.113 * [taylor]: Taking taylor expansion of t in t
1.114 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in y
1.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in y
1.114 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.114 * [taylor]: Taking taylor expansion of y in y
1.114 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.114 * [taylor]: Taking taylor expansion of z in y
1.114 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
1.114 * [taylor]: Taking taylor expansion of x in y
1.114 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
1.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.114 * [taylor]: Taking taylor expansion of y in y
1.114 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.114 * [taylor]: Taking taylor expansion of t in y
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in x
1.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in x
1.115 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.115 * [taylor]: Taking taylor expansion of y in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.115 * [taylor]: Taking taylor expansion of z in x
1.115 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.115 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.115 * [taylor]: Taking taylor expansion of y in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.115 * [taylor]: Taking taylor expansion of t in x
1.119 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in x
1.119 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in x
1.119 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
1.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.119 * [taylor]: Taking taylor expansion of y in x
1.119 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.119 * [taylor]: Taking taylor expansion of z in x
1.119 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
1.119 * [taylor]: Taking taylor expansion of x in x
1.119 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
1.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.119 * [taylor]: Taking taylor expansion of y in x
1.119 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.119 * [taylor]: Taking taylor expansion of t in x
1.123 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y))))) in y
1.123 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y)))) in y
1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (pow y 2))) in y
1.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.123 * [taylor]: Taking taylor expansion of (* t z) in y
1.123 * [taylor]: Taking taylor expansion of t in y
1.123 * [taylor]: Taking taylor expansion of z in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.124 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t y))) in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.124 * [taylor]: Taking taylor expansion of (* z y) in y
1.124 * [taylor]: Taking taylor expansion of z in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.124 * [taylor]: Taking taylor expansion of (* t y) in y
1.124 * [taylor]: Taking taylor expansion of t in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.125 * [taylor]: Taking taylor expansion of 1 in t
1.125 * [taylor]: Taking taylor expansion of 0 in z
1.129 * [taylor]: Taking taylor expansion of 0 in y
1.129 * [taylor]: Taking taylor expansion of 0 in t
1.129 * [taylor]: Taking taylor expansion of 0 in z
1.131 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t
1.131 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.131 * [taylor]: Taking taylor expansion of z in t
1.131 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.131 * [taylor]: Taking taylor expansion of t in t
1.132 * [taylor]: Taking taylor expansion of 0 in z
1.132 * [taylor]: Taking taylor expansion of 0 in z
1.137 * [taylor]: Taking taylor expansion of 0 in y
1.137 * [taylor]: Taking taylor expansion of 0 in t
1.137 * [taylor]: Taking taylor expansion of 0 in z
1.138 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in (x y t z) around 0
1.138 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in z
1.138 * [taylor]: Taking taylor expansion of -1 in z
1.138 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in z
1.138 * [taylor]: Taking taylor expansion of x in z
1.138 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in z
1.138 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
1.138 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.138 * [taylor]: Taking taylor expansion of z in z
1.138 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.139 * [taylor]: Taking taylor expansion of y in z
1.139 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
1.139 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.139 * [taylor]: Taking taylor expansion of t in z
1.139 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.139 * [taylor]: Taking taylor expansion of y in z
1.140 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in t
1.140 * [taylor]: Taking taylor expansion of -1 in t
1.140 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in t
1.140 * [taylor]: Taking taylor expansion of x in t
1.140 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in t
1.140 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
1.140 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.140 * [taylor]: Taking taylor expansion of z in t
1.140 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.140 * [taylor]: Taking taylor expansion of y in t
1.140 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
1.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.140 * [taylor]: Taking taylor expansion of t in t
1.140 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.140 * [taylor]: Taking taylor expansion of y in t
1.142 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in y
1.142 * [taylor]: Taking taylor expansion of -1 in y
1.142 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in y
1.142 * [taylor]: Taking taylor expansion of x in y
1.142 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in y
1.142 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.142 * [taylor]: Taking taylor expansion of z in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.142 * [taylor]: Taking taylor expansion of t in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in x
1.142 * [taylor]: Taking taylor expansion of -1 in x
1.142 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in x
1.142 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
1.142 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.143 * [taylor]: Taking taylor expansion of z in x
1.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.143 * [taylor]: Taking taylor expansion of y in x
1.143 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
1.143 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.143 * [taylor]: Taking taylor expansion of t in x
1.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.143 * [taylor]: Taking taylor expansion of y in x
1.147 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in x
1.148 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.148 * [taylor]: Taking taylor expansion of z in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.148 * [taylor]: Taking taylor expansion of t in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.155 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y))))) in y
1.155 * [taylor]: Taking taylor expansion of -1 in y
1.155 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y)))) in y
1.155 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (pow y 2))) in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.155 * [taylor]: Taking taylor expansion of (* t z) in y
1.155 * [taylor]: Taking taylor expansion of t in y
1.155 * [taylor]: Taking taylor expansion of z in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.155 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.155 * [taylor]: Taking taylor expansion of y in y
1.155 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t y))) in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.155 * [taylor]: Taking taylor expansion of (* z y) in y
1.155 * [taylor]: Taking taylor expansion of z in y
1.155 * [taylor]: Taking taylor expansion of y in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.155 * [taylor]: Taking taylor expansion of (* t y) in y
1.155 * [taylor]: Taking taylor expansion of t in y
1.156 * [taylor]: Taking taylor expansion of y in y
1.156 * [taylor]: Taking taylor expansion of -1 in t
1.156 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in y
1.162 * [taylor]: Taking taylor expansion of 0 in t
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.163 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 t))) in t
1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t
1.163 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.163 * [taylor]: Taking taylor expansion of z in t
1.164 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.164 * [taylor]: Taking taylor expansion of t in t
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.172 * [taylor]: Taking taylor expansion of 0 in y
1.172 * [taylor]: Taking taylor expansion of 0 in t
1.172 * [taylor]: Taking taylor expansion of 0 in z
1.172 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
1.172 * [approximate]: Taking taylor expansion of (/ 1 (* (- y t) (- y z))) in (y t z) around 0
1.172 * [taylor]: Taking taylor expansion of (/ 1 (* (- y t) (- y z))) in z
1.172 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in z
1.172 * [taylor]: Taking taylor expansion of (- y t) in z
1.172 * [taylor]: Taking taylor expansion of y in z
1.172 * [taylor]: Taking taylor expansion of t in z
1.172 * [taylor]: Taking taylor expansion of (- y z) in z
1.172 * [taylor]: Taking taylor expansion of y in z
1.172 * [taylor]: Taking taylor expansion of z in z
1.173 * [taylor]: Taking taylor expansion of (/ 1 (* (- y t) (- y z))) in t
1.173 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in t
1.173 * [taylor]: Taking taylor expansion of (- y t) in t
1.173 * [taylor]: Taking taylor expansion of y in t
1.173 * [taylor]: Taking taylor expansion of t in t
1.173 * [taylor]: Taking taylor expansion of (- y z) in t
1.173 * [taylor]: Taking taylor expansion of y in t
1.173 * [taylor]: Taking taylor expansion of z in t
1.174 * [taylor]: Taking taylor expansion of (/ 1 (* (- y t) (- y z))) in y
1.174 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in y
1.174 * [taylor]: Taking taylor expansion of (- y t) in y
1.174 * [taylor]: Taking taylor expansion of y in y
1.174 * [taylor]: Taking taylor expansion of t in y
1.174 * [taylor]: Taking taylor expansion of (- y z) in y
1.174 * [taylor]: Taking taylor expansion of y in y
1.174 * [taylor]: Taking taylor expansion of z in y
1.175 * [taylor]: Taking taylor expansion of (/ 1 (* (- y t) (- y z))) in y
1.175 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in y
1.175 * [taylor]: Taking taylor expansion of (- y t) in y
1.175 * [taylor]: Taking taylor expansion of y in y
1.175 * [taylor]: Taking taylor expansion of t in y
1.175 * [taylor]: Taking taylor expansion of (- y z) in y
1.175 * [taylor]: Taking taylor expansion of y in y
1.175 * [taylor]: Taking taylor expansion of z in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.176 * [taylor]: Taking taylor expansion of (* t z) in t
1.176 * [taylor]: Taking taylor expansion of t in t
1.176 * [taylor]: Taking taylor expansion of z in t
1.177 * [taylor]: Taking taylor expansion of 0 in z
1.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t (pow z 2))) (/ 1 (* (pow t 2) z))) in t
1.178 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in t
1.178 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in t
1.178 * [taylor]: Taking taylor expansion of t in t
1.178 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.178 * [taylor]: Taking taylor expansion of z in t
1.179 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t
1.179 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t
1.179 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.179 * [taylor]: Taking taylor expansion of t in t
1.179 * [taylor]: Taking taylor expansion of z in t
1.182 * [taylor]: Taking taylor expansion of 0 in z
1.183 * [taylor]: Taking taylor expansion of 0 in z
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) z)) (+ (/ 1 (* t (pow z 3))) (/ 1 (* (pow t 2) (pow z 2))))) in t
1.185 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t
1.185 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t
1.185 * [taylor]: Taking taylor expansion of (pow t 3) in t
1.185 * [taylor]: Taking taylor expansion of t in t
1.185 * [taylor]: Taking taylor expansion of z in t
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t (pow z 3))) (/ 1 (* (pow t 2) (pow z 2)))) in t
1.185 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 3))) in t
1.185 * [taylor]: Taking taylor expansion of (* t (pow z 3)) in t
1.185 * [taylor]: Taking taylor expansion of t in t
1.185 * [taylor]: Taking taylor expansion of (pow z 3) in t
1.185 * [taylor]: Taking taylor expansion of z in t
1.187 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in t
1.187 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in t
1.187 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.187 * [taylor]: Taking taylor expansion of t in t
1.187 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.187 * [taylor]: Taking taylor expansion of z in t
1.195 * [taylor]: Taking taylor expansion of 0 in z
1.197 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t)))) in (y t z) around 0
1.198 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t)))) in z
1.198 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in z
1.198 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
1.199 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.199 * [taylor]: Taking taylor expansion of y in z
1.199 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.199 * [taylor]: Taking taylor expansion of z in z
1.199 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
1.199 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.199 * [taylor]: Taking taylor expansion of y in z
1.199 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.199 * [taylor]: Taking taylor expansion of t in z
1.200 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t)))) in t
1.200 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in t
1.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
1.200 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.200 * [taylor]: Taking taylor expansion of y in t
1.200 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.200 * [taylor]: Taking taylor expansion of z in t
1.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
1.200 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.200 * [taylor]: Taking taylor expansion of y in t
1.200 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.200 * [taylor]: Taking taylor expansion of t in t
1.202 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t)))) in y
1.202 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in y
1.202 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.202 * [taylor]: Taking taylor expansion of z in y
1.202 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.202 * [taylor]: Taking taylor expansion of t in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t)))) in y
1.202 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in y
1.202 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.203 * [taylor]: Taking taylor expansion of z in y
1.203 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
1.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.203 * [taylor]: Taking taylor expansion of y in y
1.203 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.203 * [taylor]: Taking taylor expansion of t in y
1.203 * [taylor]: Taking taylor expansion of 1 in t
1.203 * [taylor]: Taking taylor expansion of 0 in z
1.205 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t
1.205 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.205 * [taylor]: Taking taylor expansion of z in t
1.205 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.205 * [taylor]: Taking taylor expansion of t in t
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.207 * [taylor]: Taking taylor expansion of 0 in z
1.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (pow z 2)) (/ 1 (pow t 2)))) in t
1.210 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.210 * [taylor]: Taking taylor expansion of (* t z) in t
1.210 * [taylor]: Taking taylor expansion of t in t
1.210 * [taylor]: Taking taylor expansion of z in t
1.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (pow t 2))) in t
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.210 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.210 * [taylor]: Taking taylor expansion of z in t
1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
1.211 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.211 * [taylor]: Taking taylor expansion of t in t
1.219 * [taylor]: Taking taylor expansion of 0 in z
1.220 * [taylor]: Taking taylor expansion of 0 in z
1.221 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y)))) in (y t z) around 0
1.221 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y)))) in z
1.221 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z
1.221 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
1.221 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.221 * [taylor]: Taking taylor expansion of t in z
1.221 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.221 * [taylor]: Taking taylor expansion of y in z
1.221 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
1.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.221 * [taylor]: Taking taylor expansion of z in z
1.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.222 * [taylor]: Taking taylor expansion of y in z
1.223 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y)))) in t
1.223 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in t
1.223 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
1.223 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.223 * [taylor]: Taking taylor expansion of t in t
1.223 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.223 * [taylor]: Taking taylor expansion of y in t
1.223 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
1.223 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.223 * [taylor]: Taking taylor expansion of z in t
1.223 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.223 * [taylor]: Taking taylor expansion of y in t
1.224 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y)))) in y
1.224 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
1.224 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
1.224 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.224 * [taylor]: Taking taylor expansion of t in y
1.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.224 * [taylor]: Taking taylor expansion of y in y
1.224 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.225 * [taylor]: Taking taylor expansion of z in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.225 * [taylor]: Taking taylor expansion of y in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y)))) in y
1.225 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
1.225 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.225 * [taylor]: Taking taylor expansion of t in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.225 * [taylor]: Taking taylor expansion of y in y
1.225 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.225 * [taylor]: Taking taylor expansion of z in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.226 * [taylor]: Taking taylor expansion of y in y
1.226 * [taylor]: Taking taylor expansion of 1 in t
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.228 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t
1.228 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.228 * [taylor]: Taking taylor expansion of z in t
1.228 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.228 * [taylor]: Taking taylor expansion of t in t
1.229 * [taylor]: Taking taylor expansion of 0 in z
1.229 * [taylor]: Taking taylor expansion of 0 in z
1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (pow z 2)) (/ 1 (pow t 2)))) in t
1.232 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.232 * [taylor]: Taking taylor expansion of (* t z) in t
1.232 * [taylor]: Taking taylor expansion of t in t
1.232 * [taylor]: Taking taylor expansion of z in t
1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (pow t 2))) in t
1.232 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.232 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.232 * [taylor]: Taking taylor expansion of z in t
1.233 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
1.233 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.233 * [taylor]: Taking taylor expansion of t in t
1.237 * [taylor]: Taking taylor expansion of 0 in z
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.238 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2)
1.238 * [approximate]: Taking taylor expansion of (* (- y t) (- y z)) in (y t z) around 0
1.238 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in z
1.238 * [taylor]: Taking taylor expansion of (- y t) in z
1.238 * [taylor]: Taking taylor expansion of y in z
1.238 * [taylor]: Taking taylor expansion of t in z
1.238 * [taylor]: Taking taylor expansion of (- y z) in z
1.238 * [taylor]: Taking taylor expansion of y in z
1.238 * [taylor]: Taking taylor expansion of z in z
1.238 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in t
1.238 * [taylor]: Taking taylor expansion of (- y t) in t
1.238 * [taylor]: Taking taylor expansion of y in t
1.238 * [taylor]: Taking taylor expansion of t in t
1.238 * [taylor]: Taking taylor expansion of (- y z) in t
1.238 * [taylor]: Taking taylor expansion of y in t
1.238 * [taylor]: Taking taylor expansion of z in t
1.239 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in y
1.239 * [taylor]: Taking taylor expansion of (- y t) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of t in y
1.239 * [taylor]: Taking taylor expansion of (- y z) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of z in y
1.239 * [taylor]: Taking taylor expansion of (* (- y t) (- y z)) in y
1.239 * [taylor]: Taking taylor expansion of (- y t) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of t in y
1.239 * [taylor]: Taking taylor expansion of (- y z) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of z in y
1.239 * [taylor]: Taking taylor expansion of (* t z) in t
1.239 * [taylor]: Taking taylor expansion of t in t
1.239 * [taylor]: Taking taylor expansion of z in t
1.240 * [taylor]: Taking taylor expansion of 0 in z
1.240 * [taylor]: Taking taylor expansion of (neg (+ t z)) in t
1.240 * [taylor]: Taking taylor expansion of (+ t z) in t
1.240 * [taylor]: Taking taylor expansion of t in t
1.240 * [taylor]: Taking taylor expansion of z in t
1.240 * [taylor]: Taking taylor expansion of (neg z) in z
1.240 * [taylor]: Taking taylor expansion of z in z
1.241 * [taylor]: Taking taylor expansion of z in z
1.241 * [taylor]: Taking taylor expansion of 1 in t
1.241 * [taylor]: Taking taylor expansion of 1 in z
1.242 * [taylor]: Taking taylor expansion of -1 in z
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.244 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in (y t z) around 0
1.244 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in z
1.244 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
1.244 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.244 * [taylor]: Taking taylor expansion of y in z
1.244 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.244 * [taylor]: Taking taylor expansion of z in z
1.244 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
1.244 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.244 * [taylor]: Taking taylor expansion of y in z
1.244 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.244 * [taylor]: Taking taylor expansion of t in z
1.244 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in t
1.244 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
1.244 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.244 * [taylor]: Taking taylor expansion of y in t
1.244 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.244 * [taylor]: Taking taylor expansion of z in t
1.244 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
1.244 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.244 * [taylor]: Taking taylor expansion of y in t
1.245 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.245 * [taylor]: Taking taylor expansion of t in t
1.245 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in y
1.245 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.245 * [taylor]: Taking taylor expansion of z in y
1.245 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.245 * [taylor]: Taking taylor expansion of t in y
1.245 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 y) (/ 1 t))) in y
1.245 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.245 * [taylor]: Taking taylor expansion of z in y
1.245 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.245 * [taylor]: Taking taylor expansion of t in y
1.246 * [taylor]: Taking taylor expansion of 1 in t
1.247 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 t))) in t
1.247 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t
1.247 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.247 * [taylor]: Taking taylor expansion of z in t
1.247 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.247 * [taylor]: Taking taylor expansion of t in t
1.248 * [taylor]: Taking taylor expansion of -1 in z
1.248 * [taylor]: Taking taylor expansion of 1 in z
1.250 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.250 * [taylor]: Taking taylor expansion of (* t z) in t
1.250 * [taylor]: Taking taylor expansion of t in t
1.250 * [taylor]: Taking taylor expansion of z in t
1.250 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.250 * [taylor]: Taking taylor expansion of z in z
1.251 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.251 * [taylor]: Taking taylor expansion of z in z
1.251 * [taylor]: Taking taylor expansion of 0 in z
1.253 * [approximate]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in (y t z) around 0
1.253 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z
1.253 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
1.253 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.253 * [taylor]: Taking taylor expansion of t in z
1.253 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.253 * [taylor]: Taking taylor expansion of y in z
1.253 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
1.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.253 * [taylor]: Taking taylor expansion of z in z
1.253 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.253 * [taylor]: Taking taylor expansion of y in z
1.253 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in t
1.253 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
1.253 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.253 * [taylor]: Taking taylor expansion of t in t
1.253 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.253 * [taylor]: Taking taylor expansion of y in t
1.253 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
1.253 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.254 * [taylor]: Taking taylor expansion of z in t
1.254 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.254 * [taylor]: Taking taylor expansion of y in t
1.254 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
1.254 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.254 * [taylor]: Taking taylor expansion of t in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.254 * [taylor]: Taking taylor expansion of y in y
1.254 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.254 * [taylor]: Taking taylor expansion of z in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.254 * [taylor]: Taking taylor expansion of y in y
1.254 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
1.254 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.254 * [taylor]: Taking taylor expansion of t in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.254 * [taylor]: Taking taylor expansion of y in y
1.254 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.254 * [taylor]: Taking taylor expansion of z in y
1.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.254 * [taylor]: Taking taylor expansion of y in y
1.255 * [taylor]: Taking taylor expansion of 1 in t
1.256 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 t))) in t
1.256 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t
1.256 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.256 * [taylor]: Taking taylor expansion of z in t
1.256 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.256 * [taylor]: Taking taylor expansion of t in t
1.256 * [taylor]: Taking taylor expansion of -1 in z
1.256 * [taylor]: Taking taylor expansion of 1 in z
1.258 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.258 * [taylor]: Taking taylor expansion of (* t z) in t
1.258 * [taylor]: Taking taylor expansion of t in t
1.258 * [taylor]: Taking taylor expansion of z in t
1.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.258 * [taylor]: Taking taylor expansion of z in z
1.259 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.259 * [taylor]: Taking taylor expansion of z in z
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.261 * * * [progress]: simplifying candidates
1.262 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x 1)
  (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (*.f64 (sqrt.f64 x) (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (*.f64 (cbrt.f64 x) (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 y z))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 y z))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 x 1)
  (*.f64 x 1)
  (*.f64 x (/.f64 1 (-.f64 y t)))
  (*.f64 x (/.f64 (sqrt.f64 1) (-.f64 y t)))
  (*.f64 x (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (-.f64 y t)))
  (*.f64 x (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 x (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))) (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (sqrt.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (sqrt.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 (*.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))) (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))) (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 (cbrt.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))) (cbrt.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))
  (cbrt.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))) (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))) (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 (*.f64 (*.f64 x x) x) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (*.f64 (-.f64 y t) (-.f64 y z))) (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 (*.f64 (*.f64 x x) x) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (-.f64 y t) (-.f64 y t)) (-.f64 y t)) (*.f64 (*.f64 (-.f64 y z) (-.f64 y z)) (-.f64 y z)))))
  (exp.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (log.f64 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (+.f64 (log.f64 x) (log.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (+.f64 (log.f64 x) (-.f64 (log.f64 1) (log.f64 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (+.f64 (log.f64 x) (-.f64 (log.f64 1) (+.f64 (log.f64 (-.f64 y t)) (log.f64 (-.f64 y z)))))
  (+.f64 (log.f64 x) (neg.f64 (log.f64 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (+.f64 (log.f64 x) (neg.f64 (+.f64 (log.f64 (-.f64 y t)) (log.f64 (-.f64 y z)))))
  (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 y z)))
  (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 y z)))
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) 1)
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (sqrt.f64 1))
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (cbrt.f64 1))
  (/.f64 1 (-.f64 y t))
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) 1)
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (-.f64 y t))
  (/.f64 1 (-.f64 y z))
  (/.f64 (sqrt.f64 1) (-.f64 y t))
  (/.f64 (sqrt.f64 1) (-.f64 y z))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (-.f64 y t))
  (/.f64 (cbrt.f64 1) (-.f64 y z))
  (neg.f64 1)
  (neg.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (*.f64 (*.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))) (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))) (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))) (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (*.f64 (-.f64 y t) (-.f64 y z))) (*.f64 (-.f64 y t) (-.f64 y z))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (-.f64 y t) (-.f64 y t)) (-.f64 y t)) (*.f64 (*.f64 (-.f64 y z) (-.f64 y z)) (-.f64 y z))))
  (exp.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (-.f64 (log.f64 1) (log.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (-.f64 (log.f64 1) (+.f64 (log.f64 (-.f64 y t)) (log.f64 (-.f64 y z))))
  (neg.f64 (log.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (neg.f64 (+.f64 (log.f64 (-.f64 y t)) (log.f64 (-.f64 y z))))
  (neg.f64 1)
  (neg.f64 1)
  (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 y z))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 y z))
  (*.f64 (-.f64 y t) (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (*.f64 (-.f64 (sqrt.f64 y) (sqrt.f64 t)) (-.f64 y z))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (*.f64 (sqrt.f64 (-.f64 y t)) (-.f64 y z))
  (*.f64 (cbrt.f64 (-.f64 y t)) (-.f64 y z))
  (*.f64 (-.f64 y t) 1)
  (*.f64 (-.f64 y t) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (*.f64 (-.f64 y t) 1)
  (*.f64 (-.f64 y t) (sqrt.f64 (-.f64 y z)))
  (*.f64 (-.f64 y t) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (*.f64 y (-.f64 y t))
  (*.f64 (neg.f64 z) (-.f64 y t))
  (*.f64 (-.f64 y t) y)
  (*.f64 (-.f64 y t) (neg.f64 z))
  (*.f64 (sqrt.f64 (-.f64 y t)) (sqrt.f64 (-.f64 y z)))
  (*.f64 (sqrt.f64 (-.f64 y t)) (sqrt.f64 (-.f64 y z)))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 (+.f64 y t) (+.f64 y z))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 (+.f64 y t) (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 t t) (*.f64 y t))) (+.f64 y z))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 t t) (*.f64 y t))) (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))))
  (sqrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (sqrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (*.f64 (*.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (*.f64 (-.f64 y t) (-.f64 y z))) (*.f64 (-.f64 y t) (-.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z))) (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (*.f64 (*.f64 (*.f64 (-.f64 y t) (-.f64 y t)) (-.f64 y t)) (*.f64 (*.f64 (-.f64 y z) (-.f64 y z)) (-.f64 y z)))
  (exp.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (log.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (+.f64 (log.f64 (-.f64 y t)) (log.f64 (-.f64 y z)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  0
  0
  0
  0
  0
  0
  (-.f64 (pow.f64 y 2) (+.f64 (*.f64 z y) (*.f64 t y)))
  (-.f64 (*.f64 t z) (+.f64 (*.f64 z y) (*.f64 t y)))
  (-.f64 (*.f64 t z) (+.f64 (*.f64 z y) (*.f64 t y)))
1.322 * * [simplify]: iteration  0 :  4984  enodes  (cost  1698 )
1.322 * * [simplify]: iteration  1 :  4984  enodes  (cost  1698 )
1.330 * [simplify]: Simplified to:
   x
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (cbrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 x (*.f64 (-.f64 y z) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 x (*.f64 (-.f64 y z) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 x (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 x (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 x (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  x
  x
  (/.f64 x (-.f64 y t))
  (/.f64 x (-.f64 y t))
  (*.f64 x (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (-.f64 y t)))
  (*.f64 x (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 x (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))) (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (*.f64 (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))) (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))))
  (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (exp.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (*.f64 (-.f64 y z) (-.f64 (*.f64 y y) (*.f64 t t))))
  (/.f64 1 (*.f64 (-.f64 y z) (-.f64 (pow.f64 y 3) (pow.f64 t 3))))
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 1 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (*.f64 y y) (*.f64 z z))))
  (/.f64 1 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (/.f64 (*.f64 (-.f64 y t) (-.f64 y z)) (cbrt.f64 1))
  (/.f64 1 (-.f64 y t))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (-.f64 y t))
  (/.f64 1 (-.f64 y z))
  (/.f64 1 (-.f64 y t))
  (/.f64 1 (-.f64 y z))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (-.f64 y t))
  (/.f64 (cbrt.f64 1) (-.f64 y z))
  -1
  (neg.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (sqrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))) (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))))
  (cbrt.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (pow.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (exp.f64 (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))
  (neg.f64 (log.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (neg.f64 (log.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (neg.f64 (log.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (neg.f64 (log.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (neg.f64 (log.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  -1
  -1
  (*.f64 (-.f64 y z) (-.f64 (*.f64 y y) (*.f64 t t)))
  (*.f64 (-.f64 y z) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (*.f64 (-.f64 y t) (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 (-.f64 y t) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (*.f64 (-.f64 y z) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (*.f64 (-.f64 y z) (sqrt.f64 (-.f64 y t)))
  (*.f64 (-.f64 y z) (cbrt.f64 (-.f64 y t)))
  (-.f64 y t)
  (*.f64 (-.f64 y t) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (-.f64 y t)
  (*.f64 (-.f64 y t) (sqrt.f64 (-.f64 y z)))
  (*.f64 (-.f64 y t) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (*.f64 y (-.f64 y t))
  (*.f64 (-.f64 y t) (neg.f64 z))
  (*.f64 y (-.f64 y t))
  (*.f64 (-.f64 y t) (neg.f64 z))
  (*.f64 (sqrt.f64 (-.f64 y t)) (sqrt.f64 (-.f64 y z)))
  (*.f64 (sqrt.f64 (-.f64 y t)) (sqrt.f64 (-.f64 y z)))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 (+.f64 y t) (+.f64 y z))
  (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 (+.f64 y t) (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 (+.f64 y z) (+.f64 (*.f64 y y) (*.f64 t (+.f64 y t))))
  (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))) (+.f64 (*.f64 y y) (*.f64 t (+.f64 y t))))
  (sqrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (sqrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (pow.f64 (*.f64 (-.f64 y t) (-.f64 y z)) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z))) (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z))))
  (cbrt.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (pow.f64 (*.f64 (-.f64 y t) (-.f64 y z)) 3)
  (exp.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (log.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (log.f64 (*.f64 (-.f64 y t) (-.f64 y z)))
  (*.f64 (-.f64 y t) (-.f64 y z))
  0
  0
  0
  0
  0
  0
  (*.f64 y (-.f64 y (+.f64 t z)))
  (-.f64 (*.f64 t z) (*.f64 y (+.f64 t z)))
  (-.f64 (*.f64 t z) (*.f64 y (+.f64 t z)))
1.331 * * * [progress]: adding candidates to table
1.574 * * [progress]: iteration 3 / 4
1.574 * * * [progress]: picking best candidate
1.580 * * * * [pick]: Picked  #<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))>
1.580 * * * [progress]: localizing error
1.592 * * * [progress]: generating rewritten candidates
1.592 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.604 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
1.627 * * * [progress]: generating series expansions
1.627 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.628 * [approximate]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in (x y z t) around 0
1.628 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in t
1.628 * [taylor]: Taking taylor expansion of x in t
1.628 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in t
1.628 * [taylor]: Taking taylor expansion of (- y z) in t
1.628 * [taylor]: Taking taylor expansion of y in t
1.628 * [taylor]: Taking taylor expansion of z in t
1.628 * [taylor]: Taking taylor expansion of (- y t) in t
1.628 * [taylor]: Taking taylor expansion of y in t
1.628 * [taylor]: Taking taylor expansion of t in t
1.628 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in z
1.628 * [taylor]: Taking taylor expansion of x in z
1.628 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in z
1.629 * [taylor]: Taking taylor expansion of (- y z) in z
1.629 * [taylor]: Taking taylor expansion of y in z
1.629 * [taylor]: Taking taylor expansion of z in z
1.629 * [taylor]: Taking taylor expansion of (- y t) in z
1.629 * [taylor]: Taking taylor expansion of y in z
1.629 * [taylor]: Taking taylor expansion of t in z
1.629 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in y
1.629 * [taylor]: Taking taylor expansion of x in y
1.629 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in y
1.629 * [taylor]: Taking taylor expansion of (- y z) in y
1.629 * [taylor]: Taking taylor expansion of y in y
1.629 * [taylor]: Taking taylor expansion of z in y
1.629 * [taylor]: Taking taylor expansion of (- y t) in y
1.629 * [taylor]: Taking taylor expansion of y in y
1.629 * [taylor]: Taking taylor expansion of t in y
1.630 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in x
1.630 * [taylor]: Taking taylor expansion of (- y z) in x
1.630 * [taylor]: Taking taylor expansion of y in x
1.630 * [taylor]: Taking taylor expansion of z in x
1.630 * [taylor]: Taking taylor expansion of (- y t) in x
1.630 * [taylor]: Taking taylor expansion of y in x
1.630 * [taylor]: Taking taylor expansion of t in x
1.631 * [taylor]: Taking taylor expansion of (/ x (* (- y z) (- y t))) in x
1.631 * [taylor]: Taking taylor expansion of x in x
1.631 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in x
1.631 * [taylor]: Taking taylor expansion of (- y z) in x
1.631 * [taylor]: Taking taylor expansion of y in x
1.631 * [taylor]: Taking taylor expansion of z in x
1.631 * [taylor]: Taking taylor expansion of (- y t) in x
1.631 * [taylor]: Taking taylor expansion of y in x
1.631 * [taylor]: Taking taylor expansion of t in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* (- y z) (- y t))) in y
1.633 * [taylor]: Taking taylor expansion of (* (- y z) (- y t)) in y
1.633 * [taylor]: Taking taylor expansion of (- y z) in y
1.633 * [taylor]: Taking taylor expansion of y in y
1.633 * [taylor]: Taking taylor expansion of z in y
1.633 * [taylor]: Taking taylor expansion of (- y t) in y
1.633 * [taylor]: Taking taylor expansion of y in y
1.633 * [taylor]: Taking taylor expansion of t in y
1.634 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.634 * [taylor]: Taking taylor expansion of (* t z) in z
1.634 * [taylor]: Taking taylor expansion of t in z
1.634 * [taylor]: Taking taylor expansion of z in z
1.634 * [taylor]: Taking taylor expansion of 0 in t
1.636 * [taylor]: Taking taylor expansion of 0 in y
1.636 * [taylor]: Taking taylor expansion of 0 in z
1.636 * [taylor]: Taking taylor expansion of 0 in t
1.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t (pow z 2))) (/ 1 (* (pow t 2) z))) in z
1.637 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
1.637 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
1.637 * [taylor]: Taking taylor expansion of t in z
1.637 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.637 * [taylor]: Taking taylor expansion of z in z
1.637 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in z
1.637 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in z
1.637 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.637 * [taylor]: Taking taylor expansion of t in z
1.637 * [taylor]: Taking taylor expansion of z in z
1.641 * [taylor]: Taking taylor expansion of 0 in t
1.641 * [taylor]: Taking taylor expansion of 0 in t
1.643 * [taylor]: Taking taylor expansion of 0 in y
1.643 * [taylor]: Taking taylor expansion of 0 in z
1.643 * [taylor]: Taking taylor expansion of 0 in t
1.644 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in (x y z t) around 0
1.644 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in t
1.644 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in t
1.644 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
1.644 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.644 * [taylor]: Taking taylor expansion of y in t
1.644 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.644 * [taylor]: Taking taylor expansion of z in t
1.644 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
1.644 * [taylor]: Taking taylor expansion of x in t
1.644 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
1.644 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.644 * [taylor]: Taking taylor expansion of y in t
1.644 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.644 * [taylor]: Taking taylor expansion of t in t
1.645 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in z
1.645 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in z
1.645 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
1.645 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.646 * [taylor]: Taking taylor expansion of y in z
1.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.646 * [taylor]: Taking taylor expansion of z in z
1.646 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
1.646 * [taylor]: Taking taylor expansion of x in z
1.646 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
1.646 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.646 * [taylor]: Taking taylor expansion of y in z
1.646 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.646 * [taylor]: Taking taylor expansion of t in z
1.647 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in y
1.647 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in y
1.647 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.647 * [taylor]: Taking taylor expansion of y in y
1.647 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.647 * [taylor]: Taking taylor expansion of z in y
1.647 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
1.647 * [taylor]: Taking taylor expansion of x in y
1.647 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
1.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.647 * [taylor]: Taking taylor expansion of y in y
1.648 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.648 * [taylor]: Taking taylor expansion of t in y
1.648 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in x
1.648 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in x
1.648 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
1.648 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.648 * [taylor]: Taking taylor expansion of y in x
1.648 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.648 * [taylor]: Taking taylor expansion of z in x
1.648 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
1.648 * [taylor]: Taking taylor expansion of x in x
1.648 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
1.648 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.648 * [taylor]: Taking taylor expansion of y in x
1.648 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.648 * [taylor]: Taking taylor expansion of t in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t))))) in x
1.652 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* x (- (/ 1 y) (/ 1 t)))) in x
1.652 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.652 * [taylor]: Taking taylor expansion of y in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.652 * [taylor]: Taking taylor expansion of z in x
1.652 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
1.652 * [taylor]: Taking taylor expansion of x in x
1.652 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.652 * [taylor]: Taking taylor expansion of y in x
1.653 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.653 * [taylor]: Taking taylor expansion of t in x
1.657 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y))))) in y
1.657 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y)))) in y
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (pow y 2))) in y
1.657 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.657 * [taylor]: Taking taylor expansion of (* t z) in y
1.657 * [taylor]: Taking taylor expansion of t in y
1.657 * [taylor]: Taking taylor expansion of z in y
1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.657 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.657 * [taylor]: Taking taylor expansion of y in y
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t y))) in y
1.657 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.657 * [taylor]: Taking taylor expansion of (* z y) in y
1.657 * [taylor]: Taking taylor expansion of z in y
1.657 * [taylor]: Taking taylor expansion of y in y
1.657 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.658 * [taylor]: Taking taylor expansion of (* t y) in y
1.658 * [taylor]: Taking taylor expansion of t in y
1.658 * [taylor]: Taking taylor expansion of y in y
1.658 * [taylor]: Taking taylor expansion of 1 in z
1.658 * [taylor]: Taking taylor expansion of 0 in t
1.662 * [taylor]: Taking taylor expansion of 0 in y
1.662 * [taylor]: Taking taylor expansion of 0 in z
1.663 * [taylor]: Taking taylor expansion of 0 in t
1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
1.664 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.664 * [taylor]: Taking taylor expansion of z in z
1.664 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.664 * [taylor]: Taking taylor expansion of t in z
1.665 * [taylor]: Taking taylor expansion of 0 in t
1.665 * [taylor]: Taking taylor expansion of 0 in t
1.671 * [taylor]: Taking taylor expansion of 0 in y
1.671 * [taylor]: Taking taylor expansion of 0 in z
1.671 * [taylor]: Taking taylor expansion of 0 in t
1.672 * [approximate]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in (x y z t) around 0
1.672 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in t
1.672 * [taylor]: Taking taylor expansion of -1 in t
1.672 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in t
1.672 * [taylor]: Taking taylor expansion of x in t
1.672 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in t
1.672 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
1.672 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.672 * [taylor]: Taking taylor expansion of z in t
1.672 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.672 * [taylor]: Taking taylor expansion of y in t
1.672 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
1.672 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.672 * [taylor]: Taking taylor expansion of t in t
1.672 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.672 * [taylor]: Taking taylor expansion of y in t
1.673 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in z
1.673 * [taylor]: Taking taylor expansion of -1 in z
1.673 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in z
1.673 * [taylor]: Taking taylor expansion of x in z
1.674 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in z
1.674 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
1.674 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.674 * [taylor]: Taking taylor expansion of z in z
1.674 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.674 * [taylor]: Taking taylor expansion of y in z
1.674 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
1.674 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.674 * [taylor]: Taking taylor expansion of t in z
1.674 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.674 * [taylor]: Taking taylor expansion of y in z
1.675 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in y
1.675 * [taylor]: Taking taylor expansion of -1 in y
1.675 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in y
1.675 * [taylor]: Taking taylor expansion of x in y
1.675 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in y
1.675 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.675 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.675 * [taylor]: Taking taylor expansion of z in y
1.675 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.675 * [taylor]: Taking taylor expansion of y in y
1.676 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
1.676 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.676 * [taylor]: Taking taylor expansion of t in y
1.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.676 * [taylor]: Taking taylor expansion of y in y
1.676 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in x
1.676 * [taylor]: Taking taylor expansion of -1 in x
1.676 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in x
1.676 * [taylor]: Taking taylor expansion of x in x
1.676 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in x
1.676 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
1.676 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.676 * [taylor]: Taking taylor expansion of z in x
1.676 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.676 * [taylor]: Taking taylor expansion of y in x
1.676 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
1.676 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.677 * [taylor]: Taking taylor expansion of t in x
1.677 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.677 * [taylor]: Taking taylor expansion of y in x
1.681 * [taylor]: Taking taylor expansion of (/ -1 (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))))) in x
1.682 * [taylor]: Taking taylor expansion of -1 in x
1.682 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y)))) in x
1.682 * [taylor]: Taking taylor expansion of x in x
1.682 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) (- (/ 1 t) (/ 1 y))) in x
1.682 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
1.682 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.682 * [taylor]: Taking taylor expansion of z in x
1.682 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.682 * [taylor]: Taking taylor expansion of y in x
1.682 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
1.682 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.682 * [taylor]: Taking taylor expansion of t in x
1.682 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.682 * [taylor]: Taking taylor expansion of y in x
1.687 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y))))) in y
1.687 * [taylor]: Taking taylor expansion of -1 in y
1.687 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t z)) (/ 1 (pow y 2))) (+ (/ 1 (* z y)) (/ 1 (* t y)))) in y
1.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (pow y 2))) in y
1.687 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.687 * [taylor]: Taking taylor expansion of (* t z) in y
1.687 * [taylor]: Taking taylor expansion of t in y
1.687 * [taylor]: Taking taylor expansion of z in y
1.687 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.687 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.687 * [taylor]: Taking taylor expansion of y in y
1.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t y))) in y
1.687 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.687 * [taylor]: Taking taylor expansion of (* z y) in y
1.687 * [taylor]: Taking taylor expansion of z in y
1.687 * [taylor]: Taking taylor expansion of y in y
1.688 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.688 * [taylor]: Taking taylor expansion of (* t y) in y
1.688 * [taylor]: Taking taylor expansion of t in y
1.688 * [taylor]: Taking taylor expansion of y in y
1.688 * [taylor]: Taking taylor expansion of -1 in z
1.688 * [taylor]: Taking taylor expansion of 0 in t
1.693 * [taylor]: Taking taylor expansion of 0 in y
1.693 * [taylor]: Taking taylor expansion of 0 in z
1.693 * [taylor]: Taking taylor expansion of 0 in t
1.695 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 t))) in z
1.695 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
1.695 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.695 * [taylor]: Taking taylor expansion of z in z
1.695 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.695 * [taylor]: Taking taylor expansion of t in z
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [taylor]: Taking taylor expansion of 0 in y
1.703 * [taylor]: Taking taylor expansion of 0 in z
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.703 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
1.703 * [approximate]: Taking taylor expansion of (/ x (- y z)) in (x y z) around 0
1.703 * [taylor]: Taking taylor expansion of (/ x (- y z)) in z
1.703 * [taylor]: Taking taylor expansion of x in z
1.703 * [taylor]: Taking taylor expansion of (- y z) in z
1.703 * [taylor]: Taking taylor expansion of y in z
1.703 * [taylor]: Taking taylor expansion of z in z
1.703 * [taylor]: Taking taylor expansion of (/ x (- y z)) in y
1.703 * [taylor]: Taking taylor expansion of x in y
1.703 * [taylor]: Taking taylor expansion of (- y z) in y
1.703 * [taylor]: Taking taylor expansion of y in y
1.703 * [taylor]: Taking taylor expansion of z in y
1.704 * [taylor]: Taking taylor expansion of (/ x (- y z)) in x
1.704 * [taylor]: Taking taylor expansion of x in x
1.704 * [taylor]: Taking taylor expansion of (- y z) in x
1.704 * [taylor]: Taking taylor expansion of y in x
1.704 * [taylor]: Taking taylor expansion of z in x
1.704 * [taylor]: Taking taylor expansion of (/ x (- y z)) in x
1.704 * [taylor]: Taking taylor expansion of x in x
1.704 * [taylor]: Taking taylor expansion of (- y z) in x
1.704 * [taylor]: Taking taylor expansion of y in x
1.704 * [taylor]: Taking taylor expansion of z in x
1.704 * [taylor]: Taking taylor expansion of (/ 1 (- y z)) in y
1.704 * [taylor]: Taking taylor expansion of (- y z) in y
1.704 * [taylor]: Taking taylor expansion of y in y
1.705 * [taylor]: Taking taylor expansion of z in y
1.705 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.705 * [taylor]: Taking taylor expansion of -1 in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.706 * [taylor]: Taking taylor expansion of 0 in y
1.706 * [taylor]: Taking taylor expansion of 0 in z
1.706 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z
1.706 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.706 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.706 * [taylor]: Taking taylor expansion of z in z
1.709 * [taylor]: Taking taylor expansion of 0 in y
1.709 * [taylor]: Taking taylor expansion of 0 in z
1.709 * [taylor]: Taking taylor expansion of 0 in z
1.709 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0
1.709 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in z
1.709 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in z
1.709 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
1.709 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.709 * [taylor]: Taking taylor expansion of y in z
1.709 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.709 * [taylor]: Taking taylor expansion of z in z
1.709 * [taylor]: Taking taylor expansion of x in z
1.710 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in y
1.710 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in y
1.710 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.710 * [taylor]: Taking taylor expansion of y in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.710 * [taylor]: Taking taylor expansion of z in y
1.710 * [taylor]: Taking taylor expansion of x in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in x
1.710 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
1.710 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
1.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.710 * [taylor]: Taking taylor expansion of y in x
1.710 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.710 * [taylor]: Taking taylor expansion of z in x
1.710 * [taylor]: Taking taylor expansion of x in x
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) x)) in x
1.712 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) x) in x
1.712 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
1.712 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.712 * [taylor]: Taking taylor expansion of y in x
1.712 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.712 * [taylor]: Taking taylor expansion of z in x
1.712 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) (/ 1 z))) in y
1.714 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.714 * [taylor]: Taking taylor expansion of y in y
1.714 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.714 * [taylor]: Taking taylor expansion of z in y
1.714 * [taylor]: Taking taylor expansion of 1 in z
1.716 * [taylor]: Taking taylor expansion of 0 in y
1.716 * [taylor]: Taking taylor expansion of 0 in z
1.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.717 * [taylor]: Taking taylor expansion of z in z
1.720 * [taylor]: Taking taylor expansion of 0 in y
1.720 * [taylor]: Taking taylor expansion of 0 in z
1.720 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [approximate]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 y)))) in (x y z) around 0
1.721 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 y)))) in z
1.721 * [taylor]: Taking taylor expansion of -1 in z
1.721 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in z
1.721 * [taylor]: Taking taylor expansion of x in z
1.721 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
1.721 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.721 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.721 * [taylor]: Taking taylor expansion of y in z
1.721 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 y)))) in y
1.721 * [taylor]: Taking taylor expansion of -1 in y
1.721 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in y
1.721 * [taylor]: Taking taylor expansion of x in y
1.721 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.721 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.721 * [taylor]: Taking taylor expansion of z in y
1.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.721 * [taylor]: Taking taylor expansion of y in y
1.722 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 y)))) in x
1.722 * [taylor]: Taking taylor expansion of -1 in x
1.722 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in x
1.722 * [taylor]: Taking taylor expansion of x in x
1.722 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
1.722 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.722 * [taylor]: Taking taylor expansion of z in x
1.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.722 * [taylor]: Taking taylor expansion of y in x
1.724 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 z) (/ 1 y)))) in x
1.724 * [taylor]: Taking taylor expansion of -1 in x
1.724 * [taylor]: Taking taylor expansion of (* x (- (/ 1 z) (/ 1 y))) in x
1.724 * [taylor]: Taking taylor expansion of x in x
1.724 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
1.724 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.724 * [taylor]: Taking taylor expansion of z in x
1.724 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.724 * [taylor]: Taking taylor expansion of y in x
1.726 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 z) (/ 1 y))) in y
1.726 * [taylor]: Taking taylor expansion of -1 in y
1.726 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.726 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.726 * [taylor]: Taking taylor expansion of z in y
1.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.726 * [taylor]: Taking taylor expansion of y in y
1.726 * [taylor]: Taking taylor expansion of 1 in z
1.728 * [taylor]: Taking taylor expansion of 0 in y
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.729 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.729 * [taylor]: Taking taylor expansion of z in z
1.732 * [taylor]: Taking taylor expansion of 0 in y
1.732 * [taylor]: Taking taylor expansion of 0 in z
1.732 * [taylor]: Taking taylor expansion of 0 in z
1.732 * * * [progress]: simplifying candidates
1.735 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 y t) (-.f64 y z))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (*.f64 y y) (*.f64 t t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (/.f64 (-.f64 y t) (+.f64 y z))
  (/.f64 (-.f64 y t) (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 1 (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 x (sqrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 x (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (sqrt.f64 (/.f64 x (-.f64 y z))))
  (/.f64 (-.f64 y t) (cbrt.f64 (/.f64 x (-.f64 y z))))
  (/.f64 (/.f64 x (-.f64 y z)) 1)
  (/.f64 (/.f64 x (-.f64 y z)) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 y z)) 1)
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 1 (-.f64 y t))
  (/.f64 (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z))) 1)
  (/.f64 (+.f64 y z) (-.f64 y t))
  (/.f64 (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (+.f64 y z) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z))) 1)
  (/.f64 (+.f64 y z) (-.f64 y t))
  (/.f64 (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (+.f64 y z) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (+.f64 y z) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) 1)
  (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) 1)
  (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 z z) (*.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 x 1)
  (/.f64 (/.f64 1 (-.f64 y z)) (-.f64 y t))
  (/.f64 x (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 1 (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 x 1)
  (/.f64 (/.f64 1 (-.f64 y z)) (-.f64 y t))
  (/.f64 x (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 x (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 1 (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 1 1)
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 1 1)
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
  (/.f64 1 (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 1) 1)
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 1 1) 1)
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 1 1) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z))) 1)
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z))) 1)
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 1) 1)
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 1 1) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 1 1) 1)
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 1 1) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y z))) 1)
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y z))) 1)
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) 1)
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) 1)
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) 1) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) 1) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) 1) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) 1) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) 1) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) 1) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) 1) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) 1) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) 1) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) 1) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) 1)
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y z))) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y z))) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) 1)
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) 1)
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) 1)
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) 1)
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) 1)
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (neg.f64 (/.f64 x (-.f64 y z)))
  (neg.f64 (-.f64 y t))
  (sqrt.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
  (sqrt.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
  (*.f64 (*.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)) (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))) (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
  (*.f64 (cbrt.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))) (cbrt.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))
  (cbrt.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
  (/.f64 (*.f64 (*.f64 (/.f64 x (-.f64 y z)) (/.f64 x (-.f64 y z))) (/.f64 x (-.f64 y z))) (*.f64 (*.f64 (-.f64 y t) (-.f64 y t)) (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 y z) (-.f64 y z)) (-.f64 y z))) (*.f64 (*.f64 (-.f64 y t) (-.f64 y t)) (-.f64 y t)))
  (exp.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
  (log.f64 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
  (-.f64 (log.f64 (/.f64 x (-.f64 y z))) (log.f64 (-.f64 y t)))
  (-.f64 (-.f64 (log.f64 x) (log.f64 (-.f64 y z))) (log.f64 (-.f64 y t)))
  (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (/.f64 (-.f64 y z) x)
  (/.f64 (-.f64 y z) (sqrt.f64 x))
  (/.f64 (-.f64 y z) (cbrt.f64 x))
  (/.f64 x 1)
  (/.f64 x (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 x 1)
  (/.f64 x (sqrt.f64 (-.f64 y z)))
  (/.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y z) x)
  (/.f64 1 (-.f64 y z))
  (/.f64 1 1)
  (/.f64 x (-.f64 y z))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 1 1)
  (/.f64 x (-.f64 y z))
  (/.f64 1 (sqrt.f64 (-.f64 y z)))
  (/.f64 x (sqrt.f64 (-.f64 y z)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 x (cbrt.f64 (-.f64 y z)))
  (/.f64 (sqrt.f64 x) 1)
  (/.f64 (sqrt.f64 x) (-.f64 y z))
  (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (sqrt.f64 x) 1)
  (/.f64 (sqrt.f64 x) (-.f64 y z))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)
  (/.f64 (cbrt.f64 x) (-.f64 y z))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)
  (/.f64 (cbrt.f64 x) (-.f64 y z))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y z)))
  (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z)))
  (neg.f64 x)
  (neg.f64 (-.f64 y z))
  (sqrt.f64 (/.f64 x (-.f64 y z)))
  (sqrt.f64 (/.f64 x (-.f64 y z)))
  (*.f64 (*.f64 (/.f64 x (-.f64 y z)) (/.f64 x (-.f64 y z))) (/.f64 x (-.f64 y z)))
  (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z))))
  (cbrt.f64 (/.f64 x (-.f64 y z)))
  (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 y z) (-.f64 y z)) (-.f64 y z)))
  (exp.f64 (/.f64 x (-.f64 y z)))
  (log.f64 (/.f64 x (-.f64 y z)))
  (-.f64 (log.f64 x) (log.f64 (-.f64 y z)))
  0
  0
  0
  0
  0
  0
1.805 * * [simplify]: iteration  0 :  5026  enodes  (cost  4779 )
1.826 * [simplify]: Simplified to:
   (*.f64 (-.f64 y t) (-.f64 y z))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (*.f64 y y) (*.f64 t t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (pow.f64 y 3) (pow.f64 t 3)))
  (/.f64 (-.f64 y t) (+.f64 y z))
  (/.f64 (-.f64 y t) (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))))
  (*.f64 (-.f64 y t) (-.f64 y z))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 x (sqrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 x (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (-.f64 y z)))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y t) (sqrt.f64 (/.f64 x (-.f64 y z))))
  (/.f64 (-.f64 y t) (cbrt.f64 (/.f64 x (-.f64 y z))))
  (/.f64 x (-.f64 y z))
  (/.f64 (/.f64 x (-.f64 y z)) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 x (-.f64 y z))
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (-.f64 y t) (/.f64 x (-.f64 y z)))
  (/.f64 1 (-.f64 y t))
  (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (/.f64 (+.f64 y z) (-.f64 y t))
  (/.f64 (/.f64 (/.f64 x (-.f64 y z)) (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (+.f64 y z))
  (/.f64 (+.f64 y z) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (/.f64 (+.f64 y z) (-.f64 y t))
  (/.f64 (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t))) (+.f64 y z))
  (/.f64 (+.f64 y z) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (/.f64 x (-.f64 y z)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (+.f64 y z))
  (/.f64 (+.f64 y z) (cbrt.f64 (-.f64 y t)))
  (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (/.f64 (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (/.f64 (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (+.f64 (*.f64 y y) (*.f64 z (+.f64 y z))) (cbrt.f64 (-.f64 y t)))
  x
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 x (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 1 (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  x
  (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 x (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 x (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 1 (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  1
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  1
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  1
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  1
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y t))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (cbrt.f64 (-.f64 y t)))
  1
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 x (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  1
  (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 1 (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 x (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 1 (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 1 (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y t))) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 x (sqrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 1 (sqrt.f64 (-.f64 y t))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 x (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (sqrt.f64 x)
  (/.f64 (sqrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (sqrt.f64 x)
  (/.f64 (sqrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y t))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (cbrt.f64 (-.f64 y t)))
  (sqrt.f64 x)
  (/.f64 (sqrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (sqrt.f64 x)
  (/.f64 (sqrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y t))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (/.f64 (cbrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (/.f64 (cbrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y t))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z))) (cbrt.f64 (-.f64 y t)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (/.f64 (cbrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (/.f64 (cbrt.f64 x) (*.f64 (-.f64 y t) (-.f64 y z)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (sqrt.f64 (-.f64 y t)))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (/.f64 (cbrt.f64 x) (-.f64 y z)) (cbrt.f64 (-.f64 y t)))
  (*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y t))) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (sqrt.f64 (-.f64 y z)))
  (/.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 t))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (-.f64 y t))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 (-.f64 y t))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (sqrt.f64 (/.f64 x (-.f64 y z)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (sqrt.f64 (/.f64 x (-.f64 y z)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (sqrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z))))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) (+.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (-.f64 (sqrt.f64 y) (sqrt.f64 t)))
  (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z))))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (-.f64 y t))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (sqrt.f64 (-.f64 y t)))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z)))) (*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t))))
  (/.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (-.f64 y t)))
  (neg.f64 (/.f64 x (-.f64 y z)))
  (neg.f64 (-.f64 y t))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (sqrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (*.f64 (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))) (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z)))))
  (cbrt.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (pow.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))) 3)
  (exp.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (log.f64 (/.f64 x (*.f64 (-.f64 y t) (-.f64 y z))))
  (/.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (/.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (/.f64 (-.f64 y z) x)
  (/.f64 (-.f64 y z) (sqrt.f64 x))
  (/.f64 (-.f64 y z) (cbrt.f64 x))
  x
  (/.f64 x (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  x
  (/.f64 x (sqrt.f64 (-.f64 y z)))
  (/.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (-.f64 y z) x)
  (/.f64 1 (-.f64 y z))
  1
  (/.f64 x (-.f64 y z))
  (/.f64 1 (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 x (-.f64 (sqrt.f64 y) (sqrt.f64 z)))
  1
  (/.f64 x (-.f64 y z))
  (/.f64 1 (sqrt.f64 (-.f64 y z)))
  (/.f64 x (sqrt.f64 (-.f64 y z)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 x (cbrt.f64 (-.f64 y z)))
  (sqrt.f64 x)
  (/.f64 (sqrt.f64 x) (-.f64 y z))
  (/.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (sqrt.f64 x)
  (/.f64 (sqrt.f64 x) (-.f64 y z))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))))
  (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 y z)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (/.f64 (cbrt.f64 x) (-.f64 y z))
  (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (/.f64 (cbrt.f64 x) (-.f64 (sqrt.f64 y) (sqrt.f64 z)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (/.f64 (cbrt.f64 x) (-.f64 y z))
  (*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z))))
  (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 y z)))
  (*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z))))
  (/.f64 (cbrt.f64 x) (cbrt.f64 (-.f64 y z)))
  (neg.f64 x)
  (neg.f64 (-.f64 y z))
  (sqrt.f64 (/.f64 x (-.f64 y z)))
  (sqrt.f64 (/.f64 x (-.f64 y z)))
  (pow.f64 (/.f64 x (-.f64 y z)) 3)
  (*.f64 (cbrt.f64 (/.f64 x (-.f64 y z))) (cbrt.f64 (/.f64 x (-.f64 y z))))
  (cbrt.f64 (/.f64 x (-.f64 y z)))
  (pow.f64 (/.f64 x (-.f64 y z)) 3)
  (exp.f64 (/.f64 x (-.f64 y z)))
  (log.f64 (/.f64 x (-.f64 y z)))
  (log.f64 (/.f64 x (-.f64 y z)))
  0
  0
  0
  0
  0
  0
1.828 * * * [progress]: adding candidates to table
2.190 * [progress]: [Phase 3 of 3] Extracting.
2.190 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.191 * * * [regime-changes]: Trying 7 branch expressions: ((*.f64 (-.f64 y z) (-.f64 y t)) (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))) t z y x)
2.191 * * * * [regimes]: Trying to branch on (*.f64 (-.f64 y z) (-.f64 y t)) from (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.256 * * * * [regimes]: Trying to branch on (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))) from (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.326 * * * * [regimes]: Trying to branch on (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))) from (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.394 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.469 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.543 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.617 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))))> #<alt (λ (x y z t) (-.f64 1 (*.f64 x (/.f64 1 (*.f64 (-.f64 y t) (-.f64 y z))))))> #<alt (λ (x y z t) (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))))>)
2.691 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.691 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
2.693 * * [simplify]: iteration  0 :  45  enodes  (cost  16 )
2.693 * * [simplify]: iteration  1 :  45  enodes  (cost  16 )
2.694 * [simplify]: Simplified to:
   (-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
4.145 * [regime-testing]: End program error score: 0.5776860133960371