22.688 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* x 2.0) (- (* y z) (* t z)))
0.023 * * [simplify]: iteration  0 :  19  enodes  (cost  4 )
0.025 * * [simplify]: iteration  1 :  44  enodes  (cost  4 )
0.027 * * [simplify]: iteration  2 :  82  enodes  (cost  4 )
0.029 * * [simplify]: iteration  3 :  132  enodes  (cost  4 )
0.031 * * [simplify]: iteration  4 :  175  enodes  (cost  4 )
0.034 * * [simplify]: iteration  5 :  208  enodes  (cost  4 )
0.037 * * [simplify]: iteration  6 :  221  enodes  (cost  4 )
0.040 * * [simplify]: iteration  7 :  221  enodes  (cost  4 )
0.040 * [simplify]: Simplified to:
   (/ x (/ (* z (- y t)) 2.0))
0.043 * * [progress]: iteration 1 / 4
0.043 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>
0.046 * * * [progress]: localizing error
0.054 * * * [progress]: generating rewritten candidates
0.054 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.059 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.062 * * * [progress]: generating series expansions
0.062 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.063 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x z y t) around 0
0.063 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.063 * [taylor]: Taking taylor expansion of 2.0 in t
0.063 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.063 * [taylor]: Taking taylor expansion of x in t
0.063 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.063 * [taylor]: Taking taylor expansion of (- y t) in t
0.063 * [taylor]: Taking taylor expansion of y in t
0.063 * [taylor]: Taking taylor expansion of t in t
0.063 * [taylor]: Taking taylor expansion of z in t
0.063 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.063 * [taylor]: Taking taylor expansion of 2.0 in y
0.063 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.063 * [taylor]: Taking taylor expansion of x in y
0.063 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.063 * [taylor]: Taking taylor expansion of (- y t) in y
0.063 * [taylor]: Taking taylor expansion of y in y
0.063 * [taylor]: Taking taylor expansion of t in y
0.063 * [taylor]: Taking taylor expansion of z in y
0.064 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.064 * [taylor]: Taking taylor expansion of 2.0 in z
0.064 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.064 * [taylor]: Taking taylor expansion of x in z
0.064 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.064 * [taylor]: Taking taylor expansion of (- y t) in z
0.064 * [taylor]: Taking taylor expansion of y in z
0.064 * [taylor]: Taking taylor expansion of t in z
0.064 * [taylor]: Taking taylor expansion of z in z
0.065 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.065 * [taylor]: Taking taylor expansion of 2.0 in x
0.065 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.065 * [taylor]: Taking taylor expansion of (- y t) in x
0.065 * [taylor]: Taking taylor expansion of y in x
0.065 * [taylor]: Taking taylor expansion of t in x
0.065 * [taylor]: Taking taylor expansion of z in x
0.065 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.065 * [taylor]: Taking taylor expansion of 2.0 in x
0.065 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.065 * [taylor]: Taking taylor expansion of (- y t) in x
0.065 * [taylor]: Taking taylor expansion of y in x
0.065 * [taylor]: Taking taylor expansion of t in x
0.065 * [taylor]: Taking taylor expansion of z in x
0.065 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in z
0.065 * [taylor]: Taking taylor expansion of 2.0 in z
0.065 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.065 * [taylor]: Taking taylor expansion of (- y t) in z
0.065 * [taylor]: Taking taylor expansion of y in z
0.065 * [taylor]: Taking taylor expansion of t in z
0.065 * [taylor]: Taking taylor expansion of z in z
0.066 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.066 * [taylor]: Taking taylor expansion of 2.0 in y
0.066 * [taylor]: Taking taylor expansion of (- y t) in y
0.066 * [taylor]: Taking taylor expansion of y in y
0.066 * [taylor]: Taking taylor expansion of t in y
0.066 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.066 * [taylor]: Taking taylor expansion of -2.0 in t
0.066 * [taylor]: Taking taylor expansion of t in t
0.069 * [taylor]: Taking taylor expansion of 0 in z
0.070 * [taylor]: Taking taylor expansion of 0 in y
0.070 * [taylor]: Taking taylor expansion of 0 in t
0.070 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.070 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.070 * [taylor]: Taking taylor expansion of 2.0 in t
0.070 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.070 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.071 * [taylor]: Taking taylor expansion of t in t
0.076 * [taylor]: Taking taylor expansion of 0 in z
0.076 * [taylor]: Taking taylor expansion of 0 in y
0.076 * [taylor]: Taking taylor expansion of 0 in t
0.077 * [taylor]: Taking taylor expansion of 0 in y
0.077 * [taylor]: Taking taylor expansion of 0 in t
0.077 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x z y t) around 0
0.077 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.077 * [taylor]: Taking taylor expansion of 2.0 in t
0.077 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.077 * [taylor]: Taking taylor expansion of z in t
0.077 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.077 * [taylor]: Taking taylor expansion of x in t
0.077 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.077 * [taylor]: Taking taylor expansion of y in t
0.077 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.077 * [taylor]: Taking taylor expansion of t in t
0.078 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.078 * [taylor]: Taking taylor expansion of 2.0 in y
0.078 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.078 * [taylor]: Taking taylor expansion of z in y
0.078 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.078 * [taylor]: Taking taylor expansion of t in y
0.079 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.079 * [taylor]: Taking taylor expansion of 2.0 in z
0.079 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.079 * [taylor]: Taking taylor expansion of z in z
0.079 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.079 * [taylor]: Taking taylor expansion of x in z
0.079 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.079 * [taylor]: Taking taylor expansion of y in z
0.079 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.079 * [taylor]: Taking taylor expansion of t in z
0.079 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.079 * [taylor]: Taking taylor expansion of 2.0 in x
0.079 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.079 * [taylor]: Taking taylor expansion of z in x
0.079 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.079 * [taylor]: Taking taylor expansion of y in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.079 * [taylor]: Taking taylor expansion of t in x
0.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.081 * [taylor]: Taking taylor expansion of 2.0 in x
0.081 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.081 * [taylor]: Taking taylor expansion of z in x
0.081 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.081 * [taylor]: Taking taylor expansion of y in x
0.081 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.081 * [taylor]: Taking taylor expansion of t in x
0.082 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in z
0.082 * [taylor]: Taking taylor expansion of 2.0 in z
0.082 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in z
0.082 * [taylor]: Taking taylor expansion of z in z
0.082 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.082 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.082 * [taylor]: Taking taylor expansion of y in z
0.082 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.082 * [taylor]: Taking taylor expansion of t in z
0.082 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.082 * [taylor]: Taking taylor expansion of 2.0 in y
0.082 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.082 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.083 * [taylor]: Taking taylor expansion of t in y
0.083 * [taylor]: Taking taylor expansion of 2.0 in t
0.088 * [taylor]: Taking taylor expansion of 0 in z
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [taylor]: Taking taylor expansion of 0 in t
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [taylor]: Taking taylor expansion of 0 in t
0.091 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.091 * [taylor]: Taking taylor expansion of 2.0 in t
0.091 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.091 * [taylor]: Taking taylor expansion of t in t
0.094 * [taylor]: Taking taylor expansion of 0 in z
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [taylor]: Taking taylor expansion of 0 in t
0.095 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x z y t) around 0
0.095 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t
0.095 * [taylor]: Taking taylor expansion of 2.0 in t
0.095 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t
0.095 * [taylor]: Taking taylor expansion of z in t
0.095 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.095 * [taylor]: Taking taylor expansion of x in t
0.095 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.095 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.095 * [taylor]: Taking taylor expansion of t in t
0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.095 * [taylor]: Taking taylor expansion of y in t
0.096 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y
0.096 * [taylor]: Taking taylor expansion of 2.0 in y
0.096 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y
0.096 * [taylor]: Taking taylor expansion of z in y
0.096 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.096 * [taylor]: Taking taylor expansion of x in y
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.096 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.096 * [taylor]: Taking taylor expansion of t in y
0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.097 * [taylor]: Taking taylor expansion of 2.0 in z
0.097 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.097 * [taylor]: Taking taylor expansion of z in z
0.097 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.097 * [taylor]: Taking taylor expansion of x in z
0.097 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.097 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.097 * [taylor]: Taking taylor expansion of t in z
0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.097 * [taylor]: Taking taylor expansion of y in z
0.097 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.097 * [taylor]: Taking taylor expansion of 2.0 in x
0.097 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.097 * [taylor]: Taking taylor expansion of z in x
0.097 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.097 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.097 * [taylor]: Taking taylor expansion of t in x
0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.097 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.098 * [taylor]: Taking taylor expansion of 2.0 in x
0.098 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.098 * [taylor]: Taking taylor expansion of z in x
0.098 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.098 * [taylor]: Taking taylor expansion of t in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.100 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in z
0.100 * [taylor]: Taking taylor expansion of 2.0 in z
0.100 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in z
0.100 * [taylor]: Taking taylor expansion of z in z
0.100 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.100 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.100 * [taylor]: Taking taylor expansion of t in z
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.100 * [taylor]: Taking taylor expansion of y in z
0.100 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.100 * [taylor]: Taking taylor expansion of 2.0 in y
0.100 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.100 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.100 * [taylor]: Taking taylor expansion of t in y
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of -2.0 in t
0.103 * [taylor]: Taking taylor expansion of 0 in z
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.105 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.105 * [taylor]: Taking taylor expansion of 2.0 in t
0.105 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.105 * [taylor]: Taking taylor expansion of t in t
0.110 * [taylor]: Taking taylor expansion of 0 in z
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [taylor]: Taking taylor expansion of 0 in t
0.110 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.110 * [approximate]: Taking taylor expansion of (* (- y t) z) in (z y t) around 0
0.110 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.110 * [taylor]: Taking taylor expansion of (- y t) in t
0.110 * [taylor]: Taking taylor expansion of y in t
0.110 * [taylor]: Taking taylor expansion of t in t
0.110 * [taylor]: Taking taylor expansion of z in t
0.110 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.110 * [taylor]: Taking taylor expansion of (- y t) in y
0.110 * [taylor]: Taking taylor expansion of y in y
0.110 * [taylor]: Taking taylor expansion of t in y
0.110 * [taylor]: Taking taylor expansion of z in y
0.110 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.110 * [taylor]: Taking taylor expansion of (- y t) in z
0.110 * [taylor]: Taking taylor expansion of y in z
0.110 * [taylor]: Taking taylor expansion of t in z
0.110 * [taylor]: Taking taylor expansion of z in z
0.110 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.110 * [taylor]: Taking taylor expansion of (- y t) in z
0.110 * [taylor]: Taking taylor expansion of y in z
0.110 * [taylor]: Taking taylor expansion of t in z
0.110 * [taylor]: Taking taylor expansion of z in z
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.111 * [taylor]: Taking taylor expansion of 0 in t
0.111 * [taylor]: Taking taylor expansion of (- y t) in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of t in y
0.111 * [taylor]: Taking taylor expansion of (- t) in t
0.111 * [taylor]: Taking taylor expansion of t in t
0.112 * [taylor]: Taking taylor expansion of 0 in t
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in t
0.113 * [taylor]: Taking taylor expansion of 1 in t
0.113 * [taylor]: Taking taylor expansion of 0 in t
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.114 * [taylor]: Taking taylor expansion of 0 in t
0.114 * [taylor]: Taking taylor expansion of 0 in t
0.115 * [taylor]: Taking taylor expansion of 0 in t
0.115 * [taylor]: Taking taylor expansion of 0 in t
0.115 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in (z y t) around 0
0.115 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in t
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.115 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.115 * [taylor]: Taking taylor expansion of y in t
0.115 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.115 * [taylor]: Taking taylor expansion of t in t
0.116 * [taylor]: Taking taylor expansion of z in t
0.116 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in y
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.116 * [taylor]: Taking taylor expansion of t in y
0.117 * [taylor]: Taking taylor expansion of z in y
0.117 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in z
0.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.117 * [taylor]: Taking taylor expansion of y in z
0.117 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.117 * [taylor]: Taking taylor expansion of t in z
0.117 * [taylor]: Taking taylor expansion of z in z
0.117 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in z
0.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.117 * [taylor]: Taking taylor expansion of y in z
0.117 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.117 * [taylor]: Taking taylor expansion of t in z
0.117 * [taylor]: Taking taylor expansion of z in z
0.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.118 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.118 * [taylor]: Taking taylor expansion of t in y
0.118 * [taylor]: Taking taylor expansion of 1 in t
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.120 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.120 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.120 * [taylor]: Taking taylor expansion of t in t
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in t
0.123 * [taylor]: Taking taylor expansion of 0 in t
0.125 * [taylor]: Taking taylor expansion of 0 in y
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.127 * [taylor]: Taking taylor expansion of 0 in t
0.128 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in (z y t) around 0
0.128 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in t
0.128 * [taylor]: Taking taylor expansion of -1 in t
0.128 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in t
0.128 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.128 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.128 * [taylor]: Taking taylor expansion of t in t
0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.128 * [taylor]: Taking taylor expansion of y in t
0.128 * [taylor]: Taking taylor expansion of z in t
0.129 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in y
0.129 * [taylor]: Taking taylor expansion of -1 in y
0.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in y
0.129 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.129 * [taylor]: Taking taylor expansion of t in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [taylor]: Taking taylor expansion of z in y
0.130 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in z
0.130 * [taylor]: Taking taylor expansion of -1 in z
0.130 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in z
0.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.130 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.130 * [taylor]: Taking taylor expansion of t in z
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.130 * [taylor]: Taking taylor expansion of y in z
0.130 * [taylor]: Taking taylor expansion of z in z
0.130 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in z
0.130 * [taylor]: Taking taylor expansion of -1 in z
0.130 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in z
0.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.130 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.130 * [taylor]: Taking taylor expansion of t in z
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.130 * [taylor]: Taking taylor expansion of y in z
0.130 * [taylor]: Taking taylor expansion of z in z
0.130 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 y))) in y
0.130 * [taylor]: Taking taylor expansion of -1 in y
0.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.130 * [taylor]: Taking taylor expansion of t in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.131 * [taylor]: Taking taylor expansion of 1 in t
0.133 * [taylor]: Taking taylor expansion of 0 in y
0.134 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.134 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.134 * [taylor]: Taking taylor expansion of t in t
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [taylor]: Taking taylor expansion of 0 in t
0.138 * [taylor]: Taking taylor expansion of 0 in t
0.141 * [taylor]: Taking taylor expansion of 0 in y
0.141 * [taylor]: Taking taylor expansion of 0 in t
0.141 * [taylor]: Taking taylor expansion of 0 in t
0.143 * [taylor]: Taking taylor expansion of 0 in t
0.144 * * * [progress]: simplifying candidates
0.145 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x)
  (- (/ (* z (- y t)) 2.0))
  (/ 1 (/ (* z (- y t)) 2.0))
  (/ (/ (* z (- y t)) 2.0) x)
  (/ x (* z (- y t)))
  (/ x (* z (- y t)))
  (/ x (- (* z (- y t))))
  (/ x 1)
  (/ x z)
  (/ x (- y t))
  (/ x (* z (- (pow y 3) (pow t 3))))
  (/ x (* z (- (* y y) (* t t))))
  (* z y)
  (* z (- t))
  (* z y)
  (* z (- t))
  (* y z)
  (* (- t) z)
  (* y z)
  (* (- t) z)
  (* z (- (pow y 3) (pow t 3)))
  (* z (- (* y y) (* t t)))
  0
  0
  0
  (- (* z y) (* t z))
  (- (* z y) (* t z))
  (- (* z y) (* t z))
