4.591 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- x y) (- z y)) t)
0.018 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.019 * * [simplify]: iteration  1 :  17  enodes  (cost  9 )
0.021 * * [simplify]: iteration  2 :  24  enodes  (cost  9 )
0.024 * * [simplify]: iteration  3 :  48  enodes  (cost  9 )
0.029 * * [simplify]: iteration  4 :  77  enodes  (cost  9 )
0.038 * * [simplify]: iteration  5 :  104  enodes  (cost  9 )
0.051 * * [simplify]: iteration  6 :  129  enodes  (cost  9 )
0.069 * * [simplify]: iteration  7 :  145  enodes  (cost  9 )
0.088 * * [simplify]: iteration  8 :  158  enodes  (cost  9 )
0.110 * * [simplify]: iteration  9 :  164  enodes  (cost  9 )
0.129 * * [simplify]: iteration  done :  164  enodes  (cost  9 )
0.129 * [simplify]: Simplified to:
   (* (/ (- x y) (- z y)) t)
0.129 * * [progress]: iteration 1 / 4
0.129 * * * [progress]: picking best candidate
0.131 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ (- x y) (- z y)) t))>
0.131 * * * [progress]: localizing error
0.137 * * * [progress]: generating rewritten candidates
0.137 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.163 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.180 * * * [progress]: generating series expansions
0.180 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.180 * [approximate]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in (x y z t) around 0
0.180 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in t
0.180 * [taylor]: Taking taylor expansion of (* t (- x y)) in t
0.180 * [taylor]: Taking taylor expansion of t in t
0.180 * [taylor]: Taking taylor expansion of (- x y) in t
0.180 * [taylor]: Taking taylor expansion of x in t
0.180 * [taylor]: Taking taylor expansion of y in t
0.180 * [taylor]: Taking taylor expansion of (- z y) in t
0.180 * [taylor]: Taking taylor expansion of z in t
0.180 * [taylor]: Taking taylor expansion of y in t
0.181 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in z
0.181 * [taylor]: Taking taylor expansion of (* t (- x y)) in z
0.181 * [taylor]: Taking taylor expansion of t in z
0.181 * [taylor]: Taking taylor expansion of (- x y) in z
0.181 * [taylor]: Taking taylor expansion of x in z
0.181 * [taylor]: Taking taylor expansion of y in z
0.181 * [taylor]: Taking taylor expansion of (- z y) in z
0.181 * [taylor]: Taking taylor expansion of z in z
0.181 * [taylor]: Taking taylor expansion of y in z
0.181 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in y
0.181 * [taylor]: Taking taylor expansion of (* t (- x y)) in y
0.181 * [taylor]: Taking taylor expansion of t in y
0.182 * [taylor]: Taking taylor expansion of (- x y) in y
0.182 * [taylor]: Taking taylor expansion of x in y
0.182 * [taylor]: Taking taylor expansion of y in y
0.182 * [taylor]: Taking taylor expansion of (- z y) in y
0.182 * [taylor]: Taking taylor expansion of z in y
0.182 * [taylor]: Taking taylor expansion of y in y
0.182 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in x
0.182 * [taylor]: Taking taylor expansion of (* t (- x y)) in x
0.182 * [taylor]: Taking taylor expansion of t in x
0.182 * [taylor]: Taking taylor expansion of (- x y) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of y in x
0.182 * [taylor]: Taking taylor expansion of (- z y) in x
0.182 * [taylor]: Taking taylor expansion of z in x
0.182 * [taylor]: Taking taylor expansion of y in x
0.182 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in x
0.183 * [taylor]: Taking taylor expansion of (* t (- x y)) in x
0.183 * [taylor]: Taking taylor expansion of t in x
0.183 * [taylor]: Taking taylor expansion of (- x y) in x
0.183 * [taylor]: Taking taylor expansion of x in x
0.183 * [taylor]: Taking taylor expansion of y in x
0.183 * [taylor]: Taking taylor expansion of (- z y) in x
0.183 * [taylor]: Taking taylor expansion of z in x
0.183 * [taylor]: Taking taylor expansion of y in x
0.183 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) (- z y))) in y
0.183 * [taylor]: Taking taylor expansion of -1 in y
0.183 * [taylor]: Taking taylor expansion of (/ (* t y) (- z y)) in y
0.183 * [taylor]: Taking taylor expansion of (* t y) in y
0.183 * [taylor]: Taking taylor expansion of t in y
0.183 * [taylor]: Taking taylor expansion of y in y
0.183 * [taylor]: Taking taylor expansion of (- z y) in y
0.183 * [taylor]: Taking taylor expansion of z in y
0.183 * [taylor]: Taking taylor expansion of y in y
0.185 * [taylor]: Taking taylor expansion of (/ t (- z y)) in y
0.185 * [taylor]: Taking taylor expansion of t in y
0.185 * [taylor]: Taking taylor expansion of (- z y) in y
0.185 * [taylor]: Taking taylor expansion of z in y
0.185 * [taylor]: Taking taylor expansion of y in y
0.185 * [taylor]: Taking taylor expansion of (/ t z) in z
0.185 * [taylor]: Taking taylor expansion of t in z
0.185 * [taylor]: Taking taylor expansion of z in z
0.186 * [taylor]: Taking taylor expansion of 0 in t
0.186 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z
0.186 * [taylor]: Taking taylor expansion of -1 in z
0.186 * [taylor]: Taking taylor expansion of (/ t z) in z
0.186 * [taylor]: Taking taylor expansion of t in z
0.186 * [taylor]: Taking taylor expansion of z in z
0.187 * [taylor]: Taking taylor expansion of 0 in t
0.188 * [taylor]: Taking taylor expansion of 0 in y
0.188 * [taylor]: Taking taylor expansion of 0 in z
0.188 * [taylor]: Taking taylor expansion of 0 in t
0.189 * [taylor]: Taking taylor expansion of (/ t (pow z 2)) in z
0.189 * [taylor]: Taking taylor expansion of t in z
0.189 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.189 * [taylor]: Taking taylor expansion of z in z
0.191 * [taylor]: Taking taylor expansion of 0 in t
0.193 * [taylor]: Taking taylor expansion of (- (/ t (pow z 2))) in z
0.193 * [taylor]: Taking taylor expansion of (/ t (pow z 2)) in z
0.193 * [taylor]: Taking taylor expansion of t in z
0.193 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.193 * [taylor]: Taking taylor expansion of z in z
0.195 * [taylor]: Taking taylor expansion of 0 in t
0.196 * [taylor]: Taking taylor expansion of 0 in t
0.197 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in (x y z t) around 0
0.197 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in t
0.197 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.197 * [taylor]: Taking taylor expansion of x in t
0.197 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.197 * [taylor]: Taking taylor expansion of y in t
0.197 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in t
0.197 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.197 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.197 * [taylor]: Taking taylor expansion of z in t
0.197 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.197 * [taylor]: Taking taylor expansion of y in t
0.197 * [taylor]: Taking taylor expansion of t in t
0.198 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in z
0.198 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.198 * [taylor]: Taking taylor expansion of x in z
0.198 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.198 * [taylor]: Taking taylor expansion of y in z
0.199 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in z
0.199 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.199 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.199 * [taylor]: Taking taylor expansion of z in z
0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.199 * [taylor]: Taking taylor expansion of y in z
0.199 * [taylor]: Taking taylor expansion of t in z
0.199 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in y
0.199 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.199 * [taylor]: Taking taylor expansion of x in y
0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.199 * [taylor]: Taking taylor expansion of y in y
0.200 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in y
0.200 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.200 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.200 * [taylor]: Taking taylor expansion of z in y
0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.200 * [taylor]: Taking taylor expansion of y in y
0.200 * [taylor]: Taking taylor expansion of t in y
0.201 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in x
0.201 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.201 * [taylor]: Taking taylor expansion of y in x
0.201 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in x
0.201 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.201 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.202 * [taylor]: Taking taylor expansion of z in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.202 * [taylor]: Taking taylor expansion of y in x
0.202 * [taylor]: Taking taylor expansion of t in x
0.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in x
0.202 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.202 * [taylor]: Taking taylor expansion of y in x
0.202 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in x
0.202 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.203 * [taylor]: Taking taylor expansion of z in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [taylor]: Taking taylor expansion of t in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 y)))) in y
0.203 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 y))) in y
0.203 * [taylor]: Taking taylor expansion of t in y
0.203 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.203 * [taylor]: Taking taylor expansion of z in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.203 * [taylor]: Taking taylor expansion of y in y
0.205 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* y (- (/ 1 z) (/ 1 y)))))) in y
0.206 * [taylor]: Taking taylor expansion of (/ 1 (* t (* y (- (/ 1 z) (/ 1 y))))) in y
0.206 * [taylor]: Taking taylor expansion of (* t (* y (- (/ 1 z) (/ 1 y)))) in y
0.206 * [taylor]: Taking taylor expansion of t in y
0.206 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y
0.206 * [taylor]: Taking taylor expansion of y in y
0.206 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.206 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.206 * [taylor]: Taking taylor expansion of z in y
0.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.206 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.208 * [taylor]: Taking taylor expansion of t in z
0.208 * [taylor]: Taking taylor expansion of 0 in t
0.208 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.208 * [taylor]: Taking taylor expansion of -1 in z
0.208 * [taylor]: Taking taylor expansion of t in z
0.208 * [taylor]: Taking taylor expansion of 0 in t
0.211 * [taylor]: Taking taylor expansion of 0 in y
0.211 * [taylor]: Taking taylor expansion of 0 in z
0.211 * [taylor]: Taking taylor expansion of 0 in t
0.213 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.213 * [taylor]: Taking taylor expansion of (* t z) in z
0.213 * [taylor]: Taking taylor expansion of t in z
0.213 * [taylor]: Taking taylor expansion of z in z
0.214 * [taylor]: Taking taylor expansion of 0 in t
0.216 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.216 * [taylor]: Taking taylor expansion of (* t z) in z
0.216 * [taylor]: Taking taylor expansion of t in z
0.216 * [taylor]: Taking taylor expansion of z in z
0.217 * [taylor]: Taking taylor expansion of 0 in t
0.217 * [taylor]: Taking taylor expansion of 0 in t
0.217 * [taylor]: Taking taylor expansion of 0 in t
0.220 * [taylor]: Taking taylor expansion of 0 in y
0.220 * [taylor]: Taking taylor expansion of 0 in z
0.220 * [taylor]: Taking taylor expansion of 0 in t
0.220 * [taylor]: Taking taylor expansion of 0 in z
0.220 * [taylor]: Taking taylor expansion of 0 in t
0.223 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.223 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.223 * [taylor]: Taking taylor expansion of t in z
0.223 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.223 * [taylor]: Taking taylor expansion of z in z
0.226 * [taylor]: Taking taylor expansion of 0 in t
0.228 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (pow z 2)))) in z
0.228 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.228 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.228 * [taylor]: Taking taylor expansion of t in z
0.228 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.228 * [taylor]: Taking taylor expansion of z in z
0.234 * [taylor]: Taking taylor expansion of 0 in t
0.235 * [taylor]: Taking taylor expansion of 0 in t
0.235 * [taylor]: Taking taylor expansion of 0 in t
0.236 * [taylor]: Taking taylor expansion of 0 in t
0.236 * [taylor]: Taking taylor expansion of 0 in t
0.236 * [taylor]: Taking taylor expansion of 0 in t
0.237 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in (x y z t) around 0
0.237 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in t
0.237 * [taylor]: Taking taylor expansion of -1 in t
0.237 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in t
0.237 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.237 * [taylor]: Taking taylor expansion of y in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.237 * [taylor]: Taking taylor expansion of x in t
0.237 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in t
0.237 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.237 * [taylor]: Taking taylor expansion of y in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.237 * [taylor]: Taking taylor expansion of z in t
0.237 * [taylor]: Taking taylor expansion of t in t
0.238 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in z
0.238 * [taylor]: Taking taylor expansion of -1 in z
0.238 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in z
0.238 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.238 * [taylor]: Taking taylor expansion of y in z
0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.238 * [taylor]: Taking taylor expansion of x in z
0.238 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in z
0.238 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.239 * [taylor]: Taking taylor expansion of y in z
0.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.239 * [taylor]: Taking taylor expansion of z in z
0.239 * [taylor]: Taking taylor expansion of t in z
0.240 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in y
0.240 * [taylor]: Taking taylor expansion of -1 in y
0.240 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in y
0.240 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.240 * [taylor]: Taking taylor expansion of x in y
0.240 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in y
0.240 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.240 * [taylor]: Taking taylor expansion of z in y
0.240 * [taylor]: Taking taylor expansion of t in y
0.241 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in x
0.241 * [taylor]: Taking taylor expansion of -1 in x
0.241 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in x
0.241 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.241 * [taylor]: Taking taylor expansion of y in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.241 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in x
0.241 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.241 * [taylor]: Taking taylor expansion of y in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.241 * [taylor]: Taking taylor expansion of z in x
0.241 * [taylor]: Taking taylor expansion of t in x
0.242 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in x
0.242 * [taylor]: Taking taylor expansion of -1 in x
0.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in x
0.242 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.242 * [taylor]: Taking taylor expansion of y in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.243 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in x
0.243 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.243 * [taylor]: Taking taylor expansion of y in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.243 * [taylor]: Taking taylor expansion of z in x
0.243 * [taylor]: Taking taylor expansion of t in x
0.244 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) t)) in y
0.244 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in y
0.244 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.244 * [taylor]: Taking taylor expansion of y in y
0.244 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.244 * [taylor]: Taking taylor expansion of z in y
0.244 * [taylor]: Taking taylor expansion of t in y
0.246 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 y) (/ 1 z)) (* y t)))) in y
0.246 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* y t))) in y
0.246 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* y t)) in y
0.246 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.246 * [taylor]: Taking taylor expansion of y in y
0.246 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.247 * [taylor]: Taking taylor expansion of z in y
0.247 * [taylor]: Taking taylor expansion of (* y t) in y
0.247 * [taylor]: Taking taylor expansion of y in y
0.247 * [taylor]: Taking taylor expansion of t in y
0.248 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z
0.248 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.248 * [taylor]: Taking taylor expansion of t in z
0.248 * [taylor]: Taking taylor expansion of 0 in t
0.248 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.248 * [taylor]: Taking taylor expansion of t in z
0.248 * [taylor]: Taking taylor expansion of 0 in t
0.251 * [taylor]: Taking taylor expansion of 0 in y
0.251 * [taylor]: Taking taylor expansion of 0 in z
0.251 * [taylor]: Taking taylor expansion of 0 in t
0.254 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.254 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.254 * [taylor]: Taking taylor expansion of (* t z) in z
0.254 * [taylor]: Taking taylor expansion of t in z
0.254 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of 0 in t
0.256 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.256 * [taylor]: Taking taylor expansion of (* t z) in z
0.256 * [taylor]: Taking taylor expansion of t in z
0.256 * [taylor]: Taking taylor expansion of z in z
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.258 * [taylor]: Taking taylor expansion of 0 in t
0.261 * [taylor]: Taking taylor expansion of 0 in y
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.264 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (pow z 2)))) in z
0.264 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.264 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.264 * [taylor]: Taking taylor expansion of t in z
0.264 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.264 * [taylor]: Taking taylor expansion of z in z
0.268 * [taylor]: Taking taylor expansion of 0 in t
0.269 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.269 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.269 * [taylor]: Taking taylor expansion of t in z
0.269 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.269 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of 0 in t
0.272 * [taylor]: Taking taylor expansion of 0 in t
0.273 * [taylor]: Taking taylor expansion of 0 in t
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.274 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.274 * [approximate]: Taking taylor expansion of (/ (- x y) (- z y)) in (x y z) around 0
0.274 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in z
0.275 * [taylor]: Taking taylor expansion of (- x y) in z
0.275 * [taylor]: Taking taylor expansion of x in z
0.275 * [taylor]: Taking taylor expansion of y in z
0.275 * [taylor]: Taking taylor expansion of (- z y) in z
0.275 * [taylor]: Taking taylor expansion of z in z
0.275 * [taylor]: Taking taylor expansion of y in z
0.275 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in y
0.275 * [taylor]: Taking taylor expansion of (- x y) in y
0.275 * [taylor]: Taking taylor expansion of x in y
0.275 * [taylor]: Taking taylor expansion of y in y
0.275 * [taylor]: Taking taylor expansion of (- z y) in y
0.275 * [taylor]: Taking taylor expansion of z in y
0.275 * [taylor]: Taking taylor expansion of y in y
0.275 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in x
0.275 * [taylor]: Taking taylor expansion of (- x y) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of y in x
0.275 * [taylor]: Taking taylor expansion of (- z y) in x
0.275 * [taylor]: Taking taylor expansion of z in x
0.275 * [taylor]: Taking taylor expansion of y in x
0.276 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in x
0.276 * [taylor]: Taking taylor expansion of (- x y) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of y in x
0.276 * [taylor]: Taking taylor expansion of (- z y) in x
0.276 * [taylor]: Taking taylor expansion of z in x
0.276 * [taylor]: Taking taylor expansion of y in x
0.276 * [taylor]: Taking taylor expansion of (* -1 (/ y (- z y))) in y
0.276 * [taylor]: Taking taylor expansion of -1 in y
0.276 * [taylor]: Taking taylor expansion of (/ y (- z y)) in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (- z y) in y
0.276 * [taylor]: Taking taylor expansion of z in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.277 * [taylor]: Taking taylor expansion of (/ 1 (- z y)) in y
0.277 * [taylor]: Taking taylor expansion of (- z y) in y
0.277 * [taylor]: Taking taylor expansion of z in y
0.277 * [taylor]: Taking taylor expansion of y in y
0.278 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.278 * [taylor]: Taking taylor expansion of z in z
0.278 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.278 * [taylor]: Taking taylor expansion of -1 in z
0.278 * [taylor]: Taking taylor expansion of z in z
0.281 * [taylor]: Taking taylor expansion of 0 in y
0.281 * [taylor]: Taking taylor expansion of 0 in z
0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.281 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.281 * [taylor]: Taking taylor expansion of z in z
0.284 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.284 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.284 * [taylor]: Taking taylor expansion of z in z
0.287 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in (x y z) around 0
0.287 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z
0.287 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.288 * [taylor]: Taking taylor expansion of x in z
0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.288 * [taylor]: Taking taylor expansion of y in z
0.288 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.288 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.288 * [taylor]: Taking taylor expansion of z in z
0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.288 * [taylor]: Taking taylor expansion of y in z
0.288 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
0.288 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.288 * [taylor]: Taking taylor expansion of x in y
0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.289 * [taylor]: Taking taylor expansion of y in y
0.289 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.289 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.289 * [taylor]: Taking taylor expansion of z in y
0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.289 * [taylor]: Taking taylor expansion of y in y
0.291 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x
0.291 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.291 * [taylor]: Taking taylor expansion of y in x
0.291 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.291 * [taylor]: Taking taylor expansion of z in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.291 * [taylor]: Taking taylor expansion of y in x
0.291 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x
0.291 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.292 * [taylor]: Taking taylor expansion of x in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.292 * [taylor]: Taking taylor expansion of y in x
0.292 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.292 * [taylor]: Taking taylor expansion of z in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.292 * [taylor]: Taking taylor expansion of y in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in y
0.292 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.292 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.293 * [taylor]: Taking taylor expansion of z in y
0.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.293 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in y
0.295 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.295 * [taylor]: Taking taylor expansion of z in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.297 * [taylor]: Taking taylor expansion of 1 in z
0.298 * [taylor]: Taking taylor expansion of -1 in z
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.300 * [taylor]: Taking taylor expansion of 0 in z
0.301 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.301 * [taylor]: Taking taylor expansion of z in z
0.304 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.304 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.304 * [taylor]: Taking taylor expansion of z in z
0.305 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in (x y z) around 0
0.305 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in z
0.305 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.305 * [taylor]: Taking taylor expansion of y in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.305 * [taylor]: Taking taylor expansion of x in z
0.305 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.305 * [taylor]: Taking taylor expansion of y in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.306 * [taylor]: Taking taylor expansion of z in z
0.306 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in y
0.306 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.306 * [taylor]: Taking taylor expansion of y in y
0.307 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.307 * [taylor]: Taking taylor expansion of x in y
0.307 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.307 * [taylor]: Taking taylor expansion of y in y
0.307 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.307 * [taylor]: Taking taylor expansion of z in y
0.308 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x
0.308 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.308 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.308 * [taylor]: Taking taylor expansion of y in x
0.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.308 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.308 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.308 * [taylor]: Taking taylor expansion of y in x
0.308 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.308 * [taylor]: Taking taylor expansion of z in x
0.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x
0.309 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.309 * [taylor]: Taking taylor expansion of y in x
0.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.309 * [taylor]: Taking taylor expansion of x in x
0.309 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.309 * [taylor]: Taking taylor expansion of y in x
0.309 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.309 * [taylor]: Taking taylor expansion of z in x
0.310 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 y) (/ 1 z))) in y
0.310 * [taylor]: Taking taylor expansion of -1 in y
0.310 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.310 * [taylor]: Taking taylor expansion of y in y
0.311 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.311 * [taylor]: Taking taylor expansion of z in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in y
0.313 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y
0.313 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.313 * [taylor]: Taking taylor expansion of y in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.313 * [taylor]: Taking taylor expansion of z in y
0.313 * [taylor]: Taking taylor expansion of y in y
0.314 * [taylor]: Taking taylor expansion of 1 in z
0.315 * [taylor]: Taking taylor expansion of -1 in z
0.316 * [taylor]: Taking taylor expansion of 0 in y
0.317 * [taylor]: Taking taylor expansion of 0 in z
0.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.321 * [taylor]: Taking taylor expansion of z in z
0.323 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.323 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.323 * [taylor]: Taking taylor expansion of z in z
0.324 * * * [progress]: simplifying candidates
0.326 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (- x y) (- z y)) t))
  (log1p (* (/ (- x y) (- z y)) t))
  (* (/ (- x y) (- z y)) t)
  (+ (- (log (- x y)) (log (- z y))) (log t))
  (+ (log (/ (- x y) (- z y))) (log t))
  (log (* (/ (- x y) (- z y)) t))
  (exp (* (/ (- x y) (- z y)) t))
  (* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (- z y) (- z y)) (- z y))) (* (* t t) t))
  (* (* (* (/ (- x y) (- z y)) (/ (- x y) (- z y))) (/ (- x y) (- z y))) (* (* t t) t))
  (* (cbrt (* (/ (- x y) (- z y)) t)) (cbrt (* (/ (- x y) (- z y)) t)))
  (cbrt (* (/ (- x y) (- z y)) t))
  (* (* (* (/ (- x y) (- z y)) t) (* (/ (- x y) (- z y)) t)) (* (/ (- x y) (- z y)) t))
  (sqrt (* (/ (- x y) (- z y)) t))
  (sqrt (* (/ (- x y) (- z y)) t))
  (* (sqrt (/ (- x y) (- z y))) (sqrt t))
  (* (sqrt (/ (- x y) (- z y))) (sqrt t))
  (* (/ (sqrt (- x y)) (sqrt (- z y))) (sqrt t))
  (* (/ (sqrt (- x y)) (sqrt (- z y))) (sqrt t))
  (* (/ (- x y) (- z y)) (* (cbrt t) (cbrt t)))
  (* (/ (- x y) (- z y)) (sqrt t))
  (* (/ (- x y) (- z y)) 1)
  (* (cbrt (/ (- x y) (- z y))) t)
  (* (sqrt (/ (- x y) (- z y))) t)
  (* (/ (cbrt (- x y)) (cbrt (- z y))) t)
  (* (/ (cbrt (- x y)) (sqrt (- z y))) t)
  (* (/ (cbrt (- x y)) (- z y)) t)
  (* (/ (cbrt (- x y)) (- (sqrt z) (sqrt y))) t)
  (* (/ (cbrt (- x y)) (- z y)) t)
  (* (/ (sqrt (- x y)) (cbrt (- z y))) t)
  (* (/ (sqrt (- x y)) (sqrt (- z y))) t)
  (* (/ (sqrt (- x y)) (- z y)) t)
  (* (/ (sqrt (- x y)) (- (sqrt z) (sqrt y))) t)
  (* (/ (sqrt (- x y)) (- z y)) t)
  (* (/ (- x y) (cbrt (- z y))) t)
  (* (/ (- x y) (sqrt (- z y))) t)
  (* (/ (- x y) (- z y)) t)
  (* (/ (- x y) (- (sqrt z) (sqrt y))) t)
  (* (/ (- x y) (- z y)) t)
  (* (/ (- (sqrt x) (sqrt y)) (cbrt (- z y))) t)
  (* (/ (- (sqrt x) (sqrt y)) (sqrt (- z y))) t)
  (* (/ (- (sqrt x) (sqrt y)) (- z y)) t)
  (* (/ (- (sqrt x) (sqrt y)) (- (sqrt z) (sqrt y))) t)
  (* (/ (- (sqrt x) (sqrt y)) (- z y)) t)
  (* (/ (- x y) (cbrt (- z y))) t)
  (* (/ (- x y) (sqrt (- z y))) t)
  (* (/ (- x y) (- z y)) t)
  (* (/ (- x y) (- (sqrt z) (sqrt y))) t)
  (* (/ (- x y) (- z y)) t)
  (* (/ (- x y) (- z y)) t)
  (* (/ 1 (- z y)) t)
  (* (+ (* z z) (+ (* y y) (* z y))) t)
  (* (+ z y) t)
  (* (- x y) t)
  (expm1 (/ (- x y) (- z y)))
  (log1p (/ (- x y) (- z y)))
  (- (log (- x y)) (log (- z y)))
  (log (/ (- x y) (- z y)))
  (exp (/ (- x y) (- z y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (- z y) (- z y)) (- z y)))
  (* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y))))
  (cbrt (/ (- x y) (- z y)))
  (* (* (/ (- x y) (- z y)) (/ (- x y) (- z y))) (/ (- x y) (- z y)))
  (sqrt (/ (- x y) (- z y)))
  (sqrt (/ (- x y) (- z y)))
  (- (- x y))
  (- (- z y))
  (/ x (- z y))
  (/ y (- z y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (- z y)) (cbrt (- z y))))
  (/ (cbrt (- x y)) (cbrt (- z y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (- z y)))
  (/ (cbrt (- x y)) (sqrt (- z y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (- z y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (+ (sqrt z) (sqrt y)))
  (/ (cbrt (- x y)) (- (sqrt z) (sqrt y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (- z y))
  (/ (sqrt (- x y)) (* (cbrt (- z y)) (cbrt (- z y))))
  (/ (sqrt (- x y)) (cbrt (- z y)))
  (/ (sqrt (- x y)) (sqrt (- z y)))
  (/ (sqrt (- x y)) (sqrt (- z y)))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (- z y))
  (/ (sqrt (- x y)) (+ (sqrt z) (sqrt y)))
  (/ (sqrt (- x y)) (- (sqrt z) (sqrt y)))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (- z y))
  (/ 1 (* (cbrt (- z y)) (cbrt (- z y))))
  (/ (- x y) (cbrt (- z y)))
  (/ 1 (sqrt (- z y)))
  (/ (- x y) (sqrt (- z y)))
  (/ 1 1)
  (/ (- x y) (- z y))
  (/ 1 (+ (sqrt z) (sqrt y)))
  (/ (- x y) (- (sqrt z) (sqrt y)))
  (/ 1 1)
  (/ (- x y) (- z y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (- z y)) (cbrt (- z y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (- z y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (- z y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (- z y)))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (- z y))
  (/ (+ (sqrt x) (sqrt y)) (+ (sqrt z) (sqrt y)))
  (/ (- (sqrt x) (sqrt y)) (- (sqrt z) (sqrt y)))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (- z y))
  (/ 1 (* (cbrt (- z y)) (cbrt (- z y))))
  (/ (- x y) (cbrt (- z y)))
  (/ 1 (sqrt (- z y)))
  (/ (- x y) (sqrt (- z y)))
  (/ 1 1)
  (/ (- x y) (- z y))
  (/ 1 (+ (sqrt z) (sqrt y)))
  (/ (- x y) (- (sqrt z) (sqrt y)))
  (/ 1 1)
  (/ (- x y) (- z y))
  (/ 1 (- z y))
  (/ (- z y) (- x y))
  (/ (- x y) (* (cbrt (- z y)) (cbrt (- z y))))
  (/ (- x y) (sqrt (- z y)))
  (/ (- x y) 1)
  (/ (- x y) (+ (sqrt z) (sqrt y)))
  (/ (- x y) 1)
  (/ (- z y) (cbrt (- x y)))
  (/ (- z y) (sqrt (- x y)))
  (/ (- z y) (- x y))
  (/ (- z y) (- (sqrt x) (sqrt y)))
  (/ (- z y) (- x y))
  (/ (- x y) (- (pow z 3) (pow y 3)))
  (/ (- x y) (- (* z z) (* y y)))
  (* (- z y) (+ (* x x) (+ (* y y) (* x y))))
  (* (- z y) (+ x y))
  0
  0
  0
  0
  0
  0
0.330 * * [simplify]: iteration  0 :  147  enodes  (cost  1339 )
0.353 * * [simplify]: iteration  1 :  373  enodes  (cost  1303 )