21.623 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.103 * * * [progress]: [2/2] Setting up program.
0.111 * [progress]: [Phase 2 of 3] Improving.
0.111 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
0.113 * * [simplify]: iteration  0 :  43  enodes  (cost  14 )
0.115 * * [simplify]: iteration  1 :  96  enodes  (cost  14 )
0.118 * * [simplify]: iteration  2 :  291  enodes  (cost  14 )
0.124 * * [simplify]: iteration  3 :  825  enodes  (cost  14 )
0.144 * * [simplify]: iteration  4 :  2021  enodes  (cost  14 )
0.195 * * [simplify]: iteration  5 :  5001  enodes  (cost  14 )
0.195 * [simplify]: Simplified to:
  (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
0.196 * * [progress]: iteration 1 / 4
0.196 * * * [progress]: picking best candidate
0.203 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))>
0.204 * * * [progress]: localizing error
0.223 * * * [progress]: generating rewritten candidates
0.223 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.229 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.234 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.240 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.245 * * * [progress]: generating series expansions
0.245 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.245 * [approximate]: Approximating (* x (- (* z y) (* t a))) in (x y z t a) around 0
0.246 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
0.246 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
0.246 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.246 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.247 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
0.247 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
0.247 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.248 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.248 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
0.248 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.248 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.248 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.248 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.248 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.248 * [approximate]: Approximating (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
0.251 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.251 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.256 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.260 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.260 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.262 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.262 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.262 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.263 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.263 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.271 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.272 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.272 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.272 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.272 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.284 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.288 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.290 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.291 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.291 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.291 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.295 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.295 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.297 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.297 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.297 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.298 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.298 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.298 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.306 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.306 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.306 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.306 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.307 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.308 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.308 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.308 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.308 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.320 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.320 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.321 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.321 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.321 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.321 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.321 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.321 * [approximate]: Approximating (* (- (* a c) (* i y)) j) in (j c a y i) around 0
0.322 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in c
0.322 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
0.322 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
0.322 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
0.323 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in c
0.323 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
0.323 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
0.323 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
0.323 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
0.323 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
0.324 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
0.324 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
0.324 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
0.324 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
0.324 * [approximate]: Approximating (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in (j c a y i) around 0
0.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
0.331 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.332 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.334 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
0.334 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.335 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.335 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.338 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
0.338 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.340 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.340 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.340 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.345 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
0.345 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.345 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.348 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.348 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.349 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.349 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.350 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.350 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
0.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
0.361 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in (j c a y i) around 0
0.364 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
0.364 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.365 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.367 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
0.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.375 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.375 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.375 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.381 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
0.381 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.381 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.392 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
0.392 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.392 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.392 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
0.399 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.399 * [approximate]: Approximating (* (- (* z c) (* t i)) b) in (b c z t i) around 0
0.399 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in c
0.399 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in z
0.399 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
0.399 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in c
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in z
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in z
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
0.401 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
0.401 * [approximate]: Approximating (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in (b c z t i) around 0
0.404 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
0.404 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.405 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.411 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
0.411 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.412 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.412 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.415 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
0.415 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.416 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.416 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.417 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.418 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.418 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.418 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
0.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.425 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.426 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.426 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.426 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.426 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.432 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
0.432 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.432 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.432 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.435 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
0.438 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in (b c z t i) around 0
0.441 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
0.441 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.442 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.444 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
0.444 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.445 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.445 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.449 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
0.449 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.452 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.452 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.452 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.457 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
0.457 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.457 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.471 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
0.475 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.475 * [approximate]: Approximating (- (* a c) (* i y)) in (c a y i) around 0
0.475 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in a
0.475 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
0.475 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
0.476 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in a
0.476 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
0.476 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
0.477 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
0.477 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
0.477 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
0.479 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in a
0.479 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
0.479 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
0.479 * [approximate]: Approximating (- (/ 1 (* a c)) (/ 1 (* i y))) in (c a y i) around 0
0.485 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.486 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.486 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.487 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.487 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.488 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.488 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.490 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.490 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.490 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.492 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.492 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.492 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.494 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.494 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.494 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.494 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.501 * [approximate]: Approximating (- (/ 1 (* a c)) (/ 1 (* i y))) in (c a y i) around 0
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.516 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
0.516 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.516 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
0.519 * * * [progress]: simplifying candidates
0.520 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* x (- (* y z) (* t a)))
  (+ (log x) (log (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (exp (* x (- (* y z) (* t a))))
  (* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* 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))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* (* y z) x)
  (* (neg (* t a)) x)
  (* (* y z) x)
  (* (neg (* t a)) x)
  (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (* x (sqrt (- (* y z) (* t a))))
  (* x 1)
  (* (cbrt x) (- (* y z) (* t a)))
  (* (sqrt x) (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  (* x (- (pow (* y z) 3) (pow (* t a) 3)))
  (* x (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (* j (- (* c a) (* y i)))
  (+ (log j) (log (- (* c a) (* y i))))
  (log (* j (- (* c a) (* y i))))
  (exp (* j (- (* c a) (* y i))))
  (* (* (* j j) j) (* (* (- (* c a) (* y i)) (- (* c a) (* y i))) (- (* c a) (* y i))))
  (* (cbrt (* j (- (* c a) (* y i)))) (cbrt (* j (- (* c a) (* y i)))))
  (cbrt (* j (- (* c a) (* y i))))
  (* (* (* j (- (* c a) (* y i))) (* j (- (* c a) (* y i)))) (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* (* c a) j)
  (* (neg (* y i)) j)
  (* (* c a) j)
  (* (neg (* y i)) j)
  (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))))
  (* j (sqrt (- (* c a) (* y i))))
  (* j 1)
  (* (cbrt j) (- (* c a) (* y i)))
  (* (sqrt j) (- (* c a) (* y i)))
  (* j (- (* c a) (* y i)))
  (* j (- (pow (* c a) 3) (pow (* y i) 3)))
  (* j (- (* (* c a) (* c a)) (* (* y i) (* y i))))
  (* b (- (* c z) (* t i)))
  (+ (log b) (log (- (* c z) (* t i))))
  (log (* b (- (* c z) (* t i))))
  (exp (* b (- (* c z) (* t i))))
  (* (* (* b b) b) (* (* (- (* c z) (* t i)) (- (* c z) (* t i))) (- (* c z) (* t i))))
  (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i)))))
  (cbrt (* b (- (* c z) (* t i))))
  (* (* (* b (- (* c z) (* t i))) (* b (- (* c z) (* t i)))) (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* b (* c z))
  (* b (neg (* t i)))
  (* b (* c z))
  (* b (neg (* t i)))
  (* (* c z) b)
  (* (neg (* t i)) b)
  (* (* c z) b)
  (* (neg (* t i)) b)
  (* b (* (cbrt (- (* c z) (* t i))) (cbrt (- (* c z) (* t i)))))
  (* b (sqrt (- (* c z) (* t i))))
  (* b 1)
  (* (cbrt b) (- (* c z) (* t i)))
  (* (sqrt b) (- (* c z) (* t i)))
  (* b (- (* c z) (* t i)))
  (* b (- (pow (* c z) 3) (pow (* t i) 3)))
  (* b (- (* (* c z) (* c z)) (* (* t i) (* t i))))
  (/ (exp (* c a)) (exp (* y i)))
  (log (- (* c a) (* y i)))
  (exp (- (* c a) (* y i)))
  (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))
  (cbrt (- (* c a) (* y i)))
  (* (* (- (* c a) (* y i)) (- (* c a) (* y i))) (- (* c a) (* y i)))
  (sqrt (- (* c a) (* y i)))
  (sqrt (- (* c a) (* y i)))
  (- (pow (* c a) 3) (pow (* y i) 3))
  (+ (* (* c a) (* c a)) (+ (* (* y i) (* y i)) (* (* c a) (* y i))))
  (neg (* y i))
  (- (* (* c a) (* c a)) (* (* y i) (* y i)))
  (+ (* c a) (* y i))
  (neg (* y i))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
  0
  (- (* a (* j c)) (* i (* y j)))
  (- (* a (* j c)) (* i (* y j)))
  0
  (- (* z (* b c)) (* t (* i b)))
  (- (* z (* b c)) (* t (* i b)))
  0
  (- (* a c) (* i y))
  (- (* a c) (* i y))
0.526 * * [simplify]: iteration  0 :  423  enodes  (cost  552 )
0.534 * * [simplify]: iteration  1 :  1763  enodes  (cost  485 )
0.565 * * [simplify]: iteration  2 :  5002  enodes  (cost  485 )
0.569 * [simplify]: Simplified to:
  (* x (- (* y z) (* t a)))
  (log (* x (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (exp (* x (- (* y z) (* t a))))
  (pow (* x (- (* y z) (* t a))) 3)
  (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a)))))
  (cbrt (* x (- (* y z) (* t a))))
  (pow (* x (- (* y z) (* t a))) 3)
  (sqrt (* x (- (* y z) (* t a))))
  (sqrt (* x (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (* x (sqrt (- (* y z) (* t a))))
  x
  (* (cbrt x) (- (* y z) (* t a)))
  (* (sqrt x) (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  (* x (- (pow (* y z) 3) (pow (* t a) 3)))
  (* x (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (* j (- (* c a) (* y i)))
  (log (* j (- (* c a) (* y i))))
  (log (* j (- (* c a) (* y i))))
  (exp (* j (- (* c a) (* y i))))
  (pow (* j (- (* c a) (* y i))) 3)
  (* (cbrt (* j (- (* c a) (* y i)))) (cbrt (* j (- (* c a) (* y i)))))
  (cbrt (* j (- (* c a) (* y i))))
  (pow (* j (- (* c a) (* y i))) 3)
  (sqrt (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))))
  (* j (sqrt (- (* c a) (* y i))))
  j
  (* (cbrt j) (- (* c a) (* y i)))
  (* (sqrt j) (- (* c a) (* y i)))
  (* j (- (* c a) (* y i)))
  (* j (- (pow (* c a) 3) (pow (* y i) 3)))
  (* j (- (* (* c a) (* c a)) (* (* y i) (* y i))))
  (* b (- (* c z) (* t i)))
  (log (* b (- (* c z) (* t i))))
  (log (* b (- (* c z) (* t i))))
  (exp (* b (- (* c z) (* t i))))
  (pow (* b (- (* c z) (* t i))) 3)
  (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i)))))
  (cbrt (* b (- (* c z) (* t i))))
  (pow (* b (- (* c z) (* t i))) 3)
  (sqrt (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* b (* c z))
  (* b (neg (* t i)))
  (* b (* c z))
  (* b (neg (* t i)))
  (* b (* c z))
  (* b (neg (* t i)))
  (* b (* c z))
  (* b (neg (* t i)))
  (* b (* (cbrt (- (* c z) (* t i))) (cbrt (- (* c z) (* t i)))))
  (* b (sqrt (- (* c z) (* t i))))
  b
  (* (cbrt b) (- (* c z) (* t i)))
  (* (sqrt b) (- (* c z) (* t i)))
  (* b (- (* c z) (* t i)))
  (* b (- (pow (* c z) 3) (pow (* t i) 3)))
  (* b (- (* (* c z) (* c z)) (* (* t i) (* t i))))
  (exp (- (* c a) (* y i)))
  (log (- (* a c) (* i y)))
  (exp (- (* c a) (* y i)))
  (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))
  (cbrt (- (* c a) (* y i)))
  (pow (- (* a c) (* i y)) 3)
  (sqrt (- (* c a) (* y i)))
  (sqrt (- (* c a) (* y i)))
  (- (pow (* c a) 3) (pow (* y i) 3))
  (+ (* (* y i) (+ (* y i) (* c a))) (* (* c a) (* c a)))
  (neg (* y i))
  (- (* (* c a) (* c a)) (* (* y i) (* y i)))
  (+ (* c a) (* y i))
  (neg (* y i))
  0
  (* x (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  0
  (* j (- (* c a) (* y i)))
  (* j (- (* c a) (* y i)))
  0
  (* b (- (* c z) (* t i)))
  (* b (- (* c z) (* t i)))
  0
  (- (* a c) (* i y))
  (- (* a c) (* i y))
0.569 * * * [progress]: adding candidates to table
0.984 * * [progress]: iteration 2 / 4
0.984 * * * [progress]: picking best candidate
1.144 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))>
1.144 * * * [progress]: localizing error
1.171 * * * [progress]: generating rewritten candidates
1.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
1.174 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2)
1.177 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
1.180 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.187 * * * [progress]: generating series expansions
1.187 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
1.187 * [approximate]: Approximating (pow (- (* z y) (* t a)) 1/3) in (y z t a) around 0
1.189 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.189 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.191 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.195 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.196 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.197 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.199 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.199 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.202 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.209 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.214 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.215 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.224 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.224 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.224 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.224 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.228 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.230 * [approximate]: Approximating (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in (y z t a) around 0
1.235 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.236 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.236 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.238 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.247 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.247 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.250 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.260 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.262 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.267 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.272 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.272 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.272 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.273 * [approximate]: Approximating (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in (y z t a) around 0
1.278 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.279 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.279 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.281 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.290 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.290 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.293 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.299 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.301 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.305 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.311 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.311 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.311 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.311 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2)
1.311 * [approximate]: Approximating (pow (- (* z y) (* t a)) 1/3) in (y z t a) around 0
1.313 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.313 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.314 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.320 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.321 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.321 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.323 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.323 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.326 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.338 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.342 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.344 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.352 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.352 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.352 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.352 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.357 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.358 * [approximate]: Approximating (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in (y z t a) around 0
1.363 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.365 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.365 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.367 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.375 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.375 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.378 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.384 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.386 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.390 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.395 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.395 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.395 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.396 * [approximate]: Approximating (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in (y z t a) around 0
1.401 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.402 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.403 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.404 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.418 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.418 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.420 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.426 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.428 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.432 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.438 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.438 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.438 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.438 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
1.438 * [approximate]: Approximating (pow (- (* z y) (* t a)) 1/3) in (y z t a) around 0
1.440 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.440 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.442 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.446 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.447 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.447 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.450 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.450 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.453 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.460 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in z
1.464 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.466 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.474 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in t
1.474 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.474 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.474 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.479 * [taylor]: Taking taylor expansion of (pow (- (* z y) (* t a)) 1/3) in a
1.480 * [approximate]: Approximating (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in (y z t a) around 0
1.485 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.486 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.486 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.488 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.501 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.501 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.504 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.510 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.512 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.516 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.522 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.522 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.522 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.522 * [approximate]: Approximating (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in (y z t a) around 0
1.527 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.528 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.528 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.530 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.539 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.539 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.541 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.547 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in z
1.549 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.554 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.560 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in t
1.560 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.560 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* z y)) (/ 1 (* t a))) 1/3) in a
1.560 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.560 * [approximate]: Approximating (* (- (* a c) (* i y)) j) in (j c a y i) around 0
1.560 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in c
1.560 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
1.561 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
1.561 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in c
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
1.562 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
1.563 * [approximate]: Approximating (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in (j c a y i) around 0
1.565 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
1.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.572 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
1.573 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.577 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
1.577 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.578 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.578 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.579 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.580 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.580 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.580 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
1.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.587 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.588 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.588 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.588 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.588 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
1.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
1.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.597 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.598 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
1.598 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.598 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.598 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.598 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.599 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.599 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.599 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.599 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
1.599 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in (j c a y i) around 0
1.602 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
1.603 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.603 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.605 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
1.606 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.607 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.607 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.611 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
1.611 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.612 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.612 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.613 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.614 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.614 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.614 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.619 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
1.619 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.619 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.621 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.623 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.623 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.623 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.623 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.630 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
1.630 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.630 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.630 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
1.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.633 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.634 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.636 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.636 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.636 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
1.636 * * * [progress]: simplifying candidates
1.637 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (- (* y z) (* t a))))
  (exp (cbrt (- (* y z) (* t a))))
  (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt 1)
  (cbrt (- (* y z) (* t a)))
  (cbrt (- (pow (* y z) 3) (pow (* t a) 3)))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (- (* y z) (* t a)))) (cbrt (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (* (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))) (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (log (cbrt (- (* y z) (* t a))))
  (exp (cbrt (- (* y z) (* t a))))
  (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt 1)
  (cbrt (- (* y z) (* t a)))
  (cbrt (- (pow (* y z) 3) (pow (* t a) 3)))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (- (* y z) (* t a)))) (cbrt (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (* (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))) (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (log (cbrt (- (* y z) (* t a))))
  (exp (cbrt (- (* y z) (* t a))))
  (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt 1)
  (cbrt (- (* y z) (* t a)))
  (cbrt (- (pow (* y z) 3) (pow (* t a) 3)))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (- (* y z) (* t a)))) (cbrt (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (* (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))) (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (* j (- (* c a) (* y i)))
  (+ (log j) (log (- (* c a) (* y i))))
  (log (* j (- (* c a) (* y i))))
  (exp (* j (- (* c a) (* y i))))
  (* (* (* j j) j) (* (* (- (* c a) (* y i)) (- (* c a) (* y i))) (- (* c a) (* y i))))
  (* (cbrt (* j (- (* c a) (* y i)))) (cbrt (* j (- (* c a) (* y i)))))
  (cbrt (* j (- (* c a) (* y i))))
  (* (* (* j (- (* c a) (* y i))) (* j (- (* c a) (* y i)))) (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* (* c a) j)
  (* (neg (* y i)) j)
  (* (* c a) j)
  (* (neg (* y i)) j)
  (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))))
  (* j (sqrt (- (* c a) (* y i))))
  (* j 1)
  (* (cbrt j) (- (* c a) (* y i)))
  (* (sqrt j) (- (* c a) (* y i)))
  (* j (- (* c a) (* y i)))
  (* j (- (pow (* c a) 3) (pow (* y i) 3)))
  (* j (- (* (* c a) (* c a)) (* (* y i) (* y i))))
  (- (exp (* 1/3 (+ (log t) (+ (log -1) (log a))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log t)))))) (* z y))))
  (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))
  (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))
  (- (exp (* 1/3 (+ (log t) (+ (log -1) (log a))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log t)))))) (* z y))))
  (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))
  (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))
  (- (exp (* 1/3 (+ (log t) (+ (log -1) (log a))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log t)))))) (* z y))))
  (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))
  (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))
  0
  (- (* a (* j c)) (* i (* y j)))
  (- (* a (* j c)) (* i (* y j)))
