13.490 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.039 * * * [progress]: [2/2] Setting up program.
2.045 * [progress]: [Phase 2 of 3] Improving.
2.045 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
2.332 * * [simplify]: iteration  0 :  4955  enodes  (cost  29 )
2.332 * * [simplify]: iteration  1 :  4955  enodes  (cost  29 )
2.333 * [simplify]: Simplified to:
   (+ (* x (- (* y z) (* t a))) (+ (* j (- (* a c) (* y i))) (* b (- (* t i) (* z c)))))
2.548 * * [progress]: iteration 1 / 4
2.549 * * * [progress]: picking best candidate
2.555 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))>
2.555 * * * [progress]: localizing error
2.575 * * * [progress]: generating rewritten candidates
2.575 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.581 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.587 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.594 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.599 * * * [progress]: generating series expansions
2.599 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.599 * [approximate]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in (b c z t i) around 0
2.599 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
2.599 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in i
2.599 * [taylor]: Taking taylor expansion of (* z c) in i
2.599 * [taylor]: Taking taylor expansion of z in i
2.599 * [taylor]: Taking taylor expansion of c in i
2.599 * [taylor]: Taking taylor expansion of (* t i) in i
2.599 * [taylor]: Taking taylor expansion of t in i
2.599 * [taylor]: Taking taylor expansion of i in i
2.599 * [taylor]: Taking taylor expansion of b in i
2.599 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
2.599 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in t
2.599 * [taylor]: Taking taylor expansion of (* z c) in t
2.599 * [taylor]: Taking taylor expansion of z in t
2.599 * [taylor]: Taking taylor expansion of c in t
2.599 * [taylor]: Taking taylor expansion of (* t i) in t
2.599 * [taylor]: Taking taylor expansion of t in t
2.599 * [taylor]: Taking taylor expansion of i in t
2.599 * [taylor]: Taking taylor expansion of b in t
2.599 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in z
2.599 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in z
2.599 * [taylor]: Taking taylor expansion of (* z c) in z
2.599 * [taylor]: Taking taylor expansion of z in z
2.599 * [taylor]: Taking taylor expansion of c in z
2.599 * [taylor]: Taking taylor expansion of (* t i) in z
2.599 * [taylor]: Taking taylor expansion of t in z
2.599 * [taylor]: Taking taylor expansion of i in z
2.599 * [taylor]: Taking taylor expansion of b in z
2.599 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in c
2.599 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.599 * [taylor]: Taking taylor expansion of (* z c) in c
2.599 * [taylor]: Taking taylor expansion of z in c
2.599 * [taylor]: Taking taylor expansion of c in c
2.599 * [taylor]: Taking taylor expansion of (* t i) in c
2.599 * [taylor]: Taking taylor expansion of t in c
2.599 * [taylor]: Taking taylor expansion of i in c
2.599 * [taylor]: Taking taylor expansion of b in c
2.599 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.599 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.599 * [taylor]: Taking taylor expansion of (* z c) in b
2.599 * [taylor]: Taking taylor expansion of z in b
2.599 * [taylor]: Taking taylor expansion of c in b
2.599 * [taylor]: Taking taylor expansion of (* t i) in b
2.600 * [taylor]: Taking taylor expansion of t in b
2.600 * [taylor]: Taking taylor expansion of i in b
2.600 * [taylor]: Taking taylor expansion of b in b
2.600 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.600 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.600 * [taylor]: Taking taylor expansion of (* z c) in b
2.600 * [taylor]: Taking taylor expansion of z in b
2.600 * [taylor]: Taking taylor expansion of c in b
2.600 * [taylor]: Taking taylor expansion of (* t i) in b
2.600 * [taylor]: Taking taylor expansion of t in b
2.600 * [taylor]: Taking taylor expansion of i in b
2.600 * [taylor]: Taking taylor expansion of b in b
2.600 * [taylor]: Taking taylor expansion of 0 in c
2.600 * [taylor]: Taking taylor expansion of 0 in z
2.600 * [taylor]: Taking taylor expansion of 0 in t
2.600 * [taylor]: Taking taylor expansion of 0 in i
2.600 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.600 * [taylor]: Taking taylor expansion of (* z c) in c
2.600 * [taylor]: Taking taylor expansion of z in c
2.600 * [taylor]: Taking taylor expansion of c in c
2.600 * [taylor]: Taking taylor expansion of (* t i) in c
2.600 * [taylor]: Taking taylor expansion of t in c
2.600 * [taylor]: Taking taylor expansion of i in c
2.600 * [taylor]: Taking taylor expansion of (neg (* t i)) in z
2.600 * [taylor]: Taking taylor expansion of (* t i) in z
2.600 * [taylor]: Taking taylor expansion of t in z
2.600 * [taylor]: Taking taylor expansion of i in z
2.600 * [taylor]: Taking taylor expansion of (neg (* t i)) in t
2.600 * [taylor]: Taking taylor expansion of (* t i) in t
2.600 * [taylor]: Taking taylor expansion of t in t
2.600 * [taylor]: Taking taylor expansion of i in t
2.601 * [taylor]: Taking taylor expansion of 0 in i
2.601 * [taylor]: Taking taylor expansion of 0 in z
2.601 * [taylor]: Taking taylor expansion of 0 in t
2.601 * [taylor]: Taking taylor expansion of 0 in i
2.601 * [taylor]: Taking taylor expansion of 0 in t
2.601 * [taylor]: Taking taylor expansion of 0 in i
2.601 * [taylor]: Taking taylor expansion of 0 in i
2.601 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in (b c z t i) around 0
2.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
2.601 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
2.601 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
2.601 * [taylor]: Taking taylor expansion of (* z c) in i
2.601 * [taylor]: Taking taylor expansion of z in i
2.601 * [taylor]: Taking taylor expansion of c in i
2.601 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
2.601 * [taylor]: Taking taylor expansion of (* t i) in i
2.601 * [taylor]: Taking taylor expansion of t in i
2.601 * [taylor]: Taking taylor expansion of i in i
2.601 * [taylor]: Taking taylor expansion of b in i
2.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
2.601 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
2.601 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
2.601 * [taylor]: Taking taylor expansion of (* z c) in t
2.601 * [taylor]: Taking taylor expansion of z in t
2.601 * [taylor]: Taking taylor expansion of c in t
2.601 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.601 * [taylor]: Taking taylor expansion of (* t i) in t
2.601 * [taylor]: Taking taylor expansion of t in t
2.601 * [taylor]: Taking taylor expansion of i in t
2.601 * [taylor]: Taking taylor expansion of b in t
2.602 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
2.602 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
2.602 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
2.602 * [taylor]: Taking taylor expansion of (* z c) in z
2.602 * [taylor]: Taking taylor expansion of z in z
2.602 * [taylor]: Taking taylor expansion of c in z
2.602 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.602 * [taylor]: Taking taylor expansion of (* t i) in z
2.602 * [taylor]: Taking taylor expansion of t in z
2.602 * [taylor]: Taking taylor expansion of i in z
2.602 * [taylor]: Taking taylor expansion of b in z
2.602 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
2.602 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.602 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.602 * [taylor]: Taking taylor expansion of (* z c) in c
2.602 * [taylor]: Taking taylor expansion of z in c
2.602 * [taylor]: Taking taylor expansion of c in c
2.602 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.602 * [taylor]: Taking taylor expansion of (* t i) in c
2.602 * [taylor]: Taking taylor expansion of t in c
2.602 * [taylor]: Taking taylor expansion of i in c
2.602 * [taylor]: Taking taylor expansion of b in c
2.602 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.602 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.602 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.602 * [taylor]: Taking taylor expansion of (* z c) in b
2.602 * [taylor]: Taking taylor expansion of z in b
2.602 * [taylor]: Taking taylor expansion of c in b
2.602 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.602 * [taylor]: Taking taylor expansion of (* t i) in b
2.602 * [taylor]: Taking taylor expansion of t in b
2.602 * [taylor]: Taking taylor expansion of i in b
2.602 * [taylor]: Taking taylor expansion of b in b
2.603 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.603 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.603 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.603 * [taylor]: Taking taylor expansion of (* z c) in b
2.603 * [taylor]: Taking taylor expansion of z in b
2.603 * [taylor]: Taking taylor expansion of c in b
2.603 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.603 * [taylor]: Taking taylor expansion of (* t i) in b
2.603 * [taylor]: Taking taylor expansion of t in b
2.603 * [taylor]: Taking taylor expansion of i in b
2.603 * [taylor]: Taking taylor expansion of b in b
2.603 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.603 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.603 * [taylor]: Taking taylor expansion of (* z c) in c
2.603 * [taylor]: Taking taylor expansion of z in c
2.603 * [taylor]: Taking taylor expansion of c in c
2.603 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.603 * [taylor]: Taking taylor expansion of (* t i) in c
2.603 * [taylor]: Taking taylor expansion of t in c
2.603 * [taylor]: Taking taylor expansion of i in c
2.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.603 * [taylor]: Taking taylor expansion of z in z
2.603 * [taylor]: Taking taylor expansion of 1 in t
2.604 * [taylor]: Taking taylor expansion of 0 in c
2.604 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in z
2.604 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.604 * [taylor]: Taking taylor expansion of (* t i) in z
2.604 * [taylor]: Taking taylor expansion of t in z
2.604 * [taylor]: Taking taylor expansion of i in z
2.604 * [taylor]: Taking taylor expansion of 0 in t
2.604 * [taylor]: Taking taylor expansion of 1 in i
2.604 * [taylor]: Taking taylor expansion of 0 in c
2.604 * [taylor]: Taking taylor expansion of 0 in z
2.605 * [taylor]: Taking taylor expansion of 0 in z
2.605 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in t
2.605 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.605 * [taylor]: Taking taylor expansion of (* t i) in t
2.605 * [taylor]: Taking taylor expansion of t in t
2.605 * [taylor]: Taking taylor expansion of i in t
2.605 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.605 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.605 * [taylor]: Taking taylor expansion of i in i
2.605 * [taylor]: Taking taylor expansion of 0 in t
2.605 * [taylor]: Taking taylor expansion of 0 in i
2.605 * [taylor]: Taking taylor expansion of 0 in i
2.605 * [taylor]: Taking taylor expansion of 0 in c
2.605 * [taylor]: Taking taylor expansion of 0 in z
2.606 * [taylor]: Taking taylor expansion of 0 in z
2.606 * [taylor]: Taking taylor expansion of 0 in z
2.606 * [taylor]: Taking taylor expansion of 0 in t
2.606 * [taylor]: Taking taylor expansion of 0 in t
2.606 * [taylor]: Taking taylor expansion of 0 in t
2.606 * [taylor]: Taking taylor expansion of 0 in t
2.606 * [taylor]: Taking taylor expansion of 0 in i
2.606 * [taylor]: Taking taylor expansion of 0 in i
2.606 * [taylor]: Taking taylor expansion of 0 in i
2.606 * [taylor]: Taking taylor expansion of 0 in i
2.607 * [taylor]: Taking taylor expansion of 0 in c
2.607 * [taylor]: Taking taylor expansion of 0 in z
2.607 * [taylor]: Taking taylor expansion of 0 in z
2.607 * [taylor]: Taking taylor expansion of 0 in z
2.607 * [taylor]: Taking taylor expansion of 0 in z
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.608 * [taylor]: Taking taylor expansion of 0 in t
2.608 * [taylor]: Taking taylor expansion of 0 in t
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.608 * [taylor]: Taking taylor expansion of 0 in i
2.609 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in (b c z t i) around 0
2.609 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
2.609 * [taylor]: Taking taylor expansion of -1 in i
2.609 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
2.609 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
2.609 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
2.609 * [taylor]: Taking taylor expansion of (* z c) in i
2.609 * [taylor]: Taking taylor expansion of z in i
2.609 * [taylor]: Taking taylor expansion of c in i
2.609 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
2.609 * [taylor]: Taking taylor expansion of (* t i) in i
2.609 * [taylor]: Taking taylor expansion of t in i
2.609 * [taylor]: Taking taylor expansion of i in i
2.609 * [taylor]: Taking taylor expansion of b in i
2.609 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
2.609 * [taylor]: Taking taylor expansion of -1 in t
2.609 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
2.609 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
2.609 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
2.609 * [taylor]: Taking taylor expansion of (* z c) in t
2.609 * [taylor]: Taking taylor expansion of z in t
2.609 * [taylor]: Taking taylor expansion of c in t
2.609 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.609 * [taylor]: Taking taylor expansion of (* t i) in t
2.609 * [taylor]: Taking taylor expansion of t in t
2.609 * [taylor]: Taking taylor expansion of i in t
2.609 * [taylor]: Taking taylor expansion of b in t
2.609 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
2.609 * [taylor]: Taking taylor expansion of -1 in z
2.609 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
2.609 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
2.609 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
2.609 * [taylor]: Taking taylor expansion of (* z c) in z
2.609 * [taylor]: Taking taylor expansion of z in z
2.609 * [taylor]: Taking taylor expansion of c in z
2.609 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.610 * [taylor]: Taking taylor expansion of (* t i) in z
2.610 * [taylor]: Taking taylor expansion of t in z
2.610 * [taylor]: Taking taylor expansion of i in z
2.610 * [taylor]: Taking taylor expansion of b in z
2.610 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
2.610 * [taylor]: Taking taylor expansion of -1 in c
2.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
2.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.610 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.610 * [taylor]: Taking taylor expansion of (* z c) in c
2.610 * [taylor]: Taking taylor expansion of z in c
2.610 * [taylor]: Taking taylor expansion of c in c
2.610 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.610 * [taylor]: Taking taylor expansion of (* t i) in c
2.610 * [taylor]: Taking taylor expansion of t in c
2.610 * [taylor]: Taking taylor expansion of i in c
2.610 * [taylor]: Taking taylor expansion of b in c
2.610 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
2.610 * [taylor]: Taking taylor expansion of -1 in b
2.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.610 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.610 * [taylor]: Taking taylor expansion of (* z c) in b
2.610 * [taylor]: Taking taylor expansion of z in b
2.610 * [taylor]: Taking taylor expansion of c in b
2.610 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.610 * [taylor]: Taking taylor expansion of (* t i) in b
2.610 * [taylor]: Taking taylor expansion of t in b
2.610 * [taylor]: Taking taylor expansion of i in b
2.610 * [taylor]: Taking taylor expansion of b in b
2.610 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
2.610 * [taylor]: Taking taylor expansion of -1 in b
2.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.611 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.611 * [taylor]: Taking taylor expansion of (* z c) in b
2.611 * [taylor]: Taking taylor expansion of z in b
2.611 * [taylor]: Taking taylor expansion of c in b
2.611 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.611 * [taylor]: Taking taylor expansion of (* t i) in b
2.611 * [taylor]: Taking taylor expansion of t in b
2.611 * [taylor]: Taking taylor expansion of i in b
2.611 * [taylor]: Taking taylor expansion of b in b
2.611 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z c)) (/ 1 (* t i)))) in c
2.611 * [taylor]: Taking taylor expansion of -1 in c
2.611 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.611 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.611 * [taylor]: Taking taylor expansion of (* z c) in c
2.611 * [taylor]: Taking taylor expansion of z in c
2.611 * [taylor]: Taking taylor expansion of c in c
2.611 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.611 * [taylor]: Taking taylor expansion of (* t i) in c
2.611 * [taylor]: Taking taylor expansion of t in c
2.611 * [taylor]: Taking taylor expansion of i in c
2.611 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.611 * [taylor]: Taking taylor expansion of -1 in z
2.611 * [taylor]: Taking taylor expansion of z in z
2.611 * [taylor]: Taking taylor expansion of -1 in t
2.612 * [taylor]: Taking taylor expansion of 0 in c
2.612 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.612 * [taylor]: Taking taylor expansion of (* t i) in z
2.612 * [taylor]: Taking taylor expansion of t in z
2.612 * [taylor]: Taking taylor expansion of i in z
2.612 * [taylor]: Taking taylor expansion of 0 in t
2.612 * [taylor]: Taking taylor expansion of -1 in i
2.613 * [taylor]: Taking taylor expansion of 0 in c
2.613 * [taylor]: Taking taylor expansion of 0 in z
2.613 * [taylor]: Taking taylor expansion of 0 in z
2.613 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.613 * [taylor]: Taking taylor expansion of (* t i) in t
2.613 * [taylor]: Taking taylor expansion of t in t
2.613 * [taylor]: Taking taylor expansion of i in t
2.613 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.613 * [taylor]: Taking taylor expansion of i in i
2.613 * [taylor]: Taking taylor expansion of 0 in t
2.613 * [taylor]: Taking taylor expansion of 0 in i
2.613 * [taylor]: Taking taylor expansion of 0 in i
2.614 * [taylor]: Taking taylor expansion of 0 in c
2.614 * [taylor]: Taking taylor expansion of 0 in z
2.614 * [taylor]: Taking taylor expansion of 0 in z
2.614 * [taylor]: Taking taylor expansion of 0 in z
2.614 * [taylor]: Taking taylor expansion of 0 in t
2.615 * [taylor]: Taking taylor expansion of 0 in t
2.615 * [taylor]: Taking taylor expansion of 0 in t
2.615 * [taylor]: Taking taylor expansion of 0 in t
2.615 * [taylor]: Taking taylor expansion of 0 in i
2.615 * [taylor]: Taking taylor expansion of 0 in i
2.615 * [taylor]: Taking taylor expansion of 0 in i
2.615 * [taylor]: Taking taylor expansion of 0 in i
2.616 * [taylor]: Taking taylor expansion of 0 in c
2.616 * [taylor]: Taking taylor expansion of 0 in z
2.616 * [taylor]: Taking taylor expansion of 0 in z
2.616 * [taylor]: Taking taylor expansion of 0 in z
2.616 * [taylor]: Taking taylor expansion of 0 in z
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * [taylor]: Taking taylor expansion of 0 in i
2.617 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.617 * [approximate]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in (j c a y i) around 0
2.617 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
2.617 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
2.617 * [taylor]: Taking taylor expansion of (* a c) in i
2.617 * [taylor]: Taking taylor expansion of a in i
2.617 * [taylor]: Taking taylor expansion of c in i
2.617 * [taylor]: Taking taylor expansion of (* i y) in i
2.617 * [taylor]: Taking taylor expansion of i in i
2.617 * [taylor]: Taking taylor expansion of y in i
2.618 * [taylor]: Taking taylor expansion of j in i
2.618 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
2.618 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
2.618 * [taylor]: Taking taylor expansion of (* a c) in y
2.618 * [taylor]: Taking taylor expansion of a in y
2.618 * [taylor]: Taking taylor expansion of c in y
2.618 * [taylor]: Taking taylor expansion of (* i y) in y
2.618 * [taylor]: Taking taylor expansion of i in y
2.618 * [taylor]: Taking taylor expansion of y in y
2.618 * [taylor]: Taking taylor expansion of j in y
2.618 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
2.618 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in a
2.618 * [taylor]: Taking taylor expansion of (* a c) in a
2.618 * [taylor]: Taking taylor expansion of a in a
2.618 * [taylor]: Taking taylor expansion of c in a
2.618 * [taylor]: Taking taylor expansion of (* i y) in a
2.618 * [taylor]: Taking taylor expansion of i in a
2.618 * [taylor]: Taking taylor expansion of y in a
2.618 * [taylor]: Taking taylor expansion of j in a
2.618 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in c
2.618 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.618 * [taylor]: Taking taylor expansion of (* a c) in c
2.618 * [taylor]: Taking taylor expansion of a in c
2.618 * [taylor]: Taking taylor expansion of c in c
2.618 * [taylor]: Taking taylor expansion of (* i y) in c
2.618 * [taylor]: Taking taylor expansion of i in c
2.618 * [taylor]: Taking taylor expansion of y in c
2.618 * [taylor]: Taking taylor expansion of j in c
2.618 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in j
2.618 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in j
2.618 * [taylor]: Taking taylor expansion of (* a c) in j
2.618 * [taylor]: Taking taylor expansion of a in j
2.618 * [taylor]: Taking taylor expansion of c in j
2.618 * [taylor]: Taking taylor expansion of (* i y) in j
2.618 * [taylor]: Taking taylor expansion of i in j
2.618 * [taylor]: Taking taylor expansion of y in j
2.618 * [taylor]: Taking taylor expansion of j in j
2.618 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in j
2.618 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in j
2.618 * [taylor]: Taking taylor expansion of (* a c) in j
2.618 * [taylor]: Taking taylor expansion of a in j
2.618 * [taylor]: Taking taylor expansion of c in j
2.618 * [taylor]: Taking taylor expansion of (* i y) in j
2.618 * [taylor]: Taking taylor expansion of i in j
2.618 * [taylor]: Taking taylor expansion of y in j
2.618 * [taylor]: Taking taylor expansion of j in j
2.618 * [taylor]: Taking taylor expansion of 0 in c
2.618 * [taylor]: Taking taylor expansion of 0 in a
2.618 * [taylor]: Taking taylor expansion of 0 in y
2.618 * [taylor]: Taking taylor expansion of 0 in i
2.619 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.619 * [taylor]: Taking taylor expansion of (* a c) in c
2.619 * [taylor]: Taking taylor expansion of a in c
2.619 * [taylor]: Taking taylor expansion of c in c
2.619 * [taylor]: Taking taylor expansion of (* i y) in c
2.619 * [taylor]: Taking taylor expansion of i in c
2.619 * [taylor]: Taking taylor expansion of y in c
2.619 * [taylor]: Taking taylor expansion of (neg (* i y)) in a
2.619 * [taylor]: Taking taylor expansion of (* i y) in a
2.619 * [taylor]: Taking taylor expansion of i in a
2.619 * [taylor]: Taking taylor expansion of y in a
2.619 * [taylor]: Taking taylor expansion of (neg (* i y)) in y
2.619 * [taylor]: Taking taylor expansion of (* i y) in y
2.619 * [taylor]: Taking taylor expansion of i in y
2.619 * [taylor]: Taking taylor expansion of y in y
2.619 * [taylor]: Taking taylor expansion of 0 in i
2.619 * [taylor]: Taking taylor expansion of 0 in a
2.619 * [taylor]: Taking taylor expansion of 0 in y
2.619 * [taylor]: Taking taylor expansion of 0 in i
2.619 * [taylor]: Taking taylor expansion of 0 in y
2.619 * [taylor]: Taking taylor expansion of 0 in i
2.619 * [taylor]: Taking taylor expansion of 0 in i
2.619 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in (j c a y i) around 0
2.619 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
2.619 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.619 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.619 * [taylor]: Taking taylor expansion of (* a c) in i
2.619 * [taylor]: Taking taylor expansion of a in i
2.619 * [taylor]: Taking taylor expansion of c in i
2.619 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.619 * [taylor]: Taking taylor expansion of (* i y) in i
2.619 * [taylor]: Taking taylor expansion of i in i
2.620 * [taylor]: Taking taylor expansion of y in i
2.620 * [taylor]: Taking taylor expansion of j in i
2.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
2.620 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.620 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.620 * [taylor]: Taking taylor expansion of (* a c) in y
2.620 * [taylor]: Taking taylor expansion of a in y
2.620 * [taylor]: Taking taylor expansion of c in y
2.620 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.620 * [taylor]: Taking taylor expansion of (* i y) in y
2.620 * [taylor]: Taking taylor expansion of i in y
2.620 * [taylor]: Taking taylor expansion of y in y
2.620 * [taylor]: Taking taylor expansion of j in y
2.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
2.620 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.620 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.620 * [taylor]: Taking taylor expansion of (* a c) in a
2.620 * [taylor]: Taking taylor expansion of a in a
2.620 * [taylor]: Taking taylor expansion of c in a
2.620 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.620 * [taylor]: Taking taylor expansion of (* i y) in a
2.620 * [taylor]: Taking taylor expansion of i in a
2.620 * [taylor]: Taking taylor expansion of y in a
2.620 * [taylor]: Taking taylor expansion of j in a
2.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
2.620 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.620 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.620 * [taylor]: Taking taylor expansion of (* a c) in c
2.620 * [taylor]: Taking taylor expansion of a in c
2.620 * [taylor]: Taking taylor expansion of c in c
2.620 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.620 * [taylor]: Taking taylor expansion of (* i y) in c
2.620 * [taylor]: Taking taylor expansion of i in c
2.621 * [taylor]: Taking taylor expansion of y in c
2.621 * [taylor]: Taking taylor expansion of j in c
2.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.621 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.621 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.621 * [taylor]: Taking taylor expansion of (* a c) in j
2.621 * [taylor]: Taking taylor expansion of a in j
2.621 * [taylor]: Taking taylor expansion of c in j
2.621 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.621 * [taylor]: Taking taylor expansion of (* i y) in j
2.621 * [taylor]: Taking taylor expansion of i in j
2.621 * [taylor]: Taking taylor expansion of y in j
2.621 * [taylor]: Taking taylor expansion of j in j
2.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.621 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.621 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.621 * [taylor]: Taking taylor expansion of (* a c) in j
2.621 * [taylor]: Taking taylor expansion of a in j
2.621 * [taylor]: Taking taylor expansion of c in j
2.621 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.621 * [taylor]: Taking taylor expansion of (* i y) in j
2.621 * [taylor]: Taking taylor expansion of i in j
2.621 * [taylor]: Taking taylor expansion of y in j
2.621 * [taylor]: Taking taylor expansion of j in j
2.621 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.622 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.622 * [taylor]: Taking taylor expansion of (* a c) in c
2.622 * [taylor]: Taking taylor expansion of a in c
2.622 * [taylor]: Taking taylor expansion of c in c
2.622 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.622 * [taylor]: Taking taylor expansion of (* i y) in c
2.622 * [taylor]: Taking taylor expansion of i in c
2.622 * [taylor]: Taking taylor expansion of y in c
2.622 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.622 * [taylor]: Taking taylor expansion of a in a
2.622 * [taylor]: Taking taylor expansion of 1 in y
2.622 * [taylor]: Taking taylor expansion of 0 in c
2.622 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in a
2.622 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.622 * [taylor]: Taking taylor expansion of (* i y) in a
2.622 * [taylor]: Taking taylor expansion of i in a
2.622 * [taylor]: Taking taylor expansion of y in a
2.622 * [taylor]: Taking taylor expansion of 0 in y
2.622 * [taylor]: Taking taylor expansion of 1 in i
2.623 * [taylor]: Taking taylor expansion of 0 in c
2.623 * [taylor]: Taking taylor expansion of 0 in a
2.623 * [taylor]: Taking taylor expansion of 0 in a
2.623 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in y
2.623 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.623 * [taylor]: Taking taylor expansion of (* i y) in y
2.623 * [taylor]: Taking taylor expansion of i in y
2.623 * [taylor]: Taking taylor expansion of y in y
2.623 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.623 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.623 * [taylor]: Taking taylor expansion of i in i
2.623 * [taylor]: Taking taylor expansion of 0 in y
2.623 * [taylor]: Taking taylor expansion of 0 in i
2.623 * [taylor]: Taking taylor expansion of 0 in i
2.624 * [taylor]: Taking taylor expansion of 0 in c
2.624 * [taylor]: Taking taylor expansion of 0 in a
2.624 * [taylor]: Taking taylor expansion of 0 in a
2.624 * [taylor]: Taking taylor expansion of 0 in a
2.624 * [taylor]: Taking taylor expansion of 0 in y
2.624 * [taylor]: Taking taylor expansion of 0 in y
2.624 * [taylor]: Taking taylor expansion of 0 in y
2.624 * [taylor]: Taking taylor expansion of 0 in y
2.625 * [taylor]: Taking taylor expansion of 0 in i
2.625 * [taylor]: Taking taylor expansion of 0 in i
2.625 * [taylor]: Taking taylor expansion of 0 in i
2.625 * [taylor]: Taking taylor expansion of 0 in i
2.628 * [taylor]: Taking taylor expansion of 0 in c
2.628 * [taylor]: Taking taylor expansion of 0 in a
2.628 * [taylor]: Taking taylor expansion of 0 in a
2.628 * [taylor]: Taking taylor expansion of 0 in a
2.628 * [taylor]: Taking taylor expansion of 0 in a
2.628 * [taylor]: Taking taylor expansion of 0 in y
2.628 * [taylor]: Taking taylor expansion of 0 in y
2.628 * [taylor]: Taking taylor expansion of 0 in y
2.628 * [taylor]: Taking taylor expansion of 0 in y
2.628 * [taylor]: Taking taylor expansion of 0 in y
2.629 * [taylor]: Taking taylor expansion of 0 in y
2.629 * [taylor]: Taking taylor expansion of 0 in y
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.629 * [taylor]: Taking taylor expansion of 0 in i
2.630 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in (j c a y i) around 0
2.630 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
2.630 * [taylor]: Taking taylor expansion of -1 in i
2.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
2.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.630 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.630 * [taylor]: Taking taylor expansion of (* a c) in i
2.630 * [taylor]: Taking taylor expansion of a in i
2.630 * [taylor]: Taking taylor expansion of c in i
2.630 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.630 * [taylor]: Taking taylor expansion of (* i y) in i
2.630 * [taylor]: Taking taylor expansion of i in i
2.630 * [taylor]: Taking taylor expansion of y in i
2.630 * [taylor]: Taking taylor expansion of j in i
2.630 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
2.630 * [taylor]: Taking taylor expansion of -1 in y
2.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
2.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.630 * [taylor]: Taking taylor expansion of (* a c) in y
2.630 * [taylor]: Taking taylor expansion of a in y
2.630 * [taylor]: Taking taylor expansion of c in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.630 * [taylor]: Taking taylor expansion of (* i y) in y
2.630 * [taylor]: Taking taylor expansion of i in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.630 * [taylor]: Taking taylor expansion of j in y
2.630 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
2.630 * [taylor]: Taking taylor expansion of -1 in a
2.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
2.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.630 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.630 * [taylor]: Taking taylor expansion of (* a c) in a
2.630 * [taylor]: Taking taylor expansion of a in a
2.630 * [taylor]: Taking taylor expansion of c in a
2.631 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.631 * [taylor]: Taking taylor expansion of (* i y) in a
2.631 * [taylor]: Taking taylor expansion of i in a
2.631 * [taylor]: Taking taylor expansion of y in a
2.631 * [taylor]: Taking taylor expansion of j in a
2.631 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
2.631 * [taylor]: Taking taylor expansion of -1 in c
2.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
2.631 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.631 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.631 * [taylor]: Taking taylor expansion of (* a c) in c
2.631 * [taylor]: Taking taylor expansion of a in c
2.631 * [taylor]: Taking taylor expansion of c in c
2.631 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.631 * [taylor]: Taking taylor expansion of (* i y) in c
2.631 * [taylor]: Taking taylor expansion of i in c
2.631 * [taylor]: Taking taylor expansion of y in c
2.631 * [taylor]: Taking taylor expansion of j in c
2.631 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in j
2.631 * [taylor]: Taking taylor expansion of -1 in j
2.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.631 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.631 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.631 * [taylor]: Taking taylor expansion of (* a c) in j
2.631 * [taylor]: Taking taylor expansion of a in j
2.631 * [taylor]: Taking taylor expansion of c in j
2.631 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.631 * [taylor]: Taking taylor expansion of (* i y) in j
2.631 * [taylor]: Taking taylor expansion of i in j
2.631 * [taylor]: Taking taylor expansion of y in j
2.631 * [taylor]: Taking taylor expansion of j in j
2.631 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in j
2.631 * [taylor]: Taking taylor expansion of -1 in j
2.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.632 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.632 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.632 * [taylor]: Taking taylor expansion of (* a c) in j
2.632 * [taylor]: Taking taylor expansion of a in j
2.632 * [taylor]: Taking taylor expansion of c in j
2.632 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.632 * [taylor]: Taking taylor expansion of (* i y) in j
2.632 * [taylor]: Taking taylor expansion of i in j
2.632 * [taylor]: Taking taylor expansion of y in j
2.632 * [taylor]: Taking taylor expansion of j in j
2.632 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* a c)) (/ 1 (* i y)))) in c
2.632 * [taylor]: Taking taylor expansion of -1 in c
2.632 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.632 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.632 * [taylor]: Taking taylor expansion of (* a c) in c
2.632 * [taylor]: Taking taylor expansion of a in c
2.632 * [taylor]: Taking taylor expansion of c in c
2.632 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.632 * [taylor]: Taking taylor expansion of (* i y) in c
2.632 * [taylor]: Taking taylor expansion of i in c
2.632 * [taylor]: Taking taylor expansion of y in c
2.632 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.632 * [taylor]: Taking taylor expansion of -1 in a
2.632 * [taylor]: Taking taylor expansion of a in a
2.632 * [taylor]: Taking taylor expansion of -1 in y
2.633 * [taylor]: Taking taylor expansion of 0 in c
2.633 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.633 * [taylor]: Taking taylor expansion of (* i y) in a
2.633 * [taylor]: Taking taylor expansion of i in a
2.633 * [taylor]: Taking taylor expansion of y in a
2.633 * [taylor]: Taking taylor expansion of 0 in y
2.633 * [taylor]: Taking taylor expansion of -1 in i
2.634 * [taylor]: Taking taylor expansion of 0 in c
2.634 * [taylor]: Taking taylor expansion of 0 in a
2.634 * [taylor]: Taking taylor expansion of 0 in a
2.634 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.634 * [taylor]: Taking taylor expansion of (* i y) in y
2.634 * [taylor]: Taking taylor expansion of i in y
2.634 * [taylor]: Taking taylor expansion of y in y
2.634 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.634 * [taylor]: Taking taylor expansion of i in i
2.634 * [taylor]: Taking taylor expansion of 0 in y
2.634 * [taylor]: Taking taylor expansion of 0 in i
2.634 * [taylor]: Taking taylor expansion of 0 in i
2.635 * [taylor]: Taking taylor expansion of 0 in c
2.635 * [taylor]: Taking taylor expansion of 0 in a
2.635 * [taylor]: Taking taylor expansion of 0 in a
2.635 * [taylor]: Taking taylor expansion of 0 in a
2.635 * [taylor]: Taking taylor expansion of 0 in y
2.635 * [taylor]: Taking taylor expansion of 0 in y
2.635 * [taylor]: Taking taylor expansion of 0 in y
2.635 * [taylor]: Taking taylor expansion of 0 in y
2.636 * [taylor]: Taking taylor expansion of 0 in i
2.636 * [taylor]: Taking taylor expansion of 0 in i
2.636 * [taylor]: Taking taylor expansion of 0 in i
2.636 * [taylor]: Taking taylor expansion of 0 in i
2.636 * [taylor]: Taking taylor expansion of 0 in c
2.636 * [taylor]: Taking taylor expansion of 0 in a
2.636 * [taylor]: Taking taylor expansion of 0 in a
2.636 * [taylor]: Taking taylor expansion of 0 in a
2.637 * [taylor]: Taking taylor expansion of 0 in a
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in i
2.637 * [taylor]: Taking taylor expansion of 0 in i
2.637 * [taylor]: Taking taylor expansion of 0 in i
2.637 * [taylor]: Taking taylor expansion of 0 in i
2.637 * [taylor]: Taking taylor expansion of 0 in i
2.637 * [taylor]: Taking taylor expansion of 0 in i
2.638 * [taylor]: Taking taylor expansion of 0 in i
2.638 * [taylor]: Taking taylor expansion of 0 in i
2.638 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.638 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0
2.638 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.638 * [taylor]: Taking taylor expansion of x in a
2.638 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
2.638 * [taylor]: Taking taylor expansion of (* z y) in a
2.638 * [taylor]: Taking taylor expansion of z in a
2.638 * [taylor]: Taking taylor expansion of y in a
2.638 * [taylor]: Taking taylor expansion of (* t a) in a
2.638 * [taylor]: Taking taylor expansion of t in a
2.638 * [taylor]: Taking taylor expansion of a in a
2.638 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
2.638 * [taylor]: Taking taylor expansion of x in t
2.638 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
2.638 * [taylor]: Taking taylor expansion of (* z y) in t
2.638 * [taylor]: Taking taylor expansion of z in t
2.638 * [taylor]: Taking taylor expansion of y in t
2.638 * [taylor]: Taking taylor expansion of (* t a) in t
2.638 * [taylor]: Taking taylor expansion of t in t
2.638 * [taylor]: Taking taylor expansion of a in t
2.638 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
2.638 * [taylor]: Taking taylor expansion of x in z
2.638 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
2.638 * [taylor]: Taking taylor expansion of (* z y) in z
2.638 * [taylor]: Taking taylor expansion of z in z
2.638 * [taylor]: Taking taylor expansion of y in z
2.638 * [taylor]: Taking taylor expansion of (* t a) in z
2.638 * [taylor]: Taking taylor expansion of t in z
2.639 * [taylor]: Taking taylor expansion of a in z
2.639 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
2.639 * [taylor]: Taking taylor expansion of x in y
2.639 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
2.639 * [taylor]: Taking taylor expansion of (* z y) in y
2.639 * [taylor]: Taking taylor expansion of z in y
2.639 * [taylor]: Taking taylor expansion of y in y
2.639 * [taylor]: Taking taylor expansion of (* t a) in y
2.639 * [taylor]: Taking taylor expansion of t in y
2.639 * [taylor]: Taking taylor expansion of a in y
2.639 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
2.639 * [taylor]: Taking taylor expansion of x in x
2.639 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
2.639 * [taylor]: Taking taylor expansion of (* z y) in x
2.639 * [taylor]: Taking taylor expansion of z in x
2.639 * [taylor]: Taking taylor expansion of y in x
2.639 * [taylor]: Taking taylor expansion of (* t a) in x
2.639 * [taylor]: Taking taylor expansion of t in x
2.639 * [taylor]: Taking taylor expansion of a in x
2.639 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
2.639 * [taylor]: Taking taylor expansion of x in x
2.639 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
2.639 * [taylor]: Taking taylor expansion of (* z y) in x
2.639 * [taylor]: Taking taylor expansion of z in x
2.639 * [taylor]: Taking taylor expansion of y in x
2.639 * [taylor]: Taking taylor expansion of (* t a) in x
2.639 * [taylor]: Taking taylor expansion of t in x
2.639 * [taylor]: Taking taylor expansion of a in x
2.639 * [taylor]: Taking taylor expansion of 0 in y
2.639 * [taylor]: Taking taylor expansion of 0 in z
2.639 * [taylor]: Taking taylor expansion of 0 in t
2.639 * [taylor]: Taking taylor expansion of 0 in a
2.639 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
2.639 * [taylor]: Taking taylor expansion of (* z y) in y
2.639 * [taylor]: Taking taylor expansion of z in y
2.639 * [taylor]: Taking taylor expansion of y in y
2.639 * [taylor]: Taking taylor expansion of (* t a) in y
2.639 * [taylor]: Taking taylor expansion of t in y
2.639 * [taylor]: Taking taylor expansion of a in y
2.640 * [taylor]: Taking taylor expansion of (neg (* t a)) in z
2.640 * [taylor]: Taking taylor expansion of (* t a) in z
2.640 * [taylor]: Taking taylor expansion of t in z
2.640 * [taylor]: Taking taylor expansion of a in z
2.640 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
2.640 * [taylor]: Taking taylor expansion of (* t a) in t
2.640 * [taylor]: Taking taylor expansion of t in t
2.640 * [taylor]: Taking taylor expansion of a in t
2.640 * [taylor]: Taking taylor expansion of 0 in a
2.640 * [taylor]: Taking taylor expansion of 0 in z
2.640 * [taylor]: Taking taylor expansion of 0 in t
2.640 * [taylor]: Taking taylor expansion of 0 in a
2.640 * [taylor]: Taking taylor expansion of 0 in t
2.640 * [taylor]: Taking taylor expansion of 0 in a
2.640 * [taylor]: Taking taylor expansion of 0 in a
2.640 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
2.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
2.640 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.640 * [taylor]: Taking taylor expansion of (* z y) in a
2.640 * [taylor]: Taking taylor expansion of z in a
2.640 * [taylor]: Taking taylor expansion of y in a
2.640 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.640 * [taylor]: Taking taylor expansion of (* t a) in a
2.640 * [taylor]: Taking taylor expansion of t in a
2.640 * [taylor]: Taking taylor expansion of a in a
2.640 * [taylor]: Taking taylor expansion of x in a
2.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
2.640 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.640 * [taylor]: Taking taylor expansion of (* z y) in t
2.640 * [taylor]: Taking taylor expansion of z in t
2.640 * [taylor]: Taking taylor expansion of y in t
2.641 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.641 * [taylor]: Taking taylor expansion of (* t a) in t
2.641 * [taylor]: Taking taylor expansion of t in t
2.641 * [taylor]: Taking taylor expansion of a in t
2.641 * [taylor]: Taking taylor expansion of x in t
2.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
2.641 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.641 * [taylor]: Taking taylor expansion of (* z y) in z
2.641 * [taylor]: Taking taylor expansion of z in z
2.641 * [taylor]: Taking taylor expansion of y in z
2.641 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.641 * [taylor]: Taking taylor expansion of (* t a) in z
2.641 * [taylor]: Taking taylor expansion of t in z
2.641 * [taylor]: Taking taylor expansion of a in z
2.641 * [taylor]: Taking taylor expansion of x in z
2.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.641 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.641 * [taylor]: Taking taylor expansion of (* z y) in y
2.641 * [taylor]: Taking taylor expansion of z in y
2.641 * [taylor]: Taking taylor expansion of y in y
2.641 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.641 * [taylor]: Taking taylor expansion of (* t a) in y
2.641 * [taylor]: Taking taylor expansion of t in y
2.641 * [taylor]: Taking taylor expansion of a in y
2.641 * [taylor]: Taking taylor expansion of x in y
2.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.641 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.641 * [taylor]: Taking taylor expansion of (* z y) in x
2.641 * [taylor]: Taking taylor expansion of z in x
2.641 * [taylor]: Taking taylor expansion of y in x
2.642 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.642 * [taylor]: Taking taylor expansion of (* t a) in x
2.642 * [taylor]: Taking taylor expansion of t in x
2.642 * [taylor]: Taking taylor expansion of a in x
2.642 * [taylor]: Taking taylor expansion of x in x
2.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.642 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.642 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.642 * [taylor]: Taking taylor expansion of (* z y) in x
2.642 * [taylor]: Taking taylor expansion of z in x
2.642 * [taylor]: Taking taylor expansion of y in x
2.642 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.642 * [taylor]: Taking taylor expansion of (* t a) in x
2.642 * [taylor]: Taking taylor expansion of t in x
2.642 * [taylor]: Taking taylor expansion of a in x
2.642 * [taylor]: Taking taylor expansion of x in x
2.642 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.642 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.642 * [taylor]: Taking taylor expansion of (* z y) in y
2.642 * [taylor]: Taking taylor expansion of z in y
2.642 * [taylor]: Taking taylor expansion of y in y
2.642 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.642 * [taylor]: Taking taylor expansion of (* t a) in y
2.642 * [taylor]: Taking taylor expansion of t in y
2.642 * [taylor]: Taking taylor expansion of a in y
2.642 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.642 * [taylor]: Taking taylor expansion of z in z
2.643 * [taylor]: Taking taylor expansion of 1 in t
2.643 * [taylor]: Taking taylor expansion of 0 in y
2.643 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in z
2.643 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.643 * [taylor]: Taking taylor expansion of (* t a) in z
2.643 * [taylor]: Taking taylor expansion of t in z
2.643 * [taylor]: Taking taylor expansion of a in z
2.643 * [taylor]: Taking taylor expansion of 0 in t
2.643 * [taylor]: Taking taylor expansion of 1 in a
2.644 * [taylor]: Taking taylor expansion of 0 in y
2.644 * [taylor]: Taking taylor expansion of 0 in z
2.644 * [taylor]: Taking taylor expansion of 0 in z
2.644 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
2.644 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.644 * [taylor]: Taking taylor expansion of (* t a) in t
2.644 * [taylor]: Taking taylor expansion of t in t
2.644 * [taylor]: Taking taylor expansion of a in t
2.644 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
2.644 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.644 * [taylor]: Taking taylor expansion of a in a
2.644 * [taylor]: Taking taylor expansion of 0 in t
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.645 * [taylor]: Taking taylor expansion of 0 in y
2.645 * [taylor]: Taking taylor expansion of 0 in z
2.645 * [taylor]: Taking taylor expansion of 0 in z
2.645 * [taylor]: Taking taylor expansion of 0 in z
2.645 * [taylor]: Taking taylor expansion of 0 in t
2.645 * [taylor]: Taking taylor expansion of 0 in t
2.645 * [taylor]: Taking taylor expansion of 0 in t
2.645 * [taylor]: Taking taylor expansion of 0 in t
2.646 * [taylor]: Taking taylor expansion of 0 in a
2.646 * [taylor]: Taking taylor expansion of 0 in a
2.646 * [taylor]: Taking taylor expansion of 0 in a
2.646 * [taylor]: Taking taylor expansion of 0 in a
2.646 * [taylor]: Taking taylor expansion of 0 in y
2.646 * [taylor]: Taking taylor expansion of 0 in z
2.646 * [taylor]: Taking taylor expansion of 0 in z
2.646 * [taylor]: Taking taylor expansion of 0 in z
2.647 * [taylor]: Taking taylor expansion of 0 in z
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in a
2.647 * [taylor]: Taking taylor expansion of 0 in a
2.647 * [taylor]: Taking taylor expansion of 0 in a
2.647 * [taylor]: Taking taylor expansion of 0 in a
2.648 * [taylor]: Taking taylor expansion of 0 in a
2.648 * [taylor]: Taking taylor expansion of 0 in a
2.648 * [taylor]: Taking taylor expansion of 0 in a
2.648 * [taylor]: Taking taylor expansion of 0 in a
2.648 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
2.648 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.648 * [taylor]: Taking taylor expansion of -1 in a
2.648 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.648 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
2.648 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.648 * [taylor]: Taking taylor expansion of (* z y) in a
2.648 * [taylor]: Taking taylor expansion of z in a
2.648 * [taylor]: Taking taylor expansion of y in a
2.648 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.648 * [taylor]: Taking taylor expansion of (* t a) in a
2.648 * [taylor]: Taking taylor expansion of t in a
2.648 * [taylor]: Taking taylor expansion of a in a
2.649 * [taylor]: Taking taylor expansion of x in a
2.649 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.649 * [taylor]: Taking taylor expansion of -1 in t
2.649 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.649 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
2.649 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.649 * [taylor]: Taking taylor expansion of (* z y) in t
2.649 * [taylor]: Taking taylor expansion of z in t
2.649 * [taylor]: Taking taylor expansion of y in t
2.649 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.649 * [taylor]: Taking taylor expansion of (* t a) in t
2.649 * [taylor]: Taking taylor expansion of t in t
2.649 * [taylor]: Taking taylor expansion of a in t
2.649 * [taylor]: Taking taylor expansion of x in t
2.649 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.649 * [taylor]: Taking taylor expansion of -1 in z
2.649 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.649 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
2.649 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.649 * [taylor]: Taking taylor expansion of (* z y) in z
2.649 * [taylor]: Taking taylor expansion of z in z
2.649 * [taylor]: Taking taylor expansion of y in z
2.649 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.649 * [taylor]: Taking taylor expansion of (* t a) in z
2.649 * [taylor]: Taking taylor expansion of t in z
2.649 * [taylor]: Taking taylor expansion of a in z
2.649 * [taylor]: Taking taylor expansion of x in z
2.649 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.650 * [taylor]: Taking taylor expansion of -1 in y
2.650 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.650 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.650 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.650 * [taylor]: Taking taylor expansion of (* z y) in y
2.650 * [taylor]: Taking taylor expansion of z in y
2.650 * [taylor]: Taking taylor expansion of y in y
2.650 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.650 * [taylor]: Taking taylor expansion of (* t a) in y
2.650 * [taylor]: Taking taylor expansion of t in y
2.650 * [taylor]: Taking taylor expansion of a in y
2.650 * [taylor]: Taking taylor expansion of x in y
2.650 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
2.650 * [taylor]: Taking taylor expansion of -1 in x
2.650 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.650 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.650 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.650 * [taylor]: Taking taylor expansion of (* z y) in x
2.650 * [taylor]: Taking taylor expansion of z in x
2.650 * [taylor]: Taking taylor expansion of y in x
2.650 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.650 * [taylor]: Taking taylor expansion of (* t a) in x
2.650 * [taylor]: Taking taylor expansion of t in x
2.650 * [taylor]: Taking taylor expansion of a in x
2.650 * [taylor]: Taking taylor expansion of x in x
2.651 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
2.651 * [taylor]: Taking taylor expansion of -1 in x
2.651 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.651 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.651 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.651 * [taylor]: Taking taylor expansion of (* z y) in x
2.651 * [taylor]: Taking taylor expansion of z in x
2.651 * [taylor]: Taking taylor expansion of y in x
2.651 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.651 * [taylor]: Taking taylor expansion of (* t a) in x
2.651 * [taylor]: Taking taylor expansion of t in x
2.651 * [taylor]: Taking taylor expansion of a in x
2.651 * [taylor]: Taking taylor expansion of x in x
2.651 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y
2.651 * [taylor]: Taking taylor expansion of -1 in y
2.651 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.651 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.651 * [taylor]: Taking taylor expansion of (* z y) in y
2.651 * [taylor]: Taking taylor expansion of z in y
2.651 * [taylor]: Taking taylor expansion of y in y
2.651 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.651 * [taylor]: Taking taylor expansion of (* t a) in y
2.651 * [taylor]: Taking taylor expansion of t in y
2.651 * [taylor]: Taking taylor expansion of a in y
2.651 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.651 * [taylor]: Taking taylor expansion of -1 in z
2.651 * [taylor]: Taking taylor expansion of z in z
2.651 * [taylor]: Taking taylor expansion of -1 in t
2.652 * [taylor]: Taking taylor expansion of 0 in y
2.652 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.652 * [taylor]: Taking taylor expansion of (* t a) in z
2.652 * [taylor]: Taking taylor expansion of t in z
2.652 * [taylor]: Taking taylor expansion of a in z
2.652 * [taylor]: Taking taylor expansion of 0 in t
2.652 * [taylor]: Taking taylor expansion of -1 in a
2.653 * [taylor]: Taking taylor expansion of 0 in y
2.653 * [taylor]: Taking taylor expansion of 0 in z
2.653 * [taylor]: Taking taylor expansion of 0 in z
2.653 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.653 * [taylor]: Taking taylor expansion of (* t a) in t
2.653 * [taylor]: Taking taylor expansion of t in t
2.653 * [taylor]: Taking taylor expansion of a in t
2.653 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.653 * [taylor]: Taking taylor expansion of a in a
2.653 * [taylor]: Taking taylor expansion of 0 in t
2.653 * [taylor]: Taking taylor expansion of 0 in a
2.653 * [taylor]: Taking taylor expansion of 0 in a
2.654 * [taylor]: Taking taylor expansion of 0 in y
2.654 * [taylor]: Taking taylor expansion of 0 in z
2.654 * [taylor]: Taking taylor expansion of 0 in z
2.654 * [taylor]: Taking taylor expansion of 0 in z
2.654 * [taylor]: Taking taylor expansion of 0 in t
2.654 * [taylor]: Taking taylor expansion of 0 in t
2.654 * [taylor]: Taking taylor expansion of 0 in t
2.654 * [taylor]: Taking taylor expansion of 0 in t
2.655 * [taylor]: Taking taylor expansion of 0 in a
2.655 * [taylor]: Taking taylor expansion of 0 in a
2.655 * [taylor]: Taking taylor expansion of 0 in a
2.655 * [taylor]: Taking taylor expansion of 0 in a
2.655 * [taylor]: Taking taylor expansion of 0 in y
2.655 * [taylor]: Taking taylor expansion of 0 in z
2.655 * [taylor]: Taking taylor expansion of 0 in z
2.655 * [taylor]: Taking taylor expansion of 0 in z
2.656 * [taylor]: Taking taylor expansion of 0 in z
2.656 * [taylor]: Taking taylor expansion of 0 in t
2.656 * [taylor]: Taking taylor expansion of 0 in t
2.656 * [taylor]: Taking taylor expansion of 0 in t
2.656 * [taylor]: Taking taylor expansion of 0 in t
2.656 * [taylor]: Taking taylor expansion of 0 in t
2.656 * [taylor]: Taking taylor expansion of 0 in t
2.656 * [taylor]: Taking taylor expansion of 0 in t
2.656 * [taylor]: Taking taylor expansion of 0 in a
2.656 * [taylor]: Taking taylor expansion of 0 in a
2.656 * [taylor]: Taking taylor expansion of 0 in a
2.656 * [taylor]: Taking taylor expansion of 0 in a
2.657 * [taylor]: Taking taylor expansion of 0 in a
2.657 * [taylor]: Taking taylor expansion of 0 in a
2.657 * [taylor]: Taking taylor expansion of 0 in a
2.657 * [taylor]: Taking taylor expansion of 0 in a
2.657 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
2.657 * [approximate]: Taking taylor expansion of (- (* a c) (* i y)) in (c a y i) around 0
2.657 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
2.657 * [taylor]: Taking taylor expansion of (* a c) in i
2.657 * [taylor]: Taking taylor expansion of a in i
2.657 * [taylor]: Taking taylor expansion of c in i
2.657 * [taylor]: Taking taylor expansion of (* i y) in i
2.657 * [taylor]: Taking taylor expansion of i in i
2.657 * [taylor]: Taking taylor expansion of y in i
2.657 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
2.657 * [taylor]: Taking taylor expansion of (* a c) in y
2.657 * [taylor]: Taking taylor expansion of a in y
2.657 * [taylor]: Taking taylor expansion of c in y
2.657 * [taylor]: Taking taylor expansion of (* i y) in y
2.657 * [taylor]: Taking taylor expansion of i in y
2.657 * [taylor]: Taking taylor expansion of y in y
2.657 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in a
2.657 * [taylor]: Taking taylor expansion of (* a c) in a
2.657 * [taylor]: Taking taylor expansion of a in a
2.657 * [taylor]: Taking taylor expansion of c in a
2.657 * [taylor]: Taking taylor expansion of (* i y) in a
2.657 * [taylor]: Taking taylor expansion of i in a
2.657 * [taylor]: Taking taylor expansion of y in a
2.657 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.657 * [taylor]: Taking taylor expansion of (* a c) in c
2.657 * [taylor]: Taking taylor expansion of a in c
2.657 * [taylor]: Taking taylor expansion of c in c
2.657 * [taylor]: Taking taylor expansion of (* i y) in c
2.657 * [taylor]: Taking taylor expansion of i in c
2.657 * [taylor]: Taking taylor expansion of y in c
2.658 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.658 * [taylor]: Taking taylor expansion of (* a c) in c
2.658 * [taylor]: Taking taylor expansion of a in c
2.658 * [taylor]: Taking taylor expansion of c in c
2.658 * [taylor]: Taking taylor expansion of (* i y) in c
2.658 * [taylor]: Taking taylor expansion of i in c
2.658 * [taylor]: Taking taylor expansion of y in c
2.658 * [taylor]: Taking taylor expansion of (neg (* i y)) in a
2.658 * [taylor]: Taking taylor expansion of (* i y) in a
2.658 * [taylor]: Taking taylor expansion of i in a
2.658 * [taylor]: Taking taylor expansion of y in a
2.658 * [taylor]: Taking taylor expansion of (neg (* i y)) in y
2.658 * [taylor]: Taking taylor expansion of (* i y) in y
2.658 * [taylor]: Taking taylor expansion of i in y
2.658 * [taylor]: Taking taylor expansion of y in y
2.658 * [taylor]: Taking taylor expansion of 0 in i
2.658 * [taylor]: Taking taylor expansion of a in a
2.658 * [taylor]: Taking taylor expansion of 0 in y
2.658 * [taylor]: Taking taylor expansion of 0 in i
2.658 * [taylor]: Taking taylor expansion of 0 in y
2.658 * [taylor]: Taking taylor expansion of 0 in i
2.658 * [taylor]: Taking taylor expansion of (neg i) in i
2.658 * [taylor]: Taking taylor expansion of i in i
2.658 * [taylor]: Taking taylor expansion of 0 in a
2.658 * [taylor]: Taking taylor expansion of 0 in y
2.658 * [taylor]: Taking taylor expansion of 0 in i
2.658 * [approximate]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in (c a y i) around 0
2.659 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.659 * [taylor]: Taking taylor expansion of (* a c) in i
2.659 * [taylor]: Taking taylor expansion of a in i
2.659 * [taylor]: Taking taylor expansion of c in i
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.659 * [taylor]: Taking taylor expansion of (* i y) in i
2.659 * [taylor]: Taking taylor expansion of i in i
2.659 * [taylor]: Taking taylor expansion of y in i
2.659 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.659 * [taylor]: Taking taylor expansion of (* a c) in y
2.659 * [taylor]: Taking taylor expansion of a in y
2.659 * [taylor]: Taking taylor expansion of c in y
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.659 * [taylor]: Taking taylor expansion of (* i y) in y
2.659 * [taylor]: Taking taylor expansion of i in y
2.659 * [taylor]: Taking taylor expansion of y in y
2.659 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.659 * [taylor]: Taking taylor expansion of (* a c) in a
2.659 * [taylor]: Taking taylor expansion of a in a
2.659 * [taylor]: Taking taylor expansion of c in a
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.659 * [taylor]: Taking taylor expansion of (* i y) in a
2.659 * [taylor]: Taking taylor expansion of i in a
2.659 * [taylor]: Taking taylor expansion of y in a
2.659 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.659 * [taylor]: Taking taylor expansion of (* a c) in c
2.659 * [taylor]: Taking taylor expansion of a in c
2.659 * [taylor]: Taking taylor expansion of c in c
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.659 * [taylor]: Taking taylor expansion of (* i y) in c
2.659 * [taylor]: Taking taylor expansion of i in c
2.659 * [taylor]: Taking taylor expansion of y in c
2.659 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.659 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.659 * [taylor]: Taking taylor expansion of (* a c) in c
2.659 * [taylor]: Taking taylor expansion of a in c
2.659 * [taylor]: Taking taylor expansion of c in c
2.660 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.660 * [taylor]: Taking taylor expansion of (* i y) in c
2.660 * [taylor]: Taking taylor expansion of i in c
2.660 * [taylor]: Taking taylor expansion of y in c
2.660 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.660 * [taylor]: Taking taylor expansion of a in a
2.660 * [taylor]: Taking taylor expansion of 1 in y
2.660 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in a
2.660 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.660 * [taylor]: Taking taylor expansion of (* i y) in a
2.660 * [taylor]: Taking taylor expansion of i in a
2.660 * [taylor]: Taking taylor expansion of y in a
2.660 * [taylor]: Taking taylor expansion of 0 in y
2.660 * [taylor]: Taking taylor expansion of 1 in i
2.660 * [taylor]: Taking taylor expansion of 0 in a
2.660 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in y
2.660 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.660 * [taylor]: Taking taylor expansion of (* i y) in y
2.660 * [taylor]: Taking taylor expansion of i in y
2.660 * [taylor]: Taking taylor expansion of y in y
2.660 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.661 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.661 * [taylor]: Taking taylor expansion of i in i
2.661 * [taylor]: Taking taylor expansion of 0 in y
2.661 * [taylor]: Taking taylor expansion of 0 in i
2.661 * [taylor]: Taking taylor expansion of 0 in i
2.661 * [taylor]: Taking taylor expansion of 0 in a
2.661 * [taylor]: Taking taylor expansion of 0 in y
2.661 * [taylor]: Taking taylor expansion of 0 in y
2.661 * [taylor]: Taking taylor expansion of 0 in y
2.661 * [taylor]: Taking taylor expansion of 0 in i
2.661 * [taylor]: Taking taylor expansion of 0 in i
2.661 * [taylor]: Taking taylor expansion of 0 in i
2.661 * [taylor]: Taking taylor expansion of 0 in i
2.662 * [taylor]: Taking taylor expansion of 0 in a
2.662 * [taylor]: Taking taylor expansion of 0 in y
2.662 * [taylor]: Taking taylor expansion of 0 in y
2.662 * [taylor]: Taking taylor expansion of 0 in y
2.662 * [taylor]: Taking taylor expansion of 0 in y
2.662 * [taylor]: Taking taylor expansion of 0 in i
2.662 * [taylor]: Taking taylor expansion of 0 in i
2.662 * [taylor]: Taking taylor expansion of 0 in i
2.662 * [taylor]: Taking taylor expansion of 0 in i
2.662 * [taylor]: Taking taylor expansion of 0 in i
2.662 * [taylor]: Taking taylor expansion of 0 in i
2.662 * [taylor]: Taking taylor expansion of 0 in i
2.663 * [approximate]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in (c a y i) around 0
2.663 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.663 * [taylor]: Taking taylor expansion of (* a c) in i
2.663 * [taylor]: Taking taylor expansion of a in i
2.663 * [taylor]: Taking taylor expansion of c in i
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.663 * [taylor]: Taking taylor expansion of (* i y) in i
2.663 * [taylor]: Taking taylor expansion of i in i
2.663 * [taylor]: Taking taylor expansion of y in i
2.663 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.663 * [taylor]: Taking taylor expansion of (* a c) in y
2.663 * [taylor]: Taking taylor expansion of a in y
2.663 * [taylor]: Taking taylor expansion of c in y
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.663 * [taylor]: Taking taylor expansion of (* i y) in y
2.663 * [taylor]: Taking taylor expansion of i in y
2.663 * [taylor]: Taking taylor expansion of y in y
2.663 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.663 * [taylor]: Taking taylor expansion of (* a c) in a
2.663 * [taylor]: Taking taylor expansion of a in a
2.663 * [taylor]: Taking taylor expansion of c in a
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.663 * [taylor]: Taking taylor expansion of (* i y) in a
2.663 * [taylor]: Taking taylor expansion of i in a
2.663 * [taylor]: Taking taylor expansion of y in a
2.663 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.663 * [taylor]: Taking taylor expansion of (* a c) in c
2.663 * [taylor]: Taking taylor expansion of a in c
2.663 * [taylor]: Taking taylor expansion of c in c
2.663 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.663 * [taylor]: Taking taylor expansion of (* i y) in c
2.664 * [taylor]: Taking taylor expansion of i in c
2.664 * [taylor]: Taking taylor expansion of y in c
2.664 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.664 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.664 * [taylor]: Taking taylor expansion of (* a c) in c
2.664 * [taylor]: Taking taylor expansion of a in c
2.664 * [taylor]: Taking taylor expansion of c in c
2.664 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.664 * [taylor]: Taking taylor expansion of (* i y) in c
2.664 * [taylor]: Taking taylor expansion of i in c
2.664 * [taylor]: Taking taylor expansion of y in c
2.664 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.664 * [taylor]: Taking taylor expansion of a in a
2.664 * [taylor]: Taking taylor expansion of 1 in y
2.664 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in a
2.664 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.664 * [taylor]: Taking taylor expansion of (* i y) in a
2.664 * [taylor]: Taking taylor expansion of i in a
2.664 * [taylor]: Taking taylor expansion of y in a
2.664 * [taylor]: Taking taylor expansion of 0 in y
2.664 * [taylor]: Taking taylor expansion of 1 in i
2.664 * [taylor]: Taking taylor expansion of 0 in a
2.665 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in y
2.665 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.665 * [taylor]: Taking taylor expansion of (* i y) in y
2.665 * [taylor]: Taking taylor expansion of i in y
2.665 * [taylor]: Taking taylor expansion of y in y
2.665 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.665 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.665 * [taylor]: Taking taylor expansion of i in i
2.665 * [taylor]: Taking taylor expansion of 0 in y
2.665 * [taylor]: Taking taylor expansion of 0 in i
2.665 * [taylor]: Taking taylor expansion of 0 in i
2.665 * [taylor]: Taking taylor expansion of 0 in a
2.665 * [taylor]: Taking taylor expansion of 0 in y
2.665 * [taylor]: Taking taylor expansion of 0 in y
2.665 * [taylor]: Taking taylor expansion of 0 in y
2.665 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in a
2.666 * [taylor]: Taking taylor expansion of 0 in y
2.666 * [taylor]: Taking taylor expansion of 0 in y
2.666 * [taylor]: Taking taylor expansion of 0 in y
2.666 * [taylor]: Taking taylor expansion of 0 in y
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.666 * [taylor]: Taking taylor expansion of 0 in i
2.667 * [taylor]: Taking taylor expansion of 0 in i
2.667 * [taylor]: Taking taylor expansion of 0 in i
2.667 * * * [progress]: simplifying candidates
2.668 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* b (- (* c z) (* t i)))
  (+ (log b) (log (- (* c z) (* t i))))
  (log (* b (- (* c z) (* t i))))
  (exp (* b (- (* c z) (* t i))))
  (* (* (* b b) b) (* (* (- (* c z) (* t i)) (- (* c z) (* t i))) (- (* c z) (* t i))))
  (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i)))))
  (cbrt (* b (- (* c z) (* t i))))
  (* (* (* b (- (* c z) (* t i))) (* b (- (* c z) (* t i)))) (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* b (* c z))
  (* b (neg (* t i)))
  (* (* c z) b)
  (* (neg (* t i)) b)
  (* b (* (cbrt (- (* c z) (* t i))) (cbrt (- (* c z) (* t i)))))
  (* b (sqrt (- (* c z) (* t i))))
  (* b 1)
  (* (cbrt b) (- (* c z) (* t i)))
  (* (sqrt b) (- (* c z) (* t i)))
  (* b (- (* c z) (* t i)))
  (* b (- (pow (* c z) 3) (pow (* t i) 3)))
  (* b (- (* (* c z) (* c z)) (* (* t i) (* t i))))
  (* j (- (* c a) (* y i)))
  (+ (log j) (log (- (* c a) (* y i))))
  (log (* j (- (* c a) (* y i))))
  (exp (* j (- (* c a) (* y i))))
  (* (* (* j j) j) (* (* (- (* c a) (* y i)) (- (* c a) (* y i))) (- (* c a) (* y i))))
  (* (cbrt (* j (- (* c a) (* y i)))) (cbrt (* j (- (* c a) (* y i)))))
  (cbrt (* j (- (* c a) (* y i))))
  (* (* (* j (- (* c a) (* y i))) (* j (- (* c a) (* y i)))) (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (sqrt (* j (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* (sqrt j) (sqrt (- (* c a) (* y i))))
  (* j (* c a))
  (* j (neg (* y i)))
  (* (* c a) j)
  (* (neg (* y i)) j)
  (* j (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))))
  (* j (sqrt (- (* c a) (* y i))))
  (* j 1)
  (* (cbrt j) (- (* c a) (* y i)))
  (* (sqrt j) (- (* c a) (* y i)))
  (* j (- (* c a) (* y i)))
  (* j (- (pow (* c a) 3) (pow (* y i) 3)))
  (* j (- (* (* c a) (* c a)) (* (* y i) (* y i))))
  (* 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)))
  (* (* 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 (* c a)) (exp (* y i)))
  (log (- (* c a) (* y i)))
  (exp (- (* c a) (* y i)))
  (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i))))
  (cbrt (- (* c a) (* y i)))
  (* (* (- (* c a) (* y i)) (- (* c a) (* y i))) (- (* c a) (* y i)))
  (sqrt (- (* c a) (* y i)))
  (sqrt (- (* c a) (* y i)))
  (- (pow (* c a) 3) (pow (* y i) 3))
  (+ (* (* c a) (* c a)) (+ (* (* y i) (* y i)) (* (* c a) (* y i))))
  (neg (* y i))
  (- (* (* c a) (* c a)) (* (* y i) (* y i)))
  (+ (* c a) (* y i))
  0
  (- (* z (* b c)) (* t (* i b)))
  (- (* z (* b c)) (* t (* i b)))
  0
  (- (* a (* j c)) (* i (* y j)))
  (- (* a (* j c)) (* i (* y j)))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
  0
  (- (* a c) (* i y))
  (- (* a c) (* i y))
