8.295 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.185 * * * [progress]: [2/2] Setting up program.
0.188 * [progress]: [Phase 2 of 3] Improving.
0.188 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.191 * * [simplify]: iteration  0 :  30  enodes  (cost  10 )
0.192 * * [simplify]: iteration  1 :  58  enodes  (cost  10 )
0.193 * * [simplify]: iteration  2 :  129  enodes  (cost  10 )
0.196 * * [simplify]: iteration  3 :  318  enodes  (cost  10 )
0.201 * * [simplify]: iteration  4 :  1073  enodes  (cost  10 )
0.224 * * [simplify]: iteration  5 :  5001  enodes  (cost  10 )
0.225 * [simplify]: Simplified to:
   (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.225 * * [progress]: iteration 1 / 4
0.225 * * * [progress]: picking best candidate
0.228 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))))>
0.228 * * * [progress]: localizing error
0.243 * * * [progress]: generating rewritten candidates
0.243 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
0.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.274 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.282 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.295 * * * [progress]: generating series expansions
0.295 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1)
0.295 * [approximate]: Taking taylor expansion of (log (- 1.0 z)) in (z) around 0
0.295 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
0.295 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.295 * [taylor]: Taking taylor expansion of 1.0 in z
0.295 * [taylor]: Taking taylor expansion of z in z
0.297 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
0.297 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.297 * [taylor]: Taking taylor expansion of 1.0 in z
0.297 * [taylor]: Taking taylor expansion of z in z
0.310 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in (z) around 0
0.310 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
0.310 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.310 * [taylor]: Taking taylor expansion of 1.0 in z
0.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.310 * [taylor]: Taking taylor expansion of z in z
0.311 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
0.311 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.311 * [taylor]: Taking taylor expansion of 1.0 in z
0.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.311 * [taylor]: Taking taylor expansion of z in z
0.326 * [approximate]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in (z) around 0
0.326 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.326 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.326 * [taylor]: Taking taylor expansion of z in z
0.327 * [taylor]: Taking taylor expansion of 1.0 in z
0.327 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.327 * [taylor]: Taking taylor expansion of z in z
0.328 * [taylor]: Taking taylor expansion of 1.0 in z
0.346 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.346 * [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
0.346 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in b
0.346 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in b
0.346 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in b
0.346 * [taylor]: Taking taylor expansion of a in b
0.346 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in b
0.346 * [taylor]: Taking taylor expansion of (- 1.0 z) in b
0.346 * [taylor]: Taking taylor expansion of 1.0 in b
0.347 * [taylor]: Taking taylor expansion of z in b
0.347 * [taylor]: Taking taylor expansion of (* (log z) y) in b
0.347 * [taylor]: Taking taylor expansion of (log z) in b
0.347 * [taylor]: Taking taylor expansion of z in b
0.347 * [taylor]: Taking taylor expansion of y in b
0.347 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in b
0.347 * [taylor]: Taking taylor expansion of (* t y) in b
0.347 * [taylor]: Taking taylor expansion of t in b
0.347 * [taylor]: Taking taylor expansion of y in b
0.347 * [taylor]: Taking taylor expansion of (* a b) in b
0.347 * [taylor]: Taking taylor expansion of a in b
0.347 * [taylor]: Taking taylor expansion of b in b
0.347 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in a
0.347 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in a
0.347 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in a
0.347 * [taylor]: Taking taylor expansion of a in a
0.347 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in a
0.347 * [taylor]: Taking taylor expansion of (- 1.0 z) in a
0.347 * [taylor]: Taking taylor expansion of 1.0 in a
0.347 * [taylor]: Taking taylor expansion of z in a
0.347 * [taylor]: Taking taylor expansion of (* (log z) y) in a
0.347 * [taylor]: Taking taylor expansion of (log z) in a
0.347 * [taylor]: Taking taylor expansion of z in a
0.347 * [taylor]: Taking taylor expansion of y in a
0.347 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in a
0.347 * [taylor]: Taking taylor expansion of (* t y) in a
0.347 * [taylor]: Taking taylor expansion of t in a
0.347 * [taylor]: Taking taylor expansion of y in a
0.347 * [taylor]: Taking taylor expansion of (* a b) in a
0.347 * [taylor]: Taking taylor expansion of a in a
0.347 * [taylor]: Taking taylor expansion of b in a
0.347 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in t
0.347 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in t
0.347 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in t
0.347 * [taylor]: Taking taylor expansion of a in t
0.347 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in t
0.347 * [taylor]: Taking taylor expansion of (- 1.0 z) in t
0.347 * [taylor]: Taking taylor expansion of 1.0 in t
0.347 * [taylor]: Taking taylor expansion of z in t
0.347 * [taylor]: Taking taylor expansion of (* (log z) y) in t
0.347 * [taylor]: Taking taylor expansion of (log z) in t
0.347 * [taylor]: Taking taylor expansion of z in t
0.347 * [taylor]: Taking taylor expansion of y in t
0.347 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in t
0.347 * [taylor]: Taking taylor expansion of (* t y) in t
0.348 * [taylor]: Taking taylor expansion of t in t
0.348 * [taylor]: Taking taylor expansion of y in t
0.348 * [taylor]: Taking taylor expansion of (* a b) in t
0.348 * [taylor]: Taking taylor expansion of a in t
0.348 * [taylor]: Taking taylor expansion of b in t
0.348 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in z
0.348 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in z
0.348 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in z
0.348 * [taylor]: Taking taylor expansion of a in z
0.348 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
0.348 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.348 * [taylor]: Taking taylor expansion of 1.0 in z
0.348 * [taylor]: Taking taylor expansion of z in z
0.349 * [taylor]: Taking taylor expansion of (* (log z) y) in z
0.349 * [taylor]: Taking taylor expansion of (log z) in z
0.349 * [taylor]: Taking taylor expansion of z in z
0.349 * [taylor]: Taking taylor expansion of y in z
0.349 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in z
0.349 * [taylor]: Taking taylor expansion of (* t y) in z
0.349 * [taylor]: Taking taylor expansion of t in z
0.349 * [taylor]: Taking taylor expansion of y in z
0.349 * [taylor]: Taking taylor expansion of (* a b) in z
0.349 * [taylor]: Taking taylor expansion of a in z
0.349 * [taylor]: Taking taylor expansion of b in z
0.349 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in y
0.349 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in y
0.349 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in y
0.349 * [taylor]: Taking taylor expansion of a in y
0.349 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in y
0.349 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
0.349 * [taylor]: Taking taylor expansion of 1.0 in y
0.349 * [taylor]: Taking taylor expansion of z in y
0.349 * [taylor]: Taking taylor expansion of (* (log z) y) in y
0.349 * [taylor]: Taking taylor expansion of (log z) in y
0.349 * [taylor]: Taking taylor expansion of z in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in y
0.349 * [taylor]: Taking taylor expansion of (* t y) in y
0.349 * [taylor]: Taking taylor expansion of t in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (* a b) in y
0.349 * [taylor]: Taking taylor expansion of a in y
0.350 * [taylor]: Taking taylor expansion of b in y
0.350 * [taylor]: Taking taylor expansion of (- (+ (* a (log (- 1.0 z))) (* (log z) y)) (+ (* t y) (* a b))) in y
0.350 * [taylor]: Taking taylor expansion of (+ (* a (log (- 1.0 z))) (* (log z) y)) in y
0.350 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in y
0.350 * [taylor]: Taking taylor expansion of a in y
0.350 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in y
0.350 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
0.350 * [taylor]: Taking taylor expansion of 1.0 in y
0.350 * [taylor]: Taking taylor expansion of z in y
0.350 * [taylor]: Taking taylor expansion of (* (log z) y) in y
0.350 * [taylor]: Taking taylor expansion of (log z) in y
0.350 * [taylor]: Taking taylor expansion of z in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in y
0.350 * [taylor]: Taking taylor expansion of (* t y) in y
0.350 * [taylor]: Taking taylor expansion of t in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of (* a b) in y
0.350 * [taylor]: Taking taylor expansion of a in y
0.350 * [taylor]: Taking taylor expansion of b in y
0.350 * [taylor]: Taking taylor expansion of (- (* a (log (- 1.0 z))) (* a b)) in z
0.350 * [taylor]: Taking taylor expansion of (* a (log (- 1.0 z))) in z
0.350 * [taylor]: Taking taylor expansion of a in z
0.350 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
0.350 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.350 * [taylor]: Taking taylor expansion of 1.0 in z
0.350 * [taylor]: Taking taylor expansion of z in z
0.351 * [taylor]: Taking taylor expansion of (* a b) in z
0.351 * [taylor]: Taking taylor expansion of a in z
0.351 * [taylor]: Taking taylor expansion of b in z
0.352 * [taylor]: Taking taylor expansion of (- (* a (log 1.0)) (* a b)) in t
0.352 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in t
0.352 * [taylor]: Taking taylor expansion of a in t
0.352 * [taylor]: Taking taylor expansion of (log 1.0) in t
0.352 * [taylor]: Taking taylor expansion of 1.0 in t
0.353 * [taylor]: Taking taylor expansion of (* a b) in t
0.353 * [taylor]: Taking taylor expansion of a in t
0.353 * [taylor]: Taking taylor expansion of b in t
0.353 * [taylor]: Taking taylor expansion of (- (* a (log 1.0)) (* a b)) in a
0.353 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in a
0.353 * [taylor]: Taking taylor expansion of a in a
0.353 * [taylor]: Taking taylor expansion of (log 1.0) in a
0.353 * [taylor]: Taking taylor expansion of 1.0 in a
0.354 * [taylor]: Taking taylor expansion of (* a b) in a
0.354 * [taylor]: Taking taylor expansion of a in a
0.354 * [taylor]: Taking taylor expansion of b in a
0.355 * [taylor]: Taking taylor expansion of 0 in b
0.357 * [taylor]: Taking taylor expansion of (- (log z) t) in z
0.357 * [taylor]: Taking taylor expansion of (log z) in z
0.357 * [taylor]: Taking taylor expansion of z in z
0.357 * [taylor]: Taking taylor expansion of t in z
0.358 * [taylor]: Taking taylor expansion of (- (log z) t) in t
0.358 * [taylor]: Taking taylor expansion of (log z) in t
0.358 * [taylor]: Taking taylor expansion of z in t
0.358 * [taylor]: Taking taylor expansion of t in t
0.358 * [taylor]: Taking taylor expansion of (log z) in a
0.358 * [taylor]: Taking taylor expansion of z in a
0.358 * [taylor]: Taking taylor expansion of (log z) in b
0.358 * [taylor]: Taking taylor expansion of z in b
0.363 * [taylor]: Taking taylor expansion of (- (* 1.0 a)) in t
0.363 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
0.363 * [taylor]: Taking taylor expansion of 1.0 in t
0.363 * [taylor]: Taking taylor expansion of a in t
0.363 * [taylor]: Taking taylor expansion of (- (* 1.0 a)) in a
0.363 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
0.363 * [taylor]: Taking taylor expansion of 1.0 in a
0.363 * [taylor]: Taking taylor expansion of a in a
0.364 * [taylor]: Taking taylor expansion of 0 in b
0.366 * [taylor]: Taking taylor expansion of 0 in a
0.366 * [taylor]: Taking taylor expansion of 0 in b
0.368 * [taylor]: Taking taylor expansion of (- (log 1.0) b) in b
0.368 * [taylor]: Taking taylor expansion of (log 1.0) in b
0.368 * [taylor]: Taking taylor expansion of 1.0 in b
0.369 * [taylor]: Taking taylor expansion of b in b
0.375 * [taylor]: Taking taylor expansion of 0 in z
0.375 * [taylor]: Taking taylor expansion of 0 in t
0.375 * [taylor]: Taking taylor expansion of 0 in a
0.375 * [taylor]: Taking taylor expansion of 0 in b
0.377 * [taylor]: Taking taylor expansion of 0 in t
0.377 * [taylor]: Taking taylor expansion of 0 in a
0.377 * [taylor]: Taking taylor expansion of 0 in b
0.385 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ a (pow 1.0 2)))) in t
0.385 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (pow 1.0 2))) in t
0.385 * [taylor]: Taking taylor expansion of 1/2 in t
0.385 * [taylor]: Taking taylor expansion of (/ a (pow 1.0 2)) in t
0.385 * [taylor]: Taking taylor expansion of a in t
0.385 * [taylor]: Taking taylor expansion of (pow 1.0 2) in t
0.385 * [taylor]: Taking taylor expansion of 1.0 in t
0.386 * [taylor]: Taking taylor expansion of (- (* 0.5 a)) in a
0.386 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.386 * [taylor]: Taking taylor expansion of 0.5 in a
0.386 * [taylor]: Taking taylor expansion of a in a
0.386 * [taylor]: Taking taylor expansion of 0 in b
0.387 * [taylor]: Taking taylor expansion of -1 in a
0.387 * [taylor]: Taking taylor expansion of -1 in b
0.389 * [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
0.389 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in b
0.389 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in b
0.389 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in b
0.389 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in b
0.389 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in b
0.389 * [taylor]: Taking taylor expansion of 1.0 in b
0.389 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.389 * [taylor]: Taking taylor expansion of z in b
0.389 * [taylor]: Taking taylor expansion of a in b
0.389 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in b
0.389 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in b
0.389 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.389 * [taylor]: Taking taylor expansion of z in b
0.389 * [taylor]: Taking taylor expansion of y in b
0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in b
0.389 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.389 * [taylor]: Taking taylor expansion of (* a b) in b
0.389 * [taylor]: Taking taylor expansion of a in b
0.389 * [taylor]: Taking taylor expansion of b in b
0.390 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
0.390 * [taylor]: Taking taylor expansion of (* t y) in b
0.390 * [taylor]: Taking taylor expansion of t in b
0.390 * [taylor]: Taking taylor expansion of y in b
0.390 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in a
0.390 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in a
0.390 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in a
0.390 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in a
0.390 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in a
0.390 * [taylor]: Taking taylor expansion of 1.0 in a
0.390 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.390 * [taylor]: Taking taylor expansion of z in a
0.390 * [taylor]: Taking taylor expansion of a in a
0.390 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in a
0.390 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in a
0.390 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.390 * [taylor]: Taking taylor expansion of z in a
0.390 * [taylor]: Taking taylor expansion of y in a
0.390 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in a
0.390 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.390 * [taylor]: Taking taylor expansion of (* a b) in a
0.390 * [taylor]: Taking taylor expansion of a in a
0.390 * [taylor]: Taking taylor expansion of b in a
0.391 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
0.391 * [taylor]: Taking taylor expansion of (* t y) in a
0.391 * [taylor]: Taking taylor expansion of t in a
0.391 * [taylor]: Taking taylor expansion of y in a
0.391 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in t
0.391 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in t
0.391 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in t
0.391 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in t
0.391 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in t
0.391 * [taylor]: Taking taylor expansion of 1.0 in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.391 * [taylor]: Taking taylor expansion of z in t
0.391 * [taylor]: Taking taylor expansion of a in t
0.391 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in t
0.391 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.391 * [taylor]: Taking taylor expansion of z in t
0.391 * [taylor]: Taking taylor expansion of y in t
0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.391 * [taylor]: Taking taylor expansion of (* a b) in t
0.391 * [taylor]: Taking taylor expansion of a in t
0.391 * [taylor]: Taking taylor expansion of b in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.391 * [taylor]: Taking taylor expansion of (* t y) in t
0.391 * [taylor]: Taking taylor expansion of t in t
0.392 * [taylor]: Taking taylor expansion of y in t
0.392 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in z
0.392 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in z
0.392 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in z
0.392 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
0.392 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.392 * [taylor]: Taking taylor expansion of 1.0 in z
0.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.392 * [taylor]: Taking taylor expansion of z in z
0.393 * [taylor]: Taking taylor expansion of a in z
0.394 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
0.395 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.395 * [taylor]: Taking taylor expansion of z in z
0.395 * [taylor]: Taking taylor expansion of y in z
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in z
0.396 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
0.396 * [taylor]: Taking taylor expansion of (* a b) in z
0.396 * [taylor]: Taking taylor expansion of a in z
0.396 * [taylor]: Taking taylor expansion of b in z
0.396 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.396 * [taylor]: Taking taylor expansion of (* t y) in z
0.396 * [taylor]: Taking taylor expansion of t in z
0.396 * [taylor]: Taking taylor expansion of y in z
0.396 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in y
0.396 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in y
0.396 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in y
0.396 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in y
0.396 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
0.396 * [taylor]: Taking taylor expansion of 1.0 in y
0.396 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.396 * [taylor]: Taking taylor expansion of z in y
0.396 * [taylor]: Taking taylor expansion of a in y
0.396 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
0.396 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.396 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.396 * [taylor]: Taking taylor expansion of z in y
0.396 * [taylor]: Taking taylor expansion of y in y
0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.397 * [taylor]: Taking taylor expansion of (* a b) in y
0.397 * [taylor]: Taking taylor expansion of a in y
0.397 * [taylor]: Taking taylor expansion of b in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.397 * [taylor]: Taking taylor expansion of (* t y) in y
0.397 * [taylor]: Taking taylor expansion of t in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in y
0.397 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1.0 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in y
0.397 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in y
0.397 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in y
0.397 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
0.397 * [taylor]: Taking taylor expansion of 1.0 in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.397 * [taylor]: Taking taylor expansion of z in y
0.397 * [taylor]: Taking taylor expansion of a in y
0.397 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
0.397 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.397 * [taylor]: Taking taylor expansion of z in y
0.398 * [taylor]: Taking taylor expansion of y in y
0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in y
0.398 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.398 * [taylor]: Taking taylor expansion of (* a b) in y
0.398 * [taylor]: Taking taylor expansion of a in y
0.398 * [taylor]: Taking taylor expansion of b in y
0.398 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.398 * [taylor]: Taking taylor expansion of (* t y) in y
0.398 * [taylor]: Taking taylor expansion of t in y
0.398 * [taylor]: Taking taylor expansion of y in y
0.398 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
0.398 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.398 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.398 * [taylor]: Taking taylor expansion of z in z
0.399 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.399 * [taylor]: Taking taylor expansion of t in z
0.399 * [taylor]: Taking taylor expansion of (- (+ (log z) (/ 1 t))) in t
0.399 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
0.399 * [taylor]: Taking taylor expansion of (log z) in t
0.399 * [taylor]: Taking taylor expansion of z in t
0.400 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.400 * [taylor]: Taking taylor expansion of t in t
0.400 * [taylor]: Taking taylor expansion of -1 in a
0.402 * [taylor]: Taking taylor expansion of (- (/ (log (- 1.0 (/ 1 z))) a) (/ 1 (* a b))) in z
0.402 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 z))) a) in z
0.402 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
0.402 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.402 * [taylor]: Taking taylor expansion of 1.0 in z
0.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.402 * [taylor]: Taking taylor expansion of z in z
0.404 * [taylor]: Taking taylor expansion of a in z
0.405 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
0.405 * [taylor]: Taking taylor expansion of (* a b) in z
0.405 * [taylor]: Taking taylor expansion of a in z
0.405 * [taylor]: Taking taylor expansion of b in z
0.406 * [taylor]: Taking taylor expansion of (- (/ (log -1) a) (+ (/ (log z) a) (/ 1 (* a b)))) in t
0.406 * [taylor]: Taking taylor expansion of (/ (log -1) a) in t
0.406 * [taylor]: Taking taylor expansion of (log -1) in t
0.406 * [taylor]: Taking taylor expansion of -1 in t
0.406 * [taylor]: Taking taylor expansion of a in t
0.406 * [taylor]: Taking taylor expansion of (+ (/ (log z) a) (/ 1 (* a b))) in t
0.406 * [taylor]: Taking taylor expansion of (/ (log z) a) in t
0.406 * [taylor]: Taking taylor expansion of (log z) in t
0.406 * [taylor]: Taking taylor expansion of z in t
0.406 * [taylor]: Taking taylor expansion of a in t
0.406 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.406 * [taylor]: Taking taylor expansion of (* a b) in t
0.406 * [taylor]: Taking taylor expansion of a in t
0.406 * [taylor]: Taking taylor expansion of b in t
0.408 * [taylor]: Taking taylor expansion of 0 in t
0.409 * [taylor]: Taking taylor expansion of (- (log z)) in a
0.409 * [taylor]: Taking taylor expansion of (log z) in a
0.409 * [taylor]: Taking taylor expansion of z in a
0.409 * [taylor]: Taking taylor expansion of -1 in b
0.414 * [taylor]: Taking taylor expansion of 0 in z
0.414 * [taylor]: Taking taylor expansion of 0 in t
0.425 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in t
0.425 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.425 * [taylor]: Taking taylor expansion of 1.0 in t
0.425 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.425 * [taylor]: Taking taylor expansion of a in t
0.428 * [taylor]: Taking taylor expansion of 0 in t
0.429 * [taylor]: Taking taylor expansion of (- (/ (log -1) a) (+ (/ (log z) a) (/ 1 (* a b)))) in a
0.429 * [taylor]: Taking taylor expansion of (/ (log -1) a) in a
0.429 * [taylor]: Taking taylor expansion of (log -1) in a
0.429 * [taylor]: Taking taylor expansion of -1 in a
0.429 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of (+ (/ (log z) a) (/ 1 (* a b))) in a
0.430 * [taylor]: Taking taylor expansion of (/ (log z) a) in a
0.430 * [taylor]: Taking taylor expansion of (log z) in a
0.430 * [taylor]: Taking taylor expansion of z in a
0.430 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.430 * [taylor]: Taking taylor expansion of (* a b) in a
0.430 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of b in a
0.431 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log z) (/ 1 b))) in b
0.431 * [taylor]: Taking taylor expansion of (log -1) in b
0.431 * [taylor]: Taking taylor expansion of -1 in b
0.431 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 b)) in b
0.431 * [taylor]: Taking taylor expansion of (log z) in b
0.431 * [taylor]: Taking taylor expansion of z in b
0.431 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.431 * [taylor]: Taking taylor expansion of b in b
0.432 * [taylor]: Taking taylor expansion of 0 in a
0.434 * [taylor]: Taking taylor expansion of 0 in a
0.434 * [taylor]: Taking taylor expansion of (- (log z)) in b
0.434 * [taylor]: Taking taylor expansion of (log z) in b
0.434 * [taylor]: Taking taylor expansion of z in b
0.434 * [taylor]: Taking taylor expansion of 0 in b
0.441 * [taylor]: Taking taylor expansion of 0 in z
0.441 * [taylor]: Taking taylor expansion of 0 in t
0.441 * [taylor]: Taking taylor expansion of 0 in t
0.450 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 a))) in t
0.450 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 a)) in t
0.450 * [taylor]: Taking taylor expansion of 0.5 in t
0.450 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.450 * [taylor]: Taking taylor expansion of a in t
0.454 * [taylor]: Taking taylor expansion of 0 in t
0.454 * [taylor]: Taking taylor expansion of 0 in a
0.454 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a
0.454 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.454 * [taylor]: Taking taylor expansion of 1.0 in a
0.454 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.454 * [taylor]: Taking taylor expansion of a in a
0.455 * [taylor]: Taking taylor expansion of (- 1.0) in b
0.455 * [taylor]: Taking taylor expansion of 1.0 in b
0.455 * [taylor]: Taking taylor expansion of 0 in a
0.458 * [taylor]: Taking taylor expansion of 0 in a
0.458 * [taylor]: Taking taylor expansion of 0 in a
0.460 * [taylor]: Taking taylor expansion of 0 in a
0.464 * [taylor]: Taking taylor expansion of 0 in b
0.464 * [taylor]: Taking taylor expansion of 0 in b
0.464 * [taylor]: Taking taylor expansion of 0 in b
0.465 * [taylor]: Taking taylor expansion of 0 in b
0.465 * [taylor]: Taking taylor expansion of 0 in b
0.468 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in (y z t a b) around 0
0.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in b
0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in b
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
0.468 * [taylor]: Taking taylor expansion of (* a b) in b
0.468 * [taylor]: Taking taylor expansion of a in b
0.468 * [taylor]: Taking taylor expansion of b in b
0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in b
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
0.468 * [taylor]: Taking taylor expansion of (* t y) in b
0.468 * [taylor]: Taking taylor expansion of t in b
0.468 * [taylor]: Taking taylor expansion of y in b
0.468 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in b
0.468 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in b
0.468 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in b
0.468 * [taylor]: Taking taylor expansion of (/ -1 z) in b
0.469 * [taylor]: Taking taylor expansion of -1 in b
0.469 * [taylor]: Taking taylor expansion of z in b
0.469 * [taylor]: Taking taylor expansion of y in b
0.469 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in b
0.469 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in b
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in b
0.469 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.469 * [taylor]: Taking taylor expansion of z in b
0.469 * [taylor]: Taking taylor expansion of 1.0 in b
0.469 * [taylor]: Taking taylor expansion of a in b
0.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in a
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in a
0.469 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.469 * [taylor]: Taking taylor expansion of (* a b) in a
0.469 * [taylor]: Taking taylor expansion of a in a
0.469 * [taylor]: Taking taylor expansion of b in a
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in a
0.469 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
0.469 * [taylor]: Taking taylor expansion of (* t y) in a
0.469 * [taylor]: Taking taylor expansion of t in a
0.469 * [taylor]: Taking taylor expansion of y in a
0.470 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in a
0.470 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in a
0.470 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in a
0.470 * [taylor]: Taking taylor expansion of (/ -1 z) in a
0.470 * [taylor]: Taking taylor expansion of -1 in a
0.470 * [taylor]: Taking taylor expansion of z in a
0.470 * [taylor]: Taking taylor expansion of y in a
0.470 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in a
0.470 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in a
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in a
0.470 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.470 * [taylor]: Taking taylor expansion of z in a
0.470 * [taylor]: Taking taylor expansion of 1.0 in a
0.470 * [taylor]: Taking taylor expansion of a in a
0.470 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in t
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in t
0.470 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.470 * [taylor]: Taking taylor expansion of (* a b) in t
0.470 * [taylor]: Taking taylor expansion of a in t
0.470 * [taylor]: Taking taylor expansion of b in t
0.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in t
0.470 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.470 * [taylor]: Taking taylor expansion of (* t y) in t
0.470 * [taylor]: Taking taylor expansion of t in t
0.470 * [taylor]: Taking taylor expansion of y in t
0.471 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in t
0.471 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in t
0.471 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
0.471 * [taylor]: Taking taylor expansion of (/ -1 z) in t
0.471 * [taylor]: Taking taylor expansion of -1 in t
0.471 * [taylor]: Taking taylor expansion of z in t
0.471 * [taylor]: Taking taylor expansion of y in t
0.471 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in t
0.471 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in t
0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t
0.471 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.471 * [taylor]: Taking taylor expansion of z in t
0.471 * [taylor]: Taking taylor expansion of 1.0 in t
0.471 * [taylor]: Taking taylor expansion of a in t
0.471 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in z
0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in z
0.471 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
0.471 * [taylor]: Taking taylor expansion of (* a b) in z
0.471 * [taylor]: Taking taylor expansion of a in z
0.471 * [taylor]: Taking taylor expansion of b in z
0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in z
0.471 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.471 * [taylor]: Taking taylor expansion of (* t y) in z
0.471 * [taylor]: Taking taylor expansion of t in z
0.471 * [taylor]: Taking taylor expansion of y in z
0.471 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in z
0.471 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
0.471 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.471 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.471 * [taylor]: Taking taylor expansion of -1 in z
0.472 * [taylor]: Taking taylor expansion of z in z
0.472 * [taylor]: Taking taylor expansion of y in z
0.474 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in z
0.474 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.474 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.474 * [taylor]: Taking taylor expansion of z in z
0.474 * [taylor]: Taking taylor expansion of 1.0 in z
0.474 * [taylor]: Taking taylor expansion of a in z
0.475 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in y
0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.475 * [taylor]: Taking taylor expansion of (* a b) in y
0.475 * [taylor]: Taking taylor expansion of a in y
0.475 * [taylor]: Taking taylor expansion of b in y
0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.475 * [taylor]: Taking taylor expansion of (* t y) in y
0.475 * [taylor]: Taking taylor expansion of t in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.476 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in y
0.476 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
0.476 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.476 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.476 * [taylor]: Taking taylor expansion of -1 in y
0.476 * [taylor]: Taking taylor expansion of z in y
0.476 * [taylor]: Taking taylor expansion of y in y
0.476 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in y
0.476 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in y
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.476 * [taylor]: Taking taylor expansion of z in y
0.476 * [taylor]: Taking taylor expansion of 1.0 in y
0.476 * [taylor]: Taking taylor expansion of a in y
0.476 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))))) in y
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)))) in y
0.476 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
0.476 * [taylor]: Taking taylor expansion of (* a b) in y
0.476 * [taylor]: Taking taylor expansion of a in y
0.476 * [taylor]: Taking taylor expansion of b in y
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a))) in y
0.477 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.477 * [taylor]: Taking taylor expansion of (* t y) in y
0.477 * [taylor]: Taking taylor expansion of t in y
0.477 * [taylor]: Taking taylor expansion of y in y
0.477 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ (log (+ (/ 1 z) 1.0)) a)) in y
0.477 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
0.477 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.477 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.477 * [taylor]: Taking taylor expansion of -1 in y
0.477 * [taylor]: Taking taylor expansion of z in y
0.477 * [taylor]: Taking taylor expansion of y in y
0.477 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in y
0.477 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in y
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.477 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.477 * [taylor]: Taking taylor expansion of z in y
0.477 * [taylor]: Taking taylor expansion of 1.0 in y
0.477 * [taylor]: Taking taylor expansion of a in y
0.478 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 z)) (/ 1 t))) in z
0.478 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
0.478 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.478 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.478 * [taylor]: Taking taylor expansion of -1 in z
0.478 * [taylor]: Taking taylor expansion of z in z
0.478 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.478 * [taylor]: Taking taylor expansion of t in z
0.480 * [taylor]: Taking taylor expansion of (- (log z) (+ (log -1) (/ 1 t))) in t
0.480 * [taylor]: Taking taylor expansion of (log z) in t
0.480 * [taylor]: Taking taylor expansion of z in t
0.480 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
0.480 * [taylor]: Taking taylor expansion of (log -1) in t
0.480 * [taylor]: Taking taylor expansion of -1 in t
0.480 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.480 * [taylor]: Taking taylor expansion of t in t
0.481 * [taylor]: Taking taylor expansion of -1 in a
0.483 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (/ (log (+ (/ 1 z) 1.0)) a))) in z
0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ (log (+ (/ 1 z) 1.0)) a)) in z
0.483 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
0.483 * [taylor]: Taking taylor expansion of (* a b) in z
0.483 * [taylor]: Taking taylor expansion of a in z
0.483 * [taylor]: Taking taylor expansion of b in z
0.484 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1.0)) a) in z
0.484 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.484 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.484 * [taylor]: Taking taylor expansion of z in z
0.484 * [taylor]: Taking taylor expansion of 1.0 in z
0.484 * [taylor]: Taking taylor expansion of a in z
0.485 * [taylor]: Taking taylor expansion of (- (/ (log z) a) (/ 1 (* a b))) in t
0.485 * [taylor]: Taking taylor expansion of (/ (log z) a) in t
0.485 * [taylor]: Taking taylor expansion of (log z) in t
0.485 * [taylor]: Taking taylor expansion of z in t
0.485 * [taylor]: Taking taylor expansion of a in t
0.485 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.485 * [taylor]: Taking taylor expansion of (* a b) in t
0.486 * [taylor]: Taking taylor expansion of a in t
0.486 * [taylor]: Taking taylor expansion of b in t
0.487 * [taylor]: Taking taylor expansion of 0 in t
0.490 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in a
0.490 * [taylor]: Taking taylor expansion of (log z) in a
0.490 * [taylor]: Taking taylor expansion of z in a
0.490 * [taylor]: Taking taylor expansion of (log -1) in a
0.490 * [taylor]: Taking taylor expansion of -1 in a
0.490 * [taylor]: Taking taylor expansion of -1 in b
0.495 * [taylor]: Taking taylor expansion of 0 in z
0.495 * [taylor]: Taking taylor expansion of 0 in t
0.500 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in t
0.500 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.500 * [taylor]: Taking taylor expansion of 1.0 in t
0.500 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.500 * [taylor]: Taking taylor expansion of a in t
0.503 * [taylor]: Taking taylor expansion of 0 in t
0.503 * [taylor]: Taking taylor expansion of (- (/ (log z) a) (/ 1 (* a b))) in a
0.503 * [taylor]: Taking taylor expansion of (/ (log z) a) in a
0.503 * [taylor]: Taking taylor expansion of (log z) in a
0.503 * [taylor]: Taking taylor expansion of z in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.503 * [taylor]: Taking taylor expansion of (* a b) in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of b in a
0.504 * [taylor]: Taking taylor expansion of (- (log z) (/ 1 b)) in b
0.504 * [taylor]: Taking taylor expansion of (log z) in b
0.504 * [taylor]: Taking taylor expansion of z in b
0.504 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.504 * [taylor]: Taking taylor expansion of b in b
0.504 * [taylor]: Taking taylor expansion of 0 in a
0.512 * [taylor]: Taking taylor expansion of 0 in a
0.513 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in b
0.513 * [taylor]: Taking taylor expansion of (log z) in b
0.513 * [taylor]: Taking taylor expansion of z in b
0.513 * [taylor]: Taking taylor expansion of (log -1) in b
0.513 * [taylor]: Taking taylor expansion of -1 in b
0.514 * [taylor]: Taking taylor expansion of 0 in b
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.521 * [taylor]: Taking taylor expansion of 0 in t
0.521 * [taylor]: Taking taylor expansion of 0 in t
0.528 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 a)) in t
0.528 * [taylor]: Taking taylor expansion of 0.5 in t
0.529 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.529 * [taylor]: Taking taylor expansion of a in t
0.532 * [taylor]: Taking taylor expansion of 0 in t
0.532 * [taylor]: Taking taylor expansion of 0 in a
0.533 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a
0.533 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.533 * [taylor]: Taking taylor expansion of 1.0 in a
0.533 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.533 * [taylor]: Taking taylor expansion of a in a
0.533 * [taylor]: Taking taylor expansion of (- 1.0) in b
0.533 * [taylor]: Taking taylor expansion of 1.0 in b
0.534 * [taylor]: Taking taylor expansion of 0 in a
0.535 * [taylor]: Taking taylor expansion of 0 in a
0.535 * [taylor]: Taking taylor expansion of 0 in a
0.539 * [taylor]: Taking taylor expansion of 0 in a
0.541 * [taylor]: Taking taylor expansion of 0 in b
0.541 * [taylor]: Taking taylor expansion of 0 in b
0.541 * [taylor]: Taking taylor expansion of 0 in b
0.543 * [taylor]: Taking taylor expansion of 0 in b
0.543 * [taylor]: Taking taylor expansion of 0 in b
0.545 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.545 * [approximate]: Taking taylor expansion of (* (- (log z) t) y) in (y z t) around 0
0.545 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in t
0.545 * [taylor]: Taking taylor expansion of (- (log z) t) in t
0.545 * [taylor]: Taking taylor expansion of (log z) in t
0.545 * [taylor]: Taking taylor expansion of z in t
0.545 * [taylor]: Taking taylor expansion of t in t
0.545 * [taylor]: Taking taylor expansion of y in t
0.545 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in z
0.545 * [taylor]: Taking taylor expansion of (- (log z) t) in z
0.545 * [taylor]: Taking taylor expansion of (log z) in z
0.545 * [taylor]: Taking taylor expansion of z in z
0.545 * [taylor]: Taking taylor expansion of t in z
0.545 * [taylor]: Taking taylor expansion of y in z
0.545 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
0.545 * [taylor]: Taking taylor expansion of (- (log z) t) in y
0.545 * [taylor]: Taking taylor expansion of (log z) in y
0.545 * [taylor]: Taking taylor expansion of z in y
0.545 * [taylor]: Taking taylor expansion of t in y
0.545 * [taylor]: Taking taylor expansion of y in y
0.545 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
0.545 * [taylor]: Taking taylor expansion of (- (log z) t) in y
0.545 * [taylor]: Taking taylor expansion of (log z) in y
0.545 * [taylor]: Taking taylor expansion of z in y
0.545 * [taylor]: Taking taylor expansion of t in y
0.545 * [taylor]: Taking taylor expansion of y in y
0.546 * [taylor]: Taking taylor expansion of 0 in z
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.547 * [taylor]: Taking taylor expansion of (- (log z) t) in z
0.547 * [taylor]: Taking taylor expansion of (log z) in z
0.547 * [taylor]: Taking taylor expansion of z in z
0.547 * [taylor]: Taking taylor expansion of t in z
0.548 * [taylor]: Taking taylor expansion of (- (log z) t) in t
0.548 * [taylor]: Taking taylor expansion of (log z) in t
0.548 * [taylor]: Taking taylor expansion of z in t
0.548 * [taylor]: Taking taylor expansion of t in t
0.548 * [taylor]: Taking taylor expansion of 0 in t
0.550 * [taylor]: Taking taylor expansion of 0 in z
0.550 * [taylor]: Taking taylor expansion of 0 in t
0.551 * [taylor]: Taking taylor expansion of 0 in t
0.552 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in z
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [approximate]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in (y z t) around 0
0.558 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in t
0.558 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
0.558 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
0.558 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.558 * [taylor]: Taking taylor expansion of z in t
0.558 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.558 * [taylor]: Taking taylor expansion of t in t
0.558 * [taylor]: Taking taylor expansion of y in t
0.559 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in z
0.559 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
0.559 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.559 * [taylor]: Taking taylor expansion of z in z
0.559 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.560 * [taylor]: Taking taylor expansion of t in z
0.560 * [taylor]: Taking taylor expansion of y in z
0.560 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
0.560 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
0.560 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.560 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.560 * [taylor]: Taking taylor expansion of z in y
0.560 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.560 * [taylor]: Taking taylor expansion of t in y
0.560 * [taylor]: Taking taylor expansion of y in y
0.560 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
0.560 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
0.560 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.560 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.560 * [taylor]: Taking taylor expansion of z in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.561 * [taylor]: Taking taylor expansion of t in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.561 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
0.561 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.561 * [taylor]: Taking taylor expansion of z in z
0.561 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.561 * [taylor]: Taking taylor expansion of t in z
0.562 * [taylor]: Taking taylor expansion of (- (+ (log z) (/ 1 t))) in t
0.562 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
0.562 * [taylor]: Taking taylor expansion of (log z) in t
0.562 * [taylor]: Taking taylor expansion of z in t
0.562 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.562 * [taylor]: Taking taylor expansion of t in t
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of 0 in t
0.566 * [taylor]: Taking taylor expansion of 0 in t
0.570 * [taylor]: Taking taylor expansion of 0 in z
0.570 * [taylor]: Taking taylor expansion of 0 in t
0.570 * [taylor]: Taking taylor expansion of 0 in t
0.572 * [taylor]: Taking taylor expansion of 0 in t
0.578 * [taylor]: Taking taylor expansion of 0 in z
0.578 * [taylor]: Taking taylor expansion of 0 in t
0.578 * [taylor]: Taking taylor expansion of 0 in t
0.578 * [taylor]: Taking taylor expansion of 0 in t
0.581 * [taylor]: Taking taylor expansion of 0 in t
0.582 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in (y z t) around 0
0.582 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in t
0.582 * [taylor]: Taking taylor expansion of -1 in t
0.582 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in t
0.582 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
0.582 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
0.582 * [taylor]: Taking taylor expansion of (/ -1 z) in t
0.582 * [taylor]: Taking taylor expansion of -1 in t
0.582 * [taylor]: Taking taylor expansion of z in t
0.582 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.582 * [taylor]: Taking taylor expansion of t in t
0.582 * [taylor]: Taking taylor expansion of y in t
0.583 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in z
0.583 * [taylor]: Taking taylor expansion of -1 in z
0.583 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in z
0.583 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
0.583 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.583 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.583 * [taylor]: Taking taylor expansion of -1 in z
0.583 * [taylor]: Taking taylor expansion of z in z
0.583 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.583 * [taylor]: Taking taylor expansion of t in z
0.583 * [taylor]: Taking taylor expansion of y in z
0.585 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
0.585 * [taylor]: Taking taylor expansion of -1 in y
0.585 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
0.585 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
0.585 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.585 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.585 * [taylor]: Taking taylor expansion of -1 in y
0.585 * [taylor]: Taking taylor expansion of z in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.585 * [taylor]: Taking taylor expansion of t in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
0.585 * [taylor]: Taking taylor expansion of -1 in y
0.585 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
0.585 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
0.585 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.585 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.585 * [taylor]: Taking taylor expansion of -1 in y
0.585 * [taylor]: Taking taylor expansion of z in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.585 * [taylor]: Taking taylor expansion of t in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.586 * [taylor]: Taking taylor expansion of (* -1 (+ (log (/ -1 z)) (/ 1 t))) in z
0.586 * [taylor]: Taking taylor expansion of -1 in z
0.586 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
0.586 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.586 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.586 * [taylor]: Taking taylor expansion of -1 in z
0.586 * [taylor]: Taking taylor expansion of z in z
0.586 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.586 * [taylor]: Taking taylor expansion of t in z
0.588 * [taylor]: Taking taylor expansion of (* -1 (- (+ (log -1) (/ 1 t)) (log z))) in t
0.588 * [taylor]: Taking taylor expansion of -1 in t
0.588 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
0.588 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
0.588 * [taylor]: Taking taylor expansion of (log -1) in t
0.588 * [taylor]: Taking taylor expansion of -1 in t
0.588 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.588 * [taylor]: Taking taylor expansion of t in t
0.588 * [taylor]: Taking taylor expansion of (log z) in t
0.588 * [taylor]: Taking taylor expansion of z in t
0.596 * [taylor]: Taking taylor expansion of 0 in z
0.596 * [taylor]: Taking taylor expansion of 0 in t
0.598 * [taylor]: Taking taylor expansion of 0 in t
0.604 * [taylor]: Taking taylor expansion of 0 in z
0.604 * [taylor]: Taking taylor expansion of 0 in t
0.604 * [taylor]: Taking taylor expansion of 0 in t
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.616 * [taylor]: Taking taylor expansion of 0 in z
0.616 * [taylor]: Taking taylor expansion of 0 in t
0.616 * [taylor]: Taking taylor expansion of 0 in t
0.616 * [taylor]: Taking taylor expansion of 0 in t
0.621 * [taylor]: Taking taylor expansion of 0 in t
0.622 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.622 * [approximate]: Taking taylor expansion of (* a (- (log (- 1.0 z)) b)) in (a z b) around 0
0.622 * [taylor]: Taking taylor expansion of (* a (- (log (- 1.0 z)) b)) in b
0.622 * [taylor]: Taking taylor expansion of a in b
0.622 * [taylor]: Taking taylor expansion of (- (log (- 1.0 z)) b) in b
0.622 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in b
0.622 * [taylor]: Taking taylor expansion of (- 1.0 z) in b
0.622 * [taylor]: Taking taylor expansion of 1.0 in b
0.622 * [taylor]: Taking taylor expansion of z in b
0.622 * [taylor]: Taking taylor expansion of b in b
0.622 * [taylor]: Taking taylor expansion of (* a (- (log (- 1.0 z)) b)) in z
0.622 * [taylor]: Taking taylor expansion of a in z
0.622 * [taylor]: Taking taylor expansion of (- (log (- 1.0 z)) b) in z
0.622 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
0.622 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.622 * [taylor]: Taking taylor expansion of 1.0 in z
0.622 * [taylor]: Taking taylor expansion of z in z
0.623 * [taylor]: Taking taylor expansion of b in z
0.623 * [taylor]: Taking taylor expansion of (* a (- (log (- 1.0 z)) b)) in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of (- (log (- 1.0 z)) b) in a
0.623 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in a
0.623 * [taylor]: Taking taylor expansion of (- 1.0 z) in a
0.623 * [taylor]: Taking taylor expansion of 1.0 in a
0.623 * [taylor]: Taking taylor expansion of z in a
0.623 * [taylor]: Taking taylor expansion of b in a
0.623 * [taylor]: Taking taylor expansion of (* a (- (log (- 1.0 z)) b)) in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of (- (log (- 1.0 z)) b) in a
0.624 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in a
0.624 * [taylor]: Taking taylor expansion of (- 1.0 z) in a
0.624 * [taylor]: Taking taylor expansion of 1.0 in a
0.624 * [taylor]: Taking taylor expansion of z in a
0.624 * [taylor]: Taking taylor expansion of b in a
0.624 * [taylor]: Taking taylor expansion of 0 in z
0.624 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [taylor]: Taking taylor expansion of (- (log (- 1.0 z)) b) in z
0.626 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z
0.626 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.626 * [taylor]: Taking taylor expansion of 1.0 in z
0.626 * [taylor]: Taking taylor expansion of z in z
0.627 * [taylor]: Taking taylor expansion of b in z
0.627 * [taylor]: Taking taylor expansion of (- (log 1.0) b) in b
0.627 * [taylor]: Taking taylor expansion of (log 1.0) in b
0.627 * [taylor]: Taking taylor expansion of 1.0 in b
0.627 * [taylor]: Taking taylor expansion of b in b
0.629 * [taylor]: Taking taylor expansion of 0 in b
0.631 * [taylor]: Taking taylor expansion of 0 in z
0.632 * [taylor]: Taking taylor expansion of 0 in b
0.636 * [taylor]: Taking taylor expansion of (- 1.0) in b
0.636 * [taylor]: Taking taylor expansion of 1.0 in b
0.637 * [taylor]: Taking taylor expansion of 0 in b
0.639 * [approximate]: Taking taylor expansion of (/ (- (log (- 1.0 (/ 1 z))) (/ 1 b)) a) in (a z b) around 0
0.639 * [taylor]: Taking taylor expansion of (/ (- (log (- 1.0 (/ 1 z))) (/ 1 b)) a) in b
0.639 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 z))) (/ 1 b)) in b
0.639 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in b
0.639 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in b
0.639 * [taylor]: Taking taylor expansion of 1.0 in b
0.639 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.639 * [taylor]: Taking taylor expansion of z in b
0.639 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.639 * [taylor]: Taking taylor expansion of b in b
0.640 * [taylor]: Taking taylor expansion of a in b
0.640 * [taylor]: Taking taylor expansion of (/ (- (log (- 1.0 (/ 1 z))) (/ 1 b)) a) in z
0.640 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 z))) (/ 1 b)) in z
0.640 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
0.640 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.640 * [taylor]: Taking taylor expansion of 1.0 in z
0.640 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.640 * [taylor]: Taking taylor expansion of z in z
0.641 * [taylor]: Taking taylor expansion of (/ 1 b) in z
0.641 * [taylor]: Taking taylor expansion of b in z
0.641 * [taylor]: Taking taylor expansion of a in z
0.643 * [taylor]: Taking taylor expansion of (/ (- (log (- 1.0 (/ 1 z))) (/ 1 b)) a) in a
0.643 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 z))) (/ 1 b)) in a
0.643 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in a
0.643 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in a
0.643 * [taylor]: Taking taylor expansion of 1.0 in a
0.643 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.643 * [taylor]: Taking taylor expansion of z in a
0.643 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.643 * [taylor]: Taking taylor expansion of b in a
0.643 * [taylor]: Taking taylor expansion of a in a
0.643 * [taylor]: Taking taylor expansion of (/ (- (log (- 1.0 (/ 1 z))) (/ 1 b)) a) in a
0.643 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 z))) (/ 1 b)) in a
0.643 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in a
0.643 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in a
0.643 * [taylor]: Taking taylor expansion of 1.0 in a
0.643 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.643 * [taylor]: Taking taylor expansion of z in a
0.643 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.643 * [taylor]: Taking taylor expansion of b in a
0.644 * [taylor]: Taking taylor expansion of a in a
0.644 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 z))) (/ 1 b)) in z
0.644 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 z))) in z
0.644 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.644 * [taylor]: Taking taylor expansion of 1.0 in z
0.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.644 * [taylor]: Taking taylor expansion of z in z
0.645 * [taylor]: Taking taylor expansion of (/ 1 b) in z
0.645 * [taylor]: Taking taylor expansion of b in z
0.646 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log z) (/ 1 b))) in b
0.646 * [taylor]: Taking taylor expansion of (log -1) in b
0.646 * [taylor]: Taking taylor expansion of -1 in b
0.646 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 b)) in b
0.646 * [taylor]: Taking taylor expansion of (log z) in b
0.646 * [taylor]: Taking taylor expansion of z in b
0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.646 * [taylor]: Taking taylor expansion of b in b
0.650 * [taylor]: Taking taylor expansion of 0 in z
0.650 * [taylor]: Taking taylor expansion of 0 in b
0.655 * [taylor]: Taking taylor expansion of (- 1.0) in b
0.655 * [taylor]: Taking taylor expansion of 1.0 in b
0.660 * [taylor]: Taking taylor expansion of 0 in z
0.660 * [taylor]: Taking taylor expansion of 0 in b
0.660 * [taylor]: Taking taylor expansion of 0 in b
0.668 * [taylor]: Taking taylor expansion of (- 0.5) in b
0.668 * [taylor]: Taking taylor expansion of 0.5 in b
0.669 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a)) in (a z b) around 0
0.669 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a)) in b
0.669 * [taylor]: Taking taylor expansion of -1 in b
0.670 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a) in b
0.670 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) in b
0.670 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in b
0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in b
0.670 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.670 * [taylor]: Taking taylor expansion of z in b
0.670 * [taylor]: Taking taylor expansion of 1.0 in b
0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.670 * [taylor]: Taking taylor expansion of b in b
0.670 * [taylor]: Taking taylor expansion of a in b
0.670 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a)) in z
0.670 * [taylor]: Taking taylor expansion of -1 in z
0.670 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a) in z
0.670 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) in z
0.670 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.671 * [taylor]: Taking taylor expansion of z in z
0.671 * [taylor]: Taking taylor expansion of 1.0 in z
0.671 * [taylor]: Taking taylor expansion of (/ 1 b) in z
0.671 * [taylor]: Taking taylor expansion of b in z
0.671 * [taylor]: Taking taylor expansion of a in z
0.672 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a)) in a
0.672 * [taylor]: Taking taylor expansion of -1 in a
0.672 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a) in a
0.672 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) in a
0.672 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in a
0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in a
0.672 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.672 * [taylor]: Taking taylor expansion of z in a
0.672 * [taylor]: Taking taylor expansion of 1.0 in a
0.672 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.672 * [taylor]: Taking taylor expansion of b in a
0.672 * [taylor]: Taking taylor expansion of a in a
0.672 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a)) in a
0.672 * [taylor]: Taking taylor expansion of -1 in a
0.672 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) a) in a
0.672 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) in a
0.672 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in a
0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in a
0.672 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.672 * [taylor]: Taking taylor expansion of z in a
0.673 * [taylor]: Taking taylor expansion of 1.0 in a
0.673 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.673 * [taylor]: Taking taylor expansion of b in a
0.673 * [taylor]: Taking taylor expansion of a in a
0.673 * [taylor]: Taking taylor expansion of (* -1 (+ (log (+ (/ 1 z) 1.0)) (/ 1 b))) in z
0.673 * [taylor]: Taking taylor expansion of -1 in z
0.673 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1.0)) (/ 1 b)) in z
0.673 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1.0)) in z
0.673 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.673 * [taylor]: Taking taylor expansion of z in z
0.678 * [taylor]: Taking taylor expansion of 1.0 in z
0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in z
0.679 * [taylor]: Taking taylor expansion of b in z
0.680 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 b) (log z))) in b
0.680 * [taylor]: Taking taylor expansion of -1 in b
0.680 * [taylor]: Taking taylor expansion of (- (/ 1 b) (log z)) in b
0.680 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.680 * [taylor]: Taking taylor expansion of b in b
0.680 * [taylor]: Taking taylor expansion of (log z) in b
0.680 * [taylor]: Taking taylor expansion of z in b
0.683 * [taylor]: Taking taylor expansion of 0 in z
0.683 * [taylor]: Taking taylor expansion of 0 in b
0.688 * [taylor]: Taking taylor expansion of (- 1.0) in b
0.689 * [taylor]: Taking taylor expansion of 1.0 in b
0.693 * [taylor]: Taking taylor expansion of 0 in z
0.693 * [taylor]: Taking taylor expansion of 0 in b
0.693 * [taylor]: Taking taylor expansion of 0 in b
0.701 * [taylor]: Taking taylor expansion of 0.5 in b
0.703 * * * [progress]: simplifying candidates
0.705 * [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)))
  (* (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)) 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)))
  (+ (* 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)) (* a (log (- 1.0 z))))
  (+ (* 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 (- (log z) t)) (* (log (- 1.0 z)) a))
  (+ (* y (- 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 (- t)) (* a (- (log (- 1.0 z)) b)))
  (+ (* (- 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)))
  (+ (* (- t) y) (* a (- (log (- 1.0 z)) b)))
  (* 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 (- 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 (log z))
  (* y (- t))
  (* (log z) y)
  (* (- 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)
  (* (log z) y)
  (* (- 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)))
  (* a (- (log (- 1.0 z)) b))
  (+ (log a) (log (- (log (- 1.0 z)) b)))
  (log (* a (- (log (- 1.0 z)) b)))
  (exp (* a (- (log (- 1.0 z)) b)))
  (* (* (* a a) a) (* (* (- (log (- 1.0 z)) b) (- (log (- 1.0 z)) b)) (- (log (- 1.0 z)) b)))
  (* (cbrt (* a (- (log (- 1.0 z)) b))) (cbrt (* a (- (log (- 1.0 z)) b))))
  (cbrt (* a (- (log (- 1.0 z)) b)))
  (* (* (* a (- (log (- 1.0 z)) b)) (* a (- (log (- 1.0 z)) b))) (* a (- (log (- 1.0 z)) b)))
  (sqrt (* a (- (log (- 1.0 z)) b)))
  (sqrt (* a (- (log (- 1.0 z)) b)))
  (* (sqrt a) (sqrt (- (log (- 1.0 z)) b)))
  (* (sqrt a) (sqrt (- (log (- 1.0 z)) b)))
  (* a (log (- 1.0 z)))
  (* a (- b))
  (* a (log (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))
  (* a (- (log (cbrt (- 1.0 z))) b))
  (* a (log (sqrt (- 1.0 z))))
  (* a (- (log (sqrt (- 1.0 z))) b))
  (* a (log 1))
  (* a (- (log (- 1.0 z)) b))
  (* a (log (+ (sqrt 1.0) (sqrt z))))
  (* a (- (log (- (sqrt 1.0) (sqrt z))) b))
  (* a (log 1))
  (* a (- (log (- 1.0 z)) b))
  (* a (log (- 1.0 z)))
  (* a (- b))
  (* (log (- 1.0 z)) a)
  (* (- b) a)
  (* (log (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) a)
  (* (- (log (cbrt (- 1.0 z))) b) a)
  (* (log (sqrt (- 1.0 z))) a)
  (* (- (log (sqrt (- 1.0 z))) b) a)
  (* (log 1) a)
  (* (- (log (- 1.0 z)) b) a)
  (* (log (+ (sqrt 1.0) (sqrt z))) a)
  (* (- (log (- (sqrt 1.0) (sqrt z))) b) a)
  (* (log 1) a)
  (* (- (log (- 1.0 z)) b) a)
  (* (log (- 1.0 z)) a)
  (* (- b) a)
  (* a (* (cbrt (- (log (- 1.0 z)) b)) (cbrt (- (log (- 1.0 z)) b))))
  (* a (sqrt (- (log (- 1.0 z)) b)))
  (* a 1)
  (* a (+ (sqrt (log (- 1.0 z))) (sqrt b)))
  (* a 1)
  (* a 1)
  (* (cbrt a) (- (log (- 1.0 z)) b))
  (* (sqrt a) (- (log (- 1.0 z)) b))
  (* a (- (log (- 1.0 z)) b))
  (* a (- (pow (log (- 1.0 z)) 3) (pow b 3)))
  (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b)))
  (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))
  (- (log -1) (+ (* 1.0 (/ 1 z)) (+ (* 0.5 (/ 1 (pow z 2))) (log (/ 1 z)))))
  (- (+ (* 1.0 (/ 1 z)) (+ (* 0.5 (/ 1 (pow z 2))) (log (/ -1 z)))))
  (- (+ (* (log z) y) (* a (log 1.0))) (* t y))
  (- (* (log -1) a) (+ (* t y) (+ (* a b) (* a (log (/ 1 z))))))
  (- (+ (* a (log (/ -1 z))) (+ (* t y) (* a b))))
  (- (* (log z) y) (* t y))
  (- (+ (* t y) (* y (log (/ 1 z)))))
  (- (* (log -1) y) (+ (* t y) (* (log (/ -1 z)) y)))
  (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))
  (- (* (log -1) a) (+ (* 1.0 (/ a z)) (+ (* a b) (* a (log (/ 1 z))))))
  (- (+ (* 1.0 (/ a z)) (+ (* a (log (/ -1 z))) (* a b))))
