16.985 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.021 * * * [progress]: [2/2] Setting up program.
1.024 * [progress]: [Phase 2 of 3] Improving.
1.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
1.028 * * [simplify]: iteration  0 :  54  enodes  (cost  15 )
1.028 * * [simplify]: iteration  1 :  54  enodes  (cost  15 )
1.028 * [simplify]: Simplified to:
   (+ x (- (/ t (* y (* z 3.0))) (/ y (* z 3.0))))
1.031 * * [progress]: iteration 1 / 4
1.032 * * * [progress]: picking best candidate
1.035 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))>
1.035 * * * [progress]: localizing error
1.047 * * * [progress]: generating rewritten candidates
1.047 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.053 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.057 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.061 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.068 * * * [progress]: generating series expansions
1.068 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.068 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.068 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.068 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.068 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.068 * [taylor]: Taking taylor expansion of t in y
1.068 * [taylor]: Taking taylor expansion of (* z y) in y
1.068 * [taylor]: Taking taylor expansion of z in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.068 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.068 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.068 * [taylor]: Taking taylor expansion of t in z
1.068 * [taylor]: Taking taylor expansion of (* z y) in z
1.068 * [taylor]: Taking taylor expansion of z in z
1.068 * [taylor]: Taking taylor expansion of y in z
1.068 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.068 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.068 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.068 * [taylor]: Taking taylor expansion of t in t
1.068 * [taylor]: Taking taylor expansion of (* z y) in t
1.068 * [taylor]: Taking taylor expansion of z in t
1.068 * [taylor]: Taking taylor expansion of y in t
1.068 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.068 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.068 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.068 * [taylor]: Taking taylor expansion of t in t
1.068 * [taylor]: Taking taylor expansion of (* z y) in t
1.068 * [taylor]: Taking taylor expansion of z in t
1.068 * [taylor]: Taking taylor expansion of y in t
1.069 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.069 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.069 * [taylor]: Taking taylor expansion of (* z y) in z
1.069 * [taylor]: Taking taylor expansion of z in z
1.069 * [taylor]: Taking taylor expansion of y in z
1.069 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.069 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.069 * [taylor]: Taking taylor expansion of y in y
1.069 * [taylor]: Taking taylor expansion of 0 in z
1.069 * [taylor]: Taking taylor expansion of 0 in y
1.069 * [taylor]: Taking taylor expansion of 0 in z
1.069 * [taylor]: Taking taylor expansion of 0 in y
1.069 * [taylor]: Taking taylor expansion of 0 in y
1.070 * [taylor]: Taking taylor expansion of 0 in z
1.070 * [taylor]: Taking taylor expansion of 0 in y
1.070 * [taylor]: Taking taylor expansion of 0 in y
1.071 * [taylor]: Taking taylor expansion of 0 in y
1.071 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.071 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.071 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.071 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.071 * [taylor]: Taking taylor expansion of (* z y) in y
1.071 * [taylor]: Taking taylor expansion of z in y
1.071 * [taylor]: Taking taylor expansion of y in y
1.071 * [taylor]: Taking taylor expansion of t in y
1.071 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.071 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.071 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.071 * [taylor]: Taking taylor expansion of (* z y) in z
1.071 * [taylor]: Taking taylor expansion of z in z
1.071 * [taylor]: Taking taylor expansion of y in z
1.071 * [taylor]: Taking taylor expansion of t in z
1.071 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.071 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.071 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.071 * [taylor]: Taking taylor expansion of (* z y) in t
1.071 * [taylor]: Taking taylor expansion of z in t
1.071 * [taylor]: Taking taylor expansion of y in t
1.071 * [taylor]: Taking taylor expansion of t in t
1.071 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.071 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.071 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.071 * [taylor]: Taking taylor expansion of (* z y) in t
1.071 * [taylor]: Taking taylor expansion of z in t
1.071 * [taylor]: Taking taylor expansion of y in t
1.071 * [taylor]: Taking taylor expansion of t in t
1.071 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.071 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.071 * [taylor]: Taking taylor expansion of (* z y) in z
1.071 * [taylor]: Taking taylor expansion of z in z
1.071 * [taylor]: Taking taylor expansion of y in z
1.072 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.072 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.072 * [taylor]: Taking taylor expansion of y in y
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.072 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.072 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.072 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.072 * [taylor]: Taking taylor expansion of (* z y) in y
1.072 * [taylor]: Taking taylor expansion of z in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.073 * [taylor]: Taking taylor expansion of t in y
1.073 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.073 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.073 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.073 * [taylor]: Taking taylor expansion of (* z y) in z
1.073 * [taylor]: Taking taylor expansion of z in z
1.073 * [taylor]: Taking taylor expansion of y in z
1.073 * [taylor]: Taking taylor expansion of t in z
1.073 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.073 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.073 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.073 * [taylor]: Taking taylor expansion of (* z y) in t
1.073 * [taylor]: Taking taylor expansion of z in t
1.073 * [taylor]: Taking taylor expansion of y in t
1.073 * [taylor]: Taking taylor expansion of t in t
1.073 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.073 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.073 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.073 * [taylor]: Taking taylor expansion of (* z y) in t
1.073 * [taylor]: Taking taylor expansion of z in t
1.073 * [taylor]: Taking taylor expansion of y in t
1.073 * [taylor]: Taking taylor expansion of t in t
1.073 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.073 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.073 * [taylor]: Taking taylor expansion of (* z y) in z
1.073 * [taylor]: Taking taylor expansion of z in z
1.073 * [taylor]: Taking taylor expansion of y in z
1.073 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.073 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.073 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.073 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [taylor]: Taking taylor expansion of 0 in y
1.074 * [taylor]: Taking taylor expansion of 0 in y
1.074 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [taylor]: Taking taylor expansion of 0 in y
1.074 * [taylor]: Taking taylor expansion of 0 in y
1.074 * [taylor]: Taking taylor expansion of 0 in y
1.074 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.074 * [approximate]: Taking taylor expansion of (* 3.0 (* z y)) in (z y) around 0
1.074 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in y
1.074 * [taylor]: Taking taylor expansion of 3.0 in y
1.074 * [taylor]: Taking taylor expansion of (* z y) in y
1.074 * [taylor]: Taking taylor expansion of z in y
1.074 * [taylor]: Taking taylor expansion of y in y
1.074 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.074 * [taylor]: Taking taylor expansion of 3.0 in z
1.074 * [taylor]: Taking taylor expansion of (* z y) in z
1.074 * [taylor]: Taking taylor expansion of z in z
1.074 * [taylor]: Taking taylor expansion of y in z
1.074 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.074 * [taylor]: Taking taylor expansion of 3.0 in z
1.074 * [taylor]: Taking taylor expansion of (* z y) in z
1.074 * [taylor]: Taking taylor expansion of z in z
1.074 * [taylor]: Taking taylor expansion of y in z
1.074 * [taylor]: Taking taylor expansion of 0 in y
1.075 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
1.075 * [taylor]: Taking taylor expansion of 3.0 in y
1.075 * [taylor]: Taking taylor expansion of y in y
1.075 * [taylor]: Taking taylor expansion of 0 in y
1.075 * [taylor]: Taking taylor expansion of 0 in y
1.075 * [taylor]: Taking taylor expansion of 0 in y
1.075 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.075 * [taylor]: Taking taylor expansion of 3.0 in y
1.075 * [taylor]: Taking taylor expansion of (* z y) in y
1.075 * [taylor]: Taking taylor expansion of z in y
1.075 * [taylor]: Taking taylor expansion of y in y
1.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.075 * [taylor]: Taking taylor expansion of 3.0 in z
1.075 * [taylor]: Taking taylor expansion of (* z y) in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of y in z
1.075 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.075 * [taylor]: Taking taylor expansion of 3.0 in z
1.075 * [taylor]: Taking taylor expansion of (* z y) in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of y in z
1.076 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.076 * [taylor]: Taking taylor expansion of 3.0 in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.076 * [taylor]: Taking taylor expansion of 0 in y
1.076 * [taylor]: Taking taylor expansion of 0 in y
1.076 * [taylor]: Taking taylor expansion of 0 in y
1.076 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.076 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.076 * [taylor]: Taking taylor expansion of 3.0 in y
1.076 * [taylor]: Taking taylor expansion of (* z y) in y
1.076 * [taylor]: Taking taylor expansion of z in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.076 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.076 * [taylor]: Taking taylor expansion of 3.0 in z
1.076 * [taylor]: Taking taylor expansion of (* z y) in z
1.076 * [taylor]: Taking taylor expansion of z in z
1.077 * [taylor]: Taking taylor expansion of y in z
1.077 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.077 * [taylor]: Taking taylor expansion of 3.0 in z
1.077 * [taylor]: Taking taylor expansion of (* z y) in z
1.077 * [taylor]: Taking taylor expansion of z in z
1.077 * [taylor]: Taking taylor expansion of y in z
1.077 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.077 * [taylor]: Taking taylor expansion of 3.0 in y
1.077 * [taylor]: Taking taylor expansion of y in y
1.077 * [taylor]: Taking taylor expansion of 0 in y
1.077 * [taylor]: Taking taylor expansion of 0 in y
1.077 * [taylor]: Taking taylor expansion of 0 in y
1.077 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.077 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.078 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.078 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.078 * [taylor]: Taking taylor expansion of (/ y z) in z
1.078 * [taylor]: Taking taylor expansion of y in z
1.078 * [taylor]: Taking taylor expansion of z in z
1.078 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.078 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.078 * [taylor]: Taking taylor expansion of (/ y z) in y
1.078 * [taylor]: Taking taylor expansion of y in y
1.078 * [taylor]: Taking taylor expansion of z in y
1.078 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.078 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.078 * [taylor]: Taking taylor expansion of (/ y z) in y
1.078 * [taylor]: Taking taylor expansion of y in y
1.078 * [taylor]: Taking taylor expansion of z in y
1.078 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.078 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.078 * [taylor]: Taking taylor expansion of z in z
1.078 * [taylor]: Taking taylor expansion of 0 in z
1.078 * [taylor]: Taking taylor expansion of 0 in z
1.078 * [taylor]: Taking taylor expansion of 0 in z
1.079 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.079 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.079 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.079 * [taylor]: Taking taylor expansion of (/ z y) in z
1.079 * [taylor]: Taking taylor expansion of z in z
1.079 * [taylor]: Taking taylor expansion of y in z
1.079 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.079 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.079 * [taylor]: Taking taylor expansion of (/ z y) in y
1.079 * [taylor]: Taking taylor expansion of z in y
1.079 * [taylor]: Taking taylor expansion of y in y
1.079 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.079 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.079 * [taylor]: Taking taylor expansion of (/ z y) in y
1.079 * [taylor]: Taking taylor expansion of z in y
1.079 * [taylor]: Taking taylor expansion of y in y
1.079 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.079 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.079 * [taylor]: Taking taylor expansion of z in z
1.079 * [taylor]: Taking taylor expansion of 0 in z
1.079 * [taylor]: Taking taylor expansion of 0 in z
1.079 * [taylor]: Taking taylor expansion of 0 in z
1.080 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.080 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.080 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.080 * [taylor]: Taking taylor expansion of (/ z y) in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.080 * [taylor]: Taking taylor expansion of y in z
1.080 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.080 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.080 * [taylor]: Taking taylor expansion of (/ z y) in y
1.080 * [taylor]: Taking taylor expansion of z in y
1.080 * [taylor]: Taking taylor expansion of y in y
1.080 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.080 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.080 * [taylor]: Taking taylor expansion of (/ z y) in y
1.080 * [taylor]: Taking taylor expansion of z in y
1.080 * [taylor]: Taking taylor expansion of y in y
1.080 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.080 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.080 * [taylor]: Taking taylor expansion of 0 in z
1.080 * [taylor]: Taking taylor expansion of 0 in z
1.080 * [taylor]: Taking taylor expansion of 0 in z
1.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.081 * [approximate]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in (x y z) around 0
1.081 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in z
1.081 * [taylor]: Taking taylor expansion of x in z
1.081 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.081 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.081 * [taylor]: Taking taylor expansion of (/ y z) in z
1.081 * [taylor]: Taking taylor expansion of y in z
1.081 * [taylor]: Taking taylor expansion of z in z
1.081 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in y
1.081 * [taylor]: Taking taylor expansion of x in y
1.081 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.081 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.081 * [taylor]: Taking taylor expansion of (/ y z) in y
1.081 * [taylor]: Taking taylor expansion of y in y
1.081 * [taylor]: Taking taylor expansion of z in y
1.081 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.081 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.081 * [taylor]: Taking taylor expansion of (/ y z) in x
1.081 * [taylor]: Taking taylor expansion of y in x
1.081 * [taylor]: Taking taylor expansion of z in x
1.081 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.081 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.081 * [taylor]: Taking taylor expansion of (/ y z) in x
1.081 * [taylor]: Taking taylor expansion of y in x
1.081 * [taylor]: Taking taylor expansion of z in x
1.081 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ y z))) in y
1.081 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.081 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.081 * [taylor]: Taking taylor expansion of (/ y z) in y
1.081 * [taylor]: Taking taylor expansion of y in y
1.081 * [taylor]: Taking taylor expansion of z in y
1.082 * [taylor]: Taking taylor expansion of 1 in y
1.082 * [taylor]: Taking taylor expansion of 1 in z
1.082 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
1.082 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
1.082 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.082 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.082 * [taylor]: Taking taylor expansion of z in z
1.082 * [taylor]: Taking taylor expansion of 0 in y
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in y
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.083 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in (x y z) around 0
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in z
1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.083 * [taylor]: Taking taylor expansion of x in z
1.083 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.083 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.083 * [taylor]: Taking taylor expansion of (/ z y) in z
1.083 * [taylor]: Taking taylor expansion of z in z
1.083 * [taylor]: Taking taylor expansion of y in z
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in y
1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.083 * [taylor]: Taking taylor expansion of x in y
1.083 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.083 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.083 * [taylor]: Taking taylor expansion of (/ z y) in y
1.083 * [taylor]: Taking taylor expansion of z in y
1.083 * [taylor]: Taking taylor expansion of y in y
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.083 * [taylor]: Taking taylor expansion of x in x
1.083 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.083 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.083 * [taylor]: Taking taylor expansion of (/ z y) in x
1.083 * [taylor]: Taking taylor expansion of z in x
1.083 * [taylor]: Taking taylor expansion of y in x
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.083 * [taylor]: Taking taylor expansion of x in x
1.083 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.083 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.083 * [taylor]: Taking taylor expansion of (/ z y) in x
1.083 * [taylor]: Taking taylor expansion of z in x
1.083 * [taylor]: Taking taylor expansion of y in x
1.084 * [taylor]: Taking taylor expansion of 1 in y
1.084 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.084 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.084 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.084 * [taylor]: Taking taylor expansion of (/ z y) in y
1.084 * [taylor]: Taking taylor expansion of z in y
1.084 * [taylor]: Taking taylor expansion of y in y
1.084 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.084 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.084 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.084 * [taylor]: Taking taylor expansion of z in z
1.084 * [taylor]: Taking taylor expansion of 1 in z
1.084 * [taylor]: Taking taylor expansion of 0 in y
1.084 * [taylor]: Taking taylor expansion of 0 in z
1.084 * [taylor]: Taking taylor expansion of 0 in z
1.084 * [taylor]: Taking taylor expansion of 0 in y
1.084 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in (x y z) around 0
1.085 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
1.085 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
1.085 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.085 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.085 * [taylor]: Taking taylor expansion of (/ z y) in z
1.085 * [taylor]: Taking taylor expansion of z in z
1.085 * [taylor]: Taking taylor expansion of y in z
1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.085 * [taylor]: Taking taylor expansion of x in z
1.085 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
1.085 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
1.085 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.085 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.085 * [taylor]: Taking taylor expansion of (/ z y) in y
1.085 * [taylor]: Taking taylor expansion of z in y
1.085 * [taylor]: Taking taylor expansion of y in y
1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.085 * [taylor]: Taking taylor expansion of x in y
1.085 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.085 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.085 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.085 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.085 * [taylor]: Taking taylor expansion of (/ z y) in x
1.085 * [taylor]: Taking taylor expansion of z in x
1.085 * [taylor]: Taking taylor expansion of y in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.086 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.086 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.086 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.086 * [taylor]: Taking taylor expansion of (/ z y) in x
1.086 * [taylor]: Taking taylor expansion of z in x
1.086 * [taylor]: Taking taylor expansion of y in x
1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of (neg 1) in y
1.086 * [taylor]: Taking taylor expansion of 1 in y
1.086 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.086 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.086 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.086 * [taylor]: Taking taylor expansion of (/ z y) in y
1.086 * [taylor]: Taking taylor expansion of z in y
1.086 * [taylor]: Taking taylor expansion of y in y
1.086 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.086 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.086 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.086 * [taylor]: Taking taylor expansion of z in z
1.086 * [taylor]: Taking taylor expansion of (neg 1) in z
1.086 * [taylor]: Taking taylor expansion of 1 in z
1.086 * [taylor]: Taking taylor expansion of 0 in y
1.086 * [taylor]: Taking taylor expansion of 0 in z
1.086 * [taylor]: Taking taylor expansion of 0 in z
1.087 * [taylor]: Taking taylor expansion of 0 in y
1.087 * [taylor]: Taking taylor expansion of 0 in z
1.087 * [taylor]: Taking taylor expansion of 0 in z
1.087 * [taylor]: Taking taylor expansion of 0 in z
1.087 * * * [progress]: simplifying candidates
1.088 * [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)
  (* (* 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)
  (- (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)
  (/ (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)))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
1.137 * * [simplify]: iteration  0 :  5051  enodes  (cost  669 )
1.140 * [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 (/ t 3.0)))
  (/ t (* z 3.0))
  (* y (* (/ z (cbrt t)) 3.0))
  (* y (/ z (/ (sqrt t) 3.0)))
  (* y (/ z (/ t 3.0)))
  (* 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)
  (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))
  (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))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
