8.653 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.013 * * * [progress]: [2/2] Setting up program.
1.017 * [progress]: [Phase 2 of 3] Improving.
1.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
1.075 * * [simplify]: iteration  0 :  5017  enodes  (cost  17 )
1.076 * [simplify]: Simplified to:
   (/.f64 x (*.f64 (pow.f64 (/.f64 (exp.f64 t) z) y) (pow.f64 (/.f64 (exp.f64 b) (-.f64 1 z)) a)))
1.081 * * [progress]: iteration 1 / 4
1.081 * * * [progress]: picking best candidate
1.088 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))))>
1.088 * * * [progress]: localizing error
1.103 * * * [progress]: generating rewritten candidates
1.103 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
1.107 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.129 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.145 * * * [progress]: generating series expansions
1.145 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1)
1.145 * [approximate]: Taking taylor expansion of (log (- 1 z)) in (z) around 0
1.145 * [taylor]: Taking taylor expansion of (log (- 1 z)) in z
1.145 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.145 * [taylor]: Taking taylor expansion of 1 in z
1.145 * [taylor]: Taking taylor expansion of z in z
1.145 * [taylor]: Taking taylor expansion of (log (- 1 z)) in z
1.145 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.145 * [taylor]: Taking taylor expansion of 1 in z
1.145 * [taylor]: Taking taylor expansion of z in z
1.149 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 z))) in (z) around 0
1.149 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in z
1.149 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.149 * [taylor]: Taking taylor expansion of 1 in z
1.149 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.149 * [taylor]: Taking taylor expansion of z in z
1.149 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in z
1.149 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.149 * [taylor]: Taking taylor expansion of 1 in z
1.149 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.149 * [taylor]: Taking taylor expansion of z in z
1.150 * [approximate]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in (z) around 0
1.150 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in z
1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
1.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.150 * [taylor]: Taking taylor expansion of z in z
1.150 * [taylor]: Taking taylor expansion of 1 in z
1.150 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in z
1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
1.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.150 * [taylor]: Taking taylor expansion of z in z
1.150 * [taylor]: Taking taylor expansion of 1 in z
1.151 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.151 * [approximate]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log (- 1 z)))) (+ (* t y) (* a b))) in (y z t a b) around 0
1.151 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log (- 1 z)))) (+ (* t y) (* a b))) in b
1.151 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log (- 1 z)))) in b
1.151 * [taylor]: Taking taylor expansion of (* (log z) y) in b
1.151 * [taylor]: Taking taylor expansion of (log z) in b
1.151 * [taylor]: Taking taylor expansion of z in b
1.151 * [taylor]: Taking taylor expansion of y in b
1.151 * [taylor]: Taking taylor expansion of (* a (log (- 1 z))) in b
1.151 * [taylor]: Taking taylor expansion of a in b
1.151 * [taylor]: Taking taylor expansion of (log (- 1 z)) in b
1.151 * [taylor]: Taking taylor expansion of (- 1 z) in b
1.151 * [taylor]: Taking taylor expansion of 1 in b
1.151 * [taylor]: Taking taylor expansion of z in b
1.151 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in b
1.151 * [taylor]: Taking taylor expansion of (* t y) in b
1.151 * [taylor]: Taking taylor expansion of t in b
1.151 * [taylor]: Taking taylor expansion of y in b
1.151 * [taylor]: Taking taylor expansion of (* a b) in b
1.151 * [taylor]: Taking taylor expansion of a in b
1.151 * [taylor]: Taking taylor expansion of b in b
1.151 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log (- 1 z)))) (+ (* t y) (* a b))) in a
1.151 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log (- 1 z)))) in a
1.151 * [taylor]: Taking taylor expansion of (* (log z) y) in a
1.151 * [taylor]: Taking taylor expansion of (log z) in a
1.151 * [taylor]: Taking taylor expansion of z in a
1.151 * [taylor]: Taking taylor expansion of y in a
1.151 * [taylor]: Taking taylor expansion of (* a (log (- 1 z))) in a
1.151 * [taylor]: Taking taylor expansion of a in a
1.151 * [taylor]: Taking taylor expansion of (log (- 1 z)) in a
1.151 * [taylor]: Taking taylor expansion of (- 1 z) in a
1.151 * [taylor]: Taking taylor expansion of 1 in a
1.151 * [taylor]: Taking taylor expansion of z in a
1.151 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in a
1.151 * [taylor]: Taking taylor expansion of (* t y) in a
1.151 * [taylor]: Taking taylor expansion of t in a
1.151 * [taylor]: Taking taylor expansion of y in a
1.152 * [taylor]: Taking taylor expansion of (* a b) in a
1.152 * [taylor]: Taking taylor expansion of a in a
1.152 * [taylor]: Taking taylor expansion of b in a
1.152 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log (- 1 z)))) (+ (* t y) (* a b))) in t
1.152 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log (- 1 z)))) in t
1.152 * [taylor]: Taking taylor expansion of (* (log z) y) in t
1.152 * [taylor]: Taking taylor expansion of (log z) in t
1.152 * [taylor]: Taking taylor expansion of z in t
1.152 * [taylor]: Taking taylor expansion of y in t
1.152 * [taylor]: Taking taylor expansion of (* a (log (- 1 z))) in t
1.152 * [taylor]: Taking taylor expansion of a in t
1.152 * [taylor]: Taking taylor expansion of (log (- 1 z)) in t
1.152 * [taylor]: Taking taylor expansion of (- 1 z) in t
1.152 * [taylor]: Taking taylor expansion of 1 in t
1.152 * [taylor]: Taking taylor expansion of z in t
1.152 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in t
1.152 * [taylor]: Taking taylor expansion of (* t y) in t
1.152 * [taylor]: Taking taylor expansion of t in t
1.152 * [taylor]: Taking taylor expansion of y in t
1.152 * [taylor]: Taking taylor expansion of (* a b) in t
1.152 * [taylor]: Taking taylor expansion of a in t
1.152 * [taylor]: Taking taylor expansion of b in t
1.152 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log (- 1 z)))) (+ (* t y) (* a b))) in z
1.152 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log (- 1 z)))) in z
1.152 * [taylor]: Taking taylor expansion of (* (log z) y) in z
1.152 * [taylor]: Taking taylor expansion of (log z) in z
1.152 * [taylor]: Taking taylor expansion of z in z
1.152 * [taylor]: Taking taylor expansion of y in z
1.152 * [taylor]: Taking taylor expansion of (* a (log (- 1 z))) in z
1.152 * [taylor]: Taking taylor expansion of a in z
1.152 * [taylor]: Taking taylor expansion of (log (- 1 z)) in z
1.152 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.152 * [taylor]: Taking taylor expansion of 1 in z
1.152 * [taylor]: Taking taylor expansion of z in z
1.152 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in z
1.152 * [taylor]: Taking taylor expansion of (* t y) in z
1.152 * [taylor]: Taking taylor expansion of t in z
1.152 * [taylor]: Taking taylor expansion of y in z
1.152 * [taylor]: Taking taylor expansion of (* a b) in z
1.152 * [taylor]: Taking taylor expansion of a in z
1.152 * [taylor]: Taking taylor expansion of b in z
1.152 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log (- 1 z)))) (+ (* t y) (* a b))) in y
1.152 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log (- 1 z)))) in y
1.152 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.152 * [taylor]: Taking taylor expansion of (log z) in y
1.152 * [taylor]: Taking taylor expansion of z in y
1.152 * [taylor]: Taking taylor expansion of y in y
1.152 * [taylor]: Taking taylor expansion of (* a (log (- 1 z))) in y
1.152 * [taylor]: Taking taylor expansion of a in y
1.152 * [taylor]: Taking taylor expansion of (log (- 1 z)) in y
1.152 * [taylor]: Taking taylor expansion of (- 1 z) in y
1.152 * [taylor]: Taking taylor expansion of 1 in y
1.153 * [taylor]: Taking taylor expansion of z in y
1.153 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in y
1.153 * [taylor]: Taking taylor expansion of (* t y) in y
1.153 * [taylor]: Taking taylor expansion of t in y
1.153 * [taylor]: Taking taylor expansion of y in y
1.153 * [taylor]: Taking taylor expansion of (* a b) in y
1.153 * [taylor]: Taking taylor expansion of a in y
1.153 * [taylor]: Taking taylor expansion of b in y
1.153 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* a (log (- 1 z)))) (+ (* t y) (* a b))) in y
1.153 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* a (log (- 1 z)))) in y
1.153 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.153 * [taylor]: Taking taylor expansion of (log z) in y
1.153 * [taylor]: Taking taylor expansion of z in y
1.153 * [taylor]: Taking taylor expansion of y in y
1.153 * [taylor]: Taking taylor expansion of (* a (log (- 1 z))) in y
1.153 * [taylor]: Taking taylor expansion of a in y
1.153 * [taylor]: Taking taylor expansion of (log (- 1 z)) in y
1.153 * [taylor]: Taking taylor expansion of (- 1 z) in y
1.153 * [taylor]: Taking taylor expansion of 1 in y
1.153 * [taylor]: Taking taylor expansion of z in y
1.153 * [taylor]: Taking taylor expansion of (+ (* t y) (* a b)) in y
1.153 * [taylor]: Taking taylor expansion of (* t y) in y
1.153 * [taylor]: Taking taylor expansion of t in y
1.153 * [taylor]: Taking taylor expansion of y in y
1.153 * [taylor]: Taking taylor expansion of (* a b) in y
1.153 * [taylor]: Taking taylor expansion of a in y
1.153 * [taylor]: Taking taylor expansion of b in y
1.153 * [taylor]: Taking taylor expansion of (- (* a (log (- 1 z))) (* a b)) in z
1.153 * [taylor]: Taking taylor expansion of (* a (log (- 1 z))) in z
1.153 * [taylor]: Taking taylor expansion of a in z
1.153 * [taylor]: Taking taylor expansion of (log (- 1 z)) in z
1.153 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.153 * [taylor]: Taking taylor expansion of 1 in z
1.153 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of (* a b) in z
1.154 * [taylor]: Taking taylor expansion of a in z
1.154 * [taylor]: Taking taylor expansion of b in z
1.154 * [taylor]: Taking taylor expansion of (neg (* a b)) in t
1.154 * [taylor]: Taking taylor expansion of (* a b) in t
1.154 * [taylor]: Taking taylor expansion of a in t
1.154 * [taylor]: Taking taylor expansion of b in t
1.154 * [taylor]: Taking taylor expansion of (neg (* a b)) in a
1.154 * [taylor]: Taking taylor expansion of (* a b) in a
1.154 * [taylor]: Taking taylor expansion of a in a
1.154 * [taylor]: Taking taylor expansion of b in a
1.154 * [taylor]: Taking taylor expansion of 0 in b
1.154 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.154 * [taylor]: Taking taylor expansion of (log z) in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of t in z
1.155 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.155 * [taylor]: Taking taylor expansion of (log z) in t
1.155 * [taylor]: Taking taylor expansion of z in t
1.155 * [taylor]: Taking taylor expansion of t in t
1.155 * [taylor]: Taking taylor expansion of (log z) in a
1.155 * [taylor]: Taking taylor expansion of z in a
1.155 * [taylor]: Taking taylor expansion of (log z) in b
1.155 * [taylor]: Taking taylor expansion of z in b
1.155 * [taylor]: Taking taylor expansion of (neg a) in t
1.155 * [taylor]: Taking taylor expansion of a in t
1.155 * [taylor]: Taking taylor expansion of (neg a) in a
1.155 * [taylor]: Taking taylor expansion of a in a
1.155 * [taylor]: Taking taylor expansion of 0 in b
1.155 * [taylor]: Taking taylor expansion of 0 in a
1.155 * [taylor]: Taking taylor expansion of 0 in b
1.155 * [taylor]: Taking taylor expansion of (neg b) in b
1.155 * [taylor]: Taking taylor expansion of b in b
1.156 * [taylor]: Taking taylor expansion of 0 in z
1.156 * [taylor]: Taking taylor expansion of 0 in t
1.156 * [taylor]: Taking taylor expansion of 0 in a
1.156 * [taylor]: Taking taylor expansion of 0 in b
1.156 * [taylor]: Taking taylor expansion of 0 in t
1.156 * [taylor]: Taking taylor expansion of 0 in a
1.156 * [taylor]: Taking taylor expansion of 0 in b
1.157 * [approximate]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in (y z t a b) around 0
1.157 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in b
1.157 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in b
1.157 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 z))) a) in b
1.157 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in b
1.157 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in b
1.157 * [taylor]: Taking taylor expansion of 1 in b
1.157 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.157 * [taylor]: Taking taylor expansion of z in b
1.157 * [taylor]: Taking taylor expansion of a in b
1.157 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in b
1.157 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in b
1.157 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.157 * [taylor]: Taking taylor expansion of z in b
1.157 * [taylor]: Taking taylor expansion of y in b
1.157 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in b
1.157 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.157 * [taylor]: Taking taylor expansion of (* a b) in b
1.157 * [taylor]: Taking taylor expansion of a in b
1.157 * [taylor]: Taking taylor expansion of b in b
1.157 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.157 * [taylor]: Taking taylor expansion of (* t y) in b
1.157 * [taylor]: Taking taylor expansion of t in b
1.157 * [taylor]: Taking taylor expansion of y in b
1.157 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in a
1.158 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in a
1.158 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 z))) a) in a
1.158 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in a
1.158 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in a
1.158 * [taylor]: Taking taylor expansion of 1 in a
1.158 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.158 * [taylor]: Taking taylor expansion of z in a
1.158 * [taylor]: Taking taylor expansion of a in a
1.158 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in a
1.158 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in a
1.158 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.158 * [taylor]: Taking taylor expansion of z in a
1.158 * [taylor]: Taking taylor expansion of y in a
1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in a
1.158 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.158 * [taylor]: Taking taylor expansion of (* a b) in a
1.158 * [taylor]: Taking taylor expansion of a in a
1.158 * [taylor]: Taking taylor expansion of b in a
1.158 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.158 * [taylor]: Taking taylor expansion of (* t y) in a
1.158 * [taylor]: Taking taylor expansion of t in a
1.158 * [taylor]: Taking taylor expansion of y in a
1.158 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in t
1.158 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in t
1.158 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 z))) a) in t
1.158 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in t
1.158 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in t
1.158 * [taylor]: Taking taylor expansion of 1 in t
1.158 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.158 * [taylor]: Taking taylor expansion of z in t
1.158 * [taylor]: Taking taylor expansion of a in t
1.159 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in t
1.159 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.159 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.159 * [taylor]: Taking taylor expansion of z in t
1.159 * [taylor]: Taking taylor expansion of y in t
1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in t
1.159 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.159 * [taylor]: Taking taylor expansion of (* a b) in t
1.159 * [taylor]: Taking taylor expansion of a in t
1.159 * [taylor]: Taking taylor expansion of b in t
1.159 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
1.159 * [taylor]: Taking taylor expansion of (* t y) in t
1.159 * [taylor]: Taking taylor expansion of t in t
1.159 * [taylor]: Taking taylor expansion of y in t
1.159 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in z
1.159 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in z
1.159 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 z))) a) in z
1.159 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in z
1.159 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.159 * [taylor]: Taking taylor expansion of 1 in z
1.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.159 * [taylor]: Taking taylor expansion of z in z
1.159 * [taylor]: Taking taylor expansion of a in z
1.159 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
1.159 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.159 * [taylor]: Taking taylor expansion of z in z
1.159 * [taylor]: Taking taylor expansion of y in z
1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in z
1.160 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.160 * [taylor]: Taking taylor expansion of (* a b) in z
1.160 * [taylor]: Taking taylor expansion of a in z
1.160 * [taylor]: Taking taylor expansion of b in z
1.160 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
1.160 * [taylor]: Taking taylor expansion of (* t y) in z
1.160 * [taylor]: Taking taylor expansion of t in z
1.160 * [taylor]: Taking taylor expansion of y in z
1.160 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in y
1.160 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in y
1.160 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 z))) a) in y
1.160 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in y
1.160 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
1.160 * [taylor]: Taking taylor expansion of 1 in y
1.160 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.160 * [taylor]: Taking taylor expansion of z in y
1.160 * [taylor]: Taking taylor expansion of a in y
1.160 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.160 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.160 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.160 * [taylor]: Taking taylor expansion of z in y
1.160 * [taylor]: Taking taylor expansion of y in y
1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in y
1.160 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.160 * [taylor]: Taking taylor expansion of (* a b) in y
1.160 * [taylor]: Taking taylor expansion of a in y
1.160 * [taylor]: Taking taylor expansion of b in y
1.160 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.160 * [taylor]: Taking taylor expansion of (* t y) in y
1.160 * [taylor]: Taking taylor expansion of t in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of (- (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) (+ (/ 1 (* a b)) (/ 1 (* t y)))) in y
1.161 * [taylor]: Taking taylor expansion of (+ (/ (log (- 1 (/ 1 z))) a) (/ (log (/ 1 z)) y)) in y
1.161 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 z))) a) in y
1.161 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in y
1.161 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
1.161 * [taylor]: Taking taylor expansion of 1 in y
1.161 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.161 * [taylor]: Taking taylor expansion of z in y
1.161 * [taylor]: Taking taylor expansion of a in y
1.161 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.161 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.161 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.161 * [taylor]: Taking taylor expansion of z in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* t y))) in y
1.161 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.161 * [taylor]: Taking taylor expansion of (* a b) in y
1.161 * [taylor]: Taking taylor expansion of a in y
1.161 * [taylor]: Taking taylor expansion of b in y
1.161 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.161 * [taylor]: Taking taylor expansion of (* t y) in y
1.161 * [taylor]: Taking taylor expansion of t in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.162 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.162 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.162 * [taylor]: Taking taylor expansion of z in z
1.162 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.162 * [taylor]: Taking taylor expansion of t in z
1.162 * [taylor]: Taking taylor expansion of (neg (+ (log z) (/ 1 t))) in t
1.162 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.162 * [taylor]: Taking taylor expansion of (log z) in t
1.162 * [taylor]: Taking taylor expansion of z in t
1.162 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.162 * [taylor]: Taking taylor expansion of t in t
1.162 * [taylor]: Taking taylor expansion of -1 in a
1.162 * [taylor]: Taking taylor expansion of (- (/ (log (- 1 (/ 1 z))) a) (/ 1 (* a b))) in z
1.162 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 z))) a) in z
1.162 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in z
1.162 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.163 * [taylor]: Taking taylor expansion of 1 in z
1.163 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.163 * [taylor]: Taking taylor expansion of z in z
1.163 * [taylor]: Taking taylor expansion of a in z
1.163 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.163 * [taylor]: Taking taylor expansion of (* a b) in z
1.163 * [taylor]: Taking taylor expansion of a in z
1.163 * [taylor]: Taking taylor expansion of b in z
1.163 * [taylor]: Taking taylor expansion of (- (/ (log -1) a) (+ (/ (log z) a) (/ 1 (* a b)))) in t
1.163 * [taylor]: Taking taylor expansion of (/ (log -1) a) in t
1.163 * [taylor]: Taking taylor expansion of (log -1) in t
1.163 * [taylor]: Taking taylor expansion of -1 in t
1.163 * [taylor]: Taking taylor expansion of a in t
1.163 * [taylor]: Taking taylor expansion of (+ (/ (log z) a) (/ 1 (* a b))) in t
1.163 * [taylor]: Taking taylor expansion of (/ (log z) a) in t
1.163 * [taylor]: Taking taylor expansion of (log z) in t
1.163 * [taylor]: Taking taylor expansion of z in t
1.163 * [taylor]: Taking taylor expansion of a in t
1.163 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.163 * [taylor]: Taking taylor expansion of (* a b) in t
1.163 * [taylor]: Taking taylor expansion of a in t
1.163 * [taylor]: Taking taylor expansion of b in t
1.164 * [taylor]: Taking taylor expansion of 0 in t
1.164 * [taylor]: Taking taylor expansion of (neg (log z)) in a
1.164 * [taylor]: Taking taylor expansion of (log z) in a
1.164 * [taylor]: Taking taylor expansion of z in a
1.164 * [taylor]: Taking taylor expansion of -1 in b
1.165 * [taylor]: Taking taylor expansion of 0 in z
1.165 * [taylor]: Taking taylor expansion of 0 in t
1.165 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in t
1.165 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.165 * [taylor]: Taking taylor expansion of a in t
1.165 * [taylor]: Taking taylor expansion of 0 in t
1.166 * [taylor]: Taking taylor expansion of (- (/ (log -1) a) (+ (/ (log z) a) (/ 1 (* a b)))) in a
1.166 * [taylor]: Taking taylor expansion of (/ (log -1) a) in a
1.166 * [taylor]: Taking taylor expansion of (log -1) in a
1.166 * [taylor]: Taking taylor expansion of -1 in a
1.166 * [taylor]: Taking taylor expansion of a in a
1.166 * [taylor]: Taking taylor expansion of (+ (/ (log z) a) (/ 1 (* a b))) in a
1.166 * [taylor]: Taking taylor expansion of (/ (log z) a) in a
1.166 * [taylor]: Taking taylor expansion of (log z) in a
1.166 * [taylor]: Taking taylor expansion of z in a
1.166 * [taylor]: Taking taylor expansion of a in a
1.166 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.166 * [taylor]: Taking taylor expansion of (* a b) in a
1.166 * [taylor]: Taking taylor expansion of a in a
1.166 * [taylor]: Taking taylor expansion of b in a
1.166 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log z) (/ 1 b))) in b
1.166 * [taylor]: Taking taylor expansion of (log -1) in b
1.166 * [taylor]: Taking taylor expansion of -1 in b
1.166 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 b)) in b
1.166 * [taylor]: Taking taylor expansion of (log z) in b
1.166 * [taylor]: Taking taylor expansion of z in b
1.166 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.166 * [taylor]: Taking taylor expansion of b in b
1.166 * [taylor]: Taking taylor expansion of 0 in a
1.167 * [taylor]: Taking taylor expansion of 0 in a
1.167 * [taylor]: Taking taylor expansion of (neg (log z)) in b
1.167 * [taylor]: Taking taylor expansion of (log z) in b
1.167 * [taylor]: Taking taylor expansion of z in b
1.167 * [taylor]: Taking taylor expansion of 0 in b
1.168 * [taylor]: Taking taylor expansion of 0 in z
1.168 * [taylor]: Taking taylor expansion of 0 in t
1.168 * [taylor]: Taking taylor expansion of 0 in t
1.168 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 a))) in t
1.168 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in t
1.168 * [taylor]: Taking taylor expansion of 1/2 in t
1.169 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.169 * [taylor]: Taking taylor expansion of a in t
1.169 * [taylor]: Taking taylor expansion of 0 in t
1.169 * [taylor]: Taking taylor expansion of 0 in a
1.169 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.169 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.169 * [taylor]: Taking taylor expansion of a in a
1.169 * [taylor]: Taking taylor expansion of -1 in b
1.169 * [taylor]: Taking taylor expansion of 0 in a
1.169 * [taylor]: Taking taylor expansion of 0 in a
1.169 * [taylor]: Taking taylor expansion of 0 in a
1.170 * [taylor]: Taking taylor expansion of 0 in a
1.170 * [taylor]: Taking taylor expansion of 0 in b
1.170 * [taylor]: Taking taylor expansion of 0 in b
1.170 * [taylor]: Taking taylor expansion of 0 in b
1.170 * [taylor]: Taking taylor expansion of 0 in b
1.170 * [taylor]: Taking taylor expansion of 0 in b
1.172 * [approximate]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))))) in (y z t a b) around 0
1.172 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))))) in b
1.172 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)))) in b
1.172 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1)) a) in b
1.172 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in b
1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in b
1.172 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.172 * [taylor]: Taking taylor expansion of z in b
1.172 * [taylor]: Taking taylor expansion of 1 in b
1.172 * [taylor]: Taking taylor expansion of a in b
1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))) in b
1.172 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.172 * [taylor]: Taking taylor expansion of (* a b) in b
1.172 * [taylor]: Taking taylor expansion of a in b
1.172 * [taylor]: Taking taylor expansion of b in b
1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)) in b
1.172 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.172 * [taylor]: Taking taylor expansion of (* t y) in b
1.172 * [taylor]: Taking taylor expansion of t in b
1.172 * [taylor]: Taking taylor expansion of y in b
1.172 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in b
1.172 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in b
1.172 * [taylor]: Taking taylor expansion of (/ -1 z) in b
1.172 * [taylor]: Taking taylor expansion of -1 in b
1.172 * [taylor]: Taking taylor expansion of z in b
1.172 * [taylor]: Taking taylor expansion of y in b
1.172 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))))) in a
1.172 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)))) in a
1.172 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1)) a) in a
1.172 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in a
1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in a
1.172 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.172 * [taylor]: Taking taylor expansion of z in a
1.173 * [taylor]: Taking taylor expansion of 1 in a
1.173 * [taylor]: Taking taylor expansion of a in a
1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))) in a
1.173 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.173 * [taylor]: Taking taylor expansion of (* a b) in a
1.173 * [taylor]: Taking taylor expansion of a in a
1.173 * [taylor]: Taking taylor expansion of b in a
1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)) in a
1.173 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.173 * [taylor]: Taking taylor expansion of (* t y) in a
1.173 * [taylor]: Taking taylor expansion of t in a
1.173 * [taylor]: Taking taylor expansion of y in a
1.173 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in a
1.173 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in a
1.173 * [taylor]: Taking taylor expansion of (/ -1 z) in a
1.173 * [taylor]: Taking taylor expansion of -1 in a
1.173 * [taylor]: Taking taylor expansion of z in a
1.173 * [taylor]: Taking taylor expansion of y in a
1.173 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))))) in t
1.173 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)))) in t
1.173 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1)) a) in t
1.173 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in t
1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t
1.173 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.173 * [taylor]: Taking taylor expansion of z in t
1.173 * [taylor]: Taking taylor expansion of 1 in t
1.173 * [taylor]: Taking taylor expansion of a in t
1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))) in t
1.173 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.174 * [taylor]: Taking taylor expansion of (* a b) in t
1.174 * [taylor]: Taking taylor expansion of a in t
1.174 * [taylor]: Taking taylor expansion of b in t
1.174 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)) in t
1.174 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
1.174 * [taylor]: Taking taylor expansion of (* t y) in t
1.174 * [taylor]: Taking taylor expansion of t in t
1.174 * [taylor]: Taking taylor expansion of y in t
1.174 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in t
1.174 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.174 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.174 * [taylor]: Taking taylor expansion of -1 in t
1.174 * [taylor]: Taking taylor expansion of z in t
1.174 * [taylor]: Taking taylor expansion of y in t
1.174 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))))) in z
1.174 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)))) in z
1.174 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1)) a) in z
1.174 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in z
1.174 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
1.174 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.174 * [taylor]: Taking taylor expansion of z in z
1.174 * [taylor]: Taking taylor expansion of 1 in z
1.174 * [taylor]: Taking taylor expansion of a in z
1.174 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))) in z
1.174 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.174 * [taylor]: Taking taylor expansion of (* a b) in z
1.174 * [taylor]: Taking taylor expansion of a in z
1.174 * [taylor]: Taking taylor expansion of b in z
1.174 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)) in z
1.174 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
1.174 * [taylor]: Taking taylor expansion of (* t y) in z
1.174 * [taylor]: Taking taylor expansion of t in z
1.174 * [taylor]: Taking taylor expansion of y in z
1.175 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
1.175 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.175 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.175 * [taylor]: Taking taylor expansion of -1 in z
1.175 * [taylor]: Taking taylor expansion of z in z
1.175 * [taylor]: Taking taylor expansion of y in z
1.175 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))))) in y
1.175 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)))) in y
1.175 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1)) a) in y
1.175 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in y
1.175 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
1.175 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.175 * [taylor]: Taking taylor expansion of z in y
1.175 * [taylor]: Taking taylor expansion of 1 in y
1.175 * [taylor]: Taking taylor expansion of a in y
1.175 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))) in y
1.175 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.175 * [taylor]: Taking taylor expansion of (* a b) in y
1.175 * [taylor]: Taking taylor expansion of a in y
1.175 * [taylor]: Taking taylor expansion of b in y
1.175 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)) in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.176 * [taylor]: Taking taylor expansion of (* t y) in y
1.176 * [taylor]: Taking taylor expansion of t in y
1.176 * [taylor]: Taking taylor expansion of y in y
1.176 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.176 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.176 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.176 * [taylor]: Taking taylor expansion of -1 in y
1.176 * [taylor]: Taking taylor expansion of z in y
1.176 * [taylor]: Taking taylor expansion of y in y
1.176 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))))) in y
1.176 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 z) 1)) a) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)))) in y
1.176 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1)) a) in y
1.176 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in y
1.176 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.176 * [taylor]: Taking taylor expansion of z in y
1.176 * [taylor]: Taking taylor expansion of 1 in y
1.176 * [taylor]: Taking taylor expansion of a in y
1.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y))) in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.176 * [taylor]: Taking taylor expansion of (* a b) in y
1.176 * [taylor]: Taking taylor expansion of a in y
1.176 * [taylor]: Taking taylor expansion of b in y
1.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ (log (/ -1 z)) y)) in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.176 * [taylor]: Taking taylor expansion of (* t y) in y
1.176 * [taylor]: Taking taylor expansion of t in y
1.176 * [taylor]: Taking taylor expansion of y in y
1.176 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.176 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.176 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.176 * [taylor]: Taking taylor expansion of -1 in y
1.176 * [taylor]: Taking taylor expansion of z in y
1.177 * [taylor]: Taking taylor expansion of y in y
1.177 * [taylor]: Taking taylor expansion of (neg (+ (log (/ -1 z)) (/ 1 t))) in z
1.177 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.177 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.177 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.177 * [taylor]: Taking taylor expansion of -1 in z
1.177 * [taylor]: Taking taylor expansion of z in z
1.177 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.177 * [taylor]: Taking taylor expansion of t in z
1.177 * [taylor]: Taking taylor expansion of (- (log z) (+ (log -1) (/ 1 t))) in t
1.177 * [taylor]: Taking taylor expansion of (log z) in t
1.177 * [taylor]: Taking taylor expansion of z in t
1.177 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.177 * [taylor]: Taking taylor expansion of (log -1) in t
1.177 * [taylor]: Taking taylor expansion of -1 in t
1.177 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.177 * [taylor]: Taking taylor expansion of t in t
1.177 * [taylor]: Taking taylor expansion of -1 in a
1.178 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (/ 1 z) 1)) a) (/ 1 (* a b)))) in z
1.178 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 z) 1)) a) (/ 1 (* a b))) in z
1.178 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 z) 1)) a) in z
1.178 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in z
1.178 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
1.178 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.178 * [taylor]: Taking taylor expansion of z in z
1.178 * [taylor]: Taking taylor expansion of 1 in z
1.178 * [taylor]: Taking taylor expansion of a in z
1.178 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.178 * [taylor]: Taking taylor expansion of (* a b) in z
1.178 * [taylor]: Taking taylor expansion of a in z
1.178 * [taylor]: Taking taylor expansion of b in z
1.179 * [taylor]: Taking taylor expansion of (- (/ (log z) a) (/ 1 (* a b))) in t
1.179 * [taylor]: Taking taylor expansion of (/ (log z) a) in t
1.179 * [taylor]: Taking taylor expansion of (log z) in t
1.179 * [taylor]: Taking taylor expansion of z in t
1.179 * [taylor]: Taking taylor expansion of a in t
1.179 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.179 * [taylor]: Taking taylor expansion of (* a b) in t
1.179 * [taylor]: Taking taylor expansion of a in t
1.179 * [taylor]: Taking taylor expansion of b in t
1.179 * [taylor]: Taking taylor expansion of 0 in t
1.179 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in a
1.179 * [taylor]: Taking taylor expansion of (log z) in a
1.179 * [taylor]: Taking taylor expansion of z in a
1.179 * [taylor]: Taking taylor expansion of (log -1) in a
1.179 * [taylor]: Taking taylor expansion of -1 in a
1.179 * [taylor]: Taking taylor expansion of -1 in b
1.180 * [taylor]: Taking taylor expansion of 0 in z
1.180 * [taylor]: Taking taylor expansion of 0 in t
1.181 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in t
1.181 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.181 * [taylor]: Taking taylor expansion of a in t
1.181 * [taylor]: Taking taylor expansion of 0 in t
1.181 * [taylor]: Taking taylor expansion of (- (/ (log z) a) (/ 1 (* a b))) in a
1.181 * [taylor]: Taking taylor expansion of (/ (log z) a) in a
1.181 * [taylor]: Taking taylor expansion of (log z) in a
1.181 * [taylor]: Taking taylor expansion of z in a
1.181 * [taylor]: Taking taylor expansion of a in a
1.181 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.181 * [taylor]: Taking taylor expansion of (* a b) in a
1.181 * [taylor]: Taking taylor expansion of a in a
1.181 * [taylor]: Taking taylor expansion of b in a
1.181 * [taylor]: Taking taylor expansion of (- (log z) (/ 1 b)) in b
1.181 * [taylor]: Taking taylor expansion of (log z) in b
1.181 * [taylor]: Taking taylor expansion of z in b
1.181 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.181 * [taylor]: Taking taylor expansion of b in b
1.181 * [taylor]: Taking taylor expansion of 0 in a
1.182 * [taylor]: Taking taylor expansion of 0 in a
1.182 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in b
1.182 * [taylor]: Taking taylor expansion of (log z) in b
1.182 * [taylor]: Taking taylor expansion of z in b
1.182 * [taylor]: Taking taylor expansion of (log -1) in b
1.182 * [taylor]: Taking taylor expansion of -1 in b
1.182 * [taylor]: Taking taylor expansion of 0 in b
1.183 * [taylor]: Taking taylor expansion of 0 in z
1.183 * [taylor]: Taking taylor expansion of 0 in t
1.183 * [taylor]: Taking taylor expansion of 0 in t
1.184 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in t
1.184 * [taylor]: Taking taylor expansion of 1/2 in t
1.184 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.184 * [taylor]: Taking taylor expansion of a in t
1.184 * [taylor]: Taking taylor expansion of 0 in t
1.184 * [taylor]: Taking taylor expansion of 0 in a
1.184 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.184 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.184 * [taylor]: Taking taylor expansion of a in a
1.184 * [taylor]: Taking taylor expansion of -1 in b
1.184 * [taylor]: Taking taylor expansion of 0 in a
1.185 * [taylor]: Taking taylor expansion of 0 in a
1.185 * [taylor]: Taking taylor expansion of 0 in a
1.185 * [taylor]: Taking taylor expansion of 0 in a
1.185 * [taylor]: Taking taylor expansion of 0 in b
1.185 * [taylor]: Taking taylor expansion of 0 in b
1.185 * [taylor]: Taking taylor expansion of 0 in b
1.185 * [taylor]: Taking taylor expansion of 0 in b
1.186 * [taylor]: Taking taylor expansion of 0 in b
1.186 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.186 * [approximate]: Taking taylor expansion of (* (- (log z) t) y) in (y z t) around 0
1.186 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in t
1.186 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.186 * [taylor]: Taking taylor expansion of (log z) in t
1.186 * [taylor]: Taking taylor expansion of z in t
1.186 * [taylor]: Taking taylor expansion of t in t
1.186 * [taylor]: Taking taylor expansion of y in t
1.186 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in z
1.186 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.186 * [taylor]: Taking taylor expansion of (log z) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of t in z
1.186 * [taylor]: Taking taylor expansion of y in z
1.186 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.186 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.186 * [taylor]: Taking taylor expansion of (log z) in y
1.186 * [taylor]: Taking taylor expansion of z in y
1.186 * [taylor]: Taking taylor expansion of t in y
1.186 * [taylor]: Taking taylor expansion of y in y
1.186 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.187 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.187 * [taylor]: Taking taylor expansion of (log z) in y
1.187 * [taylor]: Taking taylor expansion of z in y
1.187 * [taylor]: Taking taylor expansion of t in y
1.187 * [taylor]: Taking taylor expansion of y in y
1.187 * [taylor]: Taking taylor expansion of 0 in z
1.187 * [taylor]: Taking taylor expansion of 0 in t
1.187 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.187 * [taylor]: Taking taylor expansion of (log z) in z
1.187 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of t in z
1.187 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.187 * [taylor]: Taking taylor expansion of (log z) in t
1.187 * [taylor]: Taking taylor expansion of z in t
1.187 * [taylor]: Taking taylor expansion of t in t
1.187 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 0 in z
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 0 in z
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.189 * [approximate]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in (y z t) around 0
1.189 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in t
1.189 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.189 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.189 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.189 * [taylor]: Taking taylor expansion of z in t
1.189 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.189 * [taylor]: Taking taylor expansion of t in t
1.189 * [taylor]: Taking taylor expansion of y in t
1.189 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in z
1.189 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.189 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.189 * [taylor]: Taking taylor expansion of z in z
1.189 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.189 * [taylor]: Taking taylor expansion of t in z
1.189 * [taylor]: Taking taylor expansion of y in z
1.189 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.189 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.189 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.189 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.189 * [taylor]: Taking taylor expansion of z in y
1.189 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.189 * [taylor]: Taking taylor expansion of t in y
1.189 * [taylor]: Taking taylor expansion of y in y
1.190 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.190 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.190 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.190 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.190 * [taylor]: Taking taylor expansion of z in y
1.190 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.190 * [taylor]: Taking taylor expansion of t in y
1.190 * [taylor]: Taking taylor expansion of y in y
1.190 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.190 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.190 * [taylor]: Taking taylor expansion of z in z
1.190 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.190 * [taylor]: Taking taylor expansion of t in z
1.190 * [taylor]: Taking taylor expansion of (neg (+ (log z) (/ 1 t))) in t
1.190 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.190 * [taylor]: Taking taylor expansion of (log z) in t
1.190 * [taylor]: Taking taylor expansion of z in t
1.190 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.190 * [taylor]: Taking taylor expansion of t in t
1.191 * [taylor]: Taking taylor expansion of 0 in z
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in z
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.191 * [taylor]: Taking taylor expansion of 0 in t
1.192 * [taylor]: Taking taylor expansion of 0 in t
1.192 * [taylor]: Taking taylor expansion of 0 in z
1.192 * [taylor]: Taking taylor expansion of 0 in t
1.192 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in (y z t) around 0
1.193 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in t
1.193 * [taylor]: Taking taylor expansion of -1 in t
1.193 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in t
1.193 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.193 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.193 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.193 * [taylor]: Taking taylor expansion of -1 in t
1.193 * [taylor]: Taking taylor expansion of z in t
1.193 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.193 * [taylor]: Taking taylor expansion of t in t
1.193 * [taylor]: Taking taylor expansion of y in t
1.193 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in z
1.193 * [taylor]: Taking taylor expansion of -1 in z
1.194 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in z
1.194 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.194 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.194 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.194 * [taylor]: Taking taylor expansion of -1 in z
1.194 * [taylor]: Taking taylor expansion of z in z
1.194 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.194 * [taylor]: Taking taylor expansion of t in z
1.194 * [taylor]: Taking taylor expansion of y in z
1.194 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.194 * [taylor]: Taking taylor expansion of -1 in y
1.194 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.194 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.194 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.194 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.194 * [taylor]: Taking taylor expansion of -1 in y
1.194 * [taylor]: Taking taylor expansion of z in y
1.194 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.194 * [taylor]: Taking taylor expansion of t in y
1.194 * [taylor]: Taking taylor expansion of y in y
1.194 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.194 * [taylor]: Taking taylor expansion of -1 in y
1.194 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.194 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.194 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.194 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.194 * [taylor]: Taking taylor expansion of -1 in y
1.194 * [taylor]: Taking taylor expansion of z in y
1.194 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.194 * [taylor]: Taking taylor expansion of t in y
1.195 * [taylor]: Taking taylor expansion of y in y
1.195 * [taylor]: Taking taylor expansion of (* -1 (+ (log (/ -1 z)) (/ 1 t))) in z
1.195 * [taylor]: Taking taylor expansion of -1 in z
1.195 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.195 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.195 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.195 * [taylor]: Taking taylor expansion of -1 in z
1.195 * [taylor]: Taking taylor expansion of z in z
1.195 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.195 * [taylor]: Taking taylor expansion of t in z
1.195 * [taylor]: Taking taylor expansion of (* -1 (- (+ (log -1) (/ 1 t)) (log z))) in t
1.195 * [taylor]: Taking taylor expansion of -1 in t
1.195 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.195 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.195 * [taylor]: Taking taylor expansion of (log -1) in t
1.195 * [taylor]: Taking taylor expansion of -1 in t
1.195 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.195 * [taylor]: Taking taylor expansion of t in t
1.195 * [taylor]: Taking taylor expansion of (log z) in t
1.195 * [taylor]: Taking taylor expansion of z in t
1.196 * [taylor]: Taking taylor expansion of 0 in z
1.196 * [taylor]: Taking taylor expansion of 0 in t
1.196 * [taylor]: Taking taylor expansion of 0 in t
1.197 * [taylor]: Taking taylor expansion of 0 in z
1.197 * [taylor]: Taking taylor expansion of 0 in t
1.197 * [taylor]: Taking taylor expansion of 0 in t
1.197 * [taylor]: Taking taylor expansion of 0 in t
1.198 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [taylor]: Taking taylor expansion of 0 in t
1.198 * [taylor]: Taking taylor expansion of 0 in t
1.198 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.199 * [approximate]: Taking taylor expansion of (* (- (log (- 1 z)) b) a) in (a z b) around 0
1.199 * [taylor]: Taking taylor expansion of (* (- (log (- 1 z)) b) a) in b
1.199 * [taylor]: Taking taylor expansion of (- (log (- 1 z)) b) in b
1.199 * [taylor]: Taking taylor expansion of (log (- 1 z)) in b
1.199 * [taylor]: Taking taylor expansion of (- 1 z) in b
1.199 * [taylor]: Taking taylor expansion of 1 in b
1.199 * [taylor]: Taking taylor expansion of z in b
1.199 * [taylor]: Taking taylor expansion of b in b
1.199 * [taylor]: Taking taylor expansion of a in b
1.199 * [taylor]: Taking taylor expansion of (* (- (log (- 1 z)) b) a) in z
1.199 * [taylor]: Taking taylor expansion of (- (log (- 1 z)) b) in z
1.199 * [taylor]: Taking taylor expansion of (log (- 1 z)) in z
1.199 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.199 * [taylor]: Taking taylor expansion of 1 in z
1.199 * [taylor]: Taking taylor expansion of z in z
1.199 * [taylor]: Taking taylor expansion of b in z
1.199 * [taylor]: Taking taylor expansion of a in z
1.199 * [taylor]: Taking taylor expansion of (* (- (log (- 1 z)) b) a) in a
1.199 * [taylor]: Taking taylor expansion of (- (log (- 1 z)) b) in a
1.199 * [taylor]: Taking taylor expansion of (log (- 1 z)) in a
1.200 * [taylor]: Taking taylor expansion of (- 1 z) in a
1.200 * [taylor]: Taking taylor expansion of 1 in a
1.200 * [taylor]: Taking taylor expansion of z in a
1.200 * [taylor]: Taking taylor expansion of b in a
1.200 * [taylor]: Taking taylor expansion of a in a
1.200 * [taylor]: Taking taylor expansion of (* (- (log (- 1 z)) b) a) in a
1.200 * [taylor]: Taking taylor expansion of (- (log (- 1 z)) b) in a
1.200 * [taylor]: Taking taylor expansion of (log (- 1 z)) in a
1.200 * [taylor]: Taking taylor expansion of (- 1 z) in a
1.200 * [taylor]: Taking taylor expansion of 1 in a
1.200 * [taylor]: Taking taylor expansion of z in a
1.200 * [taylor]: Taking taylor expansion of b in a
1.200 * [taylor]: Taking taylor expansion of a in a
1.200 * [taylor]: Taking taylor expansion of 0 in z
1.200 * [taylor]: Taking taylor expansion of 0 in b
1.200 * [taylor]: Taking taylor expansion of (- (log (- 1 z)) b) in z
1.200 * [taylor]: Taking taylor expansion of (log (- 1 z)) in z
1.200 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.200 * [taylor]: Taking taylor expansion of 1 in z
1.200 * [taylor]: Taking taylor expansion of z in z
1.200 * [taylor]: Taking taylor expansion of b in z
1.200 * [taylor]: Taking taylor expansion of (neg b) in b
1.200 * [taylor]: Taking taylor expansion of b in b
1.200 * [taylor]: Taking taylor expansion of 0 in b
1.201 * [taylor]: Taking taylor expansion of 0 in z
1.201 * [taylor]: Taking taylor expansion of 0 in b
1.201 * [taylor]: Taking taylor expansion of -1 in b
1.201 * [taylor]: Taking taylor expansion of 0 in b
1.201 * [taylor]: Taking taylor expansion of 0 in z
1.201 * [taylor]: Taking taylor expansion of 0 in b
1.201 * [taylor]: Taking taylor expansion of 0 in b
1.202 * [taylor]: Taking taylor expansion of -1/2 in b
1.202 * [approximate]: Taking taylor expansion of (/ (- (log (- 1 (/ 1 z))) (/ 1 b)) a) in (a z b) around 0
1.202 * [taylor]: Taking taylor expansion of (/ (- (log (- 1 (/ 1 z))) (/ 1 b)) a) in b
1.202 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 z))) (/ 1 b)) in b
1.202 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in b
1.202 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in b
1.202 * [taylor]: Taking taylor expansion of 1 in b
1.202 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.202 * [taylor]: Taking taylor expansion of z in b
1.202 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.202 * [taylor]: Taking taylor expansion of b in b
1.202 * [taylor]: Taking taylor expansion of a in b
1.202 * [taylor]: Taking taylor expansion of (/ (- (log (- 1 (/ 1 z))) (/ 1 b)) a) in z
1.202 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 z))) (/ 1 b)) in z
1.202 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in z
1.202 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.202 * [taylor]: Taking taylor expansion of 1 in z
1.202 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.202 * [taylor]: Taking taylor expansion of z in z
1.202 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.203 * [taylor]: Taking taylor expansion of b in z
1.203 * [taylor]: Taking taylor expansion of a in z
1.203 * [taylor]: Taking taylor expansion of (/ (- (log (- 1 (/ 1 z))) (/ 1 b)) a) in a
1.203 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 z))) (/ 1 b)) in a
1.203 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in a
1.203 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in a
1.203 * [taylor]: Taking taylor expansion of 1 in a
1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.203 * [taylor]: Taking taylor expansion of z in a
1.203 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.203 * [taylor]: Taking taylor expansion of b in a
1.203 * [taylor]: Taking taylor expansion of a in a
1.203 * [taylor]: Taking taylor expansion of (/ (- (log (- 1 (/ 1 z))) (/ 1 b)) a) in a
1.203 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 z))) (/ 1 b)) in a
1.203 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in a
1.203 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in a
1.203 * [taylor]: Taking taylor expansion of 1 in a
1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.203 * [taylor]: Taking taylor expansion of z in a
1.203 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.204 * [taylor]: Taking taylor expansion of b in a
1.204 * [taylor]: Taking taylor expansion of a in a
1.204 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 z))) (/ 1 b)) in z
1.204 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 z))) in z
1.204 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.204 * [taylor]: Taking taylor expansion of 1 in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.204 * [taylor]: Taking taylor expansion of z in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.204 * [taylor]: Taking taylor expansion of b in z
1.204 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log z) (/ 1 b))) in b
1.204 * [taylor]: Taking taylor expansion of (log -1) in b
1.204 * [taylor]: Taking taylor expansion of -1 in b
1.204 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 b)) in b
1.204 * [taylor]: Taking taylor expansion of (log z) in b
1.204 * [taylor]: Taking taylor expansion of z in b
1.204 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.204 * [taylor]: Taking taylor expansion of b in b
1.205 * [taylor]: Taking taylor expansion of 0 in z
1.205 * [taylor]: Taking taylor expansion of 0 in b
1.205 * [taylor]: Taking taylor expansion of -1 in b
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.206 * [taylor]: Taking taylor expansion of 0 in b
1.206 * [taylor]: Taking taylor expansion of 0 in b
1.206 * [taylor]: Taking taylor expansion of -1/2 in b
1.206 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a)) in (a z b) around 0
1.206 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a)) in b
1.206 * [taylor]: Taking taylor expansion of -1 in b
1.206 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a) in b
1.206 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1)) (/ 1 b)) in b
1.206 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in b
1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in b
1.206 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.206 * [taylor]: Taking taylor expansion of z in b
1.206 * [taylor]: Taking taylor expansion of 1 in b
1.207 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.207 * [taylor]: Taking taylor expansion of b in b
1.207 * [taylor]: Taking taylor expansion of a in b
1.207 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a)) in z
1.207 * [taylor]: Taking taylor expansion of -1 in z
1.207 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a) in z
1.207 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1)) (/ 1 b)) in z
1.207 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in z
1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
1.207 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.207 * [taylor]: Taking taylor expansion of z in z
1.207 * [taylor]: Taking taylor expansion of 1 in z
1.207 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.207 * [taylor]: Taking taylor expansion of b in z
1.207 * [taylor]: Taking taylor expansion of a in z
1.207 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a)) in a
1.207 * [taylor]: Taking taylor expansion of -1 in a
1.207 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a) in a
1.207 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1)) (/ 1 b)) in a
1.207 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in a
1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in a
1.207 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.207 * [taylor]: Taking taylor expansion of z in a
1.207 * [taylor]: Taking taylor expansion of 1 in a
1.207 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.207 * [taylor]: Taking taylor expansion of b in a
1.207 * [taylor]: Taking taylor expansion of a in a
1.208 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a)) in a
1.208 * [taylor]: Taking taylor expansion of -1 in a
1.208 * [taylor]: Taking taylor expansion of (/ (+ (log (+ (/ 1 z) 1)) (/ 1 b)) a) in a
1.208 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1)) (/ 1 b)) in a
1.208 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in a
1.208 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in a
1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.208 * [taylor]: Taking taylor expansion of z in a
1.208 * [taylor]: Taking taylor expansion of 1 in a
1.208 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.208 * [taylor]: Taking taylor expansion of b in a
1.208 * [taylor]: Taking taylor expansion of a in a
1.208 * [taylor]: Taking taylor expansion of (* -1 (+ (log (+ (/ 1 z) 1)) (/ 1 b))) in z
1.208 * [taylor]: Taking taylor expansion of -1 in z
1.208 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 z) 1)) (/ 1 b)) in z
1.208 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) 1)) in z
1.208 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.208 * [taylor]: Taking taylor expansion of z in z
1.208 * [taylor]: Taking taylor expansion of 1 in z
1.208 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.208 * [taylor]: Taking taylor expansion of b in z
1.208 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 b) (log z))) in b
1.208 * [taylor]: Taking taylor expansion of -1 in b
1.208 * [taylor]: Taking taylor expansion of (- (/ 1 b) (log z)) in b
1.209 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.209 * [taylor]: Taking taylor expansion of b in b
1.209 * [taylor]: Taking taylor expansion of (log z) in b
1.209 * [taylor]: Taking taylor expansion of z in b
1.209 * [taylor]: Taking taylor expansion of 0 in z
1.209 * [taylor]: Taking taylor expansion of 0 in b
1.209 * [taylor]: Taking taylor expansion of -1 in b
1.210 * [taylor]: Taking taylor expansion of 0 in z
1.210 * [taylor]: Taking taylor expansion of 0 in b
1.210 * [taylor]: Taking taylor expansion of 0 in b
1.210 * [taylor]: Taking taylor expansion of 1/2 in b
1.211 * * * [progress]: simplifying candidates
1.213 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z))))
  (log.f64 (cbrt.f64 (-.f64 1 z)))
  (log.f64 (sqrt.f64 (-.f64 1 z)))
  (log.f64 (sqrt.f64 (-.f64 1 z)))
  (log.f64 1)
  (log.f64 (-.f64 1 z))
  (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 z)))
  (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 z)))
  (log.f64 (+.f64 1 (sqrt.f64 z)))
  (log.f64 (-.f64 1 (sqrt.f64 z)))
  (log.f64 1)
  (log.f64 (-.f64 1 z))
  (log.f64 (-.f64 (pow.f64 1 3) (pow.f64 z 3)))
  (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))
  (log.f64 (-.f64 (*.f64 1 1) (*.f64 z z)))
  (log.f64 (+.f64 1 z))
  (log.f64 (-.f64 1 z))
  (log.f64 (log.f64 (-.f64 1 z)))
  (exp.f64 (log.f64 (-.f64 1 z)))
  (*.f64 (cbrt.f64 (log.f64 (-.f64 1 z))) (cbrt.f64 (log.f64 (-.f64 1 z))))
  (cbrt.f64 (log.f64 (-.f64 1 z)))
  (*.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (log.f64 (-.f64 1 z)))
  (sqrt.f64 (log.f64 (-.f64 1 z)))
  (sqrt.f64 (log.f64 (-.f64 1 z)))
  (*.f64 (exp.f64 (*.f64 y (-.f64 (log.f64 z) t))) (exp.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (log.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))) (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
  (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (*.f64 (*.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))) (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))) (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (sqrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (sqrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (+.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) b)))) (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (*.f64 a (-.f64 (pow.f64 (log.f64 (-.f64 1 z)) 3) (pow.f64 b 3)))))
  (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (+.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) b))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (+.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (*.f64 a (-.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))))
  (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (+.f64 (log.f64 (-.f64 1 z)) b))
  (+.f64 (*.f64 (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t))) (+.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) b)))) (*.f64 (+.f64 (log.f64 z) t) (*.f64 a (-.f64 (pow.f64 (log.f64 (-.f64 1 z)) 3) (pow.f64 b 3)))))
  (*.f64 (+.f64 (log.f64 z) t) (+.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) b))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t))) (+.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 (+.f64 (log.f64 z) t) (*.f64 a (-.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))))
  (*.f64 (+.f64 (log.f64 z) t) (+.f64 (log.f64 (-.f64 1 z)) b))
  (+.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3) (pow.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) 3))
  (+.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (-.f64 (*.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))) (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
  (-.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (log.f64 (-.f64 1 z))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (log.f64 (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z))))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (log.f64 (sqrt.f64 (-.f64 1 z)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (log.f64 1)))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 z)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (log.f64 (+.f64 1 (sqrt.f64 z)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (log.f64 1)))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (-.f64 1 z)) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 1) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 1) a))
  (+.f64 (*.f64 y (neg.f64 t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 (neg.f64 t) y) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 (-.f64 (log.f64 (cbrt.f64 z)) t) y) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 (-.f64 (log.f64 (sqrt.f64 z)) t) y) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 (-.f64 (log.f64 z) t) y) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 y (-.f64 (log.f64 z) t))
  (+.f64 (log.f64 y) (log.f64 (-.f64 (log.f64 z) t)))
  (log.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (exp.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 (log.f64 z) t) (-.f64 (log.f64 z) t)) (-.f64 (log.f64 z) t)))
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))) (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))))
  (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 y (-.f64 (log.f64 z) t)))
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 y (log.f64 z))
  (*.f64 y (neg.f64 t))
  (*.f64 y (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t))
  (*.f64 y (log.f64 1))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 (log.f64 z) y)
  (*.f64 (neg.f64 t) y)
  (*.f64 (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) y)
  (*.f64 (-.f64 (log.f64 (cbrt.f64 z)) t) y)
  (*.f64 (log.f64 (sqrt.f64 z)) y)
  (*.f64 (-.f64 (log.f64 (sqrt.f64 z)) t) y)
  (*.f64 (log.f64 1) y)
  (*.f64 (-.f64 (log.f64 z) t) y)
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (cbrt.f64 (-.f64 (log.f64 z) t))))
  (*.f64 y (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 y 1)
  (*.f64 y (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)))
  (*.f64 y 1)
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (-.f64 (log.f64 z) t))
  (*.f64 (sqrt.f64 y) (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (+.f64 (log.f64 a) (log.f64 (-.f64 (log.f64 (-.f64 1 z)) b)))
  (log.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (exp.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) (-.f64 (log.f64 (-.f64 1 z)) b)) (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (cbrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))) (cbrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (cbrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (*.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (sqrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (sqrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 a (log.f64 (-.f64 1 z)))
  (*.f64 a (neg.f64 b))
  (*.f64 a (log.f64 (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))))
  (*.f64 a (-.f64 (log.f64 (cbrt.f64 (-.f64 1 z))) b))
  (*.f64 a (log.f64 (sqrt.f64 (-.f64 1 z))))
  (*.f64 a (-.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) b))
  (*.f64 a (log.f64 1))
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 a (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 z))))
  (*.f64 a (-.f64 (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 z))) b))
  (*.f64 a (log.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 a (-.f64 (log.f64 (-.f64 1 (sqrt.f64 z))) b))
  (*.f64 a (log.f64 1))
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 (log.f64 (-.f64 1 z)) a)
  (*.f64 (neg.f64 b) a)
  (*.f64 (log.f64 (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))) a)
  (*.f64 (-.f64 (log.f64 (cbrt.f64 (-.f64 1 z))) b) a)
  (*.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) a)
  (*.f64 (-.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) b) a)
  (*.f64 (log.f64 1) a)
  (*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) a)
  (*.f64 (log.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 z))) a)
  (*.f64 (-.f64 (log.f64 (-.f64 (sqrt.f64 1) (sqrt.f64 z))) b) a)
  (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a)
  (*.f64 (-.f64 (log.f64 (-.f64 1 (sqrt.f64 z))) b) a)
  (*.f64 (log.f64 1) a)
  (*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) a)
  (*.f64 a (*.f64 (cbrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)) (cbrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b))))
  (*.f64 a (sqrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 a 1)
  (*.f64 a (+.f64 (sqrt.f64 (log.f64 (-.f64 1 z))) (sqrt.f64 b)))
  (*.f64 a 1)
  (*.f64 a 1)
  (*.f64 (cbrt.f64 a) (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 (sqrt.f64 a) (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 a (-.f64 (pow.f64 (log.f64 (-.f64 1 z)) 3) (pow.f64 b 3)))
  (*.f64 a (-.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))
  (neg.f64 (+.f64 z (+.f64 (*.f64 1/3 (pow.f64 z 3)) (*.f64 1/2 (pow.f64 z 2)))))
  (-.f64 (log.f64 -1) (+.f64 (/.f64 1 z) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 z 2))) (log.f64 (/.f64 1 z)))))
  (neg.f64 (+.f64 (/.f64 1 z) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 z 2))) (log.f64 (/.f64 -1 z)))))
  (*.f64 (log.f64 z) y)
  (-.f64 (*.f64 (log.f64 -1) a) (+.f64 (*.f64 t y) (+.f64 (*.f64 a b) (*.f64 a (log.f64 (/.f64 1 z))))))
  (neg.f64 (+.f64 (*.f64 a (log.f64 (/.f64 -1 z))) (+.f64 (*.f64 t y) (*.f64 a b))))
  (-.f64 (*.f64 (log.f64 z) y) (*.f64 t y))
  (neg.f64 (+.f64 (*.f64 t y) (*.f64 y (log.f64 (/.f64 1 z)))))
  (-.f64 (*.f64 (log.f64 -1) y) (+.f64 (*.f64 t y) (*.f64 (log.f64 (/.f64 -1 z)) y)))
  (neg.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 1/2 (*.f64 a (pow.f64 z 2))))))
  (-.f64 (*.f64 (log.f64 -1) a) (+.f64 (/.f64 a z) (+.f64 (*.f64 a b) (*.f64 a (log.f64 (/.f64 1 z))))))
  (neg.f64 (+.f64 (/.f64 a z) (+.f64 (*.f64 a (log.f64 (/.f64 -1 z))) (*.f64 a b))))