0.713 * * [simplify]: iteration  0 :  667  enodes  (cost  1090 )
0.724 * * [simplify]: iteration  1 :  2713  enodes  (cost  1027 )
0.773 * * [simplify]: iteration  2 :  5001  enodes  (cost  1018 )
0.779 * [simplify]: Simplified to:
   (* 2 (log (cbrt (- 1.0 z))))
  (log (cbrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  0
  (log (- 1.0 z))
  (log (+ (sqrt 1.0) (sqrt z)))
  (log (- (sqrt 1.0) (sqrt z)))
  0
  (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)))
  (- 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)))
  (exp (+ (* y (- (log z) t)) (* 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))))
  (pow (+ (* (- (log z) t) y) (* 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))) (+ (* (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)))))
  (* (+ (* b (+ b (log (- 1.0 z)))) (* (log (- 1.0 z)) (log (- 1.0 z)))) (+ (* t (+ t (log z))) (* (log z) (log z))))
  (+ (* (* 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 (- 1.0 z)) b) (+ (* t (+ t (log z))) (* (log z) (log z))))
  (+ (* (* 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)))))
  (* (+ (* b (+ b (log (- 1.0 z)))) (* (log (- 1.0 z)) (log (- 1.0 z)))) (+ (log z) t))
  (+ (* (* 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))
  (+ (* (* a (- (log (- 1.0 z)) b)) (- (* a (- (log (- 1.0 z)) b)) (* y (- (log z) t)))) (* (* y (- (log z) t)) (* y (- (log z) t))))
  (- (* (* 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)))
  (+ (* (- (log z) t) y) (* a (- (log (- 1.0 z)) b)))
  (+ (* (- (log z) t) y) (* a (- (log (- 1.0 z)) b)))
  (+ (* (- (log z) t) y) (* a (- (log (- 1.0 z)) b)))
  (+ (* (- (log z) t) y) (* a (- (log (- 1.0 z)) b)))
  (+ (* y (- (log z) t)) (* (log (- 1.0 z)) a))
  (+ (* y (- (log z) t)) (* (* (* 2 (log (cbrt (- 1.0 z)))) a) 1))
  (+ (* y (- (log z) t)) (* (log (sqrt (- 1.0 z))) a))
  (+ (* y (- (log z) t)) (* 0 a))
  (+ (* y (- (log z) t)) (* (log (+ (sqrt 1.0) (sqrt z))) a))
  (+ (* y (- (log z) t)) (* 0 a))
  (+ (* y (- (log z) t)) (* (log (- 1.0 z)) a))
  (+ (* y (- (log z) t)) (* (log (- 1.0 z)) a))
  (+ (* y (- (log z) t)) (* (* (* 2 (log (cbrt (- 1.0 z)))) a) 1))
  (+ (* y (- (log z) t)) (* (log (sqrt (- 1.0 z))) a))
  (+ (* y (- (log z) t)) (* 0 a))
  (+ (* y (- (log z) t)) (* (log (+ (sqrt 1.0) (sqrt z))) a))
  (+ (* y (- (log z) t)) (* 0 a))
  (+ (* y (- (log z) t)) (* (log (- 1.0 z)) a))
  (- (* a (- (log (- 1.0 z)) b)) (* t y))
  (+ (* (- (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)))
  (- (* a (- (log (- 1.0 z)) b)) (* t y))
  (- (* a (- (log (- 1.0 z)) b)) (* t y))
  (+ (* (- (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)))
  (- (* a (- (log (- 1.0 z)) b)) (* t y))
  (* y (- (log z) t))
  (log (* y (- (log z) t)))
  (log (* y (- (log z) t)))
  (exp (* y (- (log z) t)))
  (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 (- t))
  (* y (* 2 (log (cbrt z))))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  0
  (* y (- (log z) t))
  (* y (log z))
  (* y (- t))
  (* y (log z))
  (* y (- t))
  (* y (* 2 (log (cbrt z))))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  0
  (* y (- (log z) t))
  (* y (log z))
  (* y (- t))
  (* y (* (cbrt (- (log z) t)) (cbrt (- (log z) t))))
  (* y (sqrt (- (log z) t)))
  y
  (* y (+ (sqrt (log z)) (sqrt t)))
  y
  y
  (* (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)))
  (* a (- (log (- 1.0 z)) b))
  (log (* a (- (log (- 1.0 z)) b)))
  (log (* a (- (log (- 1.0 z)) b)))
  (exp (* a (- (log (- 1.0 z)) b)))
  (pow (* a (- (log (- 1.0 z)) b)) 3)
  (* (cbrt (* a (- (log (- 1.0 z)) b))) (cbrt (* a (- (log (- 1.0 z)) b))))
  (cbrt (* a (- (log (- 1.0 z)) b)))
  (pow (* a (- (log (- 1.0 z)) b)) 3)
  (sqrt (* a (- (log (- 1.0 z)) b)))
  (sqrt (* a (- (log (- 1.0 z)) b)))
  (* (sqrt a) (sqrt (- (log (- 1.0 z)) b)))
  (* (sqrt a) (sqrt (- (log (- 1.0 z)) b)))
  (* a (log (- 1.0 z)))
  (* a (- b))
  (* a (* 2 (log (cbrt (- 1.0 z)))))
  (* a (- (log (cbrt (- 1.0 z))) b))
  (* a (log (sqrt (- 1.0 z))))
  (* a (- (log (sqrt (- 1.0 z))) b))
  0
  (* a (- (log (- 1.0 z)) b))
  (* a (log (+ (sqrt 1.0) (sqrt z))))
  (* a (- (log (- (sqrt 1.0) (sqrt z))) b))
  0
  (* a (- (log (- 1.0 z)) b))
  (* a (log (- 1.0 z)))
  (* a (- b))
  (* a (log (- 1.0 z)))
  (* a (- b))
  (* a (* 2 (log (cbrt (- 1.0 z)))))
  (* a (- (log (cbrt (- 1.0 z))) b))
  (* a (log (sqrt (- 1.0 z))))
  (* a (- (log (sqrt (- 1.0 z))) b))
  0
  (* a (- (log (- 1.0 z)) b))
  (* a (log (+ (sqrt 1.0) (sqrt z))))
  (* a (- (log (- (sqrt 1.0) (sqrt z))) b))
  0
  (* a (- (log (- 1.0 z)) b))
  (* a (log (- 1.0 z)))
  (* a (- b))
  (* a (* (cbrt (- (log (- 1.0 z)) b)) (cbrt (- (log (- 1.0 z)) b))))
  (* a (sqrt (- (log (- 1.0 z)) b)))
  a
  (* a (+ (sqrt (log (- 1.0 z))) (sqrt b)))
  a
  a
  (* (cbrt a) (- (log (- 1.0 z)) b))
  (* (sqrt a) (- (log (- 1.0 z)) b))
  (* a (- (log (- 1.0 z)) b))
  (* a (- (pow (log (- 1.0 z)) 3) (pow b 3)))
  (* a (- (* (log (- 1.0 z)) (log (- 1.0 z))) (* b b)))
  (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z)))
  (- (log -1) (+ (* 1.0 (/ 1 z)) (+ (* 0.5 (/ 1 (pow z 2))) (log (/ 1 z)))))
  (- (/ (- 1.0) z) (+ (* 0.5 (/ 1 (pow z 2))) (log (/ -1 z))))
  (- (+ (* (log z) y) (* a (log 1.0))) (* t y))
  (- (- (* (log -1) a) (* t y)) (* a (+ b (log (/ 1 z)))))
  (- (+ (* a (log (/ -1 z))) (+ (* t y) (* a b))))
  (* y (- (log z) t))
  (* y (- (log z) t))
  (* y (- (log -1) (+ t (log (/ -1 z)))))
  (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))
  (- (- (* (log -1) a) (* 1.0 (/ a z))) (* a (+ b (log (/ 1 z)))))
  (- (- (* 1.0 (/ a z))) (* a (+ (log (/ -1 z)) b)))