0.148 * * [simplify]: iteration  0 :  75  enodes  (cost  65 )
0.150 * * [simplify]: iteration  1 :  204  enodes  (cost  62 )
0.154 * * [simplify]: iteration  2 :  549  enodes  (cost  61 )
0.166 * * [simplify]: iteration  3 :  2276  enodes  (cost  61 )
0.207 * * [simplify]: iteration  4 :  5001  enodes  (cost  60 )
0.208 * [simplify]: Simplified to:
   (- x)
  (/ (- t y) (/ 2.0 z))
  (/ (/ 2.0 (- y t)) z)
  (/ (/ (* z (- y t)) 2.0) x)
  (/ x (* z (- y t)))
  (/ x (* z (- y t)))
  (/ x (- (* z (- y t))))
  x
  (/ x z)
  (/ x (- y t))
  (/ x (* z (- (pow y 3) (pow t 3))))
  (/ x (* z (- (* y y) (* t t))))
  (* z y)
  (* z (- t))
  (* z y)
  (* z (- t))
  (* z y)
  (* z (- t))
  (* z y)
  (* z (- t))
  (* z (- (pow y 3) (pow t 3)))
  (* z (- (* y y) (* t t)))
  0
  0
  0
  (* z (- y t))
  (* z (- y t))
  (* z (- y t))