1.265 * * [simplify]: iteration  0 :  4966  enodes  (cost  1727 )
1.266 * * [simplify]: iteration  1 :  4966  enodes  (cost  1727 )
1.272 * [simplify]: Simplified to:
   (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 z))))
  (log.f64 (cbrt.f64 (-.f64 1 z)))
  (log.f64 (sqrt.f64 (-.f64 1 z)))
  (log.f64 (sqrt.f64 (-.f64 1 z)))
  (log.f64 1)
  (log.f64 (-.f64 1 z))
  (log.f64 (+.f64 1 (sqrt.f64 z)))
  (log.f64 (-.f64 1 (sqrt.f64 z)))
  (log.f64 (+.f64 1 (sqrt.f64 z)))
  (log.f64 (-.f64 1 (sqrt.f64 z)))
  (log.f64 1)
  (log.f64 (-.f64 1 z))
  (log.f64 (-.f64 1 (pow.f64 z 3)))
  (log.f64 (+.f64 1 (+.f64 z (*.f64 z z))))
  (log.f64 (-.f64 1 (*.f64 z z)))
  (log.f64 (+.f64 1 z))
  (log.f64 (-.f64 1 z))
  (log.f64 (log.f64 (-.f64 1 z)))
  (-.f64 1 z)
  (*.f64 (cbrt.f64 (log.f64 (-.f64 1 z))) (cbrt.f64 (log.f64 (-.f64 1 z))))
  (cbrt.f64 (log.f64 (-.f64 1 z)))
  (pow.f64 (log.f64 (-.f64 1 z)) 3)
  (sqrt.f64 (log.f64 (-.f64 1 z)))
  (sqrt.f64 (log.f64 (-.f64 1 z)))
  (*.f64 (pow.f64 (/.f64 z (exp.f64 t)) y) (pow.f64 (/.f64 (-.f64 1 z) (exp.f64 b)) a))
  (log.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (*.f64 (pow.f64 (/.f64 z (exp.f64 t)) y) (pow.f64 (/.f64 (-.f64 1 z) (exp.f64 b)) a))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))) (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
  (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (pow.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))) 3)
  (sqrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (sqrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) (+.f64 (log.f64 (-.f64 1 z)) b)))) (*.f64 (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))) (*.f64 a (-.f64 (pow.f64 (log.f64 (-.f64 1 z)) 3) (pow.f64 b 3)))))
  (*.f64 (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) (+.f64 (log.f64 (-.f64 1 z)) b))) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (+.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))) (*.f64 a (-.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))))
  (*.f64 (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))) (+.f64 (log.f64 (-.f64 1 z)) b))
  (+.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) (+.f64 (log.f64 (-.f64 1 z)) b))) (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))) (*.f64 (*.f64 a (-.f64 (pow.f64 (log.f64 (-.f64 1 z)) 3) (pow.f64 b 3))) (+.f64 (log.f64 z) t)))
  (*.f64 (+.f64 (*.f64 b b) (*.f64 (log.f64 (-.f64 1 z)) (+.f64 (log.f64 (-.f64 1 z)) b))) (+.f64 (log.f64 z) t))
  (+.f64 (*.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))) (*.f64 (*.f64 a (-.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b))) (+.f64 (log.f64 z) t)))
  (*.f64 (+.f64 (log.f64 (-.f64 1 z)) b) (+.f64 (log.f64 z) t))
  (+.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3) (pow.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) 3))
  (+.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 a (*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) (-.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 y (-.f64 (log.f64 z) t))))))
  (-.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (-.f64 1 z)) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 z)))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 1) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 1) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (-.f64 1 z)) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 z)))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 1) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 (log.f64 1) a))
  (-.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 y t))
  (+.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t)))
  (+.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t)))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (-.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 y t))
  (+.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t)))
  (+.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t)))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 y (-.f64 (log.f64 z) t))
  (log.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (log.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (pow.f64 (/.f64 z (exp.f64 t)) y)
  (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))) (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))))
  (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3)
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 y (log.f64 z))
  (*.f64 y (neg.f64 t))
  (*.f64 y (*.f64 2 (log.f64 (cbrt.f64 z))))
  (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t))
  (*.f64 (log.f64 1) y)
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (log.f64 z))
  (*.f64 y (neg.f64 t))
  (*.f64 y (*.f64 2 (log.f64 (cbrt.f64 z))))
  (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t))
  (*.f64 (log.f64 1) y)
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (cbrt.f64 (-.f64 (log.f64 z) t))))
  (*.f64 y (sqrt.f64 (-.f64 (log.f64 z) t)))
  y
  (*.f64 y (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)))
  y
  y
  (*.f64 (-.f64 (log.f64 z) t) (cbrt.f64 y))
  (*.f64 (-.f64 (log.f64 z) t) (sqrt.f64 y))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (log.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (log.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (pow.f64 (/.f64 (-.f64 1 z) (exp.f64 b)) a)
  (pow.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) 3)
  (*.f64 (cbrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))) (cbrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
  (cbrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (pow.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)) 3)
  (sqrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (sqrt.f64 (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)))
  (*.f64 (log.f64 (-.f64 1 z)) a)
  (*.f64 a (neg.f64 b))
  (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 z)))) a)
  (*.f64 a (-.f64 (log.f64 (cbrt.f64 (-.f64 1 z))) b))
  (*.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) a)
  (*.f64 a (-.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) b))
  (*.f64 (log.f64 1) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 (sqrt.f64 z))) b))
  (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 (sqrt.f64 z))) b))
  (*.f64 (log.f64 1) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 (log.f64 (-.f64 1 z)) a)
  (*.f64 a (neg.f64 b))
  (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 z)))) a)
  (*.f64 a (-.f64 (log.f64 (cbrt.f64 (-.f64 1 z))) b))
  (*.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) a)
  (*.f64 a (-.f64 (log.f64 (sqrt.f64 (-.f64 1 z))) b))
  (*.f64 (log.f64 1) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 (sqrt.f64 z))) b))
  (*.f64 (log.f64 (+.f64 1 (sqrt.f64 z))) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 (sqrt.f64 z))) b))
  (*.f64 (log.f64 1) a)
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 a (*.f64 (cbrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)) (cbrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b))))
  (*.f64 a (sqrt.f64 (-.f64 (log.f64 (-.f64 1 z)) b)))
  a
  (*.f64 a (+.f64 (sqrt.f64 (log.f64 (-.f64 1 z))) (sqrt.f64 b)))
  a
  a
  (*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) (cbrt.f64 a))
  (*.f64 (-.f64 (log.f64 (-.f64 1 z)) b) (sqrt.f64 a))
  (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))
  (*.f64 a (-.f64 (pow.f64 (log.f64 (-.f64 1 z)) 3) (pow.f64 b 3)))
  (*.f64 a (-.f64 (*.f64 (log.f64 (-.f64 1 z)) (log.f64 (-.f64 1 z))) (*.f64 b b)))
  (-.f64 (neg.f64 z) (*.f64 (*.f64 z z) (+.f64 (*.f64 z 1/3) 1/2)))
  (-.f64 (log.f64 -1) (+.f64 (/.f64 1 z) (-.f64 (/.f64 1/2 (*.f64 z z)) (log.f64 z))))
  (-.f64 (/.f64 -1 z) (+.f64 (/.f64 1/2 (*.f64 z z)) (log.f64 (/.f64 -1 z))))
  (*.f64 y (log.f64 z))
  (-.f64 (*.f64 a (-.f64 (log.f64 -1) (-.f64 b (log.f64 z)))) (*.f64 y t))
  (-.f64 (*.f64 y (neg.f64 t)) (*.f64 a (+.f64 b (log.f64 (/.f64 -1 z)))))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (log.f64 -1) (+.f64 t (log.f64 (/.f64 -1 z)))))
  (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (-.f64 (*.f64 a (-.f64 (log.f64 -1) (-.f64 b (log.f64 z)))) (/.f64 a z))
  (-.f64 (neg.f64 (/.f64 a z)) (*.f64 a (+.f64 b (log.f64 (/.f64 -1 z)))))
1.273 * * * [progress]: adding candidates to table
1.362 * * [progress]: iteration 2 / 4
1.362 * * * [progress]: picking best candidate
1.368 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>
1.368 * * * [progress]: localizing error
1.387 * * * [progress]: generating rewritten candidates
1.387 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.398 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.406 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
1.419 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
1.426 * * * [progress]: generating series expansions
1.426 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.427 * [approximate]: Taking taylor expansion of (- (* (log z) y) (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))))) in (y z t a b) around 0
1.427 * [taylor]: Taking taylor expansion of (- (* (log z) y) (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))))) in b
1.427 * [taylor]: Taking taylor expansion of (* (log z) y) in b
1.427 * [taylor]: Taking taylor expansion of (log z) in b
1.427 * [taylor]: Taking taylor expansion of z in b
1.427 * [taylor]: Taking taylor expansion of y in b
1.427 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2)))))) in b
1.427 * [taylor]: Taking taylor expansion of (* t y) in b
1.427 * [taylor]: Taking taylor expansion of t in b
1.427 * [taylor]: Taking taylor expansion of y in b
1.427 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))) in b
1.427 * [taylor]: Taking taylor expansion of (* a b) in b
1.427 * [taylor]: Taking taylor expansion of a in b
1.427 * [taylor]: Taking taylor expansion of b in b
1.427 * [taylor]: Taking taylor expansion of (+ (* a z) (* 1/2 (* a (pow z 2)))) in b
1.427 * [taylor]: Taking taylor expansion of (* a z) in b
1.427 * [taylor]: Taking taylor expansion of a in b
1.427 * [taylor]: Taking taylor expansion of z in b
1.427 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow z 2))) in b
1.427 * [taylor]: Taking taylor expansion of 1/2 in b
1.427 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in b
1.427 * [taylor]: Taking taylor expansion of a in b
1.427 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.427 * [taylor]: Taking taylor expansion of z in b
1.427 * [taylor]: Taking taylor expansion of (- (* (log z) y) (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))))) in a
1.427 * [taylor]: Taking taylor expansion of (* (log z) y) in a
1.427 * [taylor]: Taking taylor expansion of (log z) in a
1.427 * [taylor]: Taking taylor expansion of z in a
1.427 * [taylor]: Taking taylor expansion of y in a
1.428 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2)))))) in a
1.428 * [taylor]: Taking taylor expansion of (* t y) in a
1.428 * [taylor]: Taking taylor expansion of t in a
1.428 * [taylor]: Taking taylor expansion of y in a
1.428 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))) in a
1.428 * [taylor]: Taking taylor expansion of (* a b) in a
1.428 * [taylor]: Taking taylor expansion of a in a
1.428 * [taylor]: Taking taylor expansion of b in a
1.428 * [taylor]: Taking taylor expansion of (+ (* a z) (* 1/2 (* a (pow z 2)))) in a
1.428 * [taylor]: Taking taylor expansion of (* a z) in a
1.428 * [taylor]: Taking taylor expansion of a in a
1.428 * [taylor]: Taking taylor expansion of z in a
1.428 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow z 2))) in a
1.428 * [taylor]: Taking taylor expansion of 1/2 in a
1.428 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in a
1.428 * [taylor]: Taking taylor expansion of a in a
1.428 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.428 * [taylor]: Taking taylor expansion of z in a
1.428 * [taylor]: Taking taylor expansion of (- (* (log z) y) (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))))) in t
1.428 * [taylor]: Taking taylor expansion of (* (log z) y) in t
1.428 * [taylor]: Taking taylor expansion of (log z) in t
1.428 * [taylor]: Taking taylor expansion of z in t
1.428 * [taylor]: Taking taylor expansion of y in t
1.428 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2)))))) in t
1.428 * [taylor]: Taking taylor expansion of (* t y) in t
1.428 * [taylor]: Taking taylor expansion of t in t
1.428 * [taylor]: Taking taylor expansion of y in t
1.428 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))) in t
1.428 * [taylor]: Taking taylor expansion of (* a b) in t
1.428 * [taylor]: Taking taylor expansion of a in t
1.428 * [taylor]: Taking taylor expansion of b in t
1.428 * [taylor]: Taking taylor expansion of (+ (* a z) (* 1/2 (* a (pow z 2)))) in t
1.428 * [taylor]: Taking taylor expansion of (* a z) in t
1.428 * [taylor]: Taking taylor expansion of a in t
1.428 * [taylor]: Taking taylor expansion of z in t
1.428 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow z 2))) in t
1.428 * [taylor]: Taking taylor expansion of 1/2 in t
1.428 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in t
1.428 * [taylor]: Taking taylor expansion of a in t
1.428 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.428 * [taylor]: Taking taylor expansion of z in t
1.428 * [taylor]: Taking taylor expansion of (- (* (log z) y) (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))))) in z
1.428 * [taylor]: Taking taylor expansion of (* (log z) y) in z
1.428 * [taylor]: Taking taylor expansion of (log z) in z
1.428 * [taylor]: Taking taylor expansion of z in z
1.428 * [taylor]: Taking taylor expansion of y in z
1.428 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2)))))) in z
1.428 * [taylor]: Taking taylor expansion of (* t y) in z
1.428 * [taylor]: Taking taylor expansion of t in z
1.428 * [taylor]: Taking taylor expansion of y in z
1.428 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))) in z
1.428 * [taylor]: Taking taylor expansion of (* a b) in z
1.428 * [taylor]: Taking taylor expansion of a in z
1.428 * [taylor]: Taking taylor expansion of b in z
1.428 * [taylor]: Taking taylor expansion of (+ (* a z) (* 1/2 (* a (pow z 2)))) in z
1.429 * [taylor]: Taking taylor expansion of (* a z) in z
1.429 * [taylor]: Taking taylor expansion of a in z
1.429 * [taylor]: Taking taylor expansion of z in z
1.429 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow z 2))) in z
1.429 * [taylor]: Taking taylor expansion of 1/2 in z
1.429 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in z
1.429 * [taylor]: Taking taylor expansion of a in z
1.429 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.429 * [taylor]: Taking taylor expansion of z in z
1.429 * [taylor]: Taking taylor expansion of (- (* (log z) y) (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))))) in y
1.429 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.429 * [taylor]: Taking taylor expansion of (log z) in y
1.429 * [taylor]: Taking taylor expansion of z in y
1.429 * [taylor]: Taking taylor expansion of y in y
1.429 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2)))))) in y
1.429 * [taylor]: Taking taylor expansion of (* t y) in y
1.429 * [taylor]: Taking taylor expansion of t in y
1.429 * [taylor]: Taking taylor expansion of y in y
1.429 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))) in y
1.429 * [taylor]: Taking taylor expansion of (* a b) in y
1.429 * [taylor]: Taking taylor expansion of a in y
1.429 * [taylor]: Taking taylor expansion of b in y
1.429 * [taylor]: Taking taylor expansion of (+ (* a z) (* 1/2 (* a (pow z 2)))) in y
1.429 * [taylor]: Taking taylor expansion of (* a z) in y
1.429 * [taylor]: Taking taylor expansion of a in y
1.429 * [taylor]: Taking taylor expansion of z in y
1.429 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow z 2))) in y
1.429 * [taylor]: Taking taylor expansion of 1/2 in y
1.429 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in y
1.429 * [taylor]: Taking taylor expansion of a in y
1.429 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.429 * [taylor]: Taking taylor expansion of z in y
1.429 * [taylor]: Taking taylor expansion of (- (* (log z) y) (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))))) in y
1.429 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.429 * [taylor]: Taking taylor expansion of (log z) in y
1.429 * [taylor]: Taking taylor expansion of z in y
1.429 * [taylor]: Taking taylor expansion of y in y
1.429 * [taylor]: Taking taylor expansion of (+ (* t y) (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2)))))) in y
1.429 * [taylor]: Taking taylor expansion of (* t y) in y
1.429 * [taylor]: Taking taylor expansion of t in y
1.429 * [taylor]: Taking taylor expansion of y in y
1.429 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))) in y
1.429 * [taylor]: Taking taylor expansion of (* a b) in y
1.429 * [taylor]: Taking taylor expansion of a in y
1.429 * [taylor]: Taking taylor expansion of b in y
1.429 * [taylor]: Taking taylor expansion of (+ (* a z) (* 1/2 (* a (pow z 2)))) in y
1.429 * [taylor]: Taking taylor expansion of (* a z) in y
1.429 * [taylor]: Taking taylor expansion of a in y
1.429 * [taylor]: Taking taylor expansion of z in y
1.429 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow z 2))) in y
1.429 * [taylor]: Taking taylor expansion of 1/2 in y
1.429 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in y
1.429 * [taylor]: Taking taylor expansion of a in y
1.429 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.429 * [taylor]: Taking taylor expansion of z in y
1.431 * [taylor]: Taking taylor expansion of (neg (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2)))))) in z
1.431 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* a z) (* 1/2 (* a (pow z 2))))) in z
1.431 * [taylor]: Taking taylor expansion of (* a b) in z
1.431 * [taylor]: Taking taylor expansion of a in z
1.431 * [taylor]: Taking taylor expansion of b in z
1.431 * [taylor]: Taking taylor expansion of (+ (* a z) (* 1/2 (* a (pow z 2)))) in z
1.431 * [taylor]: Taking taylor expansion of (* a z) in z
1.431 * [taylor]: Taking taylor expansion of a in z
1.431 * [taylor]: Taking taylor expansion of z in z
1.431 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow z 2))) in z
1.431 * [taylor]: Taking taylor expansion of 1/2 in z
1.431 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in z
1.431 * [taylor]: Taking taylor expansion of a in z
1.431 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.431 * [taylor]: Taking taylor expansion of z in z
1.431 * [taylor]: Taking taylor expansion of (neg (* a b)) in t
1.431 * [taylor]: Taking taylor expansion of (* a b) in t
1.431 * [taylor]: Taking taylor expansion of a in t
1.431 * [taylor]: Taking taylor expansion of b in t
1.431 * [taylor]: Taking taylor expansion of (neg (* a b)) in a
1.431 * [taylor]: Taking taylor expansion of (* a b) in a
1.431 * [taylor]: Taking taylor expansion of a in a
1.431 * [taylor]: Taking taylor expansion of b in a
1.431 * [taylor]: Taking taylor expansion of 0 in b
1.432 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.432 * [taylor]: Taking taylor expansion of (log z) in z
1.432 * [taylor]: Taking taylor expansion of z in z
1.432 * [taylor]: Taking taylor expansion of t in z
1.432 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.432 * [taylor]: Taking taylor expansion of (log z) in t
1.432 * [taylor]: Taking taylor expansion of z in t
1.432 * [taylor]: Taking taylor expansion of t in t
1.432 * [taylor]: Taking taylor expansion of (log z) in a
1.432 * [taylor]: Taking taylor expansion of z in a
1.432 * [taylor]: Taking taylor expansion of (log z) in b
1.432 * [taylor]: Taking taylor expansion of z in b
1.432 * [taylor]: Taking taylor expansion of (neg a) in t
1.432 * [taylor]: Taking taylor expansion of a in t
1.432 * [taylor]: Taking taylor expansion of (neg a) in a
1.432 * [taylor]: Taking taylor expansion of a in a
1.432 * [taylor]: Taking taylor expansion of 0 in b
1.433 * [taylor]: Taking taylor expansion of 0 in a
1.433 * [taylor]: Taking taylor expansion of 0 in b
1.433 * [taylor]: Taking taylor expansion of (neg b) in b
1.433 * [taylor]: Taking taylor expansion of b in b
1.433 * [taylor]: Taking taylor expansion of 0 in z
1.433 * [taylor]: Taking taylor expansion of 0 in t
1.433 * [taylor]: Taking taylor expansion of 0 in a
1.433 * [taylor]: Taking taylor expansion of 0 in b
1.433 * [taylor]: Taking taylor expansion of 0 in t
1.433 * [taylor]: Taking taylor expansion of 0 in a
1.433 * [taylor]: Taking taylor expansion of 0 in b
1.434 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 z)) y) (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))))) in (y z t a b) around 0
1.434 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 z)) y) (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))))) in b
1.434 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in b
1.434 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in b
1.434 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.434 * [taylor]: Taking taylor expansion of z in b
1.434 * [taylor]: Taking taylor expansion of y in b
1.434 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z))))) in b
1.434 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.434 * [taylor]: Taking taylor expansion of (* a b) in b
1.434 * [taylor]: Taking taylor expansion of a in b
1.434 * [taylor]: Taking taylor expansion of b in b
1.434 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))) in b
1.434 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in b
1.434 * [taylor]: Taking taylor expansion of 1/2 in b
1.434 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in b
1.434 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in b
1.434 * [taylor]: Taking taylor expansion of a in b
1.434 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.435 * [taylor]: Taking taylor expansion of z in b
1.435 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (* a z))) in b
1.435 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.435 * [taylor]: Taking taylor expansion of (* t y) in b
1.435 * [taylor]: Taking taylor expansion of t in b
1.435 * [taylor]: Taking taylor expansion of y in b
1.435 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
1.435 * [taylor]: Taking taylor expansion of (* a z) in b
1.435 * [taylor]: Taking taylor expansion of a in b
1.435 * [taylor]: Taking taylor expansion of z in b
1.435 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 z)) y) (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))))) in a
1.435 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in a
1.435 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in a
1.435 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.435 * [taylor]: Taking taylor expansion of z in a
1.435 * [taylor]: Taking taylor expansion of y in a
1.435 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z))))) in a
1.435 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.435 * [taylor]: Taking taylor expansion of (* a b) in a
1.435 * [taylor]: Taking taylor expansion of a in a
1.435 * [taylor]: Taking taylor expansion of b in a
1.435 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))) in a
1.435 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in a
1.435 * [taylor]: Taking taylor expansion of 1/2 in a
1.435 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in a
1.435 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in a
1.435 * [taylor]: Taking taylor expansion of a in a
1.435 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.435 * [taylor]: Taking taylor expansion of z in a
1.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (* a z))) in a
1.436 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.436 * [taylor]: Taking taylor expansion of (* t y) in a
1.436 * [taylor]: Taking taylor expansion of t in a
1.436 * [taylor]: Taking taylor expansion of y in a
1.436 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.436 * [taylor]: Taking taylor expansion of (* a z) in a
1.436 * [taylor]: Taking taylor expansion of a in a
1.436 * [taylor]: Taking taylor expansion of z in a
1.436 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 z)) y) (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))))) in t
1.436 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in t
1.436 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.436 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.436 * [taylor]: Taking taylor expansion of z in t
1.436 * [taylor]: Taking taylor expansion of y in t
1.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z))))) in t
1.436 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.436 * [taylor]: Taking taylor expansion of (* a b) in t
1.436 * [taylor]: Taking taylor expansion of a in t
1.436 * [taylor]: Taking taylor expansion of b in t
1.436 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))) in t
1.436 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in t
1.436 * [taylor]: Taking taylor expansion of 1/2 in t
1.436 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in t
1.436 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in t
1.436 * [taylor]: Taking taylor expansion of a in t
1.436 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.436 * [taylor]: Taking taylor expansion of z in t
1.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (* a z))) in t
1.437 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
1.437 * [taylor]: Taking taylor expansion of (* t y) in t
1.437 * [taylor]: Taking taylor expansion of t in t
1.437 * [taylor]: Taking taylor expansion of y in t
1.437 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.437 * [taylor]: Taking taylor expansion of (* a z) in t
1.437 * [taylor]: Taking taylor expansion of a in t
1.437 * [taylor]: Taking taylor expansion of z in t
1.437 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 z)) y) (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))))) in z
1.437 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
1.437 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.437 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.437 * [taylor]: Taking taylor expansion of z in z
1.437 * [taylor]: Taking taylor expansion of y in z
1.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z))))) in z
1.437 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.437 * [taylor]: Taking taylor expansion of (* a b) in z
1.437 * [taylor]: Taking taylor expansion of a in z
1.437 * [taylor]: Taking taylor expansion of b in z
1.437 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))) in z
1.437 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in z
1.437 * [taylor]: Taking taylor expansion of 1/2 in z
1.437 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in z
1.437 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in z
1.437 * [taylor]: Taking taylor expansion of a in z
1.437 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.437 * [taylor]: Taking taylor expansion of z in z
1.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (* a z))) in z
1.437 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
1.437 * [taylor]: Taking taylor expansion of (* t y) in z
1.437 * [taylor]: Taking taylor expansion of t in z
1.437 * [taylor]: Taking taylor expansion of y in z
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.438 * [taylor]: Taking taylor expansion of (* a z) in z
1.438 * [taylor]: Taking taylor expansion of a in z
1.438 * [taylor]: Taking taylor expansion of z in z
1.438 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 z)) y) (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))))) in y
1.438 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.438 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.438 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.438 * [taylor]: Taking taylor expansion of z in y
1.438 * [taylor]: Taking taylor expansion of y in y
1.438 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z))))) in y
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.438 * [taylor]: Taking taylor expansion of (* a b) in y
1.438 * [taylor]: Taking taylor expansion of a in y
1.438 * [taylor]: Taking taylor expansion of b in y
1.438 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))) in y
1.438 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in y
1.438 * [taylor]: Taking taylor expansion of 1/2 in y
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in y
1.438 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in y
1.438 * [taylor]: Taking taylor expansion of a in y
1.438 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.438 * [taylor]: Taking taylor expansion of z in y
1.438 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (* a z))) in y
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.438 * [taylor]: Taking taylor expansion of (* t y) in y
1.438 * [taylor]: Taking taylor expansion of t in y
1.438 * [taylor]: Taking taylor expansion of y in y
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.438 * [taylor]: Taking taylor expansion of (* a z) in y
1.438 * [taylor]: Taking taylor expansion of a in y
1.438 * [taylor]: Taking taylor expansion of z in y
1.439 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 z)) y) (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))))) in y
1.439 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.439 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.439 * [taylor]: Taking taylor expansion of z in y
1.439 * [taylor]: Taking taylor expansion of y in y
1.439 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z))))) in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.439 * [taylor]: Taking taylor expansion of (* a b) in y
1.439 * [taylor]: Taking taylor expansion of a in y
1.439 * [taylor]: Taking taylor expansion of b in y
1.439 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* t y)) (/ 1 (* a z)))) in y
1.439 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in y
1.439 * [taylor]: Taking taylor expansion of 1/2 in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in y
1.439 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in y
1.439 * [taylor]: Taking taylor expansion of a in y
1.439 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.439 * [taylor]: Taking taylor expansion of z in y
1.439 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 (* a z))) in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.439 * [taylor]: Taking taylor expansion of (* t y) in y
1.439 * [taylor]: Taking taylor expansion of t in y
1.439 * [taylor]: Taking taylor expansion of y in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.439 * [taylor]: Taking taylor expansion of (* a z) in y
1.439 * [taylor]: Taking taylor expansion of a in y
1.439 * [taylor]: Taking taylor expansion of z in y
1.440 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.440 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.440 * [taylor]: Taking taylor expansion of z in z
1.440 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.440 * [taylor]: Taking taylor expansion of t in z
1.441 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* a b)) (+ (/ 1 (* a z)) (* 1/2 (/ 1 (* a (pow z 2))))))) in z
1.441 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* a z)) (* 1/2 (/ 1 (* a (pow z 2)))))) in z
1.441 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.441 * [taylor]: Taking taylor expansion of (* a b) in z
1.441 * [taylor]: Taking taylor expansion of a in z
1.441 * [taylor]: Taking taylor expansion of b in z
1.441 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a z)) (* 1/2 (/ 1 (* a (pow z 2))))) in z
1.441 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.441 * [taylor]: Taking taylor expansion of (* a z) in z
1.441 * [taylor]: Taking taylor expansion of a in z
1.441 * [taylor]: Taking taylor expansion of z in z
1.441 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in z
1.441 * [taylor]: Taking taylor expansion of 1/2 in z
1.441 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in z
1.441 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in z
1.441 * [taylor]: Taking taylor expansion of a in z
1.441 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.441 * [taylor]: Taking taylor expansion of z in z
1.442 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 a))) in t
1.442 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in t
1.442 * [taylor]: Taking taylor expansion of 1/2 in t
1.442 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.442 * [taylor]: Taking taylor expansion of a in t
1.443 * [taylor]: Taking taylor expansion of 0 in z
1.443 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in t
1.443 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.443 * [taylor]: Taking taylor expansion of a in t
1.443 * [taylor]: Taking taylor expansion of (neg (+ (log z) (/ 1 t))) in t
1.443 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.443 * [taylor]: Taking taylor expansion of (log z) in t
1.443 * [taylor]: Taking taylor expansion of z in t
1.443 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.443 * [taylor]: Taking taylor expansion of t in t
1.443 * [taylor]: Taking taylor expansion of -1 in a
1.443 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 a))) in a
1.443 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
1.443 * [taylor]: Taking taylor expansion of 1/2 in a
1.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.443 * [taylor]: Taking taylor expansion of a in a
1.443 * [taylor]: Taking taylor expansion of -1/2 in b
1.445 * [taylor]: Taking taylor expansion of 0 in z
1.445 * [taylor]: Taking taylor expansion of (neg (/ 1 (* a b))) in t
1.445 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.445 * [taylor]: Taking taylor expansion of (* a b) in t
1.445 * [taylor]: Taking taylor expansion of a in t
1.445 * [taylor]: Taking taylor expansion of b in t
1.446 * [taylor]: Taking taylor expansion of 0 in t
1.446 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.446 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.446 * [taylor]: Taking taylor expansion of a in a
1.446 * [taylor]: Taking taylor expansion of -1 in b
1.446 * [taylor]: Taking taylor expansion of (neg (log z)) in a
1.446 * [taylor]: Taking taylor expansion of (log z) in a
1.446 * [taylor]: Taking taylor expansion of z in a
1.446 * [taylor]: Taking taylor expansion of 0 in a
1.446 * [taylor]: Taking taylor expansion of -1 in b
1.446 * [taylor]: Taking taylor expansion of 0 in b
1.448 * [taylor]: Taking taylor expansion of 0 in z
1.448 * [taylor]: Taking taylor expansion of 0 in t
1.449 * [taylor]: Taking taylor expansion of 0 in t
1.449 * [taylor]: Taking taylor expansion of 0 in t
1.449 * [taylor]: Taking taylor expansion of (neg (/ 1 (* a b))) in a
1.449 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.449 * [taylor]: Taking taylor expansion of (* a b) in a
1.449 * [taylor]: Taking taylor expansion of a in a
1.449 * [taylor]: Taking taylor expansion of b in a
1.449 * [taylor]: Taking taylor expansion of (neg (/ 1 b)) in b
1.449 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.449 * [taylor]: Taking taylor expansion of b in b
1.449 * [taylor]: Taking taylor expansion of 0 in a
1.449 * [taylor]: Taking taylor expansion of 0 in a
1.449 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [taylor]: Taking taylor expansion of 0 in a
1.450 * [taylor]: Taking taylor expansion of 0 in b
1.450 * [taylor]: Taking taylor expansion of (neg (log z)) in b
1.450 * [taylor]: Taking taylor expansion of (log z) in b
1.450 * [taylor]: Taking taylor expansion of z in b
1.450 * [taylor]: Taking taylor expansion of 0 in b
1.450 * [taylor]: Taking taylor expansion of 0 in b
1.450 * [taylor]: Taking taylor expansion of 0 in b
1.451 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))))) in (y z t a b) around 0
1.451 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))))) in b
1.451 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in b
1.451 * [taylor]: Taking taylor expansion of 1/2 in b
1.451 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in b
1.451 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in b
1.451 * [taylor]: Taking taylor expansion of a in b
1.451 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.451 * [taylor]: Taking taylor expansion of z in b
1.451 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))))) in b
1.451 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.451 * [taylor]: Taking taylor expansion of (* a b) in b
1.451 * [taylor]: Taking taylor expansion of a in b
1.451 * [taylor]: Taking taylor expansion of b in b
1.451 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))) in b
1.451 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in b
1.451 * [taylor]: Taking taylor expansion of (* t y) in b
1.451 * [taylor]: Taking taylor expansion of t in b
1.451 * [taylor]: Taking taylor expansion of y in b
1.452 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))) in b
1.452 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in b
1.452 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in b
1.452 * [taylor]: Taking taylor expansion of (/ -1 z) in b
1.452 * [taylor]: Taking taylor expansion of -1 in b
1.452 * [taylor]: Taking taylor expansion of z in b
1.452 * [taylor]: Taking taylor expansion of y in b
1.452 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
1.452 * [taylor]: Taking taylor expansion of (* a z) in b
1.452 * [taylor]: Taking taylor expansion of a in b
1.452 * [taylor]: Taking taylor expansion of z in b
1.452 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))))) in a
1.452 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in a
1.452 * [taylor]: Taking taylor expansion of 1/2 in a
1.452 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in a
1.452 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in a
1.452 * [taylor]: Taking taylor expansion of a in a
1.452 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.452 * [taylor]: Taking taylor expansion of z in a
1.452 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))))) in a
1.452 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.452 * [taylor]: Taking taylor expansion of (* a b) in a
1.452 * [taylor]: Taking taylor expansion of a in a
1.452 * [taylor]: Taking taylor expansion of b in a
1.452 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))) in a
1.452 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in a
1.452 * [taylor]: Taking taylor expansion of (* t y) in a
1.452 * [taylor]: Taking taylor expansion of t in a
1.452 * [taylor]: Taking taylor expansion of y in a
1.453 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))) in a
1.453 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in a
1.453 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in a
1.453 * [taylor]: Taking taylor expansion of (/ -1 z) in a
1.453 * [taylor]: Taking taylor expansion of -1 in a
1.453 * [taylor]: Taking taylor expansion of z in a
1.453 * [taylor]: Taking taylor expansion of y in a
1.453 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.453 * [taylor]: Taking taylor expansion of (* a z) in a
1.453 * [taylor]: Taking taylor expansion of a in a
1.453 * [taylor]: Taking taylor expansion of z in a
1.453 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))))) in t
1.453 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in t
1.453 * [taylor]: Taking taylor expansion of 1/2 in t
1.453 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in t
1.453 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in t
1.453 * [taylor]: Taking taylor expansion of a in t
1.453 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.453 * [taylor]: Taking taylor expansion of z in t
1.453 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))))) in t
1.453 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.453 * [taylor]: Taking taylor expansion of (* a b) in t
1.453 * [taylor]: Taking taylor expansion of a in t
1.453 * [taylor]: Taking taylor expansion of b in t
1.453 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))) in t
1.453 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
1.453 * [taylor]: Taking taylor expansion of (* t y) in t
1.453 * [taylor]: Taking taylor expansion of t in t
1.453 * [taylor]: Taking taylor expansion of y in t
1.453 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))) in t
1.453 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in t
1.454 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.454 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.454 * [taylor]: Taking taylor expansion of -1 in t
1.454 * [taylor]: Taking taylor expansion of z in t
1.454 * [taylor]: Taking taylor expansion of y in t
1.454 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.454 * [taylor]: Taking taylor expansion of (* a z) in t
1.454 * [taylor]: Taking taylor expansion of a in t
1.454 * [taylor]: Taking taylor expansion of z in t
1.454 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))))) in z
1.454 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in z
1.454 * [taylor]: Taking taylor expansion of 1/2 in z
1.454 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in z
1.454 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in z
1.454 * [taylor]: Taking taylor expansion of a in z
1.454 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.454 * [taylor]: Taking taylor expansion of z in z
1.454 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))))) in z
1.454 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.454 * [taylor]: Taking taylor expansion of (* a b) in z
1.454 * [taylor]: Taking taylor expansion of a in z
1.454 * [taylor]: Taking taylor expansion of b in z
1.454 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))) in z
1.454 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
1.454 * [taylor]: Taking taylor expansion of (* t y) in z
1.454 * [taylor]: Taking taylor expansion of t in z
1.454 * [taylor]: Taking taylor expansion of y in z
1.454 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))) in z
1.454 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
1.454 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.454 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.454 * [taylor]: Taking taylor expansion of -1 in z
1.454 * [taylor]: Taking taylor expansion of z in z
1.454 * [taylor]: Taking taylor expansion of y in z
1.455 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.455 * [taylor]: Taking taylor expansion of (* a z) in z
1.455 * [taylor]: Taking taylor expansion of a in z
1.455 * [taylor]: Taking taylor expansion of z in z
1.455 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))))) in y
1.455 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in y
1.455 * [taylor]: Taking taylor expansion of 1/2 in y
1.455 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in y
1.455 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in y
1.455 * [taylor]: Taking taylor expansion of a in y
1.455 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.455 * [taylor]: Taking taylor expansion of z in y
1.455 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))))) in y
1.455 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.455 * [taylor]: Taking taylor expansion of (* a b) in y
1.455 * [taylor]: Taking taylor expansion of a in y
1.455 * [taylor]: Taking taylor expansion of b in y
1.455 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))) in y
1.455 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.455 * [taylor]: Taking taylor expansion of (* t y) in y
1.455 * [taylor]: Taking taylor expansion of t in y
1.455 * [taylor]: Taking taylor expansion of y in y
1.455 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))) in y
1.455 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.455 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.455 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.455 * [taylor]: Taking taylor expansion of -1 in y
1.455 * [taylor]: Taking taylor expansion of z in y
1.455 * [taylor]: Taking taylor expansion of y in y
1.455 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.456 * [taylor]: Taking taylor expansion of (* a z) in y
1.456 * [taylor]: Taking taylor expansion of a in y
1.456 * [taylor]: Taking taylor expansion of z in y
1.456 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))))) in y
1.456 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in y
1.456 * [taylor]: Taking taylor expansion of 1/2 in y
1.456 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in y
1.456 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in y
1.456 * [taylor]: Taking taylor expansion of a in y
1.456 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.456 * [taylor]: Taking taylor expansion of z in y
1.456 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))))) in y
1.456 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.456 * [taylor]: Taking taylor expansion of (* a b) in y
1.456 * [taylor]: Taking taylor expansion of a in y
1.456 * [taylor]: Taking taylor expansion of b in y
1.456 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ (log (/ -1 z)) y) (/ 1 (* a z)))) in y
1.456 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
1.456 * [taylor]: Taking taylor expansion of (* t y) in y
1.456 * [taylor]: Taking taylor expansion of t in y
1.456 * [taylor]: Taking taylor expansion of y in y
1.456 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (/ 1 (* a z))) in y
1.456 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.456 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.456 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.456 * [taylor]: Taking taylor expansion of -1 in y
1.456 * [taylor]: Taking taylor expansion of z in y
1.456 * [taylor]: Taking taylor expansion of y in y
1.456 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.456 * [taylor]: Taking taylor expansion of (* a z) in y
1.456 * [taylor]: Taking taylor expansion of a in y
1.456 * [taylor]: Taking taylor expansion of z in y
1.457 * [taylor]: Taking taylor expansion of (neg (+ (log (/ -1 z)) (/ 1 t))) in z
1.457 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.457 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.457 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.457 * [taylor]: Taking taylor expansion of -1 in z
1.457 * [taylor]: Taking taylor expansion of z in z
1.457 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.457 * [taylor]: Taking taylor expansion of t in z
1.458 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* a (pow z 2)))) (+ (/ 1 (* a b)) (/ 1 (* a z)))) in z
1.458 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* a (pow z 2)))) in z
1.458 * [taylor]: Taking taylor expansion of 1/2 in z
1.458 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow z 2))) in z
1.458 * [taylor]: Taking taylor expansion of (* a (pow z 2)) in z
1.458 * [taylor]: Taking taylor expansion of a in z
1.458 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.458 * [taylor]: Taking taylor expansion of z in z
1.458 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* a z))) in z
1.458 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.458 * [taylor]: Taking taylor expansion of (* a b) in z
1.458 * [taylor]: Taking taylor expansion of a in z
1.458 * [taylor]: Taking taylor expansion of b in z
1.458 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.458 * [taylor]: Taking taylor expansion of (* a z) in z
1.458 * [taylor]: Taking taylor expansion of a in z
1.458 * [taylor]: Taking taylor expansion of z in z
1.458 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in t
1.458 * [taylor]: Taking taylor expansion of 1/2 in t
1.458 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.458 * [taylor]: Taking taylor expansion of a in t
1.459 * [taylor]: Taking taylor expansion of 0 in z
1.460 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in t
1.460 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.460 * [taylor]: Taking taylor expansion of a in t
1.460 * [taylor]: Taking taylor expansion of (- (log z) (+ (log -1) (/ 1 t))) in t
1.460 * [taylor]: Taking taylor expansion of (log z) in t
1.460 * [taylor]: Taking taylor expansion of z in t
1.460 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.460 * [taylor]: Taking taylor expansion of (log -1) in t
1.460 * [taylor]: Taking taylor expansion of -1 in t
1.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.460 * [taylor]: Taking taylor expansion of t in t
1.460 * [taylor]: Taking taylor expansion of -1 in a
1.460 * [taylor]: Taking taylor expansion of (/ 1/2 a) in a
1.460 * [taylor]: Taking taylor expansion of 1/2 in a
1.460 * [taylor]: Taking taylor expansion of a in a
1.460 * [taylor]: Taking taylor expansion of 1/2 in b
1.462 * [taylor]: Taking taylor expansion of 0 in z
1.462 * [taylor]: Taking taylor expansion of (neg (/ 1 (* a b))) in t
1.462 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.462 * [taylor]: Taking taylor expansion of (* a b) in t
1.462 * [taylor]: Taking taylor expansion of a in t
1.462 * [taylor]: Taking taylor expansion of b in t
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
1.462 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.462 * [taylor]: Taking taylor expansion of a in a
1.462 * [taylor]: Taking taylor expansion of -1 in b
1.463 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in a
1.463 * [taylor]: Taking taylor expansion of (log z) in a
1.463 * [taylor]: Taking taylor expansion of z in a
1.463 * [taylor]: Taking taylor expansion of (log -1) in a
1.463 * [taylor]: Taking taylor expansion of -1 in a
1.463 * [taylor]: Taking taylor expansion of 0 in a
1.463 * [taylor]: Taking taylor expansion of -1 in b
1.463 * [taylor]: Taking taylor expansion of 0 in b
1.467 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of (neg (/ 1 (* a b))) in a
1.468 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.468 * [taylor]: Taking taylor expansion of (* a b) in a
1.468 * [taylor]: Taking taylor expansion of a in a
1.468 * [taylor]: Taking taylor expansion of b in a
1.469 * [taylor]: Taking taylor expansion of (neg (/ 1 b)) in b
1.469 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.469 * [taylor]: Taking taylor expansion of b in b
1.469 * [taylor]: Taking taylor expansion of 0 in a
1.469 * [taylor]: Taking taylor expansion of 0 in a
1.469 * [taylor]: Taking taylor expansion of 0 in a
1.469 * [taylor]: Taking taylor expansion of 0 in a
1.469 * [taylor]: Taking taylor expansion of 0 in b
1.469 * [taylor]: Taking taylor expansion of (- (log z) (log -1)) in b
1.469 * [taylor]: Taking taylor expansion of (log z) in b
1.469 * [taylor]: Taking taylor expansion of z in b
1.469 * [taylor]: Taking taylor expansion of (log -1) in b
1.469 * [taylor]: Taking taylor expansion of -1 in b
1.469 * [taylor]: Taking taylor expansion of 0 in b
1.469 * [taylor]: Taking taylor expansion of 0 in b
1.470 * [taylor]: Taking taylor expansion of 0 in b
1.470 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.470 * [approximate]: Taking taylor expansion of (* (- (log z) t) y) in (y z t) around 0
1.470 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in t
1.470 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.470 * [taylor]: Taking taylor expansion of (log z) in t
1.470 * [taylor]: Taking taylor expansion of z in t
1.470 * [taylor]: Taking taylor expansion of t in t
1.470 * [taylor]: Taking taylor expansion of y in t
1.470 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in z
1.470 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.470 * [taylor]: Taking taylor expansion of (log z) in z
1.470 * [taylor]: Taking taylor expansion of z in z
1.470 * [taylor]: Taking taylor expansion of t in z
1.470 * [taylor]: Taking taylor expansion of y in z
1.471 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.471 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.471 * [taylor]: Taking taylor expansion of (log z) in y
1.471 * [taylor]: Taking taylor expansion of z in y
1.471 * [taylor]: Taking taylor expansion of t in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.471 * [taylor]: Taking taylor expansion of (* (- (log z) t) y) in y
1.471 * [taylor]: Taking taylor expansion of (- (log z) t) in y
1.471 * [taylor]: Taking taylor expansion of (log z) in y
1.471 * [taylor]: Taking taylor expansion of z in y
1.471 * [taylor]: Taking taylor expansion of t in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.471 * [taylor]: Taking taylor expansion of 0 in z
1.471 * [taylor]: Taking taylor expansion of 0 in t
1.471 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.471 * [taylor]: Taking taylor expansion of (log z) in z
1.471 * [taylor]: Taking taylor expansion of z in z
1.471 * [taylor]: Taking taylor expansion of t in z
1.471 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.471 * [taylor]: Taking taylor expansion of (log z) in t
1.471 * [taylor]: Taking taylor expansion of z in t
1.471 * [taylor]: Taking taylor expansion of t in t
1.471 * [taylor]: Taking taylor expansion of 0 in t
1.472 * [taylor]: Taking taylor expansion of 0 in z
1.472 * [taylor]: Taking taylor expansion of 0 in t
1.472 * [taylor]: Taking taylor expansion of 0 in t
1.472 * [taylor]: Taking taylor expansion of 0 in t
1.472 * [taylor]: Taking taylor expansion of 0 in z
1.472 * [taylor]: Taking taylor expansion of 0 in t
1.472 * [taylor]: Taking taylor expansion of 0 in t
1.472 * [taylor]: Taking taylor expansion of 0 in t
1.473 * [taylor]: Taking taylor expansion of 0 in t
1.473 * [approximate]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in (y z t) around 0
1.473 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in t
1.473 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.473 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.473 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.473 * [taylor]: Taking taylor expansion of z in t
1.473 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.473 * [taylor]: Taking taylor expansion of t in t
1.473 * [taylor]: Taking taylor expansion of y in t
1.473 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in z
1.473 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.473 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.473 * [taylor]: Taking taylor expansion of z in z
1.473 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.473 * [taylor]: Taking taylor expansion of t in z
1.473 * [taylor]: Taking taylor expansion of y in z
1.473 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.473 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.473 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.473 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.473 * [taylor]: Taking taylor expansion of z in y
1.474 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.474 * [taylor]: Taking taylor expansion of t in y
1.474 * [taylor]: Taking taylor expansion of y in y
1.474 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 z)) (/ 1 t)) y) in y
1.474 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in y
1.474 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.474 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.474 * [taylor]: Taking taylor expansion of z in y
1.474 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.474 * [taylor]: Taking taylor expansion of t in y
1.474 * [taylor]: Taking taylor expansion of y in y
1.474 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.474 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.474 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.474 * [taylor]: Taking taylor expansion of z in z
1.474 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.474 * [taylor]: Taking taylor expansion of t in z
1.474 * [taylor]: Taking taylor expansion of (neg (+ (log z) (/ 1 t))) in t
1.474 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.474 * [taylor]: Taking taylor expansion of (log z) in t
1.474 * [taylor]: Taking taylor expansion of z in t
1.474 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.474 * [taylor]: Taking taylor expansion of t in t
1.475 * [taylor]: Taking taylor expansion of 0 in z
1.475 * [taylor]: Taking taylor expansion of 0 in t
1.475 * [taylor]: Taking taylor expansion of 0 in t
1.476 * [taylor]: Taking taylor expansion of 0 in z
1.476 * [taylor]: Taking taylor expansion of 0 in t
1.476 * [taylor]: Taking taylor expansion of 0 in t
1.476 * [taylor]: Taking taylor expansion of 0 in t
1.477 * [taylor]: Taking taylor expansion of 0 in z
1.477 * [taylor]: Taking taylor expansion of 0 in t
1.477 * [taylor]: Taking taylor expansion of 0 in t
1.477 * [taylor]: Taking taylor expansion of 0 in t
1.477 * [taylor]: Taking taylor expansion of 0 in t
1.477 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in (y z t) around 0
1.477 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in t
1.477 * [taylor]: Taking taylor expansion of -1 in t
1.477 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in t
1.477 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.477 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.477 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.477 * [taylor]: Taking taylor expansion of -1 in t
1.477 * [taylor]: Taking taylor expansion of z in t
1.478 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.478 * [taylor]: Taking taylor expansion of t in t
1.478 * [taylor]: Taking taylor expansion of y in t
1.478 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in z
1.478 * [taylor]: Taking taylor expansion of -1 in z
1.478 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in z
1.478 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.478 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.478 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.478 * [taylor]: Taking taylor expansion of -1 in z
1.478 * [taylor]: Taking taylor expansion of z in z
1.478 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.478 * [taylor]: Taking taylor expansion of t in z
1.478 * [taylor]: Taking taylor expansion of y in z
1.478 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.478 * [taylor]: Taking taylor expansion of -1 in y
1.478 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.478 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.478 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.478 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.478 * [taylor]: Taking taylor expansion of -1 in y
1.478 * [taylor]: Taking taylor expansion of z in y
1.478 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.478 * [taylor]: Taking taylor expansion of t in y
1.478 * [taylor]: Taking taylor expansion of y in y
1.478 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (/ -1 z)) (/ 1 t)) y)) in y
1.479 * [taylor]: Taking taylor expansion of -1 in y
1.479 * [taylor]: Taking taylor expansion of (/ (+ (log (/ -1 z)) (/ 1 t)) y) in y
1.479 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
1.479 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.479 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.479 * [taylor]: Taking taylor expansion of -1 in y
1.479 * [taylor]: Taking taylor expansion of z in y
1.479 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.479 * [taylor]: Taking taylor expansion of t in y
1.479 * [taylor]: Taking taylor expansion of y in y
1.479 * [taylor]: Taking taylor expansion of (* -1 (+ (log (/ -1 z)) (/ 1 t))) in z
1.479 * [taylor]: Taking taylor expansion of -1 in z
1.479 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.479 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.479 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.479 * [taylor]: Taking taylor expansion of -1 in z
1.479 * [taylor]: Taking taylor expansion of z in z
1.479 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.479 * [taylor]: Taking taylor expansion of t in z
1.479 * [taylor]: Taking taylor expansion of (* -1 (- (+ (log -1) (/ 1 t)) (log z))) in t
1.479 * [taylor]: Taking taylor expansion of -1 in t
1.479 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.479 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.479 * [taylor]: Taking taylor expansion of (log -1) in t
1.479 * [taylor]: Taking taylor expansion of -1 in t
1.480 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.480 * [taylor]: Taking taylor expansion of t in t
1.480 * [taylor]: Taking taylor expansion of (log z) in t
1.480 * [taylor]: Taking taylor expansion of z in t
1.480 * [taylor]: Taking taylor expansion of 0 in z
1.480 * [taylor]: Taking taylor expansion of 0 in t
1.480 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in z
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.481 * [taylor]: Taking taylor expansion of 0 in t
1.482 * [taylor]: Taking taylor expansion of 0 in z
1.482 * [taylor]: Taking taylor expansion of 0 in t
1.482 * [taylor]: Taking taylor expansion of 0 in t
1.482 * [taylor]: Taking taylor expansion of 0 in t
1.483 * [taylor]: Taking taylor expansion of 0 in t
1.483 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
1.483 * [approximate]: Taking taylor expansion of (* a (+ z (+ (* 1/2 (pow z 2)) b))) in (a z b) around 0
1.483 * [taylor]: Taking taylor expansion of (* a (+ z (+ (* 1/2 (pow z 2)) b))) in b
1.483 * [taylor]: Taking taylor expansion of a in b
1.483 * [taylor]: Taking taylor expansion of (+ z (+ (* 1/2 (pow z 2)) b)) in b
1.483 * [taylor]: Taking taylor expansion of z in b
1.483 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow z 2)) b) in b
1.483 * [taylor]: Taking taylor expansion of (* 1/2 (pow z 2)) in b
1.483 * [taylor]: Taking taylor expansion of 1/2 in b
1.483 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.484 * [taylor]: Taking taylor expansion of z in b
1.484 * [taylor]: Taking taylor expansion of b in b
1.484 * [taylor]: Taking taylor expansion of (* a (+ z (+ (* 1/2 (pow z 2)) b))) in z
1.484 * [taylor]: Taking taylor expansion of a in z
1.484 * [taylor]: Taking taylor expansion of (+ z (+ (* 1/2 (pow z 2)) b)) in z
1.484 * [taylor]: Taking taylor expansion of z in z
1.484 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow z 2)) b) in z
1.484 * [taylor]: Taking taylor expansion of (* 1/2 (pow z 2)) in z
1.484 * [taylor]: Taking taylor expansion of 1/2 in z
1.484 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.484 * [taylor]: Taking taylor expansion of z in z
1.484 * [taylor]: Taking taylor expansion of b in z
1.484 * [taylor]: Taking taylor expansion of (* a (+ z (+ (* 1/2 (pow z 2)) b))) in a
1.484 * [taylor]: Taking taylor expansion of a in a
1.484 * [taylor]: Taking taylor expansion of (+ z (+ (* 1/2 (pow z 2)) b)) in a
1.484 * [taylor]: Taking taylor expansion of z in a
1.484 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow z 2)) b) in a
1.484 * [taylor]: Taking taylor expansion of (* 1/2 (pow z 2)) in a
1.484 * [taylor]: Taking taylor expansion of 1/2 in a
1.484 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.484 * [taylor]: Taking taylor expansion of z in a
1.484 * [taylor]: Taking taylor expansion of b in a
1.484 * [taylor]: Taking taylor expansion of (* a (+ z (+ (* 1/2 (pow z 2)) b))) in a
1.484 * [taylor]: Taking taylor expansion of a in a
1.484 * [taylor]: Taking taylor expansion of (+ z (+ (* 1/2 (pow z 2)) b)) in a
1.484 * [taylor]: Taking taylor expansion of z in a
1.484 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow z 2)) b) in a
1.484 * [taylor]: Taking taylor expansion of (* 1/2 (pow z 2)) in a
1.484 * [taylor]: Taking taylor expansion of 1/2 in a
1.484 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.484 * [taylor]: Taking taylor expansion of z in a
1.484 * [taylor]: Taking taylor expansion of b in a
1.484 * [taylor]: Taking taylor expansion of 0 in z
1.485 * [taylor]: Taking taylor expansion of 0 in b
1.485 * [taylor]: Taking taylor expansion of (+ z (+ (* 1/2 (pow z 2)) b)) in z
1.485 * [taylor]: Taking taylor expansion of z in z
1.485 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow z 2)) b) in z
1.485 * [taylor]: Taking taylor expansion of (* 1/2 (pow z 2)) in z
1.485 * [taylor]: Taking taylor expansion of 1/2 in z
1.485 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.485 * [taylor]: Taking taylor expansion of z in z
1.485 * [taylor]: Taking taylor expansion of b in z
1.485 * [taylor]: Taking taylor expansion of b in b
1.485 * [taylor]: Taking taylor expansion of 0 in b
1.485 * [taylor]: Taking taylor expansion of 0 in z
1.485 * [taylor]: Taking taylor expansion of 0 in b
1.485 * [taylor]: Taking taylor expansion of 1 in b
1.485 * [taylor]: Taking taylor expansion of 0 in b
1.486 * [taylor]: Taking taylor expansion of 0 in z
1.486 * [taylor]: Taking taylor expansion of 0 in b
1.486 * [taylor]: Taking taylor expansion of 0 in b
1.486 * [taylor]: Taking taylor expansion of 1/2 in b
1.486 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) a) in (a z b) around 0
1.486 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) a) in b
1.486 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) in b
1.486 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.487 * [taylor]: Taking taylor expansion of z in b
1.487 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b)) in b
1.487 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in b
1.487 * [taylor]: Taking taylor expansion of 1/2 in b
1.487 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in b
1.487 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.487 * [taylor]: Taking taylor expansion of z in b
1.487 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.487 * [taylor]: Taking taylor expansion of b in b
1.487 * [taylor]: Taking taylor expansion of a in b
1.487 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) a) in z
1.487 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) in z
1.487 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.487 * [taylor]: Taking taylor expansion of z in z
1.487 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b)) in z
1.487 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
1.487 * [taylor]: Taking taylor expansion of 1/2 in z
1.487 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.487 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.487 * [taylor]: Taking taylor expansion of z in z
1.487 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.487 * [taylor]: Taking taylor expansion of b in z
1.487 * [taylor]: Taking taylor expansion of a in z
1.487 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) a) in a
1.487 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) in a
1.487 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.487 * [taylor]: Taking taylor expansion of z in a
1.487 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b)) in a
1.487 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in a
1.487 * [taylor]: Taking taylor expansion of 1/2 in a
1.487 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.487 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.487 * [taylor]: Taking taylor expansion of z in a
1.487 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.487 * [taylor]: Taking taylor expansion of b in a
1.488 * [taylor]: Taking taylor expansion of a in a
1.488 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) a) in a
1.488 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) in a
1.488 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.488 * [taylor]: Taking taylor expansion of z in a
1.488 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b)) in a
1.488 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in a
1.488 * [taylor]: Taking taylor expansion of 1/2 in a
1.488 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.488 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.488 * [taylor]: Taking taylor expansion of z in a
1.488 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.488 * [taylor]: Taking taylor expansion of b in a
1.488 * [taylor]: Taking taylor expansion of a in a
1.489 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b))) in z
1.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.489 * [taylor]: Taking taylor expansion of z in z
1.489 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow z 2))) (/ 1 b)) in z
1.489 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
1.489 * [taylor]: Taking taylor expansion of 1/2 in z
1.489 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.489 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.489 * [taylor]: Taking taylor expansion of z in z
1.489 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.489 * [taylor]: Taking taylor expansion of b in z
1.489 * [taylor]: Taking taylor expansion of 1/2 in b
1.490 * [taylor]: Taking taylor expansion of 0 in z
1.490 * [taylor]: Taking taylor expansion of 1 in b
1.491 * [taylor]: Taking taylor expansion of 0 in z
1.491 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.491 * [taylor]: Taking taylor expansion of b in b
1.491 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a)) in (a z b) around 0
1.491 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a)) in b
1.491 * [taylor]: Taking taylor expansion of -1 in b
1.492 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a) in b
1.492 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) in b
1.492 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in b
1.492 * [taylor]: Taking taylor expansion of 1/2 in b
1.492 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in b
1.492 * [taylor]: Taking taylor expansion of (pow z 2) in b
1.492 * [taylor]: Taking taylor expansion of z in b
1.492 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 b)) in b
1.492 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.492 * [taylor]: Taking taylor expansion of z in b
1.492 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.492 * [taylor]: Taking taylor expansion of b in b
1.492 * [taylor]: Taking taylor expansion of a in b
1.492 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a)) in z
1.492 * [taylor]: Taking taylor expansion of -1 in z
1.492 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a) in z
1.492 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) in z
1.492 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
1.492 * [taylor]: Taking taylor expansion of 1/2 in z
1.492 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.492 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.492 * [taylor]: Taking taylor expansion of z in z
1.492 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 b)) in z
1.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.492 * [taylor]: Taking taylor expansion of z in z
1.492 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.492 * [taylor]: Taking taylor expansion of b in z
1.492 * [taylor]: Taking taylor expansion of a in z
1.492 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a)) in a
1.492 * [taylor]: Taking taylor expansion of -1 in a
1.492 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a) in a
1.492 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) in a
1.492 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in a
1.492 * [taylor]: Taking taylor expansion of 1/2 in a
1.492 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.492 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.492 * [taylor]: Taking taylor expansion of z in a
1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 b)) in a
1.493 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.493 * [taylor]: Taking taylor expansion of z in a
1.493 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.493 * [taylor]: Taking taylor expansion of b in a
1.493 * [taylor]: Taking taylor expansion of a in a
1.493 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a)) in a
1.493 * [taylor]: Taking taylor expansion of -1 in a
1.493 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) a) in a
1.493 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) in a
1.493 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in a
1.493 * [taylor]: Taking taylor expansion of 1/2 in a
1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.493 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.493 * [taylor]: Taking taylor expansion of z in a
1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 b)) in a
1.493 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.493 * [taylor]: Taking taylor expansion of z in a
1.493 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.493 * [taylor]: Taking taylor expansion of b in a
1.493 * [taylor]: Taking taylor expansion of a in a
1.494 * [taylor]: Taking taylor expansion of (* -1 (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b)))) in z
1.494 * [taylor]: Taking taylor expansion of -1 in z
1.494 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 b))) in z
1.494 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
1.494 * [taylor]: Taking taylor expansion of 1/2 in z
1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.494 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.494 * [taylor]: Taking taylor expansion of z in z
1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 b)) in z
1.494 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.494 * [taylor]: Taking taylor expansion of z in z
1.494 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.494 * [taylor]: Taking taylor expansion of b in z
1.494 * [taylor]: Taking taylor expansion of -1/2 in b
1.495 * [taylor]: Taking taylor expansion of 0 in z
1.495 * [taylor]: Taking taylor expansion of 1 in b
1.496 * [taylor]: Taking taylor expansion of 0 in z
1.496 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.496 * [taylor]: Taking taylor expansion of b in b
1.497 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
1.497 * [approximate]: Taking taylor expansion of (- (log z) t) in (z t) around 0
1.497 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.497 * [taylor]: Taking taylor expansion of (log z) in t
1.497 * [taylor]: Taking taylor expansion of z in t
1.497 * [taylor]: Taking taylor expansion of t in t
1.497 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.497 * [taylor]: Taking taylor expansion of (log z) in z
1.497 * [taylor]: Taking taylor expansion of z in z
1.497 * [taylor]: Taking taylor expansion of t in z
1.497 * [taylor]: Taking taylor expansion of (- (log z) t) in z
1.497 * [taylor]: Taking taylor expansion of (log z) in z
1.497 * [taylor]: Taking taylor expansion of z in z
1.497 * [taylor]: Taking taylor expansion of t in z
1.497 * [taylor]: Taking taylor expansion of (- (log z) t) in t
1.497 * [taylor]: Taking taylor expansion of (log z) in t
1.497 * [taylor]: Taking taylor expansion of z in t
1.497 * [taylor]: Taking taylor expansion of t in t
1.498 * [taylor]: Taking taylor expansion of 0 in t
1.498 * [taylor]: Taking taylor expansion of 0 in t
1.498 * [taylor]: Taking taylor expansion of 0 in t
1.498 * [approximate]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in (z t) around 0
1.498 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in t
1.498 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
1.498 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.499 * [taylor]: Taking taylor expansion of z in t
1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.499 * [taylor]: Taking taylor expansion of t in t
1.499 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.499 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.499 * [taylor]: Taking taylor expansion of z in z
1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.499 * [taylor]: Taking taylor expansion of t in z
1.499 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (/ 1 t)) in z
1.499 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.499 * [taylor]: Taking taylor expansion of z in z
1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.499 * [taylor]: Taking taylor expansion of t in z
1.499 * [taylor]: Taking taylor expansion of (neg (+ (log z) (/ 1 t))) in t
1.499 * [taylor]: Taking taylor expansion of (+ (log z) (/ 1 t)) in t
1.499 * [taylor]: Taking taylor expansion of (log z) in t
1.499 * [taylor]: Taking taylor expansion of z in t
1.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.499 * [taylor]: Taking taylor expansion of t in t
1.499 * [taylor]: Taking taylor expansion of 0 in t
1.500 * [taylor]: Taking taylor expansion of 0 in t
1.500 * [taylor]: Taking taylor expansion of 0 in t
1.501 * [taylor]: Taking taylor expansion of 0 in t
1.501 * [approximate]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in (z t) around 0
1.501 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
1.501 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
1.501 * [taylor]: Taking taylor expansion of (/ -1 z) in t
1.501 * [taylor]: Taking taylor expansion of -1 in t
1.501 * [taylor]: Taking taylor expansion of z in t
1.501 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.501 * [taylor]: Taking taylor expansion of t in t
1.501 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.501 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.501 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.501 * [taylor]: Taking taylor expansion of -1 in z
1.501 * [taylor]: Taking taylor expansion of z in z
1.501 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.501 * [taylor]: Taking taylor expansion of t in z
1.501 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
1.501 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.501 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.501 * [taylor]: Taking taylor expansion of -1 in z
1.501 * [taylor]: Taking taylor expansion of z in z
1.502 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.502 * [taylor]: Taking taylor expansion of t in z
1.502 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 t)) (log z)) in t
1.502 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 t)) in t
1.502 * [taylor]: Taking taylor expansion of (log -1) in t
1.502 * [taylor]: Taking taylor expansion of -1 in t
1.502 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.502 * [taylor]: Taking taylor expansion of t in t
1.502 * [taylor]: Taking taylor expansion of (log z) in t
1.502 * [taylor]: Taking taylor expansion of z in t
1.502 * [taylor]: Taking taylor expansion of 0 in t
1.503 * [taylor]: Taking taylor expansion of 0 in t
1.503 * [taylor]: Taking taylor expansion of 0 in t
1.504 * [taylor]: Taking taylor expansion of 0 in t
1.504 * * * [progress]: simplifying candidates
1.505 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (*.f64 y (-.f64 (log.f64 z) t))) (/.f64 1 (exp.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (*.f64 (exp.f64 (*.f64 y (-.f64 (log.f64 z) t))) (exp.f64 (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (log.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))) (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))))
  (cbrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (*.f64 (*.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))) (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))) (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (sqrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (sqrt.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (+.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) (*.f64 (*.f64 z z) 1/2)) (-.f64 (*.f64 (+.f64 z b) (+.f64 z b)) (*.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))) (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (neg.f64 (*.f64 a (+.f64 (pow.f64 (*.f64 (*.f64 z z) 1/2) 3) (pow.f64 (+.f64 z b) 3))))))
  (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (+.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) (*.f64 (*.f64 z z) 1/2)) (-.f64 (*.f64 (+.f64 z b) (+.f64 z b)) (*.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (neg.f64 (*.f64 a (-.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) (*.f64 (*.f64 z z) 1/2)) (*.f64 (+.f64 z b) (+.f64 z b)))))))
  (*.f64 (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t))) (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (+.f64 (*.f64 (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t))) (+.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) (*.f64 (*.f64 z z) 1/2)) (-.f64 (*.f64 (+.f64 z b) (+.f64 z b)) (*.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))) (*.f64 (+.f64 (log.f64 z) t) (neg.f64 (*.f64 a (+.f64 (pow.f64 (*.f64 (*.f64 z z) 1/2) 3) (pow.f64 (+.f64 z b) 3))))))
  (*.f64 (+.f64 (log.f64 z) t) (+.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) (*.f64 (*.f64 z z) 1/2)) (-.f64 (*.f64 (+.f64 z b) (+.f64 z b)) (*.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t))) (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (*.f64 (+.f64 (log.f64 z) t) (neg.f64 (*.f64 a (-.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) (*.f64 (*.f64 z z) 1/2)) (*.f64 (+.f64 z b) (+.f64 z b)))))))
  (*.f64 (+.f64 (log.f64 z) t) (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (+.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3) (pow.f64 (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))) 3))
  (+.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (-.f64 (*.f64 (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))) (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))))
  (-.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (*.f64 (*.f64 z z) 1/2))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) a)))
  (+.f64 (*.f64 y (neg.f64 t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 (neg.f64 t) y) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 (-.f64 (log.f64 (cbrt.f64 z)) t) y) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 (-.f64 (log.f64 (sqrt.f64 z)) t) y) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 (-.f64 (log.f64 z) t) y) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) 0)
  (*.f64 y (-.f64 (log.f64 z) t))
  (+.f64 (log.f64 y) (log.f64 (-.f64 (log.f64 z) t)))
  (log.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (exp.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 (log.f64 z) t) (-.f64 (log.f64 z) t)) (-.f64 (log.f64 z) t)))
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))) (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))))
  (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 y (-.f64 (log.f64 z) t)))
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 y (log.f64 z))
  (*.f64 y (neg.f64 t))
  (*.f64 y (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t))
  (*.f64 y (log.f64 1))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 (log.f64 z) y)
  (*.f64 (neg.f64 t) y)
  (*.f64 (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) y)
  (*.f64 (-.f64 (log.f64 (cbrt.f64 z)) t) y)
  (*.f64 (log.f64 (sqrt.f64 z)) y)
  (*.f64 (-.f64 (log.f64 (sqrt.f64 z)) t) y)
  (*.f64 (log.f64 1) y)
  (*.f64 (-.f64 (log.f64 z) t) y)
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (cbrt.f64 (-.f64 (log.f64 z) t))))
  (*.f64 y (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 y 1)
  (*.f64 y (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)))
  (*.f64 y 1)
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (-.f64 (log.f64 z) t))
  (*.f64 (sqrt.f64 y) (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))
  (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (+.f64 (log.f64 a) (log.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (log.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (exp.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)) (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 (cbrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))) (cbrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (cbrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 (*.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (sqrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (sqrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 a (*.f64 (*.f64 z z) 1/2))
  (*.f64 a (+.f64 z b))
  (*.f64 (*.f64 (*.f64 z z) 1/2) a)
  (*.f64 (+.f64 z b) a)
  (*.f64 a (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (cbrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (*.f64 a (sqrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 a 1)
  (*.f64 (cbrt.f64 a) (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (*.f64 (sqrt.f64 a) (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (*.f64 a (+.f64 (pow.f64 (*.f64 (*.f64 z z) 1/2) 3) (pow.f64 (+.f64 z b) 3)))
  (*.f64 a (-.f64 (*.f64 (*.f64 (*.f64 z z) 1/2) (*.f64 (*.f64 z z) 1/2)) (*.f64 (+.f64 z b) (+.f64 z b))))
  (/.f64 z (exp.f64 t))
  (log.f64 (-.f64 (log.f64 z) t))
  (exp.f64 (-.f64 (log.f64 z) t))
  (*.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (cbrt.f64 (-.f64 (log.f64 z) t)))
  (cbrt.f64 (-.f64 (log.f64 z) t))
  (*.f64 (*.f64 (-.f64 (log.f64 z) t) (-.f64 (log.f64 z) t)) (-.f64 (log.f64 z) t))
  (sqrt.f64 (-.f64 (log.f64 z) t))
  (sqrt.f64 (-.f64 (log.f64 z) t))
  (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))
  (+.f64 (*.f64 (log.f64 z) (log.f64 z)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) t)))
  (neg.f64 t)
  (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t))
  (+.f64 (log.f64 z) t)
  (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t))
  (-.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t))
  (-.f64 (log.f64 z) t)
  (-.f64 (log.f64 z) t)
  (-.f64 (log.f64 (cbrt.f64 z)) t)
  (-.f64 (log.f64 (sqrt.f64 z)) t)
  (-.f64 (log.f64 z) t)
  (*.f64 (log.f64 z) y)
  (neg.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 1/2 (*.f64 a (pow.f64 z 2))))))
  (neg.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 1/2 (*.f64 a (pow.f64 z 2))))))
  (-.f64 (*.f64 (log.f64 z) y) (*.f64 t y))
  (neg.f64 (+.f64 (*.f64 t y) (*.f64 y (log.f64 (/.f64 1 z)))))
  (-.f64 (*.f64 (log.f64 -1) y) (+.f64 (*.f64 t y) (*.f64 (log.f64 (/.f64 -1 z)) y)))
  (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 1/2 (*.f64 a (pow.f64 z 2)))))
  (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 1/2 (*.f64 a (pow.f64 z 2)))))
  (+.f64 (*.f64 a b) (+.f64 (*.f64 a z) (*.f64 1/2 (*.f64 a (pow.f64 z 2)))))
  (-.f64 (log.f64 z) t)
  (neg.f64 (+.f64 t (log.f64 (/.f64 1 z))))
  (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 z)) t))
