13.357 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.101 * * * [progress]: [2/2] Setting up program.
0.109 * [progress]: [Phase 2 of 3] Improving.
0.109 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
0.111 * * [simplify]: iteration  0 :  43  enodes  (cost  14 )
0.113 * * [simplify]: iteration  1 :  96  enodes  (cost  14 )
0.115 * * [simplify]: iteration  2 :  291  enodes  (cost  14 )
0.121 * * [simplify]: iteration  3 :  825  enodes  (cost  14 )
0.141 * * [simplify]: iteration  4 :  2021  enodes  (cost  14 )
0.190 * * [simplify]: iteration  5 :  5001  enodes  (cost  14 )
0.190 * [simplify]: Simplified to:
  (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
0.191 * * [progress]: iteration 1 / 4
0.191 * * * [progress]: picking best candidate
0.198 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))>
0.198 * * * [progress]: localizing error
0.218 * * * [progress]: generating rewritten candidates
0.218 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.224 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.230 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.235 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.241 * * * [progress]: generating series expansions
0.241 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.241 * [approximate]: Approximating (* (- (* t c) (* i y)) j) in (j c t i y) around 0
0.241 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c
0.242 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t
0.242 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
0.242 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
0.243 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c
0.243 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t
0.243 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
0.244 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
0.244 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t
0.244 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
0.244 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
0.244 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
0.244 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
0.244 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
0.244 * [approximate]: Approximating (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in (j c t i y) around 0
0.247 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
0.247 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.248 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.249 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
0.250 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.253 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.253 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.256 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
0.256 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.259 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.259 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.259 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.263 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
0.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.265 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.267 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
0.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.276 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
0.276 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.276 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.276 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.276 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.277 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.277 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.278 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
0.280 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in (j c t i y) around 0
0.283 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
0.284 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.284 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.286 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.288 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.288 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.292 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
0.292 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.294 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.294 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.294 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.295 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.295 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.295 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.301 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
0.301 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.301 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.304 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.304 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.305 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.305 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.305 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.305 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.312 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
0.312 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.312 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.312 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.317 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.317 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
0.317 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.317 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
0.319 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.319 * [approximate]: Approximating (* x (- (* z y) (* t a))) in (x y z t a) around 0
0.320 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
0.320 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
0.320 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.320 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.321 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
0.321 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
0.321 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.322 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.322 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
0.322 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.322 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.322 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
0.322 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.322 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
0.322 * [approximate]: Approximating (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
0.325 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.325 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.327 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.328 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.331 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.331 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.334 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.334 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.335 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.335 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.336 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.342 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.342 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.345 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.346 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.346 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.346 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.346 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.352 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
0.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
0.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
0.359 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
0.362 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.363 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.363 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.365 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.366 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.367 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.367 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.371 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.371 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.379 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.379 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.379 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.394 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
0.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.398 * [approximate]: Approximating (* (- (* z c) (* a i)) b) in (b c z i a) around 0
0.398 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in c
0.398 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in z
0.398 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in i
0.398 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in a
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in c
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in z
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in i
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in a
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in z
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in i
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in a
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in i
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in a
0.400 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in a
0.401 * [approximate]: Approximating (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in (b c z i a) around 0
0.403 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in c
0.404 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.405 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.406 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in c
0.407 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.410 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.410 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.413 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in c
0.413 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.414 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.414 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.415 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.416 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.416 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.416 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.420 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in c
0.420 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.420 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.423 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.423 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.430 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in c
0.430 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.430 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.430 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z
0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.434 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i
0.435 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.435 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.435 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.435 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a
0.436 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in (b c z i a) around 0
0.439 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in c
0.440 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.440 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.442 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in c
0.443 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.444 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.444 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.448 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in c
0.448 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.449 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.450 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.450 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.456 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in c
0.456 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.456 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.459 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.459 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.459 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.459 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in c
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.468 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.471 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z
0.471 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.471 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.471 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.471 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.471 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a
0.474 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
0.474 * [approximate]: Approximating (- (* z y) (* t a)) in (y z t a) around 0
0.475 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
0.475 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
0.476 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
0.476 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
0.476 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
0.476 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
0.477 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
0.477 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
0.477 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
0.479 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
0.479 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
0.479 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
0.479 * [approximate]: Approximating (- (/ 1 (* z y)) (/ 1 (* t a))) in (y z t a) around 0
0.482 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.482 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.483 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.483 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.483 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.485 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.485 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.485 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.492 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.493 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.501 * [approximate]: Approximating (- (/ 1 (* z y)) (/ 1 (* t a))) in (y z t a) around 0
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.505 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.505 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.515 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
0.515 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.515 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.516 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
0.519 * * * [progress]: simplifying candidates
0.520 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* j (- (* c t) (* i y)))
  (+ (log j) (log (- (* c t) (* i y))))
  (log (* j (- (* c t) (* i y))))
  (exp (* j (- (* c t) (* i y))))
  (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y))))
  (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y)))))
  (cbrt (* j (- (* c t) (* i y))))
  (* (* (* j (- (* c t) (* i y))) (* j (- (* c t) (* i y)))) (* j (- (* c t) (* i y))))
  (sqrt (* j (- (* c t) (* i y))))
  (sqrt (* j (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* (* c t) j)
  (* (neg (* i y)) j)
  (* (* c t) j)
  (* (neg (* i y)) j)
  (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (* j (sqrt (- (* c t) (* i y))))
  (* j 1)
  (* (cbrt j) (- (* c t) (* i y)))
  (* (sqrt j) (- (* c t) (* i y)))
  (* j (- (* c t) (* i y)))
  (* j (- (pow (* c t) 3) (pow (* i y) 3)))
  (* j (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (* 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))))
  (* b (- (* c z) (* i a)))
  (+ (log b) (log (- (* c z) (* i a))))
  (log (* b (- (* c z) (* i a))))
  (exp (* b (- (* c z) (* i a))))
  (* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
  (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a)))))
  (cbrt (* b (- (* c z) (* i a))))
  (* (* (* b (- (* c z) (* i a))) (* b (- (* c z) (* i a)))) (* b (- (* c z) (* i a))))
  (sqrt (* b (- (* c z) (* i a))))
  (sqrt (* b (- (* c z) (* i a))))
  (* (sqrt b) (sqrt (- (* c z) (* i a))))
  (* (sqrt b) (sqrt (- (* c z) (* i a))))
  (* b (* c z))
  (* b (neg (* i a)))
  (* b (* c z))
  (* b (neg (* i a)))
  (* (* c z) b)
  (* (neg (* i a)) b)
  (* (* c z) b)
  (* (neg (* i a)) b)
  (* b (* (cbrt (- (* c z) (* i a))) (cbrt (- (* c z) (* i a)))))
  (* b (sqrt (- (* c z) (* i a))))
  (* b 1)
  (* (cbrt b) (- (* c z) (* i a)))
  (* (sqrt b) (- (* c z) (* i a)))
  (* b (- (* c z) (* i a)))
  (* b (- (pow (* c z) 3) (pow (* i a) 3)))
  (* b (- (* (* c z) (* c z)) (* (* i a) (* i a))))
  (/ (exp (* y z)) (exp (* t a)))
  (log (- (* y z) (* t a)))
  (exp (- (* y z) (* t a)))
  (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))
  (cbrt (- (* y z) (* t a)))
  (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a)))
  (sqrt (- (* y z) (* t a)))
  (sqrt (- (* y z) (* t a)))
  (- (pow (* y z) 3) (pow (* t a) 3))
  (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))
  (neg (* t a))
  (- (* (* y z) (* y z)) (* (* t a) (* t a)))
  (+ (* y z) (* t a))
  (neg (* t a))
  0
  (- (* t (* j c)) (* i (* j y)))
  (- (* t (* j c)) (* i (* j y)))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
  0
  (- (* z (* b c)) (* a (* i b)))
  (- (* z (* b c)) (* a (* i b)))
  0
  (- (* z y) (* a t))
  (- (* z y) (* a t))