1.642 * * [simplify]: iteration  0 :  312  enodes  (cost  590 )
1.648 * * [simplify]: iteration  1 :  1056  enodes  (cost  543 )
1.668 * * [simplify]: iteration  2 :  3795  enodes  (cost  525 )
1.732 * * [simplify]: iteration  3 :  5002  enodes  (cost  516 )
1.735 * [simplify]: Simplified to:
  (log (cbrt (- (* y z) (* t a))))
  (exp (cbrt (- (* y z) (* t a))))
  (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  1
  (cbrt (- (* y z) (* t a)))
  (cbrt (- (pow (* y z) 3) (pow (* t a) 3)))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (- (* y z) (* t a)))) (cbrt (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (- (* y z) (* t a))
  (sqrt (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (log (cbrt (- (* y z) (* t a))))
  (exp (cbrt (- (* y z) (* t a))))
  (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  1
  (cbrt (- (* y z) (* t a)))
  (cbrt (- (pow (* y z) 3) (pow (* t a) 3)))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (- (* y z) (* t a)))) (cbrt (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (- (* y z) (* t a))
  (sqrt (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (log (cbrt (- (* y z) (* t a))))
  (exp (cbrt (- (* y z) (* t a))))
  (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  (cbrt (sqrt (- (* y z) (* t a))))
  1
  (cbrt (- (* y z) (* t a)))
  (cbrt (- (pow (* y z) 3) (pow (* t a) 3)))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (- (* y z) (* t a)))) (cbrt (cbrt (- (* y z) (* t a)))))
  (cbrt (cbrt (- (* y z) (* t a))))
  (- (* y z) (* t a))
  (sqrt (cbrt (- (* y z) (* t a))))
  (sqrt (cbrt (- (* y z) (* t a))))
  (* j (- (* c a) (* y i)))
  (log (* j (- (* c a) (* y i))))
  (log (* j (- (* c a) (* y i))))
  (exp (* j (- (* c a) (* y i))))
  (pow (* j (- (* c a) (* y i))) 3)
  (* (cbrt (* j (- (* c a) (* y i)))) (cbrt (* j (- (* c a) (* y i)))))
  (cbrt (* j (- (* c a) (* y i))))
  (pow (* j (- (* c a) (* y i))) 3)
  (sqrt (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* c a))
  (* j (neg (* y i)))
  (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))))
  (* j (sqrt (- (* c a) (* y i))))
  j
  (* (cbrt j) (- (* c a) (* y i)))
  (* (sqrt j) (- (* c a) (* y i)))
  (* j (- (* c a) (* y i)))
  (* j (- (pow (* c a) 3) (pow (* y i) 3)))
  (* j (- (* (* c a) (* c a)) (* (* y i) (* y i))))
  (- (exp (* 1/3 (+ (log t) (+ (log -1) (log a))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log t)))))) (* z y))))
  (/ (pow z 1/3) (pow y -1/3))
  (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3))
  (- (exp (* 1/3 (+ (log t) (+ (log -1) (log a))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log t)))))) (* z y))))
  (/ (pow z 1/3) (pow y -1/3))
  (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3))
  (- (exp (* 1/3 (+ (log t) (+ (log -1) (log a))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (+ (* 2 (log a)) (* 2 (log t)))))) (* z y))))
  (/ (pow z 1/3) (pow y -1/3))
  (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3))
  0
  (* j (- (* c a) (* y i)))
  (* j (- (* c a) (* y i)))
