20.123 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.508 * * * [progress]: [2/2] Setting up program.
0.516 * [progress]: [Phase 2 of 3] Improving.
0.516 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
0.701 * * [simplify]: iteration  0 :  1744  enodes  (cost  13 )
0.701 * * [simplify]: iteration  1 :  1744  enodes  (cost  13 )
0.702 * [simplify]: Simplified to:
   (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
0.702 * * [progress]: iteration 1 / 4
0.702 * * * [progress]: picking best candidate
0.715 * * * * [pick]: Picked  #<alt (λ (x y z t) (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))>
0.715 * * * [progress]: localizing error
0.738 * * * [progress]: generating rewritten candidates
0.738 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.756 * * * [progress]: generating series expansions
0.756 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.757 * [approximate]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in (x y z t) around 0
0.757 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in t
0.757 * [taylor]: Taking taylor expansion of 1/2 in t
0.757 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
0.757 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
0.757 * [taylor]: Taking taylor expansion of (+ x y) in t
0.757 * [taylor]: Taking taylor expansion of x in t
0.758 * [taylor]: Taking taylor expansion of y in t
0.758 * [taylor]: Taking taylor expansion of z in t
0.758 * [taylor]: Taking taylor expansion of t in t
0.759 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in z
0.759 * [taylor]: Taking taylor expansion of 1/2 in z
0.759 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
0.759 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
0.759 * [taylor]: Taking taylor expansion of (+ x y) in z
0.759 * [taylor]: Taking taylor expansion of x in z
0.759 * [taylor]: Taking taylor expansion of y in z
0.759 * [taylor]: Taking taylor expansion of z in z
0.759 * [taylor]: Taking taylor expansion of t in z
0.759 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in y
0.759 * [taylor]: Taking taylor expansion of 1/2 in y
0.759 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
0.759 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
0.760 * [taylor]: Taking taylor expansion of (+ x y) in y
0.760 * [taylor]: Taking taylor expansion of x in y
0.760 * [taylor]: Taking taylor expansion of y in y
0.760 * [taylor]: Taking taylor expansion of z in y
0.760 * [taylor]: Taking taylor expansion of t in y
0.760 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in x
0.760 * [taylor]: Taking taylor expansion of 1/2 in x
0.760 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.760 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.760 * [taylor]: Taking taylor expansion of (+ x y) in x
0.761 * [taylor]: Taking taylor expansion of x in x
0.761 * [taylor]: Taking taylor expansion of y in x
0.761 * [taylor]: Taking taylor expansion of z in x
0.761 * [taylor]: Taking taylor expansion of t in x
0.761 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in x
0.761 * [taylor]: Taking taylor expansion of 1/2 in x
0.761 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.761 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.761 * [taylor]: Taking taylor expansion of (+ x y) in x
0.761 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of y in x
0.762 * [taylor]: Taking taylor expansion of z in x
0.762 * [taylor]: Taking taylor expansion of t in x
0.763 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- y z) t)) in y
0.763 * [taylor]: Taking taylor expansion of 1/2 in y
0.763 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
0.763 * [taylor]: Taking taylor expansion of (- y z) in y
0.763 * [taylor]: Taking taylor expansion of y in y
0.763 * [taylor]: Taking taylor expansion of z in y
0.763 * [taylor]: Taking taylor expansion of t in y
0.764 * [taylor]: Taking taylor expansion of (* -1/2 (/ z t)) in z
0.764 * [taylor]: Taking taylor expansion of -1/2 in z
0.764 * [taylor]: Taking taylor expansion of (/ z t) in z
0.764 * [taylor]: Taking taylor expansion of z in z
0.764 * [taylor]: Taking taylor expansion of t in z
0.766 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 t)) in y
0.766 * [taylor]: Taking taylor expansion of 1/2 in y
0.766 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.766 * [taylor]: Taking taylor expansion of t in y
0.766 * [taylor]: Taking taylor expansion of (/ 1/2 t) in z
0.766 * [taylor]: Taking taylor expansion of 1/2 in z
0.766 * [taylor]: Taking taylor expansion of t in z
0.766 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t
0.766 * [taylor]: Taking taylor expansion of 1/2 in t
0.766 * [taylor]: Taking taylor expansion of t in t
0.768 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 t)) in z
0.768 * [taylor]: Taking taylor expansion of 1/2 in z
0.768 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.768 * [taylor]: Taking taylor expansion of t in z
0.768 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t
0.768 * [taylor]: Taking taylor expansion of 1/2 in t
0.768 * [taylor]: Taking taylor expansion of t in t
0.768 * [taylor]: Taking taylor expansion of (/ -1/2 t) in t
0.768 * [taylor]: Taking taylor expansion of -1/2 in t
0.768 * [taylor]: Taking taylor expansion of t in t
0.770 * [approximate]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0
0.770 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
0.770 * [taylor]: Taking taylor expansion of 1/2 in t
0.770 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
0.770 * [taylor]: Taking taylor expansion of t in t
0.770 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
0.770 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.770 * [taylor]: Taking taylor expansion of y in t
0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.770 * [taylor]: Taking taylor expansion of x in t
0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.771 * [taylor]: Taking taylor expansion of z in t
0.771 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
0.771 * [taylor]: Taking taylor expansion of 1/2 in z
0.771 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
0.771 * [taylor]: Taking taylor expansion of t in z
0.771 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.771 * [taylor]: Taking taylor expansion of y in z
0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.771 * [taylor]: Taking taylor expansion of x in z
0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.771 * [taylor]: Taking taylor expansion of z in z
0.771 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
0.771 * [taylor]: Taking taylor expansion of 1/2 in y
0.771 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
0.771 * [taylor]: Taking taylor expansion of t in y
0.771 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.771 * [taylor]: Taking taylor expansion of y in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.771 * [taylor]: Taking taylor expansion of x in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.771 * [taylor]: Taking taylor expansion of z in y
0.771 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.771 * [taylor]: Taking taylor expansion of 1/2 in x
0.771 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.772 * [taylor]: Taking taylor expansion of t in x
0.772 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.772 * [taylor]: Taking taylor expansion of y in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.772 * [taylor]: Taking taylor expansion of x in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.772 * [taylor]: Taking taylor expansion of z in x
0.772 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.772 * [taylor]: Taking taylor expansion of 1/2 in x
0.772 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.772 * [taylor]: Taking taylor expansion of t in x
0.772 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.772 * [taylor]: Taking taylor expansion of y in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.772 * [taylor]: Taking taylor expansion of x in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.772 * [taylor]: Taking taylor expansion of z in x
0.773 * [taylor]: Taking taylor expansion of (* 1/2 t) in y
0.773 * [taylor]: Taking taylor expansion of 1/2 in y
0.773 * [taylor]: Taking taylor expansion of t in y
0.774 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ t y)) (* 1/2 (/ t z))) in y
0.774 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y
0.774 * [taylor]: Taking taylor expansion of 1/2 in y
0.774 * [taylor]: Taking taylor expansion of (/ t y) in y
0.774 * [taylor]: Taking taylor expansion of t in y
0.774 * [taylor]: Taking taylor expansion of y in y
0.774 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y
0.774 * [taylor]: Taking taylor expansion of 1/2 in y
0.774 * [taylor]: Taking taylor expansion of (/ t z) in y
0.774 * [taylor]: Taking taylor expansion of t in y
0.774 * [taylor]: Taking taylor expansion of z in y
0.775 * [taylor]: Taking taylor expansion of (* 1/2 t) in z
0.775 * [taylor]: Taking taylor expansion of 1/2 in z
0.775 * [taylor]: Taking taylor expansion of t in z
0.775 * [taylor]: Taking taylor expansion of (* 1/2 t) in z
0.775 * [taylor]: Taking taylor expansion of 1/2 in z
0.775 * [taylor]: Taking taylor expansion of t in z
0.777 * [taylor]: Taking taylor expansion of 0 in y
0.778 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ t z))) in z
0.778 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z
0.778 * [taylor]: Taking taylor expansion of 1/2 in z
0.778 * [taylor]: Taking taylor expansion of (/ t z) in z
0.778 * [taylor]: Taking taylor expansion of t in z
0.778 * [taylor]: Taking taylor expansion of z in z
0.778 * [taylor]: Taking taylor expansion of (neg (* 1/2 t)) in t
0.778 * [taylor]: Taking taylor expansion of (* 1/2 t) in t
0.778 * [taylor]: Taking taylor expansion of 1/2 in t
0.778 * [taylor]: Taking taylor expansion of t in t
0.779 * [taylor]: Taking taylor expansion of 0 in z
0.779 * [taylor]: Taking taylor expansion of (* 1/2 t) in t
0.779 * [taylor]: Taking taylor expansion of 1/2 in t
0.779 * [taylor]: Taking taylor expansion of t in t
0.779 * [taylor]: Taking taylor expansion of (* 1/2 t) in t
0.779 * [taylor]: Taking taylor expansion of 1/2 in t
0.779 * [taylor]: Taking taylor expansion of t in t
0.781 * [taylor]: Taking taylor expansion of 0 in y
0.781 * [taylor]: Taking taylor expansion of 0 in z
0.783 * [taylor]: Taking taylor expansion of 0 in z
0.783 * [taylor]: Taking taylor expansion of 0 in z
0.784 * [taylor]: Taking taylor expansion of 0 in t
0.784 * [taylor]: Taking taylor expansion of 0 in t
0.784 * [taylor]: Taking taylor expansion of 0 in t
0.785 * [approximate]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
0.785 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
0.785 * [taylor]: Taking taylor expansion of -1/2 in t
0.785 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
0.785 * [taylor]: Taking taylor expansion of t in t
0.785 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
0.785 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.785 * [taylor]: Taking taylor expansion of z in t
0.785 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.785 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.785 * [taylor]: Taking taylor expansion of y in t
0.785 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.785 * [taylor]: Taking taylor expansion of x in t
0.785 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
0.785 * [taylor]: Taking taylor expansion of -1/2 in z
0.785 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
0.785 * [taylor]: Taking taylor expansion of t in z
0.785 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
0.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.786 * [taylor]: Taking taylor expansion of z in z
0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.786 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.786 * [taylor]: Taking taylor expansion of y in z
0.786 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.786 * [taylor]: Taking taylor expansion of x in z
0.786 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
0.786 * [taylor]: Taking taylor expansion of -1/2 in y
0.786 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
0.786 * [taylor]: Taking taylor expansion of t in y
0.786 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
0.786 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.786 * [taylor]: Taking taylor expansion of z in y
0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.786 * [taylor]: Taking taylor expansion of y in y
0.786 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.786 * [taylor]: Taking taylor expansion of x in y
0.786 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.786 * [taylor]: Taking taylor expansion of -1/2 in x
0.786 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.786 * [taylor]: Taking taylor expansion of t in x
0.786 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.786 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.786 * [taylor]: Taking taylor expansion of z in x
0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.786 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.786 * [taylor]: Taking taylor expansion of y in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.787 * [taylor]: Taking taylor expansion of -1/2 in x
0.787 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.787 * [taylor]: Taking taylor expansion of t in x
0.787 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.787 * [taylor]: Taking taylor expansion of z in x
0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.787 * [taylor]: Taking taylor expansion of y in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (* 1/2 t) in y
0.787 * [taylor]: Taking taylor expansion of 1/2 in y
0.787 * [taylor]: Taking taylor expansion of t in y
0.789 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ t y)) (* 1/2 (/ t z))) in y
0.789 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y
0.789 * [taylor]: Taking taylor expansion of 1/2 in y
0.789 * [taylor]: Taking taylor expansion of (/ t y) in y
0.789 * [taylor]: Taking taylor expansion of t in y
0.789 * [taylor]: Taking taylor expansion of y in y
0.789 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y
0.789 * [taylor]: Taking taylor expansion of 1/2 in y
0.789 * [taylor]: Taking taylor expansion of (/ t z) in y
0.789 * [taylor]: Taking taylor expansion of t in y
0.789 * [taylor]: Taking taylor expansion of z in y
0.790 * [taylor]: Taking taylor expansion of (* 1/2 t) in z
0.790 * [taylor]: Taking taylor expansion of 1/2 in z
0.790 * [taylor]: Taking taylor expansion of t in z
0.790 * [taylor]: Taking taylor expansion of (* 1/2 t) in z
0.790 * [taylor]: Taking taylor expansion of 1/2 in z
0.790 * [taylor]: Taking taylor expansion of t in z
0.792 * [taylor]: Taking taylor expansion of 0 in y
0.793 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ t z))) in z
0.793 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z
0.793 * [taylor]: Taking taylor expansion of 1/2 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 (* 1/2 t)) in t
0.793 * [taylor]: Taking taylor expansion of (* 1/2 t) in t
0.793 * [taylor]: Taking taylor expansion of 1/2 in t
0.793 * [taylor]: Taking taylor expansion of t in t
0.794 * [taylor]: Taking taylor expansion of 0 in z
0.794 * [taylor]: Taking taylor expansion of (* 1/2 t) in t
0.794 * [taylor]: Taking taylor expansion of 1/2 in t
0.794 * [taylor]: Taking taylor expansion of t in t
0.794 * [taylor]: Taking taylor expansion of (* 1/2 t) in t
0.794 * [taylor]: Taking taylor expansion of 1/2 in t
0.794 * [taylor]: Taking taylor expansion of t in t
0.796 * [taylor]: Taking taylor expansion of 0 in y
0.796 * [taylor]: Taking taylor expansion of 0 in z
0.798 * [taylor]: Taking taylor expansion of 0 in z
0.798 * [taylor]: Taking taylor expansion of 0 in z
0.799 * [taylor]: Taking taylor expansion of 0 in t
0.799 * [taylor]: Taking taylor expansion of 0 in t
0.799 * [taylor]: Taking taylor expansion of 0 in t
0.799 * * * [progress]: simplifying candidates
0.799 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t 2) (+.f64 (+.f64 x y) z))
  (*.f64 (*.f64 t 2) (+.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (*.f64 t 2) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (*.f64 t 2) (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 t 2) (cbrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 1 (*.f64 t 2))
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) t)
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) t)
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 2)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) t)
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) 2)
  (/.f64 (+.f64 x y) (*.f64 t 2))
  (/.f64 z (*.f64 t 2))
  (neg.f64 (-.f64 (+.f64 x y) z))
  (neg.f64 (*.f64 t 2))
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (*.f64 (*.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))))
  (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (/.f64 (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z)) (*.f64 (*.f64 (*.f64 t 2) (*.f64 t 2)) (*.f64 t 2)))
  (/.f64 (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z)) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2 2) 2)))
  (exp.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (-.f64 (log.f64 (-.f64 (+.f64 x y) z)) (log.f64 (*.f64 t 2)))
  (-.f64 (log.f64 (-.f64 (+.f64 x y) z)) (+.f64 (log.f64 t) (log.f64 2)))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 x t))) (*.f64 1/2 (/.f64 z t)))
  0
  0
