34.391 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
0.032 * * [simplify]: iteration  0 :  13  enodes  (cost  15 )
0.034 * * [simplify]: iteration  1 :  26  enodes  (cost  15 )
0.038 * * [simplify]: iteration  2 :  54  enodes  (cost  13 )
0.047 * * [simplify]: iteration  3 :  83  enodes  (cost  13 )
0.063 * * [simplify]: iteration  4 :  88  enodes  (cost  13 )
0.078 * * [simplify]: iteration  5 :  90  enodes  (cost  13 )
0.092 * * [simplify]: iteration  done :  90  enodes  (cost  13 )
0.092 * [simplify]: Simplified to:
   (+ (+ x (* y z)) (* a (+ t (* z b))))
0.095 * * [progress]: iteration 1 / 4
0.095 * * * [progress]: picking best candidate
0.098 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))>
0.098 * * * [progress]: localizing error
0.109 * * * [progress]: generating rewritten candidates
0.109 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.117 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.153 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.163 * * * [progress]: generating series expansions
0.163 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.163 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
0.163 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.163 * [taylor]: Taking taylor expansion of a in b
0.163 * [taylor]: Taking taylor expansion of (* z b) in b
0.164 * [taylor]: Taking taylor expansion of z in b
0.164 * [taylor]: Taking taylor expansion of b in b
0.164 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.164 * [taylor]: Taking taylor expansion of a in z
0.164 * [taylor]: Taking taylor expansion of (* z b) in z
0.164 * [taylor]: Taking taylor expansion of z in z
0.164 * [taylor]: Taking taylor expansion of b in z
0.164 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.164 * [taylor]: Taking taylor expansion of a in a
0.164 * [taylor]: Taking taylor expansion of (* z b) in a
0.164 * [taylor]: Taking taylor expansion of z in a
0.164 * [taylor]: Taking taylor expansion of b in a
0.164 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.164 * [taylor]: Taking taylor expansion of a in a
0.164 * [taylor]: Taking taylor expansion of (* z b) in a
0.164 * [taylor]: Taking taylor expansion of z in a
0.164 * [taylor]: Taking taylor expansion of b in a
0.164 * [taylor]: Taking taylor expansion of 0 in z
0.164 * [taylor]: Taking taylor expansion of 0 in b
0.165 * [taylor]: Taking taylor expansion of (* z b) in z
0.165 * [taylor]: Taking taylor expansion of z in z
0.165 * [taylor]: Taking taylor expansion of b in z
0.165 * [taylor]: Taking taylor expansion of 0 in b
0.165 * [taylor]: Taking taylor expansion of 0 in b
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.166 * [taylor]: Taking taylor expansion of 0 in b
0.166 * [taylor]: Taking taylor expansion of b in b
0.166 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
0.166 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
0.166 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.166 * [taylor]: Taking taylor expansion of a in b
0.166 * [taylor]: Taking taylor expansion of (* z b) in b
0.166 * [taylor]: Taking taylor expansion of z in b
0.166 * [taylor]: Taking taylor expansion of b in b
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.167 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.167 * [taylor]: Taking taylor expansion of a in z
0.167 * [taylor]: Taking taylor expansion of (* z b) in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.167 * [taylor]: Taking taylor expansion of b in z
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.167 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.167 * [taylor]: Taking taylor expansion of a in a
0.167 * [taylor]: Taking taylor expansion of (* z b) in a
0.167 * [taylor]: Taking taylor expansion of z in a
0.167 * [taylor]: Taking taylor expansion of b in a
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.168 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.168 * [taylor]: Taking taylor expansion of a in a
0.168 * [taylor]: Taking taylor expansion of (* z b) in a
0.168 * [taylor]: Taking taylor expansion of z in a
0.168 * [taylor]: Taking taylor expansion of b in a
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
0.168 * [taylor]: Taking taylor expansion of (* z b) in z
0.168 * [taylor]: Taking taylor expansion of z in z
0.168 * [taylor]: Taking taylor expansion of b in z
0.169 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.169 * [taylor]: Taking taylor expansion of b in b
0.170 * [taylor]: Taking taylor expansion of 0 in z
0.171 * [taylor]: Taking taylor expansion of 0 in b
0.173 * [taylor]: Taking taylor expansion of 0 in z
0.173 * [taylor]: Taking taylor expansion of 0 in b
0.174 * [taylor]: Taking taylor expansion of 0 in b
0.176 * [taylor]: Taking taylor expansion of 0 in z
0.176 * [taylor]: Taking taylor expansion of 0 in b
0.176 * [taylor]: Taking taylor expansion of 0 in b
0.177 * [taylor]: Taking taylor expansion of 0 in b
0.178 * [approximate]: Taking taylor expansion of (/ -1 (* a (* z b))) in (a z b) around 0
0.178 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in b
0.178 * [taylor]: Taking taylor expansion of -1 in b
0.178 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.178 * [taylor]: Taking taylor expansion of a in b
0.178 * [taylor]: Taking taylor expansion of (* z b) in b
0.178 * [taylor]: Taking taylor expansion of z in b
0.178 * [taylor]: Taking taylor expansion of b in b
0.178 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in z
0.178 * [taylor]: Taking taylor expansion of -1 in z
0.178 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.178 * [taylor]: Taking taylor expansion of a in z
0.178 * [taylor]: Taking taylor expansion of (* z b) in z
0.178 * [taylor]: Taking taylor expansion of z in z
0.178 * [taylor]: Taking taylor expansion of b in z
0.179 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
0.179 * [taylor]: Taking taylor expansion of -1 in a
0.179 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.179 * [taylor]: Taking taylor expansion of a in a
0.179 * [taylor]: Taking taylor expansion of (* z b) in a
0.179 * [taylor]: Taking taylor expansion of z in a
0.179 * [taylor]: Taking taylor expansion of b in a
0.180 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
0.180 * [taylor]: Taking taylor expansion of -1 in a
0.180 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.180 * [taylor]: Taking taylor expansion of a in a
0.180 * [taylor]: Taking taylor expansion of (* z b) in a
0.180 * [taylor]: Taking taylor expansion of z in a
0.180 * [taylor]: Taking taylor expansion of b in a
0.180 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
0.180 * [taylor]: Taking taylor expansion of -1 in z
0.180 * [taylor]: Taking taylor expansion of (* z b) in z
0.180 * [taylor]: Taking taylor expansion of z in z
0.180 * [taylor]: Taking taylor expansion of b in z
0.181 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.181 * [taylor]: Taking taylor expansion of -1 in b
0.181 * [taylor]: Taking taylor expansion of b in b
0.182 * [taylor]: Taking taylor expansion of 0 in z
0.182 * [taylor]: Taking taylor expansion of 0 in b
0.184 * [taylor]: Taking taylor expansion of 0 in z
0.184 * [taylor]: Taking taylor expansion of 0 in b
0.185 * [taylor]: Taking taylor expansion of 0 in b
0.188 * [taylor]: Taking taylor expansion of 0 in z
0.188 * [taylor]: Taking taylor expansion of 0 in b
0.188 * [taylor]: Taking taylor expansion of 0 in b
0.189 * [taylor]: Taking taylor expansion of 0 in b
0.189 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.189 * [approximate]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in (x y z t a b) around 0
0.189 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in b
0.189 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.189 * [taylor]: Taking taylor expansion of a in b
0.189 * [taylor]: Taking taylor expansion of (* z b) in b
0.189 * [taylor]: Taking taylor expansion of z in b
0.189 * [taylor]: Taking taylor expansion of b in b
0.190 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in b
0.190 * [taylor]: Taking taylor expansion of (* z y) in b
0.190 * [taylor]: Taking taylor expansion of z in b
0.190 * [taylor]: Taking taylor expansion of y in b
0.190 * [taylor]: Taking taylor expansion of (+ x (* t a)) in b
0.190 * [taylor]: Taking taylor expansion of x in b
0.190 * [taylor]: Taking taylor expansion of (* t a) in b
0.190 * [taylor]: Taking taylor expansion of t in b
0.190 * [taylor]: Taking taylor expansion of a in b
0.190 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in a
0.190 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.190 * [taylor]: Taking taylor expansion of a in a
0.190 * [taylor]: Taking taylor expansion of (* z b) in a
0.190 * [taylor]: Taking taylor expansion of z in a
0.190 * [taylor]: Taking taylor expansion of b in a
0.190 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
0.190 * [taylor]: Taking taylor expansion of (* z y) in a
0.190 * [taylor]: Taking taylor expansion of z in a
0.190 * [taylor]: Taking taylor expansion of y in a
0.190 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
0.190 * [taylor]: Taking taylor expansion of x in a
0.190 * [taylor]: Taking taylor expansion of (* t a) in a
0.190 * [taylor]: Taking taylor expansion of t in a
0.190 * [taylor]: Taking taylor expansion of a in a
0.190 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in t
0.190 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
0.190 * [taylor]: Taking taylor expansion of a in t
0.190 * [taylor]: Taking taylor expansion of (* z b) in t
0.190 * [taylor]: Taking taylor expansion of z in t
0.190 * [taylor]: Taking taylor expansion of b in t
0.190 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
0.190 * [taylor]: Taking taylor expansion of (* z y) in t
0.190 * [taylor]: Taking taylor expansion of z in t
0.190 * [taylor]: Taking taylor expansion of y in t
0.190 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
0.190 * [taylor]: Taking taylor expansion of x in t
0.190 * [taylor]: Taking taylor expansion of (* t a) in t
0.190 * [taylor]: Taking taylor expansion of t in t
0.190 * [taylor]: Taking taylor expansion of a in t
0.190 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in z
0.190 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.190 * [taylor]: Taking taylor expansion of a in z
0.190 * [taylor]: Taking taylor expansion of (* z b) in z
0.190 * [taylor]: Taking taylor expansion of z in z
0.190 * [taylor]: Taking taylor expansion of b in z
0.190 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
0.190 * [taylor]: Taking taylor expansion of (* z y) in z
0.190 * [taylor]: Taking taylor expansion of z in z
0.190 * [taylor]: Taking taylor expansion of y in z
0.190 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
0.190 * [taylor]: Taking taylor expansion of x in z
0.190 * [taylor]: Taking taylor expansion of (* t a) in z
0.190 * [taylor]: Taking taylor expansion of t in z
0.190 * [taylor]: Taking taylor expansion of a in z
0.190 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in y
0.190 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.190 * [taylor]: Taking taylor expansion of a in y
0.191 * [taylor]: Taking taylor expansion of (* z b) in y
0.191 * [taylor]: Taking taylor expansion of z in y
0.191 * [taylor]: Taking taylor expansion of b in y
0.191 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
0.191 * [taylor]: Taking taylor expansion of (* z y) in y
0.191 * [taylor]: Taking taylor expansion of z in y
0.191 * [taylor]: Taking taylor expansion of y in y
0.191 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
0.191 * [taylor]: Taking taylor expansion of x in y
0.191 * [taylor]: Taking taylor expansion of (* t a) in y
0.191 * [taylor]: Taking taylor expansion of t in y
0.191 * [taylor]: Taking taylor expansion of a in y
0.191 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
0.191 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.191 * [taylor]: Taking taylor expansion of a in x
0.191 * [taylor]: Taking taylor expansion of (* z b) in x
0.191 * [taylor]: Taking taylor expansion of z in x
0.191 * [taylor]: Taking taylor expansion of b in x
0.191 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.191 * [taylor]: Taking taylor expansion of (* z y) in x
0.191 * [taylor]: Taking taylor expansion of z in x
0.191 * [taylor]: Taking taylor expansion of y in x
0.191 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of (* t a) in x
0.191 * [taylor]: Taking taylor expansion of t in x
0.191 * [taylor]: Taking taylor expansion of a in x
0.191 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
0.191 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.191 * [taylor]: Taking taylor expansion of a in x
0.191 * [taylor]: Taking taylor expansion of (* z b) in x
0.191 * [taylor]: Taking taylor expansion of z in x
0.191 * [taylor]: Taking taylor expansion of b in x
0.191 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.191 * [taylor]: Taking taylor expansion of (* z y) in x
0.191 * [taylor]: Taking taylor expansion of z in x
0.191 * [taylor]: Taking taylor expansion of y in x
0.191 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of (* t a) in x
0.191 * [taylor]: Taking taylor expansion of t in x
0.191 * [taylor]: Taking taylor expansion of a in x
0.192 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (* t a))) in y
0.192 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.192 * [taylor]: Taking taylor expansion of a in y
0.192 * [taylor]: Taking taylor expansion of (* z b) in y
0.192 * [taylor]: Taking taylor expansion of z in y
0.192 * [taylor]: Taking taylor expansion of b in y
0.192 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
0.192 * [taylor]: Taking taylor expansion of (* z y) in y
0.192 * [taylor]: Taking taylor expansion of z in y
0.192 * [taylor]: Taking taylor expansion of y in y
0.192 * [taylor]: Taking taylor expansion of (* t a) in y
0.192 * [taylor]: Taking taylor expansion of t in y
0.192 * [taylor]: Taking taylor expansion of a in y
0.192 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (* t a)) in z
0.192 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.192 * [taylor]: Taking taylor expansion of a in z
0.192 * [taylor]: Taking taylor expansion of (* z b) in z
0.192 * [taylor]: Taking taylor expansion of z in z
0.192 * [taylor]: Taking taylor expansion of b in z
0.192 * [taylor]: Taking taylor expansion of (* t a) in z
0.192 * [taylor]: Taking taylor expansion of t in z
0.192 * [taylor]: Taking taylor expansion of a in z
0.192 * [taylor]: Taking taylor expansion of (* t a) in t
0.192 * [taylor]: Taking taylor expansion of t in t
0.192 * [taylor]: Taking taylor expansion of a in t
0.192 * [taylor]: Taking taylor expansion of 0 in a
0.192 * [taylor]: Taking taylor expansion of 0 in b
0.193 * [taylor]: Taking taylor expansion of 1 in y
0.193 * [taylor]: Taking taylor expansion of 1 in z
0.193 * [taylor]: Taking taylor expansion of 1 in t
0.193 * [taylor]: Taking taylor expansion of 1 in a
0.193 * [taylor]: Taking taylor expansion of 1 in b
0.194 * [taylor]: Taking taylor expansion of z in z
0.194 * [taylor]: Taking taylor expansion of 0 in t
0.194 * [taylor]: Taking taylor expansion of 0 in a
0.194 * [taylor]: Taking taylor expansion of 0 in b
0.195 * [taylor]: Taking taylor expansion of (* a b) in t
0.195 * [taylor]: Taking taylor expansion of a in t
0.195 * [taylor]: Taking taylor expansion of b in t
0.195 * [taylor]: Taking taylor expansion of (* a b) in a
0.195 * [taylor]: Taking taylor expansion of a in a
0.195 * [taylor]: Taking taylor expansion of b in a
0.195 * [taylor]: Taking taylor expansion of 0 in b
0.195 * [taylor]: Taking taylor expansion of a in a
0.195 * [taylor]: Taking taylor expansion of 0 in b
0.195 * [taylor]: Taking taylor expansion of 0 in b
0.197 * [taylor]: Taking taylor expansion of 0 in y
0.197 * [taylor]: Taking taylor expansion of 0 in z
0.197 * [taylor]: Taking taylor expansion of 0 in t
0.199 * [taylor]: Taking taylor expansion of 0 in a
0.199 * [taylor]: Taking taylor expansion of 0 in b
0.200 * [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.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in b
0.200 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
0.200 * [taylor]: Taking taylor expansion of (* z y) in b
0.200 * [taylor]: Taking taylor expansion of z in b
0.200 * [taylor]: Taking taylor expansion of y in b
0.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in b
0.200 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
0.200 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.200 * [taylor]: Taking taylor expansion of a in b
0.200 * [taylor]: Taking taylor expansion of (* z b) in b
0.200 * [taylor]: Taking taylor expansion of z in b
0.200 * [taylor]: Taking taylor expansion of b in b
0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in b
0.201 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.201 * [taylor]: Taking taylor expansion of (* t a) in b
0.201 * [taylor]: Taking taylor expansion of t in b
0.201 * [taylor]: Taking taylor expansion of a in b
0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.201 * [taylor]: Taking taylor expansion of x in b
0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in a
0.201 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.201 * [taylor]: Taking taylor expansion of (* z y) in a
0.201 * [taylor]: Taking taylor expansion of z in a
0.201 * [taylor]: Taking taylor expansion of y in a
0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in a
0.201 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.201 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.201 * [taylor]: Taking taylor expansion of a in a
0.201 * [taylor]: Taking taylor expansion of (* z b) in a
0.201 * [taylor]: Taking taylor expansion of z in a
0.201 * [taylor]: Taking taylor expansion of b in a
0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.202 * [taylor]: Taking taylor expansion of (* t a) in a
0.202 * [taylor]: Taking taylor expansion of t in a
0.202 * [taylor]: Taking taylor expansion of a in a
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.202 * [taylor]: Taking taylor expansion of x in a
0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.202 * [taylor]: Taking taylor expansion of (* z y) in t
0.202 * [taylor]: Taking taylor expansion of z in t
0.202 * [taylor]: Taking taylor expansion of y in t
0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
0.202 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
0.202 * [taylor]: Taking taylor expansion of a in t
0.202 * [taylor]: Taking taylor expansion of (* z b) in t
0.202 * [taylor]: Taking taylor expansion of z in t
0.202 * [taylor]: Taking taylor expansion of b in t
0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.202 * [taylor]: Taking taylor expansion of (* t a) in t
0.202 * [taylor]: Taking taylor expansion of t in t
0.202 * [taylor]: Taking taylor expansion of a in t
0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.203 * [taylor]: Taking taylor expansion of x in t
0.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in z
0.203 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.203 * [taylor]: Taking taylor expansion of (* z y) in z
0.203 * [taylor]: Taking taylor expansion of z in z
0.203 * [taylor]: Taking taylor expansion of y in z
0.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in z
0.203 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.203 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.203 * [taylor]: Taking taylor expansion of a in z
0.203 * [taylor]: Taking taylor expansion of (* z b) in z
0.203 * [taylor]: Taking taylor expansion of z in z
0.203 * [taylor]: Taking taylor expansion of b in z
0.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z
0.204 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.204 * [taylor]: Taking taylor expansion of (* t a) in z
0.204 * [taylor]: Taking taylor expansion of t in z
0.204 * [taylor]: Taking taylor expansion of a in z
0.204 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.204 * [taylor]: Taking taylor expansion of x in z
0.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in y
0.204 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.204 * [taylor]: Taking taylor expansion of (* z y) in y
0.204 * [taylor]: Taking taylor expansion of z in y
0.204 * [taylor]: Taking taylor expansion of y in y
0.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in y
0.205 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.205 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.205 * [taylor]: Taking taylor expansion of a in y
0.205 * [taylor]: Taking taylor expansion of (* z b) in y
0.205 * [taylor]: Taking taylor expansion of z in y
0.205 * [taylor]: Taking taylor expansion of b in y
0.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
0.205 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.205 * [taylor]: Taking taylor expansion of (* t a) in y
0.205 * [taylor]: Taking taylor expansion of t in y
0.205 * [taylor]: Taking taylor expansion of a in y
0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.205 * [taylor]: Taking taylor expansion of x in y
0.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.205 * [taylor]: Taking taylor expansion of (* z y) in x
0.205 * [taylor]: Taking taylor expansion of z in x
0.205 * [taylor]: Taking taylor expansion of y in x
0.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.205 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.205 * [taylor]: Taking taylor expansion of a in x
0.205 * [taylor]: Taking taylor expansion of (* z b) in x
0.205 * [taylor]: Taking taylor expansion of z in x
0.205 * [taylor]: Taking taylor expansion of b in x
0.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.205 * [taylor]: Taking taylor expansion of (* t a) in x
0.205 * [taylor]: Taking taylor expansion of t in x
0.205 * [taylor]: Taking taylor expansion of a in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
0.206 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.206 * [taylor]: Taking taylor expansion of (* z y) in x
0.206 * [taylor]: Taking taylor expansion of z in x
0.206 * [taylor]: Taking taylor expansion of y in x
0.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.206 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.206 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.206 * [taylor]: Taking taylor expansion of a in x
0.206 * [taylor]: Taking taylor expansion of (* z b) in x
0.206 * [taylor]: Taking taylor expansion of z in x
0.206 * [taylor]: Taking taylor expansion of b in x
0.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
0.206 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.206 * [taylor]: Taking taylor expansion of (* t a) in x
0.206 * [taylor]: Taking taylor expansion of t in x
0.206 * [taylor]: Taking taylor expansion of a in x
0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.207 * [taylor]: Taking taylor expansion of 1 in y
0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (/ 1 (* t a)))) in y
0.208 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.208 * [taylor]: Taking taylor expansion of (* z y) in y
0.208 * [taylor]: Taking taylor expansion of z in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 (* t a))) in y
0.208 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.208 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.208 * [taylor]: Taking taylor expansion of a in y
0.209 * [taylor]: Taking taylor expansion of (* z b) in y
0.209 * [taylor]: Taking taylor expansion of z in y
0.209 * [taylor]: Taking taylor expansion of b in y
0.209 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.209 * [taylor]: Taking taylor expansion of (* t a) in y
0.209 * [taylor]: Taking taylor expansion of t in y
0.209 * [taylor]: Taking taylor expansion of a in y
0.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.209 * [taylor]: Taking taylor expansion of z in z
0.209 * [taylor]: Taking taylor expansion of 1 in t
0.209 * [taylor]: Taking taylor expansion of 1 in z
0.211 * [taylor]: Taking taylor expansion of 0 in y
0.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
0.211 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.211 * [taylor]: Taking taylor expansion of (* t a) in z
0.211 * [taylor]: Taking taylor expansion of t in z
0.212 * [taylor]: Taking taylor expansion of a in z
0.212 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.212 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.212 * [taylor]: Taking taylor expansion of a in z
0.212 * [taylor]: Taking taylor expansion of (* z b) in z
0.212 * [taylor]: Taking taylor expansion of z in z
0.212 * [taylor]: Taking taylor expansion of b in z
0.212 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.212 * [taylor]: Taking taylor expansion of (* a b) in t
0.212 * [taylor]: Taking taylor expansion of a in t
0.212 * [taylor]: Taking taylor expansion of b in t
0.212 * [taylor]: Taking taylor expansion of 0 in z
0.213 * [taylor]: Taking taylor expansion of 0 in t
0.213 * [taylor]: Taking taylor expansion of 1 in t
0.213 * [taylor]: Taking taylor expansion of 1 in a
0.216 * [taylor]: Taking taylor expansion of 0 in y
0.216 * [taylor]: Taking taylor expansion of 0 in z
0.217 * [taylor]: Taking taylor expansion of 0 in z
0.217 * [taylor]: Taking taylor expansion of 0 in z
0.218 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.218 * [taylor]: Taking taylor expansion of (* t a) in t
0.218 * [taylor]: Taking taylor expansion of t in t
0.218 * [taylor]: Taking taylor expansion of a in t
0.219 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.219 * [taylor]: Taking taylor expansion of a in a
0.219 * [taylor]: Taking taylor expansion of 1 in b
0.219 * [taylor]: Taking taylor expansion of 0 in t
0.220 * [taylor]: Taking taylor expansion of 0 in t
0.220 * [taylor]: Taking taylor expansion of 0 in t
0.220 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.220 * [taylor]: Taking taylor expansion of (* a b) in a
0.220 * [taylor]: Taking taylor expansion of a in a
0.220 * [taylor]: Taking taylor expansion of b in a
0.221 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.221 * [taylor]: Taking taylor expansion of b in b
0.221 * [taylor]: Taking taylor expansion of 0 in a
0.221 * [taylor]: Taking taylor expansion of 1 in a
0.221 * [taylor]: Taking taylor expansion of 0 in a
0.221 * [taylor]: Taking taylor expansion of 1 in b
0.225 * [taylor]: Taking taylor expansion of 0 in y
0.225 * [taylor]: Taking taylor expansion of 0 in z
0.225 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in t
0.228 * [taylor]: Taking taylor expansion of 0 in t
0.228 * [taylor]: Taking taylor expansion of 0 in t
0.230 * [taylor]: Taking taylor expansion of 0 in t
0.230 * [taylor]: Taking taylor expansion of 0 in t
0.230 * [taylor]: Taking taylor expansion of 0 in t
0.230 * [taylor]: Taking taylor expansion of 0 in t
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.231 * [taylor]: Taking taylor expansion of 0 in a
0.232 * [taylor]: Taking taylor expansion of 0 in b
0.232 * [taylor]: Taking taylor expansion of 0 in b
0.232 * [taylor]: Taking taylor expansion of 0 in b
0.232 * [taylor]: Taking taylor expansion of 1 in b
0.233 * [taylor]: Taking taylor expansion of 0 in b
0.233 * [taylor]: Taking taylor expansion of 0 in b
0.235 * [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.235 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in b
0.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in b
0.235 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
0.235 * [taylor]: Taking taylor expansion of (* z y) in b
0.235 * [taylor]: Taking taylor expansion of z in b
0.235 * [taylor]: Taking taylor expansion of y in b
0.235 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.235 * [taylor]: Taking taylor expansion of (* t a) in b
0.235 * [taylor]: Taking taylor expansion of t in b
0.235 * [taylor]: Taking taylor expansion of a in b
0.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in b
0.235 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
0.235 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
0.235 * [taylor]: Taking taylor expansion of a in b
0.235 * [taylor]: Taking taylor expansion of (* z b) in b
0.235 * [taylor]: Taking taylor expansion of z in b
0.235 * [taylor]: Taking taylor expansion of b in b
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.236 * [taylor]: Taking taylor expansion of x in b
0.236 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in a
0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
0.236 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.236 * [taylor]: Taking taylor expansion of (* z y) in a
0.236 * [taylor]: Taking taylor expansion of z in a
0.236 * [taylor]: Taking taylor expansion of y in a
0.236 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.236 * [taylor]: Taking taylor expansion of (* t a) in a
0.236 * [taylor]: Taking taylor expansion of t in a
0.236 * [taylor]: Taking taylor expansion of a in a
0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in a
0.236 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
0.236 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
0.236 * [taylor]: Taking taylor expansion of a in a
0.236 * [taylor]: Taking taylor expansion of (* z b) in a
0.236 * [taylor]: Taking taylor expansion of z in a
0.236 * [taylor]: Taking taylor expansion of b in a
0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.237 * [taylor]: Taking taylor expansion of x in a
0.237 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in t
0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.237 * [taylor]: Taking taylor expansion of (* z y) in t
0.237 * [taylor]: Taking taylor expansion of z in t
0.237 * [taylor]: Taking taylor expansion of y in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.237 * [taylor]: Taking taylor expansion of (* t a) in t
0.237 * [taylor]: Taking taylor expansion of t in t
0.237 * [taylor]: Taking taylor expansion of a in t
0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
0.237 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
0.237 * [taylor]: Taking taylor expansion of a in t
0.237 * [taylor]: Taking taylor expansion of (* z b) in t
0.237 * [taylor]: Taking taylor expansion of z in t
0.237 * [taylor]: Taking taylor expansion of b in t
0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.238 * [taylor]: Taking taylor expansion of x in t
0.238 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in z
0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
0.238 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.238 * [taylor]: Taking taylor expansion of (* z y) in z
0.238 * [taylor]: Taking taylor expansion of z in z
0.238 * [taylor]: Taking taylor expansion of y in z
0.238 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.238 * [taylor]: Taking taylor expansion of (* t a) in z
0.238 * [taylor]: Taking taylor expansion of t in z
0.238 * [taylor]: Taking taylor expansion of a in z
0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in z
0.238 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.238 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.238 * [taylor]: Taking taylor expansion of a in z
0.238 * [taylor]: Taking taylor expansion of (* z b) in z
0.238 * [taylor]: Taking taylor expansion of z in z
0.238 * [taylor]: Taking taylor expansion of b in z
0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.239 * [taylor]: Taking taylor expansion of x in z
0.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in y
0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.239 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.239 * [taylor]: Taking taylor expansion of (* z y) in y
0.239 * [taylor]: Taking taylor expansion of z in y
0.239 * [taylor]: Taking taylor expansion of y in y
0.239 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.239 * [taylor]: Taking taylor expansion of (* t a) in y
0.239 * [taylor]: Taking taylor expansion of t in y
0.239 * [taylor]: Taking taylor expansion of a in y
0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in y
0.239 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.239 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.239 * [taylor]: Taking taylor expansion of a in y
0.239 * [taylor]: Taking taylor expansion of (* z b) in y
0.239 * [taylor]: Taking taylor expansion of z in y
0.239 * [taylor]: Taking taylor expansion of b in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.240 * [taylor]: Taking taylor expansion of x in y
0.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
0.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.240 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.240 * [taylor]: Taking taylor expansion of (* z y) in x
0.240 * [taylor]: Taking taylor expansion of z in x
0.240 * [taylor]: Taking taylor expansion of y in x
0.240 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.240 * [taylor]: Taking taylor expansion of (* t a) in x
0.240 * [taylor]: Taking taylor expansion of t in x
0.240 * [taylor]: Taking taylor expansion of a in x
0.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
0.240 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.240 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.240 * [taylor]: Taking taylor expansion of a in x
0.240 * [taylor]: Taking taylor expansion of (* z b) in x
0.240 * [taylor]: Taking taylor expansion of z in x
0.240 * [taylor]: Taking taylor expansion of b in x
0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
0.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.241 * [taylor]: Taking taylor expansion of (* z y) in x
0.241 * [taylor]: Taking taylor expansion of z in x
0.241 * [taylor]: Taking taylor expansion of y in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.241 * [taylor]: Taking taylor expansion of (* t a) in x
0.241 * [taylor]: Taking taylor expansion of t in x
0.241 * [taylor]: Taking taylor expansion of a in x
0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
0.241 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
0.241 * [taylor]: Taking taylor expansion of a in x
0.241 * [taylor]: Taking taylor expansion of (* z b) in x
0.241 * [taylor]: Taking taylor expansion of z in x
0.241 * [taylor]: Taking taylor expansion of b in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of -1 in y
0.243 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 (* a (* z b)))) in y
0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.243 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.243 * [taylor]: Taking taylor expansion of (* z y) in y
0.243 * [taylor]: Taking taylor expansion of z in y
0.243 * [taylor]: Taking taylor expansion of y in y
0.243 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.243 * [taylor]: Taking taylor expansion of (* t a) in y
0.243 * [taylor]: Taking taylor expansion of t in y
0.243 * [taylor]: Taking taylor expansion of a in y
0.243 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
0.243 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
0.243 * [taylor]: Taking taylor expansion of a in y
0.243 * [taylor]: Taking taylor expansion of (* z b) in y
0.243 * [taylor]: Taking taylor expansion of z in y
0.243 * [taylor]: Taking taylor expansion of b in y
0.244 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.244 * [taylor]: Taking taylor expansion of z in z
0.244 * [taylor]: Taking taylor expansion of 1 in t
0.244 * [taylor]: Taking taylor expansion of -1 in z
0.246 * [taylor]: Taking taylor expansion of 0 in y
0.246 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
0.246 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.247 * [taylor]: Taking taylor expansion of (* t a) in z
0.247 * [taylor]: Taking taylor expansion of t in z
0.247 * [taylor]: Taking taylor expansion of a in z
0.247 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
0.247 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
0.247 * [taylor]: Taking taylor expansion of a in z
0.247 * [taylor]: Taking taylor expansion of (* z b) in z
0.247 * [taylor]: Taking taylor expansion of z in z
0.247 * [taylor]: Taking taylor expansion of b in z
0.247 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in t
0.247 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
0.247 * [taylor]: Taking taylor expansion of (* a b) in t
0.247 * [taylor]: Taking taylor expansion of a in t
0.247 * [taylor]: Taking taylor expansion of b in t
0.248 * [taylor]: Taking taylor expansion of 0 in z
0.248 * [taylor]: Taking taylor expansion of 0 in t
0.248 * [taylor]: Taking taylor expansion of -1 in t
0.248 * [taylor]: Taking taylor expansion of 1 in a
0.251 * [taylor]: Taking taylor expansion of 0 in y
0.251 * [taylor]: Taking taylor expansion of 0 in z
0.253 * [taylor]: Taking taylor expansion of 0 in z
0.253 * [taylor]: Taking taylor expansion of 0 in z
0.254 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.254 * [taylor]: Taking taylor expansion of (* t a) in t
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [taylor]: Taking taylor expansion of a in t
0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.254 * [taylor]: Taking taylor expansion of a in a
0.255 * [taylor]: Taking taylor expansion of 1 in b
0.255 * [taylor]: Taking taylor expansion of 0 in t
0.255 * [taylor]: Taking taylor expansion of 0 in t
0.255 * [taylor]: Taking taylor expansion of 0 in t
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in a
0.255 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.255 * [taylor]: Taking taylor expansion of (* a b) in a
0.255 * [taylor]: Taking taylor expansion of a in a
0.255 * [taylor]: Taking taylor expansion of b in a
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b
0.256 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.256 * [taylor]: Taking taylor expansion of b in b
0.257 * [taylor]: Taking taylor expansion of 0 in a
0.257 * [taylor]: Taking taylor expansion of -1 in a
0.257 * [taylor]: Taking taylor expansion of 0 in a
0.257 * [taylor]: Taking taylor expansion of 1 in b
0.261 * [taylor]: Taking taylor expansion of 0 in y
0.261 * [taylor]: Taking taylor expansion of 0 in z
0.261 * [taylor]: Taking taylor expansion of 0 in z
0.263 * [taylor]: Taking taylor expansion of 0 in z
0.263 * [taylor]: Taking taylor expansion of 0 in z
0.263 * [taylor]: Taking taylor expansion of 0 in t
0.263 * [taylor]: Taking taylor expansion of 0 in t
0.263 * [taylor]: Taking taylor expansion of 0 in t
0.265 * [taylor]: Taking taylor expansion of 0 in t
0.266 * [taylor]: Taking taylor expansion of 0 in t
0.266 * [taylor]: Taking taylor expansion of 0 in t
0.266 * [taylor]: Taking taylor expansion of 0 in t
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.267 * [taylor]: Taking taylor expansion of 0 in a
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.269 * [taylor]: Taking taylor expansion of 0 in b
0.269 * [taylor]: Taking taylor expansion of 0 in b
0.269 * [taylor]: Taking taylor expansion of -1 in b
0.269 * [taylor]: Taking taylor expansion of 0 in b
0.269 * [taylor]: Taking taylor expansion of 0 in b
0.271 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.271 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in (x y z t a) around 0
0.271 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
0.271 * [taylor]: Taking taylor expansion of (* z y) in a
0.271 * [taylor]: Taking taylor expansion of z in a
0.271 * [taylor]: Taking taylor expansion of y in a
0.271 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
0.271 * [taylor]: Taking taylor expansion of x in a
0.271 * [taylor]: Taking taylor expansion of (* t a) in a
0.271 * [taylor]: Taking taylor expansion of t in a
0.271 * [taylor]: Taking taylor expansion of a in a
0.271 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
0.271 * [taylor]: Taking taylor expansion of (* z y) in t
0.271 * [taylor]: Taking taylor expansion of z in t
0.271 * [taylor]: Taking taylor expansion of y in t
0.271 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
0.271 * [taylor]: Taking taylor expansion of x in t
0.271 * [taylor]: Taking taylor expansion of (* t a) in t
0.271 * [taylor]: Taking taylor expansion of t in t
0.271 * [taylor]: Taking taylor expansion of a in t
0.271 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
0.271 * [taylor]: Taking taylor expansion of (* z y) in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of y in z
0.272 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
0.272 * [taylor]: Taking taylor expansion of x in z
0.272 * [taylor]: Taking taylor expansion of (* t a) in z
0.272 * [taylor]: Taking taylor expansion of t in z
0.272 * [taylor]: Taking taylor expansion of a in z
0.272 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
0.272 * [taylor]: Taking taylor expansion of (* z y) in y
0.272 * [taylor]: Taking taylor expansion of z in y
0.272 * [taylor]: Taking taylor expansion of y in y
0.272 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
0.272 * [taylor]: Taking taylor expansion of x in y
0.272 * [taylor]: Taking taylor expansion of (* t a) in y
0.272 * [taylor]: Taking taylor expansion of t in y
0.272 * [taylor]: Taking taylor expansion of a in y
0.272 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.272 * [taylor]: Taking taylor expansion of (* z y) in x
0.272 * [taylor]: Taking taylor expansion of z in x
0.272 * [taylor]: Taking taylor expansion of y in x
0.272 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (* t a) in x
0.272 * [taylor]: Taking taylor expansion of t in x
0.272 * [taylor]: Taking taylor expansion of a in x
0.272 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
0.272 * [taylor]: Taking taylor expansion of (* z y) in x
0.272 * [taylor]: Taking taylor expansion of z in x
0.272 * [taylor]: Taking taylor expansion of y in x
0.272 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (* t a) in x
0.272 * [taylor]: Taking taylor expansion of t in x
0.272 * [taylor]: Taking taylor expansion of a in x
0.272 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
0.272 * [taylor]: Taking taylor expansion of (* z y) in y
0.272 * [taylor]: Taking taylor expansion of z in y
0.272 * [taylor]: Taking taylor expansion of y in y
0.272 * [taylor]: Taking taylor expansion of (* t a) in y
0.272 * [taylor]: Taking taylor expansion of t in y
0.272 * [taylor]: Taking taylor expansion of a in y
0.272 * [taylor]: Taking taylor expansion of (* t a) in z
0.272 * [taylor]: Taking taylor expansion of t in z
0.272 * [taylor]: Taking taylor expansion of a in z
0.272 * [taylor]: Taking taylor expansion of (* t a) in t
0.273 * [taylor]: Taking taylor expansion of t in t
0.273 * [taylor]: Taking taylor expansion of a in t
0.273 * [taylor]: Taking taylor expansion of 0 in a
0.273 * [taylor]: Taking taylor expansion of 1 in y
0.273 * [taylor]: Taking taylor expansion of 1 in z
0.273 * [taylor]: Taking taylor expansion of 1 in t
0.273 * [taylor]: Taking taylor expansion of 1 in a
0.274 * [taylor]: Taking taylor expansion of z in z
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.274 * [taylor]: Taking taylor expansion of 0 in a
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.274 * [taylor]: Taking taylor expansion of 0 in a
0.274 * [taylor]: Taking taylor expansion of a in a
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in z
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in a
0.275 * [taylor]: Taking taylor expansion of 0 in z
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in (x y z t a) around 0
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in a
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) 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 (+ (/ 1 (* t a)) (/ 1 x)) in a
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) 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 (/ 1 x) in a
0.276 * [taylor]: Taking taylor expansion of x in a
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in t
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.276 * [taylor]: Taking taylor expansion of (* z y) in t
0.276 * [taylor]: Taking taylor expansion of z in t
0.276 * [taylor]: Taking taylor expansion of y in t
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.276 * [taylor]: Taking taylor expansion of (* t a) in t
0.276 * [taylor]: Taking taylor expansion of t in t
0.276 * [taylor]: Taking taylor expansion of a in t
0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.277 * [taylor]: Taking taylor expansion of x in t
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in z
0.277 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) 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 (+ (/ 1 (* t a)) (/ 1 x)) in z
0.277 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) 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 (/ 1 x) in z
0.277 * [taylor]: Taking taylor expansion of x in z
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in y
0.277 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) 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.278 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
0.278 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) 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 (/ 1 x) in y
0.278 * [taylor]: Taking taylor expansion of x in y
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) 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 (+ (/ 1 (* t a)) (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) 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 (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.278 * [taylor]: Taking taylor expansion of (* z y) in x
0.278 * [taylor]: Taking taylor expansion of z in x
0.279 * [taylor]: Taking taylor expansion of y in x
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.279 * [taylor]: Taking taylor expansion of (* t a) in x
0.279 * [taylor]: Taking taylor expansion of t in x
0.279 * [taylor]: Taking taylor expansion of a in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of 1 in y
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.280 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.280 * [taylor]: Taking taylor expansion of (* z y) in y
0.280 * [taylor]: Taking taylor expansion of z in y
0.280 * [taylor]: Taking taylor expansion of y in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.281 * [taylor]: Taking taylor expansion of (* t a) in y
0.281 * [taylor]: Taking taylor expansion of t in y
0.281 * [taylor]: Taking taylor expansion of a in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.281 * [taylor]: Taking taylor expansion of z in z
0.281 * [taylor]: Taking taylor expansion of 1 in t
0.281 * [taylor]: Taking taylor expansion of 1 in z
0.282 * [taylor]: Taking taylor expansion of 0 in y
0.283 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.283 * [taylor]: Taking taylor expansion of (* t a) in z
0.283 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of a in z
0.283 * [taylor]: Taking taylor expansion of 0 in z
0.283 * [taylor]: Taking taylor expansion of 0 in t
0.284 * [taylor]: Taking taylor expansion of 1 in t
0.284 * [taylor]: Taking taylor expansion of 1 in a
0.285 * [taylor]: Taking taylor expansion of 0 in y
0.285 * [taylor]: Taking taylor expansion of 0 in z
0.286 * [taylor]: Taking taylor expansion of 0 in z
0.286 * [taylor]: Taking taylor expansion of 0 in z
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.286 * [taylor]: Taking taylor expansion of (* t a) in t
0.286 * [taylor]: Taking taylor expansion of t in t
0.286 * [taylor]: Taking taylor expansion of a in t
0.287 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.287 * [taylor]: Taking taylor expansion of a in a
0.287 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 1 in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.292 * [taylor]: Taking taylor expansion of 0 in y
0.293 * [taylor]: Taking taylor expansion of 0 in z
0.293 * [taylor]: Taking taylor expansion of 0 in z
0.294 * [taylor]: Taking taylor expansion of 0 in z
0.294 * [taylor]: Taking taylor expansion of 0 in z
0.294 * [taylor]: Taking taylor expansion of 0 in t
0.294 * [taylor]: Taking taylor expansion of 0 in t
0.294 * [taylor]: Taking taylor expansion of 0 in t
0.294 * [taylor]: Taking taylor expansion of 0 in t
0.294 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [taylor]: Taking taylor expansion of 0 in a
0.295 * [taylor]: Taking taylor expansion of 0 in a
0.295 * [taylor]: Taking taylor expansion of 0 in a
0.296 * [taylor]: Taking taylor expansion of 0 in a
0.296 * [taylor]: Taking taylor expansion of 0 in a
0.296 * [taylor]: Taking taylor expansion of 0 in a
0.296 * [taylor]: Taking taylor expansion of 0 in a
0.297 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in (x y z t a) around 0
0.297 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in a
0.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
0.297 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.297 * [taylor]: Taking taylor expansion of (* z y) in a
0.297 * [taylor]: Taking taylor expansion of z in a
0.297 * [taylor]: Taking taylor expansion of y in a
0.297 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.297 * [taylor]: Taking taylor expansion of (* t a) in a
0.297 * [taylor]: Taking taylor expansion of t in a
0.297 * [taylor]: Taking taylor expansion of a in a
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.298 * [taylor]: Taking taylor expansion of x in a
0.298 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in t
0.298 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.298 * [taylor]: Taking taylor expansion of (* z y) in t
0.298 * [taylor]: Taking taylor expansion of z in t
0.298 * [taylor]: Taking taylor expansion of y in t
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.298 * [taylor]: Taking taylor expansion of (* t a) in t
0.298 * [taylor]: Taking taylor expansion of t in t
0.298 * [taylor]: Taking taylor expansion of a in t
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.298 * [taylor]: Taking taylor expansion of x in t
0.298 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in z
0.298 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.298 * [taylor]: Taking taylor expansion of (* z y) in z
0.298 * [taylor]: Taking taylor expansion of z in z
0.298 * [taylor]: Taking taylor expansion of y in z
0.299 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.299 * [taylor]: Taking taylor expansion of (* t a) in z
0.299 * [taylor]: Taking taylor expansion of t in z
0.299 * [taylor]: Taking taylor expansion of a in z
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.299 * [taylor]: Taking taylor expansion of x in z
0.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in y
0.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.299 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.299 * [taylor]: Taking taylor expansion of (* z y) in y
0.299 * [taylor]: Taking taylor expansion of z in y
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.299 * [taylor]: Taking taylor expansion of (* t a) in y
0.299 * [taylor]: Taking taylor expansion of t in y
0.299 * [taylor]: Taking taylor expansion of a in y
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
0.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.299 * [taylor]: Taking taylor expansion of (* z y) in x
0.299 * [taylor]: Taking taylor expansion of z in x
0.299 * [taylor]: Taking taylor expansion of y in x
0.300 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.300 * [taylor]: Taking taylor expansion of (* t a) in x
0.300 * [taylor]: Taking taylor expansion of t in x
0.300 * [taylor]: Taking taylor expansion of a in x
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
0.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
0.300 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.300 * [taylor]: Taking taylor expansion of (* z y) in x
0.300 * [taylor]: Taking taylor expansion of z in x
0.300 * [taylor]: Taking taylor expansion of y in x
0.300 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.300 * [taylor]: Taking taylor expansion of (* t a) in x
0.300 * [taylor]: Taking taylor expansion of t in x
0.300 * [taylor]: Taking taylor expansion of a in x
0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.301 * [taylor]: Taking taylor expansion of -1 in y
0.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
0.302 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.302 * [taylor]: Taking taylor expansion of (* z y) in y
0.302 * [taylor]: Taking taylor expansion of z in y
0.302 * [taylor]: Taking taylor expansion of y in y
0.302 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.302 * [taylor]: Taking taylor expansion of (* t a) in y
0.302 * [taylor]: Taking taylor expansion of t in y
0.302 * [taylor]: Taking taylor expansion of a in y
0.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.302 * [taylor]: Taking taylor expansion of z in z
0.303 * [taylor]: Taking taylor expansion of 1 in t
0.303 * [taylor]: Taking taylor expansion of -1 in z
0.304 * [taylor]: Taking taylor expansion of 0 in y
0.305 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.305 * [taylor]: Taking taylor expansion of (* t a) in z
0.305 * [taylor]: Taking taylor expansion of t in z
0.305 * [taylor]: Taking taylor expansion of a in z
0.305 * [taylor]: Taking taylor expansion of 0 in z
0.305 * [taylor]: Taking taylor expansion of 0 in t
0.305 * [taylor]: Taking taylor expansion of -1 in t
0.305 * [taylor]: Taking taylor expansion of 1 in a
0.307 * [taylor]: Taking taylor expansion of 0 in y
0.307 * [taylor]: Taking taylor expansion of 0 in z
0.308 * [taylor]: Taking taylor expansion of 0 in z
0.308 * [taylor]: Taking taylor expansion of 0 in z
0.308 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.309 * [taylor]: Taking taylor expansion of (* t a) in t
0.309 * [taylor]: Taking taylor expansion of t in t
0.309 * [taylor]: Taking taylor expansion of a in t
0.309 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.309 * [taylor]: Taking taylor expansion of a in a
0.309 * [taylor]: Taking taylor expansion of 0 in t
0.310 * [taylor]: Taking taylor expansion of 0 in t
0.310 * [taylor]: Taking taylor expansion of 0 in t
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [taylor]: Taking taylor expansion of -1 in a
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.312 * [taylor]: Taking taylor expansion of 0 in y
0.313 * [taylor]: Taking taylor expansion of 0 in z
0.313 * [taylor]: Taking taylor expansion of 0 in z
0.314 * [taylor]: Taking taylor expansion of 0 in z
0.314 * [taylor]: Taking taylor expansion of 0 in z
0.314 * [taylor]: Taking taylor expansion of 0 in t
0.314 * [taylor]: Taking taylor expansion of 0 in t
0.314 * [taylor]: Taking taylor expansion of 0 in t
0.314 * [taylor]: Taking taylor expansion of 0 in t
0.314 * [taylor]: Taking taylor expansion of 0 in t
0.315 * [taylor]: Taking taylor expansion of 0 in t
0.315 * [taylor]: Taking taylor expansion of 0 in t
0.315 * [taylor]: Taking taylor expansion of 0 in a
0.315 * [taylor]: Taking taylor expansion of 0 in a
0.315 * [taylor]: Taking taylor expansion of 0 in a
0.316 * [taylor]: Taking taylor expansion of 0 in a
0.316 * [taylor]: Taking taylor expansion of 0 in a
0.316 * [taylor]: Taking taylor expansion of 0 in a
0.316 * [taylor]: Taking taylor expansion of 0 in a
0.317 * * * [progress]: simplifying candidates
0.318 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 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)
  (* (* (* (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))
  (* (* (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.320 * * [simplify]: iteration  0 :  99  enodes  (cost  734 )
0.337 * * [simplify]: iteration  1 :  278  enodes  (cost  682 )
0.430 * * [simplify]: iteration  2 :  1191  enodes  (cost  598 )
1.072 * * [simplify]: iteration  done :  5000  enodes  (cost  590 )
1.072 * [simplify]: Simplified to:
   (* 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)
  (exp (+ (* a (+ t (* z b))) (+ x (* y z))))
  (exp (+ (* a (+ t (* z b))) (+ x (* y z))))
  (exp (+ (* a (+ t (* z b))) (+ x (* y z))))
  (log (+ (* a (+ t (* z b))) (+ x (* y z))))
  (exp (+ (* a (+ t (* z b))) (+ x (* y z))))
  (* (cbrt (+ (* a (+ t (* z b))) (+ x (* y z)))) (cbrt (+ (* a (+ t (* z b))) (+ x (* y z)))))
  (cbrt (+ (* a (+ t (* z b))) (+ x (* y z))))
  (pow (+ (* a (+ t (* z b))) (+ x (* y z))) 3)
  (sqrt (+ (* a (+ t (* z b))) (+ x (* y z))))
  (sqrt (+ (* a (+ t (* z b))) (+ x (* y z))))
  (+ (pow (+ (+ x (* y z)) (* t a)) 3) (pow (* (* a z) b) 3))
  (+ (* (* a z) (* (* a z) (* b b))) (* (+ (+ x (* y z)) (* t a)) (+ (* a (- t (* z b))) (+ x (* y z)))))
  (* (+ (* a (- t (* z b))) (+ x (* y z))) (+ (* a (+ t (* z b))) (+ x (* y z))))
  (+ (* a (- t (* z b))) (+ x (* y z)))
  (* a (+ t (* z b)))
  (exp (+ (+ x (* y z)) (* t a)))
  (exp (+ (+ x (* y z)) (* 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)))
  (pow (+ (* z y) (+ x (* a t))) 3)
  (sqrt (+ (+ x (* y z)) (* t a)))
  (sqrt (+ (+ x (* y z)) (* t a)))
  (+ (pow (+ x (* y z)) 3) (pow (* t a) 3))
  (- (* (* t a) (* t a)) (* (+ x (* y z)) (- (* a t) (+ x (* y z)))))
  (- (* (+ x (* y z)) (+ x (* y z))) (* (* t a) (* t a)))
  (- (+ x (* y z)) (* t a))
  (+ (* z y) (* a t))
  0
  (* a (* z b))
  (* a (* z b))
  x
  (+ (* y z) (* a (+ t (* z b))))
  (+ (* y z) (* a (+ t (* z b))))
  x
  (+ (+ x (* y z)) (* t a))
  (+ (+ x (* y z)) (* t a))
1.073 * * * [progress]: adding candidates to table
1.188 * * [progress]: iteration 2 / 4
1.188 * * * [progress]: picking best candidate
1.201 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (* a (* z b)) 1)))>
1.201 * * * [progress]: localizing error
1.214 * * * [progress]: generating rewritten candidates
1.214 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1.219 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.256 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.266 * * * [progress]: generating series expansions
1.266 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1.266 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
1.266 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.266 * [taylor]: Taking taylor expansion of a in b
1.266 * [taylor]: Taking taylor expansion of (* z b) in b
1.266 * [taylor]: Taking taylor expansion of z in b
1.266 * [taylor]: Taking taylor expansion of b in b
1.266 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.266 * [taylor]: Taking taylor expansion of a in z
1.266 * [taylor]: Taking taylor expansion of (* z b) in z
1.266 * [taylor]: Taking taylor expansion of z in z
1.266 * [taylor]: Taking taylor expansion of b in z
1.266 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.266 * [taylor]: Taking taylor expansion of a in a
1.266 * [taylor]: Taking taylor expansion of (* z b) in a
1.266 * [taylor]: Taking taylor expansion of z in a
1.266 * [taylor]: Taking taylor expansion of b in a
1.266 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.267 * [taylor]: Taking taylor expansion of a in a
1.267 * [taylor]: Taking taylor expansion of (* z b) in a
1.267 * [taylor]: Taking taylor expansion of z in a
1.267 * [taylor]: Taking taylor expansion of b in a
1.267 * [taylor]: Taking taylor expansion of 0 in z
1.267 * [taylor]: Taking taylor expansion of 0 in b
1.267 * [taylor]: Taking taylor expansion of (* z b) in z
1.267 * [taylor]: Taking taylor expansion of z in z
1.267 * [taylor]: Taking taylor expansion of b in z
1.267 * [taylor]: Taking taylor expansion of 0 in b
1.267 * [taylor]: Taking taylor expansion of 0 in b
1.268 * [taylor]: Taking taylor expansion of 0 in z
1.268 * [taylor]: Taking taylor expansion of 0 in b
1.269 * [taylor]: Taking taylor expansion of b in b
1.269 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
1.269 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
1.269 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.269 * [taylor]: Taking taylor expansion of a in b
1.269 * [taylor]: Taking taylor expansion of (* z b) in b
1.269 * [taylor]: Taking taylor expansion of z in b
1.269 * [taylor]: Taking taylor expansion of b in b
1.269 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.269 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.269 * [taylor]: Taking taylor expansion of a in z
1.269 * [taylor]: Taking taylor expansion of (* z b) in z
1.269 * [taylor]: Taking taylor expansion of z in z
1.269 * [taylor]: Taking taylor expansion of b in z
1.270 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.270 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.270 * [taylor]: Taking taylor expansion of a in a
1.270 * [taylor]: Taking taylor expansion of (* z b) in a
1.270 * [taylor]: Taking taylor expansion of z in a
1.270 * [taylor]: Taking taylor expansion of b in a
1.271 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.271 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.271 * [taylor]: Taking taylor expansion of a in a
1.271 * [taylor]: Taking taylor expansion of (* z b) in a
1.271 * [taylor]: Taking taylor expansion of z in a
1.271 * [taylor]: Taking taylor expansion of b in a
1.273 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
1.273 * [taylor]: Taking taylor expansion of (* z b) in z
1.273 * [taylor]: Taking taylor expansion of z in z
1.273 * [taylor]: Taking taylor expansion of b in z
1.274 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.274 * [taylor]: Taking taylor expansion of b in b
1.275 * [taylor]: Taking taylor expansion of 0 in z
1.275 * [taylor]: Taking taylor expansion of 0 in b
1.277 * [taylor]: Taking taylor expansion of 0 in z
1.277 * [taylor]: Taking taylor expansion of 0 in b
1.278 * [taylor]: Taking taylor expansion of 0 in b
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.281 * [taylor]: Taking taylor expansion of 0 in b
1.281 * [taylor]: Taking taylor expansion of 0 in b
1.282 * [taylor]: Taking taylor expansion of 0 in b
1.282 * [approximate]: Taking taylor expansion of (/ -1 (* a (* z b))) in (a z b) around 0
1.282 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in b
1.282 * [taylor]: Taking taylor expansion of -1 in b
1.282 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.282 * [taylor]: Taking taylor expansion of a in b
1.282 * [taylor]: Taking taylor expansion of (* z b) in b
1.282 * [taylor]: Taking taylor expansion of z in b
1.282 * [taylor]: Taking taylor expansion of b in b
1.283 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in z
1.283 * [taylor]: Taking taylor expansion of -1 in z
1.283 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.283 * [taylor]: Taking taylor expansion of a in z
1.283 * [taylor]: Taking taylor expansion of (* z b) in z
1.283 * [taylor]: Taking taylor expansion of z in z
1.283 * [taylor]: Taking taylor expansion of b in z
1.283 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
1.283 * [taylor]: Taking taylor expansion of -1 in a
1.283 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.283 * [taylor]: Taking taylor expansion of a in a
1.283 * [taylor]: Taking taylor expansion of (* z b) in a
1.283 * [taylor]: Taking taylor expansion of z in a
1.283 * [taylor]: Taking taylor expansion of b in a
1.284 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a
1.284 * [taylor]: Taking taylor expansion of -1 in a
1.284 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.284 * [taylor]: Taking taylor expansion of a in a
1.284 * [taylor]: Taking taylor expansion of (* z b) in a
1.284 * [taylor]: Taking taylor expansion of z in a
1.284 * [taylor]: Taking taylor expansion of b in a
1.284 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
1.284 * [taylor]: Taking taylor expansion of -1 in z
1.284 * [taylor]: Taking taylor expansion of (* z b) in z
1.284 * [taylor]: Taking taylor expansion of z in z
1.285 * [taylor]: Taking taylor expansion of b in z
1.285 * [taylor]: Taking taylor expansion of (/ -1 b) in b
1.285 * [taylor]: Taking taylor expansion of -1 in b
1.285 * [taylor]: Taking taylor expansion of b in b
1.286 * [taylor]: Taking taylor expansion of 0 in z
1.287 * [taylor]: Taking taylor expansion of 0 in b
1.289 * [taylor]: Taking taylor expansion of 0 in z
1.289 * [taylor]: Taking taylor expansion of 0 in b
1.290 * [taylor]: Taking taylor expansion of 0 in b
1.292 * [taylor]: Taking taylor expansion of 0 in z
1.292 * [taylor]: Taking taylor expansion of 0 in b
1.292 * [taylor]: Taking taylor expansion of 0 in b
1.293 * [taylor]: Taking taylor expansion of 0 in b
1.294 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.294 * [approximate]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in (x y z t a b) around 0
1.294 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in b
1.294 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.294 * [taylor]: Taking taylor expansion of a in b
1.294 * [taylor]: Taking taylor expansion of (* z b) in b
1.294 * [taylor]: Taking taylor expansion of z in b
1.294 * [taylor]: Taking taylor expansion of b in b
1.294 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in b
1.294 * [taylor]: Taking taylor expansion of (* z y) in b
1.294 * [taylor]: Taking taylor expansion of z in b
1.294 * [taylor]: Taking taylor expansion of y in b
1.294 * [taylor]: Taking taylor expansion of (+ x (* t a)) in b
1.294 * [taylor]: Taking taylor expansion of x in b
1.294 * [taylor]: Taking taylor expansion of (* t a) in b
1.294 * [taylor]: Taking taylor expansion of t in b
1.294 * [taylor]: Taking taylor expansion of a in b
1.294 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in a
1.294 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.294 * [taylor]: Taking taylor expansion of a in a
1.294 * [taylor]: Taking taylor expansion of (* z b) in a
1.294 * [taylor]: Taking taylor expansion of z in a
1.294 * [taylor]: Taking taylor expansion of b in a
1.294 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
1.294 * [taylor]: Taking taylor expansion of (* z y) in a
1.294 * [taylor]: Taking taylor expansion of z in a
1.294 * [taylor]: Taking taylor expansion of y in a
1.294 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
1.294 * [taylor]: Taking taylor expansion of x in a
1.294 * [taylor]: Taking taylor expansion of (* t a) in a
1.294 * [taylor]: Taking taylor expansion of t in a
1.294 * [taylor]: Taking taylor expansion of a in a
1.294 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in t
1.294 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
1.294 * [taylor]: Taking taylor expansion of a in t
1.294 * [taylor]: Taking taylor expansion of (* z b) in t
1.295 * [taylor]: Taking taylor expansion of z in t
1.295 * [taylor]: Taking taylor expansion of b in t
1.295 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
1.295 * [taylor]: Taking taylor expansion of (* z y) in t
1.295 * [taylor]: Taking taylor expansion of z in t
1.295 * [taylor]: Taking taylor expansion of y in t
1.295 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
1.295 * [taylor]: Taking taylor expansion of x in t
1.295 * [taylor]: Taking taylor expansion of (* t a) in t
1.295 * [taylor]: Taking taylor expansion of t in t
1.295 * [taylor]: Taking taylor expansion of a in t
1.295 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in z
1.295 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.295 * [taylor]: Taking taylor expansion of a in z
1.295 * [taylor]: Taking taylor expansion of (* z b) in z
1.295 * [taylor]: Taking taylor expansion of z in z
1.295 * [taylor]: Taking taylor expansion of b in z
1.295 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
1.295 * [taylor]: Taking taylor expansion of (* z y) in z
1.295 * [taylor]: Taking taylor expansion of z in z
1.295 * [taylor]: Taking taylor expansion of y in z
1.295 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
1.295 * [taylor]: Taking taylor expansion of x in z
1.295 * [taylor]: Taking taylor expansion of (* t a) in z
1.295 * [taylor]: Taking taylor expansion of t in z
1.295 * [taylor]: Taking taylor expansion of a in z
1.295 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in y
1.295 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.295 * [taylor]: Taking taylor expansion of a in y
1.295 * [taylor]: Taking taylor expansion of (* z b) in y
1.295 * [taylor]: Taking taylor expansion of z in y
1.295 * [taylor]: Taking taylor expansion of b in y
1.295 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
1.295 * [taylor]: Taking taylor expansion of (* z y) in y
1.295 * [taylor]: Taking taylor expansion of z in y
1.295 * [taylor]: Taking taylor expansion of y in y
1.295 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
1.295 * [taylor]: Taking taylor expansion of x in y
1.295 * [taylor]: Taking taylor expansion of (* t a) in y
1.295 * [taylor]: Taking taylor expansion of t in y
1.295 * [taylor]: Taking taylor expansion of a in y
1.295 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
1.295 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.295 * [taylor]: Taking taylor expansion of a in x
1.295 * [taylor]: Taking taylor expansion of (* z b) in x
1.295 * [taylor]: Taking taylor expansion of z in x
1.295 * [taylor]: Taking taylor expansion of b in x
1.295 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.295 * [taylor]: Taking taylor expansion of (* z y) in x
1.295 * [taylor]: Taking taylor expansion of z in x
1.295 * [taylor]: Taking taylor expansion of y in x
1.295 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.295 * [taylor]: Taking taylor expansion of x in x
1.295 * [taylor]: Taking taylor expansion of (* t a) in x
1.295 * [taylor]: Taking taylor expansion of t in x
1.295 * [taylor]: Taking taylor expansion of a in x
1.295 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (+ x (* t a)))) in x
1.295 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.296 * [taylor]: Taking taylor expansion of a in x
1.296 * [taylor]: Taking taylor expansion of (* z b) in x
1.296 * [taylor]: Taking taylor expansion of z in x
1.296 * [taylor]: Taking taylor expansion of b in x
1.296 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.296 * [taylor]: Taking taylor expansion of (* z y) in x
1.296 * [taylor]: Taking taylor expansion of z in x
1.296 * [taylor]: Taking taylor expansion of y in x
1.296 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.296 * [taylor]: Taking taylor expansion of x in x
1.296 * [taylor]: Taking taylor expansion of (* t a) in x
1.296 * [taylor]: Taking taylor expansion of t in x
1.296 * [taylor]: Taking taylor expansion of a in x
1.296 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (+ (* z y) (* t a))) in y
1.296 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.296 * [taylor]: Taking taylor expansion of a in y
1.296 * [taylor]: Taking taylor expansion of (* z b) in y
1.296 * [taylor]: Taking taylor expansion of z in y
1.296 * [taylor]: Taking taylor expansion of b in y
1.296 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
1.296 * [taylor]: Taking taylor expansion of (* z y) in y
1.296 * [taylor]: Taking taylor expansion of z in y
1.296 * [taylor]: Taking taylor expansion of y in y
1.296 * [taylor]: Taking taylor expansion of (* t a) in y
1.296 * [taylor]: Taking taylor expansion of t in y
1.296 * [taylor]: Taking taylor expansion of a in y
1.296 * [taylor]: Taking taylor expansion of (+ (* a (* z b)) (* t a)) in z
1.296 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.296 * [taylor]: Taking taylor expansion of a in z
1.296 * [taylor]: Taking taylor expansion of (* z b) in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [taylor]: Taking taylor expansion of b in z
1.296 * [taylor]: Taking taylor expansion of (* t a) in z
1.297 * [taylor]: Taking taylor expansion of t in z
1.297 * [taylor]: Taking taylor expansion of a in z
1.297 * [taylor]: Taking taylor expansion of (* t a) in t
1.297 * [taylor]: Taking taylor expansion of t in t
1.297 * [taylor]: Taking taylor expansion of a in t
1.297 * [taylor]: Taking taylor expansion of 0 in a
1.297 * [taylor]: Taking taylor expansion of 0 in b
1.298 * [taylor]: Taking taylor expansion of 1 in y
1.298 * [taylor]: Taking taylor expansion of 1 in z
1.298 * [taylor]: Taking taylor expansion of 1 in t
1.298 * [taylor]: Taking taylor expansion of 1 in a
1.298 * [taylor]: Taking taylor expansion of 1 in b
1.298 * [taylor]: Taking taylor expansion of z in z
1.298 * [taylor]: Taking taylor expansion of 0 in t
1.298 * [taylor]: Taking taylor expansion of 0 in a
1.298 * [taylor]: Taking taylor expansion of 0 in b
1.299 * [taylor]: Taking taylor expansion of (* a b) in t
1.299 * [taylor]: Taking taylor expansion of a in t
1.299 * [taylor]: Taking taylor expansion of b in t
1.299 * [taylor]: Taking taylor expansion of (* a b) in a
1.299 * [taylor]: Taking taylor expansion of a in a
1.299 * [taylor]: Taking taylor expansion of b in a
1.299 * [taylor]: Taking taylor expansion of 0 in b
1.299 * [taylor]: Taking taylor expansion of a in a
1.299 * [taylor]: Taking taylor expansion of 0 in b
1.299 * [taylor]: Taking taylor expansion of 0 in b
1.301 * [taylor]: Taking taylor expansion of 0 in y
1.301 * [taylor]: Taking taylor expansion of 0 in z
1.301 * [taylor]: Taking taylor expansion of 0 in t
1.301 * [taylor]: Taking taylor expansion of 0 in a
1.301 * [taylor]: Taking taylor expansion of 0 in b
1.302 * [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.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in b
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
1.302 * [taylor]: Taking taylor expansion of (* z y) in b
1.302 * [taylor]: Taking taylor expansion of z in b
1.302 * [taylor]: Taking taylor expansion of y in b
1.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in b
1.302 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
1.302 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.302 * [taylor]: Taking taylor expansion of a in b
1.302 * [taylor]: Taking taylor expansion of (* z b) in b
1.302 * [taylor]: Taking taylor expansion of z in b
1.302 * [taylor]: Taking taylor expansion of b in b
1.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in b
1.303 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
1.303 * [taylor]: Taking taylor expansion of (* t a) in b
1.303 * [taylor]: Taking taylor expansion of t in b
1.303 * [taylor]: Taking taylor expansion of a in b
1.303 * [taylor]: Taking taylor expansion of (/ 1 x) in b
1.303 * [taylor]: Taking taylor expansion of x in b
1.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in a
1.303 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.303 * [taylor]: Taking taylor expansion of (* z y) in a
1.303 * [taylor]: Taking taylor expansion of z in a
1.303 * [taylor]: Taking taylor expansion of y in a
1.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in a
1.303 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.303 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.303 * [taylor]: Taking taylor expansion of a in a
1.303 * [taylor]: Taking taylor expansion of (* z b) in a
1.303 * [taylor]: Taking taylor expansion of z in a
1.303 * [taylor]: Taking taylor expansion of b in a
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.304 * [taylor]: Taking taylor expansion of (* t a) in a
1.304 * [taylor]: Taking taylor expansion of t in a
1.304 * [taylor]: Taking taylor expansion of a in a
1.304 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.304 * [taylor]: Taking taylor expansion of x in a
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in t
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.304 * [taylor]: Taking taylor expansion of (* z y) in t
1.304 * [taylor]: Taking taylor expansion of z in t
1.304 * [taylor]: Taking taylor expansion of y in t
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in t
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
1.304 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
1.304 * [taylor]: Taking taylor expansion of a in t
1.304 * [taylor]: Taking taylor expansion of (* z b) in t
1.304 * [taylor]: Taking taylor expansion of z in t
1.304 * [taylor]: Taking taylor expansion of b in t
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
1.304 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.304 * [taylor]: Taking taylor expansion of (* t a) in t
1.304 * [taylor]: Taking taylor expansion of t in t
1.304 * [taylor]: Taking taylor expansion of a in t
1.305 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.305 * [taylor]: Taking taylor expansion of x in t
1.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in z
1.305 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.305 * [taylor]: Taking taylor expansion of (* z y) in z
1.305 * [taylor]: Taking taylor expansion of z in z
1.305 * [taylor]: Taking taylor expansion of y in z
1.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in z
1.305 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.305 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.305 * [taylor]: Taking taylor expansion of a in z
1.305 * [taylor]: Taking taylor expansion of (* z b) in z
1.305 * [taylor]: Taking taylor expansion of z in z
1.305 * [taylor]: Taking taylor expansion of b in z
1.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z
1.306 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.306 * [taylor]: Taking taylor expansion of (* t a) in z
1.306 * [taylor]: Taking taylor expansion of t in z
1.306 * [taylor]: Taking taylor expansion of a in z
1.306 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.306 * [taylor]: Taking taylor expansion of x in z
1.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in y
1.306 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.306 * [taylor]: Taking taylor expansion of (* z y) in y
1.306 * [taylor]: Taking taylor expansion of z in y
1.306 * [taylor]: Taking taylor expansion of y in y
1.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in y
1.306 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.307 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.307 * [taylor]: Taking taylor expansion of a in y
1.307 * [taylor]: Taking taylor expansion of (* z b) in y
1.307 * [taylor]: Taking taylor expansion of z in y
1.307 * [taylor]: Taking taylor expansion of b in y
1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
1.307 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.307 * [taylor]: Taking taylor expansion of (* t a) in y
1.307 * [taylor]: Taking taylor expansion of t in y
1.307 * [taylor]: Taking taylor expansion of a in y
1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.307 * [taylor]: Taking taylor expansion of x in y
1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.307 * [taylor]: Taking taylor expansion of (* z y) in x
1.307 * [taylor]: Taking taylor expansion of z in x
1.307 * [taylor]: Taking taylor expansion of y in x
1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.307 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.307 * [taylor]: Taking taylor expansion of a in x
1.307 * [taylor]: Taking taylor expansion of (* z b) in x
1.307 * [taylor]: Taking taylor expansion of z in x
1.307 * [taylor]: Taking taylor expansion of b in x
1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.307 * [taylor]: Taking taylor expansion of (* t a) in x
1.307 * [taylor]: Taking taylor expansion of t in x
1.307 * [taylor]: Taking taylor expansion of a in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.307 * [taylor]: Taking taylor expansion of x in x
1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x)))) in x
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.308 * [taylor]: Taking taylor expansion of (* z y) in x
1.308 * [taylor]: Taking taylor expansion of z in x
1.308 * [taylor]: Taking taylor expansion of y in x
1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.308 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.308 * [taylor]: Taking taylor expansion of a in x
1.308 * [taylor]: Taking taylor expansion of (* z b) in x
1.308 * [taylor]: Taking taylor expansion of z in x
1.308 * [taylor]: Taking taylor expansion of b in x
1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.308 * [taylor]: Taking taylor expansion of (* t a) in x
1.308 * [taylor]: Taking taylor expansion of t in x
1.308 * [taylor]: Taking taylor expansion of a in x
1.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.308 * [taylor]: Taking taylor expansion of x in x
1.309 * [taylor]: Taking taylor expansion of 1 in y
1.310 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* a (* z b))) (/ 1 (* t a)))) in y
1.310 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.310 * [taylor]: Taking taylor expansion of (* z y) in y
1.310 * [taylor]: Taking taylor expansion of z in y
1.310 * [taylor]: Taking taylor expansion of y in y
1.310 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 (* t a))) in y
1.310 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.310 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.310 * [taylor]: Taking taylor expansion of a in y
1.310 * [taylor]: Taking taylor expansion of (* z b) in y
1.310 * [taylor]: Taking taylor expansion of z in y
1.310 * [taylor]: Taking taylor expansion of b in y
1.311 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.311 * [taylor]: Taking taylor expansion of (* t a) in y
1.311 * [taylor]: Taking taylor expansion of t in y
1.311 * [taylor]: Taking taylor expansion of a in y
1.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.311 * [taylor]: Taking taylor expansion of z in z
1.311 * [taylor]: Taking taylor expansion of 1 in t
1.311 * [taylor]: Taking taylor expansion of 1 in z
1.313 * [taylor]: Taking taylor expansion of 0 in y
1.313 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
1.313 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.313 * [taylor]: Taking taylor expansion of (* t a) in z
1.313 * [taylor]: Taking taylor expansion of t in z
1.313 * [taylor]: Taking taylor expansion of a in z
1.313 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.313 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.313 * [taylor]: Taking taylor expansion of a in z
1.313 * [taylor]: Taking taylor expansion of (* z b) in z
1.313 * [taylor]: Taking taylor expansion of z in z
1.313 * [taylor]: Taking taylor expansion of b in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.314 * [taylor]: Taking taylor expansion of (* a b) in t
1.314 * [taylor]: Taking taylor expansion of a in t
1.314 * [taylor]: Taking taylor expansion of b in t
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.315 * [taylor]: Taking taylor expansion of 0 in t
1.315 * [taylor]: Taking taylor expansion of 1 in t
1.315 * [taylor]: Taking taylor expansion of 1 in a
1.318 * [taylor]: Taking taylor expansion of 0 in y
1.318 * [taylor]: Taking taylor expansion of 0 in z
1.319 * [taylor]: Taking taylor expansion of 0 in z
1.319 * [taylor]: Taking taylor expansion of 0 in z
1.320 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.320 * [taylor]: Taking taylor expansion of (* t a) in t
1.320 * [taylor]: Taking taylor expansion of t in t
1.320 * [taylor]: Taking taylor expansion of a in t
1.320 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.320 * [taylor]: Taking taylor expansion of a in a
1.321 * [taylor]: Taking taylor expansion of 1 in b
1.321 * [taylor]: Taking taylor expansion of 0 in t
1.321 * [taylor]: Taking taylor expansion of 0 in t
1.321 * [taylor]: Taking taylor expansion of 0 in t
1.321 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.321 * [taylor]: Taking taylor expansion of (* a b) in a
1.321 * [taylor]: Taking taylor expansion of a in a
1.321 * [taylor]: Taking taylor expansion of b in a
1.322 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.322 * [taylor]: Taking taylor expansion of b in b
1.322 * [taylor]: Taking taylor expansion of 0 in a
1.322 * [taylor]: Taking taylor expansion of 1 in a
1.322 * [taylor]: Taking taylor expansion of 0 in a
1.322 * [taylor]: Taking taylor expansion of 1 in b
1.326 * [taylor]: Taking taylor expansion of 0 in y
1.326 * [taylor]: Taking taylor expansion of 0 in z
1.326 * [taylor]: Taking taylor expansion of 0 in z
1.328 * [taylor]: Taking taylor expansion of 0 in z
1.328 * [taylor]: Taking taylor expansion of 0 in z
1.328 * [taylor]: Taking taylor expansion of 0 in t
1.328 * [taylor]: Taking taylor expansion of 0 in t
1.328 * [taylor]: Taking taylor expansion of 0 in t
1.330 * [taylor]: Taking taylor expansion of 0 in t
1.330 * [taylor]: Taking taylor expansion of 0 in t
1.331 * [taylor]: Taking taylor expansion of 0 in t
1.331 * [taylor]: Taking taylor expansion of 0 in t
1.331 * [taylor]: Taking taylor expansion of 0 in a
1.331 * [taylor]: Taking taylor expansion of 0 in a
1.331 * [taylor]: Taking taylor expansion of 0 in a
1.331 * [taylor]: Taking taylor expansion of 0 in a
1.332 * [taylor]: Taking taylor expansion of 0 in a
1.332 * [taylor]: Taking taylor expansion of 0 in a
1.332 * [taylor]: Taking taylor expansion of 0 in a
1.332 * [taylor]: Taking taylor expansion of 0 in a
1.332 * [taylor]: Taking taylor expansion of 0 in b
1.333 * [taylor]: Taking taylor expansion of 0 in b
1.333 * [taylor]: Taking taylor expansion of 0 in b
1.333 * [taylor]: Taking taylor expansion of 1 in b
1.333 * [taylor]: Taking taylor expansion of 0 in b
1.333 * [taylor]: Taking taylor expansion of 0 in b
1.335 * [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.335 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in b
1.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in b
1.335 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
1.335 * [taylor]: Taking taylor expansion of (* z y) in b
1.335 * [taylor]: Taking taylor expansion of z in b
1.335 * [taylor]: Taking taylor expansion of y in b
1.335 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
1.335 * [taylor]: Taking taylor expansion of (* t a) in b
1.335 * [taylor]: Taking taylor expansion of t in b
1.335 * [taylor]: Taking taylor expansion of a in b
1.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in b
1.335 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
1.335 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
1.335 * [taylor]: Taking taylor expansion of a in b
1.335 * [taylor]: Taking taylor expansion of (* z b) in b
1.335 * [taylor]: Taking taylor expansion of z in b
1.335 * [taylor]: Taking taylor expansion of b in b
1.336 * [taylor]: Taking taylor expansion of (/ 1 x) in b
1.336 * [taylor]: Taking taylor expansion of x in b
1.336 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in a
1.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
1.336 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.336 * [taylor]: Taking taylor expansion of (* z y) in a
1.336 * [taylor]: Taking taylor expansion of z in a
1.336 * [taylor]: Taking taylor expansion of y in a
1.336 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.336 * [taylor]: Taking taylor expansion of (* t a) in a
1.336 * [taylor]: Taking taylor expansion of t in a
1.336 * [taylor]: Taking taylor expansion of a in a
1.337 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in a
1.337 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
1.337 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
1.337 * [taylor]: Taking taylor expansion of a in a
1.337 * [taylor]: Taking taylor expansion of (* z b) in a
1.337 * [taylor]: Taking taylor expansion of z in a
1.337 * [taylor]: Taking taylor expansion of b in a
1.337 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.337 * [taylor]: Taking taylor expansion of x in a
1.337 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in t
1.337 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
1.337 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.337 * [taylor]: Taking taylor expansion of (* z y) in t
1.337 * [taylor]: Taking taylor expansion of z in t
1.337 * [taylor]: Taking taylor expansion of y in t
1.338 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.338 * [taylor]: Taking taylor expansion of (* t a) in t
1.338 * [taylor]: Taking taylor expansion of t in t
1.338 * [taylor]: Taking taylor expansion of a in t
1.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in t
1.338 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in t
1.338 * [taylor]: Taking taylor expansion of (* a (* z b)) in t
1.338 * [taylor]: Taking taylor expansion of a in t
1.338 * [taylor]: Taking taylor expansion of (* z b) in t
1.338 * [taylor]: Taking taylor expansion of z in t
1.338 * [taylor]: Taking taylor expansion of b in t
1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.338 * [taylor]: Taking taylor expansion of x in t
1.338 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in z
1.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
1.338 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.338 * [taylor]: Taking taylor expansion of (* z y) in z
1.338 * [taylor]: Taking taylor expansion of z in z
1.338 * [taylor]: Taking taylor expansion of y in z
1.339 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.339 * [taylor]: Taking taylor expansion of (* t a) in z
1.339 * [taylor]: Taking taylor expansion of t in z
1.339 * [taylor]: Taking taylor expansion of a in z
1.339 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in z
1.339 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.339 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.339 * [taylor]: Taking taylor expansion of a in z
1.339 * [taylor]: Taking taylor expansion of (* z b) in z
1.339 * [taylor]: Taking taylor expansion of z in z
1.339 * [taylor]: Taking taylor expansion of b in z
1.339 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.339 * [taylor]: Taking taylor expansion of x in z
1.339 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in y
1.339 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.339 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.340 * [taylor]: Taking taylor expansion of (* z y) in y
1.340 * [taylor]: Taking taylor expansion of z in y
1.340 * [taylor]: Taking taylor expansion of y in y
1.340 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.340 * [taylor]: Taking taylor expansion of (* t a) in y
1.340 * [taylor]: Taking taylor expansion of t in y
1.340 * [taylor]: Taking taylor expansion of a in y
1.340 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in y
1.340 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.340 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.340 * [taylor]: Taking taylor expansion of a in y
1.340 * [taylor]: Taking taylor expansion of (* z b) in y
1.340 * [taylor]: Taking taylor expansion of z in y
1.340 * [taylor]: Taking taylor expansion of b in y
1.340 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.340 * [taylor]: Taking taylor expansion of x in y
1.340 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
1.340 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.340 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.340 * [taylor]: Taking taylor expansion of (* z y) in x
1.340 * [taylor]: Taking taylor expansion of z in x
1.340 * [taylor]: Taking taylor expansion of y in x
1.340 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.340 * [taylor]: Taking taylor expansion of (* t a) in x
1.340 * [taylor]: Taking taylor expansion of t in x
1.340 * [taylor]: Taking taylor expansion of a in x
1.340 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.341 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.341 * [taylor]: Taking taylor expansion of a in x
1.341 * [taylor]: Taking taylor expansion of (* z b) in x
1.341 * [taylor]: Taking taylor expansion of z in x
1.341 * [taylor]: Taking taylor expansion of b in x
1.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.341 * [taylor]: Taking taylor expansion of x in x
1.341 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (+ (/ 1 (* a (* z b))) (/ 1 x))) in x
1.341 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.341 * [taylor]: Taking taylor expansion of (* z y) in x
1.341 * [taylor]: Taking taylor expansion of z in x
1.341 * [taylor]: Taking taylor expansion of y in x
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.341 * [taylor]: Taking taylor expansion of (* t a) in x
1.341 * [taylor]: Taking taylor expansion of t in x
1.341 * [taylor]: Taking taylor expansion of a in x
1.341 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* z b))) (/ 1 x)) in x
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in x
1.341 * [taylor]: Taking taylor expansion of (* a (* z b)) in x
1.341 * [taylor]: Taking taylor expansion of a in x
1.341 * [taylor]: Taking taylor expansion of (* z b) in x
1.341 * [taylor]: Taking taylor expansion of z in x
1.341 * [taylor]: Taking taylor expansion of b in x
1.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.341 * [taylor]: Taking taylor expansion of x in x
1.343 * [taylor]: Taking taylor expansion of -1 in y
1.343 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 (* a (* z b)))) in y
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.343 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.343 * [taylor]: Taking taylor expansion of (* z y) in y
1.343 * [taylor]: Taking taylor expansion of z in y
1.343 * [taylor]: Taking taylor expansion of y in y
1.344 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.344 * [taylor]: Taking taylor expansion of (* t a) in y
1.344 * [taylor]: Taking taylor expansion of t in y
1.344 * [taylor]: Taking taylor expansion of a in y
1.344 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in y
1.344 * [taylor]: Taking taylor expansion of (* a (* z b)) in y
1.344 * [taylor]: Taking taylor expansion of a in y
1.344 * [taylor]: Taking taylor expansion of (* z b) in y
1.344 * [taylor]: Taking taylor expansion of z in y
1.344 * [taylor]: Taking taylor expansion of b in y
1.344 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.344 * [taylor]: Taking taylor expansion of z in z
1.344 * [taylor]: Taking taylor expansion of 1 in t
1.344 * [taylor]: Taking taylor expansion of -1 in z
1.346 * [taylor]: Taking taylor expansion of 0 in y
1.347 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (* a (* z b)))) in z
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.347 * [taylor]: Taking taylor expansion of (* t a) in z
1.347 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of a in z
1.347 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
1.347 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
1.347 * [taylor]: Taking taylor expansion of a in z
1.347 * [taylor]: Taking taylor expansion of (* z b) in z
1.347 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of b in z
1.348 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in t
1.348 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.348 * [taylor]: Taking taylor expansion of (* a b) in t
1.348 * [taylor]: Taking taylor expansion of a in t
1.348 * [taylor]: Taking taylor expansion of b in t
1.348 * [taylor]: Taking taylor expansion of 0 in z
1.349 * [taylor]: Taking taylor expansion of 0 in t
1.349 * [taylor]: Taking taylor expansion of -1 in t
1.349 * [taylor]: Taking taylor expansion of 1 in a
1.352 * [taylor]: Taking taylor expansion of 0 in y
1.352 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.354 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.354 * [taylor]: Taking taylor expansion of (* t a) in t
1.354 * [taylor]: Taking taylor expansion of t in t
1.354 * [taylor]: Taking taylor expansion of a in t
1.355 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.355 * [taylor]: Taking taylor expansion of a in a
1.355 * [taylor]: Taking taylor expansion of 1 in b
1.355 * [taylor]: Taking taylor expansion of 0 in t
1.356 * [taylor]: Taking taylor expansion of 0 in t
1.356 * [taylor]: Taking taylor expansion of 0 in t
1.356 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b))) in a
1.356 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.356 * [taylor]: Taking taylor expansion of (* a b) in a
1.356 * [taylor]: Taking taylor expansion of a in a
1.356 * [taylor]: Taking taylor expansion of b in a
1.356 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b
1.356 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.356 * [taylor]: Taking taylor expansion of b in b
1.357 * [taylor]: Taking taylor expansion of 0 in a
1.357 * [taylor]: Taking taylor expansion of -1 in a
1.357 * [taylor]: Taking taylor expansion of 0 in a
1.357 * [taylor]: Taking taylor expansion of 1 in b
1.363 * [taylor]: Taking taylor expansion of 0 in y
1.363 * [taylor]: Taking taylor expansion of 0 in z
1.363 * [taylor]: Taking taylor expansion of 0 in z
1.366 * [taylor]: Taking taylor expansion of 0 in z
1.366 * [taylor]: Taking taylor expansion of 0 in z
1.366 * [taylor]: Taking taylor expansion of 0 in t
1.366 * [taylor]: Taking taylor expansion of 0 in t
1.366 * [taylor]: Taking taylor expansion of 0 in t
1.368 * [taylor]: Taking taylor expansion of 0 in t
1.368 * [taylor]: Taking taylor expansion of 0 in t
1.369 * [taylor]: Taking taylor expansion of 0 in t
1.369 * [taylor]: Taking taylor expansion of 0 in t
1.369 * [taylor]: Taking taylor expansion of 0 in a
1.369 * [taylor]: Taking taylor expansion of 0 in a
1.369 * [taylor]: Taking taylor expansion of 0 in a
1.369 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in a
1.370 * [taylor]: Taking taylor expansion of 0 in b
1.371 * [taylor]: Taking taylor expansion of 0 in b
1.371 * [taylor]: Taking taylor expansion of 0 in b
1.371 * [taylor]: Taking taylor expansion of -1 in b
1.371 * [taylor]: Taking taylor expansion of 0 in b
1.371 * [taylor]: Taking taylor expansion of 0 in b
1.373 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.374 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in (x y z t a) around 0
1.374 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a
1.374 * [taylor]: Taking taylor expansion of (* z y) in a
1.374 * [taylor]: Taking taylor expansion of z in a
1.374 * [taylor]: Taking taylor expansion of y in a
1.374 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a
1.374 * [taylor]: Taking taylor expansion of x in a
1.374 * [taylor]: Taking taylor expansion of (* t a) in a
1.374 * [taylor]: Taking taylor expansion of t in a
1.374 * [taylor]: Taking taylor expansion of a in a
1.374 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t
1.374 * [taylor]: Taking taylor expansion of (* z y) in t
1.374 * [taylor]: Taking taylor expansion of z in t
1.374 * [taylor]: Taking taylor expansion of y in t
1.374 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t
1.374 * [taylor]: Taking taylor expansion of x in t
1.374 * [taylor]: Taking taylor expansion of (* t a) in t
1.374 * [taylor]: Taking taylor expansion of t in t
1.374 * [taylor]: Taking taylor expansion of a in t
1.374 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z
1.374 * [taylor]: Taking taylor expansion of (* z y) in z
1.374 * [taylor]: Taking taylor expansion of z in z
1.374 * [taylor]: Taking taylor expansion of y in z
1.374 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z
1.374 * [taylor]: Taking taylor expansion of x in z
1.374 * [taylor]: Taking taylor expansion of (* t a) in z
1.374 * [taylor]: Taking taylor expansion of t in z
1.374 * [taylor]: Taking taylor expansion of a in z
1.374 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y
1.374 * [taylor]: Taking taylor expansion of (* z y) in y
1.374 * [taylor]: Taking taylor expansion of z in y
1.374 * [taylor]: Taking taylor expansion of y in y
1.374 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y
1.374 * [taylor]: Taking taylor expansion of x in y
1.374 * [taylor]: Taking taylor expansion of (* t a) in y
1.374 * [taylor]: Taking taylor expansion of t in y
1.374 * [taylor]: Taking taylor expansion of a in y
1.374 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.374 * [taylor]: Taking taylor expansion of (* z y) in x
1.374 * [taylor]: Taking taylor expansion of z in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of (* t a) in x
1.374 * [taylor]: Taking taylor expansion of t in x
1.374 * [taylor]: Taking taylor expansion of a in x
1.374 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x
1.374 * [taylor]: Taking taylor expansion of (* z y) in x
1.374 * [taylor]: Taking taylor expansion of z in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.374 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of (* t a) in x
1.374 * [taylor]: Taking taylor expansion of t in x
1.374 * [taylor]: Taking taylor expansion of a in x
1.375 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y
1.375 * [taylor]: Taking taylor expansion of (* z y) in y
1.375 * [taylor]: Taking taylor expansion of z in y
1.375 * [taylor]: Taking taylor expansion of y in y
1.375 * [taylor]: Taking taylor expansion of (* t a) in y
1.375 * [taylor]: Taking taylor expansion of t in y
1.375 * [taylor]: Taking taylor expansion of a in y
1.375 * [taylor]: Taking taylor expansion of (* t a) in z
1.375 * [taylor]: Taking taylor expansion of t in z
1.375 * [taylor]: Taking taylor expansion of a in z
1.375 * [taylor]: Taking taylor expansion of (* t a) in t
1.375 * [taylor]: Taking taylor expansion of t in t
1.375 * [taylor]: Taking taylor expansion of a in t
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.376 * [taylor]: Taking taylor expansion of 1 in y
1.376 * [taylor]: Taking taylor expansion of 1 in z
1.376 * [taylor]: Taking taylor expansion of 1 in t
1.376 * [taylor]: Taking taylor expansion of 1 in a
1.376 * [taylor]: Taking taylor expansion of z in z
1.376 * [taylor]: Taking taylor expansion of 0 in t
1.376 * [taylor]: Taking taylor expansion of 0 in a
1.376 * [taylor]: Taking taylor expansion of 0 in t
1.376 * [taylor]: Taking taylor expansion of 0 in a
1.376 * [taylor]: Taking taylor expansion of a in a
1.377 * [taylor]: Taking taylor expansion of 0 in y
1.378 * [taylor]: Taking taylor expansion of 0 in z
1.378 * [taylor]: Taking taylor expansion of 0 in t
1.378 * [taylor]: Taking taylor expansion of 0 in a
1.378 * [taylor]: Taking taylor expansion of 0 in z
1.378 * [taylor]: Taking taylor expansion of 0 in t
1.378 * [taylor]: Taking taylor expansion of 0 in a
1.378 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in (x y z t a) around 0
1.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in a
1.378 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.378 * [taylor]: Taking taylor expansion of (* z y) in a
1.378 * [taylor]: Taking taylor expansion of z in a
1.378 * [taylor]: Taking taylor expansion of y in a
1.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a
1.378 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.378 * [taylor]: Taking taylor expansion of (* t a) in a
1.378 * [taylor]: Taking taylor expansion of t in a
1.378 * [taylor]: Taking taylor expansion of a in a
1.379 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.379 * [taylor]: Taking taylor expansion of x in a
1.379 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in t
1.379 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.379 * [taylor]: Taking taylor expansion of (* z y) in t
1.379 * [taylor]: Taking taylor expansion of z in t
1.379 * [taylor]: Taking taylor expansion of y in t
1.379 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t
1.379 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.379 * [taylor]: Taking taylor expansion of (* t a) in t
1.379 * [taylor]: Taking taylor expansion of t in t
1.379 * [taylor]: Taking taylor expansion of a in t
1.379 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.379 * [taylor]: Taking taylor expansion of x in t
1.379 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in z
1.379 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.379 * [taylor]: Taking taylor expansion of (* z y) in z
1.379 * [taylor]: Taking taylor expansion of z in z
1.379 * [taylor]: Taking taylor expansion of y in z
1.380 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z
1.380 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.380 * [taylor]: Taking taylor expansion of (* t a) in z
1.380 * [taylor]: Taking taylor expansion of t in z
1.380 * [taylor]: Taking taylor expansion of a in z
1.380 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.380 * [taylor]: Taking taylor expansion of x in z
1.380 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in y
1.380 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.380 * [taylor]: Taking taylor expansion of (* z y) in y
1.380 * [taylor]: Taking taylor expansion of z in y
1.380 * [taylor]: Taking taylor expansion of y in y
1.380 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y
1.380 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.380 * [taylor]: Taking taylor expansion of (* t a) in y
1.380 * [taylor]: Taking taylor expansion of t in y
1.380 * [taylor]: Taking taylor expansion of a in y
1.380 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.380 * [taylor]: Taking taylor expansion of x in y
1.380 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.380 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.380 * [taylor]: Taking taylor expansion of (* z y) in x
1.380 * [taylor]: Taking taylor expansion of z in x
1.380 * [taylor]: Taking taylor expansion of y in x
1.380 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.381 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.381 * [taylor]: Taking taylor expansion of (* t a) in x
1.381 * [taylor]: Taking taylor expansion of t in x
1.381 * [taylor]: Taking taylor expansion of a in x
1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.381 * [taylor]: Taking taylor expansion of x in x
1.381 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x
1.381 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.381 * [taylor]: Taking taylor expansion of (* z y) in x
1.381 * [taylor]: Taking taylor expansion of z in x
1.381 * [taylor]: Taking taylor expansion of y in x
1.381 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x
1.381 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.381 * [taylor]: Taking taylor expansion of (* t a) in x
1.381 * [taylor]: Taking taylor expansion of t in x
1.381 * [taylor]: Taking taylor expansion of a in x
1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.381 * [taylor]: Taking taylor expansion of x in x
1.382 * [taylor]: Taking taylor expansion of 1 in y
1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.383 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.383 * [taylor]: Taking taylor expansion of (* z y) in y
1.383 * [taylor]: Taking taylor expansion of z in y
1.383 * [taylor]: Taking taylor expansion of y in y
1.383 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.383 * [taylor]: Taking taylor expansion of (* t a) in y
1.383 * [taylor]: Taking taylor expansion of t in y
1.383 * [taylor]: Taking taylor expansion of a in y
1.383 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.383 * [taylor]: Taking taylor expansion of z in z
1.383 * [taylor]: Taking taylor expansion of 1 in t
1.384 * [taylor]: Taking taylor expansion of 1 in z
1.385 * [taylor]: Taking taylor expansion of 0 in y
1.385 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.385 * [taylor]: Taking taylor expansion of (* t a) in z
1.385 * [taylor]: Taking taylor expansion of t in z
1.385 * [taylor]: Taking taylor expansion of a in z
1.385 * [taylor]: Taking taylor expansion of 0 in z
1.386 * [taylor]: Taking taylor expansion of 0 in t
1.386 * [taylor]: Taking taylor expansion of 1 in t
1.386 * [taylor]: Taking taylor expansion of 1 in a
1.388 * [taylor]: Taking taylor expansion of 0 in y
1.388 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.389 * [taylor]: Taking taylor expansion of (* t a) in t
1.389 * [taylor]: Taking taylor expansion of t in t
1.389 * [taylor]: Taking taylor expansion of a in t
1.389 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.389 * [taylor]: Taking taylor expansion of a in a
1.390 * [taylor]: Taking taylor expansion of 0 in t
1.390 * [taylor]: Taking taylor expansion of 0 in t
1.390 * [taylor]: Taking taylor expansion of 0 in t
1.390 * [taylor]: Taking taylor expansion of 0 in a
1.390 * [taylor]: Taking taylor expansion of 1 in a
1.390 * [taylor]: Taking taylor expansion of 0 in a
1.393 * [taylor]: Taking taylor expansion of 0 in y
1.393 * [taylor]: Taking taylor expansion of 0 in z
1.393 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.396 * [taylor]: Taking taylor expansion of 0 in a
1.397 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in (x y z t a) around 0
1.397 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in a
1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a
1.397 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.397 * [taylor]: Taking taylor expansion of (* z y) in a
1.397 * [taylor]: Taking taylor expansion of z in a
1.397 * [taylor]: Taking taylor expansion of y in a
1.397 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.397 * [taylor]: Taking taylor expansion of (* t a) in a
1.397 * [taylor]: Taking taylor expansion of t in a
1.397 * [taylor]: Taking taylor expansion of a in a
1.398 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.398 * [taylor]: Taking taylor expansion of x in a
1.398 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in t
1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t
1.398 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.398 * [taylor]: Taking taylor expansion of (* z y) in t
1.398 * [taylor]: Taking taylor expansion of z in t
1.398 * [taylor]: Taking taylor expansion of y in t
1.398 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.398 * [taylor]: Taking taylor expansion of (* t a) in t
1.398 * [taylor]: Taking taylor expansion of t in t
1.398 * [taylor]: Taking taylor expansion of a in t
1.398 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.398 * [taylor]: Taking taylor expansion of x in t
1.398 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in z
1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.399 * [taylor]: Taking taylor expansion of (* z y) in z
1.399 * [taylor]: Taking taylor expansion of z in z
1.399 * [taylor]: Taking taylor expansion of y in z
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.399 * [taylor]: Taking taylor expansion of (* t a) in z
1.399 * [taylor]: Taking taylor expansion of t in z
1.399 * [taylor]: Taking taylor expansion of a in z
1.399 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.399 * [taylor]: Taking taylor expansion of x in z
1.399 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in y
1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.399 * [taylor]: Taking taylor expansion of (* z y) in y
1.399 * [taylor]: Taking taylor expansion of z in y
1.399 * [taylor]: Taking taylor expansion of y in y
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.399 * [taylor]: Taking taylor expansion of (* t a) in y
1.400 * [taylor]: Taking taylor expansion of t in y
1.400 * [taylor]: Taking taylor expansion of a in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.400 * [taylor]: Taking taylor expansion of x in y
1.400 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.400 * [taylor]: Taking taylor expansion of (* z y) in x
1.400 * [taylor]: Taking taylor expansion of z in x
1.400 * [taylor]: Taking taylor expansion of y in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.400 * [taylor]: Taking taylor expansion of (* t a) in x
1.400 * [taylor]: Taking taylor expansion of t in x
1.400 * [taylor]: Taking taylor expansion of a in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.400 * [taylor]: Taking taylor expansion of x in x
1.400 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x
1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.400 * [taylor]: Taking taylor expansion of (* z y) in x
1.400 * [taylor]: Taking taylor expansion of z in x
1.400 * [taylor]: Taking taylor expansion of y in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.400 * [taylor]: Taking taylor expansion of (* t a) in x
1.400 * [taylor]: Taking taylor expansion of t in x
1.400 * [taylor]: Taking taylor expansion of a in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.400 * [taylor]: Taking taylor expansion of x in x
1.401 * [taylor]: Taking taylor expansion of -1 in y
1.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y
1.402 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.402 * [taylor]: Taking taylor expansion of (* z y) in y
1.402 * [taylor]: Taking taylor expansion of z in y
1.402 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.403 * [taylor]: Taking taylor expansion of (* t a) in y
1.403 * [taylor]: Taking taylor expansion of t in y
1.403 * [taylor]: Taking taylor expansion of a in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.403 * [taylor]: Taking taylor expansion of z in z
1.403 * [taylor]: Taking taylor expansion of 1 in t
1.403 * [taylor]: Taking taylor expansion of -1 in z
1.405 * [taylor]: Taking taylor expansion of 0 in y
1.405 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.405 * [taylor]: Taking taylor expansion of (* t a) in z
1.405 * [taylor]: Taking taylor expansion of t in z
1.405 * [taylor]: Taking taylor expansion of a in z
1.406 * [taylor]: Taking taylor expansion of 0 in z
1.406 * [taylor]: Taking taylor expansion of 0 in t
1.406 * [taylor]: Taking taylor expansion of -1 in t
1.406 * [taylor]: Taking taylor expansion of 1 in a
1.408 * [taylor]: Taking taylor expansion of 0 in y
1.408 * [taylor]: Taking taylor expansion of 0 in z
1.409 * [taylor]: Taking taylor expansion of 0 in z
1.409 * [taylor]: Taking taylor expansion of 0 in z
1.409 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.409 * [taylor]: Taking taylor expansion of (* t a) in t
1.409 * [taylor]: Taking taylor expansion of t in t
1.409 * [taylor]: Taking taylor expansion of a in t
1.410 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.410 * [taylor]: Taking taylor expansion of a in a
1.410 * [taylor]: Taking taylor expansion of 0 in t
1.411 * [taylor]: Taking taylor expansion of 0 in t
1.411 * [taylor]: Taking taylor expansion of 0 in t
1.411 * [taylor]: Taking taylor expansion of 0 in a
1.411 * [taylor]: Taking taylor expansion of -1 in a
1.411 * [taylor]: Taking taylor expansion of 0 in a
1.413 * [taylor]: Taking taylor expansion of 0 in y
1.414 * [taylor]: Taking taylor expansion of 0 in z
1.414 * [taylor]: Taking taylor expansion of 0 in z
1.415 * [taylor]: Taking taylor expansion of 0 in z
1.415 * [taylor]: Taking taylor expansion of 0 in z
1.415 * [taylor]: Taking taylor expansion of 0 in t
1.415 * [taylor]: Taking taylor expansion of 0 in t
1.415 * [taylor]: Taking taylor expansion of 0 in t
1.415 * [taylor]: Taking taylor expansion of 0 in t
1.415 * [taylor]: Taking taylor expansion of 0 in t
1.416 * [taylor]: Taking taylor expansion of 0 in t
1.416 * [taylor]: Taking taylor expansion of 0 in t
1.416 * [taylor]: Taking taylor expansion of 0 in a
1.416 * [taylor]: Taking taylor expansion of 0 in a
1.417 * [taylor]: Taking taylor expansion of 0 in a
1.417 * [taylor]: Taking taylor expansion of 0 in a
1.417 * [taylor]: Taking taylor expansion of 0 in a
1.417 * [taylor]: Taking taylor expansion of 0 in a
1.417 * [taylor]: Taking taylor expansion of 0 in a
1.418 * * * [progress]: simplifying candidates
1.419 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 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))
  (* (* (* (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))
  (* (* (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.422 * * [simplify]: iteration  0 :  99  enodes  (cost  790 )
1.626 * * [simplify]: iteration  1 :  275  enodes  (cost  692 )
1.697 * * [simplify]: iteration  2 :  1095  enodes  (cost  610 )
2.214 * * [simplify]: iteration  done :  5000  enodes  (cost  598 )
2.214 * [simplify]: Simplified to:
   (* 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))
  (exp (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (exp (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (exp (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (log (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (exp (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (* (cbrt (+ (+ x (* y z)) (* a (+ t (* z b))))) (cbrt (+ (+ x (* y z)) (* a (+ t (* z b))))))
  (cbrt (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (pow (+ (+ x (* y z)) (* a (+ t (* z b)))) 3)
  (sqrt (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (sqrt (+ (+ x (* y z)) (* a (+ t (* z b)))))
  (+ (pow (+ (* z y) (+ x (* a t))) 3) (pow (* (* a z) b) 3))
  (+ (pow (* a (* z b)) 2) (* (+ (+ x (* y z)) (* t a)) (+ (* a (- t (* z b))) (+ x (* y z)))))
  (- (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (pow (* a (* z b)) 2))
  (+ (* a (- t (* z b))) (+ x (* y z)))
  (+ (+ x (* y z)) (* a (+ t (* z b))))
  (* a (+ t (* z b)))
  (exp (+ (+ x (* y z)) (* t a)))
  (exp (+ (+ x (* y z)) (* 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)))
  (pow (+ (* z y) (+ x (* a t))) 3)
  (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) (* t a)))
  (- (* (+ x (* y z)) (+ x (* y z))) (* (* t a) (* t a)))
  (- (+ x (* y z)) (* t a))
  (+ (* z y) (* a t))
  0
  (* a (* z b))
  (* a (* z b))
  x
  (+ (* a (+ t (* z b))) (* y z))
  (+ (* a (+ t (* z b))) (* y z))
  x
  (+ (+ x (* y z)) (* t a))
  (+ (+ x (* y z)) (* t a))
2.214 * * * [progress]: adding candidates to table
2.347 * * [progress]: iteration 3 / 4
2.347 * * * [progress]: picking best candidate
2.357 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))>
2.357 * * * [progress]: localizing error
2.372 * * * [progress]: generating rewritten candidates
2.372 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.385 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.434 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
2.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2)
2.437 * * * [progress]: generating series expansions
2.437 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.437 * [approximate]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in (a z b) around 0
2.437 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in b
2.437 * [taylor]: Taking taylor expansion of (* a z) in b
2.437 * [taylor]: Taking taylor expansion of a in b
2.437 * [taylor]: Taking taylor expansion of z in b
2.437 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b
2.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b
2.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b
2.438 * [taylor]: Taking taylor expansion of 1/3 in b
2.438 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b
2.438 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.438 * [taylor]: Taking taylor expansion of b in b
2.439 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in z
2.439 * [taylor]: Taking taylor expansion of (* a z) in z
2.439 * [taylor]: Taking taylor expansion of a in z
2.439 * [taylor]: Taking taylor expansion of z in z
2.439 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z
2.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z
2.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z
2.439 * [taylor]: Taking taylor expansion of 1/3 in z
2.439 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z
2.439 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.439 * [taylor]: Taking taylor expansion of b in z
2.439 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a
2.439 * [taylor]: Taking taylor expansion of (* a z) in a
2.439 * [taylor]: Taking taylor expansion of a in a
2.439 * [taylor]: Taking taylor expansion of z in a
2.439 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a
2.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a
2.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a
2.439 * [taylor]: Taking taylor expansion of 1/3 in a
2.439 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a
2.439 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.439 * [taylor]: Taking taylor expansion of b in a
2.439 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a
2.439 * [taylor]: Taking taylor expansion of (* a z) in a
2.439 * [taylor]: Taking taylor expansion of a in a
2.440 * [taylor]: Taking taylor expansion of z in a
2.440 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a
2.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a
2.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a
2.440 * [taylor]: Taking taylor expansion of 1/3 in a
2.440 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a
2.440 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.440 * [taylor]: Taking taylor expansion of b in a
2.440 * [taylor]: Taking taylor expansion of 0 in z
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.442 * [taylor]: Taking taylor expansion of (* z (pow (pow b 2) 1/3)) in z
2.442 * [taylor]: Taking taylor expansion of z in z
2.442 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z
2.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z
2.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z
2.442 * [taylor]: Taking taylor expansion of 1/3 in z
2.442 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z
2.442 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.442 * [taylor]: Taking taylor expansion of b in z
2.443 * [taylor]: Taking taylor expansion of 0 in b
2.443 * [taylor]: Taking taylor expansion of 0 in b
2.446 * [taylor]: Taking taylor expansion of 0 in z
2.446 * [taylor]: Taking taylor expansion of 0 in b
2.448 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b
2.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b
2.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b
2.448 * [taylor]: Taking taylor expansion of 1/3 in b
2.448 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b
2.448 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.448 * [taylor]: Taking taylor expansion of b in b
2.449 * [taylor]: Taking taylor expansion of 0 in b
2.454 * [taylor]: Taking taylor expansion of 0 in z
2.454 * [taylor]: Taking taylor expansion of 0 in b
2.454 * [taylor]: Taking taylor expansion of 0 in b
2.455 * [approximate]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0
2.455 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b
2.455 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b
2.455 * [taylor]: Taking taylor expansion of (* a z) in b
2.455 * [taylor]: Taking taylor expansion of a in b
2.455 * [taylor]: Taking taylor expansion of z in b
2.455 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.455 * [taylor]: Taking taylor expansion of 1/3 in b
2.455 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.455 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.455 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.455 * [taylor]: Taking taylor expansion of b in b
2.456 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z
2.456 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
2.456 * [taylor]: Taking taylor expansion of (* a z) in z
2.456 * [taylor]: Taking taylor expansion of a in z
2.456 * [taylor]: Taking taylor expansion of z in z
2.456 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.457 * [taylor]: Taking taylor expansion of 1/3 in z
2.457 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.457 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.457 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.457 * [taylor]: Taking taylor expansion of b in z
2.457 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.457 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
2.457 * [taylor]: Taking taylor expansion of (* a z) in a
2.457 * [taylor]: Taking taylor expansion of a in a
2.457 * [taylor]: Taking taylor expansion of z in a
2.457 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.457 * [taylor]: Taking taylor expansion of 1/3 in a
2.457 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.457 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.457 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.457 * [taylor]: Taking taylor expansion of b in a
2.458 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.458 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
2.458 * [taylor]: Taking taylor expansion of (* a z) in a
2.458 * [taylor]: Taking taylor expansion of a in a
2.458 * [taylor]: Taking taylor expansion of z in a
2.458 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.458 * [taylor]: Taking taylor expansion of 1/3 in a
2.458 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.458 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.458 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.458 * [taylor]: Taking taylor expansion of b in a
2.459 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow b 2)) 1/3)) in z
2.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.459 * [taylor]: Taking taylor expansion of z in z
2.459 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.459 * [taylor]: Taking taylor expansion of 1/3 in z
2.459 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.459 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.459 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.459 * [taylor]: Taking taylor expansion of b in z
2.460 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.460 * [taylor]: Taking taylor expansion of 1/3 in b
2.460 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.460 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.460 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.460 * [taylor]: Taking taylor expansion of b in b
2.463 * [taylor]: Taking taylor expansion of 0 in z
2.466 * [taylor]: Taking taylor expansion of 0 in b
2.473 * [taylor]: Taking taylor expansion of 0 in z
2.473 * [taylor]: Taking taylor expansion of 0 in b
2.480 * [taylor]: Taking taylor expansion of 0 in b
2.485 * [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.485 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b
2.485 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in b
2.485 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b
2.485 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.485 * [taylor]: Taking taylor expansion of -1 in b
2.486 * [taylor]: Taking taylor expansion of (* a z) in b
2.486 * [taylor]: Taking taylor expansion of a in b
2.486 * [taylor]: Taking taylor expansion of z in b
2.487 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.487 * [taylor]: Taking taylor expansion of 1/3 in b
2.487 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.487 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.487 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.487 * [taylor]: Taking taylor expansion of b in b
2.488 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z
2.488 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in z
2.488 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.488 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.488 * [taylor]: Taking taylor expansion of -1 in z
2.489 * [taylor]: Taking taylor expansion of (* a z) in z
2.489 * [taylor]: Taking taylor expansion of a in z
2.489 * [taylor]: Taking taylor expansion of z in z
2.491 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.491 * [taylor]: Taking taylor expansion of 1/3 in z
2.491 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.491 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.491 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.491 * [taylor]: Taking taylor expansion of b in z
2.492 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.492 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a
2.492 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
2.492 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.492 * [taylor]: Taking taylor expansion of -1 in a
2.492 * [taylor]: Taking taylor expansion of (* a z) in a
2.492 * [taylor]: Taking taylor expansion of a in a
2.492 * [taylor]: Taking taylor expansion of z in a
2.494 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.494 * [taylor]: Taking taylor expansion of 1/3 in a
2.494 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.494 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.494 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.494 * [taylor]: Taking taylor expansion of b in a
2.495 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a
2.495 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a
2.495 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
2.495 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.495 * [taylor]: Taking taylor expansion of -1 in a
2.495 * [taylor]: Taking taylor expansion of (* a z) in a
2.496 * [taylor]: Taking taylor expansion of a in a
2.496 * [taylor]: Taking taylor expansion of z in a
2.497 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a
2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a
2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a
2.497 * [taylor]: Taking taylor expansion of 1/3 in a
2.497 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a
2.497 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
2.497 * [taylor]: Taking taylor expansion of (pow b 2) in a
2.497 * [taylor]: Taking taylor expansion of b in a
2.499 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow b 2)) 1/3)) in z
2.499 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z
2.499 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.499 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.499 * [taylor]: Taking taylor expansion of -1 in z
2.499 * [taylor]: Taking taylor expansion of z in z
2.501 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z
2.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z
2.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z
2.501 * [taylor]: Taking taylor expansion of 1/3 in z
2.501 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z
2.501 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z
2.501 * [taylor]: Taking taylor expansion of (pow b 2) in z
2.502 * [taylor]: Taking taylor expansion of b in z
2.503 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b
2.503 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b
2.503 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.503 * [taylor]: Taking taylor expansion of -1 in b
2.503 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.503 * [taylor]: Taking taylor expansion of 1/3 in b
2.503 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.503 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.504 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.504 * [taylor]: Taking taylor expansion of b in b
2.511 * [taylor]: Taking taylor expansion of 0 in z
2.515 * [taylor]: Taking taylor expansion of 0 in b
2.525 * [taylor]: Taking taylor expansion of 0 in z
2.525 * [taylor]: Taking taylor expansion of 0 in b
2.531 * [taylor]: Taking taylor expansion of 0 in b
2.538 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.538 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
2.538 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
2.538 * [taylor]: Taking taylor expansion of a in b
2.538 * [taylor]: Taking taylor expansion of (* z b) in b
2.538 * [taylor]: Taking taylor expansion of z in b
2.538 * [taylor]: Taking taylor expansion of b in b
2.538 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
2.538 * [taylor]: Taking taylor expansion of a in z
2.538 * [taylor]: Taking taylor expansion of (* z b) in z
2.539 * [taylor]: Taking taylor expansion of z in z
2.539 * [taylor]: Taking taylor expansion of b in z
2.539 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.539 * [taylor]: Taking taylor expansion of a in a
2.539 * [taylor]: Taking taylor expansion of (* z b) in a
2.539 * [taylor]: Taking taylor expansion of z in a
2.539 * [taylor]: Taking taylor expansion of b in a
2.539 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.539 * [taylor]: Taking taylor expansion of a in a
2.539 * [taylor]: Taking taylor expansion of (* z b) in a
2.539 * [taylor]: Taking taylor expansion of z in a
2.539 * [taylor]: Taking taylor expansion of b in a
2.539 * [taylor]: Taking taylor expansion of 0 in z
2.539 * [taylor]: Taking taylor expansion of 0 in b
2.539 * [taylor]: Taking taylor expansion of (* z b) in z
2.539 * [taylor]: Taking taylor expansion of z in z
2.539 * [taylor]: Taking taylor expansion of b in z
2.539 * [taylor]: Taking taylor expansion of 0 in b
2.539 * [taylor]: Taking taylor expansion of 0 in b
2.540 * [taylor]: Taking taylor expansion of 0 in z
2.540 * [taylor]: Taking taylor expansion of 0 in b
2.541 * [taylor]: Taking taylor expansion of b in b
2.541 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
2.541 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
2.541 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
2.541 * [taylor]: Taking taylor expansion of a in b
2.541 * [taylor]: Taking taylor expansion of (* z b) in b
2.541 * [taylor]: Taking taylor expansion of z in b
2.541 * [taylor]: Taking taylor expansion of b in b
2.542 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
2.542 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
2.542 * [taylor]: Taking taylor expansion of a in z
2.542 * [taylor]: Taking taylor expansion of (* z b) in z
2.542 * [taylor]: Taking taylor expansion of z in z
2.542 * [taylor]: Taking taylor expansion of b in z
2.542 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
2.542 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.542 * [taylor]: Taking taylor expansion of a in a
2.542 * [taylor]: Taking taylor expansion of (* z b) in a
2.542 * [taylor]: Taking taylor expansion of z in a
2.542 * [taylor]: Taking taylor expansion of b in a
2.543 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
2.543 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
2.543 * [taylor]: Taking taylor expansion of a in a
2.543 * [taylor]: Taking taylor expansion of (* z b) in a
2.543 * [taylor]: Taking taylor expansion of z in a
2.543 * [taylor]: Taking taylor expansion of b in a
2.543 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
2.543 * [taylor]: Taking taylor expansion of (* z b) in z
2.543 * [taylor]: Taking taylor expansion of z in z
2.543 * [taylor]: Taking taylor expansion of b in z
2.544 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.544 * [taylor]: Taking taylor expansion of b in b
2.545 * [taylor]: Taking taylor expansion of 0 in z
2.545 * [taylor]: Taking taylor expansion of 0 in b
2.547 * [taylor]: Taking taylor expansion of 0 in z
2.547 * [taylor]: Taking taylor expansion of 0 in b
2.548 * [taylor]: Taking taylor expansion of 0 in b
2.551 * [taylor]: Taking taylor expansion of 0 in z
2.551 * [taylor]: Taking taylor expansion of 0 in b
2.551 * [taylor]: Taking taylor expansion of 0 in b
2.552 * [taylor]: Taking taylor expansion of 0 in b
2.552 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in (a z b) around 0
2.552 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in b
2.552 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b
2.552 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.552 * [taylor]: Taking taylor expansion of -1 in b
2.553 * [taylor]: Taking taylor expansion of (* b (* z a)) in b
2.553 * [taylor]: Taking taylor expansion of b in b
2.553 * [taylor]: Taking taylor expansion of (* z a) in b
2.553 * [taylor]: Taking taylor expansion of z in b
2.553 * [taylor]: Taking taylor expansion of a in b
2.556 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in z
2.556 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.556 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.556 * [taylor]: Taking taylor expansion of -1 in z
2.557 * [taylor]: Taking taylor expansion of (* b (* z a)) in z
2.557 * [taylor]: Taking taylor expansion of b in z
2.557 * [taylor]: Taking taylor expansion of (* z a) in z
2.557 * [taylor]: Taking taylor expansion of z in z
2.557 * [taylor]: Taking taylor expansion of a in z
2.561 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
2.561 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
2.561 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.561 * [taylor]: Taking taylor expansion of -1 in a
2.562 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
2.562 * [taylor]: Taking taylor expansion of b in a
2.562 * [taylor]: Taking taylor expansion of (* z a) in a
2.562 * [taylor]: Taking taylor expansion of z in a
2.562 * [taylor]: Taking taylor expansion of a in a
2.566 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
2.566 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
2.566 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.566 * [taylor]: Taking taylor expansion of -1 in a
2.572 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
2.572 * [taylor]: Taking taylor expansion of b in a
2.572 * [taylor]: Taking taylor expansion of (* z a) in a
2.572 * [taylor]: Taking taylor expansion of z in a
2.572 * [taylor]: Taking taylor expansion of a in a
2.575 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
2.575 * [taylor]: Taking taylor expansion of -1 in z
2.575 * [taylor]: Taking taylor expansion of (* z b) in z
2.575 * [taylor]: Taking taylor expansion of z in z
2.575 * [taylor]: Taking taylor expansion of b in z
2.576 * [taylor]: Taking taylor expansion of (/ -1 b) in b
2.576 * [taylor]: Taking taylor expansion of -1 in b
2.576 * [taylor]: Taking taylor expansion of b in b
2.578 * [taylor]: Taking taylor expansion of 0 in z
2.579 * [taylor]: Taking taylor expansion of 0 in b
2.582 * [taylor]: Taking taylor expansion of 0 in z
2.582 * [taylor]: Taking taylor expansion of 0 in b
2.583 * [taylor]: Taking taylor expansion of 0 in b
2.588 * [taylor]: Taking taylor expansion of 0 in z
2.588 * [taylor]: Taking taylor expansion of 0 in b
2.588 * [taylor]: Taking taylor expansion of 0 in b
2.589 * [taylor]: Taking taylor expansion of 0 in b
2.589 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
2.589 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0
2.589 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
2.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
2.589 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
2.589 * [taylor]: Taking taylor expansion of 1/3 in b
2.589 * [taylor]: Taking taylor expansion of (log b) in b
2.589 * [taylor]: Taking taylor expansion of b in b
2.590 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
2.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
2.590 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
2.590 * [taylor]: Taking taylor expansion of 1/3 in b
2.590 * [taylor]: Taking taylor expansion of (log b) in b
2.590 * [taylor]: Taking taylor expansion of b in b
2.640 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0
2.640 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.640 * [taylor]: Taking taylor expansion of 1/3 in b
2.640 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.640 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.640 * [taylor]: Taking taylor expansion of b in b
2.641 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.641 * [taylor]: Taking taylor expansion of 1/3 in b
2.641 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.641 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.641 * [taylor]: Taking taylor expansion of b in b
2.699 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0
2.699 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
2.699 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.699 * [taylor]: Taking taylor expansion of -1 in b
2.699 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.700 * [taylor]: Taking taylor expansion of 1/3 in b
2.700 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.700 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.700 * [taylor]: Taking taylor expansion of b in b
2.700 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
2.700 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.700 * [taylor]: Taking taylor expansion of -1 in b
2.701 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.701 * [taylor]: Taking taylor expansion of 1/3 in b
2.701 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.701 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.701 * [taylor]: Taking taylor expansion of b in b
2.771 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2)
2.771 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0
2.771 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
2.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
2.771 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
2.771 * [taylor]: Taking taylor expansion of 1/3 in b
2.771 * [taylor]: Taking taylor expansion of (log b) in b
2.771 * [taylor]: Taking taylor expansion of b in b
2.772 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
2.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
2.772 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
2.772 * [taylor]: Taking taylor expansion of 1/3 in b
2.772 * [taylor]: Taking taylor expansion of (log b) in b
2.772 * [taylor]: Taking taylor expansion of b in b
2.826 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0
2.826 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.826 * [taylor]: Taking taylor expansion of 1/3 in b
2.826 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.826 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.826 * [taylor]: Taking taylor expansion of b in b
2.827 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.827 * [taylor]: Taking taylor expansion of 1/3 in b
2.827 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.827 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.827 * [taylor]: Taking taylor expansion of b in b
2.884 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0
2.884 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
2.884 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.884 * [taylor]: Taking taylor expansion of -1 in b
2.885 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.885 * [taylor]: Taking taylor expansion of 1/3 in b
2.885 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.885 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.885 * [taylor]: Taking taylor expansion of b in b
2.886 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
2.886 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.886 * [taylor]: Taking taylor expansion of -1 in b
2.886 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.887 * [taylor]: Taking taylor expansion of 1/3 in b
2.887 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.887 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.887 * [taylor]: Taking taylor expansion of b in b
2.949 * * * [progress]: simplifying candidates
2.950 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 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)))
  (* (* (* 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))
  (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))
  (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))
2.953 * * [simplify]: iteration  0 :  95  enodes  (cost  943 )
2.977 * * [simplify]: iteration  1 :  260  enodes  (cost  906 )
3.060 * * [simplify]: iteration  2 :  1075  enodes  (cost  600 )
3.774 * * [simplify]: iteration  done :  5000  enodes  (cost  600 )
3.775 * [simplify]: Simplified to:
   (* (pow b 2/3) (* a z))
  (* (pow b 2/3) (* a z))
  (* (pow b 2/3) (* a z))
  (* (pow b 2/3) (* a z))
  (log (* (pow b 2/3) (* a z)))
  (log (* (pow b 2/3) (* a z)))
  (log (* (pow b 2/3) (* a z)))
  (log (* (pow b 2/3) (* a z)))
  (log (* (pow b 2/3) (* a z)))
  (pow (exp (* a z)) (pow b 2/3))
  (* (* b b) (pow (* a z) 3))
  (pow (* (pow b 2/3) (* a z)) 3)
  (* (* b b) (pow (* a z) 3))
  (pow (* (pow b 2/3) (* a z)) 3)
  (* (cbrt (* (pow b 2/3) (* a z))) (cbrt (* (pow b 2/3) (* a z))))
  (cbrt (* (pow b 2/3) (* a z)))
  (pow (* (pow b 2/3) (* a z)) 3)
  (sqrt (* (pow b 2/3) (* a z)))
  (sqrt (* (pow b 2/3) (* a z)))
  (* (* a z) (cbrt b))
  (* z (pow b 2/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))
  (* b (pow (* (pow b 2/3) (* a z)) 3))
  (* (pow (* a z) 3) (pow b 3))
  (* b (pow (* (pow b 2/3) (* a z)) 3))
  (* b (pow (* (pow b 2/3) (* a z)) 3))
  (* (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))))
  (* (* (cbrt (pow b 2/3)) a) (* (pow b 2/3) z))
  (* (pow b 2/3) (* (* a z) (cbrt (sqrt b))))
  (* (pow b 2/3) (* a z))
  (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) a) (* (pow b 2/3) z))
  (* (* (sqrt (cbrt b)) (* a z)) (pow b 2/3))
  (* (pow b 2/3) (* a z))
  (pow (cbrt b) 3)
  (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))
  (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 (pow b 2)))
  (* (* a z) (cbrt (pow b 2)))
  (* (pow (cbrt -1) 2) (* (* a z) (cbrt (pow b 2))))
  0
  (* a (* z b))
  (* a (* z b))
  (cbrt b)
  (pow (/ 1 b) -1/3)
  (* (cbrt -1) (cbrt (- b)))
  (cbrt b)
  (pow (/ 1 b) -1/3)
  (* (cbrt -1) (cbrt (- b)))
