8.998 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.191 * * * [progress]: [2/2] Setting up program.
1.198 * [progress]: [Phase 2 of 3] Improving.
1.198 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
1.235 * * [simplify]: iteration  0 :  5792  enodes  (cost  17 )
1.236 * [simplify]: Simplified to:
   (* x (* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a)))
1.243 * * [progress]: iteration 1 / 4
1.243 * * * [progress]: picking best candidate
1.255 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))))>
1.255 * * * [progress]: localizing error
1.273 * * * [progress]: generating rewritten candidates
1.273 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
1.277 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.285 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1.289 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.306 * * * [progress]: generating series expansions
1.306 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1)
1.306 * [approximate]: Taking taylor expansion of (log (- 1.0 z)) in (z) around 0
1.306 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
1.306 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.306 * [taylor]: Taking taylor expansion of 1.0 in z
1.306 * [taylor]: Taking taylor expansion of z in z
1.306 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
1.306 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.306 * [taylor]: Taking taylor expansion of 1.0 in z
1.306 * [taylor]: Taking taylor expansion of z in z
1.307 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in (z) around 0
1.307 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
1.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
1.307 * [taylor]: Taking taylor expansion of 1.0 in z
1.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.307 * [taylor]: Taking taylor expansion of z in z
1.307 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
1.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
1.307 * [taylor]: Taking taylor expansion of 1.0 in z
1.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.307 * [taylor]: Taking taylor expansion of z in z
1.308 * [approximate]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in (z) around 0
1.308 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.308 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.308 * [taylor]: Taking taylor expansion of z in z
1.308 * [taylor]: Taking taylor expansion of 1.0 in z
1.308 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.308 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.308 * [taylor]: Taking taylor expansion of z in z
1.308 * [taylor]: Taking taylor expansion of 1.0 in z
1.309 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.309 * [approximate]: Taking taylor expansion of (* (- (log z) t) y) in (y z t) around 0
1.309 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in t
1.309 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.309 * [taylor]: Taking taylor expansion of (log z) in t
1.309 * [taylor]: Taking taylor expansion of z in t
1.309 * [taylor]: Taking taylor expansion of t in t
1.309 * [taylor]: Taking taylor expansion of y in t
1.309 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in z
1.309 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.309 * [taylor]: Taking taylor expansion of (log z) in z
1.309 * [taylor]: Taking taylor expansion of z in z
1.309 * [taylor]: Taking taylor expansion of t in z
1.309 * [taylor]: Taking taylor expansion of y in z
1.309 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.309 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.309 * [taylor]: Taking taylor expansion of (log z) in y
1.310 * [taylor]: Taking taylor expansion of z in y
1.310 * [taylor]: Taking taylor expansion of t in y
1.310 * [taylor]: Taking taylor expansion of y in y
1.310 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.310 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.310 * [taylor]: Taking taylor expansion of (log z) in y
1.310 * [taylor]: Taking taylor expansion of z in y
1.310 * [taylor]: Taking taylor expansion of t in y
1.310 * [taylor]: Taking taylor expansion of y in y
1.310 * [taylor]: Taking taylor expansion of 0 in z
1.310 * [taylor]: Taking taylor expansion of 0 in t
1.310 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.310 * [taylor]: Taking taylor expansion of (log z) in z
1.310 * [taylor]: Taking taylor expansion of z in z
1.310 * [taylor]: Taking taylor expansion of t in z
1.310 * [taylor]: Taking taylor expansion of (- (+ (log z) (log 1)) t) in t
1.310 * [taylor]: Taking taylor expansion of (+ (log z) (log 1)) in t
1.310 * [taylor]: Taking taylor expansion of (log z) in t
1.310 * [taylor]: Taking taylor expansion of z in t
1.310 * [taylor]: Taking taylor expansion of (log 1) in t
1.310 * [taylor]: Taking taylor expansion of 1 in t
1.310 * [taylor]: Taking taylor expansion of t in t
1.311 * [taylor]: Taking taylor expansion of 0 in t
1.311 * [taylor]: Taking taylor expansion of 0 in z
1.311 * [taylor]: Taking taylor expansion of 0 in t
1.311 * [taylor]: Taking taylor expansion of 0 in t
1.311 * [taylor]: Taking taylor expansion of 0 in t
1.312 * [taylor]: Taking taylor expansion of 0 in z
1.312 * [taylor]: Taking taylor expansion of 0 in t
1.312 * [taylor]: Taking taylor expansion of 0 in t
1.312 * [taylor]: Taking taylor expansion of 0 in t
1.312 * [taylor]: Taking taylor expansion of 0 in t
1.312 * [approximate]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in (y z t) around 0
1.313 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in t
1.313 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.313 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.313 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.313 * [taylor]: Taking taylor expansion of z in t
1.313 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.313 * [taylor]: Taking taylor expansion of t in t
1.313 * [taylor]: Taking taylor expansion of y in t
1.313 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in z
1.313 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.313 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.313 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.313 * [taylor]: Taking taylor expansion of z in z
1.313 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.313 * [taylor]: Taking taylor expansion of t in z
1.313 * [taylor]: Taking taylor expansion of y in z
1.313 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.313 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.313 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.313 * [taylor]: Taking taylor expansion of z in y
1.313 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.313 * [taylor]: Taking taylor expansion of t in y
1.313 * [taylor]: Taking taylor expansion of y in y
1.314 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.314 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.314 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.314 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.314 * [taylor]: Taking taylor expansion of z in y
1.314 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.314 * [taylor]: Taking taylor expansion of t in y
1.314 * [taylor]: Taking taylor expansion of y in y
1.314 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.314 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.314 * [taylor]: Taking taylor expansion of z in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.314 * [taylor]: Taking taylor expansion of t in z
1.314 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log z) (/ 1 t))) in t
1.314 * [taylor]: Taking taylor expansion of (log 1) in t
1.314 * [taylor]: Taking taylor expansion of 1 in t
1.314 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.314 * [taylor]: Taking taylor expansion of (log z) in t
1.314 * [taylor]: Taking taylor expansion of z in t
1.314 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.314 * [taylor]: Taking taylor expansion of t in t
1.315 * [taylor]: Taking taylor expansion of 0 in z
1.315 * [taylor]: Taking taylor expansion of 0 in t
1.315 * [taylor]: Taking taylor expansion of 0 in t
1.316 * [taylor]: Taking taylor expansion of 0 in z
1.316 * [taylor]: Taking taylor expansion of 0 in t
1.316 * [taylor]: Taking taylor expansion of 0 in t
1.316 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in z
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in t
1.318 * [taylor]: Taking taylor expansion of 0 in t
1.318 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in (y z t) around 0
1.318 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in t
1.318 * [taylor]: Taking taylor expansion of -1 in t
1.318 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in t
1.318 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.318 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.318 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.318 * [taylor]: Taking taylor expansion of -1 in t
1.318 * [taylor]: Taking taylor expansion of z in t
1.318 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.318 * [taylor]: Taking taylor expansion of t in t
1.318 * [taylor]: Taking taylor expansion of y in t
1.318 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in z
1.318 * [taylor]: Taking taylor expansion of -1 in z
1.318 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in z
1.318 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.318 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.318 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.318 * [taylor]: Taking taylor expansion of -1 in z
1.318 * [taylor]: Taking taylor expansion of z in z
1.318 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.318 * [taylor]: Taking taylor expansion of t in z
1.319 * [taylor]: Taking taylor expansion of y in z
1.319 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.319 * [taylor]: Taking taylor expansion of -1 in y
1.319 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.319 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.319 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.319 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.319 * [taylor]: Taking taylor expansion of -1 in y
1.319 * [taylor]: Taking taylor expansion of z in y
1.319 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.319 * [taylor]: Taking taylor expansion of t in y
1.319 * [taylor]: Taking taylor expansion of y in y
1.319 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.319 * [taylor]: Taking taylor expansion of -1 in y
1.319 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.319 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.319 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.319 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.319 * [taylor]: Taking taylor expansion of -1 in y
1.319 * [taylor]: Taking taylor expansion of z in y
1.319 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.319 * [taylor]: Taking taylor expansion of t in y
1.319 * [taylor]: Taking taylor expansion of y in y
1.320 * [taylor]: Taking taylor expansion of (* -1 (+ (log (/ -1 z)) (/ 1 t))) in z
1.320 * [taylor]: Taking taylor expansion of -1 in z
1.320 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.320 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.320 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.320 * [taylor]: Taking taylor expansion of -1 in z
1.320 * [taylor]: Taking taylor expansion of z in z
1.320 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.320 * [taylor]: Taking taylor expansion of t in z
1.320 * [taylor]: Taking taylor expansion of (* -1 (- (+ (log -1) (/ 1 t)) (log z))) in t
1.320 * [taylor]: Taking taylor expansion of -1 in t
1.320 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.320 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.320 * [taylor]: Taking taylor expansion of (log -1) in t
1.320 * [taylor]: Taking taylor expansion of -1 in t
1.320 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.320 * [taylor]: Taking taylor expansion of t in t
1.320 * [taylor]: Taking taylor expansion of (log z) in t
1.320 * [taylor]: Taking taylor expansion of z in t
1.321 * [taylor]: Taking taylor expansion of 0 in z
1.321 * [taylor]: Taking taylor expansion of 0 in t
1.321 * [taylor]: Taking taylor expansion of 0 in t
1.322 * [taylor]: Taking taylor expansion of 0 in z
1.322 * [taylor]: Taking taylor expansion of 0 in t
1.322 * [taylor]: Taking taylor expansion of 0 in t
1.322 * [taylor]: Taking taylor expansion of 0 in t
1.324 * [taylor]: Taking taylor expansion of 0 in z
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.325 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1.325 * [approximate]: Taking taylor expansion of (- (log z) t) in (z t) around 0
1.325 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.325 * [taylor]: Taking taylor expansion of (log z) in t
1.325 * [taylor]: Taking taylor expansion of z in t
1.325 * [taylor]: Taking taylor expansion of t in t
1.325 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.325 * [taylor]: Taking taylor expansion of (log z) in z
1.325 * [taylor]: Taking taylor expansion of z in z
1.325 * [taylor]: Taking taylor expansion of t in z
1.325 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.325 * [taylor]: Taking taylor expansion of (log z) in z
1.325 * [taylor]: Taking taylor expansion of z in z
1.325 * [taylor]: Taking taylor expansion of t in z
1.325 * [taylor]: Taking taylor expansion of (- (+ (log z) (log 1)) t) in t
1.325 * [taylor]: Taking taylor expansion of (+ (log z) (log 1)) in t
1.325 * [taylor]: Taking taylor expansion of (log z) in t
1.325 * [taylor]: Taking taylor expansion of z in t
1.325 * [taylor]: Taking taylor expansion of (log 1) in t
1.325 * [taylor]: Taking taylor expansion of 1 in t
1.325 * [taylor]: Taking taylor expansion of t in t
1.326 * [taylor]: Taking taylor expansion of 0 in t
1.326 * [taylor]: Taking taylor expansion of 0 in t
1.327 * [taylor]: Taking taylor expansion of 0 in t
1.327 * [approximate]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in (z t) around 0
1.327 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.327 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.327 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.327 * [taylor]: Taking taylor expansion of z in t
1.327 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.327 * [taylor]: Taking taylor expansion of t in t
1.327 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.327 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.327 * [taylor]: Taking taylor expansion of z in z
1.327 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.327 * [taylor]: Taking taylor expansion of t in z
1.327 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.328 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.328 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.328 * [taylor]: Taking taylor expansion of z in z
1.328 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.328 * [taylor]: Taking taylor expansion of t in z
1.328 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log z) (/ 1 t))) in t
1.328 * [taylor]: Taking taylor expansion of (log 1) in t
1.328 * [taylor]: Taking taylor expansion of 1 in t
1.328 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.328 * [taylor]: Taking taylor expansion of (log z) in t
1.328 * [taylor]: Taking taylor expansion of z in t
1.328 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.328 * [taylor]: Taking taylor expansion of t in t
1.328 * [taylor]: Taking taylor expansion of 0 in t
1.329 * [taylor]: Taking taylor expansion of 0 in t
1.330 * [taylor]: Taking taylor expansion of 0 in t
1.331 * [taylor]: Taking taylor expansion of 0 in t
1.331 * [approximate]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in (z t) around 0
1.331 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.331 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.331 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.331 * [taylor]: Taking taylor expansion of -1 in t
1.331 * [taylor]: Taking taylor expansion of z in t
1.331 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.331 * [taylor]: Taking taylor expansion of t in t
1.331 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.331 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.331 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.331 * [taylor]: Taking taylor expansion of -1 in z
1.331 * [taylor]: Taking taylor expansion of z in z
1.331 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.331 * [taylor]: Taking taylor expansion of t in z
1.331 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.332 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.332 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.332 * [taylor]: Taking taylor expansion of -1 in z
1.332 * [taylor]: Taking taylor expansion of z in z
1.332 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.332 * [taylor]: Taking taylor expansion of t in z
1.332 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.332 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.332 * [taylor]: Taking taylor expansion of (log -1) in t
1.332 * [taylor]: Taking taylor expansion of -1 in t
1.332 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.332 * [taylor]: Taking taylor expansion of t in t
1.332 * [taylor]: Taking taylor expansion of (log z) in t
1.332 * [taylor]: Taking taylor expansion of z in t
1.332 * [taylor]: Taking taylor expansion of 0 in t
1.333 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [taylor]: Taking taylor expansion of 0 in t
1.335 * [taylor]: Taking taylor expansion of 0 in t
1.335 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.335 * [approximate]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in (y z t a b) around 0
1.335 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in b
1.335 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in b
1.335 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in b
1.335 * [taylor]: Taking taylor expansion of a in b
1.335 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in b
1.335 * [taylor]: Taking taylor expansion of (- 1.0 z) in b
1.335 * [taylor]: Taking taylor expansion of 1.0 in b
1.335 * [taylor]: Taking taylor expansion of z in b
1.335 * [taylor]: Taking taylor expansion of (* (log z) y) in b
1.335 * [taylor]: Taking taylor expansion of (log z) in b
1.335 * [taylor]: Taking taylor expansion of z in b
1.335 * [taylor]: Taking taylor expansion of y in b
1.335 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in b
1.335 * [taylor]: Taking taylor expansion of (* t y) in b
1.335 * [taylor]: Taking taylor expansion of t in b
1.336 * [taylor]: Taking taylor expansion of y in b
1.336 * [taylor]: Taking taylor expansion of (* a b) in b
1.336 * [taylor]: Taking taylor expansion of a in b
1.336 * [taylor]: Taking taylor expansion of b in b
1.336 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in a
1.336 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in a
1.336 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in a
1.336 * [taylor]: Taking taylor expansion of a in a
1.336 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in a
1.336 * [taylor]: Taking taylor expansion of (- 1.0 z) in a
1.336 * [taylor]: Taking taylor expansion of 1.0 in a
1.336 * [taylor]: Taking taylor expansion of z in a
1.336 * [taylor]: Taking taylor expansion of (* (log z) y) in a
1.336 * [taylor]: Taking taylor expansion of (log z) in a
1.336 * [taylor]: Taking taylor expansion of z in a
1.336 * [taylor]: Taking taylor expansion of y in a
1.336 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in a
1.336 * [taylor]: Taking taylor expansion of (* t y) in a
1.336 * [taylor]: Taking taylor expansion of t in a
1.336 * [taylor]: Taking taylor expansion of y in a
1.336 * [taylor]: Taking taylor expansion of (* a b) in a
1.336 * [taylor]: Taking taylor expansion of a in a
1.336 * [taylor]: Taking taylor expansion of b in a
1.336 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in t
1.336 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in t
1.336 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in t
1.336 * [taylor]: Taking taylor expansion of a in t
1.336 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in t
1.336 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
1.336 * [taylor]: Taking taylor expansion of 1.0 in t
1.336 * [taylor]: Taking taylor expansion of z in t
1.336 * [taylor]: Taking taylor expansion of (* (log z) y) in t
1.336 * [taylor]: Taking taylor expansion of (log z) in t
1.336 * [taylor]: Taking taylor expansion of z in t
1.336 * [taylor]: Taking taylor expansion of y in t
1.336 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in t
1.336 * [taylor]: Taking taylor expansion of (* t y) in t
1.336 * [taylor]: Taking taylor expansion of t in t
1.336 * [taylor]: Taking taylor expansion of y in t
1.337 * [taylor]: Taking taylor expansion of (* a b) in t
1.337 * [taylor]: Taking taylor expansion of a in t
1.337 * [taylor]: Taking taylor expansion of b in t
1.337 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in z
1.337 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in z
1.337 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in z
1.337 * [taylor]: Taking taylor expansion of a in z
1.337 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
1.337 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.337 * [taylor]: Taking taylor expansion of 1.0 in z
1.337 * [taylor]: Taking taylor expansion of z in z
1.337 * [taylor]: Taking taylor expansion of (* (log z) y) in z
1.337 * [taylor]: Taking taylor expansion of (log z) in z
1.337 * [taylor]: Taking taylor expansion of z in z
1.337 * [taylor]: Taking taylor expansion of y in z
1.337 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in z
1.337 * [taylor]: Taking taylor expansion of (* t y) in z
1.337 * [taylor]: Taking taylor expansion of t in z
1.337 * [taylor]: Taking taylor expansion of y in z
1.337 * [taylor]: Taking taylor expansion of (* a b) in z
1.337 * [taylor]: Taking taylor expansion of a in z
1.337 * [taylor]: Taking taylor expansion of b in z
1.337 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in y
1.337 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in y
1.337 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in y
1.337 * [taylor]: Taking taylor expansion of a in y
1.337 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in y
1.337 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
1.337 * [taylor]: Taking taylor expansion of 1.0 in y
1.337 * [taylor]: Taking taylor expansion of z in y
1.337 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.337 * [taylor]: Taking taylor expansion of (log z) in y
1.337 * [taylor]: Taking taylor expansion of z in y
1.337 * [taylor]: Taking taylor expansion of y in y
1.337 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in y
1.337 * [taylor]: Taking taylor expansion of (* t y) in y
1.337 * [taylor]: Taking taylor expansion of t in y
1.337 * [taylor]: Taking taylor expansion of y in y
1.337 * [taylor]: Taking taylor expansion of (* a b) in y
1.337 * [taylor]: Taking taylor expansion of a in y
1.337 * [taylor]: Taking taylor expansion of b in y
1.337 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in y
1.337 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in y
1.337 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in y
1.337 * [taylor]: Taking taylor expansion of a in y
1.337 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in y
1.337 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
1.337 * [taylor]: Taking taylor expansion of 1.0 in y
1.337 * [taylor]: Taking taylor expansion of z in y
1.338 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.338 * [taylor]: Taking taylor expansion of (log z) in y
1.338 * [taylor]: Taking taylor expansion of z in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.338 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in y
1.338 * [taylor]: Taking taylor expansion of (* t y) in y
1.338 * [taylor]: Taking taylor expansion of t in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.338 * [taylor]: Taking taylor expansion of (* a b) in y
1.338 * [taylor]: Taking taylor expansion of a in y
1.338 * [taylor]: Taking taylor expansion of b in y
1.338 * [taylor]: Taking taylor expansion of (- (* a (log (- 1.0 z))) (* a b)) in z
1.338 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in z
1.338 * [taylor]: Taking taylor expansion of a in z
1.338 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
1.338 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
1.338 * [taylor]: Taking taylor expansion of 1.0 in z
1.338 * [taylor]: Taking taylor expansion of z in z
1.338 * [taylor]: Taking taylor expansion of (* a b) in z
1.338 * [taylor]: Taking taylor expansion of a in z
1.338 * [taylor]: Taking taylor expansion of b in z
1.338 * [taylor]: Taking taylor expansion of (- (* a (log 1.0)) (* a b)) in t
1.338 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in t
1.338 * [taylor]: Taking taylor expansion of a in t
1.338 * [taylor]: Taking taylor expansion of (log 1.0) in t
1.338 * [taylor]: Taking taylor expansion of 1.0 in t
1.338 * [taylor]: Taking taylor expansion of (* a b) in t
1.338 * [taylor]: Taking taylor expansion of a in t
1.339 * [taylor]: Taking taylor expansion of b in t
1.339 * [taylor]: Taking taylor expansion of (- (* a (log 1.0)) (* a b)) in a
1.339 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in a
1.339 * [taylor]: Taking taylor expansion of a in a
1.339 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.339 * [taylor]: Taking taylor expansion of 1.0 in a
1.339 * [taylor]: Taking taylor expansion of (* a b) in a
1.339 * [taylor]: Taking taylor expansion of a in a
1.339 * [taylor]: Taking taylor expansion of b in a
1.339 * [taylor]: Taking taylor expansion of 0 in b
1.339 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.339 * [taylor]: Taking taylor expansion of (log z) in z
1.339 * [taylor]: Taking taylor expansion of z in z
1.339 * [taylor]: Taking taylor expansion of t in z
1.340 * [taylor]: Taking taylor expansion of (- (+ (log z) (log 1)) t) in t
1.340 * [taylor]: Taking taylor expansion of (+ (log z) (log 1)) in t
1.340 * [taylor]: Taking taylor expansion of (log z) in t
1.340 * [taylor]: Taking taylor expansion of z in t
1.340 * [taylor]: Taking taylor expansion of (log 1) in t
1.340 * [taylor]: Taking taylor expansion of 1 in t
1.340 * [taylor]: Taking taylor expansion of t in t
1.340 * [taylor]: Taking taylor expansion of (+ (log z) (log 1)) in a
1.340 * [taylor]: Taking taylor expansion of (log z) in a
1.340 * [taylor]: Taking taylor expansion of z in a
1.340 * [taylor]: Taking taylor expansion of (log 1) in a
1.340 * [taylor]: Taking taylor expansion of 1 in a
1.340 * [taylor]: Taking taylor expansion of (+ (log z) (log 1)) in b
1.340 * [taylor]: Taking taylor expansion of (log z) in b
1.340 * [taylor]: Taking taylor expansion of z in b
1.340 * [taylor]: Taking taylor expansion of (log 1) in b
1.340 * [taylor]: Taking taylor expansion of 1 in b
1.341 * [taylor]: Taking taylor expansion of (neg (* 1.0 a)) in t
1.341 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
1.341 * [taylor]: Taking taylor expansion of 1.0 in t
1.341 * [taylor]: Taking taylor expansion of a in t
1.341 * [taylor]: Taking taylor expansion of (neg (* 1.0 a)) in a
1.341 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
1.341 * [taylor]: Taking taylor expansion of 1.0 in a
1.341 * [taylor]: Taking taylor expansion of a in a
1.341 * [taylor]: Taking taylor expansion of 0 in b
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.341 * [taylor]: Taking taylor expansion of 0 in b
1.341 * [taylor]: Taking taylor expansion of (- (log 1.0) b) in b
1.341 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.341 * [taylor]: Taking taylor expansion of 1.0 in b
1.341 * [taylor]: Taking taylor expansion of b in b
1.342 * [taylor]: Taking taylor expansion of 0 in z
1.342 * [taylor]: Taking taylor expansion of 0 in t
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in b
1.342 * [taylor]: Taking taylor expansion of 0 in t
1.343 * [taylor]: Taking taylor expansion of 0 in a
1.343 * [taylor]: Taking taylor expansion of 0 in b
1.343 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ a (pow 1.0 2)))) in t
1.343 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow 1.0 2))) in t
1.343 * [taylor]: Taking taylor expansion of 1/2 in t
1.343 * [taylor]: Taking taylor expansion of (/ a (pow 1.0 2)) in t
1.343 * [taylor]: Taking taylor expansion of a in t
1.343 * [taylor]: Taking taylor expansion of (pow 1.0 2) in t
1.343 * [taylor]: Taking taylor expansion of 1.0 in t
1.343 * [taylor]: Taking taylor expansion of (neg (* 0.5 a)) in a
1.343 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
1.343 * [taylor]: Taking taylor expansion of 0.5 in a
1.343 * [taylor]: Taking taylor expansion of a in a
1.343 * [taylor]: Taking taylor expansion of 0 in b
1.344 * [taylor]: Taking taylor expansion of (neg 1) in a
1.344 * [taylor]: Taking taylor expansion of 1 in a
1.344 * [taylor]: Taking taylor expansion of (neg 1) in b
1.344 * [taylor]: Taking taylor expansion of 1 in b
1.344 * [approximate]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in (y z t a b) around 0
1.344 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in b
1.344 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in b
1.344 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in b
1.344 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in b
1.344 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in b
1.344 * [taylor]: Taking taylor expansion of 1.0 in b
1.344 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.344 * [taylor]: Taking taylor expansion of z in b
1.345 * [taylor]: Taking taylor expansion of a in b
1.345 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in b
1.345 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in b
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.345 * [taylor]: Taking taylor expansion of z in b
1.345 * [taylor]: Taking taylor expansion of y in b
1.345 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in b
1.345 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.345 * [taylor]: Taking taylor expansion of (* a b) in b
1.345 * [taylor]: Taking taylor expansion of a in b
1.345 * [taylor]: Taking taylor expansion of b in b
1.345 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.345 * [taylor]: Taking taylor expansion of (* t y) in b
1.345 * [taylor]: Taking taylor expansion of t in b
1.345 * [taylor]: Taking taylor expansion of y in b
1.345 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in a
1.345 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in a
1.345 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in a
1.345 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in a
1.345 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in a
1.345 * [taylor]: Taking taylor expansion of 1.0 in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.345 * [taylor]: Taking taylor expansion of z in a
1.345 * [taylor]: Taking taylor expansion of a in a
1.345 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in a
1.345 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.345 * [taylor]: Taking taylor expansion of z in a
1.345 * [taylor]: Taking taylor expansion of y in a
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in a
1.346 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.346 * [taylor]: Taking taylor expansion of (* a b) in a
1.346 * [taylor]: Taking taylor expansion of a in a
1.346 * [taylor]: Taking taylor expansion of b in a
1.346 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.346 * [taylor]: Taking taylor expansion of (* t y) in a
1.346 * [taylor]: Taking taylor expansion of t in a
1.346 * [taylor]: Taking taylor expansion of y in a
1.346 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in t
1.346 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in t
1.346 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in t
1.346 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in t
1.346 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in t
1.346 * [taylor]: Taking taylor expansion of 1.0 in t
1.346 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.346 * [taylor]: Taking taylor expansion of z in t
1.346 * [taylor]: Taking taylor expansion of a in t
1.346 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in t
1.346 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.346 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.346 * [taylor]: Taking taylor expansion of z in t
1.346 * [taylor]: Taking taylor expansion of y in t
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in t
1.346 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.346 * [taylor]: Taking taylor expansion of (* a b) in t
1.346 * [taylor]: Taking taylor expansion of a in t
1.346 * [taylor]: Taking taylor expansion of b in t
1.346 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
1.346 * [taylor]: Taking taylor expansion of (* t y) in t
1.346 * [taylor]: Taking taylor expansion of t in t
1.346 * [taylor]: Taking taylor expansion of y in t
1.346 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in z
1.347 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in z
1.347 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in z
1.347 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
1.347 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
1.347 * [taylor]: Taking taylor expansion of 1.0 in z
1.347 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.347 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of a in z
1.347 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
1.347 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.347 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.347 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of y in z
1.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in z
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.347 * [taylor]: Taking taylor expansion of (* a b) in z
1.347 * [taylor]: Taking taylor expansion of a in z
1.347 * [taylor]: Taking taylor expansion of b in z
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
1.347 * [taylor]: Taking taylor expansion of (* t y) in z
1.347 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of y in z
1.347 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in y
1.347 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in y
1.347 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in y
1.347 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in y
1.347 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
1.347 * [taylor]: Taking taylor expansion of 1.0 in y
1.347 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.348 * [taylor]: Taking taylor expansion of z in y
1.348 * [taylor]: Taking taylor expansion of a in y
1.348 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.348 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.348 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.348 * [taylor]: Taking taylor expansion of z in y
1.348 * [taylor]: Taking taylor expansion of y in y
1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in y
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.348 * [taylor]: Taking taylor expansion of (* a b) in y
1.348 * [taylor]: Taking taylor expansion of a in y
1.348 * [taylor]: Taking taylor expansion of b in y
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.348 * [taylor]: Taking taylor expansion of (* t y) in y
1.348 * [taylor]: Taking taylor expansion of t in y
1.348 * [taylor]: Taking taylor expansion of y in y
1.348 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in y
1.348 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in y
1.348 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in y
1.348 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in y
1.348 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
1.348 * [taylor]: Taking taylor expansion of 1.0 in y
1.348 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.348 * [taylor]: Taking taylor expansion of z in y
1.348 * [taylor]: Taking taylor expansion of a in y
1.348 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.348 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.348 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.348 * [taylor]: Taking taylor expansion of z in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in y
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.349 * [taylor]: Taking taylor expansion of (* a b) in y
1.349 * [taylor]: Taking taylor expansion of a in y
1.349 * [taylor]: Taking taylor expansion of b in y
1.349 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.349 * [taylor]: Taking taylor expansion of (* t y) in y
1.349 * [taylor]: Taking taylor expansion of t in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.349 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.349 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.349 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.349 * [taylor]: Taking taylor expansion of z in z
1.349 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.349 * [taylor]: Taking taylor expansion of t in z
1.349 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log z) (/ 1 t))) in t
1.349 * [taylor]: Taking taylor expansion of (log 1) in t
1.349 * [taylor]: Taking taylor expansion of 1 in t
1.349 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.349 * [taylor]: Taking taylor expansion of (log z) in t
1.349 * [taylor]: Taking taylor expansion of z in t
1.349 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.349 * [taylor]: Taking taylor expansion of t in t
1.350 * [taylor]: Taking taylor expansion of (neg 1) in a
1.350 * [taylor]: Taking taylor expansion of 1 in a
1.350 * [taylor]: Taking taylor expansion of (- (/ (log (- 1.0 (/ 1 z))) a) (/ 1 (* a b))) in z
1.350 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in z
1.350 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
1.350 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
1.350 * [taylor]: Taking taylor expansion of 1.0 in z
1.350 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.350 * [taylor]: Taking taylor expansion of z in z
1.350 * [taylor]: Taking taylor expansion of a in z
1.350 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.350 * [taylor]: Taking taylor expansion of (* a b) in z
1.351 * [taylor]: Taking taylor expansion of a in z
1.351 * [taylor]: Taking taylor expansion of b in z
1.351 * [taylor]: Taking taylor expansion of (- (/ (log (neg 1)) a) (+ (/ (log z) a) (/ 1 (* a b)))) in t
1.351 * [taylor]: Taking taylor expansion of (/ (log (neg 1)) a) in t
1.351 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
1.351 * [taylor]: Taking taylor expansion of (neg 1) in t
1.351 * [taylor]: Taking taylor expansion of 1 in t
1.351 * [taylor]: Taking taylor expansion of a in t
1.351 * [taylor]: Taking taylor expansion of (+ (/ (log z) a) (/ 1 (* a b))) in t
1.351 * [taylor]: Taking taylor expansion of (/ (log z) a) in t
1.351 * [taylor]: Taking taylor expansion of (log z) in t
1.351 * [taylor]: Taking taylor expansion of z in t
1.351 * [taylor]: Taking taylor expansion of a in t
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.351 * [taylor]: Taking taylor expansion of (* a b) in t
1.351 * [taylor]: Taking taylor expansion of a in t
1.351 * [taylor]: Taking taylor expansion of b in t
1.351 * [taylor]: Taking taylor expansion of 0 in t
1.351 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in a
1.351 * [taylor]: Taking taylor expansion of (log 1) in a
1.352 * [taylor]: Taking taylor expansion of 1 in a
1.352 * [taylor]: Taking taylor expansion of (log z) in a
1.352 * [taylor]: Taking taylor expansion of z in a
1.352 * [taylor]: Taking taylor expansion of (neg 1) in b
1.352 * [taylor]: Taking taylor expansion of 1 in b
1.352 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in t
1.353 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in t
1.353 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.353 * [taylor]: Taking taylor expansion of 1.0 in t
1.353 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.353 * [taylor]: Taking taylor expansion of a in t
1.353 * [taylor]: Taking taylor expansion of 0 in t
1.354 * [taylor]: Taking taylor expansion of (- (/ (log (neg 1)) a) (+ (/ (log z) a) (/ 1 (* a b)))) in a
1.354 * [taylor]: Taking taylor expansion of (/ (log (neg 1)) a) in a
1.354 * [taylor]: Taking taylor expansion of (log (neg 1)) in a
1.354 * [taylor]: Taking taylor expansion of (neg 1) in a
1.354 * [taylor]: Taking taylor expansion of 1 in a
1.354 * [taylor]: Taking taylor expansion of a in a
1.354 * [taylor]: Taking taylor expansion of (+ (/ (log z) a) (/ 1 (* a b))) in a
1.354 * [taylor]: Taking taylor expansion of (/ (log z) a) in a
1.354 * [taylor]: Taking taylor expansion of (log z) in a
1.354 * [taylor]: Taking taylor expansion of z in a
1.354 * [taylor]: Taking taylor expansion of a in a
1.354 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.354 * [taylor]: Taking taylor expansion of (* a b) in a
1.354 * [taylor]: Taking taylor expansion of a in a
1.354 * [taylor]: Taking taylor expansion of b in a
1.354 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (+ (log z) (/ 1 b))) in b
1.354 * [taylor]: Taking taylor expansion of (log (neg 1)) in b
1.354 * [taylor]: Taking taylor expansion of (neg 1) in b
1.354 * [taylor]: Taking taylor expansion of 1 in b
1.354 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 b)) in b
1.354 * [taylor]: Taking taylor expansion of (log z) in b
1.354 * [taylor]: Taking taylor expansion of z in b
1.354 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.354 * [taylor]: Taking taylor expansion of b in b
1.355 * [taylor]: Taking taylor expansion of 0 in a
1.355 * [taylor]: Taking taylor expansion of 0 in a
1.355 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in b
1.355 * [taylor]: Taking taylor expansion of (log 1) in b
1.355 * [taylor]: Taking taylor expansion of 1 in b
1.355 * [taylor]: Taking taylor expansion of (log z) in b
1.355 * [taylor]: Taking taylor expansion of z in b
1.355 * [taylor]: Taking taylor expansion of 0 in b
1.360 * [taylor]: Taking taylor expansion of 0 in z
1.360 * [taylor]: Taking taylor expansion of 0 in t
1.360 * [taylor]: Taking taylor expansion of 0 in t
1.361 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 a))) in t
1.361 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 a)) in t
1.361 * [taylor]: Taking taylor expansion of 0.5 in t
1.361 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.361 * [taylor]: Taking taylor expansion of a in t
1.362 * [taylor]: Taking taylor expansion of 0 in t
1.362 * [taylor]: Taking taylor expansion of 0 in a
1.362 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in a
1.362 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.362 * [taylor]: Taking taylor expansion of 1.0 in a
1.362 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.362 * [taylor]: Taking taylor expansion of a in a
1.362 * [taylor]: Taking taylor expansion of (neg 1.0) in b
1.362 * [taylor]: Taking taylor expansion of 1.0 in b
1.362 * [taylor]: Taking taylor expansion of 0 in a
1.362 * [taylor]: Taking taylor expansion of 0 in a
1.363 * [taylor]: Taking taylor expansion of 0 in a
1.363 * [taylor]: Taking taylor expansion of 0 in a
1.363 * [taylor]: Taking taylor expansion of 0 in b
1.364 * [taylor]: Taking taylor expansion of 0 in b
1.364 * [taylor]: Taking taylor expansion of 0 in b
1.364 * [taylor]: Taking taylor expansion of 0 in b
1.364 * [taylor]: Taking taylor expansion of 0 in b
1.365 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in (y z t a b) around 0
1.365 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in b
1.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in b
1.365 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.365 * [taylor]: Taking taylor expansion of (* a b) in b
1.365 * [taylor]: Taking taylor expansion of a in b
1.365 * [taylor]: Taking taylor expansion of b in b
1.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in b
1.365 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.365 * [taylor]: Taking taylor expansion of (* t y) in b
1.365 * [taylor]: Taking taylor expansion of t in b
1.365 * [taylor]: Taking taylor expansion of y in b
1.365 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in b
1.365 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in b
1.365 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in b
1.365 * [taylor]: Taking taylor expansion of (/ -1 z) in b
1.365 * [taylor]: Taking taylor expansion of -1 in b
1.365 * [taylor]: Taking taylor expansion of z in b
1.365 * [taylor]: Taking taylor expansion of y in b
1.365 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in b
1.365 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in b
1.365 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in b
1.365 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.365 * [taylor]: Taking taylor expansion of z in b
1.365 * [taylor]: Taking taylor expansion of 1.0 in b
1.365 * [taylor]: Taking taylor expansion of a in b
1.365 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in a
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in a
1.366 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.366 * [taylor]: Taking taylor expansion of (* a b) in a
1.366 * [taylor]: Taking taylor expansion of a in a
1.366 * [taylor]: Taking taylor expansion of b in a
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in a
1.366 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.366 * [taylor]: Taking taylor expansion of (* t y) in a
1.366 * [taylor]: Taking taylor expansion of t in a
1.366 * [taylor]: Taking taylor expansion of y in a
1.366 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in a
1.366 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in a
1.366 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in a
1.366 * [taylor]: Taking taylor expansion of (/ -1 z) in a
1.366 * [taylor]: Taking taylor expansion of -1 in a
1.366 * [taylor]: Taking taylor expansion of z in a
1.366 * [taylor]: Taking taylor expansion of y in a
1.366 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in a
1.366 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in a
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in a
1.366 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.366 * [taylor]: Taking taylor expansion of z in a
1.366 * [taylor]: Taking taylor expansion of 1.0 in a
1.366 * [taylor]: Taking taylor expansion of a in a
1.366 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in t
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in t
1.366 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.366 * [taylor]: Taking taylor expansion of (* a b) in t
1.366 * [taylor]: Taking taylor expansion of a in t
1.366 * [taylor]: Taking taylor expansion of b in t
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in t
1.366 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
1.366 * [taylor]: Taking taylor expansion of (* t y) in t
1.366 * [taylor]: Taking taylor expansion of t in t
1.366 * [taylor]: Taking taylor expansion of y in t
1.367 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in t
1.367 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in t
1.367 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.367 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.367 * [taylor]: Taking taylor expansion of -1 in t
1.367 * [taylor]: Taking taylor expansion of z in t
1.367 * [taylor]: Taking taylor expansion of y in t
1.367 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in t
1.367 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in t
1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
1.367 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.367 * [taylor]: Taking taylor expansion of z in t
1.367 * [taylor]: Taking taylor expansion of 1.0 in t
1.367 * [taylor]: Taking taylor expansion of a in t
1.367 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in z
1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in z
1.367 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.367 * [taylor]: Taking taylor expansion of (* a b) in z
1.367 * [taylor]: Taking taylor expansion of a in z
1.367 * [taylor]: Taking taylor expansion of b in z
1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in z
1.367 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
1.367 * [taylor]: Taking taylor expansion of (* t y) in z
1.367 * [taylor]: Taking taylor expansion of t in z
1.367 * [taylor]: Taking taylor expansion of y in z
1.367 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in z
1.367 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
1.367 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.367 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.367 * [taylor]: Taking taylor expansion of -1 in z
1.367 * [taylor]: Taking taylor expansion of z in z
1.367 * [taylor]: Taking taylor expansion of y in z
1.368 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in z
1.368 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.368 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.368 * [taylor]: Taking taylor expansion of z in z
1.368 * [taylor]: Taking taylor expansion of 1.0 in z
1.368 * [taylor]: Taking taylor expansion of a in z
1.368 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in y
1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in y
1.368 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.368 * [taylor]: Taking taylor expansion of (* a b) in y
1.368 * [taylor]: Taking taylor expansion of a in y
1.368 * [taylor]: Taking taylor expansion of b in y
1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in y
1.368 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.368 * [taylor]: Taking taylor expansion of (* t y) in y
1.368 * [taylor]: Taking taylor expansion of t in y
1.368 * [taylor]: Taking taylor expansion of y in y
1.368 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in y
1.368 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.368 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.368 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.368 * [taylor]: Taking taylor expansion of -1 in y
1.368 * [taylor]: Taking taylor expansion of z in y
1.368 * [taylor]: Taking taylor expansion of y in y
1.368 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in y
1.368 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in y
1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
1.368 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.368 * [taylor]: Taking taylor expansion of z in y
1.369 * [taylor]: Taking taylor expansion of 1.0 in y
1.369 * [taylor]: Taking taylor expansion of a in y
1.369 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in y
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in y
1.369 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.369 * [taylor]: Taking taylor expansion of (* a b) in y
1.369 * [taylor]: Taking taylor expansion of a in y
1.369 * [taylor]: Taking taylor expansion of b in y
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in y
1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.369 * [taylor]: Taking taylor expansion of (* t y) in y
1.369 * [taylor]: Taking taylor expansion of t in y
1.369 * [taylor]: Taking taylor expansion of y in y
1.369 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in y
1.369 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.369 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.369 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.369 * [taylor]: Taking taylor expansion of -1 in y
1.369 * [taylor]: Taking taylor expansion of z in y
1.369 * [taylor]: Taking taylor expansion of y in y
1.369 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in y
1.369 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in y
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
1.369 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.369 * [taylor]: Taking taylor expansion of z in y
1.369 * [taylor]: Taking taylor expansion of 1.0 in y
1.369 * [taylor]: Taking taylor expansion of a in y
1.370 * [taylor]: Taking taylor expansion of (neg (+ (log (/ -1 z)) (/ 1 t))) in z
1.370 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.370 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.370 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.370 * [taylor]: Taking taylor expansion of -1 in z
1.370 * [taylor]: Taking taylor expansion of z in z
1.370 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.370 * [taylor]: Taking taylor expansion of t in z
1.370 * [taylor]: Taking taylor expansion of (- (log z) (+ (log -1) (/ 1 t))) in t
1.370 * [taylor]: Taking taylor expansion of (log z) in t
1.370 * [taylor]: Taking taylor expansion of z in t
1.370 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.370 * [taylor]: Taking taylor expansion of (log -1) in t
1.370 * [taylor]: Taking taylor expansion of -1 in t
1.370 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.370 * [taylor]: Taking taylor expansion of t in t
1.370 * [taylor]: Taking taylor expansion of (neg 1) in a
1.370 * [taylor]: Taking taylor expansion of 1 in a
1.371 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (/ (log (+ (/ 1 z) 1.0)) a))) in z
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (+ (/ 1 z) 1.0)) a)) in z
1.371 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.371 * [taylor]: Taking taylor expansion of (* a b) in z
1.371 * [taylor]: Taking taylor expansion of a in z
1.371 * [taylor]: Taking taylor expansion of b in z
1.371 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in z
1.371 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
1.371 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.371 * [taylor]: Taking taylor expansion of z in z
1.371 * [taylor]: Taking taylor expansion of 1.0 in z
1.371 * [taylor]: Taking taylor expansion of a in z
1.372 * [taylor]: Taking taylor expansion of (- (/ (log z) a) (+ (/ 1 (* a b)) (/ (log 1) a))) in t
1.372 * [taylor]: Taking taylor expansion of (/ (log z) a) in t
1.372 * [taylor]: Taking taylor expansion of (log z) in t
1.372 * [taylor]: Taking taylor expansion of z in t
1.372 * [taylor]: Taking taylor expansion of a in t
1.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log 1) a)) in t
1.372 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.372 * [taylor]: Taking taylor expansion of (* a b) in t
1.372 * [taylor]: Taking taylor expansion of a in t
1.372 * [taylor]: Taking taylor expansion of b in t
1.372 * [taylor]: Taking taylor expansion of (/ (log 1) a) in t
1.372 * [taylor]: Taking taylor expansion of (log 1) in t
1.372 * [taylor]: Taking taylor expansion of 1 in t
1.372 * [taylor]: Taking taylor expansion of a in t
1.372 * [taylor]: Taking taylor expansion of 0 in t
1.372 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in a
1.372 * [taylor]: Taking taylor expansion of (log z) in a
1.372 * [taylor]: Taking taylor expansion of z in a
1.372 * [taylor]: Taking taylor expansion of (log -1) in a
1.372 * [taylor]: Taking taylor expansion of -1 in a
1.372 * [taylor]: Taking taylor expansion of (neg 1) in b
1.373 * [taylor]: Taking taylor expansion of 1 in b
1.373 * [taylor]: Taking taylor expansion of 0 in z
1.373 * [taylor]: Taking taylor expansion of 0 in t
1.374 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in t
1.374 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.374 * [taylor]: Taking taylor expansion of 1.0 in t
1.374 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.374 * [taylor]: Taking taylor expansion of a in t
1.374 * [taylor]: Taking taylor expansion of 0 in t
1.375 * [taylor]: Taking taylor expansion of (- (/ (log z) a) (+ (/ 1 (* a b)) (/ (log 1) a))) in a
1.375 * [taylor]: Taking taylor expansion of (/ (log z) a) in a
1.375 * [taylor]: Taking taylor expansion of (log z) in a
1.375 * [taylor]: Taking taylor expansion of z in a
1.375 * [taylor]: Taking taylor expansion of a in a
1.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log 1) a)) in a
1.375 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.375 * [taylor]: Taking taylor expansion of (* a b) in a
1.375 * [taylor]: Taking taylor expansion of a in a
1.375 * [taylor]: Taking taylor expansion of b in a
1.375 * [taylor]: Taking taylor expansion of (/ (log 1) a) in a
1.375 * [taylor]: Taking taylor expansion of (log 1) in a
1.375 * [taylor]: Taking taylor expansion of 1 in a
1.375 * [taylor]: Taking taylor expansion of a in a
1.375 * [taylor]: Taking taylor expansion of (- (log z) (+ (log 1) (/ 1 b))) in b
1.375 * [taylor]: Taking taylor expansion of (log z) in b
1.375 * [taylor]: Taking taylor expansion of z in b
1.375 * [taylor]: Taking taylor expansion of (+ (log 1) (/ 1 b)) in b
1.375 * [taylor]: Taking taylor expansion of (log 1) in b
1.375 * [taylor]: Taking taylor expansion of 1 in b
1.375 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.375 * [taylor]: Taking taylor expansion of b in b
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.376 * [taylor]: Taking taylor expansion of 0 in a
1.376 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in b
1.376 * [taylor]: Taking taylor expansion of (log z) in b
1.376 * [taylor]: Taking taylor expansion of z in b
1.376 * [taylor]: Taking taylor expansion of (log -1) in b
1.376 * [taylor]: Taking taylor expansion of -1 in b
1.376 * [taylor]: Taking taylor expansion of 0 in b
1.377 * [taylor]: Taking taylor expansion of 0 in z
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.378 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 a)) in t
1.378 * [taylor]: Taking taylor expansion of 0.5 in t
1.378 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.378 * [taylor]: Taking taylor expansion of a in t
1.379 * [taylor]: Taking taylor expansion of 0 in t
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in a
1.379 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.379 * [taylor]: Taking taylor expansion of 1.0 in a
1.379 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.379 * [taylor]: Taking taylor expansion of a in a
1.379 * [taylor]: Taking taylor expansion of (neg 1.0) in b
1.379 * [taylor]: Taking taylor expansion of 1.0 in b
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.380 * [taylor]: Taking taylor expansion of 0 in a
1.380 * [taylor]: Taking taylor expansion of 0 in b
1.380 * [taylor]: Taking taylor expansion of 0 in b
1.380 * [taylor]: Taking taylor expansion of 0 in b
1.381 * [taylor]: Taking taylor expansion of 0 in b
1.381 * [taylor]: Taking taylor expansion of 0 in b
1.381 * * * [progress]: simplifying candidates
1.383 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (log (cbrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (log 1)
  (log (- 1.0 z))
  (log (+ (sqrt 1.0) (sqrt z)))
  (log (- (sqrt 1.0) (sqrt z)))
  (log 1)
  (log (- 1.0 z))
  (log (- (pow 1.0 3) (pow z 3)))
  (log (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (log (- (* 1.0 1.0) (* z z)))
  (log (+ 1.0 z))
  (log (- 1.0 z))
  (log (log (- 1.0 z)))
  (exp (log (- 1.0 z)))
  (* (cbrt (log (- 1.0 z))) (cbrt (log (- 1.0 z))))
  (cbrt (log (- 1.0 z)))
  (* (* (log (- 1.0 z)) (log (- 1.0 z))) (log (- 1.0 z)))
  (sqrt (log (- 1.0 z)))
  (sqrt (log (- 1.0 z)))
  (* y (- (log z) t))
  (+ (log y) (log (- (log z) t)))
  (log (* y (- (log z) t)))
  (exp (* y (- (log z) t)))
  (* (* (* y y) y) (* (* (- (log z) t) (- (log z) t)) (- (log z) t)))
  (* (cbrt (* y (- (log z) t))) (cbrt (* y (- (log z) t))))
  (cbrt (* y (- (log z) t)))
  (* (* (* y (- (log z) t)) (* y (- (log z) t))) (* y (- (log z) t)))
  (sqrt (* y (- (log z) t)))
  (sqrt (* y (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* y (log z))
  (* y (neg t))
  (* y (log (* (cbrt z) (cbrt z))))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  (* y (log 1))
  (* y (- (log z) t))
  (* (log z) y)
  (* (neg t) y)
  (* (log (* (cbrt z) (cbrt z))) y)
  (* (- (log (cbrt z)) t) y)
  (* (log (sqrt z)) y)
  (* (- (log (sqrt z)) t) y)
  (* (log 1) y)
  (* (- (log z) t) y)
  (* y (* (cbrt (- (log z) t)) (cbrt (- (log z) t))))
  (* y (sqrt (- (log z) t)))
  (* y 1)
  (* y (+ (sqrt (log z)) (sqrt t)))
  (* y 1)
  (* y 1)
  (* (cbrt y) (- (log z) t))
  (* (sqrt y) (- (log z) t))
  (* y (- (log z) t))
  (* y (- (pow (log z) 3) (pow t 3)))
  (* y (- (* (log z) (log z)) (* t t)))
  (/ z (exp t))
  (log (- (log z) t))
  (exp (- (log z) t))
  (* (cbrt (- (log z) t)) (cbrt (- (log z) t)))
  (cbrt (- (log z) t))
  (* (* (- (log z) t) (- (log z) t)) (- (log z) t))
  (sqrt (- (log z) t))
  (sqrt (- (log z) t))
  (- (pow (log z) 3) (pow t 3))
  (+ (* (log z) (log z)) (+ (* t t) (* (log z) t)))
  (neg t)
  (- (* (log z) (log z)) (* t t))
  (+ (log z) t)
  (+ (sqrt (log z)) (sqrt t))
  (- (sqrt (log z)) (sqrt t))
  (- (log z) t)
  (- (log z) t)
  (- (log (cbrt z)) t)
  (- (log (sqrt z)) t)
  (- (log z) t)
  (* (exp (* y (- (log z) t))) (exp (* a (- (log (- 1.0 z)) b))))
  (log (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (* (cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))) (cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
  (cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (* (* (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))) (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (sqrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (sqrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (+ (* (* y (- (pow (log z) 3) (pow t 3))) (+ (* (log (- 1.0 z)) (log (- 1.0 z))) (+ (* b b) (* (log (- 1.0 z)) b)))) (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (* a (- (pow (log (- 1.0 z)) 3) (pow b 3)))))
  (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (+ (* (log (- 1.0 z)) (log (- 1.0 z))) (+ (* b b) (* (log (- 1.0 z)) b))))
  (+ (* (* y (- (pow (log z) 3) (pow t 3))) (+ (log (- 1.0 z)) b)) (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b)))))
  (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (+ (log (- 1.0 z)) b))
  (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (* (log (- 1.0 z)) (log (- 1.0 z))) (+ (* b b) (* (log (- 1.0 z)) b)))) (* (+ (log z) t) (* a (- (pow (log (- 1.0 z)) 3) (pow b 3)))))
  (* (+ (log z) t) (+ (* (log (- 1.0 z)) (log (- 1.0 z))) (+ (* b b) (* (log (- 1.0 z)) b))))
  (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (log (- 1.0 z)) b)) (* (+ (log z) t) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b)))))
  (* (+ (log z) t) (+ (log (- 1.0 z)) b))
  (+ (pow (* y (- (log z) t)) 3) (pow (* a (- (log (- 1.0 z)) b)) 3))
  (+ (* (* y (- (log z) t)) (* y (- (log z) t))) (- (* (* a (- (log (- 1.0 z)) b)) (* a (- (log (- 1.0 z)) b))) (* (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
  (- (* (* y (- (log z) t)) (* y (- (log z) t))) (* (* a (- (log (- 1.0 z)) b)) (* a (- (log (- 1.0 z)) b))))
  (- (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log z) t)) (* a (log (- 1.0 z))))
  (+ (* y (- (log z) t)) (* a (log (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))
  (+ (* y (- (log z) t)) (* a (log (sqrt (- 1.0 z)))))
  (+ (* y (- (log z) t)) (* a (log 1)))
  (+ (* y (- (log z) t)) (* a (log (+ (sqrt 1.0) (sqrt z)))))
  (+ (* y (- (log z) t)) (* a (log 1)))
  (+ (* y (- (log z) t)) (* (log (- 1.0 z)) a))
  (+ (* y (- (log z) t)) (* (log (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) a))
  (+ (* y (- (log z) t)) (* (log (sqrt (- 1.0 z))) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (- (log z) t)) (* (log (+ (sqrt 1.0) (sqrt z))) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (neg t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log (cbrt z)) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log (sqrt z)) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* (neg t) y) (* a (- (log (- 1.0 z)) b)))
  (+ (* (- (log (cbrt z)) t) y) (* a (- (log (- 1.0 z)) b)))
  (+ (* (- (log (sqrt z)) t) y) (* a (- (log (- 1.0 z)) b)))
  (+ (* (- (log z) t) y) (* a (- (log (- 1.0 z)) b)))
  (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))
  (- (log (neg 1)) (+ (* 1.0 (/ 1 z)) (+ (* 0.5 (/ 1 (pow z 2))) (log (/ 1 z)))))
  (- (log 1) (+ (* 1.0 (/ 1 z)) (+ (* 0.5 (/ 1 (pow z 2))) (log (/ -1 z)))))
  (- (+ (* (log 1) y) (* (log z) y)) (* t y))
  (- (* (log 1) y) (+ (* t y) (* (log (/ 1 z)) y)))
  (- (* (log -1) y) (+ (* t y) (* (log (/ -1 z)) y)))
  (- (+ (log z) (log 1)) t)
  (- (log 1) (+ t (log (/ 1 z))))
  (- (log -1) (+ (log (/ -1 z)) t))
  (- (+ (* (log 1) y) (+ (* (log z) y) (* a (log 1.0)))) (* t y))
  (- (* a (log (neg 1))) (+ (* t y) (+ (* a b) (* a (log (/ 1 z))))))
  (- (* (log 1) a) (+ (* a (log (/ -1 z))) (+ (* t y) (* a b))))
1.424 * * [simplify]: iteration  0 :  4882  enodes  (cost  1383 )
1.425 * * [simplify]: iteration  1 :  4882  enodes  (cost  1383 )
1.430 * [simplify]: Simplified to:
   (* (log (cbrt (- 1.0 z))) 2)
  (log (cbrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (log 1)
  (log (- 1.0 z))
  (log (+ (sqrt 1.0) (sqrt z)))
  (log (- (sqrt 1.0) (sqrt z)))
  (log 1)
  (log (- 1.0 z))
  (log (- (pow 1.0 3) (pow z 3)))
  (log (+ (* 1.0 1.0) (* z (+ 1.0 z))))
  (log (- (* 1.0 1.0) (* z z)))
  (log (+ 1.0 z))
  (log (- 1.0 z))
  (log (log (- 1.0 z)))
  (- 1.0 z)
  (* (cbrt (log (- 1.0 z))) (cbrt (log (- 1.0 z))))
  (cbrt (log (- 1.0 z)))
  (pow (log (- 1.0 z)) 3)
  (sqrt (log (- 1.0 z)))
  (sqrt (log (- 1.0 z)))
  (* y (- (log z) t))
  (log (* y (- (log z) t)))
  (log (* y (- (log z) t)))
  (pow (/ z (exp t)) y)
  (pow (* y (- (log z) t)) 3)
  (* (cbrt (* y (- (log z) t))) (cbrt (* y (- (log z) t))))
  (cbrt (* y (- (log z) t)))
  (pow (* y (- (log z) t)) 3)
  (sqrt (* y (- (log z) t)))
  (sqrt (* y (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* y (log z))
  (* y (neg t))
  (* y (* (log (cbrt z)) 2))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  (* (log 1) y)
  (* y (- (log z) t))
  (* y (log z))
  (* y (neg t))
  (* y (* (log (cbrt z)) 2))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  (* (log 1) y)
  (* y (- (log z) t))
  (* y (* (cbrt (- (log z) t)) (cbrt (- (log z) t))))
  (* y (sqrt (- (log z) t)))
  y
  (* y (+ (sqrt (log z)) (sqrt t)))
  y
  y
  (* (- (log z) t) (cbrt y))
  (* (- (log z) t) (sqrt y))
  (* y (- (log z) t))
  (* y (- (pow (log z) 3) (pow t 3)))
  (* y (- (* (log z) (log z)) (* t t)))
  (/ z (exp t))
  (log (- (log z) t))
  (/ z (exp t))
  (* (cbrt (- (log z) t)) (cbrt (- (log z) t)))
  (cbrt (- (log z) t))
  (pow (- (log z) t) 3)
  (sqrt (- (log z) t))
  (sqrt (- (log z) t))
  (- (pow (log z) 3) (pow t 3))
  (+ (* t t) (* (log z) (+ (log z) t)))
  (neg t)
  (- (* (log z) (log z)) (* t t))
  (+ (log z) t)
  (+ (sqrt (log z)) (sqrt t))
  (- (sqrt (log z)) (sqrt t))
  (- (log z) t)
  (- (log z) t)
  (- (log (cbrt z)) t)
  (- (log (sqrt z)) t)
  (- (log z) t)
  (* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
  (log (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
  (* (cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))) (cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
  (cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (pow (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))) 3)
  (sqrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (sqrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
  (+ (* y (* (- (pow (log z) 3) (pow t 3)) (+ (* b b) (* (log (- 1.0 z)) (+ (log (- 1.0 z)) b))))) (* (+ (* t t) (* (log z) (+ (log z) t))) (* a (- (pow (log (- 1.0 z)) 3) (pow b 3)))))
  (* (+ (* t t) (* (log z) (+ (log z) t))) (+ (* b b) (* (log (- 1.0 z)) (+ (log (- 1.0 z)) b))))
  (+ (* y (* (- (pow (log z) 3) (pow t 3)) (+ (log (- 1.0 z)) b))) (* (+ (* t t) (* (log z) (+ (log z) t))) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b)))))
  (* (+ (* t t) (* (log z) (+ (log z) t))) (+ (log (- 1.0 z)) b))
  (+ (* y (* (- (* (log z) (log z)) (* t t)) (+ (* b b) (* (log (- 1.0 z)) (+ (log (- 1.0 z)) b))))) (* (+ (log z) t) (* a (- (pow (log (- 1.0 z)) 3) (pow b 3)))))
  (* (+ (log z) t) (+ (* b b) (* (log (- 1.0 z)) (+ (log (- 1.0 z)) b))))
  (+ (* y (* (- (* (log z) (log z)) (* t t)) (+ (log (- 1.0 z)) b))) (* (+ (log z) t) (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b)))))
  (* (+ (log z) t) (+ (log (- 1.0 z)) b))
  (+ (pow (* y (- (log z) t)) 3) (pow (* a (- (log (- 1.0 z)) b)) 3))
  (+ (* y (* y (* (- (log z) t) (- (log z) t)))) (* a (* (- (log (- 1.0 z)) b) (- (* a (- (log (- 1.0 z)) b)) (* y (- (log z) t))))))
  (- (* y (* y (* (- (log z) t) (- (log z) t)))) (* a (* a (* (- (log (- 1.0 z)) b) (- (log (- 1.0 z)) b)))))
  (- (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log z) t)) (* (log (- 1.0 z)) a))
  (+ (* y (- (log z) t)) (* (* (log (cbrt (- 1.0 z))) 2) a))
  (+ (* y (- (log z) t)) (* (log (sqrt (- 1.0 z))) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (- (log z) t)) (* (log (+ (sqrt 1.0) (sqrt z))) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (- (log z) t)) (* (log (- 1.0 z)) a))
  (+ (* y (- (log z) t)) (* (* (log (cbrt (- 1.0 z))) 2) a))
  (+ (* y (- (log z) t)) (* (log (sqrt (- 1.0 z))) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (- (log z) t)) (* (log (+ (sqrt 1.0) (sqrt z))) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (neg t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log (cbrt z)) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log (sqrt z)) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (neg t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log (cbrt z)) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log (sqrt z)) t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
  (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (- (log -1) (+ (neg (log z)) (/ (+ 1.0 (/ 0.5 z)) z)))
  (- (log 1) (+ (log (/ -1 z)) (/ (+ 1.0 (/ 0.5 z)) z)))
  (* y (- (log z) t))
  (* y (- (log z) t))
  (* y (- (log z) t))
  (- (log z) t)
  (- (log z) t)
  (- (log z) t)
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (- (* a (- (log -1) (+ b (neg (log z))))) (* y t))
  (- (* a (- (log 1) (+ (log (/ -1 z)) b))) (* y t))
1.430 * * * [progress]: adding candidates to table
1.627 * * [progress]: iteration 2 / 4
1.627 * * * [progress]: picking best candidate
1.633 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))))))>
1.633 * * * [progress]: localizing error
1.654 * * * [progress]: generating rewritten candidates
1.654 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 1 2)
1.669 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1.678 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
1.688 * * * [progress]: generating series expansions
1.688 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
1.688 * [approximate]: Taking taylor expansion of (* (- (log z) t) y) in (y z t) around 0
1.688 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in t
1.688 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.688 * [taylor]: Taking taylor expansion of (log z) in t
1.688 * [taylor]: Taking taylor expansion of z in t
1.688 * [taylor]: Taking taylor expansion of t in t
1.688 * [taylor]: Taking taylor expansion of y in t
1.688 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in z
1.688 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.688 * [taylor]: Taking taylor expansion of (log z) in z
1.688 * [taylor]: Taking taylor expansion of z in z
1.688 * [taylor]: Taking taylor expansion of t in z
1.688 * [taylor]: Taking taylor expansion of y in z
1.688 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.688 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.688 * [taylor]: Taking taylor expansion of (log z) in y
1.688 * [taylor]: Taking taylor expansion of z in y
1.689 * [taylor]: Taking taylor expansion of t in y
1.689 * [taylor]: Taking taylor expansion of y in y
1.689 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.689 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.689 * [taylor]: Taking taylor expansion of (log z) in y
1.689 * [taylor]: Taking taylor expansion of z in y
1.689 * [taylor]: Taking taylor expansion of t in y
1.689 * [taylor]: Taking taylor expansion of y in y
1.689 * [taylor]: Taking taylor expansion of 0 in z
1.689 * [taylor]: Taking taylor expansion of 0 in t
1.689 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.689 * [taylor]: Taking taylor expansion of (log z) in z
1.689 * [taylor]: Taking taylor expansion of z in z
1.689 * [taylor]: Taking taylor expansion of t in z
1.689 * [taylor]: Taking taylor expansion of (- (+ (log z) (log 1)) t) in t
1.689 * [taylor]: Taking taylor expansion of (+ (log z) (log 1)) in t
1.689 * [taylor]: Taking taylor expansion of (log z) in t
1.689 * [taylor]: Taking taylor expansion of z in t
1.689 * [taylor]: Taking taylor expansion of (log 1) in t
1.689 * [taylor]: Taking taylor expansion of 1 in t
1.689 * [taylor]: Taking taylor expansion of t in t
1.690 * [taylor]: Taking taylor expansion of 0 in t
1.690 * [taylor]: Taking taylor expansion of 0 in z
1.690 * [taylor]: Taking taylor expansion of 0 in t
1.690 * [taylor]: Taking taylor expansion of 0 in t
1.690 * [taylor]: Taking taylor expansion of 0 in t
1.691 * [taylor]: Taking taylor expansion of 0 in z
1.691 * [taylor]: Taking taylor expansion of 0 in t
1.691 * [taylor]: Taking taylor expansion of 0 in t
1.691 * [taylor]: Taking taylor expansion of 0 in t
1.691 * [taylor]: Taking taylor expansion of 0 in t
1.691 * [approximate]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in (y z t) around 0
1.691 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in t
1.691 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.691 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.691 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.691 * [taylor]: Taking taylor expansion of z in t
1.692 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.692 * [taylor]: Taking taylor expansion of t in t
1.692 * [taylor]: Taking taylor expansion of y in t
1.692 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in z
1.692 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.692 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.692 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.692 * [taylor]: Taking taylor expansion of z in z
1.692 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.692 * [taylor]: Taking taylor expansion of t in z
1.692 * [taylor]: Taking taylor expansion of y in z
1.692 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.692 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.692 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.692 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.692 * [taylor]: Taking taylor expansion of z in y
1.692 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.692 * [taylor]: Taking taylor expansion of t in y
1.692 * [taylor]: Taking taylor expansion of y in y
1.692 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.692 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.692 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.692 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.692 * [taylor]: Taking taylor expansion of z in y
1.693 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.693 * [taylor]: Taking taylor expansion of t in y
1.693 * [taylor]: Taking taylor expansion of y in y
1.693 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.693 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.693 * [taylor]: Taking taylor expansion of z in z
1.693 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.693 * [taylor]: Taking taylor expansion of t in z
1.693 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log z) (/ 1 t))) in t
1.693 * [taylor]: Taking taylor expansion of (log 1) in t
1.693 * [taylor]: Taking taylor expansion of 1 in t
1.693 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.693 * [taylor]: Taking taylor expansion of (log z) in t
1.693 * [taylor]: Taking taylor expansion of z in t
1.693 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.693 * [taylor]: Taking taylor expansion of t in t
1.694 * [taylor]: Taking taylor expansion of 0 in z
1.694 * [taylor]: Taking taylor expansion of 0 in t
1.694 * [taylor]: Taking taylor expansion of 0 in t
1.695 * [taylor]: Taking taylor expansion of 0 in z
1.695 * [taylor]: Taking taylor expansion of 0 in t
1.695 * [taylor]: Taking taylor expansion of 0 in t
1.695 * [taylor]: Taking taylor expansion of 0 in t
1.696 * [taylor]: Taking taylor expansion of 0 in z
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.697 * [taylor]: Taking taylor expansion of 0 in t
1.697 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in (y z t) around 0
1.697 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in t
1.697 * [taylor]: Taking taylor expansion of -1 in t
1.697 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in t
1.697 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.697 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.697 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.697 * [taylor]: Taking taylor expansion of -1 in t
1.697 * [taylor]: Taking taylor expansion of z in t
1.698 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.698 * [taylor]: Taking taylor expansion of t in t
1.698 * [taylor]: Taking taylor expansion of y in t
1.698 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in z
1.698 * [taylor]: Taking taylor expansion of -1 in z
1.698 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in z
1.698 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.698 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.698 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.698 * [taylor]: Taking taylor expansion of -1 in z
1.698 * [taylor]: Taking taylor expansion of z in z
1.698 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.698 * [taylor]: Taking taylor expansion of t in z
1.698 * [taylor]: Taking taylor expansion of y in z
1.698 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.698 * [taylor]: Taking taylor expansion of -1 in y
1.698 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.698 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.698 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.698 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.698 * [taylor]: Taking taylor expansion of -1 in y
1.698 * [taylor]: Taking taylor expansion of z in y
1.698 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.698 * [taylor]: Taking taylor expansion of t in y
1.698 * [taylor]: Taking taylor expansion of y in y
1.698 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.698 * [taylor]: Taking taylor expansion of -1 in y
1.698 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.699 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.699 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.699 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.699 * [taylor]: Taking taylor expansion of -1 in y
1.699 * [taylor]: Taking taylor expansion of z in y
1.699 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.699 * [taylor]: Taking taylor expansion of t in y
1.699 * [taylor]: Taking taylor expansion of y in y
1.699 * [taylor]: Taking taylor expansion of (* -1 (+ (log (/ -1 z)) (/ 1 t))) in z
1.699 * [taylor]: Taking taylor expansion of -1 in z
1.699 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.699 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.699 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.699 * [taylor]: Taking taylor expansion of -1 in z
1.699 * [taylor]: Taking taylor expansion of z in z
1.699 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.699 * [taylor]: Taking taylor expansion of t in z
1.699 * [taylor]: Taking taylor expansion of (* -1 (- (+ (log -1) (/ 1 t)) (log z))) in t
1.699 * [taylor]: Taking taylor expansion of -1 in t
1.699 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.699 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.699 * [taylor]: Taking taylor expansion of (log -1) in t
1.699 * [taylor]: Taking taylor expansion of -1 in t
1.699 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.699 * [taylor]: Taking taylor expansion of t in t
1.699 * [taylor]: Taking taylor expansion of (log z) in t
1.699 * [taylor]: Taking taylor expansion of z in t
1.700 * [taylor]: Taking taylor expansion of 0 in z
1.700 * [taylor]: Taking taylor expansion of 0 in t
1.700 * [taylor]: Taking taylor expansion of 0 in t
1.701 * [taylor]: Taking taylor expansion of 0 in z
1.701 * [taylor]: Taking taylor expansion of 0 in t
1.701 * [taylor]: Taking taylor expansion of 0 in t
1.701 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [taylor]: Taking taylor expansion of 0 in z
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.703 * [taylor]: Taking taylor expansion of 0 in t
1.704 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 1 2)
1.704 * [approximate]: Taking taylor expansion of (* (+ (* 0.5 z) 1.0) z) in (z) around 0
1.704 * [taylor]: Taking taylor expansion of (* (+ (* 0.5 z) 1.0) z) in z
1.704 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) 1.0) in z
1.704 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
1.704 * [taylor]: Taking taylor expansion of 0.5 in z
1.704 * [taylor]: Taking taylor expansion of z in z
1.704 * [taylor]: Taking taylor expansion of 1.0 in z
1.704 * [taylor]: Taking taylor expansion of z in z
1.704 * [taylor]: Taking taylor expansion of (* (+ (* 0.5 z) 1.0) z) in z
1.704 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) 1.0) in z
1.704 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
1.704 * [taylor]: Taking taylor expansion of 0.5 in z
1.704 * [taylor]: Taking taylor expansion of z in z
1.704 * [taylor]: Taking taylor expansion of 1.0 in z
1.704 * [taylor]: Taking taylor expansion of z in z
1.705 * [approximate]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 z)) 1.0) z) in (z) around 0
1.705 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 z)) 1.0) z) in z
1.705 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) 1.0) in z
1.705 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.705 * [taylor]: Taking taylor expansion of 0.5 in z
1.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.705 * [taylor]: Taking taylor expansion of 1.0 in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.705 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 z)) 1.0) z) in z
1.705 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) 1.0) in z
1.705 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.705 * [taylor]: Taking taylor expansion of 0.5 in z
1.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.706 * [taylor]: Taking taylor expansion of 1.0 in z
1.706 * [taylor]: Taking taylor expansion of z in z
1.707 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (* 0.5 (/ 1 z))) z)) in (z) around 0
1.707 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (* 0.5 (/ 1 z))) z)) in z
1.707 * [taylor]: Taking taylor expansion of -1 in z
1.707 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 0.5 (/ 1 z))) z) in z
1.707 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 z))) in z
1.707 * [taylor]: Taking taylor expansion of 1.0 in z
1.707 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.707 * [taylor]: Taking taylor expansion of 0.5 in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.707 * [taylor]: Taking taylor expansion of z in z
1.707 * [taylor]: Taking taylor expansion of z in z
1.707 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (* 0.5 (/ 1 z))) z)) in z
1.707 * [taylor]: Taking taylor expansion of -1 in z
1.708 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 0.5 (/ 1 z))) z) in z
1.708 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 z))) in z
1.708 * [taylor]: Taking taylor expansion of 1.0 in z
1.708 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.708 * [taylor]: Taking taylor expansion of 0.5 in z
1.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.708 * [taylor]: Taking taylor expansion of z in z
1.708 * [taylor]: Taking taylor expansion of z in z
1.710 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1.710 * [approximate]: Taking taylor expansion of (* a (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)))) in (a z b) around 0
1.710 * [taylor]: Taking taylor expansion of (* a (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)))) in b
1.710 * [taylor]: Taking taylor expansion of a in b
1.710 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b))) in b
1.710 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.710 * [taylor]: Taking taylor expansion of 1.0 in b
1.710 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)) in b
1.710 * [taylor]: Taking taylor expansion of (* 1.0 z) in b
1.710 * [taylor]: Taking taylor expansion of 1.0 in b
1.710 * [taylor]: Taking taylor expansion of z in b
1.710 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow z 2)) b) in b
1.710 * [taylor]: Taking taylor expansion of (* 0.5 (pow z 2)) in b
1.710 * [taylor]: Taking taylor expansion of 0.5 in b
1.710 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.710 * [taylor]: Taking taylor expansion of z in b
1.710 * [taylor]: Taking taylor expansion of b in b
1.710 * [taylor]: Taking taylor expansion of (* a (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)))) in z
1.710 * [taylor]: Taking taylor expansion of a in z
1.710 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b))) in z
1.710 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.710 * [taylor]: Taking taylor expansion of 1.0 in z
1.710 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)) in z
1.710 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
1.710 * [taylor]: Taking taylor expansion of 1.0 in z
1.710 * [taylor]: Taking taylor expansion of z in z
1.710 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow z 2)) b) in z
1.710 * [taylor]: Taking taylor expansion of (* 0.5 (pow z 2)) in z
1.710 * [taylor]: Taking taylor expansion of 0.5 in z
1.710 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.710 * [taylor]: Taking taylor expansion of z in z
1.710 * [taylor]: Taking taylor expansion of b in z
1.710 * [taylor]: Taking taylor expansion of (* a (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)))) in a
1.710 * [taylor]: Taking taylor expansion of a in a
1.710 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b))) in a
1.711 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.711 * [taylor]: Taking taylor expansion of 1.0 in a
1.711 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)) in a
1.711 * [taylor]: Taking taylor expansion of (* 1.0 z) in a
1.711 * [taylor]: Taking taylor expansion of 1.0 in a
1.711 * [taylor]: Taking taylor expansion of z in a
1.711 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow z 2)) b) in a
1.711 * [taylor]: Taking taylor expansion of (* 0.5 (pow z 2)) in a
1.711 * [taylor]: Taking taylor expansion of 0.5 in a
1.711 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.711 * [taylor]: Taking taylor expansion of z in a
1.711 * [taylor]: Taking taylor expansion of b in a
1.711 * [taylor]: Taking taylor expansion of (* a (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)))) in a
1.711 * [taylor]: Taking taylor expansion of a in a
1.711 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b))) in a
1.711 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.711 * [taylor]: Taking taylor expansion of 1.0 in a
1.711 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)) in a
1.711 * [taylor]: Taking taylor expansion of (* 1.0 z) in a
1.711 * [taylor]: Taking taylor expansion of 1.0 in a
1.711 * [taylor]: Taking taylor expansion of z in a
1.711 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow z 2)) b) in a
1.711 * [taylor]: Taking taylor expansion of (* 0.5 (pow z 2)) in a
1.711 * [taylor]: Taking taylor expansion of 0.5 in a
1.711 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.711 * [taylor]: Taking taylor expansion of z in a
1.711 * [taylor]: Taking taylor expansion of b in a
1.712 * [taylor]: Taking taylor expansion of 0 in z
1.712 * [taylor]: Taking taylor expansion of 0 in b
1.712 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b))) in z
1.712 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.712 * [taylor]: Taking taylor expansion of 1.0 in z
1.712 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (+ (* 0.5 (pow z 2)) b)) in z
1.712 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
1.712 * [taylor]: Taking taylor expansion of 1.0 in z
1.712 * [taylor]: Taking taylor expansion of z in z
1.712 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow z 2)) b) in z
1.712 * [taylor]: Taking taylor expansion of (* 0.5 (pow z 2)) in z
1.712 * [taylor]: Taking taylor expansion of 0.5 in z
1.713 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.713 * [taylor]: Taking taylor expansion of z in z
1.713 * [taylor]: Taking taylor expansion of b in z
1.713 * [taylor]: Taking taylor expansion of (- (log 1.0) b) in b
1.713 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.713 * [taylor]: Taking taylor expansion of 1.0 in b
1.713 * [taylor]: Taking taylor expansion of b in b
1.713 * [taylor]: Taking taylor expansion of 0 in b
1.713 * [taylor]: Taking taylor expansion of 0 in z
1.713 * [taylor]: Taking taylor expansion of 0 in b
1.714 * [taylor]: Taking taylor expansion of (neg 1.0) in b
1.714 * [taylor]: Taking taylor expansion of 1.0 in b
1.714 * [taylor]: Taking taylor expansion of 0 in b
1.714 * [approximate]: Taking taylor expansion of (/ (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) a) in (a z b) around 0
1.714 * [taylor]: Taking taylor expansion of (/ (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) a) in b
1.714 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) in b
1.714 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.714 * [taylor]: Taking taylor expansion of 1.0 in b
1.714 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2))))) in b
1.714 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.714 * [taylor]: Taking taylor expansion of b in b
1.714 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))) in b
1.714 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b
1.714 * [taylor]: Taking taylor expansion of 1.0 in b
1.715 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.715 * [taylor]: Taking taylor expansion of z in b
1.715 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in b
1.715 * [taylor]: Taking taylor expansion of 0.5 in b
1.715 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in b
1.715 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.715 * [taylor]: Taking taylor expansion of z in b
1.715 * [taylor]: Taking taylor expansion of a in b
1.715 * [taylor]: Taking taylor expansion of (/ (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) a) in z
1.715 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) in z
1.715 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.715 * [taylor]: Taking taylor expansion of 1.0 in z
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2))))) in z
1.715 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.715 * [taylor]: Taking taylor expansion of b in z
1.715 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))) in z
1.715 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.715 * [taylor]: Taking taylor expansion of 1.0 in z
1.715 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in z
1.715 * [taylor]: Taking taylor expansion of 0.5 in z
1.715 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.715 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [taylor]: Taking taylor expansion of a in z
1.715 * [taylor]: Taking taylor expansion of (/ (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) a) in a
1.715 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) in a
1.715 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.715 * [taylor]: Taking taylor expansion of 1.0 in a
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2))))) in a
1.715 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.715 * [taylor]: Taking taylor expansion of b in a
1.715 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))) in a
1.715 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a
1.715 * [taylor]: Taking taylor expansion of 1.0 in a
1.715 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.716 * [taylor]: Taking taylor expansion of z in a
1.716 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in a
1.716 * [taylor]: Taking taylor expansion of 0.5 in a
1.716 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.716 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.716 * [taylor]: Taking taylor expansion of z in a
1.716 * [taylor]: Taking taylor expansion of a in a
1.717 * [taylor]: Taking taylor expansion of (/ (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) a) in a
1.717 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) in a
1.717 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.717 * [taylor]: Taking taylor expansion of 1.0 in a
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2))))) in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.717 * [taylor]: Taking taylor expansion of b in a
1.717 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))) in a
1.717 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a
1.717 * [taylor]: Taking taylor expansion of 1.0 in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.717 * [taylor]: Taking taylor expansion of z in a
1.717 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in a
1.717 * [taylor]: Taking taylor expansion of 0.5 in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.717 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.717 * [taylor]: Taking taylor expansion of z in a
1.717 * [taylor]: Taking taylor expansion of a in a
1.718 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))))) in z
1.718 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.718 * [taylor]: Taking taylor expansion of 1.0 in z
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2))))) in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.718 * [taylor]: Taking taylor expansion of b in z
1.718 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 0.5 (/ 1 (pow z 2)))) in z
1.718 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.718 * [taylor]: Taking taylor expansion of 1.0 in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.718 * [taylor]: Taking taylor expansion of z in z
1.718 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in z
1.718 * [taylor]: Taking taylor expansion of 0.5 in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.718 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.718 * [taylor]: Taking taylor expansion of z in z
1.719 * [taylor]: Taking taylor expansion of (neg 0.5) in b
1.719 * [taylor]: Taking taylor expansion of 0.5 in b
1.719 * [taylor]: Taking taylor expansion of 0 in z
1.719 * [taylor]: Taking taylor expansion of (neg 1.0) in b
1.719 * [taylor]: Taking taylor expansion of 1.0 in b
1.720 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [taylor]: Taking taylor expansion of (- (log 1.0) (/ 1 b)) in b
1.721 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.721 * [taylor]: Taking taylor expansion of 1.0 in b
1.721 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.721 * [taylor]: Taking taylor expansion of b in b
1.722 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a)) in (a z b) around 0
1.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a)) in b
1.722 * [taylor]: Taking taylor expansion of -1 in b
1.722 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a) in b
1.722 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) in b
1.722 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) in b
1.722 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.722 * [taylor]: Taking taylor expansion of b in b
1.722 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (log 1.0)) in b
1.722 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b
1.722 * [taylor]: Taking taylor expansion of 1.0 in b
1.722 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.722 * [taylor]: Taking taylor expansion of z in b
1.722 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.722 * [taylor]: Taking taylor expansion of 1.0 in b
1.722 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in b
1.722 * [taylor]: Taking taylor expansion of 0.5 in b
1.722 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in b
1.722 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.722 * [taylor]: Taking taylor expansion of z in b
1.722 * [taylor]: Taking taylor expansion of a in b
1.722 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a)) in z
1.722 * [taylor]: Taking taylor expansion of -1 in z
1.722 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a) in z
1.722 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) in z
1.722 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) in z
1.722 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.722 * [taylor]: Taking taylor expansion of b in z
1.722 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (log 1.0)) in z
1.722 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.722 * [taylor]: Taking taylor expansion of 1.0 in z
1.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.722 * [taylor]: Taking taylor expansion of z in z
1.722 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.722 * [taylor]: Taking taylor expansion of 1.0 in z
1.722 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in z
1.722 * [taylor]: Taking taylor expansion of 0.5 in z
1.722 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.722 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.722 * [taylor]: Taking taylor expansion of z in z
1.723 * [taylor]: Taking taylor expansion of a in z
1.723 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a)) in a
1.723 * [taylor]: Taking taylor expansion of -1 in a
1.723 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a) in a
1.723 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) in a
1.723 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) in a
1.723 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.723 * [taylor]: Taking taylor expansion of b in a
1.723 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (log 1.0)) in a
1.723 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a
1.723 * [taylor]: Taking taylor expansion of 1.0 in a
1.723 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.723 * [taylor]: Taking taylor expansion of z in a
1.723 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.723 * [taylor]: Taking taylor expansion of 1.0 in a
1.723 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in a
1.723 * [taylor]: Taking taylor expansion of 0.5 in a
1.723 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.723 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.723 * [taylor]: Taking taylor expansion of z in a
1.723 * [taylor]: Taking taylor expansion of a in a
1.724 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a)) in a
1.724 * [taylor]: Taking taylor expansion of -1 in a
1.724 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) a) in a
1.724 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) (* 0.5 (/ 1 (pow z 2)))) in a
1.724 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (* 1.0 (/ 1 z)) (log 1.0))) in a
1.724 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.724 * [taylor]: Taking taylor expansion of b in a
1.724 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (log 1.0)) in a
1.724 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a
1.724 * [taylor]: Taking taylor expansion of 1.0 in a
1.724 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.724 * [taylor]: Taking taylor expansion of z in a
1.724 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.724 * [taylor]: Taking taylor expansion of 1.0 in a
1.724 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in a
1.724 * [taylor]: Taking taylor expansion of 0.5 in a
1.724 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.724 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.724 * [taylor]: Taking taylor expansion of z in a
1.724 * [taylor]: Taking taylor expansion of a in a
1.725 * [taylor]: Taking taylor expansion of (* -1 (- (+ (* 1.0 (/ 1 z)) (+ (log 1.0) (/ 1 b))) (* 0.5 (/ 1 (pow z 2))))) in z
1.725 * [taylor]: Taking taylor expansion of -1 in z
1.725 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (log 1.0) (/ 1 b))) (* 0.5 (/ 1 (pow z 2)))) in z
1.725 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (log 1.0) (/ 1 b))) in z
1.725 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.725 * [taylor]: Taking taylor expansion of 1.0 in z
1.725 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.725 * [taylor]: Taking taylor expansion of z in z
1.725 * [taylor]: Taking taylor expansion of (+ (log 1.0) (/ 1 b)) in z
1.725 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.725 * [taylor]: Taking taylor expansion of 1.0 in z
1.725 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.725 * [taylor]: Taking taylor expansion of b in z
1.725 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in z
1.725 * [taylor]: Taking taylor expansion of 0.5 in z
1.725 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.725 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.725 * [taylor]: Taking taylor expansion of z in z
1.726 * [taylor]: Taking taylor expansion of 0.5 in b
1.726 * [taylor]: Taking taylor expansion of 0 in z
1.727 * [taylor]: Taking taylor expansion of (neg 1.0) in b
1.727 * [taylor]: Taking taylor expansion of 1.0 in b
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of (neg (+ (log 1.0) (/ 1 b))) in b
1.728 * [taylor]: Taking taylor expansion of (+ (log 1.0) (/ 1 b)) in b
1.728 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.728 * [taylor]: Taking taylor expansion of 1.0 in b
1.728 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.728 * [taylor]: Taking taylor expansion of b in b
1.729 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
1.729 * [approximate]: Taking taylor expansion of (- (log z) t) in (z t) around 0
1.729 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.729 * [taylor]: Taking taylor expansion of (log z) in t
1.729 * [taylor]: Taking taylor expansion of z in t
1.729 * [taylor]: Taking taylor expansion of t in t
1.729 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.729 * [taylor]: Taking taylor expansion of (log z) in z
1.729 * [taylor]: Taking taylor expansion of z in z
1.729 * [taylor]: Taking taylor expansion of t in z
1.729 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.729 * [taylor]: Taking taylor expansion of (log z) in z
1.729 * [taylor]: Taking taylor expansion of z in z
1.729 * [taylor]: Taking taylor expansion of t in z
1.729 * [taylor]: Taking taylor expansion of (- (+ (log z) (log 1)) t) in t
1.729 * [taylor]: Taking taylor expansion of (+ (log z) (log 1)) in t
1.729 * [taylor]: Taking taylor expansion of (log z) in t
1.729 * [taylor]: Taking taylor expansion of z in t
1.729 * [taylor]: Taking taylor expansion of (log 1) in t
1.729 * [taylor]: Taking taylor expansion of 1 in t
1.729 * [taylor]: Taking taylor expansion of t in t
1.730 * [taylor]: Taking taylor expansion of 0 in t
1.730 * [taylor]: Taking taylor expansion of 0 in t
1.731 * [taylor]: Taking taylor expansion of 0 in t
1.731 * [approximate]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in (z t) around 0
1.731 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.731 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.731 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.731 * [taylor]: Taking taylor expansion of z in t
1.731 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.731 * [taylor]: Taking taylor expansion of t in t
1.731 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.731 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.731 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.731 * [taylor]: Taking taylor expansion of z in z
1.731 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.731 * [taylor]: Taking taylor expansion of t in z
1.731 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.731 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.731 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.731 * [taylor]: Taking taylor expansion of z in z
1.731 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.731 * [taylor]: Taking taylor expansion of t in z
1.732 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log z) (/ 1 t))) in t
1.732 * [taylor]: Taking taylor expansion of (log 1) in t
1.732 * [taylor]: Taking taylor expansion of 1 in t
1.732 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.732 * [taylor]: Taking taylor expansion of (log z) in t
1.732 * [taylor]: Taking taylor expansion of z in t
1.732 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.732 * [taylor]: Taking taylor expansion of t in t
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.733 * [taylor]: Taking taylor expansion of 0 in t
1.733 * [taylor]: Taking taylor expansion of 0 in t
1.735 * [taylor]: Taking taylor expansion of 0 in t
1.735 * [approximate]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in (z t) around 0
1.735 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.735 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.735 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.735 * [taylor]: Taking taylor expansion of -1 in t
1.735 * [taylor]: Taking taylor expansion of z in t
1.735 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.735 * [taylor]: Taking taylor expansion of t in t
1.735 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.735 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.735 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.735 * [taylor]: Taking taylor expansion of -1 in z
1.735 * [taylor]: Taking taylor expansion of z in z
1.735 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.735 * [taylor]: Taking taylor expansion of t in z
1.735 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.735 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.735 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.735 * [taylor]: Taking taylor expansion of -1 in z
1.735 * [taylor]: Taking taylor expansion of z in z
1.735 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.735 * [taylor]: Taking taylor expansion of t in z
1.735 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.735 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.735 * [taylor]: Taking taylor expansion of (log -1) in t
1.735 * [taylor]: Taking taylor expansion of -1 in t
1.735 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.736 * [taylor]: Taking taylor expansion of t in t
1.736 * [taylor]: Taking taylor expansion of (log z) in t
1.736 * [taylor]: Taking taylor expansion of z in t
1.736 * [taylor]: Taking taylor expansion of 0 in t
1.736 * [taylor]: Taking taylor expansion of 0 in t
1.737 * [taylor]: Taking taylor expansion of 0 in t
1.738 * [taylor]: Taking taylor expansion of 0 in t
1.738 * * * [progress]: simplifying candidates
1.740 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (- (log z) t))
  (+ (log y) (log (- (log z) t)))
  (log (* y (- (log z) t)))
  (exp (* y (- (log z) t)))
  (* (* (* y y) y) (* (* (- (log z) t) (- (log z) t)) (- (log z) t)))
  (* (cbrt (* y (- (log z) t))) (cbrt (* y (- (log z) t))))
  (cbrt (* y (- (log z) t)))
  (* (* (* y (- (log z) t)) (* y (- (log z) t))) (* y (- (log z) t)))
  (sqrt (* y (- (log z) t)))
  (sqrt (* y (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* y (log z))
  (* y (neg t))
  (* y (log (* (cbrt z) (cbrt z))))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  (* y (log 1))
  (* y (- (log z) t))
  (* (log z) y)
  (* (neg t) y)
  (* (log (* (cbrt z) (cbrt z))) y)
  (* (- (log (cbrt z)) t) y)
  (* (log (sqrt z)) y)
  (* (- (log (sqrt z)) t) y)
  (* (log 1) y)
  (* (- (log z) t) y)
  (* y (* (cbrt (- (log z) t)) (cbrt (- (log z) t))))
  (* y (sqrt (- (log z) t)))
  (* y 1)
  (* y (+ (sqrt (log z)) (sqrt t)))
  (* y 1)
  (* y 1)
  (* (cbrt y) (- (log z) t))
  (* (sqrt y) (- (log z) t))
  (* y (- (log z) t))
  (* y (- (pow (log z) 3) (pow t 3)))
  (* y (- (* (log z) (log z)) (* t t)))
  (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))
  (+ (log z) (log (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (log (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (exp (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (* (* (* z z) z) (* (* (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))) (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))) (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (* (cbrt (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) (cbrt (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))))
  (cbrt (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (* (* (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (sqrt (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (sqrt (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (* (sqrt z) (sqrt (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (* (sqrt z) (sqrt (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (* z 1.0)
  (* z (/ (* z 1/2) (* 1.0 1.0)))
  (* 1.0 z)
  (* (/ (* z 1/2) (* 1.0 1.0)) z)
  (* z (* (cbrt (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))) (cbrt (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))))
  (* z (sqrt (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))
  (* z 1)
  (* z 1)
  (* (cbrt z) (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))
  (* (sqrt z) (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))
  (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))
  (* z (+ (pow 1.0 3) (pow (/ (* z 1/2) (* 1.0 1.0)) 3)))
  (* z (- (* 1.0 1.0) (* (/ (* z 1/2) (* 1.0 1.0)) (/ (* z 1/2) (* 1.0 1.0)))))
  (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (+ (log a) (log (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (log (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (exp (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (* (* (* a a) a) (* (* (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b) (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)) (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (* (cbrt (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))) (cbrt (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))))
  (cbrt (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (* (* (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)) (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))) (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (sqrt (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (sqrt (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (* (sqrt a) (sqrt (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (* (sqrt a) (sqrt (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (* a (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))))
  (* a (neg b))
  (* a (log 1.0))
  (* a (- (neg (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (* a (log (* (cbrt 1.0) (cbrt 1.0))))
  (* a (- (- (log (cbrt 1.0)) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (* a (log (sqrt 1.0)))
  (* a (- (- (log (sqrt 1.0)) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (* a (log 1))
  (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (* (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) a)
  (* (neg b) a)
  (* (log 1.0) a)
  (* (- (neg (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b) a)
  (* (log (* (cbrt 1.0) (cbrt 1.0))) a)
  (* (- (- (log (cbrt 1.0)) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b) a)
  (* (log (sqrt 1.0)) a)
  (* (- (- (log (sqrt 1.0)) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b) a)
  (* (log 1) a)
  (* (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b) a)
  (* a (* (cbrt (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)) (cbrt (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))))
  (* a (sqrt (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))
  (* a 1)
  (* a (+ (sqrt (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))) (sqrt b)))
  (* a 1)
  (* (cbrt a) (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (* (sqrt a) (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b))
  (* a (- (pow (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) 3) (pow b 3)))
  (* a (- (* (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0)))))) (* b b)))
  (/ z (exp t))
  (log (- (log z) t))
  (exp (- (log z) t))
  (* (cbrt (- (log z) t)) (cbrt (- (log z) t)))
  (cbrt (- (log z) t))
  (* (* (- (log z) t) (- (log z) t)) (- (log z) t))
  (sqrt (- (log z) t))
  (sqrt (- (log z) t))
  (- (pow (log z) 3) (pow t 3))
  (+ (* (log z) (log z)) (+ (* t t) (* (log z) t)))
  (neg t)
  (- (* (log z) (log z)) (* t t))
  (+ (log z) t)
  (+ (sqrt (log z)) (sqrt t))
  (- (sqrt (log z)) (sqrt t))
  (- (log z) t)
  (- (log z) t)
  (- (log (cbrt z)) t)
  (- (log (sqrt z)) t)
  (- (log z) t)
  (- (+ (* (log 1) y) (* (log z) y)) (* t y))
  (- (* (log 1) y) (+ (* t y) (* (log (/ 1 z)) y)))
  (- (* (log -1) y) (+ (* t y) (* (log (/ -1 z)) y)))
  (+ (* 1.0 z) (* 0.5 (pow z 2)))
  (+ (* 1.0 z) (* 0.5 (pow z 2)))
  (+ (* 1.0 z) (* 0.5 (pow z 2)))
  (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))
  (neg (+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))))
  (neg (+ (* a b) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))))
  (- (+ (log z) (log 1)) t)
  (- (log 1) (+ t (log (/ 1 z))))
  (- (log -1) (+ (log (/ -1 z)) t))
1.773 * * [simplify]: iteration  0 :  5690  enodes  (cost  1405 )
1.778 * [simplify]: Simplified to:
   (* y (- (log z) t))
  (log (* y (- (log z) t)))
  (log (* y (- (log z) t)))
  (pow (/ z (exp t)) y)
  (pow (* y (- (log z) t)) 3)
  (* (cbrt (* y (- (log z) t))) (cbrt (* y (- (log z) t))))
  (cbrt (* y (- (log z) t)))
  (pow (* y (- (log z) t)) 3)
  (sqrt (* y (- (log z) t)))
  (sqrt (* y (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* (sqrt y) (sqrt (- (log z) t)))
  (* y (log z))
  (* y (neg t))
  (* y (* (log (cbrt z)) 2))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  (* y (log 1))
  (* y (- (log z) t))
  (* y (log z))
  (* y (neg t))
  (* y (* (log (cbrt z)) 2))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  (* y (log 1))
  (* y (- (log z) t))
  (* y (* (cbrt (- (log z) t)) (cbrt (- (log z) t))))
  (* y (sqrt (- (log z) t)))
  y
  (* y (+ (sqrt (log z)) (sqrt t)))
  y
  y
  (* (- (log z) t) (cbrt y))
  (* (- (log z) t) (sqrt y))
  (* y (- (log z) t))
  (* y (- (pow (log z) 3) (pow t 3)))
  (* y (- (* (log z) (log z)) (* t t)))
  (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))
  (log (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  (log (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  (pow (exp z) (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))
  (pow (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) 3)
  (* (cbrt (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))) (cbrt (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))))
  (cbrt (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  (pow (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) 3)
  (sqrt (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  (sqrt (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  (* (sqrt z) (sqrt (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  (* (sqrt z) (sqrt (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  (* z 1.0)
  (* z (* 1/2 (/ z (* 1.0 1.0))))
  (* z 1.0)
  (* z (* 1/2 (/ z (* 1.0 1.0))))
  (* z (* (cbrt (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) (cbrt (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))))
  (* z (sqrt (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))
  z
  z
  (* (cbrt z) (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))
  (* (sqrt z) (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))
  (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))
  (+ (* z (pow 1.0 3)) (/ (pow z 4) (/ (pow 1.0 6) 1/8)))
  (* z (- (* 1.0 1.0) (/ (/ (* (* z z) 1/4) (pow 1.0 3)) 1.0)))
  (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (log (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  (log (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  (pow (/ 1.0 (exp (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))) a)
  (pow (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))) 3)
  (* (cbrt (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))) (cbrt (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))))
  (cbrt (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  (pow (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))) 3)
  (sqrt (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  (sqrt (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  (* (sqrt a) (sqrt (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  (* (sqrt a) (sqrt (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  (* a (- (log 1.0) (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))))
  (* a (neg b))
  (* a (log 1.0))
  (* a (- (* z (+ (neg 1.0) (* (/ z 1.0) (/ -1/2 1.0)))) b))
  (* a (* (log (cbrt 1.0)) 2))
  (* a (- (log (cbrt 1.0)) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (* a (log (sqrt 1.0)))
  (* a (- (log (sqrt 1.0)) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (* (log 1) a)
  (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (* a (- (log 1.0) (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))))
  (* a (neg b))
  (* a (log 1.0))
  (* a (- (* z (+ (neg 1.0) (* (/ z 1.0) (/ -1/2 1.0)))) b))
  (* a (* (log (cbrt 1.0)) 2))
  (* a (- (log (cbrt 1.0)) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (* a (log (sqrt 1.0)))
  (* a (- (log (sqrt 1.0)) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (* (log 1) a)
  (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (* a (* (cbrt (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))) (cbrt (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))))
  (* a (sqrt (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b))))
  a
  (* a (+ (sqrt (- (log 1.0) (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))) (sqrt b)))
  a
  (* (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)) (cbrt a))
  (* (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)) (sqrt a))
  (* a (- (log 1.0) (+ (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))) b)))
  (* a (- (pow (- (log 1.0) (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))) 3) (pow b 3)))
  (* a (- (* (- (log 1.0) (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0)))))) (- (log 1.0) (* z (+ 1.0 (* 1/2 (/ z (* 1.0 1.0))))))) (* b b)))
  (/ z (exp t))
  (log (- (log z) t))
  (/ z (exp t))
  (* (cbrt (- (log z) t)) (cbrt (- (log z) t)))
  (cbrt (- (log z) t))
  (pow (- (log z) t) 3)
  (sqrt (- (log z) t))
  (sqrt (- (log z) t))
  (- (pow (log z) 3) (pow t 3))
  (+ (* t t) (* (log z) (+ (log z) t)))
  (neg t)
  (- (* (log z) (log z)) (* t t))
  (+ (log z) t)
  (+ (sqrt (log z)) (sqrt t))
  (- (sqrt (log z)) (sqrt t))
  (- (log z) t)
  (- (log z) t)
  (- (log (cbrt z)) t)
  (- (log (sqrt z)) t)
  (- (log z) t)
  (* y (- (log z) t))
  (* y (- (log z) t))
  (* y (- (log z) t))
  (* z (+ 1.0 (* z 0.5)))
  (* z (+ 1.0 (* z 0.5)))
  (* z (+ 1.0 (* z 0.5)))
  (* a (- (- (log 1.0) b) (* z 1.0)))
  (neg (* a (+ b (* z (+ 1.0 (* z 0.5))))))
  (neg (* a (+ b (* z (+ 1.0 (* z 0.5))))))
  (- (log z) t)
  (- (log z) t)
  (- (log z) t)
1.779 * * * [progress]: adding candidates to table
1.967 * [progress]: [Phase 3 of 3] Extracting.
1.973 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))))
1.973 * * [simplify]: iteration  0 :  30  enodes  (cost  28 )
1.973 * * [simplify]: iteration  1 :  30  enodes  (cost  28 )
1.974 * [simplify]: Simplified to:
   (* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ 1.0 (/ (* z 1/2) (* 1.0 1.0))))) b)))))
6.439 * [regime-testing]: End program error score: 0.44747116048558094