21.851 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* x 2.0) (- (* y z) (* t z)))
0.024 * * [simplify]: iteration  0 :  20  enodes  (cost  4 )
0.026 * * [simplify]: iteration  1 :  46  enodes  (cost  4 )
0.028 * * [simplify]: iteration  2 :  88  enodes  (cost  4 )
0.030 * * [simplify]: iteration  3 :  138  enodes  (cost  4 )
0.032 * * [simplify]: iteration  4 :  188  enodes  (cost  4 )
0.035 * * [simplify]: iteration  5 :  236  enodes  (cost  4 )
0.038 * * [simplify]: iteration  6 :  260  enodes  (cost  4 )
0.041 * * [simplify]: iteration  7 :  263  enodes  (cost  4 )
0.044 * * [simplify]: iteration  8 :  263  enodes  (cost  4 )
0.044 * [simplify]: Simplified to:
   (/ x (/ (* z (- y t)) 2.0))
0.047 * * [progress]: iteration 1 / 4
0.047 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>
0.050 * * * [progress]: localizing error
0.058 * * * [progress]: generating rewritten candidates
0.058 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.063 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.066 * * * [progress]: generating series expansions
0.066 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.067 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x z y t) around 0
0.067 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.067 * [taylor]: Taking taylor expansion of 2.0 in t
0.067 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.067 * [taylor]: Taking taylor expansion of x in t
0.067 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.067 * [taylor]: Taking taylor expansion of (- y t) in t
0.067 * [taylor]: Taking taylor expansion of y in t
0.067 * [taylor]: Taking taylor expansion of t in t
0.067 * [taylor]: Taking taylor expansion of z in t
0.067 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.067 * [taylor]: Taking taylor expansion of 2.0 in y
0.067 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.067 * [taylor]: Taking taylor expansion of x in y
0.067 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.067 * [taylor]: Taking taylor expansion of (- y t) in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.067 * [taylor]: Taking taylor expansion of t in y
0.067 * [taylor]: Taking taylor expansion of z in y
0.068 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.068 * [taylor]: Taking taylor expansion of 2.0 in z
0.068 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.068 * [taylor]: Taking taylor expansion of x in z
0.068 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.068 * [taylor]: Taking taylor expansion of (- y t) in z
0.068 * [taylor]: Taking taylor expansion of y in z
0.068 * [taylor]: Taking taylor expansion of t in z
0.068 * [taylor]: Taking taylor expansion of z in z
0.069 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.069 * [taylor]: Taking taylor expansion of 2.0 in x
0.069 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.069 * [taylor]: Taking taylor expansion of (- y t) in x
0.069 * [taylor]: Taking taylor expansion of y in x
0.069 * [taylor]: Taking taylor expansion of t in x
0.069 * [taylor]: Taking taylor expansion of z in x
0.069 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.069 * [taylor]: Taking taylor expansion of 2.0 in x
0.069 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.069 * [taylor]: Taking taylor expansion of (- y t) in x
0.069 * [taylor]: Taking taylor expansion of y in x
0.069 * [taylor]: Taking taylor expansion of t in x
0.069 * [taylor]: Taking taylor expansion of z in x
0.069 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in z
0.069 * [taylor]: Taking taylor expansion of 2.0 in z
0.069 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.069 * [taylor]: Taking taylor expansion of (- y t) in z
0.069 * [taylor]: Taking taylor expansion of y in z
0.069 * [taylor]: Taking taylor expansion of t in z
0.069 * [taylor]: Taking taylor expansion of z in z
0.070 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.070 * [taylor]: Taking taylor expansion of 2.0 in y
0.070 * [taylor]: Taking taylor expansion of (- y t) in y
0.070 * [taylor]: Taking taylor expansion of y in y
0.070 * [taylor]: Taking taylor expansion of t in y
0.070 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.070 * [taylor]: Taking taylor expansion of -2.0 in t
0.070 * [taylor]: Taking taylor expansion of t in t
0.072 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 0 in y
0.073 * [taylor]: Taking taylor expansion of 0 in t
0.074 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.074 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.074 * [taylor]: Taking taylor expansion of 2.0 in t
0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.074 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.074 * [taylor]: Taking taylor expansion of t in t
0.079 * [taylor]: Taking taylor expansion of 0 in z
0.079 * [taylor]: Taking taylor expansion of 0 in y
0.079 * [taylor]: Taking taylor expansion of 0 in t
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [taylor]: Taking taylor expansion of 0 in t
0.080 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x z y t) around 0
0.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.080 * [taylor]: Taking taylor expansion of 2.0 in t
0.080 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.080 * [taylor]: Taking taylor expansion of z in t
0.080 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.080 * [taylor]: Taking taylor expansion of x in t
0.080 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.080 * [taylor]: Taking taylor expansion of y in t
0.080 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.080 * [taylor]: Taking taylor expansion of t in t
0.081 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.081 * [taylor]: Taking taylor expansion of 2.0 in y
0.081 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.081 * [taylor]: Taking taylor expansion of z in y
0.081 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.081 * [taylor]: Taking taylor expansion of x in y
0.081 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.082 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.082 * [taylor]: Taking taylor expansion of t in y
0.082 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 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 (* x (- (/ 1 y) (/ 1 t)))) in z
0.082 * [taylor]: Taking taylor expansion of z in z
0.082 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.082 * [taylor]: Taking taylor expansion of x 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 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.082 * [taylor]: Taking taylor expansion of 2.0 in x
0.082 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.083 * [taylor]: Taking taylor expansion of z in x
0.083 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.083 * [taylor]: Taking taylor expansion of t in x
0.084 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.084 * [taylor]: Taking taylor expansion of 2.0 in x
0.084 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.084 * [taylor]: Taking taylor expansion of z in x
0.084 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.084 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.084 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.084 * [taylor]: Taking taylor expansion of t in x
0.085 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in z
0.085 * [taylor]: Taking taylor expansion of 2.0 in z
0.085 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in z
0.085 * [taylor]: Taking taylor expansion of z in z
0.085 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.085 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.085 * [taylor]: Taking taylor expansion of y in z
0.085 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.085 * [taylor]: Taking taylor expansion of t in z
0.085 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.085 * [taylor]: Taking taylor expansion of 2.0 in y
0.085 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.086 * [taylor]: Taking taylor expansion of y in y
0.086 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.086 * [taylor]: Taking taylor expansion of t in y
0.086 * [taylor]: Taking taylor expansion of 2.0 in t
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in t
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [taylor]: Taking taylor expansion of 0 in t
0.093 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.093 * [taylor]: Taking taylor expansion of 2.0 in t
0.093 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.093 * [taylor]: Taking taylor expansion of t in t
0.097 * [taylor]: Taking taylor expansion of 0 in z
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.097 * [taylor]: Taking taylor expansion of 0 in t
0.097 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x z y t) around 0
0.097 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t
0.097 * [taylor]: Taking taylor expansion of 2.0 in t
0.097 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t
0.097 * [taylor]: Taking taylor expansion of z in t
0.097 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.097 * [taylor]: Taking taylor expansion of x in t
0.098 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.098 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.098 * [taylor]: Taking taylor expansion of t in t
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.098 * [taylor]: Taking taylor expansion of y in t
0.098 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y
0.098 * [taylor]: Taking taylor expansion of 2.0 in y
0.098 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y
0.098 * [taylor]: Taking taylor expansion of z in y
0.098 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.098 * [taylor]: Taking taylor expansion of x in y
0.098 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.098 * [taylor]: Taking taylor expansion of t in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.098 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.099 * [taylor]: Taking taylor expansion of 2.0 in z
0.099 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.099 * [taylor]: Taking taylor expansion of z in z
0.099 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.099 * [taylor]: Taking taylor expansion of x in z
0.099 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.099 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.099 * [taylor]: Taking taylor expansion of t in z
0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.099 * [taylor]: Taking taylor expansion of y in z
0.100 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.100 * [taylor]: Taking taylor expansion of 2.0 in x
0.100 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.100 * [taylor]: Taking taylor expansion of z in x
0.100 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.100 * [taylor]: Taking taylor expansion of t in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.100 * [taylor]: Taking taylor expansion of y in x
0.101 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.101 * [taylor]: Taking taylor expansion of 2.0 in x
0.101 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.101 * [taylor]: Taking taylor expansion of z in x
0.101 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.101 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.101 * [taylor]: Taking taylor expansion of t in x
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.101 * [taylor]: Taking taylor expansion of y in x
0.102 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in z
0.102 * [taylor]: Taking taylor expansion of 2.0 in z
0.102 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in z
0.102 * [taylor]: Taking taylor expansion of z in z
0.102 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.102 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.102 * [taylor]: Taking taylor expansion of t in z
0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.102 * [taylor]: Taking taylor expansion of y in z
0.103 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.103 * [taylor]: Taking taylor expansion of 2.0 in y
0.103 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.103 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.103 * [taylor]: Taking taylor expansion of t in y
0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.104 * [taylor]: Taking taylor expansion of -2.0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in z
0.106 * [taylor]: Taking taylor expansion of 0 in y
0.106 * [taylor]: Taking taylor expansion of 0 in t
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [taylor]: Taking taylor expansion of 0 in t
0.108 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.108 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.108 * [taylor]: Taking taylor expansion of 2.0 in t
0.108 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.108 * [taylor]: Taking taylor expansion of t in t
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.112 * [taylor]: Taking taylor expansion of 0 in y
0.112 * [taylor]: Taking taylor expansion of 0 in t
0.112 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.112 * [approximate]: Taking taylor expansion of (* (- y t) z) in (z y t) around 0
0.112 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.112 * [taylor]: Taking taylor expansion of (- y t) in t
0.112 * [taylor]: Taking taylor expansion of y in t
0.112 * [taylor]: Taking taylor expansion of t in t
0.112 * [taylor]: Taking taylor expansion of z in t
0.112 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.112 * [taylor]: Taking taylor expansion of (- y t) in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.112 * [taylor]: Taking taylor expansion of t in y
0.112 * [taylor]: Taking taylor expansion of z in y
0.112 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.112 * [taylor]: Taking taylor expansion of (- y t) in z
0.112 * [taylor]: Taking taylor expansion of y in z
0.112 * [taylor]: Taking taylor expansion of t in z
0.112 * [taylor]: Taking taylor expansion of z in z
0.112 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.112 * [taylor]: Taking taylor expansion of (- y t) in z
0.112 * [taylor]: Taking taylor expansion of y in z
0.112 * [taylor]: Taking taylor expansion of t in z
0.112 * [taylor]: Taking taylor expansion of z in z
0.112 * [taylor]: Taking taylor expansion of 0 in y
0.112 * [taylor]: Taking taylor expansion of 0 in t
0.113 * [taylor]: Taking taylor expansion of (- y t) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.113 * [taylor]: Taking taylor expansion of t in y
0.113 * [taylor]: Taking taylor expansion of (- t) in t
0.113 * [taylor]: Taking taylor expansion of t in t
0.114 * [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.115 * [taylor]: Taking taylor expansion of 1 in t
0.115 * [taylor]: Taking taylor expansion of 0 in t
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.116 * [taylor]: Taking taylor expansion of 0 in t
0.116 * [taylor]: Taking taylor expansion of 0 in t
0.117 * [taylor]: Taking taylor expansion of 0 in t
0.117 * [taylor]: Taking taylor expansion of 0 in t
0.117 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in (z y t) around 0
0.117 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in t
0.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.117 * [taylor]: Taking taylor expansion of y in t
0.117 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.117 * [taylor]: Taking taylor expansion of t in t
0.117 * [taylor]: Taking taylor expansion of z in t
0.118 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in y
0.118 * [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 z in y
0.119 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in z
0.119 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.119 * [taylor]: Taking taylor expansion of y in z
0.119 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.119 * [taylor]: Taking taylor expansion of t in z
0.119 * [taylor]: Taking taylor expansion of z in z
0.119 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in z
0.119 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.119 * [taylor]: Taking taylor expansion of y in z
0.119 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.119 * [taylor]: Taking taylor expansion of t in z
0.119 * [taylor]: Taking taylor expansion of z in z
0.119 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.120 * [taylor]: Taking taylor expansion of t in y
0.120 * [taylor]: Taking taylor expansion of 1 in t
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.122 * [taylor]: Taking taylor expansion of t in t
0.124 * [taylor]: Taking taylor expansion of 0 in y
0.124 * [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 y
0.128 * [taylor]: Taking taylor expansion of 0 in t
0.128 * [taylor]: Taking taylor expansion of 0 in t
0.129 * [taylor]: Taking taylor expansion of 0 in t
0.130 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in (z y t) around 0
0.130 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in t
0.130 * [taylor]: Taking taylor expansion of -1 in t
0.130 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in t
0.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.130 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.130 * [taylor]: Taking taylor expansion of t in t
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.130 * [taylor]: Taking taylor expansion of y in t
0.130 * [taylor]: Taking taylor expansion of z in t
0.130 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in y
0.130 * [taylor]: Taking taylor expansion of -1 in y
0.130 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) 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 z in y
0.131 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in z
0.131 * [taylor]: Taking taylor expansion of -1 in z
0.131 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in z
0.131 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.131 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.131 * [taylor]: Taking taylor expansion of t in z
0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.131 * [taylor]: Taking taylor expansion of y in z
0.131 * [taylor]: Taking taylor expansion of z in z
0.132 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in z
0.132 * [taylor]: Taking taylor expansion of -1 in z
0.132 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in z
0.132 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.132 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.132 * [taylor]: Taking taylor expansion of t in z
0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.132 * [taylor]: Taking taylor expansion of y in z
0.132 * [taylor]: Taking taylor expansion of z in z
0.132 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 y))) in y
0.132 * [taylor]: Taking taylor expansion of -1 in y
0.132 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.132 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.132 * [taylor]: Taking taylor expansion of t in y
0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.132 * [taylor]: Taking taylor expansion of y in y
0.133 * [taylor]: Taking taylor expansion of 1 in t
0.134 * [taylor]: Taking taylor expansion of 0 in y
0.135 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.136 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.136 * [taylor]: Taking taylor expansion of t in t
0.138 * [taylor]: Taking taylor expansion of 0 in y
0.138 * [taylor]: Taking taylor expansion of 0 in t
0.140 * [taylor]: Taking taylor expansion of 0 in t
0.143 * [taylor]: Taking taylor expansion of 0 in y
0.143 * [taylor]: Taking taylor expansion of 0 in t
0.143 * [taylor]: Taking taylor expansion of 0 in t
0.144 * [taylor]: Taking taylor expansion of 0 in t
0.146 * * * [progress]: simplifying candidates
0.146 * [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.149 * * [simplify]: iteration  0 :  77  enodes  (cost  65 )
0.151 * * [simplify]: iteration  1 :  210  enodes  (cost  62 )
0.155 * * [simplify]: iteration  2 :  593  enodes  (cost  61 )
0.166 * * [simplify]: iteration  3 :  2415  enodes  (cost  61 )
0.202 * * [simplify]: iteration  4 :  5003  enodes  (cost  60 )
0.202 * [simplify]: Simplified to:
   (- x)
  (/ (- t y) (/ 2.0 z))
  (/ 2.0 (* z (- y t)))
  (/ (/ (* 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.203 * * * [progress]: adding candidates to table
0.240 * * [progress]: iteration 2 / 4
0.240 * * * [progress]: picking best candidate
0.246 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ x z) (/ 2.0 (- y t))))>
0.246 * * * [progress]: localizing error
0.253 * * * [progress]: generating rewritten candidates
0.253 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.258 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.262 * * * [progress]: generating series expansions
0.262 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.262 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x z y t) around 0
0.262 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.262 * [taylor]: Taking taylor expansion of 2.0 in t
0.262 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.262 * [taylor]: Taking taylor expansion of x in t
0.262 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.262 * [taylor]: Taking taylor expansion of (- y t) in t
0.262 * [taylor]: Taking taylor expansion of y in t
0.262 * [taylor]: Taking taylor expansion of t in t
0.262 * [taylor]: Taking taylor expansion of z in t
0.263 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.263 * [taylor]: Taking taylor expansion of 2.0 in y
0.263 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.263 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.263 * [taylor]: Taking taylor expansion of (- y t) in y
0.263 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of t in y
0.263 * [taylor]: Taking taylor expansion of z in y
0.263 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.263 * [taylor]: Taking taylor expansion of 2.0 in z
0.263 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.263 * [taylor]: Taking taylor expansion of x in z
0.263 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.263 * [taylor]: Taking taylor expansion of (- y t) in z
0.263 * [taylor]: Taking taylor expansion of y in z
0.263 * [taylor]: Taking taylor expansion of t in z
0.263 * [taylor]: Taking taylor expansion of z in z
0.264 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.264 * [taylor]: Taking taylor expansion of 2.0 in x
0.264 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.264 * [taylor]: Taking taylor expansion of (- y t) in x
0.264 * [taylor]: Taking taylor expansion of y in x
0.264 * [taylor]: Taking taylor expansion of t in x
0.264 * [taylor]: Taking taylor expansion of z in x
0.264 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.264 * [taylor]: Taking taylor expansion of 2.0 in x
0.264 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.264 * [taylor]: Taking taylor expansion of (- y t) in x
0.264 * [taylor]: Taking taylor expansion of y in x
0.264 * [taylor]: Taking taylor expansion of t in x
0.264 * [taylor]: Taking taylor expansion of z in x
0.264 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in z
0.264 * [taylor]: Taking taylor expansion of 2.0 in z
0.264 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.265 * [taylor]: Taking taylor expansion of (- y t) in z
0.265 * [taylor]: Taking taylor expansion of y in z
0.265 * [taylor]: Taking taylor expansion of t in z
0.265 * [taylor]: Taking taylor expansion of z in z
0.265 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.265 * [taylor]: Taking taylor expansion of 2.0 in y
0.265 * [taylor]: Taking taylor expansion of (- y t) in y
0.265 * [taylor]: Taking taylor expansion of y in y
0.265 * [taylor]: Taking taylor expansion of t in y
0.266 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.266 * [taylor]: Taking taylor expansion of -2.0 in t
0.266 * [taylor]: Taking taylor expansion of t in t
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in y
0.268 * [taylor]: Taking taylor expansion of 0 in t
0.269 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.269 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.269 * [taylor]: Taking taylor expansion of 2.0 in t
0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.269 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.269 * [taylor]: Taking taylor expansion of t in t
0.274 * [taylor]: Taking taylor expansion of 0 in z
0.274 * [taylor]: Taking taylor expansion of 0 in y
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x z y t) around 0
0.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.275 * [taylor]: Taking taylor expansion of 2.0 in t
0.275 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.275 * [taylor]: Taking taylor expansion of z in t
0.275 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.275 * [taylor]: Taking taylor expansion of x in t
0.275 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.275 * [taylor]: Taking taylor expansion of y in t
0.275 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.275 * [taylor]: Taking taylor expansion of t in t
0.279 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.279 * [taylor]: Taking taylor expansion of 2.0 in y
0.279 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.279 * [taylor]: Taking taylor expansion of z in y
0.279 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.279 * [taylor]: Taking taylor expansion of x in y
0.279 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.279 * [taylor]: Taking taylor expansion of y in y
0.279 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.279 * [taylor]: Taking taylor expansion of t in y
0.279 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.280 * [taylor]: Taking taylor expansion of 2.0 in z
0.280 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.280 * [taylor]: Taking taylor expansion of z in z
0.280 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.280 * [taylor]: Taking taylor expansion of x in z
0.280 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.280 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.280 * [taylor]: Taking taylor expansion of y in z
0.280 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.280 * [taylor]: Taking taylor expansion of t in z
0.280 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.280 * [taylor]: Taking taylor expansion of 2.0 in x
0.280 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.280 * [taylor]: Taking taylor expansion of z in x
0.280 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.280 * [taylor]: Taking taylor expansion of y in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.280 * [taylor]: Taking taylor expansion of t in x
0.281 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.281 * [taylor]: Taking taylor expansion of 2.0 in x
0.281 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.281 * [taylor]: Taking taylor expansion of z in x
0.281 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.281 * [taylor]: Taking taylor expansion of x in x
0.281 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.281 * [taylor]: Taking taylor expansion of y in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.282 * [taylor]: Taking taylor expansion of t in x
0.283 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in z
0.283 * [taylor]: Taking taylor expansion of 2.0 in z
0.283 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in z
0.283 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.283 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.283 * [taylor]: Taking taylor expansion of y in z
0.283 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.283 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.283 * [taylor]: Taking taylor expansion of 2.0 in y
0.283 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.283 * [taylor]: Taking taylor expansion of y in y
0.283 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.283 * [taylor]: Taking taylor expansion of t in y
0.284 * [taylor]: Taking taylor expansion of 2.0 in t
0.286 * [taylor]: Taking taylor expansion of 0 in z
0.286 * [taylor]: Taking taylor expansion of 0 in y
0.286 * [taylor]: Taking taylor expansion of 0 in t
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.288 * [taylor]: Taking taylor expansion of 2.0 in t
0.288 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.288 * [taylor]: Taking taylor expansion of t in t
0.292 * [taylor]: Taking taylor expansion of 0 in z
0.292 * [taylor]: Taking taylor expansion of 0 in y
0.292 * [taylor]: Taking taylor expansion of 0 in t
0.292 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x z y t) around 0
0.292 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t
0.292 * [taylor]: Taking taylor expansion of 2.0 in t
0.292 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t
0.292 * [taylor]: Taking taylor expansion of z in t
0.292 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.292 * [taylor]: Taking taylor expansion of x in t
0.292 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.292 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.292 * [taylor]: Taking taylor expansion of t in t
0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.292 * [taylor]: Taking taylor expansion of y in t
0.293 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y
0.293 * [taylor]: Taking taylor expansion of 2.0 in y
0.293 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y
0.293 * [taylor]: Taking taylor expansion of z in y
0.293 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.293 * [taylor]: Taking taylor expansion of x in y
0.293 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.293 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.293 * [taylor]: Taking taylor expansion of t in y
0.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.293 * [taylor]: Taking taylor expansion of y in y
0.294 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.294 * [taylor]: Taking taylor expansion of 2.0 in z
0.294 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.294 * [taylor]: Taking taylor expansion of z in z
0.294 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.294 * [taylor]: Taking taylor expansion of x in z
0.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.294 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.294 * [taylor]: Taking taylor expansion of t in z
0.294 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.294 * [taylor]: Taking taylor expansion of y in z
0.294 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.294 * [taylor]: Taking taylor expansion of 2.0 in x
0.294 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.294 * [taylor]: Taking taylor expansion of z in x
0.294 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.294 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.294 * [taylor]: Taking taylor expansion of t in x
0.294 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.294 * [taylor]: Taking taylor expansion of y in x
0.295 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.295 * [taylor]: Taking taylor expansion of 2.0 in x
0.295 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.295 * [taylor]: Taking taylor expansion of z in x
0.295 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.295 * [taylor]: Taking taylor expansion of x in x
0.295 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.295 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.295 * [taylor]: Taking taylor expansion of t in x
0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.295 * [taylor]: Taking taylor expansion of y in x
0.297 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in z
0.297 * [taylor]: Taking taylor expansion of 2.0 in z
0.297 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in z
0.297 * [taylor]: Taking taylor expansion of z in z
0.297 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.297 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.297 * [taylor]: Taking taylor expansion of t in z
0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.297 * [taylor]: Taking taylor expansion of y in z
0.297 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.297 * [taylor]: Taking taylor expansion of 2.0 in y
0.297 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.297 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.297 * [taylor]: Taking taylor expansion of t in y
0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.297 * [taylor]: Taking taylor expansion of y in y
0.298 * [taylor]: Taking taylor expansion of -2.0 in t
0.300 * [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.301 * [taylor]: Taking taylor expansion of 0 in y
0.301 * [taylor]: Taking taylor expansion of 0 in t
0.302 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.302 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.302 * [taylor]: Taking taylor expansion of 2.0 in t
0.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.302 * [taylor]: Taking taylor expansion of t in t
0.306 * [taylor]: Taking taylor expansion of 0 in z
0.306 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [taylor]: Taking taylor expansion of 0 in t
0.307 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.307 * [approximate]: Taking taylor expansion of (/ 2.0 (- y t)) in (y t) around 0
0.307 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in t
0.307 * [taylor]: Taking taylor expansion of 2.0 in t
0.307 * [taylor]: Taking taylor expansion of (- y t) in t
0.307 * [taylor]: Taking taylor expansion of y in t
0.307 * [taylor]: Taking taylor expansion of t in t
0.307 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.307 * [taylor]: Taking taylor expansion of 2.0 in y
0.307 * [taylor]: Taking taylor expansion of (- y t) in y
0.307 * [taylor]: Taking taylor expansion of y in y
0.307 * [taylor]: Taking taylor expansion of t in y
0.307 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.307 * [taylor]: Taking taylor expansion of 2.0 in y
0.307 * [taylor]: Taking taylor expansion of (- y t) in y
0.307 * [taylor]: Taking taylor expansion of y in y
0.307 * [taylor]: Taking taylor expansion of t in y
0.307 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.307 * [taylor]: Taking taylor expansion of -2.0 in t
0.307 * [taylor]: Taking taylor expansion of t in t
0.309 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.309 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.309 * [taylor]: Taking taylor expansion of 2.0 in t
0.309 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.309 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.309 * [taylor]: Taking taylor expansion of t in t
0.313 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 3)))) in t
0.313 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
0.313 * [taylor]: Taking taylor expansion of 2.0 in t
0.313 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
0.313 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.313 * [taylor]: Taking taylor expansion of t in t
0.321 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in (y t) around 0
0.321 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in t
0.321 * [taylor]: Taking taylor expansion of 2.0 in t
0.321 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.321 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.321 * [taylor]: Taking taylor expansion of y in t
0.321 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.321 * [taylor]: Taking taylor expansion of t in t
0.322 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.322 * [taylor]: Taking taylor expansion of 2.0 in y
0.322 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.322 * [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.323 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.323 * [taylor]: Taking taylor expansion of 2.0 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.324 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.324 * [taylor]: Taking taylor expansion of t in y
0.324 * [taylor]: Taking taylor expansion of 2.0 in t
0.325 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.325 * [taylor]: Taking taylor expansion of 2.0 in t
0.325 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.325 * [taylor]: Taking taylor expansion of t in t
0.328 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.328 * [taylor]: Taking taylor expansion of 2.0 in t
0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.328 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.328 * [taylor]: Taking taylor expansion of t in t
0.333 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in (y t) around 0
0.334 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in t
0.334 * [taylor]: Taking taylor expansion of 2.0 in t
0.334 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.334 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.334 * [taylor]: Taking taylor expansion of t in t
0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.334 * [taylor]: Taking taylor expansion of y in t
0.334 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.334 * [taylor]: Taking taylor expansion of 2.0 in y
0.334 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.335 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.335 * [taylor]: Taking taylor expansion of t in y
0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.335 * [taylor]: Taking taylor expansion of y in y
0.336 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.336 * [taylor]: Taking taylor expansion of 2.0 in y
0.336 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.336 * [taylor]: Taking taylor expansion of t in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.337 * [taylor]: Taking taylor expansion of -2.0 in t
0.338 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.338 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.338 * [taylor]: Taking taylor expansion of 2.0 in t
0.338 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.338 * [taylor]: Taking taylor expansion of t in t
0.341 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.341 * [taylor]: Taking taylor expansion of 2.0 in t
0.341 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.341 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.341 * [taylor]: Taking taylor expansion of t in t
0.346 * * * [progress]: simplifying candidates
0.347 * [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.350 * * [simplify]: iteration  0 :  134  enodes  (cost  87 )
0.354 * * [simplify]: iteration  1 :  508  enodes  (cost  83 )
0.363 * * [simplify]: iteration  2 :  1928  enodes  (cost  83 )
0.389 * * [simplify]: iteration  3 :  5001  enodes  (cost  83 )
0.390 * [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.390 * * * [progress]: adding candidates to table
0.454 * * [progress]: iteration 3 / 4
0.454 * * * [progress]: picking best candidate
0.460 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))>
0.460 * * * [progress]: localizing error
0.468 * * * [progress]: generating rewritten candidates
0.468 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.472 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.476 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.480 * * * [progress]: generating series expansions
0.480 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.480 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x y t z) around 0
0.480 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.480 * [taylor]: Taking taylor expansion of 2.0 in z
0.480 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.480 * [taylor]: Taking taylor expansion of x in z
0.480 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.480 * [taylor]: Taking taylor expansion of (- y t) in z
0.480 * [taylor]: Taking taylor expansion of y in z
0.480 * [taylor]: Taking taylor expansion of t in z
0.480 * [taylor]: Taking taylor expansion of z in z
0.481 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.481 * [taylor]: Taking taylor expansion of 2.0 in t
0.481 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.481 * [taylor]: Taking taylor expansion of x in t
0.481 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.481 * [taylor]: Taking taylor expansion of (- y t) in t
0.481 * [taylor]: Taking taylor expansion of y in t
0.481 * [taylor]: Taking taylor expansion of t in t
0.481 * [taylor]: Taking taylor expansion of z in t
0.482 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.482 * [taylor]: Taking taylor expansion of 2.0 in y
0.482 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.482 * [taylor]: Taking taylor expansion of x in y
0.482 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.482 * [taylor]: Taking taylor expansion of (- y t) in y
0.482 * [taylor]: Taking taylor expansion of y in y
0.482 * [taylor]: Taking taylor expansion of t in y
0.482 * [taylor]: Taking taylor expansion of z in y
0.482 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.482 * [taylor]: Taking taylor expansion of 2.0 in x
0.482 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.482 * [taylor]: Taking taylor expansion of (- y t) in x
0.482 * [taylor]: Taking taylor expansion of y in x
0.482 * [taylor]: Taking taylor expansion of t in x
0.482 * [taylor]: Taking taylor expansion of z in x
0.482 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.482 * [taylor]: Taking taylor expansion of 2.0 in x
0.482 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.482 * [taylor]: Taking taylor expansion of (- y t) in x
0.482 * [taylor]: Taking taylor expansion of y in x
0.482 * [taylor]: Taking taylor expansion of t in x
0.482 * [taylor]: Taking taylor expansion of z in x
0.483 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y
0.483 * [taylor]: Taking taylor expansion of 2.0 in y
0.483 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.483 * [taylor]: Taking taylor expansion of (- y t) in y
0.483 * [taylor]: Taking taylor expansion of y in y
0.483 * [taylor]: Taking taylor expansion of t in y
0.483 * [taylor]: Taking taylor expansion of z in y
0.483 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t
0.483 * [taylor]: Taking taylor expansion of -2.0 in t
0.483 * [taylor]: Taking taylor expansion of (* t z) in t
0.483 * [taylor]: Taking taylor expansion of t in t
0.483 * [taylor]: Taking taylor expansion of z in t
0.484 * [taylor]: Taking taylor expansion of 0 in z
0.485 * [taylor]: Taking taylor expansion of 0 in y
0.485 * [taylor]: Taking taylor expansion of 0 in t
0.485 * [taylor]: Taking taylor expansion of 0 in z
0.485 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 2) z)))) in t
0.486 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 2) z))) in t
0.486 * [taylor]: Taking taylor expansion of 2.0 in t
0.486 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t
0.486 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t
0.486 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.486 * [taylor]: Taking taylor expansion of t in t
0.486 * [taylor]: Taking taylor expansion of z in t
0.488 * [taylor]: Taking taylor expansion of 0 in z
0.489 * [taylor]: Taking taylor expansion of 0 in z
0.491 * [taylor]: Taking taylor expansion of 0 in y
0.491 * [taylor]: Taking taylor expansion of 0 in t
0.491 * [taylor]: Taking taylor expansion of 0 in z
0.491 * [taylor]: Taking taylor expansion of 0 in t
0.491 * [taylor]: Taking taylor expansion of 0 in z
0.492 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 3) z)))) in t
0.492 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 3) z))) in t
0.492 * [taylor]: Taking taylor expansion of 2.0 in t
0.492 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t
0.492 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t
0.492 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.492 * [taylor]: Taking taylor expansion of t in t
0.492 * [taylor]: Taking taylor expansion of z in t
0.498 * [taylor]: Taking taylor expansion of 0 in z
0.498 * [taylor]: Taking taylor expansion of 0 in z
0.501 * [taylor]: Taking taylor expansion of 0 in z
0.502 * [taylor]: Taking taylor expansion of 0 in z
0.504 * [taylor]: Taking taylor expansion of 0 in y
0.504 * [taylor]: Taking taylor expansion of 0 in t
0.504 * [taylor]: Taking taylor expansion of 0 in z
0.504 * [taylor]: Taking taylor expansion of 0 in t
0.504 * [taylor]: Taking taylor expansion of 0 in z
0.504 * [taylor]: Taking taylor expansion of 0 in t
0.504 * [taylor]: Taking taylor expansion of 0 in z
0.506 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 4) z)))) in t
0.506 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 4) z))) in t
0.506 * [taylor]: Taking taylor expansion of 2.0 in t
0.506 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 4) z)) in t
0.506 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t
0.506 * [taylor]: Taking taylor expansion of (pow t 4) in t
0.506 * [taylor]: Taking taylor expansion of t in t
0.506 * [taylor]: Taking taylor expansion of z in t
0.514 * [taylor]: Taking taylor expansion of 0 in z
0.514 * [taylor]: Taking taylor expansion of 0 in z
0.514 * [taylor]: Taking taylor expansion of 0 in z
0.521 * [taylor]: Taking taylor expansion of 0 in z
0.521 * [taylor]: Taking taylor expansion of 0 in z
0.524 * [taylor]: Taking taylor expansion of 0 in z
0.525 * [taylor]: Taking taylor expansion of 0 in z
0.525 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x y t z) around 0
0.525 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.525 * [taylor]: Taking taylor expansion of 2.0 in z
0.526 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.526 * [taylor]: Taking taylor expansion of z in z
0.526 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.526 * [taylor]: Taking taylor expansion of x in z
0.526 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.526 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.526 * [taylor]: Taking taylor expansion of y in z
0.526 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.526 * [taylor]: Taking taylor expansion of t in z
0.526 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.526 * [taylor]: Taking taylor expansion of 2.0 in t
0.526 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.526 * [taylor]: Taking taylor expansion of z in t
0.526 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.526 * [taylor]: Taking taylor expansion of x in t
0.526 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.526 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.526 * [taylor]: Taking taylor expansion of y in t
0.526 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.526 * [taylor]: Taking taylor expansion of t in t
0.527 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.527 * [taylor]: Taking taylor expansion of 2.0 in y
0.527 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.527 * [taylor]: Taking taylor expansion of z in y
0.527 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.527 * [taylor]: Taking taylor expansion of x in y
0.527 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.527 * [taylor]: Taking taylor expansion of t in y
0.528 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.528 * [taylor]: Taking taylor expansion of 2.0 in x
0.528 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.528 * [taylor]: Taking taylor expansion of z in x
0.528 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.528 * [taylor]: Taking taylor expansion of t in x
0.529 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.529 * [taylor]: Taking taylor expansion of 2.0 in x
0.529 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.529 * [taylor]: Taking taylor expansion of z in x
0.529 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.529 * [taylor]: Taking taylor expansion of y in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.530 * [taylor]: Taking taylor expansion of t in x
0.531 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y
0.531 * [taylor]: Taking taylor expansion of 2.0 in y
0.531 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y
0.531 * [taylor]: Taking taylor expansion of z in y
0.531 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.531 * [taylor]: Taking taylor expansion of y in y
0.531 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.531 * [taylor]: Taking taylor expansion of t in y
0.532 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
0.532 * [taylor]: Taking taylor expansion of 2.0 in t
0.532 * [taylor]: Taking taylor expansion of z in t
0.532 * [taylor]: Taking taylor expansion of 0 in z
0.534 * [taylor]: Taking taylor expansion of 0 in y
0.534 * [taylor]: Taking taylor expansion of 0 in t
0.534 * [taylor]: Taking taylor expansion of 0 in z
0.535 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.535 * [taylor]: Taking taylor expansion of 2.0 in t
0.535 * [taylor]: Taking taylor expansion of (/ z t) in t
0.535 * [taylor]: Taking taylor expansion of z in t
0.535 * [taylor]: Taking taylor expansion of t in t
0.537 * [taylor]: Taking taylor expansion of 0 in z
0.537 * [taylor]: Taking taylor expansion of 0 in z
0.540 * [taylor]: Taking taylor expansion of 0 in y
0.540 * [taylor]: Taking taylor expansion of 0 in t
0.540 * [taylor]: Taking taylor expansion of 0 in z
0.540 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x y t z) around 0
0.540 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.540 * [taylor]: Taking taylor expansion of 2.0 in z
0.540 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.540 * [taylor]: Taking taylor expansion of z in z
0.540 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.540 * [taylor]: Taking taylor expansion of x in z
0.540 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.540 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.540 * [taylor]: Taking taylor expansion of t in z
0.540 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.540 * [taylor]: Taking taylor expansion of y in z
0.540 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t
0.540 * [taylor]: Taking taylor expansion of 2.0 in t
0.540 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t
0.540 * [taylor]: Taking taylor expansion of z in t
0.540 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.540 * [taylor]: Taking taylor expansion of x in t
0.540 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.540 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.540 * [taylor]: Taking taylor expansion of t in t
0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.541 * [taylor]: Taking taylor expansion of y in t
0.541 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y
0.541 * [taylor]: Taking taylor expansion of 2.0 in y
0.541 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y
0.541 * [taylor]: Taking taylor expansion of z in y
0.541 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.541 * [taylor]: Taking taylor expansion of x in y
0.541 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.541 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.541 * [taylor]: Taking taylor expansion of t in y
0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.541 * [taylor]: Taking taylor expansion of y in y
0.542 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.542 * [taylor]: Taking taylor expansion of 2.0 in x
0.542 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.542 * [taylor]: Taking taylor expansion of z in x
0.542 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.542 * [taylor]: Taking taylor expansion of t in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.542 * [taylor]: Taking taylor expansion of y in x
0.543 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.543 * [taylor]: Taking taylor expansion of 2.0 in x
0.543 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.543 * [taylor]: Taking taylor expansion of z in x
0.543 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.543 * [taylor]: Taking taylor expansion of x in x
0.543 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.543 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.544 * [taylor]: Taking taylor expansion of t in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.544 * [taylor]: Taking taylor expansion of y in x
0.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y
0.545 * [taylor]: Taking taylor expansion of 2.0 in y
0.545 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y
0.545 * [taylor]: Taking taylor expansion of z in y
0.545 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.545 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.545 * [taylor]: Taking taylor expansion of t in y
0.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.545 * [taylor]: Taking taylor expansion of y in y
0.546 * [taylor]: Taking taylor expansion of (* -2.0 z) in t
0.546 * [taylor]: Taking taylor expansion of -2.0 in t
0.546 * [taylor]: Taking taylor expansion of z in t
0.546 * [taylor]: Taking taylor expansion of 0 in z
0.548 * [taylor]: Taking taylor expansion of 0 in y
0.548 * [taylor]: Taking taylor expansion of 0 in t
0.548 * [taylor]: Taking taylor expansion of 0 in z
0.549 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z t))) in t
0.549 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.549 * [taylor]: Taking taylor expansion of 2.0 in t
0.549 * [taylor]: Taking taylor expansion of (/ z t) in t
0.549 * [taylor]: Taking taylor expansion of z in t
0.549 * [taylor]: Taking taylor expansion of t in t
0.552 * [taylor]: Taking taylor expansion of 0 in z
0.552 * [taylor]: Taking taylor expansion of 0 in z
0.554 * [taylor]: Taking taylor expansion of 0 in y
0.555 * [taylor]: Taking taylor expansion of 0 in t
0.555 * [taylor]: Taking taylor expansion of 0 in z
0.555 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.555 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in (y t z) around 0
0.555 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in z
0.555 * [taylor]: Taking taylor expansion of 2.0 in z
0.555 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.555 * [taylor]: Taking taylor expansion of (- y t) in z
0.555 * [taylor]: Taking taylor expansion of y in z
0.555 * [taylor]: Taking taylor expansion of t in z
0.555 * [taylor]: Taking taylor expansion of z in z
0.556 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in t
0.556 * [taylor]: Taking taylor expansion of 2.0 in t
0.556 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.556 * [taylor]: Taking taylor expansion of (- y t) in t
0.556 * [taylor]: Taking taylor expansion of y in t
0.556 * [taylor]: Taking taylor expansion of t in t
0.556 * [taylor]: Taking taylor expansion of z in t
0.556 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y
0.556 * [taylor]: Taking taylor expansion of 2.0 in y
0.556 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.556 * [taylor]: Taking taylor expansion of (- y t) in y
0.556 * [taylor]: Taking taylor expansion of y in y
0.556 * [taylor]: Taking taylor expansion of t in y
0.556 * [taylor]: Taking taylor expansion of z in y
0.556 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y
0.556 * [taylor]: Taking taylor expansion of 2.0 in y
0.556 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.556 * [taylor]: Taking taylor expansion of (- y t) in y
0.556 * [taylor]: Taking taylor expansion of y in y
0.556 * [taylor]: Taking taylor expansion of t in y
0.556 * [taylor]: Taking taylor expansion of z in y
0.557 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t
0.557 * [taylor]: Taking taylor expansion of -2.0 in t
0.557 * [taylor]: Taking taylor expansion of (* t z) in t
0.557 * [taylor]: Taking taylor expansion of t in t
0.557 * [taylor]: Taking taylor expansion of z in t
0.558 * [taylor]: Taking taylor expansion of 0 in z
0.558 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 2) z)))) in t
0.558 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 2) z))) in t
0.558 * [taylor]: Taking taylor expansion of 2.0 in t
0.558 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t
0.558 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t
0.558 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.558 * [taylor]: Taking taylor expansion of t in t
0.558 * [taylor]: Taking taylor expansion of z in t
0.561 * [taylor]: Taking taylor expansion of 0 in z
0.562 * [taylor]: Taking taylor expansion of 0 in z
0.563 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 3) z)))) in t
0.564 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 3) z))) in t
0.564 * [taylor]: Taking taylor expansion of 2.0 in t
0.564 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t
0.564 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t
0.564 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.564 * [taylor]: Taking taylor expansion of t in t
0.564 * [taylor]: Taking taylor expansion of z in t
0.569 * [taylor]: Taking taylor expansion of 0 in z
0.572 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.574 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 4) z)))) in t
0.574 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 4) z))) in t
0.574 * [taylor]: Taking taylor expansion of 2.0 in t
0.574 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 4) z)) in t
0.574 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t
0.575 * [taylor]: Taking taylor expansion of (pow t 4) in t
0.575 * [taylor]: Taking taylor expansion of t in t
0.575 * [taylor]: Taking taylor expansion of z in t
0.583 * [taylor]: Taking taylor expansion of 0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.590 * [taylor]: Taking taylor expansion of 0 in z
0.591 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in (y t z) around 0
0.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in z
0.591 * [taylor]: Taking taylor expansion of 2.0 in z
0.591 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in z
0.591 * [taylor]: Taking taylor expansion of z in z
0.591 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.591 * [taylor]: Taking taylor expansion of y in z
0.591 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.591 * [taylor]: Taking taylor expansion of t in z
0.591 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in t
0.591 * [taylor]: Taking taylor expansion of 2.0 in t
0.591 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in t
0.591 * [taylor]: Taking taylor expansion of z in t
0.591 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.591 * [taylor]: Taking taylor expansion of y in t
0.591 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.591 * [taylor]: Taking taylor expansion of t in t
0.592 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y
0.592 * [taylor]: Taking taylor expansion of 2.0 in y
0.592 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y
0.592 * [taylor]: Taking taylor expansion of z in y
0.592 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.592 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.592 * [taylor]: Taking taylor expansion of y in y
0.592 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.592 * [taylor]: Taking taylor expansion of t in y
0.593 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y
0.593 * [taylor]: Taking taylor expansion of 2.0 in y
0.593 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y
0.593 * [taylor]: Taking taylor expansion of z in y
0.593 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.593 * [taylor]: Taking taylor expansion of t in y
0.593 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
0.593 * [taylor]: Taking taylor expansion of 2.0 in t
0.593 * [taylor]: Taking taylor expansion of z in t
0.594 * [taylor]: Taking taylor expansion of 0 in z
0.595 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.595 * [taylor]: Taking taylor expansion of 2.0 in t
0.595 * [taylor]: Taking taylor expansion of (/ z t) in t
0.595 * [taylor]: Taking taylor expansion of z in t
0.595 * [taylor]: Taking taylor expansion of t in t
0.597 * [taylor]: Taking taylor expansion of 0 in z
0.597 * [taylor]: Taking taylor expansion of 0 in z
0.599 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (pow t 2))) in t
0.599 * [taylor]: Taking taylor expansion of 2.0 in t
0.599 * [taylor]: Taking taylor expansion of (/ z (pow t 2)) in t
0.599 * [taylor]: Taking taylor expansion of z in t
0.599 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.599 * [taylor]: Taking taylor expansion of t in t
0.608 * [taylor]: Taking taylor expansion of 0 in z
0.610 * [taylor]: Taking taylor expansion of 0 in z
0.611 * [approximate]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in (y t z) around 0
0.611 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in z
0.611 * [taylor]: Taking taylor expansion of -2.0 in z
0.611 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in z
0.611 * [taylor]: Taking taylor expansion of z in z
0.611 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.611 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.611 * [taylor]: Taking taylor expansion of t in z
0.611 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.611 * [taylor]: Taking taylor expansion of y in z
0.611 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in t
0.611 * [taylor]: Taking taylor expansion of -2.0 in t
0.611 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in t
0.611 * [taylor]: Taking taylor expansion of z in t
0.611 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.611 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.611 * [taylor]: Taking taylor expansion of t in t
0.611 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.611 * [taylor]: Taking taylor expansion of y in t
0.612 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y
0.612 * [taylor]: Taking taylor expansion of -2.0 in y
0.612 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y
0.612 * [taylor]: Taking taylor expansion of z in y
0.612 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.612 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.612 * [taylor]: Taking taylor expansion of t in y
0.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.612 * [taylor]: Taking taylor expansion of y in y
0.613 * [taylor]: Taking taylor expansion of (* -2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y
0.613 * [taylor]: Taking taylor expansion of -2.0 in y
0.613 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y
0.613 * [taylor]: Taking taylor expansion of z in y
0.613 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.613 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.613 * [taylor]: Taking taylor expansion of t in y
0.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.613 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
0.614 * [taylor]: Taking taylor expansion of 2.0 in t
0.614 * [taylor]: Taking taylor expansion of z in t
0.614 * [taylor]: Taking taylor expansion of 0 in z
0.615 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t
0.615 * [taylor]: Taking taylor expansion of 2.0 in t
0.615 * [taylor]: Taking taylor expansion of (/ z t) in t
0.615 * [taylor]: Taking taylor expansion of z in t
0.615 * [taylor]: Taking taylor expansion of t in t
0.617 * [taylor]: Taking taylor expansion of 0 in z
0.618 * [taylor]: Taking taylor expansion of 0 in z
0.620 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (pow t 2))) in t
0.620 * [taylor]: Taking taylor expansion of 2.0 in t
0.620 * [taylor]: Taking taylor expansion of (/ z (pow t 2)) in t
0.620 * [taylor]: Taking taylor expansion of z in t
0.620 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.620 * [taylor]: Taking taylor expansion of t in t
0.625 * [taylor]: Taking taylor expansion of 0 in z
0.626 * [taylor]: Taking taylor expansion of 0 in z
0.627 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.627 * [approximate]: Taking taylor expansion of (/ 2.0 (- y t)) in (y t) around 0
0.627 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in t
0.627 * [taylor]: Taking taylor expansion of 2.0 in t
0.627 * [taylor]: Taking taylor expansion of (- y t) in t
0.627 * [taylor]: Taking taylor expansion of y in t
0.627 * [taylor]: Taking taylor expansion of t in t
0.627 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.627 * [taylor]: Taking taylor expansion of 2.0 in y
0.627 * [taylor]: Taking taylor expansion of (- y t) in y
0.627 * [taylor]: Taking taylor expansion of y in y
0.627 * [taylor]: Taking taylor expansion of t in y
0.627 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.627 * [taylor]: Taking taylor expansion of 2.0 in y
0.627 * [taylor]: Taking taylor expansion of (- y t) in y
0.627 * [taylor]: Taking taylor expansion of y in y
0.627 * [taylor]: Taking taylor expansion of t in y
0.627 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.627 * [taylor]: Taking taylor expansion of -2.0 in t
0.627 * [taylor]: Taking taylor expansion of t in t
0.629 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.629 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.629 * [taylor]: Taking taylor expansion of 2.0 in t
0.629 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.629 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.629 * [taylor]: Taking taylor expansion of t in t
0.633 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 3)))) in t
0.633 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
0.633 * [taylor]: Taking taylor expansion of 2.0 in t
0.633 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
0.633 * [taylor]: Taking taylor expansion of (pow t 3) in t
0.633 * [taylor]: Taking taylor expansion of t in t
0.641 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in (y t) around 0
0.641 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in t
0.641 * [taylor]: Taking taylor expansion of 2.0 in t
0.641 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.642 * [taylor]: Taking taylor expansion of y in t
0.642 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.642 * [taylor]: Taking taylor expansion of t in t
0.643 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.643 * [taylor]: Taking taylor expansion of 2.0 in y
0.643 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.643 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.643 * [taylor]: Taking taylor expansion of t in y
0.644 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.644 * [taylor]: Taking taylor expansion of 2.0 in y
0.644 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.644 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.644 * [taylor]: Taking taylor expansion of t in y
0.645 * [taylor]: Taking taylor expansion of 2.0 in t
0.645 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.646 * [taylor]: Taking taylor expansion of 2.0 in t
0.646 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.646 * [taylor]: Taking taylor expansion of t in t
0.649 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.649 * [taylor]: Taking taylor expansion of 2.0 in t
0.649 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.649 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.649 * [taylor]: Taking taylor expansion of t in t
0.654 * [approximate]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in (y t) around 0
0.654 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in t
0.654 * [taylor]: Taking taylor expansion of 2.0 in t
0.654 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.654 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.654 * [taylor]: Taking taylor expansion of t in t
0.654 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.654 * [taylor]: Taking taylor expansion of y in t
0.655 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.655 * [taylor]: Taking taylor expansion of 2.0 in y
0.655 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.655 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.655 * [taylor]: Taking taylor expansion of t in y
0.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.655 * [taylor]: Taking taylor expansion of y in y
0.656 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.656 * [taylor]: Taking taylor expansion of 2.0 in y
0.656 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.656 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.656 * [taylor]: Taking taylor expansion of t in y
0.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.656 * [taylor]: Taking taylor expansion of y in y
0.657 * [taylor]: Taking taylor expansion of -2.0 in t
0.658 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.658 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.658 * [taylor]: Taking taylor expansion of 2.0 in t
0.658 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.658 * [taylor]: Taking taylor expansion of t in t
0.662 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.662 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.662 * [taylor]: Taking taylor expansion of 2.0 in t
0.662 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.662 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.662 * [taylor]: Taking taylor expansion of t in t
0.667 * * * [progress]: simplifying candidates
0.668 * [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.671 * * [simplify]: iteration  0 :  94  enodes  (cost  66 )
0.674 * * [simplify]: iteration  1 :  259  enodes  (cost  65 )
0.679 * * [simplify]: iteration  2 :  709  enodes  (cost  64 )
0.689 * * [simplify]: iteration  3 :  1961  enodes  (cost  62 )
0.718 * * [simplify]: iteration  4 :  5001  enodes  (cost  62 )
0.719 * [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 (fma y y (fma t t (* y t))))
  (/ 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.719 * * * [progress]: adding candidates to table
0.786 * * [progress]: iteration 4 / 4
0.786 * * * [progress]: picking best candidate
0.791 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))>
0.791 * * * [progress]: localizing error
0.799 * * * [progress]: generating rewritten candidates
0.799 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.805 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.815 * * * [progress]: generating series expansions
0.815 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.815 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (- y t) z) x)) in (z x y t) around 0
0.815 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- y t) z) x)) in t
0.815 * [taylor]: Taking taylor expansion of 0.5 in t
0.815 * [taylor]: Taking taylor expansion of (/ (* (- y t) z) x) in t
0.815 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.815 * [taylor]: Taking taylor expansion of (- y t) in t
0.815 * [taylor]: Taking taylor expansion of y in t
0.815 * [taylor]: Taking taylor expansion of t in t
0.815 * [taylor]: Taking taylor expansion of z in t
0.815 * [taylor]: Taking taylor expansion of x in t
0.815 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- y t) z) x)) in y
0.816 * [taylor]: Taking taylor expansion of 0.5 in y
0.816 * [taylor]: Taking taylor expansion of (/ (* (- y t) z) x) in y
0.816 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.816 * [taylor]: Taking taylor expansion of (- y t) in y
0.816 * [taylor]: Taking taylor expansion of y in y
0.816 * [taylor]: Taking taylor expansion of t in y
0.816 * [taylor]: Taking taylor expansion of z in y
0.816 * [taylor]: Taking taylor expansion of x in y
0.816 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- y t) z) x)) in x
0.816 * [taylor]: Taking taylor expansion of 0.5 in x
0.816 * [taylor]: Taking taylor expansion of (/ (* (- y t) z) x) in x
0.816 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.816 * [taylor]: Taking taylor expansion of (- y t) in x
0.816 * [taylor]: Taking taylor expansion of y in x
0.816 * [taylor]: Taking taylor expansion of t in x
0.816 * [taylor]: Taking taylor expansion of z in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- y t) z) x)) in z
0.816 * [taylor]: Taking taylor expansion of 0.5 in z
0.816 * [taylor]: Taking taylor expansion of (/ (* (- y t) z) x) in z
0.816 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.816 * [taylor]: Taking taylor expansion of (- y t) in z
0.816 * [taylor]: Taking taylor expansion of y in z
0.816 * [taylor]: Taking taylor expansion of t in z
0.816 * [taylor]: Taking taylor expansion of z in z
0.816 * [taylor]: Taking taylor expansion of x in z
0.817 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- y t) z) x)) in z
0.817 * [taylor]: Taking taylor expansion of 0.5 in z
0.817 * [taylor]: Taking taylor expansion of (/ (* (- y t) z) x) in z
0.817 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.817 * [taylor]: Taking taylor expansion of (- y t) in z
0.817 * [taylor]: Taking taylor expansion of y in z
0.817 * [taylor]: Taking taylor expansion of t in z
0.817 * [taylor]: Taking taylor expansion of z in z
0.817 * [taylor]: Taking taylor expansion of x in z
0.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y t) x)) in x
0.818 * [taylor]: Taking taylor expansion of 0.5 in x
0.818 * [taylor]: Taking taylor expansion of (/ (- y t) x) in x
0.818 * [taylor]: Taking taylor expansion of (- y t) in x
0.818 * [taylor]: Taking taylor expansion of y in x
0.818 * [taylor]: Taking taylor expansion of t in x
0.818 * [taylor]: Taking taylor expansion of x in x
0.818 * [taylor]: Taking taylor expansion of (* 0.5 (- y t)) in y
0.818 * [taylor]: Taking taylor expansion of 0.5 in y
0.818 * [taylor]: Taking taylor expansion of (- y t) in y
0.818 * [taylor]: Taking taylor expansion of y in y
0.818 * [taylor]: Taking taylor expansion of t in y
0.819 * [taylor]: Taking taylor expansion of (* -0.5 t) in t
0.819 * [taylor]: Taking taylor expansion of -0.5 in t
0.819 * [taylor]: Taking taylor expansion of t in t
0.820 * [taylor]: Taking taylor expansion of 0 in x
0.821 * [taylor]: Taking taylor expansion of 0 in y
0.821 * [taylor]: Taking taylor expansion of 0 in t
0.822 * [taylor]: Taking taylor expansion of 0.5 in t
0.825 * [taylor]: Taking taylor expansion of 0 in x
0.825 * [taylor]: Taking taylor expansion of 0 in y
0.825 * [taylor]: Taking taylor expansion of 0 in t
0.827 * [taylor]: Taking taylor expansion of 0 in y
0.827 * [taylor]: Taking taylor expansion of 0 in t
0.827 * [taylor]: Taking taylor expansion of 0 in t
0.828 * [taylor]: Taking taylor expansion of 0 in t
0.828 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 y) (/ 1 t))) z)) in (z x y t) around 0
0.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 y) (/ 1 t))) z)) in t
0.828 * [taylor]: Taking taylor expansion of 0.5 in t
0.828 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 y) (/ 1 t))) z) in t
0.828 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.828 * [taylor]: Taking taylor expansion of x in t
0.828 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.828 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.829 * [taylor]: Taking taylor expansion of y in t
0.829 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.829 * [taylor]: Taking taylor expansion of t in t
0.829 * [taylor]: Taking taylor expansion of z in t
0.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 y) (/ 1 t))) z)) in y
0.829 * [taylor]: Taking taylor expansion of 0.5 in y
0.829 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 y) (/ 1 t))) z) in y
0.829 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.829 * [taylor]: Taking taylor expansion of x in y
0.829 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.829 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.829 * [taylor]: Taking taylor expansion of y in y
0.830 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.830 * [taylor]: Taking taylor expansion of t in y
0.830 * [taylor]: Taking taylor expansion of z in y
0.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 y) (/ 1 t))) z)) in x
0.830 * [taylor]: Taking taylor expansion of 0.5 in x
0.830 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 y) (/ 1 t))) z) in x
0.830 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.830 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.830 * [taylor]: Taking taylor expansion of y in x
0.830 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.830 * [taylor]: Taking taylor expansion of t in x
0.830 * [taylor]: Taking taylor expansion of z in x
0.831 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 y) (/ 1 t))) z)) in z
0.831 * [taylor]: Taking taylor expansion of 0.5 in z
0.831 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 y) (/ 1 t))) z) in z
0.831 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.831 * [taylor]: Taking taylor expansion of x in z
0.831 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.831 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.832 * [taylor]: Taking taylor expansion of y in z
0.832 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.832 * [taylor]: Taking taylor expansion of t in z
0.832 * [taylor]: Taking taylor expansion of z in z
0.832 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 y) (/ 1 t))) z)) in z
0.832 * [taylor]: Taking taylor expansion of 0.5 in z
0.832 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 y) (/ 1 t))) z) in z
0.832 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.832 * [taylor]: Taking taylor expansion of x in z
0.832 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.832 * [taylor]: Taking taylor expansion of y in z
0.832 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.832 * [taylor]: Taking taylor expansion of t in z
0.832 * [taylor]: Taking taylor expansion of z in z
0.832 * [taylor]: Taking taylor expansion of (* 0.5 (* x (- (/ 1 y) (/ 1 t)))) in x
0.832 * [taylor]: Taking taylor expansion of 0.5 in x
0.832 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.832 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.832 * [taylor]: Taking taylor expansion of y in x
0.832 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.833 * [taylor]: Taking taylor expansion of t in x
0.834 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 t))) in y
0.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.834 * [taylor]: Taking taylor expansion of 0.5 in y
0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
0.834 * [taylor]: Taking taylor expansion of 0.5 in y
0.834 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.834 * [taylor]: Taking taylor expansion of t in y
0.835 * [taylor]: Taking taylor expansion of 0.5 in t
0.837 * [taylor]: Taking taylor expansion of 0 in x
0.837 * [taylor]: Taking taylor expansion of 0 in y
0.838 * [taylor]: Taking taylor expansion of 0 in y
0.839 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 t))) in t
0.839 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t
0.839 * [taylor]: Taking taylor expansion of 0.5 in t
0.839 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.839 * [taylor]: Taking taylor expansion of t in t
0.843 * [taylor]: Taking taylor expansion of 0 in x
0.843 * [taylor]: Taking taylor expansion of 0 in y
0.843 * [taylor]: Taking taylor expansion of 0 in y
0.845 * [taylor]: Taking taylor expansion of 0 in y
0.845 * [taylor]: Taking taylor expansion of 0 in t
0.845 * [taylor]: Taking taylor expansion of 0 in t
0.847 * [taylor]: Taking taylor expansion of 0 in t
0.851 * [taylor]: Taking taylor expansion of 0 in x
0.851 * [taylor]: Taking taylor expansion of 0 in y
0.851 * [taylor]: Taking taylor expansion of 0 in y
0.851 * [taylor]: Taking taylor expansion of 0 in y
0.853 * [taylor]: Taking taylor expansion of 0 in y
0.854 * [taylor]: Taking taylor expansion of 0 in t
0.854 * [taylor]: Taking taylor expansion of 0 in t
0.854 * [taylor]: Taking taylor expansion of 0 in t
0.854 * [taylor]: Taking taylor expansion of 0 in t
0.854 * [taylor]: Taking taylor expansion of 0 in t
0.860 * [taylor]: Taking taylor expansion of 0 in t
0.862 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 t) (/ 1 y))) z)) in (z x y t) around 0
0.862 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 t) (/ 1 y))) z)) in t
0.862 * [taylor]: Taking taylor expansion of 0.5 in t
0.862 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 t) (/ 1 y))) z) in t
0.862 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.862 * [taylor]: Taking taylor expansion of x in t
0.862 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.862 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.862 * [taylor]: Taking taylor expansion of t in t
0.862 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.862 * [taylor]: Taking taylor expansion of y in t
0.862 * [taylor]: Taking taylor expansion of z in t
0.863 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 t) (/ 1 y))) z)) in y
0.863 * [taylor]: Taking taylor expansion of 0.5 in y
0.863 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 t) (/ 1 y))) z) in y
0.863 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.863 * [taylor]: Taking taylor expansion of x in y
0.863 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.863 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.863 * [taylor]: Taking taylor expansion of t in y
0.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.863 * [taylor]: Taking taylor expansion of y in y
0.863 * [taylor]: Taking taylor expansion of z in y
0.864 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 t) (/ 1 y))) z)) in x
0.864 * [taylor]: Taking taylor expansion of 0.5 in x
0.864 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 t) (/ 1 y))) z) in x
0.864 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.864 * [taylor]: Taking taylor expansion of x in x
0.864 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.864 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.864 * [taylor]: Taking taylor expansion of t in x
0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.864 * [taylor]: Taking taylor expansion of y in x
0.864 * [taylor]: Taking taylor expansion of z in x
0.865 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 t) (/ 1 y))) z)) in z
0.865 * [taylor]: Taking taylor expansion of 0.5 in z
0.865 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 t) (/ 1 y))) z) in z
0.865 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.865 * [taylor]: Taking taylor expansion of x in z
0.865 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.865 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.865 * [taylor]: Taking taylor expansion of t in z
0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.865 * [taylor]: Taking taylor expansion of y in z
0.865 * [taylor]: Taking taylor expansion of z in z
0.865 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x (- (/ 1 t) (/ 1 y))) z)) in z
0.865 * [taylor]: Taking taylor expansion of 0.5 in z
0.865 * [taylor]: Taking taylor expansion of (/ (* x (- (/ 1 t) (/ 1 y))) z) in z
0.865 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.865 * [taylor]: Taking taylor expansion of x in z
0.865 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.865 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.865 * [taylor]: Taking taylor expansion of t in z
0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.866 * [taylor]: Taking taylor expansion of y in z
0.866 * [taylor]: Taking taylor expansion of z in z
0.866 * [taylor]: Taking taylor expansion of (* 0.5 (* x (- (/ 1 t) (/ 1 y)))) in x
0.866 * [taylor]: Taking taylor expansion of 0.5 in x
0.866 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.866 * [taylor]: Taking taylor expansion of x in x
0.866 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.866 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.866 * [taylor]: Taking taylor expansion of t in x
0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.866 * [taylor]: Taking taylor expansion of y in x
0.867 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 t)) (* 0.5 (/ 1 y))) in y
0.867 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
0.867 * [taylor]: Taking taylor expansion of 0.5 in y
0.867 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.867 * [taylor]: Taking taylor expansion of t in y
0.867 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.867 * [taylor]: Taking taylor expansion of 0.5 in y
0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.868 * [taylor]: Taking taylor expansion of y in y
0.869 * [taylor]: Taking taylor expansion of (- 0.5) in t
0.869 * [taylor]: Taking taylor expansion of 0.5 in t
0.871 * [taylor]: Taking taylor expansion of 0 in x
0.871 * [taylor]: Taking taylor expansion of 0 in y
0.872 * [taylor]: Taking taylor expansion of 0 in y
0.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t
0.873 * [taylor]: Taking taylor expansion of 0.5 in t
0.873 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.873 * [taylor]: Taking taylor expansion of t in t
0.877 * [taylor]: Taking taylor expansion of 0 in x
0.877 * [taylor]: Taking taylor expansion of 0 in y
0.877 * [taylor]: Taking taylor expansion of 0 in y
0.879 * [taylor]: Taking taylor expansion of 0 in y
0.879 * [taylor]: Taking taylor expansion of 0 in t
0.879 * [taylor]: Taking taylor expansion of 0 in t
0.881 * [taylor]: Taking taylor expansion of 0 in t
0.885 * [taylor]: Taking taylor expansion of 0 in x
0.885 * [taylor]: Taking taylor expansion of 0 in y
0.885 * [taylor]: Taking taylor expansion of 0 in y
0.885 * [taylor]: Taking taylor expansion of 0 in y
0.888 * [taylor]: Taking taylor expansion of 0 in y
0.888 * [taylor]: Taking taylor expansion of 0 in t
0.888 * [taylor]: Taking taylor expansion of 0 in t
0.888 * [taylor]: Taking taylor expansion of 0 in t
0.888 * [taylor]: Taking taylor expansion of 0 in t
0.888 * [taylor]: Taking taylor expansion of 0 in t
0.890 * [taylor]: Taking taylor expansion of 0 in t
0.891 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.892 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (z x y t) around 0
0.892 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t
0.892 * [taylor]: Taking taylor expansion of 2.0 in t
0.892 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t
0.892 * [taylor]: Taking taylor expansion of x in t
0.892 * [taylor]: Taking taylor expansion of (* (- y t) z) in t
0.892 * [taylor]: Taking taylor expansion of (- y t) in t
0.892 * [taylor]: Taking taylor expansion of y in t
0.892 * [taylor]: Taking taylor expansion of t in t
0.892 * [taylor]: Taking taylor expansion of z in t
0.892 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y
0.892 * [taylor]: Taking taylor expansion of 2.0 in y
0.892 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y
0.892 * [taylor]: Taking taylor expansion of x in y
0.892 * [taylor]: Taking taylor expansion of (* (- y t) z) in y
0.892 * [taylor]: Taking taylor expansion of (- y t) in y
0.892 * [taylor]: Taking taylor expansion of y in y
0.892 * [taylor]: Taking taylor expansion of t in y
0.892 * [taylor]: Taking taylor expansion of z in y
0.892 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x
0.892 * [taylor]: Taking taylor expansion of 2.0 in x
0.892 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (* (- y t) z) in x
0.892 * [taylor]: Taking taylor expansion of (- y t) in x
0.892 * [taylor]: Taking taylor expansion of y in x
0.893 * [taylor]: Taking taylor expansion of t in x
0.893 * [taylor]: Taking taylor expansion of z in x
0.893 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.893 * [taylor]: Taking taylor expansion of 2.0 in z
0.893 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.893 * [taylor]: Taking taylor expansion of x in z
0.893 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.893 * [taylor]: Taking taylor expansion of (- y t) in z
0.893 * [taylor]: Taking taylor expansion of y in z
0.893 * [taylor]: Taking taylor expansion of t in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.894 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z
0.894 * [taylor]: Taking taylor expansion of 2.0 in z
0.894 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z
0.894 * [taylor]: Taking taylor expansion of x in z
0.894 * [taylor]: Taking taylor expansion of (* (- y t) z) in z
0.894 * [taylor]: Taking taylor expansion of (- y t) in z
0.894 * [taylor]: Taking taylor expansion of y in z
0.894 * [taylor]: Taking taylor expansion of t in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.895 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (- y t))) in x
0.895 * [taylor]: Taking taylor expansion of 2.0 in x
0.895 * [taylor]: Taking taylor expansion of (/ x (- y t)) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (- y t) in x
0.895 * [taylor]: Taking taylor expansion of y in x
0.895 * [taylor]: Taking taylor expansion of t in x
0.895 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y
0.895 * [taylor]: Taking taylor expansion of 2.0 in y
0.895 * [taylor]: Taking taylor expansion of (- y t) in y
0.895 * [taylor]: Taking taylor expansion of y in y
0.895 * [taylor]: Taking taylor expansion of t in y
0.895 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t
0.895 * [taylor]: Taking taylor expansion of -2.0 in t
0.895 * [taylor]: Taking taylor expansion of t in t
0.897 * [taylor]: Taking taylor expansion of 0 in x
0.897 * [taylor]: Taking taylor expansion of 0 in y
0.897 * [taylor]: Taking taylor expansion of 0 in t
0.898 * [taylor]: Taking taylor expansion of 0 in y
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.899 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t
0.899 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t
0.899 * [taylor]: Taking taylor expansion of 2.0 in t
0.899 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
0.899 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.899 * [taylor]: Taking taylor expansion of t in t
0.904 * [taylor]: Taking taylor expansion of 0 in x
0.904 * [taylor]: Taking taylor expansion of 0 in y
0.904 * [taylor]: Taking taylor expansion of 0 in t
0.904 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (z x y t) around 0
0.904 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t
0.904 * [taylor]: Taking taylor expansion of 2.0 in t
0.904 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t
0.904 * [taylor]: Taking taylor expansion of z in t
0.904 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t
0.904 * [taylor]: Taking taylor expansion of x in t
0.904 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t
0.904 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.904 * [taylor]: Taking taylor expansion of y in t
0.904 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.904 * [taylor]: Taking taylor expansion of t in t
0.905 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y
0.905 * [taylor]: Taking taylor expansion of 2.0 in y
0.905 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y
0.905 * [taylor]: Taking taylor expansion of z in y
0.905 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y
0.905 * [taylor]: Taking taylor expansion of x in y
0.905 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.905 * [taylor]: Taking taylor expansion of y in y
0.905 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.905 * [taylor]: Taking taylor expansion of t in y
0.906 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x
0.906 * [taylor]: Taking taylor expansion of 2.0 in x
0.906 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x
0.906 * [taylor]: Taking taylor expansion of z in x
0.906 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.906 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.906 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.906 * [taylor]: Taking taylor expansion of y in x
0.906 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.906 * [taylor]: Taking taylor expansion of t in x
0.907 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.907 * [taylor]: Taking taylor expansion of 2.0 in z
0.907 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.907 * [taylor]: Taking taylor expansion of z in z
0.907 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.907 * [taylor]: Taking taylor expansion of x in z
0.907 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.907 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.907 * [taylor]: Taking taylor expansion of y in z
0.907 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.907 * [taylor]: Taking taylor expansion of t in z
0.907 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z
0.908 * [taylor]: Taking taylor expansion of 2.0 in z
0.908 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z
0.908 * [taylor]: Taking taylor expansion of z in z
0.908 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z
0.908 * [taylor]: Taking taylor expansion of x in z
0.908 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z
0.908 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.908 * [taylor]: Taking taylor expansion of y in z
0.908 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.908 * [taylor]: Taking taylor expansion of t in z
0.908 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (- (/ 1 y) (/ 1 t)))) in x
0.908 * [taylor]: Taking taylor expansion of 2.0 in x
0.908 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.908 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x
0.908 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.908 * [taylor]: Taking taylor expansion of y in x
0.908 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.908 * [taylor]: Taking taylor expansion of t in x
0.909 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y
0.909 * [taylor]: Taking taylor expansion of 2.0 in y
0.909 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y
0.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.909 * [taylor]: Taking taylor expansion of y in y
0.910 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.910 * [taylor]: Taking taylor expansion of t in y
0.910 * [taylor]: Taking taylor expansion of 2.0 in t
0.912 * [taylor]: Taking taylor expansion of 0 in x
0.913 * [taylor]: Taking taylor expansion of 0 in y
0.913 * [taylor]: Taking taylor expansion of 0 in t
0.914 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.914 * [taylor]: Taking taylor expansion of 2.0 in t
0.914 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.914 * [taylor]: Taking taylor expansion of t in t
0.918 * [taylor]: Taking taylor expansion of 0 in x
0.918 * [taylor]: Taking taylor expansion of 0 in y
0.918 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (z x y t) around 0
0.920 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t
0.920 * [taylor]: Taking taylor expansion of 2.0 in t
0.920 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t
0.920 * [taylor]: Taking taylor expansion of z in t
0.920 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t
0.920 * [taylor]: Taking taylor expansion of x in t
0.920 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t
0.920 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.920 * [taylor]: Taking taylor expansion of t in t
0.921 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.921 * [taylor]: Taking taylor expansion of y in t
0.921 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y
0.921 * [taylor]: Taking taylor expansion of 2.0 in y
0.921 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y
0.921 * [taylor]: Taking taylor expansion of z in y
0.921 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y
0.921 * [taylor]: Taking taylor expansion of x in y
0.921 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.921 * [taylor]: Taking taylor expansion of t in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.922 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x
0.922 * [taylor]: Taking taylor expansion of 2.0 in x
0.922 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x
0.922 * [taylor]: Taking taylor expansion of z in x
0.922 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.922 * [taylor]: Taking taylor expansion of x in x
0.922 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.922 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.922 * [taylor]: Taking taylor expansion of t in x
0.922 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.922 * [taylor]: Taking taylor expansion of y in x
0.923 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.923 * [taylor]: Taking taylor expansion of 2.0 in z
0.923 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.923 * [taylor]: Taking taylor expansion of z in z
0.923 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.923 * [taylor]: Taking taylor expansion of x in z
0.923 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.923 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.923 * [taylor]: Taking taylor expansion of t in z
0.923 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.923 * [taylor]: Taking taylor expansion of y in z
0.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z
0.924 * [taylor]: Taking taylor expansion of 2.0 in z
0.924 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z
0.924 * [taylor]: Taking taylor expansion of z in z
0.924 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z
0.924 * [taylor]: Taking taylor expansion of x in z
0.924 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z
0.924 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.924 * [taylor]: Taking taylor expansion of t in z
0.924 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.924 * [taylor]: Taking taylor expansion of y in z
0.924 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (- (/ 1 t) (/ 1 y)))) in x
0.924 * [taylor]: Taking taylor expansion of 2.0 in x
0.924 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x
0.924 * [taylor]: Taking taylor expansion of x in x
0.924 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x
0.924 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.924 * [taylor]: Taking taylor expansion of t in x
0.924 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.924 * [taylor]: Taking taylor expansion of y in x
0.925 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y
0.925 * [taylor]: Taking taylor expansion of 2.0 in y
0.925 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y
0.925 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.925 * [taylor]: Taking taylor expansion of t in y
0.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.926 * [taylor]: Taking taylor expansion of y in y
0.927 * [taylor]: Taking taylor expansion of -2.0 in t
0.928 * [taylor]: Taking taylor expansion of 0 in x
0.929 * [taylor]: Taking taylor expansion of 0 in y
0.929 * [taylor]: Taking taylor expansion of 0 in t
0.930 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t
0.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t
0.930 * [taylor]: Taking taylor expansion of 2.0 in t
0.930 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.930 * [taylor]: Taking taylor expansion of t in t
0.934 * [taylor]: Taking taylor expansion of 0 in x
0.934 * [taylor]: Taking taylor expansion of 0 in y
0.934 * [taylor]: Taking taylor expansion of 0 in t
0.936 * [taylor]: Taking taylor expansion of 0 in y
0.936 * [taylor]: Taking taylor expansion of 0 in t
0.936 * * * [progress]: simplifying candidates
0.937 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (- y t))
  (* x 2.0)
  (* z (- (- y t)))
  (* x (- 2.0))
  (* z 1)
  (* x (/ 2.0 (- y t)))
  (* z (- (pow y 3) (pow t 3)))
  (* x (* 2.0 (+ (* y y) (+ (* t t) (* y t)))))
  (* z (- (* y y) (* t t)))
  (* x (* 2.0 (+ y t)))
  (* (- z) (- y t))
  (* (- x) 2.0)
  (* (- z) (- (- y t)))
  (* (- x) (- 2.0))
  (* (- z) 1)
  (* (- x) (/ 2.0 (- y t)))
  (* (- z) (- (pow y 3) (pow t 3)))
  (* (- x) (* 2.0 (+ (* y y) (+ (* t t) (* y t)))))
  (* (- z) (- (* y y) (* t t)))
  (* (- x) (* 2.0 (+ y t)))
  (* 1 (- y t))
  (* (/ x z) 2.0)
  (* 1 (- (- y t)))
  (* (/ x z) (- 2.0))
  (* 1 1)
  (* (/ x z) (/ 2.0 (- y t)))
  (* 1 (- (pow y 3) (pow t 3)))
  (* (/ x z) (* 2.0 (+ (* y y) (+ (* t t) (* y t)))))
  (* 1 (- (* y y) (* t t)))
  (* (/ x z) (* 2.0 (+ y t)))
  (* (/ z x) (- y t))
  (* (/ 1 x) (/ (- y t) 2.0))
  (* (/ z x) (- y t))
  (* (/ z x) (- (- y t)))
  (* (/ z x) 1)
  (* (/ z x) (- (pow y 3) (pow t 3)))
  (* (/ z x) (- (* y y) (* t t)))
  (* z (/ (- y t) 2.0))
  (* (- z) (/ (- y t) 2.0))
  (* 1 (/ (- y t) 2.0))
  (- 1)
  (- (* (/ z x) (/ (- y t) 2.0)))
  (/ 1 (* (/ z x) (/ (- y t) 2.0)))
  (/ (* (/ z x) (/ (- y t) 2.0)) 1)
  (/ 1 (/ z x))
  (/ 1 (* (/ z x) (- y t)))
  (/ 1 z)
  (/ 1 (/ (- y t) 2.0))
  (/ 1 (* z (- y t)))
  (/ 1 (* z (- (- y t))))
  (/ 1 (* z 1))
  (/ 1 (* z (- (pow y 3) (pow t 3))))
  (/ 1 (* z (- (* y y) (* t t))))
  (/ 1 (* (- z) (- y t)))
  (/ 1 (* (- z) (- (- y t))))
  (/ 1 (* (- z) 1))
  (/ 1 (* (- z) (- (pow y 3) (pow t 3))))
  (/ 1 (* (- z) (- (* y y) (* t t))))
  (/ 1 (* 1 (- y t)))
  (/ 1 (* 1 (- (- y t))))
  (/ 1 (* 1 1))
  (/ 1 (* 1 (- (pow y 3) (pow t 3))))
  (/ 1 (* 1 (- (* y y) (* t t))))
  (/ 1 (/ z x))
  (/ 1 (* (/ z x) (- y t)))
  (/ 1 (* (/ z x) (- (- y t))))
  (/ 1 (* (/ z x) 1))
  (/ 1 (* (/ z x) (- (pow y 3) (pow t 3))))
  (/ 1 (* (/ z x) (- (* y y) (* t t))))
  (/ 1 (* z (/ (- y t) 2.0)))
  (/ 1 (* (- z) (/ (- y t) 2.0)))
  (/ 1 (* 1 (/ (- y t) 2.0)))
  (- (* 0.5 (/ (* z y) x)) (* 0.5 (/ (* t z) x)))
  (- (* 0.5 (/ (* z y) x)) (* 0.5 (/ (* t z) x)))
  (- (* 0.5 (/ (* z y) x)) (* 0.5 (/ (* t z) x)))
  0
  0
  0