3.775 * * * [progress]: adding candidates to table
4.055 * * [progress]: iteration 4 / 4
4.055 * * * [progress]: picking best candidate
4.064 * * * * [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.064 * * * [progress]: localizing error
4.081 * * * [progress]: generating rewritten candidates
4.081 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
4.088 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
4.114 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
4.115 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
4.117 * * * [progress]: generating series expansions
4.117 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
4.118 * [approximate]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in (a z b) around 0
4.118 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in b
4.118 * [taylor]: Taking taylor expansion of (pow a 1/3) in b
4.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in b
4.118 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in b
4.118 * [taylor]: Taking taylor expansion of 1/3 in b
4.118 * [taylor]: Taking taylor expansion of (log a) in b
4.118 * [taylor]: Taking taylor expansion of a in b
4.118 * [taylor]: Taking taylor expansion of (* z b) in b
4.118 * [taylor]: Taking taylor expansion of z in b
4.118 * [taylor]: Taking taylor expansion of b in b
4.118 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in z
4.118 * [taylor]: Taking taylor expansion of (pow a 1/3) in z
4.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in z
4.118 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in z
4.118 * [taylor]: Taking taylor expansion of 1/3 in z
4.118 * [taylor]: Taking taylor expansion of (log a) in z
4.118 * [taylor]: Taking taylor expansion of a in z
4.118 * [taylor]: Taking taylor expansion of (* z b) in z
4.118 * [taylor]: Taking taylor expansion of z in z
4.118 * [taylor]: Taking taylor expansion of b in z
4.118 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in a
4.118 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.118 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.118 * [taylor]: Taking taylor expansion of 1/3 in a
4.118 * [taylor]: Taking taylor expansion of (log a) in a
4.118 * [taylor]: Taking taylor expansion of a in a
4.119 * [taylor]: Taking taylor expansion of (* z b) in a
4.119 * [taylor]: Taking taylor expansion of z in a
4.119 * [taylor]: Taking taylor expansion of b in a
4.119 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in a
4.119 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.119 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.119 * [taylor]: Taking taylor expansion of 1/3 in a
4.119 * [taylor]: Taking taylor expansion of (log a) in a
4.119 * [taylor]: Taking taylor expansion of a in a
4.120 * [taylor]: Taking taylor expansion of (* z b) in a
4.120 * [taylor]: Taking taylor expansion of z in a
4.120 * [taylor]: Taking taylor expansion of b in a
4.120 * [taylor]: Taking taylor expansion of (* (pow a 1/3) (* z b)) in z
4.120 * [taylor]: Taking taylor expansion of (pow a 1/3) in z
4.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in z
4.120 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in z
4.120 * [taylor]: Taking taylor expansion of 1/3 in z
4.120 * [taylor]: Taking taylor expansion of (log a) in z
4.120 * [taylor]: Taking taylor expansion of a in z
4.120 * [taylor]: Taking taylor expansion of (* z b) in z
4.120 * [taylor]: Taking taylor expansion of z in z
4.120 * [taylor]: Taking taylor expansion of b in z
4.120 * [taylor]: Taking taylor expansion of 0 in b
4.122 * [taylor]: Taking taylor expansion of 0 in z
4.123 * [taylor]: Taking taylor expansion of 0 in b
4.124 * [taylor]: Taking taylor expansion of (* (pow a 1/3) b) in b
4.124 * [taylor]: Taking taylor expansion of (pow a 1/3) in b
4.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in b
4.125 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in b
4.125 * [taylor]: Taking taylor expansion of 1/3 in b
4.125 * [taylor]: Taking taylor expansion of (log a) in b
4.125 * [taylor]: Taking taylor expansion of a in b
4.125 * [taylor]: Taking taylor expansion of b in b
4.128 * [taylor]: Taking taylor expansion of 0 in z
4.129 * [taylor]: Taking taylor expansion of 0 in b
4.129 * [taylor]: Taking taylor expansion of 0 in b
4.129 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in (a z b) around 0
4.129 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in b
4.129 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.129 * [taylor]: Taking taylor expansion of 1/3 in b
4.129 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.129 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.129 * [taylor]: Taking taylor expansion of a in b
4.129 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in b
4.129 * [taylor]: Taking taylor expansion of (* z b) in b
4.129 * [taylor]: Taking taylor expansion of z in b
4.129 * [taylor]: Taking taylor expansion of b in b
4.129 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in z
4.129 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.129 * [taylor]: Taking taylor expansion of 1/3 in z
4.129 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.130 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.130 * [taylor]: Taking taylor expansion of a in z
4.130 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
4.130 * [taylor]: Taking taylor expansion of (* z b) in z
4.130 * [taylor]: Taking taylor expansion of z in z
4.130 * [taylor]: Taking taylor expansion of b in z
4.130 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in a
4.130 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.130 * [taylor]: Taking taylor expansion of 1/3 in a
4.130 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.130 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.130 * [taylor]: Taking taylor expansion of a in a
4.131 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in a
4.131 * [taylor]: Taking taylor expansion of (* z b) in a
4.131 * [taylor]: Taking taylor expansion of z in a
4.131 * [taylor]: Taking taylor expansion of b in a
4.131 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in a
4.131 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.131 * [taylor]: Taking taylor expansion of 1/3 in a
4.131 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.131 * [taylor]: Taking taylor expansion of a in a
4.132 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in a
4.132 * [taylor]: Taking taylor expansion of (* z b) in a
4.132 * [taylor]: Taking taylor expansion of z in a
4.132 * [taylor]: Taking taylor expansion of b in a
4.132 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 (* z b))) in z
4.132 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.132 * [taylor]: Taking taylor expansion of 1/3 in z
4.132 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.132 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.132 * [taylor]: Taking taylor expansion of a in z
4.133 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
4.133 * [taylor]: Taking taylor expansion of (* z b) in z
4.133 * [taylor]: Taking taylor expansion of z in z
4.133 * [taylor]: Taking taylor expansion of b in z
4.133 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (/ 1 b)) in b
4.133 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.133 * [taylor]: Taking taylor expansion of 1/3 in b
4.133 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.133 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.133 * [taylor]: Taking taylor expansion of a in b
4.133 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.133 * [taylor]: Taking taylor expansion of b in b
4.136 * [taylor]: Taking taylor expansion of 0 in z
4.138 * [taylor]: Taking taylor expansion of 0 in b
4.145 * [taylor]: Taking taylor expansion of 0 in z
4.145 * [taylor]: Taking taylor expansion of 0 in b
4.148 * [taylor]: Taking taylor expansion of 0 in b
4.158 * [taylor]: Taking taylor expansion of 0 in z
4.158 * [taylor]: Taking taylor expansion of 0 in b
4.158 * [taylor]: Taking taylor expansion of 0 in b
4.164 * [taylor]: Taking taylor expansion of 0 in b
4.164 * [approximate]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in (a z b) around 0
4.164 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in b
4.164 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in b
4.164 * [taylor]: Taking taylor expansion of (cbrt -1) in b
4.164 * [taylor]: Taking taylor expansion of -1 in b
4.165 * [taylor]: Taking taylor expansion of (* b z) in b
4.165 * [taylor]: Taking taylor expansion of b in b
4.165 * [taylor]: Taking taylor expansion of z in b
4.166 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.166 * [taylor]: Taking taylor expansion of 1/3 in b
4.166 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.166 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.166 * [taylor]: Taking taylor expansion of a in b
4.166 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in z
4.166 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in z
4.166 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.166 * [taylor]: Taking taylor expansion of -1 in z
4.167 * [taylor]: Taking taylor expansion of (* b z) in z
4.167 * [taylor]: Taking taylor expansion of b in z
4.167 * [taylor]: Taking taylor expansion of z in z
4.167 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.167 * [taylor]: Taking taylor expansion of 1/3 in z
4.167 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.167 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.167 * [taylor]: Taking taylor expansion of a in z
4.167 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in a
4.167 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in a
4.167 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.168 * [taylor]: Taking taylor expansion of -1 in a
4.168 * [taylor]: Taking taylor expansion of (* b z) in a
4.168 * [taylor]: Taking taylor expansion of b in a
4.168 * [taylor]: Taking taylor expansion of z in a
4.169 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.169 * [taylor]: Taking taylor expansion of 1/3 in a
4.169 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.169 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.169 * [taylor]: Taking taylor expansion of a in a
4.170 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* b z)) (pow (/ 1 a) 1/3)) in a
4.170 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* b z)) in a
4.170 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.170 * [taylor]: Taking taylor expansion of -1 in a
4.170 * [taylor]: Taking taylor expansion of (* b z) in a
4.170 * [taylor]: Taking taylor expansion of b in a
4.170 * [taylor]: Taking taylor expansion of z in a
4.171 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.171 * [taylor]: Taking taylor expansion of 1/3 in a
4.171 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.171 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.171 * [taylor]: Taking taylor expansion of a in a
4.172 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* z b)) (pow (/ 1 a) 1/3)) in z
4.172 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* z b)) in z
4.172 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.172 * [taylor]: Taking taylor expansion of -1 in z
4.173 * [taylor]: Taking taylor expansion of (* z b) in z
4.173 * [taylor]: Taking taylor expansion of z in z
4.173 * [taylor]: Taking taylor expansion of b in z
4.174 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in z
4.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in z
4.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in z
4.174 * [taylor]: Taking taylor expansion of 1/3 in z
4.174 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in z
4.174 * [taylor]: Taking taylor expansion of (/ 1 a) in z
4.174 * [taylor]: Taking taylor expansion of a in z
4.174 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) b) (pow (/ 1 a) 1/3)) in b
4.174 * [taylor]: Taking taylor expansion of (/ (cbrt -1) b) in b
4.174 * [taylor]: Taking taylor expansion of (cbrt -1) in b
4.174 * [taylor]: Taking taylor expansion of -1 in b
4.175 * [taylor]: Taking taylor expansion of b in b
4.176 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in b
4.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in b
4.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in b
4.176 * [taylor]: Taking taylor expansion of 1/3 in b
4.176 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in b
4.176 * [taylor]: Taking taylor expansion of (/ 1 a) in b
4.176 * [taylor]: Taking taylor expansion of a in b
4.180 * [taylor]: Taking taylor expansion of 0 in z
4.183 * [taylor]: Taking taylor expansion of 0 in b
4.192 * [taylor]: Taking taylor expansion of 0 in z
4.192 * [taylor]: Taking taylor expansion of 0 in b
4.197 * [taylor]: Taking taylor expansion of 0 in b
4.215 * [taylor]: Taking taylor expansion of 0 in z
4.215 * [taylor]: Taking taylor expansion of 0 in b
4.215 * [taylor]: Taking taylor expansion of 0 in b
4.221 * [taylor]: Taking taylor expansion of 0 in b
4.222 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
4.222 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0
4.222 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
4.222 * [taylor]: Taking taylor expansion of a in b
4.222 * [taylor]: Taking taylor expansion of (* z b) in b
4.222 * [taylor]: Taking taylor expansion of z in b
4.222 * [taylor]: Taking taylor expansion of b in b
4.222 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
4.222 * [taylor]: Taking taylor expansion of a in z
4.222 * [taylor]: Taking taylor expansion of (* z b) in z
4.222 * [taylor]: Taking taylor expansion of z in z
4.222 * [taylor]: Taking taylor expansion of b in z
4.222 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.222 * [taylor]: Taking taylor expansion of a in a
4.222 * [taylor]: Taking taylor expansion of (* z b) in a
4.223 * [taylor]: Taking taylor expansion of z in a
4.223 * [taylor]: Taking taylor expansion of b in a
4.223 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.223 * [taylor]: Taking taylor expansion of a in a
4.223 * [taylor]: Taking taylor expansion of (* z b) in a
4.223 * [taylor]: Taking taylor expansion of z in a
4.223 * [taylor]: Taking taylor expansion of b in a
4.223 * [taylor]: Taking taylor expansion of 0 in z
4.223 * [taylor]: Taking taylor expansion of 0 in b
4.223 * [taylor]: Taking taylor expansion of (* z b) in z
4.223 * [taylor]: Taking taylor expansion of z in z
4.223 * [taylor]: Taking taylor expansion of b in z
4.223 * [taylor]: Taking taylor expansion of 0 in b
4.223 * [taylor]: Taking taylor expansion of 0 in b
4.224 * [taylor]: Taking taylor expansion of 0 in z
4.224 * [taylor]: Taking taylor expansion of 0 in b
4.224 * [taylor]: Taking taylor expansion of b in b
4.225 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0
4.225 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b
4.225 * [taylor]: Taking taylor expansion of (* a (* z b)) in b
4.225 * [taylor]: Taking taylor expansion of a in b
4.225 * [taylor]: Taking taylor expansion of (* z b) in b
4.225 * [taylor]: Taking taylor expansion of z in b
4.225 * [taylor]: Taking taylor expansion of b in b
4.226 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z
4.226 * [taylor]: Taking taylor expansion of (* a (* z b)) in z
4.226 * [taylor]: Taking taylor expansion of a in z
4.226 * [taylor]: Taking taylor expansion of (* z b) in z
4.226 * [taylor]: Taking taylor expansion of z in z
4.226 * [taylor]: Taking taylor expansion of b in z
4.226 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
4.226 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.226 * [taylor]: Taking taylor expansion of a in a
4.226 * [taylor]: Taking taylor expansion of (* z b) in a
4.226 * [taylor]: Taking taylor expansion of z in a
4.226 * [taylor]: Taking taylor expansion of b in a
4.227 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a
4.227 * [taylor]: Taking taylor expansion of (* a (* z b)) in a
4.227 * [taylor]: Taking taylor expansion of a in a
4.227 * [taylor]: Taking taylor expansion of (* z b) in a
4.227 * [taylor]: Taking taylor expansion of z in a
4.227 * [taylor]: Taking taylor expansion of b in a
4.227 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z
4.227 * [taylor]: Taking taylor expansion of (* z b) in z
4.227 * [taylor]: Taking taylor expansion of z in z
4.228 * [taylor]: Taking taylor expansion of b in z
4.228 * [taylor]: Taking taylor expansion of (/ 1 b) in b
4.228 * [taylor]: Taking taylor expansion of b in b
4.229 * [taylor]: Taking taylor expansion of 0 in z
4.230 * [taylor]: Taking taylor expansion of 0 in b
4.232 * [taylor]: Taking taylor expansion of 0 in z
4.232 * [taylor]: Taking taylor expansion of 0 in b
4.233 * [taylor]: Taking taylor expansion of 0 in b
4.235 * [taylor]: Taking taylor expansion of 0 in z
4.235 * [taylor]: Taking taylor expansion of 0 in b
4.235 * [taylor]: Taking taylor expansion of 0 in b
4.236 * [taylor]: Taking taylor expansion of 0 in b
4.237 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in (a z b) around 0
4.237 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in b
4.237 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b
4.237 * [taylor]: Taking taylor expansion of (cbrt -1) in b
4.237 * [taylor]: Taking taylor expansion of -1 in b
4.238 * [taylor]: Taking taylor expansion of (* b (* z a)) in b
4.238 * [taylor]: Taking taylor expansion of b in b
4.238 * [taylor]: Taking taylor expansion of (* z a) in b
4.238 * [taylor]: Taking taylor expansion of z in b
4.238 * [taylor]: Taking taylor expansion of a in b
4.241 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in z
4.241 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
4.241 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.241 * [taylor]: Taking taylor expansion of -1 in z
4.242 * [taylor]: Taking taylor expansion of (* b (* z a)) in z
4.242 * [taylor]: Taking taylor expansion of b in z
4.242 * [taylor]: Taking taylor expansion of (* z a) in z
4.242 * [taylor]: Taking taylor expansion of z in z
4.242 * [taylor]: Taking taylor expansion of a in z
4.245 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
4.245 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
4.245 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.245 * [taylor]: Taking taylor expansion of -1 in a
4.246 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
4.246 * [taylor]: Taking taylor expansion of b in a
4.246 * [taylor]: Taking taylor expansion of (* z a) in a
4.246 * [taylor]: Taking taylor expansion of z in a
4.246 * [taylor]: Taking taylor expansion of a in a
4.250 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a
4.250 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
4.250 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.250 * [taylor]: Taking taylor expansion of -1 in a
4.250 * [taylor]: Taking taylor expansion of (* b (* z a)) in a
4.250 * [taylor]: Taking taylor expansion of b in a
4.250 * [taylor]: Taking taylor expansion of (* z a) in a
4.250 * [taylor]: Taking taylor expansion of z in a
4.250 * [taylor]: Taking taylor expansion of a in a
4.254 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z
4.254 * [taylor]: Taking taylor expansion of -1 in z
4.254 * [taylor]: Taking taylor expansion of (* z b) in z
4.254 * [taylor]: Taking taylor expansion of z in z
4.254 * [taylor]: Taking taylor expansion of b in z
4.254 * [taylor]: Taking taylor expansion of (/ -1 b) in b
4.254 * [taylor]: Taking taylor expansion of -1 in b
4.254 * [taylor]: Taking taylor expansion of b in b
4.257 * [taylor]: Taking taylor expansion of 0 in z
4.257 * [taylor]: Taking taylor expansion of 0 in b
4.261 * [taylor]: Taking taylor expansion of 0 in z
4.261 * [taylor]: Taking taylor expansion of 0 in b
4.262 * [taylor]: Taking taylor expansion of 0 in b
4.266 * [taylor]: Taking taylor expansion of 0 in z
4.266 * [taylor]: Taking taylor expansion of 0 in b
4.266 * [taylor]: Taking taylor expansion of 0 in b
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.268 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
4.268 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
4.268 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.268 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.268 * [taylor]: Taking taylor expansion of 1/3 in a
4.268 * [taylor]: Taking taylor expansion of (log a) in a
4.268 * [taylor]: Taking taylor expansion of a in a
4.268 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.269 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.269 * [taylor]: Taking taylor expansion of 1/3 in a
4.269 * [taylor]: Taking taylor expansion of (log a) in a
4.269 * [taylor]: Taking taylor expansion of a in a
4.322 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
4.322 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.322 * [taylor]: Taking taylor expansion of 1/3 in a
4.322 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.322 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.322 * [taylor]: Taking taylor expansion of a in a
4.323 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.324 * [taylor]: Taking taylor expansion of 1/3 in a
4.324 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.324 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.324 * [taylor]: Taking taylor expansion of a in a
4.381 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
4.381 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
4.381 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.381 * [taylor]: Taking taylor expansion of -1 in a
4.382 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.382 * [taylor]: Taking taylor expansion of 1/3 in a
4.382 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.382 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.382 * [taylor]: Taking taylor expansion of a in a
4.383 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
4.383 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.383 * [taylor]: Taking taylor expansion of -1 in a
4.384 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.384 * [taylor]: Taking taylor expansion of 1/3 in a
4.384 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.384 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.384 * [taylor]: Taking taylor expansion of a in a
4.453 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
4.453 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
4.453 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.453 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.453 * [taylor]: Taking taylor expansion of 1/3 in a
4.453 * [taylor]: Taking taylor expansion of (log a) in a
4.453 * [taylor]: Taking taylor expansion of a in a
4.454 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
4.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
4.454 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
4.454 * [taylor]: Taking taylor expansion of 1/3 in a
4.454 * [taylor]: Taking taylor expansion of (log a) in a
4.454 * [taylor]: Taking taylor expansion of a in a
4.502 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
4.502 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.502 * [taylor]: Taking taylor expansion of 1/3 in a
4.502 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.502 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.502 * [taylor]: Taking taylor expansion of a in a
4.503 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.503 * [taylor]: Taking taylor expansion of 1/3 in a
4.503 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.503 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.503 * [taylor]: Taking taylor expansion of a in a
4.561 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
4.561 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
4.561 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.561 * [taylor]: Taking taylor expansion of -1 in a
4.561 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.562 * [taylor]: Taking taylor expansion of 1/3 in a
4.562 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.562 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.562 * [taylor]: Taking taylor expansion of a in a
4.562 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
4.562 * [taylor]: Taking taylor expansion of (cbrt -1) in a
4.562 * [taylor]: Taking taylor expansion of -1 in a
4.563 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
4.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
4.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
4.563 * [taylor]: Taking taylor expansion of 1/3 in a
4.563 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
4.563 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.563 * [taylor]: Taking taylor expansion of a in a
4.633 * * * [progress]: simplifying candidates
4.634 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (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))
  (* (* (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)))
  (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))
  (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))