2.712 * * [simplify]: iteration  0 :  4937  enodes  (cost  937 )
2.712 * * [simplify]: iteration  1 :  4937  enodes  (cost  937 )
2.716 * [simplify]: Simplified to:
   (* b (- (* c z) (* t i)))
  (log (* b (- (* c z) (* t i))))
  (log (* b (- (* c z) (* t i))))
  (pow (exp b) (- (* c z) (* t i)))
  (pow (* b (- (* c z) (* t i))) 3)
  (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i)))))
  (cbrt (* b (- (* c z) (* t i))))
  (pow (* b (- (* c z) (* t i))) 3)
  (sqrt (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* b (* c z))
  (* b (* t (neg i)))
  (* b (* c z))
  (* b (* t (neg i)))
  (* b (* (cbrt (- (* c z) (* t i))) (cbrt (- (* c z) (* t i)))))
  (* b (sqrt (- (* c z) (* t i))))
  b
  (* (- (* c z) (* t i)) (cbrt b))
  (* (- (* c z) (* t i)) (sqrt b))
  (* b (- (* c z) (* t i)))
  (* b (- (pow (* c z) 3) (pow (* t i) 3)))
  (* b (- (* c (* z (* c z))) (* t (* i (* t i)))))
  (* j (- (* c a) (* i y)))
  (log (* j (- (* c a) (* i y))))
  (log (* j (- (* c a) (* i y))))
  (pow (exp (- (* c a) (* i y))) j)
  (pow (* j (- (* c a) (* i y))) 3)
  (* (cbrt (* j (- (* c a) (* i y)))) (cbrt (* j (- (* c a) (* i y)))))
  (cbrt (* j (- (* c a) (* i y))))
  (pow (* j (- (* c a) (* i y))) 3)
  (sqrt (* j (- (* c a) (* i y))))
  (sqrt (* j (- (* c a) (* i y))))
  (* (sqrt j) (sqrt (- (* c a) (* i y))))
  (* (sqrt j) (sqrt (- (* c a) (* i y))))
  (* c (* j a))
  (* i (* j (neg y)))
  (* c (* j a))
  (* i (* j (neg y)))
  (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))))
  (* j (sqrt (- (* c a) (* i y))))
  j
  (* (- (* c a) (* i y)) (cbrt j))
  (* (- (* c a) (* i y)) (sqrt j))
  (* j (- (* c a) (* i y)))
  (* j (- (pow (* c a) 3) (pow (* i y) 3)))
  (* j (- (* c (* a (* c a))) (* i (* i (* y y)))))
  (* x (- (* z y) (* t a)))
  (log (* x (- (* z y) (* t a))))
  (log (* x (- (* z y) (* t a))))
  (pow (exp x) (- (* z y) (* t a)))
  (pow (* x (- (* z y) (* t a))) 3)
  (* (cbrt (* x (- (* z y) (* t a)))) (cbrt (* x (- (* z y) (* t a)))))
  (cbrt (* x (- (* z y) (* t a))))
  (pow (* x (- (* z y) (* t a))) 3)
  (sqrt (* x (- (* z y) (* t a))))
  (sqrt (* x (- (* z y) (* t a))))
  (* (sqrt x) (sqrt (- (* z y) (* t a))))
  (* (sqrt x) (sqrt (- (* z y) (* t a))))
  (* z (* y x))
  (* t (* a (neg x)))
  (* z (* y x))
  (* t (* a (neg x)))
  (* x (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))))
  (* x (sqrt (- (* z y) (* t a))))
  x
  (* (- (* z y) (* t a)) (cbrt x))
  (* (- (* z y) (* t a)) (sqrt x))
  (* x (- (* z y) (* t a)))
  (* x (- (pow (* z y) 3) (pow (* t a) 3)))
  (* x (- (* z (* z (* y y))) (* t (* a (* t a)))))
  (exp (- (* c a) (* i y)))
  (log (- (* c a) (* i y)))
  (exp (- (* c a) (* i y)))
  (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))
  (cbrt (- (* c a) (* i y)))
  (pow (- (* c a) (* i y)) 3)
  (sqrt (- (* c a) (* i y)))
  (sqrt (- (* c a) (* i y)))
  (- (pow (* c a) 3) (pow (* i y) 3))
  (+ (* c (* a (* c a))) (* i (* y (+ (* c a) (* i y)))))
  (* i (neg y))
  (- (* c (* a (* c a))) (* i (* i (* y y))))
  (+ (* c a) (* i y))
  0
  (* b (- (* c z) (* t i)))
  (* b (- (* c z) (* t i)))
  0
  (* j (- (* c a) (* i y)))
  (* j (- (* c a) (* i y)))
  0
  (* x (- (* z y) (* t a)))
  (* x (- (* z y) (* t a)))
  0
  (- (* c a) (* i y))
  (- (* c a) (* i y))