0.208 * * * [progress]: adding candidates to table
0.250 * * [progress]: iteration 2 / 4
0.250 * * * [progress]: picking best candidate
0.255 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))>
0.255 * * * [progress]: localizing error
0.262 * * * [progress]: generating rewritten candidates
0.262 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.267 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.271 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.274 * * * [progress]: generating series expansions
0.274 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.274 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x y t z) around 0
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.274 * [taylor]: Taking taylor expansion of 2.0 in z
0.274 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.274 * [taylor]: Taking taylor expansion of x in z
0.275 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.275 * [taylor]: Taking taylor expansion of (- y t) in z
0.275 * [taylor]: Taking taylor expansion of y in z
0.275 * [taylor]: Taking taylor expansion of t in z
0.275 * [taylor]: Taking taylor expansion of z in z
0.276 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.276 * [taylor]: Taking taylor expansion of 2.0 in t
0.276 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.276 * [taylor]: Taking taylor expansion of x in t
0.276 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.276 * [taylor]: Taking taylor expansion of (- y t) in t
0.276 * [taylor]: Taking taylor expansion of y in t
0.276 * [taylor]: Taking taylor expansion of t in t
0.276 * [taylor]: Taking taylor expansion of z in t
0.276 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.276 * [taylor]: Taking taylor expansion of 2.0 in y
0.276 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.276 * [taylor]: Taking taylor expansion of x in y
0.276 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.276 * [taylor]: Taking taylor expansion of (- y t) in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of t in y
0.276 * [taylor]: Taking taylor expansion of z in y
0.276 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.276 * [taylor]: Taking taylor expansion of 2.0 in x
0.276 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.276 * [taylor]: Taking taylor expansion of (- y t) in x
0.276 * [taylor]: Taking taylor expansion of y in x
0.276 * [taylor]: Taking taylor expansion of t in x
0.276 * [taylor]: Taking taylor expansion of z in x
0.277 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.277 * [taylor]: Taking taylor expansion of 2.0 in x
0.277 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.277 * [taylor]: Taking taylor expansion of x in x
0.277 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.277 * [taylor]: Taking taylor expansion of (- y t) in x
0.277 * [taylor]: Taking taylor expansion of y in x
0.277 * [taylor]: Taking taylor expansion of t in x
0.277 * [taylor]: Taking taylor expansion of z in x
0.277 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y
0.277 * [taylor]: Taking taylor expansion of 2.0 in y
0.277 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.277 * [taylor]: Taking taylor expansion of (- y t) in y
0.277 * [taylor]: Taking taylor expansion of y in y
0.277 * [taylor]: Taking taylor expansion of t in y
0.277 * [taylor]: Taking taylor expansion of z in y
0.277 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t
0.277 * [taylor]: Taking taylor expansion of -2.0 in t
0.277 * [taylor]: Taking taylor expansion of (* t z) in t
0.277 * [taylor]: Taking taylor expansion of t in t
0.277 * [taylor]: Taking taylor expansion of z in t
0.278 * [taylor]: Taking taylor expansion of 0 in z
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [taylor]: Taking taylor expansion of 0 in t
0.279 * [taylor]: Taking taylor expansion of 0 in z
0.280 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 2) z)))) in t
0.280 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 2) z))) in t
0.280 * [taylor]: Taking taylor expansion of 2.0 in t
0.280 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t
0.280 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t
0.280 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.280 * [taylor]: Taking taylor expansion of t in t
0.280 * [taylor]: Taking taylor expansion of z in t
0.283 * [taylor]: Taking taylor expansion of 0 in z
0.286 * [taylor]: Taking taylor expansion of 0 in z
0.288 * [taylor]: Taking taylor expansion of 0 in y
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in z
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in z
0.289 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 3) z)))) in t
0.289 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 3) z))) in t
0.289 * [taylor]: Taking taylor expansion of 2.0 in t
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t
0.289 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t
0.289 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.289 * [taylor]: Taking taylor expansion of t in t
0.289 * [taylor]: Taking taylor expansion of z in t
0.295 * [taylor]: Taking taylor expansion of 0 in z
0.295 * [taylor]: Taking taylor expansion of 0 in z
0.297 * [taylor]: Taking taylor expansion of 0 in z
0.298 * [taylor]: Taking taylor expansion of 0 in z
0.300 * [taylor]: Taking taylor expansion of 0 in y
0.300 * [taylor]: Taking taylor expansion of 0 in t
0.300 * [taylor]: Taking taylor expansion of 0 in z
0.300 * [taylor]: Taking taylor expansion of 0 in t
0.300 * [taylor]: Taking taylor expansion of 0 in z
0.300 * [taylor]: Taking taylor expansion of 0 in t
0.300 * [taylor]: Taking taylor expansion of 0 in z
0.302 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 4) z)))) in t
0.302 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 4) z))) in t
0.302 * [taylor]: Taking taylor expansion of 2.0 in t
0.302 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 4) z)) in t
0.302 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t
0.302 * [taylor]: Taking taylor expansion of (pow t 4) in t
0.302 * [taylor]: Taking taylor expansion of t in t
0.302 * [taylor]: Taking taylor expansion of z in t
0.310 * [taylor]: Taking taylor expansion of 0 in z
0.310 * [taylor]: Taking taylor expansion of 0 in z
0.310 * [taylor]: Taking taylor expansion of 0 in z
0.314 * [taylor]: Taking taylor expansion of 0 in z
0.314 * [taylor]: Taking taylor expansion of 0 in z
0.316 * [taylor]: Taking taylor expansion of 0 in z
0.318 * [taylor]: Taking taylor expansion of 0 in z
0.318 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x y t z) around 0
0.318 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.318 * [taylor]: Taking taylor expansion of 2.0 in z
0.318 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.318 * [taylor]: Taking taylor expansion of z in z
0.318 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.318 * [taylor]: Taking taylor expansion of x in z
0.318 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.318 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.318 * [taylor]: Taking taylor expansion of y in z
0.318 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.318 * [taylor]: Taking taylor expansion of t in z
0.319 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.319 * [taylor]: Taking taylor expansion of 2.0 in t
0.319 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.319 * [taylor]: Taking taylor expansion of z in t
0.319 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.319 * [taylor]: Taking taylor expansion of x in t
0.319 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.319 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.319 * [taylor]: Taking taylor expansion of y in t
0.319 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.319 * [taylor]: Taking taylor expansion of t in t
0.320 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.320 * [taylor]: Taking taylor expansion of 2.0 in y
0.320 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.320 * [taylor]: Taking taylor expansion of z in y
0.320 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.320 * [taylor]: Taking taylor expansion of x in y
0.320 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.320 * [taylor]: Taking taylor expansion of y in y
0.320 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.320 * [taylor]: Taking taylor expansion of t in y
0.320 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.321 * [taylor]: Taking taylor expansion of 2.0 in x
0.321 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.321 * [taylor]: Taking taylor expansion of z in x
0.321 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.321 * [taylor]: Taking taylor expansion of x in x
0.321 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.321 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.321 * [taylor]: Taking taylor expansion of y in x
0.321 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.321 * [taylor]: Taking taylor expansion of t in x
0.322 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.322 * [taylor]: Taking taylor expansion of 2.0 in x
0.322 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.322 * [taylor]: Taking taylor expansion of z in x
0.322 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.322 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.322 * [taylor]: Taking taylor expansion of y in x
0.322 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.322 * [taylor]: Taking taylor expansion of t in x
0.323 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y
0.323 * [taylor]: Taking taylor expansion of 2.0 in y
0.323 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y
0.323 * [taylor]: Taking taylor expansion of z in y
0.323 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.323 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.323 * [taylor]: Taking taylor expansion of y in y
0.323 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.323 * [taylor]: Taking taylor expansion of t in y
0.324 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
0.324 * [taylor]: Taking taylor expansion of 2.0 in t
0.324 * [taylor]: Taking taylor expansion of z in t
0.324 * [taylor]: Taking taylor expansion of 0 in z
0.326 * [taylor]: Taking taylor expansion of 0 in y
0.326 * [taylor]: Taking taylor expansion of 0 in t
0.326 * [taylor]: Taking taylor expansion of 0 in z
0.327 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.327 * [taylor]: Taking taylor expansion of 2.0 in t
0.327 * [taylor]: Taking taylor expansion of (/ z t) in t
0.327 * [taylor]: Taking taylor expansion of z in t
0.327 * [taylor]: Taking taylor expansion of t in t
0.329 * [taylor]: Taking taylor expansion of 0 in z
0.329 * [taylor]: Taking taylor expansion of 0 in z
0.332 * [taylor]: Taking taylor expansion of 0 in y
0.332 * [taylor]: Taking taylor expansion of 0 in t
0.332 * [taylor]: Taking taylor expansion of 0 in z
0.332 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x y t z) around 0
0.332 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.332 * [taylor]: Taking taylor expansion of 2.0 in z
0.332 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.332 * [taylor]: Taking taylor expansion of z in z
0.332 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.332 * [taylor]: Taking taylor expansion of x in z
0.332 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.332 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.332 * [taylor]: Taking taylor expansion of t in z
0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.332 * [taylor]: Taking taylor expansion of y in z
0.332 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t
0.332 * [taylor]: Taking taylor expansion of 2.0 in t
0.332 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t
0.332 * [taylor]: Taking taylor expansion of z in t
0.332 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.332 * [taylor]: Taking taylor expansion of x in t
0.332 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.332 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.332 * [taylor]: Taking taylor expansion of t in t
0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.333 * [taylor]: Taking taylor expansion of y in t
0.333 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y
0.333 * [taylor]: Taking taylor expansion of 2.0 in y
0.333 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y
0.333 * [taylor]: Taking taylor expansion of z in y
0.333 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.333 * [taylor]: Taking taylor expansion of x in y
0.333 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.333 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.333 * [taylor]: Taking taylor expansion of t in y
0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.333 * [taylor]: Taking taylor expansion of y in y
0.334 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.334 * [taylor]: Taking taylor expansion of 2.0 in x
0.334 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.334 * [taylor]: Taking taylor expansion of z in x
0.334 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.334 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.334 * [taylor]: Taking taylor expansion of t in x
0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.334 * [taylor]: Taking taylor expansion of y in x
0.335 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.335 * [taylor]: Taking taylor expansion of 2.0 in x
0.335 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.335 * [taylor]: Taking taylor expansion of z in x
0.335 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.335 * [taylor]: Taking taylor expansion of t in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.335 * [taylor]: Taking taylor expansion of y in x
0.337 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y
0.337 * [taylor]: Taking taylor expansion of 2.0 in y
0.337 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y
0.337 * [taylor]: Taking taylor expansion of z in y
0.337 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.337 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.337 * [taylor]: Taking taylor expansion of t in y
0.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.337 * [taylor]: Taking taylor expansion of y in y
0.338 * [taylor]: Taking taylor expansion of (* -2.0 z) in t
0.338 * [taylor]: Taking taylor expansion of -2.0 in t
0.338 * [taylor]: Taking taylor expansion of z in t
0.338 * [taylor]: Taking taylor expansion of 0 in z
0.340 * [taylor]: Taking taylor expansion of 0 in y
0.340 * [taylor]: Taking taylor expansion of 0 in t
0.340 * [taylor]: Taking taylor expansion of 0 in z
0.341 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z t))) in t
0.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.341 * [taylor]: Taking taylor expansion of 2.0 in t
0.341 * [taylor]: Taking taylor expansion of (/ z t) in t
0.341 * [taylor]: Taking taylor expansion of z in t
0.341 * [taylor]: Taking taylor expansion of t in t
0.343 * [taylor]: Taking taylor expansion of 0 in z
0.343 * [taylor]: Taking taylor expansion of 0 in z
0.346 * [taylor]: Taking taylor expansion of 0 in y
0.346 * [taylor]: Taking taylor expansion of 0 in t
0.346 * [taylor]: Taking taylor expansion of 0 in z
0.346 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.346 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in (y t z) around 0
0.346 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in z
0.346 * [taylor]: Taking taylor expansion of 2.0 in z
0.346 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.346 * [taylor]: Taking taylor expansion of (- y t) in z
0.346 * [taylor]: Taking taylor expansion of y in z
0.346 * [taylor]: Taking taylor expansion of t in z
0.346 * [taylor]: Taking taylor expansion of z in z
0.347 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in t
0.347 * [taylor]: Taking taylor expansion of 2.0 in t
0.347 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.347 * [taylor]: Taking taylor expansion of (- y t) in t
0.347 * [taylor]: Taking taylor expansion of y in t
0.347 * [taylor]: Taking taylor expansion of t in t
0.347 * [taylor]: Taking taylor expansion of z in t
0.347 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y
0.347 * [taylor]: Taking taylor expansion of 2.0 in y
0.347 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.347 * [taylor]: Taking taylor expansion of (- y t) in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of t in y
0.347 * [taylor]: Taking taylor expansion of z in y
0.347 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y
0.347 * [taylor]: Taking taylor expansion of 2.0 in y
0.347 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.347 * [taylor]: Taking taylor expansion of (- y t) in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.348 * [taylor]: Taking taylor expansion of t in y
0.348 * [taylor]: Taking taylor expansion of z in y
0.348 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t
0.348 * [taylor]: Taking taylor expansion of -2.0 in t
0.348 * [taylor]: Taking taylor expansion of (* t z) in t
0.348 * [taylor]: Taking taylor expansion of t in t
0.348 * [taylor]: Taking taylor expansion of z in t
0.349 * [taylor]: Taking taylor expansion of 0 in z
0.349 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 2) z)))) in t
0.349 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 2) z))) in t
0.349 * [taylor]: Taking taylor expansion of 2.0 in t
0.349 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t
0.349 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t
0.349 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.349 * [taylor]: Taking taylor expansion of t in t
0.349 * [taylor]: Taking taylor expansion of z in t
0.352 * [taylor]: Taking taylor expansion of 0 in z
0.353 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 3) z)))) in t
0.354 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 3) z))) in t
0.354 * [taylor]: Taking taylor expansion of 2.0 in t
0.354 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t
0.354 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t
0.354 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.354 * [taylor]: Taking taylor expansion of t in t
0.354 * [taylor]: Taking taylor expansion of z in t
0.360 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.363 * [taylor]: Taking taylor expansion of 0 in z
0.365 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 4) z)))) in t
0.365 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 4) z))) in t
0.365 * [taylor]: Taking taylor expansion of 2.0 in t
0.367 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 4) z)) in t
0.367 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t
0.367 * [taylor]: Taking taylor expansion of (pow t 4) in t
0.367 * [taylor]: Taking taylor expansion of t in t
0.367 * [taylor]: Taking taylor expansion of z in t
0.376 * [taylor]: Taking taylor expansion of 0 in z
0.379 * [taylor]: Taking taylor expansion of 0 in z
0.382 * [taylor]: Taking taylor expansion of 0 in z
0.383 * [taylor]: Taking taylor expansion of 0 in z
0.383 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in (y t z) around 0
0.383 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in z
0.383 * [taylor]: Taking taylor expansion of 2.0 in z
0.383 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in z
0.383 * [taylor]: Taking taylor expansion of z in z
0.383 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.383 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.383 * [taylor]: Taking taylor expansion of y in z
0.383 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.383 * [taylor]: Taking taylor expansion of t in z
0.384 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in t
0.384 * [taylor]: Taking taylor expansion of 2.0 in t
0.384 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in t
0.384 * [taylor]: Taking taylor expansion of z in t
0.384 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.384 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.384 * [taylor]: Taking taylor expansion of y in t
0.384 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.384 * [taylor]: Taking taylor expansion of t in t
0.385 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y
0.385 * [taylor]: Taking taylor expansion of 2.0 in y
0.385 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y
0.385 * [taylor]: Taking taylor expansion of z in y
0.385 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.385 * [taylor]: Taking taylor expansion of y in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.385 * [taylor]: Taking taylor expansion of t in y
0.385 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y
0.385 * [taylor]: Taking taylor expansion of 2.0 in y
0.385 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y
0.385 * [taylor]: Taking taylor expansion of z in y
0.385 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.385 * [taylor]: Taking taylor expansion of y in y
0.386 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.386 * [taylor]: Taking taylor expansion of t in y
0.386 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
0.386 * [taylor]: Taking taylor expansion of 2.0 in t
0.386 * [taylor]: Taking taylor expansion of z in t
0.386 * [taylor]: Taking taylor expansion of 0 in z
0.387 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.387 * [taylor]: Taking taylor expansion of 2.0 in t
0.387 * [taylor]: Taking taylor expansion of (/ z t) in t
0.387 * [taylor]: Taking taylor expansion of z in t
0.387 * [taylor]: Taking taylor expansion of t in t
0.389 * [taylor]: Taking taylor expansion of 0 in z
0.390 * [taylor]: Taking taylor expansion of 0 in z
0.392 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (pow t 2))) in t
0.392 * [taylor]: Taking taylor expansion of 2.0 in t
0.392 * [taylor]: Taking taylor expansion of (/ z (pow t 2)) in t
0.392 * [taylor]: Taking taylor expansion of z in t
0.392 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.392 * [taylor]: Taking taylor expansion of t in t
0.396 * [taylor]: Taking taylor expansion of 0 in z
0.398 * [taylor]: Taking taylor expansion of 0 in z
0.398 * [approximate]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in (y t z) around 0
0.398 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in z
0.398 * [taylor]: Taking taylor expansion of -2.0 in z
0.398 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in z
0.398 * [taylor]: Taking taylor expansion of z in z
0.398 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.399 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.399 * [taylor]: Taking taylor expansion of t in z
0.399 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.399 * [taylor]: Taking taylor expansion of y in z
0.399 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in t
0.399 * [taylor]: Taking taylor expansion of -2.0 in t
0.399 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in t
0.399 * [taylor]: Taking taylor expansion of z in t
0.399 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.399 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.399 * [taylor]: Taking taylor expansion of t in t
0.399 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.399 * [taylor]: Taking taylor expansion of y in t
0.399 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y
0.399 * [taylor]: Taking taylor expansion of -2.0 in y
0.400 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y
0.400 * [taylor]: Taking taylor expansion of z in y
0.400 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.400 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.400 * [taylor]: Taking taylor expansion of t in y
0.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.400 * [taylor]: Taking taylor expansion of y in y
0.400 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y
0.400 * [taylor]: Taking taylor expansion of -2.0 in y
0.400 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y
0.400 * [taylor]: Taking taylor expansion of z in y
0.400 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.400 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.400 * [taylor]: Taking taylor expansion of t in y
0.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.401 * [taylor]: Taking taylor expansion of y in y
0.401 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
0.401 * [taylor]: Taking taylor expansion of 2.0 in t
0.401 * [taylor]: Taking taylor expansion of z in t
0.402 * [taylor]: Taking taylor expansion of 0 in z
0.403 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.403 * [taylor]: Taking taylor expansion of 2.0 in t
0.403 * [taylor]: Taking taylor expansion of (/ z t) in t
0.403 * [taylor]: Taking taylor expansion of z in t
0.403 * [taylor]: Taking taylor expansion of t in t
0.405 * [taylor]: Taking taylor expansion of 0 in z
0.405 * [taylor]: Taking taylor expansion of 0 in z
0.407 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (pow t 2))) in t
0.407 * [taylor]: Taking taylor expansion of 2.0 in t
0.407 * [taylor]: Taking taylor expansion of (/ z (pow t 2)) in t
0.407 * [taylor]: Taking taylor expansion of z in t
0.407 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.407 * [taylor]: Taking taylor expansion of t in t
0.412 * [taylor]: Taking taylor expansion of 0 in z
0.414 * [taylor]: Taking taylor expansion of 0 in z
0.414 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.414 * [approximate]: Taking taylor expansion of (/ 2.0 (- y t)) in (y t) around 0
0.414 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in t
0.414 * [taylor]: Taking taylor expansion of 2.0 in t
0.414 * [taylor]: Taking taylor expansion of (- y t) in t
0.414 * [taylor]: Taking taylor expansion of y in t
0.414 * [taylor]: Taking taylor expansion of t in t
0.414 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.414 * [taylor]: Taking taylor expansion of 2.0 in y
0.414 * [taylor]: Taking taylor expansion of (- y t) in y
0.414 * [taylor]: Taking taylor expansion of y in y
0.414 * [taylor]: Taking taylor expansion of t in y
0.414 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.414 * [taylor]: Taking taylor expansion of 2.0 in y
0.414 * [taylor]: Taking taylor expansion of (- y t) in y
0.414 * [taylor]: Taking taylor expansion of y in y
0.414 * [taylor]: Taking taylor expansion of t in y
0.415 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.415 * [taylor]: Taking taylor expansion of -2.0 in t
0.415 * [taylor]: Taking taylor expansion of t in t
0.416 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.416 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.416 * [taylor]: Taking taylor expansion of 2.0 in t
0.416 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.416 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.416 * [taylor]: Taking taylor expansion of t in t
0.420 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 3)))) in t
0.420 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
0.420 * [taylor]: Taking taylor expansion of 2.0 in t
0.420 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
0.420 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.420 * [taylor]: Taking taylor expansion of t in t
0.428 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in (y t) around 0
0.428 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in t
0.428 * [taylor]: Taking taylor expansion of 2.0 in t
0.428 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.428 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.428 * [taylor]: Taking taylor expansion of y in t
0.429 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.429 * [taylor]: Taking taylor expansion of t in t
0.430 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.430 * [taylor]: Taking taylor expansion of 2.0 in y
0.430 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.430 * [taylor]: Taking taylor expansion of y in y
0.430 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.430 * [taylor]: Taking taylor expansion of t in y
0.430 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.430 * [taylor]: Taking taylor expansion of 2.0 in y
0.430 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.431 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.431 * [taylor]: Taking taylor expansion of y in y
0.431 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.431 * [taylor]: Taking taylor expansion of t in y
0.431 * [taylor]: Taking taylor expansion of 2.0 in t
0.432 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.432 * [taylor]: Taking taylor expansion of 2.0 in t
0.432 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.432 * [taylor]: Taking taylor expansion of t in t
0.436 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.436 * [taylor]: Taking taylor expansion of 2.0 in t
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.436 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.436 * [taylor]: Taking taylor expansion of t in t
0.441 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in (y t) around 0
0.441 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in t
0.441 * [taylor]: Taking taylor expansion of 2.0 in t
0.441 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.441 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.441 * [taylor]: Taking taylor expansion of t in t
0.441 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.441 * [taylor]: Taking taylor expansion of y in t
0.441 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.442 * [taylor]: Taking taylor expansion of 2.0 in y
0.442 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.442 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.442 * [taylor]: Taking taylor expansion of t in y
0.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.442 * [taylor]: Taking taylor expansion of y in y
0.443 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.443 * [taylor]: Taking taylor expansion of 2.0 in y
0.443 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.443 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.443 * [taylor]: Taking taylor expansion of t in y
0.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.443 * [taylor]: Taking taylor expansion of y in y
0.444 * [taylor]: Taking taylor expansion of -2.0 in t
0.445 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.445 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.445 * [taylor]: Taking taylor expansion of 2.0 in t
0.445 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.445 * [taylor]: Taking taylor expansion of t in t
0.450 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.451 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.451 * [taylor]: Taking taylor expansion of 2.0 in t
0.451 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.451 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.451 * [taylor]: Taking taylor expansion of t in t
0.456 * * * [progress]: simplifying candidates
0.456 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (/ 2.0 (- y t)))
  (* x (/ 2.0 (- y t)))
  (* x (- (/ 2.0 (- y t))))
  (* x 1)
  (* x 2.0)
  (* x (/ 2.0 (- (pow y 3) (pow t 3))))
  (* x (/ 2.0 (- (* y y) (* t t))))
  (* x 2.0)
  (* x (- 2.0))
  (* x 1)
  (- (/ 2.0 (- y t)))
  (- z)
  (/ 1 z)
  (/ z (/ 2.0 (- y t)))
  (/ z (/ 1 (- y t)))
  (/ z (+ (* y y) (+ (* t t) (* y t))))
  (/ z (+ y t))
  (* z (- y t))
  (* z (- (- y t)))
  (* z (/ (- y t) 2.0))
  (- 2.0)
  (- (- y t))
  (/ 1 (- y t))
  (/ (- y t) 2.0)
  (/ 2.0 (- (pow y 3) (pow t 3)))
  (/ 2.0 (- (* y y) (* t t)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.459 * * [simplify]: iteration  0 :  91  enodes  (cost  66 )
0.461 * * [simplify]: iteration  1 :  250  enodes  (cost  65 )
0.466 * * [simplify]: iteration  2 :  677  enodes  (cost  65 )
0.476 * * [simplify]: iteration  3 :  1867  enodes  (cost  63 )
0.505 * * [simplify]: iteration  4 :  5001  enodes  (cost  63 )
0.506 * [simplify]: Simplified to:
   (* x (/ 2.0 (- y t)))
  (* x (/ 2.0 (- y t)))
  (* x (- (/ 2.0 (- y t))))
  x
  (* x 2.0)
  (* x (/ 2.0 (- (pow y 3) (pow t 3))))
  (* x (/ 2.0 (- (* y y) (* t t))))
  (* x 2.0)
  (* x (- 2.0))
  x
  (- (/ 2.0 (- y t)))
  (- z)
  (/ 1 z)
  (/ z (/ 2.0 (- y t)))
  (* (- y t) z)
  (/ z (+ (* t (+ t y)) (* y y)))
  (/ z (+ y t))
  (* (- y t) z)
  (* z (- (- y t)))
  (/ z (/ 2.0 (- y t)))
  (- 2.0)
  (- t y)
  (/ 1 (- y t))
  (/ (- y t) 2.0)
  (/ 2.0 (- (pow y 3) (pow t 3)))
  (/ 2.0 (- (* y y) (* t t)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.506 * * * [progress]: adding candidates to table
0.565 * * [progress]: iteration 3 / 4
0.565 * * * [progress]: picking best candidate
0.573 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))>
0.573 * * * [progress]: localizing error
0.580 * * * [progress]: generating rewritten candidates
0.580 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.585 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.588 * * * [progress]: generating series expansions
0.588 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.588 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x z y t) around 0
0.588 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.588 * [taylor]: Taking taylor expansion of 2.0 in t
0.588 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.588 * [taylor]: Taking taylor expansion of x in t
0.589 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.589 * [taylor]: Taking taylor expansion of (- y t) in t
0.589 * [taylor]: Taking taylor expansion of y in t
0.589 * [taylor]: Taking taylor expansion of t in t
0.589 * [taylor]: Taking taylor expansion of z in t
0.589 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.589 * [taylor]: Taking taylor expansion of 2.0 in y
0.589 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.589 * [taylor]: Taking taylor expansion of (- y t) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of t in y
0.589 * [taylor]: Taking taylor expansion of z in y
0.589 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.589 * [taylor]: Taking taylor expansion of 2.0 in z
0.589 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.589 * [taylor]: Taking taylor expansion of x in z
0.589 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.589 * [taylor]: Taking taylor expansion of (- y t) in z
0.589 * [taylor]: Taking taylor expansion of y in z
0.589 * [taylor]: Taking taylor expansion of t in z
0.589 * [taylor]: Taking taylor expansion of z in z
0.590 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.590 * [taylor]: Taking taylor expansion of 2.0 in x
0.590 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.590 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.590 * [taylor]: Taking taylor expansion of (- y t) in x
0.590 * [taylor]: Taking taylor expansion of y in x
0.590 * [taylor]: Taking taylor expansion of t in x
0.590 * [taylor]: Taking taylor expansion of z in x
0.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.591 * [taylor]: Taking taylor expansion of 2.0 in x
0.591 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.591 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.591 * [taylor]: Taking taylor expansion of (- y t) in x
0.591 * [taylor]: Taking taylor expansion of y in x
0.591 * [taylor]: Taking taylor expansion of t in x
0.591 * [taylor]: Taking taylor expansion of z in x
0.591 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in z
0.591 * [taylor]: Taking taylor expansion of 2.0 in z
0.591 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.591 * [taylor]: Taking taylor expansion of (- y t) in z
0.591 * [taylor]: Taking taylor expansion of y in z
0.591 * [taylor]: Taking taylor expansion of t in z
0.591 * [taylor]: Taking taylor expansion of z in z
0.592 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.592 * [taylor]: Taking taylor expansion of 2.0 in y
0.592 * [taylor]: Taking taylor expansion of (- y t) in y
0.592 * [taylor]: Taking taylor expansion of y in y
0.592 * [taylor]: Taking taylor expansion of t in y
0.592 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.592 * [taylor]: Taking taylor expansion of -2.0 in t
0.592 * [taylor]: Taking taylor expansion of t in t
0.594 * [taylor]: Taking taylor expansion of 0 in z
0.595 * [taylor]: Taking taylor expansion of 0 in y
0.595 * [taylor]: Taking taylor expansion of 0 in t
0.595 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.595 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.595 * [taylor]: Taking taylor expansion of 2.0 in t
0.595 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.595 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.595 * [taylor]: Taking taylor expansion of t in t
0.603 * [taylor]: Taking taylor expansion of 0 in z
0.603 * [taylor]: Taking taylor expansion of 0 in y
0.603 * [taylor]: Taking taylor expansion of 0 in t
0.604 * [taylor]: Taking taylor expansion of 0 in y
0.604 * [taylor]: Taking taylor expansion of 0 in t
0.604 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x z y t) around 0
0.604 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.604 * [taylor]: Taking taylor expansion of 2.0 in t
0.604 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.604 * [taylor]: Taking taylor expansion of z in t
0.604 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.604 * [taylor]: Taking taylor expansion of x in t
0.604 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.604 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.604 * [taylor]: Taking taylor expansion of y in t
0.604 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.604 * [taylor]: Taking taylor expansion of t in t
0.605 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.605 * [taylor]: Taking taylor expansion of 2.0 in y
0.605 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.605 * [taylor]: Taking taylor expansion of z in y
0.605 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.605 * [taylor]: Taking taylor expansion of x in y
0.605 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.605 * [taylor]: Taking taylor expansion of y in y
0.605 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.605 * [taylor]: Taking taylor expansion of t in y
0.606 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.606 * [taylor]: Taking taylor expansion of 2.0 in z
0.606 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.606 * [taylor]: Taking taylor expansion of z in z
0.606 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.606 * [taylor]: Taking taylor expansion of x in z
0.606 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.606 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.606 * [taylor]: Taking taylor expansion of y in z
0.606 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.606 * [taylor]: Taking taylor expansion of t in z
0.606 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.606 * [taylor]: Taking taylor expansion of 2.0 in x
0.606 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.606 * [taylor]: Taking taylor expansion of z in x
0.606 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.606 * [taylor]: Taking taylor expansion of x in x
0.606 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.606 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.606 * [taylor]: Taking taylor expansion of y in x
0.606 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.606 * [taylor]: Taking taylor expansion of t in x
0.607 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.607 * [taylor]: Taking taylor expansion of 2.0 in x
0.608 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.608 * [taylor]: Taking taylor expansion of z in x
0.608 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.608 * [taylor]: Taking taylor expansion of x in x
0.608 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.608 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.608 * [taylor]: Taking taylor expansion of y in x
0.608 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.608 * [taylor]: Taking taylor expansion of t in x
0.609 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in z
0.609 * [taylor]: Taking taylor expansion of 2.0 in z
0.609 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in z
0.609 * [taylor]: Taking taylor expansion of z in z
0.609 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.609 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.609 * [taylor]: Taking taylor expansion of y in z
0.609 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.609 * [taylor]: Taking taylor expansion of t in z
0.609 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.609 * [taylor]: Taking taylor expansion of 2.0 in y
0.609 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.609 * [taylor]: Taking taylor expansion of y in y
0.610 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.610 * [taylor]: Taking taylor expansion of t in y
0.610 * [taylor]: Taking taylor expansion of 2.0 in t
0.612 * [taylor]: Taking taylor expansion of 0 in z
0.612 * [taylor]: Taking taylor expansion of 0 in y
0.612 * [taylor]: Taking taylor expansion of 0 in t
0.613 * [taylor]: Taking taylor expansion of 0 in y
0.613 * [taylor]: Taking taylor expansion of 0 in t
0.614 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.614 * [taylor]: Taking taylor expansion of 2.0 in t
0.614 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.614 * [taylor]: Taking taylor expansion of t in t
0.618 * [taylor]: Taking taylor expansion of 0 in z
0.618 * [taylor]: Taking taylor expansion of 0 in y
0.618 * [taylor]: Taking taylor expansion of 0 in t
0.618 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x z y t) around 0
0.618 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t
0.618 * [taylor]: Taking taylor expansion of 2.0 in t
0.618 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t
0.618 * [taylor]: Taking taylor expansion of z in t
0.618 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.618 * [taylor]: Taking taylor expansion of x in t
0.618 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.618 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.618 * [taylor]: Taking taylor expansion of t in t
0.618 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.618 * [taylor]: Taking taylor expansion of y in t
0.619 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y
0.619 * [taylor]: Taking taylor expansion of 2.0 in y
0.619 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y
0.619 * [taylor]: Taking taylor expansion of z in y
0.619 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.619 * [taylor]: Taking taylor expansion of x in y
0.619 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.619 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.619 * [taylor]: Taking taylor expansion of t in y
0.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.619 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.620 * [taylor]: Taking taylor expansion of 2.0 in z
0.620 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.620 * [taylor]: Taking taylor expansion of z in z
0.620 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.620 * [taylor]: Taking taylor expansion of x in z
0.620 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.620 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.620 * [taylor]: Taking taylor expansion of t in z
0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.620 * [taylor]: Taking taylor expansion of y in z
0.620 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.620 * [taylor]: Taking taylor expansion of 2.0 in x
0.620 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.620 * [taylor]: Taking taylor expansion of z in x
0.620 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.620 * [taylor]: Taking taylor expansion of x in x
0.620 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.620 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.620 * [taylor]: Taking taylor expansion of t in x
0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.620 * [taylor]: Taking taylor expansion of y in x
0.621 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.621 * [taylor]: Taking taylor expansion of 2.0 in x
0.621 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.621 * [taylor]: Taking taylor expansion of z in x
0.621 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.621 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.621 * [taylor]: Taking taylor expansion of t in x
0.622 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.622 * [taylor]: Taking taylor expansion of y in x
0.623 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in z
0.623 * [taylor]: Taking taylor expansion of 2.0 in z
0.623 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in z
0.623 * [taylor]: Taking taylor expansion of z in z
0.623 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.623 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.623 * [taylor]: Taking taylor expansion of t in z
0.623 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.623 * [taylor]: Taking taylor expansion of y in z
0.623 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.623 * [taylor]: Taking taylor expansion of 2.0 in y
0.623 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.623 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.623 * [taylor]: Taking taylor expansion of t in y
0.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.623 * [taylor]: Taking taylor expansion of y in y
0.624 * [taylor]: Taking taylor expansion of -2.0 in t
0.626 * [taylor]: Taking taylor expansion of 0 in z
0.626 * [taylor]: Taking taylor expansion of 0 in y
0.626 * [taylor]: Taking taylor expansion of 0 in t
0.627 * [taylor]: Taking taylor expansion of 0 in y
0.627 * [taylor]: Taking taylor expansion of 0 in t
0.628 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.628 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.628 * [taylor]: Taking taylor expansion of 2.0 in t
0.628 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.628 * [taylor]: Taking taylor expansion of t in t
0.633 * [taylor]: Taking taylor expansion of 0 in z
0.633 * [taylor]: Taking taylor expansion of 0 in y
0.633 * [taylor]: Taking taylor expansion of 0 in t
0.633 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.633 * [approximate]: Taking taylor expansion of (/ 2.0 (- y t)) in (y t) around 0
0.633 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in t
0.633 * [taylor]: Taking taylor expansion of 2.0 in t
0.633 * [taylor]: Taking taylor expansion of (- y t) in t
0.633 * [taylor]: Taking taylor expansion of y in t
0.633 * [taylor]: Taking taylor expansion of t in t
0.633 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.633 * [taylor]: Taking taylor expansion of 2.0 in y
0.633 * [taylor]: Taking taylor expansion of (- y t) in y
0.633 * [taylor]: Taking taylor expansion of y in y
0.633 * [taylor]: Taking taylor expansion of t in y
0.633 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.633 * [taylor]: Taking taylor expansion of 2.0 in y
0.633 * [taylor]: Taking taylor expansion of (- y t) in y
0.633 * [taylor]: Taking taylor expansion of y in y
0.633 * [taylor]: Taking taylor expansion of t in y
0.633 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.634 * [taylor]: Taking taylor expansion of -2.0 in t
0.634 * [taylor]: Taking taylor expansion of t in t
0.635 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.635 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.635 * [taylor]: Taking taylor expansion of 2.0 in t
0.635 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.635 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.635 * [taylor]: Taking taylor expansion of t in t
0.639 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 3)))) in t
0.639 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
0.639 * [taylor]: Taking taylor expansion of 2.0 in t
0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
0.639 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.639 * [taylor]: Taking taylor expansion of t in t
0.647 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in (y t) around 0
0.647 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in t
0.647 * [taylor]: Taking taylor expansion of 2.0 in t
0.647 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.647 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.647 * [taylor]: Taking taylor expansion of y in t
0.647 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.647 * [taylor]: Taking taylor expansion of t in t
0.648 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.648 * [taylor]: Taking taylor expansion of 2.0 in y
0.648 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.648 * [taylor]: Taking taylor expansion of y in y
0.649 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.649 * [taylor]: Taking taylor expansion of t in y
0.649 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.649 * [taylor]: Taking taylor expansion of 2.0 in y
0.649 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.650 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.650 * [taylor]: Taking taylor expansion of t in y
0.650 * [taylor]: Taking taylor expansion of 2.0 in t
0.651 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.651 * [taylor]: Taking taylor expansion of 2.0 in t
0.651 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.651 * [taylor]: Taking taylor expansion of t in t
0.654 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.654 * [taylor]: Taking taylor expansion of 2.0 in t
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.654 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.654 * [taylor]: Taking taylor expansion of t in t
0.659 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in (y t) around 0
0.659 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in t
0.659 * [taylor]: Taking taylor expansion of 2.0 in t
0.659 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.659 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.659 * [taylor]: Taking taylor expansion of t in t
0.660 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.660 * [taylor]: Taking taylor expansion of y in t
0.660 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.660 * [taylor]: Taking taylor expansion of 2.0 in y
0.660 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.660 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.660 * [taylor]: Taking taylor expansion of t in y
0.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.660 * [taylor]: Taking taylor expansion of y in y
0.661 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.661 * [taylor]: Taking taylor expansion of 2.0 in y
0.661 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.661 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.661 * [taylor]: Taking taylor expansion of t in y
0.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.662 * [taylor]: Taking taylor expansion of y in y
0.663 * [taylor]: Taking taylor expansion of -2.0 in t
0.664 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.664 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.664 * [taylor]: Taking taylor expansion of 2.0 in t
0.664 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.664 * [taylor]: Taking taylor expansion of t in t
0.667 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.667 * [taylor]: Taking taylor expansion of 2.0 in t
0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.667 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.667 * [taylor]: Taking taylor expansion of t in t
0.672 * * * [progress]: simplifying candidates
0.673 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x 2.0)
  (* z (- y t))
  (* x (- 2.0))
  (* z (- (- y t)))
  (* x 1)
  (* z (/ (- y t) 2.0))
  (* (- x) 2.0)
  (* (- z) (- y t))
  (* (- x) (- 2.0))
  (* (- z) (- (- y t)))
  (* (- x) 1)
  (* (- z) (/ (- y t) 2.0))
  (* 1 2.0)
  (* (/ z x) (- y t))
  (* 1 (- 2.0))
  (* (/ z x) (- (- y t)))
  (* 1 1)
  (* (/ z x) (/ (- y t) 2.0))
  (* (/ x z) 2.0)
  (* (/ x z) (/ 2.0 (- (pow y 3) (pow t 3))))
  (* (/ x z) (/ 2.0 (- (* y y) (* t t))))
  (* (/ 1 z) (/ 2.0 (- y t)))
  (* (/ x z) 2.0)
  (* (/ x z) (- 2.0))
  (* (/ x z) 1)
  (* x (/ 2.0 (- y t)))
  (* (- x) (/ 2.0 (- y t)))
  (* 1 (/ 2.0 (- y t)))
  (- 2.0)
  (- (- y t))
  (/ 1 (- y t))
  (/ (- y t) 2.0)
  (/ 2.0 (- (pow y 3) (pow t 3)))
  (/ 2.0 (- (* y y) (* t t)))
  0
  0
  0
  0
  0
  0