1.535 * * [simplify]: iteration  0 :  4956  enodes  (cost  1514 )
1.535 * * [simplify]: iteration  1 :  4956  enodes  (cost  1514 )
1.541 * [simplify]: Simplified to:
   (/.f64 (pow.f64 (/.f64 z (exp.f64 t)) y) (exp.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (/.f64 (pow.f64 (/.f64 z (exp.f64 t)) y) (exp.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (log.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (/.f64 (pow.f64 (/.f64 z (exp.f64 t)) y) (exp.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))) (cbrt.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (cbrt.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (pow.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))) 3)
  (sqrt.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (sqrt.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (+.f64 (*.f64 (pow.f64 z 4) 1/4) (*.f64 (+.f64 z b) (-.f64 (+.f64 z b) (*.f64 (*.f64 z z) 1/2))))) (*.f64 a (*.f64 (-.f64 (*.f64 (pow.f64 z 6) -1/8) (pow.f64 (+.f64 z b) 3)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))))))
  (*.f64 (+.f64 (*.f64 (pow.f64 z 4) 1/4) (*.f64 (+.f64 z b) (-.f64 (+.f64 z b) (*.f64 (*.f64 z z) 1/2)))) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))))
  (+.f64 (*.f64 (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))) (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (*.f64 a (*.f64 (+.f64 (*.f64 (+.f64 z b) (+.f64 z b)) (*.f64 (pow.f64 z 4) -1/4)) (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))))))
  (*.f64 (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t))) (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (+.f64 (*.f64 (+.f64 (*.f64 (pow.f64 z 4) 1/4) (*.f64 (+.f64 z b) (-.f64 (+.f64 z b) (*.f64 (*.f64 z z) 1/2)))) (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))) (*.f64 a (*.f64 (-.f64 (*.f64 (pow.f64 z 6) -1/8) (pow.f64 (+.f64 z b) 3)) (+.f64 (log.f64 z) t))))
  (*.f64 (+.f64 (*.f64 (pow.f64 z 4) 1/4) (*.f64 (+.f64 z b) (-.f64 (+.f64 z b) (*.f64 (*.f64 z z) 1/2)))) (+.f64 (log.f64 z) t))
  (+.f64 (*.f64 (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)) (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))) (*.f64 a (*.f64 (+.f64 (*.f64 (+.f64 z b) (+.f64 z b)) (*.f64 (pow.f64 z 4) -1/4)) (+.f64 (log.f64 z) t))))
  (*.f64 (-.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)) (+.f64 (log.f64 z) t))
  (-.f64 (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3) (pow.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) 3))
  (+.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
  (-.f64 (*.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 y (-.f64 (log.f64 z) t))) (*.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (*.f64 (*.f64 z z) 1/2)))
  (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (*.f64 (*.f64 z z) 1/2)))
  (-.f64 (*.f64 a (-.f64 (*.f64 z (*.f64 z -1/2)) (+.f64 z b))) (*.f64 y t))
  (-.f64 (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (-.f64 (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (-.f64 (*.f64 a (-.f64 (*.f64 z (*.f64 z -1/2)) (+.f64 z b))) (*.f64 y t))
  (-.f64 (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (-.f64 (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (log.f64 z) t))
  (log.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (log.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (pow.f64 (/.f64 z (exp.f64 t)) y)
  (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))) (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t))))
  (cbrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (pow.f64 (*.f64 y (-.f64 (log.f64 z) t)) 3)
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (sqrt.f64 (*.f64 y (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (log.f64 z) t)))
  (*.f64 y (log.f64 z))
  (*.f64 y (neg.f64 t))
  (*.f64 y (*.f64 2 (log.f64 (cbrt.f64 z))))
  (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t))
  (*.f64 y (log.f64 1))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (log.f64 z))
  (*.f64 y (neg.f64 t))
  (*.f64 y (*.f64 2 (log.f64 (cbrt.f64 z))))
  (*.f64 y (-.f64 (log.f64 (cbrt.f64 z)) t))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (-.f64 (log.f64 (sqrt.f64 z)) t))
  (*.f64 y (log.f64 1))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (cbrt.f64 (-.f64 (log.f64 z) t))))
  (*.f64 y (sqrt.f64 (-.f64 (log.f64 z) t)))
  y
  (*.f64 y (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t)))
  y
  y
  (*.f64 (-.f64 (log.f64 z) t) (cbrt.f64 y))
  (*.f64 (-.f64 (log.f64 z) t) (sqrt.f64 y))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t)))
  (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (log.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (log.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (exp.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (pow.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) 3)
  (*.f64 (cbrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))) (cbrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (cbrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (pow.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) 3)
  (sqrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (sqrt.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 (sqrt.f64 a) (sqrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  (*.f64 a (*.f64 (*.f64 z z) 1/2))
  (*.f64 a (+.f64 z b))
  (*.f64 a (*.f64 (*.f64 z z) 1/2))
  (*.f64 a (+.f64 z b))
  (*.f64 a (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))) (cbrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))
  (*.f64 a (sqrt.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))
  a
  (*.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)) (cbrt.f64 a))
  (*.f64 (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)) (sqrt.f64 a))
  (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (*.f64 a (+.f64 (*.f64 (pow.f64 z 6) 1/8) (pow.f64 (+.f64 z b) 3)))
  (*.f64 a (-.f64 (*.f64 (pow.f64 z 4) 1/4) (*.f64 (+.f64 z b) (+.f64 z b))))
  (/.f64 z (exp.f64 t))
  (log.f64 (-.f64 (log.f64 z) t))
  (/.f64 z (exp.f64 t))
  (*.f64 (cbrt.f64 (-.f64 (log.f64 z) t)) (cbrt.f64 (-.f64 (log.f64 z) t)))
  (cbrt.f64 (-.f64 (log.f64 z) t))
  (pow.f64 (-.f64 (log.f64 z) t) 3)
  (sqrt.f64 (-.f64 (log.f64 z) t))
  (sqrt.f64 (-.f64 (log.f64 z) t))
  (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 t 3))
  (+.f64 (*.f64 t t) (*.f64 (log.f64 z) (+.f64 (log.f64 z) t)))
  (neg.f64 t)
  (-.f64 (*.f64 (log.f64 z) (log.f64 z)) (*.f64 t t))
  (+.f64 (log.f64 z) t)
  (+.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t))
  (-.f64 (sqrt.f64 (log.f64 z)) (sqrt.f64 t))
  (-.f64 (log.f64 z) t)
  (-.f64 (log.f64 z) t)
  (-.f64 (log.f64 (cbrt.f64 z)) t)
  (-.f64 (log.f64 (sqrt.f64 z)) t)
  (-.f64 (log.f64 z) t)
  (*.f64 y (log.f64 z))
  (*.f64 a (-.f64 (*.f64 z (*.f64 z -1/2)) (+.f64 z b)))
  (*.f64 a (-.f64 (*.f64 z (*.f64 z -1/2)) (+.f64 z b)))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 y (-.f64 (log.f64 z) t))
  (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))
  (-.f64 (log.f64 z) t)
  (-.f64 (log.f64 z) t)
  (-.f64 (log.f64 z) t)