2.717 * * * [progress]: adding candidates to table
2.835 * * [progress]: iteration 2 / 4
2.835 * * * [progress]: picking best candidate
2.940 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* i (* j (neg y))))))>
2.940 * * * [progress]: localizing error
2.961 * * * [progress]: generating rewritten candidates
2.962 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.967 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.973 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
2.977 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
2.986 * * * [progress]: generating series expansions
2.986 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.987 * [approximate]: Taking taylor expansion of (* -1 (* i (* y j))) in (i j y) around 0
2.987 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in y
2.987 * [taylor]: Taking taylor expansion of -1 in y
2.987 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
2.987 * [taylor]: Taking taylor expansion of i in y
2.987 * [taylor]: Taking taylor expansion of (* y j) in y
2.987 * [taylor]: Taking taylor expansion of y in y
2.987 * [taylor]: Taking taylor expansion of j in y
2.987 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in j
2.987 * [taylor]: Taking taylor expansion of -1 in j
2.987 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
2.987 * [taylor]: Taking taylor expansion of i in j
2.987 * [taylor]: Taking taylor expansion of (* y j) in j
2.987 * [taylor]: Taking taylor expansion of y in j
2.987 * [taylor]: Taking taylor expansion of j in j
2.987 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
2.987 * [taylor]: Taking taylor expansion of -1 in i
2.987 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.987 * [taylor]: Taking taylor expansion of i in i
2.987 * [taylor]: Taking taylor expansion of (* y j) in i
2.987 * [taylor]: Taking taylor expansion of y in i
2.987 * [taylor]: Taking taylor expansion of j in i
2.987 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
2.987 * [taylor]: Taking taylor expansion of -1 in i
2.987 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.987 * [taylor]: Taking taylor expansion of i in i
2.987 * [taylor]: Taking taylor expansion of (* y j) in i
2.987 * [taylor]: Taking taylor expansion of y in i
2.987 * [taylor]: Taking taylor expansion of j in i
2.987 * [taylor]: Taking taylor expansion of 0 in j
2.987 * [taylor]: Taking taylor expansion of 0 in y
2.987 * [taylor]: Taking taylor expansion of (neg (* y j)) in j
2.987 * [taylor]: Taking taylor expansion of (* y j) in j
2.987 * [taylor]: Taking taylor expansion of y in j
2.987 * [taylor]: Taking taylor expansion of j in j
2.987 * [taylor]: Taking taylor expansion of 0 in y
2.987 * [taylor]: Taking taylor expansion of 0 in y
2.987 * [taylor]: Taking taylor expansion of 0 in j
2.987 * [taylor]: Taking taylor expansion of 0 in y
2.988 * [taylor]: Taking taylor expansion of (neg y) in y
2.988 * [taylor]: Taking taylor expansion of y in y
2.988 * [approximate]: Taking taylor expansion of (/ -1 (* i (* y j))) in (i j y) around 0
2.988 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in y
2.988 * [taylor]: Taking taylor expansion of -1 in y
2.988 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
2.988 * [taylor]: Taking taylor expansion of i in y
2.988 * [taylor]: Taking taylor expansion of (* y j) in y
2.988 * [taylor]: Taking taylor expansion of y in y
2.988 * [taylor]: Taking taylor expansion of j in y
2.988 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in j
2.988 * [taylor]: Taking taylor expansion of -1 in j
2.988 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
2.988 * [taylor]: Taking taylor expansion of i in j
2.988 * [taylor]: Taking taylor expansion of (* y j) in j
2.988 * [taylor]: Taking taylor expansion of y in j
2.988 * [taylor]: Taking taylor expansion of j in j
2.988 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
2.988 * [taylor]: Taking taylor expansion of -1 in i
2.988 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.988 * [taylor]: Taking taylor expansion of i in i
2.988 * [taylor]: Taking taylor expansion of (* y j) in i
2.988 * [taylor]: Taking taylor expansion of y in i
2.988 * [taylor]: Taking taylor expansion of j in i
2.988 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
2.988 * [taylor]: Taking taylor expansion of -1 in i
2.988 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.988 * [taylor]: Taking taylor expansion of i in i
2.988 * [taylor]: Taking taylor expansion of (* y j) in i
2.988 * [taylor]: Taking taylor expansion of y in i
2.988 * [taylor]: Taking taylor expansion of j in i
2.989 * [taylor]: Taking taylor expansion of (/ -1 (* y j)) in j
2.989 * [taylor]: Taking taylor expansion of -1 in j
2.989 * [taylor]: Taking taylor expansion of (* y j) in j
2.989 * [taylor]: Taking taylor expansion of y in j
2.989 * [taylor]: Taking taylor expansion of j in j
2.989 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.989 * [taylor]: Taking taylor expansion of -1 in y
2.989 * [taylor]: Taking taylor expansion of y in y
2.989 * [taylor]: Taking taylor expansion of 0 in j
2.989 * [taylor]: Taking taylor expansion of 0 in y
2.989 * [taylor]: Taking taylor expansion of 0 in j
2.989 * [taylor]: Taking taylor expansion of 0 in y
2.989 * [taylor]: Taking taylor expansion of 0 in y
2.990 * [taylor]: Taking taylor expansion of 0 in j
2.990 * [taylor]: Taking taylor expansion of 0 in y
2.990 * [taylor]: Taking taylor expansion of 0 in y
2.990 * [taylor]: Taking taylor expansion of 0 in y
2.990 * [approximate]: Taking taylor expansion of (/ 1 (* i (* y j))) in (i j y) around 0
2.990 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in y
2.990 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
2.990 * [taylor]: Taking taylor expansion of i in y
2.990 * [taylor]: Taking taylor expansion of (* y j) in y
2.990 * [taylor]: Taking taylor expansion of y in y
2.990 * [taylor]: Taking taylor expansion of j in y
2.990 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in j
2.990 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
2.990 * [taylor]: Taking taylor expansion of i in j
2.990 * [taylor]: Taking taylor expansion of (* y j) in j
2.990 * [taylor]: Taking taylor expansion of y in j
2.990 * [taylor]: Taking taylor expansion of j in j
2.991 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
2.991 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.991 * [taylor]: Taking taylor expansion of i in i
2.991 * [taylor]: Taking taylor expansion of (* y j) in i
2.991 * [taylor]: Taking taylor expansion of y in i
2.991 * [taylor]: Taking taylor expansion of j in i
2.991 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
2.991 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.991 * [taylor]: Taking taylor expansion of i in i
2.991 * [taylor]: Taking taylor expansion of (* y j) in i
2.991 * [taylor]: Taking taylor expansion of y in i
2.991 * [taylor]: Taking taylor expansion of j in i
2.991 * [taylor]: Taking taylor expansion of (/ 1 (* y j)) in j
2.991 * [taylor]: Taking taylor expansion of (* y j) in j
2.991 * [taylor]: Taking taylor expansion of y in j
2.991 * [taylor]: Taking taylor expansion of j in j
2.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.991 * [taylor]: Taking taylor expansion of y in y
2.991 * [taylor]: Taking taylor expansion of 0 in j
2.991 * [taylor]: Taking taylor expansion of 0 in y
2.992 * [taylor]: Taking taylor expansion of 0 in j
2.992 * [taylor]: Taking taylor expansion of 0 in y
2.992 * [taylor]: Taking taylor expansion of 0 in y
2.992 * [taylor]: Taking taylor expansion of 0 in j
2.992 * [taylor]: Taking taylor expansion of 0 in y
2.992 * [taylor]: Taking taylor expansion of 0 in y
2.992 * [taylor]: Taking taylor expansion of 0 in y
2.992 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.992 * [approximate]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in (b c z t i) around 0
2.992 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
2.992 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in i
2.993 * [taylor]: Taking taylor expansion of (* z c) in i
2.993 * [taylor]: Taking taylor expansion of z in i
2.993 * [taylor]: Taking taylor expansion of c in i
2.993 * [taylor]: Taking taylor expansion of (* t i) in i
2.993 * [taylor]: Taking taylor expansion of t in i
2.993 * [taylor]: Taking taylor expansion of i in i
2.993 * [taylor]: Taking taylor expansion of b in i
2.993 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
2.993 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in t
2.993 * [taylor]: Taking taylor expansion of (* z c) in t
2.993 * [taylor]: Taking taylor expansion of z in t
2.993 * [taylor]: Taking taylor expansion of c in t
2.993 * [taylor]: Taking taylor expansion of (* t i) in t
2.993 * [taylor]: Taking taylor expansion of t in t
2.993 * [taylor]: Taking taylor expansion of i in t
2.993 * [taylor]: Taking taylor expansion of b in t
2.993 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in z
2.993 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in z
2.993 * [taylor]: Taking taylor expansion of (* z c) in z
2.993 * [taylor]: Taking taylor expansion of z in z
2.993 * [taylor]: Taking taylor expansion of c in z
2.993 * [taylor]: Taking taylor expansion of (* t i) in z
2.993 * [taylor]: Taking taylor expansion of t in z
2.993 * [taylor]: Taking taylor expansion of i in z
2.993 * [taylor]: Taking taylor expansion of b in z
2.993 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in c
2.993 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.993 * [taylor]: Taking taylor expansion of (* z c) in c
2.993 * [taylor]: Taking taylor expansion of z in c
2.993 * [taylor]: Taking taylor expansion of c in c
2.993 * [taylor]: Taking taylor expansion of (* t i) in c
2.993 * [taylor]: Taking taylor expansion of t in c
2.993 * [taylor]: Taking taylor expansion of i in c
2.993 * [taylor]: Taking taylor expansion of b in c
2.993 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.993 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.993 * [taylor]: Taking taylor expansion of (* z c) in b
2.993 * [taylor]: Taking taylor expansion of z in b
2.993 * [taylor]: Taking taylor expansion of c in b
2.993 * [taylor]: Taking taylor expansion of (* t i) in b
2.993 * [taylor]: Taking taylor expansion of t in b
2.993 * [taylor]: Taking taylor expansion of i in b
2.993 * [taylor]: Taking taylor expansion of b in b
2.993 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.993 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.993 * [taylor]: Taking taylor expansion of (* z c) in b
2.993 * [taylor]: Taking taylor expansion of z in b
2.993 * [taylor]: Taking taylor expansion of c in b
2.993 * [taylor]: Taking taylor expansion of (* t i) in b
2.993 * [taylor]: Taking taylor expansion of t in b
2.993 * [taylor]: Taking taylor expansion of i in b
2.993 * [taylor]: Taking taylor expansion of b in b
2.993 * [taylor]: Taking taylor expansion of 0 in c
2.993 * [taylor]: Taking taylor expansion of 0 in z
2.993 * [taylor]: Taking taylor expansion of 0 in t
2.994 * [taylor]: Taking taylor expansion of 0 in i
2.994 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.994 * [taylor]: Taking taylor expansion of (* z c) in c
2.994 * [taylor]: Taking taylor expansion of z in c
2.994 * [taylor]: Taking taylor expansion of c in c
2.994 * [taylor]: Taking taylor expansion of (* t i) in c
2.994 * [taylor]: Taking taylor expansion of t in c
2.994 * [taylor]: Taking taylor expansion of i in c
2.994 * [taylor]: Taking taylor expansion of (neg (* t i)) in z
2.994 * [taylor]: Taking taylor expansion of (* t i) in z
2.994 * [taylor]: Taking taylor expansion of t in z
2.994 * [taylor]: Taking taylor expansion of i in z
2.994 * [taylor]: Taking taylor expansion of (neg (* t i)) in t
2.994 * [taylor]: Taking taylor expansion of (* t i) in t
2.994 * [taylor]: Taking taylor expansion of t in t
2.994 * [taylor]: Taking taylor expansion of i in t
2.994 * [taylor]: Taking taylor expansion of 0 in i
2.994 * [taylor]: Taking taylor expansion of 0 in z
2.994 * [taylor]: Taking taylor expansion of 0 in t
2.994 * [taylor]: Taking taylor expansion of 0 in i
2.994 * [taylor]: Taking taylor expansion of 0 in t
2.994 * [taylor]: Taking taylor expansion of 0 in i
2.994 * [taylor]: Taking taylor expansion of 0 in i
2.994 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in (b c z t i) around 0
2.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
2.994 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
2.994 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
2.994 * [taylor]: Taking taylor expansion of (* z c) in i
2.994 * [taylor]: Taking taylor expansion of z in i
2.994 * [taylor]: Taking taylor expansion of c in i
2.994 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
2.995 * [taylor]: Taking taylor expansion of (* t i) in i
2.995 * [taylor]: Taking taylor expansion of t in i
2.995 * [taylor]: Taking taylor expansion of i in i
2.995 * [taylor]: Taking taylor expansion of b in i
2.995 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
2.995 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
2.995 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
2.995 * [taylor]: Taking taylor expansion of (* z c) in t
2.995 * [taylor]: Taking taylor expansion of z in t
2.995 * [taylor]: Taking taylor expansion of c in t
2.995 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.995 * [taylor]: Taking taylor expansion of (* t i) in t
2.995 * [taylor]: Taking taylor expansion of t in t
2.995 * [taylor]: Taking taylor expansion of i in t
2.995 * [taylor]: Taking taylor expansion of b in t
2.995 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
2.995 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
2.995 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
2.995 * [taylor]: Taking taylor expansion of (* z c) in z
2.995 * [taylor]: Taking taylor expansion of z in z
2.995 * [taylor]: Taking taylor expansion of c in z
2.995 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.995 * [taylor]: Taking taylor expansion of (* t i) in z
2.995 * [taylor]: Taking taylor expansion of t in z
2.995 * [taylor]: Taking taylor expansion of i in z
2.995 * [taylor]: Taking taylor expansion of b in z
2.995 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
2.995 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.995 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.995 * [taylor]: Taking taylor expansion of (* z c) in c
2.995 * [taylor]: Taking taylor expansion of z in c
2.995 * [taylor]: Taking taylor expansion of c in c
2.995 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.995 * [taylor]: Taking taylor expansion of (* t i) in c
2.996 * [taylor]: Taking taylor expansion of t in c
2.996 * [taylor]: Taking taylor expansion of i in c
2.996 * [taylor]: Taking taylor expansion of b in c
2.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.996 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.996 * [taylor]: Taking taylor expansion of (* z c) in b
2.996 * [taylor]: Taking taylor expansion of z in b
2.996 * [taylor]: Taking taylor expansion of c in b
2.996 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.996 * [taylor]: Taking taylor expansion of (* t i) in b
2.996 * [taylor]: Taking taylor expansion of t in b
2.996 * [taylor]: Taking taylor expansion of i in b
2.996 * [taylor]: Taking taylor expansion of b in b
2.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.996 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.996 * [taylor]: Taking taylor expansion of (* z c) in b
2.996 * [taylor]: Taking taylor expansion of z in b
2.996 * [taylor]: Taking taylor expansion of c in b
2.996 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.996 * [taylor]: Taking taylor expansion of (* t i) in b
2.996 * [taylor]: Taking taylor expansion of t in b
2.996 * [taylor]: Taking taylor expansion of i in b
2.996 * [taylor]: Taking taylor expansion of b in b
2.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.996 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.996 * [taylor]: Taking taylor expansion of (* z c) in c
2.997 * [taylor]: Taking taylor expansion of z in c
2.997 * [taylor]: Taking taylor expansion of c in c
2.997 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.997 * [taylor]: Taking taylor expansion of (* t i) in c
2.997 * [taylor]: Taking taylor expansion of t in c
2.997 * [taylor]: Taking taylor expansion of i in c
2.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.997 * [taylor]: Taking taylor expansion of z in z
2.997 * [taylor]: Taking taylor expansion of 1 in t
2.997 * [taylor]: Taking taylor expansion of 0 in c
2.997 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in z
2.997 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.997 * [taylor]: Taking taylor expansion of (* t i) in z
2.997 * [taylor]: Taking taylor expansion of t in z
2.997 * [taylor]: Taking taylor expansion of i in z
2.997 * [taylor]: Taking taylor expansion of 0 in t
2.997 * [taylor]: Taking taylor expansion of 1 in i
2.998 * [taylor]: Taking taylor expansion of 0 in c
2.998 * [taylor]: Taking taylor expansion of 0 in z
2.998 * [taylor]: Taking taylor expansion of 0 in z
2.998 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in t
2.998 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.998 * [taylor]: Taking taylor expansion of (* t i) in t
2.998 * [taylor]: Taking taylor expansion of t in t
2.998 * [taylor]: Taking taylor expansion of i in t
2.998 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.998 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.998 * [taylor]: Taking taylor expansion of i in i
2.998 * [taylor]: Taking taylor expansion of 0 in t
2.998 * [taylor]: Taking taylor expansion of 0 in i
2.998 * [taylor]: Taking taylor expansion of 0 in i
2.999 * [taylor]: Taking taylor expansion of 0 in c
2.999 * [taylor]: Taking taylor expansion of 0 in z
2.999 * [taylor]: Taking taylor expansion of 0 in z
2.999 * [taylor]: Taking taylor expansion of 0 in z
2.999 * [taylor]: Taking taylor expansion of 0 in t
2.999 * [taylor]: Taking taylor expansion of 0 in t
2.999 * [taylor]: Taking taylor expansion of 0 in t
2.999 * [taylor]: Taking taylor expansion of 0 in t
2.999 * [taylor]: Taking taylor expansion of 0 in i
3.000 * [taylor]: Taking taylor expansion of 0 in i
3.000 * [taylor]: Taking taylor expansion of 0 in i
3.000 * [taylor]: Taking taylor expansion of 0 in i
3.000 * [taylor]: Taking taylor expansion of 0 in c
3.000 * [taylor]: Taking taylor expansion of 0 in z
3.000 * [taylor]: Taking taylor expansion of 0 in z
3.000 * [taylor]: Taking taylor expansion of 0 in z
3.001 * [taylor]: Taking taylor expansion of 0 in z
3.001 * [taylor]: Taking taylor expansion of 0 in t
3.001 * [taylor]: Taking taylor expansion of 0 in t
3.001 * [taylor]: Taking taylor expansion of 0 in t
3.001 * [taylor]: Taking taylor expansion of 0 in t
3.001 * [taylor]: Taking taylor expansion of 0 in t
3.001 * [taylor]: Taking taylor expansion of 0 in t
3.001 * [taylor]: Taking taylor expansion of 0 in t
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.001 * [taylor]: Taking taylor expansion of 0 in i
3.002 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in (b c z t i) around 0
3.002 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
3.002 * [taylor]: Taking taylor expansion of -1 in i
3.002 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
3.002 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
3.002 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
3.002 * [taylor]: Taking taylor expansion of (* z c) in i
3.002 * [taylor]: Taking taylor expansion of z in i
3.002 * [taylor]: Taking taylor expansion of c in i
3.002 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
3.002 * [taylor]: Taking taylor expansion of (* t i) in i
3.002 * [taylor]: Taking taylor expansion of t in i
3.002 * [taylor]: Taking taylor expansion of i in i
3.002 * [taylor]: Taking taylor expansion of b in i
3.002 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
3.002 * [taylor]: Taking taylor expansion of -1 in t
3.002 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
3.002 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
3.002 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
3.002 * [taylor]: Taking taylor expansion of (* z c) in t
3.002 * [taylor]: Taking taylor expansion of z in t
3.002 * [taylor]: Taking taylor expansion of c in t
3.002 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
3.002 * [taylor]: Taking taylor expansion of (* t i) in t
3.002 * [taylor]: Taking taylor expansion of t in t
3.002 * [taylor]: Taking taylor expansion of i in t
3.002 * [taylor]: Taking taylor expansion of b in t
3.003 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
3.003 * [taylor]: Taking taylor expansion of -1 in z
3.003 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
3.003 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
3.003 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
3.003 * [taylor]: Taking taylor expansion of (* z c) in z
3.003 * [taylor]: Taking taylor expansion of z in z
3.003 * [taylor]: Taking taylor expansion of c in z
3.003 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
3.003 * [taylor]: Taking taylor expansion of (* t i) in z
3.003 * [taylor]: Taking taylor expansion of t in z
3.003 * [taylor]: Taking taylor expansion of i in z
3.003 * [taylor]: Taking taylor expansion of b in z
3.003 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
3.003 * [taylor]: Taking taylor expansion of -1 in c
3.003 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
3.003 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
3.003 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
3.003 * [taylor]: Taking taylor expansion of (* z c) in c
3.003 * [taylor]: Taking taylor expansion of z in c
3.003 * [taylor]: Taking taylor expansion of c in c
3.003 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
3.003 * [taylor]: Taking taylor expansion of (* t i) in c
3.003 * [taylor]: Taking taylor expansion of t in c
3.003 * [taylor]: Taking taylor expansion of i in c
3.003 * [taylor]: Taking taylor expansion of b in c
3.003 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
3.003 * [taylor]: Taking taylor expansion of -1 in b
3.003 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
3.003 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
3.003 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
3.003 * [taylor]: Taking taylor expansion of (* z c) in b
3.003 * [taylor]: Taking taylor expansion of z in b
3.003 * [taylor]: Taking taylor expansion of c in b
3.003 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
3.003 * [taylor]: Taking taylor expansion of (* t i) in b
3.003 * [taylor]: Taking taylor expansion of t in b
3.003 * [taylor]: Taking taylor expansion of i in b
3.003 * [taylor]: Taking taylor expansion of b in b
3.004 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
3.004 * [taylor]: Taking taylor expansion of -1 in b
3.004 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
3.004 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
3.004 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
3.004 * [taylor]: Taking taylor expansion of (* z c) in b
3.004 * [taylor]: Taking taylor expansion of z in b
3.004 * [taylor]: Taking taylor expansion of c in b
3.004 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
3.004 * [taylor]: Taking taylor expansion of (* t i) in b
3.004 * [taylor]: Taking taylor expansion of t in b
3.004 * [taylor]: Taking taylor expansion of i in b
3.004 * [taylor]: Taking taylor expansion of b in b
3.004 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z c)) (/ 1 (* t i)))) in c
3.004 * [taylor]: Taking taylor expansion of -1 in c
3.004 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
3.004 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
3.004 * [taylor]: Taking taylor expansion of (* z c) in c
3.004 * [taylor]: Taking taylor expansion of z in c
3.004 * [taylor]: Taking taylor expansion of c in c
3.004 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
3.004 * [taylor]: Taking taylor expansion of (* t i) in c
3.004 * [taylor]: Taking taylor expansion of t in c
3.004 * [taylor]: Taking taylor expansion of i in c
3.004 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.005 * [taylor]: Taking taylor expansion of -1 in z
3.005 * [taylor]: Taking taylor expansion of z in z
3.005 * [taylor]: Taking taylor expansion of -1 in t
3.005 * [taylor]: Taking taylor expansion of 0 in c
3.005 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
3.005 * [taylor]: Taking taylor expansion of (* t i) in z
3.005 * [taylor]: Taking taylor expansion of t in z
3.005 * [taylor]: Taking taylor expansion of i in z
3.005 * [taylor]: Taking taylor expansion of 0 in t
3.005 * [taylor]: Taking taylor expansion of -1 in i
3.006 * [taylor]: Taking taylor expansion of 0 in c
3.006 * [taylor]: Taking taylor expansion of 0 in z
3.006 * [taylor]: Taking taylor expansion of 0 in z
3.006 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
3.006 * [taylor]: Taking taylor expansion of (* t i) in t
3.006 * [taylor]: Taking taylor expansion of t in t
3.006 * [taylor]: Taking taylor expansion of i in t
3.006 * [taylor]: Taking taylor expansion of (/ 1 i) in i
3.006 * [taylor]: Taking taylor expansion of i in i
3.006 * [taylor]: Taking taylor expansion of 0 in t
3.006 * [taylor]: Taking taylor expansion of 0 in i
3.006 * [taylor]: Taking taylor expansion of 0 in i
3.007 * [taylor]: Taking taylor expansion of 0 in c
3.007 * [taylor]: Taking taylor expansion of 0 in z
3.007 * [taylor]: Taking taylor expansion of 0 in z
3.007 * [taylor]: Taking taylor expansion of 0 in z
3.007 * [taylor]: Taking taylor expansion of 0 in t
3.007 * [taylor]: Taking taylor expansion of 0 in t
3.007 * [taylor]: Taking taylor expansion of 0 in t
3.007 * [taylor]: Taking taylor expansion of 0 in t
3.008 * [taylor]: Taking taylor expansion of 0 in i
3.008 * [taylor]: Taking taylor expansion of 0 in i
3.008 * [taylor]: Taking taylor expansion of 0 in i
3.008 * [taylor]: Taking taylor expansion of 0 in i
3.008 * [taylor]: Taking taylor expansion of 0 in c
3.008 * [taylor]: Taking taylor expansion of 0 in z
3.008 * [taylor]: Taking taylor expansion of 0 in z
3.008 * [taylor]: Taking taylor expansion of 0 in z
3.009 * [taylor]: Taking taylor expansion of 0 in z
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.009 * [taylor]: Taking taylor expansion of 0 in t
3.009 * [taylor]: Taking taylor expansion of 0 in i
3.009 * [taylor]: Taking taylor expansion of 0 in i
3.009 * [taylor]: Taking taylor expansion of 0 in i
3.009 * [taylor]: Taking taylor expansion of 0 in i
3.009 * [taylor]: Taking taylor expansion of 0 in i
3.010 * [taylor]: Taking taylor expansion of 0 in i
3.010 * [taylor]: Taking taylor expansion of 0 in i
3.010 * [taylor]: Taking taylor expansion of 0 in i
3.010 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.010 * [approximate]: Taking taylor expansion of (* a (* j c)) in (c j a) around 0
3.010 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.010 * [taylor]: Taking taylor expansion of a in a
3.010 * [taylor]: Taking taylor expansion of (* j c) in a
3.010 * [taylor]: Taking taylor expansion of j in a
3.010 * [taylor]: Taking taylor expansion of c in a
3.010 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.010 * [taylor]: Taking taylor expansion of a in j
3.010 * [taylor]: Taking taylor expansion of (* j c) in j
3.010 * [taylor]: Taking taylor expansion of j in j
3.010 * [taylor]: Taking taylor expansion of c in j
3.010 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.010 * [taylor]: Taking taylor expansion of a in c
3.010 * [taylor]: Taking taylor expansion of (* j c) in c
3.010 * [taylor]: Taking taylor expansion of j in c
3.010 * [taylor]: Taking taylor expansion of c in c
3.010 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.010 * [taylor]: Taking taylor expansion of a in c
3.010 * [taylor]: Taking taylor expansion of (* j c) in c
3.010 * [taylor]: Taking taylor expansion of j in c
3.010 * [taylor]: Taking taylor expansion of c in c
3.010 * [taylor]: Taking taylor expansion of 0 in j
3.010 * [taylor]: Taking taylor expansion of 0 in a
3.010 * [taylor]: Taking taylor expansion of (* a j) in j
3.010 * [taylor]: Taking taylor expansion of a in j
3.010 * [taylor]: Taking taylor expansion of j in j
3.011 * [taylor]: Taking taylor expansion of 0 in a
3.011 * [taylor]: Taking taylor expansion of 0 in a
3.011 * [taylor]: Taking taylor expansion of 0 in j
3.011 * [taylor]: Taking taylor expansion of 0 in a
3.011 * [taylor]: Taking taylor expansion of a in a
3.011 * [approximate]: Taking taylor expansion of (/ 1 (* a (* j c))) in (c j a) around 0
3.011 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in a
3.011 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.011 * [taylor]: Taking taylor expansion of a in a
3.011 * [taylor]: Taking taylor expansion of (* j c) in a
3.011 * [taylor]: Taking taylor expansion of j in a
3.011 * [taylor]: Taking taylor expansion of c in a
3.011 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in j
3.011 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.011 * [taylor]: Taking taylor expansion of a in j
3.011 * [taylor]: Taking taylor expansion of (* j c) in j
3.011 * [taylor]: Taking taylor expansion of j in j
3.011 * [taylor]: Taking taylor expansion of c in j
3.011 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.011 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.011 * [taylor]: Taking taylor expansion of a in c
3.011 * [taylor]: Taking taylor expansion of (* j c) in c
3.011 * [taylor]: Taking taylor expansion of j in c
3.011 * [taylor]: Taking taylor expansion of c in c
3.011 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.011 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.011 * [taylor]: Taking taylor expansion of a in c
3.011 * [taylor]: Taking taylor expansion of (* j c) in c
3.011 * [taylor]: Taking taylor expansion of j in c
3.011 * [taylor]: Taking taylor expansion of c in c
3.012 * [taylor]: Taking taylor expansion of (/ 1 (* a j)) in j
3.012 * [taylor]: Taking taylor expansion of (* a j) in j
3.012 * [taylor]: Taking taylor expansion of a in j
3.012 * [taylor]: Taking taylor expansion of j in j
3.012 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.012 * [taylor]: Taking taylor expansion of a in a
3.012 * [taylor]: Taking taylor expansion of 0 in j
3.012 * [taylor]: Taking taylor expansion of 0 in a
3.012 * [taylor]: Taking taylor expansion of 0 in j
3.012 * [taylor]: Taking taylor expansion of 0 in a
3.012 * [taylor]: Taking taylor expansion of 0 in a
3.013 * [taylor]: Taking taylor expansion of 0 in j
3.013 * [taylor]: Taking taylor expansion of 0 in a
3.013 * [taylor]: Taking taylor expansion of 0 in a
3.013 * [taylor]: Taking taylor expansion of 0 in a
3.013 * [approximate]: Taking taylor expansion of (/ -1 (* a (* j c))) in (c j a) around 0
3.013 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in a
3.013 * [taylor]: Taking taylor expansion of -1 in a
3.013 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.013 * [taylor]: Taking taylor expansion of a in a
3.013 * [taylor]: Taking taylor expansion of (* j c) in a
3.013 * [taylor]: Taking taylor expansion of j in a
3.013 * [taylor]: Taking taylor expansion of c in a
3.013 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in j
3.013 * [taylor]: Taking taylor expansion of -1 in j
3.013 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.013 * [taylor]: Taking taylor expansion of a in j
3.013 * [taylor]: Taking taylor expansion of (* j c) in j
3.013 * [taylor]: Taking taylor expansion of j in j
3.013 * [taylor]: Taking taylor expansion of c in j
3.013 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.013 * [taylor]: Taking taylor expansion of -1 in c
3.013 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.013 * [taylor]: Taking taylor expansion of a in c
3.014 * [taylor]: Taking taylor expansion of (* j c) in c
3.014 * [taylor]: Taking taylor expansion of j in c
3.014 * [taylor]: Taking taylor expansion of c in c
3.014 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.014 * [taylor]: Taking taylor expansion of -1 in c
3.014 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.014 * [taylor]: Taking taylor expansion of a in c
3.014 * [taylor]: Taking taylor expansion of (* j c) in c
3.014 * [taylor]: Taking taylor expansion of j in c
3.014 * [taylor]: Taking taylor expansion of c in c
3.014 * [taylor]: Taking taylor expansion of (/ -1 (* a j)) in j
3.014 * [taylor]: Taking taylor expansion of -1 in j
3.014 * [taylor]: Taking taylor expansion of (* a j) in j
3.014 * [taylor]: Taking taylor expansion of a in j
3.014 * [taylor]: Taking taylor expansion of j in j
3.014 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.014 * [taylor]: Taking taylor expansion of -1 in a
3.014 * [taylor]: Taking taylor expansion of a in a
3.014 * [taylor]: Taking taylor expansion of 0 in j
3.014 * [taylor]: Taking taylor expansion of 0 in a
3.015 * [taylor]: Taking taylor expansion of 0 in j
3.015 * [taylor]: Taking taylor expansion of 0 in a
3.015 * [taylor]: Taking taylor expansion of 0 in a
3.015 * [taylor]: Taking taylor expansion of 0 in j
3.015 * [taylor]: Taking taylor expansion of 0 in a
3.015 * [taylor]: Taking taylor expansion of 0 in a
3.015 * [taylor]: Taking taylor expansion of 0 in a
3.015 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.015 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0
3.015 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
3.016 * [taylor]: Taking taylor expansion of x in a
3.016 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
3.016 * [taylor]: Taking taylor expansion of (* z y) in a
3.016 * [taylor]: Taking taylor expansion of z in a
3.016 * [taylor]: Taking taylor expansion of y in a
3.016 * [taylor]: Taking taylor expansion of (* t a) in a
3.016 * [taylor]: Taking taylor expansion of t in a
3.016 * [taylor]: Taking taylor expansion of a in a
3.016 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
3.016 * [taylor]: Taking taylor expansion of x in t
3.016 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
3.016 * [taylor]: Taking taylor expansion of (* z y) in t
3.016 * [taylor]: Taking taylor expansion of z in t
3.016 * [taylor]: Taking taylor expansion of y in t
3.016 * [taylor]: Taking taylor expansion of (* t a) in t
3.016 * [taylor]: Taking taylor expansion of t in t
3.016 * [taylor]: Taking taylor expansion of a in t
3.016 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
3.016 * [taylor]: Taking taylor expansion of x in z
3.016 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
3.016 * [taylor]: Taking taylor expansion of (* z y) in z
3.016 * [taylor]: Taking taylor expansion of z in z
3.016 * [taylor]: Taking taylor expansion of y in z
3.016 * [taylor]: Taking taylor expansion of (* t a) in z
3.016 * [taylor]: Taking taylor expansion of t in z
3.016 * [taylor]: Taking taylor expansion of a in z
3.016 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
3.016 * [taylor]: Taking taylor expansion of x in y
3.016 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
3.016 * [taylor]: Taking taylor expansion of (* z y) in y
3.016 * [taylor]: Taking taylor expansion of z in y
3.016 * [taylor]: Taking taylor expansion of y in y
3.016 * [taylor]: Taking taylor expansion of (* t a) in y
3.016 * [taylor]: Taking taylor expansion of t in y
3.016 * [taylor]: Taking taylor expansion of a in y
3.016 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
3.016 * [taylor]: Taking taylor expansion of x in x
3.016 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
3.016 * [taylor]: Taking taylor expansion of (* z y) in x
3.016 * [taylor]: Taking taylor expansion of z in x
3.016 * [taylor]: Taking taylor expansion of y in x
3.016 * [taylor]: Taking taylor expansion of (* t a) in x
3.016 * [taylor]: Taking taylor expansion of t in x
3.016 * [taylor]: Taking taylor expansion of a in x
3.016 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
3.016 * [taylor]: Taking taylor expansion of x in x
3.016 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
3.016 * [taylor]: Taking taylor expansion of (* z y) in x
3.016 * [taylor]: Taking taylor expansion of z in x
3.016 * [taylor]: Taking taylor expansion of y in x
3.016 * [taylor]: Taking taylor expansion of (* t a) in x
3.016 * [taylor]: Taking taylor expansion of t in x
3.016 * [taylor]: Taking taylor expansion of a in x
3.016 * [taylor]: Taking taylor expansion of 0 in y
3.016 * [taylor]: Taking taylor expansion of 0 in z
3.016 * [taylor]: Taking taylor expansion of 0 in t
3.017 * [taylor]: Taking taylor expansion of 0 in a
3.017 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
3.017 * [taylor]: Taking taylor expansion of (* z y) in y
3.017 * [taylor]: Taking taylor expansion of z in y
3.017 * [taylor]: Taking taylor expansion of y in y
3.017 * [taylor]: Taking taylor expansion of (* t a) in y
3.017 * [taylor]: Taking taylor expansion of t in y
3.017 * [taylor]: Taking taylor expansion of a in y
3.017 * [taylor]: Taking taylor expansion of (neg (* t a)) in z
3.017 * [taylor]: Taking taylor expansion of (* t a) in z
3.017 * [taylor]: Taking taylor expansion of t in z
3.017 * [taylor]: Taking taylor expansion of a in z
3.017 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
3.017 * [taylor]: Taking taylor expansion of (* t a) in t
3.017 * [taylor]: Taking taylor expansion of t in t
3.017 * [taylor]: Taking taylor expansion of a in t
3.017 * [taylor]: Taking taylor expansion of 0 in a
3.017 * [taylor]: Taking taylor expansion of 0 in z
3.017 * [taylor]: Taking taylor expansion of 0 in t
3.017 * [taylor]: Taking taylor expansion of 0 in a
3.017 * [taylor]: Taking taylor expansion of 0 in t
3.017 * [taylor]: Taking taylor expansion of 0 in a
3.017 * [taylor]: Taking taylor expansion of 0 in a
3.017 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
3.017 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
3.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
3.017 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.017 * [taylor]: Taking taylor expansion of (* z y) in a
3.017 * [taylor]: Taking taylor expansion of z in a
3.017 * [taylor]: Taking taylor expansion of y in a
3.017 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
3.018 * [taylor]: Taking taylor expansion of (* t a) in a
3.018 * [taylor]: Taking taylor expansion of t in a
3.018 * [taylor]: Taking taylor expansion of a in a
3.018 * [taylor]: Taking taylor expansion of x in a
3.018 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
3.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
3.018 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.018 * [taylor]: Taking taylor expansion of (* z y) in t
3.018 * [taylor]: Taking taylor expansion of z in t
3.018 * [taylor]: Taking taylor expansion of y in t
3.018 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.018 * [taylor]: Taking taylor expansion of (* t a) in t
3.018 * [taylor]: Taking taylor expansion of t in t
3.018 * [taylor]: Taking taylor expansion of a in t
3.018 * [taylor]: Taking taylor expansion of x in t
3.018 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
3.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
3.018 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.018 * [taylor]: Taking taylor expansion of (* z y) in z
3.018 * [taylor]: Taking taylor expansion of z in z
3.018 * [taylor]: Taking taylor expansion of y in z
3.018 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.018 * [taylor]: Taking taylor expansion of (* t a) in z
3.018 * [taylor]: Taking taylor expansion of t in z
3.018 * [taylor]: Taking taylor expansion of a in z
3.018 * [taylor]: Taking taylor expansion of x in z
3.018 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
3.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.018 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.018 * [taylor]: Taking taylor expansion of (* z y) in y
3.018 * [taylor]: Taking taylor expansion of z in y
3.018 * [taylor]: Taking taylor expansion of y in y
3.018 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.019 * [taylor]: Taking taylor expansion of (* t a) in y
3.019 * [taylor]: Taking taylor expansion of t in y
3.019 * [taylor]: Taking taylor expansion of a in y
3.019 * [taylor]: Taking taylor expansion of x in y
3.019 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.019 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.019 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.019 * [taylor]: Taking taylor expansion of (* z y) in x
3.019 * [taylor]: Taking taylor expansion of z in x
3.019 * [taylor]: Taking taylor expansion of y in x
3.019 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.019 * [taylor]: Taking taylor expansion of (* t a) in x
3.019 * [taylor]: Taking taylor expansion of t in x
3.019 * [taylor]: Taking taylor expansion of a in x
3.019 * [taylor]: Taking taylor expansion of x in x
3.019 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.019 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.019 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.019 * [taylor]: Taking taylor expansion of (* z y) in x
3.019 * [taylor]: Taking taylor expansion of z in x
3.019 * [taylor]: Taking taylor expansion of y in x
3.019 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.019 * [taylor]: Taking taylor expansion of (* t a) in x
3.019 * [taylor]: Taking taylor expansion of t in x
3.019 * [taylor]: Taking taylor expansion of a in x
3.019 * [taylor]: Taking taylor expansion of x in x
3.019 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.019 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.020 * [taylor]: Taking taylor expansion of (* z y) in y
3.020 * [taylor]: Taking taylor expansion of z in y
3.020 * [taylor]: Taking taylor expansion of y in y
3.020 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.020 * [taylor]: Taking taylor expansion of (* t a) in y
3.020 * [taylor]: Taking taylor expansion of t in y
3.020 * [taylor]: Taking taylor expansion of a in y
3.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.020 * [taylor]: Taking taylor expansion of z in z
3.020 * [taylor]: Taking taylor expansion of 1 in t
3.020 * [taylor]: Taking taylor expansion of 0 in y
3.020 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in z
3.020 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.020 * [taylor]: Taking taylor expansion of (* t a) in z
3.020 * [taylor]: Taking taylor expansion of t in z
3.020 * [taylor]: Taking taylor expansion of a in z
3.020 * [taylor]: Taking taylor expansion of 0 in t
3.020 * [taylor]: Taking taylor expansion of 1 in a
3.021 * [taylor]: Taking taylor expansion of 0 in y
3.021 * [taylor]: Taking taylor expansion of 0 in z
3.021 * [taylor]: Taking taylor expansion of 0 in z
3.021 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
3.021 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.021 * [taylor]: Taking taylor expansion of (* t a) in t
3.021 * [taylor]: Taking taylor expansion of t in t
3.021 * [taylor]: Taking taylor expansion of a in t
3.021 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
3.021 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.021 * [taylor]: Taking taylor expansion of a in a
3.021 * [taylor]: Taking taylor expansion of 0 in t
3.021 * [taylor]: Taking taylor expansion of 0 in a
3.021 * [taylor]: Taking taylor expansion of 0 in a
3.022 * [taylor]: Taking taylor expansion of 0 in y
3.022 * [taylor]: Taking taylor expansion of 0 in z
3.022 * [taylor]: Taking taylor expansion of 0 in z
3.022 * [taylor]: Taking taylor expansion of 0 in z
3.022 * [taylor]: Taking taylor expansion of 0 in t
3.022 * [taylor]: Taking taylor expansion of 0 in t
3.022 * [taylor]: Taking taylor expansion of 0 in t
3.022 * [taylor]: Taking taylor expansion of 0 in t
3.023 * [taylor]: Taking taylor expansion of 0 in a
3.023 * [taylor]: Taking taylor expansion of 0 in a
3.023 * [taylor]: Taking taylor expansion of 0 in a
3.023 * [taylor]: Taking taylor expansion of 0 in a
3.023 * [taylor]: Taking taylor expansion of 0 in y
3.023 * [taylor]: Taking taylor expansion of 0 in z
3.023 * [taylor]: Taking taylor expansion of 0 in z
3.023 * [taylor]: Taking taylor expansion of 0 in z
3.024 * [taylor]: Taking taylor expansion of 0 in z
3.024 * [taylor]: Taking taylor expansion of 0 in t
3.024 * [taylor]: Taking taylor expansion of 0 in t
3.024 * [taylor]: Taking taylor expansion of 0 in t
3.024 * [taylor]: Taking taylor expansion of 0 in t
3.024 * [taylor]: Taking taylor expansion of 0 in t
3.024 * [taylor]: Taking taylor expansion of 0 in t
3.024 * [taylor]: Taking taylor expansion of 0 in t
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.024 * [taylor]: Taking taylor expansion of 0 in a
3.025 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
3.025 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
3.025 * [taylor]: Taking taylor expansion of -1 in a
3.025 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
3.025 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
3.025 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.025 * [taylor]: Taking taylor expansion of (* z y) in a
3.025 * [taylor]: Taking taylor expansion of z in a
3.025 * [taylor]: Taking taylor expansion of y in a
3.025 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
3.025 * [taylor]: Taking taylor expansion of (* t a) in a
3.025 * [taylor]: Taking taylor expansion of t in a
3.025 * [taylor]: Taking taylor expansion of a in a
3.025 * [taylor]: Taking taylor expansion of x in a
3.025 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
3.025 * [taylor]: Taking taylor expansion of -1 in t
3.025 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
3.025 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
3.025 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.025 * [taylor]: Taking taylor expansion of (* z y) in t
3.025 * [taylor]: Taking taylor expansion of z in t
3.025 * [taylor]: Taking taylor expansion of y in t
3.025 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.025 * [taylor]: Taking taylor expansion of (* t a) in t
3.025 * [taylor]: Taking taylor expansion of t in t
3.025 * [taylor]: Taking taylor expansion of a in t
3.025 * [taylor]: Taking taylor expansion of x in t
3.026 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
3.026 * [taylor]: Taking taylor expansion of -1 in z
3.026 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
3.026 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
3.026 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.026 * [taylor]: Taking taylor expansion of (* z y) in z
3.026 * [taylor]: Taking taylor expansion of z in z
3.026 * [taylor]: Taking taylor expansion of y in z
3.026 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.026 * [taylor]: Taking taylor expansion of (* t a) in z
3.026 * [taylor]: Taking taylor expansion of t in z
3.026 * [taylor]: Taking taylor expansion of a in z
3.026 * [taylor]: Taking taylor expansion of x in z
3.026 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
3.026 * [taylor]: Taking taylor expansion of -1 in y
3.026 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
3.026 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.026 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.026 * [taylor]: Taking taylor expansion of (* z y) in y
3.026 * [taylor]: Taking taylor expansion of z in y
3.026 * [taylor]: Taking taylor expansion of y in y
3.026 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.026 * [taylor]: Taking taylor expansion of (* t a) in y
3.026 * [taylor]: Taking taylor expansion of t in y
3.026 * [taylor]: Taking taylor expansion of a in y
3.026 * [taylor]: Taking taylor expansion of x in y
3.026 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
3.026 * [taylor]: Taking taylor expansion of -1 in x
3.026 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.026 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.026 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.026 * [taylor]: Taking taylor expansion of (* z y) in x
3.026 * [taylor]: Taking taylor expansion of z in x
3.026 * [taylor]: Taking taylor expansion of y in x
3.026 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.026 * [taylor]: Taking taylor expansion of (* t a) in x
3.026 * [taylor]: Taking taylor expansion of t in x
3.026 * [taylor]: Taking taylor expansion of a in x
3.026 * [taylor]: Taking taylor expansion of x in x
3.027 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
3.027 * [taylor]: Taking taylor expansion of -1 in x
3.027 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.027 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.027 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.027 * [taylor]: Taking taylor expansion of (* z y) in x
3.027 * [taylor]: Taking taylor expansion of z in x
3.027 * [taylor]: Taking taylor expansion of y in x
3.027 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.027 * [taylor]: Taking taylor expansion of (* t a) in x
3.027 * [taylor]: Taking taylor expansion of t in x
3.027 * [taylor]: Taking taylor expansion of a in x
3.027 * [taylor]: Taking taylor expansion of x in x
3.027 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y
3.027 * [taylor]: Taking taylor expansion of -1 in y
3.027 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.027 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.027 * [taylor]: Taking taylor expansion of (* z y) in y
3.027 * [taylor]: Taking taylor expansion of z in y
3.027 * [taylor]: Taking taylor expansion of y in y
3.027 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.027 * [taylor]: Taking taylor expansion of (* t a) in y
3.027 * [taylor]: Taking taylor expansion of t in y
3.027 * [taylor]: Taking taylor expansion of a in y
3.027 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.027 * [taylor]: Taking taylor expansion of -1 in z
3.028 * [taylor]: Taking taylor expansion of z in z
3.028 * [taylor]: Taking taylor expansion of -1 in t
3.028 * [taylor]: Taking taylor expansion of 0 in y
3.028 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.028 * [taylor]: Taking taylor expansion of (* t a) in z
3.028 * [taylor]: Taking taylor expansion of t in z
3.028 * [taylor]: Taking taylor expansion of a in z
3.028 * [taylor]: Taking taylor expansion of 0 in t
3.028 * [taylor]: Taking taylor expansion of -1 in a
3.029 * [taylor]: Taking taylor expansion of 0 in y
3.029 * [taylor]: Taking taylor expansion of 0 in z
3.029 * [taylor]: Taking taylor expansion of 0 in z
3.029 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.029 * [taylor]: Taking taylor expansion of (* t a) in t
3.029 * [taylor]: Taking taylor expansion of t in t
3.029 * [taylor]: Taking taylor expansion of a in t
3.029 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.029 * [taylor]: Taking taylor expansion of a in a
3.029 * [taylor]: Taking taylor expansion of 0 in t
3.029 * [taylor]: Taking taylor expansion of 0 in a
3.029 * [taylor]: Taking taylor expansion of 0 in a
3.030 * [taylor]: Taking taylor expansion of 0 in y
3.030 * [taylor]: Taking taylor expansion of 0 in z
3.030 * [taylor]: Taking taylor expansion of 0 in z
3.030 * [taylor]: Taking taylor expansion of 0 in z
3.030 * [taylor]: Taking taylor expansion of 0 in t
3.030 * [taylor]: Taking taylor expansion of 0 in t
3.030 * [taylor]: Taking taylor expansion of 0 in t
3.030 * [taylor]: Taking taylor expansion of 0 in t
3.031 * [taylor]: Taking taylor expansion of 0 in a
3.031 * [taylor]: Taking taylor expansion of 0 in a
3.031 * [taylor]: Taking taylor expansion of 0 in a
3.031 * [taylor]: Taking taylor expansion of 0 in a
3.031 * [taylor]: Taking taylor expansion of 0 in y
3.031 * [taylor]: Taking taylor expansion of 0 in z
3.031 * [taylor]: Taking taylor expansion of 0 in z
3.031 * [taylor]: Taking taylor expansion of 0 in z
3.032 * [taylor]: Taking taylor expansion of 0 in z
3.032 * [taylor]: Taking taylor expansion of 0 in t
3.032 * [taylor]: Taking taylor expansion of 0 in t
3.032 * [taylor]: Taking taylor expansion of 0 in t
3.032 * [taylor]: Taking taylor expansion of 0 in t
3.032 * [taylor]: Taking taylor expansion of 0 in t
3.032 * [taylor]: Taking taylor expansion of 0 in t
3.032 * [taylor]: Taking taylor expansion of 0 in t
3.032 * [taylor]: Taking taylor expansion of 0 in a
3.032 * [taylor]: Taking taylor expansion of 0 in a
3.032 * [taylor]: Taking taylor expansion of 0 in a
3.032 * [taylor]: Taking taylor expansion of 0 in a
3.032 * [taylor]: Taking taylor expansion of 0 in a
3.033 * [taylor]: Taking taylor expansion of 0 in a
3.033 * [taylor]: Taking taylor expansion of 0 in a
3.033 * [taylor]: Taking taylor expansion of 0 in a
3.033 * * * [progress]: simplifying candidates
3.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* i (* j (neg y)))
  (* i (* j (neg y)))
  (+ (log i) (+ (log j) (log (neg y))))
  (+ (log i) (log (* j (neg y))))
  (log (* i (* j (neg y))))
  (exp (* i (* j (neg y))))
  (* (* (* i i) i) (* (* (* j j) j) (* (* (neg y) (neg y)) (neg y))))
  (* (* (* i i) i) (* (* (* j (neg y)) (* j (neg y))) (* j (neg y))))
  (* (cbrt (* i (* j (neg y)))) (cbrt (* i (* j (neg y)))))
  (cbrt (* i (* j (neg y))))
  (* (* (* i (* j (neg y))) (* i (* j (neg y)))) (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (* i (* j y))
  (* i j)
  (* (cbrt i) (* j (neg y)))
  (* (sqrt i) (* j (neg y)))
  (* i (* j (neg y)))
  (* b (- (* c z) (* t i)))
  (+ (log b) (log (- (* c z) (* t i))))
  (log (* b (- (* c z) (* t i))))
  (exp (* b (- (* c z) (* t i))))
  (* (* (* b b) b) (* (* (- (* c z) (* t i)) (- (* c z) (* t i))) (- (* c z) (* t i))))
  (* (cbrt (* b (- (* c z) (* t i)))) (cbrt (* b (- (* c z) (* t i)))))
  (cbrt (* b (- (* c z) (* t i))))
  (* (* (* b (- (* c z) (* t i))) (* b (- (* c z) (* t i)))) (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (sqrt (* b (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* (sqrt b) (sqrt (- (* c z) (* t i))))
  (* b (* c z))
  (* b (neg (* t i)))
  (* (* c z) b)
  (* (neg (* t i)) b)
  (* b (* (cbrt (- (* c z) (* t i))) (cbrt (- (* c z) (* t i)))))
  (* b (sqrt (- (* c z) (* t i))))
  (* b 1)
  (* (cbrt b) (- (* c z) (* t i)))
  (* (sqrt b) (- (* c z) (* t i)))
  (* b (- (* c z) (* t i)))
  (* b (- (pow (* c z) 3) (pow (* t i) 3)))
  (* b (- (* (* c z) (* c z)) (* (* t i) (* t i))))
  (* c (* j a))
  (* c (* j a))
  (+ (log c) (+ (log j) (log a)))
  (+ (log c) (log (* j a)))
  (log (* c (* j a)))
  (exp (* c (* j a)))
  (* (* (* c c) c) (* (* (* j j) j) (* (* a a) a)))
  (* (* (* c c) c) (* (* (* j a) (* j a)) (* j a)))
  (* (cbrt (* c (* j a))) (cbrt (* c (* j a))))
  (cbrt (* c (* j a)))
  (* (* (* c (* j a)) (* c (* j a))) (* c (* j a)))
  (sqrt (* c (* j a)))
  (sqrt (* c (* j a)))
  (* c j)
  (* (cbrt c) (* j a))
  (* (sqrt c) (* j a))
  (* c (* j a))
  (* x (- (* y z) (* t a)))
  (+ (log x) (log (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (exp (* x (- (* y z) (* t a))))
  (* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a))))
  (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a)))))
  (cbrt (* x (- (* y z) (* t a))))
  (* (* (* x (- (* y z) (* t a))) (* x (- (* y z) (* t a)))) (* x (- (* y z) (* t a))))
  (sqrt (* x (- (* y z) (* t a))))
  (sqrt (* x (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* (sqrt x) (sqrt (- (* y z) (* t a))))
  (* x (* y z))
  (* x (neg (* t a)))
  (* (* 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))))
  0
  (* -1 (* i (* y j)))
  (* -1 (* i (* y j)))
  0
  (- (* z (* b c)) (* t (* i b)))
  (- (* z (* b c)) (* t (* i b)))
  0
  (* a (* j c))
  (* a (* j c))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
3.063 * * [simplify]: iteration  0 :  5173  enodes  (cost  786 )
3.067 * [simplify]: Simplified to:
   (* i (* j (neg y)))
  (* i (* j (neg y)))
  (log (* i (* j (neg y))))
  (log (* i (* j (neg y))))
  (log (* i (* j (neg y))))
  (pow (exp i) (* j (neg y)))
  (pow (* i (* j (neg y))) 3)
  (pow (* i (* j (neg y))) 3)
  (* (cbrt (* i (* j (neg y)))) (cbrt (* i (* j (neg y)))))
  (cbrt (* i (* j (neg y))))
  (pow (* i (* j (neg y))) 3)
  (sqrt (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (* i (* j y))
  (* i j)
  (* j (* (neg y) (cbrt i)))
  (* j (* (neg y) (sqrt i)))
  (* i (* j (neg y)))
  (* b (- (* c z) (* i t)))
  (log (* b (- (* c z) (* i t))))
  (log (* b (- (* c z) (* i t))))
  (pow (exp b) (- (* c z) (* i t)))
  (pow (* b (- (* c z) (* i t))) 3)
  (* (cbrt (* b (- (* c z) (* i t)))) (cbrt (* b (- (* c z) (* i t)))))
  (cbrt (* b (- (* c z) (* i t))))
  (pow (* b (- (* c z) (* i t))) 3)
  (sqrt (* b (- (* c z) (* i t))))
  (sqrt (* b (- (* c z) (* i t))))
  (* (sqrt b) (sqrt (- (* c z) (* i t))))
  (* (sqrt b) (sqrt (- (* c z) (* i t))))
  (* b (* c z))
  (* i (* b (neg t)))
  (* b (* c z))
  (* i (* b (neg t)))
  (* b (* (cbrt (- (* c z) (* i t))) (cbrt (- (* c z) (* i t)))))
  (* b (sqrt (- (* c z) (* i t))))
  b
  (* (- (* c z) (* i t)) (cbrt b))
  (* (- (* c z) (* i t)) (sqrt b))
  (* b (- (* c z) (* i t)))
  (* b (- (pow (* c z) 3) (pow (* i t) 3)))
  (* b (- (* c (* z (* c z))) (* i (* i (* t t)))))
  (* j (* c a))
  (* j (* c a))
  (log (* j (* c a)))
  (log (* j (* c a)))
  (log (* j (* c a)))
  (pow (exp c) (* j a))
  (pow (* j (* c a)) 3)
  (pow (* j (* c a)) 3)
  (* (cbrt (* j (* c a))) (cbrt (* j (* c a))))
  (cbrt (* j (* c a)))
  (pow (* j (* c a)) 3)
  (sqrt (* j (* c a)))
  (sqrt (* j (* c a)))
  (* j c)
  (* j (* a (cbrt c)))
  (* j (* a (sqrt c)))
  (* j (* c a))
  (* x (- (* y z) (* t a)))
  (log (* x (- (* y z) (* t a))))
  (log (* x (- (* y z) (* t a))))
  (pow (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))))
  (* y (* z x))
  (* t (* a (neg x)))
  (* y (* z x))
  (* t (* a (neg x)))
  (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a)))))
  (* x (sqrt (- (* y z) (* t a))))
  x
  (* (- (* y z) (* t a)) (cbrt x))
  (* (- (* y z) (* t a)) (sqrt x))
  (* x (- (* y z) (* t a)))
  (* x (- (pow (* y z) 3) (pow (* t a) 3)))
  (* x (- (* y (* z (* y z))) (* t (* a (* t a)))))
  0
  (* i (* j (neg y)))
  (* i (* j (neg y)))
  0
  (* b (- (* c z) (* i t)))
  (* b (- (* c z) (* i t)))
  0
  (* j (* c a))
  (* j (* c a))
  0
  (* x (- (* y z) (* t a)))
  (* x (- (* y z) (* t a)))