0.676 * * [simplify]: iteration  0 :  133  enodes  (cost  87 )
0.679 * * [simplify]: iteration  1 :  505  enodes  (cost  83 )
0.689 * * [simplify]: iteration  2 :  1908  enodes  (cost  83 )
0.717 * * [simplify]: iteration  3 :  5002  enodes  (cost  83 )
0.718 * [simplify]: Simplified to:
   (* x 2.0)
  (* z (- y t))
  (* (- x) 2.0)
  (* (- z) (- y t))
  x
  (* z (/ (- y t) 2.0))
  (* (- x) 2.0)
  (* (- z) (- y t))
  (* x 2.0)
  (* z (- y t))
  (- x)
  (* (- z) (/ (- y t) 2.0))
  2.0
  (* (/ z x) (- y t))
  (- 2.0)
  (* (/ z x) (- (- y t)))
  1
  (* (/ z x) (/ (- y t) 2.0))
  (* (/ x z) 2.0)
  (* (/ x z) (/ 2.0 (- (pow y 3) (pow t 3))))
  (* (/ x z) (/ 2.0 (- (* y y) (* t t))))
  (/ (/ 2.0 (- y t)) z)
  (* (/ x z) 2.0)
  (* (/ x z) (- 2.0))
  (/ x z)
  (* x (/ 2.0 (- y t)))
  (* (- x) (/ 2.0 (- y t)))
  (/ 2.0 (- y t))
  (- 2.0)
  (- (- y t))
  (/ 1 (- y t))
  (/ (- y t) 2.0)
  (/ 2.0 (- (pow y 3) (pow t 3)))
  (/ 2.0 (- (* y y) (* t t)))
  0
  0
  0
  0
  0
  0