0.887 * * [simplify]: iteration  0 :  5016  enodes  (cost  513 )
0.890 * [simplify]: Simplified to:
   (*.f64 (*.f64 t 2) (+.f64 (+.f64 x y) z))
  (*.f64 (*.f64 t 2) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) (+.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (*.f64 t 2) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (*.f64 t 2) (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 t 2) (cbrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 1/2 t)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) t)
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) t)
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 2)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) t)
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) 2)
  (/.f64 (+.f64 x y) (*.f64 t 2))
  (/.f64 z (*.f64 t 2))
  (-.f64 z (+.f64 x y))
  (*.f64 t -2)
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (/.f64 (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 3) 8)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))))
  (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (/.f64 (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 3) 8)
  (/.f64 (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 3) 8)
  (sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 x y) z) t)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (*.f64 1/2 (+.f64 (/.f64 y t) (-.f64 (/.f64 x t) (/.f64 z t))))
  0
  0
0.890 * * * [progress]: adding candidates to table
0.994 * * [progress]: iteration 2 / 4
0.994 * * * [progress]: picking best candidate
1.023 * * * * [pick]: Picked  #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))>
1.024 * * * [progress]: localizing error
1.033 * * * [progress]: generating rewritten candidates
1.033 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
1.043 * * * [progress]: generating series expansions
1.043 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
1.043 * [approximate]: Taking taylor expansion of (/ (- (+ x y) z) t) in (x y z t) around 0
1.043 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
1.043 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
1.043 * [taylor]: Taking taylor expansion of (+ x y) in t
1.043 * [taylor]: Taking taylor expansion of x in t
1.043 * [taylor]: Taking taylor expansion of y in t
1.043 * [taylor]: Taking taylor expansion of z in t
1.043 * [taylor]: Taking taylor expansion of t in t
1.044 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
1.044 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
1.044 * [taylor]: Taking taylor expansion of (+ x y) in z
1.044 * [taylor]: Taking taylor expansion of x in z
1.044 * [taylor]: Taking taylor expansion of y in z
1.044 * [taylor]: Taking taylor expansion of z in z
1.044 * [taylor]: Taking taylor expansion of t in z
1.044 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
1.044 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
1.044 * [taylor]: Taking taylor expansion of (+ x y) in y
1.044 * [taylor]: Taking taylor expansion of x in y
1.044 * [taylor]: Taking taylor expansion of y in y
1.044 * [taylor]: Taking taylor expansion of z in y
1.044 * [taylor]: Taking taylor expansion of t in y
1.045 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
1.045 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.045 * [taylor]: Taking taylor expansion of (+ x y) in x
1.045 * [taylor]: Taking taylor expansion of x in x
1.045 * [taylor]: Taking taylor expansion of y in x
1.045 * [taylor]: Taking taylor expansion of z in x
1.045 * [taylor]: Taking taylor expansion of t in x
1.045 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
1.045 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.045 * [taylor]: Taking taylor expansion of (+ x y) in x
1.045 * [taylor]: Taking taylor expansion of x in x
1.045 * [taylor]: Taking taylor expansion of y in x
1.045 * [taylor]: Taking taylor expansion of z in x
1.045 * [taylor]: Taking taylor expansion of t in x
1.046 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
1.046 * [taylor]: Taking taylor expansion of (- y z) in y
1.046 * [taylor]: Taking taylor expansion of y in y
1.046 * [taylor]: Taking taylor expansion of z in y
1.046 * [taylor]: Taking taylor expansion of t in y
1.046 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z
1.046 * [taylor]: Taking taylor expansion of -1 in z
1.046 * [taylor]: Taking taylor expansion of (/ z t) in z
1.046 * [taylor]: Taking taylor expansion of z in z
1.046 * [taylor]: Taking taylor expansion of t in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.047 * [taylor]: Taking taylor expansion of t in y
1.047 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.047 * [taylor]: Taking taylor expansion of t in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.047 * [taylor]: Taking taylor expansion of t in t
1.048 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.048 * [taylor]: Taking taylor expansion of t in z
1.048 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.048 * [taylor]: Taking taylor expansion of t in t
1.048 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.048 * [taylor]: Taking taylor expansion of -1 in t
1.048 * [taylor]: Taking taylor expansion of t in t
1.050 * [approximate]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in (x y z t) around 0
1.050 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
1.050 * [taylor]: Taking taylor expansion of t in t
1.050 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
1.050 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.050 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.050 * [taylor]: Taking taylor expansion of y in t
1.050 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.050 * [taylor]: Taking taylor expansion of x in t
1.050 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.050 * [taylor]: Taking taylor expansion of z in t
1.050 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
1.050 * [taylor]: Taking taylor expansion of t in z
1.050 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
1.050 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.050 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.050 * [taylor]: Taking taylor expansion of y in z
1.050 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.050 * [taylor]: Taking taylor expansion of x in z
1.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.050 * [taylor]: Taking taylor expansion of z in z
1.051 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
1.051 * [taylor]: Taking taylor expansion of t in y
1.051 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
1.051 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.051 * [taylor]: Taking taylor expansion of y in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.051 * [taylor]: Taking taylor expansion of x in y
1.051 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.051 * [taylor]: Taking taylor expansion of z in y
1.051 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
1.051 * [taylor]: Taking taylor expansion of t in x
1.051 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
1.051 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.051 * [taylor]: Taking taylor expansion of y in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.051 * [taylor]: Taking taylor expansion of z in x
1.051 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
1.051 * [taylor]: Taking taylor expansion of t in x
1.051 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
1.051 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.051 * [taylor]: Taking taylor expansion of y in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.051 * [taylor]: Taking taylor expansion of z in x
1.052 * [taylor]: Taking taylor expansion of t in y
1.053 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
1.053 * [taylor]: Taking taylor expansion of (/ t y) in y
1.053 * [taylor]: Taking taylor expansion of t in y
1.053 * [taylor]: Taking taylor expansion of y in y
1.053 * [taylor]: Taking taylor expansion of (/ t z) in y
1.053 * [taylor]: Taking taylor expansion of t in y
1.053 * [taylor]: Taking taylor expansion of z in y
1.053 * [taylor]: Taking taylor expansion of t in z
1.053 * [taylor]: Taking taylor expansion of t in z
1.055 * [taylor]: Taking taylor expansion of 0 in y
1.055 * [taylor]: Taking taylor expansion of (neg (/ t z)) in z
1.055 * [taylor]: Taking taylor expansion of (/ t z) in z
1.055 * [taylor]: Taking taylor expansion of t in z
1.055 * [taylor]: Taking taylor expansion of z in z
1.055 * [taylor]: Taking taylor expansion of (neg t) in t
1.055 * [taylor]: Taking taylor expansion of t in t
1.055 * [taylor]: Taking taylor expansion of 0 in z
1.055 * [taylor]: Taking taylor expansion of t in t
1.056 * [taylor]: Taking taylor expansion of t in t
1.057 * [taylor]: Taking taylor expansion of 0 in y
1.057 * [taylor]: Taking taylor expansion of 0 in z
1.058 * [taylor]: Taking taylor expansion of 0 in z
1.058 * [taylor]: Taking taylor expansion of 0 in z
1.059 * [taylor]: Taking taylor expansion of 0 in t
1.059 * [taylor]: Taking taylor expansion of 0 in t
1.059 * [taylor]: Taking taylor expansion of 0 in t
1.059 * [approximate]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
1.059 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
1.059 * [taylor]: Taking taylor expansion of -1 in t
1.059 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
1.059 * [taylor]: Taking taylor expansion of t in t
1.059 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
1.059 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.060 * [taylor]: Taking taylor expansion of z in t
1.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.060 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.060 * [taylor]: Taking taylor expansion of y in t
1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.060 * [taylor]: Taking taylor expansion of x in t
1.060 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
1.060 * [taylor]: Taking taylor expansion of -1 in z
1.060 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
1.060 * [taylor]: Taking taylor expansion of t in z
1.060 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
1.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.060 * [taylor]: Taking taylor expansion of z in z
1.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.060 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.060 * [taylor]: Taking taylor expansion of y in z
1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.060 * [taylor]: Taking taylor expansion of x in z
1.060 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
1.060 * [taylor]: Taking taylor expansion of -1 in y
1.060 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
1.060 * [taylor]: Taking taylor expansion of t in y
1.060 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
1.060 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.060 * [taylor]: Taking taylor expansion of z in y
1.060 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.060 * [taylor]: Taking taylor expansion of y in y
1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.060 * [taylor]: Taking taylor expansion of x in y
1.061 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
1.061 * [taylor]: Taking taylor expansion of -1 in x
1.061 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
1.061 * [taylor]: Taking taylor expansion of t in x
1.061 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.061 * [taylor]: Taking taylor expansion of z in x
1.061 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.061 * [taylor]: Taking taylor expansion of y in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
1.061 * [taylor]: Taking taylor expansion of -1 in x
1.061 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
1.061 * [taylor]: Taking taylor expansion of t in x
1.061 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.061 * [taylor]: Taking taylor expansion of z in x
1.061 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.061 * [taylor]: Taking taylor expansion of y in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.062 * [taylor]: Taking taylor expansion of t in y
1.063 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
1.063 * [taylor]: Taking taylor expansion of (/ t y) in y
1.063 * [taylor]: Taking taylor expansion of t in y
1.063 * [taylor]: Taking taylor expansion of y in y
1.063 * [taylor]: Taking taylor expansion of (/ t z) in y
1.063 * [taylor]: Taking taylor expansion of t in y
1.063 * [taylor]: Taking taylor expansion of z in y
1.063 * [taylor]: Taking taylor expansion of t in z
1.063 * [taylor]: Taking taylor expansion of t in z
1.065 * [taylor]: Taking taylor expansion of 0 in y
1.066 * [taylor]: Taking taylor expansion of (neg (/ t z)) in z
1.066 * [taylor]: Taking taylor expansion of (/ t z) in z
1.066 * [taylor]: Taking taylor expansion of t in z
1.066 * [taylor]: Taking taylor expansion of z in z
1.066 * [taylor]: Taking taylor expansion of (neg t) in t
1.066 * [taylor]: Taking taylor expansion of t in t
1.066 * [taylor]: Taking taylor expansion of 0 in z
1.066 * [taylor]: Taking taylor expansion of t in t
1.066 * [taylor]: Taking taylor expansion of t in t
1.069 * [taylor]: Taking taylor expansion of 0 in y
1.069 * [taylor]: Taking taylor expansion of 0 in z
1.070 * [taylor]: Taking taylor expansion of 0 in z
1.070 * [taylor]: Taking taylor expansion of 0 in z
1.070 * [taylor]: Taking taylor expansion of 0 in t
1.070 * [taylor]: Taking taylor expansion of 0 in t
1.070 * [taylor]: Taking taylor expansion of 0 in t
1.070 * * * [progress]: simplifying candidates
1.071 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 t (+.f64 (+.f64 x y) z))
  (*.f64 t (+.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) z))))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 t (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 t (cbrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 (-.f64 (+.f64 x y) z) 1)
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 1 t)
  (/.f64 1 1)
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (+.f64 x y) z) (cbrt.f64 t))
  (/.f64 1 1)
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (+.f64 x y) z) (cbrt.f64 t))
  (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 1)
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) t)
  (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (sqrt.f64 t))
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (sqrt.f64 t))
  (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (cbrt.f64 t))
  (/.f64 1 1)
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (+.f64 x y) z) (cbrt.f64 t))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 1)
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) t)
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) 1)
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) t)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) (sqrt.f64 t))
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (sqrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 t))
  (/.f64 (+.f64 x y) t)
  (/.f64 z t)
  (neg.f64 (-.f64 (+.f64 x y) z))
  (neg.f64 t)
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (*.f64 (*.f64 (/.f64 (-.f64 (+.f64 x y) z) t) (/.f64 (-.f64 (+.f64 x y) z) t)) (/.f64 (-.f64 (+.f64 x y) z) t))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t)) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t)))
  (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (/.f64 (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z)) (*.f64 (*.f64 t t) t))
  (exp.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (-.f64 (log.f64 (-.f64 (+.f64 x y) z)) (log.f64 t))
  (-.f64 (+.f64 (/.f64 y t) (/.f64 x t)) (/.f64 z t))
  0
  0
1.151 * * [simplify]: iteration  0 :  5038  enodes  (cost  760 )
1.156 * [simplify]: Simplified to:
   (*.f64 t (+.f64 (+.f64 x y) z))
  (*.f64 t (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) (+.f64 (+.f64 x y) z))))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 t (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 t (cbrt.f64 (-.f64 (+.f64 x y) z)))
  (-.f64 (+.f64 x y) z)
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 t (-.f64 (+.f64 x y) z))
  (/.f64 1 t)
  1
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (+.f64 x y) z) (cbrt.f64 t))
  1
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (+.f64 x y) z) (cbrt.f64 t))
  (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) t)
  (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (sqrt.f64 t))
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (sqrt.f64 t))
  (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (cbrt.f64 t))
  1
  (/.f64 (-.f64 (+.f64 x y) z) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (-.f64 (+.f64 x y) z) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (-.f64 (+.f64 x y) z) (cbrt.f64 t))
  (sqrt.f64 (-.f64 (+.f64 x y) z))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) t)
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 t))
  (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) t)
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) (sqrt.f64 t))
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (sqrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 t))
  (/.f64 (+.f64 x y) t)
  (/.f64 z t)
  (-.f64 z (+.f64 x y))
  (neg.f64 t)
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t)) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t)))
  (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 3)
  (exp.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) t))
  (-.f64 (+.f64 (/.f64 y t) (/.f64 x t)) (/.f64 z t))
  0
  0