4.637 * * [simplify]: iteration  0 :  86  enodes  (cost  800 )
4.652 * * [simplify]: iteration  1 :  230  enodes  (cost  771 )
4.707 * * [simplify]: iteration  2 :  817  enodes  (cost  537 )
5.934 * * [simplify]: iteration  3 :  4687  enodes  (cost  439 )
7.333 * * [simplify]: iteration  done :  5000  enodes  (cost  439 )
7.333 * [simplify]: Simplified to:
   (* (* z b) (cbrt a))
  (* (* z b) (cbrt a))
  (log (* (cbrt a) (* z b)))
  (log (* (cbrt a) (* z b)))
  (log (* (cbrt a) (* z b)))
  (exp (* (cbrt a) (* z b)))
  (* a (pow (* z b) 3))
  (* a (pow (* z b) 3))
  (* (cbrt (* (cbrt a) (* z b))) (cbrt (* (cbrt a) (* z b))))
  (cbrt (* (cbrt a) (* z b)))
  (* a (pow (* z b) 3))
  (sqrt (* (cbrt a) (* z b)))
  (sqrt (* (cbrt a) (* z b)))
  (* (cbrt a) z)
  (* (cbrt (cbrt a)) (* z b))
  (* (cbrt (sqrt a)) (* z b))
  (* (* z b) (cbrt a))
  (* (cbrt (cbrt a)) (* z b))
  (* (sqrt (cbrt a)) (* z b))
  (* (* z b) (cbrt a))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (* a (* z b))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (log (* a (* z b)))
  (pow (exp (* z b)) a)
  (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))
  (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))
  (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
  (* (* z b) (cbrt a))
  (* (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)))