0.718 * * * [progress]: adding candidates to table
0.778 * * [progress]: iteration 4 / 4
0.778 * * * [progress]: picking best candidate
0.784 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))>
0.784 * * * [progress]: localizing error
0.791 * * * [progress]: generating rewritten candidates
0.791 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.795 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.798 * * * [progress]: generating series expansions
0.798 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.798 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (y t z x) around 0
0.798 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.798 * [taylor]: Taking taylor expansion of 2.0 in x
0.798 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.798 * [taylor]: Taking taylor expansion of x in x
0.798 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.798 * [taylor]: Taking taylor expansion of (- y t) in x
0.798 * [taylor]: Taking taylor expansion of y in x
0.798 * [taylor]: Taking taylor expansion of t in x
0.799 * [taylor]: Taking taylor expansion of z in x
0.799 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.799 * [taylor]: Taking taylor expansion of 2.0 in z
0.799 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.799 * [taylor]: Taking taylor expansion of x in z
0.799 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.799 * [taylor]: Taking taylor expansion of (- y t) in z
0.799 * [taylor]: Taking taylor expansion of y in z
0.799 * [taylor]: Taking taylor expansion of t in z
0.799 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.800 * [taylor]: Taking taylor expansion of 2.0 in t
0.800 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.800 * [taylor]: Taking taylor expansion of x in t
0.800 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.800 * [taylor]: Taking taylor expansion of (- y t) in t
0.800 * [taylor]: Taking taylor expansion of y in t
0.800 * [taylor]: Taking taylor expansion of t in t
0.800 * [taylor]: Taking taylor expansion of z in t
0.800 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.800 * [taylor]: Taking taylor expansion of 2.0 in y
0.800 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.800 * [taylor]: Taking taylor expansion of x in y
0.800 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.800 * [taylor]: Taking taylor expansion of (- y t) in y
0.800 * [taylor]: Taking taylor expansion of y in y
0.800 * [taylor]: Taking taylor expansion of t in y
0.800 * [taylor]: Taking taylor expansion of z in y
0.800 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.801 * [taylor]: Taking taylor expansion of 2.0 in y
0.801 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.801 * [taylor]: Taking taylor expansion of x in y
0.801 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.801 * [taylor]: Taking taylor expansion of (- y t) in y
0.801 * [taylor]: Taking taylor expansion of y in y
0.801 * [taylor]: Taking taylor expansion of t in y
0.801 * [taylor]: Taking taylor expansion of z in y
0.801 * [taylor]: Taking taylor expansion of (* -2.0 (/ x (* t z))) in t
0.801 * [taylor]: Taking taylor expansion of -2.0 in t
0.801 * [taylor]: Taking taylor expansion of (/ x (* t z)) in t
0.801 * [taylor]: Taking taylor expansion of x in t
0.801 * [taylor]: Taking taylor expansion of (* t z) in t
0.801 * [taylor]: Taking taylor expansion of t in t
0.801 * [taylor]: Taking taylor expansion of z in t
0.802 * [taylor]: Taking taylor expansion of 0 in z
0.803 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ x (* (pow t 2) z)))) in t
0.803 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (pow t 2) z))) in t
0.803 * [taylor]: Taking taylor expansion of 2.0 in t
0.803 * [taylor]: Taking taylor expansion of (/ x (* (pow t 2) z)) in t
0.803 * [taylor]: Taking taylor expansion of x in t
0.803 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t
0.803 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.803 * [taylor]: Taking taylor expansion of t in t
0.803 * [taylor]: Taking taylor expansion of z in t
0.806 * [taylor]: Taking taylor expansion of 0 in z
0.807 * [taylor]: Taking taylor expansion of 0 in z
0.807 * [taylor]: Taking taylor expansion of 0 in x
0.809 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ x (* (pow t 3) z)))) in t
0.809 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (pow t 3) z))) in t
0.809 * [taylor]: Taking taylor expansion of 2.0 in t
0.809 * [taylor]: Taking taylor expansion of (/ x (* (pow t 3) z)) in t
0.809 * [taylor]: Taking taylor expansion of x in t
0.809 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t
0.809 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.809 * [taylor]: Taking taylor expansion of t in t
0.809 * [taylor]: Taking taylor expansion of z in t
0.815 * [taylor]: Taking taylor expansion of 0 in z
0.817 * [taylor]: Taking taylor expansion of 0 in z
0.819 * [taylor]: Taking taylor expansion of 0 in z
0.819 * [taylor]: Taking taylor expansion of 0 in x
0.819 * [taylor]: Taking taylor expansion of 0 in x
0.819 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ x (* (pow t 4) z)))) in t
0.821 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (pow t 4) z))) in t
0.821 * [taylor]: Taking taylor expansion of 2.0 in t
0.821 * [taylor]: Taking taylor expansion of (/ x (* (pow t 4) z)) in t
0.821 * [taylor]: Taking taylor expansion of x in t
0.821 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t
0.821 * [taylor]: Taking taylor expansion of (pow t 4) in t
0.821 * [taylor]: Taking taylor expansion of t in t
0.821 * [taylor]: Taking taylor expansion of z in t
0.829 * [taylor]: Taking taylor expansion of 0 in z
0.836 * [taylor]: Taking taylor expansion of 0 in z
0.839 * [taylor]: Taking taylor expansion of 0 in z
0.841 * [taylor]: Taking taylor expansion of 0 in z
0.841 * [taylor]: Taking taylor expansion of 0 in x
0.841 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (y t z x) around 0
0.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.841 * [taylor]: Taking taylor expansion of 2.0 in x
0.841 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.841 * [taylor]: Taking taylor expansion of z in x
0.841 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.841 * [taylor]: Taking taylor expansion of x in x
0.841 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.841 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.841 * [taylor]: Taking taylor expansion of y in x
0.841 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.841 * [taylor]: Taking taylor expansion of t in x
0.842 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.842 * [taylor]: Taking taylor expansion of 2.0 in z
0.842 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.842 * [taylor]: Taking taylor expansion of z in z
0.842 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.842 * [taylor]: Taking taylor expansion of x in z
0.842 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.842 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.842 * [taylor]: Taking taylor expansion of y in z
0.843 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.843 * [taylor]: Taking taylor expansion of t in z
0.843 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.843 * [taylor]: Taking taylor expansion of 2.0 in t
0.843 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.843 * [taylor]: Taking taylor expansion of z in t
0.843 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.843 * [taylor]: Taking taylor expansion of x in t
0.843 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.843 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.843 * [taylor]: Taking taylor expansion of y in t
0.843 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.843 * [taylor]: Taking taylor expansion of t in t
0.844 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.844 * [taylor]: Taking taylor expansion of 2.0 in y
0.844 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.844 * [taylor]: Taking taylor expansion of z in y
0.844 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.844 * [taylor]: Taking taylor expansion of x in y
0.844 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.844 * [taylor]: Taking taylor expansion of y in y
0.844 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.844 * [taylor]: Taking taylor expansion of t in y
0.844 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.845 * [taylor]: Taking taylor expansion of 2.0 in y
0.845 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.845 * [taylor]: Taking taylor expansion of z in y
0.845 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.845 * [taylor]: Taking taylor expansion of x in y
0.845 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.845 * [taylor]: Taking taylor expansion of y in y
0.845 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.845 * [taylor]: Taking taylor expansion of t in y
0.845 * [taylor]: Taking taylor expansion of (* 2.0 (/ z x)) in t
0.845 * [taylor]: Taking taylor expansion of 2.0 in t
0.845 * [taylor]: Taking taylor expansion of (/ z x) in t
0.845 * [taylor]: Taking taylor expansion of z in t
0.845 * [taylor]: Taking taylor expansion of x in t
0.846 * [taylor]: Taking taylor expansion of 0 in z
0.846 * [taylor]: Taking taylor expansion of 0 in x
0.847 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* t x))) in t
0.847 * [taylor]: Taking taylor expansion of 2.0 in t
0.847 * [taylor]: Taking taylor expansion of (/ z (* t x)) in t
0.847 * [taylor]: Taking taylor expansion of z in t
0.847 * [taylor]: Taking taylor expansion of (* t x) in t
0.847 * [taylor]: Taking taylor expansion of t in t
0.847 * [taylor]: Taking taylor expansion of x in t
0.849 * [taylor]: Taking taylor expansion of 0 in z
0.849 * [taylor]: Taking taylor expansion of 0 in x
0.850 * [taylor]: Taking taylor expansion of 0 in z
0.850 * [taylor]: Taking taylor expansion of 0 in x
0.850 * [taylor]: Taking taylor expansion of 0 in x
0.852 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (pow t 2) x))) in t
0.852 * [taylor]: Taking taylor expansion of 2.0 in t
0.852 * [taylor]: Taking taylor expansion of (/ z (* (pow t 2) x)) in t
0.852 * [taylor]: Taking taylor expansion of z in t
0.852 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in t
0.852 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.852 * [taylor]: Taking taylor expansion of t in t
0.852 * [taylor]: Taking taylor expansion of x in t
0.856 * [taylor]: Taking taylor expansion of 0 in z
0.856 * [taylor]: Taking taylor expansion of 0 in x
0.858 * [taylor]: Taking taylor expansion of 0 in z
0.858 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in z
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.861 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (pow t 3) x))) in t
0.861 * [taylor]: Taking taylor expansion of 2.0 in t
0.861 * [taylor]: Taking taylor expansion of (/ z (* (pow t 3) x)) in t
0.862 * [taylor]: Taking taylor expansion of z in t
0.862 * [taylor]: Taking taylor expansion of (* (pow t 3) x) in t
0.862 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.862 * [taylor]: Taking taylor expansion of t in t
0.862 * [taylor]: Taking taylor expansion of x in t
0.870 * [taylor]: Taking taylor expansion of 0 in z
0.870 * [taylor]: Taking taylor expansion of 0 in x
0.872 * [taylor]: Taking taylor expansion of 0 in z
0.872 * [taylor]: Taking taylor expansion of 0 in x
0.875 * [taylor]: Taking taylor expansion of 0 in z
0.875 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [taylor]: Taking taylor expansion of 0 in z
0.876 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [taylor]: Taking taylor expansion of 0 in x
0.876 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* (- (/ 1 t) (/ 1 y)) x))) in (y t z x) around 0
0.876 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (- (/ 1 t) (/ 1 y)) x))) in x
0.876 * [taylor]: Taking taylor expansion of 2.0 in x
0.876 * [taylor]: Taking taylor expansion of (/ z (* (- (/ 1 t) (/ 1 y)) x)) in x
0.876 * [taylor]: Taking taylor expansion of z in x
0.877 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in x
0.877 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.877 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.877 * [taylor]: Taking taylor expansion of t in x
0.877 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.877 * [taylor]: Taking taylor expansion of y in x
0.877 * [taylor]: Taking taylor expansion of x in x
0.878 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (- (/ 1 t) (/ 1 y)) x))) in z
0.878 * [taylor]: Taking taylor expansion of 2.0 in z
0.878 * [taylor]: Taking taylor expansion of (/ z (* (- (/ 1 t) (/ 1 y)) x)) in z
0.878 * [taylor]: Taking taylor expansion of z in z
0.878 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in z
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.878 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.878 * [taylor]: Taking taylor expansion of t in z
0.878 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.878 * [taylor]: Taking taylor expansion of y in z
0.878 * [taylor]: Taking taylor expansion of x in z
0.878 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (- (/ 1 t) (/ 1 y)) x))) in t
0.878 * [taylor]: Taking taylor expansion of 2.0 in t
0.878 * [taylor]: Taking taylor expansion of (/ z (* (- (/ 1 t) (/ 1 y)) x)) in t
0.878 * [taylor]: Taking taylor expansion of z in t
0.878 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in t
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.878 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.878 * [taylor]: Taking taylor expansion of t in t
0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.879 * [taylor]: Taking taylor expansion of y in t
0.879 * [taylor]: Taking taylor expansion of x in t
0.879 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (- (/ 1 t) (/ 1 y)) x))) in y
0.879 * [taylor]: Taking taylor expansion of 2.0 in y
0.879 * [taylor]: Taking taylor expansion of (/ z (* (- (/ 1 t) (/ 1 y)) x)) in y
0.879 * [taylor]: Taking taylor expansion of z in y
0.879 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in y
0.879 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.879 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.879 * [taylor]: Taking taylor expansion of t in y
0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.879 * [taylor]: Taking taylor expansion of y in y
0.880 * [taylor]: Taking taylor expansion of x in y
0.880 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (- (/ 1 t) (/ 1 y)) x))) in y
0.880 * [taylor]: Taking taylor expansion of 2.0 in y
0.880 * [taylor]: Taking taylor expansion of (/ z (* (- (/ 1 t) (/ 1 y)) x)) in y
0.880 * [taylor]: Taking taylor expansion of z in y
0.880 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in y
0.880 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.880 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.880 * [taylor]: Taking taylor expansion of t in y
0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.880 * [taylor]: Taking taylor expansion of y in y
0.881 * [taylor]: Taking taylor expansion of x in y
0.881 * [taylor]: Taking taylor expansion of (* -2.0 (/ z x)) in t
0.881 * [taylor]: Taking taylor expansion of -2.0 in t
0.881 * [taylor]: Taking taylor expansion of (/ z x) in t
0.881 * [taylor]: Taking taylor expansion of z in t
0.881 * [taylor]: Taking taylor expansion of x in t
0.882 * [taylor]: Taking taylor expansion of 0 in z
0.882 * [taylor]: Taking taylor expansion of 0 in x
0.883 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z (* t x)))) in t
0.883 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* t x))) in t
0.883 * [taylor]: Taking taylor expansion of 2.0 in t
0.883 * [taylor]: Taking taylor expansion of (/ z (* t x)) in t
0.883 * [taylor]: Taking taylor expansion of z in t
0.883 * [taylor]: Taking taylor expansion of (* t x) in t
0.883 * [taylor]: Taking taylor expansion of t in t
0.883 * [taylor]: Taking taylor expansion of x in t
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.886 * [taylor]: Taking taylor expansion of 0 in x
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.886 * [taylor]: Taking taylor expansion of 0 in x
0.886 * [taylor]: Taking taylor expansion of 0 in x
0.888 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z (* (pow t 2) x)))) in t
0.888 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (pow t 2) x))) in t
0.888 * [taylor]: Taking taylor expansion of 2.0 in t
0.888 * [taylor]: Taking taylor expansion of (/ z (* (pow t 2) x)) in t
0.888 * [taylor]: Taking taylor expansion of z in t
0.888 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in t
0.888 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.888 * [taylor]: Taking taylor expansion of t in t
0.888 * [taylor]: Taking taylor expansion of x in t
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [taylor]: Taking taylor expansion of 0 in x
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.895 * [taylor]: Taking taylor expansion of 0 in x
0.896 * [taylor]: Taking taylor expansion of 0 in z
0.896 * [taylor]: Taking taylor expansion of 0 in x
0.896 * [taylor]: Taking taylor expansion of 0 in x
0.896 * [taylor]: Taking taylor expansion of 0 in x
0.896 * [taylor]: Taking taylor expansion of 0 in x
0.898 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z (* (pow t 3) x)))) in t
0.898 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* (pow t 3) x))) in t
0.898 * [taylor]: Taking taylor expansion of 2.0 in t
0.899 * [taylor]: Taking taylor expansion of (/ z (* (pow t 3) x)) in t
0.899 * [taylor]: Taking taylor expansion of z in t
0.899 * [taylor]: Taking taylor expansion of (* (pow t 3) x) in t
0.899 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.899 * [taylor]: Taking taylor expansion of t in t
0.899 * [taylor]: Taking taylor expansion of x in t
0.907 * [taylor]: Taking taylor expansion of 0 in z
0.907 * [taylor]: Taking taylor expansion of 0 in x
0.910 * [taylor]: Taking taylor expansion of 0 in z
0.910 * [taylor]: Taking taylor expansion of 0 in x
0.912 * [taylor]: Taking taylor expansion of 0 in z
0.913 * [taylor]: Taking taylor expansion of 0 in x
0.914 * [taylor]: Taking taylor expansion of 0 in z
0.914 * [taylor]: Taking taylor expansion of 0 in x
0.914 * [taylor]: Taking taylor expansion of 0 in x
0.914 * [taylor]: Taking taylor expansion of 0 in x
0.914 * [taylor]: Taking taylor expansion of 0 in x
0.914 * [taylor]: Taking taylor expansion of 0 in x
0.914 * [taylor]: Taking taylor expansion of 0 in x
0.914 * [taylor]: Taking taylor expansion of 0 in x
0.914 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.914 * [approximate]: Taking taylor expansion of (/ 2.0 (- y t)) in (y t) around 0
0.914 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in t
0.914 * [taylor]: Taking taylor expansion of 2.0 in t
0.914 * [taylor]: Taking taylor expansion of (- y t) in t
0.914 * [taylor]: Taking taylor expansion of y in t
0.914 * [taylor]: Taking taylor expansion of t in t
0.914 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.914 * [taylor]: Taking taylor expansion of 2.0 in y
0.915 * [taylor]: Taking taylor expansion of (- y t) in y
0.915 * [taylor]: Taking taylor expansion of y in y
0.915 * [taylor]: Taking taylor expansion of t in y
0.915 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.915 * [taylor]: Taking taylor expansion of 2.0 in y
0.915 * [taylor]: Taking taylor expansion of (- y t) in y
0.915 * [taylor]: Taking taylor expansion of y in y
0.915 * [taylor]: Taking taylor expansion of t in y
0.915 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.915 * [taylor]: Taking taylor expansion of -2.0 in t
0.915 * [taylor]: Taking taylor expansion of t in t
0.918 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.918 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.919 * [taylor]: Taking taylor expansion of 2.0 in t
0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.919 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.919 * [taylor]: Taking taylor expansion of t in t
0.923 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 3)))) in t
0.923 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
0.923 * [taylor]: Taking taylor expansion of 2.0 in t
0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
0.923 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.923 * [taylor]: Taking taylor expansion of t in t
0.931 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in (y t) around 0
0.931 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in t
0.931 * [taylor]: Taking taylor expansion of 2.0 in t
0.931 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.931 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.931 * [taylor]: Taking taylor expansion of y in t
0.931 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.931 * [taylor]: Taking taylor expansion of t in t
0.932 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.932 * [taylor]: Taking taylor expansion of 2.0 in y
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.932 * [taylor]: Taking taylor expansion of y in y
0.932 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.932 * [taylor]: Taking taylor expansion of t in y
0.933 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.933 * [taylor]: Taking taylor expansion of 2.0 in y
0.933 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.933 * [taylor]: Taking taylor expansion of y in y
0.933 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.933 * [taylor]: Taking taylor expansion of t in y
0.934 * [taylor]: Taking taylor expansion of 2.0 in t
0.934 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.934 * [taylor]: Taking taylor expansion of 2.0 in t
0.935 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.935 * [taylor]: Taking taylor expansion of t in t
0.938 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.938 * [taylor]: Taking taylor expansion of 2.0 in t
0.938 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.938 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.938 * [taylor]: Taking taylor expansion of t in t
0.943 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in (y t) around 0
0.943 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in t
0.943 * [taylor]: Taking taylor expansion of 2.0 in t
0.943 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.943 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.943 * [taylor]: Taking taylor expansion of t in t
0.943 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.943 * [taylor]: Taking taylor expansion of y in t
0.944 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.944 * [taylor]: Taking taylor expansion of 2.0 in y
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.944 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.944 * [taylor]: Taking taylor expansion of t in y
0.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.944 * [taylor]: Taking taylor expansion of y in y
0.945 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.945 * [taylor]: Taking taylor expansion of 2.0 in y
0.945 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.945 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.945 * [taylor]: Taking taylor expansion of t in y
0.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.945 * [taylor]: Taking taylor expansion of y in y
0.946 * [taylor]: Taking taylor expansion of -2.0 in t
0.947 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.947 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.947 * [taylor]: Taking taylor expansion of 2.0 in t
0.947 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.947 * [taylor]: Taking taylor expansion of t in t
0.951 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.951 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.951 * [taylor]: Taking taylor expansion of 2.0 in t
0.951 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.951 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.951 * [taylor]: Taking taylor expansion of t in t
0.956 * * * [progress]: simplifying candidates
0.957 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ 2.0 (- y t)))
  (- (/ z x))
  (/ 2.0 z)
  (/ (/ 1 (- y t)) (/ 1 x))
  (/ (/ 2.0 (- (pow y 3) (pow t 3))) z)
  (/ (+ (* y y) (+ (* t t) (* y t))) (/ 1 x))
  (/ (/ 2.0 (- (* y y) (* t t))) z)
  (/ (+ y t) (/ 1 x))
  (/ 1 (/ z x))
  (/ (/ z x) (/ 2.0 (- y t)))
  (/ (/ 2.0 (- y t)) z)
  (/ (/ z x) (/ 1 (- y t)))
  (/ (/ z x) (+ (* y y) (+ (* t t) (* y t))))
  (/ (/ z x) (+ y t))
  (/ (/ 2.0 (- y t)) z)
  (/ (/ 2.0 (- y t)) (- z))
  (/ (/ 2.0 (- y t)) 1)
  (* (/ z x) (- y t))
  (* (/ z x) (- (- y t)))
  (* (/ z x) (/ (- y t) 2.0))
  (- 2.0)
  (- (- y t))
  (/ 1 (- y t))
  (/ (- y t) 2.0)
  (/ 2.0 (- (pow y 3) (pow t 3)))
  (/ 2.0 (- (* y y) (* t t)))
  0
  0
  0
  0
  0
  0