0.779 * * * [progress]: adding candidates to table
1.135 * * [progress]: iteration 2 / 4
1.135 * * * [progress]: picking best candidate
1.139 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))))>
1.139 * * * [progress]: localizing error
1.157 * * * [progress]: generating rewritten candidates
1.157 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.208 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.215 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2)
1.234 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
1.244 * * * [progress]: generating series expansions
1.244 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.245 * [approximate]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log 1.0))) (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) in (y z t a b) around 0
1.245 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log 1.0))) (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) in b
1.245 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log 1.0))) in b
1.245 * [taylor]: Taking taylor expansion of (* (log z) y) in b
1.245 * [taylor]: Taking taylor expansion of (log z) in b
1.245 * [taylor]: Taking taylor expansion of z in b
1.245 * [taylor]: Taking taylor expansion of y in b
1.245 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in b
1.245 * [taylor]: Taking taylor expansion of a in b
1.245 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.245 * [taylor]: Taking taylor expansion of 1.0 in b
1.245 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (* 1.0 (* a z)))) in b
1.245 * [taylor]: Taking taylor expansion of (* t y) in b
1.245 * [taylor]: Taking taylor expansion of t in b
1.245 * [taylor]: Taking taylor expansion of y in b
1.245 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in b
1.245 * [taylor]: Taking taylor expansion of (* a b) in b
1.245 * [taylor]: Taking taylor expansion of a in b
1.245 * [taylor]: Taking taylor expansion of b in b
1.245 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in b
1.245 * [taylor]: Taking taylor expansion of 1.0 in b
1.245 * [taylor]: Taking taylor expansion of (* a z) in b
1.245 * [taylor]: Taking taylor expansion of a in b
1.245 * [taylor]: Taking taylor expansion of z in b
1.245 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log 1.0))) (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) in a
1.245 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log 1.0))) in a
1.245 * [taylor]: Taking taylor expansion of (* (log z) y) in a
1.245 * [taylor]: Taking taylor expansion of (log z) in a
1.245 * [taylor]: Taking taylor expansion of z in a
1.246 * [taylor]: Taking taylor expansion of y in a
1.246 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in a
1.246 * [taylor]: Taking taylor expansion of a in a
1.246 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.246 * [taylor]: Taking taylor expansion of 1.0 in a
1.246 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (* 1.0 (* a z)))) in a
1.246 * [taylor]: Taking taylor expansion of (* t y) in a
1.246 * [taylor]: Taking taylor expansion of t in a
1.246 * [taylor]: Taking taylor expansion of y in a
1.246 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in a
1.246 * [taylor]: Taking taylor expansion of (* a b) in a
1.246 * [taylor]: Taking taylor expansion of a in a
1.246 * [taylor]: Taking taylor expansion of b in a
1.246 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in a
1.246 * [taylor]: Taking taylor expansion of 1.0 in a
1.246 * [taylor]: Taking taylor expansion of (* a z) in a
1.246 * [taylor]: Taking taylor expansion of a in a
1.246 * [taylor]: Taking taylor expansion of z in a
1.246 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log 1.0))) (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) in t
1.246 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log 1.0))) in t
1.246 * [taylor]: Taking taylor expansion of (* (log z) y) in t
1.246 * [taylor]: Taking taylor expansion of (log z) in t
1.246 * [taylor]: Taking taylor expansion of z in t
1.246 * [taylor]: Taking taylor expansion of y in t
1.246 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in t
1.246 * [taylor]: Taking taylor expansion of a in t
1.246 * [taylor]: Taking taylor expansion of (log 1.0) in t
1.246 * [taylor]: Taking taylor expansion of 1.0 in t
1.247 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (* 1.0 (* a z)))) in t
1.247 * [taylor]: Taking taylor expansion of (* t y) in t
1.247 * [taylor]: Taking taylor expansion of t in t
1.247 * [taylor]: Taking taylor expansion of y in t
1.247 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in t
1.247 * [taylor]: Taking taylor expansion of (* a b) in t
1.247 * [taylor]: Taking taylor expansion of a in t
1.247 * [taylor]: Taking taylor expansion of b in t
1.247 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in t
1.247 * [taylor]: Taking taylor expansion of 1.0 in t
1.247 * [taylor]: Taking taylor expansion of (* a z) in t
1.247 * [taylor]: Taking taylor expansion of a in t
1.247 * [taylor]: Taking taylor expansion of z in t
1.247 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log 1.0))) (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) in z
1.247 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log 1.0))) in z
1.247 * [taylor]: Taking taylor expansion of (* (log z) y) in z
1.247 * [taylor]: Taking taylor expansion of (log z) in z
1.247 * [taylor]: Taking taylor expansion of z in z
1.247 * [taylor]: Taking taylor expansion of y in z
1.247 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in z
1.247 * [taylor]: Taking taylor expansion of a in z
1.247 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.247 * [taylor]: Taking taylor expansion of 1.0 in z
1.248 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (* 1.0 (* a z)))) in z
1.248 * [taylor]: Taking taylor expansion of (* t y) in z
1.248 * [taylor]: Taking taylor expansion of t in z
1.248 * [taylor]: Taking taylor expansion of y in z
1.248 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in z
1.248 * [taylor]: Taking taylor expansion of (* a b) in z
1.248 * [taylor]: Taking taylor expansion of a in z
1.248 * [taylor]: Taking taylor expansion of b in z
1.248 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in z
1.248 * [taylor]: Taking taylor expansion of 1.0 in z
1.248 * [taylor]: Taking taylor expansion of (* a z) in z
1.248 * [taylor]: Taking taylor expansion of a in z
1.248 * [taylor]: Taking taylor expansion of z in z
1.248 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log 1.0))) (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) in y
1.248 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log 1.0))) in y
1.248 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.248 * [taylor]: Taking taylor expansion of (log z) in y
1.248 * [taylor]: Taking taylor expansion of z in y
1.248 * [taylor]: Taking taylor expansion of y in y
1.248 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in y
1.248 * [taylor]: Taking taylor expansion of a in y
1.248 * [taylor]: Taking taylor expansion of (log 1.0) in y
1.248 * [taylor]: Taking taylor expansion of 1.0 in y
1.248 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (* 1.0 (* a z)))) in y
1.248 * [taylor]: Taking taylor expansion of (* t y) in y
1.248 * [taylor]: Taking taylor expansion of t in y
1.248 * [taylor]: Taking taylor expansion of y in y
1.248 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in y
1.248 * [taylor]: Taking taylor expansion of (* a b) in y
1.248 * [taylor]: Taking taylor expansion of a in y
1.248 * [taylor]: Taking taylor expansion of b in y
1.248 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in y
1.248 * [taylor]: Taking taylor expansion of 1.0 in y
1.248 * [taylor]: Taking taylor expansion of (* a z) in y
1.249 * [taylor]: Taking taylor expansion of a in y
1.249 * [taylor]: Taking taylor expansion of z in y
1.249 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log 1.0))) (+ (* t y) (+ (* a b) (* 1.0 (* a z))))) in y
1.249 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log 1.0))) in y
1.249 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.249 * [taylor]: Taking taylor expansion of (log z) in y
1.249 * [taylor]: Taking taylor expansion of z in y
1.249 * [taylor]: Taking taylor expansion of y in y
1.249 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in y
1.249 * [taylor]: Taking taylor expansion of a in y
1.249 * [taylor]: Taking taylor expansion of (log 1.0) in y
1.249 * [taylor]: Taking taylor expansion of 1.0 in y
1.249 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (* 1.0 (* a z)))) in y
1.249 * [taylor]: Taking taylor expansion of (* t y) in y
1.249 * [taylor]: Taking taylor expansion of t in y
1.249 * [taylor]: Taking taylor expansion of y in y
1.249 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in y
1.249 * [taylor]: Taking taylor expansion of (* a b) in y
1.249 * [taylor]: Taking taylor expansion of a in y
1.249 * [taylor]: Taking taylor expansion of b in y
1.249 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in y
1.249 * [taylor]: Taking taylor expansion of 1.0 in y
1.249 * [taylor]: Taking taylor expansion of (* a z) in y
1.249 * [taylor]: Taking taylor expansion of a in y
1.249 * [taylor]: Taking taylor expansion of z in y
1.251 * [taylor]: Taking taylor expansion of (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) in z
1.251 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in z
1.251 * [taylor]: Taking taylor expansion of a in z
1.251 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.251 * [taylor]: Taking taylor expansion of 1.0 in z
1.251 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in z
1.251 * [taylor]: Taking taylor expansion of (* a b) in z
1.251 * [taylor]: Taking taylor expansion of a in z
1.251 * [taylor]: Taking taylor expansion of b in z
1.251 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in z
1.251 * [taylor]: Taking taylor expansion of 1.0 in z
1.251 * [taylor]: Taking taylor expansion of (* a z) in z
1.251 * [taylor]: Taking taylor expansion of a in z
1.251 * [taylor]: Taking taylor expansion of z in z
1.252 * [taylor]: Taking taylor expansion of (- (* a (log 1.0)) (* a b)) in t
1.252 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in t
1.252 * [taylor]: Taking taylor expansion of a in t
1.252 * [taylor]: Taking taylor expansion of (log 1.0) in t
1.252 * [taylor]: Taking taylor expansion of 1.0 in t
1.253 * [taylor]: Taking taylor expansion of (* a b) in t
1.253 * [taylor]: Taking taylor expansion of a in t
1.253 * [taylor]: Taking taylor expansion of b in t
1.253 * [taylor]: Taking taylor expansion of (- (* a (log 1.0)) (* a b)) in a
1.253 * [taylor]: Taking taylor expansion of (* a (log 1.0)) in a
1.253 * [taylor]: Taking taylor expansion of a in a
1.253 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.253 * [taylor]: Taking taylor expansion of 1.0 in a
1.254 * [taylor]: Taking taylor expansion of (* a b) in a
1.254 * [taylor]: Taking taylor expansion of a in a
1.254 * [taylor]: Taking taylor expansion of b in a
1.255 * [taylor]: Taking taylor expansion of 0 in b
1.258 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.258 * [taylor]: Taking taylor expansion of (log z) in z
1.258 * [taylor]: Taking taylor expansion of z in z
1.258 * [taylor]: Taking taylor expansion of t in z
1.259 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.259 * [taylor]: Taking taylor expansion of (log z) in t
1.259 * [taylor]: Taking taylor expansion of z in t
1.259 * [taylor]: Taking taylor expansion of t in t
1.259 * [taylor]: Taking taylor expansion of (log z) in a
1.259 * [taylor]: Taking taylor expansion of z in a
1.259 * [taylor]: Taking taylor expansion of (log z) in b
1.259 * [taylor]: Taking taylor expansion of z in b
1.261 * [taylor]: Taking taylor expansion of (- (* 1.0 a)) in t
1.261 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
1.261 * [taylor]: Taking taylor expansion of 1.0 in t
1.261 * [taylor]: Taking taylor expansion of a in t
1.261 * [taylor]: Taking taylor expansion of (- (* 1.0 a)) in a
1.261 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
1.261 * [taylor]: Taking taylor expansion of 1.0 in a
1.261 * [taylor]: Taking taylor expansion of a in a
1.262 * [taylor]: Taking taylor expansion of 0 in b
1.268 * [taylor]: Taking taylor expansion of 0 in a
1.269 * [taylor]: Taking taylor expansion of 0 in b
1.271 * [taylor]: Taking taylor expansion of (- (log 1.0) b) in b
1.271 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.271 * [taylor]: Taking taylor expansion of 1.0 in b
1.272 * [taylor]: Taking taylor expansion of b in b
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of 0 in t
1.280 * [taylor]: Taking taylor expansion of 0 in a
1.280 * [taylor]: Taking taylor expansion of 0 in b
1.281 * [taylor]: Taking taylor expansion of 0 in t
1.281 * [taylor]: Taking taylor expansion of 0 in a
1.281 * [taylor]: Taking taylor expansion of 0 in b
1.285 * [taylor]: Taking taylor expansion of 0 in t
1.285 * [taylor]: Taking taylor expansion of 0 in a
1.285 * [taylor]: Taking taylor expansion of 0 in b
1.287 * [taylor]: Taking taylor expansion of -1 in a
1.287 * [taylor]: Taking taylor expansion of -1 in b
1.288 * [approximate]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))))) in (y z t a b) around 0
1.288 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))))) in b
1.288 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) in b
1.288 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in b
1.288 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.288 * [taylor]: Taking taylor expansion of 1.0 in b
1.288 * [taylor]: Taking taylor expansion of a in b
1.289 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in b
1.289 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in b
1.289 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.289 * [taylor]: Taking taylor expansion of z in b
1.289 * [taylor]: Taking taylor expansion of y in b
1.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z))))) in b
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.289 * [taylor]: Taking taylor expansion of (* a b) in b
1.289 * [taylor]: Taking taylor expansion of a in b
1.289 * [taylor]: Taking taylor expansion of b in b
1.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))) in b
1.289 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.289 * [taylor]: Taking taylor expansion of (* t y) in b
1.289 * [taylor]: Taking taylor expansion of t in b
1.289 * [taylor]: Taking taylor expansion of y in b
1.290 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in b
1.290 * [taylor]: Taking taylor expansion of 1.0 in b
1.290 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
1.290 * [taylor]: Taking taylor expansion of (* a z) in b
1.290 * [taylor]: Taking taylor expansion of a in b
1.290 * [taylor]: Taking taylor expansion of z in b
1.290 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))))) in a
1.290 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) in a
1.290 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in a
1.290 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.290 * [taylor]: Taking taylor expansion of 1.0 in a
1.290 * [taylor]: Taking taylor expansion of a in a
1.291 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in a
1.291 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in a
1.291 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.291 * [taylor]: Taking taylor expansion of z in a
1.291 * [taylor]: Taking taylor expansion of y in a
1.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z))))) in a
1.291 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.291 * [taylor]: Taking taylor expansion of (* a b) in a
1.291 * [taylor]: Taking taylor expansion of a in a
1.291 * [taylor]: Taking taylor expansion of b in a
1.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))) in a
1.291 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.291 * [taylor]: Taking taylor expansion of (* t y) in a
1.291 * [taylor]: Taking taylor expansion of t in a
1.291 * [taylor]: Taking taylor expansion of y in a
1.291 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in a
1.292 * [taylor]: Taking taylor expansion of 1.0 in a
1.292 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.292 * [taylor]: Taking taylor expansion of (* a z) in a
1.292 * [taylor]: Taking taylor expansion of a in a
1.292 * [taylor]: Taking taylor expansion of z in a
1.292 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))))) in t
1.292 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) in t
1.292 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in t
1.292 * [taylor]: Taking taylor expansion of (log 1.0) in t
1.292 * [taylor]: Taking taylor expansion of 1.0 in t
1.292 * [taylor]: Taking taylor expansion of a in t
1.293 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in t
1.293 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.293 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.293 * [taylor]: Taking taylor expansion of z in t
1.293 * [taylor]: Taking taylor expansion of y in t
1.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z))))) in t
1.293 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.293 * [taylor]: Taking taylor expansion of (* a b) in t
1.293 * [taylor]: Taking taylor expansion of a in t
1.293 * [taylor]: Taking taylor expansion of b in t
1.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))) in t
1.293 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
1.293 * [taylor]: Taking taylor expansion of (* t y) in t
1.293 * [taylor]: Taking taylor expansion of t in t
1.293 * [taylor]: Taking taylor expansion of y in t
1.293 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in t
1.293 * [taylor]: Taking taylor expansion of 1.0 in t
1.293 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.293 * [taylor]: Taking taylor expansion of (* a z) in t
1.293 * [taylor]: Taking taylor expansion of a in t
1.293 * [taylor]: Taking taylor expansion of z in t
1.294 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))))) in z
1.294 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) in z
1.294 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in z
1.294 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.294 * [taylor]: Taking taylor expansion of 1.0 in z
1.294 * [taylor]: Taking taylor expansion of a in z
1.294 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
1.294 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.294 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.294 * [taylor]: Taking taylor expansion of z in z
1.295 * [taylor]: Taking taylor expansion of y in z
1.295 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z))))) in z
1.295 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.296 * [taylor]: Taking taylor expansion of (* a b) in z
1.296 * [taylor]: Taking taylor expansion of a in z
1.296 * [taylor]: Taking taylor expansion of b in z
1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))) in z
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
1.296 * [taylor]: Taking taylor expansion of (* t y) in z
1.296 * [taylor]: Taking taylor expansion of t in z
1.296 * [taylor]: Taking taylor expansion of y in z
1.296 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in z
1.296 * [taylor]: Taking taylor expansion of 1.0 in z
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.296 * [taylor]: Taking taylor expansion of (* a z) in z
1.296 * [taylor]: Taking taylor expansion of a in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))))) in y
1.296 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) in y
1.296 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in y
1.296 * [taylor]: Taking taylor expansion of (log 1.0) in y
1.296 * [taylor]: Taking taylor expansion of 1.0 in y
1.297 * [taylor]: Taking taylor expansion of a in y
1.297 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.297 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.297 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.297 * [taylor]: Taking taylor expansion of z in y
1.297 * [taylor]: Taking taylor expansion of y in y
1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z))))) in y
1.297 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.297 * [taylor]: Taking taylor expansion of (* a b) in y
1.297 * [taylor]: Taking taylor expansion of a in y
1.297 * [taylor]: Taking taylor expansion of b in y
1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))) in y
1.297 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.297 * [taylor]: Taking taylor expansion of (* t y) in y
1.297 * [taylor]: Taking taylor expansion of t in y
1.297 * [taylor]: Taking taylor expansion of y in y
1.298 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in y
1.298 * [taylor]: Taking taylor expansion of 1.0 in y
1.298 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.298 * [taylor]: Taking taylor expansion of (* a z) in y
1.298 * [taylor]: Taking taylor expansion of a in y
1.298 * [taylor]: Taking taylor expansion of z in y
1.298 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))))) in y
1.298 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ (log (/ 1 z)) y)) in y
1.298 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in y
1.298 * [taylor]: Taking taylor expansion of (log 1.0) in y
1.298 * [taylor]: Taking taylor expansion of 1.0 in y
1.298 * [taylor]: Taking taylor expansion of a in y
1.298 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.298 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.298 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.299 * [taylor]: Taking taylor expansion of z in y
1.299 * [taylor]: Taking taylor expansion of y in y
1.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z))))) in y
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.299 * [taylor]: Taking taylor expansion of (* a b) in y
1.299 * [taylor]: Taking taylor expansion of a in y
1.299 * [taylor]: Taking taylor expansion of b in y
1.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (* 1.0 (/ 1 (* a z)))) in y
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.299 * [taylor]: Taking taylor expansion of (* t y) in y
1.299 * [taylor]: Taking taylor expansion of t in y
1.299 * [taylor]: Taking taylor expansion of y in y
1.299 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in y
1.299 * [taylor]: Taking taylor expansion of 1.0 in y
1.299 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.299 * [taylor]: Taking taylor expansion of (* a z) in y
1.299 * [taylor]: Taking taylor expansion of a in y
1.299 * [taylor]: Taking taylor expansion of z in y
1.300 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.300 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.300 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.300 * [taylor]: Taking taylor expansion of z in z
1.300 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.300 * [taylor]: Taking taylor expansion of t in z
1.303 * [taylor]: Taking taylor expansion of (- (/ (log 1.0) a) (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z))))) in z
1.303 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in z
1.303 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.303 * [taylor]: Taking taylor expansion of 1.0 in z
1.303 * [taylor]: Taking taylor expansion of a in z
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in z
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.304 * [taylor]: Taking taylor expansion of (* a b) in z
1.304 * [taylor]: Taking taylor expansion of a in z
1.304 * [taylor]: Taking taylor expansion of b in z
1.304 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in z
1.304 * [taylor]: Taking taylor expansion of 1.0 in z
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.304 * [taylor]: Taking taylor expansion of (* a z) in z
1.304 * [taylor]: Taking taylor expansion of a in z
1.304 * [taylor]: Taking taylor expansion of z in z
1.304 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in t
1.304 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.304 * [taylor]: Taking taylor expansion of 1.0 in t
1.304 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.304 * [taylor]: Taking taylor expansion of a in t
1.305 * [taylor]: Taking taylor expansion of (- (+ (log z) (/ 1 t))) in t
1.305 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.305 * [taylor]: Taking taylor expansion of (log z) in t
1.305 * [taylor]: Taking taylor expansion of z in t
1.305 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.305 * [taylor]: Taking taylor expansion of t in t
1.306 * [taylor]: Taking taylor expansion of -1 in a
1.312 * [taylor]: Taking taylor expansion of 0 in z
1.313 * [taylor]: Taking taylor expansion of (- (/ (log 1.0) a) (/ 1 (* a b))) in t
1.313 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in t
1.313 * [taylor]: Taking taylor expansion of (log 1.0) in t
1.313 * [taylor]: Taking taylor expansion of 1.0 in t
1.313 * [taylor]: Taking taylor expansion of a in t
1.314 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.314 * [taylor]: Taking taylor expansion of (* a b) in t
1.314 * [taylor]: Taking taylor expansion of a in t
1.314 * [taylor]: Taking taylor expansion of b in t
1.316 * [taylor]: Taking taylor expansion of 0 in t
1.316 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a
1.316 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.316 * [taylor]: Taking taylor expansion of 1.0 in a
1.316 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.316 * [taylor]: Taking taylor expansion of a in a
1.317 * [taylor]: Taking taylor expansion of (- 1.0) in b
1.317 * [taylor]: Taking taylor expansion of 1.0 in b
1.317 * [taylor]: Taking taylor expansion of (- (log z)) in a
1.317 * [taylor]: Taking taylor expansion of (log z) in a
1.317 * [taylor]: Taking taylor expansion of z in a
1.317 * [taylor]: Taking taylor expansion of -1 in b
1.326 * [taylor]: Taking taylor expansion of 0 in z
1.326 * [taylor]: Taking taylor expansion of 0 in t
1.329 * [taylor]: Taking taylor expansion of 0 in t
1.332 * [taylor]: Taking taylor expansion of 0 in t
1.332 * [taylor]: Taking taylor expansion of (- (/ (log 1.0) a) (/ 1 (* a b))) in a
1.332 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in a
1.332 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.332 * [taylor]: Taking taylor expansion of 1.0 in a
1.332 * [taylor]: Taking taylor expansion of a in a
1.333 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.333 * [taylor]: Taking taylor expansion of (* a b) in a
1.333 * [taylor]: Taking taylor expansion of a in a
1.333 * [taylor]: Taking taylor expansion of b in a
1.334 * [taylor]: Taking taylor expansion of (- (log 1.0) (/ 1 b)) in b
1.334 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.334 * [taylor]: Taking taylor expansion of 1.0 in b
1.334 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.334 * [taylor]: Taking taylor expansion of b in b
1.335 * [taylor]: Taking taylor expansion of 0 in a
1.336 * [taylor]: Taking taylor expansion of 0 in a
1.337 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in b
1.339 * [taylor]: Taking taylor expansion of (- (log z)) in b
1.339 * [taylor]: Taking taylor expansion of (log z) in b
1.339 * [taylor]: Taking taylor expansion of z in b
1.339 * [taylor]: Taking taylor expansion of 0 in b
1.341 * [approximate]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))))) in (y z t a b) around 0
1.341 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))))) in b
1.341 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))))) in b
1.341 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) 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 a in b
1.342 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))) in b
1.342 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.342 * [taylor]: Taking taylor expansion of (* t y) in b
1.342 * [taylor]: Taking taylor expansion of t in b
1.342 * [taylor]: Taking taylor expansion of y in b
1.342 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))) in b
1.342 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.342 * [taylor]: Taking taylor expansion of (* a b) in b
1.342 * [taylor]: Taking taylor expansion of a in b
1.342 * [taylor]: Taking taylor expansion of b in b
1.342 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))) in b
1.342 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in b
1.342 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in b
1.342 * [taylor]: Taking taylor expansion of (/ -1 z) in b
1.342 * [taylor]: Taking taylor expansion of -1 in b
1.342 * [taylor]: Taking taylor expansion of z in b
1.343 * [taylor]: Taking taylor expansion of y in b
1.343 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in b
1.343 * [taylor]: Taking taylor expansion of 1.0 in b
1.343 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
1.343 * [taylor]: Taking taylor expansion of (* a z) in b
1.343 * [taylor]: Taking taylor expansion of a in b
1.343 * [taylor]: Taking taylor expansion of z in b
1.343 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))))) in a
1.343 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))))) in a
1.343 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in a
1.343 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.343 * [taylor]: Taking taylor expansion of 1.0 in a
1.343 * [taylor]: Taking taylor expansion of a in a
1.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))) in a
1.344 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.344 * [taylor]: Taking taylor expansion of (* t y) in a
1.344 * [taylor]: Taking taylor expansion of t in a
1.344 * [taylor]: Taking taylor expansion of y in a
1.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))) in a
1.344 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.344 * [taylor]: Taking taylor expansion of (* a b) in a
1.344 * [taylor]: Taking taylor expansion of a in a
1.344 * [taylor]: Taking taylor expansion of b in a
1.344 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))) in a
1.344 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in a
1.344 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in a
1.344 * [taylor]: Taking taylor expansion of (/ -1 z) in a
1.344 * [taylor]: Taking taylor expansion of -1 in a
1.344 * [taylor]: Taking taylor expansion of z in a
1.344 * [taylor]: Taking taylor expansion of y in a
1.345 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in a
1.345 * [taylor]: Taking taylor expansion of 1.0 in a
1.345 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.345 * [taylor]: Taking taylor expansion of (* a z) in a
1.345 * [taylor]: Taking taylor expansion of a in a
1.345 * [taylor]: Taking taylor expansion of z in a
1.345 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))))) in t
1.345 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))))) in t
1.345 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in t
1.345 * [taylor]: Taking taylor expansion of (log 1.0) in t
1.345 * [taylor]: Taking taylor expansion of 1.0 in t
1.345 * [taylor]: Taking taylor expansion of a in t
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))) 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 (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))) 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 (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))) 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 -1 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.0 (/ 1 (* a z))) in t
1.347 * [taylor]: Taking taylor expansion of 1.0 in t
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.347 * [taylor]: Taking taylor expansion of (* a z) in t
1.347 * [taylor]: Taking taylor expansion of a in t
1.347 * [taylor]: Taking taylor expansion of z in t
1.347 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))))) in z
1.347 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))))) in z
1.347 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in z
1.347 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.347 * [taylor]: Taking taylor expansion of 1.0 in z
1.347 * [taylor]: Taking taylor expansion of a in z
1.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))) 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 (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))) in z
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.348 * [taylor]: Taking taylor expansion of (* a b) in z
1.348 * [taylor]: Taking taylor expansion of a in z
1.348 * [taylor]: Taking taylor expansion of b in z
1.348 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))) in z
1.348 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
1.348 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.348 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.348 * [taylor]: Taking taylor expansion of -1 in z
1.348 * [taylor]: Taking taylor expansion of z in z
1.348 * [taylor]: Taking taylor expansion of y in z
1.350 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in z
1.350 * [taylor]: Taking taylor expansion of 1.0 in z
1.350 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.350 * [taylor]: Taking taylor expansion of (* a z) in z
1.350 * [taylor]: Taking taylor expansion of a in z
1.350 * [taylor]: Taking taylor expansion of z in z
1.350 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))))) in y
1.350 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))))) in y
1.350 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in y
1.350 * [taylor]: Taking taylor expansion of (log 1.0) in y
1.350 * [taylor]: Taking taylor expansion of 1.0 in y
1.351 * [taylor]: Taking taylor expansion of a in y
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))) in y
1.351 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.351 * [taylor]: Taking taylor expansion of (* t y) in y
1.351 * [taylor]: Taking taylor expansion of t in y
1.351 * [taylor]: Taking taylor expansion of y in y
1.356 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))) in y
1.356 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.356 * [taylor]: Taking taylor expansion of (* a b) in y
1.356 * [taylor]: Taking taylor expansion of a in y
1.356 * [taylor]: Taking taylor expansion of b in y
1.356 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))) in y
1.356 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.356 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.356 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.356 * [taylor]: Taking taylor expansion of -1 in y
1.356 * [taylor]: Taking taylor expansion of z in y
1.356 * [taylor]: Taking taylor expansion of y in y
1.356 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in y
1.356 * [taylor]: Taking taylor expansion of 1.0 in y
1.356 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.356 * [taylor]: Taking taylor expansion of (* a z) in y
1.356 * [taylor]: Taking taylor expansion of a in y
1.356 * [taylor]: Taking taylor expansion of z in y
1.356 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))))) in y
1.356 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))))) in y
1.356 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in y
1.356 * [taylor]: Taking taylor expansion of (log 1.0) in y
1.356 * [taylor]: Taking taylor expansion of 1.0 in y
1.357 * [taylor]: Taking taylor expansion of a in y
1.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))))) in y
1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.357 * [taylor]: Taking taylor expansion of (* t y) in y
1.357 * [taylor]: Taking taylor expansion of t in y
1.357 * [taylor]: Taking taylor expansion of y in y
1.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z))))) in y
1.358 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.358 * [taylor]: Taking taylor expansion of (* a b) in y
1.358 * [taylor]: Taking taylor expansion of a in y
1.358 * [taylor]: Taking taylor expansion of b in y
1.358 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 1.0 (/ 1 (* a z)))) in y
1.358 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.358 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.358 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.358 * [taylor]: Taking taylor expansion of -1 in y
1.358 * [taylor]: Taking taylor expansion of z in y
1.358 * [taylor]: Taking taylor expansion of y in y
1.358 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in y
1.358 * [taylor]: Taking taylor expansion of 1.0 in y
1.358 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.358 * [taylor]: Taking taylor expansion of (* a z) in y
1.358 * [taylor]: Taking taylor expansion of a in y
1.358 * [taylor]: Taking taylor expansion of z in y
1.359 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 z)) (/ 1 t))) in z
1.359 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.359 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.359 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.359 * [taylor]: Taking taylor expansion of -1 in z
1.359 * [taylor]: Taking taylor expansion of z in z
1.359 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.359 * [taylor]: Taking taylor expansion of t in z
1.362 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))))) in z
1.362 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z))))) in z
1.362 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in z
1.362 * [taylor]: Taking taylor expansion of (log 1.0) in z
1.362 * [taylor]: Taking taylor expansion of 1.0 in z
1.363 * [taylor]: Taking taylor expansion of a in z
1.363 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in z
1.363 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.363 * [taylor]: Taking taylor expansion of (* a b) in z
1.363 * [taylor]: Taking taylor expansion of a in z
1.363 * [taylor]: Taking taylor expansion of b in z
1.363 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in z
1.363 * [taylor]: Taking taylor expansion of 1.0 in z
1.363 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.363 * [taylor]: Taking taylor expansion of (* a z) in z
1.363 * [taylor]: Taking taylor expansion of a in z
1.363 * [taylor]: Taking taylor expansion of z in z
1.364 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in t
1.364 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.364 * [taylor]: Taking taylor expansion of 1.0 in t
1.364 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.364 * [taylor]: Taking taylor expansion of a in t
1.365 * [taylor]: Taking taylor expansion of (- (log z) (+ (log -1) (/ 1 t))) in t
1.365 * [taylor]: Taking taylor expansion of (log z) in t
1.365 * [taylor]: Taking taylor expansion of z in t
1.365 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.365 * [taylor]: Taking taylor expansion of (log -1) in t
1.365 * [taylor]: Taking taylor expansion of -1 in t
1.365 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.365 * [taylor]: Taking taylor expansion of t in t
1.367 * [taylor]: Taking taylor expansion of -1 in a
1.372 * [taylor]: Taking taylor expansion of 0 in z
1.374 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ 1 (* a b)))) in t
1.374 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ 1 (* a b))) in t
1.374 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in t
1.374 * [taylor]: Taking taylor expansion of (log 1.0) in t
1.374 * [taylor]: Taking taylor expansion of 1.0 in t
1.374 * [taylor]: Taking taylor expansion of a in t
1.375 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.375 * [taylor]: Taking taylor expansion of (* a b) in t
1.375 * [taylor]: Taking taylor expansion of a in t
1.375 * [taylor]: Taking taylor expansion of b in t
1.377 * [taylor]: Taking taylor expansion of 0 in t
1.377 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a
1.377 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.377 * [taylor]: Taking taylor expansion of 1.0 in a
1.377 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.377 * [taylor]: Taking taylor expansion of a in a
1.378 * [taylor]: Taking taylor expansion of (- 1.0) in b
1.378 * [taylor]: Taking taylor expansion of 1.0 in b
1.380 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in a
1.380 * [taylor]: Taking taylor expansion of (log z) in a
1.380 * [taylor]: Taking taylor expansion of z in a
1.380 * [taylor]: Taking taylor expansion of (log -1) in a
1.380 * [taylor]: Taking taylor expansion of -1 in a
1.380 * [taylor]: Taking taylor expansion of -1 in b
1.389 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [taylor]: Taking taylor expansion of 0 in t
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of (- (+ (/ (log 1.0) a) (/ 1 (* a b)))) in a
1.396 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) a) (/ 1 (* a b))) in a
1.396 * [taylor]: Taking taylor expansion of (/ (log 1.0) a) in a
1.396 * [taylor]: Taking taylor expansion of (log 1.0) in a
1.396 * [taylor]: Taking taylor expansion of 1.0 in a
1.396 * [taylor]: Taking taylor expansion of a in a
1.397 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.397 * [taylor]: Taking taylor expansion of (* a b) in a
1.397 * [taylor]: Taking taylor expansion of a in a
1.397 * [taylor]: Taking taylor expansion of b in a
1.398 * [taylor]: Taking taylor expansion of (- (+ (log 1.0) (/ 1 b))) in b
1.398 * [taylor]: Taking taylor expansion of (+ (log 1.0) (/ 1 b)) in b
1.398 * [taylor]: Taking taylor expansion of (log 1.0) in b
1.398 * [taylor]: Taking taylor expansion of 1.0 in b
1.398 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.398 * [taylor]: Taking taylor expansion of b in b
1.399 * [taylor]: Taking taylor expansion of 0 in a
1.400 * [taylor]: Taking taylor expansion of 0 in a
1.402 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in b
1.404 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in b
1.405 * [taylor]: Taking taylor expansion of (log z) in b
1.405 * [taylor]: Taking taylor expansion of z in b
1.405 * [taylor]: Taking taylor expansion of (log -1) in b
1.405 * [taylor]: Taking taylor expansion of -1 in b
1.405 * [taylor]: Taking taylor expansion of 0 in b
1.407 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.407 * [approximate]: Taking taylor expansion of (* (- (log z) t) y) in (y z t) around 0
1.407 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in t
1.407 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.407 * [taylor]: Taking taylor expansion of (log z) in t
1.407 * [taylor]: Taking taylor expansion of z in t
1.407 * [taylor]: Taking taylor expansion of t in t
1.407 * [taylor]: Taking taylor expansion of y in t
1.407 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in z
1.407 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.407 * [taylor]: Taking taylor expansion of (log z) in z
1.407 * [taylor]: Taking taylor expansion of z in z
1.407 * [taylor]: Taking taylor expansion of t in z
1.407 * [taylor]: Taking taylor expansion of y in z
1.407 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.407 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.407 * [taylor]: Taking taylor expansion of (log z) in y
1.407 * [taylor]: Taking taylor expansion of z in y
1.407 * [taylor]: Taking taylor expansion of t in y
1.407 * [taylor]: Taking taylor expansion of y in y
1.407 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.407 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.407 * [taylor]: Taking taylor expansion of (log z) in y
1.407 * [taylor]: Taking taylor expansion of z in y
1.407 * [taylor]: Taking taylor expansion of t in y
1.407 * [taylor]: Taking taylor expansion of y in y
1.408 * [taylor]: Taking taylor expansion of 0 in z
1.408 * [taylor]: Taking taylor expansion of 0 in t
1.409 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.409 * [taylor]: Taking taylor expansion of (log z) in z
1.409 * [taylor]: Taking taylor expansion of z in z
1.409 * [taylor]: Taking taylor expansion of t in z
1.410 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.410 * [taylor]: Taking taylor expansion of (log z) in t
1.410 * [taylor]: Taking taylor expansion of z in t
1.410 * [taylor]: Taking taylor expansion of t in t
1.410 * [taylor]: Taking taylor expansion of 0 in t
1.412 * [taylor]: Taking taylor expansion of 0 in z
1.412 * [taylor]: Taking taylor expansion of 0 in t
1.413 * [taylor]: Taking taylor expansion of 0 in t
1.413 * [taylor]: Taking taylor expansion of 0 in t
1.417 * [taylor]: Taking taylor expansion of 0 in z
1.417 * [taylor]: Taking taylor expansion of 0 in t
1.417 * [taylor]: Taking taylor expansion of 0 in t
1.419 * [taylor]: Taking taylor expansion of 0 in t
1.419 * [taylor]: Taking taylor expansion of 0 in t
1.419 * [approximate]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in (y z t) around 0
1.419 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in t
1.420 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.420 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.420 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.420 * [taylor]: Taking taylor expansion of z in t
1.420 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.420 * [taylor]: Taking taylor expansion of t in t
1.420 * [taylor]: Taking taylor expansion of y in t
1.421 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in z
1.421 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.421 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.421 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.421 * [taylor]: Taking taylor expansion of z in z
1.421 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.421 * [taylor]: Taking taylor expansion of t in z
1.421 * [taylor]: Taking taylor expansion of y in z
1.422 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.422 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.422 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.422 * [taylor]: Taking taylor expansion of z in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.422 * [taylor]: Taking taylor expansion of t in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.422 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.422 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.422 * [taylor]: Taking taylor expansion of z in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.422 * [taylor]: Taking taylor expansion of t in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.422 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.422 * [taylor]: Taking taylor expansion of z in z
1.423 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.423 * [taylor]: Taking taylor expansion of t in z
1.423 * [taylor]: Taking taylor expansion of (- (+ (log z) (/ 1 t))) in t
1.424 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.424 * [taylor]: Taking taylor expansion of (log z) in t
1.424 * [taylor]: Taking taylor expansion of z in t
1.424 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.424 * [taylor]: Taking taylor expansion of t in t
1.426 * [taylor]: Taking taylor expansion of 0 in z
1.426 * [taylor]: Taking taylor expansion of 0 in t
1.428 * [taylor]: Taking taylor expansion of 0 in t
1.431 * [taylor]: Taking taylor expansion of 0 in z
1.431 * [taylor]: Taking taylor expansion of 0 in t
1.431 * [taylor]: Taking taylor expansion of 0 in t
1.434 * [taylor]: Taking taylor expansion of 0 in t
1.445 * [taylor]: Taking taylor expansion of 0 in z
1.445 * [taylor]: Taking taylor expansion of 0 in t
1.445 * [taylor]: Taking taylor expansion of 0 in t
1.445 * [taylor]: Taking taylor expansion of 0 in t
1.449 * [taylor]: Taking taylor expansion of 0 in t
1.449 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in (y z t) around 0
1.449 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in t
1.449 * [taylor]: Taking taylor expansion of -1 in t
1.449 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in t
1.449 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.449 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.449 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.449 * [taylor]: Taking taylor expansion of -1 in t
1.449 * [taylor]: Taking taylor expansion of z in t
1.449 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.449 * [taylor]: Taking taylor expansion of t in t
1.450 * [taylor]: Taking taylor expansion of y in t
1.450 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in z
1.450 * [taylor]: Taking taylor expansion of -1 in z
1.450 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in z
1.450 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.450 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.450 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.450 * [taylor]: Taking taylor expansion of -1 in z
1.450 * [taylor]: Taking taylor expansion of z in z
1.451 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.451 * [taylor]: Taking taylor expansion of t in z
1.451 * [taylor]: Taking taylor expansion of y in z
1.452 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.452 * [taylor]: Taking taylor expansion of -1 in y
1.452 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.452 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.452 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.452 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.452 * [taylor]: Taking taylor expansion of -1 in y
1.452 * [taylor]: Taking taylor expansion of z in y
1.452 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.452 * [taylor]: Taking taylor expansion of t in y
1.452 * [taylor]: Taking taylor expansion of y in y
1.453 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.453 * [taylor]: Taking taylor expansion of -1 in y
1.453 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.453 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.453 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.453 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.453 * [taylor]: Taking taylor expansion of -1 in y
1.453 * [taylor]: Taking taylor expansion of z in y
1.453 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.453 * [taylor]: Taking taylor expansion of t in y
1.453 * [taylor]: Taking taylor expansion of y in y
1.453 * [taylor]: Taking taylor expansion of (* -1 (+ (log (/ -1 z)) (/ 1 t))) in z
1.453 * [taylor]: Taking taylor expansion of -1 in z
1.453 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.453 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.453 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.453 * [taylor]: Taking taylor expansion of -1 in z
1.453 * [taylor]: Taking taylor expansion of z in z
1.454 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.454 * [taylor]: Taking taylor expansion of t in z
1.455 * [taylor]: Taking taylor expansion of (* -1 (- (+ (log -1) (/ 1 t)) (log z))) in t
1.455 * [taylor]: Taking taylor expansion of -1 in t
1.455 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.455 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.455 * [taylor]: Taking taylor expansion of (log -1) in t
1.455 * [taylor]: Taking taylor expansion of -1 in t
1.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.456 * [taylor]: Taking taylor expansion of t in t
1.456 * [taylor]: Taking taylor expansion of (log z) in t
1.456 * [taylor]: Taking taylor expansion of z in t
1.459 * [taylor]: Taking taylor expansion of 0 in z
1.459 * [taylor]: Taking taylor expansion of 0 in t
1.461 * [taylor]: Taking taylor expansion of 0 in t
1.467 * [taylor]: Taking taylor expansion of 0 in z
1.467 * [taylor]: Taking taylor expansion of 0 in t
1.467 * [taylor]: Taking taylor expansion of 0 in t
1.470 * [taylor]: Taking taylor expansion of 0 in t
1.478 * [taylor]: Taking taylor expansion of 0 in z
1.478 * [taylor]: Taking taylor expansion of 0 in t
1.478 * [taylor]: Taking taylor expansion of 0 in t
1.478 * [taylor]: Taking taylor expansion of 0 in t
1.483 * [taylor]: Taking taylor expansion of 0 in t
1.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2)
1.484 * [approximate]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in (a b z) around 0
1.484 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in z
1.484 * [taylor]: Taking taylor expansion of (* a b) in z
1.484 * [taylor]: Taking taylor expansion of a in z
1.484 * [taylor]: Taking taylor expansion of b in z
1.484 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in z
1.484 * [taylor]: Taking taylor expansion of 1.0 in z
1.484 * [taylor]: Taking taylor expansion of (* a z) in z
1.484 * [taylor]: Taking taylor expansion of a in z
1.484 * [taylor]: Taking taylor expansion of z in z
1.484 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in b
1.484 * [taylor]: Taking taylor expansion of (* a b) in b
1.484 * [taylor]: Taking taylor expansion of a in b
1.484 * [taylor]: Taking taylor expansion of b in b
1.484 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in b
1.484 * [taylor]: Taking taylor expansion of 1.0 in b
1.484 * [taylor]: Taking taylor expansion of (* a z) in b
1.484 * [taylor]: Taking taylor expansion of a in b
1.484 * [taylor]: Taking taylor expansion of z in b
1.484 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in a
1.484 * [taylor]: Taking taylor expansion of (* a b) in a
1.484 * [taylor]: Taking taylor expansion of a in a
1.484 * [taylor]: Taking taylor expansion of b in a
1.484 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in a
1.484 * [taylor]: Taking taylor expansion of 1.0 in a
1.484 * [taylor]: Taking taylor expansion of (* a z) in a
1.484 * [taylor]: Taking taylor expansion of a in a
1.484 * [taylor]: Taking taylor expansion of z in a
1.484 * [taylor]: Taking taylor expansion of (+ (* a b) (* 1.0 (* a z))) in a
1.484 * [taylor]: Taking taylor expansion of (* a b) in a
1.484 * [taylor]: Taking taylor expansion of a in a
1.484 * [taylor]: Taking taylor expansion of b in a
1.484 * [taylor]: Taking taylor expansion of (* 1.0 (* a z)) in a
1.484 * [taylor]: Taking taylor expansion of 1.0 in a
1.484 * [taylor]: Taking taylor expansion of (* a z) in a
1.484 * [taylor]: Taking taylor expansion of a in a
1.484 * [taylor]: Taking taylor expansion of z in a
1.485 * [taylor]: Taking taylor expansion of 0 in b
1.485 * [taylor]: Taking taylor expansion of 0 in z
1.486 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) b) in b
1.486 * [taylor]: Taking taylor expansion of (* 1.0 z) in b
1.486 * [taylor]: Taking taylor expansion of 1.0 in b
1.486 * [taylor]: Taking taylor expansion of z in b
1.486 * [taylor]: Taking taylor expansion of b in b
1.486 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
1.486 * [taylor]: Taking taylor expansion of 1.0 in z
1.486 * [taylor]: Taking taylor expansion of z in z
1.486 * [taylor]: Taking taylor expansion of 0 in z
1.489 * [taylor]: Taking taylor expansion of 0 in b
1.489 * [taylor]: Taking taylor expansion of 0 in z
1.489 * [taylor]: Taking taylor expansion of 1 in z
1.489 * [taylor]: Taking taylor expansion of 0 in z
1.493 * [taylor]: Taking taylor expansion of 0 in b
1.493 * [taylor]: Taking taylor expansion of 0 in z
1.493 * [taylor]: Taking taylor expansion of 0 in z
1.494 * [taylor]: Taking taylor expansion of 0 in z
1.494 * [taylor]: Taking taylor expansion of 0 in z
1.494 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in (a b z) around 0
1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in z
1.494 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.494 * [taylor]: Taking taylor expansion of (* a b) in z
1.494 * [taylor]: Taking taylor expansion of a in z
1.494 * [taylor]: Taking taylor expansion of b in z
1.494 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in z
1.494 * [taylor]: Taking taylor expansion of 1.0 in z
1.494 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.494 * [taylor]: Taking taylor expansion of (* a z) in z
1.494 * [taylor]: Taking taylor expansion of a in z
1.494 * [taylor]: Taking taylor expansion of z in z
1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in b
1.495 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.495 * [taylor]: Taking taylor expansion of (* a b) in b
1.495 * [taylor]: Taking taylor expansion of a in b
1.495 * [taylor]: Taking taylor expansion of b in b
1.495 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in b
1.495 * [taylor]: Taking taylor expansion of 1.0 in b
1.495 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
1.495 * [taylor]: Taking taylor expansion of (* a z) in b
1.495 * [taylor]: Taking taylor expansion of a in b
1.495 * [taylor]: Taking taylor expansion of z in b
1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in a
1.495 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.495 * [taylor]: Taking taylor expansion of (* a b) in a
1.495 * [taylor]: Taking taylor expansion of a in a
1.495 * [taylor]: Taking taylor expansion of b in a
1.496 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in a
1.496 * [taylor]: Taking taylor expansion of 1.0 in a
1.496 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.496 * [taylor]: Taking taylor expansion of (* a z) in a
1.496 * [taylor]: Taking taylor expansion of a in a
1.496 * [taylor]: Taking taylor expansion of z in a
1.496 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in a
1.496 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.496 * [taylor]: Taking taylor expansion of (* a b) in a
1.496 * [taylor]: Taking taylor expansion of a in a
1.496 * [taylor]: Taking taylor expansion of b in a
1.497 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in a
1.497 * [taylor]: Taking taylor expansion of 1.0 in a
1.497 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.497 * [taylor]: Taking taylor expansion of (* a z) in a
1.497 * [taylor]: Taking taylor expansion of a in a
1.497 * [taylor]: Taking taylor expansion of z in a
1.497 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 b)) in b
1.497 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b
1.497 * [taylor]: Taking taylor expansion of 1.0 in b
1.497 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.497 * [taylor]: Taking taylor expansion of z in b
1.497 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.497 * [taylor]: Taking taylor expansion of b in b
1.498 * [taylor]: Taking taylor expansion of 1 in z
1.500 * [taylor]: Taking taylor expansion of 0 in b
1.500 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.500 * [taylor]: Taking taylor expansion of 1.0 in z
1.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.500 * [taylor]: Taking taylor expansion of z in z
1.504 * [taylor]: Taking taylor expansion of 0 in b
1.504 * [taylor]: Taking taylor expansion of 0 in z
1.505 * [taylor]: Taking taylor expansion of 0 in z
1.509 * [taylor]: Taking taylor expansion of 0 in b
1.509 * [taylor]: Taking taylor expansion of 0 in z
1.509 * [taylor]: Taking taylor expansion of 0 in z
1.511 * [taylor]: Taking taylor expansion of 0 in z
1.512 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in (a b z) around 0
1.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in z
1.512 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.512 * [taylor]: Taking taylor expansion of (* a b) in z
1.512 * [taylor]: Taking taylor expansion of a in z
1.512 * [taylor]: Taking taylor expansion of b in z
1.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in z
1.513 * [taylor]: Taking taylor expansion of 1.0 in z
1.513 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.513 * [taylor]: Taking taylor expansion of (* a z) in z
1.513 * [taylor]: Taking taylor expansion of a in z
1.513 * [taylor]: Taking taylor expansion of z in z
1.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in b
1.513 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.513 * [taylor]: Taking taylor expansion of (* a b) in b
1.513 * [taylor]: Taking taylor expansion of a in b
1.513 * [taylor]: Taking taylor expansion of b in b
1.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in b
1.513 * [taylor]: Taking taylor expansion of 1.0 in b
1.513 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
1.514 * [taylor]: Taking taylor expansion of (* a z) in b
1.514 * [taylor]: Taking taylor expansion of a in b
1.514 * [taylor]: Taking taylor expansion of z in b
1.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in a
1.514 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.514 * [taylor]: Taking taylor expansion of (* a b) in a
1.514 * [taylor]: Taking taylor expansion of a in a
1.514 * [taylor]: Taking taylor expansion of b in a
1.514 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in a
1.514 * [taylor]: Taking taylor expansion of 1.0 in a
1.514 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.514 * [taylor]: Taking taylor expansion of (* a z) in a
1.514 * [taylor]: Taking taylor expansion of a in a
1.514 * [taylor]: Taking taylor expansion of z in a
1.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 1.0 (/ 1 (* a z)))) in a
1.515 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.515 * [taylor]: Taking taylor expansion of (* a b) in a
1.515 * [taylor]: Taking taylor expansion of a in a
1.515 * [taylor]: Taking taylor expansion of b in a
1.515 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a z))) in a
1.515 * [taylor]: Taking taylor expansion of 1.0 in a
1.515 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.515 * [taylor]: Taking taylor expansion of (* a z) in a
1.515 * [taylor]: Taking taylor expansion of a in a
1.515 * [taylor]: Taking taylor expansion of z in a
1.516 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 b)) in b
1.516 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b
1.516 * [taylor]: Taking taylor expansion of 1.0 in b
1.516 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.516 * [taylor]: Taking taylor expansion of z in b
1.516 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.516 * [taylor]: Taking taylor expansion of b in b
1.516 * [taylor]: Taking taylor expansion of 1 in z
1.518 * [taylor]: Taking taylor expansion of 0 in b
1.519 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.519 * [taylor]: Taking taylor expansion of 1.0 in z
1.519 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.519 * [taylor]: Taking taylor expansion of z in z
1.527 * [taylor]: Taking taylor expansion of 0 in b
1.528 * [taylor]: Taking taylor expansion of 0 in z
1.529 * [taylor]: Taking taylor expansion of 0 in z
1.533 * [taylor]: Taking taylor expansion of 0 in b
1.533 * [taylor]: Taking taylor expansion of 0 in z
1.533 * [taylor]: Taking taylor expansion of 0 in z
1.534 * [taylor]: Taking taylor expansion of 0 in z
1.536 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
1.536 * [approximate]: Taking taylor expansion of (- (log z) t) in (z t) around 0
1.536 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.536 * [taylor]: Taking taylor expansion of (log z) in t
1.536 * [taylor]: Taking taylor expansion of z in t
1.536 * [taylor]: Taking taylor expansion of t in t
1.536 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.536 * [taylor]: Taking taylor expansion of (log z) in z
1.536 * [taylor]: Taking taylor expansion of z in z
1.536 * [taylor]: Taking taylor expansion of t in z
1.536 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.536 * [taylor]: Taking taylor expansion of (log z) in z
1.536 * [taylor]: Taking taylor expansion of z in z
1.537 * [taylor]: Taking taylor expansion of t in z
1.537 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.537 * [taylor]: Taking taylor expansion of (log z) in t
1.537 * [taylor]: Taking taylor expansion of z in t
1.538 * [taylor]: Taking taylor expansion of t in t
1.539 * [taylor]: Taking taylor expansion of 0 in t
1.542 * [taylor]: Taking taylor expansion of 0 in t
1.547 * [taylor]: Taking taylor expansion of 0 in t
1.547 * [approximate]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in (z t) around 0
1.547 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.547 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.547 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.547 * [taylor]: Taking taylor expansion of z in t
1.547 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.547 * [taylor]: Taking taylor expansion of t in t
1.547 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.547 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.548 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.548 * [taylor]: Taking taylor expansion of t in z
1.548 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.548 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.549 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.549 * [taylor]: Taking taylor expansion of t in z
1.549 * [taylor]: Taking taylor expansion of (- (+ (log z) (/ 1 t))) in t
1.549 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.549 * [taylor]: Taking taylor expansion of (log z) in t
1.549 * [taylor]: Taking taylor expansion of z in t
1.549 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.549 * [taylor]: Taking taylor expansion of t in t
1.552 * [taylor]: Taking taylor expansion of 0 in t
1.555 * [taylor]: Taking taylor expansion of 0 in t
1.560 * [taylor]: Taking taylor expansion of 0 in t
1.568 * [taylor]: Taking taylor expansion of 0 in t
1.569 * [approximate]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in (z t) around 0
1.569 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.569 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.569 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.569 * [taylor]: Taking taylor expansion of -1 in t
1.569 * [taylor]: Taking taylor expansion of z in t
1.569 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.569 * [taylor]: Taking taylor expansion of t in t
1.569 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.569 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.569 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.569 * [taylor]: Taking taylor expansion of -1 in z
1.569 * [taylor]: Taking taylor expansion of z in z
1.570 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.570 * [taylor]: Taking taylor expansion of t in z
1.570 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.570 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.570 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.570 * [taylor]: Taking taylor expansion of -1 in z
1.570 * [taylor]: Taking taylor expansion of z in z
1.571 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.571 * [taylor]: Taking taylor expansion of t in z
1.572 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.572 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.572 * [taylor]: Taking taylor expansion of (log -1) in t
1.572 * [taylor]: Taking taylor expansion of -1 in t
1.572 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.572 * [taylor]: Taking taylor expansion of t in t
1.572 * [taylor]: Taking taylor expansion of (log z) in t
1.572 * [taylor]: Taking taylor expansion of z in t
1.575 * [taylor]: Taking taylor expansion of 0 in t
1.579 * [taylor]: Taking taylor expansion of 0 in t
1.585 * [taylor]: Taking taylor expansion of 0 in t
1.595 * [taylor]: Taking taylor expansion of 0 in t
1.596 * * * [progress]: simplifying candidates
1.598 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* y (- (log z) t))) (/ (exp (* a (log 1.0))) (* (exp (* a b)) (exp (* 1.0 (* a z))))))
  (* (exp (* y (- (log z) t))) (/ (exp (* a (log 1.0))) (exp (+ (* a b) (* 1.0 (* a z))))))
  (* (exp (* y (- (log z) t))) (exp (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (log (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (* (cbrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))) (cbrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
  (cbrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (* (* (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))) (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))) (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (sqrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (sqrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (+ (* (* y (- (pow (log z) 3) (pow t 3))) (+ (* (* a (log 1.0)) (* a (log 1.0))) (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))) (* (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))) (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (- (pow (* a (log 1.0)) 3) (pow (+ (* a b) (* 1.0 (* a z))) 3))))
  (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (+ (* (* a (log 1.0)) (* a (log 1.0))) (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))) (* (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
  (+ (* (* y (- (pow (log z) 3) (pow t 3))) (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))) (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (- (* (* a (log 1.0)) (* a (log 1.0))) (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))))))
  (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (* (* a (log 1.0)) (* a (log 1.0))) (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))) (* (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))) (* (+ (log z) t) (- (pow (* a (log 1.0)) 3) (pow (+ (* a b) (* 1.0 (* a z))) 3))))
  (* (+ (log z) t) (+ (* (* a (log 1.0)) (* a (log 1.0))) (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))) (* (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
  (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))) (* (+ (log z) t) (- (* (* a (log 1.0)) (* a (log 1.0))) (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))))))
  (* (+ (log z) t) (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (pow (* y (- (log z) t)) 3) (pow (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) 3))
  (+ (* (* y (- (log z) t)) (* y (- (log z) t))) (- (* (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))) (* (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
  (- (* (* y (- (log z) t)) (* y (- (log z) t))) (* (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (- (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (+ (* y (- (log z) t)) (* a (log (* (cbrt 1.0) (cbrt 1.0)))))
  (+ (* y (- (log z) t)) (* a (log (sqrt 1.0))))
  (+ (* y (- (log z) t)) (* a (log 1)))
  (+ (* y (- (log z) t)) (* (log (* (cbrt 1.0) (cbrt 1.0))) a))
  (+ (* y (- (log z) t)) (* (log (sqrt 1.0)) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (+ (* y (- t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log (cbrt z)) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log (sqrt z)) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* (- t) y) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* (- (log (cbrt z)) t) y) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* (- (log (sqrt z)) t) y) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* (- (log z) t) y) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* (- t) y) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (* a b)))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (* 1.0 (* a 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 (- 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 (log z))
  (* y (- t))
  (* (log z) y)
  (* (- 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)
  (* (log z) y)
  (* (- 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)))
  (* (exp (* a b)) (exp (* 1.0 (* a z))))
  (log (+ (* a b) (* 1.0 (* a z))))
  (exp (+ (* a b) (* 1.0 (* a z))))
  (* (cbrt (+ (* a b) (* 1.0 (* a z)))) (cbrt (+ (* a b) (* 1.0 (* a z)))))
  (cbrt (+ (* a b) (* 1.0 (* a z))))
  (* (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))) (+ (* a b) (* 1.0 (* a z))))
  (sqrt (+ (* a b) (* 1.0 (* a z))))
  (sqrt (+ (* a b) (* 1.0 (* a z))))
  (+ (pow (* a b) 3) (pow (* 1.0 (* a z)) 3))
  (+ (* (* a b) (* a b)) (- (* (* 1.0 (* a z)) (* 1.0 (* a z))) (* (* a b) (* 1.0 (* a z)))))
  (- (* (* a b) (* a b)) (* (* 1.0 (* a z)) (* 1.0 (* a z))))
  (- (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ b (* 1.0 z))
  (/ z (exp t))
  (/ (exp (log 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)))
  (- 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)
  (- t)
  (- (+ (* (log z) y) (* a (log 1.0))) (* t y))
  (- (+ (* t y) (+ (* a b) (* 1.0 (* a z)))))
  (- (+ (* t y) (+ (* a b) (* 1.0 (* a z)))))
  (- (* (log z) y) (* t y))
  (- (+ (* t y) (* y (log (/ 1 z)))))
  (- (* (log -1) y) (+ (* t y) (* (log (/ -1 z)) y)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (- (log z) t)
  (- (+ t (log (/ 1 z))))
  (- (log -1) (+ (log (/ -1 z)) t))
1.606 * * [simplify]: iteration  0 :  572  enodes  (cost  1248 )
1.617 * * [simplify]: iteration  1 :  2523  enodes  (cost  1188 )
1.664 * * [simplify]: iteration  2 :  5001  enodes  (cost  1186 )
1.676 * [simplify]: Simplified to:
   (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))
  (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))
  (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))
  (log (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))
  (* (cbrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))) (cbrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
  (cbrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (pow (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y)) 3)
  (sqrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (sqrt (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
  (+ (* (* y (- (pow (log z) 3) (pow t 3))) (+ (* (* a (log 1.0)) (* a (log 1.0))) (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))) (* (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))) (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (- (pow (* a (log 1.0)) 3) (pow (+ (* a b) (* 1.0 (* a z))) 3))))
  (* (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (+ (* a b) (* 1.0 (* a z))) (* a (log 1.0)))) (* (* a (log 1.0)) (* a (log 1.0)))) (+ (* t (+ t (log z))) (* (log z) (log z))))
  (+ (* (* y (- (pow (log z) 3) (pow t 3))) (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))) (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (- (* (* a (log 1.0)) (* a (log 1.0))) (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))))))
  (* (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) (+ (* t (+ t (log z))) (* (log z) (log z))))
  (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (* (* a (log 1.0)) (* a (log 1.0))) (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))) (* (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))) (* (+ (log z) t) (- (pow (* a (log 1.0)) 3) (pow (+ (* a b) (* 1.0 (* a z))) 3))))
  (* (+ (* (+ (* a b) (* 1.0 (* a z))) (+ (+ (* a b) (* 1.0 (* a z))) (* a (log 1.0)))) (* (* a (log 1.0)) (* a (log 1.0)))) (+ (log z) t))
  (+ (* (* y (- (* (log z) (log z)) (* t t))) (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))) (* (+ (log z) t) (- (* (* a (log 1.0)) (* a (log 1.0))) (* (+ (* a b) (* 1.0 (* a z))) (+ (* a b) (* 1.0 (* a z)))))))
  (* (+ (log z) t) (+ (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
  (+ (pow (* y (- (log z) t)) 3) (pow (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) 3))
  (+ (* (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) (- (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))) (* y (- (log z) t)))) (* (* y (- (log z) t)) (* y (- (log z) t))))
  (* (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))) (- (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))
  (- (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (+ (* y (- (log z) t)) (* (log (* (cbrt 1.0) (cbrt 1.0))) a))
  (+ (* y (- (log z) t)) (* (log (sqrt 1.0)) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (- (log z) t)) (* (log (* (cbrt 1.0) (cbrt 1.0))) a))
  (+ (* y (- (log z) t)) (* (log (sqrt 1.0)) a))
  (+ (* y (- (log z) t)) (* (log 1) a))
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (- (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* t y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log (cbrt z)) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log (sqrt z)) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (- (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* t y))
  (- (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* t y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log (cbrt z)) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log (sqrt z)) t) y))
  (+ (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* (- (log z) t) y))
  (- (- (* a (- (log 1.0) b)) (* 1.0 (* a z))) (* t y))
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (+ (* a (- (log 1.0) b)) (* y (- (log z) t)))
  (+ (* y (- (log z) t)) (- (* a (log 1.0)) (* 1.0 (* a 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 (- t))
  (* y (* 2 (log (cbrt z))))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  0
  (* y (- (log z) t))
  (* y (log z))
  (* y (- t))
  (* y (log z))
  (* y (- t))
  (* y (* 2 (log (cbrt z))))
  (* y (- (log (cbrt z)) t))
  (* y (log (sqrt z)))
  (* y (- (log (sqrt z)) t))
  0
  (* y (- (log z) t))
  (* y (log z))
  (* y (- t))
  (* y (* (cbrt (- (log z) t)) (cbrt (- (log z) t))))
  (* y (sqrt (- (log z) t)))
  y
  (* y (+ (sqrt (log z)) (sqrt t)))
  y
  y
  (* (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)))
  (exp (+ (* a b) (* 1.0 (* a z))))
  (log (+ (* a b) (* 1.0 (* a z))))
  (exp (+ (* a b) (* 1.0 (* a z))))
  (* (cbrt (+ (* a b) (* 1.0 (* a z)))) (cbrt (+ (* a b) (* 1.0 (* a z)))))
  (cbrt (+ (* a b) (* 1.0 (* a z))))
  (pow (+ (* a b) (* 1.0 (* a z))) 3)
  (sqrt (+ (* a b) (* 1.0 (* a z))))
  (sqrt (+ (* a b) (* 1.0 (* a z))))
  (+ (pow (* a b) 3) (pow (* 1.0 (* a z)) 3))
  (+ (* (* 1.0 (* a z)) (- (* 1.0 (* a z)) (* a b))) (* (* a b) (* a b)))
  (- (* (* a b) (* a b)) (* (* 1.0 (* a z)) (* 1.0 (* a z))))
  (- (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ b (* 1.0 z))
  (/ z (exp 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) (log z)))
  (- 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)
  (- t)
  (+ (* y (- (log z) t)) (* a (log 1.0)))
  (- (+ (* t y) (+ (* a b) (* 1.0 (* a z)))))
  (- (+ (* t y) (+ (* a b) (* 1.0 (* a z)))))
  (* y (- (log z) t))
  (* y (- (log z) t))
  (* y (- (log -1) (+ (log (/ -1 z)) t)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (+ (* a b) (* 1.0 (* a z)))
  (- (log z) t)
  (- (log z) t)
  (- (log -1) (+ (log (/ -1 z)) t))
1.677 * * * [progress]: adding candidates to table
2.003 * [progress]: [Phase 3 of 3] Extracting.
2.007 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
2.007 * * [simplify]: iteration  0 :  28  enodes  (cost  13 )
2.008 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
2.008 * [simplify]: Simplified to:
   (* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
7.426 * [regime-testing]: End program error score: 0.40656441669631355