16.469 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.430 * * * [progress]: [2/2] Setting up program.
1.435 * [progress]: [Phase 2 of 3] Improving.
1.435 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
1.466 * * [simplify]: iteration  0 :  838  enodes  (cost  17 )
1.466 * * [simplify]: iteration  1 :  838  enodes  (cost  17 )
1.467 * [simplify]: Simplified to:
   (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
1.472 * * [progress]: iteration 1 / 4
1.472 * * * [progress]: picking best candidate
1.480 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))>
1.480 * * * [progress]: localizing error
1.493 * * * [progress]: generating rewritten candidates
1.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.502 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
1.507 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.511 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.518 * * * [progress]: generating series expansions
1.518 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.518 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
1.518 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
1.518 * [taylor]: Taking taylor expansion of 9.0 in t
1.519 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.519 * [taylor]: Taking taylor expansion of t in t
1.519 * [taylor]: Taking taylor expansion of (* z y) in t
1.519 * [taylor]: Taking taylor expansion of z in t
1.519 * [taylor]: Taking taylor expansion of y in t
1.519 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
1.519 * [taylor]: Taking taylor expansion of 9.0 in z
1.519 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.519 * [taylor]: Taking taylor expansion of t in z
1.519 * [taylor]: Taking taylor expansion of (* z y) in z
1.519 * [taylor]: Taking taylor expansion of z in z
1.519 * [taylor]: Taking taylor expansion of y in z
1.519 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.519 * [taylor]: Taking taylor expansion of 9.0 in y
1.519 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.519 * [taylor]: Taking taylor expansion of t in y
1.519 * [taylor]: Taking taylor expansion of (* z y) in y
1.519 * [taylor]: Taking taylor expansion of z in y
1.519 * [taylor]: Taking taylor expansion of y in y
1.519 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.519 * [taylor]: Taking taylor expansion of 9.0 in y
1.519 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.519 * [taylor]: Taking taylor expansion of t in y
1.519 * [taylor]: Taking taylor expansion of (* z y) in y
1.519 * [taylor]: Taking taylor expansion of z in y
1.519 * [taylor]: Taking taylor expansion of y in y
1.519 * [taylor]: Taking taylor expansion of 0 in z
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.519 * [taylor]: Taking taylor expansion of 9.0 in z
1.519 * [taylor]: Taking taylor expansion of (* t z) in z
1.519 * [taylor]: Taking taylor expansion of t in z
1.519 * [taylor]: Taking taylor expansion of z in z
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in z
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.520 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
1.520 * [taylor]: Taking taylor expansion of 9.0 in t
1.520 * [taylor]: Taking taylor expansion of t in t
1.520 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
1.520 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
1.520 * [taylor]: Taking taylor expansion of 9.0 in t
1.520 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.520 * [taylor]: Taking taylor expansion of t in t
1.520 * [taylor]: Taking taylor expansion of (* z y) in t
1.520 * [taylor]: Taking taylor expansion of z in t
1.520 * [taylor]: Taking taylor expansion of y in t
1.520 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
1.520 * [taylor]: Taking taylor expansion of 9.0 in z
1.520 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.520 * [taylor]: Taking taylor expansion of t in z
1.520 * [taylor]: Taking taylor expansion of (* z y) in z
1.520 * [taylor]: Taking taylor expansion of z in z
1.520 * [taylor]: Taking taylor expansion of y in z
1.520 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.520 * [taylor]: Taking taylor expansion of 9.0 in y
1.520 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.520 * [taylor]: Taking taylor expansion of t in y
1.520 * [taylor]: Taking taylor expansion of (* z y) in y
1.520 * [taylor]: Taking taylor expansion of z in y
1.520 * [taylor]: Taking taylor expansion of y in y
1.520 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.520 * [taylor]: Taking taylor expansion of 9.0 in y
1.520 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.520 * [taylor]: Taking taylor expansion of t in y
1.520 * [taylor]: Taking taylor expansion of (* z y) in y
1.520 * [taylor]: Taking taylor expansion of z in y
1.520 * [taylor]: Taking taylor expansion of y in y
1.521 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.521 * [taylor]: Taking taylor expansion of 9.0 in z
1.521 * [taylor]: Taking taylor expansion of (* t z) in z
1.521 * [taylor]: Taking taylor expansion of t in z
1.521 * [taylor]: Taking taylor expansion of z in z
1.521 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.521 * [taylor]: Taking taylor expansion of 9.0 in t
1.521 * [taylor]: Taking taylor expansion of t in t
1.521 * [taylor]: Taking taylor expansion of 0 in z
1.521 * [taylor]: Taking taylor expansion of 0 in t
1.521 * [taylor]: Taking taylor expansion of 0 in z
1.521 * [taylor]: Taking taylor expansion of 0 in t
1.521 * [taylor]: Taking taylor expansion of 0 in t
1.522 * [taylor]: Taking taylor expansion of 0 in z
1.522 * [taylor]: Taking taylor expansion of 0 in t
1.522 * [taylor]: Taking taylor expansion of 0 in t
1.522 * [taylor]: Taking taylor expansion of 0 in t
1.522 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
1.522 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
1.522 * [taylor]: Taking taylor expansion of -9.0 in t
1.522 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.522 * [taylor]: Taking taylor expansion of t in t
1.522 * [taylor]: Taking taylor expansion of (* z y) in t
1.522 * [taylor]: Taking taylor expansion of z in t
1.522 * [taylor]: Taking taylor expansion of y in t
1.522 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
1.522 * [taylor]: Taking taylor expansion of -9.0 in z
1.522 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.522 * [taylor]: Taking taylor expansion of t in z
1.522 * [taylor]: Taking taylor expansion of (* z y) in z
1.522 * [taylor]: Taking taylor expansion of z in z
1.523 * [taylor]: Taking taylor expansion of y in z
1.523 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
1.523 * [taylor]: Taking taylor expansion of -9.0 in y
1.523 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.523 * [taylor]: Taking taylor expansion of t in y
1.523 * [taylor]: Taking taylor expansion of (* z y) in y
1.523 * [taylor]: Taking taylor expansion of z in y
1.523 * [taylor]: Taking taylor expansion of y in y
1.523 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
1.523 * [taylor]: Taking taylor expansion of -9.0 in y
1.523 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.523 * [taylor]: Taking taylor expansion of t in y
1.523 * [taylor]: Taking taylor expansion of (* z y) in y
1.523 * [taylor]: Taking taylor expansion of z in y
1.523 * [taylor]: Taking taylor expansion of y in y
1.523 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
1.523 * [taylor]: Taking taylor expansion of -9.0 in z
1.523 * [taylor]: Taking taylor expansion of (* t z) in z
1.523 * [taylor]: Taking taylor expansion of t in z
1.523 * [taylor]: Taking taylor expansion of z in z
1.523 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
1.523 * [taylor]: Taking taylor expansion of -9.0 in t
1.523 * [taylor]: Taking taylor expansion of t in t
1.523 * [taylor]: Taking taylor expansion of 0 in z
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [taylor]: Taking taylor expansion of 0 in z
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [taylor]: Taking taylor expansion of 0 in z
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.525 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
1.525 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
1.525 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
1.525 * [taylor]: Taking taylor expansion of 9.0 in t
1.525 * [taylor]: Taking taylor expansion of (* t z) in t
1.525 * [taylor]: Taking taylor expansion of t in t
1.525 * [taylor]: Taking taylor expansion of z in t
1.525 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.525 * [taylor]: Taking taylor expansion of 9.0 in z
1.525 * [taylor]: Taking taylor expansion of (* t z) in z
1.525 * [taylor]: Taking taylor expansion of t in z
1.525 * [taylor]: Taking taylor expansion of z in z
1.525 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.525 * [taylor]: Taking taylor expansion of 9.0 in z
1.525 * [taylor]: Taking taylor expansion of (* t z) in z
1.525 * [taylor]: Taking taylor expansion of t in z
1.525 * [taylor]: Taking taylor expansion of z in z
1.525 * [taylor]: Taking taylor expansion of 0 in t
1.525 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
1.525 * [taylor]: Taking taylor expansion of 9.0 in t
1.525 * [taylor]: Taking taylor expansion of t in t
1.525 * [taylor]: Taking taylor expansion of 0 in t
1.525 * [taylor]: Taking taylor expansion of 0 in t
1.525 * [taylor]: Taking taylor expansion of 0 in t
1.526 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
1.526 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.526 * [taylor]: Taking taylor expansion of 9.0 in t
1.526 * [taylor]: Taking taylor expansion of (* t z) in t
1.526 * [taylor]: Taking taylor expansion of t in t
1.526 * [taylor]: Taking taylor expansion of z in t
1.526 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.526 * [taylor]: Taking taylor expansion of 9.0 in z
1.526 * [taylor]: Taking taylor expansion of (* t z) in z
1.526 * [taylor]: Taking taylor expansion of t in z
1.526 * [taylor]: Taking taylor expansion of z in z
1.526 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.526 * [taylor]: Taking taylor expansion of 9.0 in z
1.526 * [taylor]: Taking taylor expansion of (* t z) in z
1.526 * [taylor]: Taking taylor expansion of t in z
1.526 * [taylor]: Taking taylor expansion of z in z
1.526 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.526 * [taylor]: Taking taylor expansion of 9.0 in t
1.526 * [taylor]: Taking taylor expansion of t in t
1.526 * [taylor]: Taking taylor expansion of 0 in t
1.526 * [taylor]: Taking taylor expansion of 0 in t
1.527 * [taylor]: Taking taylor expansion of 0 in t
1.527 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
1.527 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.527 * [taylor]: Taking taylor expansion of 9.0 in t
1.527 * [taylor]: Taking taylor expansion of (* t z) in t
1.527 * [taylor]: Taking taylor expansion of t in t
1.527 * [taylor]: Taking taylor expansion of z in t
1.527 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.527 * [taylor]: Taking taylor expansion of 9.0 in z
1.527 * [taylor]: Taking taylor expansion of (* t z) in z
1.527 * [taylor]: Taking taylor expansion of t in z
1.527 * [taylor]: Taking taylor expansion of z in z
1.527 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.527 * [taylor]: Taking taylor expansion of 9.0 in z
1.527 * [taylor]: Taking taylor expansion of (* t z) in z
1.527 * [taylor]: Taking taylor expansion of t in z
1.527 * [taylor]: Taking taylor expansion of z in z
1.527 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.527 * [taylor]: Taking taylor expansion of 9.0 in t
1.527 * [taylor]: Taking taylor expansion of t in t
1.527 * [taylor]: Taking taylor expansion of 0 in t
1.527 * [taylor]: Taking taylor expansion of 0 in t
1.528 * [taylor]: Taking taylor expansion of 0 in t
1.528 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.528 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
1.528 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
1.528 * [taylor]: Taking taylor expansion of 27.0 in b
1.528 * [taylor]: Taking taylor expansion of (* a b) in b
1.528 * [taylor]: Taking taylor expansion of a in b
1.528 * [taylor]: Taking taylor expansion of b in b
1.528 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.528 * [taylor]: Taking taylor expansion of 27.0 in a
1.528 * [taylor]: Taking taylor expansion of (* a b) in a
1.528 * [taylor]: Taking taylor expansion of a in a
1.528 * [taylor]: Taking taylor expansion of b in a
1.528 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.528 * [taylor]: Taking taylor expansion of 27.0 in a
1.528 * [taylor]: Taking taylor expansion of (* a b) in a
1.528 * [taylor]: Taking taylor expansion of a in a
1.528 * [taylor]: Taking taylor expansion of b in a
1.528 * [taylor]: Taking taylor expansion of 0 in b
1.528 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
1.528 * [taylor]: Taking taylor expansion of 27.0 in b
1.528 * [taylor]: Taking taylor expansion of b in b
1.528 * [taylor]: Taking taylor expansion of 0 in b
1.529 * [taylor]: Taking taylor expansion of 0 in b
1.529 * [taylor]: Taking taylor expansion of 0 in b
1.529 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
1.529 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
1.529 * [taylor]: Taking taylor expansion of 27.0 in b
1.529 * [taylor]: Taking taylor expansion of (* a b) in b
1.529 * [taylor]: Taking taylor expansion of a in b
1.529 * [taylor]: Taking taylor expansion of b in b
1.529 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.529 * [taylor]: Taking taylor expansion of 27.0 in a
1.529 * [taylor]: Taking taylor expansion of (* a b) in a
1.529 * [taylor]: Taking taylor expansion of a in a
1.529 * [taylor]: Taking taylor expansion of b in a
1.529 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.529 * [taylor]: Taking taylor expansion of 27.0 in a
1.529 * [taylor]: Taking taylor expansion of (* a b) in a
1.529 * [taylor]: Taking taylor expansion of a in a
1.529 * [taylor]: Taking taylor expansion of b in a
1.529 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
1.529 * [taylor]: Taking taylor expansion of 27.0 in b
1.529 * [taylor]: Taking taylor expansion of b in b
1.529 * [taylor]: Taking taylor expansion of 0 in b
1.530 * [taylor]: Taking taylor expansion of 0 in b
1.530 * [taylor]: Taking taylor expansion of 0 in b
1.530 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
1.530 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
1.530 * [taylor]: Taking taylor expansion of 27.0 in b
1.530 * [taylor]: Taking taylor expansion of (* a b) in b
1.530 * [taylor]: Taking taylor expansion of a in b
1.530 * [taylor]: Taking taylor expansion of b in b
1.530 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.530 * [taylor]: Taking taylor expansion of 27.0 in a
1.530 * [taylor]: Taking taylor expansion of (* a b) in a
1.530 * [taylor]: Taking taylor expansion of a in a
1.530 * [taylor]: Taking taylor expansion of b in a
1.530 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.530 * [taylor]: Taking taylor expansion of 27.0 in a
1.530 * [taylor]: Taking taylor expansion of (* a b) in a
1.530 * [taylor]: Taking taylor expansion of a in a
1.530 * [taylor]: Taking taylor expansion of b in a
1.530 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
1.531 * [taylor]: Taking taylor expansion of 27.0 in b
1.531 * [taylor]: Taking taylor expansion of b in b
1.531 * [taylor]: Taking taylor expansion of 0 in b
1.531 * [taylor]: Taking taylor expansion of 0 in b
1.531 * [taylor]: Taking taylor expansion of 0 in b
1.531 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.531 * [approximate]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in (a b y z t) around 0
1.531 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in t
1.531 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
1.531 * [taylor]: Taking taylor expansion of 27.0 in t
1.531 * [taylor]: Taking taylor expansion of (* a b) in t
1.531 * [taylor]: Taking taylor expansion of a in t
1.531 * [taylor]: Taking taylor expansion of b in t
1.531 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
1.531 * [taylor]: Taking taylor expansion of 9.0 in t
1.531 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.532 * [taylor]: Taking taylor expansion of t in t
1.532 * [taylor]: Taking taylor expansion of (* z y) in t
1.532 * [taylor]: Taking taylor expansion of z in t
1.532 * [taylor]: Taking taylor expansion of y in t
1.532 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in z
1.532 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
1.532 * [taylor]: Taking taylor expansion of 27.0 in z
1.532 * [taylor]: Taking taylor expansion of (* a b) in z
1.532 * [taylor]: Taking taylor expansion of a in z
1.532 * [taylor]: Taking taylor expansion of b in z
1.532 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
1.532 * [taylor]: Taking taylor expansion of 9.0 in z
1.532 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.532 * [taylor]: Taking taylor expansion of t in z
1.532 * [taylor]: Taking taylor expansion of (* z y) in z
1.532 * [taylor]: Taking taylor expansion of z in z
1.532 * [taylor]: Taking taylor expansion of y in z
1.532 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in y
1.532 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
1.532 * [taylor]: Taking taylor expansion of 27.0 in y
1.532 * [taylor]: Taking taylor expansion of (* a b) in y
1.532 * [taylor]: Taking taylor expansion of a in y
1.532 * [taylor]: Taking taylor expansion of b in y
1.532 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.532 * [taylor]: Taking taylor expansion of 9.0 in y
1.532 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.532 * [taylor]: Taking taylor expansion of t in y
1.532 * [taylor]: Taking taylor expansion of (* z y) in y
1.532 * [taylor]: Taking taylor expansion of z in y
1.532 * [taylor]: Taking taylor expansion of y in y
1.532 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in b
1.532 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
1.532 * [taylor]: Taking taylor expansion of 27.0 in b
1.532 * [taylor]: Taking taylor expansion of (* a b) in b
1.532 * [taylor]: Taking taylor expansion of a in b
1.532 * [taylor]: Taking taylor expansion of b in b
1.532 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
1.532 * [taylor]: Taking taylor expansion of 9.0 in b
1.532 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.532 * [taylor]: Taking taylor expansion of t in b
1.532 * [taylor]: Taking taylor expansion of (* z y) in b
1.532 * [taylor]: Taking taylor expansion of z in b
1.532 * [taylor]: Taking taylor expansion of y in b
1.532 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in a
1.532 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.532 * [taylor]: Taking taylor expansion of 27.0 in a
1.532 * [taylor]: Taking taylor expansion of (* a b) in a
1.532 * [taylor]: Taking taylor expansion of a in a
1.532 * [taylor]: Taking taylor expansion of b in a
1.532 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
1.532 * [taylor]: Taking taylor expansion of 9.0 in a
1.532 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.532 * [taylor]: Taking taylor expansion of t in a
1.532 * [taylor]: Taking taylor expansion of (* z y) in a
1.532 * [taylor]: Taking taylor expansion of z in a
1.532 * [taylor]: Taking taylor expansion of y in a
1.532 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in a
1.532 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.532 * [taylor]: Taking taylor expansion of 27.0 in a
1.532 * [taylor]: Taking taylor expansion of (* a b) in a
1.532 * [taylor]: Taking taylor expansion of a in a
1.532 * [taylor]: Taking taylor expansion of b in a
1.533 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
1.533 * [taylor]: Taking taylor expansion of 9.0 in a
1.533 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.533 * [taylor]: Taking taylor expansion of t in a
1.533 * [taylor]: Taking taylor expansion of (* z y) in a
1.533 * [taylor]: Taking taylor expansion of z in a
1.533 * [taylor]: Taking taylor expansion of y in a
1.533 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in b
1.533 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
1.533 * [taylor]: Taking taylor expansion of 9.0 in b
1.533 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.533 * [taylor]: Taking taylor expansion of t in b
1.533 * [taylor]: Taking taylor expansion of (* z y) in b
1.533 * [taylor]: Taking taylor expansion of z in b
1.533 * [taylor]: Taking taylor expansion of y in b
1.533 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in y
1.533 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.533 * [taylor]: Taking taylor expansion of 9.0 in y
1.533 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.533 * [taylor]: Taking taylor expansion of t in y
1.533 * [taylor]: Taking taylor expansion of (* z y) in y
1.533 * [taylor]: Taking taylor expansion of z in y
1.533 * [taylor]: Taking taylor expansion of y in y
1.533 * [taylor]: Taking taylor expansion of 0 in z
1.533 * [taylor]: Taking taylor expansion of 0 in t
1.533 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
1.533 * [taylor]: Taking taylor expansion of 27.0 in b
1.533 * [taylor]: Taking taylor expansion of b in b
1.534 * [taylor]: Taking taylor expansion of 0 in y
1.534 * [taylor]: Taking taylor expansion of 0 in z
1.534 * [taylor]: Taking taylor expansion of 0 in t
1.534 * [taylor]: Taking taylor expansion of 0 in y
1.534 * [taylor]: Taking taylor expansion of 0 in z
1.534 * [taylor]: Taking taylor expansion of 0 in t
1.534 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z
1.534 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.534 * [taylor]: Taking taylor expansion of 9.0 in z
1.534 * [taylor]: Taking taylor expansion of (* t z) in z
1.534 * [taylor]: Taking taylor expansion of t in z
1.534 * [taylor]: Taking taylor expansion of z in z
1.534 * [taylor]: Taking taylor expansion of 0 in t
1.534 * [taylor]: Taking taylor expansion of 0 in t
1.534 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in (a b y z t) around 0
1.534 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
1.534 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
1.534 * [taylor]: Taking taylor expansion of 27.0 in t
1.534 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.534 * [taylor]: Taking taylor expansion of (* a b) in t
1.534 * [taylor]: Taking taylor expansion of a in t
1.534 * [taylor]: Taking taylor expansion of b in t
1.534 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
1.534 * [taylor]: Taking taylor expansion of 9.0 in t
1.534 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.534 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.534 * [taylor]: Taking taylor expansion of t in t
1.534 * [taylor]: Taking taylor expansion of (* z y) in t
1.534 * [taylor]: Taking taylor expansion of z in t
1.535 * [taylor]: Taking taylor expansion of y in t
1.535 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
1.535 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
1.535 * [taylor]: Taking taylor expansion of 27.0 in z
1.535 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.535 * [taylor]: Taking taylor expansion of (* a b) in z
1.535 * [taylor]: Taking taylor expansion of a in z
1.535 * [taylor]: Taking taylor expansion of b in z
1.535 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
1.535 * [taylor]: Taking taylor expansion of 9.0 in z
1.535 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.535 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.535 * [taylor]: Taking taylor expansion of t in z
1.535 * [taylor]: Taking taylor expansion of (* z y) in z
1.535 * [taylor]: Taking taylor expansion of z in z
1.535 * [taylor]: Taking taylor expansion of y in z
1.535 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
1.535 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
1.535 * [taylor]: Taking taylor expansion of 27.0 in y
1.535 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.535 * [taylor]: Taking taylor expansion of (* a b) in y
1.535 * [taylor]: Taking taylor expansion of a in y
1.535 * [taylor]: Taking taylor expansion of b in y
1.535 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
1.535 * [taylor]: Taking taylor expansion of 9.0 in y
1.535 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.535 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.535 * [taylor]: Taking taylor expansion of t in y
1.535 * [taylor]: Taking taylor expansion of (* z y) in y
1.535 * [taylor]: Taking taylor expansion of z in y
1.535 * [taylor]: Taking taylor expansion of y in y
1.535 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
1.535 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
1.535 * [taylor]: Taking taylor expansion of 27.0 in b
1.535 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.535 * [taylor]: Taking taylor expansion of (* a b) in b
1.535 * [taylor]: Taking taylor expansion of a in b
1.535 * [taylor]: Taking taylor expansion of b in b
1.536 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.536 * [taylor]: Taking taylor expansion of 9.0 in b
1.536 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.536 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.536 * [taylor]: Taking taylor expansion of t in b
1.536 * [taylor]: Taking taylor expansion of (* z y) in b
1.536 * [taylor]: Taking taylor expansion of z in b
1.536 * [taylor]: Taking taylor expansion of y in b
1.536 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.536 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.536 * [taylor]: Taking taylor expansion of 27.0 in a
1.536 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.536 * [taylor]: Taking taylor expansion of (* a b) in a
1.536 * [taylor]: Taking taylor expansion of a in a
1.536 * [taylor]: Taking taylor expansion of b in a
1.536 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.536 * [taylor]: Taking taylor expansion of 9.0 in a
1.536 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.536 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.536 * [taylor]: Taking taylor expansion of t in a
1.536 * [taylor]: Taking taylor expansion of (* z y) in a
1.536 * [taylor]: Taking taylor expansion of z in a
1.536 * [taylor]: Taking taylor expansion of y in a
1.536 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.536 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.536 * [taylor]: Taking taylor expansion of 27.0 in a
1.536 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.536 * [taylor]: Taking taylor expansion of (* a b) in a
1.536 * [taylor]: Taking taylor expansion of a in a
1.536 * [taylor]: Taking taylor expansion of b in a
1.536 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.536 * [taylor]: Taking taylor expansion of 9.0 in a
1.536 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.536 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.536 * [taylor]: Taking taylor expansion of t in a
1.536 * [taylor]: Taking taylor expansion of (* z y) in a
1.536 * [taylor]: Taking taylor expansion of z in a
1.536 * [taylor]: Taking taylor expansion of y in a
1.537 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 b)) in b
1.537 * [taylor]: Taking taylor expansion of 27.0 in b
1.537 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.537 * [taylor]: Taking taylor expansion of b in b
1.537 * [taylor]: Taking taylor expansion of 27.0 in y
1.537 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in b
1.537 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.537 * [taylor]: Taking taylor expansion of 9.0 in b
1.537 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.537 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.537 * [taylor]: Taking taylor expansion of t in b
1.537 * [taylor]: Taking taylor expansion of (* z y) in b
1.537 * [taylor]: Taking taylor expansion of z in b
1.537 * [taylor]: Taking taylor expansion of y in b
1.537 * [taylor]: Taking taylor expansion of 0 in y
1.537 * [taylor]: Taking taylor expansion of 27.0 in z
1.538 * [taylor]: Taking taylor expansion of 0 in b
1.538 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in y
1.538 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
1.538 * [taylor]: Taking taylor expansion of 9.0 in y
1.538 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.538 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.538 * [taylor]: Taking taylor expansion of t in y
1.538 * [taylor]: Taking taylor expansion of (* z y) in y
1.538 * [taylor]: Taking taylor expansion of z in y
1.538 * [taylor]: Taking taylor expansion of y in y
1.538 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
1.538 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
1.538 * [taylor]: Taking taylor expansion of 9.0 in z
1.538 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.538 * [taylor]: Taking taylor expansion of (* t z) in z
1.538 * [taylor]: Taking taylor expansion of t in z
1.538 * [taylor]: Taking taylor expansion of z in z
1.538 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
1.538 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
1.538 * [taylor]: Taking taylor expansion of 9.0 in t
1.538 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.538 * [taylor]: Taking taylor expansion of t in t
1.538 * [taylor]: Taking taylor expansion of 0 in y
1.538 * [taylor]: Taking taylor expansion of 0 in z
1.538 * [taylor]: Taking taylor expansion of 0 in z
1.538 * [taylor]: Taking taylor expansion of 27.0 in t
1.539 * [taylor]: Taking taylor expansion of 0 in b
1.539 * [taylor]: Taking taylor expansion of 0 in y
1.539 * [taylor]: Taking taylor expansion of 0 in y
1.539 * [taylor]: Taking taylor expansion of 0 in y
1.539 * [taylor]: Taking taylor expansion of 0 in z
1.539 * [taylor]: Taking taylor expansion of 0 in z
1.539 * [taylor]: Taking taylor expansion of 0 in z
1.540 * [taylor]: Taking taylor expansion of 0 in z
1.540 * [taylor]: Taking taylor expansion of 0 in t
1.540 * [taylor]: Taking taylor expansion of 0 in t
1.540 * [taylor]: Taking taylor expansion of 0 in t
1.540 * [taylor]: Taking taylor expansion of 0 in t
1.540 * [taylor]: Taking taylor expansion of 0 in b
1.540 * [taylor]: Taking taylor expansion of 0 in y
1.540 * [taylor]: Taking taylor expansion of 0 in y
1.541 * [taylor]: Taking taylor expansion of 0 in y
1.541 * [taylor]: Taking taylor expansion of 0 in y
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in z
1.541 * [taylor]: Taking taylor expansion of 0 in t
1.541 * [taylor]: Taking taylor expansion of 0 in t
1.541 * [taylor]: Taking taylor expansion of 0 in t
1.541 * [taylor]: Taking taylor expansion of 0 in t
1.542 * [taylor]: Taking taylor expansion of 0 in t
1.542 * [taylor]: Taking taylor expansion of 0 in t
1.542 * [taylor]: Taking taylor expansion of 0 in t
1.542 * [taylor]: Taking taylor expansion of 0 in t
1.542 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in (a b y z t) around 0
1.542 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
1.542 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
1.542 * [taylor]: Taking taylor expansion of 27.0 in t
1.542 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.542 * [taylor]: Taking taylor expansion of (* a b) in t
1.542 * [taylor]: Taking taylor expansion of a in t
1.542 * [taylor]: Taking taylor expansion of b in t
1.542 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
1.542 * [taylor]: Taking taylor expansion of 9.0 in t
1.542 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.542 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.543 * [taylor]: Taking taylor expansion of t in t
1.543 * [taylor]: Taking taylor expansion of (* z y) in t
1.543 * [taylor]: Taking taylor expansion of z in t
1.543 * [taylor]: Taking taylor expansion of y in t
1.543 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
1.543 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
1.543 * [taylor]: Taking taylor expansion of 27.0 in z
1.543 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.543 * [taylor]: Taking taylor expansion of (* a b) in z
1.543 * [taylor]: Taking taylor expansion of a in z
1.543 * [taylor]: Taking taylor expansion of b in z
1.543 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
1.543 * [taylor]: Taking taylor expansion of 9.0 in z
1.543 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.543 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.543 * [taylor]: Taking taylor expansion of t in z
1.543 * [taylor]: Taking taylor expansion of (* z y) in z
1.543 * [taylor]: Taking taylor expansion of z in z
1.543 * [taylor]: Taking taylor expansion of y in z
1.543 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
1.543 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
1.543 * [taylor]: Taking taylor expansion of 27.0 in y
1.543 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.543 * [taylor]: Taking taylor expansion of (* a b) in y
1.543 * [taylor]: Taking taylor expansion of a in y
1.543 * [taylor]: Taking taylor expansion of b in y
1.543 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
1.543 * [taylor]: Taking taylor expansion of 9.0 in y
1.543 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.543 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.543 * [taylor]: Taking taylor expansion of t in y
1.543 * [taylor]: Taking taylor expansion of (* z y) in y
1.543 * [taylor]: Taking taylor expansion of z in y
1.543 * [taylor]: Taking taylor expansion of y in y
1.543 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
1.543 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
1.543 * [taylor]: Taking taylor expansion of 27.0 in b
1.543 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.543 * [taylor]: Taking taylor expansion of (* a b) in b
1.544 * [taylor]: Taking taylor expansion of a in b
1.544 * [taylor]: Taking taylor expansion of b in b
1.544 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.544 * [taylor]: Taking taylor expansion of 9.0 in b
1.544 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.544 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.544 * [taylor]: Taking taylor expansion of t in b
1.544 * [taylor]: Taking taylor expansion of (* z y) in b
1.544 * [taylor]: Taking taylor expansion of z in b
1.544 * [taylor]: Taking taylor expansion of y in b
1.544 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.544 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.544 * [taylor]: Taking taylor expansion of 27.0 in a
1.544 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.544 * [taylor]: Taking taylor expansion of (* a b) in a
1.544 * [taylor]: Taking taylor expansion of a in a
1.544 * [taylor]: Taking taylor expansion of b in a
1.544 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.544 * [taylor]: Taking taylor expansion of 9.0 in a
1.544 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.544 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.544 * [taylor]: Taking taylor expansion of t in a
1.544 * [taylor]: Taking taylor expansion of (* z y) in a
1.544 * [taylor]: Taking taylor expansion of z in a
1.544 * [taylor]: Taking taylor expansion of y in a
1.544 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.544 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.544 * [taylor]: Taking taylor expansion of 27.0 in a
1.544 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.544 * [taylor]: Taking taylor expansion of (* a b) in a
1.544 * [taylor]: Taking taylor expansion of a in a
1.544 * [taylor]: Taking taylor expansion of b in a
1.544 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.544 * [taylor]: Taking taylor expansion of 9.0 in a
1.544 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.544 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.544 * [taylor]: Taking taylor expansion of t in a
1.544 * [taylor]: Taking taylor expansion of (* z y) in a
1.544 * [taylor]: Taking taylor expansion of z in a
1.544 * [taylor]: Taking taylor expansion of y in a
1.545 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 b)) in b
1.545 * [taylor]: Taking taylor expansion of 27.0 in b
1.545 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.545 * [taylor]: Taking taylor expansion of b in b
1.545 * [taylor]: Taking taylor expansion of 27.0 in y
1.545 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.545 * [taylor]: Taking taylor expansion of 9.0 in b
1.545 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.545 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.545 * [taylor]: Taking taylor expansion of t in b
1.545 * [taylor]: Taking taylor expansion of (* z y) in b
1.545 * [taylor]: Taking taylor expansion of z in b
1.545 * [taylor]: Taking taylor expansion of y in b
1.545 * [taylor]: Taking taylor expansion of 0 in y
1.545 * [taylor]: Taking taylor expansion of 27.0 in z
1.545 * [taylor]: Taking taylor expansion of 0 in b
1.546 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.546 * [taylor]: Taking taylor expansion of 9.0 in y
1.546 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.546 * [taylor]: Taking taylor expansion of t in y
1.546 * [taylor]: Taking taylor expansion of (* z y) in y
1.546 * [taylor]: Taking taylor expansion of z in y
1.546 * [taylor]: Taking taylor expansion of y in y
1.546 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.546 * [taylor]: Taking taylor expansion of 9.0 in z
1.546 * [taylor]: Taking taylor expansion of (* t z) in z
1.546 * [taylor]: Taking taylor expansion of t in z
1.546 * [taylor]: Taking taylor expansion of z in z
1.546 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.546 * [taylor]: Taking taylor expansion of 9.0 in t
1.546 * [taylor]: Taking taylor expansion of t in t
1.546 * [taylor]: Taking taylor expansion of 0 in y
1.546 * [taylor]: Taking taylor expansion of 0 in z
1.546 * [taylor]: Taking taylor expansion of 0 in z
1.546 * [taylor]: Taking taylor expansion of 27.0 in t
1.547 * [taylor]: Taking taylor expansion of 0 in b
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.547 * [taylor]: Taking taylor expansion of 0 in t
1.547 * [taylor]: Taking taylor expansion of 0 in t
1.547 * [taylor]: Taking taylor expansion of 0 in t
1.547 * [taylor]: Taking taylor expansion of 0 in t
1.548 * [taylor]: Taking taylor expansion of 0 in b
1.548 * [taylor]: Taking taylor expansion of 0 in y
1.548 * [taylor]: Taking taylor expansion of 0 in y
1.548 * [taylor]: Taking taylor expansion of 0 in y
1.548 * [taylor]: Taking taylor expansion of 0 in y
1.548 * [taylor]: Taking taylor expansion of 0 in z
1.548 * [taylor]: Taking taylor expansion of 0 in z
1.548 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.549 * [taylor]: Taking taylor expansion of 0 in t
1.550 * * * [progress]: simplifying candidates
1.550 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (+ (log y) (+ (log 9.0) (+ (log z) (log t))))
  (+ (log y) (+ (log 9.0) (log (* z t))))
  (+ (log y) (log (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (exp (* y (* 9.0 (* z t))))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* t t) t))))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z t) (* z t)) (* z t))))
  (* (* (* y y) y) (* (* (* 9.0 (* z t)) (* 9.0 (* z t))) (* 9.0 (* z t))))
  (* (cbrt (* y (* 9.0 (* z t)))) (cbrt (* y (* 9.0 (* z t)))))
  (cbrt (* y (* 9.0 (* z t))))
  (* (* (* y (* 9.0 (* z t))) (* y (* 9.0 (* z t)))) (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (* y 9.0)
  (* (cbrt y) (* 9.0 (* z t)))
  (* (sqrt y) (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  (+ (log 9.0) (+ (log z) (log t)))
  (+ (log 9.0) (log (* z t)))
  (log (* 9.0 (* z t)))
  (exp (* 9.0 (* z t)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* 9.0 (* z t))) (cbrt (* 9.0 (* z t))))
  (cbrt (* 9.0 (* z t)))
  (* (* (* 9.0 (* z t)) (* 9.0 (* z t))) (* 9.0 (* z t)))
  (sqrt (* 9.0 (* z t)))
  (sqrt (* 9.0 (* z t)))
  (* 9.0 z)
  (* (cbrt 9.0) (* z t))
  (* (sqrt 9.0) (* z t))
  (* 9.0 (* z t))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (+ (log a) (+ (log 27.0) (log b)))
  (+ (log a) (log (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (exp (* a (* 27.0 b)))
  (* (* (* a a) a) (* (* (* 27.0 27.0) 27.0) (* (* b b) b)))
  (* (* (* a a) a) (* (* (* 27.0 b) (* 27.0 b)) (* 27.0 b)))
  (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b))))
  (cbrt (* a (* 27.0 b)))
  (* (* (* a (* 27.0 b)) (* a (* 27.0 b))) (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (* a 27.0)
  (* (cbrt a) (* 27.0 b))
  (* (sqrt a) (* 27.0 b))
  (* a (* 27.0 b))
  (/ (exp (* a (* 27.0 b))) (exp (* y (* 9.0 (* z t)))))
  (log (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (exp (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (* (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))
  (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (* (* (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))) (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (- (pow (* a (* 27.0 b)) 3) (pow (* y (* 9.0 (* z t))) 3))
  (+ (* (* a (* 27.0 b)) (* a (* 27.0 b))) (+ (* (* y (* 9.0 (* z t))) (* y (* 9.0 (* z t)))) (* (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))
  (neg (* y (* 9.0 (* z t))))
  (- (* (* a (* 27.0 b)) (* a (* 27.0 b))) (* (* y (* 9.0 (* z t))) (* y (* 9.0 (* z t)))))
  (+ (* a (* 27.0 b)) (* y (* 9.0 (* z t))))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (- (* 27.0 (* a b)) (* 9.0 (* t (* z y))))
  (- (* 27.0 (* a b)) (* 9.0 (* t (* z y))))
1.586 * * [simplify]: iteration  0 :  5359  enodes  (cost  674 )
1.589 * [simplify]: Simplified to:
   (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (pow (pow (exp 9.0) (* z t)) y)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (* (cbrt (* y (* 9.0 (* z t)))) (cbrt (* y (* 9.0 (* z t)))))
  (cbrt (* y (* 9.0 (* z t))))
  (pow (* y (* 9.0 (* z t))) 3)
  (sqrt (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (* y 9.0)
  (* 9.0 (* (* z t) (cbrt y)))
  (* 9.0 (* (* z t) (sqrt y)))
  (* y (* 9.0 (* z t)))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  (log (* 9.0 (* z t)))
  (log (* 9.0 (* z t)))
  (log (* 9.0 (* z t)))
  (pow (exp 9.0) (* z t))
  (pow (* 9.0 (* z t)) 3)
  (pow (* 9.0 (* z t)) 3)
  (* (cbrt (* 9.0 (* z t))) (cbrt (* 9.0 (* z t))))
  (cbrt (* 9.0 (* z t)))
  (pow (* 9.0 (* z t)) 3)
  (sqrt (* 9.0 (* z t)))
  (sqrt (* 9.0 (* z t)))
  (* 9.0 z)
  (* z (* t (cbrt 9.0)))
  (* z (* t (sqrt 9.0)))
  (* 9.0 (* z t))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (log (* a (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (pow (exp a) (* 27.0 b))
  (pow (* a (* 27.0 b)) 3)
  (pow (* a (* 27.0 b)) 3)
  (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b))))
  (cbrt (* a (* 27.0 b)))
  (pow (* a (* 27.0 b)) 3)
  (sqrt (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (* a 27.0)
  (* 27.0 (* b (cbrt a)))
  (* 27.0 (* b (sqrt a)))
  (* a (* 27.0 b))
  (exp (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (log (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (exp (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (* (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))
  (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (pow (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))) 3)
  (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (- (pow (* a (* 27.0 b)) 3) (pow (* y (* 9.0 (* z t))) 3))
  (+ (* a (* a (* 27.0 (* 27.0 (* b b))))) (* y (* (* 9.0 (* z t)) (+ (* y (* 9.0 (* z t))) (* a (* 27.0 b))))))
  (* y (* 9.0 (* z (neg t))))
  (- (* a (* a (* 27.0 (* 27.0 (* b b))))) (* y (* y (* 9.0 (* 9.0 (* z (* z (* t t))))))))
  (+ (* y (* 9.0 (* z t))) (* a (* 27.0 b)))
  0
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  0
  (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))
  (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))
1.589 * * * [progress]: adding candidates to table
1.669 * * [progress]: iteration 2 / 4
1.669 * * * [progress]: picking best candidate
1.708 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))>
1.708 * * * [progress]: localizing error
1.723 * * * [progress]: generating rewritten candidates
1.723 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.729 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.734 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
1.739 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.745 * * * [progress]: generating series expansions
1.745 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.745 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
1.745 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
1.745 * [taylor]: Taking taylor expansion of 9.0 in t
1.745 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.745 * [taylor]: Taking taylor expansion of t in t
1.745 * [taylor]: Taking taylor expansion of (* z y) in t
1.745 * [taylor]: Taking taylor expansion of z in t
1.745 * [taylor]: Taking taylor expansion of y in t
1.745 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
1.746 * [taylor]: Taking taylor expansion of 9.0 in z
1.746 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.746 * [taylor]: Taking taylor expansion of t in z
1.746 * [taylor]: Taking taylor expansion of (* z y) in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.746 * [taylor]: Taking taylor expansion of y in z
1.746 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.746 * [taylor]: Taking taylor expansion of 9.0 in y
1.746 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.746 * [taylor]: Taking taylor expansion of t in y
1.746 * [taylor]: Taking taylor expansion of (* z y) in y
1.746 * [taylor]: Taking taylor expansion of z in y
1.746 * [taylor]: Taking taylor expansion of y in y
1.746 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.746 * [taylor]: Taking taylor expansion of 9.0 in y
1.746 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.746 * [taylor]: Taking taylor expansion of t in y
1.746 * [taylor]: Taking taylor expansion of (* z y) in y
1.746 * [taylor]: Taking taylor expansion of z in y
1.746 * [taylor]: Taking taylor expansion of y in y
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.746 * [taylor]: Taking taylor expansion of 0 in t
1.746 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.746 * [taylor]: Taking taylor expansion of 9.0 in z
1.746 * [taylor]: Taking taylor expansion of (* t z) in z
1.746 * [taylor]: Taking taylor expansion of t in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.746 * [taylor]: Taking taylor expansion of 0 in t
1.746 * [taylor]: Taking taylor expansion of 0 in t
1.746 * [taylor]: Taking taylor expansion of 0 in z
1.746 * [taylor]: Taking taylor expansion of 0 in t
1.746 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
1.746 * [taylor]: Taking taylor expansion of 9.0 in t
1.746 * [taylor]: Taking taylor expansion of t in t
1.747 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
1.747 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
1.747 * [taylor]: Taking taylor expansion of 9.0 in t
1.747 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.747 * [taylor]: Taking taylor expansion of t in t
1.747 * [taylor]: Taking taylor expansion of (* z y) in t
1.747 * [taylor]: Taking taylor expansion of z in t
1.747 * [taylor]: Taking taylor expansion of y in t
1.747 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
1.747 * [taylor]: Taking taylor expansion of 9.0 in z
1.747 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.747 * [taylor]: Taking taylor expansion of t in z
1.747 * [taylor]: Taking taylor expansion of (* z y) in z
1.747 * [taylor]: Taking taylor expansion of z in z
1.747 * [taylor]: Taking taylor expansion of y in z
1.747 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.747 * [taylor]: Taking taylor expansion of 9.0 in y
1.747 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.747 * [taylor]: Taking taylor expansion of t in y
1.747 * [taylor]: Taking taylor expansion of (* z y) in y
1.747 * [taylor]: Taking taylor expansion of z in y
1.747 * [taylor]: Taking taylor expansion of y in y
1.747 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.747 * [taylor]: Taking taylor expansion of 9.0 in y
1.747 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.747 * [taylor]: Taking taylor expansion of t in y
1.747 * [taylor]: Taking taylor expansion of (* z y) in y
1.747 * [taylor]: Taking taylor expansion of z in y
1.747 * [taylor]: Taking taylor expansion of y in y
1.747 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.747 * [taylor]: Taking taylor expansion of 9.0 in z
1.747 * [taylor]: Taking taylor expansion of (* t z) in z
1.748 * [taylor]: Taking taylor expansion of t in z
1.748 * [taylor]: Taking taylor expansion of z in z
1.748 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.748 * [taylor]: Taking taylor expansion of 9.0 in t
1.748 * [taylor]: Taking taylor expansion of t in t
1.748 * [taylor]: Taking taylor expansion of 0 in z
1.748 * [taylor]: Taking taylor expansion of 0 in t
1.748 * [taylor]: Taking taylor expansion of 0 in z
1.748 * [taylor]: Taking taylor expansion of 0 in t
1.748 * [taylor]: Taking taylor expansion of 0 in t
1.749 * [taylor]: Taking taylor expansion of 0 in z
1.749 * [taylor]: Taking taylor expansion of 0 in t
1.749 * [taylor]: Taking taylor expansion of 0 in t
1.749 * [taylor]: Taking taylor expansion of 0 in t
1.749 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
1.749 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
1.749 * [taylor]: Taking taylor expansion of -9.0 in t
1.749 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.749 * [taylor]: Taking taylor expansion of t in t
1.749 * [taylor]: Taking taylor expansion of (* z y) in t
1.749 * [taylor]: Taking taylor expansion of z in t
1.749 * [taylor]: Taking taylor expansion of y in t
1.749 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
1.749 * [taylor]: Taking taylor expansion of -9.0 in z
1.749 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.749 * [taylor]: Taking taylor expansion of t in z
1.749 * [taylor]: Taking taylor expansion of (* z y) in z
1.749 * [taylor]: Taking taylor expansion of z in z
1.749 * [taylor]: Taking taylor expansion of y in z
1.749 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
1.749 * [taylor]: Taking taylor expansion of -9.0 in y
1.749 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.750 * [taylor]: Taking taylor expansion of t in y
1.750 * [taylor]: Taking taylor expansion of (* z y) in y
1.750 * [taylor]: Taking taylor expansion of z in y
1.750 * [taylor]: Taking taylor expansion of y in y
1.750 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
1.750 * [taylor]: Taking taylor expansion of -9.0 in y
1.750 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.750 * [taylor]: Taking taylor expansion of t in y
1.750 * [taylor]: Taking taylor expansion of (* z y) in y
1.750 * [taylor]: Taking taylor expansion of z in y
1.750 * [taylor]: Taking taylor expansion of y in y
1.750 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
1.750 * [taylor]: Taking taylor expansion of -9.0 in z
1.750 * [taylor]: Taking taylor expansion of (* t z) in z
1.750 * [taylor]: Taking taylor expansion of t in z
1.750 * [taylor]: Taking taylor expansion of z in z
1.750 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
1.750 * [taylor]: Taking taylor expansion of -9.0 in t
1.750 * [taylor]: Taking taylor expansion of t in t
1.750 * [taylor]: Taking taylor expansion of 0 in z
1.750 * [taylor]: Taking taylor expansion of 0 in t
1.751 * [taylor]: Taking taylor expansion of 0 in z
1.751 * [taylor]: Taking taylor expansion of 0 in t
1.751 * [taylor]: Taking taylor expansion of 0 in t
1.751 * [taylor]: Taking taylor expansion of 0 in z
1.751 * [taylor]: Taking taylor expansion of 0 in t
1.751 * [taylor]: Taking taylor expansion of 0 in t
1.751 * [taylor]: Taking taylor expansion of 0 in t
1.751 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.751 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
1.751 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
1.751 * [taylor]: Taking taylor expansion of 27.0 in b
1.751 * [taylor]: Taking taylor expansion of (* a b) in b
1.752 * [taylor]: Taking taylor expansion of a in b
1.752 * [taylor]: Taking taylor expansion of b in b
1.752 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.752 * [taylor]: Taking taylor expansion of 27.0 in a
1.752 * [taylor]: Taking taylor expansion of (* a b) in a
1.752 * [taylor]: Taking taylor expansion of a in a
1.752 * [taylor]: Taking taylor expansion of b in a
1.752 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.752 * [taylor]: Taking taylor expansion of 27.0 in a
1.752 * [taylor]: Taking taylor expansion of (* a b) in a
1.752 * [taylor]: Taking taylor expansion of a in a
1.752 * [taylor]: Taking taylor expansion of b in a
1.752 * [taylor]: Taking taylor expansion of 0 in b
1.752 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
1.752 * [taylor]: Taking taylor expansion of 27.0 in b
1.752 * [taylor]: Taking taylor expansion of b in b
1.752 * [taylor]: Taking taylor expansion of 0 in b
1.752 * [taylor]: Taking taylor expansion of 0 in b
1.752 * [taylor]: Taking taylor expansion of 0 in b
1.752 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
1.752 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
1.752 * [taylor]: Taking taylor expansion of 27.0 in b
1.752 * [taylor]: Taking taylor expansion of (* a b) in b
1.752 * [taylor]: Taking taylor expansion of a in b
1.752 * [taylor]: Taking taylor expansion of b in b
1.753 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.753 * [taylor]: Taking taylor expansion of 27.0 in a
1.753 * [taylor]: Taking taylor expansion of (* a b) in a
1.753 * [taylor]: Taking taylor expansion of a in a
1.753 * [taylor]: Taking taylor expansion of b in a
1.753 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.753 * [taylor]: Taking taylor expansion of 27.0 in a
1.753 * [taylor]: Taking taylor expansion of (* a b) in a
1.753 * [taylor]: Taking taylor expansion of a in a
1.753 * [taylor]: Taking taylor expansion of b in a
1.753 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
1.753 * [taylor]: Taking taylor expansion of 27.0 in b
1.753 * [taylor]: Taking taylor expansion of b in b
1.753 * [taylor]: Taking taylor expansion of 0 in b
1.753 * [taylor]: Taking taylor expansion of 0 in b
1.753 * [taylor]: Taking taylor expansion of 0 in b
1.754 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
1.754 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
1.754 * [taylor]: Taking taylor expansion of 27.0 in b
1.754 * [taylor]: Taking taylor expansion of (* a b) in b
1.754 * [taylor]: Taking taylor expansion of a in b
1.754 * [taylor]: Taking taylor expansion of b in b
1.754 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.754 * [taylor]: Taking taylor expansion of 27.0 in a
1.754 * [taylor]: Taking taylor expansion of (* a b) in a
1.754 * [taylor]: Taking taylor expansion of a in a
1.754 * [taylor]: Taking taylor expansion of b in a
1.754 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.754 * [taylor]: Taking taylor expansion of 27.0 in a
1.754 * [taylor]: Taking taylor expansion of (* a b) in a
1.754 * [taylor]: Taking taylor expansion of a in a
1.754 * [taylor]: Taking taylor expansion of b in a
1.754 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
1.754 * [taylor]: Taking taylor expansion of 27.0 in b
1.754 * [taylor]: Taking taylor expansion of b in b
1.754 * [taylor]: Taking taylor expansion of 0 in b
1.754 * [taylor]: Taking taylor expansion of 0 in b
1.754 * [taylor]: Taking taylor expansion of 0 in b
1.755 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
1.755 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
1.755 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
1.755 * [taylor]: Taking taylor expansion of 9.0 in t
1.755 * [taylor]: Taking taylor expansion of (* t z) in t
1.755 * [taylor]: Taking taylor expansion of t in t
1.755 * [taylor]: Taking taylor expansion of z in t
1.755 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.755 * [taylor]: Taking taylor expansion of 9.0 in z
1.755 * [taylor]: Taking taylor expansion of (* t z) in z
1.755 * [taylor]: Taking taylor expansion of t in z
1.755 * [taylor]: Taking taylor expansion of z in z
1.755 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.755 * [taylor]: Taking taylor expansion of 9.0 in z
1.755 * [taylor]: Taking taylor expansion of (* t z) in z
1.755 * [taylor]: Taking taylor expansion of t in z
1.755 * [taylor]: Taking taylor expansion of z in z
1.755 * [taylor]: Taking taylor expansion of 0 in t
1.755 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
1.755 * [taylor]: Taking taylor expansion of 9.0 in t
1.755 * [taylor]: Taking taylor expansion of t in t
1.755 * [taylor]: Taking taylor expansion of 0 in t
1.755 * [taylor]: Taking taylor expansion of 0 in t
1.756 * [taylor]: Taking taylor expansion of 0 in t
1.756 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
1.756 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.756 * [taylor]: Taking taylor expansion of 9.0 in t
1.756 * [taylor]: Taking taylor expansion of (* t z) in t
1.756 * [taylor]: Taking taylor expansion of t in t
1.756 * [taylor]: Taking taylor expansion of z in t
1.756 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.756 * [taylor]: Taking taylor expansion of 9.0 in z
1.756 * [taylor]: Taking taylor expansion of (* t z) in z
1.756 * [taylor]: Taking taylor expansion of t in z
1.756 * [taylor]: Taking taylor expansion of z in z
1.756 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.756 * [taylor]: Taking taylor expansion of 9.0 in z
1.756 * [taylor]: Taking taylor expansion of (* t z) in z
1.756 * [taylor]: Taking taylor expansion of t in z
1.756 * [taylor]: Taking taylor expansion of z in z
1.756 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.756 * [taylor]: Taking taylor expansion of 9.0 in t
1.756 * [taylor]: Taking taylor expansion of t in t
1.756 * [taylor]: Taking taylor expansion of 0 in t
1.756 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.757 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
1.757 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.757 * [taylor]: Taking taylor expansion of 9.0 in t
1.757 * [taylor]: Taking taylor expansion of (* t z) in t
1.757 * [taylor]: Taking taylor expansion of t in t
1.757 * [taylor]: Taking taylor expansion of z in t
1.757 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.757 * [taylor]: Taking taylor expansion of 9.0 in z
1.757 * [taylor]: Taking taylor expansion of (* t z) in z
1.757 * [taylor]: Taking taylor expansion of t in z
1.757 * [taylor]: Taking taylor expansion of z in z
1.757 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.757 * [taylor]: Taking taylor expansion of 9.0 in z
1.757 * [taylor]: Taking taylor expansion of (* t z) in z
1.757 * [taylor]: Taking taylor expansion of t in z
1.757 * [taylor]: Taking taylor expansion of z in z
1.757 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.757 * [taylor]: Taking taylor expansion of 9.0 in t
1.757 * [taylor]: Taking taylor expansion of t in t
1.757 * [taylor]: Taking taylor expansion of 0 in t
1.758 * [taylor]: Taking taylor expansion of 0 in t
1.758 * [taylor]: Taking taylor expansion of 0 in t
1.758 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.758 * [approximate]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in (a b y z t) around 0
1.758 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in t
1.758 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
1.758 * [taylor]: Taking taylor expansion of 27.0 in t
1.758 * [taylor]: Taking taylor expansion of (* a b) in t
1.758 * [taylor]: Taking taylor expansion of a in t
1.758 * [taylor]: Taking taylor expansion of b in t
1.758 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
1.758 * [taylor]: Taking taylor expansion of 9.0 in t
1.758 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.758 * [taylor]: Taking taylor expansion of t in t
1.758 * [taylor]: Taking taylor expansion of (* z y) in t
1.758 * [taylor]: Taking taylor expansion of z in t
1.758 * [taylor]: Taking taylor expansion of y in t
1.758 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in z
1.758 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
1.758 * [taylor]: Taking taylor expansion of 27.0 in z
1.758 * [taylor]: Taking taylor expansion of (* a b) in z
1.758 * [taylor]: Taking taylor expansion of a in z
1.758 * [taylor]: Taking taylor expansion of b in z
1.758 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
1.758 * [taylor]: Taking taylor expansion of 9.0 in z
1.758 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.758 * [taylor]: Taking taylor expansion of t in z
1.758 * [taylor]: Taking taylor expansion of (* z y) in z
1.758 * [taylor]: Taking taylor expansion of z in z
1.758 * [taylor]: Taking taylor expansion of y in z
1.759 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in y
1.759 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
1.759 * [taylor]: Taking taylor expansion of 27.0 in y
1.759 * [taylor]: Taking taylor expansion of (* a b) in y
1.759 * [taylor]: Taking taylor expansion of a in y
1.759 * [taylor]: Taking taylor expansion of b in y
1.759 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.759 * [taylor]: Taking taylor expansion of 9.0 in y
1.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.759 * [taylor]: Taking taylor expansion of t in y
1.759 * [taylor]: Taking taylor expansion of (* z y) in y
1.759 * [taylor]: Taking taylor expansion of z in y
1.759 * [taylor]: Taking taylor expansion of y in y
1.759 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in b
1.759 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
1.759 * [taylor]: Taking taylor expansion of 27.0 in b
1.759 * [taylor]: Taking taylor expansion of (* a b) in b
1.759 * [taylor]: Taking taylor expansion of a in b
1.759 * [taylor]: Taking taylor expansion of b in b
1.759 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
1.759 * [taylor]: Taking taylor expansion of 9.0 in b
1.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.759 * [taylor]: Taking taylor expansion of t in b
1.759 * [taylor]: Taking taylor expansion of (* z y) in b
1.759 * [taylor]: Taking taylor expansion of z in b
1.759 * [taylor]: Taking taylor expansion of y in b
1.759 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in a
1.759 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.759 * [taylor]: Taking taylor expansion of 27.0 in a
1.759 * [taylor]: Taking taylor expansion of (* a b) in a
1.759 * [taylor]: Taking taylor expansion of a in a
1.759 * [taylor]: Taking taylor expansion of b in a
1.759 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
1.759 * [taylor]: Taking taylor expansion of 9.0 in a
1.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.759 * [taylor]: Taking taylor expansion of t in a
1.759 * [taylor]: Taking taylor expansion of (* z y) in a
1.759 * [taylor]: Taking taylor expansion of z in a
1.759 * [taylor]: Taking taylor expansion of y in a
1.759 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in a
1.759 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.759 * [taylor]: Taking taylor expansion of 27.0 in a
1.759 * [taylor]: Taking taylor expansion of (* a b) in a
1.759 * [taylor]: Taking taylor expansion of a in a
1.759 * [taylor]: Taking taylor expansion of b in a
1.759 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
1.759 * [taylor]: Taking taylor expansion of 9.0 in a
1.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.759 * [taylor]: Taking taylor expansion of t in a
1.759 * [taylor]: Taking taylor expansion of (* z y) in a
1.759 * [taylor]: Taking taylor expansion of z in a
1.759 * [taylor]: Taking taylor expansion of y in a
1.760 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in b
1.760 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
1.760 * [taylor]: Taking taylor expansion of 9.0 in b
1.760 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.760 * [taylor]: Taking taylor expansion of t in b
1.760 * [taylor]: Taking taylor expansion of (* z y) in b
1.760 * [taylor]: Taking taylor expansion of z in b
1.760 * [taylor]: Taking taylor expansion of y in b
1.760 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in y
1.760 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.760 * [taylor]: Taking taylor expansion of 9.0 in y
1.760 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.760 * [taylor]: Taking taylor expansion of t in y
1.760 * [taylor]: Taking taylor expansion of (* z y) in y
1.760 * [taylor]: Taking taylor expansion of z in y
1.760 * [taylor]: Taking taylor expansion of y in y
1.760 * [taylor]: Taking taylor expansion of 0 in z
1.760 * [taylor]: Taking taylor expansion of 0 in t
1.760 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
1.760 * [taylor]: Taking taylor expansion of 27.0 in b
1.760 * [taylor]: Taking taylor expansion of b in b
1.760 * [taylor]: Taking taylor expansion of 0 in y
1.760 * [taylor]: Taking taylor expansion of 0 in z
1.760 * [taylor]: Taking taylor expansion of 0 in t
1.760 * [taylor]: Taking taylor expansion of 0 in y
1.760 * [taylor]: Taking taylor expansion of 0 in z
1.760 * [taylor]: Taking taylor expansion of 0 in t
1.761 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z
1.761 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.761 * [taylor]: Taking taylor expansion of 9.0 in z
1.761 * [taylor]: Taking taylor expansion of (* t z) in z
1.761 * [taylor]: Taking taylor expansion of t in z
1.761 * [taylor]: Taking taylor expansion of z in z
1.761 * [taylor]: Taking taylor expansion of 0 in t
1.761 * [taylor]: Taking taylor expansion of 0 in t
1.761 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in (a b y z t) around 0
1.761 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
1.761 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
1.761 * [taylor]: Taking taylor expansion of 27.0 in t
1.761 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.761 * [taylor]: Taking taylor expansion of (* a b) in t
1.761 * [taylor]: Taking taylor expansion of a in t
1.761 * [taylor]: Taking taylor expansion of b in t
1.761 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
1.761 * [taylor]: Taking taylor expansion of 9.0 in t
1.761 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.761 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.761 * [taylor]: Taking taylor expansion of t in t
1.761 * [taylor]: Taking taylor expansion of (* z y) in t
1.761 * [taylor]: Taking taylor expansion of z in t
1.761 * [taylor]: Taking taylor expansion of y in t
1.761 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
1.761 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
1.761 * [taylor]: Taking taylor expansion of 27.0 in z
1.761 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.761 * [taylor]: Taking taylor expansion of (* a b) in z
1.761 * [taylor]: Taking taylor expansion of a in z
1.761 * [taylor]: Taking taylor expansion of b in z
1.761 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
1.762 * [taylor]: Taking taylor expansion of 9.0 in z
1.762 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.762 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.762 * [taylor]: Taking taylor expansion of t in z
1.762 * [taylor]: Taking taylor expansion of (* z y) in z
1.762 * [taylor]: Taking taylor expansion of z in z
1.762 * [taylor]: Taking taylor expansion of y in z
1.762 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
1.762 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
1.762 * [taylor]: Taking taylor expansion of 27.0 in y
1.762 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.762 * [taylor]: Taking taylor expansion of (* a b) in y
1.762 * [taylor]: Taking taylor expansion of a in y
1.762 * [taylor]: Taking taylor expansion of b in y
1.762 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
1.762 * [taylor]: Taking taylor expansion of 9.0 in y
1.762 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.762 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.762 * [taylor]: Taking taylor expansion of t in y
1.762 * [taylor]: Taking taylor expansion of (* z y) in y
1.762 * [taylor]: Taking taylor expansion of z in y
1.762 * [taylor]: Taking taylor expansion of y in y
1.762 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
1.762 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
1.762 * [taylor]: Taking taylor expansion of 27.0 in b
1.762 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.762 * [taylor]: Taking taylor expansion of (* a b) in b
1.762 * [taylor]: Taking taylor expansion of a in b
1.762 * [taylor]: Taking taylor expansion of b in b
1.762 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.762 * [taylor]: Taking taylor expansion of 9.0 in b
1.762 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.762 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.762 * [taylor]: Taking taylor expansion of t in b
1.762 * [taylor]: Taking taylor expansion of (* z y) in b
1.762 * [taylor]: Taking taylor expansion of z in b
1.762 * [taylor]: Taking taylor expansion of y in b
1.762 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.762 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.762 * [taylor]: Taking taylor expansion of 27.0 in a
1.762 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.763 * [taylor]: Taking taylor expansion of (* a b) in a
1.763 * [taylor]: Taking taylor expansion of a in a
1.763 * [taylor]: Taking taylor expansion of b in a
1.763 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.763 * [taylor]: Taking taylor expansion of 9.0 in a
1.763 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.763 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.763 * [taylor]: Taking taylor expansion of t in a
1.763 * [taylor]: Taking taylor expansion of (* z y) in a
1.763 * [taylor]: Taking taylor expansion of z in a
1.763 * [taylor]: Taking taylor expansion of y in a
1.763 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.763 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.763 * [taylor]: Taking taylor expansion of 27.0 in a
1.763 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.763 * [taylor]: Taking taylor expansion of (* a b) in a
1.763 * [taylor]: Taking taylor expansion of a in a
1.763 * [taylor]: Taking taylor expansion of b in a
1.763 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.763 * [taylor]: Taking taylor expansion of 9.0 in a
1.763 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.763 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.763 * [taylor]: Taking taylor expansion of t in a
1.763 * [taylor]: Taking taylor expansion of (* z y) in a
1.763 * [taylor]: Taking taylor expansion of z in a
1.763 * [taylor]: Taking taylor expansion of y in a
1.763 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 b)) in b
1.763 * [taylor]: Taking taylor expansion of 27.0 in b
1.763 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.763 * [taylor]: Taking taylor expansion of b in b
1.763 * [taylor]: Taking taylor expansion of 27.0 in y
1.764 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in b
1.764 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.764 * [taylor]: Taking taylor expansion of 9.0 in b
1.764 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.764 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.764 * [taylor]: Taking taylor expansion of t in b
1.764 * [taylor]: Taking taylor expansion of (* z y) in b
1.764 * [taylor]: Taking taylor expansion of z in b
1.764 * [taylor]: Taking taylor expansion of y in b
1.764 * [taylor]: Taking taylor expansion of 0 in y
1.764 * [taylor]: Taking taylor expansion of 27.0 in z
1.764 * [taylor]: Taking taylor expansion of 0 in b
1.764 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in y
1.764 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
1.764 * [taylor]: Taking taylor expansion of 9.0 in y
1.764 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.764 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.764 * [taylor]: Taking taylor expansion of t in y
1.764 * [taylor]: Taking taylor expansion of (* z y) in y
1.764 * [taylor]: Taking taylor expansion of z in y
1.764 * [taylor]: Taking taylor expansion of y in y
1.765 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
1.765 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
1.765 * [taylor]: Taking taylor expansion of 9.0 in z
1.765 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.765 * [taylor]: Taking taylor expansion of (* t z) in z
1.765 * [taylor]: Taking taylor expansion of t in z
1.765 * [taylor]: Taking taylor expansion of z in z
1.765 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
1.765 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
1.765 * [taylor]: Taking taylor expansion of 9.0 in t
1.765 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.765 * [taylor]: Taking taylor expansion of t in t
1.765 * [taylor]: Taking taylor expansion of 0 in y
1.765 * [taylor]: Taking taylor expansion of 0 in z
1.765 * [taylor]: Taking taylor expansion of 0 in z
1.765 * [taylor]: Taking taylor expansion of 27.0 in t
1.766 * [taylor]: Taking taylor expansion of 0 in b
1.766 * [taylor]: Taking taylor expansion of 0 in y
1.766 * [taylor]: Taking taylor expansion of 0 in y
1.766 * [taylor]: Taking taylor expansion of 0 in y
1.766 * [taylor]: Taking taylor expansion of 0 in z
1.766 * [taylor]: Taking taylor expansion of 0 in z
1.766 * [taylor]: Taking taylor expansion of 0 in z
1.766 * [taylor]: Taking taylor expansion of 0 in z
1.766 * [taylor]: Taking taylor expansion of 0 in t
1.766 * [taylor]: Taking taylor expansion of 0 in t
1.766 * [taylor]: Taking taylor expansion of 0 in t
1.766 * [taylor]: Taking taylor expansion of 0 in t
1.767 * [taylor]: Taking taylor expansion of 0 in b
1.767 * [taylor]: Taking taylor expansion of 0 in y
1.767 * [taylor]: Taking taylor expansion of 0 in y
1.767 * [taylor]: Taking taylor expansion of 0 in y
1.767 * [taylor]: Taking taylor expansion of 0 in y
1.767 * [taylor]: Taking taylor expansion of 0 in z
1.767 * [taylor]: Taking taylor expansion of 0 in z
1.768 * [taylor]: Taking taylor expansion of 0 in z
1.768 * [taylor]: Taking taylor expansion of 0 in z
1.768 * [taylor]: Taking taylor expansion of 0 in z
1.768 * [taylor]: Taking taylor expansion of 0 in z
1.768 * [taylor]: Taking taylor expansion of 0 in z
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.768 * [taylor]: Taking taylor expansion of 0 in t
1.769 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in (a b y z t) around 0
1.769 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
1.769 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
1.769 * [taylor]: Taking taylor expansion of 27.0 in t
1.769 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.769 * [taylor]: Taking taylor expansion of (* a b) in t
1.769 * [taylor]: Taking taylor expansion of a in t
1.769 * [taylor]: Taking taylor expansion of b in t
1.769 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
1.769 * [taylor]: Taking taylor expansion of 9.0 in t
1.769 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.769 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.769 * [taylor]: Taking taylor expansion of t in t
1.769 * [taylor]: Taking taylor expansion of (* z y) in t
1.769 * [taylor]: Taking taylor expansion of z in t
1.769 * [taylor]: Taking taylor expansion of y in t
1.769 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
1.769 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
1.769 * [taylor]: Taking taylor expansion of 27.0 in z
1.769 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.769 * [taylor]: Taking taylor expansion of (* a b) in z
1.769 * [taylor]: Taking taylor expansion of a in z
1.769 * [taylor]: Taking taylor expansion of b in z
1.769 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
1.769 * [taylor]: Taking taylor expansion of 9.0 in z
1.769 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.769 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.769 * [taylor]: Taking taylor expansion of t in z
1.769 * [taylor]: Taking taylor expansion of (* z y) in z
1.770 * [taylor]: Taking taylor expansion of z in z
1.770 * [taylor]: Taking taylor expansion of y in z
1.770 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
1.770 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
1.770 * [taylor]: Taking taylor expansion of 27.0 in y
1.770 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.770 * [taylor]: Taking taylor expansion of (* a b) in y
1.770 * [taylor]: Taking taylor expansion of a in y
1.770 * [taylor]: Taking taylor expansion of b in y
1.770 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
1.770 * [taylor]: Taking taylor expansion of 9.0 in y
1.770 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.770 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.770 * [taylor]: Taking taylor expansion of t in y
1.770 * [taylor]: Taking taylor expansion of (* z y) in y
1.770 * [taylor]: Taking taylor expansion of z in y
1.770 * [taylor]: Taking taylor expansion of y in y
1.770 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
1.770 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
1.770 * [taylor]: Taking taylor expansion of 27.0 in b
1.770 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.770 * [taylor]: Taking taylor expansion of (* a b) in b
1.770 * [taylor]: Taking taylor expansion of a in b
1.770 * [taylor]: Taking taylor expansion of b in b
1.770 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.770 * [taylor]: Taking taylor expansion of 9.0 in b
1.770 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.770 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.770 * [taylor]: Taking taylor expansion of t in b
1.770 * [taylor]: Taking taylor expansion of (* z y) in b
1.770 * [taylor]: Taking taylor expansion of z in b
1.770 * [taylor]: Taking taylor expansion of y in b
1.770 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.770 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.770 * [taylor]: Taking taylor expansion of 27.0 in a
1.770 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.770 * [taylor]: Taking taylor expansion of (* a b) in a
1.770 * [taylor]: Taking taylor expansion of a in a
1.770 * [taylor]: Taking taylor expansion of b in a
1.771 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.771 * [taylor]: Taking taylor expansion of 9.0 in a
1.771 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.771 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.771 * [taylor]: Taking taylor expansion of t in a
1.771 * [taylor]: Taking taylor expansion of (* z y) in a
1.771 * [taylor]: Taking taylor expansion of z in a
1.771 * [taylor]: Taking taylor expansion of y in a
1.771 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.771 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.771 * [taylor]: Taking taylor expansion of 27.0 in a
1.771 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.771 * [taylor]: Taking taylor expansion of (* a b) in a
1.771 * [taylor]: Taking taylor expansion of a in a
1.771 * [taylor]: Taking taylor expansion of b in a
1.771 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.771 * [taylor]: Taking taylor expansion of 9.0 in a
1.771 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.771 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.771 * [taylor]: Taking taylor expansion of t in a
1.771 * [taylor]: Taking taylor expansion of (* z y) in a
1.771 * [taylor]: Taking taylor expansion of z in a
1.771 * [taylor]: Taking taylor expansion of y in a
1.771 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 b)) in b
1.771 * [taylor]: Taking taylor expansion of 27.0 in b
1.771 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.771 * [taylor]: Taking taylor expansion of b in b
1.771 * [taylor]: Taking taylor expansion of 27.0 in y
1.771 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.771 * [taylor]: Taking taylor expansion of 9.0 in b
1.771 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.771 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.772 * [taylor]: Taking taylor expansion of t in b
1.772 * [taylor]: Taking taylor expansion of (* z y) in b
1.772 * [taylor]: Taking taylor expansion of z in b
1.772 * [taylor]: Taking taylor expansion of y in b
1.772 * [taylor]: Taking taylor expansion of 0 in y
1.772 * [taylor]: Taking taylor expansion of 27.0 in z
1.772 * [taylor]: Taking taylor expansion of 0 in b
1.772 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.772 * [taylor]: Taking taylor expansion of 9.0 in y
1.772 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.772 * [taylor]: Taking taylor expansion of t in y
1.772 * [taylor]: Taking taylor expansion of (* z y) in y
1.772 * [taylor]: Taking taylor expansion of z in y
1.772 * [taylor]: Taking taylor expansion of y in y
1.772 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.772 * [taylor]: Taking taylor expansion of 9.0 in z
1.772 * [taylor]: Taking taylor expansion of (* t z) in z
1.772 * [taylor]: Taking taylor expansion of t in z
1.772 * [taylor]: Taking taylor expansion of z in z
1.772 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.772 * [taylor]: Taking taylor expansion of 9.0 in t
1.772 * [taylor]: Taking taylor expansion of t in t
1.773 * [taylor]: Taking taylor expansion of 0 in y
1.773 * [taylor]: Taking taylor expansion of 0 in z
1.773 * [taylor]: Taking taylor expansion of 0 in z
1.773 * [taylor]: Taking taylor expansion of 27.0 in t
1.773 * [taylor]: Taking taylor expansion of 0 in b
1.773 * [taylor]: Taking taylor expansion of 0 in y
1.773 * [taylor]: Taking taylor expansion of 0 in y
1.773 * [taylor]: Taking taylor expansion of 0 in y
1.774 * [taylor]: Taking taylor expansion of 0 in z
1.774 * [taylor]: Taking taylor expansion of 0 in z
1.774 * [taylor]: Taking taylor expansion of 0 in z
1.774 * [taylor]: Taking taylor expansion of 0 in z
1.774 * [taylor]: Taking taylor expansion of 0 in t
1.774 * [taylor]: Taking taylor expansion of 0 in t
1.774 * [taylor]: Taking taylor expansion of 0 in t
1.774 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in b
1.775 * [taylor]: Taking taylor expansion of 0 in y
1.775 * [taylor]: Taking taylor expansion of 0 in y
1.775 * [taylor]: Taking taylor expansion of 0 in y
1.775 * [taylor]: Taking taylor expansion of 0 in y
1.775 * [taylor]: Taking taylor expansion of 0 in z
1.775 * [taylor]: Taking taylor expansion of 0 in z
1.775 * [taylor]: Taking taylor expansion of 0 in z
1.775 * [taylor]: Taking taylor expansion of 0 in z
1.775 * [taylor]: Taking taylor expansion of 0 in z
1.775 * [taylor]: Taking taylor expansion of 0 in z
1.775 * [taylor]: Taking taylor expansion of 0 in z
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.776 * [taylor]: Taking taylor expansion of 0 in t
1.776 * [taylor]: Taking taylor expansion of 0 in t
1.776 * [taylor]: Taking taylor expansion of 0 in t
1.776 * [taylor]: Taking taylor expansion of 0 in t
1.776 * * * [progress]: simplifying candidates
1.777 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* (* 9.0 z) t))
  (* y (* (* 9.0 z) t))
  (* y (* (* 9.0 z) t))
  (+ (log y) (+ (+ (log 9.0) (log z)) (log t)))
  (+ (log y) (+ (log (* 9.0 z)) (log t)))
  (+ (log y) (log (* (* 9.0 z) t)))
  (log (* y (* (* 9.0 z) t)))
  (exp (* y (* (* 9.0 z) t)))
  (* (* (* y y) y) (* (* (* (* 9.0 9.0) 9.0) (* (* z z) z)) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* (* 9.0 z) (* 9.0 z)) (* 9.0 z)) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* (* 9.0 z) t) (* (* 9.0 z) t)) (* (* 9.0 z) t)))
  (* (cbrt (* y (* (* 9.0 z) t))) (cbrt (* y (* (* 9.0 z) t))))
  (cbrt (* y (* (* 9.0 z) t)))
  (* (* (* y (* (* 9.0 z) t)) (* y (* (* 9.0 z) t))) (* y (* (* 9.0 z) t)))
  (sqrt (* y (* (* 9.0 z) t)))
  (sqrt (* y (* (* 9.0 z) t)))
  (* y (* 9.0 z))
  (* (cbrt y) (* (* 9.0 z) t))
  (* (sqrt y) (* (* 9.0 z) t))
  (* y (* (* 9.0 z) t))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (+ (log a) (+ (log 27.0) (log b)))
  (+ (log a) (log (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (exp (* a (* 27.0 b)))
  (* (* (* a a) a) (* (* (* 27.0 27.0) 27.0) (* (* b b) b)))
  (* (* (* a a) a) (* (* (* 27.0 b) (* 27.0 b)) (* 27.0 b)))
  (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b))))
  (cbrt (* a (* 27.0 b)))
  (* (* (* a (* 27.0 b)) (* a (* 27.0 b))) (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (* a 27.0)
  (* (cbrt a) (* 27.0 b))
  (* (sqrt a) (* 27.0 b))
  (* a (* 27.0 b))
  (* (* 9.0 z) t)
  (* (* 9.0 z) t)
  (+ (+ (log 9.0) (log z)) (log t))
  (+ (log (* 9.0 z)) (log t))
  (log (* (* 9.0 z) t))
  (exp (* (* 9.0 z) t))
  (* (* (* (* 9.0 9.0) 9.0) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* 9.0 z) (* 9.0 z)) (* 9.0 z)) (* (* t t) t))
  (* (cbrt (* (* 9.0 z) t)) (cbrt (* (* 9.0 z) t)))
  (cbrt (* (* 9.0 z) t))
  (* (* (* (* 9.0 z) t) (* (* 9.0 z) t)) (* (* 9.0 z) t))
  (sqrt (* (* 9.0 z) t))
  (sqrt (* (* 9.0 z) t))
  (* (* 9.0 z) (* (cbrt t) (cbrt t)))
  (* (* 9.0 z) (sqrt t))
  (* (* 9.0 z) 1)
  (* z t)
  (/ (exp (* a (* 27.0 b))) (exp (* y (* (* 9.0 z) t))))
  (log (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))))
  (exp (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))))
  (* (cbrt (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))) (cbrt (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))
  (cbrt (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))))
  (* (* (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))))
  (sqrt (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))))
  (sqrt (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))))
  (- (pow (* a (* 27.0 b)) 3) (pow (* y (* (* 9.0 z) t)) 3))
  (+ (* (* a (* 27.0 b)) (* a (* 27.0 b))) (+ (* (* y (* (* 9.0 z) t)) (* y (* (* 9.0 z) t))) (* (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))
  (neg (* y (* (* 9.0 z) t)))
  (- (* (* a (* 27.0 b)) (* a (* 27.0 b))) (* (* y (* (* 9.0 z) t)) (* y (* (* 9.0 z) t))))
  (+ (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  0
  (- (* 27.0 (* a b)) (* 9.0 (* t (* z y))))
  (- (* 27.0 (* a b)) (* 9.0 (* t (* z y))))
1.816 * * [simplify]: iteration  0 :  5208  enodes  (cost  677 )
1.820 * [simplify]: Simplified to:
   (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (pow (pow (pow (exp 9.0) z) t) y)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (* (cbrt (* y (* 9.0 (* z t)))) (cbrt (* y (* 9.0 (* z t)))))
  (cbrt (* y (* 9.0 (* z t))))
  (pow (* y (* 9.0 (* z t))) 3)
  (sqrt (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (* y (* 9.0 z))
  (* 9.0 (* (cbrt y) (* z t)))
  (* 9.0 (* (sqrt y) (* z t)))
  (* y (* 9.0 (* z t)))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (log (* a (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (pow (exp a) (* 27.0 b))
  (pow (* a (* 27.0 b)) 3)
  (pow (* a (* 27.0 b)) 3)
  (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b))))
  (cbrt (* a (* 27.0 b)))
  (pow (* a (* 27.0 b)) 3)
  (sqrt (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (* a 27.0)
  (* 27.0 (* b (cbrt a)))
  (* 27.0 (* b (sqrt a)))
  (* a (* 27.0 b))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  (log (* 9.0 (* z t)))
  (log (* 9.0 (* z t)))
  (log (* 9.0 (* z t)))
  (pow (pow (exp 9.0) z) t)
  (pow (* 9.0 (* z t)) 3)
  (pow (* 9.0 (* z t)) 3)
  (* (cbrt (* 9.0 (* z t))) (cbrt (* 9.0 (* z t))))
  (cbrt (* 9.0 (* z t)))
  (pow (* 9.0 (* z t)) 3)
  (sqrt (* 9.0 (* z t)))
  (sqrt (* 9.0 (* z t)))
  (* 9.0 (* z (* (cbrt t) (cbrt t))))
  (* 9.0 (* z (sqrt t)))
  (* 9.0 z)
  (* z t)
  (exp (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (log (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (exp (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (* (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))
  (cbrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (pow (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))) 3)
  (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))))
  (- (pow (* a (* 27.0 b)) 3) (pow (* y (* 9.0 (* z t))) 3))
  (+ (* a (* a (* 27.0 (* 27.0 (* b b))))) (* y (* (* 9.0 (* z t)) (+ (* y (* 9.0 (* z t))) (* a (* 27.0 b))))))
  (* y (* 9.0 (* z (neg t))))
  (- (* a (* a (* 27.0 (* 27.0 (* b b))))) (* y (* y (* 9.0 (* (* 9.0 (* z t)) (* z t))))))
  (+ (* y (* 9.0 (* z t))) (* a (* 27.0 b)))
  0
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  0
  (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))
  (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))
1.821 * * * [progress]: adding candidates to table
1.906 * * [progress]: iteration 3 / 4
1.907 * * * [progress]: picking best candidate
1.937 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))>
1.938 * * * [progress]: localizing error
1.950 * * * [progress]: generating rewritten candidates
1.950 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.956 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.963 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
1.968 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.976 * * * [progress]: generating series expansions
1.976 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.976 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
1.976 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
1.976 * [taylor]: Taking taylor expansion of 9.0 in t
1.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.977 * [taylor]: Taking taylor expansion of t in t
1.977 * [taylor]: Taking taylor expansion of (* z y) in t
1.977 * [taylor]: Taking taylor expansion of z in t
1.977 * [taylor]: Taking taylor expansion of y in t
1.977 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
1.977 * [taylor]: Taking taylor expansion of 9.0 in z
1.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.977 * [taylor]: Taking taylor expansion of t in z
1.977 * [taylor]: Taking taylor expansion of (* z y) in z
1.977 * [taylor]: Taking taylor expansion of z in z
1.977 * [taylor]: Taking taylor expansion of y in z
1.977 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.977 * [taylor]: Taking taylor expansion of 9.0 in y
1.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.977 * [taylor]: Taking taylor expansion of t in y
1.977 * [taylor]: Taking taylor expansion of (* z y) in y
1.977 * [taylor]: Taking taylor expansion of z in y
1.977 * [taylor]: Taking taylor expansion of y in y
1.977 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.977 * [taylor]: Taking taylor expansion of 9.0 in y
1.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.977 * [taylor]: Taking taylor expansion of t in y
1.977 * [taylor]: Taking taylor expansion of (* z y) in y
1.977 * [taylor]: Taking taylor expansion of z in y
1.977 * [taylor]: Taking taylor expansion of y in y
1.977 * [taylor]: Taking taylor expansion of 0 in z
1.977 * [taylor]: Taking taylor expansion of 0 in t
1.977 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.977 * [taylor]: Taking taylor expansion of 9.0 in z
1.977 * [taylor]: Taking taylor expansion of (* t z) in z
1.977 * [taylor]: Taking taylor expansion of t in z
1.977 * [taylor]: Taking taylor expansion of z in z
1.977 * [taylor]: Taking taylor expansion of 0 in t
1.977 * [taylor]: Taking taylor expansion of 0 in t
1.977 * [taylor]: Taking taylor expansion of 0 in z
1.977 * [taylor]: Taking taylor expansion of 0 in t
1.978 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
1.978 * [taylor]: Taking taylor expansion of 9.0 in t
1.978 * [taylor]: Taking taylor expansion of t in t
1.978 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
1.978 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
1.978 * [taylor]: Taking taylor expansion of 9.0 in t
1.978 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.978 * [taylor]: Taking taylor expansion of t in t
1.978 * [taylor]: Taking taylor expansion of (* z y) in t
1.978 * [taylor]: Taking taylor expansion of z in t
1.978 * [taylor]: Taking taylor expansion of y in t
1.978 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
1.978 * [taylor]: Taking taylor expansion of 9.0 in z
1.978 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.978 * [taylor]: Taking taylor expansion of t in z
1.978 * [taylor]: Taking taylor expansion of (* z y) in z
1.978 * [taylor]: Taking taylor expansion of z in z
1.978 * [taylor]: Taking taylor expansion of y in z
1.978 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.978 * [taylor]: Taking taylor expansion of 9.0 in y
1.978 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.978 * [taylor]: Taking taylor expansion of t in y
1.978 * [taylor]: Taking taylor expansion of (* z y) in y
1.978 * [taylor]: Taking taylor expansion of z in y
1.978 * [taylor]: Taking taylor expansion of y in y
1.978 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
1.978 * [taylor]: Taking taylor expansion of 9.0 in y
1.978 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.978 * [taylor]: Taking taylor expansion of t in y
1.978 * [taylor]: Taking taylor expansion of (* z y) in y
1.978 * [taylor]: Taking taylor expansion of z in y
1.978 * [taylor]: Taking taylor expansion of y in y
1.979 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.979 * [taylor]: Taking taylor expansion of 9.0 in z
1.979 * [taylor]: Taking taylor expansion of (* t z) in z
1.979 * [taylor]: Taking taylor expansion of t in z
1.979 * [taylor]: Taking taylor expansion of z in z
1.979 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
1.979 * [taylor]: Taking taylor expansion of 9.0 in t
1.979 * [taylor]: Taking taylor expansion of t in t
1.979 * [taylor]: Taking taylor expansion of 0 in z
1.979 * [taylor]: Taking taylor expansion of 0 in t
1.979 * [taylor]: Taking taylor expansion of 0 in z
1.979 * [taylor]: Taking taylor expansion of 0 in t
1.979 * [taylor]: Taking taylor expansion of 0 in t
1.980 * [taylor]: Taking taylor expansion of 0 in z
1.980 * [taylor]: Taking taylor expansion of 0 in t
1.980 * [taylor]: Taking taylor expansion of 0 in t
1.980 * [taylor]: Taking taylor expansion of 0 in t
1.980 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
1.980 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
1.980 * [taylor]: Taking taylor expansion of -9.0 in t
1.980 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.980 * [taylor]: Taking taylor expansion of t in t
1.980 * [taylor]: Taking taylor expansion of (* z y) in t
1.980 * [taylor]: Taking taylor expansion of z in t
1.980 * [taylor]: Taking taylor expansion of y in t
1.980 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
1.980 * [taylor]: Taking taylor expansion of -9.0 in z
1.980 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.980 * [taylor]: Taking taylor expansion of t in z
1.980 * [taylor]: Taking taylor expansion of (* z y) in z
1.980 * [taylor]: Taking taylor expansion of z in z
1.980 * [taylor]: Taking taylor expansion of y in z
1.981 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
1.981 * [taylor]: Taking taylor expansion of -9.0 in y
1.981 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.981 * [taylor]: Taking taylor expansion of t in y
1.981 * [taylor]: Taking taylor expansion of (* z y) in y
1.981 * [taylor]: Taking taylor expansion of z in y
1.981 * [taylor]: Taking taylor expansion of y in y
1.981 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
1.981 * [taylor]: Taking taylor expansion of -9.0 in y
1.981 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.981 * [taylor]: Taking taylor expansion of t in y
1.981 * [taylor]: Taking taylor expansion of (* z y) in y
1.981 * [taylor]: Taking taylor expansion of z in y
1.981 * [taylor]: Taking taylor expansion of y in y
1.981 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
1.981 * [taylor]: Taking taylor expansion of -9.0 in z
1.981 * [taylor]: Taking taylor expansion of (* t z) in z
1.981 * [taylor]: Taking taylor expansion of t in z
1.981 * [taylor]: Taking taylor expansion of z in z
1.981 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
1.981 * [taylor]: Taking taylor expansion of -9.0 in t
1.981 * [taylor]: Taking taylor expansion of t in t
1.981 * [taylor]: Taking taylor expansion of 0 in z
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.982 * [taylor]: Taking taylor expansion of 0 in z
1.982 * [taylor]: Taking taylor expansion of 0 in t
1.982 * [taylor]: Taking taylor expansion of 0 in t
1.982 * [taylor]: Taking taylor expansion of 0 in z
1.982 * [taylor]: Taking taylor expansion of 0 in t
1.982 * [taylor]: Taking taylor expansion of 0 in t
1.982 * [taylor]: Taking taylor expansion of 0 in t
1.982 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.983 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
1.983 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
1.983 * [taylor]: Taking taylor expansion of 27.0 in b
1.983 * [taylor]: Taking taylor expansion of (* a b) in b
1.983 * [taylor]: Taking taylor expansion of a in b
1.983 * [taylor]: Taking taylor expansion of b in b
1.983 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.983 * [taylor]: Taking taylor expansion of 27.0 in a
1.983 * [taylor]: Taking taylor expansion of (* a b) in a
1.983 * [taylor]: Taking taylor expansion of a in a
1.983 * [taylor]: Taking taylor expansion of b in a
1.983 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.983 * [taylor]: Taking taylor expansion of 27.0 in a
1.983 * [taylor]: Taking taylor expansion of (* a b) in a
1.983 * [taylor]: Taking taylor expansion of a in a
1.983 * [taylor]: Taking taylor expansion of b in a
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
1.983 * [taylor]: Taking taylor expansion of 27.0 in b
1.983 * [taylor]: Taking taylor expansion of b in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.984 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
1.984 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
1.984 * [taylor]: Taking taylor expansion of 27.0 in b
1.984 * [taylor]: Taking taylor expansion of (* a b) in b
1.984 * [taylor]: Taking taylor expansion of a in b
1.984 * [taylor]: Taking taylor expansion of b in b
1.984 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.984 * [taylor]: Taking taylor expansion of 27.0 in a
1.984 * [taylor]: Taking taylor expansion of (* a b) in a
1.984 * [taylor]: Taking taylor expansion of a in a
1.984 * [taylor]: Taking taylor expansion of b in a
1.984 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.984 * [taylor]: Taking taylor expansion of 27.0 in a
1.984 * [taylor]: Taking taylor expansion of (* a b) in a
1.984 * [taylor]: Taking taylor expansion of a in a
1.984 * [taylor]: Taking taylor expansion of b in a
1.984 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
1.984 * [taylor]: Taking taylor expansion of 27.0 in b
1.984 * [taylor]: Taking taylor expansion of b in b
1.984 * [taylor]: Taking taylor expansion of 0 in b
1.984 * [taylor]: Taking taylor expansion of 0 in b
1.985 * [taylor]: Taking taylor expansion of 0 in b
1.985 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
1.985 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
1.985 * [taylor]: Taking taylor expansion of 27.0 in b
1.985 * [taylor]: Taking taylor expansion of (* a b) in b
1.985 * [taylor]: Taking taylor expansion of a in b
1.985 * [taylor]: Taking taylor expansion of b in b
1.985 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.985 * [taylor]: Taking taylor expansion of 27.0 in a
1.985 * [taylor]: Taking taylor expansion of (* a b) in a
1.985 * [taylor]: Taking taylor expansion of a in a
1.985 * [taylor]: Taking taylor expansion of b in a
1.985 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
1.985 * [taylor]: Taking taylor expansion of 27.0 in a
1.985 * [taylor]: Taking taylor expansion of (* a b) in a
1.985 * [taylor]: Taking taylor expansion of a in a
1.985 * [taylor]: Taking taylor expansion of b in a
1.985 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
1.985 * [taylor]: Taking taylor expansion of 27.0 in b
1.985 * [taylor]: Taking taylor expansion of b in b
1.985 * [taylor]: Taking taylor expansion of 0 in b
1.986 * [taylor]: Taking taylor expansion of 0 in b
1.986 * [taylor]: Taking taylor expansion of 0 in b
1.986 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1.986 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (y z) around 0
1.986 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
1.986 * [taylor]: Taking taylor expansion of 9.0 in z
1.986 * [taylor]: Taking taylor expansion of (* z y) in z
1.986 * [taylor]: Taking taylor expansion of z in z
1.986 * [taylor]: Taking taylor expansion of y in z
1.986 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
1.986 * [taylor]: Taking taylor expansion of 9.0 in y
1.986 * [taylor]: Taking taylor expansion of (* z y) in y
1.986 * [taylor]: Taking taylor expansion of z in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.986 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
1.986 * [taylor]: Taking taylor expansion of 9.0 in y
1.986 * [taylor]: Taking taylor expansion of (* z y) in y
1.986 * [taylor]: Taking taylor expansion of z in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.986 * [taylor]: Taking taylor expansion of 0 in z
1.986 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
1.986 * [taylor]: Taking taylor expansion of 9.0 in z
1.986 * [taylor]: Taking taylor expansion of z in z
1.987 * [taylor]: Taking taylor expansion of 0 in z
1.987 * [taylor]: Taking taylor expansion of 0 in z
1.987 * [taylor]: Taking taylor expansion of 0 in z
1.987 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
1.987 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
1.987 * [taylor]: Taking taylor expansion of 9.0 in z
1.987 * [taylor]: Taking taylor expansion of (* z y) in z
1.987 * [taylor]: Taking taylor expansion of z in z
1.987 * [taylor]: Taking taylor expansion of y in z
1.987 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
1.987 * [taylor]: Taking taylor expansion of 9.0 in y
1.987 * [taylor]: Taking taylor expansion of (* z y) in y
1.987 * [taylor]: Taking taylor expansion of z in y
1.987 * [taylor]: Taking taylor expansion of y in y
1.987 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
1.987 * [taylor]: Taking taylor expansion of 9.0 in y
1.987 * [taylor]: Taking taylor expansion of (* z y) in y
1.987 * [taylor]: Taking taylor expansion of z in y
1.987 * [taylor]: Taking taylor expansion of y in y
1.987 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
1.987 * [taylor]: Taking taylor expansion of 9.0 in z
1.987 * [taylor]: Taking taylor expansion of z in z
1.988 * [taylor]: Taking taylor expansion of 0 in z
1.988 * [taylor]: Taking taylor expansion of 0 in z
1.988 * [taylor]: Taking taylor expansion of 0 in z
1.988 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
1.988 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
1.988 * [taylor]: Taking taylor expansion of 9.0 in z
1.988 * [taylor]: Taking taylor expansion of (* z y) in z
1.988 * [taylor]: Taking taylor expansion of z in z
1.988 * [taylor]: Taking taylor expansion of y in z
1.988 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
1.988 * [taylor]: Taking taylor expansion of 9.0 in y
1.988 * [taylor]: Taking taylor expansion of (* z y) in y
1.988 * [taylor]: Taking taylor expansion of z in y
1.988 * [taylor]: Taking taylor expansion of y in y
1.988 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
1.988 * [taylor]: Taking taylor expansion of 9.0 in y
1.988 * [taylor]: Taking taylor expansion of (* z y) in y
1.988 * [taylor]: Taking taylor expansion of z in y
1.988 * [taylor]: Taking taylor expansion of y in y
1.989 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
1.989 * [taylor]: Taking taylor expansion of 9.0 in z
1.989 * [taylor]: Taking taylor expansion of z in z
1.989 * [taylor]: Taking taylor expansion of 0 in z
1.989 * [taylor]: Taking taylor expansion of 0 in z
1.989 * [taylor]: Taking taylor expansion of 0 in z
1.989 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.989 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in (x a b y z t) around 0
1.989 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in t
1.989 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in t
1.989 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
1.989 * [taylor]: Taking taylor expansion of 2.0 in t
1.989 * [taylor]: Taking taylor expansion of x in t
1.990 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
1.990 * [taylor]: Taking taylor expansion of 27.0 in t
1.990 * [taylor]: Taking taylor expansion of (* a b) in t
1.990 * [taylor]: Taking taylor expansion of a in t
1.990 * [taylor]: Taking taylor expansion of b in t
1.990 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
1.990 * [taylor]: Taking taylor expansion of 9.0 in t
1.990 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.990 * [taylor]: Taking taylor expansion of t in t
1.990 * [taylor]: Taking taylor expansion of (* z y) in t
1.990 * [taylor]: Taking taylor expansion of z in t
1.990 * [taylor]: Taking taylor expansion of y in t
1.990 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in z
1.990 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in z
1.990 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
1.990 * [taylor]: Taking taylor expansion of 2.0 in z
1.990 * [taylor]: Taking taylor expansion of x in z
1.990 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
1.990 * [taylor]: Taking taylor expansion of 27.0 in z
1.990 * [taylor]: Taking taylor expansion of (* a b) in z
1.990 * [taylor]: Taking taylor expansion of a in z
1.990 * [taylor]: Taking taylor expansion of b in z
1.990 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
1.990 * [taylor]: Taking taylor expansion of 9.0 in z
1.990 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.990 * [taylor]: Taking taylor expansion of t in z
1.990 * [taylor]: Taking taylor expansion of (* z y) in z
1.990 * [taylor]: Taking taylor expansion of z in z
1.990 * [taylor]: Taking taylor expansion of y in z
1.990 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in y
1.990 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in y
1.990 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
1.990 * [taylor]: Taking taylor expansion of 2.0 in y
1.990 * [taylor]: Taking taylor expansion of x in y
1.990 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
1.990 * [taylor]: Taking taylor expansion of 27.0 in y
1.990 * [taylor]: Taking taylor expansion of (* a b) in y
1.990 * [taylor]: Taking taylor expansion of a in y
1.990 * [taylor]: Taking taylor expansion of b in y
1.990 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.990 * [taylor]: Taking taylor expansion of 9.0 in y
1.990 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.990 * [taylor]: Taking taylor expansion of t in y
1.990 * [taylor]: Taking taylor expansion of (* z y) in y
1.990 * [taylor]: Taking taylor expansion of z in y
1.990 * [taylor]: Taking taylor expansion of y in y
1.990 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in b
1.990 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
1.990 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
1.990 * [taylor]: Taking taylor expansion of 2.0 in b
1.990 * [taylor]: Taking taylor expansion of x in b
1.990 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
1.990 * [taylor]: Taking taylor expansion of 27.0 in b
1.990 * [taylor]: Taking taylor expansion of (* a b) in b
1.990 * [taylor]: Taking taylor expansion of a in b
1.990 * [taylor]: Taking taylor expansion of b in b
1.990 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
1.990 * [taylor]: Taking taylor expansion of 9.0 in b
1.990 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.990 * [taylor]: Taking taylor expansion of t in b
1.990 * [taylor]: Taking taylor expansion of (* z y) in b
1.990 * [taylor]: Taking taylor expansion of z in b
1.991 * [taylor]: Taking taylor expansion of y in b
1.991 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in a
1.991 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
1.991 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
1.991 * [taylor]: Taking taylor expansion of 2.0 in a
1.991 * [taylor]: Taking taylor expansion of x in a
1.991 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.991 * [taylor]: Taking taylor expansion of 27.0 in a
1.991 * [taylor]: Taking taylor expansion of (* a b) in a
1.991 * [taylor]: Taking taylor expansion of a in a
1.991 * [taylor]: Taking taylor expansion of b in a
1.991 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
1.991 * [taylor]: Taking taylor expansion of 9.0 in a
1.991 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.991 * [taylor]: Taking taylor expansion of t in a
1.991 * [taylor]: Taking taylor expansion of (* z y) in a
1.991 * [taylor]: Taking taylor expansion of z in a
1.991 * [taylor]: Taking taylor expansion of y in a
1.991 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
1.991 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
1.991 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.991 * [taylor]: Taking taylor expansion of 2.0 in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
1.991 * [taylor]: Taking taylor expansion of 27.0 in x
1.991 * [taylor]: Taking taylor expansion of (* a b) in x
1.991 * [taylor]: Taking taylor expansion of a in x
1.991 * [taylor]: Taking taylor expansion of b in x
1.991 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
1.991 * [taylor]: Taking taylor expansion of 9.0 in x
1.991 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
1.991 * [taylor]: Taking taylor expansion of t in x
1.991 * [taylor]: Taking taylor expansion of (* z y) in x
1.991 * [taylor]: Taking taylor expansion of z in x
1.991 * [taylor]: Taking taylor expansion of y in x
1.991 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
1.991 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
1.991 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.991 * [taylor]: Taking taylor expansion of 2.0 in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
1.991 * [taylor]: Taking taylor expansion of 27.0 in x
1.991 * [taylor]: Taking taylor expansion of (* a b) in x
1.991 * [taylor]: Taking taylor expansion of a in x
1.991 * [taylor]: Taking taylor expansion of b in x
1.991 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
1.991 * [taylor]: Taking taylor expansion of 9.0 in x
1.991 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
1.991 * [taylor]: Taking taylor expansion of t in x
1.991 * [taylor]: Taking taylor expansion of (* z y) in x
1.991 * [taylor]: Taking taylor expansion of z in x
1.991 * [taylor]: Taking taylor expansion of y in x
1.992 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in a
1.992 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
1.992 * [taylor]: Taking taylor expansion of 27.0 in a
1.992 * [taylor]: Taking taylor expansion of (* a b) in a
1.992 * [taylor]: Taking taylor expansion of a in a
1.992 * [taylor]: Taking taylor expansion of b in a
1.992 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
1.992 * [taylor]: Taking taylor expansion of 9.0 in a
1.992 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.992 * [taylor]: Taking taylor expansion of t in a
1.992 * [taylor]: Taking taylor expansion of (* z y) in a
1.992 * [taylor]: Taking taylor expansion of z in a
1.992 * [taylor]: Taking taylor expansion of y in a
1.992 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in b
1.992 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
1.992 * [taylor]: Taking taylor expansion of 9.0 in b
1.992 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.992 * [taylor]: Taking taylor expansion of t in b
1.992 * [taylor]: Taking taylor expansion of (* z y) in b
1.992 * [taylor]: Taking taylor expansion of z in b
1.992 * [taylor]: Taking taylor expansion of y in b
1.992 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in y
1.992 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
1.992 * [taylor]: Taking taylor expansion of 9.0 in y
1.992 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.992 * [taylor]: Taking taylor expansion of t in y
1.992 * [taylor]: Taking taylor expansion of (* z y) in y
1.992 * [taylor]: Taking taylor expansion of z in y
1.992 * [taylor]: Taking taylor expansion of y in y
1.992 * [taylor]: Taking taylor expansion of 0 in z
1.992 * [taylor]: Taking taylor expansion of 0 in t
1.993 * [taylor]: Taking taylor expansion of 2.0 in a
1.993 * [taylor]: Taking taylor expansion of 2.0 in b
1.993 * [taylor]: Taking taylor expansion of 2.0 in y
1.993 * [taylor]: Taking taylor expansion of 2.0 in z
1.993 * [taylor]: Taking taylor expansion of 2.0 in t
1.993 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
1.993 * [taylor]: Taking taylor expansion of 27.0 in b
1.993 * [taylor]: Taking taylor expansion of b in b
1.993 * [taylor]: Taking taylor expansion of 0 in y
1.993 * [taylor]: Taking taylor expansion of 0 in z
1.993 * [taylor]: Taking taylor expansion of 0 in t
1.993 * [taylor]: Taking taylor expansion of 0 in y
1.993 * [taylor]: Taking taylor expansion of 0 in z
1.993 * [taylor]: Taking taylor expansion of 0 in t
1.993 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z
1.993 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.993 * [taylor]: Taking taylor expansion of 9.0 in z
1.993 * [taylor]: Taking taylor expansion of (* t z) in z
1.993 * [taylor]: Taking taylor expansion of t in z
1.993 * [taylor]: Taking taylor expansion of z in z
1.993 * [taylor]: Taking taylor expansion of 0 in t
1.994 * [taylor]: Taking taylor expansion of 0 in t
1.994 * [taylor]: Taking taylor expansion of 0 in a
1.994 * [taylor]: Taking taylor expansion of 0 in b
1.994 * [taylor]: Taking taylor expansion of 0 in y
1.994 * [taylor]: Taking taylor expansion of 0 in z
1.994 * [taylor]: Taking taylor expansion of 0 in t
1.994 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in (x a b y z t) around 0
1.994 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in t
1.994 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in t
1.994 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
1.994 * [taylor]: Taking taylor expansion of 27.0 in t
1.994 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.994 * [taylor]: Taking taylor expansion of (* a b) in t
1.994 * [taylor]: Taking taylor expansion of a in t
1.994 * [taylor]: Taking taylor expansion of b in t
1.994 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
1.994 * [taylor]: Taking taylor expansion of 2.0 in t
1.994 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.994 * [taylor]: Taking taylor expansion of x in t
1.994 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
1.994 * [taylor]: Taking taylor expansion of 9.0 in t
1.994 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
1.994 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
1.995 * [taylor]: Taking taylor expansion of t in t
1.995 * [taylor]: Taking taylor expansion of (* z y) in t
1.995 * [taylor]: Taking taylor expansion of z in t
1.995 * [taylor]: Taking taylor expansion of y in t
1.995 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in z
1.995 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in z
1.995 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
1.995 * [taylor]: Taking taylor expansion of 27.0 in z
1.995 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.995 * [taylor]: Taking taylor expansion of (* a b) in z
1.995 * [taylor]: Taking taylor expansion of a in z
1.995 * [taylor]: Taking taylor expansion of b in z
1.995 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
1.995 * [taylor]: Taking taylor expansion of 2.0 in z
1.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.995 * [taylor]: Taking taylor expansion of x in z
1.995 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
1.995 * [taylor]: Taking taylor expansion of 9.0 in z
1.995 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
1.995 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
1.995 * [taylor]: Taking taylor expansion of t in z
1.995 * [taylor]: Taking taylor expansion of (* z y) in z
1.995 * [taylor]: Taking taylor expansion of z in z
1.995 * [taylor]: Taking taylor expansion of y in z
1.995 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in y
1.995 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in y
1.995 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
1.995 * [taylor]: Taking taylor expansion of 27.0 in y
1.995 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.995 * [taylor]: Taking taylor expansion of (* a b) in y
1.995 * [taylor]: Taking taylor expansion of a in y
1.995 * [taylor]: Taking taylor expansion of b in y
1.995 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.995 * [taylor]: Taking taylor expansion of 2.0 in y
1.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.995 * [taylor]: Taking taylor expansion of x in y
1.995 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
1.995 * [taylor]: Taking taylor expansion of 9.0 in y
1.995 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.995 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.995 * [taylor]: Taking taylor expansion of t in y
1.995 * [taylor]: Taking taylor expansion of (* z y) in y
1.995 * [taylor]: Taking taylor expansion of z in y
1.996 * [taylor]: Taking taylor expansion of y in y
1.996 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in b
1.996 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
1.996 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
1.996 * [taylor]: Taking taylor expansion of 27.0 in b
1.996 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.996 * [taylor]: Taking taylor expansion of (* a b) in b
1.996 * [taylor]: Taking taylor expansion of a in b
1.996 * [taylor]: Taking taylor expansion of b in b
1.996 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
1.996 * [taylor]: Taking taylor expansion of 2.0 in b
1.996 * [taylor]: Taking taylor expansion of (/ 1 x) in b
1.996 * [taylor]: Taking taylor expansion of x in b
1.996 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.996 * [taylor]: Taking taylor expansion of 9.0 in b
1.996 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.996 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.996 * [taylor]: Taking taylor expansion of t in b
1.996 * [taylor]: Taking taylor expansion of (* z y) in b
1.996 * [taylor]: Taking taylor expansion of z in b
1.996 * [taylor]: Taking taylor expansion of y in b
1.996 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.996 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
1.996 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.996 * [taylor]: Taking taylor expansion of 27.0 in a
1.996 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.996 * [taylor]: Taking taylor expansion of (* a b) in a
1.996 * [taylor]: Taking taylor expansion of a in a
1.996 * [taylor]: Taking taylor expansion of b in a
1.996 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
1.996 * [taylor]: Taking taylor expansion of 2.0 in a
1.996 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.996 * [taylor]: Taking taylor expansion of x in a
1.996 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.996 * [taylor]: Taking taylor expansion of 9.0 in a
1.996 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.996 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.996 * [taylor]: Taking taylor expansion of t in a
1.996 * [taylor]: Taking taylor expansion of (* z y) in a
1.996 * [taylor]: Taking taylor expansion of z in a
1.996 * [taylor]: Taking taylor expansion of y in a
1.997 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
1.997 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
1.997 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
1.997 * [taylor]: Taking taylor expansion of 27.0 in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.997 * [taylor]: Taking taylor expansion of (* a b) in x
1.997 * [taylor]: Taking taylor expansion of a in x
1.997 * [taylor]: Taking taylor expansion of b in x
1.997 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.997 * [taylor]: Taking taylor expansion of 2.0 in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.997 * [taylor]: Taking taylor expansion of x in x
1.997 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
1.997 * [taylor]: Taking taylor expansion of 9.0 in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
1.997 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
1.997 * [taylor]: Taking taylor expansion of t in x
1.997 * [taylor]: Taking taylor expansion of (* z y) in x
1.997 * [taylor]: Taking taylor expansion of z in x
1.997 * [taylor]: Taking taylor expansion of y in x
1.997 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
1.997 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
1.997 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
1.997 * [taylor]: Taking taylor expansion of 27.0 in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.997 * [taylor]: Taking taylor expansion of (* a b) in x
1.997 * [taylor]: Taking taylor expansion of a in x
1.997 * [taylor]: Taking taylor expansion of b in x
1.997 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.997 * [taylor]: Taking taylor expansion of 2.0 in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.997 * [taylor]: Taking taylor expansion of x in x
1.997 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
1.997 * [taylor]: Taking taylor expansion of 9.0 in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
1.997 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
1.997 * [taylor]: Taking taylor expansion of t in x
1.997 * [taylor]: Taking taylor expansion of (* z y) in x
1.997 * [taylor]: Taking taylor expansion of z in x
1.997 * [taylor]: Taking taylor expansion of y in x
1.997 * [taylor]: Taking taylor expansion of 2.0 in a
1.998 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
1.998 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
1.998 * [taylor]: Taking taylor expansion of 27.0 in a
1.998 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.998 * [taylor]: Taking taylor expansion of (* a b) in a
1.998 * [taylor]: Taking taylor expansion of a in a
1.998 * [taylor]: Taking taylor expansion of b in a
1.998 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
1.998 * [taylor]: Taking taylor expansion of 9.0 in a
1.998 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
1.998 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
1.998 * [taylor]: Taking taylor expansion of t in a
1.998 * [taylor]: Taking taylor expansion of (* z y) in a
1.998 * [taylor]: Taking taylor expansion of z in a
1.998 * [taylor]: Taking taylor expansion of y in a
1.998 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 b)) in b
1.998 * [taylor]: Taking taylor expansion of 27.0 in b
1.998 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.998 * [taylor]: Taking taylor expansion of b in b
1.998 * [taylor]: Taking taylor expansion of 27.0 in y
1.998 * [taylor]: Taking taylor expansion of 2.0 in b
1.999 * [taylor]: Taking taylor expansion of 0 in a
1.999 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in b
1.999 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
1.999 * [taylor]: Taking taylor expansion of 9.0 in b
1.999 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
1.999 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
1.999 * [taylor]: Taking taylor expansion of t in b
1.999 * [taylor]: Taking taylor expansion of (* z y) in b
1.999 * [taylor]: Taking taylor expansion of z in b
1.999 * [taylor]: Taking taylor expansion of y in b
1.999 * [taylor]: Taking taylor expansion of 0 in b
1.999 * [taylor]: Taking taylor expansion of 0 in y
1.999 * [taylor]: Taking taylor expansion of 2.0 in y
1.999 * [taylor]: Taking taylor expansion of 27.0 in z
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in b
2.000 * [taylor]: Taking taylor expansion of 0 in b
2.000 * [taylor]: Taking taylor expansion of 0 in b
2.000 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in y
2.001 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.001 * [taylor]: Taking taylor expansion of 9.0 in y
2.001 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.001 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.001 * [taylor]: Taking taylor expansion of t in y
2.001 * [taylor]: Taking taylor expansion of (* z y) in y
2.001 * [taylor]: Taking taylor expansion of z in y
2.001 * [taylor]: Taking taylor expansion of y in y
2.001 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
2.001 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.001 * [taylor]: Taking taylor expansion of 9.0 in z
2.001 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.001 * [taylor]: Taking taylor expansion of (* t z) in z
2.001 * [taylor]: Taking taylor expansion of t in z
2.001 * [taylor]: Taking taylor expansion of z in z
2.001 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
2.001 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
2.001 * [taylor]: Taking taylor expansion of 9.0 in t
2.001 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.001 * [taylor]: Taking taylor expansion of t in t
2.001 * [taylor]: Taking taylor expansion of 0 in y
2.001 * [taylor]: Taking taylor expansion of 0 in y
2.001 * [taylor]: Taking taylor expansion of 0 in y
2.001 * [taylor]: Taking taylor expansion of 0 in z
2.001 * [taylor]: Taking taylor expansion of 2.0 in z
2.001 * [taylor]: Taking taylor expansion of 0 in z
2.001 * [taylor]: Taking taylor expansion of 27.0 in t
2.002 * [taylor]: Taking taylor expansion of 0 in a
2.002 * [taylor]: Taking taylor expansion of 0 in b
2.002 * [taylor]: Taking taylor expansion of 0 in b
2.003 * [taylor]: Taking taylor expansion of 0 in b
2.003 * [taylor]: Taking taylor expansion of 0 in b
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in z
2.003 * [taylor]: Taking taylor expansion of 0 in z
2.003 * [taylor]: Taking taylor expansion of 0 in z
2.003 * [taylor]: Taking taylor expansion of 0 in z
2.004 * [taylor]: Taking taylor expansion of 0 in z
2.004 * [taylor]: Taking taylor expansion of 0 in z
2.004 * [taylor]: Taking taylor expansion of 0 in z
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 2.0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.005 * [taylor]: Taking taylor expansion of 0 in a
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in z
2.006 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in z
2.007 * [taylor]: Taking taylor expansion of 0 in t
2.007 * [taylor]: Taking taylor expansion of 0 in t
2.007 * [taylor]: Taking taylor expansion of 0 in t
2.007 * [taylor]: Taking taylor expansion of 0 in t
2.007 * [taylor]: Taking taylor expansion of 0 in t
2.007 * [taylor]: Taking taylor expansion of 0 in t
2.007 * [taylor]: Taking taylor expansion of 0 in t
2.008 * [taylor]: Taking taylor expansion of 0 in t
2.008 * [taylor]: Taking taylor expansion of 0 in t
2.008 * [taylor]: Taking taylor expansion of 0 in t
2.008 * [taylor]: Taking taylor expansion of 0 in t
2.008 * [taylor]: Taking taylor expansion of 0 in t
2.009 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in (x a b y z t) around 0
2.009 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in t
2.009 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
2.009 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
2.009 * [taylor]: Taking taylor expansion of 27.0 in t
2.009 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
2.009 * [taylor]: Taking taylor expansion of (* a b) in t
2.009 * [taylor]: Taking taylor expansion of a in t
2.009 * [taylor]: Taking taylor expansion of b in t
2.009 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
2.009 * [taylor]: Taking taylor expansion of 9.0 in t
2.009 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
2.009 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.009 * [taylor]: Taking taylor expansion of t in t
2.009 * [taylor]: Taking taylor expansion of (* z y) in t
2.009 * [taylor]: Taking taylor expansion of z in t
2.009 * [taylor]: Taking taylor expansion of y in t
2.009 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
2.009 * [taylor]: Taking taylor expansion of 2.0 in t
2.009 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.009 * [taylor]: Taking taylor expansion of x in t
2.009 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in z
2.009 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
2.009 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
2.009 * [taylor]: Taking taylor expansion of 27.0 in z
2.009 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.009 * [taylor]: Taking taylor expansion of (* a b) in z
2.010 * [taylor]: Taking taylor expansion of a in z
2.010 * [taylor]: Taking taylor expansion of b in z
2.010 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
2.010 * [taylor]: Taking taylor expansion of 9.0 in z
2.010 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
2.010 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.010 * [taylor]: Taking taylor expansion of t in z
2.010 * [taylor]: Taking taylor expansion of (* z y) in z
2.010 * [taylor]: Taking taylor expansion of z in z
2.010 * [taylor]: Taking taylor expansion of y in z
2.010 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
2.010 * [taylor]: Taking taylor expansion of 2.0 in z
2.010 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.010 * [taylor]: Taking taylor expansion of x in z
2.010 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in y
2.010 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
2.010 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
2.010 * [taylor]: Taking taylor expansion of 27.0 in y
2.010 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.010 * [taylor]: Taking taylor expansion of (* a b) in y
2.010 * [taylor]: Taking taylor expansion of a in y
2.010 * [taylor]: Taking taylor expansion of b in y
2.010 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.010 * [taylor]: Taking taylor expansion of 9.0 in y
2.010 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.010 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.010 * [taylor]: Taking taylor expansion of t in y
2.010 * [taylor]: Taking taylor expansion of (* z y) in y
2.010 * [taylor]: Taking taylor expansion of z in y
2.010 * [taylor]: Taking taylor expansion of y in y
2.010 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
2.010 * [taylor]: Taking taylor expansion of 2.0 in y
2.010 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.010 * [taylor]: Taking taylor expansion of x in y
2.010 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in b
2.010 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
2.010 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
2.010 * [taylor]: Taking taylor expansion of 27.0 in b
2.010 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.010 * [taylor]: Taking taylor expansion of (* a b) in b
2.010 * [taylor]: Taking taylor expansion of a in b
2.010 * [taylor]: Taking taylor expansion of b in b
2.011 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
2.011 * [taylor]: Taking taylor expansion of 9.0 in b
2.011 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
2.011 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
2.011 * [taylor]: Taking taylor expansion of t in b
2.011 * [taylor]: Taking taylor expansion of (* z y) in b
2.011 * [taylor]: Taking taylor expansion of z in b
2.011 * [taylor]: Taking taylor expansion of y in b
2.011 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
2.011 * [taylor]: Taking taylor expansion of 2.0 in b
2.011 * [taylor]: Taking taylor expansion of (/ 1 x) in b
2.011 * [taylor]: Taking taylor expansion of x in b
2.011 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in a
2.011 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
2.011 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
2.011 * [taylor]: Taking taylor expansion of 27.0 in a
2.011 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.011 * [taylor]: Taking taylor expansion of (* a b) in a
2.011 * [taylor]: Taking taylor expansion of a in a
2.011 * [taylor]: Taking taylor expansion of b in a
2.011 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
2.011 * [taylor]: Taking taylor expansion of 9.0 in a
2.011 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
2.011 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
2.011 * [taylor]: Taking taylor expansion of t in a
2.011 * [taylor]: Taking taylor expansion of (* z y) in a
2.011 * [taylor]: Taking taylor expansion of z in a
2.011 * [taylor]: Taking taylor expansion of y in a
2.011 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
2.011 * [taylor]: Taking taylor expansion of 2.0 in a
2.011 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.011 * [taylor]: Taking taylor expansion of x in a
2.011 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
2.011 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
2.011 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
2.011 * [taylor]: Taking taylor expansion of 27.0 in x
2.011 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.011 * [taylor]: Taking taylor expansion of (* a b) in x
2.011 * [taylor]: Taking taylor expansion of a in x
2.011 * [taylor]: Taking taylor expansion of b in x
2.011 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.011 * [taylor]: Taking taylor expansion of 9.0 in x
2.011 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.011 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.012 * [taylor]: Taking taylor expansion of t in x
2.012 * [taylor]: Taking taylor expansion of (* z y) in x
2.012 * [taylor]: Taking taylor expansion of z in x
2.012 * [taylor]: Taking taylor expansion of y in x
2.012 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.012 * [taylor]: Taking taylor expansion of 2.0 in x
2.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.012 * [taylor]: Taking taylor expansion of x in x
2.012 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
2.012 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
2.012 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
2.012 * [taylor]: Taking taylor expansion of 27.0 in x
2.012 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.012 * [taylor]: Taking taylor expansion of (* a b) in x
2.012 * [taylor]: Taking taylor expansion of a in x
2.012 * [taylor]: Taking taylor expansion of b in x
2.012 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.012 * [taylor]: Taking taylor expansion of 9.0 in x
2.012 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.012 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.012 * [taylor]: Taking taylor expansion of t in x
2.012 * [taylor]: Taking taylor expansion of (* z y) in x
2.012 * [taylor]: Taking taylor expansion of z in x
2.012 * [taylor]: Taking taylor expansion of y in x
2.012 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.012 * [taylor]: Taking taylor expansion of 2.0 in x
2.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.012 * [taylor]: Taking taylor expansion of x in x
2.012 * [taylor]: Taking taylor expansion of (neg 2.0) in a
2.012 * [taylor]: Taking taylor expansion of 2.0 in a
2.013 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
2.013 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
2.013 * [taylor]: Taking taylor expansion of 27.0 in a
2.013 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.013 * [taylor]: Taking taylor expansion of (* a b) in a
2.013 * [taylor]: Taking taylor expansion of a in a
2.013 * [taylor]: Taking taylor expansion of b in a
2.013 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
2.013 * [taylor]: Taking taylor expansion of 9.0 in a
2.013 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
2.013 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
2.013 * [taylor]: Taking taylor expansion of t in a
2.013 * [taylor]: Taking taylor expansion of (* z y) in a
2.013 * [taylor]: Taking taylor expansion of z in a
2.013 * [taylor]: Taking taylor expansion of y in a
2.013 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 b)) in b
2.013 * [taylor]: Taking taylor expansion of 27.0 in b
2.013 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.013 * [taylor]: Taking taylor expansion of b in b
2.013 * [taylor]: Taking taylor expansion of 27.0 in y
2.013 * [taylor]: Taking taylor expansion of (neg 2.0) in b
2.013 * [taylor]: Taking taylor expansion of 2.0 in b
2.013 * [taylor]: Taking taylor expansion of 0 in a
2.014 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
2.014 * [taylor]: Taking taylor expansion of 9.0 in b
2.014 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
2.014 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
2.014 * [taylor]: Taking taylor expansion of t in b
2.014 * [taylor]: Taking taylor expansion of (* z y) in b
2.014 * [taylor]: Taking taylor expansion of z in b
2.014 * [taylor]: Taking taylor expansion of y in b
2.014 * [taylor]: Taking taylor expansion of 0 in b
2.014 * [taylor]: Taking taylor expansion of 0 in y
2.014 * [taylor]: Taking taylor expansion of (neg 2.0) in y
2.014 * [taylor]: Taking taylor expansion of 2.0 in y
2.014 * [taylor]: Taking taylor expansion of 27.0 in z
2.015 * [taylor]: Taking taylor expansion of 0 in a
2.015 * [taylor]: Taking taylor expansion of 0 in b
2.015 * [taylor]: Taking taylor expansion of 0 in b
2.015 * [taylor]: Taking taylor expansion of 0 in b
2.015 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
2.015 * [taylor]: Taking taylor expansion of 9.0 in y
2.015 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.015 * [taylor]: Taking taylor expansion of t in y
2.015 * [taylor]: Taking taylor expansion of (* z y) in y
2.015 * [taylor]: Taking taylor expansion of z in y
2.015 * [taylor]: Taking taylor expansion of y in y
2.015 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.015 * [taylor]: Taking taylor expansion of 9.0 in z
2.015 * [taylor]: Taking taylor expansion of (* t z) in z
2.015 * [taylor]: Taking taylor expansion of t in z
2.015 * [taylor]: Taking taylor expansion of z in z
2.015 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.015 * [taylor]: Taking taylor expansion of 9.0 in t
2.015 * [taylor]: Taking taylor expansion of t in t
2.016 * [taylor]: Taking taylor expansion of 0 in y
2.016 * [taylor]: Taking taylor expansion of 0 in y
2.016 * [taylor]: Taking taylor expansion of 0 in y
2.016 * [taylor]: Taking taylor expansion of 0 in z
2.016 * [taylor]: Taking taylor expansion of (neg 2.0) in z
2.016 * [taylor]: Taking taylor expansion of 2.0 in z
2.016 * [taylor]: Taking taylor expansion of 0 in z
2.016 * [taylor]: Taking taylor expansion of 27.0 in t
2.017 * [taylor]: Taking taylor expansion of 0 in a
2.017 * [taylor]: Taking taylor expansion of 0 in b
2.017 * [taylor]: Taking taylor expansion of 0 in b
2.017 * [taylor]: Taking taylor expansion of 0 in b
2.017 * [taylor]: Taking taylor expansion of 0 in b
2.017 * [taylor]: Taking taylor expansion of 0 in y
2.017 * [taylor]: Taking taylor expansion of 0 in y
2.017 * [taylor]: Taking taylor expansion of 0 in y
2.018 * [taylor]: Taking taylor expansion of 0 in y
2.018 * [taylor]: Taking taylor expansion of 0 in y
2.018 * [taylor]: Taking taylor expansion of 0 in y
2.018 * [taylor]: Taking taylor expansion of 0 in y
2.018 * [taylor]: Taking taylor expansion of 0 in z
2.018 * [taylor]: Taking taylor expansion of 0 in z
2.018 * [taylor]: Taking taylor expansion of 0 in z
2.018 * [taylor]: Taking taylor expansion of 0 in z
2.018 * [taylor]: Taking taylor expansion of 0 in z
2.018 * [taylor]: Taking taylor expansion of 0 in z
2.018 * [taylor]: Taking taylor expansion of 0 in z
2.018 * [taylor]: Taking taylor expansion of 0 in t
2.018 * [taylor]: Taking taylor expansion of 0 in t
2.018 * [taylor]: Taking taylor expansion of (neg 2.0) in t
2.018 * [taylor]: Taking taylor expansion of 2.0 in t
2.019 * [taylor]: Taking taylor expansion of 0 in t
2.019 * [taylor]: Taking taylor expansion of 0 in t
2.020 * [taylor]: Taking taylor expansion of 0 in a
2.020 * [taylor]: Taking taylor expansion of 0 in b
2.020 * [taylor]: Taking taylor expansion of 0 in b
2.020 * [taylor]: Taking taylor expansion of 0 in b
2.020 * [taylor]: Taking taylor expansion of 0 in b
2.020 * [taylor]: Taking taylor expansion of 0 in b
2.020 * [taylor]: Taking taylor expansion of 0 in y
2.020 * [taylor]: Taking taylor expansion of 0 in y
2.020 * [taylor]: Taking taylor expansion of 0 in y
2.020 * [taylor]: Taking taylor expansion of 0 in y
2.020 * [taylor]: Taking taylor expansion of 0 in y
2.020 * [taylor]: Taking taylor expansion of 0 in y
2.020 * [taylor]: Taking taylor expansion of 0 in y
2.021 * [taylor]: Taking taylor expansion of 0 in y
2.021 * [taylor]: Taking taylor expansion of 0 in y
2.021 * [taylor]: Taking taylor expansion of 0 in y
2.021 * [taylor]: Taking taylor expansion of 0 in y
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.021 * [taylor]: Taking taylor expansion of 0 in z
2.022 * [taylor]: Taking taylor expansion of 0 in z
2.022 * [taylor]: Taking taylor expansion of 0 in z
2.022 * [taylor]: Taking taylor expansion of 0 in z
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.023 * * * [progress]: simplifying candidates
2.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* y (* 9.0 z)) t)
  (* (* y (* 9.0 z)) t)
  (* (* y (* 9.0 z)) t)
  (+ (+ (log y) (+ (log 9.0) (log z))) (log t))
  (+ (+ (log y) (log (* 9.0 z))) (log t))
  (+ (log (* y (* 9.0 z))) (log t))
  (log (* (* y (* 9.0 z)) t))
  (exp (* (* y (* 9.0 z)) t))
  (* (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* z z) z))) (* (* t t) t))
  (* (* (* (* y y) y) (* (* (* 9.0 z) (* 9.0 z)) (* 9.0 z))) (* (* t t) t))
  (* (* (* (* y (* 9.0 z)) (* y (* 9.0 z))) (* y (* 9.0 z))) (* (* t t) t))
  (* (cbrt (* (* y (* 9.0 z)) t)) (cbrt (* (* y (* 9.0 z)) t)))
  (cbrt (* (* y (* 9.0 z)) t))
  (* (* (* (* y (* 9.0 z)) t) (* (* y (* 9.0 z)) t)) (* (* y (* 9.0 z)) t))
  (sqrt (* (* y (* 9.0 z)) t))
  (sqrt (* (* y (* 9.0 z)) t))
  (* (* y (* 9.0 z)) (* (cbrt t) (cbrt t)))
  (* (* y (* 9.0 z)) (sqrt t))
  (* (* y (* 9.0 z)) 1)
  (* (* 9.0 z) t)
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (+ (log a) (+ (log 27.0) (log b)))
  (+ (log a) (log (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (exp (* a (* 27.0 b)))
  (* (* (* a a) a) (* (* (* 27.0 27.0) 27.0) (* (* b b) b)))
  (* (* (* a a) a) (* (* (* 27.0 b) (* 27.0 b)) (* 27.0 b)))
  (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b))))
  (cbrt (* a (* 27.0 b)))
  (* (* (* a (* 27.0 b)) (* a (* 27.0 b))) (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (* a 27.0)
  (* (cbrt a) (* 27.0 b))
  (* (sqrt a) (* 27.0 b))
  (* a (* 27.0 b))
  (* y (* 9.0 z))
  (* y (* 9.0 z))
  (+ (log y) (+ (log 9.0) (log z)))
  (+ (log y) (log (* 9.0 z)))
  (log (* y (* 9.0 z)))
  (exp (* y (* 9.0 z)))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* z z) z)))
  (* (* (* y y) y) (* (* (* 9.0 z) (* 9.0 z)) (* 9.0 z)))
  (* (cbrt (* y (* 9.0 z))) (cbrt (* y (* 9.0 z))))
  (cbrt (* y (* 9.0 z)))
  (* (* (* y (* 9.0 z)) (* y (* 9.0 z))) (* y (* 9.0 z)))
  (sqrt (* y (* 9.0 z)))
  (sqrt (* y (* 9.0 z)))
  (* y 9.0)
  (* (cbrt y) (* 9.0 z))
  (* (sqrt y) (* 9.0 z))
  (* y (* 9.0 z))
  (* (exp (* x 2.0)) (/ (exp (* a (* 27.0 b))) (exp (* (* y (* 9.0 z)) t))))
  (* (exp (* x 2.0)) (exp (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (log (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (exp (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (* (cbrt (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)))) (cbrt (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)))))
  (cbrt (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (* (* (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)))) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (sqrt (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (sqrt (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (+ (pow (* x 2.0) 3) (pow (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)) 3))
  (+ (* (* x 2.0) (* x 2.0)) (- (* (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))) (* (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)))))
  (- (* (* x 2.0) (* x 2.0)) (* (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))
  (- (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t)))
  (+ (* x 2.0) (* a (* 27.0 b)))
  (+ (* x 2.0) (* a (* 27.0 b)))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 2.0 x)
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
2.061 * * [simplify]: iteration  0 :  5037  enodes  (cost  773 )
2.064 * [simplify]: Simplified to:
   (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (pow (pow (exp y) (* 9.0 z)) t)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (* (cbrt (* y (* 9.0 (* z t)))) (cbrt (* y (* 9.0 (* z t)))))
  (cbrt (* y (* 9.0 (* z t))))
  (pow (* y (* 9.0 (* z t))) 3)
  (sqrt (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (* y (* 9.0 (* z (sqrt t))))
  (* y (* 9.0 z))
  (* 9.0 (* z t))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (log (* a (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (log (* a (* 27.0 b)))
  (pow (exp a) (* 27.0 b))
  (pow (* a (* 27.0 b)) 3)
  (pow (* a (* 27.0 b)) 3)
  (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b))))
  (cbrt (* a (* 27.0 b)))
  (pow (* a (* 27.0 b)) 3)
  (sqrt (* a (* 27.0 b)))
  (sqrt (* a (* 27.0 b)))
  (* a 27.0)
  (* 27.0 (* b (cbrt a)))
  (* 27.0 (* b (sqrt a)))
  (* a (* 27.0 b))
  (* y (* 9.0 z))
  (* y (* 9.0 z))
  (log (* y (* 9.0 z)))
  (log (* y (* 9.0 z)))
  (log (* y (* 9.0 z)))
  (pow (exp y) (* 9.0 z))
  (pow (* y (* 9.0 z)) 3)
  (pow (* y (* 9.0 z)) 3)
  (* (cbrt (* y (* 9.0 z))) (cbrt (* y (* 9.0 z))))
  (cbrt (* y (* 9.0 z)))
  (pow (* y (* 9.0 z)) 3)
  (sqrt (* y (* 9.0 z)))
  (sqrt (* y (* 9.0 z)))
  (* y 9.0)
  (* 9.0 (* z (cbrt y)))
  (* 9.0 (* z (sqrt y)))
  (* y (* 9.0 z))
  (exp (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (exp (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (log (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (exp (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (* (cbrt (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t)))))) (cbrt (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t)))))))
  (cbrt (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (pow (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))) 3)
  (sqrt (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (sqrt (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (+ (pow (* x 2.0) 3) (pow (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))) 3))
  (+ (* x (* 2.0 (* x 2.0))) (* (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))) (- (* a (* 27.0 b)) (+ (* y (* 9.0 (* z t))) (* x 2.0)))))
  (+ (* x (* 2.0 (* x 2.0))) (* (- (* a (* 27.0 b)) (* y (* 9.0 (* z t)))) (- (* y (* 9.0 (* z t))) (* a (* 27.0 b)))))
  (+ (* y (* 9.0 (* z t))) (- (* x 2.0) (* a (* 27.0 b))))
  (+ (* a (* 27.0 b)) (* x 2.0))
  (+ (* a (* 27.0 b)) (* x 2.0))
  0
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (* a (* 27.0 b))
  (* y (* 9.0 z))
  (* y (* 9.0 z))
  (* y (* 9.0 z))
  (* x 2.0)
  (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (+ (* a (* 27.0 b)) (- (* x 2.0) (* y (* 9.0 (* z t)))))
2.064 * * * [progress]: adding candidates to table
2.138 * * [progress]: iteration 4 / 4
2.138 * * * [progress]: picking best candidate
2.169 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))>
2.170 * * * [progress]: localizing error
2.190 * * * [progress]: generating rewritten candidates
2.190 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.201 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
2.214 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.215 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 2 2)
2.219 * * * [progress]: generating series expansions
2.219 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.219 * [approximate]: Taking taylor expansion of (* 9.0 (* (pow (pow t 2) 1/3) (* z y))) in (y z t) around 0
2.219 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (pow t 2) 1/3) (* z y))) in t
2.219 * [taylor]: Taking taylor expansion of 9.0 in t
2.219 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* z y)) in t
2.219 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
2.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
2.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
2.219 * [taylor]: Taking taylor expansion of 1/3 in t
2.219 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
2.219 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.219 * [taylor]: Taking taylor expansion of t in t
2.219 * [taylor]: Taking taylor expansion of (* z y) in t
2.219 * [taylor]: Taking taylor expansion of z in t
2.219 * [taylor]: Taking taylor expansion of y in t
2.219 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (pow t 2) 1/3) (* z y))) in z
2.219 * [taylor]: Taking taylor expansion of 9.0 in z
2.219 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* z y)) in z
2.219 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in z
2.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in z
2.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in z
2.220 * [taylor]: Taking taylor expansion of 1/3 in z
2.220 * [taylor]: Taking taylor expansion of (log (pow t 2)) in z
2.220 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.220 * [taylor]: Taking taylor expansion of t in z
2.220 * [taylor]: Taking taylor expansion of (* z y) in z
2.220 * [taylor]: Taking taylor expansion of z in z
2.220 * [taylor]: Taking taylor expansion of y in z
2.220 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (pow t 2) 1/3) (* z y))) in y
2.220 * [taylor]: Taking taylor expansion of 9.0 in y
2.220 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* z y)) in y
2.220 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in y
2.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in y
2.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in y
2.220 * [taylor]: Taking taylor expansion of 1/3 in y
2.220 * [taylor]: Taking taylor expansion of (log (pow t 2)) in y
2.220 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.220 * [taylor]: Taking taylor expansion of t in y
2.220 * [taylor]: Taking taylor expansion of (* z y) in y
2.220 * [taylor]: Taking taylor expansion of z in y
2.220 * [taylor]: Taking taylor expansion of y in y
2.220 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (pow t 2) 1/3) (* z y))) in y
2.220 * [taylor]: Taking taylor expansion of 9.0 in y
2.220 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* z y)) in y
2.220 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in y
2.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in y
2.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in y
2.220 * [taylor]: Taking taylor expansion of 1/3 in y
2.220 * [taylor]: Taking taylor expansion of (log (pow t 2)) in y
2.220 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.220 * [taylor]: Taking taylor expansion of t in y
2.220 * [taylor]: Taking taylor expansion of (* z y) in y
2.221 * [taylor]: Taking taylor expansion of z in y
2.221 * [taylor]: Taking taylor expansion of y in y
2.221 * [taylor]: Taking taylor expansion of 0 in z
2.221 * [taylor]: Taking taylor expansion of 0 in t
2.221 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (pow t 2) 1/3) z)) in z
2.221 * [taylor]: Taking taylor expansion of 9.0 in z
2.221 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) z) in z
2.221 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in z
2.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in z
2.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in z
2.221 * [taylor]: Taking taylor expansion of 1/3 in z
2.221 * [taylor]: Taking taylor expansion of (log (pow t 2)) in z
2.221 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.221 * [taylor]: Taking taylor expansion of t in z
2.222 * [taylor]: Taking taylor expansion of z in z
2.222 * [taylor]: Taking taylor expansion of 0 in t
2.222 * [taylor]: Taking taylor expansion of 0 in t
2.223 * [taylor]: Taking taylor expansion of 0 in z
2.223 * [taylor]: Taking taylor expansion of 0 in t
2.223 * [taylor]: Taking taylor expansion of (* 9.0 (pow (pow t 2) 1/3)) in t
2.223 * [taylor]: Taking taylor expansion of 9.0 in t
2.223 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
2.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
2.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
2.223 * [taylor]: Taking taylor expansion of 1/3 in t
2.223 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
2.223 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.223 * [taylor]: Taking taylor expansion of t in t
2.224 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in z
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [approximate]: Taking taylor expansion of (* 9.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y)))) in (y z t) around 0
2.225 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y)))) in t
2.225 * [taylor]: Taking taylor expansion of 9.0 in t
2.225 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y))) in t
2.225 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.225 * [taylor]: Taking taylor expansion of 1/3 in t
2.225 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.225 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.225 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.225 * [taylor]: Taking taylor expansion of t in t
2.225 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.225 * [taylor]: Taking taylor expansion of (* z y) in t
2.225 * [taylor]: Taking taylor expansion of z in t
2.225 * [taylor]: Taking taylor expansion of y in t
2.225 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y)))) in z
2.225 * [taylor]: Taking taylor expansion of 9.0 in z
2.225 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y))) in z
2.225 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.225 * [taylor]: Taking taylor expansion of 1/3 in z
2.225 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.225 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.226 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.226 * [taylor]: Taking taylor expansion of t in z
2.226 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.226 * [taylor]: Taking taylor expansion of (* z y) in z
2.226 * [taylor]: Taking taylor expansion of z in z
2.226 * [taylor]: Taking taylor expansion of y in z
2.226 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y)))) in y
2.226 * [taylor]: Taking taylor expansion of 9.0 in y
2.226 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y))) in y
2.226 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.226 * [taylor]: Taking taylor expansion of 1/3 in y
2.226 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.226 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.226 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.226 * [taylor]: Taking taylor expansion of t in y
2.226 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.226 * [taylor]: Taking taylor expansion of (* z y) in y
2.226 * [taylor]: Taking taylor expansion of z in y
2.226 * [taylor]: Taking taylor expansion of y in y
2.226 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y)))) in y
2.226 * [taylor]: Taking taylor expansion of 9.0 in y
2.226 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y))) in y
2.226 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.227 * [taylor]: Taking taylor expansion of 1/3 in y
2.227 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.227 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.227 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.227 * [taylor]: Taking taylor expansion of t in y
2.227 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.227 * [taylor]: Taking taylor expansion of (* z y) in y
2.227 * [taylor]: Taking taylor expansion of z in y
2.227 * [taylor]: Taking taylor expansion of y in y
2.227 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 z))) in z
2.227 * [taylor]: Taking taylor expansion of 9.0 in z
2.227 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 z)) in z
2.227 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.227 * [taylor]: Taking taylor expansion of 1/3 in z
2.227 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.227 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.227 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.227 * [taylor]: Taking taylor expansion of t in z
2.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.228 * [taylor]: Taking taylor expansion of z in z
2.228 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow t 2)) 1/3)) in t
2.228 * [taylor]: Taking taylor expansion of 9.0 in t
2.228 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.228 * [taylor]: Taking taylor expansion of 1/3 in t
2.228 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.228 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.228 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.228 * [taylor]: Taking taylor expansion of t in t
2.229 * [taylor]: Taking taylor expansion of 0 in z
2.230 * [taylor]: Taking taylor expansion of 0 in t
2.231 * [taylor]: Taking taylor expansion of 0 in z
2.231 * [taylor]: Taking taylor expansion of 0 in t
2.232 * [taylor]: Taking taylor expansion of 0 in t
2.233 * [approximate]: Taking taylor expansion of (* 9.0 (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3))) in (y z t) around 0
2.234 * [taylor]: Taking taylor expansion of (* 9.0 (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3))) in t
2.234 * [taylor]: Taking taylor expansion of 9.0 in t
2.234 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3)) in t
2.234 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* z y)) in t
2.234 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
2.234 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.234 * [taylor]: Taking taylor expansion of -1 in t
2.234 * [taylor]: Taking taylor expansion of (* z y) in t
2.234 * [taylor]: Taking taylor expansion of z in t
2.234 * [taylor]: Taking taylor expansion of y in t
2.234 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.234 * [taylor]: Taking taylor expansion of 1/3 in t
2.234 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.234 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.234 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.234 * [taylor]: Taking taylor expansion of t in t
2.234 * [taylor]: Taking taylor expansion of (* 9.0 (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3))) in z
2.234 * [taylor]: Taking taylor expansion of 9.0 in z
2.234 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3)) in z
2.234 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* z y)) in z
2.234 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.234 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.234 * [taylor]: Taking taylor expansion of -1 in z
2.235 * [taylor]: Taking taylor expansion of (* z y) in z
2.235 * [taylor]: Taking taylor expansion of z in z
2.235 * [taylor]: Taking taylor expansion of y in z
2.235 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.235 * [taylor]: Taking taylor expansion of 1/3 in z
2.235 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.235 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.235 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.235 * [taylor]: Taking taylor expansion of t in z
2.235 * [taylor]: Taking taylor expansion of (* 9.0 (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3))) in y
2.235 * [taylor]: Taking taylor expansion of 9.0 in y
2.235 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3)) in y
2.235 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* z y)) in y
2.235 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.235 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.235 * [taylor]: Taking taylor expansion of -1 in y
2.235 * [taylor]: Taking taylor expansion of (* z y) in y
2.235 * [taylor]: Taking taylor expansion of z in y
2.235 * [taylor]: Taking taylor expansion of y in y
2.236 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.236 * [taylor]: Taking taylor expansion of 1/3 in y
2.236 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.236 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.236 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.236 * [taylor]: Taking taylor expansion of t in y
2.236 * [taylor]: Taking taylor expansion of (* 9.0 (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3))) in y
2.236 * [taylor]: Taking taylor expansion of 9.0 in y
2.236 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3)) in y
2.236 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* z y)) in y
2.236 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.236 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.236 * [taylor]: Taking taylor expansion of -1 in y
2.236 * [taylor]: Taking taylor expansion of (* z y) in y
2.236 * [taylor]: Taking taylor expansion of z in y
2.236 * [taylor]: Taking taylor expansion of y in y
2.237 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.237 * [taylor]: Taking taylor expansion of 1/3 in y
2.237 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.237 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.237 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.237 * [taylor]: Taking taylor expansion of t in y
2.237 * [taylor]: Taking taylor expansion of (* 9.0 (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow t 2)) 1/3))) in z
2.237 * [taylor]: Taking taylor expansion of 9.0 in z
2.237 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow t 2)) 1/3)) in z
2.237 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z
2.237 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.238 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.238 * [taylor]: Taking taylor expansion of -1 in z
2.238 * [taylor]: Taking taylor expansion of z in z
2.238 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.238 * [taylor]: Taking taylor expansion of 1/3 in z
2.238 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.238 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.238 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.238 * [taylor]: Taking taylor expansion of t in z
2.239 * [taylor]: Taking taylor expansion of (* 9.0 (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3))) in t
2.239 * [taylor]: Taking taylor expansion of 9.0 in t
2.239 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
2.239 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
2.239 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.239 * [taylor]: Taking taylor expansion of -1 in t
2.239 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.239 * [taylor]: Taking taylor expansion of 1/3 in t
2.239 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.239 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.239 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.239 * [taylor]: Taking taylor expansion of t in t
2.241 * [taylor]: Taking taylor expansion of 0 in z
2.242 * [taylor]: Taking taylor expansion of 0 in t
2.244 * [taylor]: Taking taylor expansion of 0 in z
2.244 * [taylor]: Taking taylor expansion of 0 in t
2.246 * [taylor]: Taking taylor expansion of 0 in t
2.247 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
2.247 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
2.247 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
2.248 * [taylor]: Taking taylor expansion of 9.0 in t
2.248 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.248 * [taylor]: Taking taylor expansion of t in t
2.248 * [taylor]: Taking taylor expansion of (* z y) in t
2.248 * [taylor]: Taking taylor expansion of z in t
2.248 * [taylor]: Taking taylor expansion of y in t
2.248 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
2.248 * [taylor]: Taking taylor expansion of 9.0 in z
2.248 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.248 * [taylor]: Taking taylor expansion of t in z
2.248 * [taylor]: Taking taylor expansion of (* z y) in z
2.248 * [taylor]: Taking taylor expansion of z in z
2.248 * [taylor]: Taking taylor expansion of y in z
2.248 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.248 * [taylor]: Taking taylor expansion of 9.0 in y
2.248 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.248 * [taylor]: Taking taylor expansion of t in y
2.248 * [taylor]: Taking taylor expansion of (* z y) in y
2.248 * [taylor]: Taking taylor expansion of z in y
2.248 * [taylor]: Taking taylor expansion of y in y
2.248 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.248 * [taylor]: Taking taylor expansion of 9.0 in y
2.248 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.248 * [taylor]: Taking taylor expansion of t in y
2.248 * [taylor]: Taking taylor expansion of (* z y) in y
2.248 * [taylor]: Taking taylor expansion of z in y
2.248 * [taylor]: Taking taylor expansion of y in y
2.248 * [taylor]: Taking taylor expansion of 0 in z
2.248 * [taylor]: Taking taylor expansion of 0 in t
2.248 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.248 * [taylor]: Taking taylor expansion of 9.0 in z
2.248 * [taylor]: Taking taylor expansion of (* t z) in z
2.248 * [taylor]: Taking taylor expansion of t in z
2.248 * [taylor]: Taking taylor expansion of z in z
2.248 * [taylor]: Taking taylor expansion of 0 in t
2.248 * [taylor]: Taking taylor expansion of 0 in t
2.248 * [taylor]: Taking taylor expansion of 0 in z
2.248 * [taylor]: Taking taylor expansion of 0 in t
2.249 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
2.249 * [taylor]: Taking taylor expansion of 9.0 in t
2.249 * [taylor]: Taking taylor expansion of t in t
2.249 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
2.249 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
2.249 * [taylor]: Taking taylor expansion of 9.0 in t
2.249 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.249 * [taylor]: Taking taylor expansion of t in t
2.249 * [taylor]: Taking taylor expansion of (* z y) in t
2.249 * [taylor]: Taking taylor expansion of z in t
2.249 * [taylor]: Taking taylor expansion of y in t
2.249 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
2.249 * [taylor]: Taking taylor expansion of 9.0 in z
2.249 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.249 * [taylor]: Taking taylor expansion of t in z
2.249 * [taylor]: Taking taylor expansion of (* z y) in z
2.249 * [taylor]: Taking taylor expansion of z in z
2.249 * [taylor]: Taking taylor expansion of y in z
2.249 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
2.249 * [taylor]: Taking taylor expansion of 9.0 in y
2.249 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.249 * [taylor]: Taking taylor expansion of t in y
2.249 * [taylor]: Taking taylor expansion of (* z y) in y
2.249 * [taylor]: Taking taylor expansion of z in y
2.249 * [taylor]: Taking taylor expansion of y in y
2.249 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
2.249 * [taylor]: Taking taylor expansion of 9.0 in y
2.249 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.249 * [taylor]: Taking taylor expansion of t in y
2.250 * [taylor]: Taking taylor expansion of (* z y) in y
2.250 * [taylor]: Taking taylor expansion of z in y
2.250 * [taylor]: Taking taylor expansion of y in y
2.250 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.250 * [taylor]: Taking taylor expansion of 9.0 in z
2.250 * [taylor]: Taking taylor expansion of (* t z) in z
2.250 * [taylor]: Taking taylor expansion of t in z
2.250 * [taylor]: Taking taylor expansion of z in z
2.250 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.250 * [taylor]: Taking taylor expansion of 9.0 in t
2.250 * [taylor]: Taking taylor expansion of t in t
2.250 * [taylor]: Taking taylor expansion of 0 in z
2.250 * [taylor]: Taking taylor expansion of 0 in t
2.250 * [taylor]: Taking taylor expansion of 0 in z
2.250 * [taylor]: Taking taylor expansion of 0 in t
2.251 * [taylor]: Taking taylor expansion of 0 in t
2.251 * [taylor]: Taking taylor expansion of 0 in z
2.251 * [taylor]: Taking taylor expansion of 0 in t
2.251 * [taylor]: Taking taylor expansion of 0 in t
2.251 * [taylor]: Taking taylor expansion of 0 in t
2.252 * [approximate]: Taking taylor expansion of (* 9.0 (/ (pow (cbrt -1) 3) (* z (* y t)))) in (y z t) around 0
2.252 * [taylor]: Taking taylor expansion of (* 9.0 (/ (pow (cbrt -1) 3) (* z (* y t)))) in t
2.252 * [taylor]: Taking taylor expansion of 9.0 in t
2.252 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* z (* y t))) in t
2.252 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
2.252 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.252 * [taylor]: Taking taylor expansion of -1 in t
2.252 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
2.252 * [taylor]: Taking taylor expansion of z in t
2.252 * [taylor]: Taking taylor expansion of (* y t) in t
2.252 * [taylor]: Taking taylor expansion of y in t
2.252 * [taylor]: Taking taylor expansion of t in t
2.252 * [taylor]: Taking taylor expansion of (* 9.0 (/ (pow (cbrt -1) 3) (* z (* y t)))) in z
2.252 * [taylor]: Taking taylor expansion of 9.0 in z
2.252 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* z (* y t))) in z
2.252 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.252 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.252 * [taylor]: Taking taylor expansion of -1 in z
2.252 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
2.252 * [taylor]: Taking taylor expansion of z in z
2.252 * [taylor]: Taking taylor expansion of (* y t) in z
2.252 * [taylor]: Taking taylor expansion of y in z
2.253 * [taylor]: Taking taylor expansion of t in z
2.253 * [taylor]: Taking taylor expansion of (* 9.0 (/ (pow (cbrt -1) 3) (* z (* y t)))) in y
2.253 * [taylor]: Taking taylor expansion of 9.0 in y
2.253 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* z (* y t))) in y
2.253 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
2.253 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.253 * [taylor]: Taking taylor expansion of -1 in y
2.253 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
2.253 * [taylor]: Taking taylor expansion of z in y
2.253 * [taylor]: Taking taylor expansion of (* y t) in y
2.253 * [taylor]: Taking taylor expansion of y in y
2.253 * [taylor]: Taking taylor expansion of t in y
2.254 * [taylor]: Taking taylor expansion of (* 9.0 (/ (pow (cbrt -1) 3) (* z (* y t)))) in y
2.254 * [taylor]: Taking taylor expansion of 9.0 in y
2.254 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* z (* y t))) in y
2.254 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
2.254 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.254 * [taylor]: Taking taylor expansion of -1 in y
2.254 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
2.254 * [taylor]: Taking taylor expansion of z in y
2.254 * [taylor]: Taking taylor expansion of (* y t) in y
2.254 * [taylor]: Taking taylor expansion of y in y
2.254 * [taylor]: Taking taylor expansion of t in y
2.254 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
2.254 * [taylor]: Taking taylor expansion of -9.0 in z
2.254 * [taylor]: Taking taylor expansion of (* t z) in z
2.254 * [taylor]: Taking taylor expansion of t in z
2.254 * [taylor]: Taking taylor expansion of z in z
2.254 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
2.254 * [taylor]: Taking taylor expansion of -9.0 in t
2.254 * [taylor]: Taking taylor expansion of t in t
2.255 * [taylor]: Taking taylor expansion of 0 in z
2.255 * [taylor]: Taking taylor expansion of 0 in t
2.256 * [taylor]: Taking taylor expansion of 0 in z
2.256 * [taylor]: Taking taylor expansion of 0 in t
2.256 * [taylor]: Taking taylor expansion of 0 in t
2.257 * [taylor]: Taking taylor expansion of 0 in z
2.257 * [taylor]: Taking taylor expansion of 0 in t
2.257 * [taylor]: Taking taylor expansion of 0 in t
2.257 * [taylor]: Taking taylor expansion of 0 in t
2.257 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
2.257 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
2.257 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.257 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.257 * [taylor]: Taking taylor expansion of 1/3 in t
2.257 * [taylor]: Taking taylor expansion of (log t) in t
2.257 * [taylor]: Taking taylor expansion of t in t
2.257 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.257 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.257 * [taylor]: Taking taylor expansion of 1/3 in t
2.257 * [taylor]: Taking taylor expansion of (log t) in t
2.257 * [taylor]: Taking taylor expansion of t in t
2.263 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
2.263 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.263 * [taylor]: Taking taylor expansion of 1/3 in t
2.263 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.263 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.263 * [taylor]: Taking taylor expansion of t in t
2.264 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.264 * [taylor]: Taking taylor expansion of 1/3 in t
2.264 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.264 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.264 * [taylor]: Taking taylor expansion of t in t
2.272 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
2.272 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.272 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.272 * [taylor]: Taking taylor expansion of -1 in t
2.272 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.273 * [taylor]: Taking taylor expansion of 1/3 in t
2.273 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.273 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.273 * [taylor]: Taking taylor expansion of t in t
2.273 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.273 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.273 * [taylor]: Taking taylor expansion of -1 in t
2.273 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.273 * [taylor]: Taking taylor expansion of 1/3 in t
2.273 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.273 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.273 * [taylor]: Taking taylor expansion of t in t
2.281 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2 2 2)
2.281 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
2.281 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.281 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.281 * [taylor]: Taking taylor expansion of 1/3 in t
2.281 * [taylor]: Taking taylor expansion of (log t) in t
2.281 * [taylor]: Taking taylor expansion of t in t
2.281 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.281 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.281 * [taylor]: Taking taylor expansion of 1/3 in t
2.281 * [taylor]: Taking taylor expansion of (log t) in t
2.281 * [taylor]: Taking taylor expansion of t in t
2.287 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
2.287 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.287 * [taylor]: Taking taylor expansion of 1/3 in t
2.287 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.287 * [taylor]: Taking taylor expansion of t in t
2.287 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.287 * [taylor]: Taking taylor expansion of 1/3 in t
2.287 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.287 * [taylor]: Taking taylor expansion of t in t
2.293 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
2.293 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.293 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.293 * [taylor]: Taking taylor expansion of -1 in t
2.293 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.293 * [taylor]: Taking taylor expansion of 1/3 in t
2.293 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.294 * [taylor]: Taking taylor expansion of t in t
2.294 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.294 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.294 * [taylor]: Taking taylor expansion of -1 in t
2.294 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.294 * [taylor]: Taking taylor expansion of 1/3 in t
2.294 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.294 * [taylor]: Taking taylor expansion of t in t
2.301 * * * [progress]: simplifying candidates
2.303 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (+ (log y) (+ (log 9.0) (+ (log z) (+ (log (cbrt t)) (log (cbrt t))))))
  (+ (log y) (+ (log 9.0) (+ (log z) (log (* (cbrt t) (cbrt t))))))
  (+ (log y) (+ (log 9.0) (log (* z (* (cbrt t) (cbrt t))))))
  (+ (log y) (log (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (log (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (exp (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* t t))))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z (* (cbrt t) (cbrt t))) (* z (* (cbrt t) (cbrt t)))) (* z (* (cbrt t) (cbrt t))))))
  (* (* (* y y) y) (* (* (* 9.0 (* z (* (cbrt t) (cbrt t)))) (* 9.0 (* z (* (cbrt t) (cbrt t))))) (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (* (cbrt (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))) (cbrt (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))))
  (cbrt (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (* (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))) (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (sqrt (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (sqrt (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))))
  (* y 9.0)
  (* (cbrt y) (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (* (sqrt y) (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))
  (+ (+ (log y) (+ (log 9.0) (+ (log z) (+ (log (cbrt t)) (log (cbrt t)))))) (log (cbrt t)))
  (+ (+ (log y) (+ (log 9.0) (+ (log z) (log (* (cbrt t) (cbrt t)))))) (log (cbrt t)))
  (+ (+ (log y) (+ (log 9.0) (log (* z (* (cbrt t) (cbrt t)))))) (log (cbrt t)))
  (+ (+ (log y) (log (* 9.0 (* z (* (cbrt t) (cbrt t)))))) (log (cbrt t)))
  (+ (log (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))) (log (cbrt t)))
  (log (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))
  (exp (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))
  (* (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* t t)))) t)
  (* (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))))) t)
  (* (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z (* (cbrt t) (cbrt t))) (* z (* (cbrt t) (cbrt t)))) (* z (* (cbrt t) (cbrt t)))))) t)
  (* (* (* (* y y) y) (* (* (* 9.0 (* z (* (cbrt t) (cbrt t)))) (* 9.0 (* z (* (cbrt t) (cbrt t))))) (* 9.0 (* z (* (cbrt t) (cbrt t)))))) t)
  (* (* (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))) (* y (* 9.0 (* z (* (cbrt t) (cbrt t)))))) t)
  (* (cbrt (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))) (cbrt (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))))
  (cbrt (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))
  (* (* (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t))) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))
  (sqrt (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))
  (sqrt (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt (* (cbrt t) (cbrt t))))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt (sqrt t)))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt 1))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (sqrt (cbrt t)))
  (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) 1)
  (* (* 9.0 (* z (* (cbrt t) (cbrt t)))) (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* 9.0 (* (exp (* 1/3 (+ (* 2 (log t)) (log 1)))) (* z y)))
  (* 9.0 (* y (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 t)))))))))
  (* 9.0 (* (pow (cbrt -1) 2) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 t)))))) (* z y))))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