0.525 * * [simplify]: iteration  0 :  425  enodes  (cost  552 )
0.533 * * [simplify]: iteration  1 :  1771  enodes  (cost  485 )
0.565 * * [simplify]: iteration  2 :  5002  enodes  (cost  485 )
0.568 * [simplify]: Simplified to:
  (* j (- (* c t) (* i y)))
  (log (* j (- (* c t) (* i y))))
  (log (* j (- (* c t) (* i y))))
  (exp (* j (- (* c t) (* i y))))
  (pow (* j (- (* c t) (* i y))) 3)
  (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y)))))
  (cbrt (* j (- (* c t) (* i y))))
  (pow (* j (- (* c t) (* i y))) 3)
  (sqrt (* j (- (* c t) (* i y))))
  (sqrt (* j (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (* j (sqrt (- (* c t) (* i y))))
  j
  (* (cbrt j) (- (* c t) (* i y)))
  (* (sqrt j) (- (* c t) (* i y)))
  (* j (- (* c t) (* i y)))
  (* j (- (pow (* c t) 3) (pow (* i y) 3)))
  (* j (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (* 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))))
  (* b (- (* c z) (* i a)))
  (log (* b (- (* c z) (* i a))))
  (log (* b (- (* c z) (* i a))))
  (exp (* b (- (* c z) (* i a))))
  (pow (* b (- (* c z) (* i a))) 3)
  (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a)))))
  (cbrt (* b (- (* c z) (* i a))))
  (pow (* b (- (* c z) (* i a))) 3)
  (sqrt (* b (- (* c z) (* i a))))
  (sqrt (* b (- (* c z) (* i a))))
  (* (sqrt b) (sqrt (- (* c z) (* i a))))
  (* (sqrt b) (sqrt (- (* c z) (* i a))))
  (* b (* c z))
  (* b (neg (* i a)))
  (* b (* c z))
  (* b (neg (* i a)))
  (* b (* c z))
  (* b (neg (* i a)))
  (* b (* c z))
  (* b (neg (* i a)))
  (* b (* (cbrt (- (* c z) (* i a))) (cbrt (- (* c z) (* i a)))))
  (* b (sqrt (- (* c z) (* i a))))
  b
  (* (cbrt b) (- (* c z) (* i a)))
  (* (sqrt b) (- (* c z) (* i a)))
  (* b (- (* c z) (* i a)))
  (* b (- (pow (* c z) 3) (pow (* i a) 3)))
  (* b (- (* (* c z) (* c z)) (* (* i a) (* i a))))
  (exp (- (* y z) (* t a)))
  (log (- (* z y) (* a t)))
  (exp (- (* y z) (* t a)))
  (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))
  (cbrt (- (* y z) (* t a)))
  (pow (- (* z y) (* a t)) 3)
  (sqrt (- (* y z) (* t a)))
  (sqrt (- (* y z) (* t a)))
  (- (pow (* y z) 3) (pow (* t a) 3))
  (+ (* (* t a) (+ (* t a) (* y z))) (* (* y z) (* y z)))
  (neg (* t a))
  (- (* (* y z) (* y z)) (* (* t a) (* t a)))
  (+ (* y z) (* t a))
  (neg (* t a))
  0
  (* j (- (* c t) (* i y)))
  (* j (- (* c t) (* i y)))
  0
  (* x (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
  0
  (* b (- (* c z) (* i a)))
  (* b (- (* c z) (* i a)))
  0
  (- (* z y) (* a t))
  (- (* z y) (* a t))
0.569 * * * [progress]: adding candidates to table
1.015 * * [progress]: iteration 2 / 4
1.015 * * * [progress]: picking best candidate
1.178 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))>
1.178 * * * [progress]: localizing error
1.202 * * * [progress]: generating rewritten candidates
1.202 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
1.209 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
1.212 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.219 * * * [progress]: generating series expansions
1.219 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.220 * [approximate]: Approximating (pow (- (* t c) (* i y)) 1/3) in (c t i y) around 0
1.222 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.222 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.223 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.228 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.229 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.229 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.232 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.232 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.235 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.242 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.247 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.249 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.261 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.261 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.261 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.261 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.266 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.267 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
1.273 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.274 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.274 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.276 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.286 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.286 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.289 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.295 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.297 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.301 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.307 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.307 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.307 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.308 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
1.313 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.314 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.314 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.316 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.326 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.326 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.328 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.335 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.337 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.345 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.351 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.351 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.351 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.351 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
1.351 * [approximate]: Approximating (pow (- (* t c) (* i y)) 1/3) in (c t i y) around 0
1.353 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.353 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.354 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.359 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.361 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.361 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.363 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.363 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.366 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.374 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.378 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.380 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.389 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.389 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.389 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.389 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.394 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.395 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
1.400 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.402 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.402 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.404 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.413 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.413 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.416 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.425 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.427 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.432 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.438 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.438 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.438 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.438 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
1.444 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.445 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.445 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.447 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.456 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.456 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.459 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.465 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.467 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.472 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.478 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.478 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.478 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.478 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
1.478 * [approximate]: Approximating (pow (- (* t c) (* i y)) 1/3) in (c t i y) around 0
1.480 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.480 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.482 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.486 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.488 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.488 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.490 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.490 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.493 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.501 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
1.509 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.510 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.519 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
1.519 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.519 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.519 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.524 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
1.525 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
1.530 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.532 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.532 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.534 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.543 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.543 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.546 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.552 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.554 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.558 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.564 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.564 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.564 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.565 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
1.570 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.571 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.571 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.573 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.583 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.583 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.588 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.594 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
1.597 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.601 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.607 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
1.607 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.607 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
1.607 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.607 * [approximate]: Approximating (* x (- (* z y) (* t a))) in (x y z t a) around 0
1.608 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
1.608 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
1.608 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
1.608 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
1.609 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
1.609 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
1.609 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
1.610 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
1.610 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
1.610 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
1.610 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
1.610 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
1.610 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
1.610 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
1.610 * [approximate]: Approximating (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
1.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
1.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.615 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
1.616 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.616 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.617 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.619 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
1.619 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
1.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.637 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
1.637 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.638 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.638 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
1.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
1.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
1.644 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
1.647 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
1.648 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.648 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.650 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
1.651 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.652 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.652 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.655 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
1.655 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.657 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.657 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.658 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.659 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.659 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.659 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.667 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
1.667 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.667 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.669 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.670 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.670 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.670 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.670 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.671 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.671 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.671 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.671 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.678 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
1.678 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.678 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.678 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.682 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
1.682 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.682 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.682 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.682 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.682 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.683 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.684 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
1.684 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.684 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.684 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.684 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.685 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.685 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.685 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.685 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
1.685 * * * [progress]: simplifying candidates
1.687 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (* 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 -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (exp (* -1/3 (+ (log (/ 1 t)) (log (/ 1 c)))))
  (exp (* -1/3 (+ (log (/ -1 c)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (exp (* -1/3 (+ (log (/ 1 t)) (log (/ 1 c)))))
  (exp (* -1/3 (+ (log (/ -1 c)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (exp (* -1/3 (+ (log (/ 1 t)) (log (/ 1 c)))))
  (exp (* -1/3 (+ (log (/ -1 c)) (log (/ -1 t)))))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
1.691 * * [simplify]: iteration  0 :  315  enodes  (cost  590 )
1.697 * * [simplify]: iteration  1 :  1061  enodes  (cost  543 )
1.718 * * [simplify]: iteration  2 :  3794  enodes  (cost  525 )
1.781 * * [simplify]: iteration  3 :  5001  enodes  (cost  516 )
1.785 * [simplify]: Simplified to:
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  1
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (- (* c t) (* i y))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  1
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (- (* c t) (* i y))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  1
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (- (* c t) (* i y))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (* 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 -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (/ (pow t 1/3) (pow c -1/3))
  (* (pow (/ -1 t) -1/3) (pow (/ -1 c) -1/3))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (/ (pow t 1/3) (pow c -1/3))
  (* (pow (/ -1 t) -1/3) (pow (/ -1 c) -1/3))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (/ (pow t 1/3) (pow c -1/3))
  (* (pow (/ -1 t) -1/3) (pow (/ -1 c) -1/3))
  0
  (* x (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
1.785 * * * [progress]: adding candidates to table
2.193 * * [progress]: iteration 3 / 4
2.193 * * * [progress]: picking best candidate
2.377 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))))))>
2.377 * * * [progress]: localizing error
2.402 * * * [progress]: generating rewritten candidates
2.402 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.406 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
2.410 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
2.415 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.422 * * * [progress]: generating series expansions
2.422 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.423 * [approximate]: Approximating (pow (* (- (* t c) (* i y)) j) 1/3) in (j c t i y) around 0
2.429 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.429 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.429 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.431 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.442 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.442 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.442 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.442 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.444 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.451 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.451 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.455 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.466 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.466 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.466 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.466 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.466 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.466 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.466 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.467 * [approximate]: Approximating (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in (j c t i y) around 0
2.474 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.475 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.476 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.477 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.482 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.482 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.482 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.482 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.484 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.496 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.496 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.499 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.509 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.509 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.509 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.509 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.510 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.510 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.510 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.510 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in (j c t i y) around 0
2.525 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.528 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.531 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.533 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.540 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.540 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.540 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.540 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.558 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.558 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.562 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.576 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.576 * [approximate]: Approximating (pow (* (- (* t c) (* i y)) j) 1/3) in (j c t i y) around 0
2.582 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.582 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.582 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.584 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.592 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.592 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.592 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.592 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.595 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.605 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.605 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.609 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.620 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.620 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.620 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.620 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.620 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.620 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.620 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.621 * [approximate]: Approximating (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in (j c t i y) around 0
2.628 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.629 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.630 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.631 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.635 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.636 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.636 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.636 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.638 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.649 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.650 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.653 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.663 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.663 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.663 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.663 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.663 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.663 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.663 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.664 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in (j c t i y) around 0
2.677 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.679 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.685 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.687 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.694 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.695 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.695 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.695 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.714 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.714 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.718 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.732 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
2.732 * [approximate]: Approximating (pow (* (- (* t c) (* i y)) j) 1/3) in (j c t i y) around 0
2.738 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.739 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.739 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.740 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.749 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.749 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.749 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.749 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.751 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.758 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.758 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.762 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.777 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
2.777 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.777 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.777 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.777 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
2.777 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
2.777 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
2.778 * [approximate]: Approximating (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in (j c t i y) around 0
2.785 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.786 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.788 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.788 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.793 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.793 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.793 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.793 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.796 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.808 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.808 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.811 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
2.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
2.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
2.822 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
2.822 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in (j c t i y) around 0
2.835 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.838 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.841 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.843 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.856 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.872 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.872 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.876 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
2.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
2.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
2.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
2.890 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.890 * [approximate]: Approximating (* (- (* t c) (* i y)) j) in (j c t i y) around 0
2.890 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c
2.891 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t
2.891 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
2.891 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
2.892 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c
2.892 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t
2.892 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
2.892 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
2.892 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t
2.892 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
2.893 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
2.893 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i
2.893 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
2.893 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y
2.893 * [approximate]: Approximating (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in (j c t i y) around 0
2.896 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
2.896 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.897 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.898 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
2.899 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.900 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.900 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.903 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
2.903 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.904 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.904 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.905 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.906 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.906 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.906 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.910 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
2.910 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.910 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.912 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.912 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.912 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.913 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.913 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.914 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.915 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.915 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.915 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.921 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c
2.921 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.921 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.921 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t
2.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.925 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i
2.925 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.925 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.925 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.925 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y
2.927 * [approximate]: Approximating (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in (j c t i y) around 0
2.930 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
2.934 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.934 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.937 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
2.937 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.938 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.938 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.942 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
2.942 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.944 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.944 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.944 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.945 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.945 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.945 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.951 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
2.951 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.951 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.953 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.954 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.954 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.954 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.954 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.962 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c
2.963 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.963 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.963 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.966 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t
2.966 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.966 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.966 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.966 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.966 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.967 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.968 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i
2.968 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.968 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.968 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.968 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.969 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.969 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.969 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.969 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y
2.970 * * * [progress]: simplifying candidates
2.971 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (cbrt j)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (cbrt j)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (cbrt j)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (* j (- (* c t) (* i y)))
  (+ (log j) (log (- (* c t) (* i y))))
  (log (* j (- (* c t) (* i y))))
  (exp (* j (- (* c t) (* i y))))
  (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y))))
  (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y)))))
  (cbrt (* j (- (* c t) (* i y))))
  (* (* (* j (- (* c t) (* i y))) (* j (- (* c t) (* i y)))) (* j (- (* c t) (* i y))))
  (sqrt (* j (- (* c t) (* i y))))
  (sqrt (* j (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* (* c t) j)
  (* (neg (* i y)) j)
  (* (* c t) j)
  (* (neg (* i y)) j)
  (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (* j (sqrt (- (* c t) (* i y))))
  (* j 1)
  (* (cbrt j) (- (* c t) (* i y)))
  (* (sqrt j) (- (* c t) (* i y)))
  (* j (- (* c t) (* i y)))
  (* j (- (pow (* c t) 3) (pow (* i y) 3)))
  (* j (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 j)) (log (/ 1 c))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 j)) (log (/ 1 c))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 j)) (log (/ 1 c))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
  0
  (- (* t (* j c)) (* i (* j y)))
  (- (* t (* j c)) (* i (* j y)))
2.975 * * [simplify]: iteration  0 :  256  enodes  (cost  542 )
2.980 * * [simplify]: iteration  1 :  922  enodes  (cost  489 )
2.999 * * [simplify]: iteration  2 :  3486  enodes  (cost  480 )
3.059 * * [simplify]: iteration  3 :  5002  enodes  (cost  477 )
3.062 * [simplify]: Simplified to:
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (pow j 1/3)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* j (- (* c t) (* i y)))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (pow j 1/3)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* j (- (* c t) (* i y)))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (pow j 1/3)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* j (- (* c t) (* i y)))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (* j (- (* c t) (* i y)))
  (log (* j (- (* c t) (* i y))))
  (log (* j (- (* c t) (* i y))))
  (exp (* j (- (* c t) (* i y))))
  (pow (* j (- (* c t) (* i y))) 3)
  (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y)))))
  (cbrt (* j (- (* c t) (* i y))))
  (pow (* j (- (* c t) (* i y))) 3)
  (sqrt (* j (- (* c t) (* i y))))
  (sqrt (* j (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* (sqrt j) (sqrt (- (* c t) (* i y))))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* c t))
  (* j (neg (* i y)))
  (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (* j (sqrt (- (* c t) (* i y))))
  j
  (* (cbrt j) (- (* c t) (* i y)))
  (* (sqrt j) (- (* c t) (* i y)))
  (* j (- (* c t) (* i y)))
  (* j (- (pow (* c t) 3) (pow (* i y) 3)))
  (* j (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (/ (pow (exp -1/3) (neg (+ (log c) (log j)))) (pow t -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (/ (pow (exp -1/3) (neg (+ (log c) (log j)))) (pow t -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (/ (pow (exp -1/3) (neg (+ (log c) (log j)))) (pow t -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
  0
  (* j (- (* c t) (* i y)))
  (* j (- (* c t) (* i y)))
3.062 * * * [progress]: adding candidates to table
3.405 * * [progress]: iteration 4 / 4
3.405 * * * [progress]: picking best candidate
3.582 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))>
3.582 * * * [progress]: localizing error
3.615 * * * [progress]: generating rewritten candidates
3.615 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
3.618 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2 2)
3.622 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 1)
3.625 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
3.631 * * * [progress]: generating series expansions
3.631 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
3.631 * [approximate]: Approximating (pow (- (* t c) (* i y)) 1/3) in (c t i y) around 0
3.635 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.635 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.636 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.641 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.643 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.643 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.645 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.645 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.649 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.656 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.661 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.662 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.671 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.671 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.671 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.671 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.677 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.678 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
3.683 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.684 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.684 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.686 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.696 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.696 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.699 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.705 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.707 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.712 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.720 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.720 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.721 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.721 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
3.726 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.727 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.728 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.730 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.739 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.739 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.742 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.748 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.750 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.755 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.761 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.761 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.761 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2 2)
3.762 * [approximate]: Approximating (pow (- (* t c) (* i y)) 1/3) in (c t i y) around 0
3.763 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.764 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.765 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.770 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.771 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.771 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.774 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.774 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.777 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.784 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.789 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.791 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.803 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.803 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.803 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.803 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.808 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.809 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
3.814 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.816 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.816 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.818 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.827 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.827 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.830 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.837 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.839 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.843 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.849 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.849 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.849 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.850 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
3.855 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.856 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.856 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.858 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.867 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.867 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.870 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.876 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.879 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.886 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.892 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.892 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.892 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.893 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 1)
3.893 * [approximate]: Approximating (pow (- (* t c) (* i y)) 1/3) in (c t i y) around 0
3.895 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.895 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.897 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.901 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.903 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.903 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.905 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.905 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.908 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.916 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in t
3.920 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.922 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.930 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in i
3.931 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.931 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.931 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.936 * [taylor]: Taking taylor expansion of (pow (- (* t c) (* i y)) 1/3) in y
3.937 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
3.942 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.943 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.944 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.946 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.955 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.955 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.958 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.967 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.970 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.974 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.980 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.980 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.980 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.980 * [approximate]: Approximating (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in (c t i y) around 0
3.986 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.987 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.987 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
3.989 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
3.998 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
3.998 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
4.001 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
4.007 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in t
4.009 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
4.014 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
4.020 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in i
4.020 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
4.020 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* t c)) (/ 1 (* i y))) 1/3) in y
4.020 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
4.021 * [approximate]: Approximating (pow (* (- (* t c) (* i y)) j) 1/3) in (j c t i y) around 0
4.026 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
4.027 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
4.027 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
4.029 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
4.037 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
4.037 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
4.037 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
4.037 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
4.039 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
4.049 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
4.049 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
4.053 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
4.064 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in c
4.064 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
4.064 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
4.064 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
4.065 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in t
4.065 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in i
4.065 * [taylor]: Taking taylor expansion of (pow (* (- (* t c) (* i y)) j) 1/3) in y
4.065 * [approximate]: Approximating (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in (j c t i y) around 0
4.072 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
4.073 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
4.074 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
4.075 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
4.079 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
4.080 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
4.080 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
4.080 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
4.082 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
4.093 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
4.093 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
4.097 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
4.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in c
4.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
4.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
4.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
4.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in t
4.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in i
4.107 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3) in y
4.108 * [approximate]: Approximating (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in (j c t i y) around 0
4.121 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
4.126 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
4.129 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
4.130 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
4.137 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
4.137 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
4.137 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
4.137 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
4.141 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
4.155 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
4.155 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
4.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
4.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in c
4.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
4.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
4.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
4.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in t
4.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in i
4.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) 1/3)) in y
4.173 * * * [progress]: simplifying candidates
4.174 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (cbrt j)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (exp (* -1/3 (+ (log (/ 1 t)) (log (/ 1 c)))))
  (exp (* -1/3 (+ (log (/ -1 c)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (exp (* -1/3 (+ (log (/ 1 t)) (log (/ 1 c)))))
  (exp (* -1/3 (+ (log (/ -1 c)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (exp (* -1/3 (+ (log (/ 1 t)) (log (/ 1 c)))))
  (exp (* -1/3 (+ (log (/ -1 c)) (log (/ -1 t)))))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 j)) (log (/ 1 c))))))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
4.178 * * [simplify]: iteration  0 :  251  enodes  (cost  560 )
4.183 * * [simplify]: iteration  1 :  718  enodes  (cost  522 )
4.196 * * [simplify]: iteration  2 :  2555  enodes  (cost  500 )
4.233 * * [simplify]: iteration  3 :  5001  enodes  (cost  492 )
4.236 * [simplify]: Simplified to:
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (- (* c t) (* i y))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (- (* c t) (* i y))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (- (* c t) (* i y))))
  (exp (cbrt (- (* c t) (* i y))))
  (cbrt (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt (sqrt (- (* c t) (* i y))))
  (cbrt 1)
  (cbrt (- (* c t) (* i y)))
  (cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (- (* c t) (* i y)))) (cbrt (cbrt (- (* c t) (* i y)))))
  (cbrt (cbrt (- (* c t) (* i y))))
  (- (* c t) (* i y))
  (sqrt (cbrt (- (* c t) (* i y))))
  (sqrt (cbrt (- (* c t) (* i y))))
  (log (cbrt (* j (- (* c t) (* i y)))))
  (exp (cbrt (* j (- (* c t) (* i y)))))
  (pow j 1/3)
  (cbrt (- (* c t) (* i y)))
  (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
  (cbrt (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))
  (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))
  (cbrt (+ (* c t) (* i y)))
  (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y))))))
  (cbrt (cbrt (* j (- (* c t) (* i y)))))
  (* j (- (* c t) (* i y)))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (sqrt (cbrt (* j (- (* c t) (* i y)))))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (/ (pow t 1/3) (pow c -1/3))
  (* (pow (/ -1 t) -1/3) (pow (/ -1 c) -1/3))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (/ (pow t 1/3) (pow c -1/3))
  (* (pow (/ -1 t) -1/3) (pow (/ -1 c) -1/3))
  (- (exp (* 1/3 (+ (log -1) (+ (log y) (log i))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log y)) (* 2 (log i)))))) c))))
  (/ (pow t 1/3) (pow c -1/3))
  (* (pow (/ -1 t) -1/3) (pow (/ -1 c) -1/3))
  (exp (* 1/3 (+ (log j) (+ (log -1) (+ (log y) (log i))))))
  (/ (* (pow t 1/3) (pow (/ 1 j) -1/3)) (pow c -1/3))
  (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 c)) (+ (log (/ -1 t)) (log (/ -1 j)))))))