1.736 * * * [progress]: adding candidates to table
2.200 * * [progress]: iteration 3 / 4
2.201 * * * [progress]: picking best candidate
2.391 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))>
2.391 * * * [progress]: localizing error
2.420 * * * [progress]: generating rewritten candidates
2.420 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.426 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
2.430 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
2.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
2.440 * * * [progress]: generating series expansions
2.440 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.440 * [approximate]: Approximating (* x (- (* z y) (* t a))) in (x y z t a) around 0
2.441 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
2.441 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
2.441 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
2.441 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
2.443 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.444 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.444 * [approximate]: Approximating (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
2.446 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.447 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.447 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.449 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.449 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.450 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.450 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.453 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.453 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.454 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.454 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.455 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.460 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.460 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.460 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.462 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.462 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.462 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.463 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.463 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.465 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.465 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.465 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.465 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.470 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.471 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.471 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.471 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.473 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.473 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.473 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.473 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.473 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.473 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.474 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.475 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.475 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.475 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.475 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.475 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.476 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.477 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
2.485 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.485 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.486 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.488 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.489 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.489 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.489 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.493 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.493 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.495 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.495 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.495 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.496 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.496 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.496 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.501 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.501 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.501 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.504 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.504 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.504 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.504 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.505 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.505 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.505 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.505 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.505 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.513 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.513 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.513 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.513 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.516 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.516 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.516 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.516 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.516 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.516 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.517 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.517 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.518 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.518 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.518 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.518 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.519 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
2.519 * [approximate]: Approximating (pow (* (- (* z c) (* t i)) b) 1/3) in (b c z t i) around 0
2.525 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.525 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.526 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.527 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.535 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.535 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.535 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.535 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.537 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.544 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.544 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.547 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.563 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.563 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.563 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.563 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.563 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.563 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.563 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.563 * [approximate]: Approximating (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in (b c z t i) around 0
2.570 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.571 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.572 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.572 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.577 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.577 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.577 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.577 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.579 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.590 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.590 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.593 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.603 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.603 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.603 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.603 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.603 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.603 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.603 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.603 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in (b c z t i) around 0
2.615 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.618 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.621 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.622 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.629 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.629 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.629 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.629 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.632 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.651 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.651 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.655 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.667 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.668 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
2.668 * [approximate]: Approximating (pow (* (- (* z c) (* t i)) b) 1/3) in (b c z t i) around 0
2.674 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.674 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.675 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.676 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.684 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.684 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.684 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.684 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.686 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.693 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.693 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.696 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.708 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.709 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.709 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.709 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.709 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.709 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.709 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.710 * [approximate]: Approximating (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in (b c z t i) around 0
2.722 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.723 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.724 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.725 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.729 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.729 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.729 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.729 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.731 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.742 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.742 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.745 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.755 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.755 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.755 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.755 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.755 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.755 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.755 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.755 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in (b c z t i) around 0
2.767 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.770 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.773 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.774 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.781 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.781 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.781 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.781 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.784 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.802 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.802 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.806 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.819 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
2.819 * [approximate]: Approximating (pow (* (- (* z c) (* t i)) b) 1/3) in (b c z t i) around 0
2.824 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.825 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.825 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.826 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.834 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.835 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.835 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.835 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.837 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.843 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.843 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.847 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.858 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in c
2.858 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.858 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.858 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.858 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in z
2.858 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in t
2.858 * [taylor]: Taking taylor expansion of (pow (* (- (* z c) (* t i)) b) 1/3) in i
2.858 * [approximate]: Approximating (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in (b c z t i) around 0
2.865 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.866 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.867 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.867 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.877 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.877 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.877 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.877 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.879 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.890 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.890 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.894 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.904 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in c
2.904 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.904 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.904 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.904 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in z
2.904 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in t
2.904 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3) in i
2.904 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in (b c z t i) around 0
2.916 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.919 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.921 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.923 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.933 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.951 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.951 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.955 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in c
2.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in z
2.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in t
2.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) 1/3)) in i
2.968 * * * [progress]: simplifying candidates
2.969 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* x (- (* y z) (* t a)))
  (+ (log x) (log (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (exp (* x (- (* y z) (* t a))))
  (* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* 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))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* (* y z) x)
  (* (neg (* t a)) x)
  (* (* y z) x)
  (* (neg (* t a)) x)
  (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (* x (sqrt (- (* y z) (* t a))))
  (* x 1)
  (* (cbrt x) (- (* y z) (* t a)))
  (* (sqrt x) (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  (* x (- (pow (* y z) 3) (pow (* t a) 3)))
  (* x (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (log (cbrt (* b (- (* c z) (* t i)))))
  (exp (cbrt (* b (- (* c z) (* t i)))))
  (cbrt b)
  (cbrt (- (* c z) (* t i)))
  (cbrt (* b (- (pow (* c z) 3) (pow (* t i) 3))))
  (cbrt (+ (* (* c z) (* c z)) (+ (* (* t i) (* t i)) (* (* c z) (* t i)))))
  (cbrt (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))))
  (cbrt (+ (* c z) (* t i)))
  (* (cbrt (cbrt (* b (- (* c z) (* t i))))) (cbrt (cbrt (* b (- (* c z) (* t i))))))
  (cbrt (cbrt (* b (- (* c z) (* t i)))))
  (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (log (cbrt (* b (- (* c z) (* t i)))))
  (exp (cbrt (* b (- (* c z) (* t i)))))
  (cbrt b)
  (cbrt (- (* c z) (* t i)))
  (cbrt (* b (- (pow (* c z) 3) (pow (* t i) 3))))
  (cbrt (+ (* (* c z) (* c z)) (+ (* (* t i) (* t i)) (* (* c z) (* t i)))))
  (cbrt (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))))
  (cbrt (+ (* c z) (* t i)))
  (* (cbrt (cbrt (* b (- (* c z) (* t i))))) (cbrt (cbrt (* b (- (* c z) (* t i))))))
  (cbrt (cbrt (* b (- (* c z) (* t i)))))
  (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (log (cbrt (* b (- (* c z) (* t i)))))
  (exp (cbrt (* b (- (* c z) (* t i)))))
  (cbrt b)
  (cbrt (- (* c z) (* t i)))
  (cbrt (* b (- (pow (* c z) 3) (pow (* t i) 3))))
  (cbrt (+ (* (* c z) (* c z)) (+ (* (* t i) (* t i)) (* (* c z) (* t i)))))
  (cbrt (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))))
  (cbrt (+ (* c z) (* t i)))
  (* (cbrt (cbrt (* b (- (* c z) (* t i))))) (cbrt (cbrt (* b (- (* c z) (* t i))))))
  (cbrt (cbrt (* b (- (* c z) (* t i)))))
  (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log i) (log b))))))
  (exp (* -1/3 (+ (log (/ 1 b)) (+ (log (/ 1 c)) (log (/ 1 z))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 b)) (log (/ -1 z)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log i) (log b))))))
  (exp (* -1/3 (+ (log (/ 1 b)) (+ (log (/ 1 c)) (log (/ 1 z))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 b)) (log (/ -1 z)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log i) (log b))))))
  (exp (* -1/3 (+ (log (/ 1 b)) (+ (log (/ 1 c)) (log (/ 1 z))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 b)) (log (/ -1 z)))))))
