0.361 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- x y) (- z y)) t)
0.019 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.020 * * [simplify]: iteration  1 :  17  enodes  (cost  9 )
0.022 * * [simplify]: iteration  2 :  24  enodes  (cost  9 )
0.025 * * [simplify]: iteration  3 :  48  enodes  (cost  9 )
0.031 * * [simplify]: iteration  4 :  77  enodes  (cost  9 )
0.045 * * [simplify]: iteration  5 :  104  enodes  (cost  9 )
0.058 * * [simplify]: iteration  6 :  129  enodes  (cost  9 )
0.075 * * [simplify]: iteration  7 :  145  enodes  (cost  9 )
0.097 * * [simplify]: iteration  8 :  158  enodes  (cost  9 )
0.118 * * [simplify]: iteration  9 :  164  enodes  (cost  9 )
0.140 * * [simplify]: iteration  done :  164  enodes  (cost  9 )
0.140 * [simplify]: Simplified to:
   (* (/ (- x y) (- z y)) t)
0.140 * * [progress]: iteration 1 / 4
0.140 * * * [progress]: picking best candidate
0.142 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ (- x y) (- z y)) t))>
0.142 * * * [progress]: localizing error
0.148 * * * [progress]: generating rewritten candidates
0.149 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.175 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.193 * * * [progress]: generating series expansions
0.193 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.193 * [approximate]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in (x y z t) around 0
0.193 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in t
0.193 * [taylor]: Taking taylor expansion of (* t (- x y)) in t
0.193 * [taylor]: Taking taylor expansion of t in t
0.193 * [taylor]: Taking taylor expansion of (- x y) in t
0.193 * [taylor]: Taking taylor expansion of x in t
0.193 * [taylor]: Taking taylor expansion of y in t
0.193 * [taylor]: Taking taylor expansion of (- z y) in t
0.193 * [taylor]: Taking taylor expansion of z in t
0.193 * [taylor]: Taking taylor expansion of y in t
0.195 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in z
0.195 * [taylor]: Taking taylor expansion of (* t (- x y)) in z
0.195 * [taylor]: Taking taylor expansion of t in z
0.195 * [taylor]: Taking taylor expansion of (- x y) in z
0.195 * [taylor]: Taking taylor expansion of x in z
0.195 * [taylor]: Taking taylor expansion of y in z
0.195 * [taylor]: Taking taylor expansion of (- z y) in z
0.195 * [taylor]: Taking taylor expansion of z in z
0.195 * [taylor]: Taking taylor expansion of y in z
0.195 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in y
0.195 * [taylor]: Taking taylor expansion of (* t (- x y)) in y
0.195 * [taylor]: Taking taylor expansion of t in y
0.195 * [taylor]: Taking taylor expansion of (- x y) in y
0.195 * [taylor]: Taking taylor expansion of x in y
0.195 * [taylor]: Taking taylor expansion of y in y
0.195 * [taylor]: Taking taylor expansion of (- z y) in y
0.195 * [taylor]: Taking taylor expansion of z in y
0.195 * [taylor]: Taking taylor expansion of y in y
0.196 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in x
0.196 * [taylor]: Taking taylor expansion of (* t (- x y)) in x
0.196 * [taylor]: Taking taylor expansion of t in x
0.196 * [taylor]: Taking taylor expansion of (- x y) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [taylor]: Taking taylor expansion of y in x
0.196 * [taylor]: Taking taylor expansion of (- z y) in x
0.196 * [taylor]: Taking taylor expansion of z in x
0.196 * [taylor]: Taking taylor expansion of y in x
0.196 * [taylor]: Taking taylor expansion of (/ (* t (- x y)) (- z y)) in x
0.196 * [taylor]: Taking taylor expansion of (* t (- x y)) in x
0.196 * [taylor]: Taking taylor expansion of t in x
0.196 * [taylor]: Taking taylor expansion of (- x y) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [taylor]: Taking taylor expansion of y in x
0.196 * [taylor]: Taking taylor expansion of (- z y) in x
0.196 * [taylor]: Taking taylor expansion of z in x
0.196 * [taylor]: Taking taylor expansion of y in x
0.196 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) (- z y))) in y
0.196 * [taylor]: Taking taylor expansion of -1 in y
0.196 * [taylor]: Taking taylor expansion of (/ (* t y) (- z y)) in y
0.196 * [taylor]: Taking taylor expansion of (* t y) in y
0.196 * [taylor]: Taking taylor expansion of t in y
0.196 * [taylor]: Taking taylor expansion of y in y
0.196 * [taylor]: Taking taylor expansion of (- z y) in y
0.196 * [taylor]: Taking taylor expansion of z in y
0.196 * [taylor]: Taking taylor expansion of y in y
0.198 * [taylor]: Taking taylor expansion of (/ t (- z y)) in y
0.198 * [taylor]: Taking taylor expansion of t in y
0.198 * [taylor]: Taking taylor expansion of (- z y) in y
0.198 * [taylor]: Taking taylor expansion of z in y
0.198 * [taylor]: Taking taylor expansion of y in y
0.199 * [taylor]: Taking taylor expansion of (/ t z) in z
0.199 * [taylor]: Taking taylor expansion of t in z
0.199 * [taylor]: Taking taylor expansion of z in z
0.199 * [taylor]: Taking taylor expansion of 0 in t
0.199 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z
0.199 * [taylor]: Taking taylor expansion of -1 in z
0.200 * [taylor]: Taking taylor expansion of (/ t z) in z
0.200 * [taylor]: Taking taylor expansion of t in z
0.200 * [taylor]: Taking taylor expansion of z in z
0.200 * [taylor]: Taking taylor expansion of 0 in t
0.202 * [taylor]: Taking taylor expansion of 0 in y
0.202 * [taylor]: Taking taylor expansion of 0 in z
0.202 * [taylor]: Taking taylor expansion of 0 in t
0.203 * [taylor]: Taking taylor expansion of (/ t (pow z 2)) in z
0.203 * [taylor]: Taking taylor expansion of t in z
0.203 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.203 * [taylor]: Taking taylor expansion of z in z
0.205 * [taylor]: Taking taylor expansion of 0 in t
0.207 * [taylor]: Taking taylor expansion of (- (/ t (pow z 2))) in z
0.207 * [taylor]: Taking taylor expansion of (/ t (pow z 2)) in z
0.207 * [taylor]: Taking taylor expansion of t in z
0.207 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.207 * [taylor]: Taking taylor expansion of z in z
0.210 * [taylor]: Taking taylor expansion of 0 in t
0.211 * [taylor]: Taking taylor expansion of 0 in t
0.211 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in (x y z t) around 0
0.211 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in t
0.211 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
0.211 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.211 * [taylor]: Taking taylor expansion of x in t
0.211 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.211 * [taylor]: Taking taylor expansion of y in t
0.211 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in t
0.211 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.211 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.211 * [taylor]: Taking taylor expansion of z in t
0.211 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.211 * [taylor]: Taking taylor expansion of y in t
0.211 * [taylor]: Taking taylor expansion of t in t
0.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in z
0.212 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.212 * [taylor]: Taking taylor expansion of x in z
0.213 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.213 * [taylor]: Taking taylor expansion of y in z
0.213 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in z
0.213 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.213 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.213 * [taylor]: Taking taylor expansion of z in z
0.213 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.213 * [taylor]: Taking taylor expansion of y in z
0.213 * [taylor]: Taking taylor expansion of t in z
0.213 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in y
0.213 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.214 * [taylor]: Taking taylor expansion of x in y
0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.214 * [taylor]: Taking taylor expansion of y in y
0.214 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in y
0.214 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.214 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.214 * [taylor]: Taking taylor expansion of z in y
0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.214 * [taylor]: Taking taylor expansion of y in y
0.214 * [taylor]: Taking taylor expansion of t in y
0.216 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in x
0.216 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.216 * [taylor]: Taking taylor expansion of y in x
0.216 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in x
0.216 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.216 * [taylor]: Taking taylor expansion of z in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.216 * [taylor]: Taking taylor expansion of y in x
0.216 * [taylor]: Taking taylor expansion of t in x
0.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (* (- (/ 1 z) (/ 1 y)) t)) in x
0.220 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.220 * [taylor]: Taking taylor expansion of x in x
0.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.220 * [taylor]: Taking taylor expansion of y in x
0.220 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) t) in x
0.220 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.220 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.220 * [taylor]: Taking taylor expansion of z in x
0.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.220 * [taylor]: Taking taylor expansion of y in x
0.220 * [taylor]: Taking taylor expansion of t in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 (* t (- (/ 1 z) (/ 1 y)))) in y
0.221 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 y))) in y
0.221 * [taylor]: Taking taylor expansion of t in y
0.221 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.221 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.221 * [taylor]: Taking taylor expansion of z in y
0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.221 * [taylor]: Taking taylor expansion of y in y
0.223 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* y (- (/ 1 z) (/ 1 y)))))) in y
0.223 * [taylor]: Taking taylor expansion of (/ 1 (* t (* y (- (/ 1 z) (/ 1 y))))) in y
0.223 * [taylor]: Taking taylor expansion of (* t (* y (- (/ 1 z) (/ 1 y)))) in y
0.223 * [taylor]: Taking taylor expansion of t in y
0.223 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y
0.223 * [taylor]: Taking taylor expansion of y in y
0.223 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.223 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.223 * [taylor]: Taking taylor expansion of z in y
0.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.223 * [taylor]: Taking taylor expansion of y in y
0.226 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.226 * [taylor]: Taking taylor expansion of t in z
0.226 * [taylor]: Taking taylor expansion of 0 in t
0.226 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.226 * [taylor]: Taking taylor expansion of -1 in z
0.226 * [taylor]: Taking taylor expansion of t in z
0.226 * [taylor]: Taking taylor expansion of 0 in t
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in t
0.231 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.231 * [taylor]: Taking taylor expansion of (* t z) in z
0.231 * [taylor]: Taking taylor expansion of t in z
0.231 * [taylor]: Taking taylor expansion of z in z
0.232 * [taylor]: Taking taylor expansion of 0 in t
0.234 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.234 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.234 * [taylor]: Taking taylor expansion of (* t z) in z
0.234 * [taylor]: Taking taylor expansion of t in z
0.234 * [taylor]: Taking taylor expansion of z in z
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.238 * [taylor]: Taking taylor expansion of 0 in y
0.239 * [taylor]: Taking taylor expansion of 0 in z
0.239 * [taylor]: Taking taylor expansion of 0 in t
0.239 * [taylor]: Taking taylor expansion of 0 in z
0.239 * [taylor]: Taking taylor expansion of 0 in t
0.241 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.241 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.241 * [taylor]: Taking taylor expansion of t in z
0.241 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.241 * [taylor]: Taking taylor expansion of z in z
0.245 * [taylor]: Taking taylor expansion of 0 in t
0.246 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (pow z 2)))) in z
0.246 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.246 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.246 * [taylor]: Taking taylor expansion of t in z
0.246 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.246 * [taylor]: Taking taylor expansion of z in z
0.250 * [taylor]: Taking taylor expansion of 0 in t
0.250 * [taylor]: Taking taylor expansion of 0 in t
0.251 * [taylor]: Taking taylor expansion of 0 in t
0.252 * [taylor]: Taking taylor expansion of 0 in t
0.252 * [taylor]: Taking taylor expansion of 0 in t
0.252 * [taylor]: Taking taylor expansion of 0 in t
0.252 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in (x y z t) around 0
0.252 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in t
0.252 * [taylor]: Taking taylor expansion of -1 in t
0.253 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in t
0.253 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.253 * [taylor]: Taking taylor expansion of y in t
0.253 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.253 * [taylor]: Taking taylor expansion of x in t
0.253 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in t
0.253 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.253 * [taylor]: Taking taylor expansion of y in t
0.253 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.253 * [taylor]: Taking taylor expansion of z in t
0.253 * [taylor]: Taking taylor expansion of t in t
0.254 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in z
0.254 * [taylor]: Taking taylor expansion of -1 in z
0.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in z
0.254 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.254 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.254 * [taylor]: Taking taylor expansion of y in z
0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.254 * [taylor]: Taking taylor expansion of x in z
0.254 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in z
0.254 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.254 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.254 * [taylor]: Taking taylor expansion of y in z
0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.256 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in y
0.256 * [taylor]: Taking taylor expansion of -1 in y
0.256 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in y
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.256 * [taylor]: Taking taylor expansion of y in y
0.256 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.256 * [taylor]: Taking taylor expansion of x in y
0.256 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in y
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.256 * [taylor]: Taking taylor expansion of y in y
0.256 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.256 * [taylor]: Taking taylor expansion of z in y
0.256 * [taylor]: Taking taylor expansion of t in y
0.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in x
0.257 * [taylor]: Taking taylor expansion of -1 in x
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in x
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.257 * [taylor]: Taking taylor expansion of y in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in x
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.257 * [taylor]: Taking taylor expansion of y in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.258 * [taylor]: Taking taylor expansion of z in x
0.258 * [taylor]: Taking taylor expansion of t in x
0.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t))) in x
0.258 * [taylor]: Taking taylor expansion of -1 in x
0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (* (- (/ 1 y) (/ 1 z)) t)) in x
0.258 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.258 * [taylor]: Taking taylor expansion of y in x
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in x
0.259 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.259 * [taylor]: Taking taylor expansion of y in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.259 * [taylor]: Taking taylor expansion of z in x
0.259 * [taylor]: Taking taylor expansion of t in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) t)) in y
0.260 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) t) in y
0.260 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of t in y
0.262 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 y) (/ 1 z)) (* y t)))) in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) (* y t))) in y
0.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (* y t)) in y
0.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.263 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.263 * [taylor]: Taking taylor expansion of 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.264 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z
0.264 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.264 * [taylor]: Taking taylor expansion of t in z
0.265 * [taylor]: Taking taylor expansion of 0 in t
0.265 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.265 * [taylor]: Taking taylor expansion of t in z
0.265 * [taylor]: Taking taylor expansion of 0 in t
0.268 * [taylor]: Taking taylor expansion of 0 in y
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in t
0.271 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z
0.271 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.271 * [taylor]: Taking taylor expansion of (* t z) in z
0.271 * [taylor]: Taking taylor expansion of t in z
0.271 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of 0 in t
0.273 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.273 * [taylor]: Taking taylor expansion of (* t z) in z
0.273 * [taylor]: Taking taylor expansion of t in z
0.273 * [taylor]: Taking taylor expansion of z in z
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [taylor]: Taking taylor expansion of 0 in z
0.279 * [taylor]: Taking taylor expansion of 0 in t
0.279 * [taylor]: Taking taylor expansion of 0 in z
0.279 * [taylor]: Taking taylor expansion of 0 in t
0.282 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (pow z 2)))) in z
0.282 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.282 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.282 * [taylor]: Taking taylor expansion of t in z
0.282 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.282 * [taylor]: Taking taylor expansion of z in z
0.285 * [taylor]: Taking taylor expansion of 0 in t
0.287 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow z 2))) in z
0.287 * [taylor]: Taking taylor expansion of (* t (pow z 2)) in z
0.287 * [taylor]: Taking taylor expansion of t in z
0.287 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.287 * [taylor]: Taking taylor expansion of z in z
0.290 * [taylor]: Taking taylor expansion of 0 in t
0.290 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.292 * [taylor]: Taking taylor expansion of 0 in t
0.292 * [taylor]: Taking taylor expansion of 0 in t
0.292 * [taylor]: Taking taylor expansion of 0 in t
0.292 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.292 * [approximate]: Taking taylor expansion of (/ (- x y) (- z y)) in (x y z) around 0
0.292 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in z
0.292 * [taylor]: Taking taylor expansion of (- x y) in z
0.292 * [taylor]: Taking taylor expansion of x in z
0.292 * [taylor]: Taking taylor expansion of y in z
0.292 * [taylor]: Taking taylor expansion of (- z y) in z
0.292 * [taylor]: Taking taylor expansion of z in z
0.292 * [taylor]: Taking taylor expansion of y in z
0.293 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in y
0.293 * [taylor]: Taking taylor expansion of (- x y) in y
0.293 * [taylor]: Taking taylor expansion of x in y
0.293 * [taylor]: Taking taylor expansion of y in y
0.293 * [taylor]: Taking taylor expansion of (- z y) in y
0.293 * [taylor]: Taking taylor expansion of z in y
0.293 * [taylor]: Taking taylor expansion of y in y
0.293 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in x
0.293 * [taylor]: Taking taylor expansion of (- x y) in x
0.293 * [taylor]: Taking taylor expansion of x in x
0.293 * [taylor]: Taking taylor expansion of y in x
0.293 * [taylor]: Taking taylor expansion of (- z y) in x
0.293 * [taylor]: Taking taylor expansion of z in x
0.293 * [taylor]: Taking taylor expansion of y in x
0.293 * [taylor]: Taking taylor expansion of (/ (- x y) (- z y)) in x
0.293 * [taylor]: Taking taylor expansion of (- x y) in x
0.293 * [taylor]: Taking taylor expansion of x in x
0.294 * [taylor]: Taking taylor expansion of y in x
0.294 * [taylor]: Taking taylor expansion of (- z y) in x
0.294 * [taylor]: Taking taylor expansion of z in x
0.294 * [taylor]: Taking taylor expansion of y in x
0.294 * [taylor]: Taking taylor expansion of (* -1 (/ y (- z y))) in y
0.294 * [taylor]: Taking taylor expansion of -1 in y
0.294 * [taylor]: Taking taylor expansion of (/ y (- z y)) in y
0.294 * [taylor]: Taking taylor expansion of y in y
0.294 * [taylor]: Taking taylor expansion of (- z y) in y
0.294 * [taylor]: Taking taylor expansion of z in y
0.294 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 (- z y)) in y
0.295 * [taylor]: Taking taylor expansion of (- z y) in y
0.295 * [taylor]: Taking taylor expansion of z in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.296 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.296 * [taylor]: Taking taylor expansion of z in z
0.296 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.296 * [taylor]: Taking taylor expansion of -1 in z
0.297 * [taylor]: Taking taylor expansion of z in z
0.298 * [taylor]: Taking taylor expansion of 0 in y
0.298 * [taylor]: Taking taylor expansion of 0 in z
0.299 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.299 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.299 * [taylor]: Taking taylor expansion of z in z
0.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.302 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.302 * [taylor]: Taking taylor expansion of z in z
0.306 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in (x y z) around 0
0.306 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in z
0.306 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.306 * [taylor]: Taking taylor expansion of x in z
0.306 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.306 * [taylor]: Taking taylor expansion of y in z
0.306 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.306 * [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) in z
0.306 * [taylor]: Taking taylor expansion of y in z
0.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in y
0.309 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.309 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.309 * [taylor]: Taking taylor expansion of x in y
0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.309 * [taylor]: Taking taylor expansion of y in y
0.309 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.309 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.309 * [taylor]: Taking taylor expansion of z in y
0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.309 * [taylor]: Taking taylor expansion of y in y
0.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.311 * [taylor]: Taking taylor expansion of y in x
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.311 * [taylor]: Taking taylor expansion of z in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.311 * [taylor]: Taking taylor expansion of y in x
0.312 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 y))) in x
0.312 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.312 * [taylor]: Taking taylor expansion of x in x
0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.312 * [taylor]: Taking taylor expansion of y in x
0.312 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.312 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.312 * [taylor]: Taking taylor expansion of z in x
0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.312 * [taylor]: Taking taylor expansion of y in x
0.313 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 y))) in y
0.313 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 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 (/ 1 y) in y
0.313 * [taylor]: Taking taylor expansion of y in y
0.316 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 z) (/ 1 y))))) in y
0.316 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (/ 1 y)))) in y
0.316 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y
0.316 * [taylor]: Taking taylor expansion of y in y
0.316 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.316 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.316 * [taylor]: Taking taylor expansion of z in y
0.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.316 * [taylor]: Taking taylor expansion of y in y
0.318 * [taylor]: Taking taylor expansion of 1 in z
0.318 * [taylor]: Taking taylor expansion of -1 in z
0.320 * [taylor]: Taking taylor expansion of 0 in y
0.320 * [taylor]: Taking taylor expansion of 0 in z
0.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.322 * [taylor]: Taking taylor expansion of z in z
0.324 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.324 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.325 * [taylor]: Taking taylor expansion of z in z
0.326 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in (x y z) around 0
0.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in z
0.326 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.326 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.326 * [taylor]: Taking taylor expansion of y in z
0.326 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.326 * [taylor]: Taking taylor expansion of x in z
0.326 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.326 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.326 * [taylor]: Taking taylor expansion of y in z
0.326 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.326 * [taylor]: Taking taylor expansion of z in z
0.327 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in y
0.327 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.327 * [taylor]: Taking taylor expansion of y in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.328 * [taylor]: Taking taylor expansion of x in y
0.328 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.328 * [taylor]: Taking taylor expansion of z in y
0.329 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x
0.329 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.329 * [taylor]: Taking taylor expansion of z in x
0.330 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x
0.330 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.330 * [taylor]: Taking taylor expansion of y in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.331 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.331 * [taylor]: Taking taylor expansion of y in x
0.331 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.331 * [taylor]: Taking taylor expansion of z in x
0.331 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 y) (/ 1 z))) in y
0.332 * [taylor]: Taking taylor expansion of -1 in y
0.332 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.332 * [taylor]: Taking taylor expansion of y in y
0.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.332 * [taylor]: Taking taylor expansion of z in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in y
0.334 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y
0.334 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.334 * [taylor]: Taking taylor expansion of y in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.334 * [taylor]: Taking taylor expansion of z in y
0.334 * [taylor]: Taking taylor expansion of y in y
0.336 * [taylor]: Taking taylor expansion of 1 in z
0.336 * [taylor]: Taking taylor expansion of -1 in z
0.338 * [taylor]: Taking taylor expansion of 0 in y
0.338 * [taylor]: Taking taylor expansion of 0 in z
0.340 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.340 * [taylor]: Taking taylor expansion of z in z
0.342 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.342 * [taylor]: Taking taylor expansion of z in z
0.343 * * * [progress]: simplifying candidates
0.345 * [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.349 * * [simplify]: iteration  0 :  147  enodes  (cost  1339 )
0.374 * * [simplify]: iteration  1 :  373  enodes  (cost  1303 )