20.643 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.049 * * [simplify]: iteration  0 :  17  enodes  (cost  17 )
0.051 * * [simplify]: iteration  1 :  34  enodes  (cost  17 )
0.063 * * [simplify]: iteration  2 :  80  enodes  (cost  17 )
0.076 * * [simplify]: iteration  3 :  208  enodes  (cost  17 )
0.118 * * [simplify]: iteration  4 :  385  enodes  (cost  17 )
0.186 * * [simplify]: iteration  5 :  480  enodes  (cost  17 )
0.249 * * [simplify]: iteration  6 :  564  enodes  (cost  17 )
0.335 * * [simplify]: iteration  7 :  709  enodes  (cost  17 )
0.435 * * [simplify]: iteration  8 :  929  enodes  (cost  17 )
0.678 * * [simplify]: iteration  9 :  1482  enodes  (cost  17 )
0.888 * * [simplify]: iteration  10 :  2101  enodes  (cost  17 )
1.459 * * [simplify]: iteration  11 :  3196  enodes  (cost  17 )
2.005 * * [simplify]: iteration  12 :  4099  enodes  (cost  17 )
3.014 * * [simplify]: iteration  done :  5001  enodes  (cost  17 )
3.014 * [simplify]: Simplified to:
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
3.014 * * [progress]: iteration 1 / 4
3.014 * * * [progress]: picking best candidate
3.018 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>
3.018 * * * [progress]: localizing error
3.031 * * * [progress]: generating rewritten candidates
3.031 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.039 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
3.052 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.057 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.066 * * * [progress]: generating series expansions
3.066 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.066 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
3.066 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.066 * [taylor]: Taking taylor expansion of 9.0 in t
3.066 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.066 * [taylor]: Taking taylor expansion of t in t
3.066 * [taylor]: Taking taylor expansion of (* z y) in t
3.066 * [taylor]: Taking taylor expansion of z in t
3.066 * [taylor]: Taking taylor expansion of y in t
3.066 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
3.066 * [taylor]: Taking taylor expansion of 9.0 in z
3.066 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.066 * [taylor]: Taking taylor expansion of t in z
3.066 * [taylor]: Taking taylor expansion of (* z y) in z
3.066 * [taylor]: Taking taylor expansion of z in z
3.066 * [taylor]: Taking taylor expansion of y in z
3.066 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.066 * [taylor]: Taking taylor expansion of 9.0 in y
3.066 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.066 * [taylor]: Taking taylor expansion of t in y
3.066 * [taylor]: Taking taylor expansion of (* z y) in y
3.066 * [taylor]: Taking taylor expansion of z in y
3.066 * [taylor]: Taking taylor expansion of y in y
3.066 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.066 * [taylor]: Taking taylor expansion of 9.0 in y
3.066 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.066 * [taylor]: Taking taylor expansion of t in y
3.066 * [taylor]: Taking taylor expansion of (* z y) in y
3.066 * [taylor]: Taking taylor expansion of z in y
3.066 * [taylor]: Taking taylor expansion of y in y
3.066 * [taylor]: Taking taylor expansion of 0 in z
3.066 * [taylor]: Taking taylor expansion of 0 in t
3.066 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.067 * [taylor]: Taking taylor expansion of 9.0 in z
3.067 * [taylor]: Taking taylor expansion of (* t z) in z
3.067 * [taylor]: Taking taylor expansion of t in z
3.067 * [taylor]: Taking taylor expansion of z in z
3.067 * [taylor]: Taking taylor expansion of 0 in t
3.067 * [taylor]: Taking taylor expansion of 0 in t
3.067 * [taylor]: Taking taylor expansion of 0 in z
3.067 * [taylor]: Taking taylor expansion of 0 in t
3.067 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
3.067 * [taylor]: Taking taylor expansion of 9.0 in t
3.067 * [taylor]: Taking taylor expansion of t in t
3.067 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
3.067 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
3.067 * [taylor]: Taking taylor expansion of 9.0 in t
3.067 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.067 * [taylor]: Taking taylor expansion of t in t
3.067 * [taylor]: Taking taylor expansion of (* z y) in t
3.067 * [taylor]: Taking taylor expansion of z in t
3.067 * [taylor]: Taking taylor expansion of y in t
3.067 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
3.067 * [taylor]: Taking taylor expansion of 9.0 in z
3.067 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.067 * [taylor]: Taking taylor expansion of t in z
3.067 * [taylor]: Taking taylor expansion of (* z y) in z
3.067 * [taylor]: Taking taylor expansion of z in z
3.067 * [taylor]: Taking taylor expansion of y in z
3.068 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.068 * [taylor]: Taking taylor expansion of 9.0 in y
3.068 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.068 * [taylor]: Taking taylor expansion of t in y
3.068 * [taylor]: Taking taylor expansion of (* z y) in y
3.068 * [taylor]: Taking taylor expansion of z in y
3.068 * [taylor]: Taking taylor expansion of y in y
3.068 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.068 * [taylor]: Taking taylor expansion of 9.0 in y
3.068 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.068 * [taylor]: Taking taylor expansion of t in y
3.068 * [taylor]: Taking taylor expansion of (* z y) in y
3.068 * [taylor]: Taking taylor expansion of z in y
3.068 * [taylor]: Taking taylor expansion of y in y
3.068 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.068 * [taylor]: Taking taylor expansion of 9.0 in z
3.068 * [taylor]: Taking taylor expansion of (* t z) in z
3.068 * [taylor]: Taking taylor expansion of t in z
3.068 * [taylor]: Taking taylor expansion of z in z
3.068 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
3.068 * [taylor]: Taking taylor expansion of 9.0 in t
3.068 * [taylor]: Taking taylor expansion of t in t
3.068 * [taylor]: Taking taylor expansion of 0 in z
3.069 * [taylor]: Taking taylor expansion of 0 in t
3.069 * [taylor]: Taking taylor expansion of 0 in z
3.069 * [taylor]: Taking taylor expansion of 0 in t
3.069 * [taylor]: Taking taylor expansion of 0 in t
3.069 * [taylor]: Taking taylor expansion of 0 in z
3.069 * [taylor]: Taking taylor expansion of 0 in t
3.069 * [taylor]: Taking taylor expansion of 0 in t
3.070 * [taylor]: Taking taylor expansion of 0 in t
3.070 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
3.070 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
3.070 * [taylor]: Taking taylor expansion of -9.0 in t
3.070 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.070 * [taylor]: Taking taylor expansion of t in t
3.070 * [taylor]: Taking taylor expansion of (* z y) in t
3.070 * [taylor]: Taking taylor expansion of z in t
3.070 * [taylor]: Taking taylor expansion of y in t
3.070 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
3.070 * [taylor]: Taking taylor expansion of -9.0 in z
3.070 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.070 * [taylor]: Taking taylor expansion of t in z
3.070 * [taylor]: Taking taylor expansion of (* z y) in z
3.070 * [taylor]: Taking taylor expansion of z in z
3.070 * [taylor]: Taking taylor expansion of y in z
3.070 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.070 * [taylor]: Taking taylor expansion of -9.0 in y
3.070 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.070 * [taylor]: Taking taylor expansion of t in y
3.070 * [taylor]: Taking taylor expansion of (* z y) in y
3.071 * [taylor]: Taking taylor expansion of z in y
3.071 * [taylor]: Taking taylor expansion of y in y
3.071 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.071 * [taylor]: Taking taylor expansion of -9.0 in y
3.071 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.071 * [taylor]: Taking taylor expansion of t in y
3.071 * [taylor]: Taking taylor expansion of (* z y) in y
3.071 * [taylor]: Taking taylor expansion of z in y
3.071 * [taylor]: Taking taylor expansion of y in y
3.071 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
3.071 * [taylor]: Taking taylor expansion of -9.0 in z
3.071 * [taylor]: Taking taylor expansion of (* t z) in z
3.071 * [taylor]: Taking taylor expansion of t in z
3.071 * [taylor]: Taking taylor expansion of z in z
3.071 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
3.071 * [taylor]: Taking taylor expansion of -9.0 in t
3.071 * [taylor]: Taking taylor expansion of t in t
3.071 * [taylor]: Taking taylor expansion of 0 in z
3.071 * [taylor]: Taking taylor expansion of 0 in t
3.072 * [taylor]: Taking taylor expansion of 0 in z
3.072 * [taylor]: Taking taylor expansion of 0 in t
3.072 * [taylor]: Taking taylor expansion of 0 in t
3.072 * [taylor]: Taking taylor expansion of 0 in z
3.072 * [taylor]: Taking taylor expansion of 0 in t
3.072 * [taylor]: Taking taylor expansion of 0 in t
3.072 * [taylor]: Taking taylor expansion of 0 in t
3.073 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
3.073 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (y z) around 0
3.073 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
3.073 * [taylor]: Taking taylor expansion of 9.0 in z
3.073 * [taylor]: Taking taylor expansion of (* z y) in z
3.073 * [taylor]: Taking taylor expansion of z in z
3.073 * [taylor]: Taking taylor expansion of y in z
3.073 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
3.073 * [taylor]: Taking taylor expansion of 9.0 in y
3.073 * [taylor]: Taking taylor expansion of (* z y) in y
3.073 * [taylor]: Taking taylor expansion of z in y
3.073 * [taylor]: Taking taylor expansion of y in y
3.073 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
3.073 * [taylor]: Taking taylor expansion of 9.0 in y
3.073 * [taylor]: Taking taylor expansion of (* z y) in y
3.073 * [taylor]: Taking taylor expansion of z in y
3.073 * [taylor]: Taking taylor expansion of y in y
3.073 * [taylor]: Taking taylor expansion of 0 in z
3.073 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
3.073 * [taylor]: Taking taylor expansion of 9.0 in z
3.073 * [taylor]: Taking taylor expansion of z in z
3.073 * [taylor]: Taking taylor expansion of 0 in z
3.073 * [taylor]: Taking taylor expansion of 0 in z
3.074 * [taylor]: Taking taylor expansion of 0 in z
3.074 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
3.074 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
3.074 * [taylor]: Taking taylor expansion of 9.0 in z
3.074 * [taylor]: Taking taylor expansion of (* z y) in z
3.074 * [taylor]: Taking taylor expansion of z in z
3.074 * [taylor]: Taking taylor expansion of y in z
3.074 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.074 * [taylor]: Taking taylor expansion of 9.0 in y
3.074 * [taylor]: Taking taylor expansion of (* z y) in y
3.074 * [taylor]: Taking taylor expansion of z in y
3.074 * [taylor]: Taking taylor expansion of y in y
3.074 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.074 * [taylor]: Taking taylor expansion of 9.0 in y
3.074 * [taylor]: Taking taylor expansion of (* z y) in y
3.074 * [taylor]: Taking taylor expansion of z in y
3.074 * [taylor]: Taking taylor expansion of y in y
3.074 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
3.074 * [taylor]: Taking taylor expansion of 9.0 in z
3.074 * [taylor]: Taking taylor expansion of z in z
3.074 * [taylor]: Taking taylor expansion of 0 in z
3.075 * [taylor]: Taking taylor expansion of 0 in z
3.075 * [taylor]: Taking taylor expansion of 0 in z
3.075 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
3.075 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
3.075 * [taylor]: Taking taylor expansion of 9.0 in z
3.075 * [taylor]: Taking taylor expansion of (* z y) in z
3.075 * [taylor]: Taking taylor expansion of z in z
3.075 * [taylor]: Taking taylor expansion of y in z
3.075 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.075 * [taylor]: Taking taylor expansion of 9.0 in y
3.075 * [taylor]: Taking taylor expansion of (* z y) in y
3.075 * [taylor]: Taking taylor expansion of z in y
3.075 * [taylor]: Taking taylor expansion of y in y
3.075 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.075 * [taylor]: Taking taylor expansion of 9.0 in y
3.075 * [taylor]: Taking taylor expansion of (* z y) in y
3.075 * [taylor]: Taking taylor expansion of z in y
3.076 * [taylor]: Taking taylor expansion of y in y
3.076 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
3.076 * [taylor]: Taking taylor expansion of 9.0 in z
3.076 * [taylor]: Taking taylor expansion of z in z
3.076 * [taylor]: Taking taylor expansion of 0 in z
3.076 * [taylor]: Taking taylor expansion of 0 in z
3.076 * [taylor]: Taking taylor expansion of 0 in z
3.076 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.076 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
3.076 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
3.077 * [taylor]: Taking taylor expansion of 27.0 in b
3.077 * [taylor]: Taking taylor expansion of (* a b) in b
3.077 * [taylor]: Taking taylor expansion of a in b
3.077 * [taylor]: Taking taylor expansion of b in b
3.077 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.077 * [taylor]: Taking taylor expansion of 27.0 in a
3.077 * [taylor]: Taking taylor expansion of (* a b) in a
3.077 * [taylor]: Taking taylor expansion of a in a
3.077 * [taylor]: Taking taylor expansion of b in a
3.077 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.077 * [taylor]: Taking taylor expansion of 27.0 in a
3.077 * [taylor]: Taking taylor expansion of (* a b) in a
3.077 * [taylor]: Taking taylor expansion of a in a
3.077 * [taylor]: Taking taylor expansion of b in a
3.077 * [taylor]: Taking taylor expansion of 0 in b
3.077 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
3.077 * [taylor]: Taking taylor expansion of 27.0 in b
3.077 * [taylor]: Taking taylor expansion of b in b
3.077 * [taylor]: Taking taylor expansion of 0 in b
3.077 * [taylor]: Taking taylor expansion of 0 in b
3.077 * [taylor]: Taking taylor expansion of 0 in b
3.078 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.078 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.078 * [taylor]: Taking taylor expansion of 27.0 in b
3.078 * [taylor]: Taking taylor expansion of (* a b) in b
3.078 * [taylor]: Taking taylor expansion of a in b
3.078 * [taylor]: Taking taylor expansion of b in b
3.078 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.078 * [taylor]: Taking taylor expansion of 27.0 in a
3.078 * [taylor]: Taking taylor expansion of (* a b) in a
3.078 * [taylor]: Taking taylor expansion of a in a
3.078 * [taylor]: Taking taylor expansion of b in a
3.078 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.078 * [taylor]: Taking taylor expansion of 27.0 in a
3.078 * [taylor]: Taking taylor expansion of (* a b) in a
3.078 * [taylor]: Taking taylor expansion of a in a
3.078 * [taylor]: Taking taylor expansion of b in a
3.078 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.078 * [taylor]: Taking taylor expansion of 27.0 in b
3.078 * [taylor]: Taking taylor expansion of b in b
3.078 * [taylor]: Taking taylor expansion of 0 in b
3.078 * [taylor]: Taking taylor expansion of 0 in b
3.079 * [taylor]: Taking taylor expansion of 0 in b
3.079 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.079 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.079 * [taylor]: Taking taylor expansion of 27.0 in b
3.079 * [taylor]: Taking taylor expansion of (* a b) in b
3.079 * [taylor]: Taking taylor expansion of a in b
3.079 * [taylor]: Taking taylor expansion of b in b
3.079 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.079 * [taylor]: Taking taylor expansion of 27.0 in a
3.079 * [taylor]: Taking taylor expansion of (* a b) in a
3.079 * [taylor]: Taking taylor expansion of a in a
3.079 * [taylor]: Taking taylor expansion of b in a
3.079 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.079 * [taylor]: Taking taylor expansion of 27.0 in a
3.079 * [taylor]: Taking taylor expansion of (* a b) in a
3.079 * [taylor]: Taking taylor expansion of a in a
3.079 * [taylor]: Taking taylor expansion of b in a
3.079 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.079 * [taylor]: Taking taylor expansion of 27.0 in b
3.079 * [taylor]: Taking taylor expansion of b in b
3.080 * [taylor]: Taking taylor expansion of 0 in b
3.080 * [taylor]: Taking taylor expansion of 0 in b
3.080 * [taylor]: Taking taylor expansion of 0 in b
3.080 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.081 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in (x y z t a b) around 0
3.081 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in b
3.081 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
3.081 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
3.081 * [taylor]: Taking taylor expansion of 2.0 in b
3.081 * [taylor]: Taking taylor expansion of x in b
3.081 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
3.081 * [taylor]: Taking taylor expansion of 27.0 in b
3.081 * [taylor]: Taking taylor expansion of (* a b) in b
3.081 * [taylor]: Taking taylor expansion of a in b
3.081 * [taylor]: Taking taylor expansion of b in b
3.081 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
3.081 * [taylor]: Taking taylor expansion of 9.0 in b
3.081 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
3.081 * [taylor]: Taking taylor expansion of t in b
3.081 * [taylor]: Taking taylor expansion of (* z y) in b
3.081 * [taylor]: Taking taylor expansion of z in b
3.081 * [taylor]: Taking taylor expansion of y in b
3.081 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in a
3.081 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
3.081 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
3.081 * [taylor]: Taking taylor expansion of 2.0 in a
3.081 * [taylor]: Taking taylor expansion of x in a
3.081 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.081 * [taylor]: Taking taylor expansion of 27.0 in a
3.081 * [taylor]: Taking taylor expansion of (* a b) in a
3.081 * [taylor]: Taking taylor expansion of a in a
3.081 * [taylor]: Taking taylor expansion of b in a
3.081 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
3.081 * [taylor]: Taking taylor expansion of 9.0 in a
3.081 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
3.081 * [taylor]: Taking taylor expansion of t in a
3.081 * [taylor]: Taking taylor expansion of (* z y) in a
3.081 * [taylor]: Taking taylor expansion of z in a
3.081 * [taylor]: Taking taylor expansion of y in a
3.081 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in t
3.081 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in t
3.081 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
3.081 * [taylor]: Taking taylor expansion of 2.0 in t
3.081 * [taylor]: Taking taylor expansion of x in t
3.081 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
3.081 * [taylor]: Taking taylor expansion of 27.0 in t
3.081 * [taylor]: Taking taylor expansion of (* a b) in t
3.081 * [taylor]: Taking taylor expansion of a in t
3.081 * [taylor]: Taking taylor expansion of b in t
3.081 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.081 * [taylor]: Taking taylor expansion of 9.0 in t
3.082 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.082 * [taylor]: Taking taylor expansion of t in t
3.082 * [taylor]: Taking taylor expansion of (* z y) in t
3.082 * [taylor]: Taking taylor expansion of z in t
3.082 * [taylor]: Taking taylor expansion of y in t
3.082 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in z
3.082 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in z
3.082 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
3.082 * [taylor]: Taking taylor expansion of 2.0 in z
3.082 * [taylor]: Taking taylor expansion of x in z
3.082 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
3.082 * [taylor]: Taking taylor expansion of 27.0 in z
3.082 * [taylor]: Taking taylor expansion of (* a b) in z
3.082 * [taylor]: Taking taylor expansion of a in z
3.082 * [taylor]: Taking taylor expansion of b in z
3.082 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
3.082 * [taylor]: Taking taylor expansion of 9.0 in z
3.082 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.082 * [taylor]: Taking taylor expansion of t in z
3.082 * [taylor]: Taking taylor expansion of (* z y) in z
3.082 * [taylor]: Taking taylor expansion of z in z
3.082 * [taylor]: Taking taylor expansion of y in z
3.082 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in y
3.082 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in y
3.082 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
3.082 * [taylor]: Taking taylor expansion of 2.0 in y
3.082 * [taylor]: Taking taylor expansion of x in y
3.082 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
3.082 * [taylor]: Taking taylor expansion of 27.0 in y
3.082 * [taylor]: Taking taylor expansion of (* a b) in y
3.082 * [taylor]: Taking taylor expansion of a in y
3.082 * [taylor]: Taking taylor expansion of b in y
3.082 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.082 * [taylor]: Taking taylor expansion of 9.0 in y
3.082 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.082 * [taylor]: Taking taylor expansion of t in y
3.082 * [taylor]: Taking taylor expansion of (* z y) in y
3.082 * [taylor]: Taking taylor expansion of z in y
3.082 * [taylor]: Taking taylor expansion of y in y
3.082 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
3.082 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
3.082 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.082 * [taylor]: Taking taylor expansion of 2.0 in x
3.082 * [taylor]: Taking taylor expansion of x in x
3.082 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
3.082 * [taylor]: Taking taylor expansion of 27.0 in x
3.082 * [taylor]: Taking taylor expansion of (* a b) in x
3.082 * [taylor]: Taking taylor expansion of a in x
3.082 * [taylor]: Taking taylor expansion of b in x
3.082 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
3.082 * [taylor]: Taking taylor expansion of 9.0 in x
3.082 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.082 * [taylor]: Taking taylor expansion of t in x
3.082 * [taylor]: Taking taylor expansion of (* z y) in x
3.082 * [taylor]: Taking taylor expansion of z in x
3.082 * [taylor]: Taking taylor expansion of y in x
3.083 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
3.083 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
3.083 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.083 * [taylor]: Taking taylor expansion of 2.0 in x
3.083 * [taylor]: Taking taylor expansion of x in x
3.083 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
3.083 * [taylor]: Taking taylor expansion of 27.0 in x
3.083 * [taylor]: Taking taylor expansion of (* a b) in x
3.083 * [taylor]: Taking taylor expansion of a in x
3.083 * [taylor]: Taking taylor expansion of b in x
3.083 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
3.083 * [taylor]: Taking taylor expansion of 9.0 in x
3.083 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.083 * [taylor]: Taking taylor expansion of t in x
3.083 * [taylor]: Taking taylor expansion of (* z y) in x
3.083 * [taylor]: Taking taylor expansion of z in x
3.083 * [taylor]: Taking taylor expansion of y in x
3.083 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in y
3.083 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
3.083 * [taylor]: Taking taylor expansion of 27.0 in y
3.083 * [taylor]: Taking taylor expansion of (* a b) in y
3.083 * [taylor]: Taking taylor expansion of a in y
3.083 * [taylor]: Taking taylor expansion of b in y
3.083 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.083 * [taylor]: Taking taylor expansion of 9.0 in y
3.083 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.083 * [taylor]: Taking taylor expansion of t in y
3.083 * [taylor]: Taking taylor expansion of (* z y) in y
3.083 * [taylor]: Taking taylor expansion of z in y
3.083 * [taylor]: Taking taylor expansion of y in y
3.083 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
3.084 * [taylor]: Taking taylor expansion of 27.0 in z
3.084 * [taylor]: Taking taylor expansion of (* a b) in z
3.084 * [taylor]: Taking taylor expansion of a in z
3.084 * [taylor]: Taking taylor expansion of b in z
3.084 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
3.084 * [taylor]: Taking taylor expansion of 27.0 in t
3.084 * [taylor]: Taking taylor expansion of (* a b) in t
3.084 * [taylor]: Taking taylor expansion of a in t
3.084 * [taylor]: Taking taylor expansion of b in t
3.084 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.084 * [taylor]: Taking taylor expansion of 27.0 in a
3.084 * [taylor]: Taking taylor expansion of (* a b) in a
3.084 * [taylor]: Taking taylor expansion of a in a
3.084 * [taylor]: Taking taylor expansion of b in a
3.084 * [taylor]: Taking taylor expansion of 0 in b
3.084 * [taylor]: Taking taylor expansion of 2.0 in y
3.084 * [taylor]: Taking taylor expansion of 2.0 in z
3.084 * [taylor]: Taking taylor expansion of 2.0 in t
3.084 * [taylor]: Taking taylor expansion of 2.0 in a
3.084 * [taylor]: Taking taylor expansion of 2.0 in b
3.084 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z
3.084 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.085 * [taylor]: Taking taylor expansion of 9.0 in z
3.085 * [taylor]: Taking taylor expansion of (* t z) in z
3.085 * [taylor]: Taking taylor expansion of t in z
3.085 * [taylor]: Taking taylor expansion of z in z
3.085 * [taylor]: Taking taylor expansion of 0 in t
3.085 * [taylor]: Taking taylor expansion of 0 in a
3.085 * [taylor]: Taking taylor expansion of 0 in b
3.085 * [taylor]: Taking taylor expansion of 0 in t
3.085 * [taylor]: Taking taylor expansion of 0 in a
3.085 * [taylor]: Taking taylor expansion of 0 in b
3.085 * [taylor]: Taking taylor expansion of 0 in a
3.085 * [taylor]: Taking taylor expansion of 0 in b
3.085 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
3.085 * [taylor]: Taking taylor expansion of 27.0 in b
3.085 * [taylor]: Taking taylor expansion of b in b
3.085 * [taylor]: Taking taylor expansion of 0 in y
3.085 * [taylor]: Taking taylor expansion of 0 in z
3.085 * [taylor]: Taking taylor expansion of 0 in t
3.085 * [taylor]: Taking taylor expansion of 0 in a
3.085 * [taylor]: Taking taylor expansion of 0 in b
3.086 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t a b) around 0
3.086 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in b
3.086 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
3.086 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
3.086 * [taylor]: Taking taylor expansion of 27.0 in b
3.086 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.086 * [taylor]: Taking taylor expansion of (* a b) in b
3.086 * [taylor]: Taking taylor expansion of a in b
3.086 * [taylor]: Taking taylor expansion of b in b
3.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
3.086 * [taylor]: Taking taylor expansion of 2.0 in b
3.086 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.086 * [taylor]: Taking taylor expansion of x in b
3.086 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
3.086 * [taylor]: Taking taylor expansion of 9.0 in b
3.086 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
3.086 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
3.086 * [taylor]: Taking taylor expansion of t in b
3.086 * [taylor]: Taking taylor expansion of (* z y) in b
3.086 * [taylor]: Taking taylor expansion of z in b
3.086 * [taylor]: Taking taylor expansion of y in b
3.086 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in a
3.086 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
3.086 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.086 * [taylor]: Taking taylor expansion of 27.0 in a
3.086 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.086 * [taylor]: Taking taylor expansion of (* a b) in a
3.086 * [taylor]: Taking taylor expansion of a in a
3.087 * [taylor]: Taking taylor expansion of b in a
3.087 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
3.087 * [taylor]: Taking taylor expansion of 2.0 in a
3.087 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.087 * [taylor]: Taking taylor expansion of x in a
3.087 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
3.087 * [taylor]: Taking taylor expansion of 9.0 in a
3.087 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
3.087 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
3.087 * [taylor]: Taking taylor expansion of t in a
3.087 * [taylor]: Taking taylor expansion of (* z y) in a
3.087 * [taylor]: Taking taylor expansion of z in a
3.087 * [taylor]: Taking taylor expansion of y in a
3.087 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in t
3.087 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in t
3.087 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
3.087 * [taylor]: Taking taylor expansion of 27.0 in t
3.087 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
3.087 * [taylor]: Taking taylor expansion of (* a b) in t
3.087 * [taylor]: Taking taylor expansion of a in t
3.087 * [taylor]: Taking taylor expansion of b in t
3.087 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
3.087 * [taylor]: Taking taylor expansion of 2.0 in t
3.087 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.087 * [taylor]: Taking taylor expansion of x in t
3.087 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
3.087 * [taylor]: Taking taylor expansion of 9.0 in t
3.087 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.087 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.087 * [taylor]: Taking taylor expansion of t in t
3.087 * [taylor]: Taking taylor expansion of (* z y) in t
3.087 * [taylor]: Taking taylor expansion of z in t
3.087 * [taylor]: Taking taylor expansion of y in t
3.087 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in z
3.087 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in z
3.087 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
3.087 * [taylor]: Taking taylor expansion of 27.0 in z
3.088 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.088 * [taylor]: Taking taylor expansion of (* a b) in z
3.088 * [taylor]: Taking taylor expansion of a in z
3.088 * [taylor]: Taking taylor expansion of b in z
3.088 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
3.088 * [taylor]: Taking taylor expansion of 2.0 in z
3.088 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.088 * [taylor]: Taking taylor expansion of x in z
3.088 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
3.088 * [taylor]: Taking taylor expansion of 9.0 in z
3.088 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.088 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.088 * [taylor]: Taking taylor expansion of t in z
3.088 * [taylor]: Taking taylor expansion of (* z y) in z
3.088 * [taylor]: Taking taylor expansion of z in z
3.088 * [taylor]: Taking taylor expansion of y in z
3.088 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in y
3.088 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in y
3.088 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
3.088 * [taylor]: Taking taylor expansion of 27.0 in y
3.088 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.088 * [taylor]: Taking taylor expansion of (* a b) in y
3.088 * [taylor]: Taking taylor expansion of a in y
3.088 * [taylor]: Taking taylor expansion of b in y
3.088 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
3.088 * [taylor]: Taking taylor expansion of 2.0 in y
3.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.088 * [taylor]: Taking taylor expansion of x in y
3.088 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.088 * [taylor]: Taking taylor expansion of 9.0 in y
3.088 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.088 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.088 * [taylor]: Taking taylor expansion of t in y
3.088 * [taylor]: Taking taylor expansion of (* z y) in y
3.088 * [taylor]: Taking taylor expansion of z in y
3.088 * [taylor]: Taking taylor expansion of y in y
3.088 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
3.089 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.089 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.089 * [taylor]: Taking taylor expansion of 27.0 in x
3.089 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.089 * [taylor]: Taking taylor expansion of (* a b) in x
3.089 * [taylor]: Taking taylor expansion of a in x
3.089 * [taylor]: Taking taylor expansion of b in x
3.089 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.089 * [taylor]: Taking taylor expansion of 2.0 in x
3.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.089 * [taylor]: Taking taylor expansion of x in x
3.089 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.089 * [taylor]: Taking taylor expansion of 9.0 in x
3.089 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.089 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.089 * [taylor]: Taking taylor expansion of t in x
3.089 * [taylor]: Taking taylor expansion of (* z y) in x
3.089 * [taylor]: Taking taylor expansion of z in x
3.089 * [taylor]: Taking taylor expansion of y in x
3.089 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
3.089 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.089 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.089 * [taylor]: Taking taylor expansion of 27.0 in x
3.089 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.089 * [taylor]: Taking taylor expansion of (* a b) in x
3.089 * [taylor]: Taking taylor expansion of a in x
3.089 * [taylor]: Taking taylor expansion of b in x
3.089 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.089 * [taylor]: Taking taylor expansion of 2.0 in x
3.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.089 * [taylor]: Taking taylor expansion of x in x
3.089 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.089 * [taylor]: Taking taylor expansion of 9.0 in x
3.089 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.089 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.089 * [taylor]: Taking taylor expansion of t in x
3.089 * [taylor]: Taking taylor expansion of (* z y) in x
3.089 * [taylor]: Taking taylor expansion of z in x
3.089 * [taylor]: Taking taylor expansion of y in x
3.090 * [taylor]: Taking taylor expansion of 2.0 in y
3.090 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
3.090 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
3.090 * [taylor]: Taking taylor expansion of 27.0 in y
3.090 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.090 * [taylor]: Taking taylor expansion of (* a b) in y
3.090 * [taylor]: Taking taylor expansion of a in y
3.090 * [taylor]: Taking taylor expansion of b in y
3.090 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.090 * [taylor]: Taking taylor expansion of 9.0 in y
3.090 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.090 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.090 * [taylor]: Taking taylor expansion of t in y
3.090 * [taylor]: Taking taylor expansion of (* z y) in y
3.090 * [taylor]: Taking taylor expansion of z in y
3.090 * [taylor]: Taking taylor expansion of y in y
3.090 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
3.090 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.091 * [taylor]: Taking taylor expansion of 9.0 in z
3.091 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.091 * [taylor]: Taking taylor expansion of (* t z) in z
3.091 * [taylor]: Taking taylor expansion of t in z
3.091 * [taylor]: Taking taylor expansion of z in z
3.091 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
3.091 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
3.091 * [taylor]: Taking taylor expansion of 9.0 in t
3.091 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.091 * [taylor]: Taking taylor expansion of t in t
3.091 * [taylor]: Taking taylor expansion of (neg 9.0) in a
3.091 * [taylor]: Taking taylor expansion of 9.0 in a
3.091 * [taylor]: Taking taylor expansion of 2.0 in z
3.091 * [taylor]: Taking taylor expansion of 0 in y
3.092 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
3.092 * [taylor]: Taking taylor expansion of 27.0 in z
3.092 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.092 * [taylor]: Taking taylor expansion of (* a b) in z
3.092 * [taylor]: Taking taylor expansion of a in z
3.092 * [taylor]: Taking taylor expansion of b in z
3.092 * [taylor]: Taking taylor expansion of 0 in z
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of 2.0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in a
3.092 * [taylor]: Taking taylor expansion of (neg 9.0) in b
3.092 * [taylor]: Taking taylor expansion of 9.0 in b
3.093 * [taylor]: Taking taylor expansion of 0 in y
3.093 * [taylor]: Taking taylor expansion of 0 in z
3.093 * [taylor]: Taking taylor expansion of 0 in z
3.093 * [taylor]: Taking taylor expansion of 0 in z
3.093 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t
3.093 * [taylor]: Taking taylor expansion of 27.0 in t
3.093 * [taylor]: Taking taylor expansion of (* a b) in t
3.093 * [taylor]: Taking taylor expansion of a in t
3.093 * [taylor]: Taking taylor expansion of b in t
3.093 * [taylor]: Taking taylor expansion of 0 in t
3.094 * [taylor]: Taking taylor expansion of 0 in t
3.094 * [taylor]: Taking taylor expansion of 0 in t
3.094 * [taylor]: Taking taylor expansion of 0 in a
3.094 * [taylor]: Taking taylor expansion of 2.0 in a
3.094 * [taylor]: Taking taylor expansion of 0 in a
3.094 * [taylor]: Taking taylor expansion of 0 in b
3.094 * [taylor]: Taking taylor expansion of 0 in b
3.095 * [taylor]: Taking taylor expansion of 0 in y
3.095 * [taylor]: Taking taylor expansion of 0 in z
3.095 * [taylor]: Taking taylor expansion of 0 in z
3.096 * [taylor]: Taking taylor expansion of 0 in z
3.096 * [taylor]: Taking taylor expansion of 0 in z
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.096 * [taylor]: Taking taylor expansion of 27.0 in a
3.096 * [taylor]: Taking taylor expansion of (* a b) in a
3.096 * [taylor]: Taking taylor expansion of a in a
3.096 * [taylor]: Taking taylor expansion of b in a
3.096 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.096 * [taylor]: Taking taylor expansion of 27.0 in b
3.096 * [taylor]: Taking taylor expansion of b in b
3.096 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [taylor]: Taking taylor expansion of 0 in a
3.097 * [taylor]: Taking taylor expansion of 0 in b
3.097 * [taylor]: Taking taylor expansion of 2.0 in b
3.097 * [taylor]: Taking taylor expansion of 0 in b
3.097 * [taylor]: Taking taylor expansion of 0 in b
3.097 * [taylor]: Taking taylor expansion of 0 in b
3.098 * [taylor]: Taking taylor expansion of 0 in y
3.098 * [taylor]: Taking taylor expansion of 0 in z
3.098 * [taylor]: Taking taylor expansion of 0 in z
3.098 * [taylor]: Taking taylor expansion of 0 in z
3.099 * [taylor]: Taking taylor expansion of 0 in z
3.099 * [taylor]: Taking taylor expansion of 0 in z
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.100 * [taylor]: Taking taylor expansion of 0 in a
3.101 * [taylor]: Taking taylor expansion of 0 in a
3.101 * [taylor]: Taking taylor expansion of 0 in a
3.101 * [taylor]: Taking taylor expansion of 0 in a
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.101 * [taylor]: Taking taylor expansion of 0 in b
3.102 * [taylor]: Taking taylor expansion of 0 in b
3.102 * [taylor]: Taking taylor expansion of 0 in b
3.102 * [taylor]: Taking taylor expansion of 0 in b
3.102 * [taylor]: Taking taylor expansion of 0 in b
3.103 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in (x y z t a b) around 0
3.103 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in b
3.103 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
3.103 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
3.103 * [taylor]: Taking taylor expansion of 27.0 in b
3.103 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.103 * [taylor]: Taking taylor expansion of (* a b) in b
3.103 * [taylor]: Taking taylor expansion of a in b
3.103 * [taylor]: Taking taylor expansion of b in b
3.103 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
3.103 * [taylor]: Taking taylor expansion of 9.0 in b
3.103 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
3.103 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
3.103 * [taylor]: Taking taylor expansion of t in b
3.103 * [taylor]: Taking taylor expansion of (* z y) in b
3.103 * [taylor]: Taking taylor expansion of z in b
3.103 * [taylor]: Taking taylor expansion of y in b
3.103 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
3.103 * [taylor]: Taking taylor expansion of 2.0 in b
3.103 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.103 * [taylor]: Taking taylor expansion of x in b
3.103 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in a
3.103 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
3.103 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.103 * [taylor]: Taking taylor expansion of 27.0 in a
3.103 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.103 * [taylor]: Taking taylor expansion of (* a b) in a
3.103 * [taylor]: Taking taylor expansion of a in a
3.103 * [taylor]: Taking taylor expansion of b in a
3.103 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
3.103 * [taylor]: Taking taylor expansion of 9.0 in a
3.103 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
3.103 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
3.104 * [taylor]: Taking taylor expansion of t in a
3.104 * [taylor]: Taking taylor expansion of (* z y) in a
3.104 * [taylor]: Taking taylor expansion of z in a
3.104 * [taylor]: Taking taylor expansion of y in a
3.104 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
3.104 * [taylor]: Taking taylor expansion of 2.0 in a
3.104 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.104 * [taylor]: Taking taylor expansion of x in a
3.104 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in t
3.104 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
3.104 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
3.104 * [taylor]: Taking taylor expansion of 27.0 in t
3.104 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
3.104 * [taylor]: Taking taylor expansion of (* a b) in t
3.104 * [taylor]: Taking taylor expansion of a in t
3.104 * [taylor]: Taking taylor expansion of b in t
3.104 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
3.104 * [taylor]: Taking taylor expansion of 9.0 in t
3.104 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.104 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.104 * [taylor]: Taking taylor expansion of t in t
3.104 * [taylor]: Taking taylor expansion of (* z y) in t
3.104 * [taylor]: Taking taylor expansion of z in t
3.104 * [taylor]: Taking taylor expansion of y in t
3.104 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
3.104 * [taylor]: Taking taylor expansion of 2.0 in t
3.104 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.104 * [taylor]: Taking taylor expansion of x in t
3.104 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in z
3.104 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
3.104 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
3.104 * [taylor]: Taking taylor expansion of 27.0 in z
3.104 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.104 * [taylor]: Taking taylor expansion of (* a b) in z
3.104 * [taylor]: Taking taylor expansion of a in z
3.104 * [taylor]: Taking taylor expansion of b in z
3.105 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
3.105 * [taylor]: Taking taylor expansion of 9.0 in z
3.105 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.105 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.105 * [taylor]: Taking taylor expansion of t in z
3.105 * [taylor]: Taking taylor expansion of (* z y) in z
3.105 * [taylor]: Taking taylor expansion of z in z
3.105 * [taylor]: Taking taylor expansion of y in z
3.105 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
3.105 * [taylor]: Taking taylor expansion of 2.0 in z
3.105 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.105 * [taylor]: Taking taylor expansion of x in z
3.105 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in y
3.105 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
3.105 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
3.105 * [taylor]: Taking taylor expansion of 27.0 in y
3.105 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.105 * [taylor]: Taking taylor expansion of (* a b) in y
3.105 * [taylor]: Taking taylor expansion of a in y
3.105 * [taylor]: Taking taylor expansion of b in y
3.105 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.105 * [taylor]: Taking taylor expansion of 9.0 in y
3.105 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.105 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.105 * [taylor]: Taking taylor expansion of t in y
3.105 * [taylor]: Taking taylor expansion of (* z y) in y
3.105 * [taylor]: Taking taylor expansion of z in y
3.105 * [taylor]: Taking taylor expansion of y in y
3.105 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
3.105 * [taylor]: Taking taylor expansion of 2.0 in y
3.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.106 * [taylor]: Taking taylor expansion of x in y
3.106 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
3.106 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
3.106 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.106 * [taylor]: Taking taylor expansion of 27.0 in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.106 * [taylor]: Taking taylor expansion of (* a b) in x
3.106 * [taylor]: Taking taylor expansion of a in x
3.106 * [taylor]: Taking taylor expansion of b in x
3.106 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.106 * [taylor]: Taking taylor expansion of 9.0 in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.106 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.106 * [taylor]: Taking taylor expansion of t in x
3.106 * [taylor]: Taking taylor expansion of (* z y) in x
3.106 * [taylor]: Taking taylor expansion of z in x
3.106 * [taylor]: Taking taylor expansion of y in x
3.106 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.106 * [taylor]: Taking taylor expansion of 2.0 in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.106 * [taylor]: Taking taylor expansion of x in x
3.106 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
3.106 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
3.106 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.106 * [taylor]: Taking taylor expansion of 27.0 in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.106 * [taylor]: Taking taylor expansion of (* a b) in x
3.106 * [taylor]: Taking taylor expansion of a in x
3.106 * [taylor]: Taking taylor expansion of b in x
3.106 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.106 * [taylor]: Taking taylor expansion of 9.0 in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.106 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.106 * [taylor]: Taking taylor expansion of t in x
3.106 * [taylor]: Taking taylor expansion of (* z y) in x
3.106 * [taylor]: Taking taylor expansion of z in x
3.107 * [taylor]: Taking taylor expansion of y in x
3.107 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.107 * [taylor]: Taking taylor expansion of 2.0 in x
3.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.107 * [taylor]: Taking taylor expansion of x in x
3.107 * [taylor]: Taking taylor expansion of (neg 2.0) in y
3.107 * [taylor]: Taking taylor expansion of 2.0 in y
3.107 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
3.107 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
3.107 * [taylor]: Taking taylor expansion of 27.0 in y
3.107 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.107 * [taylor]: Taking taylor expansion of (* a b) in y
3.107 * [taylor]: Taking taylor expansion of a in y
3.107 * [taylor]: Taking taylor expansion of b in y
3.107 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.107 * [taylor]: Taking taylor expansion of 9.0 in y
3.107 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.107 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.107 * [taylor]: Taking taylor expansion of t in y
3.107 * [taylor]: Taking taylor expansion of (* z y) in y
3.108 * [taylor]: Taking taylor expansion of z in y
3.108 * [taylor]: Taking taylor expansion of y in y
3.108 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.108 * [taylor]: Taking taylor expansion of 9.0 in z
3.108 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.108 * [taylor]: Taking taylor expansion of (* t z) in z
3.108 * [taylor]: Taking taylor expansion of t in z
3.108 * [taylor]: Taking taylor expansion of z in z
3.108 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
3.108 * [taylor]: Taking taylor expansion of 9.0 in t
3.108 * [taylor]: Taking taylor expansion of t in t
3.108 * [taylor]: Taking taylor expansion of 9.0 in a
3.108 * [taylor]: Taking taylor expansion of (neg 2.0) in z
3.108 * [taylor]: Taking taylor expansion of 2.0 in z
3.109 * [taylor]: Taking taylor expansion of 0 in y
3.109 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
3.109 * [taylor]: Taking taylor expansion of 27.0 in z
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.109 * [taylor]: Taking taylor expansion of (* a b) in z
3.109 * [taylor]: Taking taylor expansion of a in z
3.109 * [taylor]: Taking taylor expansion of b in z
3.109 * [taylor]: Taking taylor expansion of 0 in z
3.109 * [taylor]: Taking taylor expansion of 0 in t
3.109 * [taylor]: Taking taylor expansion of (neg 2.0) in t
3.109 * [taylor]: Taking taylor expansion of 2.0 in t
3.109 * [taylor]: Taking taylor expansion of 0 in a
3.109 * [taylor]: Taking taylor expansion of 9.0 in b
3.110 * [taylor]: Taking taylor expansion of 0 in y
3.110 * [taylor]: Taking taylor expansion of 0 in z
3.110 * [taylor]: Taking taylor expansion of 0 in z
3.110 * [taylor]: Taking taylor expansion of 0 in z
3.111 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t
3.111 * [taylor]: Taking taylor expansion of 27.0 in t
3.111 * [taylor]: Taking taylor expansion of (* a b) in t
3.111 * [taylor]: Taking taylor expansion of a in t
3.111 * [taylor]: Taking taylor expansion of b in t
3.111 * [taylor]: Taking taylor expansion of 0 in t
3.111 * [taylor]: Taking taylor expansion of 0 in t
3.111 * [taylor]: Taking taylor expansion of 0 in t
3.111 * [taylor]: Taking taylor expansion of 0 in a
3.111 * [taylor]: Taking taylor expansion of (neg 2.0) in a
3.111 * [taylor]: Taking taylor expansion of 2.0 in a
3.111 * [taylor]: Taking taylor expansion of 0 in a
3.111 * [taylor]: Taking taylor expansion of 0 in b
3.111 * [taylor]: Taking taylor expansion of 0 in b
3.112 * [taylor]: Taking taylor expansion of 0 in y
3.112 * [taylor]: Taking taylor expansion of 0 in z
3.112 * [taylor]: Taking taylor expansion of 0 in z
3.113 * [taylor]: Taking taylor expansion of 0 in z
3.113 * [taylor]: Taking taylor expansion of 0 in z
3.113 * [taylor]: Taking taylor expansion of 0 in t
3.113 * [taylor]: Taking taylor expansion of 0 in t
3.113 * [taylor]: Taking taylor expansion of 0 in t
3.113 * [taylor]: Taking taylor expansion of 0 in t
3.113 * [taylor]: Taking taylor expansion of 0 in t
3.113 * [taylor]: Taking taylor expansion of 0 in t
3.113 * [taylor]: Taking taylor expansion of 0 in t
3.113 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.113 * [taylor]: Taking taylor expansion of 27.0 in a
3.113 * [taylor]: Taking taylor expansion of (* a b) in a
3.113 * [taylor]: Taking taylor expansion of a in a
3.113 * [taylor]: Taking taylor expansion of b in a
3.113 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.113 * [taylor]: Taking taylor expansion of 27.0 in b
3.114 * [taylor]: Taking taylor expansion of b in b
3.114 * [taylor]: Taking taylor expansion of 0 in a
3.114 * [taylor]: Taking taylor expansion of 0 in a
3.114 * [taylor]: Taking taylor expansion of 0 in a
3.114 * [taylor]: Taking taylor expansion of 0 in a
3.114 * [taylor]: Taking taylor expansion of 0 in a
3.114 * [taylor]: Taking taylor expansion of 0 in a
3.114 * [taylor]: Taking taylor expansion of 0 in b
3.114 * [taylor]: Taking taylor expansion of (neg 2.0) in b
3.114 * [taylor]: Taking taylor expansion of 2.0 in b
3.114 * [taylor]: Taking taylor expansion of 0 in b
3.114 * [taylor]: Taking taylor expansion of 0 in b
3.114 * [taylor]: Taking taylor expansion of 0 in b
3.115 * [taylor]: Taking taylor expansion of 0 in y
3.115 * [taylor]: Taking taylor expansion of 0 in z
3.115 * [taylor]: Taking taylor expansion of 0 in z
3.115 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.117 * [taylor]: Taking taylor expansion of 0 in t
3.117 * [taylor]: Taking taylor expansion of 0 in t
3.117 * [taylor]: Taking taylor expansion of 0 in t
3.117 * [taylor]: Taking taylor expansion of 0 in t
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.117 * [taylor]: Taking taylor expansion of 0 in a
3.118 * [taylor]: Taking taylor expansion of 0 in a
3.118 * [taylor]: Taking taylor expansion of 0 in a
3.118 * [taylor]: Taking taylor expansion of 0 in a
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.118 * [taylor]: Taking taylor expansion of 0 in b
3.119 * [taylor]: Taking taylor expansion of 0 in b
3.119 * [taylor]: Taking taylor expansion of 0 in b
3.119 * [taylor]: Taking taylor expansion of 0 in b
3.119 * [taylor]: Taking taylor expansion of 0 in b
3.119 * * * [progress]: simplifying candidates
3.121 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* 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 9.0)) (log 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 9.0) (* y 9.0)) (* y 9.0)) (* (* z z) 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)
  (* z t)
  (* (* y 9.0) z)
  (* (* y 9.0) z)
  (+ (+ (log y) (log 9.0)) (log z))
  (+ (log (* y 9.0)) (log z))
  (log (* (* y 9.0) z))
  (exp (* (* y 9.0) z))
  (* (* (* (* y y) y) (* (* 9.0 9.0) 9.0)) (* (* z z) z))
  (* (* (* (* y 9.0) (* y 9.0)) (* y 9.0)) (* (* z z) 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 z) (cbrt z)))
  (* (* y 9.0) (sqrt z))
  (* (* y 9.0) 1)
  (* 9.0 z)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) 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 b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (* (/ (exp (* x 2.0)) (exp (* (* (* y 9.0) z) t))) (exp (* (* a 27.0) b)))
  (* (exp (- (* x 2.0) (* (* (* y 9.0) z) t))) (exp (* (* a 27.0) b)))
  (log (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (exp (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (* (cbrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))) (cbrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))))
  (cbrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (* (* (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (sqrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (sqrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (+ (pow (- (* x 2.0) (* (* (* y 9.0) z) t)) 3) (pow (* (* a 27.0) b) 3))
  (+ (* (- (* x 2.0) (* (* (* y 9.0) z) t)) (- (* x 2.0) (* (* (* y 9.0) z) t))) (- (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))))
  (- (* (- (* x 2.0) (* (* (* y 9.0) z) t)) (- (* x 2.0) (* (* (* y 9.0) z) t))) (* (* (* a 27.0) b) (* (* a 27.0) b)))
  (- (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
  (+ (neg (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
  (+ (neg (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
  (- (* (* (* y 9.0) z) t) (* (* a 27.0) b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 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))))
3.124 * * [simplify]: iteration  0 :  140  enodes  (cost  981 )
3.151 * * [simplify]: iteration  1 :  390  enodes  (cost  964 )
3.257 * * [simplify]: iteration  2 :  1783  enodes  (cost  815 )
3.756 * * [simplify]: iteration  done :  5000  enodes  (cost  802 )
3.756 * [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))
  (exp (* (* (* y 9.0) z) t))
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (* (cbrt (* (* (* y 9.0) z) t)) (cbrt (* (* (* y 9.0) z) t)))
  (cbrt (* (* (* y 9.0) z) t))
  (pow (* 9.0 (* t (* z y))) 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))
  (* 9.0 (* z y))
  (* z t)
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (log (* 9.0 (* z y)))
  (log (* 9.0 (* z y)))
  (log (* 9.0 (* z y)))
  (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) (* (cbrt z) (cbrt z)))
  (* (* y 9.0) (sqrt z))
  (* y 9.0)
  (* 9.0 z)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (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) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (exp (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (exp (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (log (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (exp (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (* (cbrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))) (cbrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))))
  (cbrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (pow (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) 3)
  (sqrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (sqrt (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))
  (+ (pow (- (* x 2.0) (* (* (* y 9.0) z) t)) 3) (pow (* (* a 27.0) b) 3))
  (+ (* (* (* a 27.0) b) (- (* (* a 27.0) b) (- (* x 2.0) (* (* (* y 9.0) z) t)))) (* (- (* x 2.0) (* (* (* y 9.0) z) t)) (- (* x 2.0) (* (* (* y 9.0) z) t))))
  (- (* (- (* x 2.0) (* (* (* y 9.0) z) t)) (- (* x 2.0) (* (* (* y 9.0) z) t))) (* (* (* a 27.0) b) (* (* a 27.0) b)))
  (- (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
  (- (* (* a 27.0) b) (* (* (* y 9.0) z) t))
  (- (* (* a 27.0) b) (* (* (* y 9.0) z) t))
  (- (* (* (* y 9.0) z) t) (* (* a 27.0) b))
  0
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* x 2.0)
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
3.757 * * * [progress]: adding candidates to table
3.864 * * [progress]: iteration 2 / 4
3.864 * * * [progress]: picking best candidate
3.901 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>
3.901 * * * [progress]: localizing error
3.914 * * * [progress]: generating rewritten candidates
3.914 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
3.924 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
3.929 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.936 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.942 * * * [progress]: generating series expansions
3.942 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
3.943 * [approximate]: Taking taylor expansion of (* t (* z y)) in (t z y) around 0
3.943 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.943 * [taylor]: Taking taylor expansion of t in y
3.943 * [taylor]: Taking taylor expansion of (* z y) in y
3.943 * [taylor]: Taking taylor expansion of z in y
3.943 * [taylor]: Taking taylor expansion of y in y
3.943 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.943 * [taylor]: Taking taylor expansion of t in z
3.943 * [taylor]: Taking taylor expansion of (* z y) in z
3.943 * [taylor]: Taking taylor expansion of z in z
3.943 * [taylor]: Taking taylor expansion of y in z
3.943 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.943 * [taylor]: Taking taylor expansion of t in t
3.943 * [taylor]: Taking taylor expansion of (* z y) in t
3.943 * [taylor]: Taking taylor expansion of z in t
3.943 * [taylor]: Taking taylor expansion of y in t
3.943 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.943 * [taylor]: Taking taylor expansion of t in t
3.943 * [taylor]: Taking taylor expansion of (* z y) in t
3.943 * [taylor]: Taking taylor expansion of z in t
3.943 * [taylor]: Taking taylor expansion of y in t
3.943 * [taylor]: Taking taylor expansion of 0 in z
3.943 * [taylor]: Taking taylor expansion of 0 in y
3.943 * [taylor]: Taking taylor expansion of (* z y) in z
3.943 * [taylor]: Taking taylor expansion of z in z
3.943 * [taylor]: Taking taylor expansion of y in z
3.943 * [taylor]: Taking taylor expansion of 0 in y
3.943 * [taylor]: Taking taylor expansion of 0 in y
3.943 * [taylor]: Taking taylor expansion of 0 in z
3.943 * [taylor]: Taking taylor expansion of 0 in y
3.944 * [taylor]: Taking taylor expansion of y in y
3.944 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (t z y) around 0
3.944 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.944 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.944 * [taylor]: Taking taylor expansion of t in y
3.944 * [taylor]: Taking taylor expansion of (* z y) in y
3.944 * [taylor]: Taking taylor expansion of z in y
3.944 * [taylor]: Taking taylor expansion of y in y
3.944 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.944 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.944 * [taylor]: Taking taylor expansion of t in z
3.944 * [taylor]: Taking taylor expansion of (* z y) in z
3.944 * [taylor]: Taking taylor expansion of z in z
3.944 * [taylor]: Taking taylor expansion of y in z
3.944 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.944 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.944 * [taylor]: Taking taylor expansion of t in t
3.944 * [taylor]: Taking taylor expansion of (* z y) in t
3.944 * [taylor]: Taking taylor expansion of z in t
3.944 * [taylor]: Taking taylor expansion of y in t
3.944 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.944 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.944 * [taylor]: Taking taylor expansion of t in t
3.944 * [taylor]: Taking taylor expansion of (* z y) in t
3.944 * [taylor]: Taking taylor expansion of z in t
3.944 * [taylor]: Taking taylor expansion of y in t
3.945 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.945 * [taylor]: Taking taylor expansion of (* z y) in z
3.945 * [taylor]: Taking taylor expansion of z in z
3.945 * [taylor]: Taking taylor expansion of y in z
3.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.945 * [taylor]: Taking taylor expansion of y in y
3.945 * [taylor]: Taking taylor expansion of 0 in z
3.945 * [taylor]: Taking taylor expansion of 0 in y
3.946 * [taylor]: Taking taylor expansion of 0 in z
3.946 * [taylor]: Taking taylor expansion of 0 in y
3.946 * [taylor]: Taking taylor expansion of 0 in y
3.946 * [taylor]: Taking taylor expansion of 0 in z
3.946 * [taylor]: Taking taylor expansion of 0 in y
3.946 * [taylor]: Taking taylor expansion of 0 in y
3.946 * [taylor]: Taking taylor expansion of 0 in y
3.947 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (t z y) around 0
3.947 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.947 * [taylor]: Taking taylor expansion of -1 in y
3.947 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.947 * [taylor]: Taking taylor expansion of t in y
3.947 * [taylor]: Taking taylor expansion of (* z y) in y
3.947 * [taylor]: Taking taylor expansion of z in y
3.947 * [taylor]: Taking taylor expansion of y in y
3.947 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
3.947 * [taylor]: Taking taylor expansion of -1 in z
3.947 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.947 * [taylor]: Taking taylor expansion of t in z
3.947 * [taylor]: Taking taylor expansion of (* z y) in z
3.947 * [taylor]: Taking taylor expansion of z in z
3.947 * [taylor]: Taking taylor expansion of y in z
3.947 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.947 * [taylor]: Taking taylor expansion of -1 in t
3.947 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.947 * [taylor]: Taking taylor expansion of t in t
3.947 * [taylor]: Taking taylor expansion of (* z y) in t
3.947 * [taylor]: Taking taylor expansion of z in t
3.947 * [taylor]: Taking taylor expansion of y in t
3.947 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.947 * [taylor]: Taking taylor expansion of -1 in t
3.947 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.947 * [taylor]: Taking taylor expansion of t in t
3.947 * [taylor]: Taking taylor expansion of (* z y) in t
3.947 * [taylor]: Taking taylor expansion of z in t
3.947 * [taylor]: Taking taylor expansion of y in t
3.948 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
3.948 * [taylor]: Taking taylor expansion of -1 in z
3.948 * [taylor]: Taking taylor expansion of (* z y) in z
3.948 * [taylor]: Taking taylor expansion of z in z
3.948 * [taylor]: Taking taylor expansion of y in z
3.948 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.948 * [taylor]: Taking taylor expansion of -1 in y
3.948 * [taylor]: Taking taylor expansion of y in y
3.948 * [taylor]: Taking taylor expansion of 0 in z
3.948 * [taylor]: Taking taylor expansion of 0 in y
3.948 * [taylor]: Taking taylor expansion of 0 in z
3.948 * [taylor]: Taking taylor expansion of 0 in y
3.948 * [taylor]: Taking taylor expansion of 0 in y
3.949 * [taylor]: Taking taylor expansion of 0 in z
3.949 * [taylor]: Taking taylor expansion of 0 in y
3.949 * [taylor]: Taking taylor expansion of 0 in y
3.949 * [taylor]: Taking taylor expansion of 0 in y
3.949 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
3.949 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
3.949 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
3.949 * [taylor]: Taking taylor expansion of 27.0 in b
3.949 * [taylor]: Taking taylor expansion of (* a b) in b
3.949 * [taylor]: Taking taylor expansion of a in b
3.949 * [taylor]: Taking taylor expansion of b in b
3.949 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.949 * [taylor]: Taking taylor expansion of 27.0 in a
3.949 * [taylor]: Taking taylor expansion of (* a b) in a
3.949 * [taylor]: Taking taylor expansion of a in a
3.950 * [taylor]: Taking taylor expansion of b in a
3.950 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.950 * [taylor]: Taking taylor expansion of 27.0 in a
3.950 * [taylor]: Taking taylor expansion of (* a b) in a
3.950 * [taylor]: Taking taylor expansion of a in a
3.950 * [taylor]: Taking taylor expansion of b in a
3.950 * [taylor]: Taking taylor expansion of 0 in b
3.950 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
3.950 * [taylor]: Taking taylor expansion of 27.0 in b
3.950 * [taylor]: Taking taylor expansion of b in b
3.950 * [taylor]: Taking taylor expansion of 0 in b
3.950 * [taylor]: Taking taylor expansion of 0 in b
3.950 * [taylor]: Taking taylor expansion of 0 in b
3.950 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.950 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.950 * [taylor]: Taking taylor expansion of 27.0 in b
3.950 * [taylor]: Taking taylor expansion of (* a b) in b
3.950 * [taylor]: Taking taylor expansion of a in b
3.950 * [taylor]: Taking taylor expansion of b in b
3.951 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.951 * [taylor]: Taking taylor expansion of 27.0 in a
3.951 * [taylor]: Taking taylor expansion of (* a b) in a
3.951 * [taylor]: Taking taylor expansion of a in a
3.951 * [taylor]: Taking taylor expansion of b in a
3.951 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.951 * [taylor]: Taking taylor expansion of 27.0 in a
3.951 * [taylor]: Taking taylor expansion of (* a b) in a
3.951 * [taylor]: Taking taylor expansion of a in a
3.951 * [taylor]: Taking taylor expansion of b in a
3.951 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.951 * [taylor]: Taking taylor expansion of 27.0 in b
3.951 * [taylor]: Taking taylor expansion of b in b
3.951 * [taylor]: Taking taylor expansion of 0 in b
3.951 * [taylor]: Taking taylor expansion of 0 in b
3.952 * [taylor]: Taking taylor expansion of 0 in b
3.952 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.952 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.952 * [taylor]: Taking taylor expansion of 27.0 in b
3.952 * [taylor]: Taking taylor expansion of (* a b) in b
3.952 * [taylor]: Taking taylor expansion of a in b
3.952 * [taylor]: Taking taylor expansion of b in b
3.952 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.952 * [taylor]: Taking taylor expansion of 27.0 in a
3.952 * [taylor]: Taking taylor expansion of (* a b) in a
3.952 * [taylor]: Taking taylor expansion of a in a
3.952 * [taylor]: Taking taylor expansion of b in a
3.952 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.952 * [taylor]: Taking taylor expansion of 27.0 in a
3.952 * [taylor]: Taking taylor expansion of (* a b) in a
3.952 * [taylor]: Taking taylor expansion of a in a
3.952 * [taylor]: Taking taylor expansion of b in a
3.952 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.952 * [taylor]: Taking taylor expansion of 27.0 in b
3.952 * [taylor]: Taking taylor expansion of b in b
3.953 * [taylor]: Taking taylor expansion of 0 in b
3.953 * [taylor]: Taking taylor expansion of 0 in b
3.953 * [taylor]: Taking taylor expansion of 0 in b
3.953 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.953 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (t z y) around 0
3.953 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.953 * [taylor]: Taking taylor expansion of 9.0 in y
3.953 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.953 * [taylor]: Taking taylor expansion of t in y
3.953 * [taylor]: Taking taylor expansion of (* z y) in y
3.953 * [taylor]: Taking taylor expansion of z in y
3.953 * [taylor]: Taking taylor expansion of y in y
3.953 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
3.953 * [taylor]: Taking taylor expansion of 9.0 in z
3.954 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.954 * [taylor]: Taking taylor expansion of t in z
3.954 * [taylor]: Taking taylor expansion of (* z y) in z
3.954 * [taylor]: Taking taylor expansion of z in z
3.954 * [taylor]: Taking taylor expansion of y in z
3.954 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.954 * [taylor]: Taking taylor expansion of 9.0 in t
3.954 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.954 * [taylor]: Taking taylor expansion of t in t
3.954 * [taylor]: Taking taylor expansion of (* z y) in t
3.954 * [taylor]: Taking taylor expansion of z in t
3.954 * [taylor]: Taking taylor expansion of y in t
3.954 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.954 * [taylor]: Taking taylor expansion of 9.0 in t
3.954 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.954 * [taylor]: Taking taylor expansion of t in t
3.954 * [taylor]: Taking taylor expansion of (* z y) in t
3.954 * [taylor]: Taking taylor expansion of z in t
3.954 * [taylor]: Taking taylor expansion of y in t
3.954 * [taylor]: Taking taylor expansion of 0 in z
3.954 * [taylor]: Taking taylor expansion of 0 in y
3.954 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
3.954 * [taylor]: Taking taylor expansion of 9.0 in z
3.954 * [taylor]: Taking taylor expansion of (* z y) in z
3.954 * [taylor]: Taking taylor expansion of z in z
3.954 * [taylor]: Taking taylor expansion of y in z
3.954 * [taylor]: Taking taylor expansion of 0 in y
3.954 * [taylor]: Taking taylor expansion of 0 in y
3.954 * [taylor]: Taking taylor expansion of 0 in z
3.954 * [taylor]: Taking taylor expansion of 0 in y
3.954 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
3.955 * [taylor]: Taking taylor expansion of 9.0 in y
3.955 * [taylor]: Taking taylor expansion of y in y
3.955 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (t z y) around 0
3.955 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.955 * [taylor]: Taking taylor expansion of 9.0 in y
3.955 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.955 * [taylor]: Taking taylor expansion of t in y
3.955 * [taylor]: Taking taylor expansion of (* z y) in y
3.955 * [taylor]: Taking taylor expansion of z in y
3.955 * [taylor]: Taking taylor expansion of y in y
3.955 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
3.955 * [taylor]: Taking taylor expansion of 9.0 in z
3.955 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.955 * [taylor]: Taking taylor expansion of t in z
3.955 * [taylor]: Taking taylor expansion of (* z y) in z
3.955 * [taylor]: Taking taylor expansion of z in z
3.955 * [taylor]: Taking taylor expansion of y in z
3.955 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
3.955 * [taylor]: Taking taylor expansion of 9.0 in t
3.955 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.955 * [taylor]: Taking taylor expansion of t in t
3.955 * [taylor]: Taking taylor expansion of (* z y) in t
3.955 * [taylor]: Taking taylor expansion of z in t
3.955 * [taylor]: Taking taylor expansion of y in t
3.955 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
3.955 * [taylor]: Taking taylor expansion of 9.0 in t
3.955 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.955 * [taylor]: Taking taylor expansion of t in t
3.955 * [taylor]: Taking taylor expansion of (* z y) in t
3.956 * [taylor]: Taking taylor expansion of z in t
3.956 * [taylor]: Taking taylor expansion of y in t
3.956 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
3.956 * [taylor]: Taking taylor expansion of 9.0 in z
3.956 * [taylor]: Taking taylor expansion of (* z y) in z
3.956 * [taylor]: Taking taylor expansion of z in z
3.956 * [taylor]: Taking taylor expansion of y in z
3.956 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
3.956 * [taylor]: Taking taylor expansion of 9.0 in y
3.956 * [taylor]: Taking taylor expansion of y in y
3.956 * [taylor]: Taking taylor expansion of 0 in z
3.956 * [taylor]: Taking taylor expansion of 0 in y
3.957 * [taylor]: Taking taylor expansion of 0 in z
3.957 * [taylor]: Taking taylor expansion of 0 in y
3.957 * [taylor]: Taking taylor expansion of 0 in y
3.957 * [taylor]: Taking taylor expansion of 0 in z
3.957 * [taylor]: Taking taylor expansion of 0 in y
3.957 * [taylor]: Taking taylor expansion of 0 in y
3.957 * [taylor]: Taking taylor expansion of 0 in y
3.958 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (t z y) around 0
3.958 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.958 * [taylor]: Taking taylor expansion of -9.0 in y
3.958 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.958 * [taylor]: Taking taylor expansion of t in y
3.958 * [taylor]: Taking taylor expansion of (* z y) in y
3.958 * [taylor]: Taking taylor expansion of z in y
3.958 * [taylor]: Taking taylor expansion of y in y
3.958 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
3.958 * [taylor]: Taking taylor expansion of -9.0 in z
3.958 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.958 * [taylor]: Taking taylor expansion of t in z
3.958 * [taylor]: Taking taylor expansion of (* z y) in z
3.958 * [taylor]: Taking taylor expansion of z in z
3.958 * [taylor]: Taking taylor expansion of y in z
3.958 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
3.958 * [taylor]: Taking taylor expansion of -9.0 in t
3.958 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.958 * [taylor]: Taking taylor expansion of t in t
3.958 * [taylor]: Taking taylor expansion of (* z y) in t
3.958 * [taylor]: Taking taylor expansion of z in t
3.958 * [taylor]: Taking taylor expansion of y in t
3.958 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
3.958 * [taylor]: Taking taylor expansion of -9.0 in t
3.958 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.958 * [taylor]: Taking taylor expansion of t in t
3.958 * [taylor]: Taking taylor expansion of (* z y) in t
3.958 * [taylor]: Taking taylor expansion of z in t
3.958 * [taylor]: Taking taylor expansion of y in t
3.959 * [taylor]: Taking taylor expansion of (/ -9.0 (* z y)) in z
3.959 * [taylor]: Taking taylor expansion of -9.0 in z
3.959 * [taylor]: Taking taylor expansion of (* z y) in z
3.959 * [taylor]: Taking taylor expansion of z in z
3.959 * [taylor]: Taking taylor expansion of y in z
3.959 * [taylor]: Taking taylor expansion of (/ -9.0 y) in y
3.959 * [taylor]: Taking taylor expansion of -9.0 in y
3.959 * [taylor]: Taking taylor expansion of y in y
3.959 * [taylor]: Taking taylor expansion of 0 in z
3.959 * [taylor]: Taking taylor expansion of 0 in y
3.959 * [taylor]: Taking taylor expansion of 0 in z
3.959 * [taylor]: Taking taylor expansion of 0 in y
3.960 * [taylor]: Taking taylor expansion of 0 in y
3.960 * [taylor]: Taking taylor expansion of 0 in z
3.960 * [taylor]: Taking taylor expansion of 0 in y
3.960 * [taylor]: Taking taylor expansion of 0 in y
3.960 * [taylor]: Taking taylor expansion of 0 in y
3.960 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.960 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in (x a b) around 0
3.960 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
3.960 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
3.960 * [taylor]: Taking taylor expansion of 2.0 in b
3.961 * [taylor]: Taking taylor expansion of x in b
3.961 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
3.961 * [taylor]: Taking taylor expansion of 27.0 in b
3.961 * [taylor]: Taking taylor expansion of (* a b) in b
3.961 * [taylor]: Taking taylor expansion of a in b
3.961 * [taylor]: Taking taylor expansion of b in b
3.961 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
3.961 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
3.961 * [taylor]: Taking taylor expansion of 2.0 in a
3.961 * [taylor]: Taking taylor expansion of x in a
3.961 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.961 * [taylor]: Taking taylor expansion of 27.0 in a
3.961 * [taylor]: Taking taylor expansion of (* a b) in a
3.961 * [taylor]: Taking taylor expansion of a in a
3.961 * [taylor]: Taking taylor expansion of b in a
3.961 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
3.961 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.961 * [taylor]: Taking taylor expansion of 2.0 in x
3.961 * [taylor]: Taking taylor expansion of x in x
3.961 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
3.961 * [taylor]: Taking taylor expansion of 27.0 in x
3.961 * [taylor]: Taking taylor expansion of (* a b) in x
3.961 * [taylor]: Taking taylor expansion of a in x
3.961 * [taylor]: Taking taylor expansion of b in x
3.961 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
3.961 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.961 * [taylor]: Taking taylor expansion of 2.0 in x
3.961 * [taylor]: Taking taylor expansion of x in x
3.961 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
3.961 * [taylor]: Taking taylor expansion of 27.0 in x
3.961 * [taylor]: Taking taylor expansion of (* a b) in x
3.961 * [taylor]: Taking taylor expansion of a in x
3.961 * [taylor]: Taking taylor expansion of b in x
3.961 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.961 * [taylor]: Taking taylor expansion of 27.0 in a
3.961 * [taylor]: Taking taylor expansion of (* a b) in a
3.961 * [taylor]: Taking taylor expansion of a in a
3.961 * [taylor]: Taking taylor expansion of b in a
3.961 * [taylor]: Taking taylor expansion of 0 in b
3.961 * [taylor]: Taking taylor expansion of 2.0 in a
3.962 * [taylor]: Taking taylor expansion of 2.0 in b
3.962 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
3.962 * [taylor]: Taking taylor expansion of 27.0 in b
3.962 * [taylor]: Taking taylor expansion of b in b
3.962 * [taylor]: Taking taylor expansion of 0 in a
3.962 * [taylor]: Taking taylor expansion of 0 in b
3.962 * [taylor]: Taking taylor expansion of 0 in b
3.962 * [taylor]: Taking taylor expansion of 0 in b
3.962 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
3.962 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
3.962 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
3.962 * [taylor]: Taking taylor expansion of 27.0 in b
3.962 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.962 * [taylor]: Taking taylor expansion of (* a b) in b
3.962 * [taylor]: Taking taylor expansion of a in b
3.962 * [taylor]: Taking taylor expansion of b in b
3.963 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
3.963 * [taylor]: Taking taylor expansion of 2.0 in b
3.963 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.963 * [taylor]: Taking taylor expansion of x in b
3.963 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
3.963 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.963 * [taylor]: Taking taylor expansion of 27.0 in a
3.963 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.963 * [taylor]: Taking taylor expansion of (* a b) in a
3.963 * [taylor]: Taking taylor expansion of a in a
3.963 * [taylor]: Taking taylor expansion of b in a
3.963 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
3.963 * [taylor]: Taking taylor expansion of 2.0 in a
3.963 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.963 * [taylor]: Taking taylor expansion of x in a
3.963 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.963 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.963 * [taylor]: Taking taylor expansion of 27.0 in x
3.963 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.963 * [taylor]: Taking taylor expansion of (* a b) in x
3.963 * [taylor]: Taking taylor expansion of a in x
3.963 * [taylor]: Taking taylor expansion of b in x
3.963 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.963 * [taylor]: Taking taylor expansion of 2.0 in x
3.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.963 * [taylor]: Taking taylor expansion of x in x
3.963 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.963 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.963 * [taylor]: Taking taylor expansion of 27.0 in x
3.963 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.963 * [taylor]: Taking taylor expansion of (* a b) in x
3.964 * [taylor]: Taking taylor expansion of a in x
3.964 * [taylor]: Taking taylor expansion of b in x
3.964 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.964 * [taylor]: Taking taylor expansion of 2.0 in x
3.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.964 * [taylor]: Taking taylor expansion of x in x
3.964 * [taylor]: Taking taylor expansion of 2.0 in a
3.964 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.964 * [taylor]: Taking taylor expansion of 27.0 in a
3.964 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.964 * [taylor]: Taking taylor expansion of (* a b) in a
3.964 * [taylor]: Taking taylor expansion of a in a
3.964 * [taylor]: Taking taylor expansion of b in a
3.964 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.964 * [taylor]: Taking taylor expansion of 27.0 in b
3.964 * [taylor]: Taking taylor expansion of b in b
3.964 * [taylor]: Taking taylor expansion of 2.0 in b
3.964 * [taylor]: Taking taylor expansion of 0 in a
3.965 * [taylor]: Taking taylor expansion of 0 in b
3.965 * [taylor]: Taking taylor expansion of 0 in b
3.965 * [taylor]: Taking taylor expansion of 0 in a
3.965 * [taylor]: Taking taylor expansion of 0 in b
3.965 * [taylor]: Taking taylor expansion of 0 in b
3.965 * [taylor]: Taking taylor expansion of 0 in b
3.966 * [taylor]: Taking taylor expansion of 0 in a
3.966 * [taylor]: Taking taylor expansion of 0 in b
3.966 * [taylor]: Taking taylor expansion of 0 in b
3.966 * [taylor]: Taking taylor expansion of 0 in b
3.966 * [taylor]: Taking taylor expansion of 0 in b
3.966 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
3.966 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
3.966 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
3.966 * [taylor]: Taking taylor expansion of 27.0 in b
3.966 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.966 * [taylor]: Taking taylor expansion of (* a b) in b
3.966 * [taylor]: Taking taylor expansion of a in b
3.966 * [taylor]: Taking taylor expansion of b in b
3.966 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
3.967 * [taylor]: Taking taylor expansion of 2.0 in b
3.967 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.967 * [taylor]: Taking taylor expansion of x in b
3.967 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
3.967 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.967 * [taylor]: Taking taylor expansion of 27.0 in a
3.967 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.967 * [taylor]: Taking taylor expansion of (* a b) in a
3.967 * [taylor]: Taking taylor expansion of a in a
3.967 * [taylor]: Taking taylor expansion of b in a
3.967 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
3.967 * [taylor]: Taking taylor expansion of 2.0 in a
3.967 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.967 * [taylor]: Taking taylor expansion of x in a
3.967 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.967 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.967 * [taylor]: Taking taylor expansion of 27.0 in x
3.967 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.967 * [taylor]: Taking taylor expansion of (* a b) in x
3.967 * [taylor]: Taking taylor expansion of a in x
3.967 * [taylor]: Taking taylor expansion of b in x
3.967 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.967 * [taylor]: Taking taylor expansion of 2.0 in x
3.967 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.967 * [taylor]: Taking taylor expansion of x in x
3.967 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.967 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.967 * [taylor]: Taking taylor expansion of 27.0 in x
3.967 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.967 * [taylor]: Taking taylor expansion of (* a b) in x
3.967 * [taylor]: Taking taylor expansion of a in x
3.967 * [taylor]: Taking taylor expansion of b in x
3.967 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.967 * [taylor]: Taking taylor expansion of 2.0 in x
3.967 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.967 * [taylor]: Taking taylor expansion of x in x
3.967 * [taylor]: Taking taylor expansion of (neg 2.0) in a
3.967 * [taylor]: Taking taylor expansion of 2.0 in a
3.968 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.968 * [taylor]: Taking taylor expansion of 27.0 in a
3.968 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.968 * [taylor]: Taking taylor expansion of (* a b) in a
3.968 * [taylor]: Taking taylor expansion of a in a
3.968 * [taylor]: Taking taylor expansion of b in a
3.968 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.968 * [taylor]: Taking taylor expansion of 27.0 in b
3.968 * [taylor]: Taking taylor expansion of b in b
3.968 * [taylor]: Taking taylor expansion of (neg 2.0) in b
3.968 * [taylor]: Taking taylor expansion of 2.0 in b
3.968 * [taylor]: Taking taylor expansion of 0 in a
3.968 * [taylor]: Taking taylor expansion of 0 in b
3.968 * [taylor]: Taking taylor expansion of 0 in b
3.969 * [taylor]: Taking taylor expansion of 0 in a
3.969 * [taylor]: Taking taylor expansion of 0 in b
3.969 * [taylor]: Taking taylor expansion of 0 in b
3.969 * [taylor]: Taking taylor expansion of 0 in b
3.969 * [taylor]: Taking taylor expansion of 0 in a
3.969 * [taylor]: Taking taylor expansion of 0 in b
3.970 * [taylor]: Taking taylor expansion of 0 in b
3.970 * [taylor]: Taking taylor expansion of 0 in b
3.970 * [taylor]: Taking taylor expansion of 0 in b
3.970 * * * [progress]: simplifying candidates
3.971 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* t (* z y))
  (* t (* z y))
  (+ (log t) (+ (log z) (log y)))
  (+ (log t) (log (* z y)))
  (log (* t (* z y)))
  (exp (* t (* z y)))
  (* (* (* t t) t) (* (* (* z z) z) (* (* y y) y)))
  (* (* (* t t) t) (* (* (* z y) (* z y)) (* z y)))
  (* (cbrt (* t (* z y))) (cbrt (* t (* z y))))
  (cbrt (* t (* z y)))
  (* (* (* t (* z y)) (* t (* z y))) (* t (* z y)))
  (sqrt (* t (* z y)))
  (sqrt (* t (* z y)))
  (* t z)
  (* (cbrt t) (* z y))
  (* (sqrt t) (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (+ (log 27.0) (+ (log a) (log b)))
  (+ (log 27.0) (log (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a a) a) (* (* b b) b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a b) (* a b)) (* a b)))
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (* (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (+ (log 9.0) (+ (log t) (+ (log z) (log y))))
  (+ (log 9.0) (+ (log t) (log (* z y))))
  (+ (log 9.0) (log (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* 9.0 (* t (* z y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* (* z z) z) (* (* y y) y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* (* z y) (* z y)) (* z y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t (* z y)) (* t (* z y))) (* t (* z y))))
  (* (cbrt (* 9.0 (* t (* z y)))) (cbrt (* 9.0 (* t (* z y)))))
  (cbrt (* 9.0 (* t (* z y))))
  (* (* (* 9.0 (* t (* z y))) (* 9.0 (* t (* z y)))) (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (* 9.0 t)
  (* (cbrt 9.0) (* t (* z y)))
  (* (sqrt 9.0) (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* (exp (* 2.0 x)) (exp (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (* (+ (* 2.0 x) (* 27.0 (* a b))) (+ (* 2.0 x) (* 27.0 (* a b)))) (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (- (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* (* 2.0 x) (* 27.0 (* a b)))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
3.974 * * [simplify]: iteration  0 :  117  enodes  (cost  747 )
3.991 * * [simplify]: iteration  1 :  317  enodes  (cost  723 )
4.071 * * [simplify]: iteration  2 :  1154  enodes  (cost  594 )
4.472 * * [simplify]: iteration  3 :  4870  enodes  (cost  594 )
5.467 * * [simplify]: iteration  done :  5000  enodes  (cost  594 )
5.468 * [simplify]: Simplified to:
   (* t (* z y))
  (* t (* z y))
  (log (* t (* z y)))
  (log (* t (* z y)))
  (log (* t (* z y)))
  (exp (* t (* z y)))
  (pow (* t (* z y)) 3)
  (pow (* t (* z y)) 3)
  (* (cbrt (* t (* z y))) (cbrt (* t (* z y))))
  (cbrt (* t (* z y)))
  (pow (* t (* z y)) 3)
  (sqrt (* t (* z y)))
  (sqrt (* t (* z y)))
  (* t z)
  (* (cbrt t) (* z y))
  (* (sqrt t) (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (pow (* 27.0 (* a b)) 3)
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* 9.0 (* t (* z y))))
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (* (cbrt (* 9.0 (* t (* z y)))) (cbrt (* 9.0 (* t (* z y)))))
  (cbrt (* 9.0 (* t (* z y))))
  (pow (* 9.0 (* t (* z y))) 3)
  (sqrt (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (* 9.0 t)
  (* (cbrt 9.0) (* t (* z y)))
  (* (sqrt 9.0) (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (pow (+ (* 2.0 x) (* 27.0 (* a b))) 3)
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (- (* 27.0 (* a b)) (* 2.0 x))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
5.468 * * * [progress]: adding candidates to table
5.554 * * [progress]: iteration 3 / 4
5.554 * * * [progress]: picking best candidate
5.589 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* (* t z) y))))>
5.589 * * * [progress]: localizing error
5.603 * * * [progress]: generating rewritten candidates
5.603 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
5.608 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.613 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.621 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.626 * * * [progress]: generating series expansions
5.626 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
5.627 * [approximate]: Taking taylor expansion of (* t (* z y)) in (t z y) around 0
5.627 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.627 * [taylor]: Taking taylor expansion of t in y
5.627 * [taylor]: Taking taylor expansion of (* z y) in y
5.627 * [taylor]: Taking taylor expansion of z in y
5.627 * [taylor]: Taking taylor expansion of y in y
5.627 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.627 * [taylor]: Taking taylor expansion of t in z
5.627 * [taylor]: Taking taylor expansion of (* z y) in z
5.627 * [taylor]: Taking taylor expansion of z in z
5.627 * [taylor]: Taking taylor expansion of y in z
5.627 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.627 * [taylor]: Taking taylor expansion of t in t
5.627 * [taylor]: Taking taylor expansion of (* z y) in t
5.627 * [taylor]: Taking taylor expansion of z in t
5.627 * [taylor]: Taking taylor expansion of y in t
5.627 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.627 * [taylor]: Taking taylor expansion of t in t
5.627 * [taylor]: Taking taylor expansion of (* z y) in t
5.627 * [taylor]: Taking taylor expansion of z in t
5.627 * [taylor]: Taking taylor expansion of y in t
5.627 * [taylor]: Taking taylor expansion of 0 in z
5.627 * [taylor]: Taking taylor expansion of 0 in y
5.627 * [taylor]: Taking taylor expansion of (* z y) in z
5.627 * [taylor]: Taking taylor expansion of z in z
5.627 * [taylor]: Taking taylor expansion of y in z
5.627 * [taylor]: Taking taylor expansion of 0 in y
5.627 * [taylor]: Taking taylor expansion of 0 in y
5.627 * [taylor]: Taking taylor expansion of 0 in z
5.627 * [taylor]: Taking taylor expansion of 0 in y
5.627 * [taylor]: Taking taylor expansion of y in y
5.628 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (t z y) around 0
5.628 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
5.628 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.628 * [taylor]: Taking taylor expansion of t in y
5.628 * [taylor]: Taking taylor expansion of (* z y) in y
5.628 * [taylor]: Taking taylor expansion of z in y
5.628 * [taylor]: Taking taylor expansion of y in y
5.628 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
5.628 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.628 * [taylor]: Taking taylor expansion of t in z
5.628 * [taylor]: Taking taylor expansion of (* z y) in z
5.628 * [taylor]: Taking taylor expansion of z in z
5.628 * [taylor]: Taking taylor expansion of y in z
5.628 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
5.628 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.628 * [taylor]: Taking taylor expansion of t in t
5.628 * [taylor]: Taking taylor expansion of (* z y) in t
5.628 * [taylor]: Taking taylor expansion of z in t
5.628 * [taylor]: Taking taylor expansion of y in t
5.628 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
5.628 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.628 * [taylor]: Taking taylor expansion of t in t
5.628 * [taylor]: Taking taylor expansion of (* z y) in t
5.628 * [taylor]: Taking taylor expansion of z in t
5.628 * [taylor]: Taking taylor expansion of y in t
5.628 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.628 * [taylor]: Taking taylor expansion of (* z y) in z
5.629 * [taylor]: Taking taylor expansion of z in z
5.629 * [taylor]: Taking taylor expansion of y in z
5.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.629 * [taylor]: Taking taylor expansion of y in y
5.629 * [taylor]: Taking taylor expansion of 0 in z
5.629 * [taylor]: Taking taylor expansion of 0 in y
5.629 * [taylor]: Taking taylor expansion of 0 in z
5.629 * [taylor]: Taking taylor expansion of 0 in y
5.629 * [taylor]: Taking taylor expansion of 0 in y
5.630 * [taylor]: Taking taylor expansion of 0 in z
5.630 * [taylor]: Taking taylor expansion of 0 in y
5.630 * [taylor]: Taking taylor expansion of 0 in y
5.630 * [taylor]: Taking taylor expansion of 0 in y
5.630 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (t z y) around 0
5.630 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
5.630 * [taylor]: Taking taylor expansion of -1 in y
5.630 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.630 * [taylor]: Taking taylor expansion of t in y
5.630 * [taylor]: Taking taylor expansion of (* z y) in y
5.630 * [taylor]: Taking taylor expansion of z in y
5.630 * [taylor]: Taking taylor expansion of y in y
5.630 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
5.630 * [taylor]: Taking taylor expansion of -1 in z
5.630 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.630 * [taylor]: Taking taylor expansion of t in z
5.630 * [taylor]: Taking taylor expansion of (* z y) in z
5.630 * [taylor]: Taking taylor expansion of z in z
5.630 * [taylor]: Taking taylor expansion of y in z
5.631 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
5.631 * [taylor]: Taking taylor expansion of -1 in t
5.631 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.631 * [taylor]: Taking taylor expansion of t in t
5.631 * [taylor]: Taking taylor expansion of (* z y) in t
5.631 * [taylor]: Taking taylor expansion of z in t
5.631 * [taylor]: Taking taylor expansion of y in t
5.631 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
5.631 * [taylor]: Taking taylor expansion of -1 in t
5.631 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.631 * [taylor]: Taking taylor expansion of t in t
5.631 * [taylor]: Taking taylor expansion of (* z y) in t
5.631 * [taylor]: Taking taylor expansion of z in t
5.631 * [taylor]: Taking taylor expansion of y in t
5.631 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
5.631 * [taylor]: Taking taylor expansion of -1 in z
5.631 * [taylor]: Taking taylor expansion of (* z y) in z
5.631 * [taylor]: Taking taylor expansion of z in z
5.631 * [taylor]: Taking taylor expansion of y in z
5.631 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.631 * [taylor]: Taking taylor expansion of -1 in y
5.631 * [taylor]: Taking taylor expansion of y in y
5.632 * [taylor]: Taking taylor expansion of 0 in z
5.632 * [taylor]: Taking taylor expansion of 0 in y
5.632 * [taylor]: Taking taylor expansion of 0 in z
5.632 * [taylor]: Taking taylor expansion of 0 in y
5.632 * [taylor]: Taking taylor expansion of 0 in y
5.632 * [taylor]: Taking taylor expansion of 0 in z
5.632 * [taylor]: Taking taylor expansion of 0 in y
5.633 * [taylor]: Taking taylor expansion of 0 in y
5.633 * [taylor]: Taking taylor expansion of 0 in y
5.633 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.633 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
5.633 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
5.633 * [taylor]: Taking taylor expansion of 27.0 in b
5.633 * [taylor]: Taking taylor expansion of (* a b) in b
5.633 * [taylor]: Taking taylor expansion of a in b
5.633 * [taylor]: Taking taylor expansion of b in b
5.633 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.633 * [taylor]: Taking taylor expansion of 27.0 in a
5.633 * [taylor]: Taking taylor expansion of (* a b) in a
5.633 * [taylor]: Taking taylor expansion of a in a
5.633 * [taylor]: Taking taylor expansion of b in a
5.633 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.633 * [taylor]: Taking taylor expansion of 27.0 in a
5.633 * [taylor]: Taking taylor expansion of (* a b) in a
5.633 * [taylor]: Taking taylor expansion of a in a
5.633 * [taylor]: Taking taylor expansion of b in a
5.633 * [taylor]: Taking taylor expansion of 0 in b
5.633 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
5.633 * [taylor]: Taking taylor expansion of 27.0 in b
5.633 * [taylor]: Taking taylor expansion of b in b
5.634 * [taylor]: Taking taylor expansion of 0 in b
5.634 * [taylor]: Taking taylor expansion of 0 in b
5.634 * [taylor]: Taking taylor expansion of 0 in b
5.634 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.634 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.634 * [taylor]: Taking taylor expansion of 27.0 in b
5.634 * [taylor]: Taking taylor expansion of (* a b) in b
5.634 * [taylor]: Taking taylor expansion of a in b
5.634 * [taylor]: Taking taylor expansion of b in b
5.634 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.634 * [taylor]: Taking taylor expansion of 27.0 in a
5.634 * [taylor]: Taking taylor expansion of (* a b) in a
5.634 * [taylor]: Taking taylor expansion of a in a
5.634 * [taylor]: Taking taylor expansion of b in a
5.634 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.634 * [taylor]: Taking taylor expansion of 27.0 in a
5.634 * [taylor]: Taking taylor expansion of (* a b) in a
5.634 * [taylor]: Taking taylor expansion of a in a
5.634 * [taylor]: Taking taylor expansion of b in a
5.634 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.634 * [taylor]: Taking taylor expansion of 27.0 in b
5.635 * [taylor]: Taking taylor expansion of b in b
5.639 * [taylor]: Taking taylor expansion of 0 in b
5.639 * [taylor]: Taking taylor expansion of 0 in b
5.639 * [taylor]: Taking taylor expansion of 0 in b
5.640 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.640 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.640 * [taylor]: Taking taylor expansion of 27.0 in b
5.640 * [taylor]: Taking taylor expansion of (* a b) in b
5.640 * [taylor]: Taking taylor expansion of a in b
5.640 * [taylor]: Taking taylor expansion of b in b
5.640 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.640 * [taylor]: Taking taylor expansion of 27.0 in a
5.640 * [taylor]: Taking taylor expansion of (* a b) in a
5.640 * [taylor]: Taking taylor expansion of a in a
5.640 * [taylor]: Taking taylor expansion of b in a
5.640 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.640 * [taylor]: Taking taylor expansion of 27.0 in a
5.640 * [taylor]: Taking taylor expansion of (* a b) in a
5.640 * [taylor]: Taking taylor expansion of a in a
5.640 * [taylor]: Taking taylor expansion of b in a
5.640 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.640 * [taylor]: Taking taylor expansion of 27.0 in b
5.640 * [taylor]: Taking taylor expansion of b in b
5.640 * [taylor]: Taking taylor expansion of 0 in b
5.640 * [taylor]: Taking taylor expansion of 0 in b
5.641 * [taylor]: Taking taylor expansion of 0 in b
5.641 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.641 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (t z y) around 0
5.641 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.641 * [taylor]: Taking taylor expansion of 9.0 in y
5.641 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.641 * [taylor]: Taking taylor expansion of t in y
5.641 * [taylor]: Taking taylor expansion of (* z y) in y
5.641 * [taylor]: Taking taylor expansion of z in y
5.641 * [taylor]: Taking taylor expansion of y in y
5.641 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.641 * [taylor]: Taking taylor expansion of 9.0 in z
5.641 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.641 * [taylor]: Taking taylor expansion of t in z
5.641 * [taylor]: Taking taylor expansion of (* z y) in z
5.641 * [taylor]: Taking taylor expansion of z in z
5.641 * [taylor]: Taking taylor expansion of y in z
5.641 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.641 * [taylor]: Taking taylor expansion of 9.0 in t
5.641 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.641 * [taylor]: Taking taylor expansion of t in t
5.641 * [taylor]: Taking taylor expansion of (* z y) in t
5.641 * [taylor]: Taking taylor expansion of z in t
5.641 * [taylor]: Taking taylor expansion of y in t
5.641 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.642 * [taylor]: Taking taylor expansion of 9.0 in t
5.642 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.642 * [taylor]: Taking taylor expansion of t in t
5.642 * [taylor]: Taking taylor expansion of (* z y) in t
5.642 * [taylor]: Taking taylor expansion of z in t
5.642 * [taylor]: Taking taylor expansion of y in t
5.642 * [taylor]: Taking taylor expansion of 0 in z
5.642 * [taylor]: Taking taylor expansion of 0 in y
5.642 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
5.642 * [taylor]: Taking taylor expansion of 9.0 in z
5.642 * [taylor]: Taking taylor expansion of (* z y) in z
5.642 * [taylor]: Taking taylor expansion of z in z
5.642 * [taylor]: Taking taylor expansion of y in z
5.642 * [taylor]: Taking taylor expansion of 0 in y
5.642 * [taylor]: Taking taylor expansion of 0 in y
5.642 * [taylor]: Taking taylor expansion of 0 in z
5.642 * [taylor]: Taking taylor expansion of 0 in y
5.642 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
5.642 * [taylor]: Taking taylor expansion of 9.0 in y
5.642 * [taylor]: Taking taylor expansion of y in y
5.643 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (t z y) around 0
5.643 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
5.643 * [taylor]: Taking taylor expansion of 9.0 in y
5.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.643 * [taylor]: Taking taylor expansion of t in y
5.643 * [taylor]: Taking taylor expansion of (* z y) in y
5.643 * [taylor]: Taking taylor expansion of z in y
5.643 * [taylor]: Taking taylor expansion of y in y
5.643 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
5.643 * [taylor]: Taking taylor expansion of 9.0 in z
5.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.643 * [taylor]: Taking taylor expansion of t in z
5.643 * [taylor]: Taking taylor expansion of (* z y) in z
5.643 * [taylor]: Taking taylor expansion of z in z
5.643 * [taylor]: Taking taylor expansion of y in z
5.643 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
5.643 * [taylor]: Taking taylor expansion of 9.0 in t
5.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.643 * [taylor]: Taking taylor expansion of t in t
5.643 * [taylor]: Taking taylor expansion of (* z y) in t
5.643 * [taylor]: Taking taylor expansion of z in t
5.643 * [taylor]: Taking taylor expansion of y in t
5.643 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
5.643 * [taylor]: Taking taylor expansion of 9.0 in t
5.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.643 * [taylor]: Taking taylor expansion of t in t
5.643 * [taylor]: Taking taylor expansion of (* z y) in t
5.643 * [taylor]: Taking taylor expansion of z in t
5.643 * [taylor]: Taking taylor expansion of y in t
5.644 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
5.644 * [taylor]: Taking taylor expansion of 9.0 in z
5.644 * [taylor]: Taking taylor expansion of (* z y) in z
5.644 * [taylor]: Taking taylor expansion of z in z
5.644 * [taylor]: Taking taylor expansion of y in z
5.644 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
5.644 * [taylor]: Taking taylor expansion of 9.0 in y
5.644 * [taylor]: Taking taylor expansion of y in y
5.644 * [taylor]: Taking taylor expansion of 0 in z
5.644 * [taylor]: Taking taylor expansion of 0 in y
5.644 * [taylor]: Taking taylor expansion of 0 in z
5.645 * [taylor]: Taking taylor expansion of 0 in y
5.645 * [taylor]: Taking taylor expansion of 0 in y
5.645 * [taylor]: Taking taylor expansion of 0 in z
5.645 * [taylor]: Taking taylor expansion of 0 in y
5.645 * [taylor]: Taking taylor expansion of 0 in y
5.645 * [taylor]: Taking taylor expansion of 0 in y
5.646 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (t z y) around 0
5.646 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
5.646 * [taylor]: Taking taylor expansion of -9.0 in y
5.646 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.646 * [taylor]: Taking taylor expansion of t in y
5.646 * [taylor]: Taking taylor expansion of (* z y) in y
5.646 * [taylor]: Taking taylor expansion of z in y
5.646 * [taylor]: Taking taylor expansion of y in y
5.646 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
5.646 * [taylor]: Taking taylor expansion of -9.0 in z
5.646 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.646 * [taylor]: Taking taylor expansion of t in z
5.646 * [taylor]: Taking taylor expansion of (* z y) in z
5.646 * [taylor]: Taking taylor expansion of z in z
5.646 * [taylor]: Taking taylor expansion of y in z
5.646 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
5.646 * [taylor]: Taking taylor expansion of -9.0 in t
5.646 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.646 * [taylor]: Taking taylor expansion of t in t
5.646 * [taylor]: Taking taylor expansion of (* z y) in t
5.646 * [taylor]: Taking taylor expansion of z in t
5.646 * [taylor]: Taking taylor expansion of y in t
5.646 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
5.646 * [taylor]: Taking taylor expansion of -9.0 in t
5.646 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.646 * [taylor]: Taking taylor expansion of t in t
5.647 * [taylor]: Taking taylor expansion of (* z y) in t
5.647 * [taylor]: Taking taylor expansion of z in t
5.647 * [taylor]: Taking taylor expansion of y in t
5.647 * [taylor]: Taking taylor expansion of (/ -9.0 (* z y)) in z
5.647 * [taylor]: Taking taylor expansion of -9.0 in z
5.647 * [taylor]: Taking taylor expansion of (* z y) in z
5.647 * [taylor]: Taking taylor expansion of z in z
5.647 * [taylor]: Taking taylor expansion of y in z
5.647 * [taylor]: Taking taylor expansion of (/ -9.0 y) in y
5.647 * [taylor]: Taking taylor expansion of -9.0 in y
5.647 * [taylor]: Taking taylor expansion of y in y
5.647 * [taylor]: Taking taylor expansion of 0 in z
5.647 * [taylor]: Taking taylor expansion of 0 in y
5.648 * [taylor]: Taking taylor expansion of 0 in z
5.648 * [taylor]: Taking taylor expansion of 0 in y
5.648 * [taylor]: Taking taylor expansion of 0 in y
5.648 * [taylor]: Taking taylor expansion of 0 in z
5.648 * [taylor]: Taking taylor expansion of 0 in y
5.648 * [taylor]: Taking taylor expansion of 0 in y
5.649 * [taylor]: Taking taylor expansion of 0 in y
5.649 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.649 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in (x a b) around 0
5.649 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
5.649 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
5.649 * [taylor]: Taking taylor expansion of 2.0 in b
5.649 * [taylor]: Taking taylor expansion of x in b
5.649 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
5.649 * [taylor]: Taking taylor expansion of 27.0 in b
5.649 * [taylor]: Taking taylor expansion of (* a b) in b
5.649 * [taylor]: Taking taylor expansion of a in b
5.649 * [taylor]: Taking taylor expansion of b in b
5.649 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
5.649 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
5.649 * [taylor]: Taking taylor expansion of 2.0 in a
5.649 * [taylor]: Taking taylor expansion of x in a
5.649 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.649 * [taylor]: Taking taylor expansion of 27.0 in a
5.649 * [taylor]: Taking taylor expansion of (* a b) in a
5.649 * [taylor]: Taking taylor expansion of a in a
5.649 * [taylor]: Taking taylor expansion of b in a
5.649 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
5.649 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.649 * [taylor]: Taking taylor expansion of 2.0 in x
5.649 * [taylor]: Taking taylor expansion of x in x
5.649 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
5.649 * [taylor]: Taking taylor expansion of 27.0 in x
5.649 * [taylor]: Taking taylor expansion of (* a b) in x
5.649 * [taylor]: Taking taylor expansion of a in x
5.649 * [taylor]: Taking taylor expansion of b in x
5.649 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
5.649 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.649 * [taylor]: Taking taylor expansion of 2.0 in x
5.649 * [taylor]: Taking taylor expansion of x in x
5.649 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
5.649 * [taylor]: Taking taylor expansion of 27.0 in x
5.650 * [taylor]: Taking taylor expansion of (* a b) in x
5.650 * [taylor]: Taking taylor expansion of a in x
5.650 * [taylor]: Taking taylor expansion of b in x
5.650 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.650 * [taylor]: Taking taylor expansion of 27.0 in a
5.650 * [taylor]: Taking taylor expansion of (* a b) in a
5.650 * [taylor]: Taking taylor expansion of a in a
5.650 * [taylor]: Taking taylor expansion of b in a
5.650 * [taylor]: Taking taylor expansion of 0 in b
5.650 * [taylor]: Taking taylor expansion of 2.0 in a
5.650 * [taylor]: Taking taylor expansion of 2.0 in b
5.650 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
5.650 * [taylor]: Taking taylor expansion of 27.0 in b
5.650 * [taylor]: Taking taylor expansion of b in b
5.650 * [taylor]: Taking taylor expansion of 0 in a
5.650 * [taylor]: Taking taylor expansion of 0 in b
5.650 * [taylor]: Taking taylor expansion of 0 in b
5.650 * [taylor]: Taking taylor expansion of 0 in b
5.651 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
5.651 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
5.651 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
5.651 * [taylor]: Taking taylor expansion of 27.0 in b
5.651 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
5.651 * [taylor]: Taking taylor expansion of (* a b) in b
5.651 * [taylor]: Taking taylor expansion of a in b
5.651 * [taylor]: Taking taylor expansion of b in b
5.651 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
5.651 * [taylor]: Taking taylor expansion of 2.0 in b
5.651 * [taylor]: Taking taylor expansion of (/ 1 x) in b
5.651 * [taylor]: Taking taylor expansion of x in b
5.651 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
5.651 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.651 * [taylor]: Taking taylor expansion of 27.0 in a
5.651 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.651 * [taylor]: Taking taylor expansion of (* a b) in a
5.651 * [taylor]: Taking taylor expansion of a in a
5.651 * [taylor]: Taking taylor expansion of b in a
5.651 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
5.651 * [taylor]: Taking taylor expansion of 2.0 in a
5.651 * [taylor]: Taking taylor expansion of (/ 1 x) in a
5.651 * [taylor]: Taking taylor expansion of x in a
5.651 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.651 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.651 * [taylor]: Taking taylor expansion of 27.0 in x
5.651 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.651 * [taylor]: Taking taylor expansion of (* a b) in x
5.651 * [taylor]: Taking taylor expansion of a in x
5.651 * [taylor]: Taking taylor expansion of b in x
5.651 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.651 * [taylor]: Taking taylor expansion of 2.0 in x
5.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.651 * [taylor]: Taking taylor expansion of x in x
5.651 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.651 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.651 * [taylor]: Taking taylor expansion of 27.0 in x
5.651 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.651 * [taylor]: Taking taylor expansion of (* a b) in x
5.652 * [taylor]: Taking taylor expansion of a in x
5.652 * [taylor]: Taking taylor expansion of b in x
5.652 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.652 * [taylor]: Taking taylor expansion of 2.0 in x
5.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.652 * [taylor]: Taking taylor expansion of x in x
5.652 * [taylor]: Taking taylor expansion of 2.0 in a
5.652 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.652 * [taylor]: Taking taylor expansion of 27.0 in a
5.652 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.652 * [taylor]: Taking taylor expansion of (* a b) in a
5.652 * [taylor]: Taking taylor expansion of a in a
5.652 * [taylor]: Taking taylor expansion of b in a
5.652 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.652 * [taylor]: Taking taylor expansion of 27.0 in b
5.652 * [taylor]: Taking taylor expansion of b in b
5.652 * [taylor]: Taking taylor expansion of 2.0 in b
5.652 * [taylor]: Taking taylor expansion of 0 in a
5.653 * [taylor]: Taking taylor expansion of 0 in b
5.653 * [taylor]: Taking taylor expansion of 0 in b
5.653 * [taylor]: Taking taylor expansion of 0 in a
5.653 * [taylor]: Taking taylor expansion of 0 in b
5.653 * [taylor]: Taking taylor expansion of 0 in b
5.653 * [taylor]: Taking taylor expansion of 0 in b
5.654 * [taylor]: Taking taylor expansion of 0 in a
5.654 * [taylor]: Taking taylor expansion of 0 in b
5.654 * [taylor]: Taking taylor expansion of 0 in b
5.654 * [taylor]: Taking taylor expansion of 0 in b
5.654 * [taylor]: Taking taylor expansion of 0 in b
5.654 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
5.654 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
5.654 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
5.654 * [taylor]: Taking taylor expansion of 27.0 in b
5.654 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
5.654 * [taylor]: Taking taylor expansion of (* a b) in b
5.654 * [taylor]: Taking taylor expansion of a in b
5.654 * [taylor]: Taking taylor expansion of b in b
5.654 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
5.654 * [taylor]: Taking taylor expansion of 2.0 in b
5.654 * [taylor]: Taking taylor expansion of (/ 1 x) in b
5.655 * [taylor]: Taking taylor expansion of x in b
5.655 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
5.655 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.655 * [taylor]: Taking taylor expansion of 27.0 in a
5.655 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.655 * [taylor]: Taking taylor expansion of (* a b) in a
5.655 * [taylor]: Taking taylor expansion of a in a
5.655 * [taylor]: Taking taylor expansion of b in a
5.655 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
5.655 * [taylor]: Taking taylor expansion of 2.0 in a
5.655 * [taylor]: Taking taylor expansion of (/ 1 x) in a
5.655 * [taylor]: Taking taylor expansion of x in a
5.655 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.655 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.655 * [taylor]: Taking taylor expansion of 27.0 in x
5.655 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.655 * [taylor]: Taking taylor expansion of (* a b) in x
5.655 * [taylor]: Taking taylor expansion of a in x
5.655 * [taylor]: Taking taylor expansion of b in x
5.655 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.655 * [taylor]: Taking taylor expansion of 2.0 in x
5.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.655 * [taylor]: Taking taylor expansion of x in x
5.655 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.655 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.655 * [taylor]: Taking taylor expansion of 27.0 in x
5.655 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.655 * [taylor]: Taking taylor expansion of (* a b) in x
5.655 * [taylor]: Taking taylor expansion of a in x
5.655 * [taylor]: Taking taylor expansion of b in x
5.655 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.655 * [taylor]: Taking taylor expansion of 2.0 in x
5.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.655 * [taylor]: Taking taylor expansion of x in x
5.655 * [taylor]: Taking taylor expansion of (neg 2.0) in a
5.655 * [taylor]: Taking taylor expansion of 2.0 in a
5.656 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.656 * [taylor]: Taking taylor expansion of 27.0 in a
5.656 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.656 * [taylor]: Taking taylor expansion of (* a b) in a
5.656 * [taylor]: Taking taylor expansion of a in a
5.656 * [taylor]: Taking taylor expansion of b in a
5.656 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.656 * [taylor]: Taking taylor expansion of 27.0 in b
5.656 * [taylor]: Taking taylor expansion of b in b
5.656 * [taylor]: Taking taylor expansion of (neg 2.0) in b
5.656 * [taylor]: Taking taylor expansion of 2.0 in b
5.656 * [taylor]: Taking taylor expansion of 0 in a
5.656 * [taylor]: Taking taylor expansion of 0 in b
5.656 * [taylor]: Taking taylor expansion of 0 in b
5.657 * [taylor]: Taking taylor expansion of 0 in a
5.657 * [taylor]: Taking taylor expansion of 0 in b
5.657 * [taylor]: Taking taylor expansion of 0 in b
5.657 * [taylor]: Taking taylor expansion of 0 in b
5.657 * [taylor]: Taking taylor expansion of 0 in a
5.657 * [taylor]: Taking taylor expansion of 0 in b
5.658 * [taylor]: Taking taylor expansion of 0 in b
5.658 * [taylor]: Taking taylor expansion of 0 in b
5.658 * [taylor]: Taking taylor expansion of 0 in b
5.658 * * * [progress]: simplifying candidates
5.659 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* t z) y)
  (* (* t z) y)
  (+ (+ (log t) (log z)) (log y))
  (+ (log (* t z)) (log y))
  (log (* (* t z) y))
  (exp (* (* t z) y))
  (* (* (* (* t t) t) (* (* z z) z)) (* (* y y) y))
  (* (* (* (* t z) (* t z)) (* t z)) (* (* y y) y))
  (* (cbrt (* (* t z) y)) (cbrt (* (* t z) y)))
  (cbrt (* (* t z) y))
  (* (* (* (* t z) y) (* (* t z) y)) (* (* t z) y))
  (sqrt (* (* t z) y))
  (sqrt (* (* t z) y))
  (* (* t z) (* (cbrt y) (cbrt y)))
  (* (* t z) (sqrt y))
  (* (* t z) 1)
  (* z y)
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (+ (log 27.0) (+ (log a) (log b)))
  (+ (log 27.0) (log (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a a) a) (* (* b b) b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a b) (* a b)) (* a b)))
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (* (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (+ (log 9.0) (+ (+ (log t) (log z)) (log y)))
  (+ (log 9.0) (+ (log (* t z)) (log y)))
  (+ (log 9.0) (log (* (* t z) y)))
  (log (* 9.0 (* (* t z) y)))
  (exp (* 9.0 (* (* t z) y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* (* t t) t) (* (* z z) z)) (* (* y y) y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* (* t z) (* t z)) (* t z)) (* (* y y) y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* (* t z) y) (* (* t z) y)) (* (* t z) y)))
  (* (cbrt (* 9.0 (* (* t z) y))) (cbrt (* 9.0 (* (* t z) y))))
  (cbrt (* 9.0 (* (* t z) y)))
  (* (* (* 9.0 (* (* t z) y)) (* 9.0 (* (* t z) y))) (* 9.0 (* (* t z) y)))
  (sqrt (* 9.0 (* (* t z) y)))
  (sqrt (* 9.0 (* (* t z) y)))
  (* 9.0 (* t z))
  (* (cbrt 9.0) (* (* t z) y))
  (* (sqrt 9.0) (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* (exp (* 2.0 x)) (exp (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (* (+ (* 2.0 x) (* 27.0 (* a b))) (+ (* 2.0 x) (* 27.0 (* a b)))) (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (- (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* (* 2.0 x) (* 27.0 (* a b)))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
5.662 * * [simplify]: iteration  0 :  122  enodes  (cost  752 )
5.680 * * [simplify]: iteration  1 :  336  enodes  (cost  728 )
5.763 * * [simplify]: iteration  2 :  1380  enodes  (cost  603 )
6.172 * * [simplify]: iteration  done :  5001  enodes  (cost  599 )
6.173 * [simplify]: Simplified to:
   (* t (* z y))
  (* t (* z y))
  (log (* (* t z) y))
  (log (* (* t z) y))
  (log (* (* t z) y))
  (exp (* (* t z) y))
  (pow (* t (* z y)) 3)
  (pow (* t (* z y)) 3)
  (* (cbrt (* (* t z) y)) (cbrt (* (* t z) y)))
  (cbrt (* (* t z) y))
  (pow (* t (* z y)) 3)
  (sqrt (* (* t z) y))
  (sqrt (* (* t z) y))
  (* (* t z) (* (cbrt y) (cbrt y)))
  (* (* t z) (sqrt y))
  (* t z)
  (* z y)
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (pow (* 27.0 (* a b)) 3)
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (+ (log 9.0) (log (* (* t z) y)))
  (+ (log 9.0) (log (* (* t z) y)))
  (log (* 9.0 (* (* t z) y)))
  (log (* 9.0 (* (* t z) y)))
  (exp (* 9.0 (* (* t z) y)))
  (pow (* 9.0 (* (* t z) y)) 3)
  (pow (* 9.0 (* (* t z) y)) 3)
  (pow (* 9.0 (* (* t z) y)) 3)
  (* (cbrt (* 9.0 (* (* t z) y))) (cbrt (* 9.0 (* (* t z) y))))
  (cbrt (* 9.0 (* (* t z) y)))
  (pow (* 9.0 (* (* t z) y)) 3)
  (sqrt (* 9.0 (* (* t z) y)))
  (sqrt (* 9.0 (* (* t z) y)))
  (* 9.0 (* t z))
  (* (cbrt 9.0) (* (* t z) y))
  (* (sqrt 9.0) (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (pow (+ (* 2.0 x) (* 27.0 (* a b))) 3)
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 27.0 (* a b)) (- (* 27.0 (* a b)) (* 2.0 x))) (* (* 2.0 x) (* 2.0 x)))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
6.173 * * * [progress]: adding candidates to table
6.250 * * [progress]: iteration 4 / 4
6.250 * * * [progress]: picking best candidate
6.281 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))>
6.281 * * * [progress]: localizing error
6.294 * * * [progress]: generating rewritten candidates
6.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
6.306 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
6.317 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.323 * * * [progress]: generating series expansions
6.323 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
6.323 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (t z y) around 0
6.323 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
6.323 * [taylor]: Taking taylor expansion of 9.0 in y
6.323 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.323 * [taylor]: Taking taylor expansion of t in y
6.323 * [taylor]: Taking taylor expansion of (* z y) in y
6.323 * [taylor]: Taking taylor expansion of z in y
6.323 * [taylor]: Taking taylor expansion of y in y
6.323 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
6.323 * [taylor]: Taking taylor expansion of 9.0 in z
6.323 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
6.323 * [taylor]: Taking taylor expansion of t in z
6.323 * [taylor]: Taking taylor expansion of (* z y) in z
6.323 * [taylor]: Taking taylor expansion of z in z
6.323 * [taylor]: Taking taylor expansion of y in z
6.323 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
6.323 * [taylor]: Taking taylor expansion of 9.0 in t
6.323 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.323 * [taylor]: Taking taylor expansion of t in t
6.323 * [taylor]: Taking taylor expansion of (* z y) in t
6.323 * [taylor]: Taking taylor expansion of z in t
6.323 * [taylor]: Taking taylor expansion of y in t
6.323 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
6.323 * [taylor]: Taking taylor expansion of 9.0 in t
6.323 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.323 * [taylor]: Taking taylor expansion of t in t
6.323 * [taylor]: Taking taylor expansion of (* z y) in t
6.323 * [taylor]: Taking taylor expansion of z in t
6.323 * [taylor]: Taking taylor expansion of y in t
6.323 * [taylor]: Taking taylor expansion of 0 in z
6.323 * [taylor]: Taking taylor expansion of 0 in y
6.324 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
6.324 * [taylor]: Taking taylor expansion of 9.0 in z
6.324 * [taylor]: Taking taylor expansion of (* z y) in z
6.324 * [taylor]: Taking taylor expansion of z in z
6.324 * [taylor]: Taking taylor expansion of y in z
6.324 * [taylor]: Taking taylor expansion of 0 in y
6.324 * [taylor]: Taking taylor expansion of 0 in y
6.324 * [taylor]: Taking taylor expansion of 0 in z
6.324 * [taylor]: Taking taylor expansion of 0 in y
6.324 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
6.324 * [taylor]: Taking taylor expansion of 9.0 in y
6.324 * [taylor]: Taking taylor expansion of y in y
6.324 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (t z y) around 0
6.324 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
6.324 * [taylor]: Taking taylor expansion of 9.0 in y
6.324 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.324 * [taylor]: Taking taylor expansion of t in y
6.324 * [taylor]: Taking taylor expansion of (* z y) in y
6.324 * [taylor]: Taking taylor expansion of z in y
6.324 * [taylor]: Taking taylor expansion of y in y
6.324 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
6.324 * [taylor]: Taking taylor expansion of 9.0 in z
6.324 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
6.325 * [taylor]: Taking taylor expansion of t in z
6.325 * [taylor]: Taking taylor expansion of (* z y) in z
6.325 * [taylor]: Taking taylor expansion of z in z
6.325 * [taylor]: Taking taylor expansion of y in z
6.325 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
6.325 * [taylor]: Taking taylor expansion of 9.0 in t
6.325 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.325 * [taylor]: Taking taylor expansion of t in t
6.325 * [taylor]: Taking taylor expansion of (* z y) in t
6.325 * [taylor]: Taking taylor expansion of z in t
6.325 * [taylor]: Taking taylor expansion of y in t
6.325 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
6.325 * [taylor]: Taking taylor expansion of 9.0 in t
6.325 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.325 * [taylor]: Taking taylor expansion of t in t
6.325 * [taylor]: Taking taylor expansion of (* z y) in t
6.325 * [taylor]: Taking taylor expansion of z in t
6.325 * [taylor]: Taking taylor expansion of y in t
6.325 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
6.325 * [taylor]: Taking taylor expansion of 9.0 in z
6.325 * [taylor]: Taking taylor expansion of (* z y) in z
6.325 * [taylor]: Taking taylor expansion of z in z
6.325 * [taylor]: Taking taylor expansion of y in z
6.325 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
6.325 * [taylor]: Taking taylor expansion of 9.0 in y
6.325 * [taylor]: Taking taylor expansion of y in y
6.326 * [taylor]: Taking taylor expansion of 0 in z
6.326 * [taylor]: Taking taylor expansion of 0 in y
6.326 * [taylor]: Taking taylor expansion of 0 in z
6.326 * [taylor]: Taking taylor expansion of 0 in y
6.326 * [taylor]: Taking taylor expansion of 0 in y
6.327 * [taylor]: Taking taylor expansion of 0 in z
6.327 * [taylor]: Taking taylor expansion of 0 in y
6.327 * [taylor]: Taking taylor expansion of 0 in y
6.327 * [taylor]: Taking taylor expansion of 0 in y
6.327 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (t z y) around 0
6.327 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
6.327 * [taylor]: Taking taylor expansion of -9.0 in y
6.327 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.327 * [taylor]: Taking taylor expansion of t in y
6.327 * [taylor]: Taking taylor expansion of (* z y) in y
6.327 * [taylor]: Taking taylor expansion of z in y
6.327 * [taylor]: Taking taylor expansion of y in y
6.327 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
6.327 * [taylor]: Taking taylor expansion of -9.0 in z
6.327 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
6.327 * [taylor]: Taking taylor expansion of t in z
6.327 * [taylor]: Taking taylor expansion of (* z y) in z
6.327 * [taylor]: Taking taylor expansion of z in z
6.327 * [taylor]: Taking taylor expansion of y in z
6.328 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
6.328 * [taylor]: Taking taylor expansion of -9.0 in t
6.328 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.328 * [taylor]: Taking taylor expansion of t in t
6.328 * [taylor]: Taking taylor expansion of (* z y) in t
6.328 * [taylor]: Taking taylor expansion of z in t
6.328 * [taylor]: Taking taylor expansion of y in t
6.328 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
6.328 * [taylor]: Taking taylor expansion of -9.0 in t
6.328 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.328 * [taylor]: Taking taylor expansion of t in t
6.328 * [taylor]: Taking taylor expansion of (* z y) in t
6.328 * [taylor]: Taking taylor expansion of z in t
6.328 * [taylor]: Taking taylor expansion of y in t
6.328 * [taylor]: Taking taylor expansion of (/ -9.0 (* z y)) in z
6.328 * [taylor]: Taking taylor expansion of -9.0 in z
6.328 * [taylor]: Taking taylor expansion of (* z y) in z
6.328 * [taylor]: Taking taylor expansion of z in z
6.328 * [taylor]: Taking taylor expansion of y in z
6.328 * [taylor]: Taking taylor expansion of (/ -9.0 y) in y
6.328 * [taylor]: Taking taylor expansion of -9.0 in y
6.328 * [taylor]: Taking taylor expansion of y in y
6.328 * [taylor]: Taking taylor expansion of 0 in z
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.329 * [taylor]: Taking taylor expansion of 0 in z
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.329 * [taylor]: Taking taylor expansion of 0 in z
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.330 * [taylor]: Taking taylor expansion of 0 in y
6.330 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.330 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
6.330 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
6.330 * [taylor]: Taking taylor expansion of 27.0 in b
6.330 * [taylor]: Taking taylor expansion of (* a b) in b
6.330 * [taylor]: Taking taylor expansion of a in b
6.330 * [taylor]: Taking taylor expansion of b in b
6.330 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
6.330 * [taylor]: Taking taylor expansion of 27.0 in a
6.330 * [taylor]: Taking taylor expansion of (* a b) in a
6.330 * [taylor]: Taking taylor expansion of a in a
6.330 * [taylor]: Taking taylor expansion of b in a
6.330 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
6.330 * [taylor]: Taking taylor expansion of 27.0 in a
6.330 * [taylor]: Taking taylor expansion of (* a b) in a
6.330 * [taylor]: Taking taylor expansion of a in a
6.330 * [taylor]: Taking taylor expansion of b in a
6.330 * [taylor]: Taking taylor expansion of 0 in b
6.330 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
6.330 * [taylor]: Taking taylor expansion of 27.0 in b
6.330 * [taylor]: Taking taylor expansion of b in b
6.330 * [taylor]: Taking taylor expansion of 0 in b
6.331 * [taylor]: Taking taylor expansion of 0 in b
6.331 * [taylor]: Taking taylor expansion of 0 in b
6.331 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
6.331 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
6.331 * [taylor]: Taking taylor expansion of 27.0 in b
6.331 * [taylor]: Taking taylor expansion of (* a b) in b
6.331 * [taylor]: Taking taylor expansion of a in b
6.331 * [taylor]: Taking taylor expansion of b in b
6.331 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.331 * [taylor]: Taking taylor expansion of 27.0 in a
6.331 * [taylor]: Taking taylor expansion of (* a b) in a
6.331 * [taylor]: Taking taylor expansion of a in a
6.331 * [taylor]: Taking taylor expansion of b in a
6.331 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.331 * [taylor]: Taking taylor expansion of 27.0 in a
6.331 * [taylor]: Taking taylor expansion of (* a b) in a
6.331 * [taylor]: Taking taylor expansion of a in a
6.331 * [taylor]: Taking taylor expansion of b in a
6.331 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
6.331 * [taylor]: Taking taylor expansion of 27.0 in b
6.331 * [taylor]: Taking taylor expansion of b in b
6.332 * [taylor]: Taking taylor expansion of 0 in b
6.332 * [taylor]: Taking taylor expansion of 0 in b
6.332 * [taylor]: Taking taylor expansion of 0 in b
6.332 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
6.332 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
6.332 * [taylor]: Taking taylor expansion of 27.0 in b
6.332 * [taylor]: Taking taylor expansion of (* a b) in b
6.332 * [taylor]: Taking taylor expansion of a in b
6.332 * [taylor]: Taking taylor expansion of b in b
6.332 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.332 * [taylor]: Taking taylor expansion of 27.0 in a
6.332 * [taylor]: Taking taylor expansion of (* a b) in a
6.332 * [taylor]: Taking taylor expansion of a in a
6.332 * [taylor]: Taking taylor expansion of b in a
6.333 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.333 * [taylor]: Taking taylor expansion of 27.0 in a
6.333 * [taylor]: Taking taylor expansion of (* a b) in a
6.333 * [taylor]: Taking taylor expansion of a in a
6.333 * [taylor]: Taking taylor expansion of b in a
6.333 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
6.333 * [taylor]: Taking taylor expansion of 27.0 in b
6.333 * [taylor]: Taking taylor expansion of b in b
6.333 * [taylor]: Taking taylor expansion of 0 in b
6.333 * [taylor]: Taking taylor expansion of 0 in b
6.334 * [taylor]: Taking taylor expansion of 0 in b
6.334 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
6.334 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (t z) around 0
6.334 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
6.334 * [taylor]: Taking taylor expansion of 9.0 in z
6.334 * [taylor]: Taking taylor expansion of (* t z) in z
6.334 * [taylor]: Taking taylor expansion of t in z
6.334 * [taylor]: Taking taylor expansion of z in z
6.334 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
6.334 * [taylor]: Taking taylor expansion of 9.0 in t
6.334 * [taylor]: Taking taylor expansion of (* t z) in t
6.334 * [taylor]: Taking taylor expansion of t in t
6.334 * [taylor]: Taking taylor expansion of z in t
6.334 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
6.334 * [taylor]: Taking taylor expansion of 9.0 in t
6.334 * [taylor]: Taking taylor expansion of (* t z) in t
6.334 * [taylor]: Taking taylor expansion of t in t
6.334 * [taylor]: Taking taylor expansion of z in t
6.334 * [taylor]: Taking taylor expansion of 0 in z
6.334 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
6.334 * [taylor]: Taking taylor expansion of 9.0 in z
6.334 * [taylor]: Taking taylor expansion of z in z
6.334 * [taylor]: Taking taylor expansion of 0 in z
6.335 * [taylor]: Taking taylor expansion of 0 in z
6.335 * [taylor]: Taking taylor expansion of 0 in z
6.335 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
6.335 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
6.335 * [taylor]: Taking taylor expansion of 9.0 in z
6.335 * [taylor]: Taking taylor expansion of (* t z) in z
6.335 * [taylor]: Taking taylor expansion of t in z
6.335 * [taylor]: Taking taylor expansion of z in z
6.335 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
6.335 * [taylor]: Taking taylor expansion of 9.0 in t
6.335 * [taylor]: Taking taylor expansion of (* t z) in t
6.335 * [taylor]: Taking taylor expansion of t in t
6.335 * [taylor]: Taking taylor expansion of z in t
6.335 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
6.335 * [taylor]: Taking taylor expansion of 9.0 in t
6.335 * [taylor]: Taking taylor expansion of (* t z) in t
6.335 * [taylor]: Taking taylor expansion of t in t
6.335 * [taylor]: Taking taylor expansion of z in t
6.335 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
6.335 * [taylor]: Taking taylor expansion of 9.0 in z
6.335 * [taylor]: Taking taylor expansion of z in z
6.336 * [taylor]: Taking taylor expansion of 0 in z
6.336 * [taylor]: Taking taylor expansion of 0 in z
6.336 * [taylor]: Taking taylor expansion of 0 in z
6.336 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
6.336 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
6.336 * [taylor]: Taking taylor expansion of 9.0 in z
6.336 * [taylor]: Taking taylor expansion of (* t z) in z
6.336 * [taylor]: Taking taylor expansion of t in z
6.336 * [taylor]: Taking taylor expansion of z in z
6.336 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
6.336 * [taylor]: Taking taylor expansion of 9.0 in t
6.336 * [taylor]: Taking taylor expansion of (* t z) in t
6.336 * [taylor]: Taking taylor expansion of t in t
6.336 * [taylor]: Taking taylor expansion of z in t
6.337 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
6.337 * [taylor]: Taking taylor expansion of 9.0 in t
6.337 * [taylor]: Taking taylor expansion of (* t z) in t
6.337 * [taylor]: Taking taylor expansion of t in t
6.337 * [taylor]: Taking taylor expansion of z in t
6.337 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
6.337 * [taylor]: Taking taylor expansion of 9.0 in z
6.337 * [taylor]: Taking taylor expansion of z in z
6.337 * [taylor]: Taking taylor expansion of 0 in z
6.337 * [taylor]: Taking taylor expansion of 0 in z
6.337 * [taylor]: Taking taylor expansion of 0 in z
6.338 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.338 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in (x a b) around 0
6.338 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
6.338 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
6.338 * [taylor]: Taking taylor expansion of 2.0 in b
6.338 * [taylor]: Taking taylor expansion of x in b
6.338 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
6.338 * [taylor]: Taking taylor expansion of 27.0 in b
6.338 * [taylor]: Taking taylor expansion of (* a b) in b
6.338 * [taylor]: Taking taylor expansion of a in b
6.338 * [taylor]: Taking taylor expansion of b in b
6.338 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
6.338 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
6.338 * [taylor]: Taking taylor expansion of 2.0 in a
6.338 * [taylor]: Taking taylor expansion of x in a
6.338 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
6.338 * [taylor]: Taking taylor expansion of 27.0 in a
6.338 * [taylor]: Taking taylor expansion of (* a b) in a
6.338 * [taylor]: Taking taylor expansion of a in a
6.338 * [taylor]: Taking taylor expansion of b in a
6.338 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
6.338 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
6.338 * [taylor]: Taking taylor expansion of 2.0 in x
6.338 * [taylor]: Taking taylor expansion of x in x
6.338 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
6.338 * [taylor]: Taking taylor expansion of 27.0 in x
6.338 * [taylor]: Taking taylor expansion of (* a b) in x
6.338 * [taylor]: Taking taylor expansion of a in x
6.338 * [taylor]: Taking taylor expansion of b in x
6.338 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
6.338 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
6.338 * [taylor]: Taking taylor expansion of 2.0 in x
6.338 * [taylor]: Taking taylor expansion of x in x
6.338 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
6.338 * [taylor]: Taking taylor expansion of 27.0 in x
6.338 * [taylor]: Taking taylor expansion of (* a b) in x
6.338 * [taylor]: Taking taylor expansion of a in x
6.338 * [taylor]: Taking taylor expansion of b in x
6.338 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
6.338 * [taylor]: Taking taylor expansion of 27.0 in a
6.338 * [taylor]: Taking taylor expansion of (* a b) in a
6.339 * [taylor]: Taking taylor expansion of a in a
6.339 * [taylor]: Taking taylor expansion of b in a
6.339 * [taylor]: Taking taylor expansion of 0 in b
6.339 * [taylor]: Taking taylor expansion of 2.0 in a
6.339 * [taylor]: Taking taylor expansion of 2.0 in b
6.339 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
6.339 * [taylor]: Taking taylor expansion of 27.0 in b
6.339 * [taylor]: Taking taylor expansion of b in b
6.339 * [taylor]: Taking taylor expansion of 0 in a
6.339 * [taylor]: Taking taylor expansion of 0 in b
6.339 * [taylor]: Taking taylor expansion of 0 in b
6.339 * [taylor]: Taking taylor expansion of 0 in b
6.339 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
6.339 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
6.339 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
6.339 * [taylor]: Taking taylor expansion of 27.0 in b
6.339 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
6.339 * [taylor]: Taking taylor expansion of (* a b) in b
6.339 * [taylor]: Taking taylor expansion of a in b
6.339 * [taylor]: Taking taylor expansion of b in b
6.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
6.340 * [taylor]: Taking taylor expansion of 2.0 in b
6.340 * [taylor]: Taking taylor expansion of (/ 1 x) in b
6.340 * [taylor]: Taking taylor expansion of x in b
6.340 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
6.340 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
6.340 * [taylor]: Taking taylor expansion of 27.0 in a
6.340 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.340 * [taylor]: Taking taylor expansion of (* a b) in a
6.340 * [taylor]: Taking taylor expansion of a in a
6.340 * [taylor]: Taking taylor expansion of b in a
6.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
6.340 * [taylor]: Taking taylor expansion of 2.0 in a
6.340 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.340 * [taylor]: Taking taylor expansion of x in a
6.340 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
6.340 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
6.340 * [taylor]: Taking taylor expansion of 27.0 in x
6.340 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.340 * [taylor]: Taking taylor expansion of (* a b) in x
6.340 * [taylor]: Taking taylor expansion of a in x
6.340 * [taylor]: Taking taylor expansion of b in x
6.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
6.340 * [taylor]: Taking taylor expansion of 2.0 in x
6.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.340 * [taylor]: Taking taylor expansion of x in x
6.340 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
6.340 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
6.340 * [taylor]: Taking taylor expansion of 27.0 in x
6.340 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.340 * [taylor]: Taking taylor expansion of (* a b) in x
6.340 * [taylor]: Taking taylor expansion of a in x
6.340 * [taylor]: Taking taylor expansion of b in x
6.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
6.340 * [taylor]: Taking taylor expansion of 2.0 in x
6.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.340 * [taylor]: Taking taylor expansion of x in x
6.341 * [taylor]: Taking taylor expansion of 2.0 in a
6.341 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
6.341 * [taylor]: Taking taylor expansion of 27.0 in a
6.341 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.341 * [taylor]: Taking taylor expansion of (* a b) in a
6.341 * [taylor]: Taking taylor expansion of a in a
6.341 * [taylor]: Taking taylor expansion of b in a
6.341 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
6.341 * [taylor]: Taking taylor expansion of 27.0 in b
6.341 * [taylor]: Taking taylor expansion of b in b
6.341 * [taylor]: Taking taylor expansion of 2.0 in b
6.341 * [taylor]: Taking taylor expansion of 0 in a
6.341 * [taylor]: Taking taylor expansion of 0 in b
6.341 * [taylor]: Taking taylor expansion of 0 in b
6.342 * [taylor]: Taking taylor expansion of 0 in a
6.342 * [taylor]: Taking taylor expansion of 0 in b
6.342 * [taylor]: Taking taylor expansion of 0 in b
6.342 * [taylor]: Taking taylor expansion of 0 in b
6.342 * [taylor]: Taking taylor expansion of 0 in a
6.342 * [taylor]: Taking taylor expansion of 0 in b
6.342 * [taylor]: Taking taylor expansion of 0 in b
6.343 * [taylor]: Taking taylor expansion of 0 in b
6.343 * [taylor]: Taking taylor expansion of 0 in b
6.343 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
6.343 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
6.343 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
6.343 * [taylor]: Taking taylor expansion of 27.0 in b
6.343 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
6.343 * [taylor]: Taking taylor expansion of (* a b) in b
6.343 * [taylor]: Taking taylor expansion of a in b
6.343 * [taylor]: Taking taylor expansion of b in b
6.343 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
6.343 * [taylor]: Taking taylor expansion of 2.0 in b
6.343 * [taylor]: Taking taylor expansion of (/ 1 x) in b
6.343 * [taylor]: Taking taylor expansion of x in b
6.343 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
6.343 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
6.343 * [taylor]: Taking taylor expansion of 27.0 in a
6.343 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.343 * [taylor]: Taking taylor expansion of (* a b) in a
6.343 * [taylor]: Taking taylor expansion of a in a
6.343 * [taylor]: Taking taylor expansion of b in a
6.344 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
6.344 * [taylor]: Taking taylor expansion of 2.0 in a
6.344 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.344 * [taylor]: Taking taylor expansion of x in a
6.344 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
6.344 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
6.344 * [taylor]: Taking taylor expansion of 27.0 in x
6.344 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.344 * [taylor]: Taking taylor expansion of (* a b) in x
6.344 * [taylor]: Taking taylor expansion of a in x
6.344 * [taylor]: Taking taylor expansion of b in x
6.344 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
6.344 * [taylor]: Taking taylor expansion of 2.0 in x
6.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.344 * [taylor]: Taking taylor expansion of x in x
6.344 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
6.344 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
6.344 * [taylor]: Taking taylor expansion of 27.0 in x
6.344 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
6.344 * [taylor]: Taking taylor expansion of (* a b) in x
6.344 * [taylor]: Taking taylor expansion of a in x
6.344 * [taylor]: Taking taylor expansion of b in x
6.344 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
6.344 * [taylor]: Taking taylor expansion of 2.0 in x
6.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.344 * [taylor]: Taking taylor expansion of x in x
6.344 * [taylor]: Taking taylor expansion of (neg 2.0) in a
6.344 * [taylor]: Taking taylor expansion of 2.0 in a
6.344 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
6.344 * [taylor]: Taking taylor expansion of 27.0 in a
6.344 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
6.344 * [taylor]: Taking taylor expansion of (* a b) in a
6.344 * [taylor]: Taking taylor expansion of a in a
6.344 * [taylor]: Taking taylor expansion of b in a
6.345 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
6.345 * [taylor]: Taking taylor expansion of 27.0 in b
6.345 * [taylor]: Taking taylor expansion of b in b
6.345 * [taylor]: Taking taylor expansion of (neg 2.0) in b
6.345 * [taylor]: Taking taylor expansion of 2.0 in b
6.345 * [taylor]: Taking taylor expansion of 0 in a
6.345 * [taylor]: Taking taylor expansion of 0 in b
6.345 * [taylor]: Taking taylor expansion of 0 in b
6.345 * [taylor]: Taking taylor expansion of 0 in a
6.346 * [taylor]: Taking taylor expansion of 0 in b
6.346 * [taylor]: Taking taylor expansion of 0 in b
6.346 * [taylor]: Taking taylor expansion of 0 in b
6.346 * [taylor]: Taking taylor expansion of 0 in a
6.346 * [taylor]: Taking taylor expansion of 0 in b
6.346 * [taylor]: Taking taylor expansion of 0 in b
6.346 * [taylor]: Taking taylor expansion of 0 in b
6.347 * [taylor]: Taking taylor expansion of 0 in b
6.347 * * * [progress]: simplifying candidates
6.348 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (+ (+ (log 9.0) (+ (log t) (log z))) (log y))
  (+ (+ (log 9.0) (log (* t z))) (log y))
  (+ (log (* 9.0 (* t z))) (log y))
  (log (* (* 9.0 (* t z)) y))
  (exp (* (* 9.0 (* t z)) y))
  (* (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* z z) z))) (* (* y y) y))
  (* (* (* (* 9.0 9.0) 9.0) (* (* (* t z) (* t z)) (* t z))) (* (* y y) y))
  (* (* (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* 9.0 (* t z))) (* (* y y) y))
  (* (cbrt (* (* 9.0 (* t z)) y)) (cbrt (* (* 9.0 (* t z)) y)))
  (cbrt (* (* 9.0 (* t z)) y))
  (* (* (* (* 9.0 (* t z)) y) (* (* 9.0 (* t z)) y)) (* (* 9.0 (* t z)) y))
  (sqrt (* (* 9.0 (* t z)) y))
  (sqrt (* (* 9.0 (* t z)) y))
  (* (* 9.0 (* t z)) (* (cbrt y) (cbrt y)))
  (* (* 9.0 (* t z)) (sqrt y))
  (* (* 9.0 (* t z)) 1)
  (* (* t z) y)
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (+ (log 27.0) (+ (log a) (log b)))
  (+ (log 27.0) (log (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a a) a) (* (* b b) b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a b) (* a b)) (* a b)))
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (* (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (+ (log 9.0) (+ (log t) (log z)))
  (+ (log 9.0) (log (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* z z) z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (* (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (* (exp (* 2.0 x)) (exp (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (* (+ (* 2.0 x) (* 27.0 (* a b))) (+ (* 2.0 x) (* 27.0 (* a b)))) (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (- (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* (* 2.0 x) (* 27.0 (* a b)))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a 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 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
6.351 * * [simplify]: iteration  0 :  123  enodes  (cost  756 )
6.369 * * [simplify]: iteration  1 :  337  enodes  (cost  731 )
6.453 * * [simplify]: iteration  2 :  1320  enodes  (cost  610 )
6.897 * * [simplify]: iteration  done :  5000  enodes  (cost  601 )
6.897 * [simplify]: Simplified to:
   (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (log (* (* 9.0 (* t z)) y))
  (log (* (* 9.0 (* t z)) y))
  (log (* (* 9.0 (* t z)) y))
  (log (* (* 9.0 (* t z)) y))
  (exp (* (* 9.0 (* t z)) y))
  (pow (* (* 9.0 (* t z)) y) 3)
  (pow (* (* 9.0 (* t z)) y) 3)
  (pow (* (* 9.0 (* t z)) y) 3)
  (* (cbrt (* (* 9.0 (* t z)) y)) (cbrt (* (* 9.0 (* t z)) y)))
  (cbrt (* (* 9.0 (* t z)) y))
  (pow (* (* 9.0 (* t z)) y) 3)
  (sqrt (* (* 9.0 (* t z)) y))
  (sqrt (* (* 9.0 (* t z)) y))
  (* (* 9.0 (* t z)) (* (cbrt y) (cbrt y)))
  (* (* 9.0 (* t z)) (sqrt y))
  (* 9.0 (* t z))
  (* (* t z) y)
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (pow (* 27.0 (* a b)) 3)
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (pow (+ (* 2.0 x) (* 27.0 (* a b))) 3)
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 27.0 (* a b)) (- (* 27.0 (* a b)) (* 2.0 x))) (* (* 2.0 x) (* 2.0 x)))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a 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 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
6.898 * * * [progress]: adding candidates to table
6.974 * [progress]: [Phase 3 of 3] Extracting.
6.975 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
6.977 * * * [regime-changes]: Trying 13 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)) b a t z y x)
6.977 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
7.073 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))>)
7.145 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
7.251 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))>)
7.323 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
7.429 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
7.505 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
7.610 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
7.680 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
7.784 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
7.853 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
7.949 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
8.025 * * * * [regimes]: Trying to branch on (- (* x 2.0) (* (* (* y 9.0) z) t)) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.133 * * * * [regimes]: Trying to branch on (- (* x 2.0) (* (* (* y 9.0) z) t)) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
8.205 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.298 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.390 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.496 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.590 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.695 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.787 * * * [regime]: Found split indices: #<option (#s(si 0 66) #s(si 5 188) #s(si 0 255))>
8.787 * [binary-search]: Only using regimes for bounds on (* y 9.0) and (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.787 * [regimes]: Found splitpoints: (#s(sp 0 (* y 9.0) -0.0014544364767717878) #s(sp 5 (* y 9.0) 8.360284362221155e-101) #s(sp 0 (* y 9.0) +nan.0)) , with alts (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>)
8.788 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* y 9.0) -0.0014544364767717878) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)) (if (<= (* y 9.0) 8.360284362221155e-101) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y))))
8.788 * * [simplify]: iteration  0 :  27  enodes  (cost  63 )
8.789 * * [simplify]: iteration  1 :  40  enodes  (cost  47 )
8.791 * * [simplify]: iteration  done :  40  enodes  (cost  47 )
8.791 * [simplify]: Simplified to:
   (if (or (<= (* y 9.0) -0.0014544364767717878) (not (<= (* y 9.0) 8.360284362221155e-101))) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))
11.471 * [regime-testing]: End program error score: 0.7298133683725979
11.611 * [regime-testing]: Target error score: 2.604970552679694