1.542 * * * [progress]: adding candidates to table
1.602 * * [progress]: iteration 3 / 4
1.602 * * * [progress]: picking best candidate
1.605 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))>
1.605 * * * [progress]: localizing error
1.613 * * * [progress]: generating rewritten candidates
1.613 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
1.618 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.626 * * * [progress]: generating series expansions
1.626 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
1.626 * [approximate]: Taking taylor expansion of (* (log z) y) in (y z) around 0
1.626 * [taylor]: Taking taylor expansion of (* (log z) y) in z
1.626 * [taylor]: Taking taylor expansion of (log z) in z
1.626 * [taylor]: Taking taylor expansion of z in z
1.626 * [taylor]: Taking taylor expansion of y in z
1.626 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.626 * [taylor]: Taking taylor expansion of (log z) in y
1.626 * [taylor]: Taking taylor expansion of z in y
1.627 * [taylor]: Taking taylor expansion of y in y
1.627 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.627 * [taylor]: Taking taylor expansion of (log z) in y
1.627 * [taylor]: Taking taylor expansion of z in y
1.627 * [taylor]: Taking taylor expansion of y in y
1.627 * [taylor]: Taking taylor expansion of 0 in z
1.627 * [taylor]: Taking taylor expansion of (log z) in z
1.627 * [taylor]: Taking taylor expansion of z in z
1.627 * [taylor]: Taking taylor expansion of 0 in z
1.628 * [taylor]: Taking taylor expansion of 0 in z
1.628 * [approximate]: Taking taylor expansion of (/ (log (/ 1 z)) y) in (y z) around 0
1.628 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
1.628 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.628 * [taylor]: Taking taylor expansion of z in z
1.628 * [taylor]: Taking taylor expansion of y in z
1.628 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.628 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.628 * [taylor]: Taking taylor expansion of z in y
1.628 * [taylor]: Taking taylor expansion of y in y
1.628 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.628 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.628 * [taylor]: Taking taylor expansion of z in y
1.628 * [taylor]: Taking taylor expansion of y in y
1.628 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.628 * [taylor]: Taking taylor expansion of z in z
1.629 * [taylor]: Taking taylor expansion of 0 in z
1.629 * [taylor]: Taking taylor expansion of 0 in z
1.630 * [taylor]: Taking taylor expansion of 0 in z
1.630 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in (y z) around 0
1.630 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in z
1.630 * [taylor]: Taking taylor expansion of -1 in z
1.630 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
1.630 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.630 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.630 * [taylor]: Taking taylor expansion of -1 in z
1.630 * [taylor]: Taking taylor expansion of z in z
1.630 * [taylor]: Taking taylor expansion of y in z
1.630 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in y
1.630 * [taylor]: Taking taylor expansion of -1 in y
1.630 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.630 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.630 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.630 * [taylor]: Taking taylor expansion of -1 in y
1.630 * [taylor]: Taking taylor expansion of z in y
1.631 * [taylor]: Taking taylor expansion of y in y
1.631 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in y
1.631 * [taylor]: Taking taylor expansion of -1 in y
1.631 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.631 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.631 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.631 * [taylor]: Taking taylor expansion of -1 in y
1.631 * [taylor]: Taking taylor expansion of z in y
1.631 * [taylor]: Taking taylor expansion of y in y
1.631 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 z))) in z
1.631 * [taylor]: Taking taylor expansion of -1 in z
1.631 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.631 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.631 * [taylor]: Taking taylor expansion of -1 in z
1.631 * [taylor]: Taking taylor expansion of z in z
1.631 * [taylor]: Taking taylor expansion of 0 in z
1.632 * [taylor]: Taking taylor expansion of 0 in z
1.633 * [taylor]: Taking taylor expansion of 0 in z
1.633 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.633 * [approximate]: Taking taylor expansion of (* x (exp (* (log z) y))) in (x y z) around 0
1.633 * [taylor]: Taking taylor expansion of (* x (exp (* (log z) y))) in z
1.633 * [taylor]: Taking taylor expansion of x in z
1.633 * [taylor]: Taking taylor expansion of (exp (* (log z) y)) in z
1.633 * [taylor]: Taking taylor expansion of (* (log z) y) in z
1.633 * [taylor]: Taking taylor expansion of (log z) in z
1.633 * [taylor]: Taking taylor expansion of z in z
1.633 * [taylor]: Taking taylor expansion of y in z
1.633 * [taylor]: Taking taylor expansion of (* x (exp (* (log z) y))) in y
1.633 * [taylor]: Taking taylor expansion of x in y
1.633 * [taylor]: Taking taylor expansion of (exp (* (log z) y)) in y
1.633 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.633 * [taylor]: Taking taylor expansion of (log z) in y
1.633 * [taylor]: Taking taylor expansion of z in y
1.634 * [taylor]: Taking taylor expansion of y in y
1.634 * [taylor]: Taking taylor expansion of (* x (exp (* (log z) y))) in x
1.634 * [taylor]: Taking taylor expansion of x in x
1.634 * [taylor]: Taking taylor expansion of (exp (* (log z) y)) in x
1.634 * [taylor]: Taking taylor expansion of (* (log z) y) in x
1.634 * [taylor]: Taking taylor expansion of (log z) in x
1.634 * [taylor]: Taking taylor expansion of z in x
1.634 * [taylor]: Taking taylor expansion of y in x
1.634 * [taylor]: Taking taylor expansion of (* x (exp (* (log z) y))) in x
1.634 * [taylor]: Taking taylor expansion of x in x
1.634 * [taylor]: Taking taylor expansion of (exp (* (log z) y)) in x
1.634 * [taylor]: Taking taylor expansion of (* (log z) y) in x
1.634 * [taylor]: Taking taylor expansion of (log z) in x
1.634 * [taylor]: Taking taylor expansion of z in x
1.634 * [taylor]: Taking taylor expansion of y in x
1.634 * [taylor]: Taking taylor expansion of 0 in y
1.634 * [taylor]: Taking taylor expansion of 0 in z
1.634 * [taylor]: Taking taylor expansion of (exp (* (log z) y)) in y
1.635 * [taylor]: Taking taylor expansion of (* (log z) y) in y
1.635 * [taylor]: Taking taylor expansion of (log z) in y
1.635 * [taylor]: Taking taylor expansion of z in y
1.635 * [taylor]: Taking taylor expansion of y in y
1.635 * [taylor]: Taking taylor expansion of 1 in z
1.635 * [taylor]: Taking taylor expansion of 0 in z
1.635 * [taylor]: Taking taylor expansion of 0 in y
1.635 * [taylor]: Taking taylor expansion of 0 in z
1.636 * [taylor]: Taking taylor expansion of (log z) in z
1.636 * [taylor]: Taking taylor expansion of z in z
1.636 * [taylor]: Taking taylor expansion of 0 in z
1.636 * [taylor]: Taking taylor expansion of 0 in y
1.636 * [taylor]: Taking taylor expansion of 0 in z
1.636 * [taylor]: Taking taylor expansion of 0 in z
1.637 * [approximate]: Taking taylor expansion of (/ (exp (/ (log (/ 1 z)) y)) x) in (x y z) around 0
1.637 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 z)) y)) x) in z
1.637 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 z)) y)) in z
1.637 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
1.637 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.637 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.637 * [taylor]: Taking taylor expansion of z in z
1.637 * [taylor]: Taking taylor expansion of y in z
1.637 * [taylor]: Taking taylor expansion of x in z
1.637 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 z)) y)) x) in y
1.637 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 z)) y)) in y
1.637 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.637 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.637 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.637 * [taylor]: Taking taylor expansion of z in y
1.637 * [taylor]: Taking taylor expansion of y in y
1.637 * [taylor]: Taking taylor expansion of x in y
1.638 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 z)) y)) x) in x
1.638 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 z)) y)) in x
1.638 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x
1.638 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
1.638 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.638 * [taylor]: Taking taylor expansion of z in x
1.638 * [taylor]: Taking taylor expansion of y in x
1.638 * [taylor]: Taking taylor expansion of x in x
1.638 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 z)) y)) x) in x
1.638 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 z)) y)) in x
1.638 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x
1.638 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
1.638 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.638 * [taylor]: Taking taylor expansion of z in x
1.638 * [taylor]: Taking taylor expansion of y in x
1.638 * [taylor]: Taking taylor expansion of x in x
1.638 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 z)) y)) in y
1.638 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y
1.638 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
1.638 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.638 * [taylor]: Taking taylor expansion of z in y
1.638 * [taylor]: Taking taylor expansion of y in y
1.639 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 z)) y)) in z
1.639 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z
1.639 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.639 * [taylor]: Taking taylor expansion of z in z
1.639 * [taylor]: Taking taylor expansion of y in z
1.639 * [taylor]: Taking taylor expansion of 0 in y
1.639 * [taylor]: Taking taylor expansion of 0 in z
1.639 * [taylor]: Taking taylor expansion of 0 in z
1.640 * [taylor]: Taking taylor expansion of 0 in y
1.640 * [taylor]: Taking taylor expansion of 0 in z
1.640 * [taylor]: Taking taylor expansion of 0 in z
1.640 * [taylor]: Taking taylor expansion of 0 in z
1.640 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 z)) y))) x)) in (x y z) around 0
1.641 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 z)) y))) x)) in z
1.641 * [taylor]: Taking taylor expansion of -1 in z
1.641 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 z)) y))) x) in z
1.641 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 z)) y))) in z
1.641 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in z
1.641 * [taylor]: Taking taylor expansion of -1 in z
1.641 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
1.641 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.641 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.641 * [taylor]: Taking taylor expansion of -1 in z
1.641 * [taylor]: Taking taylor expansion of z in z
1.641 * [taylor]: Taking taylor expansion of y in z
1.641 * [taylor]: Taking taylor expansion of x in z
1.641 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 z)) y))) x)) in y
1.641 * [taylor]: Taking taylor expansion of -1 in y
1.641 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 z)) y))) x) in y
1.641 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 z)) y))) in y
1.641 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in y
1.641 * [taylor]: Taking taylor expansion of -1 in y
1.641 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.641 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.641 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.641 * [taylor]: Taking taylor expansion of -1 in y
1.641 * [taylor]: Taking taylor expansion of z in y
1.641 * [taylor]: Taking taylor expansion of y in y
1.642 * [taylor]: Taking taylor expansion of x in y
1.642 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 z)) y))) x)) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 z)) y))) x) in x
1.642 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 z)) y))) in x
1.642 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x
1.642 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
1.642 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of z in x
1.642 * [taylor]: Taking taylor expansion of y in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 z)) y))) x)) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 z)) y))) x) in x
1.642 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 z)) y))) in x
1.642 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x
1.642 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
1.642 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of z in x
1.642 * [taylor]: Taking taylor expansion of y in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.643 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (log (/ -1 z)) y)))) in y
1.643 * [taylor]: Taking taylor expansion of -1 in y
1.643 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 z)) y))) in y
1.643 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in y
1.643 * [taylor]: Taking taylor expansion of -1 in y
1.643 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y
1.643 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
1.643 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.643 * [taylor]: Taking taylor expansion of -1 in y
1.643 * [taylor]: Taking taylor expansion of z in y
1.643 * [taylor]: Taking taylor expansion of y in y
1.643 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (log (/ -1 z)) y)))) in z
1.643 * [taylor]: Taking taylor expansion of -1 in z
1.643 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 z)) y))) in z
1.643 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in z
1.643 * [taylor]: Taking taylor expansion of -1 in z
1.643 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z
1.643 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
1.643 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.643 * [taylor]: Taking taylor expansion of -1 in z
1.643 * [taylor]: Taking taylor expansion of z in z
1.643 * [taylor]: Taking taylor expansion of y in z
1.644 * [taylor]: Taking taylor expansion of 0 in y
1.644 * [taylor]: Taking taylor expansion of 0 in z
1.644 * [taylor]: Taking taylor expansion of 0 in z
1.646 * [taylor]: Taking taylor expansion of 0 in y
1.646 * [taylor]: Taking taylor expansion of 0 in z
1.646 * [taylor]: Taking taylor expansion of 0 in z
1.646 * [taylor]: Taking taylor expansion of 0 in z
1.646 * * * [progress]: simplifying candidates
1.647 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (log.f64 z))
  (+.f64 (log.f64 y) (log.f64 (log.f64 z)))
  (log.f64 (*.f64 y (log.f64 z)))
  (exp.f64 (*.f64 y (log.f64 z)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (log.f64 z) (log.f64 z)) (log.f64 z)))
  (*.f64 (cbrt.f64 (*.f64 y (log.f64 z))) (cbrt.f64 (*.f64 y (log.f64 z))))
  (cbrt.f64 (*.f64 y (log.f64 z)))
  (*.f64 (*.f64 (*.f64 y (log.f64 z)) (*.f64 y (log.f64 z))) (*.f64 y (log.f64 z)))
  (sqrt.f64 (*.f64 y (log.f64 z)))
  (sqrt.f64 (*.f64 y (log.f64 z)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (log.f64 z)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (log.f64 z)))
  (*.f64 y (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (*.f64 y (log.f64 (cbrt.f64 z)))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (log.f64 1))
  (*.f64 y (log.f64 z))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) y)
  (*.f64 (log.f64 (cbrt.f64 z)) y)
  (*.f64 (log.f64 (sqrt.f64 z)) y)
  (*.f64 (log.f64 (sqrt.f64 z)) y)
  (*.f64 (log.f64 1) y)
  (*.f64 (log.f64 z) y)
  (*.f64 y 1)
  (*.f64 y (*.f64 (cbrt.f64 (log.f64 z)) (cbrt.f64 (log.f64 z))))
  (*.f64 y (sqrt.f64 (log.f64 z)))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (log.f64 z))
  (*.f64 (sqrt.f64 y) (log.f64 z))
  (*.f64 y (log.f64 z))
  (*.f64 x (exp.f64 (*.f64 y (log.f64 z))))
  (+.f64 (log.f64 x) (*.f64 y (log.f64 z)))
  (log.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))
  (exp.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (exp.f64 (*.f64 y (log.f64 z))) (exp.f64 (*.f64 y (log.f64 z)))) (exp.f64 (*.f64 y (log.f64 z)))))
  (*.f64 (cbrt.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z))))) (cbrt.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z))))))
  (cbrt.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))
  (*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))) (*.f64 x (exp.f64 (*.f64 y (log.f64 z))))) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))
  (sqrt.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))
  (sqrt.f64 (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))
  (*.f64 (sqrt.f64 x) (exp.f64 (*.f64 y (log.f64 (sqrt.f64 z)))))
  (*.f64 (sqrt.f64 x) (exp.f64 (*.f64 y (log.f64 (sqrt.f64 z)))))
  (*.f64 (sqrt.f64 x) (exp.f64 (*.f64 (log.f64 (sqrt.f64 z)) y)))
  (*.f64 (sqrt.f64 x) (exp.f64 (*.f64 (log.f64 (sqrt.f64 z)) y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (exp.f64 (*.f64 y (log.f64 z)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (exp.f64 (*.f64 y (log.f64 z)))))
  (*.f64 x (exp.f64 (*.f64 y (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))))
  (*.f64 x (exp.f64 (*.f64 y (log.f64 (sqrt.f64 z)))))
  (*.f64 x (exp.f64 (*.f64 y (log.f64 1))))
  (*.f64 x (exp.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) y)))
  (*.f64 x (exp.f64 (*.f64 (log.f64 (sqrt.f64 z)) y)))
  (*.f64 x (exp.f64 (*.f64 (log.f64 1) y)))
  (*.f64 x (*.f64 (cbrt.f64 (exp.f64 (*.f64 y (log.f64 z)))) (cbrt.f64 (exp.f64 (*.f64 y (log.f64 z))))))
  (*.f64 x (sqrt.f64 (exp.f64 (*.f64 y (log.f64 z)))))
  (*.f64 x 1)
  (*.f64 (cbrt.f64 x) (exp.f64 (*.f64 y (log.f64 z))))
  (*.f64 (sqrt.f64 x) (exp.f64 (*.f64 y (log.f64 z))))
  (*.f64 x (exp.f64 (*.f64 y (log.f64 z))))
  (*.f64 (log.f64 z) y)
  (*.f64 -1 (*.f64 y (log.f64 (/.f64 1 z))))
  (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 z))) y)
  (+.f64 (*.f64 (log.f64 z) (*.f64 x y)) x)
  (*.f64 x (exp.f64 (*.f64 -1 (*.f64 (log.f64 (/.f64 1 z)) y))))
  (*.f64 x (exp.f64 (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 z))) y)))