3.067 * * * [progress]: adding candidates to table
3.162 * * [progress]: iteration 3 / 4
3.162 * * * [progress]: picking best candidate
3.277 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* b (* c z)) (* i (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))>
3.277 * * * [progress]: localizing error
3.300 * * * [progress]: generating rewritten candidates
3.300 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
3.306 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
3.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.315 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
3.321 * * * [progress]: generating series expansions
3.321 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
3.322 * [approximate]: Taking taylor expansion of (* -1 (* i (* y j))) in (i j y) around 0
3.322 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in y
3.322 * [taylor]: Taking taylor expansion of -1 in y
3.322 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.322 * [taylor]: Taking taylor expansion of i in y
3.322 * [taylor]: Taking taylor expansion of (* y j) in y
3.322 * [taylor]: Taking taylor expansion of y in y
3.322 * [taylor]: Taking taylor expansion of j in y
3.322 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in j
3.322 * [taylor]: Taking taylor expansion of -1 in j
3.322 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.322 * [taylor]: Taking taylor expansion of i in j
3.322 * [taylor]: Taking taylor expansion of (* y j) in j
3.322 * [taylor]: Taking taylor expansion of y in j
3.322 * [taylor]: Taking taylor expansion of j in j
3.322 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.322 * [taylor]: Taking taylor expansion of -1 in i
3.322 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.322 * [taylor]: Taking taylor expansion of i in i
3.322 * [taylor]: Taking taylor expansion of (* y j) in i
3.322 * [taylor]: Taking taylor expansion of y in i
3.322 * [taylor]: Taking taylor expansion of j in i
3.322 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.322 * [taylor]: Taking taylor expansion of -1 in i
3.322 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.322 * [taylor]: Taking taylor expansion of i in i
3.322 * [taylor]: Taking taylor expansion of (* y j) in i
3.322 * [taylor]: Taking taylor expansion of y in i
3.322 * [taylor]: Taking taylor expansion of j in i
3.322 * [taylor]: Taking taylor expansion of 0 in j
3.322 * [taylor]: Taking taylor expansion of 0 in y
3.322 * [taylor]: Taking taylor expansion of (neg (* y j)) in j
3.322 * [taylor]: Taking taylor expansion of (* y j) in j
3.322 * [taylor]: Taking taylor expansion of y in j
3.322 * [taylor]: Taking taylor expansion of j in j
3.322 * [taylor]: Taking taylor expansion of 0 in y
3.322 * [taylor]: Taking taylor expansion of 0 in y
3.322 * [taylor]: Taking taylor expansion of 0 in j
3.322 * [taylor]: Taking taylor expansion of 0 in y
3.323 * [taylor]: Taking taylor expansion of (neg y) in y
3.323 * [taylor]: Taking taylor expansion of y in y
3.323 * [approximate]: Taking taylor expansion of (/ -1 (* i (* y j))) in (i j y) around 0
3.323 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in y
3.323 * [taylor]: Taking taylor expansion of -1 in y
3.323 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.323 * [taylor]: Taking taylor expansion of i in y
3.323 * [taylor]: Taking taylor expansion of (* y j) in y
3.323 * [taylor]: Taking taylor expansion of y in y
3.323 * [taylor]: Taking taylor expansion of j in y
3.323 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in j
3.323 * [taylor]: Taking taylor expansion of -1 in j
3.323 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.323 * [taylor]: Taking taylor expansion of i in j
3.323 * [taylor]: Taking taylor expansion of (* y j) in j
3.323 * [taylor]: Taking taylor expansion of y in j
3.323 * [taylor]: Taking taylor expansion of j in j
3.323 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.323 * [taylor]: Taking taylor expansion of -1 in i
3.323 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.323 * [taylor]: Taking taylor expansion of i in i
3.323 * [taylor]: Taking taylor expansion of (* y j) in i
3.323 * [taylor]: Taking taylor expansion of y in i
3.323 * [taylor]: Taking taylor expansion of j in i
3.323 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.323 * [taylor]: Taking taylor expansion of -1 in i
3.323 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.323 * [taylor]: Taking taylor expansion of i in i
3.323 * [taylor]: Taking taylor expansion of (* y j) in i
3.323 * [taylor]: Taking taylor expansion of y in i
3.323 * [taylor]: Taking taylor expansion of j in i
3.324 * [taylor]: Taking taylor expansion of (/ -1 (* y j)) in j
3.324 * [taylor]: Taking taylor expansion of -1 in j
3.324 * [taylor]: Taking taylor expansion of (* y j) in j
3.324 * [taylor]: Taking taylor expansion of y in j
3.324 * [taylor]: Taking taylor expansion of j in j
3.324 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.324 * [taylor]: Taking taylor expansion of -1 in y
3.324 * [taylor]: Taking taylor expansion of y in y
3.324 * [taylor]: Taking taylor expansion of 0 in j
3.324 * [taylor]: Taking taylor expansion of 0 in y
3.324 * [taylor]: Taking taylor expansion of 0 in j
3.324 * [taylor]: Taking taylor expansion of 0 in y
3.324 * [taylor]: Taking taylor expansion of 0 in y
3.325 * [taylor]: Taking taylor expansion of 0 in j
3.325 * [taylor]: Taking taylor expansion of 0 in y
3.325 * [taylor]: Taking taylor expansion of 0 in y
3.325 * [taylor]: Taking taylor expansion of 0 in y
3.325 * [approximate]: Taking taylor expansion of (/ 1 (* i (* y j))) in (i j y) around 0
3.325 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in y
3.325 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.325 * [taylor]: Taking taylor expansion of i in y
3.325 * [taylor]: Taking taylor expansion of (* y j) in y
3.325 * [taylor]: Taking taylor expansion of y in y
3.325 * [taylor]: Taking taylor expansion of j in y
3.325 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in j
3.325 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.325 * [taylor]: Taking taylor expansion of i in j
3.325 * [taylor]: Taking taylor expansion of (* y j) in j
3.325 * [taylor]: Taking taylor expansion of y in j
3.325 * [taylor]: Taking taylor expansion of j in j
3.326 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
3.326 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.326 * [taylor]: Taking taylor expansion of i in i
3.326 * [taylor]: Taking taylor expansion of (* y j) in i
3.326 * [taylor]: Taking taylor expansion of y in i
3.326 * [taylor]: Taking taylor expansion of j in i
3.326 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
3.326 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.326 * [taylor]: Taking taylor expansion of i in i
3.326 * [taylor]: Taking taylor expansion of (* y j) in i
3.326 * [taylor]: Taking taylor expansion of y in i
3.326 * [taylor]: Taking taylor expansion of j in i
3.326 * [taylor]: Taking taylor expansion of (/ 1 (* y j)) in j
3.326 * [taylor]: Taking taylor expansion of (* y j) in j
3.326 * [taylor]: Taking taylor expansion of y in j
3.326 * [taylor]: Taking taylor expansion of j in j
3.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.326 * [taylor]: Taking taylor expansion of y in y
3.326 * [taylor]: Taking taylor expansion of 0 in j
3.326 * [taylor]: Taking taylor expansion of 0 in y
3.327 * [taylor]: Taking taylor expansion of 0 in j
3.327 * [taylor]: Taking taylor expansion of 0 in y
3.327 * [taylor]: Taking taylor expansion of 0 in y
3.327 * [taylor]: Taking taylor expansion of 0 in j
3.327 * [taylor]: Taking taylor expansion of 0 in y
3.327 * [taylor]: Taking taylor expansion of 0 in y
3.327 * [taylor]: Taking taylor expansion of 0 in y
3.327 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
3.327 * [approximate]: Taking taylor expansion of (* -1 (* t (* i b))) in (i b t) around 0
3.327 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in t
3.327 * [taylor]: Taking taylor expansion of -1 in t
3.327 * [taylor]: Taking taylor expansion of (* t (* i b)) in t
3.327 * [taylor]: Taking taylor expansion of t in t
3.328 * [taylor]: Taking taylor expansion of (* i b) in t
3.328 * [taylor]: Taking taylor expansion of i in t
3.328 * [taylor]: Taking taylor expansion of b in t
3.328 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in b
3.328 * [taylor]: Taking taylor expansion of -1 in b
3.328 * [taylor]: Taking taylor expansion of (* t (* i b)) in b
3.328 * [taylor]: Taking taylor expansion of t in b
3.328 * [taylor]: Taking taylor expansion of (* i b) in b
3.328 * [taylor]: Taking taylor expansion of i in b
3.328 * [taylor]: Taking taylor expansion of b in b
3.328 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in i
3.328 * [taylor]: Taking taylor expansion of -1 in i
3.328 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.328 * [taylor]: Taking taylor expansion of t in i
3.328 * [taylor]: Taking taylor expansion of (* i b) in i
3.328 * [taylor]: Taking taylor expansion of i in i
3.328 * [taylor]: Taking taylor expansion of b in i
3.328 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in i
3.328 * [taylor]: Taking taylor expansion of -1 in i
3.328 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.328 * [taylor]: Taking taylor expansion of t in i
3.328 * [taylor]: Taking taylor expansion of (* i b) in i
3.328 * [taylor]: Taking taylor expansion of i in i
3.328 * [taylor]: Taking taylor expansion of b in i
3.328 * [taylor]: Taking taylor expansion of 0 in b
3.328 * [taylor]: Taking taylor expansion of 0 in t
3.328 * [taylor]: Taking taylor expansion of (neg (* t b)) in b
3.328 * [taylor]: Taking taylor expansion of (* t b) in b
3.328 * [taylor]: Taking taylor expansion of t in b
3.328 * [taylor]: Taking taylor expansion of b in b
3.328 * [taylor]: Taking taylor expansion of 0 in t
3.328 * [taylor]: Taking taylor expansion of 0 in t
3.328 * [taylor]: Taking taylor expansion of 0 in b
3.328 * [taylor]: Taking taylor expansion of 0 in t
3.328 * [taylor]: Taking taylor expansion of (neg t) in t
3.328 * [taylor]: Taking taylor expansion of t in t
3.329 * [approximate]: Taking taylor expansion of (/ -1 (* t (* i b))) in (i b t) around 0
3.329 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in t
3.329 * [taylor]: Taking taylor expansion of -1 in t
3.329 * [taylor]: Taking taylor expansion of (* t (* i b)) in t
3.329 * [taylor]: Taking taylor expansion of t in t
3.329 * [taylor]: Taking taylor expansion of (* i b) in t
3.329 * [taylor]: Taking taylor expansion of i in t
3.329 * [taylor]: Taking taylor expansion of b in t
3.329 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in b
3.329 * [taylor]: Taking taylor expansion of -1 in b
3.329 * [taylor]: Taking taylor expansion of (* t (* i b)) in b
3.329 * [taylor]: Taking taylor expansion of t in b
3.329 * [taylor]: Taking taylor expansion of (* i b) in b
3.329 * [taylor]: Taking taylor expansion of i in b
3.329 * [taylor]: Taking taylor expansion of b in b
3.329 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in i
3.329 * [taylor]: Taking taylor expansion of -1 in i
3.329 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.329 * [taylor]: Taking taylor expansion of t in i
3.329 * [taylor]: Taking taylor expansion of (* i b) in i
3.329 * [taylor]: Taking taylor expansion of i in i
3.329 * [taylor]: Taking taylor expansion of b in i
3.329 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in i
3.329 * [taylor]: Taking taylor expansion of -1 in i
3.329 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.329 * [taylor]: Taking taylor expansion of t in i
3.329 * [taylor]: Taking taylor expansion of (* i b) in i
3.329 * [taylor]: Taking taylor expansion of i in i
3.329 * [taylor]: Taking taylor expansion of b in i
3.329 * [taylor]: Taking taylor expansion of (/ -1 (* t b)) in b
3.329 * [taylor]: Taking taylor expansion of -1 in b
3.329 * [taylor]: Taking taylor expansion of (* t b) in b
3.329 * [taylor]: Taking taylor expansion of t in b
3.329 * [taylor]: Taking taylor expansion of b in b
3.330 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.330 * [taylor]: Taking taylor expansion of -1 in t
3.330 * [taylor]: Taking taylor expansion of t in t
3.330 * [taylor]: Taking taylor expansion of 0 in b
3.330 * [taylor]: Taking taylor expansion of 0 in t
3.330 * [taylor]: Taking taylor expansion of 0 in b
3.330 * [taylor]: Taking taylor expansion of 0 in t
3.330 * [taylor]: Taking taylor expansion of 0 in t
3.331 * [taylor]: Taking taylor expansion of 0 in b
3.331 * [taylor]: Taking taylor expansion of 0 in t
3.331 * [taylor]: Taking taylor expansion of 0 in t
3.331 * [taylor]: Taking taylor expansion of 0 in t
3.331 * [approximate]: Taking taylor expansion of (/ 1 (* t (* i b))) in (i b t) around 0
3.331 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in t
3.331 * [taylor]: Taking taylor expansion of (* t (* i b)) in t
3.331 * [taylor]: Taking taylor expansion of t in t
3.331 * [taylor]: Taking taylor expansion of (* i b) in t
3.331 * [taylor]: Taking taylor expansion of i in t
3.331 * [taylor]: Taking taylor expansion of b in t
3.331 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in b
3.331 * [taylor]: Taking taylor expansion of (* t (* i b)) in b
3.331 * [taylor]: Taking taylor expansion of t in b
3.331 * [taylor]: Taking taylor expansion of (* i b) in b
3.331 * [taylor]: Taking taylor expansion of i in b
3.331 * [taylor]: Taking taylor expansion of b in b
3.331 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in i
3.331 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.331 * [taylor]: Taking taylor expansion of t in i
3.331 * [taylor]: Taking taylor expansion of (* i b) in i
3.331 * [taylor]: Taking taylor expansion of i in i
3.331 * [taylor]: Taking taylor expansion of b in i
3.332 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in i
3.332 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.332 * [taylor]: Taking taylor expansion of t in i
3.332 * [taylor]: Taking taylor expansion of (* i b) in i
3.332 * [taylor]: Taking taylor expansion of i in i
3.332 * [taylor]: Taking taylor expansion of b in i
3.332 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b
3.332 * [taylor]: Taking taylor expansion of (* t b) in b
3.332 * [taylor]: Taking taylor expansion of t in b
3.332 * [taylor]: Taking taylor expansion of b in b
3.332 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.332 * [taylor]: Taking taylor expansion of t in t
3.332 * [taylor]: Taking taylor expansion of 0 in b
3.332 * [taylor]: Taking taylor expansion of 0 in t
3.332 * [taylor]: Taking taylor expansion of 0 in b
3.332 * [taylor]: Taking taylor expansion of 0 in t
3.332 * [taylor]: Taking taylor expansion of 0 in t
3.333 * [taylor]: Taking taylor expansion of 0 in b
3.333 * [taylor]: Taking taylor expansion of 0 in t
3.333 * [taylor]: Taking taylor expansion of 0 in t
3.333 * [taylor]: Taking taylor expansion of 0 in t
3.333 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.333 * [approximate]: Taking taylor expansion of (* a (* j c)) in (c j a) around 0
3.333 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.333 * [taylor]: Taking taylor expansion of a in a
3.333 * [taylor]: Taking taylor expansion of (* j c) in a
3.333 * [taylor]: Taking taylor expansion of j in a
3.333 * [taylor]: Taking taylor expansion of c in a
3.333 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.333 * [taylor]: Taking taylor expansion of a in j
3.333 * [taylor]: Taking taylor expansion of (* j c) in j
3.333 * [taylor]: Taking taylor expansion of j in j
3.333 * [taylor]: Taking taylor expansion of c in j
3.333 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.333 * [taylor]: Taking taylor expansion of a in c
3.333 * [taylor]: Taking taylor expansion of (* j c) in c
3.333 * [taylor]: Taking taylor expansion of j in c
3.333 * [taylor]: Taking taylor expansion of c in c
3.333 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.333 * [taylor]: Taking taylor expansion of a in c
3.333 * [taylor]: Taking taylor expansion of (* j c) in c
3.333 * [taylor]: Taking taylor expansion of j in c
3.333 * [taylor]: Taking taylor expansion of c in c
3.334 * [taylor]: Taking taylor expansion of 0 in j
3.334 * [taylor]: Taking taylor expansion of 0 in a
3.334 * [taylor]: Taking taylor expansion of (* a j) in j
3.334 * [taylor]: Taking taylor expansion of a in j
3.334 * [taylor]: Taking taylor expansion of j in j
3.334 * [taylor]: Taking taylor expansion of 0 in a
3.334 * [taylor]: Taking taylor expansion of 0 in a
3.334 * [taylor]: Taking taylor expansion of 0 in j
3.334 * [taylor]: Taking taylor expansion of 0 in a
3.334 * [taylor]: Taking taylor expansion of a in a
3.334 * [approximate]: Taking taylor expansion of (/ 1 (* a (* j c))) in (c j a) around 0
3.334 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in a
3.334 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.334 * [taylor]: Taking taylor expansion of a in a
3.334 * [taylor]: Taking taylor expansion of (* j c) in a
3.334 * [taylor]: Taking taylor expansion of j in a
3.334 * [taylor]: Taking taylor expansion of c in a
3.334 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in j
3.334 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.334 * [taylor]: Taking taylor expansion of a in j
3.334 * [taylor]: Taking taylor expansion of (* j c) in j
3.334 * [taylor]: Taking taylor expansion of j in j
3.334 * [taylor]: Taking taylor expansion of c in j
3.334 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.334 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.334 * [taylor]: Taking taylor expansion of a in c
3.334 * [taylor]: Taking taylor expansion of (* j c) in c
3.334 * [taylor]: Taking taylor expansion of j in c
3.334 * [taylor]: Taking taylor expansion of c in c
3.335 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.335 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.335 * [taylor]: Taking taylor expansion of a in c
3.335 * [taylor]: Taking taylor expansion of (* j c) in c
3.335 * [taylor]: Taking taylor expansion of j in c
3.335 * [taylor]: Taking taylor expansion of c in c
3.337 * [taylor]: Taking taylor expansion of (/ 1 (* a j)) in j
3.337 * [taylor]: Taking taylor expansion of (* a j) in j
3.337 * [taylor]: Taking taylor expansion of a in j
3.337 * [taylor]: Taking taylor expansion of j in j
3.337 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.337 * [taylor]: Taking taylor expansion of a in a
3.337 * [taylor]: Taking taylor expansion of 0 in j
3.337 * [taylor]: Taking taylor expansion of 0 in a
3.337 * [taylor]: Taking taylor expansion of 0 in j
3.337 * [taylor]: Taking taylor expansion of 0 in a
3.337 * [taylor]: Taking taylor expansion of 0 in a
3.338 * [taylor]: Taking taylor expansion of 0 in j
3.338 * [taylor]: Taking taylor expansion of 0 in a
3.338 * [taylor]: Taking taylor expansion of 0 in a
3.338 * [taylor]: Taking taylor expansion of 0 in a
3.338 * [approximate]: Taking taylor expansion of (/ -1 (* a (* j c))) in (c j a) around 0
3.338 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in a
3.338 * [taylor]: Taking taylor expansion of -1 in a
3.338 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.338 * [taylor]: Taking taylor expansion of a in a
3.338 * [taylor]: Taking taylor expansion of (* j c) in a
3.338 * [taylor]: Taking taylor expansion of j in a
3.338 * [taylor]: Taking taylor expansion of c in a
3.338 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in j
3.338 * [taylor]: Taking taylor expansion of -1 in j
3.338 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.338 * [taylor]: Taking taylor expansion of a in j
3.338 * [taylor]: Taking taylor expansion of (* j c) in j
3.338 * [taylor]: Taking taylor expansion of j in j
3.339 * [taylor]: Taking taylor expansion of c in j
3.339 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.339 * [taylor]: Taking taylor expansion of -1 in c
3.339 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.339 * [taylor]: Taking taylor expansion of a in c
3.339 * [taylor]: Taking taylor expansion of (* j c) in c
3.339 * [taylor]: Taking taylor expansion of j in c
3.339 * [taylor]: Taking taylor expansion of c in c
3.339 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.339 * [taylor]: Taking taylor expansion of -1 in c
3.339 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.339 * [taylor]: Taking taylor expansion of a in c
3.339 * [taylor]: Taking taylor expansion of (* j c) in c
3.339 * [taylor]: Taking taylor expansion of j in c
3.339 * [taylor]: Taking taylor expansion of c in c
3.339 * [taylor]: Taking taylor expansion of (/ -1 (* a j)) in j
3.339 * [taylor]: Taking taylor expansion of -1 in j
3.339 * [taylor]: Taking taylor expansion of (* a j) in j
3.339 * [taylor]: Taking taylor expansion of a in j
3.339 * [taylor]: Taking taylor expansion of j in j
3.339 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.339 * [taylor]: Taking taylor expansion of -1 in a
3.339 * [taylor]: Taking taylor expansion of a in a
3.339 * [taylor]: Taking taylor expansion of 0 in j
3.339 * [taylor]: Taking taylor expansion of 0 in a
3.340 * [taylor]: Taking taylor expansion of 0 in j
3.340 * [taylor]: Taking taylor expansion of 0 in a
3.340 * [taylor]: Taking taylor expansion of 0 in a
3.340 * [taylor]: Taking taylor expansion of 0 in j
3.340 * [taylor]: Taking taylor expansion of 0 in a
3.340 * [taylor]: Taking taylor expansion of 0 in a
3.340 * [taylor]: Taking taylor expansion of 0 in a
3.341 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
3.341 * [approximate]: Taking taylor expansion of (* z (* b c)) in (b c z) around 0
3.341 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.341 * [taylor]: Taking taylor expansion of z in z
3.341 * [taylor]: Taking taylor expansion of (* b c) in z
3.341 * [taylor]: Taking taylor expansion of b in z
3.341 * [taylor]: Taking taylor expansion of c in z
3.341 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.341 * [taylor]: Taking taylor expansion of z in c
3.341 * [taylor]: Taking taylor expansion of (* b c) in c
3.341 * [taylor]: Taking taylor expansion of b in c
3.341 * [taylor]: Taking taylor expansion of c in c
3.341 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.341 * [taylor]: Taking taylor expansion of z in b
3.341 * [taylor]: Taking taylor expansion of (* b c) in b
3.341 * [taylor]: Taking taylor expansion of b in b
3.341 * [taylor]: Taking taylor expansion of c in b
3.341 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.341 * [taylor]: Taking taylor expansion of z in b
3.341 * [taylor]: Taking taylor expansion of (* b c) in b
3.341 * [taylor]: Taking taylor expansion of b in b
3.341 * [taylor]: Taking taylor expansion of c in b
3.341 * [taylor]: Taking taylor expansion of 0 in c
3.341 * [taylor]: Taking taylor expansion of 0 in z
3.341 * [taylor]: Taking taylor expansion of (* z c) in c
3.341 * [taylor]: Taking taylor expansion of z in c
3.341 * [taylor]: Taking taylor expansion of c in c
3.341 * [taylor]: Taking taylor expansion of 0 in z
3.341 * [taylor]: Taking taylor expansion of 0 in z
3.341 * [taylor]: Taking taylor expansion of 0 in c
3.341 * [taylor]: Taking taylor expansion of 0 in z
3.341 * [taylor]: Taking taylor expansion of z in z
3.341 * [approximate]: Taking taylor expansion of (/ 1 (* z (* b c))) in (b c z) around 0
3.341 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in z
3.341 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.341 * [taylor]: Taking taylor expansion of z in z
3.342 * [taylor]: Taking taylor expansion of (* b c) in z
3.342 * [taylor]: Taking taylor expansion of b in z
3.342 * [taylor]: Taking taylor expansion of c in z
3.342 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in c
3.342 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.342 * [taylor]: Taking taylor expansion of z in c
3.342 * [taylor]: Taking taylor expansion of (* b c) in c
3.342 * [taylor]: Taking taylor expansion of b in c
3.342 * [taylor]: Taking taylor expansion of c in c
3.342 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.342 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.342 * [taylor]: Taking taylor expansion of z in b
3.342 * [taylor]: Taking taylor expansion of (* b c) in b
3.342 * [taylor]: Taking taylor expansion of b in b
3.342 * [taylor]: Taking taylor expansion of c in b
3.342 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.342 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.342 * [taylor]: Taking taylor expansion of z in b
3.342 * [taylor]: Taking taylor expansion of (* b c) in b
3.342 * [taylor]: Taking taylor expansion of b in b
3.342 * [taylor]: Taking taylor expansion of c in b
3.342 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
3.342 * [taylor]: Taking taylor expansion of (* z c) in c
3.342 * [taylor]: Taking taylor expansion of z in c
3.342 * [taylor]: Taking taylor expansion of c in c
3.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.342 * [taylor]: Taking taylor expansion of z in z
3.343 * [taylor]: Taking taylor expansion of 0 in c
3.343 * [taylor]: Taking taylor expansion of 0 in z
3.343 * [taylor]: Taking taylor expansion of 0 in c
3.343 * [taylor]: Taking taylor expansion of 0 in z
3.343 * [taylor]: Taking taylor expansion of 0 in z
3.343 * [taylor]: Taking taylor expansion of 0 in c
3.343 * [taylor]: Taking taylor expansion of 0 in z
3.343 * [taylor]: Taking taylor expansion of 0 in z
3.343 * [taylor]: Taking taylor expansion of 0 in z
3.344 * [approximate]: Taking taylor expansion of (/ -1 (* z (* b c))) in (b c z) around 0
3.344 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in z
3.344 * [taylor]: Taking taylor expansion of -1 in z
3.344 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.344 * [taylor]: Taking taylor expansion of z in z
3.344 * [taylor]: Taking taylor expansion of (* b c) in z
3.344 * [taylor]: Taking taylor expansion of b in z
3.344 * [taylor]: Taking taylor expansion of c in z
3.344 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in c
3.344 * [taylor]: Taking taylor expansion of -1 in c
3.344 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.344 * [taylor]: Taking taylor expansion of z in c
3.344 * [taylor]: Taking taylor expansion of (* b c) in c
3.344 * [taylor]: Taking taylor expansion of b in c
3.344 * [taylor]: Taking taylor expansion of c in c
3.344 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b
3.344 * [taylor]: Taking taylor expansion of -1 in b
3.344 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.344 * [taylor]: Taking taylor expansion of z in b
3.344 * [taylor]: Taking taylor expansion of (* b c) in b
3.344 * [taylor]: Taking taylor expansion of b in b
3.344 * [taylor]: Taking taylor expansion of c in b
3.344 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b
3.344 * [taylor]: Taking taylor expansion of -1 in b
3.344 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.344 * [taylor]: Taking taylor expansion of z in b
3.344 * [taylor]: Taking taylor expansion of (* b c) in b
3.344 * [taylor]: Taking taylor expansion of b in b
3.344 * [taylor]: Taking taylor expansion of c in b
3.344 * [taylor]: Taking taylor expansion of (/ -1 (* z c)) in c
3.345 * [taylor]: Taking taylor expansion of -1 in c
3.345 * [taylor]: Taking taylor expansion of (* z c) in c
3.345 * [taylor]: Taking taylor expansion of z in c
3.345 * [taylor]: Taking taylor expansion of c in c
3.345 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.345 * [taylor]: Taking taylor expansion of -1 in z
3.345 * [taylor]: Taking taylor expansion of z in z
3.345 * [taylor]: Taking taylor expansion of 0 in c
3.345 * [taylor]: Taking taylor expansion of 0 in z
3.345 * [taylor]: Taking taylor expansion of 0 in c
3.345 * [taylor]: Taking taylor expansion of 0 in z
3.346 * [taylor]: Taking taylor expansion of 0 in z
3.346 * [taylor]: Taking taylor expansion of 0 in c
3.346 * [taylor]: Taking taylor expansion of 0 in z
3.346 * [taylor]: Taking taylor expansion of 0 in z
3.346 * [taylor]: Taking taylor expansion of 0 in z
3.346 * * * [progress]: simplifying candidates
3.347 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* i (* j (neg y)))
  (* i (* j (neg y)))
  (+ (log i) (+ (log j) (log (neg y))))
  (+ (log i) (log (* j (neg y))))
  (log (* i (* j (neg y))))
  (exp (* i (* j (neg y))))
  (* (* (* i i) i) (* (* (* j j) j) (* (* (neg y) (neg y)) (neg y))))
  (* (* (* i i) i) (* (* (* j (neg y)) (* j (neg y))) (* j (neg y))))
  (* (cbrt (* i (* j (neg y)))) (cbrt (* i (* j (neg y)))))
  (cbrt (* i (* j (neg y))))
  (* (* (* i (* j (neg y))) (* i (* j (neg y)))) (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (* i (* j y))
  (* i j)
  (* (cbrt i) (* j (neg y)))
  (* (sqrt i) (* j (neg y)))
  (* i (* j (neg y)))
  (* i (* b (neg t)))
  (* i (* b (neg t)))
  (+ (log i) (+ (log b) (log (neg t))))
  (+ (log i) (log (* b (neg t))))
  (log (* i (* b (neg t))))
  (exp (* i (* b (neg t))))
  (* (* (* i i) i) (* (* (* b b) b) (* (* (neg t) (neg t)) (neg t))))
  (* (* (* i i) i) (* (* (* b (neg t)) (* b (neg t))) (* b (neg t))))
  (* (cbrt (* i (* b (neg t)))) (cbrt (* i (* b (neg t)))))
  (cbrt (* i (* b (neg t))))
  (* (* (* i (* b (neg t))) (* i (* b (neg t)))) (* i (* b (neg t))))
  (sqrt (* i (* b (neg t))))
  (sqrt (* i (* b (neg t))))
  (* i (* b t))
  (* i b)
  (* (cbrt i) (* b (neg t)))
  (* (sqrt i) (* b (neg t)))
  (* i (* b (neg t)))
  (* c (* j a))
  (* c (* j a))
  (+ (log c) (+ (log j) (log a)))
  (+ (log c) (log (* j a)))
  (log (* c (* j a)))
  (exp (* c (* j a)))
  (* (* (* c c) c) (* (* (* j j) j) (* (* a a) a)))
  (* (* (* c c) c) (* (* (* j a) (* j a)) (* j a)))
  (* (cbrt (* c (* j a))) (cbrt (* c (* j a))))
  (cbrt (* c (* j a)))
  (* (* (* c (* j a)) (* c (* j a))) (* c (* j a)))
  (sqrt (* c (* j a)))
  (sqrt (* c (* j a)))
  (* c j)
  (* (cbrt c) (* j a))
  (* (sqrt c) (* j a))
  (* c (* j a))
  (* b (* c z))
  (* b (* c z))
  (+ (log b) (+ (log c) (log z)))
  (+ (log b) (log (* c z)))
  (log (* b (* c z)))
  (exp (* b (* c z)))
  (* (* (* b b) b) (* (* (* c c) c) (* (* z z) z)))
  (* (* (* b b) b) (* (* (* c z) (* c z)) (* c z)))
  (* (cbrt (* b (* c z))) (cbrt (* b (* c z))))
  (cbrt (* b (* c z)))
  (* (* (* b (* c z)) (* b (* c z))) (* b (* c z)))
  (sqrt (* b (* c z)))
  (sqrt (* b (* c z)))
  (* b c)
  (* (cbrt b) (* c z))
  (* (sqrt b) (* c z))
  (* b (* c z))
  0
  (* -1 (* i (* y j)))
  (* -1 (* i (* y j)))
  0
  (* -1 (* t (* i b)))
  (* -1 (* t (* i b)))
  0
  (* a (* j c))
  (* a (* j c))
  0
  (* z (* b c))
  (* z (* b c))
3.392 * * [simplify]: iteration  0 :  4858  enodes  (cost  516 )
3.392 * * [simplify]: iteration  1 :  4858  enodes  (cost  516 )
3.395 * [simplify]: Simplified to:
   (* i (* j (neg y)))
  (* i (* j (neg y)))
  (log (* i (* j (neg y))))
  (log (* i (* j (neg y))))
  (log (* i (* j (neg y))))
  (pow (exp i) (* j (neg y)))
  (pow (* i (* j (neg y))) 3)
  (pow (* i (* j (neg y))) 3)
  (* (cbrt (* i (* j (neg y)))) (cbrt (* i (* j (neg y)))))
  (cbrt (* i (* j (neg y))))
  (pow (* i (* j (neg y))) 3)
  (sqrt (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (* i (* j y))
  (* i j)
  (* j (* (neg y) (cbrt i)))
  (* j (* (neg y) (sqrt i)))
  (* i (* j (neg y)))
  (* i (* b (neg t)))
  (* i (* b (neg t)))
  (log (* i (* b (neg t))))
  (log (* i (* b (neg t))))
  (log (* i (* b (neg t))))
  (pow (exp i) (* b (neg t)))
  (pow (* i (* b (neg t))) 3)
  (pow (* i (* b (neg t))) 3)
  (* (cbrt (* i (* b (neg t)))) (cbrt (* i (* b (neg t)))))
  (cbrt (* i (* b (neg t))))
  (pow (* i (* b (neg t))) 3)
  (sqrt (* i (* b (neg t))))
  (sqrt (* i (* b (neg t))))
  (* i (* b t))
  (* i b)
  (* (cbrt i) (* b (neg t)))
  (* (sqrt i) (* b (neg t)))
  (* i (* b (neg t)))
  (* j (* c a))
  (* j (* c a))
  (log (* j (* c a)))
  (log (* j (* c a)))
  (log (* j (* c a)))
  (pow (exp c) (* j a))
  (pow (* j (* c a)) 3)
  (pow (* j (* c a)) 3)
  (* (cbrt (* j (* c a))) (cbrt (* j (* c a))))
  (cbrt (* j (* c a)))
  (pow (* j (* c a)) 3)
  (sqrt (* j (* c a)))
  (sqrt (* j (* c a)))
  (* j c)
  (* j (* a (cbrt c)))
  (* j (* a (sqrt c)))
  (* j (* c a))
  (* b (* c z))
  (* b (* c z))
  (log (* b (* c z)))
  (log (* b (* c z)))
  (log (* b (* c z)))
  (pow (exp c) (* b z))
  (pow (* b (* c z)) 3)
  (pow (* b (* c z)) 3)
  (* (cbrt (* b (* c z))) (cbrt (* b (* c z))))
  (cbrt (* b (* c z)))
  (pow (* b (* c z)) 3)
  (sqrt (* b (* c z)))
  (sqrt (* b (* c z)))
  (* b c)
  (* c (* z (cbrt b)))
  (* c (* z (sqrt b)))
  (* b (* c z))
  0
  (* i (* j (neg y)))
  (* i (* j (neg y)))
  0
  (* i (* b (neg t)))
  (* i (* b (neg t)))
  0
  (* j (* c a))
  (* j (* c a))
  0
  (* b (* c z))
  (* b (* c z))
3.395 * * * [progress]: adding candidates to table
3.472 * * [progress]: iteration 4 / 4
3.472 * * * [progress]: picking best candidate
3.569 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>
3.569 * * * [progress]: localizing error
3.592 * * * [progress]: generating rewritten candidates
3.593 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
3.598 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.602 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.607 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.614 * * * [progress]: generating series expansions
3.614 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
3.614 * [approximate]: Taking taylor expansion of (* -1 (* i (* y j))) in (i j y) around 0
3.614 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in y
3.615 * [taylor]: Taking taylor expansion of -1 in y
3.615 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.615 * [taylor]: Taking taylor expansion of i in y
3.615 * [taylor]: Taking taylor expansion of (* y j) in y
3.615 * [taylor]: Taking taylor expansion of y in y
3.615 * [taylor]: Taking taylor expansion of j in y
3.615 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in j
3.615 * [taylor]: Taking taylor expansion of -1 in j
3.615 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.615 * [taylor]: Taking taylor expansion of i in j
3.615 * [taylor]: Taking taylor expansion of (* y j) in j
3.615 * [taylor]: Taking taylor expansion of y in j
3.615 * [taylor]: Taking taylor expansion of j in j
3.615 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.615 * [taylor]: Taking taylor expansion of -1 in i
3.615 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.615 * [taylor]: Taking taylor expansion of i in i
3.615 * [taylor]: Taking taylor expansion of (* y j) in i
3.615 * [taylor]: Taking taylor expansion of y in i
3.615 * [taylor]: Taking taylor expansion of j in i
3.615 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.615 * [taylor]: Taking taylor expansion of -1 in i
3.615 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.615 * [taylor]: Taking taylor expansion of i in i
3.615 * [taylor]: Taking taylor expansion of (* y j) in i
3.615 * [taylor]: Taking taylor expansion of y in i
3.615 * [taylor]: Taking taylor expansion of j in i
3.615 * [taylor]: Taking taylor expansion of 0 in j
3.615 * [taylor]: Taking taylor expansion of 0 in y
3.615 * [taylor]: Taking taylor expansion of (neg (* y j)) in j
3.615 * [taylor]: Taking taylor expansion of (* y j) in j
3.615 * [taylor]: Taking taylor expansion of y in j
3.615 * [taylor]: Taking taylor expansion of j in j
3.615 * [taylor]: Taking taylor expansion of 0 in y
3.615 * [taylor]: Taking taylor expansion of 0 in y
3.615 * [taylor]: Taking taylor expansion of 0 in j
3.615 * [taylor]: Taking taylor expansion of 0 in y
3.616 * [taylor]: Taking taylor expansion of (neg y) in y
3.616 * [taylor]: Taking taylor expansion of y in y
3.616 * [approximate]: Taking taylor expansion of (/ -1 (* i (* y j))) in (i j y) around 0
3.616 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in y
3.616 * [taylor]: Taking taylor expansion of -1 in y
3.616 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.616 * [taylor]: Taking taylor expansion of i in y
3.616 * [taylor]: Taking taylor expansion of (* y j) in y
3.616 * [taylor]: Taking taylor expansion of y in y
3.616 * [taylor]: Taking taylor expansion of j in y
3.616 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in j
3.616 * [taylor]: Taking taylor expansion of -1 in j
3.616 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.616 * [taylor]: Taking taylor expansion of i in j
3.616 * [taylor]: Taking taylor expansion of (* y j) in j
3.616 * [taylor]: Taking taylor expansion of y in j
3.616 * [taylor]: Taking taylor expansion of j in j
3.616 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.616 * [taylor]: Taking taylor expansion of -1 in i
3.616 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.616 * [taylor]: Taking taylor expansion of i in i
3.616 * [taylor]: Taking taylor expansion of (* y j) in i
3.616 * [taylor]: Taking taylor expansion of y in i
3.616 * [taylor]: Taking taylor expansion of j in i
3.616 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.616 * [taylor]: Taking taylor expansion of -1 in i
3.616 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.616 * [taylor]: Taking taylor expansion of i in i
3.616 * [taylor]: Taking taylor expansion of (* y j) in i
3.616 * [taylor]: Taking taylor expansion of y in i
3.616 * [taylor]: Taking taylor expansion of j in i
3.617 * [taylor]: Taking taylor expansion of (/ -1 (* y j)) in j
3.617 * [taylor]: Taking taylor expansion of -1 in j
3.617 * [taylor]: Taking taylor expansion of (* y j) in j
3.617 * [taylor]: Taking taylor expansion of y in j
3.617 * [taylor]: Taking taylor expansion of j in j
3.617 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.617 * [taylor]: Taking taylor expansion of -1 in y
3.617 * [taylor]: Taking taylor expansion of y in y
3.617 * [taylor]: Taking taylor expansion of 0 in j
3.617 * [taylor]: Taking taylor expansion of 0 in y
3.617 * [taylor]: Taking taylor expansion of 0 in j
3.617 * [taylor]: Taking taylor expansion of 0 in y
3.617 * [taylor]: Taking taylor expansion of 0 in y
3.618 * [taylor]: Taking taylor expansion of 0 in j
3.618 * [taylor]: Taking taylor expansion of 0 in y
3.618 * [taylor]: Taking taylor expansion of 0 in y
3.618 * [taylor]: Taking taylor expansion of 0 in y
3.618 * [approximate]: Taking taylor expansion of (/ 1 (* i (* y j))) in (i j y) around 0
3.618 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in y
3.618 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.618 * [taylor]: Taking taylor expansion of i in y
3.618 * [taylor]: Taking taylor expansion of (* y j) in y
3.618 * [taylor]: Taking taylor expansion of y in y
3.618 * [taylor]: Taking taylor expansion of j in y
3.618 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in j
3.618 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.618 * [taylor]: Taking taylor expansion of i in j
3.618 * [taylor]: Taking taylor expansion of (* y j) in j
3.618 * [taylor]: Taking taylor expansion of y in j
3.618 * [taylor]: Taking taylor expansion of j in j
3.619 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
3.619 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.619 * [taylor]: Taking taylor expansion of i in i
3.619 * [taylor]: Taking taylor expansion of (* y j) in i
3.619 * [taylor]: Taking taylor expansion of y in i
3.619 * [taylor]: Taking taylor expansion of j in i
3.619 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
3.619 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.619 * [taylor]: Taking taylor expansion of i in i
3.619 * [taylor]: Taking taylor expansion of (* y j) in i
3.619 * [taylor]: Taking taylor expansion of y in i
3.619 * [taylor]: Taking taylor expansion of j in i
3.619 * [taylor]: Taking taylor expansion of (/ 1 (* y j)) in j
3.619 * [taylor]: Taking taylor expansion of (* y j) in j
3.619 * [taylor]: Taking taylor expansion of y in j
3.619 * [taylor]: Taking taylor expansion of j in j
3.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.619 * [taylor]: Taking taylor expansion of y in y
3.619 * [taylor]: Taking taylor expansion of 0 in j
3.619 * [taylor]: Taking taylor expansion of 0 in y
3.620 * [taylor]: Taking taylor expansion of 0 in j
3.620 * [taylor]: Taking taylor expansion of 0 in y
3.620 * [taylor]: Taking taylor expansion of 0 in y
3.620 * [taylor]: Taking taylor expansion of 0 in j
3.620 * [taylor]: Taking taylor expansion of 0 in y
3.620 * [taylor]: Taking taylor expansion of 0 in y
3.620 * [taylor]: Taking taylor expansion of 0 in y
3.620 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.620 * [approximate]: Taking taylor expansion of (* a (* j c)) in (c j a) around 0
3.620 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.620 * [taylor]: Taking taylor expansion of a in a
3.620 * [taylor]: Taking taylor expansion of (* j c) in a
3.620 * [taylor]: Taking taylor expansion of j in a
3.620 * [taylor]: Taking taylor expansion of c in a
3.621 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.621 * [taylor]: Taking taylor expansion of a in j
3.621 * [taylor]: Taking taylor expansion of (* j c) in j
3.621 * [taylor]: Taking taylor expansion of j in j
3.621 * [taylor]: Taking taylor expansion of c in j
3.621 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.621 * [taylor]: Taking taylor expansion of a in c
3.621 * [taylor]: Taking taylor expansion of (* j c) in c
3.621 * [taylor]: Taking taylor expansion of j in c
3.621 * [taylor]: Taking taylor expansion of c in c
3.621 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.621 * [taylor]: Taking taylor expansion of a in c
3.621 * [taylor]: Taking taylor expansion of (* j c) in c
3.621 * [taylor]: Taking taylor expansion of j in c
3.621 * [taylor]: Taking taylor expansion of c in c
3.621 * [taylor]: Taking taylor expansion of 0 in j
3.621 * [taylor]: Taking taylor expansion of 0 in a
3.621 * [taylor]: Taking taylor expansion of (* a j) in j
3.621 * [taylor]: Taking taylor expansion of a in j
3.621 * [taylor]: Taking taylor expansion of j in j
3.621 * [taylor]: Taking taylor expansion of 0 in a
3.621 * [taylor]: Taking taylor expansion of 0 in a
3.621 * [taylor]: Taking taylor expansion of 0 in j
3.621 * [taylor]: Taking taylor expansion of 0 in a
3.621 * [taylor]: Taking taylor expansion of a in a
3.621 * [approximate]: Taking taylor expansion of (/ 1 (* a (* j c))) in (c j a) around 0
3.621 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in a
3.621 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.621 * [taylor]: Taking taylor expansion of a in a
3.621 * [taylor]: Taking taylor expansion of (* j c) in a
3.621 * [taylor]: Taking taylor expansion of j in a
3.621 * [taylor]: Taking taylor expansion of c in a
3.621 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in j
3.621 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.621 * [taylor]: Taking taylor expansion of a in j
3.622 * [taylor]: Taking taylor expansion of (* j c) in j
3.622 * [taylor]: Taking taylor expansion of j in j
3.622 * [taylor]: Taking taylor expansion of c in j
3.622 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.622 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.622 * [taylor]: Taking taylor expansion of a in c
3.622 * [taylor]: Taking taylor expansion of (* j c) in c
3.622 * [taylor]: Taking taylor expansion of j in c
3.622 * [taylor]: Taking taylor expansion of c in c
3.622 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.622 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.622 * [taylor]: Taking taylor expansion of a in c
3.622 * [taylor]: Taking taylor expansion of (* j c) in c
3.622 * [taylor]: Taking taylor expansion of j in c
3.622 * [taylor]: Taking taylor expansion of c in c
3.622 * [taylor]: Taking taylor expansion of (/ 1 (* a j)) in j
3.622 * [taylor]: Taking taylor expansion of (* a j) in j
3.622 * [taylor]: Taking taylor expansion of a in j
3.622 * [taylor]: Taking taylor expansion of j in j
3.622 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.622 * [taylor]: Taking taylor expansion of a in a
3.622 * [taylor]: Taking taylor expansion of 0 in j
3.622 * [taylor]: Taking taylor expansion of 0 in a
3.623 * [taylor]: Taking taylor expansion of 0 in j
3.623 * [taylor]: Taking taylor expansion of 0 in a
3.623 * [taylor]: Taking taylor expansion of 0 in a
3.623 * [taylor]: Taking taylor expansion of 0 in j
3.623 * [taylor]: Taking taylor expansion of 0 in a
3.623 * [taylor]: Taking taylor expansion of 0 in a
3.623 * [taylor]: Taking taylor expansion of 0 in a
3.623 * [approximate]: Taking taylor expansion of (/ -1 (* a (* j c))) in (c j a) around 0
3.623 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in a
3.623 * [taylor]: Taking taylor expansion of -1 in a
3.623 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.624 * [taylor]: Taking taylor expansion of a in a
3.624 * [taylor]: Taking taylor expansion of (* j c) in a
3.624 * [taylor]: Taking taylor expansion of j in a
3.624 * [taylor]: Taking taylor expansion of c in a
3.624 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in j
3.624 * [taylor]: Taking taylor expansion of -1 in j
3.624 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.624 * [taylor]: Taking taylor expansion of a in j
3.624 * [taylor]: Taking taylor expansion of (* j c) in j
3.624 * [taylor]: Taking taylor expansion of j in j
3.624 * [taylor]: Taking taylor expansion of c in j
3.624 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.624 * [taylor]: Taking taylor expansion of -1 in c
3.624 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.624 * [taylor]: Taking taylor expansion of a in c
3.624 * [taylor]: Taking taylor expansion of (* j c) in c
3.624 * [taylor]: Taking taylor expansion of j in c
3.624 * [taylor]: Taking taylor expansion of c in c
3.624 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.624 * [taylor]: Taking taylor expansion of -1 in c
3.624 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.624 * [taylor]: Taking taylor expansion of a in c
3.624 * [taylor]: Taking taylor expansion of (* j c) in c
3.624 * [taylor]: Taking taylor expansion of j in c
3.624 * [taylor]: Taking taylor expansion of c in c
3.624 * [taylor]: Taking taylor expansion of (/ -1 (* a j)) in j
3.624 * [taylor]: Taking taylor expansion of -1 in j
3.624 * [taylor]: Taking taylor expansion of (* a j) in j
3.624 * [taylor]: Taking taylor expansion of a in j
3.624 * [taylor]: Taking taylor expansion of j in j
3.624 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.624 * [taylor]: Taking taylor expansion of -1 in a
3.624 * [taylor]: Taking taylor expansion of a in a
3.625 * [taylor]: Taking taylor expansion of 0 in j
3.625 * [taylor]: Taking taylor expansion of 0 in a
3.625 * [taylor]: Taking taylor expansion of 0 in j
3.625 * [taylor]: Taking taylor expansion of 0 in a
3.625 * [taylor]: Taking taylor expansion of 0 in a
3.625 * [taylor]: Taking taylor expansion of 0 in j
3.625 * [taylor]: Taking taylor expansion of 0 in a
3.625 * [taylor]: Taking taylor expansion of 0 in a
3.626 * [taylor]: Taking taylor expansion of 0 in a
3.626 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.626 * [approximate]: Taking taylor expansion of (* z (* b c)) in (b c z) around 0
3.626 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.626 * [taylor]: Taking taylor expansion of z in z
3.626 * [taylor]: Taking taylor expansion of (* b c) in z
3.626 * [taylor]: Taking taylor expansion of b in z
3.626 * [taylor]: Taking taylor expansion of c in z
3.626 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.626 * [taylor]: Taking taylor expansion of z in c
3.626 * [taylor]: Taking taylor expansion of (* b c) in c
3.626 * [taylor]: Taking taylor expansion of b in c
3.626 * [taylor]: Taking taylor expansion of c in c
3.626 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.626 * [taylor]: Taking taylor expansion of z in b
3.626 * [taylor]: Taking taylor expansion of (* b c) in b
3.626 * [taylor]: Taking taylor expansion of b in b
3.626 * [taylor]: Taking taylor expansion of c in b
3.626 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.626 * [taylor]: Taking taylor expansion of z in b
3.626 * [taylor]: Taking taylor expansion of (* b c) in b
3.626 * [taylor]: Taking taylor expansion of b in b
3.626 * [taylor]: Taking taylor expansion of c in b
3.626 * [taylor]: Taking taylor expansion of 0 in c
3.626 * [taylor]: Taking taylor expansion of 0 in z
3.626 * [taylor]: Taking taylor expansion of (* z c) in c
3.626 * [taylor]: Taking taylor expansion of z in c
3.626 * [taylor]: Taking taylor expansion of c in c
3.626 * [taylor]: Taking taylor expansion of 0 in z
3.626 * [taylor]: Taking taylor expansion of 0 in z
3.627 * [taylor]: Taking taylor expansion of 0 in c
3.627 * [taylor]: Taking taylor expansion of 0 in z
3.627 * [taylor]: Taking taylor expansion of z in z
3.627 * [approximate]: Taking taylor expansion of (/ 1 (* z (* b c))) in (b c z) around 0
3.627 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in z
3.627 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.627 * [taylor]: Taking taylor expansion of z in z
3.627 * [taylor]: Taking taylor expansion of (* b c) in z
3.627 * [taylor]: Taking taylor expansion of b in z
3.627 * [taylor]: Taking taylor expansion of c in z
3.627 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in c
3.627 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.627 * [taylor]: Taking taylor expansion of z in c
3.627 * [taylor]: Taking taylor expansion of (* b c) in c
3.627 * [taylor]: Taking taylor expansion of b in c
3.627 * [taylor]: Taking taylor expansion of c in c
3.627 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.627 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.627 * [taylor]: Taking taylor expansion of z in b
3.627 * [taylor]: Taking taylor expansion of (* b c) in b
3.627 * [taylor]: Taking taylor expansion of b in b
3.627 * [taylor]: Taking taylor expansion of c in b
3.627 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.627 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.627 * [taylor]: Taking taylor expansion of z in b
3.627 * [taylor]: Taking taylor expansion of (* b c) in b
3.627 * [taylor]: Taking taylor expansion of b in b
3.627 * [taylor]: Taking taylor expansion of c in b
3.627 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
3.627 * [taylor]: Taking taylor expansion of (* z c) in c
3.628 * [taylor]: Taking taylor expansion of z in c
3.628 * [taylor]: Taking taylor expansion of c in c
3.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.628 * [taylor]: Taking taylor expansion of z in z
3.628 * [taylor]: Taking taylor expansion of 0 in c
3.628 * [taylor]: Taking taylor expansion of 0 in z
3.628 * [taylor]: Taking taylor expansion of 0 in c
3.628 * [taylor]: Taking taylor expansion of 0 in z
3.628 * [taylor]: Taking taylor expansion of 0 in z
3.628 * [taylor]: Taking taylor expansion of 0 in c
3.628 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [approximate]: Taking taylor expansion of (/ -1 (* z (* b c))) in (b c z) around 0
3.629 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in z
3.629 * [taylor]: Taking taylor expansion of -1 in z
3.629 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.629 * [taylor]: Taking taylor expansion of z in z
3.629 * [taylor]: Taking taylor expansion of (* b c) in z
3.629 * [taylor]: Taking taylor expansion of b in z
3.629 * [taylor]: Taking taylor expansion of c in z
3.629 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in c
3.629 * [taylor]: Taking taylor expansion of -1 in c
3.629 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.629 * [taylor]: Taking taylor expansion of z in c
3.629 * [taylor]: Taking taylor expansion of (* b c) in c
3.629 * [taylor]: Taking taylor expansion of b in c
3.629 * [taylor]: Taking taylor expansion of c in c
3.629 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b
3.629 * [taylor]: Taking taylor expansion of -1 in b
3.629 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.629 * [taylor]: Taking taylor expansion of z in b
3.629 * [taylor]: Taking taylor expansion of (* b c) in b
3.629 * [taylor]: Taking taylor expansion of b in b
3.629 * [taylor]: Taking taylor expansion of c in b
3.630 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b
3.630 * [taylor]: Taking taylor expansion of -1 in b
3.630 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.630 * [taylor]: Taking taylor expansion of z in b
3.630 * [taylor]: Taking taylor expansion of (* b c) in b
3.630 * [taylor]: Taking taylor expansion of b in b
3.630 * [taylor]: Taking taylor expansion of c in b
3.630 * [taylor]: Taking taylor expansion of (/ -1 (* z c)) in c
3.630 * [taylor]: Taking taylor expansion of -1 in c
3.630 * [taylor]: Taking taylor expansion of (* z c) in c
3.630 * [taylor]: Taking taylor expansion of z in c
3.630 * [taylor]: Taking taylor expansion of c in c
3.630 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.630 * [taylor]: Taking taylor expansion of -1 in z
3.630 * [taylor]: Taking taylor expansion of z in z
3.630 * [taylor]: Taking taylor expansion of 0 in c
3.630 * [taylor]: Taking taylor expansion of 0 in z
3.630 * [taylor]: Taking taylor expansion of 0 in c
3.630 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in c
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.631 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0
3.631 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
3.631 * [taylor]: Taking taylor expansion of x in a
3.631 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
3.631 * [taylor]: Taking taylor expansion of (* z y) in a
3.631 * [taylor]: Taking taylor expansion of z in a
3.631 * [taylor]: Taking taylor expansion of y in a
3.631 * [taylor]: Taking taylor expansion of (* t a) in a
3.631 * [taylor]: Taking taylor expansion of t in a
3.631 * [taylor]: Taking taylor expansion of a in a
3.631 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
3.631 * [taylor]: Taking taylor expansion of x in t
3.632 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
3.632 * [taylor]: Taking taylor expansion of (* z y) in t
3.632 * [taylor]: Taking taylor expansion of z in t
3.632 * [taylor]: Taking taylor expansion of y in t
3.632 * [taylor]: Taking taylor expansion of (* t a) in t
3.632 * [taylor]: Taking taylor expansion of t in t
3.632 * [taylor]: Taking taylor expansion of a in t
3.632 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
3.632 * [taylor]: Taking taylor expansion of x in z
3.632 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
3.632 * [taylor]: Taking taylor expansion of (* z y) in z
3.632 * [taylor]: Taking taylor expansion of z in z
3.632 * [taylor]: Taking taylor expansion of y in z
3.632 * [taylor]: Taking taylor expansion of (* t a) in z
3.632 * [taylor]: Taking taylor expansion of t in z
3.632 * [taylor]: Taking taylor expansion of a in z
3.632 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
3.632 * [taylor]: Taking taylor expansion of x in y
3.632 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
3.632 * [taylor]: Taking taylor expansion of (* z y) in y
3.632 * [taylor]: Taking taylor expansion of z in y
3.632 * [taylor]: Taking taylor expansion of y in y
3.632 * [taylor]: Taking taylor expansion of (* t a) in y
3.632 * [taylor]: Taking taylor expansion of t in y
3.632 * [taylor]: Taking taylor expansion of a in y
3.632 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
3.632 * [taylor]: Taking taylor expansion of x in x
3.632 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
3.632 * [taylor]: Taking taylor expansion of (* z y) in x
3.632 * [taylor]: Taking taylor expansion of z in x
3.632 * [taylor]: Taking taylor expansion of y in x
3.632 * [taylor]: Taking taylor expansion of (* t a) in x
3.632 * [taylor]: Taking taylor expansion of t in x
3.632 * [taylor]: Taking taylor expansion of a in x
3.632 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
3.632 * [taylor]: Taking taylor expansion of x in x
3.632 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
3.632 * [taylor]: Taking taylor expansion of (* z y) in x
3.632 * [taylor]: Taking taylor expansion of z in x
3.632 * [taylor]: Taking taylor expansion of y in x
3.632 * [taylor]: Taking taylor expansion of (* t a) in x
3.632 * [taylor]: Taking taylor expansion of t in x
3.632 * [taylor]: Taking taylor expansion of a in x
3.632 * [taylor]: Taking taylor expansion of 0 in y
3.632 * [taylor]: Taking taylor expansion of 0 in z
3.632 * [taylor]: Taking taylor expansion of 0 in t
3.632 * [taylor]: Taking taylor expansion of 0 in a
3.633 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
3.633 * [taylor]: Taking taylor expansion of (* z y) in y
3.633 * [taylor]: Taking taylor expansion of z in y
3.633 * [taylor]: Taking taylor expansion of y in y
3.633 * [taylor]: Taking taylor expansion of (* t a) in y
3.633 * [taylor]: Taking taylor expansion of t in y
3.633 * [taylor]: Taking taylor expansion of a in y
3.633 * [taylor]: Taking taylor expansion of (neg (* t a)) in z
3.633 * [taylor]: Taking taylor expansion of (* t a) in z
3.633 * [taylor]: Taking taylor expansion of t in z
3.633 * [taylor]: Taking taylor expansion of a in z
3.633 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
3.633 * [taylor]: Taking taylor expansion of (* t a) in t
3.633 * [taylor]: Taking taylor expansion of t in t
3.633 * [taylor]: Taking taylor expansion of a in t
3.633 * [taylor]: Taking taylor expansion of 0 in a
3.633 * [taylor]: Taking taylor expansion of 0 in z
3.633 * [taylor]: Taking taylor expansion of 0 in t
3.633 * [taylor]: Taking taylor expansion of 0 in a
3.633 * [taylor]: Taking taylor expansion of 0 in t
3.633 * [taylor]: Taking taylor expansion of 0 in a
3.633 * [taylor]: Taking taylor expansion of 0 in a
3.633 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
3.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
3.633 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
3.633 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.633 * [taylor]: Taking taylor expansion of (* z y) in a
3.633 * [taylor]: Taking taylor expansion of z in a
3.633 * [taylor]: Taking taylor expansion of y in a
3.633 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
3.633 * [taylor]: Taking taylor expansion of (* t a) in a
3.633 * [taylor]: Taking taylor expansion of t in a
3.633 * [taylor]: Taking taylor expansion of a in a
3.633 * [taylor]: Taking taylor expansion of x in a
3.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
3.634 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.634 * [taylor]: Taking taylor expansion of (* z y) in t
3.634 * [taylor]: Taking taylor expansion of z in t
3.634 * [taylor]: Taking taylor expansion of y in t
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.634 * [taylor]: Taking taylor expansion of (* t a) in t
3.634 * [taylor]: Taking taylor expansion of t in t
3.634 * [taylor]: Taking taylor expansion of a in t
3.634 * [taylor]: Taking taylor expansion of x in t
3.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
3.634 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.634 * [taylor]: Taking taylor expansion of (* z y) in z
3.634 * [taylor]: Taking taylor expansion of z in z
3.634 * [taylor]: Taking taylor expansion of y in z
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.634 * [taylor]: Taking taylor expansion of (* t a) in z
3.634 * [taylor]: Taking taylor expansion of t in z
3.634 * [taylor]: Taking taylor expansion of a in z
3.634 * [taylor]: Taking taylor expansion of x in z
3.634 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
3.634 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.634 * [taylor]: Taking taylor expansion of (* z y) in y
3.634 * [taylor]: Taking taylor expansion of z in y
3.634 * [taylor]: Taking taylor expansion of y in y
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.634 * [taylor]: Taking taylor expansion of (* t a) in y
3.634 * [taylor]: Taking taylor expansion of t in y
3.634 * [taylor]: Taking taylor expansion of a in y
3.634 * [taylor]: Taking taylor expansion of x in y
3.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.635 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.635 * [taylor]: Taking taylor expansion of (* z y) in x
3.635 * [taylor]: Taking taylor expansion of z in x
3.635 * [taylor]: Taking taylor expansion of y in x
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.635 * [taylor]: Taking taylor expansion of (* t a) in x
3.635 * [taylor]: Taking taylor expansion of t in x
3.635 * [taylor]: Taking taylor expansion of a in x
3.635 * [taylor]: Taking taylor expansion of x in x
3.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.635 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.635 * [taylor]: Taking taylor expansion of (* z y) in x
3.635 * [taylor]: Taking taylor expansion of z in x
3.635 * [taylor]: Taking taylor expansion of y in x
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.635 * [taylor]: Taking taylor expansion of (* t a) in x
3.635 * [taylor]: Taking taylor expansion of t in x
3.635 * [taylor]: Taking taylor expansion of a in x
3.635 * [taylor]: Taking taylor expansion of x in x
3.635 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.635 * [taylor]: Taking taylor expansion of (* z y) in y
3.635 * [taylor]: Taking taylor expansion of z in y
3.635 * [taylor]: Taking taylor expansion of y in y
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.636 * [taylor]: Taking taylor expansion of (* t a) in y
3.636 * [taylor]: Taking taylor expansion of t in y
3.636 * [taylor]: Taking taylor expansion of a in y
3.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.636 * [taylor]: Taking taylor expansion of z in z
3.636 * [taylor]: Taking taylor expansion of 1 in t
3.636 * [taylor]: Taking taylor expansion of 0 in y
3.636 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in z
3.636 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.636 * [taylor]: Taking taylor expansion of (* t a) in z
3.636 * [taylor]: Taking taylor expansion of t in z
3.636 * [taylor]: Taking taylor expansion of a in z
3.636 * [taylor]: Taking taylor expansion of 0 in t
3.636 * [taylor]: Taking taylor expansion of 1 in a
3.637 * [taylor]: Taking taylor expansion of 0 in y
3.637 * [taylor]: Taking taylor expansion of 0 in z
3.637 * [taylor]: Taking taylor expansion of 0 in z
3.637 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
3.637 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.637 * [taylor]: Taking taylor expansion of (* t a) in t
3.637 * [taylor]: Taking taylor expansion of t in t
3.637 * [taylor]: Taking taylor expansion of a in t
3.637 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
3.637 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.637 * [taylor]: Taking taylor expansion of a in a
3.637 * [taylor]: Taking taylor expansion of 0 in t
3.637 * [taylor]: Taking taylor expansion of 0 in a
3.637 * [taylor]: Taking taylor expansion of 0 in a
3.638 * [taylor]: Taking taylor expansion of 0 in y
3.638 * [taylor]: Taking taylor expansion of 0 in z
3.638 * [taylor]: Taking taylor expansion of 0 in z
3.638 * [taylor]: Taking taylor expansion of 0 in z
3.638 * [taylor]: Taking taylor expansion of 0 in t
3.638 * [taylor]: Taking taylor expansion of 0 in t
3.638 * [taylor]: Taking taylor expansion of 0 in t
3.638 * [taylor]: Taking taylor expansion of 0 in t
3.638 * [taylor]: Taking taylor expansion of 0 in a
3.638 * [taylor]: Taking taylor expansion of 0 in a
3.638 * [taylor]: Taking taylor expansion of 0 in a
3.638 * [taylor]: Taking taylor expansion of 0 in a
3.639 * [taylor]: Taking taylor expansion of 0 in y
3.639 * [taylor]: Taking taylor expansion of 0 in z
3.639 * [taylor]: Taking taylor expansion of 0 in z
3.639 * [taylor]: Taking taylor expansion of 0 in z
3.641 * [taylor]: Taking taylor expansion of 0 in z
3.641 * [taylor]: Taking taylor expansion of 0 in t
3.642 * [taylor]: Taking taylor expansion of 0 in t
3.642 * [taylor]: Taking taylor expansion of 0 in t
3.642 * [taylor]: Taking taylor expansion of 0 in t
3.642 * [taylor]: Taking taylor expansion of 0 in t
3.642 * [taylor]: Taking taylor expansion of 0 in t
3.642 * [taylor]: Taking taylor expansion of 0 in t
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.642 * [taylor]: Taking taylor expansion of 0 in a
3.643 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
3.643 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
3.643 * [taylor]: Taking taylor expansion of -1 in a
3.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
3.643 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
3.643 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.643 * [taylor]: Taking taylor expansion of (* z y) in a
3.643 * [taylor]: Taking taylor expansion of z in a
3.643 * [taylor]: Taking taylor expansion of y in a
3.643 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
3.643 * [taylor]: Taking taylor expansion of (* t a) in a
3.643 * [taylor]: Taking taylor expansion of t in a
3.643 * [taylor]: Taking taylor expansion of a in a
3.643 * [taylor]: Taking taylor expansion of x in a
3.643 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
3.643 * [taylor]: Taking taylor expansion of -1 in t
3.643 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
3.643 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
3.643 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.643 * [taylor]: Taking taylor expansion of (* z y) in t
3.643 * [taylor]: Taking taylor expansion of z in t
3.643 * [taylor]: Taking taylor expansion of y in t
3.643 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.643 * [taylor]: Taking taylor expansion of (* t a) in t
3.643 * [taylor]: Taking taylor expansion of t in t
3.643 * [taylor]: Taking taylor expansion of a in t
3.643 * [taylor]: Taking taylor expansion of x in t
3.643 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
3.643 * [taylor]: Taking taylor expansion of -1 in z
3.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
3.644 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.644 * [taylor]: Taking taylor expansion of (* z y) in z
3.644 * [taylor]: Taking taylor expansion of z in z
3.644 * [taylor]: Taking taylor expansion of y in z
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.644 * [taylor]: Taking taylor expansion of (* t a) in z
3.644 * [taylor]: Taking taylor expansion of t in z
3.644 * [taylor]: Taking taylor expansion of a in z
3.644 * [taylor]: Taking taylor expansion of x in z
3.644 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
3.644 * [taylor]: Taking taylor expansion of -1 in y
3.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
3.644 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.644 * [taylor]: Taking taylor expansion of (* z y) in y
3.644 * [taylor]: Taking taylor expansion of z in y
3.644 * [taylor]: Taking taylor expansion of y in y
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.644 * [taylor]: Taking taylor expansion of (* t a) in y
3.644 * [taylor]: Taking taylor expansion of t in y
3.644 * [taylor]: Taking taylor expansion of a in y
3.644 * [taylor]: Taking taylor expansion of x in y
3.644 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
3.644 * [taylor]: Taking taylor expansion of -1 in x
3.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.644 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.644 * [taylor]: Taking taylor expansion of (* z y) in x
3.644 * [taylor]: Taking taylor expansion of z in x
3.644 * [taylor]: Taking taylor expansion of y in x
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.644 * [taylor]: Taking taylor expansion of (* t a) in x
3.644 * [taylor]: Taking taylor expansion of t in x
3.644 * [taylor]: Taking taylor expansion of a in x
3.644 * [taylor]: Taking taylor expansion of x in x
3.645 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
3.645 * [taylor]: Taking taylor expansion of -1 in x
3.645 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.645 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.645 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.645 * [taylor]: Taking taylor expansion of (* z y) in x
3.645 * [taylor]: Taking taylor expansion of z in x
3.645 * [taylor]: Taking taylor expansion of y in x
3.645 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.645 * [taylor]: Taking taylor expansion of (* t a) in x
3.645 * [taylor]: Taking taylor expansion of t in x
3.645 * [taylor]: Taking taylor expansion of a in x
3.645 * [taylor]: Taking taylor expansion of x in x
3.645 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y
3.645 * [taylor]: Taking taylor expansion of -1 in y
3.645 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.645 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.645 * [taylor]: Taking taylor expansion of (* z y) in y
3.645 * [taylor]: Taking taylor expansion of z in y
3.645 * [taylor]: Taking taylor expansion of y in y
3.645 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.645 * [taylor]: Taking taylor expansion of (* t a) in y
3.645 * [taylor]: Taking taylor expansion of t in y
3.645 * [taylor]: Taking taylor expansion of a in y
3.645 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.645 * [taylor]: Taking taylor expansion of -1 in z
3.645 * [taylor]: Taking taylor expansion of z in z
3.645 * [taylor]: Taking taylor expansion of -1 in t
3.646 * [taylor]: Taking taylor expansion of 0 in y
3.646 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.646 * [taylor]: Taking taylor expansion of (* t a) in z
3.646 * [taylor]: Taking taylor expansion of t in z
3.646 * [taylor]: Taking taylor expansion of a in z
3.646 * [taylor]: Taking taylor expansion of 0 in t
3.646 * [taylor]: Taking taylor expansion of -1 in a
3.647 * [taylor]: Taking taylor expansion of 0 in y
3.647 * [taylor]: Taking taylor expansion of 0 in z
3.647 * [taylor]: Taking taylor expansion of 0 in z
3.647 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.647 * [taylor]: Taking taylor expansion of (* t a) in t
3.647 * [taylor]: Taking taylor expansion of t in t
3.647 * [taylor]: Taking taylor expansion of a in t
3.647 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.647 * [taylor]: Taking taylor expansion of a in a
3.647 * [taylor]: Taking taylor expansion of 0 in t
3.647 * [taylor]: Taking taylor expansion of 0 in a
3.647 * [taylor]: Taking taylor expansion of 0 in a
3.648 * [taylor]: Taking taylor expansion of 0 in y
3.648 * [taylor]: Taking taylor expansion of 0 in z
3.648 * [taylor]: Taking taylor expansion of 0 in z
3.648 * [taylor]: Taking taylor expansion of 0 in z
3.648 * [taylor]: Taking taylor expansion of 0 in t
3.648 * [taylor]: Taking taylor expansion of 0 in t
3.648 * [taylor]: Taking taylor expansion of 0 in t
3.648 * [taylor]: Taking taylor expansion of 0 in t
3.649 * [taylor]: Taking taylor expansion of 0 in a
3.649 * [taylor]: Taking taylor expansion of 0 in a
3.649 * [taylor]: Taking taylor expansion of 0 in a
3.649 * [taylor]: Taking taylor expansion of 0 in a
3.649 * [taylor]: Taking taylor expansion of 0 in y
3.649 * [taylor]: Taking taylor expansion of 0 in z
3.649 * [taylor]: Taking taylor expansion of 0 in z
3.649 * [taylor]: Taking taylor expansion of 0 in z
3.650 * [taylor]: Taking taylor expansion of 0 in z
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in a
3.650 * [taylor]: Taking taylor expansion of 0 in a
3.650 * [taylor]: Taking taylor expansion of 0 in a
3.650 * [taylor]: Taking taylor expansion of 0 in a
3.650 * [taylor]: Taking taylor expansion of 0 in a
3.650 * [taylor]: Taking taylor expansion of 0 in a
3.650 * [taylor]: Taking taylor expansion of 0 in a
3.651 * [taylor]: Taking taylor expansion of 0 in a
3.651 * * * [progress]: simplifying candidates
3.652 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* i (* j (neg y)))
  (* i (* j (neg y)))
  (+ (log i) (+ (log j) (log (neg y))))
  (+ (log i) (log (* j (neg y))))
  (log (* i (* j (neg y))))
  (exp (* i (* j (neg y))))
  (* (* (* i i) i) (* (* (* j j) j) (* (* (neg y) (neg y)) (neg y))))
  (* (* (* i i) i) (* (* (* j (neg y)) (* j (neg y))) (* j (neg y))))
  (* (cbrt (* i (* j (neg y)))) (cbrt (* i (* j (neg y)))))
  (cbrt (* i (* j (neg y))))
  (* (* (* i (* j (neg y))) (* i (* j (neg y)))) (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (* i (* j y))
  (* i j)
  (* (cbrt i) (* j (neg y)))
  (* (sqrt i) (* j (neg y)))
  (* i (* j (neg y)))
  (* c (* j a))
  (* c (* j a))
  (+ (log c) (+ (log j) (log a)))
  (+ (log c) (log (* j a)))
  (log (* c (* j a)))
  (exp (* c (* j a)))
  (* (* (* c c) c) (* (* (* j j) j) (* (* a a) a)))
  (* (* (* c c) c) (* (* (* j a) (* j a)) (* j a)))
  (* (cbrt (* c (* j a))) (cbrt (* c (* j a))))
  (cbrt (* c (* j a)))
  (* (* (* c (* j a)) (* c (* j a))) (* c (* j a)))
  (sqrt (* c (* j a)))
  (sqrt (* c (* j a)))
  (* c j)
  (* (cbrt c) (* j a))
  (* (sqrt c) (* j a))
  (* c (* j a))
  (* b (* c z))
  (* b (* c z))
  (+ (log b) (+ (log c) (log z)))
  (+ (log b) (log (* c z)))
  (log (* b (* c z)))
  (exp (* b (* c z)))
  (* (* (* b b) b) (* (* (* c c) c) (* (* z z) z)))
  (* (* (* b b) b) (* (* (* c z) (* c z)) (* c z)))
  (* (cbrt (* b (* c z))) (cbrt (* b (* c z))))
  (cbrt (* b (* c z)))
  (* (* (* b (* c z)) (* b (* c z))) (* b (* c z)))
  (sqrt (* b (* c z)))
  (sqrt (* b (* c z)))
  (* b c)
  (* (cbrt b) (* c z))
  (* (sqrt b) (* c z))
  (* b (* c z))
  (* 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)))
  (* (* 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))))
  0
  (* -1 (* i (* y j)))
  (* -1 (* i (* y j)))
  0
  (* a (* j c))
  (* a (* j c))
  0
  (* z (* b c))
  (* z (* b c))
  0
  (- (* x (* z y)) (* a (* x t)))
  (- (* x (* z y)) (* a (* x t)))
3.689 * * [simplify]: iteration  0 :  4928  enodes  (cost  639 )
3.690 * * [simplify]: iteration  1 :  4928  enodes  (cost  639 )
3.693 * [simplify]: Simplified to:
   (* i (* j (neg y)))
  (* i (* j (neg y)))
  (log (* i (* j (neg y))))
  (log (* i (* j (neg y))))
  (log (* i (* j (neg y))))
  (pow (exp i) (* j (neg y)))
  (pow (* i (* j (neg y))) 3)
  (pow (* i (* j (neg y))) 3)
  (* (cbrt (* i (* j (neg y)))) (cbrt (* i (* j (neg y)))))
  (cbrt (* i (* j (neg y))))
  (pow (* i (* j (neg y))) 3)
  (sqrt (* i (* j (neg y))))
  (sqrt (* i (* j (neg y))))
  (* i (* j y))
  (* i j)
  (* j (* (neg y) (cbrt i)))
  (* j (* (neg y) (sqrt i)))
  (* i (* j (neg y)))
  (* j (* c a))
  (* j (* c a))
  (log (* j (* c a)))
  (log (* j (* c a)))
  (log (* j (* c a)))
  (pow (exp c) (* j a))
  (pow (* j (* c a)) 3)
  (pow (* j (* c a)) 3)
  (* (cbrt (* j (* c a))) (cbrt (* j (* c a))))
  (cbrt (* j (* c a)))
  (pow (* j (* c a)) 3)
  (sqrt (* j (* c a)))
  (sqrt (* j (* c a)))
  (* j c)
  (* j (* a (cbrt c)))
  (* j (* a (sqrt c)))
  (* j (* c a))
  (* c (* b z))
  (* c (* b z))
  (log (* c (* b z)))
  (log (* c (* b z)))
  (log (* c (* b z)))
  (pow (exp c) (* b z))
  (pow (* c (* b z)) 3)
  (pow (* c (* b z)) 3)
  (* (cbrt (* c (* b z))) (cbrt (* c (* b z))))
  (cbrt (* c (* b z)))
  (pow (* c (* b z)) 3)
  (sqrt (* c (* b z)))
  (sqrt (* c (* b z)))
  (* c b)
  (* c (* z (cbrt b)))
  (* c (* z (sqrt b)))
  (* c (* b z))
  (* x (- (* y z) (* a t)))
  (log (* x (- (* y z) (* a t))))
  (log (* x (- (* y z) (* a t))))
  (pow (exp x) (- (* y z) (* a t)))
  (pow (* x (- (* y z) (* a t))) 3)
  (* (cbrt (* x (- (* y z) (* a t)))) (cbrt (* x (- (* y z) (* a t)))))
  (cbrt (* x (- (* y z) (* a t))))
  (pow (* x (- (* y z) (* a t))) 3)
  (sqrt (* x (- (* y z) (* a t))))
  (sqrt (* x (- (* y z) (* a t))))
  (* (sqrt x) (sqrt (- (* y z) (* a t))))
  (* (sqrt x) (sqrt (- (* y z) (* a t))))
  (* y (* z x))
  (* a (* x (neg t)))
  (* y (* z x))
  (* a (* x (neg t)))
  (* x (* (cbrt (- (* y z) (* a t))) (cbrt (- (* y z) (* a t)))))
  (* x (sqrt (- (* y z) (* a t))))
  x
  (* (- (* y z) (* a t)) (cbrt x))
  (* (- (* y z) (* a t)) (sqrt x))
  (* x (- (* y z) (* a t)))
  (* x (- (pow (* y z) 3) (pow (* a t) 3)))
  (* x (- (* y (* z (* y z))) (* a (* a (* t t)))))
  0
  (* i (* j (neg y)))
  (* i (* j (neg y)))
  0
  (* j (* c a))
  (* j (* c a))
  0
  (* c (* b z))
  (* c (* b z))
  0
  (* x (- (* y z) (* a t)))
  (* x (- (* y z) (* a t)))
3.693 * * * [progress]: adding candidates to table
3.784 * [progress]: [Phase 3 of 3] Extracting.
3.784 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* (* b c) z) (* i (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
3.801 * * * [regime-changes]: Trying 9 branch expressions: (j i c b a t z y x)
3.801 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
3.978 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
4.159 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
4.336 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
4.520 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
4.703 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
4.933 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
5.121 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
5.302 * * * * [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 (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
5.483 * * * [regime]: Found split indices: #<option (#s(si 6 55) #s(si 8 208) #s(si 6 255))>
5.484 * [binary-search]: Improving bounds with binary search for j and (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* (* b c) z) (* i (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
5.561 * [regimes]: Found splitpoints: (#s(sp 6 j -1.823492765131761e+24) #s(sp 8 j 1.0557116831530113e+19) #s(sp 6 j +nan.0)) , with alts (#<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* (* b c) z) (* i (* b (neg t))))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y))))) (cbrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* (sqrt b) (* (- (* c z) (* t i)) (sqrt b)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* (* j (sqrt (- (* c a) (* i y)))) (sqrt (- (* c a) (* y i))))))> #<alt (λ (x y z t a b c i j) (+ (- (/ (* x (- (pow (* z y) 3) (pow (* t a) 3))) (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (* (* (cbrt (- (* c a) (* i y))) (cbrt (- (* c a) (* i y)))) (cbrt (- (* c a) (* i y)))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<alt (λ (x y z t a b c i j) (+ (- (cbrt (pow (* x (- (* z y) (* t a))) 3)) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* (* x (sqrt (- (* z y) (* t a)))) (sqrt (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))> #<alt (λ (x y z t a b c i j) (+ (- (* x (- (* y z) (* t a))) 0) (* j (- (* c a) (* y i)))))>)
5.562 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= j -1.823492765131761e+24) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (if (<= j 1.0557116831530113e+19) (+ (- (* x (- (* y z) (* t a))) (+ (* c (* b z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))) (+ (- (+ (* z (* y x)) (* t (* a (neg x)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))))
5.582 * * [simplify]: iteration  0 :  1009  enodes  (cost  73 )
5.582 * * [simplify]: iteration  1 :  1009  enodes  (cost  73 )
5.583 * [simplify]: Simplified to:
   (if (or (<= j -1.823492765131761e+24) (not (<= j 1.0557116831530113e+19))) (+ (+ (- (* z (* y x)) (* t (* x a))) (* b (- (* t i) (* z c)))) (* j (- (* a c) (* y i)))) (+ (+ (* x (- (* z y) (* t a))) (- (* t (* b i)) (* c (* z b)))) (- (* c (* j a)) (* i (* j y)))))
10.756 * [regime-testing]: End program error score: 9.03890726123186
11.039 * [regime-testing]: Target error score: 20.380582724996085