7.334 * * * [progress]: adding candidates to table
7.551 * [progress]: [Phase 3 of 3] Extracting.
7.551 * * [regime]: Finding splitpoints for: (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.554 * * * [regime-changes]: Trying 7 branch expressions: ((+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) b a t z y x)
7.554 * * * * [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)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<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)) (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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.603 * * * * [regimes]: Trying to branch on b from (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.640 * * * * [regimes]: Trying to branch on a from (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.678 * * * * [regimes]: Trying to branch on t from (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.721 * * * * [regimes]: Trying to branch on z from (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.752 * * * * [regimes]: Trying to branch on y from (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.786 * * * * [regimes]: Trying to branch on x from (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.819 * * * [regime]: Found split indices: #<option (#s(si 3 5) #s(si 4 241) #s(si 3 255))>
7.821 * [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)) (pow (* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b))) 1)))> #<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)) (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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.821 * [regimes]: Found splitpoints: (#s(sp 3 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) -inf.0) #s(sp 4 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) 1.8896693759190173e+279) #s(sp 3 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) +nan.0)) , with alts (#<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)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))> #<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)) (* (* a z) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x (* y z)) (* t a)) (pow (cbrt (pow (* a (* z b)) 3)) 1)))>)
7.821 * [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))))
7.822 * * [simplify]: iteration  0 :  24  enodes  (cost  85 )
7.823 * * [simplify]: iteration  1 :  39  enodes  (cost  67 )
7.824 * * [simplify]: iteration  done :  39  enodes  (cost  67 )
7.824 * [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)))
8.947 * [regime-testing]: Baseline error score: 1.9590215748853863
8.948 * [regime-testing]: Oracle error score: 0.03270592697138582
8.949 * [regime-testing]: End program error score: 0.5297419955727152
8.981 * [regime-testing]: Target error score: 0.4177128893885314