24.365 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
0.033 * * [simplify]: iteration  0 :  13  enodes  (cost  15 )
0.035 * * [simplify]: iteration  1 :  26  enodes  (cost  15 )
0.039 * * [simplify]: iteration  2 :  65  enodes  (cost  12 )
0.050 * * [simplify]: iteration  3 :  126  enodes  (cost  11 )
0.075 * * [simplify]: iteration  4 :  162  enodes  (cost  10 )
0.102 * * [simplify]: iteration  5 :  171  enodes  (cost  10 )
0.131 * * [simplify]: iteration  6 :  174  enodes  (cost  10 )
0.162 * * [simplify]: iteration  done :  174  enodes  (cost  10 )
0.162 * [simplify]: Simplified to:
   (fma a (fma z b t) (fma y z x))
0.166 * * [progress]: iteration 1 / 4
0.166 * * * [progress]: picking best candidate
0.171 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))>
0.171 * * * [progress]: localizing error
0.182 * * * [progress]: generating rewritten candidates
0.182 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.189 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.236 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.248 * * * [progress]: generating series expansions
0.248 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.248 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
0.248 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.248 * [taylor]: Taking taylor expansion of a in b
0.248 * [taylor]: Taking taylor expansion of (* z b) in b
0.248 * [taylor]: Taking taylor expansion of z in b
0.248 * [taylor]: Taking taylor expansion of b in b
0.248 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.248 * [taylor]: Taking taylor expansion of a in z
0.248 * [taylor]: Taking taylor expansion of (* z b) in z
0.248 * [taylor]: Taking taylor expansion of z in z
0.248 * [taylor]: Taking taylor expansion of b in z
0.248 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.248 * [taylor]: Taking taylor expansion of a in a
0.248 * [taylor]: Taking taylor expansion of (* z b) in a
0.248 * [taylor]: Taking taylor expansion of z in a
0.248 * [taylor]: Taking taylor expansion of b in a
0.248 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.248 * [taylor]: Taking taylor expansion of a in a
0.248 * [taylor]: Taking taylor expansion of (* z b) in a
0.248 * [taylor]: Taking taylor expansion of z in a
0.248 * [taylor]: Taking taylor expansion of b in a
0.248 * [taylor]: Taking taylor expansion of 0 in z
0.248 * [taylor]: Taking taylor expansion of 0 in b
0.249 * [taylor]: Taking taylor expansion of (* z b) in z
0.249 * [taylor]: Taking taylor expansion of z in z
0.249 * [taylor]: Taking taylor expansion of b in z
0.249 * [taylor]: Taking taylor expansion of 0 in b
0.249 * [taylor]: Taking taylor expansion of 0 in b
0.250 * [taylor]: Taking taylor expansion of 0 in z
0.250 * [taylor]: Taking taylor expansion of 0 in b
0.251 * [taylor]: Taking taylor expansion of b in b
0.251 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
0.251 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
0.251 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.251 * [taylor]: Taking taylor expansion of a in b
0.251 * [taylor]: Taking taylor expansion of (* z b) in b
0.251 * [taylor]: Taking taylor expansion of z in b
0.251 * [taylor]: Taking taylor expansion of b in b
0.252 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.252 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.252 * [taylor]: Taking taylor expansion of a in z
0.252 * [taylor]: Taking taylor expansion of (* z b) in z
0.252 * [taylor]: Taking taylor expansion of z in z
0.252 * [taylor]: Taking taylor expansion of b in z
0.253 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.253 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.253 * [taylor]: Taking taylor expansion of a in a
0.253 * [taylor]: Taking taylor expansion of (* z b) in a
0.253 * [taylor]: Taking taylor expansion of z in a
0.253 * [taylor]: Taking taylor expansion of b in a
0.253 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.253 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.253 * [taylor]: Taking taylor expansion of a in a
0.253 * [taylor]: Taking taylor expansion of (* z b) in a
0.253 * [taylor]: Taking taylor expansion of z in a
0.253 * [taylor]: Taking taylor expansion of b in a
0.254 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
0.254 * [taylor]: Taking taylor expansion of (* z b) in z
0.254 * [taylor]: Taking taylor expansion of z in z
0.254 * [taylor]: Taking taylor expansion of b in z
0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.254 * [taylor]: Taking taylor expansion of b in b
0.255 * [taylor]: Taking taylor expansion of 0 in z
0.256 * [taylor]: Taking taylor expansion of 0 in b
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in b
0.259 * [taylor]: Taking taylor expansion of 0 in b
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in b
0.262 * [taylor]: Taking taylor expansion of 0 in b
0.263 * [taylor]: Taking taylor expansion of 0 in b
0.263 * [approximate]: Taking taylor expansion of (/ -1 (* a (* z b))) in (a z b) around 0
0.263 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in b
0.263 * [taylor]: Taking taylor expansion of -1 in b
0.263 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.263 * [taylor]: Taking taylor expansion of a in b
0.263 * [taylor]: Taking taylor expansion of (* z b) in b
0.263 * [taylor]: Taking taylor expansion of z in b
0.263 * [taylor]: Taking taylor expansion of b in b
0.264 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in z
0.264 * [taylor]: Taking taylor expansion of -1 in z
0.264 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.264 * [taylor]: Taking taylor expansion of a in z
0.264 * [taylor]: Taking taylor expansion of (* z b) in z
0.264 * [taylor]: Taking taylor expansion of z in z
0.264 * [taylor]: Taking taylor expansion of b in z
0.265 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
0.265 * [taylor]: Taking taylor expansion of -1 in a
0.265 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.265 * [taylor]: Taking taylor expansion of a in a
0.265 * [taylor]: Taking taylor expansion of (* z b) in a
0.265 * [taylor]: Taking taylor expansion of z in a
0.265 * [taylor]: Taking taylor expansion of b in a
0.265 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
0.265 * [taylor]: Taking taylor expansion of -1 in a
0.265 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.265 * [taylor]: Taking taylor expansion of a in a
0.265 * [taylor]: Taking taylor expansion of (* z b) in a
0.265 * [taylor]: Taking taylor expansion of z in a
0.265 * [taylor]: Taking taylor expansion of b in a
0.266 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
0.266 * [taylor]: Taking taylor expansion of -1 in z
0.266 * [taylor]: Taking taylor expansion of (* z b) in z
0.266 * [taylor]: Taking taylor expansion of z in z
0.266 * [taylor]: Taking taylor expansion of b in z
0.266 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.266 * [taylor]: Taking taylor expansion of -1 in b
0.266 * [taylor]: Taking taylor expansion of b in b
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.270 * [taylor]: Taking taylor expansion of 0 in z
0.270 * [taylor]: Taking taylor expansion of 0 in b
0.271 * [taylor]: Taking taylor expansion of 0 in b
0.274 * [taylor]: Taking taylor expansion of 0 in z
0.274 * [taylor]: Taking taylor expansion of 0 in b
0.274 * [taylor]: Taking taylor expansion of 0 in b
0.275 * [taylor]: Taking taylor expansion of 0 in b
0.276 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.276 * [approximate]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in (x y z t a b) around 0
0.276 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in b
0.276 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.276 * [taylor]: Taking taylor expansion of a in b
0.276 * [taylor]: Taking taylor expansion of (* z b) in b
0.276 * [taylor]: Taking taylor expansion of z in b
0.276 * [taylor]: Taking taylor expansion of b in b
0.276 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in b
0.276 * [taylor]: Taking taylor expansion of (* z y) in b
0.276 * [taylor]: Taking taylor expansion of z in b
0.276 * [taylor]: Taking taylor expansion of y in b
0.276 * [taylor]: Taking taylor expansion of (+ x (* t a)) in b
0.276 * [taylor]: Taking taylor expansion of x in b
0.276 * [taylor]: Taking taylor expansion of (* t a) in b
0.276 * [taylor]: Taking taylor expansion of t in b
0.276 * [taylor]: Taking taylor expansion of a in b
0.276 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in a
0.276 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of (* z b) in a
0.276 * [taylor]: Taking taylor expansion of z in a
0.276 * [taylor]: Taking taylor expansion of b in a
0.276 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
0.276 * [taylor]: Taking taylor expansion of (* z y) in a
0.276 * [taylor]: Taking taylor expansion of z in a
0.276 * [taylor]: Taking taylor expansion of y in a
0.276 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
0.276 * [taylor]: Taking taylor expansion of x in a
0.276 * [taylor]: Taking taylor expansion of (* t a) in a
0.276 * [taylor]: Taking taylor expansion of t in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in t
0.276 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
0.276 * [taylor]: Taking taylor expansion of a in t
0.277 * [taylor]: Taking taylor expansion of (* z b) in t
0.277 * [taylor]: Taking taylor expansion of z in t
0.277 * [taylor]: Taking taylor expansion of b in t
0.277 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
0.277 * [taylor]: Taking taylor expansion of (* z y) in t
0.277 * [taylor]: Taking taylor expansion of z in t
0.277 * [taylor]: Taking taylor expansion of y in t
0.277 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
0.277 * [taylor]: Taking taylor expansion of x in t
0.277 * [taylor]: Taking taylor expansion of (* t a) in t
0.277 * [taylor]: Taking taylor expansion of t in t
0.277 * [taylor]: Taking taylor expansion of a in t
0.277 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in z
0.277 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.277 * [taylor]: Taking taylor expansion of a in z
0.277 * [taylor]: Taking taylor expansion of (* z b) in z
0.277 * [taylor]: Taking taylor expansion of z in z
0.277 * [taylor]: Taking taylor expansion of b in z
0.277 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
0.277 * [taylor]: Taking taylor expansion of (* z y) in z
0.277 * [taylor]: Taking taylor expansion of z in z
0.277 * [taylor]: Taking taylor expansion of y in z
0.277 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
0.277 * [taylor]: Taking taylor expansion of x in z
0.277 * [taylor]: Taking taylor expansion of (* t a) in z
0.277 * [taylor]: Taking taylor expansion of t in z
0.277 * [taylor]: Taking taylor expansion of a in z
0.277 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in y
0.277 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.277 * [taylor]: Taking taylor expansion of a in y
0.277 * [taylor]: Taking taylor expansion of (* z b) in y
0.277 * [taylor]: Taking taylor expansion of z in y
0.277 * [taylor]: Taking taylor expansion of b in y
0.277 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
0.277 * [taylor]: Taking taylor expansion of (* z y) in y
0.277 * [taylor]: Taking taylor expansion of z in y
0.277 * [taylor]: Taking taylor expansion of y in y
0.277 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
0.277 * [taylor]: Taking taylor expansion of x in y
0.277 * [taylor]: Taking taylor expansion of (* t a) in y
0.277 * [taylor]: Taking taylor expansion of t in y
0.277 * [taylor]: Taking taylor expansion of a in y
0.277 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
0.277 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.277 * [taylor]: Taking taylor expansion of a in x
0.277 * [taylor]: Taking taylor expansion of (* z b) in x
0.277 * [taylor]: Taking taylor expansion of z in x
0.277 * [taylor]: Taking taylor expansion of b in x
0.277 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.277 * [taylor]: Taking taylor expansion of (* z y) in x
0.277 * [taylor]: Taking taylor expansion of z in x
0.277 * [taylor]: Taking taylor expansion of y in x
0.277 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.277 * [taylor]: Taking taylor expansion of x in x
0.277 * [taylor]: Taking taylor expansion of (* t a) in x
0.277 * [taylor]: Taking taylor expansion of t in x
0.277 * [taylor]: Taking taylor expansion of a in x
0.277 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
0.278 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.278 * [taylor]: Taking taylor expansion of a in x
0.278 * [taylor]: Taking taylor expansion of (* z b) in x
0.278 * [taylor]: Taking taylor expansion of z in x
0.278 * [taylor]: Taking taylor expansion of b in x
0.278 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.278 * [taylor]: Taking taylor expansion of (* z y) in x
0.278 * [taylor]: Taking taylor expansion of z in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (* t a) in x
0.278 * [taylor]: Taking taylor expansion of t in x
0.278 * [taylor]: Taking taylor expansion of a in x
0.278 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (* t a))) in y
0.278 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.278 * [taylor]: Taking taylor expansion of a in y
0.278 * [taylor]: Taking taylor expansion of (* z b) in y
0.278 * [taylor]: Taking taylor expansion of z in y
0.278 * [taylor]: Taking taylor expansion of b in y
0.278 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
0.278 * [taylor]: Taking taylor expansion of (* z y) in y
0.278 * [taylor]: Taking taylor expansion of z in y
0.278 * [taylor]: Taking taylor expansion of y in y
0.278 * [taylor]: Taking taylor expansion of (* t a) in y
0.278 * [taylor]: Taking taylor expansion of t in y
0.278 * [taylor]: Taking taylor expansion of a in y
0.278 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (* t a)) in z
0.279 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.279 * [taylor]: Taking taylor expansion of a in z
0.279 * [taylor]: Taking taylor expansion of (* z b) in z
0.279 * [taylor]: Taking taylor expansion of z in z
0.279 * [taylor]: Taking taylor expansion of b in z
0.279 * [taylor]: Taking taylor expansion of (* t a) in z
0.279 * [taylor]: Taking taylor expansion of t in z
0.279 * [taylor]: Taking taylor expansion of a in z
0.279 * [taylor]: Taking taylor expansion of (* t a) in t
0.279 * [taylor]: Taking taylor expansion of t in t
0.279 * [taylor]: Taking taylor expansion of a in t
0.279 * [taylor]: Taking taylor expansion of 0 in a
0.279 * [taylor]: Taking taylor expansion of 0 in b
0.280 * [taylor]: Taking taylor expansion of 1 in y
0.280 * [taylor]: Taking taylor expansion of 1 in z
0.280 * [taylor]: Taking taylor expansion of 1 in t
0.280 * [taylor]: Taking taylor expansion of 1 in a
0.280 * [taylor]: Taking taylor expansion of 1 in b
0.281 * [taylor]: Taking taylor expansion of z in z
0.281 * [taylor]: Taking taylor expansion of 0 in t
0.281 * [taylor]: Taking taylor expansion of 0 in a
0.281 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of (* a b) in t
0.282 * [taylor]: Taking taylor expansion of a in t
0.282 * [taylor]: Taking taylor expansion of b in t
0.282 * [taylor]: Taking taylor expansion of (* a b) in a
0.282 * [taylor]: Taking taylor expansion of a in a
0.282 * [taylor]: Taking taylor expansion of b in a
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of a in a
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.284 * [taylor]: Taking taylor expansion of 0 in y
0.284 * [taylor]: Taking taylor expansion of 0 in z
0.284 * [taylor]: Taking taylor expansion of 0 in t
0.284 * [taylor]: Taking taylor expansion of 0 in a
0.284 * [taylor]: Taking taylor expansion of 0 in b
0.285 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in (x y z t a b) around 0
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in b
0.285 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
0.285 * [taylor]: Taking taylor expansion of (* z y) in b
0.285 * [taylor]: Taking taylor expansion of z in b
0.285 * [taylor]: Taking taylor expansion of y in b
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in b
0.285 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
0.285 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.285 * [taylor]: Taking taylor expansion of a in b
0.285 * [taylor]: Taking taylor expansion of (* z b) in b
0.285 * [taylor]: Taking taylor expansion of z in b
0.285 * [taylor]: Taking taylor expansion of b in b
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in b
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.286 * [taylor]: Taking taylor expansion of (* t a) in b
0.286 * [taylor]: Taking taylor expansion of t in b
0.286 * [taylor]: Taking taylor expansion of a in b
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.286 * [taylor]: Taking taylor expansion of x in b
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in a
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.286 * [taylor]: Taking taylor expansion of (* z y) in a
0.286 * [taylor]: Taking taylor expansion of z in a
0.286 * [taylor]: Taking taylor expansion of y in a
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in a
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.286 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.286 * [taylor]: Taking taylor expansion of a in a
0.286 * [taylor]: Taking taylor expansion of (* z b) in a
0.286 * [taylor]: Taking taylor expansion of z in a
0.286 * [taylor]: Taking taylor expansion of b in a
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a
0.287 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.287 * [taylor]: Taking taylor expansion of (* t a) in a
0.287 * [taylor]: Taking taylor expansion of t in a
0.287 * [taylor]: Taking taylor expansion of a in a
0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.287 * [taylor]: Taking taylor expansion of x in a
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in t
0.287 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.287 * [taylor]: Taking taylor expansion of (* z y) in t
0.287 * [taylor]: Taking taylor expansion of z in t
0.287 * [taylor]: Taking taylor expansion of y in t
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in t
0.287 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
0.287 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
0.287 * [taylor]: Taking taylor expansion of a in t
0.288 * [taylor]: Taking taylor expansion of (* z b) in t
0.288 * [taylor]: Taking taylor expansion of z in t
0.288 * [taylor]: Taking taylor expansion of b in t
0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
0.288 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.288 * [taylor]: Taking taylor expansion of (* t a) in t
0.288 * [taylor]: Taking taylor expansion of t in t
0.288 * [taylor]: Taking taylor expansion of a in t
0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.288 * [taylor]: Taking taylor expansion of x in t
0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in z
0.288 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.288 * [taylor]: Taking taylor expansion of (* z y) in z
0.288 * [taylor]: Taking taylor expansion of z in z
0.288 * [taylor]: Taking taylor expansion of y in z
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in z
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.289 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.289 * [taylor]: Taking taylor expansion of a in z
0.289 * [taylor]: Taking taylor expansion of (* z b) in z
0.289 * [taylor]: Taking taylor expansion of z in z
0.289 * [taylor]: Taking taylor expansion of b in z
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.289 * [taylor]: Taking taylor expansion of (* t a) in z
0.289 * [taylor]: Taking taylor expansion of t in z
0.289 * [taylor]: Taking taylor expansion of a in z
0.289 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.289 * [taylor]: Taking taylor expansion of x in z
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in y
0.290 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.290 * [taylor]: Taking taylor expansion of (* z y) in y
0.290 * [taylor]: Taking taylor expansion of z in y
0.290 * [taylor]: Taking taylor expansion of y in y
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in y
0.290 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.290 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.290 * [taylor]: Taking taylor expansion of a in y
0.290 * [taylor]: Taking taylor expansion of (* z b) in y
0.290 * [taylor]: Taking taylor expansion of z in y
0.290 * [taylor]: Taking taylor expansion of b in y
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
0.290 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.290 * [taylor]: Taking taylor expansion of (* t a) in y
0.290 * [taylor]: Taking taylor expansion of t in y
0.290 * [taylor]: Taking taylor expansion of a in y
0.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.290 * [taylor]: Taking taylor expansion of x in y
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
0.290 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.290 * [taylor]: Taking taylor expansion of (* z y) in x
0.290 * [taylor]: Taking taylor expansion of z in x
0.290 * [taylor]: Taking taylor expansion of y in x
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.290 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.291 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.291 * [taylor]: Taking taylor expansion of a in x
0.291 * [taylor]: Taking taylor expansion of (* z b) in x
0.291 * [taylor]: Taking taylor expansion of z in x
0.291 * [taylor]: Taking taylor expansion of b in x
0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.291 * [taylor]: Taking taylor expansion of (* t a) in x
0.291 * [taylor]: Taking taylor expansion of t in x
0.291 * [taylor]: Taking taylor expansion of a in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.291 * [taylor]: Taking taylor expansion of (* z y) in x
0.291 * [taylor]: Taking taylor expansion of z in x
0.291 * [taylor]: Taking taylor expansion of y in x
0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.291 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.291 * [taylor]: Taking taylor expansion of a in x
0.291 * [taylor]: Taking taylor expansion of (* z b) in x
0.291 * [taylor]: Taking taylor expansion of z in x
0.291 * [taylor]: Taking taylor expansion of b in x
0.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.292 * [taylor]: Taking taylor expansion of (* t a) in x
0.292 * [taylor]: Taking taylor expansion of t in x
0.292 * [taylor]: Taking taylor expansion of a in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.292 * [taylor]: Taking taylor expansion of x in x
0.293 * [taylor]: Taking taylor expansion of 1 in y
0.294 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (/ 1 (* t a)))) in y
0.294 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.294 * [taylor]: Taking taylor expansion of (* z y) in y
0.294 * [taylor]: Taking taylor expansion of z in y
0.294 * [taylor]: Taking taylor expansion of y in y
0.294 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 (* t a))) in y
0.294 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.294 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.294 * [taylor]: Taking taylor expansion of a in y
0.294 * [taylor]: Taking taylor expansion of (* z b) in y
0.294 * [taylor]: Taking taylor expansion of z in y
0.294 * [taylor]: Taking taylor expansion of b in y
0.294 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.294 * [taylor]: Taking taylor expansion of (* t a) in y
0.294 * [taylor]: Taking taylor expansion of t in y
0.294 * [taylor]: Taking taylor expansion of a in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.295 * [taylor]: Taking taylor expansion of z in z
0.295 * [taylor]: Taking taylor expansion of 1 in t
0.295 * [taylor]: Taking taylor expansion of 1 in z
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
0.297 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.297 * [taylor]: Taking taylor expansion of (* t a) in z
0.297 * [taylor]: Taking taylor expansion of t in z
0.298 * [taylor]: Taking taylor expansion of a in z
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.298 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.298 * [taylor]: Taking taylor expansion of a in z
0.298 * [taylor]: Taking taylor expansion of (* z b) in z
0.298 * [taylor]: Taking taylor expansion of z in z
0.298 * [taylor]: Taking taylor expansion of b in z
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.298 * [taylor]: Taking taylor expansion of (* a b) in t
0.298 * [taylor]: Taking taylor expansion of a in t
0.298 * [taylor]: Taking taylor expansion of b in t
0.299 * [taylor]: Taking taylor expansion of 0 in z
0.299 * [taylor]: Taking taylor expansion of 0 in t
0.299 * [taylor]: Taking taylor expansion of 1 in t
0.299 * [taylor]: Taking taylor expansion of 1 in a
0.302 * [taylor]: Taking taylor expansion of 0 in y
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.304 * [taylor]: Taking taylor expansion of 0 in z
0.304 * [taylor]: Taking taylor expansion of 0 in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.305 * [taylor]: Taking taylor expansion of (* t a) in t
0.305 * [taylor]: Taking taylor expansion of t in t
0.305 * [taylor]: Taking taylor expansion of a in t
0.305 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.305 * [taylor]: Taking taylor expansion of a in a
0.305 * [taylor]: Taking taylor expansion of 1 in b
0.305 * [taylor]: Taking taylor expansion of 0 in t
0.306 * [taylor]: Taking taylor expansion of 0 in t
0.306 * [taylor]: Taking taylor expansion of 0 in t
0.306 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.306 * [taylor]: Taking taylor expansion of (* a b) in a
0.306 * [taylor]: Taking taylor expansion of a in a
0.306 * [taylor]: Taking taylor expansion of b in a
0.306 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.306 * [taylor]: Taking taylor expansion of b in b
0.307 * [taylor]: Taking taylor expansion of 0 in a
0.307 * [taylor]: Taking taylor expansion of 1 in a
0.307 * [taylor]: Taking taylor expansion of 0 in a
0.307 * [taylor]: Taking taylor expansion of 1 in b
0.311 * [taylor]: Taking taylor expansion of 0 in y
0.311 * [taylor]: Taking taylor expansion of 0 in z
0.311 * [taylor]: Taking taylor expansion of 0 in z
0.318 * [taylor]: Taking taylor expansion of 0 in z
0.318 * [taylor]: Taking taylor expansion of 0 in z
0.319 * [taylor]: Taking taylor expansion of 0 in t
0.319 * [taylor]: Taking taylor expansion of 0 in t
0.319 * [taylor]: Taking taylor expansion of 0 in t
0.321 * [taylor]: Taking taylor expansion of 0 in t
0.321 * [taylor]: Taking taylor expansion of 0 in t
0.321 * [taylor]: Taking taylor expansion of 0 in t
0.321 * [taylor]: Taking taylor expansion of 0 in t
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.322 * [taylor]: Taking taylor expansion of 0 in a
0.323 * [taylor]: Taking taylor expansion of 0 in b
0.324 * [taylor]: Taking taylor expansion of 0 in b
0.324 * [taylor]: Taking taylor expansion of 0 in b
0.324 * [taylor]: Taking taylor expansion of 1 in b
0.324 * [taylor]: Taking taylor expansion of 0 in b
0.324 * [taylor]: Taking taylor expansion of 0 in b
0.326 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in (x y z t a b) around 0
0.326 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in b
0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in b
0.327 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
0.327 * [taylor]: Taking taylor expansion of (* z y) in b
0.327 * [taylor]: Taking taylor expansion of z in b
0.327 * [taylor]: Taking taylor expansion of y in b
0.327 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.327 * [taylor]: Taking taylor expansion of (* t a) in b
0.327 * [taylor]: Taking taylor expansion of t in b
0.327 * [taylor]: Taking taylor expansion of a in b
0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in b
0.327 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
0.327 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.327 * [taylor]: Taking taylor expansion of a in b
0.327 * [taylor]: Taking taylor expansion of (* z b) in b
0.327 * [taylor]: Taking taylor expansion of z in b
0.327 * [taylor]: Taking taylor expansion of b in b
0.328 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.328 * [taylor]: Taking taylor expansion of x in b
0.328 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in a
0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
0.328 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.328 * [taylor]: Taking taylor expansion of (* z y) in a
0.328 * [taylor]: Taking taylor expansion of z in a
0.328 * [taylor]: Taking taylor expansion of y in a
0.328 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.328 * [taylor]: Taking taylor expansion of (* t a) in a
0.328 * [taylor]: Taking taylor expansion of t in a
0.328 * [taylor]: Taking taylor expansion of a in a
0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in a
0.328 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.328 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.328 * [taylor]: Taking taylor expansion of a in a
0.328 * [taylor]: Taking taylor expansion of (* z b) in a
0.328 * [taylor]: Taking taylor expansion of z in a
0.328 * [taylor]: Taking taylor expansion of b in a
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.329 * [taylor]: Taking taylor expansion of x in a
0.329 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in t
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
0.329 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.329 * [taylor]: Taking taylor expansion of (* z y) in t
0.329 * [taylor]: Taking taylor expansion of z in t
0.329 * [taylor]: Taking taylor expansion of y in t
0.329 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.329 * [taylor]: Taking taylor expansion of (* t a) in t
0.329 * [taylor]: Taking taylor expansion of t in t
0.329 * [taylor]: Taking taylor expansion of a in t
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in t
0.329 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
0.329 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
0.330 * [taylor]: Taking taylor expansion of a in t
0.330 * [taylor]: Taking taylor expansion of (* z b) in t
0.330 * [taylor]: Taking taylor expansion of z in t
0.330 * [taylor]: Taking taylor expansion of b in t
0.330 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.330 * [taylor]: Taking taylor expansion of x in t
0.330 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in z
0.330 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
0.330 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.330 * [taylor]: Taking taylor expansion of (* z y) in z
0.330 * [taylor]: Taking taylor expansion of z in z
0.330 * [taylor]: Taking taylor expansion of y in z
0.330 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.330 * [taylor]: Taking taylor expansion of (* t a) in z
0.330 * [taylor]: Taking taylor expansion of t in z
0.330 * [taylor]: Taking taylor expansion of a in z
0.330 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in z
0.330 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.330 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.330 * [taylor]: Taking taylor expansion of a in z
0.330 * [taylor]: Taking taylor expansion of (* z b) in z
0.330 * [taylor]: Taking taylor expansion of z in z
0.330 * [taylor]: Taking taylor expansion of b in z
0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.331 * [taylor]: Taking taylor expansion of x in z
0.331 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in y
0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.331 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.331 * [taylor]: Taking taylor expansion of (* z y) in y
0.331 * [taylor]: Taking taylor expansion of z in y
0.331 * [taylor]: Taking taylor expansion of y in y
0.332 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.332 * [taylor]: Taking taylor expansion of (* t a) in y
0.332 * [taylor]: Taking taylor expansion of t in y
0.332 * [taylor]: Taking taylor expansion of a in y
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in y
0.332 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.332 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.332 * [taylor]: Taking taylor expansion of a in y
0.332 * [taylor]: Taking taylor expansion of (* z b) in y
0.332 * [taylor]: Taking taylor expansion of z in y
0.332 * [taylor]: Taking taylor expansion of b in y
0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.332 * [taylor]: Taking taylor expansion of x in y
0.332 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.332 * [taylor]: Taking taylor expansion of (* z y) in x
0.332 * [taylor]: Taking taylor expansion of z in x
0.332 * [taylor]: Taking taylor expansion of y in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.332 * [taylor]: Taking taylor expansion of (* t a) in x
0.332 * [taylor]: Taking taylor expansion of t in x
0.332 * [taylor]: Taking taylor expansion of a in x
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.332 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.332 * [taylor]: Taking taylor expansion of a in x
0.332 * [taylor]: Taking taylor expansion of (* z b) in x
0.332 * [taylor]: Taking taylor expansion of z in x
0.332 * [taylor]: Taking taylor expansion of b in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.333 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.333 * [taylor]: Taking taylor expansion of (* z y) in x
0.333 * [taylor]: Taking taylor expansion of z in x
0.333 * [taylor]: Taking taylor expansion of y in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.333 * [taylor]: Taking taylor expansion of (* t a) in x
0.333 * [taylor]: Taking taylor expansion of t in x
0.333 * [taylor]: Taking taylor expansion of a in x
0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.333 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.333 * [taylor]: Taking taylor expansion of a in x
0.333 * [taylor]: Taking taylor expansion of (* z b) in x
0.333 * [taylor]: Taking taylor expansion of z in x
0.333 * [taylor]: Taking taylor expansion of b in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of -1 in y
0.336 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 (* a (* z b)))) in y
0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.336 * [taylor]: Taking taylor expansion of (* z y) in y
0.336 * [taylor]: Taking taylor expansion of z in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.336 * [taylor]: Taking taylor expansion of (* t a) in y
0.336 * [taylor]: Taking taylor expansion of t in y
0.336 * [taylor]: Taking taylor expansion of a in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.336 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.336 * [taylor]: Taking taylor expansion of a in y
0.336 * [taylor]: Taking taylor expansion of (* z b) in y
0.336 * [taylor]: Taking taylor expansion of z in y
0.336 * [taylor]: Taking taylor expansion of b in y
0.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.337 * [taylor]: Taking taylor expansion of z in z
0.337 * [taylor]: Taking taylor expansion of 1 in t
0.337 * [taylor]: Taking taylor expansion of -1 in z
0.339 * [taylor]: Taking taylor expansion of 0 in y
0.340 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
0.340 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.340 * [taylor]: Taking taylor expansion of (* t a) in z
0.340 * [taylor]: Taking taylor expansion of t in z
0.340 * [taylor]: Taking taylor expansion of a in z
0.340 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.340 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.340 * [taylor]: Taking taylor expansion of a in z
0.340 * [taylor]: Taking taylor expansion of (* z b) in z
0.340 * [taylor]: Taking taylor expansion of z in z
0.340 * [taylor]: Taking taylor expansion of b in z
0.341 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in t
0.341 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.341 * [taylor]: Taking taylor expansion of (* a b) in t
0.341 * [taylor]: Taking taylor expansion of a in t
0.341 * [taylor]: Taking taylor expansion of b in t
0.341 * [taylor]: Taking taylor expansion of 0 in z
0.341 * [taylor]: Taking taylor expansion of 0 in t
0.342 * [taylor]: Taking taylor expansion of -1 in t
0.342 * [taylor]: Taking taylor expansion of 1 in a
0.345 * [taylor]: Taking taylor expansion of 0 in y
0.345 * [taylor]: Taking taylor expansion of 0 in z
0.346 * [taylor]: Taking taylor expansion of 0 in z
0.347 * [taylor]: Taking taylor expansion of 0 in z
0.348 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.348 * [taylor]: Taking taylor expansion of (* t a) in t
0.348 * [taylor]: Taking taylor expansion of t in t
0.348 * [taylor]: Taking taylor expansion of a in t
0.348 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.348 * [taylor]: Taking taylor expansion of a in a
0.349 * [taylor]: Taking taylor expansion of 1 in b
0.349 * [taylor]: Taking taylor expansion of 0 in t
0.349 * [taylor]: Taking taylor expansion of 0 in t
0.349 * [taylor]: Taking taylor expansion of 0 in t
0.349 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in a
0.350 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.350 * [taylor]: Taking taylor expansion of (* a b) in a
0.350 * [taylor]: Taking taylor expansion of a in a
0.350 * [taylor]: Taking taylor expansion of b in a
0.350 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b
0.350 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.350 * [taylor]: Taking taylor expansion of b in b
0.351 * [taylor]: Taking taylor expansion of 0 in a
0.351 * [taylor]: Taking taylor expansion of -1 in a
0.351 * [taylor]: Taking taylor expansion of 0 in a
0.351 * [taylor]: Taking taylor expansion of 1 in b
0.355 * [taylor]: Taking taylor expansion of 0 in y
0.355 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [taylor]: Taking taylor expansion of 0 in z
0.358 * [taylor]: Taking taylor expansion of 0 in z
0.358 * [taylor]: Taking taylor expansion of 0 in z
0.358 * [taylor]: Taking taylor expansion of 0 in t
0.358 * [taylor]: Taking taylor expansion of 0 in t
0.358 * [taylor]: Taking taylor expansion of 0 in t
0.360 * [taylor]: Taking taylor expansion of 0 in t
0.360 * [taylor]: Taking taylor expansion of 0 in t
0.361 * [taylor]: Taking taylor expansion of 0 in t
0.361 * [taylor]: Taking taylor expansion of 0 in t
0.361 * [taylor]: Taking taylor expansion of 0 in a
0.361 * [taylor]: Taking taylor expansion of 0 in a
0.361 * [taylor]: Taking taylor expansion of 0 in a
0.361 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in b
0.363 * [taylor]: Taking taylor expansion of 0 in b
0.363 * [taylor]: Taking taylor expansion of 0 in b
0.363 * [taylor]: Taking taylor expansion of -1 in b
0.364 * [taylor]: Taking taylor expansion of 0 in b
0.364 * [taylor]: Taking taylor expansion of 0 in b
0.366 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.366 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in (x y z t a) around 0
0.366 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
0.366 * [taylor]: Taking taylor expansion of (* z y) in a
0.366 * [taylor]: Taking taylor expansion of z in a
0.366 * [taylor]: Taking taylor expansion of y in a
0.366 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
0.366 * [taylor]: Taking taylor expansion of x in a
0.366 * [taylor]: Taking taylor expansion of (* t a) in a
0.366 * [taylor]: Taking taylor expansion of t in a
0.366 * [taylor]: Taking taylor expansion of a in a
0.366 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
0.366 * [taylor]: Taking taylor expansion of (* z y) in t
0.366 * [taylor]: Taking taylor expansion of z in t
0.366 * [taylor]: Taking taylor expansion of y in t
0.366 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
0.366 * [taylor]: Taking taylor expansion of x in t
0.366 * [taylor]: Taking taylor expansion of (* t a) in t
0.366 * [taylor]: Taking taylor expansion of t in t
0.366 * [taylor]: Taking taylor expansion of a in t
0.366 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
0.366 * [taylor]: Taking taylor expansion of (* z y) in z
0.366 * [taylor]: Taking taylor expansion of z in z
0.366 * [taylor]: Taking taylor expansion of y in z
0.366 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
0.366 * [taylor]: Taking taylor expansion of x in z
0.366 * [taylor]: Taking taylor expansion of (* t a) in z
0.366 * [taylor]: Taking taylor expansion of t in z
0.366 * [taylor]: Taking taylor expansion of a in z
0.366 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
0.366 * [taylor]: Taking taylor expansion of (* z y) in y
0.366 * [taylor]: Taking taylor expansion of z in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.366 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
0.366 * [taylor]: Taking taylor expansion of x in y
0.367 * [taylor]: Taking taylor expansion of (* t a) in y
0.367 * [taylor]: Taking taylor expansion of t in y
0.367 * [taylor]: Taking taylor expansion of a in y
0.367 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.367 * [taylor]: Taking taylor expansion of (* z y) in x
0.367 * [taylor]: Taking taylor expansion of z in x
0.367 * [taylor]: Taking taylor expansion of y in x
0.367 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (* t a) in x
0.367 * [taylor]: Taking taylor expansion of t in x
0.367 * [taylor]: Taking taylor expansion of a in x
0.367 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.367 * [taylor]: Taking taylor expansion of (* z y) in x
0.367 * [taylor]: Taking taylor expansion of z in x
0.367 * [taylor]: Taking taylor expansion of y in x
0.367 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (* t a) in x
0.367 * [taylor]: Taking taylor expansion of t in x
0.367 * [taylor]: Taking taylor expansion of a in x
0.367 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
0.367 * [taylor]: Taking taylor expansion of (* z y) in y
0.367 * [taylor]: Taking taylor expansion of z in y
0.367 * [taylor]: Taking taylor expansion of y in y
0.367 * [taylor]: Taking taylor expansion of (* t a) in y
0.367 * [taylor]: Taking taylor expansion of t in y
0.367 * [taylor]: Taking taylor expansion of a in y
0.367 * [taylor]: Taking taylor expansion of (* t a) in z
0.367 * [taylor]: Taking taylor expansion of t in z
0.367 * [taylor]: Taking taylor expansion of a in z
0.367 * [taylor]: Taking taylor expansion of (* t a) in t
0.367 * [taylor]: Taking taylor expansion of t in t
0.367 * [taylor]: Taking taylor expansion of a in t
0.367 * [taylor]: Taking taylor expansion of 0 in a
0.368 * [taylor]: Taking taylor expansion of 1 in y
0.368 * [taylor]: Taking taylor expansion of 1 in z
0.368 * [taylor]: Taking taylor expansion of 1 in t
0.368 * [taylor]: Taking taylor expansion of 1 in a
0.369 * [taylor]: Taking taylor expansion of z in z
0.369 * [taylor]: Taking taylor expansion of 0 in t
0.369 * [taylor]: Taking taylor expansion of 0 in a
0.369 * [taylor]: Taking taylor expansion of 0 in t
0.369 * [taylor]: Taking taylor expansion of 0 in a
0.369 * [taylor]: Taking taylor expansion of a in a
0.370 * [taylor]: Taking taylor expansion of 0 in y
0.370 * [taylor]: Taking taylor expansion of 0 in z
0.370 * [taylor]: Taking taylor expansion of 0 in t
0.370 * [taylor]: Taking taylor expansion of 0 in a
0.370 * [taylor]: Taking taylor expansion of 0 in z
0.371 * [taylor]: Taking taylor expansion of 0 in t
0.371 * [taylor]: Taking taylor expansion of 0 in a
0.371 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in (x y z t a) around 0
0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in a
0.371 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.371 * [taylor]: Taking taylor expansion of (* z y) in a
0.371 * [taylor]: Taking taylor expansion of z in a
0.371 * [taylor]: Taking taylor expansion of y in a
0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a
0.371 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.371 * [taylor]: Taking taylor expansion of (* t a) in a
0.371 * [taylor]: Taking taylor expansion of t in a
0.371 * [taylor]: Taking taylor expansion of a in a
0.371 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.371 * [taylor]: Taking taylor expansion of x in a
0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in t
0.372 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.372 * [taylor]: Taking taylor expansion of (* z y) in t
0.372 * [taylor]: Taking taylor expansion of z in t
0.372 * [taylor]: Taking taylor expansion of y in t
0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
0.372 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.372 * [taylor]: Taking taylor expansion of (* t a) in t
0.372 * [taylor]: Taking taylor expansion of t in t
0.372 * [taylor]: Taking taylor expansion of a in t
0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.372 * [taylor]: Taking taylor expansion of x in t
0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in z
0.372 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.372 * [taylor]: Taking taylor expansion of (* z y) in z
0.372 * [taylor]: Taking taylor expansion of z in z
0.372 * [taylor]: Taking taylor expansion of y in z
0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z
0.373 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.373 * [taylor]: Taking taylor expansion of (* t a) in z
0.373 * [taylor]: Taking taylor expansion of t in z
0.373 * [taylor]: Taking taylor expansion of a in z
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.373 * [taylor]: Taking taylor expansion of x in z
0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in y
0.373 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.373 * [taylor]: Taking taylor expansion of (* z y) in y
0.373 * [taylor]: Taking taylor expansion of z in y
0.373 * [taylor]: Taking taylor expansion of y in y
0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
0.373 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.373 * [taylor]: Taking taylor expansion of (* t a) in y
0.373 * [taylor]: Taking taylor expansion of t in y
0.373 * [taylor]: Taking taylor expansion of a in y
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.373 * [taylor]: Taking taylor expansion of x in y
0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.373 * [taylor]: Taking taylor expansion of (* z y) in x
0.373 * [taylor]: Taking taylor expansion of z in x
0.373 * [taylor]: Taking taylor expansion of y in x
0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.374 * [taylor]: Taking taylor expansion of (* t a) in x
0.374 * [taylor]: Taking taylor expansion of t in x
0.374 * [taylor]: Taking taylor expansion of a in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.374 * [taylor]: Taking taylor expansion of (* z y) in x
0.374 * [taylor]: Taking taylor expansion of z in x
0.374 * [taylor]: Taking taylor expansion of y in x
0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.374 * [taylor]: Taking taylor expansion of (* t a) in x
0.374 * [taylor]: Taking taylor expansion of t in x
0.374 * [taylor]: Taking taylor expansion of a in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.376 * [taylor]: Taking taylor expansion of 1 in y
0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.376 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.376 * [taylor]: Taking taylor expansion of (* z y) in y
0.376 * [taylor]: Taking taylor expansion of z in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.377 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.377 * [taylor]: Taking taylor expansion of (* t a) in y
0.377 * [taylor]: Taking taylor expansion of t in y
0.377 * [taylor]: Taking taylor expansion of a in y
0.377 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.377 * [taylor]: Taking taylor expansion of z in z
0.377 * [taylor]: Taking taylor expansion of 1 in t
0.377 * [taylor]: Taking taylor expansion of 1 in z
0.378 * [taylor]: Taking taylor expansion of 0 in y
0.379 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.379 * [taylor]: Taking taylor expansion of (* t a) in z
0.379 * [taylor]: Taking taylor expansion of t in z
0.379 * [taylor]: Taking taylor expansion of a in z
0.379 * [taylor]: Taking taylor expansion of 0 in z
0.380 * [taylor]: Taking taylor expansion of 0 in t
0.380 * [taylor]: Taking taylor expansion of 1 in t
0.380 * [taylor]: Taking taylor expansion of 1 in a
0.382 * [taylor]: Taking taylor expansion of 0 in y
0.382 * [taylor]: Taking taylor expansion of 0 in z
0.383 * [taylor]: Taking taylor expansion of 0 in z
0.383 * [taylor]: Taking taylor expansion of 0 in z
0.383 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.383 * [taylor]: Taking taylor expansion of (* t a) in t
0.383 * [taylor]: Taking taylor expansion of t in t
0.383 * [taylor]: Taking taylor expansion of a in t
0.383 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.383 * [taylor]: Taking taylor expansion of a in a
0.384 * [taylor]: Taking taylor expansion of 0 in t
0.384 * [taylor]: Taking taylor expansion of 0 in t
0.384 * [taylor]: Taking taylor expansion of 0 in t
0.384 * [taylor]: Taking taylor expansion of 0 in a
0.384 * [taylor]: Taking taylor expansion of 1 in a
0.384 * [taylor]: Taking taylor expansion of 0 in a
0.387 * [taylor]: Taking taylor expansion of 0 in y
0.387 * [taylor]: Taking taylor expansion of 0 in z
0.387 * [taylor]: Taking taylor expansion of 0 in z
0.388 * [taylor]: Taking taylor expansion of 0 in z
0.389 * [taylor]: Taking taylor expansion of 0 in z
0.389 * [taylor]: Taking taylor expansion of 0 in t
0.389 * [taylor]: Taking taylor expansion of 0 in t
0.389 * [taylor]: Taking taylor expansion of 0 in t
0.389 * [taylor]: Taking taylor expansion of 0 in t
0.389 * [taylor]: Taking taylor expansion of 0 in t
0.389 * [taylor]: Taking taylor expansion of 0 in t
0.389 * [taylor]: Taking taylor expansion of 0 in t
0.390 * [taylor]: Taking taylor expansion of 0 in a
0.390 * [taylor]: Taking taylor expansion of 0 in a
0.390 * [taylor]: Taking taylor expansion of 0 in a
0.390 * [taylor]: Taking taylor expansion of 0 in a
0.390 * [taylor]: Taking taylor expansion of 0 in a
0.390 * [taylor]: Taking taylor expansion of 0 in a
0.390 * [taylor]: Taking taylor expansion of 0 in a
0.392 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in (x y z t a) around 0
0.392 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in a
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
0.392 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.392 * [taylor]: Taking taylor expansion of (* z y) in a
0.392 * [taylor]: Taking taylor expansion of z in a
0.392 * [taylor]: Taking taylor expansion of y in a
0.392 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.392 * [taylor]: Taking taylor expansion of (* t a) in a
0.392 * [taylor]: Taking taylor expansion of t in a
0.392 * [taylor]: Taking taylor expansion of a in a
0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.393 * [taylor]: Taking taylor expansion of x in a
0.393 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in t
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
0.393 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.393 * [taylor]: Taking taylor expansion of (* z y) in t
0.393 * [taylor]: Taking taylor expansion of z in t
0.393 * [taylor]: Taking taylor expansion of y in t
0.393 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.393 * [taylor]: Taking taylor expansion of (* t a) in t
0.393 * [taylor]: Taking taylor expansion of t in t
0.393 * [taylor]: Taking taylor expansion of a in t
0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.393 * [taylor]: Taking taylor expansion of x in t
0.393 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in z
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
0.393 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.393 * [taylor]: Taking taylor expansion of (* z y) in z
0.393 * [taylor]: Taking taylor expansion of z in z
0.393 * [taylor]: Taking taylor expansion of y in z
0.394 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.394 * [taylor]: Taking taylor expansion of (* t a) in z
0.394 * [taylor]: Taking taylor expansion of t in z
0.394 * [taylor]: Taking taylor expansion of a in z
0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.394 * [taylor]: Taking taylor expansion of x in z
0.394 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in y
0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.394 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.394 * [taylor]: Taking taylor expansion of (* z y) in y
0.394 * [taylor]: Taking taylor expansion of z in y
0.394 * [taylor]: Taking taylor expansion of y in y
0.394 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.394 * [taylor]: Taking taylor expansion of (* t a) in y
0.394 * [taylor]: Taking taylor expansion of t in y
0.394 * [taylor]: Taking taylor expansion of a in y
0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.394 * [taylor]: Taking taylor expansion of x in y
0.395 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.395 * [taylor]: Taking taylor expansion of (* z y) in x
0.395 * [taylor]: Taking taylor expansion of z in x
0.395 * [taylor]: Taking taylor expansion of y in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.395 * [taylor]: Taking taylor expansion of (* t a) in x
0.395 * [taylor]: Taking taylor expansion of t in x
0.395 * [taylor]: Taking taylor expansion of a in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.395 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.395 * [taylor]: Taking taylor expansion of (* z y) in x
0.395 * [taylor]: Taking taylor expansion of z in x
0.395 * [taylor]: Taking taylor expansion of y in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.395 * [taylor]: Taking taylor expansion of (* t a) in x
0.395 * [taylor]: Taking taylor expansion of t in x
0.395 * [taylor]: Taking taylor expansion of a in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.396 * [taylor]: Taking taylor expansion of -1 in y
0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.397 * [taylor]: Taking taylor expansion of (* z y) in y
0.397 * [taylor]: Taking taylor expansion of z in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.398 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.398 * [taylor]: Taking taylor expansion of (* t a) in y
0.398 * [taylor]: Taking taylor expansion of t in y
0.398 * [taylor]: Taking taylor expansion of a in y
0.398 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.398 * [taylor]: Taking taylor expansion of z in z
0.398 * [taylor]: Taking taylor expansion of 1 in t
0.398 * [taylor]: Taking taylor expansion of -1 in z
0.400 * [taylor]: Taking taylor expansion of 0 in y
0.400 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.400 * [taylor]: Taking taylor expansion of (* t a) in z
0.400 * [taylor]: Taking taylor expansion of t in z
0.400 * [taylor]: Taking taylor expansion of a in z
0.400 * [taylor]: Taking taylor expansion of 0 in z
0.401 * [taylor]: Taking taylor expansion of 0 in t
0.401 * [taylor]: Taking taylor expansion of -1 in t
0.401 * [taylor]: Taking taylor expansion of 1 in a
0.403 * [taylor]: Taking taylor expansion of 0 in y
0.403 * [taylor]: Taking taylor expansion of 0 in z
0.404 * [taylor]: Taking taylor expansion of 0 in z
0.404 * [taylor]: Taking taylor expansion of 0 in z
0.404 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.404 * [taylor]: Taking taylor expansion of (* t a) in t
0.404 * [taylor]: Taking taylor expansion of t in t
0.404 * [taylor]: Taking taylor expansion of a in t
0.405 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.405 * [taylor]: Taking taylor expansion of a in a
0.405 * [taylor]: Taking taylor expansion of 0 in t
0.406 * [taylor]: Taking taylor expansion of 0 in t
0.406 * [taylor]: Taking taylor expansion of 0 in t
0.406 * [taylor]: Taking taylor expansion of 0 in a
0.406 * [taylor]: Taking taylor expansion of -1 in a
0.406 * [taylor]: Taking taylor expansion of 0 in a
0.409 * [taylor]: Taking taylor expansion of 0 in y
0.409 * [taylor]: Taking taylor expansion of 0 in z
0.409 * [taylor]: Taking taylor expansion of 0 in z
0.410 * [taylor]: Taking taylor expansion of 0 in z
0.410 * [taylor]: Taking taylor expansion of 0 in z
0.410 * [taylor]: Taking taylor expansion of 0 in t
0.410 * [taylor]: Taking taylor expansion of 0 in t
0.411 * [taylor]: Taking taylor expansion of 0 in t
0.411 * [taylor]: Taking taylor expansion of 0 in t
0.411 * [taylor]: Taking taylor expansion of 0 in t
0.411 * [taylor]: Taking taylor expansion of 0 in t
0.411 * [taylor]: Taking taylor expansion of 0 in t
0.418 * [taylor]: Taking taylor expansion of 0 in a
0.418 * [taylor]: Taking taylor expansion of 0 in a
0.418 * [taylor]: Taking taylor expansion of 0 in a
0.418 * [taylor]: Taking taylor expansion of 0 in a
0.418 * [taylor]: Taking taylor expansion of 0 in a
0.418 * [taylor]: Taking taylor expansion of 0 in a
0.418 * [taylor]: Taking taylor expansion of 0 in a
0.420 * * * [progress]: simplifying candidates
0.420 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* a z) b))
  (log1p (* (* a z) b))
  (* (* a z) b)
  (* (* a z) b)
  (+ (+ (log a) (log z)) (log b))
  (+ (log (* a z)) (log b))
  (log (* (* a z) b))
  (exp (* (* a z) b))
  (* (* (* (* a a) a) (* (* z z) z)) (* (* b b) b))
  (* (* (* (* a z) (* a z)) (* a z)) (* (* b b) b))
  (* (cbrt (* (* a z) b)) (cbrt (* (* a z) b)))
  (cbrt (* (* a z) b))
  (* (* (* (* a z) b) (* (* a z) b)) (* (* a z) b))
  (sqrt (* (* a z) b))
  (sqrt (* (* a z) b))
  (* (* a z) (* (cbrt b) (cbrt b)))
  (* (* a z) (sqrt b))
  (* (* a z) 1)
  (* z b)
  (expm1 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (log1p (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (* (* (* (exp x) (exp (* y z))) (exp (* t a))) (exp (* (* a z) b)))
  (* (* (exp (+ x (* y z))) (exp (* t a))) (exp (* (* a z) b)))
  (* (exp (+ (+ x (* y z)) (* t a))) (exp (* (* a z) b)))
  (log (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (exp (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (* (cbrt (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))) (cbrt (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))))
  (cbrt (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (* (* (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (sqrt (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (sqrt (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
  (+ (pow (+ (+ x (* y z)) (* t a)) 3) (pow (* (* a z) b) 3))
  (+ (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (- (* (* (* a z) b) (* (* a z) b)) (* (+ (+ x (* y z)) (* t a)) (* (* a z) b))))
  (- (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (* (* (* a z) b) (* (* a z) b)))
  (- (+ (+ x (* y z)) (* t a)) (* (* a z) b))
  (+ (* t a) (* (* a z) b))
  (expm1 (+ (+ x (* y z)) (* t a)))
  (log1p (+ (+ x (* y z)) (* t a)))
  (* (* (exp x) (exp (* y z))) (exp (* t a)))
  (* (exp (+ x (* y z))) (exp (* t a)))
  (log (+ (+ x (* y z)) (* t a)))
  (exp (+ (+ x (* y z)) (* t a)))
  (* (cbrt (+ (+ x (* y z)) (* t a))) (cbrt (+ (+ x (* y z)) (* t a))))
  (cbrt (+ (+ x (* y z)) (* t a)))
  (* (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (+ (+ x (* y z)) (* t a)))
  (sqrt (+ (+ x (* y z)) (* t a)))
  (sqrt (+ (+ x (* y z)) (* t a)))
  (+ (pow (+ x (* y z)) 3) (pow (* t a) 3))
  (+ (* (+ x (* y z)) (+ x (* y z))) (- (* (* t a) (* t a)) (* (+ x (* y z)) (* t a))))
  (- (* (+ x (* y z)) (+ x (* y z))) (* (* t a) (* t a)))
  (- (+ x (* y z)) (* t a))
  (+ (* y z) (* t a))
  0
  (* a (* z b))
  (* a (* z b))
  x
  (+ (* a (* z b)) (+ (* z y) (* a t)))
  (+ (* a (* z b)) (+ (* z y) (* a t)))
  x
  (+ (* z y) (+ x (* a t)))
  (+ (* z y) (+ x (* a t)))
0.424 * * [simplify]: iteration  0 :  105  enodes  (cost  798 )
0.443 * * [simplify]: iteration  1 :  295  enodes  (cost  701 )
0.553 * * [simplify]: iteration  2 :  1275  enodes  (cost  595 )
1.276 * * [simplify]: iteration  done :  5001  enodes  (cost  593 )
1.276 * [simplify]: Simplified to:
   (expm1 (* (* a z) b))
  (log1p (* (* a z) b))
  (* a (* z b))
  (* a (* z b))
  (log (* (* a z) b))
  (log (* (* a z) b))
  (log (* (* a z) b))
  (exp (* (* a z) b))
  (pow (* (* a z) b) 3)
  (pow (* (* a z) b) 3)
  (* (cbrt (* (* a z) b)) (cbrt (* (* a z) b)))
  (cbrt (* (* a z) b))
  (pow (* (* a z) b) 3)
  (sqrt (* (* a z) b))
  (sqrt (* (* a z) b))
  (* (* a z) (* (cbrt b) (cbrt b)))
  (* (* a z) (sqrt b))
  (* a z)
  (* z b)
  (expm1 (+ (fma y z x) (* a (+ t (* z b)))))
  (log1p (+ (fma y z x) (* a (+ t (* z b)))))
  (exp (+ (fma y z x) (* a (+ t (* z b)))))
  (exp (+ (fma y z x) (* a (+ t (* z b)))))
  (exp (+ (fma y z x) (* a (+ t (* z b)))))
  (log (+ (fma y z x) (* a (+ t (* z b)))))
  (exp (+ (fma y z x) (* a (+ t (* z b)))))
  (* (cbrt (+ (fma y z x) (* a (+ t (* z b))))) (cbrt (+ (fma y z x) (* a (+ t (* z b))))))
  (cbrt (+ (fma y z x) (* a (+ t (* z b)))))
  (pow (+ (fma y z x) (* a (+ t (* z b)))) 3)
  (sqrt (+ (fma y z x) (* a (+ t (* z b)))))
  (sqrt (+ (fma y z x) (* a (+ t (* z b)))))
  (+ (pow (fma a t (fma y z x)) 3) (pow (* (* a z) b) 3))
  (+ (* (fma a t (fma y z x)) (+ (fma y z x) (* a (- t (* z b))))) (* (* (* a z) b) (* (* a z) b)))
  (* (+ (fma y z x) (* a (- t (* z b)))) (+ (fma y z x) (* a (+ t (* z b)))))
  (+ (fma y z x) (* a (- t (* z b))))
  (* a (+ t (* z b)))
  (expm1 (fma a t (fma y z x)))
  (log1p (fma a t (fma y z x)))
  (exp (fma a t (fma y z x)))
  (exp (fma a t (fma y z x)))
  (log (fma a t (fma y z x)))
  (exp (fma a t (fma y z x)))
  (* (cbrt (fma a t (fma y z x))) (cbrt (fma a t (fma y z x))))
  (cbrt (fma a t (fma y z x)))
  (pow (fma a t (fma y z x)) 3)
  (sqrt (fma a t (fma y z x)))
  (sqrt (fma a t (fma y z x)))
  (+ (pow (* t a) 3) (pow (fma y z x) 3))
  (fma (* t a) (fma t a (- (fma y z x))) (* (fma y z x) (fma y z x)))
  (* (fma a t (fma y z x)) (- (fma y z x) (* t a)))
  (- (fma y z x) (* t a))
  (fma y z (* t a))
  0
  (* a (* z b))
  (* a (* z b))
  x
  (fma a (* z b) (fma y z (* t a)))
  (fma a (* z b) (fma y z (* t a)))
  x
  (fma a t (fma y z x))
  (fma a t (fma y z x))
1.277 * * * [progress]: adding candidates to table
1.488 * * [progress]: iteration 2 / 4
1.488 * * * [progress]: picking best candidate
1.502 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))>
1.502 * * * [progress]: localizing error
1.516 * * * [progress]: generating rewritten candidates
1.516 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1.522 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.571 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.583 * * * [progress]: generating series expansions
1.583 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1.584 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
1.584 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.584 * [taylor]: Taking taylor expansion of a in b
1.584 * [taylor]: Taking taylor expansion of (* z b) in b
1.584 * [taylor]: Taking taylor expansion of z in b
1.584 * [taylor]: Taking taylor expansion of b in b
1.584 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.584 * [taylor]: Taking taylor expansion of a in z
1.584 * [taylor]: Taking taylor expansion of (* z b) in z
1.584 * [taylor]: Taking taylor expansion of z in z
1.584 * [taylor]: Taking taylor expansion of b in z
1.584 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.584 * [taylor]: Taking taylor expansion of a in a
1.584 * [taylor]: Taking taylor expansion of (* z b) in a
1.584 * [taylor]: Taking taylor expansion of z in a
1.584 * [taylor]: Taking taylor expansion of b in a
1.584 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.584 * [taylor]: Taking taylor expansion of a in a
1.584 * [taylor]: Taking taylor expansion of (* z b) in a
1.584 * [taylor]: Taking taylor expansion of z in a
1.584 * [taylor]: Taking taylor expansion of b in a
1.584 * [taylor]: Taking taylor expansion of 0 in z
1.584 * [taylor]: Taking taylor expansion of 0 in b
1.585 * [taylor]: Taking taylor expansion of (* z b) in z
1.585 * [taylor]: Taking taylor expansion of z in z
1.585 * [taylor]: Taking taylor expansion of b in z
1.585 * [taylor]: Taking taylor expansion of 0 in b
1.585 * [taylor]: Taking taylor expansion of 0 in b
1.586 * [taylor]: Taking taylor expansion of 0 in z
1.586 * [taylor]: Taking taylor expansion of 0 in b
1.587 * [taylor]: Taking taylor expansion of b in b
1.587 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
1.587 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
1.587 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.587 * [taylor]: Taking taylor expansion of a in b
1.587 * [taylor]: Taking taylor expansion of (* z b) in b
1.587 * [taylor]: Taking taylor expansion of z in b
1.587 * [taylor]: Taking taylor expansion of b in b
1.588 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.588 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.588 * [taylor]: Taking taylor expansion of a in z
1.588 * [taylor]: Taking taylor expansion of (* z b) in z
1.588 * [taylor]: Taking taylor expansion of z in z
1.588 * [taylor]: Taking taylor expansion of b in z
1.588 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.588 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.588 * [taylor]: Taking taylor expansion of a in a
1.588 * [taylor]: Taking taylor expansion of (* z b) in a
1.588 * [taylor]: Taking taylor expansion of z in a
1.588 * [taylor]: Taking taylor expansion of b in a
1.589 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.589 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.589 * [taylor]: Taking taylor expansion of a in a
1.589 * [taylor]: Taking taylor expansion of (* z b) in a
1.589 * [taylor]: Taking taylor expansion of z in a
1.589 * [taylor]: Taking taylor expansion of b in a
1.590 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
1.590 * [taylor]: Taking taylor expansion of (* z b) in z
1.590 * [taylor]: Taking taylor expansion of z in z
1.590 * [taylor]: Taking taylor expansion of b in z
1.590 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.590 * [taylor]: Taking taylor expansion of b in b
1.591 * [taylor]: Taking taylor expansion of 0 in z
1.592 * [taylor]: Taking taylor expansion of 0 in b
1.594 * [taylor]: Taking taylor expansion of 0 in z
1.594 * [taylor]: Taking taylor expansion of 0 in b
1.595 * [taylor]: Taking taylor expansion of 0 in b
1.598 * [taylor]: Taking taylor expansion of 0 in z
1.598 * [taylor]: Taking taylor expansion of 0 in b
1.598 * [taylor]: Taking taylor expansion of 0 in b
1.599 * [taylor]: Taking taylor expansion of 0 in b
1.599 * [approximate]: Taking taylor expansion of (/ -1 (* a (* z b))) in (a z b) around 0
1.599 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in b
1.599 * [taylor]: Taking taylor expansion of -1 in b
1.599 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.599 * [taylor]: Taking taylor expansion of a in b
1.599 * [taylor]: Taking taylor expansion of (* z b) in b
1.599 * [taylor]: Taking taylor expansion of z in b
1.599 * [taylor]: Taking taylor expansion of b in b
1.600 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in z
1.600 * [taylor]: Taking taylor expansion of -1 in z
1.600 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.600 * [taylor]: Taking taylor expansion of a in z
1.600 * [taylor]: Taking taylor expansion of (* z b) in z
1.600 * [taylor]: Taking taylor expansion of z in z
1.600 * [taylor]: Taking taylor expansion of b in z
1.601 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
1.601 * [taylor]: Taking taylor expansion of -1 in a
1.601 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.601 * [taylor]: Taking taylor expansion of a in a
1.601 * [taylor]: Taking taylor expansion of (* z b) in a
1.601 * [taylor]: Taking taylor expansion of z in a
1.601 * [taylor]: Taking taylor expansion of b in a
1.601 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
1.602 * [taylor]: Taking taylor expansion of -1 in a
1.602 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.602 * [taylor]: Taking taylor expansion of a in a
1.602 * [taylor]: Taking taylor expansion of (* z b) in a
1.602 * [taylor]: Taking taylor expansion of z in a
1.602 * [taylor]: Taking taylor expansion of b in a
1.602 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
1.602 * [taylor]: Taking taylor expansion of -1 in z
1.602 * [taylor]: Taking taylor expansion of (* z b) in z
1.602 * [taylor]: Taking taylor expansion of z in z
1.602 * [taylor]: Taking taylor expansion of b in z
1.603 * [taylor]: Taking taylor expansion of (/ -1 b) in b
1.603 * [taylor]: Taking taylor expansion of -1 in b
1.603 * [taylor]: Taking taylor expansion of b in b
1.604 * [taylor]: Taking taylor expansion of 0 in z
1.605 * [taylor]: Taking taylor expansion of 0 in b
1.607 * [taylor]: Taking taylor expansion of 0 in z
1.607 * [taylor]: Taking taylor expansion of 0 in b
1.608 * [taylor]: Taking taylor expansion of 0 in b
1.610 * [taylor]: Taking taylor expansion of 0 in z
1.610 * [taylor]: Taking taylor expansion of 0 in b
1.610 * [taylor]: Taking taylor expansion of 0 in b
1.611 * [taylor]: Taking taylor expansion of 0 in b
1.612 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.612 * [approximate]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in (x y z t a b) around 0
1.612 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in b
1.612 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.612 * [taylor]: Taking taylor expansion of a in b
1.612 * [taylor]: Taking taylor expansion of (* z b) in b
1.612 * [taylor]: Taking taylor expansion of z in b
1.612 * [taylor]: Taking taylor expansion of b in b
1.612 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in b
1.612 * [taylor]: Taking taylor expansion of (* z y) in b
1.612 * [taylor]: Taking taylor expansion of z in b
1.612 * [taylor]: Taking taylor expansion of y in b
1.612 * [taylor]: Taking taylor expansion of (+ x (* t a)) in b
1.612 * [taylor]: Taking taylor expansion of x in b
1.612 * [taylor]: Taking taylor expansion of (* t a) in b
1.612 * [taylor]: Taking taylor expansion of t in b
1.612 * [taylor]: Taking taylor expansion of a in b
1.613 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in a
1.613 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.613 * [taylor]: Taking taylor expansion of a in a
1.613 * [taylor]: Taking taylor expansion of (* z b) in a
1.613 * [taylor]: Taking taylor expansion of z in a
1.613 * [taylor]: Taking taylor expansion of b in a
1.613 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
1.613 * [taylor]: Taking taylor expansion of (* z y) in a
1.613 * [taylor]: Taking taylor expansion of z in a
1.613 * [taylor]: Taking taylor expansion of y in a
1.613 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
1.613 * [taylor]: Taking taylor expansion of x in a
1.613 * [taylor]: Taking taylor expansion of (* t a) in a
1.613 * [taylor]: Taking taylor expansion of t in a
1.613 * [taylor]: Taking taylor expansion of a in a
1.613 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in t
1.613 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
1.613 * [taylor]: Taking taylor expansion of a in t
1.613 * [taylor]: Taking taylor expansion of (* z b) in t
1.613 * [taylor]: Taking taylor expansion of z in t
1.613 * [taylor]: Taking taylor expansion of b in t
1.613 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
1.613 * [taylor]: Taking taylor expansion of (* z y) in t
1.613 * [taylor]: Taking taylor expansion of z in t
1.613 * [taylor]: Taking taylor expansion of y in t
1.613 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
1.613 * [taylor]: Taking taylor expansion of x in t
1.613 * [taylor]: Taking taylor expansion of (* t a) in t
1.613 * [taylor]: Taking taylor expansion of t in t
1.613 * [taylor]: Taking taylor expansion of a in t
1.613 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in z
1.613 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.613 * [taylor]: Taking taylor expansion of a in z
1.614 * [taylor]: Taking taylor expansion of (* z b) in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.614 * [taylor]: Taking taylor expansion of b in z
1.614 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
1.614 * [taylor]: Taking taylor expansion of (* z y) in z
1.614 * [taylor]: Taking taylor expansion of z in z
1.614 * [taylor]: Taking taylor expansion of y in z
1.614 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
1.614 * [taylor]: Taking taylor expansion of x in z
1.614 * [taylor]: Taking taylor expansion of (* t a) in z
1.614 * [taylor]: Taking taylor expansion of t in z
1.614 * [taylor]: Taking taylor expansion of a in z
1.614 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in y
1.614 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.614 * [taylor]: Taking taylor expansion of a in y
1.614 * [taylor]: Taking taylor expansion of (* z b) in y
1.614 * [taylor]: Taking taylor expansion of z in y
1.614 * [taylor]: Taking taylor expansion of b in y
1.614 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
1.614 * [taylor]: Taking taylor expansion of (* z y) in y
1.614 * [taylor]: Taking taylor expansion of z in y
1.614 * [taylor]: Taking taylor expansion of y in y
1.614 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
1.614 * [taylor]: Taking taylor expansion of x in y
1.614 * [taylor]: Taking taylor expansion of (* t a) in y
1.614 * [taylor]: Taking taylor expansion of t in y
1.614 * [taylor]: Taking taylor expansion of a in y
1.614 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
1.614 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.614 * [taylor]: Taking taylor expansion of a in x
1.614 * [taylor]: Taking taylor expansion of (* z b) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of b in x
1.614 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.614 * [taylor]: Taking taylor expansion of (* z y) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of y in x
1.614 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (* t a) in x
1.614 * [taylor]: Taking taylor expansion of t in x
1.614 * [taylor]: Taking taylor expansion of a in x
1.614 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
1.614 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.614 * [taylor]: Taking taylor expansion of a in x
1.614 * [taylor]: Taking taylor expansion of (* z b) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of b in x
1.614 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.614 * [taylor]: Taking taylor expansion of (* z y) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of y in x
1.614 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (* t a) in x
1.614 * [taylor]: Taking taylor expansion of t in x
1.614 * [taylor]: Taking taylor expansion of a in x
1.615 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (* t a))) in y
1.615 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.615 * [taylor]: Taking taylor expansion of a in y
1.615 * [taylor]: Taking taylor expansion of (* z b) in y
1.615 * [taylor]: Taking taylor expansion of z in y
1.615 * [taylor]: Taking taylor expansion of b in y
1.615 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
1.615 * [taylor]: Taking taylor expansion of (* z y) in y
1.615 * [taylor]: Taking taylor expansion of z in y
1.615 * [taylor]: Taking taylor expansion of y in y
1.615 * [taylor]: Taking taylor expansion of (* t a) in y
1.615 * [taylor]: Taking taylor expansion of t in y
1.615 * [taylor]: Taking taylor expansion of a in y
1.615 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (* t a)) in z
1.615 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.615 * [taylor]: Taking taylor expansion of a in z
1.615 * [taylor]: Taking taylor expansion of (* z b) in z
1.615 * [taylor]: Taking taylor expansion of z in z
1.615 * [taylor]: Taking taylor expansion of b in z
1.615 * [taylor]: Taking taylor expansion of (* t a) in z
1.615 * [taylor]: Taking taylor expansion of t in z
1.615 * [taylor]: Taking taylor expansion of a in z
1.615 * [taylor]: Taking taylor expansion of (* t a) in t
1.616 * [taylor]: Taking taylor expansion of t in t
1.616 * [taylor]: Taking taylor expansion of a in t
1.616 * [taylor]: Taking taylor expansion of 0 in a
1.616 * [taylor]: Taking taylor expansion of 0 in b
1.617 * [taylor]: Taking taylor expansion of 1 in y
1.618 * [taylor]: Taking taylor expansion of 1 in z
1.618 * [taylor]: Taking taylor expansion of 1 in t
1.618 * [taylor]: Taking taylor expansion of 1 in a
1.618 * [taylor]: Taking taylor expansion of 1 in b
1.618 * [taylor]: Taking taylor expansion of z in z
1.618 * [taylor]: Taking taylor expansion of 0 in t
1.618 * [taylor]: Taking taylor expansion of 0 in a
1.618 * [taylor]: Taking taylor expansion of 0 in b
1.619 * [taylor]: Taking taylor expansion of (* a b) in t
1.619 * [taylor]: Taking taylor expansion of a in t
1.619 * [taylor]: Taking taylor expansion of b in t
1.619 * [taylor]: Taking taylor expansion of (* a b) in a
1.619 * [taylor]: Taking taylor expansion of a in a
1.619 * [taylor]: Taking taylor expansion of b in a
1.619 * [taylor]: Taking taylor expansion of 0 in b
1.620 * [taylor]: Taking taylor expansion of a in a
1.620 * [taylor]: Taking taylor expansion of 0 in b
1.620 * [taylor]: Taking taylor expansion of 0 in b
1.622 * [taylor]: Taking taylor expansion of 0 in y
1.622 * [taylor]: Taking taylor expansion of 0 in z
1.622 * [taylor]: Taking taylor expansion of 0 in t
1.622 * [taylor]: Taking taylor expansion of 0 in a
1.622 * [taylor]: Taking taylor expansion of 0 in b
1.622 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in (x y z t a b) around 0
1.622 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in b
1.622 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
1.622 * [taylor]: Taking taylor expansion of (* z y) in b
1.623 * [taylor]: Taking taylor expansion of z in b
1.623 * [taylor]: Taking taylor expansion of y in b
1.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in b
1.623 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
1.623 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.623 * [taylor]: Taking taylor expansion of a in b
1.623 * [taylor]: Taking taylor expansion of (* z b) in b
1.623 * [taylor]: Taking taylor expansion of z in b
1.623 * [taylor]: Taking taylor expansion of b in b
1.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in b
1.623 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
1.624 * [taylor]: Taking taylor expansion of (* t a) in b
1.624 * [taylor]: Taking taylor expansion of t in b
1.624 * [taylor]: Taking taylor expansion of a in b
1.624 * [taylor]: Taking taylor expansion of (/ 1 x) in b
1.624 * [taylor]: Taking taylor expansion of x in b
1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in a
1.624 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.624 * [taylor]: Taking taylor expansion of (* z y) in a
1.624 * [taylor]: Taking taylor expansion of z in a
1.624 * [taylor]: Taking taylor expansion of y in a
1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in a
1.624 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.624 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.624 * [taylor]: Taking taylor expansion of a in a
1.624 * [taylor]: Taking taylor expansion of (* z b) in a
1.624 * [taylor]: Taking taylor expansion of z in a
1.624 * [taylor]: Taking taylor expansion of b in a
1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a
1.624 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.624 * [taylor]: Taking taylor expansion of (* t a) in a
1.624 * [taylor]: Taking taylor expansion of t in a
1.624 * [taylor]: Taking taylor expansion of a in a
1.625 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.625 * [taylor]: Taking taylor expansion of x in a
1.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in t
1.625 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.625 * [taylor]: Taking taylor expansion of (* z y) in t
1.625 * [taylor]: Taking taylor expansion of z in t
1.625 * [taylor]: Taking taylor expansion of y in t
1.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in t
1.625 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
1.625 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
1.625 * [taylor]: Taking taylor expansion of a in t
1.625 * [taylor]: Taking taylor expansion of (* z b) in t
1.625 * [taylor]: Taking taylor expansion of z in t
1.625 * [taylor]: Taking taylor expansion of b in t
1.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
1.625 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.625 * [taylor]: Taking taylor expansion of (* t a) in t
1.625 * [taylor]: Taking taylor expansion of t in t
1.625 * [taylor]: Taking taylor expansion of a in t
1.626 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.626 * [taylor]: Taking taylor expansion of x in t
1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in z
1.626 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.626 * [taylor]: Taking taylor expansion of (* z y) 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 (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in z
1.626 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.626 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.626 * [taylor]: Taking taylor expansion of a in z
1.626 * [taylor]: Taking taylor expansion of (* z b) in z
1.626 * [taylor]: Taking taylor expansion of z in z
1.626 * [taylor]: Taking taylor expansion of b in z
1.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z
1.627 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.627 * [taylor]: Taking taylor expansion of (* t a) in z
1.627 * [taylor]: Taking taylor expansion of t in z
1.627 * [taylor]: Taking taylor expansion of a in z
1.627 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.627 * [taylor]: Taking taylor expansion of x in z
1.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in y
1.627 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.627 * [taylor]: Taking taylor expansion of (* z y) in y
1.627 * [taylor]: Taking taylor expansion of z in y
1.627 * [taylor]: Taking taylor expansion of y in y
1.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in y
1.628 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.628 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.631 * [taylor]: Taking taylor expansion of a in y
1.632 * [taylor]: Taking taylor expansion of (* z b) in y
1.632 * [taylor]: Taking taylor expansion of z in y
1.632 * [taylor]: Taking taylor expansion of b in y
1.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.632 * [taylor]: Taking taylor expansion of (* t a) in y
1.632 * [taylor]: Taking taylor expansion of t in y
1.632 * [taylor]: Taking taylor expansion of a in y
1.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.632 * [taylor]: Taking taylor expansion of x in y
1.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.632 * [taylor]: Taking taylor expansion of (* z y) in x
1.632 * [taylor]: Taking taylor expansion of z in x
1.632 * [taylor]: Taking taylor expansion of y in x
1.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.632 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.632 * [taylor]: Taking taylor expansion of a in x
1.632 * [taylor]: Taking taylor expansion of (* z b) in x
1.632 * [taylor]: Taking taylor expansion of z in x
1.632 * [taylor]: Taking taylor expansion of b in x
1.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.632 * [taylor]: Taking taylor expansion of (* t a) in x
1.632 * [taylor]: Taking taylor expansion of t in x
1.632 * [taylor]: Taking taylor expansion of a in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.633 * [taylor]: Taking taylor expansion of x in x
1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
1.633 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.633 * [taylor]: Taking taylor expansion of (* z y) in x
1.633 * [taylor]: Taking taylor expansion of z in x
1.633 * [taylor]: Taking taylor expansion of y in x
1.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.633 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.633 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.633 * [taylor]: Taking taylor expansion of a in x
1.633 * [taylor]: Taking taylor expansion of (* z b) in x
1.633 * [taylor]: Taking taylor expansion of z in x
1.633 * [taylor]: Taking taylor expansion of b in x
1.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.634 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.634 * [taylor]: Taking taylor expansion of (* t a) in x
1.634 * [taylor]: Taking taylor expansion of t in x
1.634 * [taylor]: Taking taylor expansion of a in x
1.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.634 * [taylor]: Taking taylor expansion of x in x
1.635 * [taylor]: Taking taylor expansion of 1 in y
1.636 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (/ 1 (* t a)))) in y
1.636 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.636 * [taylor]: Taking taylor expansion of (* z y) in y
1.636 * [taylor]: Taking taylor expansion of z in y
1.636 * [taylor]: Taking taylor expansion of y in y
1.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 (* t a))) in y
1.637 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.637 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.637 * [taylor]: Taking taylor expansion of a in y
1.637 * [taylor]: Taking taylor expansion of (* z b) in y
1.637 * [taylor]: Taking taylor expansion of z in y
1.637 * [taylor]: Taking taylor expansion of b in y
1.637 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.637 * [taylor]: Taking taylor expansion of (* t a) in y
1.637 * [taylor]: Taking taylor expansion of t in y
1.637 * [taylor]: Taking taylor expansion of a in y
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 1 in t
1.637 * [taylor]: Taking taylor expansion of 1 in z
1.639 * [taylor]: Taking taylor expansion of 0 in y
1.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
1.640 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.640 * [taylor]: Taking taylor expansion of (* t a) in z
1.640 * [taylor]: Taking taylor expansion of t in z
1.640 * [taylor]: Taking taylor expansion of a in z
1.640 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.640 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.640 * [taylor]: Taking taylor expansion of a in z
1.640 * [taylor]: Taking taylor expansion of (* z b) in z
1.640 * [taylor]: Taking taylor expansion of z in z
1.640 * [taylor]: Taking taylor expansion of b in z
1.641 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.641 * [taylor]: Taking taylor expansion of (* a b) in t
1.641 * [taylor]: Taking taylor expansion of a in t
1.641 * [taylor]: Taking taylor expansion of b in t
1.641 * [taylor]: Taking taylor expansion of 0 in z
1.642 * [taylor]: Taking taylor expansion of 0 in t
1.642 * [taylor]: Taking taylor expansion of 1 in t
1.642 * [taylor]: Taking taylor expansion of 1 in a
1.645 * [taylor]: Taking taylor expansion of 0 in y
1.645 * [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.648 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.648 * [taylor]: Taking taylor expansion of (* t a) in t
1.648 * [taylor]: Taking taylor expansion of t in t
1.648 * [taylor]: Taking taylor expansion of a in t
1.648 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.648 * [taylor]: Taking taylor expansion of a in a
1.648 * [taylor]: Taking taylor expansion of 1 in b
1.648 * [taylor]: Taking taylor expansion of 0 in t
1.649 * [taylor]: Taking taylor expansion of 0 in t
1.649 * [taylor]: Taking taylor expansion of 0 in t
1.649 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.649 * [taylor]: Taking taylor expansion of (* a b) in a
1.649 * [taylor]: Taking taylor expansion of a in a
1.649 * [taylor]: Taking taylor expansion of b in a
1.650 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.650 * [taylor]: Taking taylor expansion of b in b
1.650 * [taylor]: Taking taylor expansion of 0 in a
1.650 * [taylor]: Taking taylor expansion of 1 in a
1.650 * [taylor]: Taking taylor expansion of 0 in a
1.650 * [taylor]: Taking taylor expansion of 1 in b
1.654 * [taylor]: Taking taylor expansion of 0 in y
1.654 * [taylor]: Taking taylor expansion of 0 in z
1.654 * [taylor]: Taking taylor expansion of 0 in z
1.657 * [taylor]: Taking taylor expansion of 0 in z
1.657 * [taylor]: Taking taylor expansion of 0 in z
1.657 * [taylor]: Taking taylor expansion of 0 in t
1.657 * [taylor]: Taking taylor expansion of 0 in t
1.657 * [taylor]: Taking taylor expansion of 0 in t
1.659 * [taylor]: Taking taylor expansion of 0 in t
1.659 * [taylor]: Taking taylor expansion of 0 in t
1.659 * [taylor]: Taking taylor expansion of 0 in t
1.659 * [taylor]: Taking taylor expansion of 0 in t
1.660 * [taylor]: Taking taylor expansion of 0 in a
1.660 * [taylor]: Taking taylor expansion of 0 in a
1.660 * [taylor]: Taking taylor expansion of 0 in a
1.660 * [taylor]: Taking taylor expansion of 0 in a
1.660 * [taylor]: Taking taylor expansion of 0 in a
1.661 * [taylor]: Taking taylor expansion of 0 in a
1.661 * [taylor]: Taking taylor expansion of 0 in a
1.661 * [taylor]: Taking taylor expansion of 0 in a
1.661 * [taylor]: Taking taylor expansion of 0 in b
1.662 * [taylor]: Taking taylor expansion of 0 in b
1.662 * [taylor]: Taking taylor expansion of 0 in b
1.662 * [taylor]: Taking taylor expansion of 1 in b
1.662 * [taylor]: Taking taylor expansion of 0 in b
1.662 * [taylor]: Taking taylor expansion of 0 in b
1.665 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in (x y z t a b) around 0
1.665 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in b
1.665 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in b
1.665 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
1.665 * [taylor]: Taking taylor expansion of (* z y) in b
1.665 * [taylor]: Taking taylor expansion of z in b
1.665 * [taylor]: Taking taylor expansion of y in b
1.665 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
1.665 * [taylor]: Taking taylor expansion of (* t a) in b
1.665 * [taylor]: Taking taylor expansion of t in b
1.665 * [taylor]: Taking taylor expansion of a in b
1.665 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in b
1.665 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
1.665 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.665 * [taylor]: Taking taylor expansion of a in b
1.665 * [taylor]: Taking taylor expansion of (* z b) in b
1.665 * [taylor]: Taking taylor expansion of z in b
1.665 * [taylor]: Taking taylor expansion of b in b
1.666 * [taylor]: Taking taylor expansion of (/ 1 x) in b
1.666 * [taylor]: Taking taylor expansion of x in b
1.666 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in a
1.666 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
1.666 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.666 * [taylor]: Taking taylor expansion of (* z y) in a
1.666 * [taylor]: Taking taylor expansion of z in a
1.666 * [taylor]: Taking taylor expansion of y in a
1.666 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.666 * [taylor]: Taking taylor expansion of (* t a) in a
1.666 * [taylor]: Taking taylor expansion of t in a
1.666 * [taylor]: Taking taylor expansion of a in a
1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in a
1.667 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.667 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.667 * [taylor]: Taking taylor expansion of a in a
1.667 * [taylor]: Taking taylor expansion of (* z b) in a
1.667 * [taylor]: Taking taylor expansion of z in a
1.667 * [taylor]: Taking taylor expansion of b in a
1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.667 * [taylor]: Taking taylor expansion of x in a
1.668 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in t
1.668 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
1.668 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.668 * [taylor]: Taking taylor expansion of (* z y) in t
1.668 * [taylor]: Taking taylor expansion of z in t
1.668 * [taylor]: Taking taylor expansion of y in t
1.668 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.668 * [taylor]: Taking taylor expansion of (* t a) in t
1.668 * [taylor]: Taking taylor expansion of t in t
1.668 * [taylor]: Taking taylor expansion of a in t
1.668 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in t
1.668 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
1.668 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
1.668 * [taylor]: Taking taylor expansion of a in t
1.668 * [taylor]: Taking taylor expansion of (* z b) in t
1.668 * [taylor]: Taking taylor expansion of z in t
1.668 * [taylor]: Taking taylor expansion of b in t
1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.668 * [taylor]: Taking taylor expansion of x in t
1.668 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in z
1.668 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
1.668 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.668 * [taylor]: Taking taylor expansion of (* z y) in z
1.668 * [taylor]: Taking taylor expansion of z in z
1.669 * [taylor]: Taking taylor expansion of y in z
1.669 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.669 * [taylor]: Taking taylor expansion of (* t a) in z
1.669 * [taylor]: Taking taylor expansion of t in z
1.669 * [taylor]: Taking taylor expansion of a in z
1.669 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in z
1.669 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.669 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.669 * [taylor]: Taking taylor expansion of a in z
1.669 * [taylor]: Taking taylor expansion of (* z b) in z
1.669 * [taylor]: Taking taylor expansion of z in z
1.669 * [taylor]: Taking taylor expansion of b in z
1.670 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.670 * [taylor]: Taking taylor expansion of x in z
1.670 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in y
1.670 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.670 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.670 * [taylor]: Taking taylor expansion of (* z y) in y
1.670 * [taylor]: Taking taylor expansion of z in y
1.670 * [taylor]: Taking taylor expansion of y in y
1.670 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.671 * [taylor]: Taking taylor expansion of (* t a) in y
1.671 * [taylor]: Taking taylor expansion of t in y
1.671 * [taylor]: Taking taylor expansion of a in y
1.671 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in y
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.671 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.671 * [taylor]: Taking taylor expansion of a in y
1.671 * [taylor]: Taking taylor expansion of (* z b) in y
1.671 * [taylor]: Taking taylor expansion of z in y
1.671 * [taylor]: Taking taylor expansion of b in y
1.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.671 * [taylor]: Taking taylor expansion of x in y
1.671 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
1.671 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.671 * [taylor]: Taking taylor expansion of (* z y) in x
1.671 * [taylor]: Taking taylor expansion of z in x
1.671 * [taylor]: Taking taylor expansion of y in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.671 * [taylor]: Taking taylor expansion of (* t a) in x
1.671 * [taylor]: Taking taylor expansion of t in x
1.671 * [taylor]: Taking taylor expansion of a in x
1.671 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.671 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.671 * [taylor]: Taking taylor expansion of a in x
1.671 * [taylor]: Taking taylor expansion of (* z b) in x
1.671 * [taylor]: Taking taylor expansion of z in x
1.671 * [taylor]: Taking taylor expansion of b in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.671 * [taylor]: Taking taylor expansion of x in x
1.672 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
1.672 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.672 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.672 * [taylor]: Taking taylor expansion of (* z y) in x
1.672 * [taylor]: Taking taylor expansion of z in x
1.672 * [taylor]: Taking taylor expansion of y in x
1.672 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.672 * [taylor]: Taking taylor expansion of (* t a) in x
1.672 * [taylor]: Taking taylor expansion of t in x
1.672 * [taylor]: Taking taylor expansion of a in x
1.672 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
1.672 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.672 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.672 * [taylor]: Taking taylor expansion of a in x
1.672 * [taylor]: Taking taylor expansion of (* z b) in x
1.672 * [taylor]: Taking taylor expansion of z in x
1.672 * [taylor]: Taking taylor expansion of b in x
1.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.672 * [taylor]: Taking taylor expansion of x in x
1.673 * [taylor]: Taking taylor expansion of -1 in y
1.674 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 (* a (* z b)))) in y
1.674 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.674 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.674 * [taylor]: Taking taylor expansion of (* z y) in y
1.674 * [taylor]: Taking taylor expansion of z in y
1.674 * [taylor]: Taking taylor expansion of y in y
1.675 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.675 * [taylor]: Taking taylor expansion of (* t a) in y
1.675 * [taylor]: Taking taylor expansion of t in y
1.675 * [taylor]: Taking taylor expansion of a in y
1.675 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.675 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.675 * [taylor]: Taking taylor expansion of a in y
1.675 * [taylor]: Taking taylor expansion of (* z b) in y
1.675 * [taylor]: Taking taylor expansion of z in y
1.675 * [taylor]: Taking taylor expansion of b in y
1.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.675 * [taylor]: Taking taylor expansion of z in z
1.675 * [taylor]: Taking taylor expansion of 1 in t
1.676 * [taylor]: Taking taylor expansion of -1 in z
1.677 * [taylor]: Taking taylor expansion of 0 in y
1.678 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
1.678 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.678 * [taylor]: Taking taylor expansion of (* t a) in z
1.678 * [taylor]: Taking taylor expansion of t in z
1.678 * [taylor]: Taking taylor expansion of a in z
1.678 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.678 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.678 * [taylor]: Taking taylor expansion of a in z
1.678 * [taylor]: Taking taylor expansion of (* z b) in z
1.679 * [taylor]: Taking taylor expansion of z in z
1.679 * [taylor]: Taking taylor expansion of b in z
1.679 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in t
1.679 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.679 * [taylor]: Taking taylor expansion of (* a b) in t
1.679 * [taylor]: Taking taylor expansion of a in t
1.679 * [taylor]: Taking taylor expansion of b in t
1.679 * [taylor]: Taking taylor expansion of 0 in z
1.680 * [taylor]: Taking taylor expansion of 0 in t
1.680 * [taylor]: Taking taylor expansion of -1 in t
1.680 * [taylor]: Taking taylor expansion of 1 in a
1.683 * [taylor]: Taking taylor expansion of 0 in y
1.683 * [taylor]: Taking taylor expansion of 0 in z
1.685 * [taylor]: Taking taylor expansion of 0 in z
1.685 * [taylor]: Taking taylor expansion of 0 in z
1.686 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.686 * [taylor]: Taking taylor expansion of (* t a) in t
1.686 * [taylor]: Taking taylor expansion of t in t
1.686 * [taylor]: Taking taylor expansion of a in t
1.687 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.687 * [taylor]: Taking taylor expansion of a in a
1.687 * [taylor]: Taking taylor expansion of 1 in b
1.687 * [taylor]: Taking taylor expansion of 0 in t
1.688 * [taylor]: Taking taylor expansion of 0 in t
1.688 * [taylor]: Taking taylor expansion of 0 in t
1.688 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in a
1.688 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.688 * [taylor]: Taking taylor expansion of (* a b) in a
1.688 * [taylor]: Taking taylor expansion of a in a
1.688 * [taylor]: Taking taylor expansion of b in a
1.688 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b
1.688 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.688 * [taylor]: Taking taylor expansion of b in b
1.689 * [taylor]: Taking taylor expansion of 0 in a
1.689 * [taylor]: Taking taylor expansion of -1 in a
1.689 * [taylor]: Taking taylor expansion of 0 in a
1.689 * [taylor]: Taking taylor expansion of 1 in b
1.693 * [taylor]: Taking taylor expansion of 0 in y
1.693 * [taylor]: Taking taylor expansion of 0 in z
1.694 * [taylor]: Taking taylor expansion of 0 in z
1.696 * [taylor]: Taking taylor expansion of 0 in z
1.696 * [taylor]: Taking taylor expansion of 0 in z
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.696 * [taylor]: Taking taylor expansion of 0 in t
1.699 * [taylor]: Taking taylor expansion of 0 in t
1.699 * [taylor]: Taking taylor expansion of 0 in t
1.699 * [taylor]: Taking taylor expansion of 0 in t
1.699 * [taylor]: Taking taylor expansion of 0 in t
1.700 * [taylor]: Taking taylor expansion of 0 in a
1.700 * [taylor]: Taking taylor expansion of 0 in a
1.700 * [taylor]: Taking taylor expansion of 0 in a
1.700 * [taylor]: Taking taylor expansion of 0 in a
1.701 * [taylor]: Taking taylor expansion of 0 in a
1.701 * [taylor]: Taking taylor expansion of 0 in a
1.701 * [taylor]: Taking taylor expansion of 0 in a
1.701 * [taylor]: Taking taylor expansion of 0 in a
1.701 * [taylor]: Taking taylor expansion of 0 in b
1.702 * [taylor]: Taking taylor expansion of 0 in b
1.702 * [taylor]: Taking taylor expansion of 0 in b
1.702 * [taylor]: Taking taylor expansion of -1 in b
1.703 * [taylor]: Taking taylor expansion of 0 in b
1.703 * [taylor]: Taking taylor expansion of 0 in b
1.705 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.705 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in (x y z t a) around 0
1.705 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
1.705 * [taylor]: Taking taylor expansion of (* z y) in a
1.705 * [taylor]: Taking taylor expansion of z in a
1.705 * [taylor]: Taking taylor expansion of y in a
1.705 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
1.705 * [taylor]: Taking taylor expansion of x in a
1.705 * [taylor]: Taking taylor expansion of (* t a) in a
1.705 * [taylor]: Taking taylor expansion of t in a
1.705 * [taylor]: Taking taylor expansion of a in a
1.705 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
1.705 * [taylor]: Taking taylor expansion of (* z y) in t
1.705 * [taylor]: Taking taylor expansion of z in t
1.705 * [taylor]: Taking taylor expansion of y in t
1.705 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
1.705 * [taylor]: Taking taylor expansion of x in t
1.705 * [taylor]: Taking taylor expansion of (* t a) in t
1.705 * [taylor]: Taking taylor expansion of t in t
1.705 * [taylor]: Taking taylor expansion of a in t
1.705 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
1.705 * [taylor]: Taking taylor expansion of (* z y) in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.705 * [taylor]: Taking taylor expansion of y in z
1.705 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
1.705 * [taylor]: Taking taylor expansion of x in z
1.705 * [taylor]: Taking taylor expansion of (* t a) in z
1.705 * [taylor]: Taking taylor expansion of t in z
1.705 * [taylor]: Taking taylor expansion of a in z
1.705 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
1.705 * [taylor]: Taking taylor expansion of (* z y) in y
1.705 * [taylor]: Taking taylor expansion of z in y
1.705 * [taylor]: Taking taylor expansion of y in y
1.705 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
1.706 * [taylor]: Taking taylor expansion of x in y
1.706 * [taylor]: Taking taylor expansion of (* t a) in y
1.706 * [taylor]: Taking taylor expansion of t in y
1.706 * [taylor]: Taking taylor expansion of a in y
1.706 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.706 * [taylor]: Taking taylor expansion of (* z y) in x
1.706 * [taylor]: Taking taylor expansion of z in x
1.706 * [taylor]: Taking taylor expansion of y in x
1.706 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.706 * [taylor]: Taking taylor expansion of x in x
1.706 * [taylor]: Taking taylor expansion of (* t a) in x
1.706 * [taylor]: Taking taylor expansion of t in x
1.706 * [taylor]: Taking taylor expansion of a in x
1.706 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.706 * [taylor]: Taking taylor expansion of (* z y) in x
1.706 * [taylor]: Taking taylor expansion of z in x
1.706 * [taylor]: Taking taylor expansion of y in x
1.706 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.706 * [taylor]: Taking taylor expansion of x in x
1.706 * [taylor]: Taking taylor expansion of (* t a) in x
1.706 * [taylor]: Taking taylor expansion of t in x
1.706 * [taylor]: Taking taylor expansion of a in x
1.706 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
1.706 * [taylor]: Taking taylor expansion of (* z y) in y
1.706 * [taylor]: Taking taylor expansion of z in y
1.706 * [taylor]: Taking taylor expansion of y in y
1.706 * [taylor]: Taking taylor expansion of (* t a) in y
1.706 * [taylor]: Taking taylor expansion of t in y
1.706 * [taylor]: Taking taylor expansion of a in y
1.706 * [taylor]: Taking taylor expansion of (* t a) in z
1.706 * [taylor]: Taking taylor expansion of t in z
1.706 * [taylor]: Taking taylor expansion of a in z
1.706 * [taylor]: Taking taylor expansion of (* t a) in t
1.706 * [taylor]: Taking taylor expansion of t in t
1.706 * [taylor]: Taking taylor expansion of a in t
1.706 * [taylor]: Taking taylor expansion of 0 in a
1.707 * [taylor]: Taking taylor expansion of 1 in y
1.707 * [taylor]: Taking taylor expansion of 1 in z
1.707 * [taylor]: Taking taylor expansion of 1 in t
1.707 * [taylor]: Taking taylor expansion of 1 in a
1.708 * [taylor]: Taking taylor expansion of z in z
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.708 * [taylor]: Taking taylor expansion of 0 in a
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.708 * [taylor]: Taking taylor expansion of 0 in a
1.708 * [taylor]: Taking taylor expansion of a in a
1.709 * [taylor]: Taking taylor expansion of 0 in y
1.710 * [taylor]: Taking taylor expansion of 0 in z
1.710 * [taylor]: Taking taylor expansion of 0 in t
1.710 * [taylor]: Taking taylor expansion of 0 in a
1.710 * [taylor]: Taking taylor expansion of 0 in z
1.710 * [taylor]: Taking taylor expansion of 0 in t
1.710 * [taylor]: Taking taylor expansion of 0 in a
1.710 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in (x y z t a) around 0
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in a
1.710 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.710 * [taylor]: Taking taylor expansion of (* z y) in a
1.710 * [taylor]: Taking taylor expansion of z in a
1.710 * [taylor]: Taking taylor expansion of y in a
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a
1.710 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.710 * [taylor]: Taking taylor expansion of (* t a) in a
1.710 * [taylor]: Taking taylor expansion of t in a
1.710 * [taylor]: Taking taylor expansion of a in a
1.711 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.711 * [taylor]: Taking taylor expansion of x in a
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in t
1.711 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.711 * [taylor]: Taking taylor expansion of (* z y) in t
1.711 * [taylor]: Taking taylor expansion of z in t
1.711 * [taylor]: Taking taylor expansion of y in t
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
1.711 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.711 * [taylor]: Taking taylor expansion of (* t a) in t
1.711 * [taylor]: Taking taylor expansion of t in t
1.711 * [taylor]: Taking taylor expansion of a in t
1.711 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.711 * [taylor]: Taking taylor expansion of x in t
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in z
1.711 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.711 * [taylor]: Taking taylor expansion of (* z y) in z
1.711 * [taylor]: Taking taylor expansion of z in z
1.711 * [taylor]: Taking taylor expansion of y in z
1.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.712 * [taylor]: Taking taylor expansion of (* t a) in z
1.712 * [taylor]: Taking taylor expansion of t in z
1.712 * [taylor]: Taking taylor expansion of a in z
1.712 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.712 * [taylor]: Taking taylor expansion of x in z
1.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in y
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.712 * [taylor]: Taking taylor expansion of (* z y) in y
1.712 * [taylor]: Taking taylor expansion of z in y
1.712 * [taylor]: Taking taylor expansion of y in y
1.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.712 * [taylor]: Taking taylor expansion of (* t a) in y
1.712 * [taylor]: Taking taylor expansion of t in y
1.712 * [taylor]: Taking taylor expansion of a in y
1.712 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.713 * [taylor]: Taking taylor expansion of x in y
1.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.713 * [taylor]: Taking taylor expansion of (* z y) in x
1.713 * [taylor]: Taking taylor expansion of z in x
1.713 * [taylor]: Taking taylor expansion of y in x
1.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.713 * [taylor]: Taking taylor expansion of (* t a) in x
1.713 * [taylor]: Taking taylor expansion of t in x
1.713 * [taylor]: Taking taylor expansion of a in x
1.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.713 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.714 * [taylor]: Taking taylor expansion of (* z y) in x
1.714 * [taylor]: Taking taylor expansion of z in x
1.714 * [taylor]: Taking taylor expansion of y in x
1.714 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.714 * [taylor]: Taking taylor expansion of (* t a) in x
1.714 * [taylor]: Taking taylor expansion of t in x
1.714 * [taylor]: Taking taylor expansion of a in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of 1 in y
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.715 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.716 * [taylor]: Taking taylor expansion of (* z y) in y
1.716 * [taylor]: Taking taylor expansion of z in y
1.716 * [taylor]: Taking taylor expansion of y in y
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.716 * [taylor]: Taking taylor expansion of (* t a) in y
1.716 * [taylor]: Taking taylor expansion of t in y
1.716 * [taylor]: Taking taylor expansion of a in y
1.716 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.716 * [taylor]: Taking taylor expansion of z in z
1.716 * [taylor]: Taking taylor expansion of 1 in t
1.716 * [taylor]: Taking taylor expansion of 1 in z
1.718 * [taylor]: Taking taylor expansion of 0 in y
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.718 * [taylor]: Taking taylor expansion of (* t a) in z
1.718 * [taylor]: Taking taylor expansion of t in z
1.718 * [taylor]: Taking taylor expansion of a in z
1.719 * [taylor]: Taking taylor expansion of 0 in z
1.719 * [taylor]: Taking taylor expansion of 0 in t
1.719 * [taylor]: Taking taylor expansion of 1 in t
1.719 * [taylor]: Taking taylor expansion of 1 in a
1.721 * [taylor]: Taking taylor expansion of 0 in y
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.722 * [taylor]: Taking taylor expansion of 0 in z
1.722 * [taylor]: Taking taylor expansion of 0 in z
1.722 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.722 * [taylor]: Taking taylor expansion of (* t a) in t
1.722 * [taylor]: Taking taylor expansion of t in t
1.722 * [taylor]: Taking taylor expansion of a in t
1.723 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.723 * [taylor]: Taking taylor expansion of a in a
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in a
1.724 * [taylor]: Taking taylor expansion of 1 in a
1.724 * [taylor]: Taking taylor expansion of 0 in a
1.727 * [taylor]: Taking taylor expansion of 0 in y
1.727 * [taylor]: Taking taylor expansion of 0 in z
1.727 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.728 * [taylor]: Taking taylor expansion of 0 in t
1.729 * [taylor]: Taking taylor expansion of 0 in t
1.729 * [taylor]: Taking taylor expansion of 0 in t
1.735 * [taylor]: Taking taylor expansion of 0 in t
1.735 * [taylor]: Taking taylor expansion of 0 in t
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.738 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in (x y z t a) around 0
1.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in a
1.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
1.738 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.738 * [taylor]: Taking taylor expansion of (* z y) in a
1.738 * [taylor]: Taking taylor expansion of z in a
1.738 * [taylor]: Taking taylor expansion of y in a
1.738 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.738 * [taylor]: Taking taylor expansion of (* t a) in a
1.738 * [taylor]: Taking taylor expansion of t in a
1.738 * [taylor]: Taking taylor expansion of a in a
1.738 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.738 * [taylor]: Taking taylor expansion of x in a
1.739 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in t
1.739 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
1.739 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.739 * [taylor]: Taking taylor expansion of (* z y) in t
1.739 * [taylor]: Taking taylor expansion of z in t
1.739 * [taylor]: Taking taylor expansion of y in t
1.739 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.739 * [taylor]: Taking taylor expansion of (* t a) in t
1.739 * [taylor]: Taking taylor expansion of t in t
1.739 * [taylor]: Taking taylor expansion of a in t
1.739 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.739 * [taylor]: Taking taylor expansion of x in t
1.739 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in z
1.739 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
1.739 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.739 * [taylor]: Taking taylor expansion of (* z y) in z
1.739 * [taylor]: Taking taylor expansion of z in z
1.739 * [taylor]: Taking taylor expansion of y in z
1.740 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.740 * [taylor]: Taking taylor expansion of (* t a) in z
1.740 * [taylor]: Taking taylor expansion of t in z
1.740 * [taylor]: Taking taylor expansion of a in z
1.740 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.740 * [taylor]: Taking taylor expansion of x in z
1.740 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in y
1.740 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.740 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.740 * [taylor]: Taking taylor expansion of (* z y) in y
1.740 * [taylor]: Taking taylor expansion of z in y
1.740 * [taylor]: Taking taylor expansion of y in y
1.740 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.740 * [taylor]: Taking taylor expansion of (* t a) in y
1.740 * [taylor]: Taking taylor expansion of t in y
1.740 * [taylor]: Taking taylor expansion of a in y
1.740 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.740 * [taylor]: Taking taylor expansion of x in y
1.740 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
1.740 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.741 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.741 * [taylor]: Taking taylor expansion of (* z y) in x
1.741 * [taylor]: Taking taylor expansion of z in x
1.741 * [taylor]: Taking taylor expansion of y in x
1.741 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.741 * [taylor]: Taking taylor expansion of (* t a) in x
1.741 * [taylor]: Taking taylor expansion of t in x
1.741 * [taylor]: Taking taylor expansion of a in x
1.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.741 * [taylor]: Taking taylor expansion of x in x
1.741 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
1.741 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.741 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.741 * [taylor]: Taking taylor expansion of (* z y) in x
1.741 * [taylor]: Taking taylor expansion of z in x
1.741 * [taylor]: Taking taylor expansion of y in x
1.741 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.741 * [taylor]: Taking taylor expansion of (* t a) in x
1.741 * [taylor]: Taking taylor expansion of t in x
1.741 * [taylor]: Taking taylor expansion of a in x
1.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.741 * [taylor]: Taking taylor expansion of x in x
1.742 * [taylor]: Taking taylor expansion of -1 in y
1.743 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.743 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.743 * [taylor]: Taking taylor expansion of (* z y) in y
1.743 * [taylor]: Taking taylor expansion of z in y
1.743 * [taylor]: Taking taylor expansion of y in y
1.744 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.744 * [taylor]: Taking taylor expansion of (* t a) in y
1.744 * [taylor]: Taking taylor expansion of t in y
1.744 * [taylor]: Taking taylor expansion of a in y
1.744 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.744 * [taylor]: Taking taylor expansion of z in z
1.744 * [taylor]: Taking taylor expansion of 1 in t
1.744 * [taylor]: Taking taylor expansion of -1 in z
1.746 * [taylor]: Taking taylor expansion of 0 in y
1.747 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.747 * [taylor]: Taking taylor expansion of (* t a) in z
1.747 * [taylor]: Taking taylor expansion of t in z
1.747 * [taylor]: Taking taylor expansion of a in z
1.747 * [taylor]: Taking taylor expansion of 0 in z
1.747 * [taylor]: Taking taylor expansion of 0 in t
1.747 * [taylor]: Taking taylor expansion of -1 in t
1.747 * [taylor]: Taking taylor expansion of 1 in a
1.750 * [taylor]: Taking taylor expansion of 0 in y
1.750 * [taylor]: Taking taylor expansion of 0 in z
1.751 * [taylor]: Taking taylor expansion of 0 in z
1.751 * [taylor]: Taking taylor expansion of 0 in z
1.751 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.751 * [taylor]: Taking taylor expansion of (* t a) in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [taylor]: Taking taylor expansion of a in t
1.751 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.751 * [taylor]: Taking taylor expansion of a in a
1.752 * [taylor]: Taking taylor expansion of 0 in t
1.752 * [taylor]: Taking taylor expansion of 0 in t
1.752 * [taylor]: Taking taylor expansion of 0 in t
1.752 * [taylor]: Taking taylor expansion of 0 in a
1.752 * [taylor]: Taking taylor expansion of -1 in a
1.752 * [taylor]: Taking taylor expansion of 0 in a
1.755 * [taylor]: Taking taylor expansion of 0 in y
1.755 * [taylor]: Taking taylor expansion of 0 in z
1.755 * [taylor]: Taking taylor expansion of 0 in z
1.756 * [taylor]: Taking taylor expansion of 0 in z
1.757 * [taylor]: Taking taylor expansion of 0 in z
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.758 * [taylor]: Taking taylor expansion of 0 in t
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.760 * * * [progress]: simplifying candidates
1.761 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* a (* z b)))
  (log1p (* a (* z b)))
  (* a (* z b))
  (* a (* z b))
  (+ (log a) (+ (log z) (log b)))
  (+ (log a) (log (* z b)))
  (log (* a (* z b)))
  (exp (* a (* z b)))
  (* (* (* a a) a) (* (* (* z z) z) (* (* b b) b)))
  (* (* (* a a) a) (* (* (* z b) (* z b)) (* z b)))
  (* (cbrt (* a (* z b))) (cbrt (* a (* z b))))
  (cbrt (* a (* z b)))
  (* (* (* a (* z b)) (* a (* z b))) (* a (* z b)))
  (sqrt (* a (* z b)))
  (sqrt (* a (* z b)))
  (* a z)
  (* (cbrt a) (* z b))
  (* (sqrt a) (* z b))
  (* a (* z b))
  (expm1 (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (log1p (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (* (* (* (exp x) (exp (* y z))) (exp (* t a))) (exp (pow (* a (* z b)) 1)))
  (* (* (exp (+ x (* y z))) (exp (* t a))) (exp (pow (* a (* z b)) 1)))
  (* (exp (+ (+ x (* y z)) (* t a))) (exp (pow (* a (* z b)) 1)))
  (log (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (exp (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (* (cbrt (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1))) (cbrt (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1))))
  (cbrt (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (* (* (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1))) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (sqrt (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (sqrt (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))
  (+ (pow (+ (+ x (* y z)) (* t a)) 3) (pow (pow (* a (* z b)) 1) 3))
  (+ (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (- (* (pow (* a (* z b)) 1) (pow (* a (* z b)) 1)) (* (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1))))
  (- (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (* (pow (* a (* z b)) 1) (pow (* a (* z b)) 1)))
  (- (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1))
  (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1))
  (+ (* t a) (pow (* a (* z b)) 1))
  (expm1 (+ (+ x (* y z)) (* t a)))
  (log1p (+ (+ x (* y z)) (* t a)))
  (* (* (exp x) (exp (* y z))) (exp (* t a)))
  (* (exp (+ x (* y z))) (exp (* t a)))
  (log (+ (+ x (* y z)) (* t a)))
  (exp (+ (+ x (* y z)) (* t a)))
  (* (cbrt (+ (+ x (* y z)) (* t a))) (cbrt (+ (+ x (* y z)) (* t a))))
  (cbrt (+ (+ x (* y z)) (* t a)))
  (* (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (+ (+ x (* y z)) (* t a)))
  (sqrt (+ (+ x (* y z)) (* t a)))
  (sqrt (+ (+ x (* y z)) (* t a)))
  (+ (pow (+ x (* y z)) 3) (pow (* t a) 3))
  (+ (* (+ x (* y z)) (+ x (* y z))) (- (* (* t a) (* t a)) (* (+ x (* y z)) (* t a))))
  (- (* (+ x (* y z)) (+ x (* y z))) (* (* t a) (* t a)))
  (- (+ x (* y z)) (* t a))
  (+ (* y z) (* t a))
  0
  (* a (* z b))
  (* a (* z b))
  x
  (+ (* a (* z b)) (+ (* z y) (* a t)))
  (+ (* a (* z b)) (+ (* z y) (* a t)))
  x
  (+ (* z y) (+ x (* a t)))
  (+ (* z y) (+ x (* a t)))
1.764 * * [simplify]: iteration  0 :  105  enodes  (cost  858 )
1.784 * * [simplify]: iteration  1 :  292  enodes  (cost  710 )
1.873 * * [simplify]: iteration  2 :  1177  enodes  (cost  604 )
2.463 * * [simplify]: iteration  done :  5000  enodes  (cost  598 )
2.463 * [simplify]: Simplified to:
   (expm1 (* a (* z b)))
  (log1p (* a (* z b)))
  (* a (* z b))
  (* a (* z b))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (exp (* a (* z b)))
  (pow (* (* a z) b) 3)
  (pow (* (* a z) b) 3)
  (* (cbrt (* a (* z b))) (cbrt (* a (* z b))))
  (cbrt (* a (* z b)))
  (pow (* (* a z) b) 3)
  (sqrt (* a (* z b)))
  (sqrt (* a (* z b)))
  (* a z)
  (* (cbrt a) (* z b))
  (* (sqrt a) (* z b))
  (* a (* z b))
  (expm1 (fma a (* z b) (fma a t (fma z y x))))
  (log1p (fma a (* z b) (fma a t (fma z y x))))
  (exp (fma a (* z b) (fma a t (fma z y x))))
  (exp (fma a (* z b) (fma a t (fma z y x))))
  (exp (fma a (* z b) (fma a t (fma z y x))))
  (log (fma a (* z b) (fma a t (fma z y x))))
  (exp (fma a (* z b) (fma a t (fma z y x))))
  (* (cbrt (fma a (* z b) (fma a t (fma z y x)))) (cbrt (fma a (* z b) (fma a t (fma z y x)))))
  (cbrt (fma a (* z b) (fma a t (fma z y x))))
  (pow (fma a (* z b) (fma a t (fma z y x))) 3)
  (sqrt (fma a (* z b) (fma a t (fma z y x))))
  (sqrt (fma a (* z b) (fma a t (fma z y x))))
  (+ (pow (fma a t (fma z y x)) 3) (pow (* (* a z) b) 3))
  (+ (pow (* a (* z b)) 2) (* (fma a t (fma z y x)) (+ (fma z y x) (* a (- t (* z b))))))
  (fma (fma a t (fma z y x)) (fma a t (fma z y x)) (- (pow (* a (* z b)) 2)))
  (+ (fma z y x) (* a (- t (* z b))))
  (fma a (* z b) (fma a t (fma z y x)))
  (* a (+ t (* z b)))
  (expm1 (fma a t (fma z y x)))
  (log1p (fma a t (fma z y x)))
  (exp (fma a t (fma z y x)))
  (exp (fma a t (fma z y x)))
  (log (fma a t (fma z y x)))
  (exp (fma a t (fma z y x)))
  (* (cbrt (fma a t (fma z y x))) (cbrt (fma a t (fma z y x))))
  (cbrt (fma a t (fma z y x)))
  (pow (fma a t (fma z y x)) 3)
  (sqrt (fma a t (fma z y x)))
  (sqrt (fma a t (fma z y x)))
  (+ (pow (fma z y x) 3) (pow (* t a) 3))
  (fma (* a t) (- (* a t) (fma z y x)) (* (fma z y x) (fma z y x)))
  (* (- (fma z y x) (* a t)) (fma a t (fma z y x)))
  (- (fma z y x) (* a t))
  (fma y z (* a t))
  0
  (* a (* z b))
  (* a (* z b))
  x
  (fma a (* z b) (fma y z (* a t)))
  (fma a (* z b) (fma y z (* a t)))
  x
  (fma a t (fma z y x))
  (fma a t (fma z y x))
2.464 * * * [progress]: adding candidates to table
2.696 * * [progress]: iteration 3 / 4
2.696 * * * [progress]: picking best candidate
2.709 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))>
2.709 * * * [progress]: localizing error
2.725 * * * [progress]: generating rewritten candidates
2.725 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.739 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.796 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
2.797 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2)
2.800 * * * [progress]: generating series expansions
2.800 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.800 * [approximate]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in (a z b) around 0
2.800 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in b
2.800 * [taylor]: Taking taylor expansion of (* a z) in b
2.800 * [taylor]: Taking taylor expansion of a in b
2.800 * [taylor]: Taking taylor expansion of z in b
2.800 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b
2.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b
2.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b
2.800 * [taylor]: Taking taylor expansion of 1/3 in b
2.800 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b
2.800 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.800 * [taylor]: Taking taylor expansion of b in b
2.802 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in z
2.802 * [taylor]: Taking taylor expansion of (* a z) in z
2.802 * [taylor]: Taking taylor expansion of a in z
2.802 * [taylor]: Taking taylor expansion of z in z
2.802 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z
2.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z
2.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z
2.802 * [taylor]: Taking taylor expansion of 1/3 in z
2.802 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z
2.802 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.802 * [taylor]: Taking taylor expansion of b in z
2.802 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a
2.802 * [taylor]: Taking taylor expansion of (* a z) in a
2.802 * [taylor]: Taking taylor expansion of a in a
2.802 * [taylor]: Taking taylor expansion of z in a
2.802 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a
2.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a
2.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a
2.802 * [taylor]: Taking taylor expansion of 1/3 in a
2.802 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a
2.802 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.803 * [taylor]: Taking taylor expansion of b in a
2.803 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a
2.803 * [taylor]: Taking taylor expansion of (* a z) in a
2.803 * [taylor]: Taking taylor expansion of a in a
2.803 * [taylor]: Taking taylor expansion of z in a
2.803 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a
2.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a
2.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a
2.803 * [taylor]: Taking taylor expansion of 1/3 in a
2.803 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a
2.803 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.803 * [taylor]: Taking taylor expansion of b in a
2.803 * [taylor]: Taking taylor expansion of 0 in z
2.803 * [taylor]: Taking taylor expansion of 0 in b
2.806 * [taylor]: Taking taylor expansion of (* z (pow (pow b 2) 1/3)) in z
2.806 * [taylor]: Taking taylor expansion of z in z
2.806 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z
2.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z
2.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z
2.806 * [taylor]: Taking taylor expansion of 1/3 in z
2.806 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z
2.806 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.806 * [taylor]: Taking taylor expansion of b in z
2.807 * [taylor]: Taking taylor expansion of 0 in b
2.807 * [taylor]: Taking taylor expansion of 0 in b
2.811 * [taylor]: Taking taylor expansion of 0 in z
2.811 * [taylor]: Taking taylor expansion of 0 in b
2.814 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b
2.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b
2.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b
2.814 * [taylor]: Taking taylor expansion of 1/3 in b
2.814 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b
2.814 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.814 * [taylor]: Taking taylor expansion of b in b
2.815 * [taylor]: Taking taylor expansion of 0 in b
2.821 * [taylor]: Taking taylor expansion of 0 in z
2.821 * [taylor]: Taking taylor expansion of 0 in b
2.821 * [taylor]: Taking taylor expansion of 0 in b
2.822 * [approximate]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0
2.822 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b
2.822 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
2.822 * [taylor]: Taking taylor expansion of (* a z) in b
2.822 * [taylor]: Taking taylor expansion of a in b
2.822 * [taylor]: Taking taylor expansion of z in b
2.822 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.822 * [taylor]: Taking taylor expansion of 1/3 in b
2.822 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.822 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.822 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.822 * [taylor]: Taking taylor expansion of b in b
2.823 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z
2.824 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
2.824 * [taylor]: Taking taylor expansion of (* a z) in z
2.824 * [taylor]: Taking taylor expansion of a in z
2.824 * [taylor]: Taking taylor expansion of z in z
2.824 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.824 * [taylor]: Taking taylor expansion of 1/3 in z
2.824 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.824 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.824 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.824 * [taylor]: Taking taylor expansion of b in z
2.825 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.825 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
2.825 * [taylor]: Taking taylor expansion of (* a z) in a
2.825 * [taylor]: Taking taylor expansion of a in a
2.825 * [taylor]: Taking taylor expansion of z in a
2.825 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.825 * [taylor]: Taking taylor expansion of 1/3 in a
2.825 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.825 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.825 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.825 * [taylor]: Taking taylor expansion of b in a
2.826 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.826 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
2.826 * [taylor]: Taking taylor expansion of (* a z) in a
2.826 * [taylor]: Taking taylor expansion of a in a
2.826 * [taylor]: Taking taylor expansion of z in a
2.826 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.826 * [taylor]: Taking taylor expansion of 1/3 in a
2.826 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.826 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.826 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.826 * [taylor]: Taking taylor expansion of b in a
2.827 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow b 2)) 1/3)) in z
2.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.827 * [taylor]: Taking taylor expansion of z in z
2.827 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.827 * [taylor]: Taking taylor expansion of 1/3 in z
2.827 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.827 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.828 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.828 * [taylor]: Taking taylor expansion of b in z
2.828 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.828 * [taylor]: Taking taylor expansion of 1/3 in b
2.828 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.828 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.828 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.828 * [taylor]: Taking taylor expansion of b in b
2.832 * [taylor]: Taking taylor expansion of 0 in z
2.835 * [taylor]: Taking taylor expansion of 0 in b
2.843 * [taylor]: Taking taylor expansion of 0 in z
2.843 * [taylor]: Taking taylor expansion of 0 in b
2.853 * [taylor]: Taking taylor expansion of 0 in b
2.858 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0
2.858 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b
2.858 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in b
2.858 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b
2.859 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.859 * [taylor]: Taking taylor expansion of -1 in b
2.859 * [taylor]: Taking taylor expansion of (* a z) in b
2.859 * [taylor]: Taking taylor expansion of a in b
2.859 * [taylor]: Taking taylor expansion of z in b
2.862 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.862 * [taylor]: Taking taylor expansion of 1/3 in b
2.862 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.862 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.862 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.862 * [taylor]: Taking taylor expansion of b in b
2.863 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z
2.863 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in z
2.863 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.863 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.863 * [taylor]: Taking taylor expansion of -1 in z
2.864 * [taylor]: Taking taylor expansion of (* a z) in z
2.864 * [taylor]: Taking taylor expansion of a in z
2.864 * [taylor]: Taking taylor expansion of z in z
2.866 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.867 * [taylor]: Taking taylor expansion of 1/3 in z
2.867 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.867 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.867 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.867 * [taylor]: Taking taylor expansion of b in z
2.867 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.867 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a
2.867 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
2.867 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.867 * [taylor]: Taking taylor expansion of -1 in a
2.868 * [taylor]: Taking taylor expansion of (* a z) in a
2.868 * [taylor]: Taking taylor expansion of a in a
2.868 * [taylor]: Taking taylor expansion of z in a
2.871 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.871 * [taylor]: Taking taylor expansion of 1/3 in a
2.871 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.871 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.871 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.871 * [taylor]: Taking taylor expansion of b in a
2.871 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.871 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a
2.871 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
2.871 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.871 * [taylor]: Taking taylor expansion of -1 in a
2.872 * [taylor]: Taking taylor expansion of (* a z) in a
2.872 * [taylor]: Taking taylor expansion of a in a
2.872 * [taylor]: Taking taylor expansion of z in a
2.874 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.874 * [taylor]: Taking taylor expansion of 1/3 in a
2.874 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.874 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.874 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.874 * [taylor]: Taking taylor expansion of b in a
2.876 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow b 2)) 1/3)) in z
2.876 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z
2.876 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.876 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.876 * [taylor]: Taking taylor expansion of -1 in z
2.877 * [taylor]: Taking taylor expansion of z in z
2.879 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.879 * [taylor]: Taking taylor expansion of 1/3 in z
2.879 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.879 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.879 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.879 * [taylor]: Taking taylor expansion of b in z
2.880 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b
2.880 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b
2.880 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.881 * [taylor]: Taking taylor expansion of -1 in b
2.881 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.881 * [taylor]: Taking taylor expansion of 1/3 in b
2.881 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.881 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.881 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.881 * [taylor]: Taking taylor expansion of b in b
2.890 * [taylor]: Taking taylor expansion of 0 in z
2.893 * [taylor]: Taking taylor expansion of 0 in b
2.905 * [taylor]: Taking taylor expansion of 0 in z
2.905 * [taylor]: Taking taylor expansion of 0 in b
2.913 * [taylor]: Taking taylor expansion of 0 in b
2.921 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.922 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
2.922 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
2.922 * [taylor]: Taking taylor expansion of a in b
2.922 * [taylor]: Taking taylor expansion of (* z b) in b
2.922 * [taylor]: Taking taylor expansion of z in b
2.922 * [taylor]: Taking taylor expansion of b in b
2.922 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
2.922 * [taylor]: Taking taylor expansion of a in z
2.922 * [taylor]: Taking taylor expansion of (* z b) in z
2.922 * [taylor]: Taking taylor expansion of z in z
2.922 * [taylor]: Taking taylor expansion of b in z
2.922 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.922 * [taylor]: Taking taylor expansion of a in a
2.922 * [taylor]: Taking taylor expansion of (* z b) in a
2.922 * [taylor]: Taking taylor expansion of z in a
2.922 * [taylor]: Taking taylor expansion of b in a
2.922 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.922 * [taylor]: Taking taylor expansion of a in a
2.922 * [taylor]: Taking taylor expansion of (* z b) in a
2.922 * [taylor]: Taking taylor expansion of z in a
2.922 * [taylor]: Taking taylor expansion of b in a
2.922 * [taylor]: Taking taylor expansion of 0 in z
2.922 * [taylor]: Taking taylor expansion of 0 in b
2.923 * [taylor]: Taking taylor expansion of (* z b) in z
2.923 * [taylor]: Taking taylor expansion of z in z
2.923 * [taylor]: Taking taylor expansion of b in z
2.923 * [taylor]: Taking taylor expansion of 0 in b
2.923 * [taylor]: Taking taylor expansion of 0 in b
2.924 * [taylor]: Taking taylor expansion of 0 in z
2.924 * [taylor]: Taking taylor expansion of 0 in b
2.924 * [taylor]: Taking taylor expansion of b in b
2.925 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
2.925 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
2.925 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
2.925 * [taylor]: Taking taylor expansion of a in b
2.925 * [taylor]: Taking taylor expansion of (* z b) in b
2.925 * [taylor]: Taking taylor expansion of z in b
2.925 * [taylor]: Taking taylor expansion of b in b
2.925 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
2.925 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
2.925 * [taylor]: Taking taylor expansion of a in z
2.925 * [taylor]: Taking taylor expansion of (* z b) in z
2.925 * [taylor]: Taking taylor expansion of z in z
2.925 * [taylor]: Taking taylor expansion of b in z
2.926 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
2.926 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.926 * [taylor]: Taking taylor expansion of a in a
2.926 * [taylor]: Taking taylor expansion of (* z b) in a
2.926 * [taylor]: Taking taylor expansion of z in a
2.926 * [taylor]: Taking taylor expansion of b in a
2.927 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
2.927 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.927 * [taylor]: Taking taylor expansion of a in a
2.927 * [taylor]: Taking taylor expansion of (* z b) in a
2.927 * [taylor]: Taking taylor expansion of z in a
2.927 * [taylor]: Taking taylor expansion of b in a
2.927 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
2.927 * [taylor]: Taking taylor expansion of (* z b) in z
2.927 * [taylor]: Taking taylor expansion of z in z
2.927 * [taylor]: Taking taylor expansion of b in z
2.928 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.928 * [taylor]: Taking taylor expansion of b in b
2.929 * [taylor]: Taking taylor expansion of 0 in z
2.930 * [taylor]: Taking taylor expansion of 0 in b
2.932 * [taylor]: Taking taylor expansion of 0 in z
2.932 * [taylor]: Taking taylor expansion of 0 in b
2.933 * [taylor]: Taking taylor expansion of 0 in b
2.935 * [taylor]: Taking taylor expansion of 0 in z
2.935 * [taylor]: Taking taylor expansion of 0 in b
2.935 * [taylor]: Taking taylor expansion of 0 in b
2.936 * [taylor]: Taking taylor expansion of 0 in b
2.937 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in (a z b) around 0
2.937 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in b
2.937 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b
2.937 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.937 * [taylor]: Taking taylor expansion of -1 in b
2.938 * [taylor]: Taking taylor expansion of (* b (* z a)) in b
2.938 * [taylor]: Taking taylor expansion of b in b
2.938 * [taylor]: Taking taylor expansion of (* z a) in b
2.938 * [taylor]: Taking taylor expansion of z in b
2.938 * [taylor]: Taking taylor expansion of a in b
2.942 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in z
2.942 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.942 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.942 * [taylor]: Taking taylor expansion of -1 in z
2.942 * [taylor]: Taking taylor expansion of (* b (* z a)) in z
2.942 * [taylor]: Taking taylor expansion of b in z
2.943 * [taylor]: Taking taylor expansion of (* z a) in z
2.943 * [taylor]: Taking taylor expansion of z in z
2.943 * [taylor]: Taking taylor expansion of a in z
2.946 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
2.946 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
2.946 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.946 * [taylor]: Taking taylor expansion of -1 in a
2.947 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
2.947 * [taylor]: Taking taylor expansion of b in a
2.947 * [taylor]: Taking taylor expansion of (* z a) in a
2.947 * [taylor]: Taking taylor expansion of z in a
2.947 * [taylor]: Taking taylor expansion of a in a
2.958 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
2.958 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
2.958 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.958 * [taylor]: Taking taylor expansion of -1 in a
2.959 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
2.959 * [taylor]: Taking taylor expansion of b in a
2.959 * [taylor]: Taking taylor expansion of (* z a) in a
2.959 * [taylor]: Taking taylor expansion of z in a
2.959 * [taylor]: Taking taylor expansion of a in a
2.963 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
2.963 * [taylor]: Taking taylor expansion of -1 in z
2.963 * [taylor]: Taking taylor expansion of (* z b) in z
2.963 * [taylor]: Taking taylor expansion of z in z
2.963 * [taylor]: Taking taylor expansion of b in z
2.964 * [taylor]: Taking taylor expansion of (/ -1 b) in b
2.964 * [taylor]: Taking taylor expansion of -1 in b
2.964 * [taylor]: Taking taylor expansion of b in b
2.966 * [taylor]: Taking taylor expansion of 0 in z
2.967 * [taylor]: Taking taylor expansion of 0 in b
2.971 * [taylor]: Taking taylor expansion of 0 in z
2.972 * [taylor]: Taking taylor expansion of 0 in b
2.973 * [taylor]: Taking taylor expansion of 0 in b
2.977 * [taylor]: Taking taylor expansion of 0 in z
2.978 * [taylor]: Taking taylor expansion of 0 in b
2.978 * [taylor]: Taking taylor expansion of 0 in b
2.979 * [taylor]: Taking taylor expansion of 0 in b
2.979 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
2.979 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0
2.979 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
2.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
2.979 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
2.979 * [taylor]: Taking taylor expansion of 1/3 in b
2.979 * [taylor]: Taking taylor expansion of (log b) in b
2.979 * [taylor]: Taking taylor expansion of b in b
2.980 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
2.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
2.980 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
2.980 * [taylor]: Taking taylor expansion of 1/3 in b
2.980 * [taylor]: Taking taylor expansion of (log b) in b
2.980 * [taylor]: Taking taylor expansion of b in b
3.034 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0
3.035 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.035 * [taylor]: Taking taylor expansion of 1/3 in b
3.035 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.035 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.035 * [taylor]: Taking taylor expansion of b in b
3.036 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.036 * [taylor]: Taking taylor expansion of 1/3 in b
3.036 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.036 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.036 * [taylor]: Taking taylor expansion of b in b
3.103 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0
3.103 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
3.103 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.103 * [taylor]: Taking taylor expansion of -1 in b
3.104 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.104 * [taylor]: Taking taylor expansion of 1/3 in b
3.104 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.104 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.104 * [taylor]: Taking taylor expansion of b in b
3.105 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
3.105 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.105 * [taylor]: Taking taylor expansion of -1 in b
3.106 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.106 * [taylor]: Taking taylor expansion of 1/3 in b
3.106 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.106 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.106 * [taylor]: Taking taylor expansion of b in b
3.185 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2)
3.185 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0
3.185 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
3.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
3.185 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
3.185 * [taylor]: Taking taylor expansion of 1/3 in b
3.185 * [taylor]: Taking taylor expansion of (log b) in b
3.185 * [taylor]: Taking taylor expansion of b in b
3.186 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
3.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
3.186 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
3.186 * [taylor]: Taking taylor expansion of 1/3 in b
3.186 * [taylor]: Taking taylor expansion of (log b) in b
3.186 * [taylor]: Taking taylor expansion of b in b
3.248 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0
3.248 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.248 * [taylor]: Taking taylor expansion of 1/3 in b
3.248 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.248 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.248 * [taylor]: Taking taylor expansion of b in b
3.250 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.250 * [taylor]: Taking taylor expansion of 1/3 in b
3.250 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.250 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.250 * [taylor]: Taking taylor expansion of b in b
3.315 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0
3.316 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
3.316 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.316 * [taylor]: Taking taylor expansion of -1 in b
3.317 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.317 * [taylor]: Taking taylor expansion of 1/3 in b
3.317 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.317 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.317 * [taylor]: Taking taylor expansion of b in b
3.318 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
3.318 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.318 * [taylor]: Taking taylor expansion of -1 in b
3.319 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
3.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
3.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
3.319 * [taylor]: Taking taylor expansion of 1/3 in b
3.319 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.319 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.319 * [taylor]: Taking taylor expansion of b in b
3.395 * * * [progress]: simplifying candidates
3.396 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* a z) (* (cbrt b) (cbrt b))))
  (log1p (* (* a z) (* (cbrt b) (cbrt b))))
  (* (* a z) (* (cbrt b) (cbrt b)))
  (* (* a z) (* (cbrt b) (cbrt b)))
  (* (* a z) (* (cbrt b) (cbrt b)))
  (* (* a z) (* (cbrt b) (cbrt b)))
  (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b))))
  (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b))))
  (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b))))
  (+ (log (* a z)) (log (* (cbrt b) (cbrt b))))
  (log (* (* a z) (* (cbrt b) (cbrt b))))
  (exp (* (* a z) (* (cbrt b) (cbrt b))))
  (* (* (* (* a a) a) (* (* z z) z)) (* b b))
  (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b))))
  (* (* (* (* a z) (* a z)) (* a z)) (* b b))
  (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b))))
  (* (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))))
  (cbrt (* (* a z) (* (cbrt b) (cbrt b))))
  (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b))))
  (sqrt (* (* a z) (* (cbrt b) (cbrt b))))
  (sqrt (* (* a z) (* (cbrt b) (cbrt b))))
  (* (* a z) (cbrt b))
  (* z (* (cbrt b) (cbrt b)))
  (expm1 (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (log1p (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
  (+ (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (log (cbrt b)))
  (+ (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (log (cbrt b)))
  (+ (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (log (cbrt b)))
  (+ (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (log (cbrt b)))
  (+ (log (* (* a z) (* (cbrt b) (cbrt b)))) (log (cbrt b)))
  (log (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (exp (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (* (* (* (* (* a a) a) (* (* z z) z)) (* b b)) b)
  (* (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) b)
  (* (* (* (* (* a z) (* a z)) (* a z)) (* b b)) b)
  (* (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) b)
  (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) b)
  (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))
  (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b))))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt (sqrt b)))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt 1))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))
  (* (* (* a z) (* (cbrt b) (cbrt b))) (sqrt (cbrt b)))
  (* (* (* a z) (* (cbrt b) (cbrt b))) 1)
  (* (* (cbrt b) (cbrt b)) (cbrt b))
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  (cbrt 1)
  (cbrt b)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  (* (* (cbrt b) (cbrt b)) (cbrt b))
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  (cbrt 1)
  (cbrt b)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  (* (* (cbrt b) (cbrt b)) (cbrt b))
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (* (* a z) (pow (pow b 2) 1/3))
  (* (* a z) (pow (pow b 2) 1/3))
  (* (* (pow (cbrt -1) 2) (* a z)) (pow (pow b 2) 1/3))
  0
  (* a (* z b))
  (* a (* z b))
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
3.400 * * [simplify]: iteration  0 :  101  enodes  (cost  1001 )
3.420 * * [simplify]: iteration  1 :  266  enodes  (cost  964 )
3.515 * * [simplify]: iteration  2 :  1085  enodes  (cost  646 )
4.330 * * [simplify]: iteration  done :  5000  enodes  (cost  646 )
4.330 * [simplify]: Simplified to:
   (expm1 (* (* a z) (pow b 2/3)))
  (log1p (* (* a z) (pow b 2/3)))
  (* (* a z) (pow b 2/3))
  (* (* a z) (pow b 2/3))
  (* (* a z) (pow b 2/3))
  (* (* a z) (pow b 2/3))
  (log (* (* a z) (pow b 2/3)))
  (log (* (* a z) (pow b 2/3)))
  (log (* (* a z) (pow b 2/3)))
  (log (* (* a z) (pow b 2/3)))
  (log (* (* a z) (pow b 2/3)))
  (pow (exp a) (* (pow b 2/3) z))
  (* (* b b) (pow (* a z) 3))
  (pow (* (* a z) (pow b 2/3)) 3)
  (* (* b b) (pow (* a z) 3))
  (pow (* (* a z) (pow b 2/3)) 3)
  (* (cbrt (* (* a z) (pow b 2/3))) (cbrt (* (* a z) (pow b 2/3))))
  (cbrt (* (* a z) (pow b 2/3)))
  (pow (* (* a z) (pow b 2/3)) 3)
  (sqrt (* (* a z) (pow b 2/3)))
  (sqrt (* (* a z) (pow b 2/3)))
  (* (* a z) (cbrt b))
  (* (pow b 2/3) z)
  (expm1 (* (* a z) (pow (cbrt b) 3)))
  (log1p (* (* a z) (pow (cbrt b) 3)))
  (* (* a z) (pow (cbrt b) 3))
  (* (* a z) (pow (cbrt b) 3))
  (* (* a z) (pow (cbrt b) 3))
  (* (* a z) (pow (cbrt b) 3))
  (* (* a z) (pow (cbrt b) 3))
  (log (* (* a z) (pow (cbrt b) 3)))
  (log (* (* a z) (pow (cbrt b) 3)))
  (log (* (* a z) (pow (cbrt b) 3)))
  (log (* (* a z) (pow (cbrt b) 3)))
  (log (* (* a z) (pow (cbrt b) 3)))
  (log (* (* a z) (pow (cbrt b) 3)))
  (pow (exp (* a z)) (pow (cbrt b) 3))
  (* (pow (* a z) 3) (pow b 3))
  (* (pow (* (* a z) (pow b 2/3)) 3) b)
  (* (pow (* a z) 3) (pow b 3))
  (* (pow (* (* a z) (pow b 2/3)) 3) b)
  (* (pow (* (* a z) (pow b 2/3)) 3) b)
  (* (cbrt (* (* a z) (pow (cbrt b) 3))) (cbrt (* (* a z) (pow (cbrt b) 3))))
  (cbrt (* (* a z) (pow (cbrt b) 3)))
  (pow (* (* a z) (pow (cbrt b) 3)) 3)
  (sqrt (* (* a z) (pow (cbrt b) 3)))
  (sqrt (* (* a z) (pow (cbrt b) 3)))
  (* (pow b 2/3) (* (* a z) (cbrt (pow b 2/3))))
  (* (* (* a z) (pow b 2/3)) (cbrt (sqrt b)))
  (* (* a z) (pow b 2/3))
  (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (* a z) (pow b 2/3)))
  (* (pow b 2/3) (* (* a z) (sqrt (cbrt b))))
  (* (* a z) (pow b 2/3))
  (pow (cbrt b) 3)
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (pow b 2/3))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  1
  (cbrt b)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  (pow (cbrt b) 3)
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (pow b 2/3))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  1
  (cbrt b)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  (pow (cbrt b) 3)
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (* (* a z) (cbrt (* b b)))
  (* (* a z) (cbrt (* b b)))
  (* (cbrt (* b b)) (* (pow (cbrt -1) 2) (* a z)))
  0
  (* a (* z b))
  (* a (* z b))
  (cbrt b)
  (pow (/ 1 b) -1/3)
  (* (cbrt (- b)) (cbrt -1))
  (cbrt b)
  (pow (/ 1 b) -1/3)
  (* (cbrt (- b)) (cbrt -1))