0.947 * * [simplify]: iteration  0 :  283  enodes  (cost  259 )
0.953 * * [simplify]: iteration  1 :  1301  enodes  (cost  253 )
0.980 * * [simplify]: iteration  2 :  5001  enodes  (cost  244 )
0.982 * [simplify]: Simplified to:
   (* z (- y t))
  (* x 2.0)
  (* (- z) (- y t))
  (* (- x) 2.0)
  z
  (* x (/ 2.0 (- y t)))
  (* z (- (pow y 3) (pow t 3)))
  (* (* x 2.0) (fma y y (fma t t (* y t))))
  (* z (- (* y y) (* t t)))
  (* x (* 2.0 (+ y t)))
  (* (- z) (- y t))
  (* (- x) 2.0)
  (* z (- y t))
  (* x 2.0)
  (- z)
  (* (- x) (/ 2.0 (- y t)))
  (* (- z) (- (pow y 3) (pow t 3)))
  (* (* (- x) 2.0) (fma y y (fma t t (* y t))))
  (* (- z) (- (* y y) (* t t)))
  (* (- x) (* 2.0 (+ y t)))
  (- y t)
  (* (/ x z) 2.0)
  (- (- y t))
  (* (/ x z) (- 2.0))
  1
  (* (/ x z) (/ 2.0 (- y t)))
  (- (pow y 3) (pow t 3))
  (* (* (/ x z) 2.0) (fma y y (fma t t (* y t))))
  (- (* y y) (* t t))
  (* (/ x z) (* 2.0 (+ y t)))
  (* (/ z x) (- y t))
  (/ (/ (- y t) 2.0) x)
  (* (/ z x) (- y t))
  (* (/ z x) (- (- y t)))
  (/ z x)
  (* (/ z x) (- (pow y 3) (pow t 3)))
  (* (/ z x) (- (* y y) (* t t)))
  (* z (/ (- y t) 2.0))
  (* (- z) (/ (- y t) 2.0))
  (/ (- y t) 2.0)
  (- 1)
  (- (* (/ z x) (/ (- y t) 2.0)))
  (* (/ x z) (/ 2.0 (- y t)))
  (* (/ z x) (/ (- y t) 2.0))
  (/ x z)
  (/ (/ x z) (- y t))
  (/ 1 z)
  (/ 2.0 (- y t))
  (/ 1 (* z (- y t)))
  (/ 1 (* (- z) (- y t)))
  (/ 1 z)
  (/ 1 (* z (- (pow y 3) (pow t 3))))
  (/ 1 (* z (- (* y y) (* t t))))
  (/ 1 (* (- z) (- y t)))
  (/ 1 (* z (- y t)))
  (/ 1 (- z))
  (/ 1 (* (- z) (- (pow y 3) (pow t 3))))
  (/ 1 (* (- z) (- (* y y) (* t t))))
  (/ 1 (- y t))
  (/ 1 (- (- y t)))
  1
  (/ 1 (- (pow y 3) (pow t 3)))
  (/ 1 (- (* y y) (* t t)))
  (/ x z)
  (/ (/ x z) (- y t))
  (/ 1 (* (/ z x) (- (- y t))))
  (/ x z)
  (/ 1 (* (/ z x) (- (pow y 3) (pow t 3))))
  (/ 1 (* (/ z x) (- (* y y) (* t t))))
  (/ (/ 2.0 (- y t)) z)
  (/ 1 (* (- z) (/ (- y t) 2.0)))
  (/ 2.0 (- y t))
  (* 0.5 (- (/ (* z y) x) (/ (* t z) x)))
  (* 0.5 (- (/ (* z y) x) (/ (* t z) x)))
  (* 0.5 (- (/ (* z y) x) (/ (* t z) x)))
  0
  0
  0