4.236 * * * [progress]: adding candidates to table
5.085 * [progress]: [Phase 3 of 3] Extracting.
5.085 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
5.112 * * * [regime-changes]: Trying 9 branch expressions: (j i c b a t z y x)
5.112 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
5.386 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
5.653 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
5.925 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
6.193 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
6.467 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
6.736 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
7.011 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
7.284 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
7.578 * * * [regime]: Found split indices: #<option (#s(si 15 117) #s(si 5 156) #s(si 8 255))>
7.580 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
7.828 * [regimes]: Found splitpoints: (#s(sp 15 x -3.5643925390953446e-201) #s(sp 5 x 4.813659035038301e-250) #s(sp 8 x +nan.0)) , with alts (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (/ (cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (cbrt (+ (* c t) (* i y)))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) 0))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (sqrt b) (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- 0 (* b (- (* c z) (* i a)))) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* y z) (* t a))) 3)) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 3) (pow (* i a) 3))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (+ (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (* (* (cbrt (cbrt (* j (- (* c t) (* i y))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))) (cbrt (cbrt (* j (- (* c t) (* i y)))))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<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) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* y z) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (* b (sqrt (- (* c z) (* i a)))) (sqrt (- (* c z) (* i a))))) (* j (- (* c t) (* i y)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))))>)
7.829 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= x -3.5643925390953446e-201) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))) (if (<= x 4.813659035038301e-250) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))))
7.830 * * [simplify]: iteration  0 :  63  enodes  (cost  65 )
7.830 * * [simplify]: iteration  1 :  69  enodes  (cost  65 )
7.830 * * [simplify]: iteration  2 :  69  enodes  (cost  65 )
7.831 * [simplify]: Simplified to:
  (if (<= x -3.5643925390953446e-201) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))) (if (<= x 4.813659035038301e-250) (+ (- 0 (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) (+ (- (* (sqrt x) (* (sqrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))))