4.331 * * * [progress]: adding candidates to table
4.655 * * [progress]: iteration 4 / 4
4.655 * * * [progress]: picking best candidate
4.666 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))>
4.666 * * * [progress]: localizing error
4.684 * * * [progress]: generating rewritten candidates
4.684 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
4.691 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
4.723 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
4.724 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
4.727 * * * [progress]: generating series expansions
4.727 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
4.727 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in (a z b) around 0
4.727 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in b
4.727 * [taylor]: Taking taylor expansion of (pow a 1/3) in b
4.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in b
4.727 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in b
4.727 * [taylor]: Taking taylor expansion of 1/3 in b
4.727 * [taylor]: Taking taylor expansion of (log a) in b
4.727 * [taylor]: Taking taylor expansion of a in b
4.727 * [taylor]: Taking taylor expansion of (* z b) in b
4.727 * [taylor]: Taking taylor expansion of z in b
4.727 * [taylor]: Taking taylor expansion of b in b
4.727 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in z
4.727 * [taylor]: Taking taylor expansion of (pow a 1/3) in z
4.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in z
4.727 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in z
4.728 * [taylor]: Taking taylor expansion of 1/3 in z
4.728 * [taylor]: Taking taylor expansion of (log a) in z
4.728 * [taylor]: Taking taylor expansion of a in z
4.728 * [taylor]: Taking taylor expansion of (* z b) in z
4.728 * [taylor]: Taking taylor expansion of z in z
4.728 * [taylor]: Taking taylor expansion of b in z
4.728 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in a
4.728 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.728 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.728 * [taylor]: Taking taylor expansion of 1/3 in a
4.728 * [taylor]: Taking taylor expansion of (log a) in a
4.728 * [taylor]: Taking taylor expansion of a in a
4.729 * [taylor]: Taking taylor expansion of (* z b) in a
4.729 * [taylor]: Taking taylor expansion of z in a
4.729 * [taylor]: Taking taylor expansion of b in a
4.729 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in a
4.729 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.729 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.729 * [taylor]: Taking taylor expansion of 1/3 in a
4.729 * [taylor]: Taking taylor expansion of (log a) in a
4.729 * [taylor]: Taking taylor expansion of a in a
4.730 * [taylor]: Taking taylor expansion of (* z b) in a
4.730 * [taylor]: Taking taylor expansion of z in a
4.730 * [taylor]: Taking taylor expansion of b in a
4.730 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in z
4.730 * [taylor]: Taking taylor expansion of (pow a 1/3) in z
4.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in z
4.730 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in z
4.730 * [taylor]: Taking taylor expansion of 1/3 in z
4.730 * [taylor]: Taking taylor expansion of (log a) in z
4.730 * [taylor]: Taking taylor expansion of a in z
4.730 * [taylor]: Taking taylor expansion of (* z b) in z
4.730 * [taylor]: Taking taylor expansion of z in z
4.730 * [taylor]: Taking taylor expansion of b in z
4.731 * [taylor]: Taking taylor expansion of 0 in b
4.733 * [taylor]: Taking taylor expansion of 0 in z
4.733 * [taylor]: Taking taylor expansion of 0 in b
4.735 * [taylor]: Taking taylor expansion of (* (pow a 1/3) b) in b
4.735 * [taylor]: Taking taylor expansion of (pow a 1/3) in b
4.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in b
4.736 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in b
4.736 * [taylor]: Taking taylor expansion of 1/3 in b
4.736 * [taylor]: Taking taylor expansion of (log a) in b
4.736 * [taylor]: Taking taylor expansion of a in b
4.736 * [taylor]: Taking taylor expansion of b in b
4.740 * [taylor]: Taking taylor expansion of 0 in z
4.740 * [taylor]: Taking taylor expansion of 0 in b
4.740 * [taylor]: Taking taylor expansion of 0 in b
4.740 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in (a z b) around 0
4.740 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in b
4.740 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.741 * [taylor]: Taking taylor expansion of 1/3 in b
4.741 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.741 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.741 * [taylor]: Taking taylor expansion of a in b
4.741 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in b
4.741 * [taylor]: Taking taylor expansion of (* z b) in b
4.741 * [taylor]: Taking taylor expansion of z in b
4.741 * [taylor]: Taking taylor expansion of b in b
4.741 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in z
4.741 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.741 * [taylor]: Taking taylor expansion of 1/3 in z
4.741 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.741 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.741 * [taylor]: Taking taylor expansion of a in z
4.741 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
4.742 * [taylor]: Taking taylor expansion of (* z b) in z
4.742 * [taylor]: Taking taylor expansion of z in z
4.742 * [taylor]: Taking taylor expansion of b in z
4.742 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in a
4.742 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.742 * [taylor]: Taking taylor expansion of 1/3 in a
4.742 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.742 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.742 * [taylor]: Taking taylor expansion of a in a
4.743 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in a
4.743 * [taylor]: Taking taylor expansion of (* z b) in a
4.743 * [taylor]: Taking taylor expansion of z in a
4.743 * [taylor]: Taking taylor expansion of b in a
4.743 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in a
4.743 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.743 * [taylor]: Taking taylor expansion of 1/3 in a
4.743 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.743 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.743 * [taylor]: Taking taylor expansion of a in a
4.744 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in a
4.744 * [taylor]: Taking taylor expansion of (* z b) in a
4.744 * [taylor]: Taking taylor expansion of z in a
4.744 * [taylor]: Taking taylor expansion of b in a
4.745 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in z
4.745 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.745 * [taylor]: Taking taylor expansion of 1/3 in z
4.745 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.745 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.745 * [taylor]: Taking taylor expansion of a in z
4.745 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
4.745 * [taylor]: Taking taylor expansion of (* z b) in z
4.745 * [taylor]: Taking taylor expansion of z in z
4.745 * [taylor]: Taking taylor expansion of b in z
4.745 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 b)) in b
4.746 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.746 * [taylor]: Taking taylor expansion of 1/3 in b
4.746 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.746 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.746 * [taylor]: Taking taylor expansion of a in b
4.746 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.746 * [taylor]: Taking taylor expansion of b in b
4.749 * [taylor]: Taking taylor expansion of 0 in z
4.752 * [taylor]: Taking taylor expansion of 0 in b
4.759 * [taylor]: Taking taylor expansion of 0 in z
4.759 * [taylor]: Taking taylor expansion of 0 in b
4.764 * [taylor]: Taking taylor expansion of 0 in b
4.774 * [taylor]: Taking taylor expansion of 0 in z
4.774 * [taylor]: Taking taylor expansion of 0 in b
4.775 * [taylor]: Taking taylor expansion of 0 in b
4.781 * [taylor]: Taking taylor expansion of 0 in b
4.781 * [approximate]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in (a z b) around 0
4.781 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in b
4.781 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in b
4.781 * [taylor]: Taking taylor expansion of (cbrt -1) in b
4.781 * [taylor]: Taking taylor expansion of -1 in b
4.782 * [taylor]: Taking taylor expansion of (* b z) in b
4.782 * [taylor]: Taking taylor expansion of b in b
4.782 * [taylor]: Taking taylor expansion of z in b
4.783 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.783 * [taylor]: Taking taylor expansion of 1/3 in b
4.783 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.783 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.783 * [taylor]: Taking taylor expansion of a in b
4.783 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in z
4.783 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in z
4.783 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.783 * [taylor]: Taking taylor expansion of -1 in z
4.784 * [taylor]: Taking taylor expansion of (* b z) in z
4.784 * [taylor]: Taking taylor expansion of b in z
4.784 * [taylor]: Taking taylor expansion of z in z
4.785 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.785 * [taylor]: Taking taylor expansion of 1/3 in z
4.785 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.785 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.785 * [taylor]: Taking taylor expansion of a in z
4.785 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in a
4.785 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in a
4.785 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.785 * [taylor]: Taking taylor expansion of -1 in a
4.786 * [taylor]: Taking taylor expansion of (* b z) in a
4.786 * [taylor]: Taking taylor expansion of b in a
4.786 * [taylor]: Taking taylor expansion of z in a
4.786 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.786 * [taylor]: Taking taylor expansion of 1/3 in a
4.786 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.786 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.786 * [taylor]: Taking taylor expansion of a in a
4.787 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in a
4.787 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in a
4.787 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.787 * [taylor]: Taking taylor expansion of -1 in a
4.788 * [taylor]: Taking taylor expansion of (* b z) in a
4.788 * [taylor]: Taking taylor expansion of b in a
4.788 * [taylor]: Taking taylor expansion of z in a
4.789 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.789 * [taylor]: Taking taylor expansion of 1/3 in a
4.789 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.789 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.789 * [taylor]: Taking taylor expansion of a in a
4.790 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* z b)) (pow (/ 1 a) 1/3)) in z
4.790 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* z b)) in z
4.790 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.790 * [taylor]: Taking taylor expansion of -1 in z
4.791 * [taylor]: Taking taylor expansion of (* z b) in z
4.791 * [taylor]: Taking taylor expansion of z in z
4.791 * [taylor]: Taking taylor expansion of b in z
4.792 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.792 * [taylor]: Taking taylor expansion of 1/3 in z
4.792 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.792 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.792 * [taylor]: Taking taylor expansion of a in z
4.793 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) b) (pow (/ 1 a) 1/3)) in b
4.793 * [taylor]: Taking taylor expansion of (/ (cbrt -1) b) in b
4.793 * [taylor]: Taking taylor expansion of (cbrt -1) in b
4.793 * [taylor]: Taking taylor expansion of -1 in b
4.793 * [taylor]: Taking taylor expansion of b in b
4.794 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.794 * [taylor]: Taking taylor expansion of 1/3 in b
4.794 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.794 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.794 * [taylor]: Taking taylor expansion of a in b
4.799 * [taylor]: Taking taylor expansion of 0 in z
4.802 * [taylor]: Taking taylor expansion of 0 in b
4.810 * [taylor]: Taking taylor expansion of 0 in z
4.810 * [taylor]: Taking taylor expansion of 0 in b
4.816 * [taylor]: Taking taylor expansion of 0 in b
4.838 * [taylor]: Taking taylor expansion of 0 in z
4.838 * [taylor]: Taking taylor expansion of 0 in b
4.838 * [taylor]: Taking taylor expansion of 0 in b
4.845 * [taylor]: Taking taylor expansion of 0 in b
4.846 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
4.846 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
4.846 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
4.846 * [taylor]: Taking taylor expansion of a in b
4.846 * [taylor]: Taking taylor expansion of (* z b) in b
4.847 * [taylor]: Taking taylor expansion of z in b
4.847 * [taylor]: Taking taylor expansion of b in b
4.847 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
4.847 * [taylor]: Taking taylor expansion of a in z
4.847 * [taylor]: Taking taylor expansion of (* z b) in z
4.847 * [taylor]: Taking taylor expansion of z in z
4.847 * [taylor]: Taking taylor expansion of b in z
4.847 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.847 * [taylor]: Taking taylor expansion of a in a
4.847 * [taylor]: Taking taylor expansion of (* z b) in a
4.847 * [taylor]: Taking taylor expansion of z in a
4.847 * [taylor]: Taking taylor expansion of b in a
4.847 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.847 * [taylor]: Taking taylor expansion of a in a
4.847 * [taylor]: Taking taylor expansion of (* z b) in a
4.847 * [taylor]: Taking taylor expansion of z in a
4.847 * [taylor]: Taking taylor expansion of b in a
4.847 * [taylor]: Taking taylor expansion of 0 in z
4.847 * [taylor]: Taking taylor expansion of 0 in b
4.847 * [taylor]: Taking taylor expansion of (* z b) in z
4.847 * [taylor]: Taking taylor expansion of z in z
4.847 * [taylor]: Taking taylor expansion of b in z
4.848 * [taylor]: Taking taylor expansion of 0 in b
4.848 * [taylor]: Taking taylor expansion of 0 in b
4.849 * [taylor]: Taking taylor expansion of 0 in z
4.849 * [taylor]: Taking taylor expansion of 0 in b
4.849 * [taylor]: Taking taylor expansion of b in b
4.849 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
4.849 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
4.849 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
4.849 * [taylor]: Taking taylor expansion of a in b
4.849 * [taylor]: Taking taylor expansion of (* z b) in b
4.849 * [taylor]: Taking taylor expansion of z in b
4.849 * [taylor]: Taking taylor expansion of b in b
4.850 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
4.850 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
4.850 * [taylor]: Taking taylor expansion of a in z
4.850 * [taylor]: Taking taylor expansion of (* z b) in z
4.850 * [taylor]: Taking taylor expansion of z in z
4.850 * [taylor]: Taking taylor expansion of b in z
4.851 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
4.851 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.851 * [taylor]: Taking taylor expansion of a in a
4.851 * [taylor]: Taking taylor expansion of (* z b) in a
4.851 * [taylor]: Taking taylor expansion of z in a
4.851 * [taylor]: Taking taylor expansion of b in a
4.851 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
4.851 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.851 * [taylor]: Taking taylor expansion of a in a
4.851 * [taylor]: Taking taylor expansion of (* z b) in a
4.851 * [taylor]: Taking taylor expansion of z in a
4.851 * [taylor]: Taking taylor expansion of b in a
4.852 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
4.852 * [taylor]: Taking taylor expansion of (* z b) in z
4.852 * [taylor]: Taking taylor expansion of z in z
4.852 * [taylor]: Taking taylor expansion of b in z
4.852 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.852 * [taylor]: Taking taylor expansion of b in b
4.854 * [taylor]: Taking taylor expansion of 0 in z
4.854 * [taylor]: Taking taylor expansion of 0 in b
4.856 * [taylor]: Taking taylor expansion of 0 in z
4.856 * [taylor]: Taking taylor expansion of 0 in b
4.857 * [taylor]: Taking taylor expansion of 0 in b
4.860 * [taylor]: Taking taylor expansion of 0 in z
4.860 * [taylor]: Taking taylor expansion of 0 in b
4.860 * [taylor]: Taking taylor expansion of 0 in b
4.861 * [taylor]: Taking taylor expansion of 0 in b
4.862 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in (a z b) around 0
4.862 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in b
4.862 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b
4.862 * [taylor]: Taking taylor expansion of (cbrt -1) in b
4.862 * [taylor]: Taking taylor expansion of -1 in b
4.863 * [taylor]: Taking taylor expansion of (* b (* z a)) in b
4.863 * [taylor]: Taking taylor expansion of b in b
4.863 * [taylor]: Taking taylor expansion of (* z a) in b
4.863 * [taylor]: Taking taylor expansion of z in b
4.863 * [taylor]: Taking taylor expansion of a in b
4.867 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in z
4.867 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
4.867 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.867 * [taylor]: Taking taylor expansion of -1 in z
4.868 * [taylor]: Taking taylor expansion of (* b (* z a)) in z
4.868 * [taylor]: Taking taylor expansion of b in z
4.868 * [taylor]: Taking taylor expansion of (* z a) in z
4.868 * [taylor]: Taking taylor expansion of z in z
4.868 * [taylor]: Taking taylor expansion of a in z
4.872 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
4.872 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
4.872 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.872 * [taylor]: Taking taylor expansion of -1 in a
4.873 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
4.873 * [taylor]: Taking taylor expansion of b in a
4.873 * [taylor]: Taking taylor expansion of (* z a) in a
4.873 * [taylor]: Taking taylor expansion of z in a
4.873 * [taylor]: Taking taylor expansion of a in a
4.877 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
4.877 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
4.877 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.877 * [taylor]: Taking taylor expansion of -1 in a
4.877 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
4.877 * [taylor]: Taking taylor expansion of b in a
4.877 * [taylor]: Taking taylor expansion of (* z a) in a
4.877 * [taylor]: Taking taylor expansion of z in a
4.878 * [taylor]: Taking taylor expansion of a in a
4.881 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
4.881 * [taylor]: Taking taylor expansion of -1 in z
4.881 * [taylor]: Taking taylor expansion of (* z b) in z
4.881 * [taylor]: Taking taylor expansion of z in z
4.881 * [taylor]: Taking taylor expansion of b in z
4.882 * [taylor]: Taking taylor expansion of (/ -1 b) in b
4.882 * [taylor]: Taking taylor expansion of -1 in b
4.882 * [taylor]: Taking taylor expansion of b in b
4.884 * [taylor]: Taking taylor expansion of 0 in z
4.885 * [taylor]: Taking taylor expansion of 0 in b
4.889 * [taylor]: Taking taylor expansion of 0 in z
4.889 * [taylor]: Taking taylor expansion of 0 in b
4.890 * [taylor]: Taking taylor expansion of 0 in b
4.894 * [taylor]: Taking taylor expansion of 0 in z
4.894 * [taylor]: Taking taylor expansion of 0 in b
4.895 * [taylor]: Taking taylor expansion of 0 in b
4.896 * [taylor]: Taking taylor expansion of 0 in b
4.896 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
4.896 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
4.896 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.896 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.896 * [taylor]: Taking taylor expansion of 1/3 in a
4.896 * [taylor]: Taking taylor expansion of (log a) in a
4.896 * [taylor]: Taking taylor expansion of a in a
4.897 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.897 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.897 * [taylor]: Taking taylor expansion of 1/3 in a
4.897 * [taylor]: Taking taylor expansion of (log a) in a
4.897 * [taylor]: Taking taylor expansion of a in a
4.957 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
4.957 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.957 * [taylor]: Taking taylor expansion of 1/3 in a
4.957 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.957 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.957 * [taylor]: Taking taylor expansion of a in a
4.958 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.958 * [taylor]: Taking taylor expansion of 1/3 in a
4.958 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.958 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.958 * [taylor]: Taking taylor expansion of a in a
5.026 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
5.026 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
5.026 * [taylor]: Taking taylor expansion of (cbrt -1) in a
5.026 * [taylor]: Taking taylor expansion of -1 in a
5.027 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
5.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
5.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
5.027 * [taylor]: Taking taylor expansion of 1/3 in a
5.027 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
5.027 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.027 * [taylor]: Taking taylor expansion of a in a
5.028 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
5.028 * [taylor]: Taking taylor expansion of (cbrt -1) in a
5.028 * [taylor]: Taking taylor expansion of -1 in a
5.029 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
5.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
5.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
5.029 * [taylor]: Taking taylor expansion of 1/3 in a
5.029 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
5.029 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.029 * [taylor]: Taking taylor expansion of a in a
5.108 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
5.109 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
5.109 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
5.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
5.109 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
5.109 * [taylor]: Taking taylor expansion of 1/3 in a
5.109 * [taylor]: Taking taylor expansion of (log a) in a
5.109 * [taylor]: Taking taylor expansion of a in a
5.109 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
5.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
5.109 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
5.109 * [taylor]: Taking taylor expansion of 1/3 in a
5.109 * [taylor]: Taking taylor expansion of (log a) in a
5.110 * [taylor]: Taking taylor expansion of a in a
5.163 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
5.164 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
5.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
5.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
5.164 * [taylor]: Taking taylor expansion of 1/3 in a
5.164 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
5.164 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.164 * [taylor]: Taking taylor expansion of a in a
5.165 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
5.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
5.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
5.165 * [taylor]: Taking taylor expansion of 1/3 in a
5.165 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
5.165 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.165 * [taylor]: Taking taylor expansion of a in a
5.231 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
5.231 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
5.231 * [taylor]: Taking taylor expansion of (cbrt -1) in a
5.231 * [taylor]: Taking taylor expansion of -1 in a
5.232 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
5.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
5.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
5.233 * [taylor]: Taking taylor expansion of 1/3 in a
5.233 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
5.233 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.233 * [taylor]: Taking taylor expansion of a in a
5.234 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
5.234 * [taylor]: Taking taylor expansion of (cbrt -1) in a
5.234 * [taylor]: Taking taylor expansion of -1 in a
5.234 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
5.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
5.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
5.235 * [taylor]: Taking taylor expansion of 1/3 in a
5.235 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
5.235 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.235 * [taylor]: Taking taylor expansion of a in a
5.311 * * * [progress]: simplifying candidates
5.313 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (cbrt a) (* z b)))
  (log1p (* (cbrt a) (* z b)))
  (* (cbrt a) (* z b))
  (* (cbrt a) (* z b))
  (+ (log (cbrt a)) (+ (log z) (log b)))
  (+ (log (cbrt a)) (log (* z b)))
  (log (* (cbrt a) (* z b)))
  (exp (* (cbrt a) (* z b)))
  (* a (* (* (* z z) z) (* (* b b) b)))
  (* a (* (* (* z b) (* z b)) (* z b)))
  (* (cbrt (* (cbrt a) (* z b))) (cbrt (* (cbrt a) (* z b))))
  (cbrt (* (cbrt a) (* z b)))
  (* (* (* (cbrt a) (* z b)) (* (cbrt a) (* z b))) (* (cbrt a) (* z b)))
  (sqrt (* (cbrt a) (* z b)))
  (sqrt (* (cbrt a) (* z b)))
  (* (cbrt a) z)
  (* (cbrt (cbrt a)) (* z b))
  (* (cbrt (sqrt a)) (* z b))
  (* (cbrt a) (* z b))
  (* (cbrt (cbrt a)) (* z b))
  (* (sqrt (cbrt a)) (* z b))
  (* (cbrt a) (* z b))
  (expm1 (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (log1p (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))
  (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))
  (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))
  (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))
  (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))
  (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))
  (+ (+ (log (cbrt a)) (log (cbrt a))) (+ (log (cbrt a)) (+ (log z) (log b))))
  (+ (+ (log (cbrt a)) (log (cbrt a))) (+ (log (cbrt a)) (log (* z b))))
  (+ (+ (log (cbrt a)) (log (cbrt a))) (log (* (cbrt a) (* z b))))
  (+ (log (* (cbrt a) (cbrt a))) (+ (log (cbrt a)) (+ (log z) (log b))))
  (+ (log (* (cbrt a) (cbrt a))) (+ (log (cbrt a)) (log (* z b))))
  (+ (log (* (cbrt a) (cbrt a))) (log (* (cbrt a) (* z b))))
  (log (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (exp (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (* (* a a) (* a (* (* (* z z) z) (* (* b b) b))))
  (* (* a a) (* a (* (* (* z b) (* z b)) (* z b))))
  (* (* a a) (* (* (* (cbrt a) (* z b)) (* (cbrt a) (* z b))) (* (cbrt a) (* z b))))
  (* (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a))) (* a (* (* (* z z) z) (* (* b b) b))))
  (* (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a))) (* a (* (* (* z b) (* z b)) (* z b))))
  (* (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a))) (* (* (* (cbrt a) (* z b)) (* (cbrt a) (* z b))) (* (cbrt a) (* z b))))
  (* (cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))) (cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))))
  (cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (* (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))) (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (sqrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (sqrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (* (cbrt a) (* (cbrt a) (* z b)))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  0
  (* (pow a 1/3) (* z b))
  (* (pow (* -1 a) 1/3) (* z (* b (cbrt -1))))
  0
  (* a (* z b))
  (* a (* z b))
  (pow a 1/3)
  (pow (/ 1 a) -1/3)
  (* (pow (* -1 a) 1/3) (cbrt -1))
  (pow a 1/3)
  (pow (/ 1 a) -1/3)
  (* (pow (* -1 a) 1/3) (cbrt -1))
5.316 * * [simplify]: iteration  0 :  92  enodes  (cost  852 )
5.333 * * [simplify]: iteration  1 :  236  enodes  (cost  823 )
5.394 * * [simplify]: iteration  2 :  825  enodes  (cost  581 )
6.771 * * [simplify]: iteration  3 :  4667  enodes  (cost  477 )
8.334 * * [simplify]: iteration  done :  5000  enodes  (cost  477 )
8.334 * [simplify]: Simplified to:
   (expm1 (* (cbrt a) (* z b)))
  (log1p (* (cbrt a) (* z b)))
  (* (* (cbrt a) z) b)
  (* (* (cbrt a) z) b)
  (log (* (cbrt a) (* z b)))
  (log (* (cbrt a) (* z b)))
  (log (* (cbrt a) (* z b)))
  (exp (* (cbrt a) (* z b)))
  (* (pow (* z b) 3) a)
  (* (pow (* z b) 3) a)
  (* (cbrt (* (cbrt a) (* z b))) (cbrt (* (cbrt a) (* z b))))
  (cbrt (* (cbrt a) (* z b)))
  (* (pow (* z b) 3) a)
  (sqrt (* (cbrt a) (* z b)))
  (sqrt (* (cbrt a) (* z b)))
  (* (cbrt a) z)
  (* (cbrt (cbrt a)) (* z b))
  (* (cbrt (sqrt a)) (* z b))
  (* (* (cbrt a) z) b)
  (* (cbrt (cbrt a)) (* z b))
  (* (sqrt (cbrt a)) (* z b))
  (* (* (cbrt a) z) b)
  (expm1 (* (* b a) z))
  (log1p (* a (* z b)))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (log (* (* b a) z))
  (log (* (* b a) z))
  (log (* (* b a) z))
  (log (* (* b a) z))
  (log (* (* b a) z))
  (log (* (* b a) z))
  (log (* (* b a) z))
  (pow (exp a) (* z b))
  (pow (* a (* z b)) 3)
  (pow (* a (* z b)) 3)
  (pow (* a (* z b)) 3)
  (pow (* a (* z b)) 3)
  (pow (* a (* z b)) 3)
  (pow (* a (* z b)) 3)
  (* (cbrt (* a (* z b))) (cbrt (* a (* z b))))
  (cbrt (* a (* z b)))
  (pow (* a (* z b)) 3)
  (sqrt (* a (* z b)))
  (sqrt (* a (* z b)))
  a
  (* (* z b) (pow a 2/3))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (pow a 2/3))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  1
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (expm1 (cbrt a))
  (log1p (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (pow a 2/3))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  1
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  0
  (* (* (cbrt a) z) b)
  (* (cbrt (- a)) (* z (* b (cbrt -1))))
  0
  (* a (* z b))
  (* a (* z b))
  (cbrt a)
  (pow (/ 1 a) -1/3)
  (* (cbrt -1) (cbrt (- a)))
  (cbrt a)
  (pow (/ 1 a) -1/3)
  (* (cbrt -1) (cbrt (- a)))
8.335 * * * [progress]: adding candidates to table
8.646 * [progress]: [Phase 3 of 3] Extracting.
8.646 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.649 * * * [regime-changes]: Trying 7 branch expressions: ((+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) b a t z y x)
8.649 * * * * [regimes]: Trying to branch on (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) from (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.703 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.746 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.788 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.837 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.876 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.914 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.948 * * * [regime]: Found split indices: #<option (#s(si 4 5) #s(si 1 241) #s(si 4 255))>
8.950 * [binary-search]: Only using regimes for bounds on (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) and (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.950 * [regimes]: Found splitpoints: (#s(sp 4 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) -inf.0) #s(sp 1 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) 1.8896693759190173e+279) #s(sp 4 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) +nan.0)) , with alts (#<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* (* (cbrt (* a (* z b))) (cbrt (* a (* z b)))) (cbrt (* a (* z b)))) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
8.951 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) -inf.0) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)) (if (<= (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) 1.8896693759190173e+279) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1))))
8.951 * * [simplify]: iteration  0 :  24  enodes  (cost  85 )
8.956 * * [simplify]: iteration  1 :  39  enodes  (cost  67 )
8.957 * * [simplify]: iteration  done :  39  enodes  (cost  67 )
8.957 * [simplify]: Simplified to:
   (if (or (<= (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) -inf.0) (not (<= (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) 1.8896693759190173e+279))) (+ (+ (+ x (* y z)) (* t a)) (* a (* z b))) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
10.074 * [regime-testing]: Baseline error score: 1.9590215748853863
10.074 * [regime-testing]: Oracle error score: 0.03270592697138582
10.075 * [regime-testing]: End program error score: 0.5297419955727152
10.112 * [regime-testing]: Target error score: 0.4177128893885314