13.911 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.138 * * * [progress]: [2/2] Setting up program.
2.144 * [progress]: [Phase 2 of 3] Improving.
2.144 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
2.439 * * [simplify]: iteration  0 :  4955  enodes  (cost  29 )
2.440 * * [simplify]: iteration  1 :  4955  enodes  (cost  29 )
2.440 * [simplify]: Simplified to:
   (+ (* x (- (* y z) (* t a))) (+ (* j (- (* a c) (* y i))) (* b (- (* t i) (* z c)))))
2.447 * * [progress]: iteration 1 / 4
2.447 * * * [progress]: picking best candidate
2.452 * * * * [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.452 * * * [progress]: localizing error
2.472 * * * [progress]: generating rewritten candidates
2.472 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.479 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.484 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.490 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.496 * * * [progress]: generating series expansions
2.496 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.496 * [approximate]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in (b c z t i) around 0
2.496 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
2.496 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in i
2.496 * [taylor]: Taking taylor expansion of (* z c) in i
2.496 * [taylor]: Taking taylor expansion of z in i
2.496 * [taylor]: Taking taylor expansion of c in i
2.496 * [taylor]: Taking taylor expansion of (* t i) in i
2.496 * [taylor]: Taking taylor expansion of t in i
2.496 * [taylor]: Taking taylor expansion of i in i
2.496 * [taylor]: Taking taylor expansion of b in i
2.496 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
2.496 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in t
2.496 * [taylor]: Taking taylor expansion of (* z c) in t
2.496 * [taylor]: Taking taylor expansion of z in t
2.496 * [taylor]: Taking taylor expansion of c in t
2.496 * [taylor]: Taking taylor expansion of (* t i) in t
2.496 * [taylor]: Taking taylor expansion of t in t
2.496 * [taylor]: Taking taylor expansion of i in t
2.496 * [taylor]: Taking taylor expansion of b in t
2.496 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in z
2.496 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in z
2.496 * [taylor]: Taking taylor expansion of (* z c) in z
2.496 * [taylor]: Taking taylor expansion of z in z
2.496 * [taylor]: Taking taylor expansion of c in z
2.496 * [taylor]: Taking taylor expansion of (* t i) in z
2.496 * [taylor]: Taking taylor expansion of t in z
2.496 * [taylor]: Taking taylor expansion of i in z
2.496 * [taylor]: Taking taylor expansion of b in z
2.496 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in c
2.496 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.496 * [taylor]: Taking taylor expansion of (* z c) in c
2.496 * [taylor]: Taking taylor expansion of z in c
2.496 * [taylor]: Taking taylor expansion of c in c
2.496 * [taylor]: Taking taylor expansion of (* t i) in c
2.496 * [taylor]: Taking taylor expansion of t in c
2.496 * [taylor]: Taking taylor expansion of i in c
2.496 * [taylor]: Taking taylor expansion of b in c
2.497 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.497 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.497 * [taylor]: Taking taylor expansion of (* z c) in b
2.497 * [taylor]: Taking taylor expansion of z in b
2.497 * [taylor]: Taking taylor expansion of c in b
2.497 * [taylor]: Taking taylor expansion of (* t i) in b
2.497 * [taylor]: Taking taylor expansion of t in b
2.497 * [taylor]: Taking taylor expansion of i in b
2.497 * [taylor]: Taking taylor expansion of b in b
2.497 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.497 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.497 * [taylor]: Taking taylor expansion of (* z c) in b
2.497 * [taylor]: Taking taylor expansion of z in b
2.497 * [taylor]: Taking taylor expansion of c in b
2.497 * [taylor]: Taking taylor expansion of (* t i) in b
2.497 * [taylor]: Taking taylor expansion of t in b
2.497 * [taylor]: Taking taylor expansion of i in b
2.497 * [taylor]: Taking taylor expansion of b in b
2.497 * [taylor]: Taking taylor expansion of 0 in c
2.497 * [taylor]: Taking taylor expansion of 0 in z
2.497 * [taylor]: Taking taylor expansion of 0 in t
2.497 * [taylor]: Taking taylor expansion of 0 in i
2.497 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.497 * [taylor]: Taking taylor expansion of (* z c) in c
2.497 * [taylor]: Taking taylor expansion of z in c
2.497 * [taylor]: Taking taylor expansion of c in c
2.497 * [taylor]: Taking taylor expansion of (* t i) in c
2.497 * [taylor]: Taking taylor expansion of t in c
2.497 * [taylor]: Taking taylor expansion of i in c
2.497 * [taylor]: Taking taylor expansion of (neg (* t i)) in z
2.497 * [taylor]: Taking taylor expansion of (* t i) in z
2.497 * [taylor]: Taking taylor expansion of t in z
2.497 * [taylor]: Taking taylor expansion of i in z
2.498 * [taylor]: Taking taylor expansion of (neg (* t i)) in t
2.498 * [taylor]: Taking taylor expansion of (* t i) in t
2.498 * [taylor]: Taking taylor expansion of t in t
2.498 * [taylor]: Taking taylor expansion of i in t
2.498 * [taylor]: Taking taylor expansion of 0 in i
2.498 * [taylor]: Taking taylor expansion of 0 in z
2.498 * [taylor]: Taking taylor expansion of 0 in t
2.498 * [taylor]: Taking taylor expansion of 0 in i
2.498 * [taylor]: Taking taylor expansion of 0 in t
2.498 * [taylor]: Taking taylor expansion of 0 in i
2.498 * [taylor]: Taking taylor expansion of 0 in i
2.498 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in (b c z t i) around 0
2.498 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
2.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
2.498 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
2.498 * [taylor]: Taking taylor expansion of (* z c) in i
2.498 * [taylor]: Taking taylor expansion of z in i
2.498 * [taylor]: Taking taylor expansion of c in i
2.498 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
2.498 * [taylor]: Taking taylor expansion of (* t i) in i
2.498 * [taylor]: Taking taylor expansion of t in i
2.498 * [taylor]: Taking taylor expansion of i in i
2.498 * [taylor]: Taking taylor expansion of b in i
2.498 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
2.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
2.498 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
2.498 * [taylor]: Taking taylor expansion of (* z c) in t
2.498 * [taylor]: Taking taylor expansion of z in t
2.498 * [taylor]: Taking taylor expansion of c in t
2.498 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.498 * [taylor]: Taking taylor expansion of (* t i) in t
2.498 * [taylor]: Taking taylor expansion of t in t
2.499 * [taylor]: Taking taylor expansion of i in t
2.499 * [taylor]: Taking taylor expansion of b in t
2.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
2.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
2.499 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
2.499 * [taylor]: Taking taylor expansion of (* z c) in z
2.499 * [taylor]: Taking taylor expansion of z in z
2.499 * [taylor]: Taking taylor expansion of c in z
2.499 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.499 * [taylor]: Taking taylor expansion of (* t i) in z
2.499 * [taylor]: Taking taylor expansion of t in z
2.499 * [taylor]: Taking taylor expansion of i in z
2.499 * [taylor]: Taking taylor expansion of b in z
2.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
2.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.499 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.499 * [taylor]: Taking taylor expansion of (* z c) in c
2.499 * [taylor]: Taking taylor expansion of z in c
2.499 * [taylor]: Taking taylor expansion of c in c
2.499 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.499 * [taylor]: Taking taylor expansion of (* t i) in c
2.499 * [taylor]: Taking taylor expansion of t in c
2.499 * [taylor]: Taking taylor expansion of i in c
2.499 * [taylor]: Taking taylor expansion of b in c
2.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.499 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.499 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.499 * [taylor]: Taking taylor expansion of (* z c) in b
2.499 * [taylor]: Taking taylor expansion of z in b
2.499 * [taylor]: Taking taylor expansion of c in b
2.499 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.499 * [taylor]: Taking taylor expansion of (* t i) in b
2.499 * [taylor]: Taking taylor expansion of t in b
2.499 * [taylor]: Taking taylor expansion of i in b
2.500 * [taylor]: Taking taylor expansion of b in b
2.500 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.500 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.500 * [taylor]: Taking taylor expansion of (* z c) in b
2.500 * [taylor]: Taking taylor expansion of z in b
2.500 * [taylor]: Taking taylor expansion of c in b
2.500 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.500 * [taylor]: Taking taylor expansion of (* t i) in b
2.500 * [taylor]: Taking taylor expansion of t in b
2.500 * [taylor]: Taking taylor expansion of i in b
2.500 * [taylor]: Taking taylor expansion of b in b
2.500 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.500 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.500 * [taylor]: Taking taylor expansion of (* z c) in c
2.500 * [taylor]: Taking taylor expansion of z in c
2.500 * [taylor]: Taking taylor expansion of c in c
2.500 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.500 * [taylor]: Taking taylor expansion of (* t i) in c
2.500 * [taylor]: Taking taylor expansion of t in c
2.500 * [taylor]: Taking taylor expansion of i in c
2.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.500 * [taylor]: Taking taylor expansion of z in z
2.500 * [taylor]: Taking taylor expansion of 1 in t
2.501 * [taylor]: Taking taylor expansion of 0 in c
2.501 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in z
2.501 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.501 * [taylor]: Taking taylor expansion of (* t i) in z
2.501 * [taylor]: Taking taylor expansion of t in z
2.501 * [taylor]: Taking taylor expansion of i in z
2.501 * [taylor]: Taking taylor expansion of 0 in t
2.501 * [taylor]: Taking taylor expansion of 1 in i
2.504 * [taylor]: Taking taylor expansion of 0 in c
2.504 * [taylor]: Taking taylor expansion of 0 in z
2.504 * [taylor]: Taking taylor expansion of 0 in z
2.505 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in t
2.505 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.505 * [taylor]: Taking taylor expansion of (* t i) in t
2.505 * [taylor]: Taking taylor expansion of t in t
2.505 * [taylor]: Taking taylor expansion of i in t
2.505 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.505 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.505 * [taylor]: Taking taylor expansion of i in i
2.505 * [taylor]: Taking taylor expansion of 0 in t
2.505 * [taylor]: Taking taylor expansion of 0 in i
2.505 * [taylor]: Taking taylor expansion of 0 in i
2.505 * [taylor]: Taking taylor expansion of 0 in c
2.505 * [taylor]: Taking taylor expansion of 0 in z
2.505 * [taylor]: Taking taylor expansion of 0 in z
2.506 * [taylor]: Taking taylor expansion of 0 in z
2.506 * [taylor]: Taking taylor expansion of 0 in t
2.506 * [taylor]: Taking taylor expansion of 0 in t
2.506 * [taylor]: Taking taylor expansion of 0 in t
2.506 * [taylor]: Taking taylor expansion of 0 in t
2.506 * [taylor]: Taking taylor expansion of 0 in i
2.506 * [taylor]: Taking taylor expansion of 0 in i
2.506 * [taylor]: Taking taylor expansion of 0 in i
2.506 * [taylor]: Taking taylor expansion of 0 in i
2.507 * [taylor]: Taking taylor expansion of 0 in c
2.507 * [taylor]: Taking taylor expansion of 0 in z
2.507 * [taylor]: Taking taylor expansion of 0 in z
2.507 * [taylor]: Taking taylor expansion of 0 in z
2.507 * [taylor]: Taking taylor expansion of 0 in z
2.507 * [taylor]: Taking taylor expansion of 0 in t
2.507 * [taylor]: Taking taylor expansion of 0 in t
2.507 * [taylor]: Taking taylor expansion of 0 in t
2.507 * [taylor]: Taking taylor expansion of 0 in t
2.507 * [taylor]: Taking taylor expansion of 0 in t
2.508 * [taylor]: Taking taylor expansion of 0 in t
2.508 * [taylor]: Taking taylor expansion of 0 in t
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [taylor]: Taking taylor expansion of 0 in i
2.508 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in (b c z t i) around 0
2.509 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
2.509 * [taylor]: Taking taylor expansion of -1 in i
2.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
2.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
2.509 * [taylor]: Taking taylor expansion of (* z c) in i
2.509 * [taylor]: Taking taylor expansion of z in i
2.509 * [taylor]: Taking taylor expansion of c in i
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
2.509 * [taylor]: Taking taylor expansion of (* t i) in i
2.509 * [taylor]: Taking taylor expansion of t in i
2.509 * [taylor]: Taking taylor expansion of i in i
2.509 * [taylor]: Taking taylor expansion of b in i
2.509 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
2.509 * [taylor]: Taking taylor expansion of -1 in t
2.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
2.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
2.509 * [taylor]: Taking taylor expansion of (* z c) in t
2.509 * [taylor]: Taking taylor expansion of z in t
2.509 * [taylor]: Taking taylor expansion of c in t
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.509 * [taylor]: Taking taylor expansion of (* t i) in t
2.509 * [taylor]: Taking taylor expansion of t in t
2.509 * [taylor]: Taking taylor expansion of i in t
2.509 * [taylor]: Taking taylor expansion of b in t
2.509 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
2.509 * [taylor]: Taking taylor expansion of -1 in z
2.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
2.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
2.509 * [taylor]: Taking taylor expansion of (* z c) in z
2.509 * [taylor]: Taking taylor expansion of z in z
2.509 * [taylor]: Taking taylor expansion of c in z
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.509 * [taylor]: Taking taylor expansion of (* t i) in z
2.509 * [taylor]: Taking taylor expansion of t in z
2.509 * [taylor]: Taking taylor expansion of i in z
2.510 * [taylor]: Taking taylor expansion of b in z
2.510 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
2.510 * [taylor]: Taking taylor expansion of -1 in c
2.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
2.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.510 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.510 * [taylor]: Taking taylor expansion of (* z c) in c
2.510 * [taylor]: Taking taylor expansion of z in c
2.510 * [taylor]: Taking taylor expansion of c in c
2.510 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.510 * [taylor]: Taking taylor expansion of (* t i) in c
2.510 * [taylor]: Taking taylor expansion of t in c
2.510 * [taylor]: Taking taylor expansion of i in c
2.510 * [taylor]: Taking taylor expansion of b in c
2.510 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
2.510 * [taylor]: Taking taylor expansion of -1 in b
2.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.510 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.510 * [taylor]: Taking taylor expansion of (* z c) in b
2.510 * [taylor]: Taking taylor expansion of z in b
2.510 * [taylor]: Taking taylor expansion of c in b
2.510 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.510 * [taylor]: Taking taylor expansion of (* t i) in b
2.510 * [taylor]: Taking taylor expansion of t in b
2.510 * [taylor]: Taking taylor expansion of i in b
2.510 * [taylor]: Taking taylor expansion of b in b
2.510 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
2.510 * [taylor]: Taking taylor expansion of -1 in b
2.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.510 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.510 * [taylor]: Taking taylor expansion of (* z c) in b
2.510 * [taylor]: Taking taylor expansion of z in b
2.511 * [taylor]: Taking taylor expansion of c in b
2.511 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.511 * [taylor]: Taking taylor expansion of (* t i) in b
2.511 * [taylor]: Taking taylor expansion of t in b
2.511 * [taylor]: Taking taylor expansion of i in b
2.511 * [taylor]: Taking taylor expansion of b in b
2.511 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z c)) (/ 1 (* t i)))) in c
2.511 * [taylor]: Taking taylor expansion of -1 in c
2.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.511 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.511 * [taylor]: Taking taylor expansion of (* z c) in c
2.511 * [taylor]: Taking taylor expansion of z in c
2.511 * [taylor]: Taking taylor expansion of c in c
2.511 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.511 * [taylor]: Taking taylor expansion of (* t i) in c
2.511 * [taylor]: Taking taylor expansion of t in c
2.511 * [taylor]: Taking taylor expansion of i in c
2.511 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.511 * [taylor]: Taking taylor expansion of -1 in z
2.511 * [taylor]: Taking taylor expansion of z in z
2.511 * [taylor]: Taking taylor expansion of -1 in t
2.512 * [taylor]: Taking taylor expansion of 0 in c
2.512 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.512 * [taylor]: Taking taylor expansion of (* t i) in z
2.512 * [taylor]: Taking taylor expansion of t in z
2.512 * [taylor]: Taking taylor expansion of i in z
2.512 * [taylor]: Taking taylor expansion of 0 in t
2.512 * [taylor]: Taking taylor expansion of -1 in i
2.512 * [taylor]: Taking taylor expansion of 0 in c
2.512 * [taylor]: Taking taylor expansion of 0 in z
2.513 * [taylor]: Taking taylor expansion of 0 in z
2.513 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.513 * [taylor]: Taking taylor expansion of (* t i) in t
2.513 * [taylor]: Taking taylor expansion of t in t
2.513 * [taylor]: Taking taylor expansion of i in t
2.513 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.513 * [taylor]: Taking taylor expansion of i in i
2.513 * [taylor]: Taking taylor expansion of 0 in t
2.513 * [taylor]: Taking taylor expansion of 0 in i
2.513 * [taylor]: Taking taylor expansion of 0 in i
2.514 * [taylor]: Taking taylor expansion of 0 in c
2.514 * [taylor]: Taking taylor expansion of 0 in z
2.514 * [taylor]: Taking taylor expansion of 0 in z
2.514 * [taylor]: Taking taylor expansion of 0 in z
2.514 * [taylor]: Taking taylor expansion of 0 in t
2.514 * [taylor]: Taking taylor expansion of 0 in t
2.514 * [taylor]: Taking taylor expansion of 0 in t
2.514 * [taylor]: Taking taylor expansion of 0 in t
2.514 * [taylor]: Taking taylor expansion of 0 in i
2.514 * [taylor]: Taking taylor expansion of 0 in i
2.514 * [taylor]: Taking taylor expansion of 0 in i
2.515 * [taylor]: Taking taylor expansion of 0 in i
2.515 * [taylor]: Taking taylor expansion of 0 in c
2.515 * [taylor]: Taking taylor expansion of 0 in z
2.515 * [taylor]: Taking taylor expansion of 0 in z
2.515 * [taylor]: Taking taylor expansion of 0 in z
2.516 * [taylor]: Taking taylor expansion of 0 in z
2.516 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.516 * [taylor]: Taking taylor expansion of 0 in i
2.517 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.517 * [approximate]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in (j c a y i) around 0
2.517 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in i
2.517 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
2.517 * [taylor]: Taking taylor expansion of (* a c) in i
2.517 * [taylor]: Taking taylor expansion of a in i
2.517 * [taylor]: Taking taylor expansion of c in i
2.517 * [taylor]: Taking taylor expansion of (* i y) in i
2.517 * [taylor]: Taking taylor expansion of i in i
2.517 * [taylor]: Taking taylor expansion of y in i
2.517 * [taylor]: Taking taylor expansion of j in i
2.517 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in y
2.517 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
2.517 * [taylor]: Taking taylor expansion of (* a c) in y
2.517 * [taylor]: Taking taylor expansion of a in y
2.517 * [taylor]: Taking taylor expansion of c in y
2.517 * [taylor]: Taking taylor expansion of (* i y) in y
2.517 * [taylor]: Taking taylor expansion of i in y
2.517 * [taylor]: Taking taylor expansion of y in y
2.517 * [taylor]: Taking taylor expansion of j in y
2.517 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in a
2.517 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in a
2.517 * [taylor]: Taking taylor expansion of (* a c) in a
2.517 * [taylor]: Taking taylor expansion of a in a
2.517 * [taylor]: Taking taylor expansion of c in a
2.517 * [taylor]: Taking taylor expansion of (* i y) in a
2.517 * [taylor]: Taking taylor expansion of i in a
2.517 * [taylor]: Taking taylor expansion of y in a
2.517 * [taylor]: Taking taylor expansion of j in a
2.517 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in c
2.517 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.517 * [taylor]: Taking taylor expansion of (* a c) in c
2.517 * [taylor]: Taking taylor expansion of a in c
2.517 * [taylor]: Taking taylor expansion of c in c
2.517 * [taylor]: Taking taylor expansion of (* i y) in c
2.517 * [taylor]: Taking taylor expansion of i in c
2.517 * [taylor]: Taking taylor expansion of y in c
2.518 * [taylor]: Taking taylor expansion of j in c
2.518 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in j
2.518 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in j
2.518 * [taylor]: Taking taylor expansion of (* a c) in j
2.518 * [taylor]: Taking taylor expansion of a in j
2.518 * [taylor]: Taking taylor expansion of c in j
2.518 * [taylor]: Taking taylor expansion of (* i y) in j
2.518 * [taylor]: Taking taylor expansion of i in j
2.518 * [taylor]: Taking taylor expansion of y in j
2.518 * [taylor]: Taking taylor expansion of j in j
2.518 * [taylor]: Taking taylor expansion of (* (- (* a c) (* i y)) j) in j
2.518 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in j
2.518 * [taylor]: Taking taylor expansion of (* a c) in j
2.518 * [taylor]: Taking taylor expansion of a in j
2.518 * [taylor]: Taking taylor expansion of c in j
2.518 * [taylor]: Taking taylor expansion of (* i y) in j
2.518 * [taylor]: Taking taylor expansion of i in j
2.518 * [taylor]: Taking taylor expansion of y in j
2.518 * [taylor]: Taking taylor expansion of j in j
2.518 * [taylor]: Taking taylor expansion of 0 in c
2.518 * [taylor]: Taking taylor expansion of 0 in a
2.518 * [taylor]: Taking taylor expansion of 0 in y
2.518 * [taylor]: Taking taylor expansion of 0 in i
2.518 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.518 * [taylor]: Taking taylor expansion of (* a c) in c
2.518 * [taylor]: Taking taylor expansion of a in c
2.518 * [taylor]: Taking taylor expansion of c in c
2.518 * [taylor]: Taking taylor expansion of (* i y) in c
2.518 * [taylor]: Taking taylor expansion of i in c
2.518 * [taylor]: Taking taylor expansion of y in c
2.518 * [taylor]: Taking taylor expansion of (neg (* i y)) in a
2.518 * [taylor]: Taking taylor expansion of (* i y) in a
2.518 * [taylor]: Taking taylor expansion of i in a
2.518 * [taylor]: Taking taylor expansion of y in a
2.518 * [taylor]: Taking taylor expansion of (neg (* i y)) in y
2.518 * [taylor]: Taking taylor expansion of (* i y) in y
2.519 * [taylor]: Taking taylor expansion of i in y
2.519 * [taylor]: Taking taylor expansion of y in y
2.519 * [taylor]: Taking taylor expansion of 0 in i
2.519 * [taylor]: Taking taylor expansion of 0 in a
2.519 * [taylor]: Taking taylor expansion of 0 in y
2.519 * [taylor]: Taking taylor expansion of 0 in i
2.519 * [taylor]: Taking taylor expansion of 0 in y
2.519 * [taylor]: Taking taylor expansion of 0 in i
2.519 * [taylor]: Taking taylor expansion of 0 in i
2.519 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in (j c a y i) around 0
2.519 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
2.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.519 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.519 * [taylor]: Taking taylor expansion of (* a c) in i
2.519 * [taylor]: Taking taylor expansion of a in i
2.519 * [taylor]: Taking taylor expansion of c in i
2.519 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.519 * [taylor]: Taking taylor expansion of (* i y) in i
2.519 * [taylor]: Taking taylor expansion of i in i
2.519 * [taylor]: Taking taylor expansion of y in i
2.519 * [taylor]: Taking taylor expansion of j in i
2.519 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
2.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.519 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.519 * [taylor]: Taking taylor expansion of (* a c) in y
2.519 * [taylor]: Taking taylor expansion of a in y
2.519 * [taylor]: Taking taylor expansion of c in y
2.519 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.519 * [taylor]: Taking taylor expansion of (* i y) in y
2.519 * [taylor]: Taking taylor expansion of i in y
2.519 * [taylor]: Taking taylor expansion of y in y
2.519 * [taylor]: Taking taylor expansion of j in y
2.520 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
2.520 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.520 * [taylor]: Taking taylor expansion of (* a c) in a
2.520 * [taylor]: Taking taylor expansion of a in a
2.520 * [taylor]: Taking taylor expansion of c in a
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.520 * [taylor]: Taking taylor expansion of (* i y) in a
2.520 * [taylor]: Taking taylor expansion of i in a
2.520 * [taylor]: Taking taylor expansion of y in a
2.520 * [taylor]: Taking taylor expansion of j in a
2.520 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
2.520 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.520 * [taylor]: Taking taylor expansion of (* a c) in c
2.520 * [taylor]: Taking taylor expansion of a in c
2.520 * [taylor]: Taking taylor expansion of c in c
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.520 * [taylor]: Taking taylor expansion of (* i y) in c
2.520 * [taylor]: Taking taylor expansion of i in c
2.520 * [taylor]: Taking taylor expansion of y in c
2.520 * [taylor]: Taking taylor expansion of j in c
2.520 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.520 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.520 * [taylor]: Taking taylor expansion of (* a c) in j
2.520 * [taylor]: Taking taylor expansion of a in j
2.520 * [taylor]: Taking taylor expansion of c in j
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.520 * [taylor]: Taking taylor expansion of (* i y) in j
2.520 * [taylor]: Taking taylor expansion of i in j
2.520 * [taylor]: Taking taylor expansion of y in j
2.520 * [taylor]: Taking taylor expansion of j in j
2.521 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.521 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.521 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.521 * [taylor]: Taking taylor expansion of (* a c) in j
2.521 * [taylor]: Taking taylor expansion of a in j
2.521 * [taylor]: Taking taylor expansion of c in j
2.521 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.521 * [taylor]: Taking taylor expansion of (* i y) in j
2.521 * [taylor]: Taking taylor expansion of i in j
2.521 * [taylor]: Taking taylor expansion of y in j
2.521 * [taylor]: Taking taylor expansion of j in j
2.521 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.521 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.521 * [taylor]: Taking taylor expansion of (* a c) in c
2.521 * [taylor]: Taking taylor expansion of a in c
2.521 * [taylor]: Taking taylor expansion of c in c
2.521 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.521 * [taylor]: Taking taylor expansion of (* i y) in c
2.521 * [taylor]: Taking taylor expansion of i in c
2.521 * [taylor]: Taking taylor expansion of y in c
2.521 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.521 * [taylor]: Taking taylor expansion of a in a
2.521 * [taylor]: Taking taylor expansion of 1 in y
2.522 * [taylor]: Taking taylor expansion of 0 in c
2.522 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in a
2.522 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.522 * [taylor]: Taking taylor expansion of (* i y) in a
2.522 * [taylor]: Taking taylor expansion of i in a
2.522 * [taylor]: Taking taylor expansion of y in a
2.522 * [taylor]: Taking taylor expansion of 0 in y
2.522 * [taylor]: Taking taylor expansion of 1 in i
2.522 * [taylor]: Taking taylor expansion of 0 in c
2.522 * [taylor]: Taking taylor expansion of 0 in a
2.523 * [taylor]: Taking taylor expansion of 0 in a
2.523 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in y
2.523 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.523 * [taylor]: Taking taylor expansion of (* i y) in y
2.523 * [taylor]: Taking taylor expansion of i in y
2.523 * [taylor]: Taking taylor expansion of y in y
2.523 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.523 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.523 * [taylor]: Taking taylor expansion of i in i
2.523 * [taylor]: Taking taylor expansion of 0 in y
2.523 * [taylor]: Taking taylor expansion of 0 in i
2.523 * [taylor]: Taking taylor expansion of 0 in i
2.523 * [taylor]: Taking taylor expansion of 0 in c
2.523 * [taylor]: Taking taylor expansion of 0 in a
2.524 * [taylor]: Taking taylor expansion of 0 in a
2.524 * [taylor]: Taking taylor expansion of 0 in a
2.524 * [taylor]: Taking taylor expansion of 0 in y
2.524 * [taylor]: Taking taylor expansion of 0 in y
2.524 * [taylor]: Taking taylor expansion of 0 in y
2.524 * [taylor]: Taking taylor expansion of 0 in y
2.524 * [taylor]: Taking taylor expansion of 0 in i
2.524 * [taylor]: Taking taylor expansion of 0 in i
2.524 * [taylor]: Taking taylor expansion of 0 in i
2.524 * [taylor]: Taking taylor expansion of 0 in i
2.525 * [taylor]: Taking taylor expansion of 0 in c
2.525 * [taylor]: Taking taylor expansion of 0 in a
2.525 * [taylor]: Taking taylor expansion of 0 in a
2.525 * [taylor]: Taking taylor expansion of 0 in a
2.525 * [taylor]: Taking taylor expansion of 0 in a
2.525 * [taylor]: Taking taylor expansion of 0 in y
2.525 * [taylor]: Taking taylor expansion of 0 in y
2.525 * [taylor]: Taking taylor expansion of 0 in y
2.525 * [taylor]: Taking taylor expansion of 0 in y
2.525 * [taylor]: Taking taylor expansion of 0 in y
2.526 * [taylor]: Taking taylor expansion of 0 in y
2.526 * [taylor]: Taking taylor expansion of 0 in y
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [taylor]: Taking taylor expansion of 0 in i
2.526 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in (j c a y i) around 0
2.527 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in i
2.527 * [taylor]: Taking taylor expansion of -1 in i
2.527 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in i
2.527 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.527 * [taylor]: Taking taylor expansion of (* a c) in i
2.527 * [taylor]: Taking taylor expansion of a in i
2.527 * [taylor]: Taking taylor expansion of c in i
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.527 * [taylor]: Taking taylor expansion of (* i y) in i
2.527 * [taylor]: Taking taylor expansion of i in i
2.527 * [taylor]: Taking taylor expansion of y in i
2.527 * [taylor]: Taking taylor expansion of j in i
2.527 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in y
2.527 * [taylor]: Taking taylor expansion of -1 in y
2.527 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in y
2.527 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.527 * [taylor]: Taking taylor expansion of (* a c) in y
2.527 * [taylor]: Taking taylor expansion of a in y
2.527 * [taylor]: Taking taylor expansion of c in y
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.527 * [taylor]: Taking taylor expansion of (* i y) in y
2.527 * [taylor]: Taking taylor expansion of i in y
2.527 * [taylor]: Taking taylor expansion of y in y
2.527 * [taylor]: Taking taylor expansion of j in y
2.527 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in a
2.527 * [taylor]: Taking taylor expansion of -1 in a
2.527 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in a
2.527 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.527 * [taylor]: Taking taylor expansion of (* a c) in a
2.527 * [taylor]: Taking taylor expansion of a in a
2.527 * [taylor]: Taking taylor expansion of c in a
2.527 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.527 * [taylor]: Taking taylor expansion of (* i y) in a
2.527 * [taylor]: Taking taylor expansion of i in a
2.528 * [taylor]: Taking taylor expansion of y in a
2.528 * [taylor]: Taking taylor expansion of j in a
2.528 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in c
2.528 * [taylor]: Taking taylor expansion of -1 in c
2.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in c
2.528 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.528 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.528 * [taylor]: Taking taylor expansion of (* a c) in c
2.528 * [taylor]: Taking taylor expansion of a in c
2.528 * [taylor]: Taking taylor expansion of c in c
2.528 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.528 * [taylor]: Taking taylor expansion of (* i y) in c
2.528 * [taylor]: Taking taylor expansion of i in c
2.528 * [taylor]: Taking taylor expansion of y in c
2.528 * [taylor]: Taking taylor expansion of j in c
2.528 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in j
2.528 * [taylor]: Taking taylor expansion of -1 in j
2.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.528 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.528 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.528 * [taylor]: Taking taylor expansion of (* a c) in j
2.528 * [taylor]: Taking taylor expansion of a in j
2.528 * [taylor]: Taking taylor expansion of c in j
2.528 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.528 * [taylor]: Taking taylor expansion of (* i y) in j
2.528 * [taylor]: Taking taylor expansion of i in j
2.528 * [taylor]: Taking taylor expansion of y in j
2.528 * [taylor]: Taking taylor expansion of j in j
2.528 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j)) in j
2.528 * [taylor]: Taking taylor expansion of -1 in j
2.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* a c)) (/ 1 (* i y))) j) in j
2.528 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in j
2.528 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in j
2.528 * [taylor]: Taking taylor expansion of (* a c) in j
2.528 * [taylor]: Taking taylor expansion of a in j
2.529 * [taylor]: Taking taylor expansion of c in j
2.529 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j
2.529 * [taylor]: Taking taylor expansion of (* i y) in j
2.529 * [taylor]: Taking taylor expansion of i in j
2.529 * [taylor]: Taking taylor expansion of y in j
2.529 * [taylor]: Taking taylor expansion of j in j
2.529 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* a c)) (/ 1 (* i y)))) in c
2.529 * [taylor]: Taking taylor expansion of -1 in c
2.529 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.529 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.529 * [taylor]: Taking taylor expansion of (* a c) in c
2.529 * [taylor]: Taking taylor expansion of a in c
2.529 * [taylor]: Taking taylor expansion of c in c
2.529 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.529 * [taylor]: Taking taylor expansion of (* i y) in c
2.529 * [taylor]: Taking taylor expansion of i in c
2.529 * [taylor]: Taking taylor expansion of y in c
2.529 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.529 * [taylor]: Taking taylor expansion of -1 in a
2.529 * [taylor]: Taking taylor expansion of a in a
2.529 * [taylor]: Taking taylor expansion of -1 in y
2.530 * [taylor]: Taking taylor expansion of 0 in c
2.530 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.530 * [taylor]: Taking taylor expansion of (* i y) in a
2.530 * [taylor]: Taking taylor expansion of i in a
2.530 * [taylor]: Taking taylor expansion of y in a
2.530 * [taylor]: Taking taylor expansion of 0 in y
2.530 * [taylor]: Taking taylor expansion of -1 in i
2.530 * [taylor]: Taking taylor expansion of 0 in c
2.531 * [taylor]: Taking taylor expansion of 0 in a
2.531 * [taylor]: Taking taylor expansion of 0 in a
2.531 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.531 * [taylor]: Taking taylor expansion of (* i y) in y
2.531 * [taylor]: Taking taylor expansion of i in y
2.531 * [taylor]: Taking taylor expansion of y in y
2.531 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.531 * [taylor]: Taking taylor expansion of i in i
2.531 * [taylor]: Taking taylor expansion of 0 in y
2.531 * [taylor]: Taking taylor expansion of 0 in i
2.531 * [taylor]: Taking taylor expansion of 0 in i
2.532 * [taylor]: Taking taylor expansion of 0 in c
2.532 * [taylor]: Taking taylor expansion of 0 in a
2.532 * [taylor]: Taking taylor expansion of 0 in a
2.532 * [taylor]: Taking taylor expansion of 0 in a
2.532 * [taylor]: Taking taylor expansion of 0 in y
2.532 * [taylor]: Taking taylor expansion of 0 in y
2.532 * [taylor]: Taking taylor expansion of 0 in y
2.532 * [taylor]: Taking taylor expansion of 0 in y
2.532 * [taylor]: Taking taylor expansion of 0 in i
2.532 * [taylor]: Taking taylor expansion of 0 in i
2.533 * [taylor]: Taking taylor expansion of 0 in i
2.533 * [taylor]: Taking taylor expansion of 0 in i
2.533 * [taylor]: Taking taylor expansion of 0 in c
2.533 * [taylor]: Taking taylor expansion of 0 in a
2.533 * [taylor]: Taking taylor expansion of 0 in a
2.533 * [taylor]: Taking taylor expansion of 0 in a
2.534 * [taylor]: Taking taylor expansion of 0 in a
2.534 * [taylor]: Taking taylor expansion of 0 in y
2.534 * [taylor]: Taking taylor expansion of 0 in y
2.534 * [taylor]: Taking taylor expansion of 0 in y
2.534 * [taylor]: Taking taylor expansion of 0 in y
2.534 * [taylor]: Taking taylor expansion of 0 in y
2.534 * [taylor]: Taking taylor expansion of 0 in y
2.534 * [taylor]: Taking taylor expansion of 0 in y
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.534 * [taylor]: Taking taylor expansion of 0 in i
2.535 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.535 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0
2.535 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.535 * [taylor]: Taking taylor expansion of x in a
2.535 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
2.535 * [taylor]: Taking taylor expansion of (* z y) in a
2.535 * [taylor]: Taking taylor expansion of z in a
2.535 * [taylor]: Taking taylor expansion of y in a
2.535 * [taylor]: Taking taylor expansion of (* t a) in a
2.535 * [taylor]: Taking taylor expansion of t in a
2.535 * [taylor]: Taking taylor expansion of a in a
2.535 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
2.535 * [taylor]: Taking taylor expansion of x in t
2.535 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
2.535 * [taylor]: Taking taylor expansion of (* z y) in t
2.535 * [taylor]: Taking taylor expansion of z in t
2.535 * [taylor]: Taking taylor expansion of y in t
2.535 * [taylor]: Taking taylor expansion of (* t a) in t
2.535 * [taylor]: Taking taylor expansion of t in t
2.535 * [taylor]: Taking taylor expansion of a in t
2.535 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
2.535 * [taylor]: Taking taylor expansion of x in z
2.535 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
2.535 * [taylor]: Taking taylor expansion of (* z y) in z
2.535 * [taylor]: Taking taylor expansion of z in z
2.535 * [taylor]: Taking taylor expansion of y in z
2.535 * [taylor]: Taking taylor expansion of (* t a) in z
2.535 * [taylor]: Taking taylor expansion of t in z
2.535 * [taylor]: Taking taylor expansion of a in z
2.535 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
2.535 * [taylor]: Taking taylor expansion of x in y
2.535 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
2.535 * [taylor]: Taking taylor expansion of (* z y) in y
2.535 * [taylor]: Taking taylor expansion of z in y
2.535 * [taylor]: Taking taylor expansion of y in y
2.535 * [taylor]: Taking taylor expansion of (* t a) in y
2.535 * [taylor]: Taking taylor expansion of t in y
2.536 * [taylor]: Taking taylor expansion of a in y
2.536 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
2.536 * [taylor]: Taking taylor expansion of x in x
2.536 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
2.536 * [taylor]: Taking taylor expansion of (* z y) in x
2.536 * [taylor]: Taking taylor expansion of z in x
2.536 * [taylor]: Taking taylor expansion of y in x
2.536 * [taylor]: Taking taylor expansion of (* t a) in x
2.536 * [taylor]: Taking taylor expansion of t in x
2.536 * [taylor]: Taking taylor expansion of a in x
2.536 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
2.536 * [taylor]: Taking taylor expansion of x in x
2.536 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
2.536 * [taylor]: Taking taylor expansion of (* z y) in x
2.536 * [taylor]: Taking taylor expansion of z in x
2.536 * [taylor]: Taking taylor expansion of y in x
2.536 * [taylor]: Taking taylor expansion of (* t a) in x
2.536 * [taylor]: Taking taylor expansion of t in x
2.536 * [taylor]: Taking taylor expansion of a in x
2.536 * [taylor]: Taking taylor expansion of 0 in y
2.536 * [taylor]: Taking taylor expansion of 0 in z
2.536 * [taylor]: Taking taylor expansion of 0 in t
2.536 * [taylor]: Taking taylor expansion of 0 in a
2.536 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
2.536 * [taylor]: Taking taylor expansion of (* z y) in y
2.536 * [taylor]: Taking taylor expansion of z in y
2.536 * [taylor]: Taking taylor expansion of y in y
2.536 * [taylor]: Taking taylor expansion of (* t a) in y
2.536 * [taylor]: Taking taylor expansion of t in y
2.536 * [taylor]: Taking taylor expansion of a in y
2.536 * [taylor]: Taking taylor expansion of (neg (* t a)) in z
2.536 * [taylor]: Taking taylor expansion of (* t a) in z
2.536 * [taylor]: Taking taylor expansion of t in z
2.536 * [taylor]: Taking taylor expansion of a in z
2.536 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
2.536 * [taylor]: Taking taylor expansion of (* t a) in t
2.537 * [taylor]: Taking taylor expansion of t in t
2.537 * [taylor]: Taking taylor expansion of a in t
2.537 * [taylor]: Taking taylor expansion of 0 in a
2.537 * [taylor]: Taking taylor expansion of 0 in z
2.537 * [taylor]: Taking taylor expansion of 0 in t
2.537 * [taylor]: Taking taylor expansion of 0 in a
2.537 * [taylor]: Taking taylor expansion of 0 in t
2.537 * [taylor]: Taking taylor expansion of 0 in a
2.537 * [taylor]: Taking taylor expansion of 0 in a
2.537 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
2.537 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.537 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
2.537 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.537 * [taylor]: Taking taylor expansion of (* z y) in a
2.537 * [taylor]: Taking taylor expansion of z in a
2.537 * [taylor]: Taking taylor expansion of y in a
2.537 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.537 * [taylor]: Taking taylor expansion of (* t a) in a
2.537 * [taylor]: Taking taylor expansion of t in a
2.537 * [taylor]: Taking taylor expansion of a in a
2.537 * [taylor]: Taking taylor expansion of x in a
2.537 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.537 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
2.537 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.537 * [taylor]: Taking taylor expansion of (* z y) in t
2.537 * [taylor]: Taking taylor expansion of z in t
2.537 * [taylor]: Taking taylor expansion of y in t
2.537 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.537 * [taylor]: Taking taylor expansion of (* t a) in t
2.537 * [taylor]: Taking taylor expansion of t in t
2.537 * [taylor]: Taking taylor expansion of a in t
2.538 * [taylor]: Taking taylor expansion of x in t
2.538 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.538 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.538 * [taylor]: Taking taylor expansion of (* z y) in z
2.538 * [taylor]: Taking taylor expansion of z in z
2.538 * [taylor]: Taking taylor expansion of y in z
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.538 * [taylor]: Taking taylor expansion of (* t a) in z
2.538 * [taylor]: Taking taylor expansion of t in z
2.538 * [taylor]: Taking taylor expansion of a in z
2.538 * [taylor]: Taking taylor expansion of x in z
2.538 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.538 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.538 * [taylor]: Taking taylor expansion of (* z y) in y
2.538 * [taylor]: Taking taylor expansion of z in y
2.538 * [taylor]: Taking taylor expansion of y in y
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.538 * [taylor]: Taking taylor expansion of (* t a) in y
2.538 * [taylor]: Taking taylor expansion of t in y
2.538 * [taylor]: Taking taylor expansion of a in y
2.538 * [taylor]: Taking taylor expansion of x in y
2.538 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.538 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.538 * [taylor]: Taking taylor expansion of (* z y) in x
2.538 * [taylor]: Taking taylor expansion of z in x
2.538 * [taylor]: Taking taylor expansion of y in x
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.538 * [taylor]: Taking taylor expansion of (* t a) in x
2.538 * [taylor]: Taking taylor expansion of t in x
2.538 * [taylor]: Taking taylor expansion of a in x
2.538 * [taylor]: Taking taylor expansion of x in x
2.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.539 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.539 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.539 * [taylor]: Taking taylor expansion of (* z y) in x
2.539 * [taylor]: Taking taylor expansion of z in x
2.539 * [taylor]: Taking taylor expansion of y in x
2.539 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.539 * [taylor]: Taking taylor expansion of (* t a) in x
2.539 * [taylor]: Taking taylor expansion of t in x
2.539 * [taylor]: Taking taylor expansion of a in x
2.539 * [taylor]: Taking taylor expansion of x in x
2.539 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.539 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.539 * [taylor]: Taking taylor expansion of (* z y) in y
2.539 * [taylor]: Taking taylor expansion of z in y
2.539 * [taylor]: Taking taylor expansion of y in y
2.539 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.539 * [taylor]: Taking taylor expansion of (* t a) in y
2.539 * [taylor]: Taking taylor expansion of t in y
2.539 * [taylor]: Taking taylor expansion of a in y
2.539 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.539 * [taylor]: Taking taylor expansion of z in z
2.539 * [taylor]: Taking taylor expansion of 1 in t
2.540 * [taylor]: Taking taylor expansion of 0 in y
2.540 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in z
2.540 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.540 * [taylor]: Taking taylor expansion of (* t a) in z
2.540 * [taylor]: Taking taylor expansion of t in z
2.540 * [taylor]: Taking taylor expansion of a in z
2.540 * [taylor]: Taking taylor expansion of 0 in t
2.540 * [taylor]: Taking taylor expansion of 1 in a
2.541 * [taylor]: Taking taylor expansion of 0 in y
2.541 * [taylor]: Taking taylor expansion of 0 in z
2.541 * [taylor]: Taking taylor expansion of 0 in z
2.541 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
2.541 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.541 * [taylor]: Taking taylor expansion of (* t a) in t
2.541 * [taylor]: Taking taylor expansion of t in t
2.541 * [taylor]: Taking taylor expansion of a in t
2.541 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
2.541 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.541 * [taylor]: Taking taylor expansion of a in a
2.541 * [taylor]: Taking taylor expansion of 0 in t
2.541 * [taylor]: Taking taylor expansion of 0 in a
2.541 * [taylor]: Taking taylor expansion of 0 in a
2.542 * [taylor]: Taking taylor expansion of 0 in y
2.542 * [taylor]: Taking taylor expansion of 0 in z
2.542 * [taylor]: Taking taylor expansion of 0 in z
2.542 * [taylor]: Taking taylor expansion of 0 in z
2.542 * [taylor]: Taking taylor expansion of 0 in t
2.542 * [taylor]: Taking taylor expansion of 0 in t
2.542 * [taylor]: Taking taylor expansion of 0 in t
2.542 * [taylor]: Taking taylor expansion of 0 in t
2.542 * [taylor]: Taking taylor expansion of 0 in a
2.543 * [taylor]: Taking taylor expansion of 0 in a
2.543 * [taylor]: Taking taylor expansion of 0 in a
2.543 * [taylor]: Taking taylor expansion of 0 in a
2.543 * [taylor]: Taking taylor expansion of 0 in y
2.543 * [taylor]: Taking taylor expansion of 0 in z
2.543 * [taylor]: Taking taylor expansion of 0 in z
2.543 * [taylor]: Taking taylor expansion of 0 in z
2.544 * [taylor]: Taking taylor expansion of 0 in z
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.544 * [taylor]: Taking taylor expansion of 0 in a
2.545 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
2.545 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.545 * [taylor]: Taking taylor expansion of -1 in a
2.545 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.545 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
2.545 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.545 * [taylor]: Taking taylor expansion of (* z y) in a
2.545 * [taylor]: Taking taylor expansion of z in a
2.545 * [taylor]: Taking taylor expansion of y in a
2.545 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.545 * [taylor]: Taking taylor expansion of (* t a) in a
2.545 * [taylor]: Taking taylor expansion of t in a
2.545 * [taylor]: Taking taylor expansion of a in a
2.545 * [taylor]: Taking taylor expansion of x in a
2.545 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.545 * [taylor]: Taking taylor expansion of -1 in t
2.545 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.545 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
2.545 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.545 * [taylor]: Taking taylor expansion of (* z y) in t
2.545 * [taylor]: Taking taylor expansion of z in t
2.545 * [taylor]: Taking taylor expansion of y in t
2.545 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.545 * [taylor]: Taking taylor expansion of (* t a) in t
2.545 * [taylor]: Taking taylor expansion of t in t
2.545 * [taylor]: Taking taylor expansion of a in t
2.546 * [taylor]: Taking taylor expansion of x in t
2.546 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.546 * [taylor]: Taking taylor expansion of -1 in z
2.546 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.546 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
2.546 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.546 * [taylor]: Taking taylor expansion of (* z y) in z
2.546 * [taylor]: Taking taylor expansion of z in z
2.546 * [taylor]: Taking taylor expansion of y in z
2.546 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.546 * [taylor]: Taking taylor expansion of (* t a) in z
2.546 * [taylor]: Taking taylor expansion of t in z
2.546 * [taylor]: Taking taylor expansion of a in z
2.546 * [taylor]: Taking taylor expansion of x in z
2.546 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.546 * [taylor]: Taking taylor expansion of -1 in y
2.546 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.546 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.546 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.546 * [taylor]: Taking taylor expansion of (* z y) in y
2.546 * [taylor]: Taking taylor expansion of z in y
2.546 * [taylor]: Taking taylor expansion of y in y
2.546 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.546 * [taylor]: Taking taylor expansion of (* t a) in y
2.546 * [taylor]: Taking taylor expansion of t in y
2.546 * [taylor]: Taking taylor expansion of a in y
2.546 * [taylor]: Taking taylor expansion of x in y
2.546 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
2.546 * [taylor]: Taking taylor expansion of -1 in x
2.546 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.546 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.546 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.546 * [taylor]: Taking taylor expansion of (* z y) in x
2.546 * [taylor]: Taking taylor expansion of z in x
2.546 * [taylor]: Taking taylor expansion of y in x
2.547 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.547 * [taylor]: Taking taylor expansion of (* t a) in x
2.547 * [taylor]: Taking taylor expansion of t in x
2.547 * [taylor]: Taking taylor expansion of a in x
2.547 * [taylor]: Taking taylor expansion of x in x
2.547 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
2.547 * [taylor]: Taking taylor expansion of -1 in x
2.547 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.547 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.547 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.547 * [taylor]: Taking taylor expansion of (* z y) in x
2.547 * [taylor]: Taking taylor expansion of z in x
2.547 * [taylor]: Taking taylor expansion of y in x
2.547 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.547 * [taylor]: Taking taylor expansion of (* t a) in x
2.547 * [taylor]: Taking taylor expansion of t in x
2.547 * [taylor]: Taking taylor expansion of a in x
2.547 * [taylor]: Taking taylor expansion of x in x
2.547 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y
2.547 * [taylor]: Taking taylor expansion of -1 in y
2.547 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.547 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.547 * [taylor]: Taking taylor expansion of (* z y) in y
2.547 * [taylor]: Taking taylor expansion of z in y
2.547 * [taylor]: Taking taylor expansion of y in y
2.547 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.548 * [taylor]: Taking taylor expansion of (* t a) in y
2.548 * [taylor]: Taking taylor expansion of t in y
2.548 * [taylor]: Taking taylor expansion of a in y
2.548 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.548 * [taylor]: Taking taylor expansion of -1 in z
2.548 * [taylor]: Taking taylor expansion of z in z
2.548 * [taylor]: Taking taylor expansion of -1 in t
2.548 * [taylor]: Taking taylor expansion of 0 in y
2.548 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.548 * [taylor]: Taking taylor expansion of (* t a) in z
2.548 * [taylor]: Taking taylor expansion of t in z
2.548 * [taylor]: Taking taylor expansion of a in z
2.548 * [taylor]: Taking taylor expansion of 0 in t
2.548 * [taylor]: Taking taylor expansion of -1 in a
2.549 * [taylor]: Taking taylor expansion of 0 in y
2.549 * [taylor]: Taking taylor expansion of 0 in z
2.549 * [taylor]: Taking taylor expansion of 0 in z
2.549 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.549 * [taylor]: Taking taylor expansion of (* t a) in t
2.549 * [taylor]: Taking taylor expansion of t in t
2.549 * [taylor]: Taking taylor expansion of a in t
2.549 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.549 * [taylor]: Taking taylor expansion of a in a
2.549 * [taylor]: Taking taylor expansion of 0 in t
2.550 * [taylor]: Taking taylor expansion of 0 in a
2.550 * [taylor]: Taking taylor expansion of 0 in a
2.550 * [taylor]: Taking taylor expansion of 0 in y
2.550 * [taylor]: Taking taylor expansion of 0 in z
2.550 * [taylor]: Taking taylor expansion of 0 in z
2.550 * [taylor]: Taking taylor expansion of 0 in z
2.551 * [taylor]: Taking taylor expansion of 0 in t
2.551 * [taylor]: Taking taylor expansion of 0 in t
2.551 * [taylor]: Taking taylor expansion of 0 in t
2.551 * [taylor]: Taking taylor expansion of 0 in t
2.551 * [taylor]: Taking taylor expansion of 0 in a
2.551 * [taylor]: Taking taylor expansion of 0 in a
2.551 * [taylor]: Taking taylor expansion of 0 in a
2.551 * [taylor]: Taking taylor expansion of 0 in a
2.552 * [taylor]: Taking taylor expansion of 0 in y
2.552 * [taylor]: Taking taylor expansion of 0 in z
2.552 * [taylor]: Taking taylor expansion of 0 in z
2.552 * [taylor]: Taking taylor expansion of 0 in z
2.552 * [taylor]: Taking taylor expansion of 0 in z
2.552 * [taylor]: Taking taylor expansion of 0 in t
2.552 * [taylor]: Taking taylor expansion of 0 in t
2.552 * [taylor]: Taking taylor expansion of 0 in t
2.552 * [taylor]: Taking taylor expansion of 0 in t
2.552 * [taylor]: Taking taylor expansion of 0 in t
2.552 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * [taylor]: Taking taylor expansion of 0 in a
2.553 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
2.553 * [approximate]: Taking taylor expansion of (- (* a c) (* i y)) in (c a y i) around 0
2.553 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in i
2.553 * [taylor]: Taking taylor expansion of (* a c) in i
2.553 * [taylor]: Taking taylor expansion of a in i
2.553 * [taylor]: Taking taylor expansion of c in i
2.553 * [taylor]: Taking taylor expansion of (* i y) in i
2.553 * [taylor]: Taking taylor expansion of i in i
2.554 * [taylor]: Taking taylor expansion of y in i
2.554 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in y
2.554 * [taylor]: Taking taylor expansion of (* a c) in y
2.554 * [taylor]: Taking taylor expansion of a in y
2.554 * [taylor]: Taking taylor expansion of c in y
2.554 * [taylor]: Taking taylor expansion of (* i y) in y
2.554 * [taylor]: Taking taylor expansion of i in y
2.554 * [taylor]: Taking taylor expansion of y in y
2.554 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in a
2.554 * [taylor]: Taking taylor expansion of (* a c) in a
2.554 * [taylor]: Taking taylor expansion of a in a
2.554 * [taylor]: Taking taylor expansion of c in a
2.554 * [taylor]: Taking taylor expansion of (* i y) in a
2.554 * [taylor]: Taking taylor expansion of i in a
2.554 * [taylor]: Taking taylor expansion of y in a
2.554 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.554 * [taylor]: Taking taylor expansion of (* a c) in c
2.554 * [taylor]: Taking taylor expansion of a in c
2.554 * [taylor]: Taking taylor expansion of c in c
2.554 * [taylor]: Taking taylor expansion of (* i y) in c
2.554 * [taylor]: Taking taylor expansion of i in c
2.554 * [taylor]: Taking taylor expansion of y in c
2.554 * [taylor]: Taking taylor expansion of (- (* a c) (* i y)) in c
2.554 * [taylor]: Taking taylor expansion of (* a c) in c
2.554 * [taylor]: Taking taylor expansion of a in c
2.554 * [taylor]: Taking taylor expansion of c in c
2.554 * [taylor]: Taking taylor expansion of (* i y) in c
2.554 * [taylor]: Taking taylor expansion of i in c
2.554 * [taylor]: Taking taylor expansion of y in c
2.554 * [taylor]: Taking taylor expansion of (neg (* i y)) in a
2.554 * [taylor]: Taking taylor expansion of (* i y) in a
2.554 * [taylor]: Taking taylor expansion of i in a
2.554 * [taylor]: Taking taylor expansion of y in a
2.554 * [taylor]: Taking taylor expansion of (neg (* i y)) in y
2.554 * [taylor]: Taking taylor expansion of (* i y) in y
2.554 * [taylor]: Taking taylor expansion of i in y
2.554 * [taylor]: Taking taylor expansion of y in y
2.554 * [taylor]: Taking taylor expansion of 0 in i
2.554 * [taylor]: Taking taylor expansion of a in a
2.554 * [taylor]: Taking taylor expansion of 0 in y
2.554 * [taylor]: Taking taylor expansion of 0 in i
2.554 * [taylor]: Taking taylor expansion of 0 in y
2.554 * [taylor]: Taking taylor expansion of 0 in i
2.555 * [taylor]: Taking taylor expansion of (neg i) in i
2.555 * [taylor]: Taking taylor expansion of i in i
2.555 * [taylor]: Taking taylor expansion of 0 in a
2.555 * [taylor]: Taking taylor expansion of 0 in y
2.555 * [taylor]: Taking taylor expansion of 0 in i
2.555 * [approximate]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in (c a y i) around 0
2.555 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.555 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.555 * [taylor]: Taking taylor expansion of (* a c) in i
2.555 * [taylor]: Taking taylor expansion of a in i
2.555 * [taylor]: Taking taylor expansion of c in i
2.555 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.555 * [taylor]: Taking taylor expansion of (* i y) in i
2.555 * [taylor]: Taking taylor expansion of i in i
2.555 * [taylor]: Taking taylor expansion of y in i
2.555 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.555 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.555 * [taylor]: Taking taylor expansion of (* a c) in y
2.555 * [taylor]: Taking taylor expansion of a in y
2.555 * [taylor]: Taking taylor expansion of c in y
2.555 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.555 * [taylor]: Taking taylor expansion of (* i y) in y
2.555 * [taylor]: Taking taylor expansion of i in y
2.555 * [taylor]: Taking taylor expansion of y in y
2.555 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.555 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.555 * [taylor]: Taking taylor expansion of (* a c) in a
2.555 * [taylor]: Taking taylor expansion of a in a
2.555 * [taylor]: Taking taylor expansion of c in a
2.555 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.555 * [taylor]: Taking taylor expansion of (* i y) in a
2.555 * [taylor]: Taking taylor expansion of i in a
2.556 * [taylor]: Taking taylor expansion of y in a
2.556 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.556 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.556 * [taylor]: Taking taylor expansion of (* a c) in c
2.556 * [taylor]: Taking taylor expansion of a in c
2.556 * [taylor]: Taking taylor expansion of c in c
2.556 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.556 * [taylor]: Taking taylor expansion of (* i y) in c
2.556 * [taylor]: Taking taylor expansion of i in c
2.556 * [taylor]: Taking taylor expansion of y in c
2.556 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.556 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.556 * [taylor]: Taking taylor expansion of (* a c) in c
2.556 * [taylor]: Taking taylor expansion of a in c
2.556 * [taylor]: Taking taylor expansion of c in c
2.556 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.556 * [taylor]: Taking taylor expansion of (* i y) in c
2.556 * [taylor]: Taking taylor expansion of i in c
2.556 * [taylor]: Taking taylor expansion of y in c
2.556 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.556 * [taylor]: Taking taylor expansion of a in a
2.556 * [taylor]: Taking taylor expansion of 1 in y
2.556 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in a
2.556 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.556 * [taylor]: Taking taylor expansion of (* i y) in a
2.556 * [taylor]: Taking taylor expansion of i in a
2.556 * [taylor]: Taking taylor expansion of y in a
2.557 * [taylor]: Taking taylor expansion of 0 in y
2.557 * [taylor]: Taking taylor expansion of 1 in i
2.557 * [taylor]: Taking taylor expansion of 0 in a
2.557 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in y
2.557 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.557 * [taylor]: Taking taylor expansion of (* i y) in y
2.557 * [taylor]: Taking taylor expansion of i in y
2.557 * [taylor]: Taking taylor expansion of y in y
2.557 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.557 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.557 * [taylor]: Taking taylor expansion of i in i
2.557 * [taylor]: Taking taylor expansion of 0 in y
2.557 * [taylor]: Taking taylor expansion of 0 in i
2.557 * [taylor]: Taking taylor expansion of 0 in i
2.558 * [taylor]: Taking taylor expansion of 0 in a
2.558 * [taylor]: Taking taylor expansion of 0 in y
2.558 * [taylor]: Taking taylor expansion of 0 in y
2.558 * [taylor]: Taking taylor expansion of 0 in y
2.558 * [taylor]: Taking taylor expansion of 0 in i
2.558 * [taylor]: Taking taylor expansion of 0 in i
2.558 * [taylor]: Taking taylor expansion of 0 in i
2.558 * [taylor]: Taking taylor expansion of 0 in i
2.558 * [taylor]: Taking taylor expansion of 0 in a
2.559 * [taylor]: Taking taylor expansion of 0 in y
2.559 * [taylor]: Taking taylor expansion of 0 in y
2.559 * [taylor]: Taking taylor expansion of 0 in y
2.559 * [taylor]: Taking taylor expansion of 0 in y
2.559 * [taylor]: Taking taylor expansion of 0 in i
2.559 * [taylor]: Taking taylor expansion of 0 in i
2.559 * [taylor]: Taking taylor expansion of 0 in i
2.559 * [taylor]: Taking taylor expansion of 0 in i
2.559 * [taylor]: Taking taylor expansion of 0 in i
2.559 * [taylor]: Taking taylor expansion of 0 in i
2.559 * [taylor]: Taking taylor expansion of 0 in i
2.559 * [approximate]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in (c a y i) around 0
2.559 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in i
2.559 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in i
2.559 * [taylor]: Taking taylor expansion of (* a c) in i
2.560 * [taylor]: Taking taylor expansion of a in i
2.560 * [taylor]: Taking taylor expansion of c in i
2.560 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i
2.560 * [taylor]: Taking taylor expansion of (* i y) in i
2.560 * [taylor]: Taking taylor expansion of i in i
2.560 * [taylor]: Taking taylor expansion of y in i
2.560 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in y
2.560 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in y
2.560 * [taylor]: Taking taylor expansion of (* a c) in y
2.560 * [taylor]: Taking taylor expansion of a in y
2.560 * [taylor]: Taking taylor expansion of c in y
2.560 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.560 * [taylor]: Taking taylor expansion of (* i y) in y
2.560 * [taylor]: Taking taylor expansion of i in y
2.560 * [taylor]: Taking taylor expansion of y in y
2.560 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in a
2.560 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
2.560 * [taylor]: Taking taylor expansion of (* a c) in a
2.560 * [taylor]: Taking taylor expansion of a in a
2.560 * [taylor]: Taking taylor expansion of c in a
2.560 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.560 * [taylor]: Taking taylor expansion of (* i y) in a
2.560 * [taylor]: Taking taylor expansion of i in a
2.560 * [taylor]: Taking taylor expansion of y in a
2.560 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.560 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.560 * [taylor]: Taking taylor expansion of (* a c) in c
2.560 * [taylor]: Taking taylor expansion of a in c
2.560 * [taylor]: Taking taylor expansion of c in c
2.561 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.561 * [taylor]: Taking taylor expansion of (* i y) in c
2.561 * [taylor]: Taking taylor expansion of i in c
2.561 * [taylor]: Taking taylor expansion of y in c
2.561 * [taylor]: Taking taylor expansion of (- (/ 1 (* a c)) (/ 1 (* i y))) in c
2.561 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
2.561 * [taylor]: Taking taylor expansion of (* a c) in c
2.561 * [taylor]: Taking taylor expansion of a in c
2.561 * [taylor]: Taking taylor expansion of c in c
2.561 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c
2.561 * [taylor]: Taking taylor expansion of (* i y) in c
2.561 * [taylor]: Taking taylor expansion of i in c
2.561 * [taylor]: Taking taylor expansion of y in c
2.561 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.561 * [taylor]: Taking taylor expansion of a in a
2.561 * [taylor]: Taking taylor expansion of 1 in y
2.561 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in a
2.561 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in a
2.561 * [taylor]: Taking taylor expansion of (* i y) in a
2.561 * [taylor]: Taking taylor expansion of i in a
2.561 * [taylor]: Taking taylor expansion of y in a
2.561 * [taylor]: Taking taylor expansion of 0 in y
2.561 * [taylor]: Taking taylor expansion of 1 in i
2.562 * [taylor]: Taking taylor expansion of 0 in a
2.562 * [taylor]: Taking taylor expansion of (neg (/ 1 (* i y))) in y
2.562 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y
2.562 * [taylor]: Taking taylor expansion of (* i y) in y
2.562 * [taylor]: Taking taylor expansion of i in y
2.562 * [taylor]: Taking taylor expansion of y in y
2.562 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.562 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.562 * [taylor]: Taking taylor expansion of i in i
2.562 * [taylor]: Taking taylor expansion of 0 in y
2.562 * [taylor]: Taking taylor expansion of 0 in i
2.562 * [taylor]: Taking taylor expansion of 0 in i
2.562 * [taylor]: Taking taylor expansion of 0 in a
2.562 * [taylor]: Taking taylor expansion of 0 in y
2.562 * [taylor]: Taking taylor expansion of 0 in y
2.562 * [taylor]: Taking taylor expansion of 0 in y
2.563 * [taylor]: Taking taylor expansion of 0 in i
2.563 * [taylor]: Taking taylor expansion of 0 in i
2.563 * [taylor]: Taking taylor expansion of 0 in i
2.563 * [taylor]: Taking taylor expansion of 0 in i
2.563 * [taylor]: Taking taylor expansion of 0 in a
2.563 * [taylor]: Taking taylor expansion of 0 in y
2.563 * [taylor]: Taking taylor expansion of 0 in y
2.563 * [taylor]: Taking taylor expansion of 0 in y
2.563 * [taylor]: Taking taylor expansion of 0 in y
2.563 * [taylor]: Taking taylor expansion of 0 in i
2.563 * [taylor]: Taking taylor expansion of 0 in i
2.563 * [taylor]: Taking taylor expansion of 0 in i
2.564 * [taylor]: Taking taylor expansion of 0 in i
2.564 * [taylor]: Taking taylor expansion of 0 in i
2.564 * [taylor]: Taking taylor expansion of 0 in i
2.564 * [taylor]: Taking taylor expansion of 0 in i
2.564 * * * [progress]: simplifying candidates
2.565 * [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.605 * * [simplify]: iteration  0 :  4937  enodes  (cost  937 )
2.606 * * [simplify]: iteration  1 :  4937  enodes  (cost  937 )
2.609 * [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.609 * * * [progress]: adding candidates to table
2.776 * * [progress]: iteration 2 / 4
2.776 * * * [progress]: picking best candidate
2.887 * * * * [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.887 * * * [progress]: localizing error
2.914 * * * [progress]: generating rewritten candidates
2.914 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.919 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.925 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
2.930 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
2.938 * * * [progress]: generating series expansions
2.939 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.939 * [approximate]: Taking taylor expansion of (* -1 (* i (* y j))) in (i j y) around 0
2.939 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in y
2.939 * [taylor]: Taking taylor expansion of -1 in y
2.939 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
2.939 * [taylor]: Taking taylor expansion of i in y
2.939 * [taylor]: Taking taylor expansion of (* y j) in y
2.939 * [taylor]: Taking taylor expansion of y in y
2.939 * [taylor]: Taking taylor expansion of j in y
2.939 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in j
2.939 * [taylor]: Taking taylor expansion of -1 in j
2.939 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
2.939 * [taylor]: Taking taylor expansion of i in j
2.939 * [taylor]: Taking taylor expansion of (* y j) in j
2.939 * [taylor]: Taking taylor expansion of y in j
2.939 * [taylor]: Taking taylor expansion of j in j
2.939 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
2.939 * [taylor]: Taking taylor expansion of -1 in i
2.939 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.939 * [taylor]: Taking taylor expansion of i in i
2.939 * [taylor]: Taking taylor expansion of (* y j) in i
2.939 * [taylor]: Taking taylor expansion of y in i
2.939 * [taylor]: Taking taylor expansion of j in i
2.939 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
2.939 * [taylor]: Taking taylor expansion of -1 in i
2.939 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.939 * [taylor]: Taking taylor expansion of i in i
2.939 * [taylor]: Taking taylor expansion of (* y j) in i
2.939 * [taylor]: Taking taylor expansion of y in i
2.939 * [taylor]: Taking taylor expansion of j in i
2.939 * [taylor]: Taking taylor expansion of 0 in j
2.939 * [taylor]: Taking taylor expansion of 0 in y
2.939 * [taylor]: Taking taylor expansion of (neg (* y j)) in j
2.939 * [taylor]: Taking taylor expansion of (* y j) in j
2.939 * [taylor]: Taking taylor expansion of y in j
2.939 * [taylor]: Taking taylor expansion of j in j
2.939 * [taylor]: Taking taylor expansion of 0 in y
2.940 * [taylor]: Taking taylor expansion of 0 in y
2.940 * [taylor]: Taking taylor expansion of 0 in j
2.940 * [taylor]: Taking taylor expansion of 0 in y
2.940 * [taylor]: Taking taylor expansion of (neg y) in y
2.940 * [taylor]: Taking taylor expansion of y in y
2.940 * [approximate]: Taking taylor expansion of (/ -1 (* i (* y j))) in (i j y) around 0
2.940 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in y
2.940 * [taylor]: Taking taylor expansion of -1 in y
2.940 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
2.940 * [taylor]: Taking taylor expansion of i in y
2.940 * [taylor]: Taking taylor expansion of (* y j) in y
2.940 * [taylor]: Taking taylor expansion of y in y
2.940 * [taylor]: Taking taylor expansion of j in y
2.940 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in j
2.940 * [taylor]: Taking taylor expansion of -1 in j
2.940 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
2.940 * [taylor]: Taking taylor expansion of i in j
2.940 * [taylor]: Taking taylor expansion of (* y j) in j
2.940 * [taylor]: Taking taylor expansion of y in j
2.940 * [taylor]: Taking taylor expansion of j in j
2.940 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
2.940 * [taylor]: Taking taylor expansion of -1 in i
2.940 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.940 * [taylor]: Taking taylor expansion of i in i
2.940 * [taylor]: Taking taylor expansion of (* y j) in i
2.940 * [taylor]: Taking taylor expansion of y in i
2.940 * [taylor]: Taking taylor expansion of j in i
2.941 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
2.941 * [taylor]: Taking taylor expansion of -1 in i
2.941 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.941 * [taylor]: Taking taylor expansion of i in i
2.941 * [taylor]: Taking taylor expansion of (* y j) in i
2.941 * [taylor]: Taking taylor expansion of y in i
2.941 * [taylor]: Taking taylor expansion of j in i
2.941 * [taylor]: Taking taylor expansion of (/ -1 (* y j)) in j
2.941 * [taylor]: Taking taylor expansion of -1 in j
2.941 * [taylor]: Taking taylor expansion of (* y j) in j
2.941 * [taylor]: Taking taylor expansion of y in j
2.941 * [taylor]: Taking taylor expansion of j in j
2.941 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.941 * [taylor]: Taking taylor expansion of -1 in y
2.941 * [taylor]: Taking taylor expansion of y in y
2.941 * [taylor]: Taking taylor expansion of 0 in j
2.941 * [taylor]: Taking taylor expansion of 0 in y
2.941 * [taylor]: Taking taylor expansion of 0 in j
2.942 * [taylor]: Taking taylor expansion of 0 in y
2.942 * [taylor]: Taking taylor expansion of 0 in y
2.942 * [taylor]: Taking taylor expansion of 0 in j
2.942 * [taylor]: Taking taylor expansion of 0 in y
2.942 * [taylor]: Taking taylor expansion of 0 in y
2.942 * [taylor]: Taking taylor expansion of 0 in y
2.942 * [approximate]: Taking taylor expansion of (/ 1 (* i (* y j))) in (i j y) around 0
2.942 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in y
2.942 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
2.942 * [taylor]: Taking taylor expansion of i in y
2.942 * [taylor]: Taking taylor expansion of (* y j) in y
2.942 * [taylor]: Taking taylor expansion of y in y
2.942 * [taylor]: Taking taylor expansion of j in y
2.943 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in j
2.943 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
2.943 * [taylor]: Taking taylor expansion of i in j
2.943 * [taylor]: Taking taylor expansion of (* y j) in j
2.943 * [taylor]: Taking taylor expansion of y in j
2.943 * [taylor]: Taking taylor expansion of j in j
2.943 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
2.943 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.943 * [taylor]: Taking taylor expansion of i in i
2.943 * [taylor]: Taking taylor expansion of (* y j) in i
2.943 * [taylor]: Taking taylor expansion of y in i
2.943 * [taylor]: Taking taylor expansion of j in i
2.943 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
2.943 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
2.943 * [taylor]: Taking taylor expansion of i in i
2.943 * [taylor]: Taking taylor expansion of (* y j) in i
2.943 * [taylor]: Taking taylor expansion of y in i
2.943 * [taylor]: Taking taylor expansion of j in i
2.943 * [taylor]: Taking taylor expansion of (/ 1 (* y j)) in j
2.943 * [taylor]: Taking taylor expansion of (* y j) in j
2.943 * [taylor]: Taking taylor expansion of y in j
2.943 * [taylor]: Taking taylor expansion of j in j
2.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.943 * [taylor]: Taking taylor expansion of y in y
2.944 * [taylor]: Taking taylor expansion of 0 in j
2.944 * [taylor]: Taking taylor expansion of 0 in y
2.944 * [taylor]: Taking taylor expansion of 0 in j
2.944 * [taylor]: Taking taylor expansion of 0 in y
2.944 * [taylor]: Taking taylor expansion of 0 in y
2.944 * [taylor]: Taking taylor expansion of 0 in j
2.944 * [taylor]: Taking taylor expansion of 0 in y
2.944 * [taylor]: Taking taylor expansion of 0 in y
2.944 * [taylor]: Taking taylor expansion of 0 in y
2.945 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.945 * [approximate]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in (b c z t i) around 0
2.945 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in i
2.945 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in i
2.945 * [taylor]: Taking taylor expansion of (* z c) in i
2.945 * [taylor]: Taking taylor expansion of z in i
2.945 * [taylor]: Taking taylor expansion of c in i
2.945 * [taylor]: Taking taylor expansion of (* t i) in i
2.945 * [taylor]: Taking taylor expansion of t in i
2.945 * [taylor]: Taking taylor expansion of i in i
2.945 * [taylor]: Taking taylor expansion of b in i
2.945 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in t
2.945 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in t
2.945 * [taylor]: Taking taylor expansion of (* z c) in t
2.945 * [taylor]: Taking taylor expansion of z in t
2.945 * [taylor]: Taking taylor expansion of c in t
2.945 * [taylor]: Taking taylor expansion of (* t i) in t
2.945 * [taylor]: Taking taylor expansion of t in t
2.945 * [taylor]: Taking taylor expansion of i in t
2.945 * [taylor]: Taking taylor expansion of b in t
2.945 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in z
2.945 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in z
2.945 * [taylor]: Taking taylor expansion of (* z c) in z
2.945 * [taylor]: Taking taylor expansion of z in z
2.945 * [taylor]: Taking taylor expansion of c in z
2.945 * [taylor]: Taking taylor expansion of (* t i) in z
2.945 * [taylor]: Taking taylor expansion of t in z
2.945 * [taylor]: Taking taylor expansion of i in z
2.945 * [taylor]: Taking taylor expansion of b in z
2.945 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in c
2.945 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.945 * [taylor]: Taking taylor expansion of (* z c) in c
2.945 * [taylor]: Taking taylor expansion of z in c
2.945 * [taylor]: Taking taylor expansion of c in c
2.945 * [taylor]: Taking taylor expansion of (* t i) in c
2.945 * [taylor]: Taking taylor expansion of t in c
2.945 * [taylor]: Taking taylor expansion of i in c
2.945 * [taylor]: Taking taylor expansion of b in c
2.945 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.945 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.945 * [taylor]: Taking taylor expansion of (* z c) in b
2.945 * [taylor]: Taking taylor expansion of z in b
2.945 * [taylor]: Taking taylor expansion of c in b
2.945 * [taylor]: Taking taylor expansion of (* t i) in b
2.945 * [taylor]: Taking taylor expansion of t in b
2.945 * [taylor]: Taking taylor expansion of i in b
2.945 * [taylor]: Taking taylor expansion of b in b
2.945 * [taylor]: Taking taylor expansion of (* (- (* z c) (* t i)) b) in b
2.945 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in b
2.945 * [taylor]: Taking taylor expansion of (* z c) in b
2.945 * [taylor]: Taking taylor expansion of z in b
2.945 * [taylor]: Taking taylor expansion of c in b
2.946 * [taylor]: Taking taylor expansion of (* t i) in b
2.946 * [taylor]: Taking taylor expansion of t in b
2.946 * [taylor]: Taking taylor expansion of i in b
2.946 * [taylor]: Taking taylor expansion of b in b
2.946 * [taylor]: Taking taylor expansion of 0 in c
2.946 * [taylor]: Taking taylor expansion of 0 in z
2.946 * [taylor]: Taking taylor expansion of 0 in t
2.946 * [taylor]: Taking taylor expansion of 0 in i
2.946 * [taylor]: Taking taylor expansion of (- (* z c) (* t i)) in c
2.946 * [taylor]: Taking taylor expansion of (* z c) in c
2.946 * [taylor]: Taking taylor expansion of z in c
2.946 * [taylor]: Taking taylor expansion of c in c
2.946 * [taylor]: Taking taylor expansion of (* t i) in c
2.946 * [taylor]: Taking taylor expansion of t in c
2.946 * [taylor]: Taking taylor expansion of i in c
2.946 * [taylor]: Taking taylor expansion of (neg (* t i)) in z
2.946 * [taylor]: Taking taylor expansion of (* t i) in z
2.946 * [taylor]: Taking taylor expansion of t in z
2.946 * [taylor]: Taking taylor expansion of i in z
2.946 * [taylor]: Taking taylor expansion of (neg (* t i)) in t
2.946 * [taylor]: Taking taylor expansion of (* t i) in t
2.946 * [taylor]: Taking taylor expansion of t in t
2.946 * [taylor]: Taking taylor expansion of i in t
2.946 * [taylor]: Taking taylor expansion of 0 in i
2.946 * [taylor]: Taking taylor expansion of 0 in z
2.946 * [taylor]: Taking taylor expansion of 0 in t
2.946 * [taylor]: Taking taylor expansion of 0 in i
2.946 * [taylor]: Taking taylor expansion of 0 in t
2.946 * [taylor]: Taking taylor expansion of 0 in i
2.946 * [taylor]: Taking taylor expansion of 0 in i
2.947 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in (b c z t i) around 0
2.947 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
2.947 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
2.947 * [taylor]: Taking taylor expansion of (* z c) in i
2.947 * [taylor]: Taking taylor expansion of z in i
2.947 * [taylor]: Taking taylor expansion of c in i
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
2.947 * [taylor]: Taking taylor expansion of (* t i) in i
2.947 * [taylor]: Taking taylor expansion of t in i
2.947 * [taylor]: Taking taylor expansion of i in i
2.947 * [taylor]: Taking taylor expansion of b in i
2.947 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
2.947 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
2.947 * [taylor]: Taking taylor expansion of (* z c) in t
2.947 * [taylor]: Taking taylor expansion of z in t
2.947 * [taylor]: Taking taylor expansion of c in t
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.947 * [taylor]: Taking taylor expansion of (* t i) in t
2.947 * [taylor]: Taking taylor expansion of t in t
2.947 * [taylor]: Taking taylor expansion of i in t
2.947 * [taylor]: Taking taylor expansion of b in t
2.947 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
2.947 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
2.947 * [taylor]: Taking taylor expansion of (* z c) in z
2.947 * [taylor]: Taking taylor expansion of z in z
2.947 * [taylor]: Taking taylor expansion of c in z
2.948 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.948 * [taylor]: Taking taylor expansion of (* t i) in z
2.948 * [taylor]: Taking taylor expansion of t in z
2.948 * [taylor]: Taking taylor expansion of i in z
2.948 * [taylor]: Taking taylor expansion of b in z
2.948 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
2.948 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.948 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.948 * [taylor]: Taking taylor expansion of (* z c) in c
2.948 * [taylor]: Taking taylor expansion of z in c
2.948 * [taylor]: Taking taylor expansion of c in c
2.948 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.948 * [taylor]: Taking taylor expansion of (* t i) in c
2.948 * [taylor]: Taking taylor expansion of t in c
2.948 * [taylor]: Taking taylor expansion of i in c
2.948 * [taylor]: Taking taylor expansion of b in c
2.948 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.948 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.948 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.948 * [taylor]: Taking taylor expansion of (* z c) in b
2.948 * [taylor]: Taking taylor expansion of z in b
2.948 * [taylor]: Taking taylor expansion of c in b
2.948 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.948 * [taylor]: Taking taylor expansion of (* t i) in b
2.948 * [taylor]: Taking taylor expansion of t in b
2.948 * [taylor]: Taking taylor expansion of i in b
2.948 * [taylor]: Taking taylor expansion of b in b
2.948 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.948 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.948 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.948 * [taylor]: Taking taylor expansion of (* z c) in b
2.948 * [taylor]: Taking taylor expansion of z in b
2.948 * [taylor]: Taking taylor expansion of c in b
2.949 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.949 * [taylor]: Taking taylor expansion of (* t i) in b
2.949 * [taylor]: Taking taylor expansion of t in b
2.949 * [taylor]: Taking taylor expansion of i in b
2.949 * [taylor]: Taking taylor expansion of b in b
2.949 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.949 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.949 * [taylor]: Taking taylor expansion of (* z c) in c
2.949 * [taylor]: Taking taylor expansion of z in c
2.949 * [taylor]: Taking taylor expansion of c in c
2.949 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.949 * [taylor]: Taking taylor expansion of (* t i) in c
2.949 * [taylor]: Taking taylor expansion of t in c
2.949 * [taylor]: Taking taylor expansion of i in c
2.949 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.949 * [taylor]: Taking taylor expansion of z in z
2.949 * [taylor]: Taking taylor expansion of 1 in t
2.949 * [taylor]: Taking taylor expansion of 0 in c
2.950 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in z
2.950 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.950 * [taylor]: Taking taylor expansion of (* t i) in z
2.950 * [taylor]: Taking taylor expansion of t in z
2.950 * [taylor]: Taking taylor expansion of i in z
2.950 * [taylor]: Taking taylor expansion of 0 in t
2.950 * [taylor]: Taking taylor expansion of 1 in i
2.950 * [taylor]: Taking taylor expansion of 0 in c
2.950 * [taylor]: Taking taylor expansion of 0 in z
2.950 * [taylor]: Taking taylor expansion of 0 in z
2.950 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t i))) in t
2.950 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.950 * [taylor]: Taking taylor expansion of (* t i) in t
2.950 * [taylor]: Taking taylor expansion of t in t
2.950 * [taylor]: Taking taylor expansion of i in t
2.951 * [taylor]: Taking taylor expansion of (neg (/ 1 i)) in i
2.951 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.951 * [taylor]: Taking taylor expansion of i in i
2.951 * [taylor]: Taking taylor expansion of 0 in t
2.951 * [taylor]: Taking taylor expansion of 0 in i
2.951 * [taylor]: Taking taylor expansion of 0 in i
2.951 * [taylor]: Taking taylor expansion of 0 in c
2.951 * [taylor]: Taking taylor expansion of 0 in z
2.951 * [taylor]: Taking taylor expansion of 0 in z
2.952 * [taylor]: Taking taylor expansion of 0 in z
2.952 * [taylor]: Taking taylor expansion of 0 in t
2.952 * [taylor]: Taking taylor expansion of 0 in t
2.952 * [taylor]: Taking taylor expansion of 0 in t
2.952 * [taylor]: Taking taylor expansion of 0 in t
2.952 * [taylor]: Taking taylor expansion of 0 in i
2.952 * [taylor]: Taking taylor expansion of 0 in i
2.952 * [taylor]: Taking taylor expansion of 0 in i
2.952 * [taylor]: Taking taylor expansion of 0 in i
2.953 * [taylor]: Taking taylor expansion of 0 in c
2.953 * [taylor]: Taking taylor expansion of 0 in z
2.953 * [taylor]: Taking taylor expansion of 0 in z
2.953 * [taylor]: Taking taylor expansion of 0 in z
2.953 * [taylor]: Taking taylor expansion of 0 in z
2.953 * [taylor]: Taking taylor expansion of 0 in t
2.953 * [taylor]: Taking taylor expansion of 0 in t
2.953 * [taylor]: Taking taylor expansion of 0 in t
2.953 * [taylor]: Taking taylor expansion of 0 in t
2.953 * [taylor]: Taking taylor expansion of 0 in t
2.953 * [taylor]: Taking taylor expansion of 0 in t
2.953 * [taylor]: Taking taylor expansion of 0 in t
2.953 * [taylor]: Taking taylor expansion of 0 in i
2.953 * [taylor]: Taking taylor expansion of 0 in i
2.953 * [taylor]: Taking taylor expansion of 0 in i
2.954 * [taylor]: Taking taylor expansion of 0 in i
2.954 * [taylor]: Taking taylor expansion of 0 in i
2.954 * [taylor]: Taking taylor expansion of 0 in i
2.954 * [taylor]: Taking taylor expansion of 0 in i
2.954 * [taylor]: Taking taylor expansion of 0 in i
2.954 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in (b c z t i) around 0
2.954 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in i
2.954 * [taylor]: Taking taylor expansion of -1 in i
2.954 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in i
2.954 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in i
2.954 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i
2.954 * [taylor]: Taking taylor expansion of (* z c) in i
2.954 * [taylor]: Taking taylor expansion of z in i
2.954 * [taylor]: Taking taylor expansion of c in i
2.954 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in i
2.954 * [taylor]: Taking taylor expansion of (* t i) in i
2.954 * [taylor]: Taking taylor expansion of t in i
2.954 * [taylor]: Taking taylor expansion of i in i
2.954 * [taylor]: Taking taylor expansion of b in i
2.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in t
2.955 * [taylor]: Taking taylor expansion of -1 in t
2.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in t
2.955 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in t
2.955 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in t
2.955 * [taylor]: Taking taylor expansion of (* z c) in t
2.955 * [taylor]: Taking taylor expansion of z in t
2.955 * [taylor]: Taking taylor expansion of c in t
2.955 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.955 * [taylor]: Taking taylor expansion of (* t i) in t
2.955 * [taylor]: Taking taylor expansion of t in t
2.955 * [taylor]: Taking taylor expansion of i in t
2.955 * [taylor]: Taking taylor expansion of b in t
2.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in z
2.955 * [taylor]: Taking taylor expansion of -1 in z
2.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in z
2.955 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in z
2.955 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z
2.955 * [taylor]: Taking taylor expansion of (* z c) in z
2.955 * [taylor]: Taking taylor expansion of z in z
2.955 * [taylor]: Taking taylor expansion of c in z
2.955 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.955 * [taylor]: Taking taylor expansion of (* t i) in z
2.955 * [taylor]: Taking taylor expansion of t in z
2.955 * [taylor]: Taking taylor expansion of i in z
2.955 * [taylor]: Taking taylor expansion of b in z
2.955 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in c
2.955 * [taylor]: Taking taylor expansion of -1 in c
2.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in c
2.955 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.955 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.955 * [taylor]: Taking taylor expansion of (* z c) in c
2.955 * [taylor]: Taking taylor expansion of z in c
2.955 * [taylor]: Taking taylor expansion of c in c
2.955 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.956 * [taylor]: Taking taylor expansion of (* t i) in c
2.956 * [taylor]: Taking taylor expansion of t in c
2.956 * [taylor]: Taking taylor expansion of i in c
2.956 * [taylor]: Taking taylor expansion of b in c
2.956 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
2.956 * [taylor]: Taking taylor expansion of -1 in b
2.956 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.956 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.956 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.956 * [taylor]: Taking taylor expansion of (* z c) in b
2.956 * [taylor]: Taking taylor expansion of z in b
2.956 * [taylor]: Taking taylor expansion of c in b
2.956 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.956 * [taylor]: Taking taylor expansion of (* t i) in b
2.956 * [taylor]: Taking taylor expansion of t in b
2.956 * [taylor]: Taking taylor expansion of i in b
2.956 * [taylor]: Taking taylor expansion of b in b
2.956 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b)) in b
2.956 * [taylor]: Taking taylor expansion of -1 in b
2.956 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* t i))) b) in b
2.956 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in b
2.956 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b
2.956 * [taylor]: Taking taylor expansion of (* z c) in b
2.956 * [taylor]: Taking taylor expansion of z in b
2.956 * [taylor]: Taking taylor expansion of c in b
2.956 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in b
2.956 * [taylor]: Taking taylor expansion of (* t i) in b
2.956 * [taylor]: Taking taylor expansion of t in b
2.956 * [taylor]: Taking taylor expansion of i in b
2.956 * [taylor]: Taking taylor expansion of b in b
2.957 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z c)) (/ 1 (* t i)))) in c
2.957 * [taylor]: Taking taylor expansion of -1 in c
2.957 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* t i))) in c
2.957 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
2.957 * [taylor]: Taking taylor expansion of (* z c) in c
2.957 * [taylor]: Taking taylor expansion of z in c
2.957 * [taylor]: Taking taylor expansion of c in c
2.957 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in c
2.957 * [taylor]: Taking taylor expansion of (* t i) in c
2.957 * [taylor]: Taking taylor expansion of t in c
2.957 * [taylor]: Taking taylor expansion of i in c
2.957 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.957 * [taylor]: Taking taylor expansion of -1 in z
2.957 * [taylor]: Taking taylor expansion of z in z
2.957 * [taylor]: Taking taylor expansion of -1 in t
2.957 * [taylor]: Taking taylor expansion of 0 in c
2.958 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in z
2.958 * [taylor]: Taking taylor expansion of (* t i) in z
2.958 * [taylor]: Taking taylor expansion of t in z
2.958 * [taylor]: Taking taylor expansion of i in z
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of -1 in i
2.958 * [taylor]: Taking taylor expansion of 0 in c
2.958 * [taylor]: Taking taylor expansion of 0 in z
2.958 * [taylor]: Taking taylor expansion of 0 in z
2.958 * [taylor]: Taking taylor expansion of (/ 1 (* t i)) in t
2.959 * [taylor]: Taking taylor expansion of (* t i) in t
2.959 * [taylor]: Taking taylor expansion of t in t
2.959 * [taylor]: Taking taylor expansion of i in t
2.959 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.959 * [taylor]: Taking taylor expansion of i in i
2.959 * [taylor]: Taking taylor expansion of 0 in t
2.959 * [taylor]: Taking taylor expansion of 0 in i
2.959 * [taylor]: Taking taylor expansion of 0 in i
2.959 * [taylor]: Taking taylor expansion of 0 in c
2.959 * [taylor]: Taking taylor expansion of 0 in z
2.959 * [taylor]: Taking taylor expansion of 0 in z
2.960 * [taylor]: Taking taylor expansion of 0 in z
2.960 * [taylor]: Taking taylor expansion of 0 in t
2.960 * [taylor]: Taking taylor expansion of 0 in t
2.960 * [taylor]: Taking taylor expansion of 0 in t
2.960 * [taylor]: Taking taylor expansion of 0 in t
2.960 * [taylor]: Taking taylor expansion of 0 in i
2.960 * [taylor]: Taking taylor expansion of 0 in i
2.960 * [taylor]: Taking taylor expansion of 0 in i
2.960 * [taylor]: Taking taylor expansion of 0 in i
2.961 * [taylor]: Taking taylor expansion of 0 in c
2.961 * [taylor]: Taking taylor expansion of 0 in z
2.961 * [taylor]: Taking taylor expansion of 0 in z
2.961 * [taylor]: Taking taylor expansion of 0 in z
2.961 * [taylor]: Taking taylor expansion of 0 in z
2.961 * [taylor]: Taking taylor expansion of 0 in t
2.961 * [taylor]: Taking taylor expansion of 0 in t
2.961 * [taylor]: Taking taylor expansion of 0 in t
2.961 * [taylor]: Taking taylor expansion of 0 in t
2.961 * [taylor]: Taking taylor expansion of 0 in t
2.962 * [taylor]: Taking taylor expansion of 0 in t
2.962 * [taylor]: Taking taylor expansion of 0 in t
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * [taylor]: Taking taylor expansion of 0 in i
2.962 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
2.963 * [approximate]: Taking taylor expansion of (* a (* j c)) in (c j a) around 0
2.963 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
2.963 * [taylor]: Taking taylor expansion of a in a
2.963 * [taylor]: Taking taylor expansion of (* j c) in a
2.963 * [taylor]: Taking taylor expansion of j in a
2.963 * [taylor]: Taking taylor expansion of c in a
2.963 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
2.963 * [taylor]: Taking taylor expansion of a in j
2.963 * [taylor]: Taking taylor expansion of (* j c) in j
2.963 * [taylor]: Taking taylor expansion of j in j
2.963 * [taylor]: Taking taylor expansion of c in j
2.963 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
2.963 * [taylor]: Taking taylor expansion of a in c
2.963 * [taylor]: Taking taylor expansion of (* j c) in c
2.963 * [taylor]: Taking taylor expansion of j in c
2.963 * [taylor]: Taking taylor expansion of c in c
2.963 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
2.963 * [taylor]: Taking taylor expansion of a in c
2.963 * [taylor]: Taking taylor expansion of (* j c) in c
2.963 * [taylor]: Taking taylor expansion of j in c
2.963 * [taylor]: Taking taylor expansion of c in c
2.963 * [taylor]: Taking taylor expansion of 0 in j
2.963 * [taylor]: Taking taylor expansion of 0 in a
2.963 * [taylor]: Taking taylor expansion of (* a j) in j
2.963 * [taylor]: Taking taylor expansion of a in j
2.963 * [taylor]: Taking taylor expansion of j in j
2.963 * [taylor]: Taking taylor expansion of 0 in a
2.963 * [taylor]: Taking taylor expansion of 0 in a
2.963 * [taylor]: Taking taylor expansion of 0 in j
2.963 * [taylor]: Taking taylor expansion of 0 in a
2.963 * [taylor]: Taking taylor expansion of a in a
2.963 * [approximate]: Taking taylor expansion of (/ 1 (* a (* j c))) in (c j a) around 0
2.963 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in a
2.963 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
2.963 * [taylor]: Taking taylor expansion of a in a
2.963 * [taylor]: Taking taylor expansion of (* j c) in a
2.963 * [taylor]: Taking taylor expansion of j in a
2.963 * [taylor]: Taking taylor expansion of c in a
2.964 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in j
2.964 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
2.964 * [taylor]: Taking taylor expansion of a in j
2.964 * [taylor]: Taking taylor expansion of (* j c) in j
2.964 * [taylor]: Taking taylor expansion of j in j
2.964 * [taylor]: Taking taylor expansion of c in j
2.964 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
2.964 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
2.964 * [taylor]: Taking taylor expansion of a in c
2.964 * [taylor]: Taking taylor expansion of (* j c) in c
2.964 * [taylor]: Taking taylor expansion of j in c
2.964 * [taylor]: Taking taylor expansion of c in c
2.964 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
2.964 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
2.964 * [taylor]: Taking taylor expansion of a in c
2.964 * [taylor]: Taking taylor expansion of (* j c) in c
2.964 * [taylor]: Taking taylor expansion of j in c
2.964 * [taylor]: Taking taylor expansion of c in c
2.964 * [taylor]: Taking taylor expansion of (/ 1 (* a j)) in j
2.964 * [taylor]: Taking taylor expansion of (* a j) in j
2.964 * [taylor]: Taking taylor expansion of a in j
2.964 * [taylor]: Taking taylor expansion of j in j
2.964 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.964 * [taylor]: Taking taylor expansion of a in a
2.964 * [taylor]: Taking taylor expansion of 0 in j
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.965 * [taylor]: Taking taylor expansion of 0 in j
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.965 * [taylor]: Taking taylor expansion of 0 in j
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.966 * [approximate]: Taking taylor expansion of (/ -1 (* a (* j c))) in (c j a) around 0
2.966 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in a
2.966 * [taylor]: Taking taylor expansion of -1 in a
2.966 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
2.966 * [taylor]: Taking taylor expansion of a in a
2.966 * [taylor]: Taking taylor expansion of (* j c) in a
2.966 * [taylor]: Taking taylor expansion of j in a
2.966 * [taylor]: Taking taylor expansion of c in a
2.966 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in j
2.966 * [taylor]: Taking taylor expansion of -1 in j
2.966 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
2.966 * [taylor]: Taking taylor expansion of a in j
2.966 * [taylor]: Taking taylor expansion of (* j c) in j
2.966 * [taylor]: Taking taylor expansion of j in j
2.966 * [taylor]: Taking taylor expansion of c in j
2.966 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
2.966 * [taylor]: Taking taylor expansion of -1 in c
2.966 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
2.966 * [taylor]: Taking taylor expansion of a in c
2.966 * [taylor]: Taking taylor expansion of (* j c) in c
2.966 * [taylor]: Taking taylor expansion of j in c
2.966 * [taylor]: Taking taylor expansion of c in c
2.966 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
2.966 * [taylor]: Taking taylor expansion of -1 in c
2.966 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
2.966 * [taylor]: Taking taylor expansion of a in c
2.966 * [taylor]: Taking taylor expansion of (* j c) in c
2.966 * [taylor]: Taking taylor expansion of j in c
2.966 * [taylor]: Taking taylor expansion of c in c
2.966 * [taylor]: Taking taylor expansion of (/ -1 (* a j)) in j
2.967 * [taylor]: Taking taylor expansion of -1 in j
2.967 * [taylor]: Taking taylor expansion of (* a j) in j
2.967 * [taylor]: Taking taylor expansion of a in j
2.967 * [taylor]: Taking taylor expansion of j in j
2.967 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.967 * [taylor]: Taking taylor expansion of -1 in a
2.967 * [taylor]: Taking taylor expansion of a in a
2.967 * [taylor]: Taking taylor expansion of 0 in j
2.967 * [taylor]: Taking taylor expansion of 0 in a
2.967 * [taylor]: Taking taylor expansion of 0 in j
2.967 * [taylor]: Taking taylor expansion of 0 in a
2.967 * [taylor]: Taking taylor expansion of 0 in a
2.968 * [taylor]: Taking taylor expansion of 0 in j
2.968 * [taylor]: Taking taylor expansion of 0 in a
2.968 * [taylor]: Taking taylor expansion of 0 in a
2.968 * [taylor]: Taking taylor expansion of 0 in a
2.968 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
2.968 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0
2.968 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
2.968 * [taylor]: Taking taylor expansion of x in a
2.968 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
2.968 * [taylor]: Taking taylor expansion of (* z y) in a
2.968 * [taylor]: Taking taylor expansion of z in a
2.968 * [taylor]: Taking taylor expansion of y in a
2.968 * [taylor]: Taking taylor expansion of (* t a) in a
2.968 * [taylor]: Taking taylor expansion of t in a
2.968 * [taylor]: Taking taylor expansion of a in a
2.968 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
2.968 * [taylor]: Taking taylor expansion of x in t
2.968 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
2.968 * [taylor]: Taking taylor expansion of (* z y) in t
2.968 * [taylor]: Taking taylor expansion of z in t
2.968 * [taylor]: Taking taylor expansion of y in t
2.968 * [taylor]: Taking taylor expansion of (* t a) in t
2.968 * [taylor]: Taking taylor expansion of t in t
2.968 * [taylor]: Taking taylor expansion of a in t
2.968 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
2.968 * [taylor]: Taking taylor expansion of x in z
2.968 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
2.968 * [taylor]: Taking taylor expansion of (* z y) in z
2.968 * [taylor]: Taking taylor expansion of z in z
2.968 * [taylor]: Taking taylor expansion of y in z
2.969 * [taylor]: Taking taylor expansion of (* t a) in z
2.969 * [taylor]: Taking taylor expansion of t in z
2.969 * [taylor]: Taking taylor expansion of a in z
2.969 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
2.969 * [taylor]: Taking taylor expansion of x in y
2.969 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
2.969 * [taylor]: Taking taylor expansion of (* z y) in y
2.969 * [taylor]: Taking taylor expansion of z in y
2.969 * [taylor]: Taking taylor expansion of y in y
2.969 * [taylor]: Taking taylor expansion of (* t a) in y
2.969 * [taylor]: Taking taylor expansion of t in y
2.969 * [taylor]: Taking taylor expansion of a in y
2.969 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
2.969 * [taylor]: Taking taylor expansion of x in x
2.969 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
2.969 * [taylor]: Taking taylor expansion of (* z y) in x
2.969 * [taylor]: Taking taylor expansion of z in x
2.969 * [taylor]: Taking taylor expansion of y in x
2.969 * [taylor]: Taking taylor expansion of (* t a) in x
2.969 * [taylor]: Taking taylor expansion of t in x
2.969 * [taylor]: Taking taylor expansion of a in x
2.969 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
2.969 * [taylor]: Taking taylor expansion of x in x
2.969 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
2.969 * [taylor]: Taking taylor expansion of (* z y) in x
2.969 * [taylor]: Taking taylor expansion of z in x
2.969 * [taylor]: Taking taylor expansion of y in x
2.969 * [taylor]: Taking taylor expansion of (* t a) in x
2.969 * [taylor]: Taking taylor expansion of t in x
2.969 * [taylor]: Taking taylor expansion of a in x
2.969 * [taylor]: Taking taylor expansion of 0 in y
2.969 * [taylor]: Taking taylor expansion of 0 in z
2.969 * [taylor]: Taking taylor expansion of 0 in t
2.969 * [taylor]: Taking taylor expansion of 0 in a
2.969 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
2.969 * [taylor]: Taking taylor expansion of (* z y) in y
2.969 * [taylor]: Taking taylor expansion of z in y
2.969 * [taylor]: Taking taylor expansion of y in y
2.969 * [taylor]: Taking taylor expansion of (* t a) in y
2.969 * [taylor]: Taking taylor expansion of t in y
2.969 * [taylor]: Taking taylor expansion of a in y
2.970 * [taylor]: Taking taylor expansion of (neg (* t a)) in z
2.970 * [taylor]: Taking taylor expansion of (* t a) in z
2.970 * [taylor]: Taking taylor expansion of t in z
2.970 * [taylor]: Taking taylor expansion of a in z
2.970 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
2.970 * [taylor]: Taking taylor expansion of (* t a) in t
2.970 * [taylor]: Taking taylor expansion of t in t
2.970 * [taylor]: Taking taylor expansion of a in t
2.970 * [taylor]: Taking taylor expansion of 0 in a
2.970 * [taylor]: Taking taylor expansion of 0 in z
2.970 * [taylor]: Taking taylor expansion of 0 in t
2.970 * [taylor]: Taking taylor expansion of 0 in a
2.970 * [taylor]: Taking taylor expansion of 0 in t
2.970 * [taylor]: Taking taylor expansion of 0 in a
2.970 * [taylor]: Taking taylor expansion of 0 in a
2.970 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
2.970 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.970 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
2.970 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.970 * [taylor]: Taking taylor expansion of (* z y) in a
2.970 * [taylor]: Taking taylor expansion of z in a
2.970 * [taylor]: Taking taylor expansion of y in a
2.970 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.970 * [taylor]: Taking taylor expansion of (* t a) in a
2.970 * [taylor]: Taking taylor expansion of t in a
2.970 * [taylor]: Taking taylor expansion of a in a
2.970 * [taylor]: Taking taylor expansion of x in a
2.970 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.970 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
2.970 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.970 * [taylor]: Taking taylor expansion of (* z y) in t
2.970 * [taylor]: Taking taylor expansion of z in t
2.970 * [taylor]: Taking taylor expansion of y in t
2.971 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.971 * [taylor]: Taking taylor expansion of (* t a) in t
2.971 * [taylor]: Taking taylor expansion of t in t
2.971 * [taylor]: Taking taylor expansion of a in t
2.971 * [taylor]: Taking taylor expansion of x in t
2.971 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.971 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
2.971 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.971 * [taylor]: Taking taylor expansion of (* z y) in z
2.971 * [taylor]: Taking taylor expansion of z in z
2.971 * [taylor]: Taking taylor expansion of y in z
2.971 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.971 * [taylor]: Taking taylor expansion of (* t a) in z
2.971 * [taylor]: Taking taylor expansion of t in z
2.971 * [taylor]: Taking taylor expansion of a in z
2.971 * [taylor]: Taking taylor expansion of x in z
2.971 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.971 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.971 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.971 * [taylor]: Taking taylor expansion of (* z y) in y
2.971 * [taylor]: Taking taylor expansion of z in y
2.971 * [taylor]: Taking taylor expansion of y in y
2.971 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.971 * [taylor]: Taking taylor expansion of (* t a) in y
2.971 * [taylor]: Taking taylor expansion of t in y
2.971 * [taylor]: Taking taylor expansion of a in y
2.971 * [taylor]: Taking taylor expansion of x in y
2.971 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.971 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.971 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.971 * [taylor]: Taking taylor expansion of (* z y) in x
2.971 * [taylor]: Taking taylor expansion of z in x
2.971 * [taylor]: Taking taylor expansion of y in x
2.972 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.972 * [taylor]: Taking taylor expansion of (* t a) in x
2.972 * [taylor]: Taking taylor expansion of t in x
2.972 * [taylor]: Taking taylor expansion of a in x
2.972 * [taylor]: Taking taylor expansion of x in x
2.972 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.972 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.972 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.972 * [taylor]: Taking taylor expansion of (* z y) in x
2.972 * [taylor]: Taking taylor expansion of z in x
2.972 * [taylor]: Taking taylor expansion of y in x
2.972 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.972 * [taylor]: Taking taylor expansion of (* t a) in x
2.972 * [taylor]: Taking taylor expansion of t in x
2.972 * [taylor]: Taking taylor expansion of a in x
2.972 * [taylor]: Taking taylor expansion of x in x
2.972 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.972 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.972 * [taylor]: Taking taylor expansion of (* z y) in y
2.972 * [taylor]: Taking taylor expansion of z in y
2.972 * [taylor]: Taking taylor expansion of y in y
2.972 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.972 * [taylor]: Taking taylor expansion of (* t a) in y
2.972 * [taylor]: Taking taylor expansion of t in y
2.972 * [taylor]: Taking taylor expansion of a in y
2.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.972 * [taylor]: Taking taylor expansion of z in z
2.973 * [taylor]: Taking taylor expansion of 1 in t
2.973 * [taylor]: Taking taylor expansion of 0 in y
2.973 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in z
2.973 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.973 * [taylor]: Taking taylor expansion of (* t a) in z
2.973 * [taylor]: Taking taylor expansion of t in z
2.973 * [taylor]: Taking taylor expansion of a in z
2.973 * [taylor]: Taking taylor expansion of 0 in t
2.973 * [taylor]: Taking taylor expansion of 1 in a
2.973 * [taylor]: Taking taylor expansion of 0 in y
2.974 * [taylor]: Taking taylor expansion of 0 in z
2.974 * [taylor]: Taking taylor expansion of 0 in z
2.974 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
2.974 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.974 * [taylor]: Taking taylor expansion of (* t a) in t
2.974 * [taylor]: Taking taylor expansion of t in t
2.974 * [taylor]: Taking taylor expansion of a in t
2.974 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
2.974 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.974 * [taylor]: Taking taylor expansion of a in a
2.974 * [taylor]: Taking taylor expansion of 0 in t
2.974 * [taylor]: Taking taylor expansion of 0 in a
2.974 * [taylor]: Taking taylor expansion of 0 in a
2.975 * [taylor]: Taking taylor expansion of 0 in y
2.975 * [taylor]: Taking taylor expansion of 0 in z
2.975 * [taylor]: Taking taylor expansion of 0 in z
2.975 * [taylor]: Taking taylor expansion of 0 in z
2.975 * [taylor]: Taking taylor expansion of 0 in t
2.975 * [taylor]: Taking taylor expansion of 0 in t
2.975 * [taylor]: Taking taylor expansion of 0 in t
2.975 * [taylor]: Taking taylor expansion of 0 in t
2.975 * [taylor]: Taking taylor expansion of 0 in a
2.975 * [taylor]: Taking taylor expansion of 0 in a
2.975 * [taylor]: Taking taylor expansion of 0 in a
2.975 * [taylor]: Taking taylor expansion of 0 in a
2.976 * [taylor]: Taking taylor expansion of 0 in y
2.976 * [taylor]: Taking taylor expansion of 0 in z
2.976 * [taylor]: Taking taylor expansion of 0 in z
2.976 * [taylor]: Taking taylor expansion of 0 in z
2.976 * [taylor]: Taking taylor expansion of 0 in z
2.976 * [taylor]: Taking taylor expansion of 0 in t
2.976 * [taylor]: Taking taylor expansion of 0 in t
2.976 * [taylor]: Taking taylor expansion of 0 in t
2.976 * [taylor]: Taking taylor expansion of 0 in t
2.977 * [taylor]: Taking taylor expansion of 0 in t
2.977 * [taylor]: Taking taylor expansion of 0 in t
2.977 * [taylor]: Taking taylor expansion of 0 in t
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.977 * [taylor]: Taking taylor expansion of 0 in a
2.978 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
2.978 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
2.978 * [taylor]: Taking taylor expansion of -1 in a
2.978 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
2.978 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
2.978 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.978 * [taylor]: Taking taylor expansion of (* z y) in a
2.978 * [taylor]: Taking taylor expansion of z in a
2.978 * [taylor]: Taking taylor expansion of y in a
2.978 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.978 * [taylor]: Taking taylor expansion of (* t a) in a
2.978 * [taylor]: Taking taylor expansion of t in a
2.978 * [taylor]: Taking taylor expansion of a in a
2.978 * [taylor]: Taking taylor expansion of x in a
2.978 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
2.978 * [taylor]: Taking taylor expansion of -1 in t
2.978 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
2.978 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
2.978 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.978 * [taylor]: Taking taylor expansion of (* z y) in t
2.978 * [taylor]: Taking taylor expansion of z in t
2.978 * [taylor]: Taking taylor expansion of y in t
2.978 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.978 * [taylor]: Taking taylor expansion of (* t a) in t
2.978 * [taylor]: Taking taylor expansion of t in t
2.978 * [taylor]: Taking taylor expansion of a in t
2.978 * [taylor]: Taking taylor expansion of x in t
2.979 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
2.979 * [taylor]: Taking taylor expansion of -1 in z
2.979 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
2.979 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
2.979 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.979 * [taylor]: Taking taylor expansion of (* z y) in z
2.979 * [taylor]: Taking taylor expansion of z in z
2.979 * [taylor]: Taking taylor expansion of y in z
2.979 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.979 * [taylor]: Taking taylor expansion of (* t a) in z
2.979 * [taylor]: Taking taylor expansion of t in z
2.979 * [taylor]: Taking taylor expansion of a in z
2.979 * [taylor]: Taking taylor expansion of x in z
2.979 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
2.979 * [taylor]: Taking taylor expansion of -1 in y
2.979 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
2.979 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.979 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.979 * [taylor]: Taking taylor expansion of (* z y) in y
2.979 * [taylor]: Taking taylor expansion of z in y
2.979 * [taylor]: Taking taylor expansion of y in y
2.979 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.979 * [taylor]: Taking taylor expansion of (* t a) in y
2.979 * [taylor]: Taking taylor expansion of t in y
2.979 * [taylor]: Taking taylor expansion of a in y
2.979 * [taylor]: Taking taylor expansion of x in y
2.979 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
2.979 * [taylor]: Taking taylor expansion of -1 in x
2.979 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.979 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.979 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.979 * [taylor]: Taking taylor expansion of (* z y) in x
2.979 * [taylor]: Taking taylor expansion of z in x
2.979 * [taylor]: Taking taylor expansion of y in x
2.979 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.979 * [taylor]: Taking taylor expansion of (* t a) in x
2.979 * [taylor]: Taking taylor expansion of t in x
2.979 * [taylor]: Taking taylor expansion of a in x
2.980 * [taylor]: Taking taylor expansion of x in x
2.980 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
2.980 * [taylor]: Taking taylor expansion of -1 in x
2.980 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
2.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.980 * [taylor]: Taking taylor expansion of (* z y) in x
2.980 * [taylor]: Taking taylor expansion of z in x
2.980 * [taylor]: Taking taylor expansion of y in x
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.980 * [taylor]: Taking taylor expansion of (* t a) in x
2.980 * [taylor]: Taking taylor expansion of t in x
2.980 * [taylor]: Taking taylor expansion of a in x
2.980 * [taylor]: Taking taylor expansion of x in x
2.980 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y
2.980 * [taylor]: Taking taylor expansion of -1 in y
2.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.980 * [taylor]: Taking taylor expansion of (* z y) in y
2.980 * [taylor]: Taking taylor expansion of z in y
2.980 * [taylor]: Taking taylor expansion of y in y
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.980 * [taylor]: Taking taylor expansion of (* t a) in y
2.980 * [taylor]: Taking taylor expansion of t in y
2.980 * [taylor]: Taking taylor expansion of a in y
2.981 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.981 * [taylor]: Taking taylor expansion of -1 in z
2.981 * [taylor]: Taking taylor expansion of z in z
2.981 * [taylor]: Taking taylor expansion of -1 in t
2.981 * [taylor]: Taking taylor expansion of 0 in y
2.981 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.981 * [taylor]: Taking taylor expansion of (* t a) in z
2.981 * [taylor]: Taking taylor expansion of t in z
2.981 * [taylor]: Taking taylor expansion of a in z
2.981 * [taylor]: Taking taylor expansion of 0 in t
2.981 * [taylor]: Taking taylor expansion of -1 in a
2.982 * [taylor]: Taking taylor expansion of 0 in y
2.982 * [taylor]: Taking taylor expansion of 0 in z
2.982 * [taylor]: Taking taylor expansion of 0 in z
2.982 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.982 * [taylor]: Taking taylor expansion of (* t a) in t
2.982 * [taylor]: Taking taylor expansion of t in t
2.982 * [taylor]: Taking taylor expansion of a in t
2.982 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.982 * [taylor]: Taking taylor expansion of a in a
2.982 * [taylor]: Taking taylor expansion of 0 in t
2.982 * [taylor]: Taking taylor expansion of 0 in a
2.982 * [taylor]: Taking taylor expansion of 0 in a
2.983 * [taylor]: Taking taylor expansion of 0 in y
2.983 * [taylor]: Taking taylor expansion of 0 in z
2.983 * [taylor]: Taking taylor expansion of 0 in z
2.983 * [taylor]: Taking taylor expansion of 0 in z
2.983 * [taylor]: Taking taylor expansion of 0 in t
2.983 * [taylor]: Taking taylor expansion of 0 in t
2.983 * [taylor]: Taking taylor expansion of 0 in t
2.984 * [taylor]: Taking taylor expansion of 0 in t
2.984 * [taylor]: Taking taylor expansion of 0 in a
2.984 * [taylor]: Taking taylor expansion of 0 in a
2.984 * [taylor]: Taking taylor expansion of 0 in a
2.984 * [taylor]: Taking taylor expansion of 0 in a
2.984 * [taylor]: Taking taylor expansion of 0 in y
2.984 * [taylor]: Taking taylor expansion of 0 in z
2.985 * [taylor]: Taking taylor expansion of 0 in z
2.985 * [taylor]: Taking taylor expansion of 0 in z
2.985 * [taylor]: Taking taylor expansion of 0 in z
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in a
2.985 * [taylor]: Taking taylor expansion of 0 in a
2.985 * [taylor]: Taking taylor expansion of 0 in a
2.986 * [taylor]: Taking taylor expansion of 0 in a
2.986 * [taylor]: Taking taylor expansion of 0 in a
2.986 * [taylor]: Taking taylor expansion of 0 in a
2.986 * [taylor]: Taking taylor expansion of 0 in a
2.986 * [taylor]: Taking taylor expansion of 0 in a
2.986 * * * [progress]: simplifying candidates
2.987 * [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.014 * * [simplify]: iteration  0 :  5173  enodes  (cost  786 )
3.020 * [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.020 * * * [progress]: adding candidates to table
3.117 * * [progress]: iteration 3 / 4
3.117 * * * [progress]: picking best candidate
3.252 * * * * [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.252 * * * [progress]: localizing error
3.275 * * * [progress]: generating rewritten candidates
3.276 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
3.282 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
3.287 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.292 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
3.299 * * * [progress]: generating series expansions
3.299 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
3.299 * [approximate]: Taking taylor expansion of (* -1 (* i (* y j))) in (i j y) around 0
3.299 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in y
3.299 * [taylor]: Taking taylor expansion of -1 in y
3.299 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.299 * [taylor]: Taking taylor expansion of i in y
3.299 * [taylor]: Taking taylor expansion of (* y j) in y
3.299 * [taylor]: Taking taylor expansion of y in y
3.299 * [taylor]: Taking taylor expansion of j in y
3.299 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in j
3.299 * [taylor]: Taking taylor expansion of -1 in j
3.299 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.299 * [taylor]: Taking taylor expansion of i in j
3.299 * [taylor]: Taking taylor expansion of (* y j) in j
3.299 * [taylor]: Taking taylor expansion of y in j
3.299 * [taylor]: Taking taylor expansion of j in j
3.299 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.299 * [taylor]: Taking taylor expansion of -1 in i
3.299 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.299 * [taylor]: Taking taylor expansion of i in i
3.299 * [taylor]: Taking taylor expansion of (* y j) in i
3.299 * [taylor]: Taking taylor expansion of y in i
3.299 * [taylor]: Taking taylor expansion of j in i
3.299 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.299 * [taylor]: Taking taylor expansion of -1 in i
3.299 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.299 * [taylor]: Taking taylor expansion of i in i
3.299 * [taylor]: Taking taylor expansion of (* y j) in i
3.299 * [taylor]: Taking taylor expansion of y in i
3.299 * [taylor]: Taking taylor expansion of j in i
3.299 * [taylor]: Taking taylor expansion of 0 in j
3.299 * [taylor]: Taking taylor expansion of 0 in y
3.299 * [taylor]: Taking taylor expansion of (neg (* y j)) in j
3.299 * [taylor]: Taking taylor expansion of (* y j) in j
3.299 * [taylor]: Taking taylor expansion of y in j
3.300 * [taylor]: Taking taylor expansion of j in j
3.300 * [taylor]: Taking taylor expansion of 0 in y
3.300 * [taylor]: Taking taylor expansion of 0 in y
3.300 * [taylor]: Taking taylor expansion of 0 in j
3.300 * [taylor]: Taking taylor expansion of 0 in y
3.300 * [taylor]: Taking taylor expansion of (neg y) in y
3.300 * [taylor]: Taking taylor expansion of y in y
3.300 * [approximate]: Taking taylor expansion of (/ -1 (* i (* y j))) in (i j y) around 0
3.300 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in y
3.300 * [taylor]: Taking taylor expansion of -1 in y
3.300 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.300 * [taylor]: Taking taylor expansion of i in y
3.300 * [taylor]: Taking taylor expansion of (* y j) in y
3.300 * [taylor]: Taking taylor expansion of y in y
3.300 * [taylor]: Taking taylor expansion of j in y
3.300 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in j
3.300 * [taylor]: Taking taylor expansion of -1 in j
3.300 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.300 * [taylor]: Taking taylor expansion of i in j
3.300 * [taylor]: Taking taylor expansion of (* y j) in j
3.300 * [taylor]: Taking taylor expansion of y in j
3.300 * [taylor]: Taking taylor expansion of j in j
3.300 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.300 * [taylor]: Taking taylor expansion of -1 in i
3.300 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.300 * [taylor]: Taking taylor expansion of i in i
3.300 * [taylor]: Taking taylor expansion of (* y j) in i
3.300 * [taylor]: Taking taylor expansion of y in i
3.300 * [taylor]: Taking taylor expansion of j in i
3.301 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.301 * [taylor]: Taking taylor expansion of -1 in i
3.301 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.301 * [taylor]: Taking taylor expansion of i in i
3.301 * [taylor]: Taking taylor expansion of (* y j) in i
3.301 * [taylor]: Taking taylor expansion of y in i
3.301 * [taylor]: Taking taylor expansion of j in i
3.301 * [taylor]: Taking taylor expansion of (/ -1 (* y j)) in j
3.301 * [taylor]: Taking taylor expansion of -1 in j
3.301 * [taylor]: Taking taylor expansion of (* y j) in j
3.301 * [taylor]: Taking taylor expansion of y in j
3.301 * [taylor]: Taking taylor expansion of j in j
3.301 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.301 * [taylor]: Taking taylor expansion of -1 in y
3.301 * [taylor]: Taking taylor expansion of y in y
3.301 * [taylor]: Taking taylor expansion of 0 in j
3.301 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [taylor]: Taking taylor expansion of 0 in j
3.302 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [taylor]: Taking taylor expansion of 0 in j
3.302 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [approximate]: Taking taylor expansion of (/ 1 (* i (* y j))) in (i j y) around 0
3.302 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in y
3.303 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.303 * [taylor]: Taking taylor expansion of i in y
3.303 * [taylor]: Taking taylor expansion of (* y j) in y
3.303 * [taylor]: Taking taylor expansion of y in y
3.303 * [taylor]: Taking taylor expansion of j in y
3.303 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in j
3.303 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.303 * [taylor]: Taking taylor expansion of i in j
3.303 * [taylor]: Taking taylor expansion of (* y j) in j
3.303 * [taylor]: Taking taylor expansion of y in j
3.303 * [taylor]: Taking taylor expansion of j in j
3.303 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
3.303 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.303 * [taylor]: Taking taylor expansion of i in i
3.303 * [taylor]: Taking taylor expansion of (* y j) in i
3.303 * [taylor]: Taking taylor expansion of y in i
3.303 * [taylor]: Taking taylor expansion of j in i
3.303 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
3.303 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.303 * [taylor]: Taking taylor expansion of i in i
3.303 * [taylor]: Taking taylor expansion of (* y j) in i
3.303 * [taylor]: Taking taylor expansion of y in i
3.303 * [taylor]: Taking taylor expansion of j in i
3.303 * [taylor]: Taking taylor expansion of (/ 1 (* y j)) in j
3.303 * [taylor]: Taking taylor expansion of (* y j) in j
3.303 * [taylor]: Taking taylor expansion of y in j
3.303 * [taylor]: Taking taylor expansion of j in j
3.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.303 * [taylor]: Taking taylor expansion of y in y
3.304 * [taylor]: Taking taylor expansion of 0 in j
3.304 * [taylor]: Taking taylor expansion of 0 in y
3.304 * [taylor]: Taking taylor expansion of 0 in j
3.304 * [taylor]: Taking taylor expansion of 0 in y
3.304 * [taylor]: Taking taylor expansion of 0 in y
3.304 * [taylor]: Taking taylor expansion of 0 in j
3.304 * [taylor]: Taking taylor expansion of 0 in y
3.304 * [taylor]: Taking taylor expansion of 0 in y
3.305 * [taylor]: Taking taylor expansion of 0 in y
3.305 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
3.305 * [approximate]: Taking taylor expansion of (* -1 (* t (* i b))) in (i b t) around 0
3.305 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in t
3.305 * [taylor]: Taking taylor expansion of -1 in t
3.305 * [taylor]: Taking taylor expansion of (* t (* i b)) in t
3.305 * [taylor]: Taking taylor expansion of t in t
3.305 * [taylor]: Taking taylor expansion of (* i b) in t
3.305 * [taylor]: Taking taylor expansion of i in t
3.305 * [taylor]: Taking taylor expansion of b in t
3.305 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in b
3.305 * [taylor]: Taking taylor expansion of -1 in b
3.305 * [taylor]: Taking taylor expansion of (* t (* i b)) in b
3.305 * [taylor]: Taking taylor expansion of t in b
3.305 * [taylor]: Taking taylor expansion of (* i b) in b
3.305 * [taylor]: Taking taylor expansion of i in b
3.305 * [taylor]: Taking taylor expansion of b in b
3.305 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in i
3.305 * [taylor]: Taking taylor expansion of -1 in i
3.305 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.305 * [taylor]: Taking taylor expansion of t in i
3.305 * [taylor]: Taking taylor expansion of (* i b) in i
3.305 * [taylor]: Taking taylor expansion of i in i
3.305 * [taylor]: Taking taylor expansion of b in i
3.305 * [taylor]: Taking taylor expansion of (* -1 (* t (* i b))) in i
3.305 * [taylor]: Taking taylor expansion of -1 in i
3.305 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.305 * [taylor]: Taking taylor expansion of t in i
3.305 * [taylor]: Taking taylor expansion of (* i b) in i
3.305 * [taylor]: Taking taylor expansion of i in i
3.305 * [taylor]: Taking taylor expansion of b in i
3.305 * [taylor]: Taking taylor expansion of 0 in b
3.305 * [taylor]: Taking taylor expansion of 0 in t
3.305 * [taylor]: Taking taylor expansion of (neg (* t b)) in b
3.305 * [taylor]: Taking taylor expansion of (* t b) in b
3.305 * [taylor]: Taking taylor expansion of t in b
3.305 * [taylor]: Taking taylor expansion of b in b
3.305 * [taylor]: Taking taylor expansion of 0 in t
3.306 * [taylor]: Taking taylor expansion of 0 in t
3.306 * [taylor]: Taking taylor expansion of 0 in b
3.306 * [taylor]: Taking taylor expansion of 0 in t
3.306 * [taylor]: Taking taylor expansion of (neg t) in t
3.306 * [taylor]: Taking taylor expansion of t in t
3.306 * [approximate]: Taking taylor expansion of (/ -1 (* t (* i b))) in (i b t) around 0
3.306 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in t
3.306 * [taylor]: Taking taylor expansion of -1 in t
3.306 * [taylor]: Taking taylor expansion of (* t (* i b)) in t
3.306 * [taylor]: Taking taylor expansion of t in t
3.306 * [taylor]: Taking taylor expansion of (* i b) in t
3.306 * [taylor]: Taking taylor expansion of i in t
3.306 * [taylor]: Taking taylor expansion of b in t
3.306 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in b
3.306 * [taylor]: Taking taylor expansion of -1 in b
3.306 * [taylor]: Taking taylor expansion of (* t (* i b)) in b
3.306 * [taylor]: Taking taylor expansion of t in b
3.306 * [taylor]: Taking taylor expansion of (* i b) in b
3.306 * [taylor]: Taking taylor expansion of i in b
3.306 * [taylor]: Taking taylor expansion of b in b
3.306 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in i
3.306 * [taylor]: Taking taylor expansion of -1 in i
3.306 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.306 * [taylor]: Taking taylor expansion of t in i
3.306 * [taylor]: Taking taylor expansion of (* i b) in i
3.306 * [taylor]: Taking taylor expansion of i in i
3.306 * [taylor]: Taking taylor expansion of b in i
3.307 * [taylor]: Taking taylor expansion of (/ -1 (* t (* i b))) in i
3.307 * [taylor]: Taking taylor expansion of -1 in i
3.307 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.307 * [taylor]: Taking taylor expansion of t in i
3.307 * [taylor]: Taking taylor expansion of (* i b) in i
3.307 * [taylor]: Taking taylor expansion of i in i
3.307 * [taylor]: Taking taylor expansion of b in i
3.307 * [taylor]: Taking taylor expansion of (/ -1 (* t b)) in b
3.307 * [taylor]: Taking taylor expansion of -1 in b
3.307 * [taylor]: Taking taylor expansion of (* t b) in b
3.307 * [taylor]: Taking taylor expansion of t in b
3.307 * [taylor]: Taking taylor expansion of b in b
3.307 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.307 * [taylor]: Taking taylor expansion of -1 in t
3.307 * [taylor]: Taking taylor expansion of t in t
3.307 * [taylor]: Taking taylor expansion of 0 in b
3.307 * [taylor]: Taking taylor expansion of 0 in t
3.307 * [taylor]: Taking taylor expansion of 0 in b
3.307 * [taylor]: Taking taylor expansion of 0 in t
3.308 * [taylor]: Taking taylor expansion of 0 in t
3.308 * [taylor]: Taking taylor expansion of 0 in b
3.308 * [taylor]: Taking taylor expansion of 0 in t
3.308 * [taylor]: Taking taylor expansion of 0 in t
3.308 * [taylor]: Taking taylor expansion of 0 in t
3.308 * [approximate]: Taking taylor expansion of (/ 1 (* t (* i b))) in (i b t) around 0
3.308 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in t
3.308 * [taylor]: Taking taylor expansion of (* t (* i b)) in t
3.308 * [taylor]: Taking taylor expansion of t in t
3.308 * [taylor]: Taking taylor expansion of (* i b) in t
3.308 * [taylor]: Taking taylor expansion of i in t
3.308 * [taylor]: Taking taylor expansion of b in t
3.309 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in b
3.309 * [taylor]: Taking taylor expansion of (* t (* i b)) in b
3.309 * [taylor]: Taking taylor expansion of t in b
3.309 * [taylor]: Taking taylor expansion of (* i b) in b
3.309 * [taylor]: Taking taylor expansion of i in b
3.309 * [taylor]: Taking taylor expansion of b in b
3.309 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in i
3.309 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.309 * [taylor]: Taking taylor expansion of t in i
3.309 * [taylor]: Taking taylor expansion of (* i b) in i
3.309 * [taylor]: Taking taylor expansion of i in i
3.309 * [taylor]: Taking taylor expansion of b in i
3.309 * [taylor]: Taking taylor expansion of (/ 1 (* t (* i b))) in i
3.309 * [taylor]: Taking taylor expansion of (* t (* i b)) in i
3.309 * [taylor]: Taking taylor expansion of t in i
3.309 * [taylor]: Taking taylor expansion of (* i b) in i
3.309 * [taylor]: Taking taylor expansion of i in i
3.309 * [taylor]: Taking taylor expansion of b in i
3.309 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b
3.309 * [taylor]: Taking taylor expansion of (* t b) in b
3.309 * [taylor]: Taking taylor expansion of t in b
3.309 * [taylor]: Taking taylor expansion of b in b
3.309 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.309 * [taylor]: Taking taylor expansion of t in t
3.309 * [taylor]: Taking taylor expansion of 0 in b
3.310 * [taylor]: Taking taylor expansion of 0 in t
3.310 * [taylor]: Taking taylor expansion of 0 in b
3.310 * [taylor]: Taking taylor expansion of 0 in t
3.310 * [taylor]: Taking taylor expansion of 0 in t
3.310 * [taylor]: Taking taylor expansion of 0 in b
3.310 * [taylor]: Taking taylor expansion of 0 in t
3.310 * [taylor]: Taking taylor expansion of 0 in t
3.310 * [taylor]: Taking taylor expansion of 0 in t
3.311 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.311 * [approximate]: Taking taylor expansion of (* a (* j c)) in (c j a) around 0
3.311 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.311 * [taylor]: Taking taylor expansion of a in a
3.311 * [taylor]: Taking taylor expansion of (* j c) in a
3.311 * [taylor]: Taking taylor expansion of j in a
3.311 * [taylor]: Taking taylor expansion of c in a
3.311 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.311 * [taylor]: Taking taylor expansion of a in j
3.311 * [taylor]: Taking taylor expansion of (* j c) in j
3.311 * [taylor]: Taking taylor expansion of j in j
3.311 * [taylor]: Taking taylor expansion of c in j
3.311 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.311 * [taylor]: Taking taylor expansion of a in c
3.311 * [taylor]: Taking taylor expansion of (* j c) in c
3.311 * [taylor]: Taking taylor expansion of j in c
3.311 * [taylor]: Taking taylor expansion of c in c
3.311 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.311 * [taylor]: Taking taylor expansion of a in c
3.311 * [taylor]: Taking taylor expansion of (* j c) in c
3.311 * [taylor]: Taking taylor expansion of j in c
3.311 * [taylor]: Taking taylor expansion of c in c
3.311 * [taylor]: Taking taylor expansion of 0 in j
3.311 * [taylor]: Taking taylor expansion of 0 in a
3.311 * [taylor]: Taking taylor expansion of (* a j) in j
3.311 * [taylor]: Taking taylor expansion of a in j
3.311 * [taylor]: Taking taylor expansion of j in j
3.311 * [taylor]: Taking taylor expansion of 0 in a
3.311 * [taylor]: Taking taylor expansion of 0 in a
3.311 * [taylor]: Taking taylor expansion of 0 in j
3.311 * [taylor]: Taking taylor expansion of 0 in a
3.311 * [taylor]: Taking taylor expansion of a in a
3.311 * [approximate]: Taking taylor expansion of (/ 1 (* a (* j c))) in (c j a) around 0
3.311 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in a
3.311 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.311 * [taylor]: Taking taylor expansion of a in a
3.312 * [taylor]: Taking taylor expansion of (* j c) in a
3.312 * [taylor]: Taking taylor expansion of j in a
3.312 * [taylor]: Taking taylor expansion of c in a
3.312 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in j
3.312 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.312 * [taylor]: Taking taylor expansion of a in j
3.312 * [taylor]: Taking taylor expansion of (* j c) in j
3.312 * [taylor]: Taking taylor expansion of j in j
3.312 * [taylor]: Taking taylor expansion of c in j
3.312 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.312 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.312 * [taylor]: Taking taylor expansion of a in c
3.312 * [taylor]: Taking taylor expansion of (* j c) in c
3.312 * [taylor]: Taking taylor expansion of j in c
3.312 * [taylor]: Taking taylor expansion of c in c
3.312 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.312 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.312 * [taylor]: Taking taylor expansion of a in c
3.312 * [taylor]: Taking taylor expansion of (* j c) in c
3.312 * [taylor]: Taking taylor expansion of j in c
3.312 * [taylor]: Taking taylor expansion of c in c
3.312 * [taylor]: Taking taylor expansion of (/ 1 (* a j)) in j
3.312 * [taylor]: Taking taylor expansion of (* a j) in j
3.312 * [taylor]: Taking taylor expansion of a in j
3.312 * [taylor]: Taking taylor expansion of j in j
3.312 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.312 * [taylor]: Taking taylor expansion of a in a
3.313 * [taylor]: Taking taylor expansion of 0 in j
3.313 * [taylor]: Taking taylor expansion of 0 in a
3.313 * [taylor]: Taking taylor expansion of 0 in j
3.313 * [taylor]: Taking taylor expansion of 0 in a
3.313 * [taylor]: Taking taylor expansion of 0 in a
3.313 * [taylor]: Taking taylor expansion of 0 in j
3.313 * [taylor]: Taking taylor expansion of 0 in a
3.313 * [taylor]: Taking taylor expansion of 0 in a
3.313 * [taylor]: Taking taylor expansion of 0 in a
3.314 * [approximate]: Taking taylor expansion of (/ -1 (* a (* j c))) in (c j a) around 0
3.314 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in a
3.314 * [taylor]: Taking taylor expansion of -1 in a
3.314 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.314 * [taylor]: Taking taylor expansion of a in a
3.314 * [taylor]: Taking taylor expansion of (* j c) in a
3.314 * [taylor]: Taking taylor expansion of j in a
3.314 * [taylor]: Taking taylor expansion of c in a
3.314 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in j
3.314 * [taylor]: Taking taylor expansion of -1 in j
3.314 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.314 * [taylor]: Taking taylor expansion of a in j
3.314 * [taylor]: Taking taylor expansion of (* j c) in j
3.314 * [taylor]: Taking taylor expansion of j in j
3.314 * [taylor]: Taking taylor expansion of c in j
3.314 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.314 * [taylor]: Taking taylor expansion of -1 in c
3.314 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.314 * [taylor]: Taking taylor expansion of a in c
3.314 * [taylor]: Taking taylor expansion of (* j c) in c
3.314 * [taylor]: Taking taylor expansion of j in c
3.314 * [taylor]: Taking taylor expansion of c in c
3.314 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in c
3.314 * [taylor]: Taking taylor expansion of -1 in c
3.314 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.314 * [taylor]: Taking taylor expansion of a in c
3.314 * [taylor]: Taking taylor expansion of (* j c) in c
3.314 * [taylor]: Taking taylor expansion of j in c
3.314 * [taylor]: Taking taylor expansion of c in c
3.315 * [taylor]: Taking taylor expansion of (/ -1 (* a j)) in j
3.315 * [taylor]: Taking taylor expansion of -1 in j
3.315 * [taylor]: Taking taylor expansion of (* a j) in j
3.315 * [taylor]: Taking taylor expansion of a in j
3.315 * [taylor]: Taking taylor expansion of j in j
3.315 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.315 * [taylor]: Taking taylor expansion of -1 in a
3.315 * [taylor]: Taking taylor expansion of a in a
3.315 * [taylor]: Taking taylor expansion of 0 in j
3.315 * [taylor]: Taking taylor expansion of 0 in a
3.315 * [taylor]: Taking taylor expansion of 0 in j
3.315 * [taylor]: Taking taylor expansion of 0 in a
3.315 * [taylor]: Taking taylor expansion of 0 in a
3.316 * [taylor]: Taking taylor expansion of 0 in j
3.316 * [taylor]: Taking taylor expansion of 0 in a
3.316 * [taylor]: Taking taylor expansion of 0 in a
3.316 * [taylor]: Taking taylor expansion of 0 in a
3.316 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
3.316 * [approximate]: Taking taylor expansion of (* z (* b c)) in (b c z) around 0
3.316 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.316 * [taylor]: Taking taylor expansion of z in z
3.316 * [taylor]: Taking taylor expansion of (* b c) in z
3.316 * [taylor]: Taking taylor expansion of b in z
3.316 * [taylor]: Taking taylor expansion of c in z
3.316 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.316 * [taylor]: Taking taylor expansion of z in c
3.316 * [taylor]: Taking taylor expansion of (* b c) in c
3.316 * [taylor]: Taking taylor expansion of b in c
3.316 * [taylor]: Taking taylor expansion of c in c
3.316 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.316 * [taylor]: Taking taylor expansion of z in b
3.316 * [taylor]: Taking taylor expansion of (* b c) in b
3.316 * [taylor]: Taking taylor expansion of b in b
3.316 * [taylor]: Taking taylor expansion of c in b
3.316 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.316 * [taylor]: Taking taylor expansion of z in b
3.316 * [taylor]: Taking taylor expansion of (* b c) in b
3.316 * [taylor]: Taking taylor expansion of b in b
3.316 * [taylor]: Taking taylor expansion of c in b
3.317 * [taylor]: Taking taylor expansion of 0 in c
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [taylor]: Taking taylor expansion of (* z c) in c
3.317 * [taylor]: Taking taylor expansion of z in c
3.317 * [taylor]: Taking taylor expansion of c in c
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [taylor]: Taking taylor expansion of 0 in c
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [taylor]: Taking taylor expansion of z in z
3.317 * [approximate]: Taking taylor expansion of (/ 1 (* z (* b c))) in (b c z) around 0
3.317 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in z
3.317 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.317 * [taylor]: Taking taylor expansion of z in z
3.317 * [taylor]: Taking taylor expansion of (* b c) in z
3.317 * [taylor]: Taking taylor expansion of b in z
3.317 * [taylor]: Taking taylor expansion of c in z
3.317 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in c
3.317 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.317 * [taylor]: Taking taylor expansion of z in c
3.317 * [taylor]: Taking taylor expansion of (* b c) in c
3.317 * [taylor]: Taking taylor expansion of b in c
3.317 * [taylor]: Taking taylor expansion of c in c
3.317 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.317 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.317 * [taylor]: Taking taylor expansion of z in b
3.317 * [taylor]: Taking taylor expansion of (* b c) in b
3.317 * [taylor]: Taking taylor expansion of b in b
3.317 * [taylor]: Taking taylor expansion of c in b
3.318 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.318 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.318 * [taylor]: Taking taylor expansion of z in b
3.318 * [taylor]: Taking taylor expansion of (* b c) in b
3.318 * [taylor]: Taking taylor expansion of b in b
3.318 * [taylor]: Taking taylor expansion of c in b
3.318 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
3.318 * [taylor]: Taking taylor expansion of (* z c) in c
3.318 * [taylor]: Taking taylor expansion of z in c
3.318 * [taylor]: Taking taylor expansion of c in c
3.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.318 * [taylor]: Taking taylor expansion of z in z
3.318 * [taylor]: Taking taylor expansion of 0 in c
3.318 * [taylor]: Taking taylor expansion of 0 in z
3.318 * [taylor]: Taking taylor expansion of 0 in c
3.318 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [taylor]: Taking taylor expansion of 0 in c
3.319 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [approximate]: Taking taylor expansion of (/ -1 (* z (* b c))) in (b c z) around 0
3.319 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in z
3.319 * [taylor]: Taking taylor expansion of -1 in z
3.319 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.319 * [taylor]: Taking taylor expansion of z in z
3.319 * [taylor]: Taking taylor expansion of (* b c) in z
3.319 * [taylor]: Taking taylor expansion of b in z
3.319 * [taylor]: Taking taylor expansion of c in z
3.319 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in c
3.319 * [taylor]: Taking taylor expansion of -1 in c
3.319 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.319 * [taylor]: Taking taylor expansion of z in c
3.320 * [taylor]: Taking taylor expansion of (* b c) in c
3.320 * [taylor]: Taking taylor expansion of b in c
3.320 * [taylor]: Taking taylor expansion of c in c
3.320 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b
3.320 * [taylor]: Taking taylor expansion of -1 in b
3.320 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.320 * [taylor]: Taking taylor expansion of z in b
3.320 * [taylor]: Taking taylor expansion of (* b c) in b
3.320 * [taylor]: Taking taylor expansion of b in b
3.320 * [taylor]: Taking taylor expansion of c in b
3.320 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b
3.320 * [taylor]: Taking taylor expansion of -1 in b
3.320 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.320 * [taylor]: Taking taylor expansion of z in b
3.320 * [taylor]: Taking taylor expansion of (* b c) in b
3.320 * [taylor]: Taking taylor expansion of b in b
3.320 * [taylor]: Taking taylor expansion of c in b
3.320 * [taylor]: Taking taylor expansion of (/ -1 (* z c)) in c
3.320 * [taylor]: Taking taylor expansion of -1 in c
3.320 * [taylor]: Taking taylor expansion of (* z c) in c
3.320 * [taylor]: Taking taylor expansion of z in c
3.320 * [taylor]: Taking taylor expansion of c in c
3.320 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.320 * [taylor]: Taking taylor expansion of -1 in z
3.320 * [taylor]: Taking taylor expansion of z in z
3.320 * [taylor]: Taking taylor expansion of 0 in c
3.321 * [taylor]: Taking taylor expansion of 0 in z
3.321 * [taylor]: Taking taylor expansion of 0 in c
3.321 * [taylor]: Taking taylor expansion of 0 in z
3.321 * [taylor]: Taking taylor expansion of 0 in z
3.321 * [taylor]: Taking taylor expansion of 0 in c
3.321 * [taylor]: Taking taylor expansion of 0 in z
3.321 * [taylor]: Taking taylor expansion of 0 in z
3.321 * [taylor]: Taking taylor expansion of 0 in z
3.322 * * * [progress]: simplifying candidates
3.322 * [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.367 * * [simplify]: iteration  0 :  4858  enodes  (cost  516 )
3.367 * * [simplify]: iteration  1 :  4858  enodes  (cost  516 )
3.370 * [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.370 * * * [progress]: adding candidates to table
3.449 * * [progress]: iteration 4 / 4
3.449 * * * [progress]: picking best candidate
3.565 * * * * [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.565 * * * [progress]: localizing error
3.589 * * * [progress]: generating rewritten candidates
3.589 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
3.594 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.598 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.603 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.612 * * * [progress]: generating series expansions
3.612 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
3.612 * [approximate]: Taking taylor expansion of (* -1 (* i (* y j))) in (i j y) around 0
3.612 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in y
3.612 * [taylor]: Taking taylor expansion of -1 in y
3.612 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.612 * [taylor]: Taking taylor expansion of i in y
3.612 * [taylor]: Taking taylor expansion of (* y j) in y
3.612 * [taylor]: Taking taylor expansion of y in y
3.612 * [taylor]: Taking taylor expansion of j in y
3.612 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in j
3.612 * [taylor]: Taking taylor expansion of -1 in j
3.613 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.613 * [taylor]: Taking taylor expansion of i in j
3.613 * [taylor]: Taking taylor expansion of (* y j) in j
3.613 * [taylor]: Taking taylor expansion of y in j
3.613 * [taylor]: Taking taylor expansion of j in j
3.613 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.613 * [taylor]: Taking taylor expansion of -1 in i
3.613 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.613 * [taylor]: Taking taylor expansion of i in i
3.613 * [taylor]: Taking taylor expansion of (* y j) in i
3.613 * [taylor]: Taking taylor expansion of y in i
3.613 * [taylor]: Taking taylor expansion of j in i
3.613 * [taylor]: Taking taylor expansion of (* -1 (* i (* y j))) in i
3.613 * [taylor]: Taking taylor expansion of -1 in i
3.613 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.613 * [taylor]: Taking taylor expansion of i in i
3.613 * [taylor]: Taking taylor expansion of (* y j) in i
3.613 * [taylor]: Taking taylor expansion of y in i
3.613 * [taylor]: Taking taylor expansion of j in i
3.613 * [taylor]: Taking taylor expansion of 0 in j
3.613 * [taylor]: Taking taylor expansion of 0 in y
3.613 * [taylor]: Taking taylor expansion of (neg (* y j)) in j
3.613 * [taylor]: Taking taylor expansion of (* y j) in j
3.613 * [taylor]: Taking taylor expansion of y in j
3.613 * [taylor]: Taking taylor expansion of j in j
3.613 * [taylor]: Taking taylor expansion of 0 in y
3.613 * [taylor]: Taking taylor expansion of 0 in y
3.613 * [taylor]: Taking taylor expansion of 0 in j
3.613 * [taylor]: Taking taylor expansion of 0 in y
3.613 * [taylor]: Taking taylor expansion of (neg y) in y
3.613 * [taylor]: Taking taylor expansion of y in y
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.614 * [taylor]: Taking taylor expansion of -1 in y
3.614 * [taylor]: Taking taylor expansion of (* i (* y j)) in y
3.614 * [taylor]: Taking taylor expansion of i in y
3.614 * [taylor]: Taking taylor expansion of (* y j) in y
3.614 * [taylor]: Taking taylor expansion of y in y
3.614 * [taylor]: Taking taylor expansion of j in y
3.614 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in j
3.614 * [taylor]: Taking taylor expansion of -1 in j
3.614 * [taylor]: Taking taylor expansion of (* i (* y j)) in j
3.614 * [taylor]: Taking taylor expansion of i in j
3.614 * [taylor]: Taking taylor expansion of (* y j) in j
3.614 * [taylor]: Taking taylor expansion of y in j
3.614 * [taylor]: Taking taylor expansion of j in j
3.614 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.614 * [taylor]: Taking taylor expansion of -1 in i
3.614 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.614 * [taylor]: Taking taylor expansion of i in i
3.614 * [taylor]: Taking taylor expansion of (* y j) in i
3.614 * [taylor]: Taking taylor expansion of y in i
3.614 * [taylor]: Taking taylor expansion of j in i
3.614 * [taylor]: Taking taylor expansion of (/ -1 (* i (* y j))) in i
3.614 * [taylor]: Taking taylor expansion of -1 in i
3.614 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.614 * [taylor]: Taking taylor expansion of i in i
3.614 * [taylor]: Taking taylor expansion of (* y j) in i
3.614 * [taylor]: Taking taylor expansion of y in i
3.614 * [taylor]: Taking taylor expansion of j in i
3.614 * [taylor]: Taking taylor expansion of (/ -1 (* y j)) in j
3.614 * [taylor]: Taking taylor expansion of -1 in j
3.614 * [taylor]: Taking taylor expansion of (* y j) in j
3.614 * [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 y) in y
3.615 * [taylor]: Taking taylor expansion of -1 in y
3.615 * [taylor]: Taking taylor expansion of y in y
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 0 in j
3.615 * [taylor]: Taking taylor expansion of 0 in y
3.615 * [taylor]: Taking taylor expansion of 0 in y
3.616 * [taylor]: Taking taylor expansion of 0 in j
3.616 * [taylor]: Taking taylor expansion of 0 in y
3.616 * [taylor]: Taking taylor expansion of 0 in y
3.616 * [taylor]: Taking taylor expansion of 0 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 (* 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 (* 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 (* 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.617 * [taylor]: Taking taylor expansion of y in i
3.617 * [taylor]: Taking taylor expansion of j in i
3.617 * [taylor]: Taking taylor expansion of (/ 1 (* i (* y j))) in i
3.617 * [taylor]: Taking taylor expansion of (* i (* y j)) in i
3.617 * [taylor]: Taking taylor expansion of i in i
3.617 * [taylor]: Taking taylor expansion of (* y j) in i
3.617 * [taylor]: Taking taylor expansion of y in i
3.617 * [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 (* 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 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.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 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 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.618 * [approximate]: Taking taylor expansion of (* a (* j c)) in (c j a) around 0
3.618 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.618 * [taylor]: Taking taylor expansion of a in a
3.618 * [taylor]: Taking taylor expansion of (* j c) in a
3.618 * [taylor]: Taking taylor expansion of j in a
3.618 * [taylor]: Taking taylor expansion of c in a
3.618 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.618 * [taylor]: Taking taylor expansion of a in j
3.618 * [taylor]: Taking taylor expansion of (* j c) in j
3.618 * [taylor]: Taking taylor expansion of j in j
3.619 * [taylor]: Taking taylor expansion of c in j
3.619 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.619 * [taylor]: Taking taylor expansion of a in c
3.619 * [taylor]: Taking taylor expansion of (* j c) in c
3.619 * [taylor]: Taking taylor expansion of j in c
3.619 * [taylor]: Taking taylor expansion of c in c
3.619 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.619 * [taylor]: Taking taylor expansion of a in c
3.619 * [taylor]: Taking taylor expansion of (* j c) in c
3.619 * [taylor]: Taking taylor expansion of j in c
3.619 * [taylor]: Taking taylor expansion of c in c
3.619 * [taylor]: Taking taylor expansion of 0 in j
3.619 * [taylor]: Taking taylor expansion of 0 in a
3.619 * [taylor]: Taking taylor expansion of (* a j) in j
3.619 * [taylor]: Taking taylor expansion of a in j
3.619 * [taylor]: Taking taylor expansion of j in j
3.619 * [taylor]: Taking taylor expansion of 0 in a
3.619 * [taylor]: Taking taylor expansion of 0 in a
3.619 * [taylor]: Taking taylor expansion of 0 in j
3.619 * [taylor]: Taking taylor expansion of 0 in a
3.619 * [taylor]: Taking taylor expansion of a in a
3.619 * [approximate]: Taking taylor expansion of (/ 1 (* a (* j c))) in (c j a) around 0
3.619 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in a
3.619 * [taylor]: Taking taylor expansion of (* a (* j c)) in a
3.619 * [taylor]: Taking taylor expansion of a in a
3.619 * [taylor]: Taking taylor expansion of (* j c) in a
3.619 * [taylor]: Taking taylor expansion of j in a
3.619 * [taylor]: Taking taylor expansion of c in a
3.619 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in j
3.619 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.619 * [taylor]: Taking taylor expansion of a in j
3.619 * [taylor]: Taking taylor expansion of (* j c) in j
3.619 * [taylor]: Taking taylor expansion of j in j
3.619 * [taylor]: Taking taylor expansion of c in j
3.620 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.620 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.620 * [taylor]: Taking taylor expansion of a in c
3.620 * [taylor]: Taking taylor expansion of (* j c) in c
3.620 * [taylor]: Taking taylor expansion of j in c
3.620 * [taylor]: Taking taylor expansion of c in c
3.620 * [taylor]: Taking taylor expansion of (/ 1 (* a (* j c))) in c
3.620 * [taylor]: Taking taylor expansion of (* a (* j c)) in c
3.620 * [taylor]: Taking taylor expansion of a in c
3.620 * [taylor]: Taking taylor expansion of (* j c) in c
3.620 * [taylor]: Taking taylor expansion of j in c
3.620 * [taylor]: Taking taylor expansion of c in c
3.620 * [taylor]: Taking taylor expansion of (/ 1 (* a j)) in j
3.620 * [taylor]: Taking taylor expansion of (* a j) in j
3.620 * [taylor]: Taking taylor expansion of a in j
3.620 * [taylor]: Taking taylor expansion of j in j
3.620 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.620 * [taylor]: Taking taylor expansion of a in a
3.620 * [taylor]: Taking taylor expansion of 0 in j
3.620 * [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 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 0 in a
3.621 * [taylor]: Taking taylor expansion of 0 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 -1 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.622 * [taylor]: Taking taylor expansion of (* j c) in a
3.622 * [taylor]: Taking taylor expansion of j in a
3.622 * [taylor]: Taking taylor expansion of c in a
3.622 * [taylor]: Taking taylor expansion of (/ -1 (* a (* j c))) in j
3.622 * [taylor]: Taking taylor expansion of -1 in j
3.622 * [taylor]: Taking taylor expansion of (* a (* j c)) in j
3.622 * [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 -1 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 -1 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 -1 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 -1 in a
3.622 * [taylor]: Taking taylor expansion of a 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 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.624 * [taylor]: Taking taylor expansion of 0 in a
3.624 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.624 * [approximate]: Taking taylor expansion of (* z (* b c)) in (b c z) around 0
3.624 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.624 * [taylor]: Taking taylor expansion of z in z
3.624 * [taylor]: Taking taylor expansion of (* b c) in z
3.624 * [taylor]: Taking taylor expansion of b in z
3.624 * [taylor]: Taking taylor expansion of c in z
3.624 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.624 * [taylor]: Taking taylor expansion of z in c
3.624 * [taylor]: Taking taylor expansion of (* b c) in c
3.624 * [taylor]: Taking taylor expansion of b in c
3.624 * [taylor]: Taking taylor expansion of c in c
3.624 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.624 * [taylor]: Taking taylor expansion of z in b
3.624 * [taylor]: Taking taylor expansion of (* b c) in b
3.624 * [taylor]: Taking taylor expansion of b in b
3.624 * [taylor]: Taking taylor expansion of c in b
3.624 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.624 * [taylor]: Taking taylor expansion of z in b
3.624 * [taylor]: Taking taylor expansion of (* b c) in b
3.624 * [taylor]: Taking taylor expansion of b in b
3.624 * [taylor]: Taking taylor expansion of c in b
3.624 * [taylor]: Taking taylor expansion of 0 in c
3.624 * [taylor]: Taking taylor expansion of 0 in z
3.624 * [taylor]: Taking taylor expansion of (* z c) in c
3.624 * [taylor]: Taking taylor expansion of z in c
3.624 * [taylor]: Taking taylor expansion of c in c
3.624 * [taylor]: Taking taylor expansion of 0 in z
3.624 * [taylor]: Taking taylor expansion of 0 in z
3.625 * [taylor]: Taking taylor expansion of 0 in c
3.625 * [taylor]: Taking taylor expansion of 0 in z
3.625 * [taylor]: Taking taylor expansion of z in z
3.625 * [approximate]: Taking taylor expansion of (/ 1 (* z (* b c))) in (b c z) around 0
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in z
3.625 * [taylor]: Taking taylor expansion of (* z (* b c)) in z
3.625 * [taylor]: Taking taylor expansion of z in z
3.625 * [taylor]: Taking taylor expansion of (* b c) in z
3.625 * [taylor]: Taking taylor expansion of b in z
3.625 * [taylor]: Taking taylor expansion of c in z
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in c
3.625 * [taylor]: Taking taylor expansion of (* z (* b c)) in c
3.625 * [taylor]: Taking taylor expansion of z in c
3.625 * [taylor]: Taking taylor expansion of (* b c) in c
3.625 * [taylor]: Taking taylor expansion of b in c
3.625 * [taylor]: Taking taylor expansion of c in c
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.625 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.625 * [taylor]: Taking taylor expansion of z in b
3.625 * [taylor]: Taking taylor expansion of (* b c) in b
3.625 * [taylor]: Taking taylor expansion of b in b
3.625 * [taylor]: Taking taylor expansion of c in b
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b
3.625 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.625 * [taylor]: Taking taylor expansion of z in b
3.625 * [taylor]: Taking taylor expansion of (* b c) in b
3.625 * [taylor]: Taking taylor expansion of b in b
3.625 * [taylor]: Taking taylor expansion of c in b
3.626 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c
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 (/ 1 z) in z
3.626 * [taylor]: Taking taylor expansion of z in z
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 0 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 0 in z
3.627 * [taylor]: Taking taylor expansion of 0 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 -1 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 -1 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 -1 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.628 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b
3.628 * [taylor]: Taking taylor expansion of -1 in b
3.628 * [taylor]: Taking taylor expansion of (* z (* b c)) in b
3.628 * [taylor]: Taking taylor expansion of z in b
3.628 * [taylor]: Taking taylor expansion of (* b c) in b
3.628 * [taylor]: Taking taylor expansion of b in b
3.628 * [taylor]: Taking taylor expansion of c in b
3.628 * [taylor]: Taking taylor expansion of (/ -1 (* z c)) in c
3.628 * [taylor]: Taking taylor expansion of -1 in c
3.628 * [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 -1 in z
3.628 * [taylor]: Taking taylor expansion of z in z
3.628 * [taylor]: Taking taylor expansion of 0 in c
3.629 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [taylor]: Taking taylor expansion of 0 in c
3.629 * [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 c
3.629 * [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.630 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.630 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0
3.630 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a
3.630 * [taylor]: Taking taylor expansion of x in a
3.630 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a
3.630 * [taylor]: Taking taylor expansion of (* z y) in a
3.630 * [taylor]: Taking taylor expansion of z in a
3.630 * [taylor]: Taking taylor expansion of y in a
3.630 * [taylor]: Taking taylor expansion of (* t a) in a
3.630 * [taylor]: Taking taylor expansion of t in a
3.630 * [taylor]: Taking taylor expansion of a in a
3.630 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t
3.630 * [taylor]: Taking taylor expansion of x in t
3.630 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t
3.630 * [taylor]: Taking taylor expansion of (* z y) in t
3.630 * [taylor]: Taking taylor expansion of z in t
3.630 * [taylor]: Taking taylor expansion of y in t
3.630 * [taylor]: Taking taylor expansion of (* t a) in t
3.630 * [taylor]: Taking taylor expansion of t in t
3.630 * [taylor]: Taking taylor expansion of a in t
3.630 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z
3.630 * [taylor]: Taking taylor expansion of x in z
3.630 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z
3.630 * [taylor]: Taking taylor expansion of (* z y) in z
3.630 * [taylor]: Taking taylor expansion of z in z
3.630 * [taylor]: Taking taylor expansion of y in z
3.630 * [taylor]: Taking taylor expansion of (* t a) in z
3.630 * [taylor]: Taking taylor expansion of t in z
3.630 * [taylor]: Taking taylor expansion of a in z
3.630 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y
3.630 * [taylor]: Taking taylor expansion of x in y
3.630 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
3.630 * [taylor]: Taking taylor expansion of (* z y) in y
3.630 * [taylor]: Taking taylor expansion of z in y
3.630 * [taylor]: Taking taylor expansion of y in y
3.630 * [taylor]: Taking taylor expansion of (* t a) in y
3.630 * [taylor]: Taking taylor expansion of t in y
3.630 * [taylor]: Taking taylor expansion of a in y
3.630 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
3.630 * [taylor]: Taking taylor expansion of x in x
3.630 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
3.630 * [taylor]: Taking taylor expansion of (* z y) in x
3.630 * [taylor]: Taking taylor expansion of z in x
3.630 * [taylor]: Taking taylor expansion of y in x
3.630 * [taylor]: Taking taylor expansion of (* t a) in x
3.630 * [taylor]: Taking taylor expansion of t in x
3.630 * [taylor]: Taking taylor expansion of a in x
3.630 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x
3.630 * [taylor]: Taking taylor expansion of x in x
3.630 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x
3.630 * [taylor]: Taking taylor expansion of (* z y) in x
3.630 * [taylor]: Taking taylor expansion of z in x
3.630 * [taylor]: Taking taylor expansion of y in x
3.630 * [taylor]: Taking taylor expansion of (* t a) in x
3.631 * [taylor]: Taking taylor expansion of t in x
3.631 * [taylor]: Taking taylor expansion of a in x
3.631 * [taylor]: Taking taylor expansion of 0 in y
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in a
3.631 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y
3.631 * [taylor]: Taking taylor expansion of (* z y) in y
3.631 * [taylor]: Taking taylor expansion of z in y
3.631 * [taylor]: Taking taylor expansion of y in y
3.631 * [taylor]: Taking taylor expansion of (* t a) in y
3.631 * [taylor]: Taking taylor expansion of t in y
3.631 * [taylor]: Taking taylor expansion of a in y
3.631 * [taylor]: Taking taylor expansion of (neg (* t a)) in z
3.631 * [taylor]: Taking taylor expansion of (* t a) in z
3.631 * [taylor]: Taking taylor expansion of t in z
3.631 * [taylor]: Taking taylor expansion of a in z
3.631 * [taylor]: Taking taylor expansion of (neg (* t a)) in t
3.631 * [taylor]: Taking taylor expansion of (* t a) in t
3.631 * [taylor]: Taking taylor expansion of t in t
3.631 * [taylor]: Taking taylor expansion of a in t
3.631 * [taylor]: Taking taylor expansion of 0 in a
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in a
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in a
3.631 * [taylor]: Taking taylor expansion of 0 in a
3.632 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0
3.632 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
3.632 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
3.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.632 * [taylor]: Taking taylor expansion of (* z y) in a
3.632 * [taylor]: Taking taylor expansion of z in a
3.632 * [taylor]: Taking taylor expansion of y in a
3.632 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
3.632 * [taylor]: Taking taylor expansion of (* t a) in a
3.632 * [taylor]: Taking taylor expansion of t in a
3.632 * [taylor]: Taking taylor expansion of a in a
3.632 * [taylor]: Taking taylor expansion of x in a
3.632 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
3.632 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
3.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) 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 (/ 1 (* t a)) 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 in t
3.632 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
3.632 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
3.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) 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 (/ 1 (* 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 x in z
3.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
3.633 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.633 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) 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 (/ 1 (* t a)) 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 x in y
3.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.633 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.633 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.633 * [taylor]: Taking taylor expansion of (* z y) in x
3.633 * [taylor]: Taking taylor expansion of z in x
3.633 * [taylor]: Taking taylor expansion of y in x
3.633 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.633 * [taylor]: Taking taylor expansion of (* t a) in x
3.633 * [taylor]: Taking taylor expansion of t in x
3.633 * [taylor]: Taking taylor expansion of a in x
3.633 * [taylor]: Taking taylor expansion of x in x
3.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.633 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.633 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.633 * [taylor]: Taking taylor expansion of (* z y) in x
3.633 * [taylor]: Taking taylor expansion of z in x
3.633 * [taylor]: Taking taylor expansion of y in x
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.634 * [taylor]: Taking taylor expansion of (* t a) in x
3.634 * [taylor]: Taking taylor expansion of t in x
3.634 * [taylor]: Taking taylor expansion of a in x
3.634 * [taylor]: Taking taylor expansion of x in x
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 (/ 1 z) in z
3.634 * [taylor]: Taking taylor expansion of z in z
3.634 * [taylor]: Taking taylor expansion of 1 in t
3.634 * [taylor]: Taking taylor expansion of 0 in y
3.635 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in z
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.635 * [taylor]: Taking taylor expansion of (* t a) in z
3.635 * [taylor]: Taking taylor expansion of t in z
3.635 * [taylor]: Taking taylor expansion of a in z
3.635 * [taylor]: Taking taylor expansion of 0 in t
3.635 * [taylor]: Taking taylor expansion of 1 in a
3.635 * [taylor]: Taking taylor expansion of 0 in y
3.635 * [taylor]: Taking taylor expansion of 0 in z
3.635 * [taylor]: Taking taylor expansion of 0 in z
3.635 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t a))) in t
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.635 * [taylor]: Taking taylor expansion of (* t a) in t
3.635 * [taylor]: Taking taylor expansion of t in t
3.635 * [taylor]: Taking taylor expansion of a in t
3.636 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
3.636 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.636 * [taylor]: Taking taylor expansion of a in a
3.636 * [taylor]: Taking taylor expansion of 0 in t
3.636 * [taylor]: Taking taylor expansion of 0 in a
3.636 * [taylor]: Taking taylor expansion of 0 in a
3.636 * [taylor]: Taking taylor expansion of 0 in y
3.636 * [taylor]: Taking taylor expansion of 0 in z
3.636 * [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 0 in t
3.637 * [taylor]: Taking taylor expansion of 0 in t
3.637 * [taylor]: Taking taylor expansion of 0 in t
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.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 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 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.639 * [taylor]: Taking taylor expansion of 0 in a
3.639 * [taylor]: Taking taylor expansion of 0 in a
3.639 * [taylor]: Taking taylor expansion of 0 in a
3.639 * [taylor]: Taking taylor expansion of 0 in a
3.639 * [taylor]: Taking taylor expansion of 0 in a
3.639 * [taylor]: Taking taylor expansion of 0 in a
3.639 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0
3.639 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a
3.639 * [taylor]: Taking taylor expansion of -1 in a
3.639 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a
3.639 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a
3.639 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
3.639 * [taylor]: Taking taylor expansion of (* z y) in a
3.639 * [taylor]: Taking taylor expansion of z in a
3.639 * [taylor]: Taking taylor expansion of y in a
3.639 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
3.639 * [taylor]: Taking taylor expansion of (* t a) in a
3.639 * [taylor]: Taking taylor expansion of t in a
3.639 * [taylor]: Taking taylor expansion of a in a
3.640 * [taylor]: Taking taylor expansion of x in a
3.640 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t
3.640 * [taylor]: Taking taylor expansion of -1 in t
3.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t
3.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
3.640 * [taylor]: Taking taylor expansion of (* z y) in t
3.640 * [taylor]: Taking taylor expansion of z in t
3.640 * [taylor]: Taking taylor expansion of y in t
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.640 * [taylor]: Taking taylor expansion of (* t a) in t
3.640 * [taylor]: Taking taylor expansion of t in t
3.640 * [taylor]: Taking taylor expansion of a in t
3.640 * [taylor]: Taking taylor expansion of x in t
3.640 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z
3.640 * [taylor]: Taking taylor expansion of -1 in z
3.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z
3.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.640 * [taylor]: Taking taylor expansion of (* z y) in z
3.640 * [taylor]: Taking taylor expansion of z in z
3.640 * [taylor]: Taking taylor expansion of y in z
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.640 * [taylor]: Taking taylor expansion of (* t a) in z
3.640 * [taylor]: Taking taylor expansion of t in z
3.640 * [taylor]: Taking taylor expansion of a in z
3.640 * [taylor]: Taking taylor expansion of x in z
3.640 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y
3.640 * [taylor]: Taking taylor expansion of -1 in y
3.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y
3.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.640 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.640 * [taylor]: Taking taylor expansion of (* z y) in y
3.640 * [taylor]: Taking taylor expansion of z in y
3.640 * [taylor]: Taking taylor expansion of y in y
3.641 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.641 * [taylor]: Taking taylor expansion of (* t a) in y
3.641 * [taylor]: Taking taylor expansion of t in y
3.641 * [taylor]: Taking taylor expansion of a in y
3.641 * [taylor]: Taking taylor expansion of x in y
3.641 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
3.641 * [taylor]: Taking taylor expansion of -1 in x
3.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.641 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.641 * [taylor]: Taking taylor expansion of (* z y) in x
3.641 * [taylor]: Taking taylor expansion of z in x
3.641 * [taylor]: Taking taylor expansion of y in x
3.641 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.641 * [taylor]: Taking taylor expansion of (* t a) in x
3.641 * [taylor]: Taking taylor expansion of t in x
3.641 * [taylor]: Taking taylor expansion of a in x
3.641 * [taylor]: Taking taylor expansion of x in x
3.641 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x
3.641 * [taylor]: Taking taylor expansion of -1 in x
3.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x
3.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x
3.641 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.641 * [taylor]: Taking taylor expansion of (* z y) in x
3.641 * [taylor]: Taking taylor expansion of z in x
3.641 * [taylor]: Taking taylor expansion of y in x
3.641 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
3.641 * [taylor]: Taking taylor expansion of (* t a) in x
3.641 * [taylor]: Taking taylor expansion of t in x
3.641 * [taylor]: Taking taylor expansion of a in x
3.641 * [taylor]: Taking taylor expansion of x in x
3.642 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y
3.642 * [taylor]: Taking taylor expansion of -1 in y
3.642 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y
3.642 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.642 * [taylor]: Taking taylor expansion of (* z y) in y
3.642 * [taylor]: Taking taylor expansion of z in y
3.642 * [taylor]: Taking taylor expansion of y in y
3.642 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
3.642 * [taylor]: Taking taylor expansion of (* t a) in y
3.642 * [taylor]: Taking taylor expansion of t in y
3.642 * [taylor]: Taking taylor expansion of a in y
3.642 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.642 * [taylor]: Taking taylor expansion of -1 in z
3.642 * [taylor]: Taking taylor expansion of z in z
3.642 * [taylor]: Taking taylor expansion of -1 in t
3.642 * [taylor]: Taking taylor expansion of 0 in y
3.643 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
3.643 * [taylor]: Taking taylor expansion of (* t a) in z
3.643 * [taylor]: Taking taylor expansion of t in z
3.643 * [taylor]: Taking taylor expansion of a in z
3.643 * [taylor]: Taking taylor expansion of 0 in t
3.643 * [taylor]: Taking taylor expansion of -1 in a
3.643 * [taylor]: Taking taylor expansion of 0 in y
3.643 * [taylor]: Taking taylor expansion of 0 in z
3.643 * [taylor]: Taking taylor expansion of 0 in z
3.644 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
3.644 * [taylor]: Taking taylor expansion of (* t a) in t
3.644 * [taylor]: Taking taylor expansion of t in t
3.644 * [taylor]: Taking taylor expansion of a in t
3.644 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.644 * [taylor]: Taking taylor expansion of a in a
3.644 * [taylor]: Taking taylor expansion of 0 in t
3.644 * [taylor]: Taking taylor expansion of 0 in a
3.644 * [taylor]: Taking taylor expansion of 0 in a
3.644 * [taylor]: Taking taylor expansion of 0 in y
3.644 * [taylor]: Taking taylor expansion of 0 in z
3.644 * [taylor]: Taking taylor expansion of 0 in z
3.645 * [taylor]: Taking taylor expansion of 0 in z
3.645 * [taylor]: Taking taylor expansion of 0 in t
3.645 * [taylor]: Taking taylor expansion of 0 in t
3.645 * [taylor]: Taking taylor expansion of 0 in t
3.645 * [taylor]: Taking taylor expansion of 0 in t
3.645 * [taylor]: Taking taylor expansion of 0 in a
3.645 * [taylor]: Taking taylor expansion of 0 in a
3.645 * [taylor]: Taking taylor expansion of 0 in a
3.645 * [taylor]: Taking taylor expansion of 0 in a
3.646 * [taylor]: Taking taylor expansion of 0 in y
3.646 * [taylor]: Taking taylor expansion of 0 in z
3.646 * [taylor]: Taking taylor expansion of 0 in z
3.646 * [taylor]: Taking taylor expansion of 0 in z
3.646 * [taylor]: Taking taylor expansion of 0 in z
3.646 * [taylor]: Taking taylor expansion of 0 in t
3.646 * [taylor]: Taking taylor expansion of 0 in t
3.646 * [taylor]: Taking taylor expansion of 0 in t
3.647 * [taylor]: Taking taylor expansion of 0 in t
3.647 * [taylor]: Taking taylor expansion of 0 in t
3.647 * [taylor]: Taking taylor expansion of 0 in t
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.647 * [taylor]: Taking taylor expansion of 0 in a
3.647 * [taylor]: Taking taylor expansion of 0 in a
3.647 * [taylor]: Taking taylor expansion of 0 in a
3.647 * [taylor]: Taking taylor expansion of 0 in a
3.647 * [taylor]: Taking taylor expansion of 0 in a
3.647 * [taylor]: Taking taylor expansion of 0 in a
3.648 * * * [progress]: simplifying candidates
3.648 * [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.684 * * [simplify]: iteration  0 :  4928  enodes  (cost  639 )
3.684 * * [simplify]: iteration  1 :  4928  enodes  (cost  639 )
3.687 * [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.687 * * * [progress]: adding candidates to table
3.778 * [progress]: [Phase 3 of 3] Extracting.
3.778 * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
3.792 * * * [regime-changes]: Trying 9 branch expressions: (j i c b a t z y x)
3.792 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
3.968 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
4.145 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
4.323 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
4.507 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
4.692 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
4.893 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
5.069 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
5.254 * * * * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
5.442 * * * [regime]: Found split indices: #<option (#s(si 11 55) #s(si 8 208) #s(si 11 255))>
5.443 * [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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
5.522 * [regimes]: Found splitpoints: (#s(sp 11 j -1.823492765131761e+24) #s(sp 8 j 1.0557116831530113e+19) #s(sp 11 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 (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))) (* 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))) (* 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))) (* 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 (- (* 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)))) (+ (* c (* j a)) (* (* i j) (neg y)))))> #<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) (+ (- (* 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))) 0) (* j (- (* c a) (* y i)))))> #<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) (+ (- (+ (* 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) (+ (- (+ (* y (* z x)) (* a (* x (neg t)))) (+ (* b (* c z)) (* (* i b) (neg t)))) (+ (* c (* j a)) (* i (* j (neg y))))))>)
5.522 * [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.543 * * [simplify]: iteration  0 :  1009  enodes  (cost  73 )
5.543 * * [simplify]: iteration  1 :  1009  enodes  (cost  73 )
5.543 * [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.700 * [regime-testing]: End program error score: 9.03890726123186
10.946 * [regime-testing]: Target error score: 20.380582724996085