0.960 * * [simplify]: iteration  0 :  118  enodes  (cost  88 )
0.962 * * [simplify]: iteration  1 :  309  enodes  (cost  82 )
0.968 * * [simplify]: iteration  2 :  1004  enodes  (cost  80 )
0.986 * * [simplify]: iteration  3 :  3625  enodes  (cost  79 )
1.033 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
1.034 * [simplify]: Simplified to:
   (- (/ 2.0 (- y t)))
  (- (/ z x))
  (/ 2.0 z)
  (/ x (- y t))
  (/ (/ 2.0 (- (pow y 3) (pow t 3))) z)
  (* x (+ (* t (+ t y)) (* y y)))
  (/ (/ 2.0 (- (* y y) (* t t))) z)
  (* (+ y t) x)
  (/ x z)
  (/ (/ z x) (/ 2.0 (- y t)))
  (/ (/ 2.0 (- y t)) z)
  (* (- y t) (/ z x))
  (/ (/ z (+ (* t (+ t y)) (* y y))) x)
  (/ (/ z x) (+ y t))
  (/ (/ 2.0 (- y t)) z)
  (/ (/ 2.0 (- y t)) (- z))
  (/ 2.0 (- y t))
  (* (- y t) (/ z x))
  (* (/ z x) (- (- y t)))
  (/ (/ z x) (/ 2.0 (- y t)))
  (- 2.0)
  (- t y)
  (/ 1 (- y t))
  (/ (- y t) 2.0)
  (/ 2.0 (- (pow y 3) (pow t 3)))
  (/ 2.0 (- (* y y) (* t t)))
  0
  0
  0
  0
  0
  0