0.983 * * * [progress]: adding candidates to table
1.138 * [progress]: [Phase 3 of 3] Extracting.
1.138 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))> #<alt (λ (x y z t) (/ (* x (/ 2.0 (- y t))) z))> #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))> #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>)
1.139 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
1.139 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))> #<alt (λ (x y z t) (/ (* x (/ 2.0 (- y t))) z))> #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))> #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>)
1.180 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))> #<alt (λ (x y z t) (/ (* x (/ 2.0 (- y t))) z))> #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))> #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>)
1.212 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))> #<alt (λ (x y z t) (/ (* x (/ 2.0 (- y t))) z))> #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))> #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>)
1.238 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))> #<alt (λ (x y z t) (/ (* x (/ 2.0 (- y t))) z))> #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))> #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>)
1.270 * * * [regime]: Found split indices: #<option (#s(si 2 36) #s(si 4 178) #s(si 2 255))>
1.271 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))> #<alt (λ (x y z t) (/ (* x (/ 2.0 (- y t))) z))> #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))> #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>)
1.337 * [regimes]: Found splitpoints: (#s(sp 2 x -6.501064448897589e+94) #s(sp 4 x 3.861992641392967e-62) #s(sp 2 x +nan.0)) , with alts (#<alt (λ (x y z t) (* (* (/ x z) (/ 2.0 (- (* y y) (* t t)))) (+ y t)))> #<alt (λ (x y z t) (/ 1 (* (/ z x) (/ (- y t) 2.0))))> #<alt (λ (x y z t) (/ (* x (/ 2.0 (- y t))) z))> #<alt (λ (x y z t) (* x (/ (/ 2.0 (- y t)) z)))> #<alt (λ (x y z t) (/ x (/ (* z (- y t)) 2.0)))>)
1.337 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -6.501064448897589e+94) (/ (* x (/ 2.0 (- y t))) z) (if (<= x 3.861992641392967e-62) (/ x (/ (* z (- y t)) 2.0)) (/ (* x (/ 2.0 (- y t))) z)))
1.338 * * [simplify]: iteration  0 :  23  enodes  (cost  8 )
1.338 * * [simplify]: iteration  1 :  23  enodes  (cost  8 )
1.338 * [simplify]: Simplified to:
   (if (or (<= x -6.501064448897589e+94) (not (<= x 3.861992641392967e-62))) (/ (* x (/ 2.0 (- y t))) z) (/ x (/ (* z (- y t)) 2.0)))
2.000 * [regime-testing]: Baseline error score: 5.585654100914951
2.000 * [regime-testing]: Oracle error score: 0.028378547318414802
2.001 * [regime-testing]: End program error score: 2.6346748105701314
2.030 * [regime-testing]: Target error score: 2.0544725123530685