2.352 * * [simplify]: iteration  0 :  5021  enodes  (cost  647 )
2.356 * [simplify]: Simplified to:
   (* y (* 9.0 (* z (pow t 2/3))))
  (* y (* 9.0 (* z (pow t 2/3))))
  (* y (* 9.0 (* z (pow t 2/3))))
  (* y (* 9.0 (* z (pow t 2/3))))
  (log (* y (* 9.0 (* z (pow t 2/3)))))
  (log (* y (* 9.0 (* z (pow t 2/3)))))
  (log (* y (* 9.0 (* z (pow t 2/3)))))
  (log (* y (* 9.0 (* z (pow t 2/3)))))
  (log (* y (* 9.0 (* z (pow t 2/3)))))
  (pow (exp y) (* 9.0 (* z (pow t 2/3))))
  (* (* t t) (pow (* (* y z) 9.0) 3))
  (* (* t t) (pow (* (* y z) 9.0) 3))
  (* (* t t) (pow (* (* y z) 9.0) 3))
  (* (* t t) (pow (* (* y z) 9.0) 3))
  (* (cbrt (* y (* 9.0 (* z (pow t 2/3))))) (cbrt (* y (* 9.0 (* z (pow t 2/3))))))
  (cbrt (* y (* 9.0 (* z (pow t 2/3)))))
  (* (* t t) (pow (* (* y z) 9.0) 3))
  (sqrt (* y (* 9.0 (* z (pow t 2/3)))))
  (sqrt (* y (* 9.0 (* z (pow t 2/3)))))
  (* y 9.0)
  (* 9.0 (* (* z (pow t 2/3)) (cbrt y)))
  (* 9.0 (* (* z (pow t 2/3)) (sqrt y)))
  (* y (* 9.0 (* z (pow t 2/3))))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (pow (exp y) (* 9.0 (* z t)))
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (* (cbrt (* y (* 9.0 (* z t)))) (cbrt (* y (* 9.0 (* z t)))))
  (cbrt (* y (* 9.0 (* z t))))
  (pow (* y (* 9.0 (* z t))) 3)
  (sqrt (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (* y (* 9.0 (* (* z (pow t 2/3)) (cbrt (pow t 2/3)))))
  (* y (* 9.0 (* (* z (pow t 2/3)) (cbrt (sqrt t)))))
  (* y (* 9.0 (* z (pow t 2/3))))
  (* y (* 9.0 (* (* z (pow t 2/3)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))))
  (* y (* 9.0 (* (* z (pow t 2/3)) (sqrt (cbrt t)))))
  (* y (* 9.0 (* z (pow t 2/3))))
  (* 9.0 (* z t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* y (* 9.0 (* z (pow t 2/3))))
  (* y (* 9.0 (* z (pow t 2/3))))
  (* 9.0 (* (pow t 2/3) (* (* y z) (pow (cbrt -1) 2))))
  0
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (cbrt t)
  (cbrt t)
  (* (cbrt -1) (cbrt (* t -1)))
  (cbrt t)
  (cbrt t)
  (* (cbrt -1) (cbrt (* t -1)))
2.356 * * * [progress]: adding candidates to table
2.434 * [progress]: [Phase 3 of 3] Extracting.
2.434 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
2.439 * * * [regime-changes]: Trying 14 branch expressions: ((* a 27.0) (* (* a 27.0) b) (* y 9.0) (* (* y 9.0) z) (* (* (* y 9.0) z) t) (* x 2.0) (- (* x 2.0) (* (* (* y 9.0) z) t)) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)) b a t z y x)
2.439 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
2.639 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
2.755 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
2.868 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
2.977 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.103 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.201 * * * * [regimes]: Trying to branch on (- (* x 2.0) (* (* (* y 9.0) z) t)) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.315 * * * * [regimes]: Trying to branch on (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)) from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.431 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.528 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.640 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.757 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.859 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
3.969 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
4.066 * * * [regime]: Found split indices: #<option (#s(si 3 64) #s(si 8 186) #s(si 3 255))>
4.067 * [binary-search]: Only using regimes for bounds on (* y 9.0) and (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
4.067 * [regimes]: Found splitpoints: (#s(sp 3 (* y 9.0) -2.1172564305105234e-33) #s(sp 8 (* y 9.0) 3.032034886847617e-68) #s(sp 3 (* y 9.0) +nan.0)) , with alts (#<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 (* z (* (cbrt t) (cbrt t))))) (cbrt t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (* y (* 9.0 z)) t))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* (sqrt y) (* 9.0 (* (* z t) (sqrt y)))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (* (cbrt (* a (* 27.0 b))) (cbrt (* a (* 27.0 b)))) (cbrt (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (* (sqrt a) (* 27.0 (* b (sqrt a)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (- (exp (log (* a (* 27.0 b)))) (* y (* 9.0 (* z t))))))> #<alt (λ (x y z t a b) (+ (* x 2.0) (* (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))) (sqrt (- (* a (* 27.0 b)) (* y (* 9.0 (* z t))))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>)
4.067 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* y 9.0) -2.1172564305105234e-33) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))) (if (<= (* y 9.0) 3.032034886847617e-68) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t))))))
4.069 * * [simplify]: iteration  0 :  136  enodes  (cost  47 )
4.069 * * [simplify]: iteration  1 :  136  enodes  (cost  47 )
4.069 * [simplify]: Simplified to:
   (if (or (<= (* y 9.0) -2.1172564305105234e-33) (not (<= (* y 9.0) 3.032034886847617e-68))) (+ (* x 2.0) (- (* a (* 27.0 b)) (* y (* (* 9.0 z) t)))) (+ (- (* x 2.0) (* t (* (* y 9.0) z))) (* b (* a 27.0))))
6.483 * [regime-testing]: End program error score: 0.7912368253693278
6.816 * [regime-testing]: Target error score: 2.537028879169086