1.034 * * * [progress]: adding candidates to table
1.082 * [progress]: [Phase 3 of 3] Extracting.
1.082 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))> #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))> #<alt (λ (x y z t) (* (/ 2.0 z) (/ x (- y t))))> #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))> #<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 2.0 (* (- y t) (/ z x))))>)
1.083 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
1.083 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))> #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))> #<alt (λ (x y z t) (* (/ 2.0 z) (/ x (- y t))))> #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))> #<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 2.0 (* (- y t) (/ z x))))>)
1.138 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))> #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))> #<alt (λ (x y z t) (* (/ 2.0 z) (/ x (- y t))))> #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))> #<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 2.0 (* (- y t) (/ z x))))>)
1.172 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))> #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))> #<alt (λ (x y z t) (* (/ 2.0 z) (/ x (- y t))))> #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))> #<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 2.0 (* (- y t) (/ z x))))>)
1.209 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))> #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))> #<alt (λ (x y z t) (* (/ 2.0 z) (/ x (- y t))))> #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))> #<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 2.0 (* (- y t) (/ z x))))>)
1.243 * * * [regime]: Found split indices: #<option (#s(si 2 36) #s(si 0 178) #s(si 2 255))>
1.244 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))> #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))> #<alt (λ (x y z t) (* (/ 2.0 z) (/ x (- y t))))> #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))> #<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 2.0 (* (- y t) (/ z x))))>)
1.313 * [regimes]: Found splitpoints: (#s(sp 2 x -6.501064448897589e+94) #s(sp 0 x 3.861992641392967e-62) #s(sp 2 x +nan.0)) , with alts (#<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))> #<alt (λ (x y z t) (/ (/ 2.0 (- y t)) (/ z x)))> #<alt (λ (x y z t) (* (/ 2.0 z) (/ x (- y t))))> #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))> #<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 2.0 (* (- y t) (/ z x))))>)
1.314 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -6.501064448897589e+94) (* (/ 2.0 z) (/ x (- y t))) (if (<= x 3.861992641392967e-62) (/ x (/ (* z (- y t)) 2.0)) (* (/ 2.0 z) (/ x (- y t)))))
1.314 * * [simplify]: iteration  0 :  23  enodes  (cost  8 )
1.315 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
1.315 * [simplify]: Simplified to:
   (if (or (<= x -6.501064448897589e+94) (not (<= x 3.861992641392967e-62))) (* (/ 2.0 z) (/ x (- y t))) (/ x (/ (* z (- y t)) 2.0)))
1.955 * [regime-testing]: Baseline error score: 5.772091437782959
1.956 * [regime-testing]: Oracle error score: 0.017627203400425052
1.957 * [regime-testing]: End program error score: 2.6387196680577043
2.004 * [regime-testing]: Target error score: 2.0544725123530685