1.676 * * [simplify]: iteration  0 :  5039  enodes  (cost  362 )
1.678 * [simplify]: Simplified to:
   (*.f64 y (log.f64 z))
  (log.f64 (*.f64 y (log.f64 z)))
  (log.f64 (*.f64 y (log.f64 z)))
  (pow.f64 z y)
  (pow.f64 (*.f64 y (log.f64 z)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (log.f64 z))) (cbrt.f64 (*.f64 y (log.f64 z))))
  (cbrt.f64 (*.f64 y (log.f64 z)))
  (pow.f64 (*.f64 y (log.f64 z)) 3)
  (sqrt.f64 (*.f64 y (log.f64 z)))
  (sqrt.f64 (*.f64 y (log.f64 z)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (log.f64 z)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (log.f64 z)))
  (*.f64 y (*.f64 (log.f64 (cbrt.f64 z)) 2))
  (*.f64 y (log.f64 (cbrt.f64 z)))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (log.f64 1))
  (*.f64 y (log.f64 z))
  (*.f64 y (*.f64 (log.f64 (cbrt.f64 z)) 2))
  (*.f64 y (log.f64 (cbrt.f64 z)))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (log.f64 (sqrt.f64 z)))
  (*.f64 y (log.f64 1))
  (*.f64 y (log.f64 z))
  y
  (*.f64 y (*.f64 (cbrt.f64 (log.f64 z)) (cbrt.f64 (log.f64 z))))
  (*.f64 y (sqrt.f64 (log.f64 z)))
  y
  (*.f64 (log.f64 z) (cbrt.f64 y))
  (*.f64 (log.f64 z) (sqrt.f64 y))
  (*.f64 y (log.f64 z))
  (*.f64 (pow.f64 z y) x)
  (log.f64 (*.f64 (pow.f64 z y) x))
  (log.f64 (*.f64 (pow.f64 z y) x))
  (exp.f64 (*.f64 (pow.f64 z y) x))
  (pow.f64 (*.f64 (pow.f64 z y) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (pow.f64 z y) x)) (cbrt.f64 (*.f64 (pow.f64 z y) x)))
  (cbrt.f64 (*.f64 (pow.f64 z y) x))
  (pow.f64 (*.f64 (pow.f64 z y) x) 3)
  (sqrt.f64 (*.f64 (pow.f64 z y) x))
  (sqrt.f64 (*.f64 (pow.f64 z y) x))
  (*.f64 (sqrt.f64 x) (pow.f64 (sqrt.f64 z) y))
  (*.f64 (sqrt.f64 x) (pow.f64 (sqrt.f64 z) y))
  (*.f64 (sqrt.f64 x) (pow.f64 (sqrt.f64 z) y))
  (*.f64 (sqrt.f64 x) (pow.f64 (sqrt.f64 z) y))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (pow.f64 z y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (pow.f64 z y)))
  (*.f64 x (pow.f64 (cbrt.f64 z) (+.f64 y y)))
  (*.f64 x (pow.f64 (sqrt.f64 z) y))
  x
  (*.f64 x (pow.f64 (cbrt.f64 z) (+.f64 y y)))
  (*.f64 x (pow.f64 (sqrt.f64 z) y))
  x
  (*.f64 x (*.f64 (cbrt.f64 (pow.f64 z y)) (cbrt.f64 (pow.f64 z y))))
  (*.f64 x (sqrt.f64 (pow.f64 z y)))
  x
  (*.f64 (pow.f64 z y) (cbrt.f64 x))
  (*.f64 (pow.f64 z y) (sqrt.f64 x))
  (*.f64 (pow.f64 z y) x)
  (*.f64 y (log.f64 z))
  (*.f64 y (log.f64 z))
  (*.f64 y (log.f64 z))
  (+.f64 x (*.f64 (log.f64 z) (*.f64 y x)))
  (*.f64 (pow.f64 z y) x)
  (*.f64 (pow.f64 z y) x)
1.678 * * * [progress]: adding candidates to table
1.699 * [progress]: [Phase 3 of 3] Extracting.
1.699 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))> #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>)
1.700 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x)
1.700 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))> #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>)
1.749 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))> #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>)
1.796 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))> #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>)
1.844 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))> #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>)
1.890 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))> #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>)
1.938 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (*.f64 x (exp.f64 (*.f64 y (log.f64 z)))))> #<alt (λ (x y z t a b) (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))))>)
1.986 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.986 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (exp.f64 (+.f64 (*.f64 y (-.f64 (log.f64 z) t)) (neg.f64 (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b)))))))
1.988 * * [simplify]: iteration  0 :  108  enodes  (cost  21 )
1.988 * * [simplify]: iteration  1 :  108  enodes  (cost  21 )
1.989 * [simplify]: Simplified to:
   (*.f64 x (exp.f64 (-.f64 (*.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (+.f64 (*.f64 (*.f64 z z) 1/2) (+.f64 z b))))))
5.657 * [regime-testing]: End program error score: 0.40029097521031204