10.118 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.800 * * * [progress]: [2/2] Setting up program.
0.803 * [progress]: [Phase 2 of 3] Improving.
0.804 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.871 * * [simplify]: iteration  0 :  5189  enodes  (cost  11 )
0.871 * [simplify]: Simplified to:
   (+ x (/ (- (/ t y) y) (* z 3.0)))
0.876 * * [progress]: iteration 1 / 4
0.876 * * * [progress]: picking best candidate
0.882 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))>
0.882 * * * [progress]: localizing error
0.891 * * * [progress]: generating rewritten candidates
0.891 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.900 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.904 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.909 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.916 * * * [progress]: generating series expansions
0.916 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.916 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
0.916 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
0.916 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.916 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.917 * [taylor]: Taking taylor expansion of t in y
0.917 * [taylor]: Taking taylor expansion of (* z y) in y
0.917 * [taylor]: Taking taylor expansion of z in y
0.917 * [taylor]: Taking taylor expansion of y in y
0.917 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
0.917 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.917 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
0.917 * [taylor]: Taking taylor expansion of t in z
0.917 * [taylor]: Taking taylor expansion of (* z y) in z
0.917 * [taylor]: Taking taylor expansion of z in z
0.917 * [taylor]: Taking taylor expansion of y in z
0.917 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
0.917 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.917 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.917 * [taylor]: Taking taylor expansion of t in t
0.917 * [taylor]: Taking taylor expansion of (* z y) in t
0.917 * [taylor]: Taking taylor expansion of z in t
0.917 * [taylor]: Taking taylor expansion of y in t
0.917 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
0.917 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.917 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.917 * [taylor]: Taking taylor expansion of t in t
0.917 * [taylor]: Taking taylor expansion of (* z y) in t
0.917 * [taylor]: Taking taylor expansion of z in t
0.917 * [taylor]: Taking taylor expansion of y in t
0.917 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
0.917 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.917 * [taylor]: Taking taylor expansion of (* z y) in z
0.917 * [taylor]: Taking taylor expansion of z in z
0.917 * [taylor]: Taking taylor expansion of y in z
0.917 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
0.917 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.917 * [taylor]: Taking taylor expansion of y in y
0.918 * [taylor]: Taking taylor expansion of 0 in z
0.918 * [taylor]: Taking taylor expansion of 0 in y
0.918 * [taylor]: Taking taylor expansion of 0 in z
0.918 * [taylor]: Taking taylor expansion of 0 in y
0.918 * [taylor]: Taking taylor expansion of 0 in y
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in y
0.919 * [taylor]: Taking taylor expansion of 0 in y
0.919 * [taylor]: Taking taylor expansion of 0 in y
0.919 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
0.919 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
0.919 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.919 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.919 * [taylor]: Taking taylor expansion of (* z y) in y
0.919 * [taylor]: Taking taylor expansion of z in y
0.919 * [taylor]: Taking taylor expansion of y in y
0.919 * [taylor]: Taking taylor expansion of t in y
0.919 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
0.919 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.919 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
0.919 * [taylor]: Taking taylor expansion of (* z y) in z
0.919 * [taylor]: Taking taylor expansion of z in z
0.919 * [taylor]: Taking taylor expansion of y in z
0.919 * [taylor]: Taking taylor expansion of t in z
0.919 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
0.919 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.919 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.919 * [taylor]: Taking taylor expansion of (* z y) in t
0.919 * [taylor]: Taking taylor expansion of z in t
0.919 * [taylor]: Taking taylor expansion of y in t
0.919 * [taylor]: Taking taylor expansion of t in t
0.919 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
0.920 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.920 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.920 * [taylor]: Taking taylor expansion of (* z y) in t
0.920 * [taylor]: Taking taylor expansion of z in t
0.920 * [taylor]: Taking taylor expansion of y in t
0.920 * [taylor]: Taking taylor expansion of t in t
0.920 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
0.920 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.920 * [taylor]: Taking taylor expansion of (* z y) in z
0.920 * [taylor]: Taking taylor expansion of z in z
0.920 * [taylor]: Taking taylor expansion of y in z
0.920 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
0.920 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.920 * [taylor]: Taking taylor expansion of y in y
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.921 * [taylor]: Taking taylor expansion of 0 in y
0.921 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
0.921 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
0.921 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.921 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.921 * [taylor]: Taking taylor expansion of (* z y) in y
0.921 * [taylor]: Taking taylor expansion of z in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of t in y
0.921 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
0.921 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
0.921 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
0.921 * [taylor]: Taking taylor expansion of (* z y) in z
0.921 * [taylor]: Taking taylor expansion of z in z
0.921 * [taylor]: Taking taylor expansion of y in z
0.921 * [taylor]: Taking taylor expansion of t in z
0.921 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
0.921 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
0.921 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.921 * [taylor]: Taking taylor expansion of (* z y) in t
0.921 * [taylor]: Taking taylor expansion of z in t
0.921 * [taylor]: Taking taylor expansion of y in t
0.921 * [taylor]: Taking taylor expansion of t in t
0.922 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
0.922 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
0.922 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.922 * [taylor]: Taking taylor expansion of (* z y) in t
0.922 * [taylor]: Taking taylor expansion of z in t
0.922 * [taylor]: Taking taylor expansion of y in t
0.922 * [taylor]: Taking taylor expansion of t in t
0.922 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
0.922 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
0.922 * [taylor]: Taking taylor expansion of (* z y) in z
0.922 * [taylor]: Taking taylor expansion of z in z
0.922 * [taylor]: Taking taylor expansion of y in z
0.922 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
0.922 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
0.922 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.922 * [taylor]: Taking taylor expansion of y in y
0.922 * [taylor]: Taking taylor expansion of 0 in z
0.922 * [taylor]: Taking taylor expansion of 0 in y
0.922 * [taylor]: Taking taylor expansion of 0 in y
0.922 * [taylor]: Taking taylor expansion of 0 in z
0.922 * [taylor]: Taking taylor expansion of 0 in y
0.922 * [taylor]: Taking taylor expansion of 0 in y
0.923 * [taylor]: Taking taylor expansion of 0 in y
0.923 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.923 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
0.923 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
0.923 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.923 * [taylor]: Taking taylor expansion of (/ y z) in z
0.923 * [taylor]: Taking taylor expansion of y in z
0.923 * [taylor]: Taking taylor expansion of z in z
0.923 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.923 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.923 * [taylor]: Taking taylor expansion of (/ y z) in y
0.923 * [taylor]: Taking taylor expansion of y in y
0.923 * [taylor]: Taking taylor expansion of z in y
0.923 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.923 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.923 * [taylor]: Taking taylor expansion of (/ y z) in y
0.923 * [taylor]: Taking taylor expansion of y in y
0.923 * [taylor]: Taking taylor expansion of z in y
0.923 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
0.923 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.923 * [taylor]: Taking taylor expansion of z in z
0.923 * [taylor]: Taking taylor expansion of 0 in z
0.924 * [taylor]: Taking taylor expansion of 0 in z
0.924 * [taylor]: Taking taylor expansion of 0 in z
0.924 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
0.924 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.924 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.924 * [taylor]: Taking taylor expansion of (/ z y) in z
0.924 * [taylor]: Taking taylor expansion of z in z
0.924 * [taylor]: Taking taylor expansion of y in z
0.924 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.924 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.924 * [taylor]: Taking taylor expansion of (/ z y) in y
0.924 * [taylor]: Taking taylor expansion of z in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.924 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.924 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.924 * [taylor]: Taking taylor expansion of (/ z y) in y
0.924 * [taylor]: Taking taylor expansion of z in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.924 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.924 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.924 * [taylor]: Taking taylor expansion of z in z
0.924 * [taylor]: Taking taylor expansion of 0 in z
0.925 * [taylor]: Taking taylor expansion of 0 in z
0.925 * [taylor]: Taking taylor expansion of 0 in z
0.925 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
0.925 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.925 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.925 * [taylor]: Taking taylor expansion of (/ z y) in z
0.925 * [taylor]: Taking taylor expansion of z in z
0.925 * [taylor]: Taking taylor expansion of y in z
0.925 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.925 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.925 * [taylor]: Taking taylor expansion of (/ z y) in y
0.925 * [taylor]: Taking taylor expansion of z in y
0.925 * [taylor]: Taking taylor expansion of y in y
0.925 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.925 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.925 * [taylor]: Taking taylor expansion of (/ z y) in y
0.925 * [taylor]: Taking taylor expansion of z in y
0.925 * [taylor]: Taking taylor expansion of y in y
0.925 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.925 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.925 * [taylor]: Taking taylor expansion of z in z
0.925 * [taylor]: Taking taylor expansion of 0 in z
0.926 * [taylor]: Taking taylor expansion of 0 in z
0.926 * [taylor]: Taking taylor expansion of 0 in z
0.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.926 * [approximate]: Taking taylor expansion of (* 3.0 (* z y)) in (z y) around 0
0.926 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in y
0.926 * [taylor]: Taking taylor expansion of 3.0 in y
0.926 * [taylor]: Taking taylor expansion of (* z y) in y
0.926 * [taylor]: Taking taylor expansion of z in y
0.926 * [taylor]: Taking taylor expansion of y in y
0.926 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
0.926 * [taylor]: Taking taylor expansion of 3.0 in z
0.926 * [taylor]: Taking taylor expansion of (* z y) in z
0.926 * [taylor]: Taking taylor expansion of z in z
0.926 * [taylor]: Taking taylor expansion of y in z
0.926 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
0.926 * [taylor]: Taking taylor expansion of 3.0 in z
0.926 * [taylor]: Taking taylor expansion of (* z y) in z
0.926 * [taylor]: Taking taylor expansion of z in z
0.926 * [taylor]: Taking taylor expansion of y in z
0.926 * [taylor]: Taking taylor expansion of 0 in y
0.926 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.926 * [taylor]: Taking taylor expansion of 3.0 in y
0.926 * [taylor]: Taking taylor expansion of y in y
0.926 * [taylor]: Taking taylor expansion of 0 in y
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.927 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
0.927 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
0.927 * [taylor]: Taking taylor expansion of 3.0 in y
0.927 * [taylor]: Taking taylor expansion of (* z y) in y
0.927 * [taylor]: Taking taylor expansion of z in y
0.927 * [taylor]: Taking taylor expansion of y in y
0.927 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.927 * [taylor]: Taking taylor expansion of 3.0 in z
0.927 * [taylor]: Taking taylor expansion of (* z y) in z
0.927 * [taylor]: Taking taylor expansion of z in z
0.927 * [taylor]: Taking taylor expansion of y in z
0.927 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.927 * [taylor]: Taking taylor expansion of 3.0 in z
0.927 * [taylor]: Taking taylor expansion of (* z y) in z
0.927 * [taylor]: Taking taylor expansion of z in z
0.927 * [taylor]: Taking taylor expansion of y in z
0.927 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.927 * [taylor]: Taking taylor expansion of 3.0 in y
0.927 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
0.928 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
0.928 * [taylor]: Taking taylor expansion of 3.0 in y
0.928 * [taylor]: Taking taylor expansion of (* z y) in y
0.928 * [taylor]: Taking taylor expansion of z in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.928 * [taylor]: Taking taylor expansion of 3.0 in z
0.928 * [taylor]: Taking taylor expansion of (* z y) in z
0.928 * [taylor]: Taking taylor expansion of z in z
0.928 * [taylor]: Taking taylor expansion of y in z
0.928 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.928 * [taylor]: Taking taylor expansion of 3.0 in z
0.928 * [taylor]: Taking taylor expansion of (* z y) in z
0.928 * [taylor]: Taking taylor expansion of z in z
0.928 * [taylor]: Taking taylor expansion of y in z
0.929 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.929 * [taylor]: Taking taylor expansion of 3.0 in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.929 * [taylor]: Taking taylor expansion of 0 in y
0.929 * [taylor]: Taking taylor expansion of 0 in y
0.929 * [taylor]: Taking taylor expansion of 0 in y
0.929 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.929 * [approximate]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in (x y z) around 0
0.929 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in z
0.929 * [taylor]: Taking taylor expansion of x in z
0.929 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
0.929 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.929 * [taylor]: Taking taylor expansion of (/ y z) in z
0.929 * [taylor]: Taking taylor expansion of y in z
0.929 * [taylor]: Taking taylor expansion of z in z
0.930 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in y
0.930 * [taylor]: Taking taylor expansion of x in y
0.930 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.930 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.930 * [taylor]: Taking taylor expansion of (/ y z) in y
0.930 * [taylor]: Taking taylor expansion of y in y
0.930 * [taylor]: Taking taylor expansion of z in y
0.930 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
0.930 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.930 * [taylor]: Taking taylor expansion of (/ y z) in x
0.930 * [taylor]: Taking taylor expansion of y in x
0.930 * [taylor]: Taking taylor expansion of z in x
0.930 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
0.930 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.930 * [taylor]: Taking taylor expansion of (/ y z) in x
0.930 * [taylor]: Taking taylor expansion of y in x
0.930 * [taylor]: Taking taylor expansion of z in x
0.930 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ y z))) in y
0.930 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.930 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.930 * [taylor]: Taking taylor expansion of (/ y z) in y
0.930 * [taylor]: Taking taylor expansion of y in y
0.930 * [taylor]: Taking taylor expansion of z in y
0.930 * [taylor]: Taking taylor expansion of 1 in y
0.930 * [taylor]: Taking taylor expansion of 1 in z
0.930 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
0.930 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
0.930 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.931 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.931 * [taylor]: Taking taylor expansion of z in z
0.931 * [taylor]: Taking taylor expansion of 0 in y
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in y
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.932 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in (x y z) around 0
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in z
0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.932 * [taylor]: Taking taylor expansion of x in z
0.932 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.932 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.932 * [taylor]: Taking taylor expansion of (/ z y) in z
0.932 * [taylor]: Taking taylor expansion of z in z
0.932 * [taylor]: Taking taylor expansion of y in z
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in y
0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.932 * [taylor]: Taking taylor expansion of x in y
0.932 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.932 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.932 * [taylor]: Taking taylor expansion of (/ z y) in y
0.932 * [taylor]: Taking taylor expansion of z in y
0.932 * [taylor]: Taking taylor expansion of y in y
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.932 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.932 * [taylor]: Taking taylor expansion of (/ z y) in x
0.932 * [taylor]: Taking taylor expansion of z in x
0.932 * [taylor]: Taking taylor expansion of y in x
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.932 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.932 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.932 * [taylor]: Taking taylor expansion of (/ z y) in x
0.932 * [taylor]: Taking taylor expansion of z in x
0.932 * [taylor]: Taking taylor expansion of y in x
0.932 * [taylor]: Taking taylor expansion of 1 in y
0.933 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
0.933 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.933 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.933 * [taylor]: Taking taylor expansion of (/ z y) in y
0.933 * [taylor]: Taking taylor expansion of z in y
0.933 * [taylor]: Taking taylor expansion of y in y
0.933 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
0.933 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.933 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.933 * [taylor]: Taking taylor expansion of z in z
0.933 * [taylor]: Taking taylor expansion of 1 in z
0.933 * [taylor]: Taking taylor expansion of 0 in y
0.933 * [taylor]: Taking taylor expansion of 0 in z
0.933 * [taylor]: Taking taylor expansion of 0 in z
0.933 * [taylor]: Taking taylor expansion of 0 in y
0.933 * [taylor]: Taking taylor expansion of 0 in z
0.933 * [taylor]: Taking taylor expansion of 0 in z
0.934 * [taylor]: Taking taylor expansion of 0 in z
0.934 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in (x y z) around 0
0.934 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
0.934 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
0.934 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.934 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.934 * [taylor]: Taking taylor expansion of (/ z y) in z
0.934 * [taylor]: Taking taylor expansion of z in z
0.934 * [taylor]: Taking taylor expansion of y in z
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.934 * [taylor]: Taking taylor expansion of x in z
0.934 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
0.934 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
0.934 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.934 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.934 * [taylor]: Taking taylor expansion of (/ z y) in y
0.934 * [taylor]: Taking taylor expansion of z in y
0.934 * [taylor]: Taking taylor expansion of y in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.934 * [taylor]: Taking taylor expansion of x in y
0.934 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.934 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.934 * [taylor]: Taking taylor expansion of (/ z y) in x
0.934 * [taylor]: Taking taylor expansion of z in x
0.934 * [taylor]: Taking taylor expansion of y in x
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
0.934 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
0.934 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.934 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.935 * [taylor]: Taking taylor expansion of (/ z y) in x
0.935 * [taylor]: Taking taylor expansion of z in x
0.935 * [taylor]: Taking taylor expansion of y in x
0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of (neg 1) in y
0.935 * [taylor]: Taking taylor expansion of 1 in y
0.935 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
0.935 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.935 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.935 * [taylor]: Taking taylor expansion of (/ z y) in y
0.935 * [taylor]: Taking taylor expansion of z in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.935 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
0.935 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.935 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.935 * [taylor]: Taking taylor expansion of z in z
0.935 * [taylor]: Taking taylor expansion of (neg 1) in z
0.935 * [taylor]: Taking taylor expansion of 1 in z
0.935 * [taylor]: Taking taylor expansion of 0 in y
0.935 * [taylor]: Taking taylor expansion of 0 in z
0.935 * [taylor]: Taking taylor expansion of 0 in z
0.936 * [taylor]: Taking taylor expansion of 0 in y
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.936 * * * [progress]: simplifying candidates
0.937 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log t) (+ (+ (log z) (log 3.0)) (log y)))
  (- (log t) (+ (log (* z 3.0)) (log y)))
  (- (log t) (log (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (exp (/ t (* (* z 3.0) y)))
  (/ (* (* t t) t) (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y)))
  (* (cbrt (/ t (* (* z 3.0) y))) (cbrt (/ t (* (* z 3.0) y))))
  (cbrt (/ t (* (* z 3.0) y)))
  (* (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))) (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (neg t)
  (neg (* (* z 3.0) y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* (* z 3.0) y))
  (/ (* (* z 3.0) y) t)
  (/ t (* z 3.0))
  (/ (* (* z 3.0) y) (cbrt t))
  (/ (* (* z 3.0) y) (sqrt t))
  (/ (* (* z 3.0) y) t)
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (* (* z 3.0) y)
  (* (* z 3.0) y)
  (+ (+ (log z) (log 3.0)) (log y))
  (+ (log (* z 3.0)) (log y))
  (log (* (* z 3.0) y))
  (exp (* (* z 3.0) y))
  (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y))
  (* (cbrt (* (* z 3.0) y)) (cbrt (* (* z 3.0) y)))
  (cbrt (* (* z 3.0) y))
  (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (* z 3.0) (sqrt y))
  (* (* z 3.0) 1)
  (* 3.0 y)
  (/ (exp x) (exp (/ y (* z 3.0))))
  (log (- x (/ y (* z 3.0))))
  (exp (- x (/ y (* z 3.0))))
  (* (cbrt (- x (/ y (* z 3.0)))) (cbrt (- x (/ y (* z 3.0)))))
  (cbrt (- x (/ y (* z 3.0))))
  (* (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (- (pow x 3) (pow (/ y (* z 3.0)) 3))
  (+ (* x x) (+ (* (/ y (* z 3.0)) (/ y (* z 3.0))) (* x (/ y (* z 3.0)))))
  (neg (/ y (* z 3.0)))
  (- (* x x) (* (/ y (* z 3.0)) (/ y (* z 3.0))))
  (+ x (/ y (* z 3.0)))
  (+ (sqrt x) (sqrt (/ y (* z 3.0))))
  (- (sqrt x) (sqrt (/ y (* z 3.0))))
  (- x (/ y (* z 3.0)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
0.972 * * [simplify]: iteration  0 :  5096  enodes  (cost  669 )
0.976 * [simplify]: Simplified to:
   (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (exp (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (* (cbrt (/ t (* z (* 3.0 y)))) (cbrt (/ t (* z (* 3.0 y)))))
  (cbrt (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (sqrt (/ t (* z (* 3.0 y))))
  (sqrt (/ t (* z (* 3.0 y))))
  (neg t)
  (* z (* 3.0 (neg y)))
  (* (cbrt t) (/ (cbrt t) (* z 3.0)))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* z (* 3.0 y)))
  (* y (/ (* z 3.0) t))
  (/ t (* z 3.0))
  (* y (* (/ z (cbrt t)) 3.0))
  (* y (/ (* z 3.0) (sqrt t)))
  (* y (/ (* z 3.0) t))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (* z (neg 3.0))
  (* (cbrt y) (/ (cbrt y) z))
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (* 3.0 (/ z y))
  (/ y z)
  (* 3.0 (/ z (cbrt y)))
  (* 3.0 (/ z (sqrt y)))
  (* 3.0 (/ z y))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (log (* z (* 3.0 y)))
  (log (* z (* 3.0 y)))
  (log (* z (* 3.0 y)))
  (pow (pow (exp z) 3.0) y)
  (pow (* z (* 3.0 y)) 3)
  (pow (* z (* 3.0 y)) 3)
  (* (cbrt (* z (* 3.0 y))) (cbrt (* z (* 3.0 y))))
  (cbrt (* z (* 3.0 y)))
  (pow (* z (* 3.0 y)) 3)
  (sqrt (* z (* 3.0 y)))
  (sqrt (* z (* 3.0 y)))
  (* z (* 3.0 (* (cbrt y) (cbrt y))))
  (* z (* 3.0 (sqrt y)))
  (* z 3.0)
  (* 3.0 y)
  (exp (- x (/ y (* z 3.0))))
  (log (- x (/ y (* z 3.0))))
  (exp (- x (/ y (* z 3.0))))
  (* (cbrt (- x (/ y (* z 3.0)))) (cbrt (- x (/ y (* z 3.0)))))
  (cbrt (- x (/ y (* z 3.0))))
  (pow (- x (/ y (* z 3.0))) 3)
  (sqrt (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (- (pow x 3) (pow (/ y (* z 3.0)) 3))
  (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)))
  (/ (neg y) (* z 3.0))
  (- (* x x) (* y (/ y (* z (* z (* 3.0 3.0))))))
  (+ (/ y (* z 3.0)) x)
  (+ (sqrt (/ y (* z 3.0))) (sqrt x))
  (- (sqrt x) (sqrt (/ y (* z 3.0))))
  (- x (/ y (* z 3.0)))
  (* (/ t y) (/ 0.3333333333333333 z))
  (* (/ t y) (/ 0.3333333333333333 z))
  (* (/ t y) (/ 0.3333333333333333 z))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
0.976 * * * [progress]: adding candidates to table
1.075 * * [progress]: iteration 2 / 4
1.075 * * * [progress]: picking best candidate
1.106 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (/ (* z 3.0) t)))))>
1.106 * * * [progress]: localizing error
1.116 * * * [progress]: generating rewritten candidates
1.116 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.123 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.130 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.134 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
1.141 * * * [progress]: generating series expansions
1.141 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.142 * [approximate]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in (y z t) around 0
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in t
1.142 * [taylor]: Taking taylor expansion of 3.0 in t
1.142 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.142 * [taylor]: Taking taylor expansion of (* z y) in t
1.142 * [taylor]: Taking taylor expansion of z in t
1.142 * [taylor]: Taking taylor expansion of y in t
1.142 * [taylor]: Taking taylor expansion of t in t
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in z
1.142 * [taylor]: Taking taylor expansion of 3.0 in z
1.142 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.142 * [taylor]: Taking taylor expansion of (* z y) in z
1.142 * [taylor]: Taking taylor expansion of z in z
1.142 * [taylor]: Taking taylor expansion of y in z
1.142 * [taylor]: Taking taylor expansion of t in z
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.142 * [taylor]: Taking taylor expansion of 3.0 in y
1.142 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.142 * [taylor]: Taking taylor expansion of (* z y) in y
1.142 * [taylor]: Taking taylor expansion of z in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of t in y
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.142 * [taylor]: Taking taylor expansion of 3.0 in y
1.142 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.142 * [taylor]: Taking taylor expansion of (* z y) in y
1.142 * [taylor]: Taking taylor expansion of z in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of t in y
1.142 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.142 * [taylor]: Taking taylor expansion of 3.0 in z
1.142 * [taylor]: Taking taylor expansion of (/ z t) in z
1.142 * [taylor]: Taking taylor expansion of z in z
1.142 * [taylor]: Taking taylor expansion of t in z
1.143 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.143 * [taylor]: Taking taylor expansion of 3.0 in t
1.143 * [taylor]: Taking taylor expansion of t in t
1.143 * [taylor]: Taking taylor expansion of 0 in z
1.143 * [taylor]: Taking taylor expansion of 0 in t
1.143 * [taylor]: Taking taylor expansion of 0 in t
1.143 * [taylor]: Taking taylor expansion of 0 in z
1.143 * [taylor]: Taking taylor expansion of 0 in t
1.143 * [taylor]: Taking taylor expansion of 0 in t
1.143 * [taylor]: Taking taylor expansion of 0 in t
1.144 * [taylor]: Taking taylor expansion of 0 in z
1.144 * [taylor]: Taking taylor expansion of 0 in t
1.144 * [taylor]: Taking taylor expansion of 0 in t
1.144 * [taylor]: Taking taylor expansion of 0 in t
1.144 * [taylor]: Taking taylor expansion of 0 in t
1.144 * [approximate]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in (y z t) around 0
1.144 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in t
1.144 * [taylor]: Taking taylor expansion of 3.0 in t
1.144 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.144 * [taylor]: Taking taylor expansion of t in t
1.144 * [taylor]: Taking taylor expansion of (* z y) in t
1.144 * [taylor]: Taking taylor expansion of z in t
1.144 * [taylor]: Taking taylor expansion of y in t
1.144 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in z
1.144 * [taylor]: Taking taylor expansion of 3.0 in z
1.144 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.144 * [taylor]: Taking taylor expansion of t in z
1.144 * [taylor]: Taking taylor expansion of (* z y) in z
1.144 * [taylor]: Taking taylor expansion of z in z
1.144 * [taylor]: Taking taylor expansion of y in z
1.144 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.144 * [taylor]: Taking taylor expansion of 3.0 in y
1.144 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.144 * [taylor]: Taking taylor expansion of t in y
1.144 * [taylor]: Taking taylor expansion of (* z y) in y
1.144 * [taylor]: Taking taylor expansion of z in y
1.144 * [taylor]: Taking taylor expansion of y in y
1.144 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.144 * [taylor]: Taking taylor expansion of 3.0 in y
1.145 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.145 * [taylor]: Taking taylor expansion of t in y
1.145 * [taylor]: Taking taylor expansion of (* z y) in y
1.145 * [taylor]: Taking taylor expansion of z in y
1.145 * [taylor]: Taking taylor expansion of y in y
1.145 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.145 * [taylor]: Taking taylor expansion of 3.0 in z
1.145 * [taylor]: Taking taylor expansion of (/ t z) in z
1.145 * [taylor]: Taking taylor expansion of t in z
1.145 * [taylor]: Taking taylor expansion of z in z
1.145 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.145 * [taylor]: Taking taylor expansion of 3.0 in t
1.145 * [taylor]: Taking taylor expansion of t in t
1.145 * [taylor]: Taking taylor expansion of 0 in z
1.145 * [taylor]: Taking taylor expansion of 0 in t
1.145 * [taylor]: Taking taylor expansion of 0 in z
1.145 * [taylor]: Taking taylor expansion of 0 in t
1.145 * [taylor]: Taking taylor expansion of 0 in t
1.146 * [approximate]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in (y z t) around 0
1.146 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in t
1.146 * [taylor]: Taking taylor expansion of -3.0 in t
1.146 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.146 * [taylor]: Taking taylor expansion of t in t
1.146 * [taylor]: Taking taylor expansion of (* z y) in t
1.146 * [taylor]: Taking taylor expansion of z in t
1.146 * [taylor]: Taking taylor expansion of y in t
1.146 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in z
1.146 * [taylor]: Taking taylor expansion of -3.0 in z
1.146 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.146 * [taylor]: Taking taylor expansion of t in z
1.146 * [taylor]: Taking taylor expansion of (* z y) in z
1.146 * [taylor]: Taking taylor expansion of z in z
1.146 * [taylor]: Taking taylor expansion of y in z
1.146 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.146 * [taylor]: Taking taylor expansion of -3.0 in y
1.146 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.146 * [taylor]: Taking taylor expansion of t in y
1.146 * [taylor]: Taking taylor expansion of (* z y) in y
1.146 * [taylor]: Taking taylor expansion of z in y
1.146 * [taylor]: Taking taylor expansion of y in y
1.146 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.146 * [taylor]: Taking taylor expansion of -3.0 in y
1.146 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.146 * [taylor]: Taking taylor expansion of t in y
1.146 * [taylor]: Taking taylor expansion of (* z y) in y
1.146 * [taylor]: Taking taylor expansion of z in y
1.146 * [taylor]: Taking taylor expansion of y in y
1.146 * [taylor]: Taking taylor expansion of (* -3.0 (/ t z)) in z
1.146 * [taylor]: Taking taylor expansion of -3.0 in z
1.147 * [taylor]: Taking taylor expansion of (/ t z) in z
1.147 * [taylor]: Taking taylor expansion of t in z
1.147 * [taylor]: Taking taylor expansion of z in z
1.147 * [taylor]: Taking taylor expansion of (* -3.0 t) in t
1.147 * [taylor]: Taking taylor expansion of -3.0 in t
1.147 * [taylor]: Taking taylor expansion of t in t
1.147 * [taylor]: Taking taylor expansion of 0 in z
1.147 * [taylor]: Taking taylor expansion of 0 in t
1.147 * [taylor]: Taking taylor expansion of 0 in z
1.147 * [taylor]: Taking taylor expansion of 0 in t
1.147 * [taylor]: Taking taylor expansion of 0 in t
1.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.148 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (y z t) around 0
1.148 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.148 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.148 * [taylor]: Taking taylor expansion of t in t
1.148 * [taylor]: Taking taylor expansion of (* z y) in t
1.148 * [taylor]: Taking taylor expansion of z in t
1.148 * [taylor]: Taking taylor expansion of y in t
1.148 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.148 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.148 * [taylor]: Taking taylor expansion of t in z
1.148 * [taylor]: Taking taylor expansion of (* z y) in z
1.148 * [taylor]: Taking taylor expansion of z in z
1.148 * [taylor]: Taking taylor expansion of y in z
1.148 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.148 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.148 * [taylor]: Taking taylor expansion of t in y
1.148 * [taylor]: Taking taylor expansion of (* z y) in y
1.148 * [taylor]: Taking taylor expansion of z in y
1.148 * [taylor]: Taking taylor expansion of y in y
1.148 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.148 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.148 * [taylor]: Taking taylor expansion of t in y
1.148 * [taylor]: Taking taylor expansion of (* z y) in y
1.148 * [taylor]: Taking taylor expansion of z in y
1.148 * [taylor]: Taking taylor expansion of y in y
1.148 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.148 * [taylor]: Taking taylor expansion of (/ t z) in z
1.148 * [taylor]: Taking taylor expansion of t in z
1.148 * [taylor]: Taking taylor expansion of z in z
1.148 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.148 * [taylor]: Taking taylor expansion of t in t
1.149 * [taylor]: Taking taylor expansion of 0 in z
1.149 * [taylor]: Taking taylor expansion of 0 in t
1.149 * [taylor]: Taking taylor expansion of 0 in z
1.149 * [taylor]: Taking taylor expansion of 0 in t
1.149 * [taylor]: Taking taylor expansion of 0 in t
1.149 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.149 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.149 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.149 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.149 * [taylor]: Taking taylor expansion of (* z y) in t
1.149 * [taylor]: Taking taylor expansion of z in t
1.149 * [taylor]: Taking taylor expansion of y in t
1.149 * [taylor]: Taking taylor expansion of t in t
1.149 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.149 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.149 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.149 * [taylor]: Taking taylor expansion of (* z y) in z
1.150 * [taylor]: Taking taylor expansion of z in z
1.150 * [taylor]: Taking taylor expansion of y in z
1.150 * [taylor]: Taking taylor expansion of t in z
1.150 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.150 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.150 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.150 * [taylor]: Taking taylor expansion of (* z y) in y
1.150 * [taylor]: Taking taylor expansion of z in y
1.150 * [taylor]: Taking taylor expansion of y in y
1.150 * [taylor]: Taking taylor expansion of t in y
1.150 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.150 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.150 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.150 * [taylor]: Taking taylor expansion of (* z y) in y
1.150 * [taylor]: Taking taylor expansion of z in y
1.150 * [taylor]: Taking taylor expansion of y in y
1.150 * [taylor]: Taking taylor expansion of t in y
1.150 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.150 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.150 * [taylor]: Taking taylor expansion of (/ z t) in z
1.150 * [taylor]: Taking taylor expansion of z in z
1.150 * [taylor]: Taking taylor expansion of t in z
1.150 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.150 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.150 * [taylor]: Taking taylor expansion of t in t
1.150 * [taylor]: Taking taylor expansion of 0 in z
1.150 * [taylor]: Taking taylor expansion of 0 in t
1.150 * [taylor]: Taking taylor expansion of 0 in t
1.151 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.151 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.152 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.152 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.152 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.152 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.152 * [taylor]: Taking taylor expansion of (* z y) in t
1.152 * [taylor]: Taking taylor expansion of z in t
1.152 * [taylor]: Taking taylor expansion of y in t
1.152 * [taylor]: Taking taylor expansion of t in t
1.152 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.152 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.152 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.152 * [taylor]: Taking taylor expansion of (* z y) in z
1.152 * [taylor]: Taking taylor expansion of z in z
1.152 * [taylor]: Taking taylor expansion of y in z
1.152 * [taylor]: Taking taylor expansion of t in z
1.152 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.152 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.152 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.152 * [taylor]: Taking taylor expansion of (* z y) in y
1.152 * [taylor]: Taking taylor expansion of z in y
1.152 * [taylor]: Taking taylor expansion of y in y
1.152 * [taylor]: Taking taylor expansion of t in y
1.152 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.152 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.152 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.152 * [taylor]: Taking taylor expansion of (* z y) in y
1.152 * [taylor]: Taking taylor expansion of z in y
1.152 * [taylor]: Taking taylor expansion of y in y
1.152 * [taylor]: Taking taylor expansion of t in y
1.152 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ z t)) in z
1.152 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.152 * [taylor]: Taking taylor expansion of (/ z t) in z
1.152 * [taylor]: Taking taylor expansion of z in z
1.152 * [taylor]: Taking taylor expansion of t in z
1.152 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 t) in t
1.152 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.153 * [taylor]: Taking taylor expansion of t in t
1.153 * [taylor]: Taking taylor expansion of 0 in z
1.153 * [taylor]: Taking taylor expansion of 0 in t
1.153 * [taylor]: Taking taylor expansion of 0 in t
1.153 * [taylor]: Taking taylor expansion of 0 in z
1.153 * [taylor]: Taking taylor expansion of 0 in t
1.153 * [taylor]: Taking taylor expansion of 0 in t
1.153 * [taylor]: Taking taylor expansion of 0 in t
1.153 * [taylor]: Taking taylor expansion of 0 in z
1.153 * [taylor]: Taking taylor expansion of 0 in t
1.154 * [taylor]: Taking taylor expansion of 0 in t
1.154 * [taylor]: Taking taylor expansion of 0 in t
1.154 * [taylor]: Taking taylor expansion of 0 in t
1.154 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.154 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.154 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.154 * [taylor]: Taking taylor expansion of (/ y z) in z
1.154 * [taylor]: Taking taylor expansion of y in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.154 * [taylor]: Taking taylor expansion of (/ y z) in y
1.154 * [taylor]: Taking taylor expansion of y in y
1.154 * [taylor]: Taking taylor expansion of z in y
1.154 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.154 * [taylor]: Taking taylor expansion of (/ y z) in y
1.154 * [taylor]: Taking taylor expansion of y in y
1.154 * [taylor]: Taking taylor expansion of z in y
1.154 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.154 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.155 * [taylor]: Taking taylor expansion of 0 in z
1.155 * [taylor]: Taking taylor expansion of 0 in z
1.155 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.155 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.155 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.155 * [taylor]: Taking taylor expansion of (/ z y) in z
1.155 * [taylor]: Taking taylor expansion of z in z
1.155 * [taylor]: Taking taylor expansion of y in z
1.155 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.155 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.155 * [taylor]: Taking taylor expansion of (/ z y) in y
1.155 * [taylor]: Taking taylor expansion of z in y
1.155 * [taylor]: Taking taylor expansion of y in y
1.155 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.155 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.155 * [taylor]: Taking taylor expansion of (/ z y) in y
1.155 * [taylor]: Taking taylor expansion of z in y
1.155 * [taylor]: Taking taylor expansion of y in y
1.155 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.155 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.155 * [taylor]: Taking taylor expansion of z in z
1.156 * [taylor]: Taking taylor expansion of 0 in z
1.156 * [taylor]: Taking taylor expansion of 0 in z
1.156 * [taylor]: Taking taylor expansion of 0 in z
1.156 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.156 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.156 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.156 * [taylor]: Taking taylor expansion of (/ z y) in z
1.156 * [taylor]: Taking taylor expansion of z in z
1.156 * [taylor]: Taking taylor expansion of y in z
1.156 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.156 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.156 * [taylor]: Taking taylor expansion of (/ z y) in y
1.156 * [taylor]: Taking taylor expansion of z in y
1.156 * [taylor]: Taking taylor expansion of y in y
1.156 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.156 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.156 * [taylor]: Taking taylor expansion of (/ z y) in y
1.156 * [taylor]: Taking taylor expansion of z in y
1.156 * [taylor]: Taking taylor expansion of y in y
1.156 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.156 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.156 * [taylor]: Taking taylor expansion of z in z
1.157 * [taylor]: Taking taylor expansion of 0 in z
1.157 * [taylor]: Taking taylor expansion of 0 in z
1.157 * [taylor]: Taking taylor expansion of 0 in z
1.157 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
1.157 * [approximate]: Taking taylor expansion of (* 3.0 (/ z t)) in (z t) around 0
1.157 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in t
1.157 * [taylor]: Taking taylor expansion of 3.0 in t
1.157 * [taylor]: Taking taylor expansion of (/ z t) in t
1.157 * [taylor]: Taking taylor expansion of z in t
1.157 * [taylor]: Taking taylor expansion of t in t
1.157 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.157 * [taylor]: Taking taylor expansion of 3.0 in z
1.157 * [taylor]: Taking taylor expansion of (/ z t) in z
1.157 * [taylor]: Taking taylor expansion of z in z
1.157 * [taylor]: Taking taylor expansion of t in z
1.157 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.157 * [taylor]: Taking taylor expansion of 3.0 in z
1.157 * [taylor]: Taking taylor expansion of (/ z t) in z
1.157 * [taylor]: Taking taylor expansion of z in z
1.157 * [taylor]: Taking taylor expansion of t in z
1.157 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.157 * [taylor]: Taking taylor expansion of 3.0 in t
1.157 * [taylor]: Taking taylor expansion of t in t
1.158 * [taylor]: Taking taylor expansion of 0 in t
1.158 * [taylor]: Taking taylor expansion of 0 in t
1.158 * [taylor]: Taking taylor expansion of 0 in t
1.158 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.158 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.158 * [taylor]: Taking taylor expansion of 3.0 in t
1.158 * [taylor]: Taking taylor expansion of (/ t z) in t
1.158 * [taylor]: Taking taylor expansion of t in t
1.158 * [taylor]: Taking taylor expansion of z in t
1.158 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.158 * [taylor]: Taking taylor expansion of 3.0 in z
1.158 * [taylor]: Taking taylor expansion of (/ t z) in z
1.158 * [taylor]: Taking taylor expansion of t in z
1.158 * [taylor]: Taking taylor expansion of z in z
1.158 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.158 * [taylor]: Taking taylor expansion of 3.0 in z
1.158 * [taylor]: Taking taylor expansion of (/ t z) in z
1.158 * [taylor]: Taking taylor expansion of t in z
1.158 * [taylor]: Taking taylor expansion of z in z
1.159 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.159 * [taylor]: Taking taylor expansion of 3.0 in t
1.159 * [taylor]: Taking taylor expansion of t in t
1.159 * [taylor]: Taking taylor expansion of 0 in t
1.159 * [taylor]: Taking taylor expansion of 0 in t
1.159 * [taylor]: Taking taylor expansion of 0 in t
1.159 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.159 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.159 * [taylor]: Taking taylor expansion of 3.0 in t
1.159 * [taylor]: Taking taylor expansion of (/ t z) in t
1.159 * [taylor]: Taking taylor expansion of t in t
1.159 * [taylor]: Taking taylor expansion of z in t
1.159 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.159 * [taylor]: Taking taylor expansion of 3.0 in z
1.159 * [taylor]: Taking taylor expansion of (/ t z) in z
1.159 * [taylor]: Taking taylor expansion of t in z
1.159 * [taylor]: Taking taylor expansion of z in z
1.159 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.159 * [taylor]: Taking taylor expansion of 3.0 in z
1.159 * [taylor]: Taking taylor expansion of (/ t z) in z
1.159 * [taylor]: Taking taylor expansion of t in z
1.159 * [taylor]: Taking taylor expansion of z in z
1.160 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.160 * [taylor]: Taking taylor expansion of 3.0 in t
1.160 * [taylor]: Taking taylor expansion of t in t
1.160 * [taylor]: Taking taylor expansion of 0 in t
1.160 * [taylor]: Taking taylor expansion of 0 in t
1.160 * [taylor]: Taking taylor expansion of 0 in t
1.160 * * * [progress]: simplifying candidates
1.162 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (/ (* z 3.0) t))
  (+ (log y) (- (+ (log z) (log 3.0)) (log t)))
  (+ (log y) (- (log (* z 3.0)) (log t)))
  (+ (log y) (log (/ (* z 3.0) t)))
  (log (* y (/ (* z 3.0) t)))
  (exp (* y (/ (* z 3.0) t)))
  (* (* (* y y) y) (/ (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* t t) t)))
  (* (* (* y y) y) (/ (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* t t) t)))
  (* (* (* y y) y) (* (* (/ (* z 3.0) t) (/ (* z 3.0) t)) (/ (* z 3.0) t)))
  (* (cbrt (* y (/ (* z 3.0) t))) (cbrt (* y (/ (* z 3.0) t))))
  (cbrt (* y (/ (* z 3.0) t)))
  (* (* (* y (/ (* z 3.0) t)) (* y (/ (* z 3.0) t))) (* y (/ (* z 3.0) t)))
  (sqrt (* y (/ (* z 3.0) t)))
  (sqrt (* y (/ (* z 3.0) t)))
  (* (sqrt y) (sqrt (/ (* z 3.0) t)))
  (* (sqrt y) (sqrt (/ (* z 3.0) t)))
  (* y (* (cbrt (/ (* z 3.0) t)) (cbrt (/ (* z 3.0) t))))
  (* y (sqrt (/ (* z 3.0) t)))
  (* y (/ z (* (cbrt t) (cbrt t))))
  (* y (/ z (sqrt t)))
  (* y (/ z 1))
  (* y 1)
  (* y (* z 3.0))
  (* (cbrt y) (/ (* z 3.0) t))
  (* (sqrt y) (/ (* z 3.0) t))
  (* y (/ (* z 3.0) t))
  (* y (* z 3.0))
  (neg 1)
  (neg 1)
  (neg (+ (log y) (- (+ (log z) (log 3.0)) (log t))))
  (neg (+ (log y) (- (log (* z 3.0)) (log t))))
  (neg (+ (log y) (log (/ (* z 3.0) t))))
  (neg (log (* y (/ (* z 3.0) t))))
  (- 0 (+ (log y) (- (+ (log z) (log 3.0)) (log t))))
  (- 0 (+ (log y) (- (log (* z 3.0)) (log t))))
  (- 0 (+ (log y) (log (/ (* z 3.0) t))))
  (- 0 (log (* y (/ (* z 3.0) t))))
  (- (log 1) (+ (log y) (- (+ (log z) (log 3.0)) (log t))))
  (- (log 1) (+ (log y) (- (log (* z 3.0)) (log t))))
  (- (log 1) (+ (log y) (log (/ (* z 3.0) t))))
  (- (log 1) (log (* y (/ (* z 3.0) t))))
  (log (/ 1 (* y (/ (* z 3.0) t))))
  (exp (/ 1 (* y (/ (* z 3.0) t))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (/ (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* t t) t))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (/ (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* t t) t))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (/ (* z 3.0) t) (/ (* z 3.0) t)) (/ (* z 3.0) t))))
  (/ (* (* 1 1) 1) (* (* (* y (/ (* z 3.0) t)) (* y (/ (* z 3.0) t))) (* y (/ (* z 3.0) t))))
  (* (cbrt (/ 1 (* y (/ (* z 3.0) t)))) (cbrt (/ 1 (* y (/ (* z 3.0) t)))))
  (cbrt (/ 1 (* y (/ (* z 3.0) t))))
  (* (* (/ 1 (* y (/ (* z 3.0) t))) (/ 1 (* y (/ (* z 3.0) t)))) (/ 1 (* y (/ (* z 3.0) t))))
  (sqrt (/ 1 (* y (/ (* z 3.0) t))))
  (sqrt (/ 1 (* y (/ (* z 3.0) t))))
  (neg 1)
  (neg (* y (/ (* z 3.0) t)))
  (/ (* (cbrt 1) (cbrt 1)) y)
  (/ (cbrt 1) (/ (* z 3.0) t))
  (/ (sqrt 1) y)
  (/ (sqrt 1) (/ (* z 3.0) t))
  (/ 1 y)
  (/ 1 (/ (* z 3.0) t))
  (/ 1 (* y (/ (* z 3.0) t)))
  (/ (* y (/ (* z 3.0) t)) 1)
  (/ 1 y)
  (/ (* y (/ (* z 3.0) t)) (cbrt 1))
  (/ (* y (/ (* z 3.0) t)) (sqrt 1))
  (/ (* y (/ (* z 3.0) t)) 1)
  (/ 1 (* y (* z 3.0)))
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (- (+ (log z) (log 3.0)) (log t))
  (- (log (* z 3.0)) (log t))
  (log (/ (* z 3.0) t))
  (exp (/ (* z 3.0) t))
  (/ (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* t t) t))
  (/ (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* t t) t))
  (* (cbrt (/ (* z 3.0) t)) (cbrt (/ (* z 3.0) t)))
  (cbrt (/ (* z 3.0) t))
  (* (* (/ (* z 3.0) t) (/ (* z 3.0) t)) (/ (* z 3.0) t))
  (sqrt (/ (* z 3.0) t))
  (sqrt (/ (* z 3.0) t))
  (neg (* z 3.0))
  (neg t)
  (/ z (* (cbrt t) (cbrt t)))
  (/ 3.0 (cbrt t))
  (/ z (sqrt t))
  (/ 3.0 (sqrt t))
  (/ z 1)
  (/ 3.0 t)
  (/ 1 t)
  (/ t (* z 3.0))
  (/ (* z 3.0) (* (cbrt t) (cbrt t)))
  (/ (* z 3.0) (sqrt t))
  (/ (* z 3.0) 1)
  (/ t 3.0)
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
1.215 * * [simplify]: iteration  0 :  4978  enodes  (cost  848 )
1.215 * * [simplify]: iteration  1 :  4978  enodes  (cost  848 )
1.219 * [simplify]: Simplified to:
   (* y (* 3.0 (/ z t)))
  (log (* y (* 3.0 (/ z t))))
  (log (* y (* 3.0 (/ z t))))
  (log (* y (* 3.0 (/ z t))))
  (log (* y (* 3.0 (/ z t))))
  (pow (pow (exp 3.0) (/ z t)) y)
  (pow (* y (* 3.0 (/ z t))) 3)
  (pow (* y (* 3.0 (/ z t))) 3)
  (pow (* y (* 3.0 (/ z t))) 3)
  (* (cbrt (* y (* 3.0 (/ z t)))) (cbrt (* y (* 3.0 (/ z t)))))
  (cbrt (* y (* 3.0 (/ z t))))
  (pow (* y (* 3.0 (/ z t))) 3)
  (sqrt (* y (* 3.0 (/ z t))))
  (sqrt (* y (* 3.0 (/ z t))))
  (* (sqrt y) (sqrt (* 3.0 (/ z t))))
  (* (sqrt y) (sqrt (* 3.0 (/ z t))))
  (* y (* (cbrt (* 3.0 (/ z t))) (cbrt (* 3.0 (/ z t)))))
  (* y (sqrt (* 3.0 (/ z t))))
  (* y (/ z (* (cbrt t) (cbrt t))))
  (* y (/ z (sqrt t)))
  (* y z)
  y
  (* y (* z 3.0))
  (* 3.0 (* (cbrt y) (/ z t)))
  (* 3.0 (* (sqrt y) (/ z t)))
  (* y (* 3.0 (/ z t)))
  (* y (* z 3.0))
  -1
  -1
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (log (/ t (* y (* z 3.0))))
  (exp (/ t (* y (* z 3.0))))
  (pow (/ t (* y (* z 3.0))) 3)
  (pow (/ t (* y (* z 3.0))) 3)
  (pow (/ t (* y (* z 3.0))) 3)
  (pow (/ t (* y (* z 3.0))) 3)
  (* (cbrt (/ t (* y (* z 3.0)))) (cbrt (/ t (* y (* z 3.0)))))
  (cbrt (/ t (* y (* z 3.0))))
  (pow (/ t (* y (* z 3.0))) 3)
  (sqrt (/ t (* y (* z 3.0))))
  (sqrt (/ t (* y (* z 3.0))))
  -1
  (* y (* 3.0 (/ (neg z) t)))
  (* (cbrt 1) (/ (cbrt 1) y))
  (* t (/ (cbrt 1) (* z 3.0)))
  (/ 1 y)
  (/ t (* z 3.0))
  (/ 1 y)
  (/ t (* z 3.0))
  (/ t (* y (* z 3.0)))
  (* y (* 3.0 (/ z t)))
  (/ 1 y)
  (* (* 3.0 (/ z t)) (/ y (cbrt 1)))
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (/ 1 (* y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (* z (neg 3.0))
  (* (cbrt y) (/ (cbrt y) z))
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (* z (/ 3.0 y))
  (/ y z)
  (* 3.0 (/ z (cbrt y)))
  (* 3.0 (/ z (sqrt y)))
  (* z (/ 3.0 y))
  (log (* 3.0 (/ z t)))
  (log (* 3.0 (/ z t)))
  (log (* 3.0 (/ z t)))
  (pow (exp 3.0) (/ z t))
  (pow (* 3.0 (/ z t)) 3)
  (pow (* 3.0 (/ z t)) 3)
  (* (cbrt (* 3.0 (/ z t))) (cbrt (* 3.0 (/ z t))))
  (cbrt (* 3.0 (/ z t)))
  (pow (* 3.0 (/ z t)) 3)
  (sqrt (* 3.0 (/ z t)))
  (sqrt (* 3.0 (/ z t)))
  (* z (neg 3.0))
  (neg t)
  (/ z (* (cbrt t) (cbrt t)))
  (/ 3.0 (cbrt t))
  (/ z (sqrt t))
  (/ 3.0 (sqrt t))
  z
  (/ 3.0 t)
  (/ 1 t)
  (/ t (* z 3.0))
  (* 3.0 (/ z (* (cbrt t) (cbrt t))))
  (* 3.0 (/ z (sqrt t)))
  (* z 3.0)
  (/ t 3.0)
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
1.220 * * * [progress]: adding candidates to table
1.323 * * [progress]: iteration 3 / 4
1.323 * * * [progress]: picking best candidate
1.347 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t))))))>
1.347 * * * [progress]: localizing error
1.358 * * * [progress]: generating rewritten candidates
1.358 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.364 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.372 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.376 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
1.386 * * * [progress]: generating series expansions
1.386 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.387 * [approximate]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in (y z t) around 0
1.387 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in t
1.387 * [taylor]: Taking taylor expansion of 3.0 in t
1.387 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.387 * [taylor]: Taking taylor expansion of (* z y) in t
1.387 * [taylor]: Taking taylor expansion of z in t
1.387 * [taylor]: Taking taylor expansion of y in t
1.387 * [taylor]: Taking taylor expansion of t in t
1.387 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in z
1.387 * [taylor]: Taking taylor expansion of 3.0 in z
1.387 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.387 * [taylor]: Taking taylor expansion of (* z y) in z
1.387 * [taylor]: Taking taylor expansion of z in z
1.387 * [taylor]: Taking taylor expansion of y in z
1.387 * [taylor]: Taking taylor expansion of t in z
1.387 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.387 * [taylor]: Taking taylor expansion of 3.0 in y
1.387 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.387 * [taylor]: Taking taylor expansion of (* z y) in y
1.387 * [taylor]: Taking taylor expansion of z in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of t in y
1.387 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.387 * [taylor]: Taking taylor expansion of 3.0 in y
1.387 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.387 * [taylor]: Taking taylor expansion of (* z y) in y
1.387 * [taylor]: Taking taylor expansion of z in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of t in y
1.387 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.387 * [taylor]: Taking taylor expansion of 3.0 in z
1.387 * [taylor]: Taking taylor expansion of (/ z t) in z
1.387 * [taylor]: Taking taylor expansion of z in z
1.388 * [taylor]: Taking taylor expansion of t in z
1.388 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.388 * [taylor]: Taking taylor expansion of 3.0 in t
1.388 * [taylor]: Taking taylor expansion of t in t
1.388 * [taylor]: Taking taylor expansion of 0 in z
1.388 * [taylor]: Taking taylor expansion of 0 in t
1.388 * [taylor]: Taking taylor expansion of 0 in t
1.388 * [taylor]: Taking taylor expansion of 0 in z
1.388 * [taylor]: Taking taylor expansion of 0 in t
1.388 * [taylor]: Taking taylor expansion of 0 in t
1.388 * [taylor]: Taking taylor expansion of 0 in t
1.389 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [taylor]: Taking taylor expansion of 0 in t
1.389 * [taylor]: Taking taylor expansion of 0 in t
1.389 * [taylor]: Taking taylor expansion of 0 in t
1.389 * [taylor]: Taking taylor expansion of 0 in t
1.389 * [approximate]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in (y z t) around 0
1.389 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in t
1.389 * [taylor]: Taking taylor expansion of 3.0 in t
1.389 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.389 * [taylor]: Taking taylor expansion of t in t
1.389 * [taylor]: Taking taylor expansion of (* z y) in t
1.389 * [taylor]: Taking taylor expansion of z in t
1.389 * [taylor]: Taking taylor expansion of y in t
1.389 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in z
1.389 * [taylor]: Taking taylor expansion of 3.0 in z
1.389 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.389 * [taylor]: Taking taylor expansion of t in z
1.389 * [taylor]: Taking taylor expansion of (* z y) in z
1.389 * [taylor]: Taking taylor expansion of z in z
1.389 * [taylor]: Taking taylor expansion of y in z
1.389 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.389 * [taylor]: Taking taylor expansion of 3.0 in y
1.389 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.389 * [taylor]: Taking taylor expansion of t in y
1.389 * [taylor]: Taking taylor expansion of (* z y) in y
1.389 * [taylor]: Taking taylor expansion of z in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.389 * [taylor]: Taking taylor expansion of 3.0 in y
1.389 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.389 * [taylor]: Taking taylor expansion of t in y
1.390 * [taylor]: Taking taylor expansion of (* z y) in y
1.390 * [taylor]: Taking taylor expansion of z in y
1.390 * [taylor]: Taking taylor expansion of y in y
1.390 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.390 * [taylor]: Taking taylor expansion of 3.0 in z
1.390 * [taylor]: Taking taylor expansion of (/ t z) in z
1.390 * [taylor]: Taking taylor expansion of t in z
1.390 * [taylor]: Taking taylor expansion of z in z
1.390 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.390 * [taylor]: Taking taylor expansion of 3.0 in t
1.390 * [taylor]: Taking taylor expansion of t in t
1.390 * [taylor]: Taking taylor expansion of 0 in z
1.390 * [taylor]: Taking taylor expansion of 0 in t
1.390 * [taylor]: Taking taylor expansion of 0 in z
1.390 * [taylor]: Taking taylor expansion of 0 in t
1.390 * [taylor]: Taking taylor expansion of 0 in t
1.391 * [approximate]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in (y z t) around 0
1.391 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in t
1.391 * [taylor]: Taking taylor expansion of -3.0 in t
1.391 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.391 * [taylor]: Taking taylor expansion of t in t
1.391 * [taylor]: Taking taylor expansion of (* z y) in t
1.391 * [taylor]: Taking taylor expansion of z in t
1.391 * [taylor]: Taking taylor expansion of y in t
1.391 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in z
1.391 * [taylor]: Taking taylor expansion of -3.0 in z
1.391 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.391 * [taylor]: Taking taylor expansion of t in z
1.391 * [taylor]: Taking taylor expansion of (* z y) in z
1.391 * [taylor]: Taking taylor expansion of z in z
1.391 * [taylor]: Taking taylor expansion of y in z
1.391 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.391 * [taylor]: Taking taylor expansion of -3.0 in y
1.391 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.391 * [taylor]: Taking taylor expansion of t in y
1.391 * [taylor]: Taking taylor expansion of (* z y) in y
1.391 * [taylor]: Taking taylor expansion of z in y
1.391 * [taylor]: Taking taylor expansion of y in y
1.391 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.391 * [taylor]: Taking taylor expansion of -3.0 in y
1.391 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.391 * [taylor]: Taking taylor expansion of t in y
1.391 * [taylor]: Taking taylor expansion of (* z y) in y
1.391 * [taylor]: Taking taylor expansion of z in y
1.391 * [taylor]: Taking taylor expansion of y in y
1.391 * [taylor]: Taking taylor expansion of (* -3.0 (/ t z)) in z
1.391 * [taylor]: Taking taylor expansion of -3.0 in z
1.391 * [taylor]: Taking taylor expansion of (/ t z) in z
1.391 * [taylor]: Taking taylor expansion of t in z
1.391 * [taylor]: Taking taylor expansion of z in z
1.392 * [taylor]: Taking taylor expansion of (* -3.0 t) in t
1.392 * [taylor]: Taking taylor expansion of -3.0 in t
1.392 * [taylor]: Taking taylor expansion of t in t
1.392 * [taylor]: Taking taylor expansion of 0 in z
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.392 * [taylor]: Taking taylor expansion of 0 in z
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.392 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.392 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (y z t) around 0
1.392 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.392 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.393 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.393 * [taylor]: Taking taylor expansion of t in t
1.393 * [taylor]: Taking taylor expansion of (* z y) in t
1.393 * [taylor]: Taking taylor expansion of z in t
1.393 * [taylor]: Taking taylor expansion of y in t
1.393 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.393 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.393 * [taylor]: Taking taylor expansion of t in z
1.393 * [taylor]: Taking taylor expansion of (* z y) in z
1.393 * [taylor]: Taking taylor expansion of z in z
1.393 * [taylor]: Taking taylor expansion of y in z
1.393 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.393 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.393 * [taylor]: Taking taylor expansion of t in y
1.393 * [taylor]: Taking taylor expansion of (* z y) in y
1.393 * [taylor]: Taking taylor expansion of z in y
1.393 * [taylor]: Taking taylor expansion of y in y
1.393 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.393 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.393 * [taylor]: Taking taylor expansion of t in y
1.393 * [taylor]: Taking taylor expansion of (* z y) in y
1.393 * [taylor]: Taking taylor expansion of z in y
1.393 * [taylor]: Taking taylor expansion of y in y
1.393 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.393 * [taylor]: Taking taylor expansion of (/ t z) in z
1.393 * [taylor]: Taking taylor expansion of t in z
1.393 * [taylor]: Taking taylor expansion of z in z
1.393 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.393 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.393 * [taylor]: Taking taylor expansion of t in t
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.394 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.394 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.394 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.394 * [taylor]: Taking taylor expansion of (* z y) in t
1.394 * [taylor]: Taking taylor expansion of z in t
1.394 * [taylor]: Taking taylor expansion of y in t
1.394 * [taylor]: Taking taylor expansion of t in t
1.394 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.394 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.394 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.394 * [taylor]: Taking taylor expansion of (* z y) in z
1.394 * [taylor]: Taking taylor expansion of z in z
1.394 * [taylor]: Taking taylor expansion of y in z
1.394 * [taylor]: Taking taylor expansion of t in z
1.395 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.395 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.395 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.395 * [taylor]: Taking taylor expansion of (* z y) in y
1.395 * [taylor]: Taking taylor expansion of z in y
1.395 * [taylor]: Taking taylor expansion of y in y
1.395 * [taylor]: Taking taylor expansion of t in y
1.395 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.395 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.395 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.395 * [taylor]: Taking taylor expansion of (* z y) in y
1.395 * [taylor]: Taking taylor expansion of z in y
1.395 * [taylor]: Taking taylor expansion of y in y
1.395 * [taylor]: Taking taylor expansion of t in y
1.395 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.395 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.395 * [taylor]: Taking taylor expansion of (/ z t) in z
1.395 * [taylor]: Taking taylor expansion of z in z
1.395 * [taylor]: Taking taylor expansion of t in z
1.395 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.395 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.395 * [taylor]: Taking taylor expansion of t in t
1.395 * [taylor]: Taking taylor expansion of 0 in z
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in z
1.396 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in z
1.396 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.397 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.397 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.397 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.397 * [taylor]: Taking taylor expansion of (* z y) in t
1.397 * [taylor]: Taking taylor expansion of z in t
1.397 * [taylor]: Taking taylor expansion of y in t
1.397 * [taylor]: Taking taylor expansion of t in t
1.397 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.397 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.397 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.397 * [taylor]: Taking taylor expansion of (* z y) in z
1.397 * [taylor]: Taking taylor expansion of z in z
1.397 * [taylor]: Taking taylor expansion of y in z
1.397 * [taylor]: Taking taylor expansion of t in z
1.397 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.397 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.397 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.397 * [taylor]: Taking taylor expansion of (* z y) in y
1.397 * [taylor]: Taking taylor expansion of z in y
1.397 * [taylor]: Taking taylor expansion of y in y
1.397 * [taylor]: Taking taylor expansion of t in y
1.397 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.397 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.397 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.397 * [taylor]: Taking taylor expansion of (* z y) in y
1.397 * [taylor]: Taking taylor expansion of z in y
1.397 * [taylor]: Taking taylor expansion of y in y
1.397 * [taylor]: Taking taylor expansion of t in y
1.397 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ z t)) in z
1.397 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.397 * [taylor]: Taking taylor expansion of (/ z t) in z
1.397 * [taylor]: Taking taylor expansion of z in z
1.397 * [taylor]: Taking taylor expansion of t in z
1.397 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 t) in t
1.397 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.397 * [taylor]: Taking taylor expansion of t in t
1.398 * [taylor]: Taking taylor expansion of 0 in z
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.398 * [taylor]: Taking taylor expansion of 0 in z
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.398 * [taylor]: Taking taylor expansion of 0 in z
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.398 * [taylor]: Taking taylor expansion of 0 in t
1.399 * [taylor]: Taking taylor expansion of 0 in t
1.399 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.399 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.399 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.399 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.399 * [taylor]: Taking taylor expansion of (/ y z) in z
1.399 * [taylor]: Taking taylor expansion of y in z
1.399 * [taylor]: Taking taylor expansion of z in z
1.399 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.399 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.399 * [taylor]: Taking taylor expansion of (/ y z) in y
1.399 * [taylor]: Taking taylor expansion of y in y
1.399 * [taylor]: Taking taylor expansion of z in y
1.399 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.399 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.399 * [taylor]: Taking taylor expansion of (/ y z) in y
1.399 * [taylor]: Taking taylor expansion of y in y
1.399 * [taylor]: Taking taylor expansion of z in y
1.399 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.399 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.399 * [taylor]: Taking taylor expansion of z in z
1.399 * [taylor]: Taking taylor expansion of 0 in z
1.399 * [taylor]: Taking taylor expansion of 0 in z
1.400 * [taylor]: Taking taylor expansion of 0 in z
1.400 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.400 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.400 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.400 * [taylor]: Taking taylor expansion of (/ z y) in z
1.400 * [taylor]: Taking taylor expansion of z in z
1.400 * [taylor]: Taking taylor expansion of y in z
1.400 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.400 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.400 * [taylor]: Taking taylor expansion of (/ z y) in y
1.400 * [taylor]: Taking taylor expansion of z in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.400 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.400 * [taylor]: Taking taylor expansion of (/ z y) in y
1.400 * [taylor]: Taking taylor expansion of z in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.400 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.400 * [taylor]: Taking taylor expansion of z in z
1.400 * [taylor]: Taking taylor expansion of 0 in z
1.401 * [taylor]: Taking taylor expansion of 0 in z
1.401 * [taylor]: Taking taylor expansion of 0 in z
1.401 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.401 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.401 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.401 * [taylor]: Taking taylor expansion of (/ z y) in z
1.401 * [taylor]: Taking taylor expansion of z in z
1.401 * [taylor]: Taking taylor expansion of y in z
1.401 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.401 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.401 * [taylor]: Taking taylor expansion of (/ z y) in y
1.401 * [taylor]: Taking taylor expansion of z in y
1.401 * [taylor]: Taking taylor expansion of y in y
1.401 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.401 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.401 * [taylor]: Taking taylor expansion of (/ z y) in y
1.401 * [taylor]: Taking taylor expansion of z in y
1.401 * [taylor]: Taking taylor expansion of y in y
1.401 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.401 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.401 * [taylor]: Taking taylor expansion of z in z
1.401 * [taylor]: Taking taylor expansion of 0 in z
1.402 * [taylor]: Taking taylor expansion of 0 in z
1.402 * [taylor]: Taking taylor expansion of 0 in z
1.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
1.402 * [approximate]: Taking taylor expansion of (* 3.0 (/ z t)) in (z t) around 0
1.402 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in t
1.402 * [taylor]: Taking taylor expansion of 3.0 in t
1.402 * [taylor]: Taking taylor expansion of (/ z t) in t
1.402 * [taylor]: Taking taylor expansion of z in t
1.402 * [taylor]: Taking taylor expansion of t in t
1.402 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.402 * [taylor]: Taking taylor expansion of 3.0 in z
1.402 * [taylor]: Taking taylor expansion of (/ z t) in z
1.402 * [taylor]: Taking taylor expansion of z in z
1.402 * [taylor]: Taking taylor expansion of t in z
1.402 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.402 * [taylor]: Taking taylor expansion of 3.0 in z
1.402 * [taylor]: Taking taylor expansion of (/ z t) in z
1.402 * [taylor]: Taking taylor expansion of z in z
1.402 * [taylor]: Taking taylor expansion of t in z
1.402 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.402 * [taylor]: Taking taylor expansion of 3.0 in t
1.402 * [taylor]: Taking taylor expansion of t in t
1.402 * [taylor]: Taking taylor expansion of 0 in t
1.403 * [taylor]: Taking taylor expansion of 0 in t
1.403 * [taylor]: Taking taylor expansion of 0 in t
1.403 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.403 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.403 * [taylor]: Taking taylor expansion of 3.0 in t
1.403 * [taylor]: Taking taylor expansion of (/ t z) in t
1.403 * [taylor]: Taking taylor expansion of t in t
1.403 * [taylor]: Taking taylor expansion of z in t
1.403 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.403 * [taylor]: Taking taylor expansion of 3.0 in z
1.403 * [taylor]: Taking taylor expansion of (/ t z) in z
1.403 * [taylor]: Taking taylor expansion of t in z
1.403 * [taylor]: Taking taylor expansion of z in z
1.403 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.403 * [taylor]: Taking taylor expansion of 3.0 in z
1.403 * [taylor]: Taking taylor expansion of (/ t z) in z
1.403 * [taylor]: Taking taylor expansion of t in z
1.403 * [taylor]: Taking taylor expansion of z in z
1.403 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.403 * [taylor]: Taking taylor expansion of 3.0 in t
1.403 * [taylor]: Taking taylor expansion of t in t
1.404 * [taylor]: Taking taylor expansion of 0 in t
1.404 * [taylor]: Taking taylor expansion of 0 in t
1.406 * [taylor]: Taking taylor expansion of 0 in t
1.406 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.406 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.406 * [taylor]: Taking taylor expansion of 3.0 in t
1.406 * [taylor]: Taking taylor expansion of (/ t z) in t
1.406 * [taylor]: Taking taylor expansion of t in t
1.406 * [taylor]: Taking taylor expansion of z in t
1.406 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.406 * [taylor]: Taking taylor expansion of 3.0 in z
1.406 * [taylor]: Taking taylor expansion of (/ t z) in z
1.406 * [taylor]: Taking taylor expansion of t in z
1.406 * [taylor]: Taking taylor expansion of z in z
1.406 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.406 * [taylor]: Taking taylor expansion of 3.0 in z
1.406 * [taylor]: Taking taylor expansion of (/ t z) in z
1.406 * [taylor]: Taking taylor expansion of t in z
1.406 * [taylor]: Taking taylor expansion of z in z
1.407 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.407 * [taylor]: Taking taylor expansion of 3.0 in t
1.407 * [taylor]: Taking taylor expansion of t in t
1.407 * [taylor]: Taking taylor expansion of 0 in t
1.407 * [taylor]: Taking taylor expansion of 0 in t
1.407 * [taylor]: Taking taylor expansion of 0 in t
1.407 * * * [progress]: simplifying candidates
1.409 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (+ (log y) (+ (log 3.0) (- (log z) (log t))))
  (+ (log y) (+ (log 3.0) (log (/ z t))))
  (+ (log y) (log (* 3.0 (/ z t))))
  (log (* y (* 3.0 (/ z t))))
  (exp (* y (* 3.0 (/ z t))))
  (* (* (* y y) y) (* (* (* 3.0 3.0) 3.0) (/ (* (* z z) z) (* (* t t) t))))
  (* (* (* y y) y) (* (* (* 3.0 3.0) 3.0) (* (* (/ z t) (/ z t)) (/ z t))))
  (* (* (* y y) y) (* (* (* 3.0 (/ z t)) (* 3.0 (/ z t))) (* 3.0 (/ z t))))
  (* (cbrt (* y (* 3.0 (/ z t)))) (cbrt (* y (* 3.0 (/ z t)))))
  (cbrt (* y (* 3.0 (/ z t))))
  (* (* (* y (* 3.0 (/ z t))) (* y (* 3.0 (/ z t)))) (* y (* 3.0 (/ z t))))
  (sqrt (* y (* 3.0 (/ z t))))
  (sqrt (* y (* 3.0 (/ z t))))
  (* y 3.0)
  (* (cbrt y) (* 3.0 (/ z t)))
  (* (sqrt y) (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 z))
  (neg 1)
  (neg 1)
  (neg 1)
  (neg (+ (log y) (+ (log 3.0) (- (log z) (log t)))))
  (neg (+ (log y) (+ (log 3.0) (log (/ z t)))))
  (neg (+ (log y) (log (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (- 0 (+ (log y) (+ (log 3.0) (- (log z) (log t)))))
  (- 0 (+ (log y) (+ (log 3.0) (log (/ z t)))))
  (- 0 (+ (log y) (log (* 3.0 (/ z t)))))
  (- 0 (log (* y (* 3.0 (/ z t)))))
  (- (log 1) (+ (log y) (+ (log 3.0) (- (log z) (log t)))))
  (- (log 1) (+ (log y) (+ (log 3.0) (log (/ z t)))))
  (- (log 1) (+ (log y) (log (* 3.0 (/ z t)))))
  (- (log 1) (log (* y (* 3.0 (/ z t)))))
  (log (/ 1 (* y (* 3.0 (/ z t)))))
  (exp (/ 1 (* y (* 3.0 (/ z t)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (* 3.0 3.0) 3.0) (/ (* (* z z) z) (* (* t t) t)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (* 3.0 3.0) 3.0) (* (* (/ z t) (/ z t)) (/ z t)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (* 3.0 (/ z t)) (* 3.0 (/ z t))) (* 3.0 (/ z t)))))
  (/ (* (* 1 1) 1) (* (* (* y (* 3.0 (/ z t))) (* y (* 3.0 (/ z t)))) (* y (* 3.0 (/ z t)))))
  (* (cbrt (/ 1 (* y (* 3.0 (/ z t))))) (cbrt (/ 1 (* y (* 3.0 (/ z t))))))
  (cbrt (/ 1 (* y (* 3.0 (/ z t)))))
  (* (* (/ 1 (* y (* 3.0 (/ z t)))) (/ 1 (* y (* 3.0 (/ z t))))) (/ 1 (* y (* 3.0 (/ z t)))))
  (sqrt (/ 1 (* y (* 3.0 (/ z t)))))
  (sqrt (/ 1 (* y (* 3.0 (/ z t)))))
  (neg 1)
  (neg (* y (* 3.0 (/ z t))))
  (/ (* (cbrt 1) (cbrt 1)) y)
  (/ (cbrt 1) (* 3.0 (/ z t)))
  (/ (sqrt 1) y)
  (/ (sqrt 1) (* 3.0 (/ z t)))
  (/ 1 y)
  (/ 1 (* 3.0 (/ z t)))
  (/ 1 (* y (* 3.0 (/ z t))))
  (/ (* y (* 3.0 (/ z t))) 1)
  (/ 1 y)
  (/ (* y (* 3.0 (/ z t))) (cbrt 1))
  (/ (* y (* 3.0 (/ z t))) (sqrt 1))
  (/ (* y (* 3.0 (/ z t))) 1)
  (/ 1 (* y (* 3.0 z)))
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (* 3.0 (/ z t))
  (+ (log 3.0) (- (log z) (log t)))
  (+ (log 3.0) (log (/ z t)))
  (log (* 3.0 (/ z t)))
  (exp (* 3.0 (/ z t)))
  (* (* (* 3.0 3.0) 3.0) (/ (* (* z z) z) (* (* t t) t)))
  (* (* (* 3.0 3.0) 3.0) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (cbrt (* 3.0 (/ z t))) (cbrt (* 3.0 (/ z t))))
  (cbrt (* 3.0 (/ z t)))
  (* (* (* 3.0 (/ z t)) (* 3.0 (/ z t))) (* 3.0 (/ z t)))
  (sqrt (* 3.0 (/ z t)))
  (sqrt (* 3.0 (/ z t)))
  (* (sqrt 3.0) (sqrt (/ z t)))
  (* (sqrt 3.0) (sqrt (/ z t)))
  (* (sqrt 3.0) (/ (sqrt z) (sqrt t)))
  (* (sqrt 3.0) (/ (sqrt z) (sqrt t)))
  (* 3.0 (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* 3.0 (sqrt (/ z t)))
  (* 3.0 (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* 3.0 (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* 3.0 (/ (* (cbrt z) (cbrt z)) 1))
  (* 3.0 (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* 3.0 (/ (sqrt z) (sqrt t)))
  (* 3.0 (/ (sqrt z) 1))
  (* 3.0 (/ 1 (* (cbrt t) (cbrt t))))
  (* 3.0 (/ 1 (sqrt t)))
  (* 3.0 (/ 1 1))
  (* 3.0 1)
  (* 3.0 z)
  (* (cbrt 3.0) (/ z t))
  (* (sqrt 3.0) (/ z t))
  (* 3.0 (/ z t))
  (* 3.0 z)
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
1.449 * * [simplify]: iteration  0 :  4992  enodes  (cost  916 )
1.450 * * [simplify]: iteration  1 :  4992  enodes  (cost  916 )
1.454 * [simplify]: Simplified to:
   (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (log (* y (* 3.0 (/ z t))))
  (log (* y (* 3.0 (/ z t))))
  (log (* y (* 3.0 (/ z t))))
  (log (* y (* 3.0 (/ z t))))
  (pow (pow (exp 3.0) (/ z t)) y)
  (pow (* y (* 3.0 (/ z t))) 3)
  (pow (* y (* 3.0 (/ z t))) 3)
  (pow (* y (* 3.0 (/ z t))) 3)
  (* (cbrt (* y (* 3.0 (/ z t)))) (cbrt (* y (* 3.0 (/ z t)))))
  (cbrt (* y (* 3.0 (/ z t))))
  (pow (* y (* 3.0 (/ z t))) 3)
  (sqrt (* y (* 3.0 (/ z t))))
  (sqrt (* y (* 3.0 (/ z t))))
  (* y 3.0)
  (* 3.0 (* (/ z t) (cbrt y)))
  (* 3.0 (* (/ z t) (sqrt y)))
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 z))
  -1
  -1
  -1
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (neg (log (* y (* 3.0 (/ z t)))))
  (pow (exp (/ 1 (* y (* 3.0 z)))) t)
  (/ 1 (pow (* y (* 3.0 (/ z t))) 3))
  (/ 1 (pow (* y (* 3.0 (/ z t))) 3))
  (/ 1 (pow (* y (* 3.0 (/ z t))) 3))
  (/ 1 (pow (* y (* 3.0 (/ z t))) 3))
  (* (cbrt (* (/ 1 (* y (* 3.0 z))) t)) (cbrt (* (/ 1 (* y (* 3.0 z))) t)))
  (cbrt (* (/ 1 (* y (* 3.0 z))) t))
  (/ 1 (pow (* y (* 3.0 (/ z t))) 3))
  (sqrt (* (/ 1 (* y (* 3.0 z))) t))
  (sqrt (* (/ 1 (* y (* 3.0 z))) t))
  -1
  (* y (* 3.0 (/ (neg z) t)))
  (* (/ (cbrt 1) y) (cbrt 1))
  (* (/ (cbrt 1) (* 3.0 z)) t)
  (/ 1 y)
  (* (/ 1 (* 3.0 z)) t)
  (/ 1 y)
  (* (/ 1 (* 3.0 z)) t)
  (* (/ 1 (* y (* 3.0 z))) t)
  (* y (* 3.0 (/ z t)))
  (/ 1 y)
  (* (/ y (cbrt 1)) (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (/ 1 (* y (* 3.0 z)))
  (log (/ y (* 3.0 z)))
  (log (/ y (* 3.0 z)))
  (log (/ y (* 3.0 z)))
  (exp (/ y (* 3.0 z)))
  (pow (/ y (* 3.0 z)) 3)
  (pow (/ y (* 3.0 z)) 3)
  (* (cbrt (/ y (* 3.0 z))) (cbrt (/ y (* 3.0 z))))
  (cbrt (/ y (* 3.0 z)))
  (pow (/ y (* 3.0 z)) 3)
  (sqrt (/ y (* 3.0 z)))
  (sqrt (/ y (* 3.0 z)))
  (neg y)
  (* 3.0 (neg z))
  (* (/ (cbrt y) z) (cbrt y))
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* 3.0 z))
  (* (/ z y) 3.0)
  (/ y z)
  (* (/ z (cbrt y)) 3.0)
  (* (/ z (sqrt y)) 3.0)
  (* (/ z y) 3.0)
  (* 3.0 (/ z t))
  (log (* 3.0 (/ z t)))
  (log (* 3.0 (/ z t)))
  (log (* 3.0 (/ z t)))
  (pow (exp 3.0) (/ z t))
  (pow (* 3.0 (/ z t)) 3)
  (pow (* 3.0 (/ z t)) 3)
  (* (cbrt (* 3.0 (/ z t))) (cbrt (* 3.0 (/ z t))))
  (cbrt (* 3.0 (/ z t)))
  (pow (* 3.0 (/ z t)) 3)
  (sqrt (* 3.0 (/ z t)))
  (sqrt (* 3.0 (/ z t)))
  (* (sqrt 3.0) (sqrt (/ z t)))
  (* (sqrt 3.0) (sqrt (/ z t)))
  (* (sqrt 3.0) (/ (sqrt z) (sqrt t)))
  (* (sqrt 3.0) (/ (sqrt z) (sqrt t)))
  (* 3.0 (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* 3.0 (sqrt (/ z t)))
  (* 3.0 (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))))
  (* 3.0 (* (/ (cbrt z) (sqrt t)) (cbrt z)))
  (* 3.0 (* (cbrt z) (cbrt z)))
  (* 3.0 (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* 3.0 (/ (sqrt z) (sqrt t)))
  (* 3.0 (sqrt z))
  (/ 3.0 (* (cbrt t) (cbrt t)))
  (/ 3.0 (sqrt t))
  3.0
  3.0
  (* 3.0 z)
  (* (/ z t) (cbrt 3.0))
  (* (/ z t) (sqrt 3.0))
  (* 3.0 (/ z t))
  (* 3.0 z)
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (* y (* 3.0 (/ z t)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
1.454 * * * [progress]: adding candidates to table
1.550 * * [progress]: iteration 4 / 4
1.550 * * * [progress]: picking best candidate
1.570 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))>
1.570 * * * [progress]: localizing error
1.580 * * * [progress]: generating rewritten candidates
1.580 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.586 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.590 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.594 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.602 * * * [progress]: generating series expansions
1.602 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.602 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.602 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.602 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.602 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.602 * [taylor]: Taking taylor expansion of t in y
1.602 * [taylor]: Taking taylor expansion of (* z y) in y
1.602 * [taylor]: Taking taylor expansion of z in y
1.602 * [taylor]: Taking taylor expansion of y in y
1.602 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.602 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.602 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.602 * [taylor]: Taking taylor expansion of t in z
1.602 * [taylor]: Taking taylor expansion of (* z y) in z
1.602 * [taylor]: Taking taylor expansion of z in z
1.602 * [taylor]: Taking taylor expansion of y in z
1.602 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.602 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.602 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.602 * [taylor]: Taking taylor expansion of t in t
1.603 * [taylor]: Taking taylor expansion of (* z y) in t
1.603 * [taylor]: Taking taylor expansion of z in t
1.603 * [taylor]: Taking taylor expansion of y in t
1.603 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.603 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.603 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.603 * [taylor]: Taking taylor expansion of t in t
1.603 * [taylor]: Taking taylor expansion of (* z y) in t
1.603 * [taylor]: Taking taylor expansion of z in t
1.603 * [taylor]: Taking taylor expansion of y in t
1.603 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.603 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.603 * [taylor]: Taking taylor expansion of (* z y) in z
1.603 * [taylor]: Taking taylor expansion of z in z
1.603 * [taylor]: Taking taylor expansion of y in z
1.603 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.603 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.603 * [taylor]: Taking taylor expansion of y in y
1.603 * [taylor]: Taking taylor expansion of 0 in z
1.603 * [taylor]: Taking taylor expansion of 0 in y
1.604 * [taylor]: Taking taylor expansion of 0 in z
1.604 * [taylor]: Taking taylor expansion of 0 in y
1.604 * [taylor]: Taking taylor expansion of 0 in y
1.604 * [taylor]: Taking taylor expansion of 0 in z
1.604 * [taylor]: Taking taylor expansion of 0 in y
1.604 * [taylor]: Taking taylor expansion of 0 in y
1.604 * [taylor]: Taking taylor expansion of 0 in y
1.604 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.604 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.604 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.604 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.604 * [taylor]: Taking taylor expansion of (* z y) in y
1.605 * [taylor]: Taking taylor expansion of z in y
1.605 * [taylor]: Taking taylor expansion of y in y
1.605 * [taylor]: Taking taylor expansion of t in y
1.605 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.605 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.605 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.605 * [taylor]: Taking taylor expansion of (* z y) in z
1.605 * [taylor]: Taking taylor expansion of z in z
1.605 * [taylor]: Taking taylor expansion of y in z
1.605 * [taylor]: Taking taylor expansion of t in z
1.605 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.605 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.605 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.605 * [taylor]: Taking taylor expansion of (* z y) in t
1.605 * [taylor]: Taking taylor expansion of z in t
1.605 * [taylor]: Taking taylor expansion of y in t
1.605 * [taylor]: Taking taylor expansion of t in t
1.605 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.605 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.605 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.605 * [taylor]: Taking taylor expansion of (* z y) in t
1.605 * [taylor]: Taking taylor expansion of z in t
1.605 * [taylor]: Taking taylor expansion of y in t
1.605 * [taylor]: Taking taylor expansion of t in t
1.605 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.605 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.605 * [taylor]: Taking taylor expansion of (* z y) in z
1.605 * [taylor]: Taking taylor expansion of z in z
1.605 * [taylor]: Taking taylor expansion of y in z
1.605 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.605 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.605 * [taylor]: Taking taylor expansion of y in y
1.605 * [taylor]: Taking taylor expansion of 0 in z
1.606 * [taylor]: Taking taylor expansion of 0 in y
1.606 * [taylor]: Taking taylor expansion of 0 in y
1.606 * [taylor]: Taking taylor expansion of 0 in z
1.606 * [taylor]: Taking taylor expansion of 0 in y
1.606 * [taylor]: Taking taylor expansion of 0 in y
1.606 * [taylor]: Taking taylor expansion of 0 in y
1.606 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.606 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.606 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.606 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.606 * [taylor]: Taking taylor expansion of (* z y) in y
1.606 * [taylor]: Taking taylor expansion of z in y
1.606 * [taylor]: Taking taylor expansion of y in y
1.606 * [taylor]: Taking taylor expansion of t in y
1.606 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.606 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.606 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.606 * [taylor]: Taking taylor expansion of (* z y) in z
1.606 * [taylor]: Taking taylor expansion of z in z
1.606 * [taylor]: Taking taylor expansion of y in z
1.606 * [taylor]: Taking taylor expansion of t in z
1.607 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.607 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.607 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.607 * [taylor]: Taking taylor expansion of (* z y) in t
1.607 * [taylor]: Taking taylor expansion of z in t
1.607 * [taylor]: Taking taylor expansion of y in t
1.607 * [taylor]: Taking taylor expansion of t in t
1.607 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.607 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.607 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.607 * [taylor]: Taking taylor expansion of (* z y) in t
1.607 * [taylor]: Taking taylor expansion of z in t
1.607 * [taylor]: Taking taylor expansion of y in t
1.607 * [taylor]: Taking taylor expansion of t in t
1.607 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.607 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.607 * [taylor]: Taking taylor expansion of (* z y) in z
1.607 * [taylor]: Taking taylor expansion of z in z
1.607 * [taylor]: Taking taylor expansion of y in z
1.607 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.607 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.607 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.607 * [taylor]: Taking taylor expansion of y in y
1.607 * [taylor]: Taking taylor expansion of 0 in z
1.607 * [taylor]: Taking taylor expansion of 0 in y
1.607 * [taylor]: Taking taylor expansion of 0 in y
1.608 * [taylor]: Taking taylor expansion of 0 in z
1.608 * [taylor]: Taking taylor expansion of 0 in y
1.608 * [taylor]: Taking taylor expansion of 0 in y
1.608 * [taylor]: Taking taylor expansion of 0 in y
1.608 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.608 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.608 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.608 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.608 * [taylor]: Taking taylor expansion of (/ y z) in z
1.608 * [taylor]: Taking taylor expansion of y in z
1.608 * [taylor]: Taking taylor expansion of z in z
1.608 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.608 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.608 * [taylor]: Taking taylor expansion of (/ y z) in y
1.608 * [taylor]: Taking taylor expansion of y in y
1.608 * [taylor]: Taking taylor expansion of z in y
1.608 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.608 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.608 * [taylor]: Taking taylor expansion of (/ y z) in y
1.608 * [taylor]: Taking taylor expansion of y in y
1.608 * [taylor]: Taking taylor expansion of z in y
1.608 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.608 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.608 * [taylor]: Taking taylor expansion of z in z
1.608 * [taylor]: Taking taylor expansion of 0 in z
1.609 * [taylor]: Taking taylor expansion of 0 in z
1.609 * [taylor]: Taking taylor expansion of 0 in z
1.609 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.609 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.609 * [taylor]: Taking taylor expansion of (/ z y) in z
1.609 * [taylor]: Taking taylor expansion of z in z
1.609 * [taylor]: Taking taylor expansion of y in z
1.609 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.609 * [taylor]: Taking taylor expansion of (/ z y) in y
1.609 * [taylor]: Taking taylor expansion of z in y
1.609 * [taylor]: Taking taylor expansion of y in y
1.609 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.609 * [taylor]: Taking taylor expansion of (/ z y) in y
1.609 * [taylor]: Taking taylor expansion of z in y
1.609 * [taylor]: Taking taylor expansion of y in y
1.609 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.609 * [taylor]: Taking taylor expansion of z in z
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.610 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.610 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.610 * [taylor]: Taking taylor expansion of (/ z y) in z
1.610 * [taylor]: Taking taylor expansion of z in z
1.610 * [taylor]: Taking taylor expansion of y in z
1.610 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.610 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.610 * [taylor]: Taking taylor expansion of (/ z y) in y
1.610 * [taylor]: Taking taylor expansion of z in y
1.610 * [taylor]: Taking taylor expansion of y in y
1.610 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.610 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.610 * [taylor]: Taking taylor expansion of (/ z y) in y
1.610 * [taylor]: Taking taylor expansion of z in y
1.611 * [taylor]: Taking taylor expansion of y in y
1.611 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.611 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.611 * [taylor]: Taking taylor expansion of z in z
1.611 * [taylor]: Taking taylor expansion of 0 in z
1.611 * [taylor]: Taking taylor expansion of 0 in z
1.611 * [taylor]: Taking taylor expansion of 0 in z
1.611 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.611 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in (t z) around 0
1.611 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.611 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.611 * [taylor]: Taking taylor expansion of (/ t z) in z
1.611 * [taylor]: Taking taylor expansion of t in z
1.611 * [taylor]: Taking taylor expansion of z in z
1.611 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in t
1.611 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.611 * [taylor]: Taking taylor expansion of (/ t z) in t
1.611 * [taylor]: Taking taylor expansion of t in t
1.611 * [taylor]: Taking taylor expansion of z in t
1.611 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in t
1.611 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.611 * [taylor]: Taking taylor expansion of (/ t z) in t
1.612 * [taylor]: Taking taylor expansion of t in t
1.612 * [taylor]: Taking taylor expansion of z in t
1.612 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.612 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.612 * [taylor]: Taking taylor expansion of z in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in (t z) around 0
1.612 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.612 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.612 * [taylor]: Taking taylor expansion of (/ z t) in z
1.612 * [taylor]: Taking taylor expansion of z in z
1.612 * [taylor]: Taking taylor expansion of t in z
1.612 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.612 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.612 * [taylor]: Taking taylor expansion of (/ z t) in t
1.613 * [taylor]: Taking taylor expansion of z in t
1.613 * [taylor]: Taking taylor expansion of t in t
1.613 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.613 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.613 * [taylor]: Taking taylor expansion of (/ z t) in t
1.613 * [taylor]: Taking taylor expansion of z in t
1.613 * [taylor]: Taking taylor expansion of t in t
1.613 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.613 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.613 * [taylor]: Taking taylor expansion of z in z
1.613 * [taylor]: Taking taylor expansion of 0 in z
1.613 * [taylor]: Taking taylor expansion of 0 in z
1.613 * [taylor]: Taking taylor expansion of 0 in z
1.613 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in (t z) around 0
1.613 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.613 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.613 * [taylor]: Taking taylor expansion of (/ z t) in z
1.613 * [taylor]: Taking taylor expansion of z in z
1.613 * [taylor]: Taking taylor expansion of t in z
1.613 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.613 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.613 * [taylor]: Taking taylor expansion of (/ z t) in t
1.613 * [taylor]: Taking taylor expansion of z in t
1.613 * [taylor]: Taking taylor expansion of t in t
1.614 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.614 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.614 * [taylor]: Taking taylor expansion of (/ z t) in t
1.614 * [taylor]: Taking taylor expansion of z in t
1.614 * [taylor]: Taking taylor expansion of t in t
1.614 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.614 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.614 * [taylor]: Taking taylor expansion of 0 in z
1.614 * [taylor]: Taking taylor expansion of 0 in z
1.614 * [taylor]: Taking taylor expansion of 0 in z
1.614 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.614 * [approximate]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in (x y z) around 0
1.614 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in z
1.614 * [taylor]: Taking taylor expansion of x in z
1.614 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.614 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.614 * [taylor]: Taking taylor expansion of (/ y z) in z
1.614 * [taylor]: Taking taylor expansion of y in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.615 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in y
1.615 * [taylor]: Taking taylor expansion of x in y
1.615 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.615 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.615 * [taylor]: Taking taylor expansion of (/ y z) in y
1.615 * [taylor]: Taking taylor expansion of y in y
1.615 * [taylor]: Taking taylor expansion of z in y
1.615 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.615 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.615 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.615 * [taylor]: Taking taylor expansion of (/ y z) in x
1.615 * [taylor]: Taking taylor expansion of y in x
1.615 * [taylor]: Taking taylor expansion of z in x
1.615 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.615 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.615 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.615 * [taylor]: Taking taylor expansion of (/ y z) in x
1.615 * [taylor]: Taking taylor expansion of y in x
1.615 * [taylor]: Taking taylor expansion of z in x
1.615 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ y z))) in y
1.615 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.615 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.615 * [taylor]: Taking taylor expansion of (/ y z) in y
1.615 * [taylor]: Taking taylor expansion of y in y
1.615 * [taylor]: Taking taylor expansion of z in y
1.615 * [taylor]: Taking taylor expansion of 1 in y
1.615 * [taylor]: Taking taylor expansion of 1 in z
1.615 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
1.615 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
1.615 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.616 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.616 * [taylor]: Taking taylor expansion of z in z
1.616 * [taylor]: Taking taylor expansion of 0 in y
1.616 * [taylor]: Taking taylor expansion of 0 in z
1.616 * [taylor]: Taking taylor expansion of 0 in z
1.616 * [taylor]: Taking taylor expansion of 0 in z
1.616 * [taylor]: Taking taylor expansion of 0 in y
1.616 * [taylor]: Taking taylor expansion of 0 in z
1.616 * [taylor]: Taking taylor expansion of 0 in z
1.616 * [taylor]: Taking taylor expansion of 0 in z
1.616 * [taylor]: Taking taylor expansion of 0 in z
1.617 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in (x y z) around 0
1.617 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in z
1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.617 * [taylor]: Taking taylor expansion of x in z
1.617 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.617 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.617 * [taylor]: Taking taylor expansion of (/ z y) in z
1.617 * [taylor]: Taking taylor expansion of z in z
1.617 * [taylor]: Taking taylor expansion of y in z
1.617 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in y
1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.617 * [taylor]: Taking taylor expansion of x in y
1.617 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.617 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.617 * [taylor]: Taking taylor expansion of (/ z y) in y
1.617 * [taylor]: Taking taylor expansion of z in y
1.617 * [taylor]: Taking taylor expansion of y in y
1.617 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.617 * [taylor]: Taking taylor expansion of x in x
1.617 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.617 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.617 * [taylor]: Taking taylor expansion of (/ z y) in x
1.617 * [taylor]: Taking taylor expansion of z in x
1.617 * [taylor]: Taking taylor expansion of y in x
1.617 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.617 * [taylor]: Taking taylor expansion of x in x
1.617 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.617 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.617 * [taylor]: Taking taylor expansion of (/ z y) in x
1.617 * [taylor]: Taking taylor expansion of z in x
1.617 * [taylor]: Taking taylor expansion of y in x
1.617 * [taylor]: Taking taylor expansion of 1 in y
1.618 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.618 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.618 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.618 * [taylor]: Taking taylor expansion of (/ z y) in y
1.618 * [taylor]: Taking taylor expansion of z in y
1.618 * [taylor]: Taking taylor expansion of y in y
1.618 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.618 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.618 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.618 * [taylor]: Taking taylor expansion of z in z
1.618 * [taylor]: Taking taylor expansion of 1 in z
1.618 * [taylor]: Taking taylor expansion of 0 in y
1.618 * [taylor]: Taking taylor expansion of 0 in z
1.618 * [taylor]: Taking taylor expansion of 0 in z
1.618 * [taylor]: Taking taylor expansion of 0 in y
1.618 * [taylor]: Taking taylor expansion of 0 in z
1.618 * [taylor]: Taking taylor expansion of 0 in z
1.619 * [taylor]: Taking taylor expansion of 0 in z
1.619 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in (x y z) around 0
1.619 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
1.619 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
1.619 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.619 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.619 * [taylor]: Taking taylor expansion of (/ z y) in z
1.619 * [taylor]: Taking taylor expansion of z in z
1.619 * [taylor]: Taking taylor expansion of y in z
1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.619 * [taylor]: Taking taylor expansion of x in z
1.619 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
1.619 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
1.619 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.619 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.619 * [taylor]: Taking taylor expansion of (/ z y) in y
1.619 * [taylor]: Taking taylor expansion of z in y
1.619 * [taylor]: Taking taylor expansion of y in y
1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.619 * [taylor]: Taking taylor expansion of x in y
1.619 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.619 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.619 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.619 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.619 * [taylor]: Taking taylor expansion of (/ z y) in x
1.619 * [taylor]: Taking taylor expansion of z in x
1.619 * [taylor]: Taking taylor expansion of y in x
1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.619 * [taylor]: Taking taylor expansion of x in x
1.619 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.619 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.619 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.619 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.619 * [taylor]: Taking taylor expansion of (/ z y) in x
1.620 * [taylor]: Taking taylor expansion of z in x
1.620 * [taylor]: Taking taylor expansion of y in x
1.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.620 * [taylor]: Taking taylor expansion of x in x
1.620 * [taylor]: Taking taylor expansion of (neg 1) in y
1.620 * [taylor]: Taking taylor expansion of 1 in y
1.620 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.620 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.620 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.620 * [taylor]: Taking taylor expansion of (/ z y) in y
1.620 * [taylor]: Taking taylor expansion of z in y
1.620 * [taylor]: Taking taylor expansion of y in y
1.620 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.620 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.620 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.620 * [taylor]: Taking taylor expansion of z in z
1.620 * [taylor]: Taking taylor expansion of (neg 1) in z
1.620 * [taylor]: Taking taylor expansion of 1 in z
1.620 * [taylor]: Taking taylor expansion of 0 in y
1.620 * [taylor]: Taking taylor expansion of 0 in z
1.620 * [taylor]: Taking taylor expansion of 0 in z
1.621 * [taylor]: Taking taylor expansion of 0 in y
1.621 * [taylor]: Taking taylor expansion of 0 in z
1.621 * [taylor]: Taking taylor expansion of 0 in z
1.621 * [taylor]: Taking taylor expansion of 0 in z
1.621 * * * [progress]: simplifying candidates
1.623 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (log t) (+ (log z) (log 3.0))) (log y))
  (- (- (log t) (log (* z 3.0))) (log y))
  (- (log (/ t (* z 3.0))) (log y))
  (log (/ (/ t (* z 3.0)) y))
  (exp (/ (/ t (* z 3.0)) y))
  (/ (/ (* (* t t) t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* y y) y))
  (/ (/ (* (* t t) t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* y y) y))
  (/ (* (* (/ t (* z 3.0)) (/ t (* z 3.0))) (/ t (* z 3.0))) (* (* y y) y))
  (* (cbrt (/ (/ t (* z 3.0)) y)) (cbrt (/ (/ t (* z 3.0)) y)))
  (cbrt (/ (/ t (* z 3.0)) y))
  (* (* (/ (/ t (* z 3.0)) y) (/ (/ t (* z 3.0)) y)) (/ (/ t (* z 3.0)) y))
  (sqrt (/ (/ t (* z 3.0)) y))
  (sqrt (/ (/ t (* z 3.0)) y))
  (neg (/ t (* z 3.0)))
  (neg y)
  (/ (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0)))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ t (* z 3.0))) (cbrt y))
  (/ (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0)))) (sqrt y))
  (/ (cbrt (/ t (* z 3.0))) (sqrt y))
  (/ (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0)))) 1)
  (/ (cbrt (/ t (* z 3.0))) y)
  (/ (sqrt (/ t (* z 3.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ t (* z 3.0))) (cbrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (/ (sqrt (/ t (* z 3.0))) 1)
  (/ (sqrt (/ t (* z 3.0))) y)
  (/ (/ (* (cbrt t) (cbrt t)) z) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt t) 3.0) (cbrt y))
  (/ (/ (* (cbrt t) (cbrt t)) z) (sqrt y))
  (/ (/ (cbrt t) 3.0) (sqrt y))
  (/ (/ (* (cbrt t) (cbrt t)) z) 1)
  (/ (/ (cbrt t) 3.0) y)
  (/ (/ (sqrt t) z) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt t) 3.0) (cbrt y))
  (/ (/ (sqrt t) z) (sqrt y))
  (/ (/ (sqrt t) 3.0) (sqrt y))
  (/ (/ (sqrt t) z) 1)
  (/ (/ (sqrt t) 3.0) y)
  (/ (/ 1 z) (* (cbrt y) (cbrt y)))
  (/ (/ t 3.0) (cbrt y))
  (/ (/ 1 z) (sqrt y))
  (/ (/ t 3.0) (sqrt y))
  (/ (/ 1 z) 1)
  (/ (/ t 3.0) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ t (* z 3.0)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ t (* z 3.0)) (sqrt y))
  (/ 1 1)
  (/ (/ t (* z 3.0)) y)
  (/ t (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* z 3.0)) (cbrt y))
  (/ t (sqrt y))
  (/ (/ 1 (* z 3.0)) (sqrt y))
  (/ t 1)
  (/ (/ 1 (* z 3.0)) y)
  (/ 1 y)
  (/ y (/ t (* z 3.0)))
  (/ (/ t (* z 3.0)) (* (cbrt y) (cbrt y)))
  (/ (/ t (* z 3.0)) (sqrt y))
  (/ (/ t (* z 3.0)) 1)
  (/ y (cbrt (/ t (* z 3.0))))
  (/ y (sqrt (/ t (* z 3.0))))
  (/ y (/ (cbrt t) 3.0))
  (/ y (/ (sqrt t) 3.0))
  (/ y (/ t 3.0))
  (/ y (/ t (* z 3.0)))
  (/ y (/ 1 (* z 3.0)))
  (* y (* z 3.0))
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (- (log t) (+ (log z) (log 3.0)))
  (- (log t) (log (* z 3.0)))
  (log (/ t (* z 3.0)))
  (exp (/ t (* z 3.0)))
  (/ (* (* t t) t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* t t) t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0))))
  (cbrt (/ t (* z 3.0)))
  (* (* (/ t (* z 3.0)) (/ t (* z 3.0))) (/ t (* z 3.0)))
  (sqrt (/ t (* z 3.0)))
  (sqrt (/ t (* z 3.0)))
  (neg t)
  (neg (* z 3.0))
  (/ (* (cbrt t) (cbrt t)) z)
  (/ (cbrt t) 3.0)
  (/ (sqrt t) z)
  (/ (sqrt t) 3.0)
  (/ 1 z)
  (/ t 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) t)
  (/ t z)
  (/ (* z 3.0) (cbrt t))
  (/ (* z 3.0) (sqrt t))
  (/ (* z 3.0) t)
  (/ (exp x) (exp (/ y (* z 3.0))))
  (log (- x (/ y (* z 3.0))))
  (exp (- x (/ y (* z 3.0))))
  (* (cbrt (- x (/ y (* z 3.0)))) (cbrt (- x (/ y (* z 3.0)))))
  (cbrt (- x (/ y (* z 3.0))))
  (* (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (- (pow x 3) (pow (/ y (* z 3.0)) 3))
  (+ (* x x) (+ (* (/ y (* z 3.0)) (/ y (* z 3.0))) (* x (/ y (* z 3.0)))))
  (neg (/ y (* z 3.0)))
  (- (* x x) (* (/ y (* z 3.0)) (/ y (* z 3.0))))
  (+ x (/ y (* z 3.0)))
  (+ (sqrt x) (sqrt (/ y (* z 3.0))))
  (- (sqrt x) (sqrt (/ y (* z 3.0))))
  (- x (/ y (* z 3.0)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ t z))
  (* 0.3333333333333333 (/ t z))
  (* 0.3333333333333333 (/ t z))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
1.671 * * [simplify]: iteration  0 :  4970  enodes  (cost  1033 )
1.671 * * [simplify]: iteration  1 :  4970  enodes  (cost  1033 )
1.675 * [simplify]: Simplified to:
   (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (exp (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (* (cbrt (/ t (* z (* 3.0 y)))) (cbrt (/ t (* z (* 3.0 y)))))
  (cbrt (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (sqrt (/ t (* z (* 3.0 y))))
  (sqrt (/ t (* z (* 3.0 y))))
  (/ (neg t) (* z 3.0))
  (neg y)
  (* (/ (cbrt (/ t (* z 3.0))) (cbrt y)) (/ (cbrt (/ t (* z 3.0))) (cbrt y)))
  (/ (cbrt (/ t (* z 3.0))) (cbrt y))
  (* (/ (cbrt (/ t (* z 3.0))) (sqrt y)) (cbrt (/ t (* z 3.0))))
  (/ (cbrt (/ t (* z 3.0))) (sqrt y))
  (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0))))
  (/ (cbrt (/ t (* z 3.0))) y)
  (/ (sqrt (/ t (* z 3.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ t (* z 3.0))) (cbrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (sqrt (/ t (* z 3.0)))
  (/ (sqrt (/ t (* z 3.0))) y)
  (* (/ (cbrt t) (* (cbrt y) (cbrt y))) (/ (cbrt t) z))
  (/ (cbrt t) (* 3.0 (cbrt y)))
  (* (/ (cbrt t) (sqrt y)) (/ (cbrt t) z))
  (/ (cbrt t) (* 3.0 (sqrt y)))
  (* (cbrt t) (/ (cbrt t) z))
  (/ (cbrt t) (* 3.0 y))
  (/ (sqrt t) (* z (* (cbrt y) (cbrt y))))
  (/ (sqrt t) (* 3.0 (cbrt y)))
  (/ (sqrt t) (* z (sqrt y)))
  (/ (sqrt t) (* 3.0 (sqrt y)))
  (/ (sqrt t) z)
  (/ (sqrt t) (* 3.0 y))
  (/ 1 (* z (* (cbrt y) (cbrt y))))
  (/ t (* 3.0 (cbrt y)))
  (/ 1 (* z (sqrt y)))
  (/ t (* 3.0 (sqrt y)))
  (/ 1 z)
  (/ t (* 3.0 y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ t (* z (* 3.0 (cbrt y))))
  (/ 1 (sqrt y))
  (/ t (* z (* 3.0 (sqrt y))))
  1
  (/ t (* z (* 3.0 y)))
  (/ t (* (cbrt y) (cbrt y)))
  (/ 1 (* z (* 3.0 (cbrt y))))
  (/ t (sqrt y))
  (/ 1 (* z (* 3.0 (sqrt y))))
  t
  (/ 1 (* z (* 3.0 y)))
  (/ 1 y)
  (* z (* 3.0 (/ y t)))
  (/ t (* z (* (cbrt y) (* 3.0 (cbrt y)))))
  (/ t (* z (* 3.0 (sqrt y))))
  (/ t (* z 3.0))
  (/ y (cbrt (/ t (* z 3.0))))
  (/ y (sqrt (/ t (* z 3.0))))
  (* 3.0 (/ y (cbrt t)))
  (* 3.0 (/ y (sqrt t)))
  (* 3.0 (/ y t))
  (* z (* 3.0 (/ y t)))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (* z (neg 3.0))
  (* (/ (cbrt y) z) (cbrt y))
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (* (/ z y) 3.0)
  (/ y z)
  (* (/ z (cbrt y)) 3.0)
  (* (/ z (sqrt y)) 3.0)
  (* (/ z y) 3.0)
  (log (/ t (* z 3.0)))
  (log (/ t (* z 3.0)))
  (log (/ t (* z 3.0)))
  (exp (/ t (* z 3.0)))
  (pow (/ t (* z 3.0)) 3)
  (pow (/ t (* z 3.0)) 3)
  (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0))))
  (cbrt (/ t (* z 3.0)))
  (pow (/ t (* z 3.0)) 3)
  (sqrt (/ t (* z 3.0)))
  (sqrt (/ t (* z 3.0)))
  (neg t)
  (* z (neg 3.0))
  (* (cbrt t) (/ (cbrt t) z))
  (/ (cbrt t) 3.0)
  (/ (sqrt t) z)
  (/ (sqrt t) 3.0)
  (/ 1 z)
  (/ t 3.0)
  (/ 1 (* z 3.0))
  (* (/ z t) 3.0)
  (/ t z)
  (* (/ z (cbrt t)) 3.0)
  (* (/ z (sqrt t)) 3.0)
  (* (/ z t) 3.0)
  (exp (- x (/ y (* z 3.0))))
  (log (- x (/ y (* z 3.0))))
  (exp (- x (/ y (* z 3.0))))
  (* (cbrt (- x (/ y (* z 3.0)))) (cbrt (- x (/ y (* z 3.0)))))
  (cbrt (- x (/ y (* z 3.0))))
  (pow (- x (/ y (* z 3.0))) 3)
  (sqrt (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (- (pow x 3) (pow (/ y (* z 3.0)) 3))
  (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)))
  (/ (neg y) (* z 3.0))
  (- (* x x) (* (/ y (* z 3.0)) (/ y (* z 3.0))))
  (+ (/ y (* z 3.0)) x)
  (+ (sqrt (/ y (* z 3.0))) (sqrt x))
  (- (sqrt x) (sqrt (/ y (* z 3.0))))
  (- x (/ y (* z 3.0)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ t z) 0.3333333333333333)
  (* (/ t z) 0.3333333333333333)
  (* (/ t z) 0.3333333333333333)
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
1.676 * * * [progress]: adding candidates to table
1.788 * [progress]: [Phase 3 of 3] Extracting.
1.788 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* y z)))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t))))))> #<alt (λ (x y z t) (+ (- x (/ 1 (* 3.0 (/ z y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y)))>)
1.790 * * * [regime-changes]: Trying 5 branch expressions: ((* z 3.0) t z y x)
1.790 * * * * [regimes]: Trying to branch on (* z 3.0) from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* y z)))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t))))))> #<alt (λ (x y z t) (+ (- x (/ 1 (* 3.0 (/ z y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y)))>)
1.855 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* y z)))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t))))))> #<alt (λ (x y z t) (+ (- x (/ 1 (* 3.0 (/ z y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y)))>)
1.918 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* y z)))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t))))))> #<alt (λ (x y z t) (+ (- x (/ 1 (* 3.0 (/ z y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y)))>)
1.983 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* y z)))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t))))))> #<alt (λ (x y z t) (+ (- x (/ 1 (* 3.0 (/ z y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y)))>)
2.048 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* y z)))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t))))))> #<alt (λ (x y z t) (+ (- x (/ 1 (* 3.0 (/ z y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y)))>)
2.113 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.113 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t)))))
2.114 * * [simplify]: iteration  0 :  35  enodes  (cost  17 )
2.114 * * [simplify]: iteration  1 :  35  enodes  (cost  17 )
2.114 * [simplify]: Simplified to:
   (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* 3.0 (/ z t)))))
3.669 * [regime-testing]: End program error score: 1.5570099995517883
3.766 * [regime-testing]: Target error score: 1.6975625810212975