2.974 * * [simplify]: iteration  0 :  314  enodes  (cost  542 )
2.979 * * [simplify]: iteration  1 :  1106  enodes  (cost  489 )
3.000 * * [simplify]: iteration  2 :  4138  enodes  (cost  480 )
3.067 * * [simplify]: iteration  3 :  5001  enodes  (cost  477 )
3.070 * [simplify]: Simplified to:
  (* x (- (* y z) (* t a)))
  (log (* x (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (exp (* x (- (* y z) (* t a))))
  (pow (* x (- (* y z) (* t a))) 3)
  (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a)))))
  (cbrt (* x (- (* y z) (* t a))))
  (pow (* x (- (* y z) (* t a))) 3)
  (sqrt (* x (- (* y z) (* t a))))
  (sqrt (* x (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (* x (sqrt (- (* y z) (* t a))))
  x
  (* (cbrt x) (- (* y z) (* t a)))
  (* (sqrt x) (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  (* x (- (pow (* y z) 3) (pow (* t a) 3)))
  (* x (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (log (cbrt (* b (- (* c z) (* t i)))))
  (exp (cbrt (* b (- (* c z) (* t i)))))
  (cbrt b)
  (cbrt (- (* c z) (* t i)))
  (cbrt (* b (- (pow (* c z) 3) (pow (* t i) 3))))
  (cbrt (+ (* (* c z) (* c z)) (+ (* (* t i) (* t i)) (* (* c z) (* t i)))))
  (cbrt (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))))
  (cbrt (+ (* c z) (* t i)))
  (* (cbrt (cbrt (* b (- (* c z) (* t i))))) (cbrt (cbrt (* b (- (* c z) (* t i))))))
  (cbrt (cbrt (* b (- (* c z) (* t i)))))
  (* b (- (* c z) (* t i)))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (log (cbrt (* b (- (* c z) (* t i)))))
  (exp (cbrt (* b (- (* c z) (* t i)))))
  (cbrt b)
  (cbrt (- (* c z) (* t i)))
  (cbrt (* b (- (pow (* c z) 3) (pow (* t i) 3))))
  (cbrt (+ (* (* c z) (* c z)) (+ (* (* t i) (* t i)) (* (* c z) (* t i)))))
  (cbrt (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))))
  (cbrt (+ (* c z) (* t i)))
  (* (cbrt (cbrt (* b (- (* c z) (* t i))))) (cbrt (cbrt (* b (- (* c z) (* t i))))))
  (cbrt (cbrt (* b (- (* c z) (* t i)))))
  (* b (- (* c z) (* t i)))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (log (cbrt (* b (- (* c z) (* t i)))))
  (exp (cbrt (* b (- (* c z) (* t i)))))
  (cbrt b)
  (cbrt (- (* c z) (* t i)))
  (cbrt (* b (- (pow (* c z) 3) (pow (* t i) 3))))
  (cbrt (+ (* (* c z) (* c z)) (+ (* (* t i) (* t i)) (* (* c z) (* t i)))))
  (cbrt (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))))
  (cbrt (+ (* c z) (* t i)))
  (* (cbrt (cbrt (* b (- (* c z) (* t i))))) (cbrt (cbrt (* b (- (* c z) (* t i))))))
  (cbrt (cbrt (* b (- (* c z) (* t i)))))
  (* b (- (* c z) (* t i)))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  (sqrt (cbrt (* b (- (* c z) (* t i)))))
  0
  (* x (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log i) (log b))))))
  (/ (pow (exp -1/3) (neg (+ (log z) (log c)))) (pow b -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 b)) (log (/ -1 z)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log i) (log b))))))
  (/ (pow (exp -1/3) (neg (+ (log z) (log c)))) (pow b -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 b)) (log (/ -1 z)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log i) (log b))))))
  (/ (pow (exp -1/3) (neg (+ (log z) (log c)))) (pow b -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 b)) (log (/ -1 z)))))))