1.156 * * * [progress]: adding candidates to table
1.276 * * [progress]: iteration 3 / 4
1.276 * * * [progress]: picking best candidate
1.308 * * * * [pick]: Picked  #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>
1.308 * * * [progress]: localizing error
1.321 * * * [progress]: generating rewritten candidates
1.321 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.338 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
1.346 * * * [progress]: generating series expansions
1.346 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.346 * [approximate]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in (x y t z) around 0
1.346 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in z
1.346 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in z
1.346 * [taylor]: Taking taylor expansion of (/ x t) in z
1.346 * [taylor]: Taking taylor expansion of x in z
1.346 * [taylor]: Taking taylor expansion of t in z
1.346 * [taylor]: Taking taylor expansion of (/ y t) in z
1.346 * [taylor]: Taking taylor expansion of y in z
1.346 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of (/ z t) in z
1.347 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in t
1.347 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in t
1.347 * [taylor]: Taking taylor expansion of (/ x t) in t
1.347 * [taylor]: Taking taylor expansion of x in t
1.347 * [taylor]: Taking taylor expansion of t in t
1.347 * [taylor]: Taking taylor expansion of (/ y t) in t
1.347 * [taylor]: Taking taylor expansion of y in t
1.347 * [taylor]: Taking taylor expansion of t in t
1.347 * [taylor]: Taking taylor expansion of (/ z t) in t
1.347 * [taylor]: Taking taylor expansion of z in t
1.347 * [taylor]: Taking taylor expansion of t in t
1.347 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in y
1.347 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in y
1.347 * [taylor]: Taking taylor expansion of (/ x t) in y
1.347 * [taylor]: Taking taylor expansion of x in y
1.347 * [taylor]: Taking taylor expansion of t in y
1.347 * [taylor]: Taking taylor expansion of (/ y t) in y
1.347 * [taylor]: Taking taylor expansion of y in y
1.347 * [taylor]: Taking taylor expansion of t in y
1.347 * [taylor]: Taking taylor expansion of (/ z t) in y
1.347 * [taylor]: Taking taylor expansion of z in y
1.347 * [taylor]: Taking taylor expansion of t in y
1.348 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in x
1.348 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in x
1.348 * [taylor]: Taking taylor expansion of (/ x t) in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of t in x
1.348 * [taylor]: Taking taylor expansion of (/ y t) in x
1.348 * [taylor]: Taking taylor expansion of y in x
1.348 * [taylor]: Taking taylor expansion of t in x
1.348 * [taylor]: Taking taylor expansion of (/ z t) in x
1.348 * [taylor]: Taking taylor expansion of z in x
1.348 * [taylor]: Taking taylor expansion of t in x
1.348 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in x
1.348 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in x
1.348 * [taylor]: Taking taylor expansion of (/ x t) in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of t in x
1.348 * [taylor]: Taking taylor expansion of (/ y t) in x
1.348 * [taylor]: Taking taylor expansion of y in x
1.348 * [taylor]: Taking taylor expansion of t in x
1.348 * [taylor]: Taking taylor expansion of (/ z t) in x
1.348 * [taylor]: Taking taylor expansion of z in x
1.348 * [taylor]: Taking taylor expansion of t in x
1.349 * [taylor]: Taking taylor expansion of (- (/ y t) (/ z t)) in y
1.349 * [taylor]: Taking taylor expansion of (/ y t) in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.349 * [taylor]: Taking taylor expansion of t in y
1.349 * [taylor]: Taking taylor expansion of (/ z t) in y
1.349 * [taylor]: Taking taylor expansion of z in y
1.349 * [taylor]: Taking taylor expansion of t in y
1.350 * [taylor]: Taking taylor expansion of (neg (/ z t)) in t
1.350 * [taylor]: Taking taylor expansion of (/ z t) in t
1.350 * [taylor]: Taking taylor expansion of z in t
1.350 * [taylor]: Taking taylor expansion of t in t
1.350 * [taylor]: Taking taylor expansion of (neg z) in z
1.350 * [taylor]: Taking taylor expansion of z in z
1.351 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.351 * [taylor]: Taking taylor expansion of t in y
1.351 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.351 * [taylor]: Taking taylor expansion of t in t
1.351 * [taylor]: Taking taylor expansion of 1 in z
1.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.352 * [taylor]: Taking taylor expansion of t in t
1.352 * [taylor]: Taking taylor expansion of 1 in z
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.355 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (x y t z) around 0
1.355 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
1.355 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
1.355 * [taylor]: Taking taylor expansion of (/ t y) in z
1.355 * [taylor]: Taking taylor expansion of t in z
1.355 * [taylor]: Taking taylor expansion of y in z
1.355 * [taylor]: Taking taylor expansion of (/ t x) in z
1.355 * [taylor]: Taking taylor expansion of t in z
1.355 * [taylor]: Taking taylor expansion of x in z
1.356 * [taylor]: Taking taylor expansion of (/ t z) in z
1.356 * [taylor]: Taking taylor expansion of t in z
1.356 * [taylor]: Taking taylor expansion of z in z
1.356 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
1.356 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
1.356 * [taylor]: Taking taylor expansion of (/ t y) in t
1.356 * [taylor]: Taking taylor expansion of t in t
1.356 * [taylor]: Taking taylor expansion of y in t
1.356 * [taylor]: Taking taylor expansion of (/ t x) in t
1.356 * [taylor]: Taking taylor expansion of t in t
1.356 * [taylor]: Taking taylor expansion of x in t
1.356 * [taylor]: Taking taylor expansion of (/ t z) in t
1.356 * [taylor]: Taking taylor expansion of t in t
1.356 * [taylor]: Taking taylor expansion of z in t
1.356 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
1.356 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
1.356 * [taylor]: Taking taylor expansion of (/ t y) in y
1.356 * [taylor]: Taking taylor expansion of t in y
1.356 * [taylor]: Taking taylor expansion of y in y
1.356 * [taylor]: Taking taylor expansion of (/ t x) in y
1.356 * [taylor]: Taking taylor expansion of t in y
1.356 * [taylor]: Taking taylor expansion of x in y
1.356 * [taylor]: Taking taylor expansion of (/ t z) in y
1.356 * [taylor]: Taking taylor expansion of t in y
1.356 * [taylor]: Taking taylor expansion of z in y
1.356 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
1.356 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
1.356 * [taylor]: Taking taylor expansion of (/ t y) in x
1.356 * [taylor]: Taking taylor expansion of t in x
1.357 * [taylor]: Taking taylor expansion of y in x
1.357 * [taylor]: Taking taylor expansion of (/ t x) in x
1.357 * [taylor]: Taking taylor expansion of t in x
1.357 * [taylor]: Taking taylor expansion of x in x
1.357 * [taylor]: Taking taylor expansion of (/ t z) in x
1.357 * [taylor]: Taking taylor expansion of t in x
1.357 * [taylor]: Taking taylor expansion of z in x
1.357 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
1.357 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
1.357 * [taylor]: Taking taylor expansion of (/ t y) in x
1.357 * [taylor]: Taking taylor expansion of t in x
1.357 * [taylor]: Taking taylor expansion of y in x
1.357 * [taylor]: Taking taylor expansion of (/ t x) in x
1.357 * [taylor]: Taking taylor expansion of t in x
1.357 * [taylor]: Taking taylor expansion of x in x
1.357 * [taylor]: Taking taylor expansion of (/ t z) in x
1.357 * [taylor]: Taking taylor expansion of t in x
1.357 * [taylor]: Taking taylor expansion of z in x
1.357 * [taylor]: Taking taylor expansion of t in y
1.358 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
1.358 * [taylor]: Taking taylor expansion of (/ t y) in y
1.358 * [taylor]: Taking taylor expansion of t in y
1.358 * [taylor]: Taking taylor expansion of y in y
1.359 * [taylor]: Taking taylor expansion of (/ t z) in y
1.359 * [taylor]: Taking taylor expansion of t in y
1.359 * [taylor]: Taking taylor expansion of z in y
1.359 * [taylor]: Taking taylor expansion of t in t
1.359 * [taylor]: Taking taylor expansion of 1 in z
1.359 * [taylor]: Taking taylor expansion of t in t
1.359 * [taylor]: Taking taylor expansion of 1 in z
1.360 * [taylor]: Taking taylor expansion of 0 in y
1.361 * [taylor]: Taking taylor expansion of (neg (/ t z)) in t
1.361 * [taylor]: Taking taylor expansion of (/ t z) in t
1.361 * [taylor]: Taking taylor expansion of t in t
1.361 * [taylor]: Taking taylor expansion of z in t
1.361 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.361 * [taylor]: Taking taylor expansion of z in z
1.361 * [taylor]: Taking taylor expansion of 0 in t
1.361 * [taylor]: Taking taylor expansion of 0 in z
1.361 * [taylor]: Taking taylor expansion of 0 in z
1.361 * [taylor]: Taking taylor expansion of 0 in z
1.364 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (x y t z) around 0
1.365 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
1.365 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
1.365 * [taylor]: Taking taylor expansion of (/ t y) in z
1.365 * [taylor]: Taking taylor expansion of t in z
1.365 * [taylor]: Taking taylor expansion of y in z
1.365 * [taylor]: Taking taylor expansion of (/ t x) in z
1.365 * [taylor]: Taking taylor expansion of t in z
1.365 * [taylor]: Taking taylor expansion of x in z
1.365 * [taylor]: Taking taylor expansion of (/ t z) in z
1.365 * [taylor]: Taking taylor expansion of t in z
1.365 * [taylor]: Taking taylor expansion of z in z
1.365 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
1.365 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
1.365 * [taylor]: Taking taylor expansion of (/ t y) in t
1.365 * [taylor]: Taking taylor expansion of t in t
1.365 * [taylor]: Taking taylor expansion of y in t
1.365 * [taylor]: Taking taylor expansion of (/ t x) in t
1.365 * [taylor]: Taking taylor expansion of t in t
1.365 * [taylor]: Taking taylor expansion of x in t
1.365 * [taylor]: Taking taylor expansion of (/ t z) in t
1.365 * [taylor]: Taking taylor expansion of t in t
1.365 * [taylor]: Taking taylor expansion of z in t
1.365 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
1.365 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
1.365 * [taylor]: Taking taylor expansion of (/ t y) in y
1.365 * [taylor]: Taking taylor expansion of t in y
1.365 * [taylor]: Taking taylor expansion of y in y
1.366 * [taylor]: Taking taylor expansion of (/ t x) in y
1.366 * [taylor]: Taking taylor expansion of t in y
1.366 * [taylor]: Taking taylor expansion of x in y
1.366 * [taylor]: Taking taylor expansion of (/ t z) in y
1.366 * [taylor]: Taking taylor expansion of t in y
1.366 * [taylor]: Taking taylor expansion of z in y
1.366 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
1.366 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
1.366 * [taylor]: Taking taylor expansion of (/ t y) in x
1.366 * [taylor]: Taking taylor expansion of t in x
1.366 * [taylor]: Taking taylor expansion of y in x
1.366 * [taylor]: Taking taylor expansion of (/ t x) in x
1.366 * [taylor]: Taking taylor expansion of t in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of (/ t z) in x
1.366 * [taylor]: Taking taylor expansion of t in x
1.366 * [taylor]: Taking taylor expansion of z in x
1.366 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
1.366 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
1.366 * [taylor]: Taking taylor expansion of (/ t y) in x
1.366 * [taylor]: Taking taylor expansion of t in x
1.366 * [taylor]: Taking taylor expansion of y in x
1.366 * [taylor]: Taking taylor expansion of (/ t x) in x
1.366 * [taylor]: Taking taylor expansion of t in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.367 * [taylor]: Taking taylor expansion of (/ t z) in x
1.367 * [taylor]: Taking taylor expansion of t in x
1.367 * [taylor]: Taking taylor expansion of z in x
1.367 * [taylor]: Taking taylor expansion of t in y
1.368 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
1.368 * [taylor]: Taking taylor expansion of (/ t y) in y
1.368 * [taylor]: Taking taylor expansion of t in y
1.368 * [taylor]: Taking taylor expansion of y in y
1.368 * [taylor]: Taking taylor expansion of (/ t z) in y
1.368 * [taylor]: Taking taylor expansion of t in y
1.368 * [taylor]: Taking taylor expansion of z in y
1.368 * [taylor]: Taking taylor expansion of t in t
1.368 * [taylor]: Taking taylor expansion of 1 in z
1.368 * [taylor]: Taking taylor expansion of t in t
1.368 * [taylor]: Taking taylor expansion of 1 in z
1.370 * [taylor]: Taking taylor expansion of 0 in y
1.371 * [taylor]: Taking taylor expansion of (neg (/ t z)) in t
1.371 * [taylor]: Taking taylor expansion of (/ t z) in t
1.371 * [taylor]: Taking taylor expansion of t in t
1.371 * [taylor]: Taking taylor expansion of z in t
1.371 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.371 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.371 * [taylor]: Taking taylor expansion of z in z
1.371 * [taylor]: Taking taylor expansion of 0 in t
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.373 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
1.373 * [approximate]: Taking taylor expansion of (/ (+ x y) t) in (x y t) around 0
1.373 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t
1.373 * [taylor]: Taking taylor expansion of (+ x y) in t
1.373 * [taylor]: Taking taylor expansion of x in t
1.373 * [taylor]: Taking taylor expansion of y in t
1.374 * [taylor]: Taking taylor expansion of t in t
1.374 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y
1.374 * [taylor]: Taking taylor expansion of (+ x y) in y
1.374 * [taylor]: Taking taylor expansion of x in y
1.374 * [taylor]: Taking taylor expansion of y in y
1.374 * [taylor]: Taking taylor expansion of t in y
1.374 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
1.374 * [taylor]: Taking taylor expansion of (+ x y) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [taylor]: Taking taylor expansion of t in x
1.374 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
1.374 * [taylor]: Taking taylor expansion of (+ x y) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [taylor]: Taking taylor expansion of t in x
1.374 * [taylor]: Taking taylor expansion of (/ y t) in y
1.374 * [taylor]: Taking taylor expansion of y in y
1.374 * [taylor]: Taking taylor expansion of t in y
1.375 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.375 * [taylor]: Taking taylor expansion of t in y
1.375 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.375 * [taylor]: Taking taylor expansion of t in t
1.375 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.375 * [taylor]: Taking taylor expansion of t in t
1.376 * [taylor]: Taking taylor expansion of 0 in y
1.376 * [taylor]: Taking taylor expansion of 0 in t
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.378 * [taylor]: Taking taylor expansion of 0 in y
1.378 * [taylor]: Taking taylor expansion of 0 in t
1.378 * [taylor]: Taking taylor expansion of 0 in t
1.379 * [taylor]: Taking taylor expansion of 0 in t
1.379 * [taylor]: Taking taylor expansion of 0 in t
1.381 * [approximate]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in (x y t) around 0
1.381 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t
1.381 * [taylor]: Taking taylor expansion of t in t
1.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.381 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.381 * [taylor]: Taking taylor expansion of y in t
1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.381 * [taylor]: Taking taylor expansion of x in t
1.381 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y
1.381 * [taylor]: Taking taylor expansion of t in y
1.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.381 * [taylor]: Taking taylor expansion of y in y
1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.381 * [taylor]: Taking taylor expansion of x in y
1.381 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
1.381 * [taylor]: Taking taylor expansion of t in x
1.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.381 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.381 * [taylor]: Taking taylor expansion of y in x
1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.381 * [taylor]: Taking taylor expansion of x in x
1.381 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
1.382 * [taylor]: Taking taylor expansion of t in x
1.382 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.382 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.382 * [taylor]: Taking taylor expansion of y in x
1.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.382 * [taylor]: Taking taylor expansion of x in x
1.382 * [taylor]: Taking taylor expansion of t in y
1.383 * [taylor]: Taking taylor expansion of (/ t y) in y
1.383 * [taylor]: Taking taylor expansion of t in y
1.383 * [taylor]: Taking taylor expansion of y in y
1.383 * [taylor]: Taking taylor expansion of t in t
1.383 * [taylor]: Taking taylor expansion of t in t
1.384 * [taylor]: Taking taylor expansion of 0 in y
1.384 * [taylor]: Taking taylor expansion of 0 in t
1.384 * [taylor]: Taking taylor expansion of 0 in t
1.385 * [taylor]: Taking taylor expansion of 0 in y
1.386 * [taylor]: Taking taylor expansion of 0 in t
1.386 * [taylor]: Taking taylor expansion of 0 in t
1.386 * [taylor]: Taking taylor expansion of 0 in t
1.388 * [approximate]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in (x y t) around 0
1.388 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t
1.388 * [taylor]: Taking taylor expansion of t in t
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.388 * [taylor]: Taking taylor expansion of y in t
1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.388 * [taylor]: Taking taylor expansion of x in t
1.388 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y
1.388 * [taylor]: Taking taylor expansion of t in y
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.388 * [taylor]: Taking taylor expansion of y in y
1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.388 * [taylor]: Taking taylor expansion of x in y
1.388 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
1.388 * [taylor]: Taking taylor expansion of t in x
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.388 * [taylor]: Taking taylor expansion of y in x
1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.388 * [taylor]: Taking taylor expansion of x in x
1.388 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
1.388 * [taylor]: Taking taylor expansion of t in x
1.388 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.388 * [taylor]: Taking taylor expansion of y in x
1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.388 * [taylor]: Taking taylor expansion of x in x
1.389 * [taylor]: Taking taylor expansion of t in y
1.389 * [taylor]: Taking taylor expansion of (/ t y) in y
1.389 * [taylor]: Taking taylor expansion of t in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of t in t
1.390 * [taylor]: Taking taylor expansion of t in t
1.391 * [taylor]: Taking taylor expansion of 0 in y
1.391 * [taylor]: Taking taylor expansion of 0 in t
1.391 * [taylor]: Taking taylor expansion of 0 in t
1.392 * [taylor]: Taking taylor expansion of 0 in y
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.393 * [taylor]: Taking taylor expansion of 0 in t
1.393 * [taylor]: Taking taylor expansion of 0 in t
1.394 * * * [progress]: simplifying candidates
1.395 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 x y) z)
  (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (-.f64 (/.f64 (+.f64 x y) (sqrt.f64 t)) (/.f64 z (sqrt.f64 t)))
  (-.f64 (/.f64 (+.f64 x y) (cbrt.f64 t)) (/.f64 z (cbrt.f64 t)))
  (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (-.f64 (/.f64 (+.f64 x y) (sqrt.f64 t)) (/.f64 z (sqrt.f64 t)))
  (-.f64 (/.f64 (+.f64 x y) (cbrt.f64 t)) (/.f64 z (cbrt.f64 t)))
  (+.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (/.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (-.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (/.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (+.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (sqrt.f64 (/.f64 z t)))
  (-.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (sqrt.f64 (/.f64 z t)))
  (+.f64 (sqrt.f64 (/.f64 (+.f64 x y) t)) (/.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (-.f64 (sqrt.f64 (/.f64 (+.f64 x y) t)) (/.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (+.f64 (sqrt.f64 (/.f64 (+.f64 x y) t)) (sqrt.f64 (/.f64 z t)))
  (-.f64 (sqrt.f64 (/.f64 (+.f64 x y) t)) (sqrt.f64 (/.f64 z t)))
  (-.f64 (*.f64 (/.f64 (+.f64 x y) t) (/.f64 (+.f64 x y) t)) (*.f64 (/.f64 z t) (/.f64 z t)))
  (+.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (neg.f64 (/.f64 z t))
  (-.f64 (pow.f64 (/.f64 (+.f64 x y) t) 3) (pow.f64 (/.f64 z t) 3))
  (+.f64 (*.f64 (/.f64 (+.f64 x y) t) (/.f64 (+.f64 x y) t)) (+.f64 (*.f64 (/.f64 z t) (/.f64 z t)) (*.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))))
  (-.f64 (*.f64 (+.f64 x y) t) (*.f64 t z))
  (*.f64 t t)
  (-.f64 (+.f64 x y) z)
  (sqrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (sqrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (*.f64 (*.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (*.f64 (cbrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (cbrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))))
  (cbrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (exp.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (log.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (/.f64 (exp.f64 (/.f64 (+.f64 x y) t)) (exp.f64 (/.f64 z t)))
  (*.f64 t (-.f64 x y))
  (*.f64 t (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))))
  (/.f64 t (+.f64 x y))
  (/.f64 t (+.f64 x y))
  (/.f64 t (sqrt.f64 (+.f64 x y)))
  (/.f64 t (cbrt.f64 (+.f64 x y)))
  (/.f64 (+.f64 x y) 1)
  (/.f64 (+.f64 x y) (sqrt.f64 t))
  (/.f64 (+.f64 x y) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 t (+.f64 x y))
  (/.f64 1 t)
  (/.f64 1 1)
  (/.f64 (+.f64 x y) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 x y) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 x y) (cbrt.f64 t))
  (/.f64 1 1)
  (/.f64 (+.f64 x y) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 x y) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 x y) (cbrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 x y)) 1)
  (/.f64 (sqrt.f64 (+.f64 x y)) t)
  (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (sqrt.f64 (+.f64 x y)) (cbrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) 1)
  (/.f64 (cbrt.f64 (+.f64 x y)) t)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (sqrt.f64 t))
  (/.f64 (cbrt.f64 (+.f64 x y)) (sqrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 t))
  (neg.f64 (+.f64 x y))
  (neg.f64 t)
  (sqrt.f64 (/.f64 (+.f64 x y) t))
  (sqrt.f64 (/.f64 (+.f64 x y) t))
  (*.f64 (*.f64 (/.f64 (+.f64 x y) t) (/.f64 (+.f64 x y) t)) (/.f64 (+.f64 x y) t))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) t)) (cbrt.f64 (/.f64 (+.f64 x y) t)))
  (cbrt.f64 (/.f64 (+.f64 x y) t))
  (/.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)) (*.f64 (*.f64 t t) t))
  (exp.f64 (/.f64 (+.f64 x y) t))
  (log.f64 (/.f64 (+.f64 x y) t))
  (-.f64 (log.f64 (+.f64 x y)) (log.f64 t))
  (-.f64 (+.f64 (/.f64 y t) (/.f64 x t)) (/.f64 z t))
  (-.f64 (+.f64 (/.f64 x t) (/.f64 y t)) (/.f64 z t))
  (-.f64 (+.f64 (/.f64 x t) (/.f64 y t)) (/.f64 z t))
  (+.f64 (/.f64 y t) (/.f64 x t))
  (+.f64 (/.f64 x t) (/.f64 y t))
  (+.f64 (/.f64 x t) (/.f64 y t))
1.476 * * [simplify]: iteration  0 :  5035  enodes  (cost  1034 )
1.482 * [simplify]: Simplified to:
   (-.f64 (+.f64 x y) z)
  (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (-.f64 (/.f64 (+.f64 x y) (sqrt.f64 t)) (/.f64 z (sqrt.f64 t)))
  (-.f64 (/.f64 (+.f64 x y) (cbrt.f64 t)) (/.f64 z (cbrt.f64 t)))
  (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (-.f64 (/.f64 (+.f64 x y) (sqrt.f64 t)) (/.f64 z (sqrt.f64 t)))
  (-.f64 (/.f64 (+.f64 x y) (cbrt.f64 t)) (/.f64 z (cbrt.f64 t)))
  (+.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (/.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (-.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (/.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (+.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (sqrt.f64 (/.f64 z t)))
  (-.f64 (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t)) (sqrt.f64 (/.f64 z t)))
  (+.f64 (/.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (/.f64 (+.f64 x y) t)))
  (-.f64 (sqrt.f64 (/.f64 (+.f64 x y) t)) (/.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (+.f64 (sqrt.f64 (/.f64 z t)) (sqrt.f64 (/.f64 (+.f64 x y) t)))
  (-.f64 (sqrt.f64 (/.f64 (+.f64 x y) t)) (sqrt.f64 (/.f64 z t)))
  (-.f64 (*.f64 (/.f64 (+.f64 x y) t) (/.f64 (+.f64 x y) t)) (*.f64 (/.f64 z t) (/.f64 z t)))
  (+.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))
  (neg.f64 (/.f64 z t))
  (-.f64 (pow.f64 (/.f64 (+.f64 x y) t) 3) (pow.f64 (/.f64 z t) 3))
  (+.f64 (*.f64 (/.f64 z t) (/.f64 z t)) (*.f64 (/.f64 (+.f64 x y) (*.f64 t t)) (+.f64 (+.f64 x y) z)))
  (*.f64 (-.f64 (+.f64 x y) z) t)
  (*.f64 t t)
  (-.f64 (+.f64 x y) z)
  (sqrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (sqrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (pow.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 3)
  (*.f64 (cbrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (cbrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))))
  (cbrt.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (exp.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (log.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (exp.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))
  (*.f64 t (-.f64 x y))
  (*.f64 t (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
  (/.f64 t (+.f64 x y))
  (/.f64 t (+.f64 x y))
  (/.f64 t (sqrt.f64 (+.f64 x y)))
  (/.f64 t (cbrt.f64 (+.f64 x y)))
  (+.f64 x y)
  (/.f64 (+.f64 x y) (sqrt.f64 t))
  (/.f64 (+.f64 x y) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 t (+.f64 x y))
  (/.f64 1 t)
  1
  (/.f64 (+.f64 x y) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 x y) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 x y) (cbrt.f64 t))
  1
  (/.f64 (+.f64 x y) t)
  (/.f64 1 (sqrt.f64 t))
  (/.f64 (+.f64 x y) (sqrt.f64 t))
  (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (+.f64 x y) (cbrt.f64 t))
  (sqrt.f64 (+.f64 x y))
  (/.f64 (sqrt.f64 (+.f64 x y)) t)
  (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 t))
  (/.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (sqrt.f64 (+.f64 x y)) (cbrt.f64 t))
  (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
  (/.f64 (cbrt.f64 (+.f64 x y)) t)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (sqrt.f64 t))
  (/.f64 (cbrt.f64 (+.f64 x y)) (sqrt.f64 t))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
  (/.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 t))
  (neg.f64 (+.f64 x y))
  (neg.f64 t)
  (sqrt.f64 (/.f64 (+.f64 x y) t))
  (sqrt.f64 (/.f64 (+.f64 x y) t))
  (pow.f64 (/.f64 (+.f64 x y) t) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) t)) (cbrt.f64 (/.f64 (+.f64 x y) t)))
  (cbrt.f64 (/.f64 (+.f64 x y) t))
  (pow.f64 (/.f64 (+.f64 x y) t) 3)
  (exp.f64 (/.f64 (+.f64 x y) t))
  (log.f64 (/.f64 (+.f64 x y) t))
  (log.f64 (/.f64 (+.f64 x y) t))
  (-.f64 (+.f64 (/.f64 y t) (/.f64 x t)) (/.f64 z t))
  (-.f64 (+.f64 (/.f64 y t) (/.f64 x t)) (/.f64 z t))
  (-.f64 (+.f64 (/.f64 y t) (/.f64 x t)) (/.f64 z t))
  (+.f64 (/.f64 y t) (/.f64 x t))
  (+.f64 (/.f64 y t) (/.f64 x t))
  (+.f64 (/.f64 y t) (/.f64 x t))
1.482 * * * [progress]: adding candidates to table
1.663 * * [progress]: iteration 4 / 4
1.663 * * * [progress]: picking best candidate
1.676 * * * * [pick]: Picked  #<alt (λ (x y z t) (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))>
1.676 * * * [progress]: localizing error
1.688 * * * [progress]: generating rewritten candidates
1.688 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.706 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.720 * * * [progress]: generating series expansions
1.720 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.721 * [approximate]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in (t x y z) around 0
1.721 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in z
1.721 * [taylor]: Taking taylor expansion of 1/2 in z
1.721 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
1.721 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
1.721 * [taylor]: Taking taylor expansion of (+ x y) in z
1.721 * [taylor]: Taking taylor expansion of x in z
1.721 * [taylor]: Taking taylor expansion of y in z
1.721 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of t in z
1.722 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in y
1.722 * [taylor]: Taking taylor expansion of 1/2 in y
1.722 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
1.722 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
1.722 * [taylor]: Taking taylor expansion of (+ x y) in y
1.722 * [taylor]: Taking taylor expansion of x in y
1.722 * [taylor]: Taking taylor expansion of y in y
1.722 * [taylor]: Taking taylor expansion of z in y
1.722 * [taylor]: Taking taylor expansion of t in y
1.722 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in x
1.722 * [taylor]: Taking taylor expansion of 1/2 in x
1.722 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
1.723 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.723 * [taylor]: Taking taylor expansion of (+ x y) in x
1.723 * [taylor]: Taking taylor expansion of x in x
1.723 * [taylor]: Taking taylor expansion of y in x
1.723 * [taylor]: Taking taylor expansion of z in x
1.723 * [taylor]: Taking taylor expansion of t in x
1.723 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in t
1.723 * [taylor]: Taking taylor expansion of 1/2 in t
1.723 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
1.723 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
1.723 * [taylor]: Taking taylor expansion of (+ x y) in t
1.723 * [taylor]: Taking taylor expansion of x in t
1.723 * [taylor]: Taking taylor expansion of y in t
1.723 * [taylor]: Taking taylor expansion of z in t
1.723 * [taylor]: Taking taylor expansion of t in t
1.724 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in t
1.724 * [taylor]: Taking taylor expansion of 1/2 in t
1.724 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
1.724 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
1.724 * [taylor]: Taking taylor expansion of (+ x y) in t
1.724 * [taylor]: Taking taylor expansion of x in t
1.724 * [taylor]: Taking taylor expansion of y in t
1.724 * [taylor]: Taking taylor expansion of z in t
1.724 * [taylor]: Taking taylor expansion of t in t
1.725 * [taylor]: Taking taylor expansion of (* 1/2 (- (+ x y) z)) in x
1.725 * [taylor]: Taking taylor expansion of 1/2 in x
1.725 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.725 * [taylor]: Taking taylor expansion of (+ x y) in x
1.725 * [taylor]: Taking taylor expansion of x in x
1.725 * [taylor]: Taking taylor expansion of y in x
1.725 * [taylor]: Taking taylor expansion of z in x
1.725 * [taylor]: Taking taylor expansion of (* 1/2 (- y z)) in y
1.725 * [taylor]: Taking taylor expansion of 1/2 in y
1.725 * [taylor]: Taking taylor expansion of (- y z) in y
1.725 * [taylor]: Taking taylor expansion of y in y
1.725 * [taylor]: Taking taylor expansion of z in y
1.726 * [taylor]: Taking taylor expansion of (* -1/2 z) in z
1.726 * [taylor]: Taking taylor expansion of -1/2 in z
1.726 * [taylor]: Taking taylor expansion of z in z
1.727 * [taylor]: Taking taylor expansion of 0 in x
1.727 * [taylor]: Taking taylor expansion of 0 in y
1.727 * [taylor]: Taking taylor expansion of 0 in z
1.727 * [taylor]: Taking taylor expansion of 1/2 in y
1.727 * [taylor]: Taking taylor expansion of 1/2 in z
1.728 * [taylor]: Taking taylor expansion of 1/2 in z
1.730 * [approximate]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (t x y z) around 0
1.730 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
1.730 * [taylor]: Taking taylor expansion of 1/2 in z
1.730 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
1.730 * [taylor]: Taking taylor expansion of t in z
1.730 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
1.730 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.730 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.730 * [taylor]: Taking taylor expansion of y in z
1.730 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.730 * [taylor]: Taking taylor expansion of x in z
1.730 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.731 * [taylor]: Taking taylor expansion of z in z
1.731 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
1.731 * [taylor]: Taking taylor expansion of 1/2 in y
1.731 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
1.731 * [taylor]: Taking taylor expansion of t in y
1.731 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
1.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.731 * [taylor]: Taking taylor expansion of y in y
1.731 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.731 * [taylor]: Taking taylor expansion of x in y
1.731 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.731 * [taylor]: Taking taylor expansion of z in y
1.731 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
1.731 * [taylor]: Taking taylor expansion of 1/2 in x
1.731 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
1.731 * [taylor]: Taking taylor expansion of t in x
1.731 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
1.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.731 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.731 * [taylor]: Taking taylor expansion of y in x
1.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.731 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.731 * [taylor]: Taking taylor expansion of z in x
1.731 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
1.731 * [taylor]: Taking taylor expansion of 1/2 in t
1.731 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
1.731 * [taylor]: Taking taylor expansion of t in t
1.731 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
1.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.732 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.732 * [taylor]: Taking taylor expansion of y in t
1.732 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.732 * [taylor]: Taking taylor expansion of x in t
1.732 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.732 * [taylor]: Taking taylor expansion of z in t
1.732 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
1.732 * [taylor]: Taking taylor expansion of 1/2 in t
1.732 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
1.732 * [taylor]: Taking taylor expansion of t in t
1.732 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
1.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.732 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.732 * [taylor]: Taking taylor expansion of y in t
1.732 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.732 * [taylor]: Taking taylor expansion of x in t
1.732 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.732 * [taylor]: Taking taylor expansion of z in t
1.733 * [taylor]: Taking taylor expansion of 0 in x
1.735 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x
1.735 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x
1.735 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x
1.735 * [taylor]: Taking taylor expansion of 1/2 in x
1.735 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.735 * [taylor]: Taking taylor expansion of y in x
1.736 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1.736 * [taylor]: Taking taylor expansion of 1/2 in x
1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.736 * [taylor]: Taking taylor expansion of x in x
1.736 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x
1.736 * [taylor]: Taking taylor expansion of 1/2 in x
1.736 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.736 * [taylor]: Taking taylor expansion of z in x
1.736 * [taylor]: Taking taylor expansion of 1/2 in y
1.736 * [taylor]: Taking taylor expansion of 0 in y
1.738 * [taylor]: Taking taylor expansion of 0 in x
1.740 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y
1.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y
1.740 * [taylor]: Taking taylor expansion of 1/2 in y
1.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.740 * [taylor]: Taking taylor expansion of y in y
1.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y
1.740 * [taylor]: Taking taylor expansion of 1/2 in y
1.740 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.740 * [taylor]: Taking taylor expansion of z in y
1.740 * [taylor]: Taking taylor expansion of 1/2 in z
1.740 * [taylor]: Taking taylor expansion of 0 in y
1.740 * [taylor]: Taking taylor expansion of 1/2 in z
1.740 * [taylor]: Taking taylor expansion of 0 in z
1.743 * [taylor]: Taking taylor expansion of 0 in x
1.743 * [taylor]: Taking taylor expansion of 0 in y
1.745 * [taylor]: Taking taylor expansion of 0 in y
1.745 * [taylor]: Taking taylor expansion of 0 in y
1.746 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z
1.746 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z
1.746 * [taylor]: Taking taylor expansion of 1/2 in z
1.746 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.749 * [approximate]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (t x y z) around 0
1.749 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
1.749 * [taylor]: Taking taylor expansion of -1/2 in z
1.749 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
1.749 * [taylor]: Taking taylor expansion of t in z
1.749 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
1.749 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.749 * [taylor]: Taking taylor expansion of z in z
1.750 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.750 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.750 * [taylor]: Taking taylor expansion of y in z
1.750 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.750 * [taylor]: Taking taylor expansion of x in z
1.750 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
1.750 * [taylor]: Taking taylor expansion of -1/2 in y
1.750 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
1.750 * [taylor]: Taking taylor expansion of t in y
1.750 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
1.750 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.750 * [taylor]: Taking taylor expansion of z in y
1.750 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.750 * [taylor]: Taking taylor expansion of y in y
1.750 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.750 * [taylor]: Taking taylor expansion of x in y
1.750 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
1.750 * [taylor]: Taking taylor expansion of -1/2 in x
1.750 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
1.750 * [taylor]: Taking taylor expansion of t in x
1.750 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
1.750 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.750 * [taylor]: Taking taylor expansion of z in x
1.750 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.750 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.750 * [taylor]: Taking taylor expansion of y in x
1.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.751 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
1.751 * [taylor]: Taking taylor expansion of -1/2 in t
1.751 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
1.751 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.751 * [taylor]: Taking taylor expansion of z in t
1.751 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.751 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.751 * [taylor]: Taking taylor expansion of y in t
1.751 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.751 * [taylor]: Taking taylor expansion of x in t
1.751 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
1.751 * [taylor]: Taking taylor expansion of -1/2 in t
1.751 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
1.751 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.751 * [taylor]: Taking taylor expansion of z in t
1.751 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.751 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.751 * [taylor]: Taking taylor expansion of y in t
1.751 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.751 * [taylor]: Taking taylor expansion of x in t
1.753 * [taylor]: Taking taylor expansion of 0 in x
1.755 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x
1.755 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x
1.755 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x
1.755 * [taylor]: Taking taylor expansion of 1/2 in x
1.755 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.755 * [taylor]: Taking taylor expansion of y in x
1.755 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1.755 * [taylor]: Taking taylor expansion of 1/2 in x
1.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.755 * [taylor]: Taking taylor expansion of x in x
1.755 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x
1.755 * [taylor]: Taking taylor expansion of 1/2 in x
1.755 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.755 * [taylor]: Taking taylor expansion of z in x
1.755 * [taylor]: Taking taylor expansion of 1/2 in y
1.755 * [taylor]: Taking taylor expansion of 0 in y
1.758 * [taylor]: Taking taylor expansion of 0 in x
1.759 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y
1.759 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y
1.759 * [taylor]: Taking taylor expansion of 1/2 in y
1.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.759 * [taylor]: Taking taylor expansion of y in y
1.759 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y
1.759 * [taylor]: Taking taylor expansion of 1/2 in y
1.759 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.759 * [taylor]: Taking taylor expansion of z in y
1.759 * [taylor]: Taking taylor expansion of 1/2 in z
1.759 * [taylor]: Taking taylor expansion of 0 in y
1.760 * [taylor]: Taking taylor expansion of 1/2 in z
1.760 * [taylor]: Taking taylor expansion of 0 in z
1.762 * [taylor]: Taking taylor expansion of 0 in x
1.762 * [taylor]: Taking taylor expansion of 0 in y
1.764 * [taylor]: Taking taylor expansion of 0 in y
1.764 * [taylor]: Taking taylor expansion of 0 in y
1.765 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z
1.765 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z
1.765 * [taylor]: Taking taylor expansion of 1/2 in z
1.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.765 * [taylor]: Taking taylor expansion of z in z
1.766 * [taylor]: Taking taylor expansion of 0 in z
1.766 * [taylor]: Taking taylor expansion of 0 in z
1.766 * [taylor]: Taking taylor expansion of 0 in z
1.768 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.768 * [approximate]: Taking taylor expansion of (* 2 (/ t (- (+ x y) z))) in (t x y z) around 0
1.768 * [taylor]: Taking taylor expansion of (* 2 (/ t (- (+ x y) z))) in z
1.768 * [taylor]: Taking taylor expansion of 2 in z
1.768 * [taylor]: Taking taylor expansion of (/ t (- (+ x y) z)) in z
1.768 * [taylor]: Taking taylor expansion of t in z
1.768 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
1.768 * [taylor]: Taking taylor expansion of (+ x y) in z
1.768 * [taylor]: Taking taylor expansion of x in z
1.768 * [taylor]: Taking taylor expansion of y in z
1.768 * [taylor]: Taking taylor expansion of z in z
1.769 * [taylor]: Taking taylor expansion of (* 2 (/ t (- (+ x y) z))) in y
1.769 * [taylor]: Taking taylor expansion of 2 in y
1.769 * [taylor]: Taking taylor expansion of (/ t (- (+ x y) z)) in y
1.769 * [taylor]: Taking taylor expansion of t in y
1.769 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
1.769 * [taylor]: Taking taylor expansion of (+ x y) in y
1.769 * [taylor]: Taking taylor expansion of x in y
1.769 * [taylor]: Taking taylor expansion of y in y
1.769 * [taylor]: Taking taylor expansion of z in y
1.769 * [taylor]: Taking taylor expansion of (* 2 (/ t (- (+ x y) z))) in x
1.769 * [taylor]: Taking taylor expansion of 2 in x
1.769 * [taylor]: Taking taylor expansion of (/ t (- (+ x y) z)) in x
1.769 * [taylor]: Taking taylor expansion of t in x
1.769 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.769 * [taylor]: Taking taylor expansion of (+ x y) in x
1.769 * [taylor]: Taking taylor expansion of x in x
1.769 * [taylor]: Taking taylor expansion of y in x
1.769 * [taylor]: Taking taylor expansion of z in x
1.770 * [taylor]: Taking taylor expansion of (* 2 (/ t (- (+ x y) z))) in t
1.770 * [taylor]: Taking taylor expansion of 2 in t
1.770 * [taylor]: Taking taylor expansion of (/ t (- (+ x y) z)) in t
1.770 * [taylor]: Taking taylor expansion of t in t
1.770 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
1.770 * [taylor]: Taking taylor expansion of (+ x y) in t
1.770 * [taylor]: Taking taylor expansion of x in t
1.770 * [taylor]: Taking taylor expansion of y in t
1.770 * [taylor]: Taking taylor expansion of z in t
1.771 * [taylor]: Taking taylor expansion of (* 2 (/ t (- (+ x y) z))) in t
1.771 * [taylor]: Taking taylor expansion of 2 in t
1.771 * [taylor]: Taking taylor expansion of (/ t (- (+ x y) z)) in t
1.771 * [taylor]: Taking taylor expansion of t in t
1.771 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
1.771 * [taylor]: Taking taylor expansion of (+ x y) in t
1.771 * [taylor]: Taking taylor expansion of x in t
1.771 * [taylor]: Taking taylor expansion of y in t
1.771 * [taylor]: Taking taylor expansion of z in t
1.772 * [taylor]: Taking taylor expansion of (/ 2 (- (+ x y) z)) in x
1.772 * [taylor]: Taking taylor expansion of 2 in x
1.772 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
1.772 * [taylor]: Taking taylor expansion of (+ x y) in x
1.772 * [taylor]: Taking taylor expansion of x in x
1.772 * [taylor]: Taking taylor expansion of y in x
1.772 * [taylor]: Taking taylor expansion of z in x
1.772 * [taylor]: Taking taylor expansion of (/ 2 (- y z)) in y
1.772 * [taylor]: Taking taylor expansion of 2 in y
1.772 * [taylor]: Taking taylor expansion of (- y z) in y
1.772 * [taylor]: Taking taylor expansion of y in y
1.772 * [taylor]: Taking taylor expansion of z in y
1.773 * [taylor]: Taking taylor expansion of (/ -2 z) in z
1.773 * [taylor]: Taking taylor expansion of -2 in z
1.773 * [taylor]: Taking taylor expansion of z in z
1.774 * [taylor]: Taking taylor expansion of 0 in x
1.774 * [taylor]: Taking taylor expansion of 0 in y
1.774 * [taylor]: Taking taylor expansion of 0 in z
1.776 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow (- y z) 2)))) in y
1.776 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow (- y z) 2))) in y
1.776 * [taylor]: Taking taylor expansion of 2 in y
1.776 * [taylor]: Taking taylor expansion of (/ 1 (pow (- y z) 2)) in y
1.776 * [taylor]: Taking taylor expansion of (pow (- y z) 2) in y
1.776 * [taylor]: Taking taylor expansion of (- y z) in y
1.776 * [taylor]: Taking taylor expansion of y in y
1.776 * [taylor]: Taking taylor expansion of z in y
1.777 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow z 2)))) in z
1.777 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
1.777 * [taylor]: Taking taylor expansion of 2 in z
1.777 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.777 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.777 * [taylor]: Taking taylor expansion of z in z
1.779 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow z 2)))) in z
1.779 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
1.779 * [taylor]: Taking taylor expansion of 2 in z
1.779 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.779 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.779 * [taylor]: Taking taylor expansion of z in z
1.783 * [taylor]: Taking taylor expansion of 0 in x
1.783 * [taylor]: Taking taylor expansion of 0 in y
1.783 * [taylor]: Taking taylor expansion of 0 in z
1.784 * [approximate]: Taking taylor expansion of (/ 2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (t x y z) around 0
1.784 * [taylor]: Taking taylor expansion of (/ 2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
1.784 * [taylor]: Taking taylor expansion of 2 in z
1.784 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
1.784 * [taylor]: Taking taylor expansion of t in z
1.784 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
1.784 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.784 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.784 * [taylor]: Taking taylor expansion of y in z
1.784 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.784 * [taylor]: Taking taylor expansion of x in z
1.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.784 * [taylor]: Taking taylor expansion of z in z
1.784 * [taylor]: Taking taylor expansion of (/ 2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
1.784 * [taylor]: Taking taylor expansion of 2 in y
1.784 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
1.784 * [taylor]: Taking taylor expansion of t in y
1.784 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
1.785 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.785 * [taylor]: Taking taylor expansion of y in y
1.785 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.785 * [taylor]: Taking taylor expansion of x in y
1.785 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.785 * [taylor]: Taking taylor expansion of z in y
1.785 * [taylor]: Taking taylor expansion of (/ 2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
1.785 * [taylor]: Taking taylor expansion of 2 in x
1.785 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
1.785 * [taylor]: Taking taylor expansion of t in x
1.785 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
1.785 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.785 * [taylor]: Taking taylor expansion of y in x
1.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.785 * [taylor]: Taking taylor expansion of x in x
1.785 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.785 * [taylor]: Taking taylor expansion of z in x
1.786 * [taylor]: Taking taylor expansion of (/ 2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
1.786 * [taylor]: Taking taylor expansion of 2 in t
1.786 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
1.786 * [taylor]: Taking taylor expansion of t in t
1.786 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
1.786 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.786 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.786 * [taylor]: Taking taylor expansion of y in t
1.786 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.786 * [taylor]: Taking taylor expansion of x in t
1.786 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.786 * [taylor]: Taking taylor expansion of z in t
1.789 * [taylor]: Taking taylor expansion of (/ 2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
1.789 * [taylor]: Taking taylor expansion of 2 in t
1.789 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
1.789 * [taylor]: Taking taylor expansion of t in t
1.789 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
1.789 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.789 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.789 * [taylor]: Taking taylor expansion of y in t
1.789 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.790 * [taylor]: Taking taylor expansion of x in t
1.790 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.790 * [taylor]: Taking taylor expansion of z in t
1.793 * [taylor]: Taking taylor expansion of (/ 2 (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
1.793 * [taylor]: Taking taylor expansion of 2 in x
1.793 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
1.793 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.793 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.793 * [taylor]: Taking taylor expansion of y in x
1.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.793 * [taylor]: Taking taylor expansion of x in x
1.793 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.793 * [taylor]: Taking taylor expansion of z in x
1.793 * [taylor]: Taking taylor expansion of 2 in y
1.793 * [taylor]: Taking taylor expansion of 0 in z
1.797 * [taylor]: Taking taylor expansion of 0 in x
1.797 * [taylor]: Taking taylor expansion of 0 in y
1.797 * [taylor]: Taking taylor expansion of 0 in z
1.798 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 z)) (* 2 (/ 1 y))) in y
1.798 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y
1.798 * [taylor]: Taking taylor expansion of 2 in y
1.798 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.798 * [taylor]: Taking taylor expansion of z in y
1.798 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.798 * [taylor]: Taking taylor expansion of 2 in y
1.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.798 * [taylor]: Taking taylor expansion of y in y
1.800 * [taylor]: Taking taylor expansion of 0 in z
1.800 * [taylor]: Taking taylor expansion of 0 in z
1.804 * [taylor]: Taking taylor expansion of 0 in x
1.804 * [taylor]: Taking taylor expansion of 0 in y
1.804 * [taylor]: Taking taylor expansion of 0 in z
1.804 * [approximate]: Taking taylor expansion of (/ -2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (t x y z) around 0
1.804 * [taylor]: Taking taylor expansion of (/ -2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
1.804 * [taylor]: Taking taylor expansion of -2 in z
1.805 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
1.805 * [taylor]: Taking taylor expansion of t in z
1.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
1.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.805 * [taylor]: Taking taylor expansion of z in z
1.805 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.805 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.805 * [taylor]: Taking taylor expansion of y in z
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.805 * [taylor]: Taking taylor expansion of x in z
1.805 * [taylor]: Taking taylor expansion of (/ -2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
1.805 * [taylor]: Taking taylor expansion of -2 in y
1.805 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
1.805 * [taylor]: Taking taylor expansion of t in y
1.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
1.805 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.805 * [taylor]: Taking taylor expansion of z in y
1.805 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.805 * [taylor]: Taking taylor expansion of y in y
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.805 * [taylor]: Taking taylor expansion of x in y
1.806 * [taylor]: Taking taylor expansion of (/ -2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
1.806 * [taylor]: Taking taylor expansion of -2 in x
1.806 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
1.806 * [taylor]: Taking taylor expansion of t in x
1.806 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.806 * [taylor]: Taking taylor expansion of z in x
1.806 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.806 * [taylor]: Taking taylor expansion of y in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (/ -2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
1.806 * [taylor]: Taking taylor expansion of -2 in t
1.806 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
1.806 * [taylor]: Taking taylor expansion of t in t
1.806 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
1.806 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.806 * [taylor]: Taking taylor expansion of z in t
1.807 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.807 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.807 * [taylor]: Taking taylor expansion of y in t
1.807 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.807 * [taylor]: Taking taylor expansion of x in t
1.809 * [taylor]: Taking taylor expansion of (/ -2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
1.810 * [taylor]: Taking taylor expansion of -2 in t
1.810 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
1.810 * [taylor]: Taking taylor expansion of t in t
1.810 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
1.810 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.810 * [taylor]: Taking taylor expansion of z in t
1.810 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
1.810 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.810 * [taylor]: Taking taylor expansion of y in t
1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.810 * [taylor]: Taking taylor expansion of x in t
1.813 * [taylor]: Taking taylor expansion of (/ -2 (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
1.813 * [taylor]: Taking taylor expansion of -2 in x
1.813 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
1.813 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.813 * [taylor]: Taking taylor expansion of z in x
1.813 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.813 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.813 * [taylor]: Taking taylor expansion of y in x
1.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.813 * [taylor]: Taking taylor expansion of x in x
1.813 * [taylor]: Taking taylor expansion of 2 in y
1.813 * [taylor]: Taking taylor expansion of 0 in z
1.816 * [taylor]: Taking taylor expansion of 0 in x
1.816 * [taylor]: Taking taylor expansion of 0 in y
1.816 * [taylor]: Taking taylor expansion of 0 in z
1.817 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 z)) (* 2 (/ 1 y))) in y
1.818 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y
1.818 * [taylor]: Taking taylor expansion of 2 in y
1.818 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.818 * [taylor]: Taking taylor expansion of z in y
1.818 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.818 * [taylor]: Taking taylor expansion of 2 in y
1.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.818 * [taylor]: Taking taylor expansion of y in y
1.819 * [taylor]: Taking taylor expansion of 0 in z
1.819 * [taylor]: Taking taylor expansion of 0 in z
1.823 * [taylor]: Taking taylor expansion of 0 in x
1.823 * [taylor]: Taking taylor expansion of 0 in y
1.823 * [taylor]: Taking taylor expansion of 0 in z
1.823 * * * [progress]: simplifying candidates
1.824 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 1 (*.f64 t 2))
  (/.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) 1)
  (/.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (sqrt.f64 1))
  (/.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (cbrt.f64 1))
  (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z))))
  (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3))))
  (/.f64 1 (*.f64 t 2))
  (/.f64 1 1)
  (/.f64 1 (/.f64 t 1))
  (/.f64 1 (/.f64 t 1))
  (/.f64 1 (/.f64 t (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 1 (/.f64 t 1))
  (/.f64 1 (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 1 (/.f64 t (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z)))))
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) 1)
  (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z))))
  (/.f64 1 (+.f64 (+.f64 x y) z))
  (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3))))
  (/.f64 1 (+.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) z))))
  (/.f64 1 (*.f64 t 2))
  (/.f64 1 (/.f64 1 (-.f64 (+.f64 x y) z)))
  (/.f64 1 1)
  (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (/.f64 1 (/.f64 t 1))
  (/.f64 1 (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 1 (/.f64 t 1))
  (/.f64 1 (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 1 (/.f64 t (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 1 (/.f64 2 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 1 (/.f64 t 1))
  (/.f64 1 (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 1 (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 1 (/.f64 2 (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 1 (/.f64 t (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z)))))
  (/.f64 1 (/.f64 2 (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 1 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (sqrt.f64 1) (/.f64 (*.f64 t 2) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z))))
  (/.f64 (sqrt.f64 1) (+.f64 (+.f64 x y) z))
  (/.f64 (sqrt.f64 1) (/.f64 (*.f64 t 2) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3))))
  (/.f64 (sqrt.f64 1) (+.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) z))))
  (/.f64 (sqrt.f64 1) (*.f64 t 2))
  (/.f64 (sqrt.f64 1) (/.f64 1 (-.f64 (+.f64 x y) z)))
  (/.f64 (sqrt.f64 1) 1)
  (/.f64 (sqrt.f64 1) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (/.f64 (sqrt.f64 1) (/.f64 t 1))
  (/.f64 (sqrt.f64 1) (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 (sqrt.f64 1) (/.f64 t 1))
  (/.f64 (sqrt.f64 1) (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 (sqrt.f64 1) (/.f64 t (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 (sqrt.f64 1) (/.f64 2 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 (sqrt.f64 1) (/.f64 t 1))
  (/.f64 (sqrt.f64 1) (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 (sqrt.f64 1) (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (sqrt.f64 1) (/.f64 2 (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (sqrt.f64 1) (/.f64 t (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z)))))
  (/.f64 (sqrt.f64 1) (/.f64 2 (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 t 2) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z))))
  (/.f64 (cbrt.f64 1) (+.f64 (+.f64 x y) z))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 t 2) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3))))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 t 2))
  (/.f64 (cbrt.f64 1) (/.f64 1 (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)
  (/.f64 (cbrt.f64 1) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 t 1))
  (/.f64 (cbrt.f64 1) (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 t 1))
  (/.f64 (cbrt.f64 1) (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 t (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 (cbrt.f64 1) (/.f64 2 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 t 1))
  (/.f64 (cbrt.f64 1) (/.f64 2 (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (cbrt.f64 1) (/.f64 2 (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 t (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z)))))
  (/.f64 (cbrt.f64 1) (/.f64 2 (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (neg.f64 1)
  (neg.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (sqrt.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (sqrt.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (*.f64 (*.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))) (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (*.f64 (cbrt.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (cbrt.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 t 2) (*.f64 t 2)) (*.f64 t 2)) (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2 2) 2)) (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z))))
  (exp.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (log.f64 (/.f64 1 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (-.f64 (log.f64 1) (log.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (-.f64 (log.f64 1) (-.f64 (log.f64 (*.f64 t 2)) (log.f64 (-.f64 (+.f64 x y) z))))
  (-.f64 (log.f64 1) (-.f64 (+.f64 (log.f64 t) (log.f64 2)) (log.f64 (-.f64 (+.f64 x y) z))))
  (neg.f64 (log.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (neg.f64 (-.f64 (log.f64 (*.f64 t 2)) (log.f64 (-.f64 (+.f64 x y) z))))
  (neg.f64 (-.f64 (+.f64 (log.f64 t) (log.f64 2)) (log.f64 (-.f64 (+.f64 x y) z))))
  (neg.f64 1)
  (/.f64 (*.f64 t 2) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z)))
  (/.f64 (*.f64 t 2) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3)))
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 (*.f64 t 2) 1)
  (/.f64 (*.f64 t 2) 1)
  (/.f64 (*.f64 t 2) (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 (*.f64 t 2) 1)
  (/.f64 (*.f64 t 2) (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 t 2) (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
  (/.f64 1 (-.f64 (+.f64 x y) z))
  (/.f64 t 1)
  (/.f64 2 (-.f64 (+.f64 x y) z))
  (/.f64 t 1)
  (/.f64 2 (-.f64 (+.f64 x y) z))
  (/.f64 t (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 2 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 t 1)
  (/.f64 2 (-.f64 (+.f64 x y) z))
  (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 2 (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 t (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 2 (cbrt.f64 (-.f64 (+.f64 x y) z)))
  (neg.f64 (*.f64 t 2))
  (neg.f64 (-.f64 (+.f64 x y) z))
  (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (*.f64 (*.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (*.f64 (*.f64 t 2) (*.f64 t 2)) (*.f64 t 2)) (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2 2) 2)) (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z)))
  (exp.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (log.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (-.f64 (log.f64 (*.f64 t 2)) (log.f64 (-.f64 (+.f64 x y) z)))
  (-.f64 (+.f64 (log.f64 t) (log.f64 2)) (log.f64 (-.f64 (+.f64 x y) z)))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 x t))) (*.f64 1/2 (/.f64 z t)))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
  0
  0
  0
1.884 * * [simplify]: iteration  0 :  5091  enodes  (cost  2157 )
1.895 * [simplify]: Simplified to:
   (/.f64 1/2 t)
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (cbrt.f64 1))
  (/.f64 (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z)) (*.f64 t 2))
  (*.f64 (/.f64 1/2 t) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3)))
  (/.f64 1/2 t)
  1
  (/.f64 1 t)
  (/.f64 1 t)
  (*.f64 (/.f64 1 t) (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 1 t)
  (*.f64 (/.f64 1 t) (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (*.f64 (/.f64 1 t) (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))
  (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
  (/.f64 (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z)) (*.f64 t 2))
  (/.f64 1 (+.f64 (+.f64 x y) z))
  (*.f64 (/.f64 1/2 t) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3)))
  (/.f64 1 (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) (+.f64 (+.f64 x y) z))))
  (/.f64 1/2 t)
  (-.f64 (+.f64 x y) z)
  1
  (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (*.f64 (/.f64 1 t) (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (*.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 1/2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (*.f64 (/.f64 1 t) (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (*.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 1/2)
  (*.f64 (/.f64 1 t) (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) 1/2)
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 1 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z)) (*.f64 t 2))
  (/.f64 1 (+.f64 (+.f64 x y) z))
  (*.f64 (/.f64 1/2 t) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3)))
  (/.f64 1 (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) (+.f64 (+.f64 x y) z))))
  (/.f64 1/2 t)
  (-.f64 (+.f64 x y) z)
  1
  (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (*.f64 (/.f64 1 t) (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (*.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 1/2)
  (/.f64 1 t)
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (*.f64 (/.f64 1 t) (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (*.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 1/2)
  (*.f64 (/.f64 1 t) (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) 1/2)
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 1 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 t 2) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z))))
  (/.f64 (cbrt.f64 1) (+.f64 (+.f64 x y) z))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 t 2) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3))))
  (/.f64 (cbrt.f64 1) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) (+.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 t 2))
  (*.f64 (-.f64 (+.f64 x y) z) (cbrt.f64 1))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (/.f64 (cbrt.f64 1) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) t)
  (*.f64 (cbrt.f64 1) (/.f64 (-.f64 (+.f64 x y) z) 2))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) t)
  (*.f64 (cbrt.f64 1) (/.f64 (-.f64 (+.f64 x y) z) 2))
  (*.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) t))
  (/.f64 (cbrt.f64 1) (/.f64 2 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) t)
  (*.f64 (cbrt.f64 1) (/.f64 (-.f64 (+.f64 x y) z) 2))
  (*.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) t))
  (/.f64 (cbrt.f64 1) (/.f64 2 (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (*.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) t))
  (/.f64 (cbrt.f64 1) (/.f64 2 (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))))
  (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  -1
  (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))))
  (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 3)
  (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 3)
  (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 3)
  (exp.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))
  -1
  (/.f64 (*.f64 t 2) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 z z)))
  (/.f64 (*.f64 t 2) (-.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 z 3)))
  (/.f64 (-.f64 (+.f64 x y) z) 2)
  (*.f64 t 2)
  (*.f64 t 2)
  (*.f64 2 (/.f64 t (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))))
  (*.f64 t 2)
  (*.f64 t (/.f64 2 (sqrt.f64 (-.f64 (+.f64 x y) z))))
  (*.f64 2 (/.f64 t (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z)))))
  (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
  (/.f64 1 (-.f64 (+.f64 x y) z))
  t
  (/.f64 2 (-.f64 (+.f64 x y) z))
  t
  (/.f64 2 (-.f64 (+.f64 x y) z))
  (/.f64 t (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  (/.f64 2 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)))
  t
  (/.f64 2 (-.f64 (+.f64 x y) z))
  (/.f64 t (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 2 (sqrt.f64 (-.f64 (+.f64 x y) z)))
  (/.f64 t (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))))
  (/.f64 2 (cbrt.f64 (-.f64 (+.f64 x y) z)))
  (*.f64 t -2)
  (neg.f64 (-.f64 (+.f64 x y) z))
  (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (sqrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (pow.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))) (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z))))
  (cbrt.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (pow.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) 3)
  (pow.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) 3)
  (exp.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (log.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (log.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (log.f64 (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)))
  (*.f64 1/2 (+.f64 (/.f64 y t) (-.f64 (/.f64 x t) (/.f64 z t))))
  (*.f64 1/2 (+.f64 (/.f64 y t) (-.f64 (/.f64 x t) (/.f64 z t))))
  (*.f64 1/2 (+.f64 (/.f64 y t) (-.f64 (/.f64 x t) (/.f64 z t))))
  0
  0
  0
1.895 * * * [progress]: adding candidates to table
2.171 * [progress]: [Phase 3 of 3] Extracting.
2.171 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))> #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>)
2.172 * * * [regime-changes]: Trying 6 branch expressions: ((+.f64 x y) (-.f64 (+.f64 x y) z) t z y x)
2.172 * * * * [regimes]: Trying to branch on (+.f64 x y) from (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))> #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>)
2.461 * * * * [regimes]: Trying to branch on (-.f64 (+.f64 x y) z) from (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))> #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>)
2.539 * * * * [regimes]: Trying to branch on (-.f64 (+.f64 x y) z) from (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))>)
2.615 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))> #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>)
2.697 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))> #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>)
2.776 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))> #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>)
2.854 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (/.f64 -1 (*.f64 t (/.f64 -2 (-.f64 (+.f64 x y) z)))))> #<alt (λ (x y z t) (/.f64 (/.f64 (-.f64 (+.f64 x y) z) t) 2))> #<alt (λ (x y z t) (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2))>)
2.931 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.931 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2)
2.935 * * [simplify]: iteration  0 :  29  enodes  (cost  16 )
2.935 * * [simplify]: iteration  1 :  29  enodes  (cost  16 )
2.935 * [simplify]: Simplified to:
   (/.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 2)
4.768 * [regime-testing]: End program error score: 0.06850856357044631