1.141 * * * [progress]: adding candidates to table
1.242 * * [progress]: iteration 2 / 4
1.242 * * * [progress]: picking best candidate
1.277 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (/ z (/ t 3.0))))))>
1.277 * * * [progress]: localizing error
1.288 * * * [progress]: generating rewritten candidates
1.288 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.302 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.315 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
1.332 * * * [progress]: generating series expansions
1.332 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.332 * [approximate]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in (y z t) around 0
1.332 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in t
1.332 * [taylor]: Taking taylor expansion of 3.0 in t
1.332 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.332 * [taylor]: Taking taylor expansion of (* z y) in t
1.332 * [taylor]: Taking taylor expansion of z in t
1.332 * [taylor]: Taking taylor expansion of y in t
1.332 * [taylor]: Taking taylor expansion of t in t
1.332 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in z
1.332 * [taylor]: Taking taylor expansion of 3.0 in z
1.332 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.332 * [taylor]: Taking taylor expansion of (* z y) in z
1.332 * [taylor]: Taking taylor expansion of z in z
1.332 * [taylor]: Taking taylor expansion of y in z
1.332 * [taylor]: Taking taylor expansion of t in z
1.332 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.332 * [taylor]: Taking taylor expansion of 3.0 in y
1.332 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.332 * [taylor]: Taking taylor expansion of (* z y) in y
1.332 * [taylor]: Taking taylor expansion of z in y
1.332 * [taylor]: Taking taylor expansion of y in y
1.332 * [taylor]: Taking taylor expansion of t in y
1.332 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.333 * [taylor]: Taking taylor expansion of 3.0 in y
1.333 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.333 * [taylor]: Taking taylor expansion of (* z y) in y
1.333 * [taylor]: Taking taylor expansion of z in y
1.333 * [taylor]: Taking taylor expansion of y in y
1.333 * [taylor]: Taking taylor expansion of t in y
1.333 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.333 * [taylor]: Taking taylor expansion of 3.0 in z
1.333 * [taylor]: Taking taylor expansion of (/ z t) in z
1.333 * [taylor]: Taking taylor expansion of z in z
1.333 * [taylor]: Taking taylor expansion of t in z
1.333 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.333 * [taylor]: Taking taylor expansion of 3.0 in t
1.333 * [taylor]: Taking taylor expansion of t in t
1.333 * [taylor]: Taking taylor expansion of 0 in z
1.333 * [taylor]: Taking taylor expansion of 0 in t
1.333 * [taylor]: Taking taylor expansion of 0 in t
1.333 * [taylor]: Taking taylor expansion of 0 in z
1.333 * [taylor]: Taking taylor expansion of 0 in t
1.333 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [approximate]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in (y z t) around 0
1.334 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in t
1.334 * [taylor]: Taking taylor expansion of 3.0 in t
1.334 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.334 * [taylor]: Taking taylor expansion of t in t
1.334 * [taylor]: Taking taylor expansion of (* z y) in t
1.334 * [taylor]: Taking taylor expansion of z in t
1.334 * [taylor]: Taking taylor expansion of y in t
1.334 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in z
1.334 * [taylor]: Taking taylor expansion of 3.0 in z
1.334 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.334 * [taylor]: Taking taylor expansion of t in z
1.334 * [taylor]: Taking taylor expansion of (* z y) in z
1.335 * [taylor]: Taking taylor expansion of z in z
1.335 * [taylor]: Taking taylor expansion of y in z
1.335 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.335 * [taylor]: Taking taylor expansion of 3.0 in y
1.335 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.335 * [taylor]: Taking taylor expansion of t in y
1.335 * [taylor]: Taking taylor expansion of (* z y) in y
1.335 * [taylor]: Taking taylor expansion of z in y
1.335 * [taylor]: Taking taylor expansion of y in y
1.335 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.335 * [taylor]: Taking taylor expansion of 3.0 in y
1.335 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.335 * [taylor]: Taking taylor expansion of t in y
1.335 * [taylor]: Taking taylor expansion of (* z y) in y
1.335 * [taylor]: Taking taylor expansion of z in y
1.335 * [taylor]: Taking taylor expansion of y in y
1.335 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.335 * [taylor]: Taking taylor expansion of 3.0 in z
1.335 * [taylor]: Taking taylor expansion of (/ t z) in z
1.335 * [taylor]: Taking taylor expansion of t in z
1.335 * [taylor]: Taking taylor expansion of z in z
1.335 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.335 * [taylor]: Taking taylor expansion of 3.0 in t
1.335 * [taylor]: Taking taylor expansion of t in t
1.335 * [taylor]: Taking taylor expansion of 0 in z
1.335 * [taylor]: Taking taylor expansion of 0 in t
1.336 * [taylor]: Taking taylor expansion of 0 in z
1.336 * [taylor]: Taking taylor expansion of 0 in t
1.336 * [taylor]: Taking taylor expansion of 0 in t
1.336 * [approximate]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in (y z t) around 0
1.336 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in t
1.336 * [taylor]: Taking taylor expansion of -3.0 in t
1.336 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.336 * [taylor]: Taking taylor expansion of t in t
1.336 * [taylor]: Taking taylor expansion of (* z y) in t
1.336 * [taylor]: Taking taylor expansion of z in t
1.336 * [taylor]: Taking taylor expansion of y in t
1.336 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in z
1.336 * [taylor]: Taking taylor expansion of -3.0 in z
1.336 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.336 * [taylor]: Taking taylor expansion of t in z
1.336 * [taylor]: Taking taylor expansion of (* z y) in z
1.336 * [taylor]: Taking taylor expansion of z in z
1.336 * [taylor]: Taking taylor expansion of y in z
1.336 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.336 * [taylor]: Taking taylor expansion of -3.0 in y
1.336 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.336 * [taylor]: Taking taylor expansion of t in y
1.336 * [taylor]: Taking taylor expansion of (* z y) in y
1.336 * [taylor]: Taking taylor expansion of z in y
1.336 * [taylor]: Taking taylor expansion of y in y
1.336 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.336 * [taylor]: Taking taylor expansion of -3.0 in y
1.337 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.337 * [taylor]: Taking taylor expansion of t in y
1.337 * [taylor]: Taking taylor expansion of (* z y) in y
1.337 * [taylor]: Taking taylor expansion of z in y
1.337 * [taylor]: Taking taylor expansion of y in y
1.337 * [taylor]: Taking taylor expansion of (* -3.0 (/ t z)) in z
1.337 * [taylor]: Taking taylor expansion of -3.0 in z
1.337 * [taylor]: Taking taylor expansion of (/ t z) in z
1.337 * [taylor]: Taking taylor expansion of t in z
1.337 * [taylor]: Taking taylor expansion of z in z
1.337 * [taylor]: Taking taylor expansion of (* -3.0 t) in t
1.337 * [taylor]: Taking taylor expansion of -3.0 in t
1.337 * [taylor]: Taking taylor expansion of t in t
1.337 * [taylor]: Taking taylor expansion of 0 in z
1.337 * [taylor]: Taking taylor expansion of 0 in t
1.337 * [taylor]: Taking taylor expansion of 0 in z
1.337 * [taylor]: Taking taylor expansion of 0 in t
1.337 * [taylor]: Taking taylor expansion of 0 in t
1.338 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.338 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (y z t) around 0
1.338 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.338 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.338 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.338 * [taylor]: Taking taylor expansion of t in t
1.338 * [taylor]: Taking taylor expansion of (* z y) in t
1.338 * [taylor]: Taking taylor expansion of z in t
1.338 * [taylor]: Taking taylor expansion of y in t
1.338 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.338 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.338 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.338 * [taylor]: Taking taylor expansion of t in z
1.338 * [taylor]: Taking taylor expansion of (* z y) in z
1.338 * [taylor]: Taking taylor expansion of z in z
1.338 * [taylor]: Taking taylor expansion of y in z
1.338 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.338 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.338 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.338 * [taylor]: Taking taylor expansion of t in y
1.338 * [taylor]: Taking taylor expansion of (* z y) in y
1.338 * [taylor]: Taking taylor expansion of z in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.338 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.338 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.338 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.338 * [taylor]: Taking taylor expansion of t in y
1.338 * [taylor]: Taking taylor expansion of (* z y) in y
1.338 * [taylor]: Taking taylor expansion of z in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.338 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.338 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.339 * [taylor]: Taking taylor expansion of (/ t z) in z
1.339 * [taylor]: Taking taylor expansion of t in z
1.339 * [taylor]: Taking taylor expansion of z in z
1.339 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.339 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.339 * [taylor]: Taking taylor expansion of t in t
1.339 * [taylor]: Taking taylor expansion of 0 in z
1.339 * [taylor]: Taking taylor expansion of 0 in t
1.339 * [taylor]: Taking taylor expansion of 0 in z
1.339 * [taylor]: Taking taylor expansion of 0 in t
1.339 * [taylor]: Taking taylor expansion of 0 in t
1.339 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.339 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.339 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.340 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.340 * [taylor]: Taking taylor expansion of (* z y) in t
1.340 * [taylor]: Taking taylor expansion of z in t
1.340 * [taylor]: Taking taylor expansion of y in t
1.340 * [taylor]: Taking taylor expansion of t in t
1.340 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.340 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.340 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.340 * [taylor]: Taking taylor expansion of (* z y) in z
1.340 * [taylor]: Taking taylor expansion of z in z
1.340 * [taylor]: Taking taylor expansion of y in z
1.340 * [taylor]: Taking taylor expansion of t in z
1.340 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.340 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.340 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.340 * [taylor]: Taking taylor expansion of (* z y) in y
1.340 * [taylor]: Taking taylor expansion of z in y
1.340 * [taylor]: Taking taylor expansion of y in y
1.340 * [taylor]: Taking taylor expansion of t in y
1.340 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.340 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.340 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.340 * [taylor]: Taking taylor expansion of (* z y) in y
1.340 * [taylor]: Taking taylor expansion of z in y
1.340 * [taylor]: Taking taylor expansion of y in y
1.340 * [taylor]: Taking taylor expansion of t in y
1.340 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.340 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.340 * [taylor]: Taking taylor expansion of (/ z t) in z
1.340 * [taylor]: Taking taylor expansion of z in z
1.340 * [taylor]: Taking taylor expansion of t in z
1.340 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.340 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.340 * [taylor]: Taking taylor expansion of t in t
1.340 * [taylor]: Taking taylor expansion of 0 in z
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in z
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in z
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.342 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.342 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.342 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.342 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.342 * [taylor]: Taking taylor expansion of (* z y) in t
1.342 * [taylor]: Taking taylor expansion of z in t
1.342 * [taylor]: Taking taylor expansion of y in t
1.342 * [taylor]: Taking taylor expansion of t in t
1.342 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.342 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.342 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.342 * [taylor]: Taking taylor expansion of (* z y) in z
1.342 * [taylor]: Taking taylor expansion of z in z
1.342 * [taylor]: Taking taylor expansion of y in z
1.342 * [taylor]: Taking taylor expansion of t in z
1.342 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.342 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.342 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.342 * [taylor]: Taking taylor expansion of (* z y) in y
1.342 * [taylor]: Taking taylor expansion of z in y
1.342 * [taylor]: Taking taylor expansion of y in y
1.342 * [taylor]: Taking taylor expansion of t in y
1.342 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.342 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.342 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.342 * [taylor]: Taking taylor expansion of (* z y) in y
1.342 * [taylor]: Taking taylor expansion of z in y
1.342 * [taylor]: Taking taylor expansion of y in y
1.342 * [taylor]: Taking taylor expansion of t in y
1.342 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ z t)) in z
1.342 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.342 * [taylor]: Taking taylor expansion of (/ z t) in z
1.342 * [taylor]: Taking taylor expansion of z in z
1.343 * [taylor]: Taking taylor expansion of t in z
1.343 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 t) in t
1.343 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.343 * [taylor]: Taking taylor expansion of t in t
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.344 * [taylor]: Taking taylor expansion of 0 in t
1.344 * [taylor]: Taking taylor expansion of 0 in t
1.344 * [taylor]: Taking taylor expansion of 0 in t
1.344 * [taylor]: Taking taylor expansion of 0 in t
1.344 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.344 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.344 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.344 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.344 * [taylor]: Taking taylor expansion of (/ y z) in z
1.344 * [taylor]: Taking taylor expansion of y in z
1.344 * [taylor]: Taking taylor expansion of z in z
1.344 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.344 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.344 * [taylor]: Taking taylor expansion of (/ y z) in y
1.344 * [taylor]: Taking taylor expansion of y in y
1.344 * [taylor]: Taking taylor expansion of z in y
1.344 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.344 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.344 * [taylor]: Taking taylor expansion of (/ y z) in y
1.344 * [taylor]: Taking taylor expansion of y in y
1.344 * [taylor]: Taking taylor expansion of z in y
1.344 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.344 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.344 * [taylor]: Taking taylor expansion of z in z
1.344 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.345 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.345 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.345 * [taylor]: Taking taylor expansion of (/ z y) in z
1.345 * [taylor]: Taking taylor expansion of z in z
1.345 * [taylor]: Taking taylor expansion of y in z
1.345 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.345 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.345 * [taylor]: Taking taylor expansion of (/ z y) in y
1.345 * [taylor]: Taking taylor expansion of z in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.345 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.345 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.345 * [taylor]: Taking taylor expansion of (/ z y) in y
1.345 * [taylor]: Taking taylor expansion of z in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.345 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.345 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.345 * [taylor]: Taking taylor expansion of z in z
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.346 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.346 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.346 * [taylor]: Taking taylor expansion of (/ z y) in z
1.346 * [taylor]: Taking taylor expansion of z in z
1.346 * [taylor]: Taking taylor expansion of y in z
1.346 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.346 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.346 * [taylor]: Taking taylor expansion of (/ z y) in y
1.346 * [taylor]: Taking taylor expansion of z in y
1.346 * [taylor]: Taking taylor expansion of y in y
1.346 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.346 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.346 * [taylor]: Taking taylor expansion of (/ z y) in y
1.346 * [taylor]: Taking taylor expansion of z in y
1.346 * [taylor]: Taking taylor expansion of y in y
1.346 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.346 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.346 * [taylor]: Taking taylor expansion of z in z
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
1.347 * [approximate]: Taking taylor expansion of (* 3.0 (/ z t)) in (z t) around 0
1.347 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in t
1.347 * [taylor]: Taking taylor expansion of 3.0 in t
1.347 * [taylor]: Taking taylor expansion of (/ z t) in t
1.347 * [taylor]: Taking taylor expansion of z in t
1.347 * [taylor]: Taking taylor expansion of t in t
1.347 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.347 * [taylor]: Taking taylor expansion of 3.0 in z
1.347 * [taylor]: Taking taylor expansion of (/ z t) in z
1.347 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.347 * [taylor]: Taking taylor expansion of 3.0 in z
1.347 * [taylor]: Taking taylor expansion of (/ z t) in z
1.347 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.347 * [taylor]: Taking taylor expansion of 3.0 in t
1.347 * [taylor]: Taking taylor expansion of t in t
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [taylor]: Taking taylor expansion of 0 in t
1.348 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.348 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.348 * [taylor]: Taking taylor expansion of 3.0 in t
1.348 * [taylor]: Taking taylor expansion of (/ t z) in t
1.348 * [taylor]: Taking taylor expansion of t in t
1.348 * [taylor]: Taking taylor expansion of z in t
1.348 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.348 * [taylor]: Taking taylor expansion of 3.0 in z
1.348 * [taylor]: Taking taylor expansion of (/ t z) in z
1.348 * [taylor]: Taking taylor expansion of t in z
1.348 * [taylor]: Taking taylor expansion of z in z
1.348 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.348 * [taylor]: Taking taylor expansion of 3.0 in z
1.349 * [taylor]: Taking taylor expansion of (/ t z) in z
1.349 * [taylor]: Taking taylor expansion of t in z
1.349 * [taylor]: Taking taylor expansion of z in z
1.349 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.349 * [taylor]: Taking taylor expansion of 3.0 in t
1.349 * [taylor]: Taking taylor expansion of t in t
1.349 * [taylor]: Taking taylor expansion of 0 in t
1.349 * [taylor]: Taking taylor expansion of 0 in t
1.349 * [taylor]: Taking taylor expansion of 0 in t
1.349 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.349 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.349 * [taylor]: Taking taylor expansion of 3.0 in t
1.349 * [taylor]: Taking taylor expansion of (/ t z) in t
1.349 * [taylor]: Taking taylor expansion of t in t
1.349 * [taylor]: Taking taylor expansion of z in t
1.349 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.349 * [taylor]: Taking taylor expansion of 3.0 in z
1.349 * [taylor]: Taking taylor expansion of (/ t z) in z
1.349 * [taylor]: Taking taylor expansion of t in z
1.349 * [taylor]: Taking taylor expansion of z in z
1.349 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.349 * [taylor]: Taking taylor expansion of 3.0 in z
1.349 * [taylor]: Taking taylor expansion of (/ t z) in z
1.349 * [taylor]: Taking taylor expansion of t in z
1.350 * [taylor]: Taking taylor expansion of z in z
1.350 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.350 * [taylor]: Taking taylor expansion of 3.0 in t
1.350 * [taylor]: Taking taylor expansion of t in t
1.350 * [taylor]: Taking taylor expansion of 0 in t
1.350 * [taylor]: Taking taylor expansion of 0 in t
1.350 * [taylor]: Taking taylor expansion of 0 in t
1.350 * * * [progress]: simplifying candidates
1.353 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (/ z (/ t 3.0)))
  (+ (log y) (- (log z) (- (log t) (log 3.0))))
  (+ (log y) (- (log z) (log (/ t 3.0))))
  (+ (log y) (log (/ z (/ t 3.0))))
  (log (* y (/ z (/ t 3.0))))
  (exp (* y (/ z (/ t 3.0))))
  (* (* (* y y) y) (/ (* (* z z) z) (/ (* (* t t) t) (* (* 3.0 3.0) 3.0))))
  (* (* (* y y) y) (/ (* (* z z) z) (* (* (/ t 3.0) (/ t 3.0)) (/ t 3.0))))
  (* (* (* y y) y) (* (* (/ z (/ t 3.0)) (/ z (/ t 3.0))) (/ z (/ t 3.0))))
  (* (cbrt (* y (/ z (/ t 3.0)))) (cbrt (* y (/ z (/ t 3.0)))))
  (cbrt (* y (/ z (/ t 3.0))))
  (* (* (* y (/ z (/ t 3.0))) (* y (/ z (/ t 3.0)))) (* y (/ z (/ t 3.0))))
  (sqrt (* y (/ z (/ t 3.0))))
  (sqrt (* y (/ z (/ t 3.0))))
  (* (sqrt y) (sqrt (/ z (/ t 3.0))))
  (* (sqrt y) (sqrt (/ z (/ t 3.0))))
  (* (sqrt y) (/ (sqrt z) (sqrt (/ t 3.0))))
  (* (sqrt y) (/ (sqrt z) (sqrt (/ t 3.0))))
  (* (sqrt y) (/ (sqrt z) (/ (sqrt t) (sqrt 3.0))))
  (* (sqrt y) (/ (sqrt z) (/ (sqrt t) (sqrt 3.0))))
  (* y (* (cbrt (/ z (/ t 3.0))) (cbrt (/ z (/ t 3.0)))))
  (* y (sqrt (/ z (/ t 3.0))))
  (* y (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0)))))
  (* y (/ (* (cbrt z) (cbrt z)) (sqrt (/ t 3.0))))
  (* y (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) (sqrt 3.0))))
  (* y (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) 1)))
  (* y (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) (sqrt 3.0))))
  (* y (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) 1)))
  (* y (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt 3.0))))
  (* y (/ (* (cbrt z) (cbrt z)) (/ 1 1)))
  (* y (/ (* (cbrt z) (cbrt z)) 1))
  (* y (/ (* (cbrt z) (cbrt z)) t))
  (* y (/ (sqrt z) (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0)))))
  (* y (/ (sqrt z) (sqrt (/ t 3.0))))
  (* y (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (sqrt 3.0))))
  (* y (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) 1)))
  (* y (/ (sqrt z) (/ (sqrt t) (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ (sqrt z) (/ (sqrt t) (sqrt 3.0))))
  (* y (/ (sqrt z) (/ (sqrt t) 1)))
  (* y (/ (sqrt z) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ (sqrt z) (/ 1 (sqrt 3.0))))
  (* y (/ (sqrt z) (/ 1 1)))
  (* y (/ (sqrt z) 1))
  (* y (/ (sqrt z) t))
  (* y (/ 1 (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0)))))
  (* y (/ 1 (sqrt (/ t 3.0))))
  (* y (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt 3.0))))
  (* y (/ 1 (/ (* (cbrt t) (cbrt t)) 1)))
  (* y (/ 1 (/ (sqrt t) (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ 1 (/ (sqrt t) (sqrt 3.0))))
  (* y (/ 1 (/ (sqrt t) 1)))
  (* y (/ 1 (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (/ 1 (/ 1 (sqrt 3.0))))
  (* y (/ 1 (/ 1 1)))
  (* y (/ 1 1))
  (* y (/ 1 t))
  (* y 1)
  (* y z)
  (* y (/ z t))
  (* (cbrt y) (/ z (/ t 3.0)))
  (* (sqrt y) (/ z (/ t 3.0)))
  (* y (/ z (/ t 3.0)))
  (* y z)
  (neg 1)
  (neg 1)
  (neg (+ (log y) (- (log z) (- (log t) (log 3.0)))))
  (neg (+ (log y) (- (log z) (log (/ t 3.0)))))
  (neg (+ (log y) (log (/ z (/ t 3.0)))))
  (neg (log (* y (/ z (/ t 3.0)))))
  (- 0 (+ (log y) (- (log z) (- (log t) (log 3.0)))))
  (- 0 (+ (log y) (- (log z) (log (/ t 3.0)))))
  (- 0 (+ (log y) (log (/ z (/ t 3.0)))))
  (- 0 (log (* y (/ z (/ t 3.0)))))
  (- (log 1) (+ (log y) (- (log z) (- (log t) (log 3.0)))))
  (- (log 1) (+ (log y) (- (log z) (log (/ t 3.0)))))
  (- (log 1) (+ (log y) (log (/ z (/ t 3.0)))))
  (- (log 1) (log (* y (/ z (/ t 3.0)))))
  (log (/ 1 (* y (/ z (/ t 3.0)))))
  (exp (/ 1 (* y (/ z (/ t 3.0)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (/ (* (* z z) z) (/ (* (* t t) t) (* (* 3.0 3.0) 3.0)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (/ (* (* z z) z) (* (* (/ t 3.0) (/ t 3.0)) (/ t 3.0)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (/ z (/ t 3.0)) (/ z (/ t 3.0))) (/ z (/ t 3.0)))))
  (/ (* (* 1 1) 1) (* (* (* y (/ z (/ t 3.0))) (* y (/ z (/ t 3.0)))) (* y (/ z (/ t 3.0)))))
  (* (cbrt (/ 1 (* y (/ z (/ t 3.0))))) (cbrt (/ 1 (* y (/ z (/ t 3.0))))))
  (cbrt (/ 1 (* y (/ z (/ t 3.0)))))
  (* (* (/ 1 (* y (/ z (/ t 3.0)))) (/ 1 (* y (/ z (/ t 3.0))))) (/ 1 (* y (/ z (/ t 3.0)))))
  (sqrt (/ 1 (* y (/ z (/ t 3.0)))))
  (sqrt (/ 1 (* y (/ z (/ t 3.0)))))
  (neg 1)
  (neg (* y (/ z (/ t 3.0))))
  (/ (* (cbrt 1) (cbrt 1)) y)
  (/ (cbrt 1) (/ z (/ t 3.0)))
  (/ (sqrt 1) y)
  (/ (sqrt 1) (/ z (/ t 3.0)))
  (/ 1 y)
  (/ 1 (/ z (/ t 3.0)))
  (/ 1 (* y (/ z (/ t 3.0))))
  (/ (* y (/ z (/ t 3.0))) 1)
  (/ 1 y)
  (/ (* y (/ z (/ t 3.0))) (cbrt 1))
  (/ (* y (/ z (/ t 3.0))) (sqrt 1))
  (/ (* y (/ z (/ t 3.0))) 1)
  (/ 1 (* y 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)
  (- (log z) (- (log t) (log 3.0)))
  (- (log z) (log (/ t 3.0)))
  (log (/ z (/ t 3.0)))
  (exp (/ z (/ t 3.0)))
  (/ (* (* z z) z) (/ (* (* t t) t) (* (* 3.0 3.0) 3.0)))
  (/ (* (* z z) z) (* (* (/ t 3.0) (/ t 3.0)) (/ t 3.0)))
  (* (cbrt (/ z (/ t 3.0))) (cbrt (/ z (/ t 3.0))))
  (cbrt (/ z (/ t 3.0)))
  (* (* (/ z (/ t 3.0)) (/ z (/ t 3.0))) (/ z (/ t 3.0)))
  (sqrt (/ z (/ t 3.0)))
  (sqrt (/ z (/ t 3.0)))
  (neg z)
  (neg (/ t 3.0))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ (cbrt z) (cbrt (/ t 3.0)))
  (/ (* (cbrt z) (cbrt z)) (sqrt (/ t 3.0)))
  (/ (cbrt z) (sqrt (/ t 3.0)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt z) (/ (cbrt t) (cbrt 3.0)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) (sqrt 3.0)))
  (/ (cbrt z) (/ (cbrt t) (sqrt 3.0)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (cbrt z) (/ (cbrt t) 3.0))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt z) (/ (sqrt t) (cbrt 3.0)))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) (sqrt 3.0)))
  (/ (cbrt z) (/ (sqrt t) (sqrt 3.0)))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) 1))
  (/ (cbrt z) (/ (sqrt t) 3.0))
  (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt z) (/ t (cbrt 3.0)))
  (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt 3.0)))
  (/ (cbrt z) (/ t (sqrt 3.0)))
  (/ (* (cbrt z) (cbrt z)) (/ 1 1))
  (/ (cbrt z) (/ t 3.0))
  (/ (* (cbrt z) (cbrt z)) 1)
  (/ (cbrt z) (/ t 3.0))
  (/ (* (cbrt z) (cbrt z)) t)
  (/ (cbrt z) (/ 1 3.0))
  (/ (sqrt z) (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ (sqrt z) (cbrt (/ t 3.0)))
  (/ (sqrt z) (sqrt (/ t 3.0)))
  (/ (sqrt z) (sqrt (/ t 3.0)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt z) (/ (cbrt t) (cbrt 3.0)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (sqrt 3.0)))
  (/ (sqrt z) (/ (cbrt t) (sqrt 3.0)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (sqrt z) (/ (cbrt t) 3.0))
  (/ (sqrt z) (/ (sqrt t) (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt z) (/ (sqrt t) (cbrt 3.0)))
  (/ (sqrt z) (/ (sqrt t) (sqrt 3.0)))
  (/ (sqrt z) (/ (sqrt t) (sqrt 3.0)))
  (/ (sqrt z) (/ (sqrt t) 1))
  (/ (sqrt z) (/ (sqrt t) 3.0))
  (/ (sqrt z) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt z) (/ t (cbrt 3.0)))
  (/ (sqrt z) (/ 1 (sqrt 3.0)))
  (/ (sqrt z) (/ t (sqrt 3.0)))
  (/ (sqrt z) (/ 1 1))
  (/ (sqrt z) (/ t 3.0))
  (/ (sqrt z) 1)
  (/ (sqrt z) (/ t 3.0))
  (/ (sqrt z) t)
  (/ (sqrt z) (/ 1 3.0))
  (/ 1 (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ z (cbrt (/ t 3.0)))
  (/ 1 (sqrt (/ t 3.0)))
  (/ z (sqrt (/ t 3.0)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt 3.0) (cbrt 3.0))))
  (/ z (/ (cbrt t) (cbrt 3.0)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt 3.0)))
  (/ z (/ (cbrt t) (sqrt 3.0)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ z (/ (cbrt t) 3.0))
  (/ 1 (/ (sqrt t) (* (cbrt 3.0) (cbrt 3.0))))
  (/ z (/ (sqrt t) (cbrt 3.0)))
  (/ 1 (/ (sqrt t) (sqrt 3.0)))
  (/ z (/ (sqrt t) (sqrt 3.0)))
  (/ 1 (/ (sqrt t) 1))
  (/ z (/ (sqrt t) 3.0))
  (/ 1 (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (/ z (/ t (cbrt 3.0)))
  (/ 1 (/ 1 (sqrt 3.0)))
  (/ z (/ t (sqrt 3.0)))
  (/ 1 (/ 1 1))
  (/ z (/ t 3.0))
  (/ 1 1)
  (/ z (/ t 3.0))
  (/ 1 t)
  (/ z (/ 1 3.0))
  (/ 1 (/ t 3.0))
  (/ (/ t 3.0) z)
  (/ z (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ z (sqrt (/ t 3.0)))
  (/ z (/ (* (cbrt t) (cbrt t)) (* (cbrt 3.0) (cbrt 3.0))))
  (/ z (/ (* (cbrt t) (cbrt t)) (sqrt 3.0)))
  (/ z (/ (* (cbrt t) (cbrt t)) 1))
  (/ z (/ (sqrt t) (* (cbrt 3.0) (cbrt 3.0))))
  (/ z (/ (sqrt t) (sqrt 3.0)))
  (/ z (/ (sqrt t) 1))
  (/ z (/ 1 (* (cbrt 3.0) (cbrt 3.0))))
  (/ z (/ 1 (sqrt 3.0)))
  (/ z (/ 1 1))
  (/ z 1)
  (/ z t)
  (/ (/ t 3.0) (cbrt z))
  (/ (/ t 3.0) (sqrt z))
  (/ (/ t 3.0) z)
  (/ z t)
  (* 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.403 * * [simplify]: iteration  0 :  4982  enodes  (cost  1862 )
1.404 * * [simplify]: iteration  1 :  4982  enodes  (cost  1862 )
1.412 * [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))))
  (* (sqrt y) (/ (sqrt z) (sqrt (/ t 3.0))))
  (* (sqrt y) (/ (sqrt z) (sqrt (/ t 3.0))))
  (* (sqrt y) (* (sqrt 3.0) (/ (sqrt z) (sqrt t))))
  (* (sqrt y) (* (sqrt 3.0) (/ (sqrt z) (sqrt t))))
  (* y (* (cbrt (* 3.0 (/ z t))) (cbrt (* 3.0 (/ z t)))))
  (* y (sqrt (* 3.0 (/ z t))))
  (* y (* (/ (cbrt z) (cbrt (/ t 3.0))) (/ (cbrt z) (cbrt (/ t 3.0)))))
  (* y (* (/ (cbrt z) (sqrt (/ t 3.0))) (cbrt z)))
  (* y (* (* (cbrt 3.0) (cbrt 3.0)) (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))))
  (* y (* (sqrt 3.0) (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))))
  (* y (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))))
  (* y (* (* (cbrt 3.0) (cbrt 3.0)) (* (/ (cbrt z) (sqrt t)) (cbrt z))))
  (* y (* (sqrt 3.0) (* (/ (cbrt z) (sqrt t)) (cbrt z))))
  (* y (* (/ (cbrt z) (sqrt t)) (cbrt z)))
  (* y (* (cbrt z) (* (cbrt z) (* (cbrt 3.0) (cbrt 3.0)))))
  (* y (* (sqrt 3.0) (* (cbrt z) (cbrt z))))
  (* y (* (cbrt z) (cbrt z)))
  (* y (* (cbrt z) (cbrt z)))
  (* y (* (/ (cbrt z) t) (cbrt z)))
  (* y (/ (sqrt z) (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0)))))
  (* y (/ (sqrt z) (sqrt (/ t 3.0))))
  (* y (* (* (cbrt 3.0) (cbrt 3.0)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (* y (* (sqrt 3.0) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (* y (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* y (* (* (cbrt 3.0) (cbrt 3.0)) (/ (sqrt z) (sqrt t))))
  (* y (* (sqrt 3.0) (/ (sqrt z) (sqrt t))))
  (* y (/ (sqrt z) (sqrt t)))
  (* y (* (sqrt z) (* (cbrt 3.0) (cbrt 3.0))))
  (* y (* (sqrt z) (sqrt 3.0)))
  (* y (sqrt z))
  (* y (sqrt z))
  (* y (/ (sqrt z) t))
  (/ y (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ y (sqrt (/ t 3.0)))
  (* y (/ (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt t) (cbrt t))))
  (* y (/ (sqrt 3.0) (* (cbrt t) (cbrt t))))
  (/ y (* (cbrt t) (cbrt t)))
  (* y (/ (* (cbrt 3.0) (cbrt 3.0)) (sqrt t)))
  (* y (/ (sqrt 3.0) (sqrt t)))
  (/ y (sqrt t))
  (* y (* (cbrt 3.0) (cbrt 3.0)))
  (* y (sqrt 3.0))
  y
  y
  (/ y t)
  y
  (* y z)
  (* y (/ z t))
  (* 3.0 (* (/ z t) (cbrt y)))
  (* 3.0 (* (/ z t) (sqrt y)))
  (* y (* 3.0 (/ z t)))
  (* y z)
  -1
  -1
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (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)
  (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))
  -1
  (* y (* 3.0 (/ (neg z) t)))
  (* (cbrt 1) (/ (cbrt 1) y))
  (* (/ t 3.0) (/ (cbrt 1) z))
  (/ 1 y)
  (/ t (* z 3.0))
  (/ 1 y)
  (/ t (* z 3.0))
  (/ (/ t (* z 3.0)) y)
  (* 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 z))
  (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 (/ 3.0 y))
  (/ y z)
  (* (/ z (cbrt y)) 3.0)
  (* (/ z (sqrt y)) 3.0)
  (* 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)))
  (neg z)
  (/ (neg t) 3.0)
  (* (/ (cbrt z) (cbrt (/ t 3.0))) (/ (cbrt z) (cbrt (/ t 3.0))))
  (/ (cbrt z) (cbrt (/ t 3.0)))
  (* (/ (cbrt z) (sqrt (/ t 3.0))) (cbrt z))
  (/ (cbrt z) (sqrt (/ t 3.0)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))))
  (* (cbrt 3.0) (/ (cbrt z) (cbrt t)))
  (* (sqrt 3.0) (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))))
  (* (sqrt 3.0) (/ (cbrt z) (cbrt t)))
  (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))
  (* 3.0 (/ (cbrt z) (cbrt t)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (/ (cbrt z) (sqrt t)) (cbrt z)))
  (* (cbrt 3.0) (/ (cbrt z) (sqrt t)))
  (* (sqrt 3.0) (* (/ (cbrt z) (sqrt t)) (cbrt z)))
  (* (sqrt 3.0) (/ (cbrt z) (sqrt t)))
  (* (/ (cbrt z) (sqrt t)) (cbrt z))
  (* 3.0 (/ (cbrt z) (sqrt t)))
  (* (cbrt z) (* (cbrt z) (* (cbrt 3.0) (cbrt 3.0))))
  (* (cbrt 3.0) (/ (cbrt z) t))
  (* (sqrt 3.0) (* (cbrt z) (cbrt z)))
  (* (sqrt 3.0) (/ (cbrt z) t))
  (* (cbrt z) (cbrt z))
  (* 3.0 (/ (cbrt z) t))
  (* (cbrt z) (cbrt z))
  (* 3.0 (/ (cbrt z) t))
  (* (/ (cbrt z) t) (cbrt z))
  (* 3.0 (cbrt z))
  (/ (sqrt z) (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ (sqrt z) (cbrt (/ t 3.0)))
  (/ (sqrt z) (sqrt (/ t 3.0)))
  (/ (sqrt z) (sqrt (/ t 3.0)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (cbrt 3.0) (/ (sqrt z) (cbrt t)))
  (* (sqrt 3.0) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (sqrt 3.0) (/ (sqrt z) (cbrt t)))
  (/ (sqrt z) (* (cbrt t) (cbrt t)))
  (* 3.0 (/ (sqrt z) (cbrt t)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (/ (sqrt z) (sqrt t)))
  (* (cbrt 3.0) (/ (sqrt z) (sqrt t)))
  (* (sqrt 3.0) (/ (sqrt z) (sqrt t)))
  (* (sqrt 3.0) (/ (sqrt z) (sqrt t)))
  (/ (sqrt z) (sqrt t))
  (* 3.0 (/ (sqrt z) (sqrt t)))
  (* (sqrt z) (* (cbrt 3.0) (cbrt 3.0)))
  (* (cbrt 3.0) (/ (sqrt z) t))
  (* (sqrt z) (sqrt 3.0))
  (* (sqrt 3.0) (/ (sqrt z) t))
  (sqrt z)
  (* 3.0 (/ (sqrt z) t))
  (sqrt z)
  (* 3.0 (/ (sqrt z) t))
  (/ (sqrt z) t)
  (* 3.0 (sqrt z))
  (/ 1 (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ z (cbrt (/ t 3.0)))
  (/ 1 (sqrt (/ t 3.0)))
  (/ z (sqrt (/ t 3.0)))
  (/ (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt t) (cbrt t)))
  (* (cbrt 3.0) (/ z (cbrt t)))
  (/ (sqrt 3.0) (* (cbrt t) (cbrt t)))
  (* (sqrt 3.0) (/ z (cbrt t)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (* 3.0 (/ z (cbrt t)))
  (/ (* (cbrt 3.0) (cbrt 3.0)) (sqrt t))
  (* (cbrt 3.0) (/ z (sqrt t)))
  (/ (sqrt 3.0) (sqrt t))
  (* (sqrt 3.0) (/ z (sqrt t)))
  (/ 1 (sqrt t))
  (* 3.0 (/ z (sqrt t)))
  (* (cbrt 3.0) (cbrt 3.0))
  (* (cbrt 3.0) (/ z t))
  (sqrt 3.0)
  (* (sqrt 3.0) (/ z t))
  1
  (* 3.0 (/ z t))
  1
  (* 3.0 (/ z t))
  (/ 1 t)
  (* z 3.0)
  (/ 3.0 t)
  (/ t (* z 3.0))
  (/ z (* (cbrt (/ t 3.0)) (cbrt (/ t 3.0))))
  (/ z (sqrt (/ t 3.0)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (/ z (* (cbrt t) (cbrt t))))
  (* (sqrt 3.0) (/ z (* (cbrt t) (cbrt t))))
  (/ z (* (cbrt t) (cbrt t)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (/ z (sqrt t)))
  (* (sqrt 3.0) (/ z (sqrt t)))
  (/ z (sqrt t))
  (* z (* (cbrt 3.0) (cbrt 3.0)))
  (* z (sqrt 3.0))
  z
  z
  (/ z t)
  (/ t (* 3.0 (cbrt z)))
  (/ t (* 3.0 (sqrt z)))
  (/ t (* z 3.0))
  (/ z t)
  (* 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.413 * * * [progress]: adding candidates to table
1.644 * * [progress]: iteration 3 / 4
1.644 * * * [progress]: picking best candidate
1.676 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* (* y (/ z t)) 3.0))))>
1.676 * * * [progress]: localizing error
1.687 * * * [progress]: generating rewritten candidates
1.687 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.693 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.701 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1.707 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.715 * * * [progress]: generating series expansions
1.715 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.715 * [approximate]: Taking taylor expansion of (/ (* z y) t) in (y z t) around 0
1.715 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.715 * [taylor]: Taking taylor expansion of (* z y) in t
1.715 * [taylor]: Taking taylor expansion of z in t
1.715 * [taylor]: Taking taylor expansion of y in t
1.715 * [taylor]: Taking taylor expansion of t in t
1.715 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.715 * [taylor]: Taking taylor expansion of (* z y) in z
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [taylor]: Taking taylor expansion of y in z
1.715 * [taylor]: Taking taylor expansion of t in z
1.715 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.715 * [taylor]: Taking taylor expansion of (* z y) in y
1.715 * [taylor]: Taking taylor expansion of z in y
1.715 * [taylor]: Taking taylor expansion of y in y
1.715 * [taylor]: Taking taylor expansion of t in y
1.715 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.715 * [taylor]: Taking taylor expansion of (* z y) in y
1.715 * [taylor]: Taking taylor expansion of z in y
1.715 * [taylor]: Taking taylor expansion of y in y
1.715 * [taylor]: Taking taylor expansion of t in y
1.715 * [taylor]: Taking taylor expansion of (/ z t) in z
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [taylor]: Taking taylor expansion of t in z
1.716 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.716 * [taylor]: Taking taylor expansion of t in t
1.716 * [taylor]: Taking taylor expansion of 0 in z
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in z
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in z
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.717 * [approximate]: Taking taylor expansion of (/ t (* z y)) in (y z t) around 0
1.717 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.717 * [taylor]: Taking taylor expansion of t in t
1.717 * [taylor]: Taking taylor expansion of (* z y) in t
1.717 * [taylor]: Taking taylor expansion of z in t
1.717 * [taylor]: Taking taylor expansion of y in t
1.717 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.717 * [taylor]: Taking taylor expansion of t in z
1.717 * [taylor]: Taking taylor expansion of (* z y) in z
1.717 * [taylor]: Taking taylor expansion of z in z
1.717 * [taylor]: Taking taylor expansion of y in z
1.717 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.717 * [taylor]: Taking taylor expansion of t in y
1.717 * [taylor]: Taking taylor expansion of (* z y) in y
1.717 * [taylor]: Taking taylor expansion of z in y
1.717 * [taylor]: Taking taylor expansion of y in y
1.717 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.717 * [taylor]: Taking taylor expansion of t in y
1.717 * [taylor]: Taking taylor expansion of (* z y) in y
1.717 * [taylor]: Taking taylor expansion of z in y
1.717 * [taylor]: Taking taylor expansion of y in y
1.717 * [taylor]: Taking taylor expansion of (/ t z) in z
1.717 * [taylor]: Taking taylor expansion of t in z
1.717 * [taylor]: Taking taylor expansion of z in z
1.717 * [taylor]: Taking taylor expansion of t in t
1.717 * [taylor]: Taking taylor expansion of 0 in z
1.717 * [taylor]: Taking taylor expansion of 0 in t
1.718 * [taylor]: Taking taylor expansion of 0 in z
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.718 * [approximate]: Taking taylor expansion of (* -1 (/ t (* z y))) in (y z t) around 0
1.718 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in t
1.718 * [taylor]: Taking taylor expansion of -1 in t
1.718 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.718 * [taylor]: Taking taylor expansion of t in t
1.718 * [taylor]: Taking taylor expansion of (* z y) in t
1.718 * [taylor]: Taking taylor expansion of z in t
1.718 * [taylor]: Taking taylor expansion of y in t
1.718 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in z
1.718 * [taylor]: Taking taylor expansion of -1 in z
1.718 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.718 * [taylor]: Taking taylor expansion of t in z
1.718 * [taylor]: Taking taylor expansion of (* z y) in z
1.718 * [taylor]: Taking taylor expansion of z in z
1.718 * [taylor]: Taking taylor expansion of y in z
1.718 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in y
1.718 * [taylor]: Taking taylor expansion of -1 in y
1.718 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.718 * [taylor]: Taking taylor expansion of t in y
1.718 * [taylor]: Taking taylor expansion of (* z y) in y
1.718 * [taylor]: Taking taylor expansion of z in y
1.718 * [taylor]: Taking taylor expansion of y in y
1.719 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in y
1.719 * [taylor]: Taking taylor expansion of -1 in y
1.719 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.719 * [taylor]: Taking taylor expansion of t in y
1.719 * [taylor]: Taking taylor expansion of (* z y) in y
1.719 * [taylor]: Taking taylor expansion of z in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.719 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z
1.719 * [taylor]: Taking taylor expansion of -1 in z
1.719 * [taylor]: Taking taylor expansion of (/ t z) in z
1.719 * [taylor]: Taking taylor expansion of t in z
1.719 * [taylor]: Taking taylor expansion of z in z
1.719 * [taylor]: Taking taylor expansion of (* -1 t) in t
1.719 * [taylor]: Taking taylor expansion of -1 in t
1.719 * [taylor]: Taking taylor expansion of t in t
1.719 * [taylor]: Taking taylor expansion of 0 in z
1.719 * [taylor]: Taking taylor expansion of 0 in t
1.720 * [taylor]: Taking taylor expansion of 0 in z
1.720 * [taylor]: Taking taylor expansion of 0 in t
1.720 * [taylor]: Taking taylor expansion of 0 in t
1.720 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.720 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (y z t) around 0
1.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.720 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.720 * [taylor]: Taking taylor expansion of t in t
1.720 * [taylor]: Taking taylor expansion of (* z y) in t
1.720 * [taylor]: Taking taylor expansion of z in t
1.720 * [taylor]: Taking taylor expansion of y in t
1.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.720 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.720 * [taylor]: Taking taylor expansion of t in z
1.720 * [taylor]: Taking taylor expansion of (* z y) in z
1.720 * [taylor]: Taking taylor expansion of z in z
1.720 * [taylor]: Taking taylor expansion of y in z
1.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.720 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.720 * [taylor]: Taking taylor expansion of t in y
1.720 * [taylor]: Taking taylor expansion of (* z y) in y
1.720 * [taylor]: Taking taylor expansion of z in y
1.720 * [taylor]: Taking taylor expansion of y in y
1.721 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.721 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.721 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.721 * [taylor]: Taking taylor expansion of t in y
1.721 * [taylor]: Taking taylor expansion of (* z y) in y
1.721 * [taylor]: Taking taylor expansion of z in y
1.721 * [taylor]: Taking taylor expansion of y in y
1.721 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.721 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.721 * [taylor]: Taking taylor expansion of (/ t z) in z
1.721 * [taylor]: Taking taylor expansion of t in z
1.721 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.721 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.721 * [taylor]: Taking taylor expansion of t in t
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [taylor]: Taking taylor expansion of 0 in t
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [taylor]: Taking taylor expansion of 0 in t
1.721 * [taylor]: Taking taylor expansion of 0 in t
1.722 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.722 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.722 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.722 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.722 * [taylor]: Taking taylor expansion of (* z y) in t
1.722 * [taylor]: Taking taylor expansion of z in t
1.722 * [taylor]: Taking taylor expansion of y in t
1.722 * [taylor]: Taking taylor expansion of t in t
1.722 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.722 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.722 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.722 * [taylor]: Taking taylor expansion of (* z y) in z
1.722 * [taylor]: Taking taylor expansion of z in z
1.722 * [taylor]: Taking taylor expansion of y in z
1.722 * [taylor]: Taking taylor expansion of t in z
1.722 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.722 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.722 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.722 * [taylor]: Taking taylor expansion of (* z y) in y
1.722 * [taylor]: Taking taylor expansion of z in y
1.722 * [taylor]: Taking taylor expansion of y in y
1.722 * [taylor]: Taking taylor expansion of t in y
1.722 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.722 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.722 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.722 * [taylor]: Taking taylor expansion of (* z y) in y
1.722 * [taylor]: Taking taylor expansion of z in y
1.722 * [taylor]: Taking taylor expansion of y in y
1.722 * [taylor]: Taking taylor expansion of t in y
1.722 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.722 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.722 * [taylor]: Taking taylor expansion of (/ z t) in z
1.723 * [taylor]: Taking taylor expansion of z in z
1.723 * [taylor]: Taking taylor expansion of t in z
1.723 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.723 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.723 * [taylor]: Taking taylor expansion of t in t
1.723 * [taylor]: Taking taylor expansion of 0 in z
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.723 * [taylor]: Taking taylor expansion of 0 in z
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in z
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.724 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.724 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.724 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.724 * [taylor]: Taking taylor expansion of (* z y) in t
1.724 * [taylor]: Taking taylor expansion of z in t
1.724 * [taylor]: Taking taylor expansion of y in t
1.724 * [taylor]: Taking taylor expansion of t in t
1.724 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.724 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.724 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.724 * [taylor]: Taking taylor expansion of (* z y) in z
1.724 * [taylor]: Taking taylor expansion of z in z
1.724 * [taylor]: Taking taylor expansion of y in z
1.724 * [taylor]: Taking taylor expansion of t in z
1.724 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.724 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.724 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.724 * [taylor]: Taking taylor expansion of (* z y) in y
1.724 * [taylor]: Taking taylor expansion of z in y
1.724 * [taylor]: Taking taylor expansion of y in y
1.724 * [taylor]: Taking taylor expansion of t in y
1.725 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.725 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.725 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.725 * [taylor]: Taking taylor expansion of (* z y) in y
1.725 * [taylor]: Taking taylor expansion of z in y
1.725 * [taylor]: Taking taylor expansion of y in y
1.725 * [taylor]: Taking taylor expansion of t in y
1.725 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ z t)) in z
1.725 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.725 * [taylor]: Taking taylor expansion of (/ z t) in z
1.725 * [taylor]: Taking taylor expansion of z in z
1.725 * [taylor]: Taking taylor expansion of t in z
1.725 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 t) in t
1.725 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.725 * [taylor]: Taking taylor expansion of t in t
1.725 * [taylor]: Taking taylor expansion of 0 in z
1.725 * [taylor]: Taking taylor expansion of 0 in t
1.725 * [taylor]: Taking taylor expansion of 0 in t
1.725 * [taylor]: Taking taylor expansion of 0 in z
1.725 * [taylor]: Taking taylor expansion of 0 in t
1.725 * [taylor]: Taking taylor expansion of 0 in t
1.726 * [taylor]: Taking taylor expansion of 0 in t
1.726 * [taylor]: Taking taylor expansion of 0 in z
1.726 * [taylor]: Taking taylor expansion of 0 in t
1.726 * [taylor]: Taking taylor expansion of 0 in t
1.726 * [taylor]: Taking taylor expansion of 0 in t
1.726 * [taylor]: Taking taylor expansion of 0 in t
1.726 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.726 * [approximate]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in (y z t) around 0
1.726 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in t
1.726 * [taylor]: Taking taylor expansion of 3.0 in t
1.726 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.726 * [taylor]: Taking taylor expansion of (* z y) in t
1.726 * [taylor]: Taking taylor expansion of z in t
1.726 * [taylor]: Taking taylor expansion of y in t
1.726 * [taylor]: Taking taylor expansion of t in t
1.726 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in z
1.726 * [taylor]: Taking taylor expansion of 3.0 in z
1.727 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.727 * [taylor]: Taking taylor expansion of (* z y) in z
1.727 * [taylor]: Taking taylor expansion of z in z
1.727 * [taylor]: Taking taylor expansion of y in z
1.727 * [taylor]: Taking taylor expansion of t in z
1.727 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.727 * [taylor]: Taking taylor expansion of 3.0 in y
1.727 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.727 * [taylor]: Taking taylor expansion of (* z y) in y
1.727 * [taylor]: Taking taylor expansion of z in y
1.727 * [taylor]: Taking taylor expansion of y in y
1.727 * [taylor]: Taking taylor expansion of t in y
1.727 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.727 * [taylor]: Taking taylor expansion of 3.0 in y
1.727 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.727 * [taylor]: Taking taylor expansion of (* z y) in y
1.727 * [taylor]: Taking taylor expansion of z in y
1.727 * [taylor]: Taking taylor expansion of y in y
1.727 * [taylor]: Taking taylor expansion of t in y
1.727 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.727 * [taylor]: Taking taylor expansion of 3.0 in z
1.727 * [taylor]: Taking taylor expansion of (/ z t) in z
1.727 * [taylor]: Taking taylor expansion of z in z
1.727 * [taylor]: Taking taylor expansion of t in z
1.727 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.727 * [taylor]: Taking taylor expansion of 3.0 in t
1.727 * [taylor]: Taking taylor expansion of t in t
1.727 * [taylor]: Taking taylor expansion of 0 in z
1.727 * [taylor]: Taking taylor expansion of 0 in t
1.727 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [approximate]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in (y z t) around 0
1.728 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in t
1.729 * [taylor]: Taking taylor expansion of 3.0 in t
1.729 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.729 * [taylor]: Taking taylor expansion of t in t
1.729 * [taylor]: Taking taylor expansion of (* z y) in t
1.729 * [taylor]: Taking taylor expansion of z in t
1.729 * [taylor]: Taking taylor expansion of y in t
1.729 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in z
1.729 * [taylor]: Taking taylor expansion of 3.0 in z
1.729 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.729 * [taylor]: Taking taylor expansion of t in z
1.729 * [taylor]: Taking taylor expansion of (* z y) in z
1.729 * [taylor]: Taking taylor expansion of z in z
1.729 * [taylor]: Taking taylor expansion of y in z
1.729 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.729 * [taylor]: Taking taylor expansion of 3.0 in y
1.729 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.729 * [taylor]: Taking taylor expansion of t in y
1.729 * [taylor]: Taking taylor expansion of (* z y) in y
1.729 * [taylor]: Taking taylor expansion of z in y
1.729 * [taylor]: Taking taylor expansion of y in y
1.729 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.729 * [taylor]: Taking taylor expansion of 3.0 in y
1.729 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.729 * [taylor]: Taking taylor expansion of t in y
1.729 * [taylor]: Taking taylor expansion of (* z y) in y
1.729 * [taylor]: Taking taylor expansion of z in y
1.729 * [taylor]: Taking taylor expansion of y in y
1.729 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.729 * [taylor]: Taking taylor expansion of 3.0 in z
1.729 * [taylor]: Taking taylor expansion of (/ t z) in z
1.729 * [taylor]: Taking taylor expansion of t in z
1.729 * [taylor]: Taking taylor expansion of z in z
1.729 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.729 * [taylor]: Taking taylor expansion of 3.0 in t
1.729 * [taylor]: Taking taylor expansion of t in t
1.730 * [taylor]: Taking taylor expansion of 0 in z
1.730 * [taylor]: Taking taylor expansion of 0 in t
1.730 * [taylor]: Taking taylor expansion of 0 in z
1.730 * [taylor]: Taking taylor expansion of 0 in t
1.730 * [taylor]: Taking taylor expansion of 0 in t
1.733 * [approximate]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in (y z t) around 0
1.733 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in t
1.733 * [taylor]: Taking taylor expansion of -3.0 in t
1.733 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.733 * [taylor]: Taking taylor expansion of t in t
1.733 * [taylor]: Taking taylor expansion of (* z y) in t
1.733 * [taylor]: Taking taylor expansion of z in t
1.733 * [taylor]: Taking taylor expansion of y in t
1.733 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in z
1.733 * [taylor]: Taking taylor expansion of -3.0 in z
1.733 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.733 * [taylor]: Taking taylor expansion of t in z
1.733 * [taylor]: Taking taylor expansion of (* z y) in z
1.733 * [taylor]: Taking taylor expansion of z in z
1.733 * [taylor]: Taking taylor expansion of y in z
1.733 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.733 * [taylor]: Taking taylor expansion of -3.0 in y
1.733 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.733 * [taylor]: Taking taylor expansion of t in y
1.733 * [taylor]: Taking taylor expansion of (* z y) in y
1.733 * [taylor]: Taking taylor expansion of z in y
1.733 * [taylor]: Taking taylor expansion of y in y
1.733 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.733 * [taylor]: Taking taylor expansion of -3.0 in y
1.733 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.733 * [taylor]: Taking taylor expansion of t in y
1.733 * [taylor]: Taking taylor expansion of (* z y) in y
1.733 * [taylor]: Taking taylor expansion of z in y
1.733 * [taylor]: Taking taylor expansion of y in y
1.734 * [taylor]: Taking taylor expansion of (* -3.0 (/ t z)) in z
1.734 * [taylor]: Taking taylor expansion of -3.0 in z
1.734 * [taylor]: Taking taylor expansion of (/ t z) in z
1.734 * [taylor]: Taking taylor expansion of t in z
1.734 * [taylor]: Taking taylor expansion of z in z
1.734 * [taylor]: Taking taylor expansion of (* -3.0 t) in t
1.734 * [taylor]: Taking taylor expansion of -3.0 in t
1.734 * [taylor]: Taking taylor expansion of t in t
1.734 * [taylor]: Taking taylor expansion of 0 in z
1.734 * [taylor]: Taking taylor expansion of 0 in t
1.734 * [taylor]: Taking taylor expansion of 0 in z
1.734 * [taylor]: Taking taylor expansion of 0 in t
1.734 * [taylor]: Taking taylor expansion of 0 in t
1.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.735 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.735 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.735 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.735 * [taylor]: Taking taylor expansion of (/ y z) in z
1.735 * [taylor]: Taking taylor expansion of y in z
1.735 * [taylor]: Taking taylor expansion of z in z
1.735 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.735 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.735 * [taylor]: Taking taylor expansion of (/ y z) in y
1.735 * [taylor]: Taking taylor expansion of y in y
1.735 * [taylor]: Taking taylor expansion of z in y
1.735 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.735 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.735 * [taylor]: Taking taylor expansion of (/ y z) in y
1.735 * [taylor]: Taking taylor expansion of y in y
1.735 * [taylor]: Taking taylor expansion of z in y
1.735 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.735 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.735 * [taylor]: Taking taylor expansion of z in z
1.735 * [taylor]: Taking taylor expansion of 0 in z
1.735 * [taylor]: Taking taylor expansion of 0 in z
1.736 * [taylor]: Taking taylor expansion of 0 in z
1.736 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.736 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.736 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.736 * [taylor]: Taking taylor expansion of (/ z y) in z
1.736 * [taylor]: Taking taylor expansion of z in z
1.736 * [taylor]: Taking taylor expansion of y in z
1.736 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.736 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.736 * [taylor]: Taking taylor expansion of (/ z y) in y
1.736 * [taylor]: Taking taylor expansion of z in y
1.736 * [taylor]: Taking taylor expansion of y in y
1.736 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.736 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.736 * [taylor]: Taking taylor expansion of (/ z y) in y
1.736 * [taylor]: Taking taylor expansion of z in y
1.736 * [taylor]: Taking taylor expansion of y in y
1.737 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.737 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.737 * [taylor]: Taking taylor expansion of z in z
1.737 * [taylor]: Taking taylor expansion of 0 in z
1.737 * [taylor]: Taking taylor expansion of 0 in z
1.737 * [taylor]: Taking taylor expansion of 0 in z
1.737 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.737 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.737 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.737 * [taylor]: Taking taylor expansion of (/ z y) in z
1.737 * [taylor]: Taking taylor expansion of z in z
1.737 * [taylor]: Taking taylor expansion of y in z
1.737 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.737 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.737 * [taylor]: Taking taylor expansion of (/ z y) in y
1.737 * [taylor]: Taking taylor expansion of z in y
1.737 * [taylor]: Taking taylor expansion of y in y
1.737 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.737 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.737 * [taylor]: Taking taylor expansion of (/ z y) in y
1.737 * [taylor]: Taking taylor expansion of z in y
1.737 * [taylor]: Taking taylor expansion of y in y
1.738 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.738 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.738 * [taylor]: Taking taylor expansion of z in z
1.738 * [taylor]: Taking taylor expansion of 0 in z
1.738 * [taylor]: Taking taylor expansion of 0 in z
1.738 * [taylor]: Taking taylor expansion of 0 in z
1.738 * * * [progress]: simplifying candidates
1.740 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (/ z t))
  (+ (log y) (- (log z) (log t)))
  (+ (log y) (log (/ z t)))
  (log (* y (/ z t)))
  (exp (* y (/ z t)))
  (* (* (* y y) y) (/ (* (* z z) z) (* (* t t) t)))
  (* (* (* y y) y) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (cbrt (* y (/ z t))) (cbrt (* y (/ z t))))
  (cbrt (* y (/ z t)))
  (* (* (* y (/ z t)) (* y (/ z t))) (* y (/ z t)))
  (sqrt (* y (/ z t)))
  (sqrt (* y (/ z t)))
  (* (sqrt y) (sqrt (/ z t)))
  (* (sqrt y) (sqrt (/ z t)))
  (* (sqrt y) (/ (sqrt z) (sqrt t)))
  (* (sqrt y) (/ (sqrt z) (sqrt t)))
  (* y (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* y (sqrt (/ z t)))
  (* y (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* y (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* y (/ (* (cbrt z) (cbrt z)) 1))
  (* y (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* y (/ (sqrt z) (sqrt t)))
  (* y (/ (sqrt z) 1))
  (* y (/ 1 (* (cbrt t) (cbrt t))))
  (* y (/ 1 (sqrt t)))
  (* y (/ 1 1))
  (* y 1)
  (* y z)
  (* (cbrt y) (/ z t))
  (* (sqrt y) (/ z t))
  (* y (/ z t))
  (* y z)
  (neg 1)
  (neg 1)
  (neg 1)
  (neg (+ (+ (log y) (- (log z) (log t))) (log 3.0)))
  (neg (+ (+ (log y) (log (/ z t))) (log 3.0)))
  (neg (+ (log (* y (/ z t))) (log 3.0)))
  (neg (log (* (* y (/ z t)) 3.0)))
  (- 0 (+ (+ (log y) (- (log z) (log t))) (log 3.0)))
  (- 0 (+ (+ (log y) (log (/ z t))) (log 3.0)))
  (- 0 (+ (log (* y (/ z t))) (log 3.0)))
  (- 0 (log (* (* y (/ z t)) 3.0)))
  (- (log 1) (+ (+ (log y) (- (log z) (log t))) (log 3.0)))
  (- (log 1) (+ (+ (log y) (log (/ z t))) (log 3.0)))
  (- (log 1) (+ (log (* y (/ z t))) (log 3.0)))
  (- (log 1) (log (* (* y (/ z t)) 3.0)))
  (log (/ 1 (* (* y (/ z t)) 3.0)))
  (exp (/ 1 (* (* y (/ z t)) 3.0)))
  (/ (* (* 1 1) 1) (* (* (* (* y y) y) (/ (* (* z z) z) (* (* t t) t))) (* (* 3.0 3.0) 3.0)))
  (/ (* (* 1 1) 1) (* (* (* (* y y) y) (* (* (/ z t) (/ z t)) (/ z t))) (* (* 3.0 3.0) 3.0)))
  (/ (* (* 1 1) 1) (* (* (* (* y (/ z t)) (* y (/ z t))) (* y (/ z t))) (* (* 3.0 3.0) 3.0)))
  (/ (* (* 1 1) 1) (* (* (* (* y (/ z t)) 3.0) (* (* y (/ z t)) 3.0)) (* (* y (/ z t)) 3.0)))
  (* (cbrt (/ 1 (* (* y (/ z t)) 3.0))) (cbrt (/ 1 (* (* y (/ z t)) 3.0))))
  (cbrt (/ 1 (* (* y (/ z t)) 3.0)))
  (* (* (/ 1 (* (* y (/ z t)) 3.0)) (/ 1 (* (* y (/ z t)) 3.0))) (/ 1 (* (* y (/ z t)) 3.0)))
  (sqrt (/ 1 (* (* y (/ z t)) 3.0)))
  (sqrt (/ 1 (* (* y (/ z t)) 3.0)))
  (neg 1)
  (neg (* (* y (/ z t)) 3.0))
  (/ (* (cbrt 1) (cbrt 1)) (* y (/ z t)))
  (/ (cbrt 1) 3.0)
  (/ (sqrt 1) (* y (/ z t)))
  (/ (sqrt 1) 3.0)
  (/ 1 (* y (/ z t)))
  (/ 1 3.0)
  (/ 1 (* (* y (/ z t)) 3.0))
  (/ (* (* y (/ z t)) 3.0) 1)
  (/ 1 (* y (/ z t)))
  (/ (* (* y (/ z t)) 3.0) (cbrt 1))
  (/ (* (* y (/ z t)) 3.0) (sqrt 1))
  (/ (* (* y (/ z t)) 3.0) 1)
  (/ 1 (* (* y z) 3.0))
  (* (* y (/ z t)) 3.0)
  (* (* y (/ z t)) 3.0)
  (+ (+ (log y) (- (log z) (log t))) (log 3.0))
  (+ (+ (log y) (log (/ z t))) (log 3.0))
  (+ (log (* y (/ z t))) (log 3.0))
  (log (* (* y (/ z t)) 3.0))
  (exp (* (* y (/ z t)) 3.0))
  (* (* (* (* y y) y) (/ (* (* z z) z) (* (* t t) t))) (* (* 3.0 3.0) 3.0))
  (* (* (* (* y y) y) (* (* (/ z t) (/ z t)) (/ z t))) (* (* 3.0 3.0) 3.0))
  (* (* (* (* y (/ z t)) (* y (/ z t))) (* y (/ z t))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (* (* y (/ z t)) 3.0)) (cbrt (* (* y (/ z t)) 3.0)))
  (cbrt (* (* y (/ z t)) 3.0))
  (* (* (* (* y (/ z t)) 3.0) (* (* y (/ z t)) 3.0)) (* (* y (/ z t)) 3.0))
  (sqrt (* (* y (/ z t)) 3.0))
  (sqrt (* (* y (/ z t)) 3.0))
  (* (* y (/ z t)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (* y (/ z t)) (sqrt 3.0))
  (* (* y (/ z t)) 1)
  (* (/ z t) 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)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* z y) t)
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
1.788 * * [simplify]: iteration  0 :  5140  enodes  (cost  923 )
1.792 * [simplify]: Simplified to:
   (* y (/ z t))
  (log (* y (/ z t)))
  (log (* y (/ z t)))
  (log (* y (/ z t)))
  (pow (exp y) (/ z t))
  (pow (* y (/ z t)) 3)
  (pow (* y (/ z t)) 3)
  (* (cbrt (* y (/ z t))) (cbrt (* y (/ z t))))
  (cbrt (* y (/ z t)))
  (pow (* y (/ z t)) 3)
  (sqrt (* y (/ z t)))
  (sqrt (* y (/ z t)))
  (* (sqrt y) (sqrt (/ z t)))
  (* (sqrt y) (sqrt (/ z t)))
  (* (sqrt y) (/ (sqrt z) (sqrt t)))
  (* (sqrt y) (/ (sqrt z) (sqrt t)))
  (* y (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* y (sqrt (/ z t)))
  (* y (* (cbrt z) (/ (cbrt z) (* (cbrt t) (cbrt t)))))
  (* y (* (cbrt z) (/ (cbrt z) (sqrt t))))
  (* y (* (cbrt z) (cbrt z)))
  (* y (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* y (/ (sqrt z) (sqrt t)))
  (* y (sqrt z))
  (/ y (* (cbrt t) (cbrt t)))
  (/ y (sqrt t))
  y
  y
  (* y z)
  (* (/ z t) (cbrt y))
  (* (/ z t) (sqrt y))
  (* y (/ z t))
  (* y z)
  -1
  -1
  -1
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (- (log (/ t (* y z))) (log 3.0))
  (pow (exp (/ 1 (* y (* z 3.0)))) t)
  (/ 1 (pow (* y (* (/ z t) 3.0)) 3))
  (/ 1 (pow (* y (* (/ z t) 3.0)) 3))
  (/ 1 (pow (* y (* (/ z t) 3.0)) 3))
  (/ 1 (pow (* y (* (/ z t) 3.0)) 3))
  (* (cbrt (* t (/ 1 (* y (* z 3.0))))) (cbrt (* t (/ 1 (* y (* z 3.0))))))
  (cbrt (* t (/ 1 (* y (* z 3.0)))))
  (/ 1 (pow (* y (* (/ z t) 3.0)) 3))
  (sqrt (* t (/ 1 (* y (* z 3.0)))))
  (sqrt (* t (/ 1 (* y (* z 3.0)))))
  -1
  (* y (* (/ z t) (neg 3.0)))
  (* t (/ (cbrt 1) (* z (/ y (cbrt 1)))))
  (/ (cbrt 1) 3.0)
  (* t (/ 1 (* y z)))
  (/ 1 3.0)
  (* t (/ 1 (* y z)))
  (/ 1 3.0)
  (* t (/ 1 (* y (* z 3.0))))
  (* y (* (/ z t) 3.0))
  (* t (/ 1 (* y z)))
  (* 3.0 (* (/ y (cbrt 1)) (/ z t)))
  (* y (* (/ z t) 3.0))
  (* y (* (/ z t) 3.0))
  (/ 1 (* y (* z 3.0)))
  (* y (* (/ z t) 3.0))
  (* y (* (/ z t) 3.0))
  (log (* y (* (/ z t) 3.0)))
  (log (* y (* (/ z t) 3.0)))
  (log (* y (* (/ z t) 3.0)))
  (log (* y (* (/ z t) 3.0)))
  (pow (pow (exp y) (/ z t)) 3.0)
  (pow (* y (* (/ z t) 3.0)) 3)
  (pow (* y (* (/ z t) 3.0)) 3)
  (pow (* y (* (/ z t) 3.0)) 3)
  (* (cbrt (* y (* (/ z t) 3.0))) (cbrt (* y (* (/ z t) 3.0))))
  (cbrt (* y (* (/ z t) 3.0)))
  (pow (* y (* (/ z t) 3.0)) 3)
  (sqrt (* y (* (/ z t) 3.0)))
  (sqrt (* y (* (/ z t) 3.0)))
  (* y (* (/ z t) (* (cbrt 3.0) (cbrt 3.0))))
  (* y (* (/ z t) (sqrt 3.0)))
  (* y (/ z t))
  (* (/ z t) 3.0)
  (* 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))
  (* y (/ z t))
  (* y (/ z t))
  (* y (/ z t))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* y (* (/ z t) 3.0))
  (* y (* (/ z t) 3.0))
  (* y (* (/ z t) 3.0))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
1.793 * * * [progress]: adding candidates to table
1.887 * * [progress]: iteration 4 / 4
1.887 * * * [progress]: picking best candidate
1.914 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))>
1.914 * * * [progress]: localizing error
1.923 * * * [progress]: generating rewritten candidates
1.923 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.929 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.933 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.937 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.944 * * * [progress]: generating series expansions
1.945 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.945 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.945 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.945 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.945 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.945 * [taylor]: Taking taylor expansion of t in y
1.945 * [taylor]: Taking taylor expansion of (* z y) in y
1.945 * [taylor]: Taking taylor expansion of z in y
1.945 * [taylor]: Taking taylor expansion of y in y
1.945 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.945 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.945 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.945 * [taylor]: Taking taylor expansion of t in z
1.945 * [taylor]: Taking taylor expansion of (* z y) in z
1.945 * [taylor]: Taking taylor expansion of z in z
1.945 * [taylor]: Taking taylor expansion of y in z
1.945 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.945 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.945 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.945 * [taylor]: Taking taylor expansion of t in t
1.945 * [taylor]: Taking taylor expansion of (* z y) in t
1.945 * [taylor]: Taking taylor expansion of z in t
1.945 * [taylor]: Taking taylor expansion of y in t
1.945 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.945 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.945 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.945 * [taylor]: Taking taylor expansion of t in t
1.945 * [taylor]: Taking taylor expansion of (* z y) in t
1.945 * [taylor]: Taking taylor expansion of z in t
1.945 * [taylor]: Taking taylor expansion of y in t
1.946 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.946 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.946 * [taylor]: Taking taylor expansion of (* z y) in z
1.946 * [taylor]: Taking taylor expansion of z in z
1.946 * [taylor]: Taking taylor expansion of y in z
1.946 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.946 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.946 * [taylor]: Taking taylor expansion of y in y
1.946 * [taylor]: Taking taylor expansion of 0 in z
1.946 * [taylor]: Taking taylor expansion of 0 in y
1.946 * [taylor]: Taking taylor expansion of 0 in z
1.946 * [taylor]: Taking taylor expansion of 0 in y
1.946 * [taylor]: Taking taylor expansion of 0 in y
1.947 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [taylor]: Taking taylor expansion of 0 in y
1.947 * [taylor]: Taking taylor expansion of 0 in y
1.947 * [taylor]: Taking taylor expansion of 0 in y
1.947 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.947 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.947 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.947 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.947 * [taylor]: Taking taylor expansion of (* z y) in y
1.947 * [taylor]: Taking taylor expansion of z in y
1.947 * [taylor]: Taking taylor expansion of y in y
1.947 * [taylor]: Taking taylor expansion of t in y
1.947 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.947 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.947 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.947 * [taylor]: Taking taylor expansion of (* z y) in z
1.947 * [taylor]: Taking taylor expansion of z in z
1.947 * [taylor]: Taking taylor expansion of y in z
1.947 * [taylor]: Taking taylor expansion of t in z
1.947 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.947 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.947 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.947 * [taylor]: Taking taylor expansion of (* z y) in t
1.948 * [taylor]: Taking taylor expansion of z in t
1.948 * [taylor]: Taking taylor expansion of y in t
1.948 * [taylor]: Taking taylor expansion of t in t
1.948 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.948 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.948 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.948 * [taylor]: Taking taylor expansion of (* z y) in t
1.948 * [taylor]: Taking taylor expansion of z in t
1.948 * [taylor]: Taking taylor expansion of y in t
1.948 * [taylor]: Taking taylor expansion of t in t
1.948 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.948 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.948 * [taylor]: Taking taylor expansion of (* z y) in z
1.948 * [taylor]: Taking taylor expansion of z in z
1.948 * [taylor]: Taking taylor expansion of y in z
1.948 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.948 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.948 * [taylor]: Taking taylor expansion of y in y
1.948 * [taylor]: Taking taylor expansion of 0 in z
1.948 * [taylor]: Taking taylor expansion of 0 in y
1.948 * [taylor]: Taking taylor expansion of 0 in y
1.949 * [taylor]: Taking taylor expansion of 0 in z
1.949 * [taylor]: Taking taylor expansion of 0 in y
1.949 * [taylor]: Taking taylor expansion of 0 in y
1.949 * [taylor]: Taking taylor expansion of 0 in y
1.949 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.949 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.949 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.949 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.949 * [taylor]: Taking taylor expansion of (* z y) in y
1.949 * [taylor]: Taking taylor expansion of z in y
1.949 * [taylor]: Taking taylor expansion of y in y
1.949 * [taylor]: Taking taylor expansion of t in y
1.949 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.949 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.949 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.949 * [taylor]: Taking taylor expansion of (* z y) in z
1.949 * [taylor]: Taking taylor expansion of z in z
1.949 * [taylor]: Taking taylor expansion of y in z
1.949 * [taylor]: Taking taylor expansion of t in z
1.949 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.949 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.949 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.949 * [taylor]: Taking taylor expansion of (* z y) in t
1.949 * [taylor]: Taking taylor expansion of z in t
1.949 * [taylor]: Taking taylor expansion of y in t
1.949 * [taylor]: Taking taylor expansion of t in t
1.950 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.950 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.950 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.950 * [taylor]: Taking taylor expansion of (* z y) in t
1.950 * [taylor]: Taking taylor expansion of z in t
1.950 * [taylor]: Taking taylor expansion of y in t
1.950 * [taylor]: Taking taylor expansion of t in t
1.950 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.950 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.950 * [taylor]: Taking taylor expansion of (* z y) in z
1.950 * [taylor]: Taking taylor expansion of z in z
1.950 * [taylor]: Taking taylor expansion of y in z
1.950 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.950 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.950 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.950 * [taylor]: Taking taylor expansion of y in y
1.950 * [taylor]: Taking taylor expansion of 0 in z
1.950 * [taylor]: Taking taylor expansion of 0 in y
1.950 * [taylor]: Taking taylor expansion of 0 in y
1.950 * [taylor]: Taking taylor expansion of 0 in z
1.950 * [taylor]: Taking taylor expansion of 0 in y
1.950 * [taylor]: Taking taylor expansion of 0 in y
1.951 * [taylor]: Taking taylor expansion of 0 in y
1.951 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.951 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in (t z) around 0
1.951 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.951 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.951 * [taylor]: Taking taylor expansion of (/ t z) in z
1.951 * [taylor]: Taking taylor expansion of t in z
1.951 * [taylor]: Taking taylor expansion of z in z
1.951 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in t
1.951 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.951 * [taylor]: Taking taylor expansion of (/ t z) in t
1.951 * [taylor]: Taking taylor expansion of t in t
1.951 * [taylor]: Taking taylor expansion of z in t
1.951 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in t
1.951 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.951 * [taylor]: Taking taylor expansion of (/ t z) in t
1.951 * [taylor]: Taking taylor expansion of t in t
1.951 * [taylor]: Taking taylor expansion of z in t
1.951 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.951 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.951 * [taylor]: Taking taylor expansion of z in z
1.951 * [taylor]: Taking taylor expansion of 0 in z
1.951 * [taylor]: Taking taylor expansion of 0 in z
1.952 * [taylor]: Taking taylor expansion of 0 in z
1.952 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in (t z) around 0
1.952 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.952 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.952 * [taylor]: Taking taylor expansion of (/ z t) in z
1.952 * [taylor]: Taking taylor expansion of z in z
1.952 * [taylor]: Taking taylor expansion of t in z
1.952 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.952 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.952 * [taylor]: Taking taylor expansion of (/ z t) in t
1.952 * [taylor]: Taking taylor expansion of z in t
1.952 * [taylor]: Taking taylor expansion of t in t
1.952 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.952 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.952 * [taylor]: Taking taylor expansion of (/ z t) in t
1.952 * [taylor]: Taking taylor expansion of z in t
1.952 * [taylor]: Taking taylor expansion of t in t
1.952 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.952 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.952 * [taylor]: Taking taylor expansion of z in z
1.952 * [taylor]: Taking taylor expansion of 0 in z
1.953 * [taylor]: Taking taylor expansion of 0 in z
1.953 * [taylor]: Taking taylor expansion of 0 in z
1.953 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in (t z) around 0
1.953 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.953 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.953 * [taylor]: Taking taylor expansion of (/ z t) in z
1.953 * [taylor]: Taking taylor expansion of z in z
1.953 * [taylor]: Taking taylor expansion of t in z
1.953 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.953 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.953 * [taylor]: Taking taylor expansion of (/ z t) in t
1.953 * [taylor]: Taking taylor expansion of z in t
1.953 * [taylor]: Taking taylor expansion of t in t
1.953 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.953 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.953 * [taylor]: Taking taylor expansion of (/ z t) in t
1.953 * [taylor]: Taking taylor expansion of z in t
1.953 * [taylor]: Taking taylor expansion of t in t
1.953 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.953 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.953 * [taylor]: Taking taylor expansion of z in z
1.953 * [taylor]: Taking taylor expansion of 0 in z
1.953 * [taylor]: Taking taylor expansion of 0 in z
1.954 * [taylor]: Taking taylor expansion of 0 in z
1.954 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.954 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.954 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.954 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.954 * [taylor]: Taking taylor expansion of (/ y z) in z
1.954 * [taylor]: Taking taylor expansion of y in z
1.954 * [taylor]: Taking taylor expansion of z in z
1.954 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.954 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.954 * [taylor]: Taking taylor expansion of (/ y z) in y
1.954 * [taylor]: Taking taylor expansion of y in y
1.954 * [taylor]: Taking taylor expansion of z in y
1.954 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.954 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.954 * [taylor]: Taking taylor expansion of (/ y z) in y
1.954 * [taylor]: Taking taylor expansion of y in y
1.954 * [taylor]: Taking taylor expansion of z in y
1.954 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.954 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.954 * [taylor]: Taking taylor expansion of z in z
1.954 * [taylor]: Taking taylor expansion of 0 in z
1.955 * [taylor]: Taking taylor expansion of 0 in z
1.955 * [taylor]: Taking taylor expansion of 0 in z
1.955 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.955 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.955 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.955 * [taylor]: Taking taylor expansion of (/ z y) in z
1.955 * [taylor]: Taking taylor expansion of z in z
1.955 * [taylor]: Taking taylor expansion of y in z
1.955 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.955 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.955 * [taylor]: Taking taylor expansion of (/ z y) in y
1.955 * [taylor]: Taking taylor expansion of z in y
1.955 * [taylor]: Taking taylor expansion of y in y
1.955 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.955 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.955 * [taylor]: Taking taylor expansion of (/ z y) in y
1.955 * [taylor]: Taking taylor expansion of z in y
1.955 * [taylor]: Taking taylor expansion of y in y
1.955 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.955 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.955 * [taylor]: Taking taylor expansion of z in z
1.955 * [taylor]: Taking taylor expansion of 0 in z
1.956 * [taylor]: Taking taylor expansion of 0 in z
1.956 * [taylor]: Taking taylor expansion of 0 in z
1.956 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.956 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.956 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.956 * [taylor]: Taking taylor expansion of (/ z y) in z
1.956 * [taylor]: Taking taylor expansion of z in z
1.956 * [taylor]: Taking taylor expansion of y in z
1.956 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.956 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.956 * [taylor]: Taking taylor expansion of (/ z y) in y
1.956 * [taylor]: Taking taylor expansion of z in y
1.956 * [taylor]: Taking taylor expansion of y in y
1.956 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.956 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.956 * [taylor]: Taking taylor expansion of (/ z y) in y
1.956 * [taylor]: Taking taylor expansion of z in y
1.956 * [taylor]: Taking taylor expansion of y in y
1.956 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.956 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.956 * [taylor]: Taking taylor expansion of z in z
1.956 * [taylor]: Taking taylor expansion of 0 in z
1.957 * [taylor]: Taking taylor expansion of 0 in z
1.957 * [taylor]: Taking taylor expansion of 0 in z
1.957 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.957 * [approximate]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in (x y z) around 0
1.957 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in z
1.957 * [taylor]: Taking taylor expansion of x in z
1.957 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.957 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.957 * [taylor]: Taking taylor expansion of (/ y z) in z
1.957 * [taylor]: Taking taylor expansion of y in z
1.957 * [taylor]: Taking taylor expansion of z in z
1.957 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in y
1.957 * [taylor]: Taking taylor expansion of x in y
1.957 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.957 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.957 * [taylor]: Taking taylor expansion of (/ y z) in y
1.957 * [taylor]: Taking taylor expansion of y in y
1.957 * [taylor]: Taking taylor expansion of z in y
1.957 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.957 * [taylor]: Taking taylor expansion of x in x
1.957 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.957 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.957 * [taylor]: Taking taylor expansion of (/ y z) in x
1.957 * [taylor]: Taking taylor expansion of y in x
1.957 * [taylor]: Taking taylor expansion of z in x
1.957 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.957 * [taylor]: Taking taylor expansion of x in x
1.957 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.957 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.957 * [taylor]: Taking taylor expansion of (/ y z) in x
1.957 * [taylor]: Taking taylor expansion of y in x
1.957 * [taylor]: Taking taylor expansion of z in x
1.958 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ y z))) in y
1.958 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.958 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.958 * [taylor]: Taking taylor expansion of (/ y z) in y
1.958 * [taylor]: Taking taylor expansion of y in y
1.958 * [taylor]: Taking taylor expansion of z in y
1.958 * [taylor]: Taking taylor expansion of 1 in y
1.958 * [taylor]: Taking taylor expansion of 1 in z
1.958 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
1.958 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
1.958 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.958 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.958 * [taylor]: Taking taylor expansion of z in z
1.958 * [taylor]: Taking taylor expansion of 0 in y
1.958 * [taylor]: Taking taylor expansion of 0 in z
1.958 * [taylor]: Taking taylor expansion of 0 in z
1.958 * [taylor]: Taking taylor expansion of 0 in z
1.959 * [taylor]: Taking taylor expansion of 0 in y
1.959 * [taylor]: Taking taylor expansion of 0 in z
1.959 * [taylor]: Taking taylor expansion of 0 in z
1.959 * [taylor]: Taking taylor expansion of 0 in z
1.959 * [taylor]: Taking taylor expansion of 0 in z
1.959 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in (x y z) around 0
1.959 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in z
1.959 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.959 * [taylor]: Taking taylor expansion of x in z
1.959 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.959 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.959 * [taylor]: Taking taylor expansion of (/ z y) in z
1.959 * [taylor]: Taking taylor expansion of z in z
1.959 * [taylor]: Taking taylor expansion of y in z
1.959 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in y
1.959 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.959 * [taylor]: Taking taylor expansion of x in y
1.959 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.959 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.959 * [taylor]: Taking taylor expansion of (/ z y) in y
1.959 * [taylor]: Taking taylor expansion of z in y
1.959 * [taylor]: Taking taylor expansion of y in y
1.959 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.959 * [taylor]: Taking taylor expansion of x in x
1.960 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.960 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.960 * [taylor]: Taking taylor expansion of (/ z y) in x
1.960 * [taylor]: Taking taylor expansion of z in x
1.960 * [taylor]: Taking taylor expansion of y in x
1.960 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.960 * [taylor]: Taking taylor expansion of x in x
1.960 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.960 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.960 * [taylor]: Taking taylor expansion of (/ z y) in x
1.960 * [taylor]: Taking taylor expansion of z in x
1.960 * [taylor]: Taking taylor expansion of y in x
1.960 * [taylor]: Taking taylor expansion of 1 in y
1.960 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.960 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.960 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.960 * [taylor]: Taking taylor expansion of (/ z y) in y
1.960 * [taylor]: Taking taylor expansion of z in y
1.960 * [taylor]: Taking taylor expansion of y in y
1.960 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.960 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.960 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.960 * [taylor]: Taking taylor expansion of z in z
1.960 * [taylor]: Taking taylor expansion of 1 in z
1.960 * [taylor]: Taking taylor expansion of 0 in y
1.961 * [taylor]: Taking taylor expansion of 0 in z
1.961 * [taylor]: Taking taylor expansion of 0 in z
1.961 * [taylor]: Taking taylor expansion of 0 in y
1.961 * [taylor]: Taking taylor expansion of 0 in z
1.961 * [taylor]: Taking taylor expansion of 0 in z
1.961 * [taylor]: Taking taylor expansion of 0 in z
1.961 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in (x y z) around 0
1.961 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
1.961 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
1.961 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.961 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.961 * [taylor]: Taking taylor expansion of (/ z y) in z
1.961 * [taylor]: Taking taylor expansion of z in z
1.961 * [taylor]: Taking taylor expansion of y in z
1.961 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.961 * [taylor]: Taking taylor expansion of x in z
1.961 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
1.962 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
1.962 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.962 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.962 * [taylor]: Taking taylor expansion of (/ z y) in y
1.962 * [taylor]: Taking taylor expansion of z in y
1.962 * [taylor]: Taking taylor expansion of y in y
1.962 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.962 * [taylor]: Taking taylor expansion of x in y
1.962 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.962 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.962 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.962 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.962 * [taylor]: Taking taylor expansion of (/ z y) in x
1.962 * [taylor]: Taking taylor expansion of z in x
1.962 * [taylor]: Taking taylor expansion of y in x
1.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.962 * [taylor]: Taking taylor expansion of x in x
1.962 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.962 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.962 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.962 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.962 * [taylor]: Taking taylor expansion of (/ z y) in x
1.962 * [taylor]: Taking taylor expansion of z in x
1.962 * [taylor]: Taking taylor expansion of y in x
1.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.962 * [taylor]: Taking taylor expansion of x in x
1.962 * [taylor]: Taking taylor expansion of (neg 1) in y
1.962 * [taylor]: Taking taylor expansion of 1 in y
1.962 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.962 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.962 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.962 * [taylor]: Taking taylor expansion of (/ z y) in y
1.962 * [taylor]: Taking taylor expansion of z in y
1.962 * [taylor]: Taking taylor expansion of y in y
1.962 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.962 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.962 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.963 * [taylor]: Taking taylor expansion of z in z
1.963 * [taylor]: Taking taylor expansion of (neg 1) in z
1.963 * [taylor]: Taking taylor expansion of 1 in z
1.963 * [taylor]: Taking taylor expansion of 0 in y
1.963 * [taylor]: Taking taylor expansion of 0 in z
1.963 * [taylor]: Taking taylor expansion of 0 in z
1.963 * [taylor]: Taking taylor expansion of 0 in y
1.963 * [taylor]: Taking taylor expansion of 0 in z
1.963 * [taylor]: Taking taylor expansion of 0 in z
1.963 * [taylor]: Taking taylor expansion of 0 in z
1.964 * * * [progress]: simplifying candidates
1.967 * [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 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)
  (- (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)
  (/ (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 (/ t z))
  (* 0.3333333333333333 (/ t z))
  (* 0.3333333333333333 (/ t z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
2.014 * * [simplify]: iteration  0 :  5057  enodes  (cost  1033 )
2.019 * [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 (/ 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))))
  (/ (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) z) (/ (cbrt t) (* (cbrt y) (cbrt y))))
  (/ (cbrt t) (* 3.0 (cbrt y)))
  (* (/ (cbrt t) z) (/ (cbrt t) (sqrt y)))
  (/ (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 (* 3.0 (* (cbrt y) (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 (/ 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))
  (* 3.0 (/ z t))
  (/ t z)
  (* 3.0 (/ z (cbrt t)))
  (* 3.0 (/ z (sqrt t)))
  (* 3.0 (/ z 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))
  (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)))
  (* (/ t z) (/ 0.3333333333333333 y))
  (* (/ t z) (/ 0.3333333333333333 y))
  (* (/ t z) (/ 0.3333333333333333 y))
  (* (/ t z) 0.3333333333333333)
  (* (/ t z) 0.3333333333333333)
  (* (/ t z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
  (- x (* (/ y z) 0.3333333333333333))
2.019 * * * [progress]: adding candidates to table
2.132 * [progress]: [Phase 3 of 3] Extracting.
2.132 * * [regime]: Finding splitpoints for: (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
2.134 * * * [regime-changes]: Trying 5 branch expressions: ((* z 3.0) t z y x)
2.134 * * * * [regimes]: Trying to branch on (* z 3.0) from (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
2.207 * * * * [regimes]: Trying to branch on (* z 3.0) from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))>)
2.259 * * * * [regimes]: Trying to branch on t from (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
2.343 * * * * [regimes]: Trying to branch on z from (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
2.417 * * * * [regimes]: Trying to branch on y from (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
2.489 * * * * [regimes]: Trying to branch on x from (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
2.561 * * * [regime]: Found split indices: #<option (#s(si 4 29) #s(si 5 224) #s(si 4 255))>
2.561 * [binary-search]: Improving bounds with binary search for t and (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
3.864 * [regimes]: Found splitpoints: (#s(sp 4 t -4.682932022462661e+144) #s(sp 5 t 4.3847339126164306e+71) #s(sp 4 t +nan.0)) , with alts (#<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 (/ 1 (* z (* 3.0 y))))))> #<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))) (/ 1 (* (* y (/ z t)) 3.0))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))> #<alt (λ (x y z t) (+ (- x (* (sqrt (/ y (* z 3.0))) (sqrt (/ y (* z 3.0))))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* y (/ 1 (* z 3.0)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ y z) 0.3333333333333333)) (/ t (* (* z 3.0) y))))>)
3.865 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= t -4.682932022462661e+144) (+ (- x (/ y (* z 3.0))) (/ 1 (* (* y (/ z t)) 3.0))) (if (<= t 4.3847339126164306e+71) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))) (+ (- x (/ y (* z 3.0))) (/ 1 (* (* y (/ z t)) 3.0)))))
3.866 * * [simplify]: iteration  0 :  35  enodes  (cost  41 )
3.866 * * [simplify]: iteration  1 :  35  enodes  (cost  41 )
3.866 * [simplify]: Simplified to:
   (if (or (<= t -4.682932022462661e+144) (not (<= t 4.3847339126164306e+71))) (+ (- x (/ y (* z 3.0))) (/ 1 (* 3.0 (* y (/ z t))))) (+ (- x (/ y (* z 3.0))) (* (/ t y) (/ 0.3333333333333333 z))))
6.446 * [regime-testing]: End program error score: 1.5680415947031716
6.543 * [regime-testing]: Target error score: 1.6957276666581245