0.266 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
0.023 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
0.025 * * [simplify]: iteration  1 :  25  enodes  (cost  13 )
0.028 * * [simplify]: iteration  2 :  58  enodes  (cost  13 )
0.035 * * [simplify]: iteration  3 :  105  enodes  (cost  13 )
0.052 * * [simplify]: iteration  4 :  191  enodes  (cost  13 )
0.080 * * [simplify]: iteration  5 :  311  enodes  (cost  13 )
0.131 * * [simplify]: iteration  6 :  522  enodes  (cost  13 )
0.225 * * [simplify]: iteration  7 :  724  enodes  (cost  13 )
0.361 * * [simplify]: iteration  8 :  1095  enodes  (cost  13 )
0.585 * * [simplify]: iteration  9 :  1502  enodes  (cost  13 )
0.915 * * [simplify]: iteration  10 :  1794  enodes  (cost  13 )
1.318 * * [simplify]: iteration  11 :  1860  enodes  (cost  13 )
1.731 * * [simplify]: iteration  12 :  1871  enodes  (cost  13 )
2.145 * * [simplify]: iteration  done :  1871  enodes  (cost  13 )
2.145 * [simplify]: Simplified to:
   (- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
2.145 * * [progress]: iteration 1 / 4
2.145 * * * [progress]: picking best candidate
2.150 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- x (/ (- y z) (/ (+ (- t z) 1.0) a))))>
2.150 * * * [progress]: localizing error
2.159 * * * [progress]: generating rewritten candidates
2.159 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.185 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
2.228 * * * [progress]: generating series expansions
2.228 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.228 * [approximate]: Taking taylor expansion of (/ (* (- y z) a) (- (+ t 1.0) z)) in (y z t a) around 0
2.229 * [taylor]: Taking taylor expansion of (/ (* (- y z) a) (- (+ t 1.0) z)) in a
2.229 * [taylor]: Taking taylor expansion of (* (- y z) a) in a
2.229 * [taylor]: Taking taylor expansion of (- y z) in a
2.229 * [taylor]: Taking taylor expansion of y in a
2.229 * [taylor]: Taking taylor expansion of z in a
2.229 * [taylor]: Taking taylor expansion of a in a
2.229 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in a
2.229 * [taylor]: Taking taylor expansion of (+ t 1.0) in a
2.229 * [taylor]: Taking taylor expansion of t in a
2.229 * [taylor]: Taking taylor expansion of 1.0 in a
2.229 * [taylor]: Taking taylor expansion of z in a
2.230 * [taylor]: Taking taylor expansion of (/ (* (- y z) a) (- (+ t 1.0) z)) in t
2.230 * [taylor]: Taking taylor expansion of (* (- y z) a) in t
2.230 * [taylor]: Taking taylor expansion of (- y z) in t
2.230 * [taylor]: Taking taylor expansion of y in t
2.230 * [taylor]: Taking taylor expansion of z in t
2.230 * [taylor]: Taking taylor expansion of a in t
2.230 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in t
2.230 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
2.230 * [taylor]: Taking taylor expansion of t in t
2.230 * [taylor]: Taking taylor expansion of 1.0 in t
2.230 * [taylor]: Taking taylor expansion of z in t
2.231 * [taylor]: Taking taylor expansion of (/ (* (- y z) a) (- (+ t 1.0) z)) in z
2.231 * [taylor]: Taking taylor expansion of (* (- y z) a) in z
2.231 * [taylor]: Taking taylor expansion of (- y z) in z
2.231 * [taylor]: Taking taylor expansion of y in z
2.231 * [taylor]: Taking taylor expansion of z in z
2.231 * [taylor]: Taking taylor expansion of a in z
2.231 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in z
2.231 * [taylor]: Taking taylor expansion of (+ t 1.0) in z
2.231 * [taylor]: Taking taylor expansion of t in z
2.231 * [taylor]: Taking taylor expansion of 1.0 in z
2.231 * [taylor]: Taking taylor expansion of z in z
2.231 * [taylor]: Taking taylor expansion of (/ (* (- y z) a) (- (+ t 1.0) z)) in y
2.231 * [taylor]: Taking taylor expansion of (* (- y z) a) in y
2.232 * [taylor]: Taking taylor expansion of (- y z) in y
2.232 * [taylor]: Taking taylor expansion of y in y
2.232 * [taylor]: Taking taylor expansion of z in y
2.232 * [taylor]: Taking taylor expansion of a in y
2.232 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in y
2.232 * [taylor]: Taking taylor expansion of (+ t 1.0) in y
2.232 * [taylor]: Taking taylor expansion of t in y
2.232 * [taylor]: Taking taylor expansion of 1.0 in y
2.232 * [taylor]: Taking taylor expansion of z in y
2.232 * [taylor]: Taking taylor expansion of (/ (* (- y z) a) (- (+ t 1.0) z)) in y
2.232 * [taylor]: Taking taylor expansion of (* (- y z) a) in y
2.232 * [taylor]: Taking taylor expansion of (- y z) in y
2.232 * [taylor]: Taking taylor expansion of y in y
2.232 * [taylor]: Taking taylor expansion of z in y
2.232 * [taylor]: Taking taylor expansion of a in y
2.232 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in y
2.232 * [taylor]: Taking taylor expansion of (+ t 1.0) in y
2.232 * [taylor]: Taking taylor expansion of t in y
2.232 * [taylor]: Taking taylor expansion of 1.0 in y
2.232 * [taylor]: Taking taylor expansion of z in y
2.232 * [taylor]: Taking taylor expansion of (* -1 (/ (* a z) (- (+ t 1.0) z))) in z
2.232 * [taylor]: Taking taylor expansion of -1 in z
2.232 * [taylor]: Taking taylor expansion of (/ (* a z) (- (+ t 1.0) z)) in z
2.232 * [taylor]: Taking taylor expansion of (* a z) in z
2.232 * [taylor]: Taking taylor expansion of a in z
2.232 * [taylor]: Taking taylor expansion of z in z
2.232 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in z
2.232 * [taylor]: Taking taylor expansion of (+ t 1.0) in z
2.232 * [taylor]: Taking taylor expansion of t in z
2.232 * [taylor]: Taking taylor expansion of 1.0 in z
2.232 * [taylor]: Taking taylor expansion of z in z
2.235 * [taylor]: Taking taylor expansion of (/ a (- (+ t 1.0) z)) in z
2.235 * [taylor]: Taking taylor expansion of a in z
2.235 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in z
2.235 * [taylor]: Taking taylor expansion of (+ t 1.0) in z
2.235 * [taylor]: Taking taylor expansion of t in z
2.235 * [taylor]: Taking taylor expansion of 1.0 in z
2.235 * [taylor]: Taking taylor expansion of z in z
2.235 * [taylor]: Taking taylor expansion of (/ a (+ t 1.0)) in t
2.235 * [taylor]: Taking taylor expansion of a in t
2.235 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
2.235 * [taylor]: Taking taylor expansion of t in t
2.235 * [taylor]: Taking taylor expansion of 1.0 in t
2.235 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
2.235 * [taylor]: Taking taylor expansion of 1.0 in a
2.235 * [taylor]: Taking taylor expansion of a in a
2.236 * [taylor]: Taking taylor expansion of (* -1 (/ a (+ t 1.0))) in t
2.237 * [taylor]: Taking taylor expansion of -1 in t
2.237 * [taylor]: Taking taylor expansion of (/ a (+ t 1.0)) in t
2.237 * [taylor]: Taking taylor expansion of a in t
2.237 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
2.237 * [taylor]: Taking taylor expansion of t in t
2.237 * [taylor]: Taking taylor expansion of 1.0 in t
2.237 * [taylor]: Taking taylor expansion of (* -1.0 a) in a
2.237 * [taylor]: Taking taylor expansion of -1.0 in a
2.237 * [taylor]: Taking taylor expansion of a in a
2.240 * [taylor]: Taking taylor expansion of 0 in z
2.240 * [taylor]: Taking taylor expansion of 0 in t
2.240 * [taylor]: Taking taylor expansion of 0 in a
2.241 * [taylor]: Taking taylor expansion of (/ a (pow (+ t 1.0) 2)) in t
2.241 * [taylor]: Taking taylor expansion of a in t
2.241 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
2.241 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
2.241 * [taylor]: Taking taylor expansion of t in t
2.241 * [taylor]: Taking taylor expansion of 1.0 in t
2.242 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
2.242 * [taylor]: Taking taylor expansion of 1.0 in a
2.242 * [taylor]: Taking taylor expansion of a in a
2.243 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (* a (- (+ (/ 1 t) 1.0) (/ 1 z)))) in (y z t a) around 0
2.243 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (* a (- (+ (/ 1 t) 1.0) (/ 1 z)))) in a
2.243 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in a
2.243 * [taylor]: Taking taylor expansion of (/ 1 y) in a
2.243 * [taylor]: Taking taylor expansion of y in a
2.243 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.243 * [taylor]: Taking taylor expansion of z in a
2.244 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in a
2.244 * [taylor]: Taking taylor expansion of a in a
2.244 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in a
2.244 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
2.244 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.244 * [taylor]: Taking taylor expansion of t in a
2.244 * [taylor]: Taking taylor expansion of 1.0 in a
2.244 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.244 * [taylor]: Taking taylor expansion of z in a
2.245 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (* a (- (+ (/ 1 t) 1.0) (/ 1 z)))) in t
2.245 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
2.245 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.245 * [taylor]: Taking taylor expansion of y in t
2.245 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.245 * [taylor]: Taking taylor expansion of z in t
2.245 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in t
2.245 * [taylor]: Taking taylor expansion of a in t
2.245 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in t
2.245 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.245 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.245 * [taylor]: Taking taylor expansion of t in t
2.246 * [taylor]: Taking taylor expansion of 1.0 in t
2.246 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.246 * [taylor]: Taking taylor expansion of z in t
2.247 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (* a (- (+ (/ 1 t) 1.0) (/ 1 z)))) in z
2.247 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
2.247 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.247 * [taylor]: Taking taylor expansion of y in z
2.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.247 * [taylor]: Taking taylor expansion of z in z
2.247 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in z
2.247 * [taylor]: Taking taylor expansion of a in z
2.247 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in z
2.247 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
2.247 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.247 * [taylor]: Taking taylor expansion of t in z
2.247 * [taylor]: Taking taylor expansion of 1.0 in z
2.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.247 * [taylor]: Taking taylor expansion of z in z
2.249 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (* a (- (+ (/ 1 t) 1.0) (/ 1 z)))) in y
2.249 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
2.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.249 * [taylor]: Taking taylor expansion of y in y
2.249 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.249 * [taylor]: Taking taylor expansion of z in y
2.249 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in y
2.249 * [taylor]: Taking taylor expansion of a in y
2.249 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in y
2.249 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
2.249 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.249 * [taylor]: Taking taylor expansion of t in y
2.249 * [taylor]: Taking taylor expansion of 1.0 in y
2.249 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.249 * [taylor]: Taking taylor expansion of z in y
2.250 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) (* a (- (+ (/ 1 t) 1.0) (/ 1 z)))) in y
2.250 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
2.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.250 * [taylor]: Taking taylor expansion of y in y
2.250 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.250 * [taylor]: Taking taylor expansion of z in y
2.250 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in y
2.250 * [taylor]: Taking taylor expansion of a in y
2.250 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in y
2.250 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
2.250 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.250 * [taylor]: Taking taylor expansion of t in y
2.250 * [taylor]: Taking taylor expansion of 1.0 in y
2.250 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.250 * [taylor]: Taking taylor expansion of z in y
2.251 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (+ (/ 1 t) 1.0) (/ 1 z)))) in z
2.251 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in z
2.251 * [taylor]: Taking taylor expansion of a in z
2.251 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in z
2.251 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
2.251 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.251 * [taylor]: Taking taylor expansion of t in z
2.251 * [taylor]: Taking taylor expansion of 1.0 in z
2.251 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.251 * [taylor]: Taking taylor expansion of z in z
2.254 * [taylor]: Taking taylor expansion of (- (/ 1 (* a (* z (- (+ (/ 1 t) 1.0) (/ 1 z)))))) in z
2.254 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z (- (+ (/ 1 t) 1.0) (/ 1 z))))) in z
2.254 * [taylor]: Taking taylor expansion of (* a (* z (- (+ (/ 1 t) 1.0) (/ 1 z)))) in z
2.254 * [taylor]: Taking taylor expansion of a in z
2.254 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 t) 1.0) (/ 1 z))) in z
2.254 * [taylor]: Taking taylor expansion of z in z
2.254 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in z
2.254 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
2.254 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.254 * [taylor]: Taking taylor expansion of t in z
2.254 * [taylor]: Taking taylor expansion of 1.0 in z
2.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.254 * [taylor]: Taking taylor expansion of z in z
2.257 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.257 * [taylor]: Taking taylor expansion of a in t
2.257 * [taylor]: Taking taylor expansion of 0 in a
2.257 * [taylor]: Taking taylor expansion of (/ -1 a) in t
2.257 * [taylor]: Taking taylor expansion of -1 in t
2.257 * [taylor]: Taking taylor expansion of a in t
2.257 * [taylor]: Taking taylor expansion of 0 in a
2.260 * [taylor]: Taking taylor expansion of 0 in z
2.260 * [taylor]: Taking taylor expansion of 0 in t
2.260 * [taylor]: Taking taylor expansion of 0 in a
2.262 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 (* a t))) in t
2.262 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.262 * [taylor]: Taking taylor expansion of 1.0 in t
2.262 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.262 * [taylor]: Taking taylor expansion of a in t
2.262 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in t
2.263 * [taylor]: Taking taylor expansion of (* a t) in t
2.263 * [taylor]: Taking taylor expansion of a in t
2.263 * [taylor]: Taking taylor expansion of t in t
2.264 * [taylor]: Taking taylor expansion of 0 in a
2.266 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 (* a t)))) in t
2.266 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 (* a t))) in t
2.266 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.266 * [taylor]: Taking taylor expansion of 1.0 in t
2.266 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.266 * [taylor]: Taking taylor expansion of a in t
2.266 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in t
2.266 * [taylor]: Taking taylor expansion of (* a t) in t
2.266 * [taylor]: Taking taylor expansion of a in t
2.266 * [taylor]: Taking taylor expansion of t in t
2.268 * [taylor]: Taking taylor expansion of 0 in a
2.268 * [taylor]: Taking taylor expansion of 0 in a
2.268 * [taylor]: Taking taylor expansion of 0 in a
2.271 * [taylor]: Taking taylor expansion of 0 in z
2.271 * [taylor]: Taking taylor expansion of 0 in t
2.271 * [taylor]: Taking taylor expansion of 0 in a
2.271 * [taylor]: Taking taylor expansion of 0 in t
2.272 * [taylor]: Taking taylor expansion of 0 in a
2.275 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t a))) (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a)))) in t
2.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t a))) in t
2.275 * [taylor]: Taking taylor expansion of 2.0 in t
2.275 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.275 * [taylor]: Taking taylor expansion of (* t a) in t
2.275 * [taylor]: Taking taylor expansion of t in t
2.275 * [taylor]: Taking taylor expansion of a in t
2.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a))) in t
2.275 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) a)) in t
2.275 * [taylor]: Taking taylor expansion of (* (pow t 2) a) in t
2.275 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.275 * [taylor]: Taking taylor expansion of t in t
2.276 * [taylor]: Taking taylor expansion of a in t
2.276 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.276 * [taylor]: Taking taylor expansion of 1.0 in t
2.276 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.276 * [taylor]: Taking taylor expansion of a in t
2.282 * [taylor]: Taking taylor expansion of 0 in a
2.284 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t a))) (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a))))) in t
2.284 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t a))) (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a)))) in t
2.284 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t a))) in t
2.284 * [taylor]: Taking taylor expansion of 2.0 in t
2.284 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.284 * [taylor]: Taking taylor expansion of (* t a) in t
2.284 * [taylor]: Taking taylor expansion of t in t
2.284 * [taylor]: Taking taylor expansion of a in t
2.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a))) in t
2.284 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) a)) in t
2.284 * [taylor]: Taking taylor expansion of (* (pow t 2) a) in t
2.284 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.284 * [taylor]: Taking taylor expansion of t in t
2.285 * [taylor]: Taking taylor expansion of a in t
2.285 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.285 * [taylor]: Taking taylor expansion of 1.0 in t
2.285 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.285 * [taylor]: Taking taylor expansion of a in t
2.291 * [taylor]: Taking taylor expansion of 0 in a
2.291 * [taylor]: Taking taylor expansion of 0 in a
2.293 * [taylor]: Taking taylor expansion of 0 in a
2.294 * [taylor]: Taking taylor expansion of 0 in a
2.295 * [taylor]: Taking taylor expansion of 0 in a
2.295 * [taylor]: Taking taylor expansion of 0 in a
2.295 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a))) in (y z t a) around 0
2.295 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a))) in a
2.295 * [taylor]: Taking taylor expansion of -1 in a
2.295 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in a
2.295 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in a
2.295 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.295 * [taylor]: Taking taylor expansion of z in a
2.295 * [taylor]: Taking taylor expansion of (/ 1 y) in a
2.295 * [taylor]: Taking taylor expansion of y in a
2.295 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in a
2.295 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in a
2.295 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in a
2.295 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.295 * [taylor]: Taking taylor expansion of z in a
2.295 * [taylor]: Taking taylor expansion of 1.0 in a
2.295 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.295 * [taylor]: Taking taylor expansion of t in a
2.295 * [taylor]: Taking taylor expansion of a in a
2.297 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a))) in t
2.297 * [taylor]: Taking taylor expansion of -1 in t
2.297 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in t
2.297 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
2.297 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.297 * [taylor]: Taking taylor expansion of z in t
2.297 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.297 * [taylor]: Taking taylor expansion of y in t
2.297 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in t
2.297 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in t
2.297 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
2.298 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.298 * [taylor]: Taking taylor expansion of z in t
2.298 * [taylor]: Taking taylor expansion of 1.0 in t
2.298 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.298 * [taylor]: Taking taylor expansion of t in t
2.298 * [taylor]: Taking taylor expansion of a in t
2.299 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a))) in z
2.299 * [taylor]: Taking taylor expansion of -1 in z
2.299 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in z
2.299 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
2.299 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.299 * [taylor]: Taking taylor expansion of z in z
2.299 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.299 * [taylor]: Taking taylor expansion of y in z
2.299 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in z
2.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in z
2.299 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.299 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.299 * [taylor]: Taking taylor expansion of z in z
2.299 * [taylor]: Taking taylor expansion of 1.0 in z
2.299 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.299 * [taylor]: Taking taylor expansion of t in z
2.299 * [taylor]: Taking taylor expansion of a in z
2.300 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a))) in y
2.300 * [taylor]: Taking taylor expansion of -1 in y
2.300 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in y
2.300 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
2.300 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.300 * [taylor]: Taking taylor expansion of z in y
2.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.300 * [taylor]: Taking taylor expansion of y in y
2.301 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in y
2.301 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in y
2.301 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
2.301 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.301 * [taylor]: Taking taylor expansion of z in y
2.301 * [taylor]: Taking taylor expansion of 1.0 in y
2.301 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.301 * [taylor]: Taking taylor expansion of t in y
2.301 * [taylor]: Taking taylor expansion of a in y
2.302 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a))) in y
2.302 * [taylor]: Taking taylor expansion of -1 in y
2.302 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in y
2.302 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
2.302 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.302 * [taylor]: Taking taylor expansion of z in y
2.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.302 * [taylor]: Taking taylor expansion of y in y
2.302 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in y
2.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in y
2.302 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
2.302 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.302 * [taylor]: Taking taylor expansion of z in y
2.302 * [taylor]: Taking taylor expansion of 1.0 in y
2.302 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.302 * [taylor]: Taking taylor expansion of t in y
2.302 * [taylor]: Taking taylor expansion of a in y
2.309 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in z
2.309 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in z
2.309 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in z
2.309 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.309 * [taylor]: Taking taylor expansion of z in z
2.309 * [taylor]: Taking taylor expansion of 1.0 in z
2.309 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.309 * [taylor]: Taking taylor expansion of t in z
2.309 * [taylor]: Taking taylor expansion of a in z
2.312 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) (* z a)))) in z
2.312 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) (* z a))) in z
2.312 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) (* z a)) in z
2.312 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in z
2.312 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.312 * [taylor]: Taking taylor expansion of z in z
2.313 * [taylor]: Taking taylor expansion of 1.0 in z
2.313 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.313 * [taylor]: Taking taylor expansion of t in z
2.313 * [taylor]: Taking taylor expansion of (* z a) in z
2.313 * [taylor]: Taking taylor expansion of z in z
2.313 * [taylor]: Taking taylor expansion of a in z
2.315 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in t
2.315 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.315 * [taylor]: Taking taylor expansion of a in t
2.315 * [taylor]: Taking taylor expansion of 0 in a
2.315 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.315 * [taylor]: Taking taylor expansion of a in t
2.315 * [taylor]: Taking taylor expansion of 0 in a
2.319 * [taylor]: Taking taylor expansion of 0 in z
2.319 * [taylor]: Taking taylor expansion of 0 in t
2.319 * [taylor]: Taking taylor expansion of 0 in a
2.322 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (/ 1 (* a t))) in t
2.322 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.322 * [taylor]: Taking taylor expansion of 1.0 in t
2.322 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.322 * [taylor]: Taking taylor expansion of a in t
2.322 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in t
2.322 * [taylor]: Taking taylor expansion of (* a t) in t
2.322 * [taylor]: Taking taylor expansion of a in t
2.322 * [taylor]: Taking taylor expansion of t in t
2.324 * [taylor]: Taking taylor expansion of 0 in a
2.325 * [taylor]: Taking taylor expansion of (- (/ 1 (* a t)) (* 1.0 (/ 1 a))) in t
2.325 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in t
2.325 * [taylor]: Taking taylor expansion of (* a t) in t
2.325 * [taylor]: Taking taylor expansion of a in t
2.325 * [taylor]: Taking taylor expansion of t in t
2.326 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.326 * [taylor]: Taking taylor expansion of 1.0 in t
2.326 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.326 * [taylor]: Taking taylor expansion of a in t
2.328 * [taylor]: Taking taylor expansion of 0 in a
2.328 * [taylor]: Taking taylor expansion of 0 in a
2.328 * [taylor]: Taking taylor expansion of 0 in a
2.332 * [taylor]: Taking taylor expansion of 0 in z
2.332 * [taylor]: Taking taylor expansion of 0 in t
2.332 * [taylor]: Taking taylor expansion of 0 in a
2.332 * [taylor]: Taking taylor expansion of 0 in t
2.332 * [taylor]: Taking taylor expansion of 0 in a
2.336 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* t a))) (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a)))) in t
2.336 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t a))) in t
2.336 * [taylor]: Taking taylor expansion of 2.0 in t
2.336 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.336 * [taylor]: Taking taylor expansion of (* t a) in t
2.336 * [taylor]: Taking taylor expansion of t in t
2.336 * [taylor]: Taking taylor expansion of a in t
2.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a))) in t
2.336 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) a)) in t
2.336 * [taylor]: Taking taylor expansion of (* (pow t 2) a) in t
2.336 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.336 * [taylor]: Taking taylor expansion of t in t
2.336 * [taylor]: Taking taylor expansion of a in t
2.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.337 * [taylor]: Taking taylor expansion of 1.0 in t
2.337 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.337 * [taylor]: Taking taylor expansion of a in t
2.343 * [taylor]: Taking taylor expansion of 0 in a
2.345 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a))) (* 2.0 (/ 1 (* t a)))) in t
2.345 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) a)) (* 1.0 (/ 1 a))) in t
2.345 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) a)) in t
2.345 * [taylor]: Taking taylor expansion of (* (pow t 2) a) in t
2.345 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.345 * [taylor]: Taking taylor expansion of t in t
2.345 * [taylor]: Taking taylor expansion of a in t
2.345 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
2.345 * [taylor]: Taking taylor expansion of 1.0 in t
2.345 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.345 * [taylor]: Taking taylor expansion of a in t
2.345 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t a))) in t
2.345 * [taylor]: Taking taylor expansion of 2.0 in t
2.345 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.345 * [taylor]: Taking taylor expansion of (* t a) in t
2.345 * [taylor]: Taking taylor expansion of t in t
2.345 * [taylor]: Taking taylor expansion of a in t
2.352 * [taylor]: Taking taylor expansion of 0 in a
2.352 * [taylor]: Taking taylor expansion of 0 in a
2.354 * [taylor]: Taking taylor expansion of 0 in a
2.355 * [taylor]: Taking taylor expansion of 0 in a
2.356 * [taylor]: Taking taylor expansion of 0 in a
2.356 * [taylor]: Taking taylor expansion of 0 in a
2.356 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
2.356 * [approximate]: Taking taylor expansion of (/ (- (+ t 1.0) z) a) in (t z a) around 0
2.356 * [taylor]: Taking taylor expansion of (/ (- (+ t 1.0) z) a) in a
2.356 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in a
2.356 * [taylor]: Taking taylor expansion of (+ t 1.0) in a
2.356 * [taylor]: Taking taylor expansion of t in a
2.356 * [taylor]: Taking taylor expansion of 1.0 in a
2.356 * [taylor]: Taking taylor expansion of z in a
2.356 * [taylor]: Taking taylor expansion of a in a
2.356 * [taylor]: Taking taylor expansion of (/ (- (+ t 1.0) z) a) in z
2.356 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in z
2.356 * [taylor]: Taking taylor expansion of (+ t 1.0) in z
2.356 * [taylor]: Taking taylor expansion of t in z
2.356 * [taylor]: Taking taylor expansion of 1.0 in z
2.356 * [taylor]: Taking taylor expansion of z in z
2.356 * [taylor]: Taking taylor expansion of a in z
2.357 * [taylor]: Taking taylor expansion of (/ (- (+ t 1.0) z) a) in t
2.357 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in t
2.357 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
2.357 * [taylor]: Taking taylor expansion of t in t
2.357 * [taylor]: Taking taylor expansion of 1.0 in t
2.357 * [taylor]: Taking taylor expansion of z in t
2.357 * [taylor]: Taking taylor expansion of a in t
2.357 * [taylor]: Taking taylor expansion of (/ (- (+ t 1.0) z) a) in t
2.357 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in t
2.357 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
2.357 * [taylor]: Taking taylor expansion of t in t
2.357 * [taylor]: Taking taylor expansion of 1.0 in t
2.357 * [taylor]: Taking taylor expansion of z in t
2.357 * [taylor]: Taking taylor expansion of a in t
2.358 * [taylor]: Taking taylor expansion of (/ (- 1.0 z) a) in z
2.358 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.358 * [taylor]: Taking taylor expansion of 1.0 in z
2.358 * [taylor]: Taking taylor expansion of z in z
2.358 * [taylor]: Taking taylor expansion of a in z
2.358 * [taylor]: Taking taylor expansion of (/ 1.0 a) in a
2.359 * [taylor]: Taking taylor expansion of 1.0 in a
2.359 * [taylor]: Taking taylor expansion of a in a
2.360 * [taylor]: Taking taylor expansion of (/ 1 a) in z
2.360 * [taylor]: Taking taylor expansion of a in z
2.360 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.360 * [taylor]: Taking taylor expansion of a in a
2.361 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
2.361 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.361 * [taylor]: Taking taylor expansion of a in a
2.362 * [approximate]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in (t z a) around 0
2.362 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in a
2.362 * [taylor]: Taking taylor expansion of a in a
2.362 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in a
2.362 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
2.362 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.362 * [taylor]: Taking taylor expansion of t in a
2.362 * [taylor]: Taking taylor expansion of 1.0 in a
2.362 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.362 * [taylor]: Taking taylor expansion of z in a
2.362 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in z
2.362 * [taylor]: Taking taylor expansion of a in z
2.362 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in z
2.362 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
2.362 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.362 * [taylor]: Taking taylor expansion of t in z
2.362 * [taylor]: Taking taylor expansion of 1.0 in z
2.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.362 * [taylor]: Taking taylor expansion of z in z
2.362 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in t
2.362 * [taylor]: Taking taylor expansion of a in t
2.362 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in t
2.362 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.362 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.362 * [taylor]: Taking taylor expansion of t in t
2.363 * [taylor]: Taking taylor expansion of 1.0 in t
2.363 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.363 * [taylor]: Taking taylor expansion of z in t
2.363 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 t) 1.0) (/ 1 z))) in t
2.363 * [taylor]: Taking taylor expansion of a in t
2.363 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in t
2.363 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.363 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.363 * [taylor]: Taking taylor expansion of t in t
2.363 * [taylor]: Taking taylor expansion of 1.0 in t
2.363 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.363 * [taylor]: Taking taylor expansion of z in t
2.364 * [taylor]: Taking taylor expansion of a in z
2.365 * [taylor]: Taking taylor expansion of (- (* 1.0 a) (/ a z)) in z
2.365 * [taylor]: Taking taylor expansion of (* 1.0 a) in z
2.365 * [taylor]: Taking taylor expansion of 1.0 in z
2.365 * [taylor]: Taking taylor expansion of a in z
2.365 * [taylor]: Taking taylor expansion of (/ a z) in z
2.365 * [taylor]: Taking taylor expansion of a in z
2.365 * [taylor]: Taking taylor expansion of z in z
2.365 * [taylor]: Taking taylor expansion of (- a) in a
2.365 * [taylor]: Taking taylor expansion of a in a
2.366 * [taylor]: Taking taylor expansion of a in a
2.367 * [taylor]: Taking taylor expansion of 0 in z
2.368 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
2.368 * [taylor]: Taking taylor expansion of 1.0 in a
2.368 * [taylor]: Taking taylor expansion of a in a
2.368 * [taylor]: Taking taylor expansion of 0 in a
2.370 * [taylor]: Taking taylor expansion of 0 in z
2.371 * [taylor]: Taking taylor expansion of 0 in a
2.372 * [taylor]: Taking taylor expansion of 0 in a
2.372 * [taylor]: Taking taylor expansion of 0 in a
2.374 * [approximate]: Taking taylor expansion of (* -1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in (t z a) around 0
2.374 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in a
2.374 * [taylor]: Taking taylor expansion of -1 in a
2.374 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in a
2.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in a
2.374 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in a
2.374 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.374 * [taylor]: Taking taylor expansion of z in a
2.374 * [taylor]: Taking taylor expansion of 1.0 in a
2.374 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.374 * [taylor]: Taking taylor expansion of t in a
2.374 * [taylor]: Taking taylor expansion of a in a
2.374 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in z
2.374 * [taylor]: Taking taylor expansion of -1 in z
2.374 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in z
2.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in z
2.374 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.374 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.374 * [taylor]: Taking taylor expansion of z in z
2.374 * [taylor]: Taking taylor expansion of 1.0 in z
2.374 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.374 * [taylor]: Taking taylor expansion of t in z
2.374 * [taylor]: Taking taylor expansion of a in z
2.374 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in t
2.375 * [taylor]: Taking taylor expansion of -1 in t
2.375 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in t
2.375 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in t
2.375 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
2.375 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.375 * [taylor]: Taking taylor expansion of z in t
2.375 * [taylor]: Taking taylor expansion of 1.0 in t
2.375 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.375 * [taylor]: Taking taylor expansion of t in t
2.375 * [taylor]: Taking taylor expansion of a in t
2.375 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a)) in t
2.375 * [taylor]: Taking taylor expansion of -1 in t
2.375 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 t)) a) in t
2.375 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 t)) in t
2.375 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
2.375 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.375 * [taylor]: Taking taylor expansion of z in t
2.375 * [taylor]: Taking taylor expansion of 1.0 in t
2.375 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.375 * [taylor]: Taking taylor expansion of t in t
2.375 * [taylor]: Taking taylor expansion of a in t
2.376 * [taylor]: Taking taylor expansion of a in z
2.377 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (/ a z))) in z
2.377 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (/ a z)) in z
2.377 * [taylor]: Taking taylor expansion of (* 1.0 a) in z
2.377 * [taylor]: Taking taylor expansion of 1.0 in z
2.377 * [taylor]: Taking taylor expansion of a in z
2.377 * [taylor]: Taking taylor expansion of (/ a z) in z
2.378 * [taylor]: Taking taylor expansion of a in z
2.378 * [taylor]: Taking taylor expansion of z in z
2.378 * [taylor]: Taking taylor expansion of (- a) in a
2.378 * [taylor]: Taking taylor expansion of a in a
2.378 * [taylor]: Taking taylor expansion of a in a
2.380 * [taylor]: Taking taylor expansion of 0 in z
2.381 * [taylor]: Taking taylor expansion of (- (* 1.0 a)) in a
2.381 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
2.381 * [taylor]: Taking taylor expansion of 1.0 in a
2.381 * [taylor]: Taking taylor expansion of a in a
2.381 * [taylor]: Taking taylor expansion of 0 in a
2.384 * [taylor]: Taking taylor expansion of 0 in z
2.384 * [taylor]: Taking taylor expansion of 0 in a
2.386 * [taylor]: Taking taylor expansion of 0 in a
2.386 * [taylor]: Taking taylor expansion of 0 in a
2.388 * * * [progress]: simplifying candidates
2.391 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (- y z)) (- (log (+ (- t z) 1.0)) (log a)))
  (- (log (- y z)) (log (/ (+ (- t z) 1.0) a)))
  (log (/ (- y z) (/ (+ (- t z) 1.0) a)))
  (exp (/ (- y z) (/ (+ (- t z) 1.0) a)))
  (/ (* (* (- y z) (- y z)) (- y z)) (/ (* (* (+ (- t z) 1.0) (+ (- t z) 1.0)) (+ (- t z) 1.0)) (* (* a a) a)))
  (/ (* (* (- y z) (- y z)) (- y z)) (* (* (/ (+ (- t z) 1.0) a) (/ (+ (- t z) 1.0) a)) (/ (+ (- t z) 1.0) a)))
  (* (cbrt (/ (- y z) (/ (+ (- t z) 1.0) a))) (cbrt (/ (- y z) (/ (+ (- t z) 1.0) a))))
  (cbrt (/ (- y z) (/ (+ (- t z) 1.0) a)))
  (* (* (/ (- y z) (/ (+ (- t z) 1.0) a)) (/ (- y z) (/ (+ (- t z) 1.0) a))) (/ (- y z) (/ (+ (- t z) 1.0) a)))
  (sqrt (/ (- y z) (/ (+ (- t z) 1.0) a)))
  (sqrt (/ (- y z) (/ (+ (- t z) 1.0) a)))
  (- (- y z))
  (- (/ (+ (- t z) 1.0) a))
  (/ y (/ (+ (- t z) 1.0) a))
  (/ z (/ (+ (- t z) 1.0) a))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (/ (+ (- t z) 1.0) a)) (cbrt (/ (+ (- t z) 1.0) a))))
  (/ (cbrt (- y z)) (cbrt (/ (+ (- t z) 1.0) a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (cbrt (- y z)) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (* (cbrt a) (cbrt a))))
  (/ (cbrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) (cbrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (sqrt a)))
  (/ (cbrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) 1))
  (/ (cbrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) a))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (sqrt (+ (- t z) 1.0)) (* (cbrt a) (cbrt a))))
  (/ (cbrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) (cbrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (cbrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (sqrt (+ (- t z) 1.0)) 1))
  (/ (cbrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) a))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 (sqrt a)))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 1))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 (sqrt a)))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 1))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 (sqrt a)))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ 1 1))
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) 1)
  (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (* (cbrt (- y z)) (cbrt (- y z))) (+ (- t z) 1.0))
  (/ (cbrt (- y z)) (/ 1 a))
  (/ (sqrt (- y z)) (* (cbrt (/ (+ (- t z) 1.0) a)) (cbrt (/ (+ (- t z) 1.0) a))))
  (/ (sqrt (- y z)) (cbrt (/ (+ (- t z) 1.0) a)))
  (/ (sqrt (- y z)) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (sqrt (- y z)) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (sqrt (- y z)) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (* (cbrt a) (cbrt a))))
  (/ (sqrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) (cbrt a)))
  (/ (sqrt (- y z)) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (sqrt a)))
  (/ (sqrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (sqrt (- y z)) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) 1))
  (/ (sqrt (- y z)) (/ (cbrt (+ (- t z) 1.0)) a))
  (/ (sqrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) (* (cbrt a) (cbrt a))))
  (/ (sqrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) (cbrt a)))
  (/ (sqrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (sqrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (sqrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) 1))
  (/ (sqrt (- y z)) (/ (sqrt (+ (- t z) 1.0)) a))
  (/ (sqrt (- y z)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (sqrt (- y z)) (/ 1 (sqrt a)))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (sqrt (- y z)) (/ 1 1))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (sqrt (- y z)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (sqrt (- y z)) (/ 1 (sqrt a)))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (sqrt (- y z)) (/ 1 1))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (sqrt (- y z)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (sqrt (- y z)) (/ 1 (sqrt a)))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (sqrt (- y z)) (/ 1 1))
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (sqrt (- y z)) 1)
  (/ (sqrt (- y z)) (/ (+ (- t z) 1.0) a))
  (/ (sqrt (- y z)) (+ (- t z) 1.0))
  (/ (sqrt (- y z)) (/ 1 a))
  (/ 1 (* (cbrt (/ (+ (- t z) 1.0) a)) (cbrt (/ (+ (- t z) 1.0) a))))
  (/ (- y z) (cbrt (/ (+ (- t z) 1.0) a)))
  (/ 1 (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (- y z) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ 1 (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) (cbrt a)))
  (/ 1 (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (sqrt a)))
  (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) (sqrt a)))
  (/ 1 (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) 1))
  (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) a))
  (/ 1 (/ (sqrt (+ (- t z) 1.0)) (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) (cbrt a)))
  (/ 1 (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ 1 (/ (sqrt (+ (- t z) 1.0)) 1))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) a))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ 1 (/ 1 (sqrt a)))
  (/ (- y z) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ 1 (/ 1 1))
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ 1 (/ 1 (sqrt a)))
  (/ (- y z) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ 1 (/ 1 1))
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ 1 (/ 1 (sqrt a)))
  (/ (- y z) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ 1 (/ 1 1))
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 1)
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 (+ (- t z) 1.0))
  (/ (- y z) (/ 1 a))
  (/ (+ (sqrt y) (sqrt z)) (* (cbrt (/ (+ (- t z) 1.0) a)) (cbrt (/ (+ (- t z) 1.0) a))))
  (/ (- (sqrt y) (sqrt z)) (cbrt (/ (+ (- t z) 1.0) a)))
  (/ (+ (sqrt y) (sqrt z)) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (- (sqrt y) (sqrt z)) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (+ (sqrt y) (sqrt z)) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (* (cbrt a) (cbrt a))))
  (/ (- (sqrt y) (sqrt z)) (/ (cbrt (+ (- t z) 1.0)) (cbrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (sqrt a)))
  (/ (- (sqrt y) (sqrt z)) (/ (cbrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) 1))
  (/ (- (sqrt y) (sqrt z)) (/ (cbrt (+ (- t z) 1.0)) a))
  (/ (+ (sqrt y) (sqrt z)) (/ (sqrt (+ (- t z) 1.0)) (* (cbrt a) (cbrt a))))
  (/ (- (sqrt y) (sqrt z)) (/ (sqrt (+ (- t z) 1.0)) (cbrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (- (sqrt y) (sqrt z)) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ (sqrt (+ (- t z) 1.0)) 1))
  (/ (- (sqrt y) (sqrt z)) (/ (sqrt (+ (- t z) 1.0)) a))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 (sqrt a)))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 1))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) a))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 (sqrt a)))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 1))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) a))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 (sqrt a)))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ (+ (sqrt y) (sqrt z)) (/ 1 1))
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) a))
  (/ (+ (sqrt y) (sqrt z)) 1)
  (/ (- (sqrt y) (sqrt z)) (/ (+ (- t z) 1.0) a))
  (/ (+ (sqrt y) (sqrt z)) (+ (- t z) 1.0))
  (/ (- (sqrt y) (sqrt z)) (/ 1 a))
  (/ 1 (* (cbrt (/ (+ (- t z) 1.0) a)) (cbrt (/ (+ (- t z) 1.0) a))))
  (/ (- y z) (cbrt (/ (+ (- t z) 1.0) a)))
  (/ 1 (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (- y z) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ 1 (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) (cbrt a)))
  (/ 1 (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (sqrt a)))
  (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) (sqrt a)))
  (/ 1 (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) 1))
  (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) a))
  (/ 1 (/ (sqrt (+ (- t z) 1.0)) (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) (cbrt a)))
  (/ 1 (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ 1 (/ (sqrt (+ (- t z) 1.0)) 1))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) a))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ 1 (/ 1 (sqrt a)))
  (/ (- y z) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ 1 (/ 1 1))
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ 1 (/ 1 (sqrt a)))
  (/ (- y z) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ 1 (/ 1 1))
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (+ (- t z) 1.0) (cbrt a)))
  (/ 1 (/ 1 (sqrt a)))
  (/ (- y z) (/ (+ (- t z) 1.0) (sqrt a)))
  (/ 1 (/ 1 1))
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 1)
  (/ (- y z) (/ (+ (- t z) 1.0) a))
  (/ 1 (+ (- t z) 1.0))
  (/ (- y z) (/ 1 a))
  (/ 1 (/ (+ (- t z) 1.0) a))
  (/ (/ (+ (- t z) 1.0) a) (- y z))
  (/ (- y z) (* (cbrt (/ (+ (- t z) 1.0) a)) (cbrt (/ (+ (- t z) 1.0) a))))
  (/ (- y z) (sqrt (/ (+ (- t z) 1.0) a)))
  (/ (- y z) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (sqrt a)))
  (/ (- y z) (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) 1))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) (sqrt a)))
  (/ (- y z) (/ (sqrt (+ (- t z) 1.0)) 1))
  (/ (- y z) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ 1 (sqrt a)))
  (/ (- y z) (/ 1 1))
  (/ (- y z) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ 1 (sqrt a)))
  (/ (- y z) (/ 1 1))
  (/ (- y z) (/ 1 (* (cbrt a) (cbrt a))))
  (/ (- y z) (/ 1 (sqrt a)))
  (/ (- y z) (/ 1 1))
  (/ (- y z) 1)
  (/ (- y z) (+ (- t z) 1.0))
  (/ (/ (+ (- t z) 1.0) a) (cbrt (- y z)))
  (/ (/ (+ (- t z) 1.0) a) (sqrt (- y z)))
  (/ (/ (+ (- t z) 1.0) a) (- y z))
  (/ (/ (+ (- t z) 1.0) a) (- (sqrt y) (sqrt z)))
  (/ (/ (+ (- t z) 1.0) a) (- y z))
  (/ (- y z) (+ (- t z) 1.0))
  (* (/ (+ (- t z) 1.0) a) (+ (* y y) (+ (* z z) (* y z))))
  (* (/ (+ (- t z) 1.0) a) (+ y z))
  (- (log (+ (- t z) 1.0)) (log a))
  (log (/ (+ (- t z) 1.0) a))
  (exp (/ (+ (- t z) 1.0) a))
  (/ (* (* (+ (- t z) 1.0) (+ (- t z) 1.0)) (+ (- t z) 1.0)) (* (* a a) a))
  (* (cbrt (/ (+ (- t z) 1.0) a)) (cbrt (/ (+ (- t z) 1.0) a)))
  (cbrt (/ (+ (- t z) 1.0) a))
  (* (* (/ (+ (- t z) 1.0) a) (/ (+ (- t z) 1.0) a)) (/ (+ (- t z) 1.0) a))
  (sqrt (/ (+ (- t z) 1.0) a))
  (sqrt (/ (+ (- t z) 1.0) a))
  (- (+ (- t z) 1.0))
  (- a)
  (/ t a)
  (/ (- z 1.0) a)
  (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (+ (- t z) 1.0)) (cbrt a))
  (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) (sqrt a))
  (/ (cbrt (+ (- t z) 1.0)) (sqrt a))
  (/ (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0))) 1)
  (/ (cbrt (+ (- t z) 1.0)) a)
  (/ (sqrt (+ (- t z) 1.0)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (+ (- t z) 1.0)) (cbrt a))
  (/ (sqrt (+ (- t z) 1.0)) (sqrt a))
  (/ (sqrt (+ (- t z) 1.0)) (sqrt a))
  (/ (sqrt (+ (- t z) 1.0)) 1)
  (/ (sqrt (+ (- t z) 1.0)) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (- t z) 1.0) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ (- t z) 1.0) (sqrt a))
  (/ 1 1)
  (/ (+ (- t z) 1.0) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (- t z) 1.0) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ (- t z) 1.0) (sqrt a))
  (/ 1 1)
  (/ (+ (- t z) 1.0) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (- t z) 1.0) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ (- t z) 1.0) (sqrt a))
  (/ 1 1)
  (/ (+ (- t z) 1.0) a)
  (/ 1 a)
  (/ a (+ (- t z) 1.0))
  (/ (+ (- t z) 1.0) (* (cbrt a) (cbrt a)))
  (/ (+ (- t z) 1.0) (sqrt a))
  (/ (+ (- t z) 1.0) 1)
  (/ a (cbrt (+ (- t z) 1.0)))
  (/ a (sqrt (+ (- t z) 1.0)))
  (/ a (+ (- t z) 1.0))
  (/ a (+ (- t z) 1.0))
  (/ a (+ (- t z) 1.0))
  (* a (+ (* (- t z) (- t z)) (- (* 1.0 1.0) (* (- t z) 1.0))))
  (* a (- (- t z) 1.0))
  (- (+ (* 1.0 (* a (* z y))) (* 1.0 (* a y))) (* 1.0 (* a z)))
  0
  0
  (- (+ (* 1.0 (/ 1 a)) (/ t a)) (/ z a))
  (- (+ (* 1.0 (/ 1 a)) (/ t a)) (/ z a))
  (- (+ (* 1.0 (/ 1 a)) (/ t a)) (/ z a))
2.404 * * [simplify]: iteration  0 :  226  enodes  (cost  3548 )
2.441 * * [simplify]: iteration  1 :  626  enodes  (cost  3316 )