3.070 * * * [progress]: adding candidates to table
3.488 * * [progress]: iteration 4 / 4
3.488 * * * [progress]: picking best candidate
3.671 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))>
3.671 * * * [progress]: localizing error
3.695 * * * [progress]: generating rewritten candidates
3.695 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.699 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
3.704 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
3.708 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
3.717 * * * [progress]: generating series expansions
3.717 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
3.718 * [approximate]: Approximating (pow (* x (- (* z y) (* t a))) 1/3) in (x y z t a) around 0
3.724 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
3.724 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.725 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.726 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.734 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
3.734 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.734 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.734 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.736 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.743 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.743 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.746 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.758 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
3.758 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.758 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.758 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.758 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.758 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.758 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.758 * [approximate]: Approximating (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in (x y z t a) around 0
3.765 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
3.766 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.767 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.767 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.772 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
3.772 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.772 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.772 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.774 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.785 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.785 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.793 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.803 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
3.803 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.803 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.803 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.803 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.803 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.803 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.803 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in (x y z t a) around 0
3.815 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
3.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.820 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.822 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.829 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
3.829 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.829 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.829 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.832 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.845 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.845 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.849 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
3.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.862 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
3.862 * [approximate]: Approximating (pow (* x (- (* z y) (* t a))) 1/3) in (x y z t a) around 0
3.872 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
3.873 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.873 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.875 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.883 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
3.883 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.883 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.883 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.885 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.892 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.892 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.896 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.907 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
3.907 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.907 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.907 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.907 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
3.907 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
3.907 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
3.908 * [approximate]: Approximating (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in (x y z t a) around 0
3.914 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
3.915 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.917 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.917 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.922 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
3.922 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.922 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.922 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.924 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.935 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.935 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.939 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
3.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
3.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
3.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
3.954 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in (x y z t a) around 0
3.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
3.969 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.972 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.974 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.980 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
3.980 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.980 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.980 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
3.983 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
3.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
3.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.001 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.012 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
4.012 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
4.013 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
4.013 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.013 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
4.013 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
4.013 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.013 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
4.013 * [approximate]: Approximating (pow (* x (- (* z y) (* t a))) 1/3) in (x y z t a) around 0
4.019 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
4.020 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
4.021 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
4.024 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
4.046 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
4.046 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
4.046 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
4.046 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
4.048 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
4.055 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
4.055 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
4.058 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
4.070 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in y
4.070 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
4.070 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
4.070 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
4.070 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in z
4.070 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in t
4.070 * [taylor]: Taking taylor expansion of (pow (* x (- (* z y) (* t a))) 1/3) in a
4.071 * [approximate]: Approximating (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in (x y z t a) around 0
4.077 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
4.078 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
4.080 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
4.080 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
4.085 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
4.085 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
4.085 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
4.085 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
4.087 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
4.098 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
4.098 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
4.101 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
4.111 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in y
4.111 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
4.111 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
4.111 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
4.111 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in z
4.111 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in t
4.111 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3) in a
4.112 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in (x y z t a) around 0
4.129 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
4.132 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
4.135 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
4.136 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
4.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
4.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
4.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.146 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
4.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
4.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.164 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in y
4.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
4.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
4.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in z
4.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in t
4.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) 1/3)) in a
4.178 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
4.178 * [approximate]: Approximating (* x (- (* z y) (* t a))) in (x y z t a) around 0
4.178 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
4.178 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
4.178 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
4.178 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
4.179 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
4.179 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
4.179 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
4.180 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
4.180 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
4.180 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
4.180 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
4.180 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
4.180 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
4.180 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
4.180 * [approximate]: Approximating (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
4.183 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
4.183 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.184 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.185 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
4.186 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.187 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.187 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.190 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
4.190 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.191 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.191 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.192 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.199 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.199 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.199 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
4.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.205 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.205 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.205 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.206 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.207 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
4.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
4.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
4.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
4.221 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
4.224 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
4.224 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.225 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.227 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
4.228 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.229 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.229 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.232 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
4.232 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.235 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.235 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.235 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.236 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.236 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.236 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.241 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
4.241 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.241 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.244 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.244 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.244 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.244 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.245 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.246 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.246 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.246 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.246 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.253 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
4.253 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.253 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.253 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.256 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
4.256 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.256 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.256 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
4.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.259 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.259 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.259 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.259 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
4.260 * * * [progress]: simplifying candidates
4.261 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (* x (- (* y z) (* t a)))))
  (exp (cbrt (* x (- (* y z) (* t a)))))
  (cbrt x)
  (cbrt (- (* y z) (* t a)))
  (cbrt (* x (- (pow (* y z) 3) (pow (* t a) 3))))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (* x (- (* y z) (* t a))))) (cbrt (cbrt (* x (- (* y z) (* t a))))))
  (cbrt (cbrt (* x (- (* y z) (* t a)))))
  (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (log (cbrt (* x (- (* y z) (* t a)))))
  (exp (cbrt (* x (- (* y z) (* t a)))))
  (cbrt x)
  (cbrt (- (* y z) (* t a)))
  (cbrt (* x (- (pow (* y z) 3) (pow (* t a) 3))))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (* x (- (* y z) (* t a))))) (cbrt (cbrt (* x (- (* y z) (* t a))))))
  (cbrt (cbrt (* x (- (* y z) (* t a)))))
  (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (log (cbrt (* x (- (* y z) (* t a)))))
  (exp (cbrt (* x (- (* y z) (* t a)))))
  (cbrt x)
  (cbrt (- (* y z) (* t a)))
  (cbrt (* x (- (pow (* y z) 3) (pow (* t a) 3))))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (* x (- (* y z) (* t a))))) (cbrt (cbrt (* x (- (* y z) (* t a))))))
  (cbrt (cbrt (* x (- (* y z) (* t a)))))
  (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (* x (- (* y z) (* t a)))
  (+ (log x) (log (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (exp (* x (- (* y z) (* t a))))
  (* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* 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))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* (* y z) x)
  (* (neg (* t a)) x)
  (* (* y z) x)
  (* (neg (* t a)) x)
  (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (* x (sqrt (- (* y z) (* t a))))
  (* x 1)
  (* (cbrt x) (- (* y z) (* t a)))
  (* (sqrt x) (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  (* x (- (pow (* y z) 3) (pow (* t a) 3)))
  (* x (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log a) (log x))))))
  (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log a) (log x))))))
  (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log a) (log x))))))
  (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
4.266 * * [simplify]: iteration  0 :  257  enodes  (cost  542 )
4.271 * * [simplify]: iteration  1 :  923  enodes  (cost  489 )
4.291 * * [simplify]: iteration  2 :  3487  enodes  (cost  480 )
4.351 * * [simplify]: iteration  3 :  5002  enodes  (cost  477 )
4.354 * [simplify]: Simplified to:
  (log (cbrt (* x (- (* y z) (* t a)))))
  (exp (cbrt (* x (- (* y z) (* t a)))))
  (cbrt x)
  (cbrt (- (* y z) (* t a)))
  (cbrt (* x (- (pow (* y z) 3) (pow (* t a) 3))))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (* x (- (* y z) (* t a))))) (cbrt (cbrt (* x (- (* y z) (* t a))))))
  (cbrt (cbrt (* x (- (* y z) (* t a)))))
  (* x (- (* y z) (* t a)))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (log (cbrt (* x (- (* y z) (* t a)))))
  (exp (cbrt (* x (- (* y z) (* t a)))))
  (cbrt x)
  (cbrt (- (* y z) (* t a)))
  (cbrt (* x (- (pow (* y z) 3) (pow (* t a) 3))))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (* x (- (* y z) (* t a))))) (cbrt (cbrt (* x (- (* y z) (* t a))))))
  (cbrt (cbrt (* x (- (* y z) (* t a)))))
  (* x (- (* y z) (* t a)))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (log (cbrt (* x (- (* y z) (* t a)))))
  (exp (cbrt (* x (- (* y z) (* t a)))))
  (cbrt x)
  (cbrt (- (* y z) (* t a)))
  (cbrt (* x (- (pow (* y z) 3) (pow (* t a) 3))))
  (cbrt (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))))
  (cbrt (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))))
  (cbrt (+ (* y z) (* t a)))
  (* (cbrt (cbrt (* x (- (* y z) (* t a))))) (cbrt (cbrt (* x (- (* y z) (* t a))))))
  (cbrt (cbrt (* x (- (* y z) (* t a)))))
  (* x (- (* y z) (* t a)))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (sqrt (cbrt (* x (- (* y z) (* t a)))))
  (* x (- (* y z) (* t a)))
  (log (* x (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (exp (* x (- (* y z) (* t a))))
  (pow (* x (- (* y z) (* t a))) 3)
  (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a)))))
  (cbrt (* x (- (* y z) (* t a))))
  (pow (* x (- (* y z) (* t a))) 3)
  (sqrt (* x (- (* y z) (* t a))))
  (sqrt (* x (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* y z))
  (* x (neg (* t a)))
  (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (* x (sqrt (- (* y z) (* t a))))
  x
  (* (cbrt x) (- (* y z) (* t a)))
  (* (sqrt x) (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  (* x (- (pow (* y z) 3) (pow (* t a) 3)))
  (* x (- (* (* y z) (* y z)) (* (* t a) (* t a))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log a) (log x))))))
  (/ (pow (exp -1/3) (neg (+ (log y) (log z)))) (pow x -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log a) (log x))))))
  (/ (pow (exp -1/3) (neg (+ (log y) (log z)))) (pow x -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log a) (log x))))))
  (/ (pow (exp -1/3) (neg (+ (log y) (log z)))) (pow x -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
  0
  (* x (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
4.355 * * * [progress]: adding candidates to table
4.800 * [progress]: [Phase 3 of 3] Extracting.
4.800 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
4.836 * * * [regime-changes]: Trying 9 branch expressions: (j i c b a t z y x)
4.836 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
5.119 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
5.400 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
5.681 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
6.141 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
6.416 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
6.705 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
6.991 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
7.268 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* (cbrt (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* y z) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (cbrt (+ (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (cbrt (pow (* j (- (* c a) (* y i))) 3))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (pow (- (* y z) (* t a)) 1/3))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (log (exp (cbrt (- (* y z) (* t a)))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (sqrt (* j (- (* c a) (* y i)))) (sqrt (* j (- (* c a) (* y i)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i))))) (cbrt (* b (- (* c z) (* t i)))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* y i)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* t i) (* t i)))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* t i)))) (sqrt (- (* c z) (* t i))))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (cbrt (pow (- (* a c) (* i y)) 3)))))>)
7.555 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.555 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
7.556 * * [simplify]: iteration  0 :  42  enodes  (cost  28 )
7.556 * * [simplify]: iteration  1 :  42  enodes  (cost  28 )
7.556 * [simplify]: Simplified to:
  (+ (- (* (* (cbrt (* x (- (* y z) (* t a)))) (* (cbrt x) (cbrt (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))