15.564 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.045 * [progress]: [Phase 2 of 3] Improving.
0.045 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
0.046 * * [simplify]: iteration  0 :  13  enodes  (cost  13 )
0.047 * * [simplify]: iteration  1 :  26  enodes  (cost  13 )
0.051 * * [simplify]: iteration  2 :  88  enodes  (cost  13 )
0.067 * * [simplify]: iteration  3 :  275  enodes  (cost  13 )
0.160 * * [simplify]: iteration  4 :  669  enodes  (cost  13 )
0.594 * * [simplify]: iteration  5 :  1180  enodes  (cost  13 )
1.335 * * [simplify]: iteration  6 :  1401  enodes  (cost  13 )
2.137 * * [simplify]: iteration  7 :  1420  enodes  (cost  13 )
2.916 * * [simplify]: iteration  done :  1420  enodes  (cost  13 )
2.916 * [simplify]: Simplified to:
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
2.917 * * [progress]: iteration 1 / 4
2.917 * * * [progress]: picking best candidate
2.920 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))>
2.920 * * * [progress]: localizing error
2.933 * * * [progress]: generating rewritten candidates
2.933 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.941 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.945 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
2.952 * * * [progress]: generating series expansions
2.952 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.952 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0
2.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
2.952 * [taylor]: Taking taylor expansion of 0.5 in a
2.952 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
2.952 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
2.952 * [taylor]: Taking taylor expansion of (* x y) in a
2.952 * [taylor]: Taking taylor expansion of x in a
2.952 * [taylor]: Taking taylor expansion of y in a
2.952 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
2.952 * [taylor]: Taking taylor expansion of 9.0 in a
2.952 * [taylor]: Taking taylor expansion of (* t z) in a
2.952 * [taylor]: Taking taylor expansion of t in a
2.952 * [taylor]: Taking taylor expansion of z in a
2.952 * [taylor]: Taking taylor expansion of a in a
2.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
2.952 * [taylor]: Taking taylor expansion of 0.5 in t
2.953 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
2.953 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
2.953 * [taylor]: Taking taylor expansion of (* x y) in t
2.953 * [taylor]: Taking taylor expansion of x in t
2.953 * [taylor]: Taking taylor expansion of y in t
2.953 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
2.953 * [taylor]: Taking taylor expansion of 9.0 in t
2.953 * [taylor]: Taking taylor expansion of (* t z) in t
2.953 * [taylor]: Taking taylor expansion of t in t
2.953 * [taylor]: Taking taylor expansion of z in t
2.953 * [taylor]: Taking taylor expansion of a in t
2.953 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
2.953 * [taylor]: Taking taylor expansion of 0.5 in z
2.953 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
2.953 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
2.953 * [taylor]: Taking taylor expansion of (* x y) in z
2.953 * [taylor]: Taking taylor expansion of x in z
2.953 * [taylor]: Taking taylor expansion of y in z
2.953 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.953 * [taylor]: Taking taylor expansion of 9.0 in z
2.953 * [taylor]: Taking taylor expansion of (* t z) in z
2.953 * [taylor]: Taking taylor expansion of t in z
2.953 * [taylor]: Taking taylor expansion of z in z
2.953 * [taylor]: Taking taylor expansion of a in z
2.953 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
2.953 * [taylor]: Taking taylor expansion of 0.5 in y
2.953 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
2.953 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
2.953 * [taylor]: Taking taylor expansion of (* x y) in y
2.953 * [taylor]: Taking taylor expansion of x in y
2.953 * [taylor]: Taking taylor expansion of y in y
2.953 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
2.953 * [taylor]: Taking taylor expansion of 9.0 in y
2.953 * [taylor]: Taking taylor expansion of (* t z) in y
2.953 * [taylor]: Taking taylor expansion of t in y
2.953 * [taylor]: Taking taylor expansion of z in y
2.953 * [taylor]: Taking taylor expansion of a in y
2.954 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
2.954 * [taylor]: Taking taylor expansion of 0.5 in x
2.954 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
2.954 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.954 * [taylor]: Taking taylor expansion of (* x y) in x
2.954 * [taylor]: Taking taylor expansion of x in x
2.954 * [taylor]: Taking taylor expansion of y in x
2.954 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.954 * [taylor]: Taking taylor expansion of 9.0 in x
2.954 * [taylor]: Taking taylor expansion of (* t z) in x
2.954 * [taylor]: Taking taylor expansion of t in x
2.954 * [taylor]: Taking taylor expansion of z in x
2.954 * [taylor]: Taking taylor expansion of a in x
2.954 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
2.954 * [taylor]: Taking taylor expansion of 0.5 in x
2.954 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
2.954 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.954 * [taylor]: Taking taylor expansion of (* x y) in x
2.954 * [taylor]: Taking taylor expansion of x in x
2.954 * [taylor]: Taking taylor expansion of y in x
2.954 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.954 * [taylor]: Taking taylor expansion of 9.0 in x
2.954 * [taylor]: Taking taylor expansion of (* t z) in x
2.954 * [taylor]: Taking taylor expansion of t in x
2.954 * [taylor]: Taking taylor expansion of z in x
2.954 * [taylor]: Taking taylor expansion of a in x
2.955 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
2.955 * [taylor]: Taking taylor expansion of -4.5 in y
2.955 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
2.955 * [taylor]: Taking taylor expansion of (* t z) in y
2.955 * [taylor]: Taking taylor expansion of t in y
2.955 * [taylor]: Taking taylor expansion of z in y
2.955 * [taylor]: Taking taylor expansion of a in y
2.955 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z
2.955 * [taylor]: Taking taylor expansion of -4.5 in z
2.955 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
2.955 * [taylor]: Taking taylor expansion of (* t z) in z
2.955 * [taylor]: Taking taylor expansion of t in z
2.955 * [taylor]: Taking taylor expansion of z in z
2.955 * [taylor]: Taking taylor expansion of a in z
2.955 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
2.955 * [taylor]: Taking taylor expansion of 0.5 in y
2.955 * [taylor]: Taking taylor expansion of (/ y a) in y
2.955 * [taylor]: Taking taylor expansion of y in y
2.955 * [taylor]: Taking taylor expansion of a in y
2.955 * [taylor]: Taking taylor expansion of 0 in z
2.955 * [taylor]: Taking taylor expansion of 0 in t
2.956 * [taylor]: Taking taylor expansion of 0 in a
2.956 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t
2.956 * [taylor]: Taking taylor expansion of -4.5 in t
2.956 * [taylor]: Taking taylor expansion of (/ t a) in t
2.956 * [taylor]: Taking taylor expansion of t in t
2.956 * [taylor]: Taking taylor expansion of a in t
2.956 * [taylor]: Taking taylor expansion of 0 in y
2.956 * [taylor]: Taking taylor expansion of 0 in z
2.956 * [taylor]: Taking taylor expansion of 0 in t
2.956 * [taylor]: Taking taylor expansion of 0 in a
2.956 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
2.956 * [taylor]: Taking taylor expansion of 0.5 in z
2.956 * [taylor]: Taking taylor expansion of a in z
2.956 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
2.956 * [taylor]: Taking taylor expansion of 0.5 in t
2.956 * [taylor]: Taking taylor expansion of a in t
2.956 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
2.956 * [taylor]: Taking taylor expansion of 0.5 in a
2.956 * [taylor]: Taking taylor expansion of a in a
2.957 * [taylor]: Taking taylor expansion of 0 in z
2.957 * [taylor]: Taking taylor expansion of 0 in t
2.957 * [taylor]: Taking taylor expansion of 0 in a
2.957 * [taylor]: Taking taylor expansion of 0 in t
2.957 * [taylor]: Taking taylor expansion of 0 in a
2.957 * [taylor]: Taking taylor expansion of 0 in t
2.957 * [taylor]: Taking taylor expansion of 0 in a
2.957 * [taylor]: Taking taylor expansion of 0 in a
2.957 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
2.957 * [taylor]: Taking taylor expansion of -4.5 in a
2.957 * [taylor]: Taking taylor expansion of a in a
2.957 * [taylor]: Taking taylor expansion of 0 in y
2.958 * [taylor]: Taking taylor expansion of 0 in z
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.958 * [taylor]: Taking taylor expansion of 0 in z
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.958 * [taylor]: Taking taylor expansion of 0 in z
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.958 * [taylor]: Taking taylor expansion of 0 in z
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.958 * [taylor]: Taking taylor expansion of 0 in t
2.958 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in t
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [taylor]: Taking taylor expansion of 0 in a
2.959 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in (x y z t a) around 0
2.959 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in a
2.959 * [taylor]: Taking taylor expansion of 0.5 in a
2.959 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in a
2.959 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
2.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
2.959 * [taylor]: Taking taylor expansion of (* x y) in a
2.959 * [taylor]: Taking taylor expansion of x in a
2.960 * [taylor]: Taking taylor expansion of y in a
2.960 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
2.960 * [taylor]: Taking taylor expansion of 9.0 in a
2.960 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
2.960 * [taylor]: Taking taylor expansion of (* t z) in a
2.960 * [taylor]: Taking taylor expansion of t in a
2.960 * [taylor]: Taking taylor expansion of z in a
2.960 * [taylor]: Taking taylor expansion of a in a
2.960 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in t
2.960 * [taylor]: Taking taylor expansion of 0.5 in t
2.960 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in t
2.960 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.960 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.960 * [taylor]: Taking taylor expansion of (* x y) in t
2.960 * [taylor]: Taking taylor expansion of x in t
2.960 * [taylor]: Taking taylor expansion of y in t
2.960 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.960 * [taylor]: Taking taylor expansion of 9.0 in t
2.960 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.960 * [taylor]: Taking taylor expansion of (* t z) in t
2.960 * [taylor]: Taking taylor expansion of t in t
2.960 * [taylor]: Taking taylor expansion of z in t
2.960 * [taylor]: Taking taylor expansion of a in t
2.960 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in z
2.960 * [taylor]: Taking taylor expansion of 0.5 in z
2.960 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in z
2.960 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.960 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.960 * [taylor]: Taking taylor expansion of (* x y) in z
2.960 * [taylor]: Taking taylor expansion of x in z
2.960 * [taylor]: Taking taylor expansion of y in z
2.960 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.960 * [taylor]: Taking taylor expansion of 9.0 in z
2.960 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.960 * [taylor]: Taking taylor expansion of (* t z) in z
2.960 * [taylor]: Taking taylor expansion of t in z
2.960 * [taylor]: Taking taylor expansion of z in z
2.960 * [taylor]: Taking taylor expansion of a in z
2.960 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in y
2.960 * [taylor]: Taking taylor expansion of 0.5 in y
2.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in y
2.961 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.961 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.961 * [taylor]: Taking taylor expansion of (* x y) in y
2.961 * [taylor]: Taking taylor expansion of x in y
2.961 * [taylor]: Taking taylor expansion of y in y
2.961 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.961 * [taylor]: Taking taylor expansion of 9.0 in y
2.961 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.961 * [taylor]: Taking taylor expansion of (* t z) in y
2.961 * [taylor]: Taking taylor expansion of t in y
2.961 * [taylor]: Taking taylor expansion of z in y
2.961 * [taylor]: Taking taylor expansion of a in y
2.961 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
2.961 * [taylor]: Taking taylor expansion of 0.5 in x
2.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
2.961 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.961 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.961 * [taylor]: Taking taylor expansion of (* x y) in x
2.961 * [taylor]: Taking taylor expansion of x in x
2.961 * [taylor]: Taking taylor expansion of y in x
2.961 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.961 * [taylor]: Taking taylor expansion of 9.0 in x
2.961 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.961 * [taylor]: Taking taylor expansion of (* t z) in x
2.961 * [taylor]: Taking taylor expansion of t in x
2.961 * [taylor]: Taking taylor expansion of z in x
2.961 * [taylor]: Taking taylor expansion of a in x
2.961 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
2.961 * [taylor]: Taking taylor expansion of 0.5 in x
2.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
2.961 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.961 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.961 * [taylor]: Taking taylor expansion of (* x y) in x
2.961 * [taylor]: Taking taylor expansion of x in x
2.961 * [taylor]: Taking taylor expansion of y in x
2.961 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.961 * [taylor]: Taking taylor expansion of 9.0 in x
2.961 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.961 * [taylor]: Taking taylor expansion of (* t z) in x
2.961 * [taylor]: Taking taylor expansion of t in x
2.961 * [taylor]: Taking taylor expansion of z in x
2.962 * [taylor]: Taking taylor expansion of a in x
2.962 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
2.962 * [taylor]: Taking taylor expansion of 0.5 in y
2.962 * [taylor]: Taking taylor expansion of (/ a y) in y
2.962 * [taylor]: Taking taylor expansion of a in y
2.962 * [taylor]: Taking taylor expansion of y in y
2.962 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
2.962 * [taylor]: Taking taylor expansion of 0.5 in z
2.962 * [taylor]: Taking taylor expansion of a in z
2.962 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in y
2.962 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
2.962 * [taylor]: Taking taylor expansion of 4.5 in y
2.962 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
2.962 * [taylor]: Taking taylor expansion of a in y
2.962 * [taylor]: Taking taylor expansion of (* z t) in y
2.962 * [taylor]: Taking taylor expansion of z in y
2.962 * [taylor]: Taking taylor expansion of t in y
2.963 * [taylor]: Taking taylor expansion of 0 in z
2.963 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
2.963 * [taylor]: Taking taylor expansion of 0.5 in t
2.963 * [taylor]: Taking taylor expansion of a in t
2.963 * [taylor]: Taking taylor expansion of 0 in y
2.963 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in z
2.963 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
2.963 * [taylor]: Taking taylor expansion of 4.5 in z
2.963 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
2.963 * [taylor]: Taking taylor expansion of a in z
2.963 * [taylor]: Taking taylor expansion of (* z t) in z
2.963 * [taylor]: Taking taylor expansion of z in z
2.963 * [taylor]: Taking taylor expansion of t in z
2.963 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a t))) in t
2.964 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
2.964 * [taylor]: Taking taylor expansion of 4.5 in t
2.964 * [taylor]: Taking taylor expansion of (/ a t) in t
2.964 * [taylor]: Taking taylor expansion of a in t
2.964 * [taylor]: Taking taylor expansion of t in t
2.964 * [taylor]: Taking taylor expansion of (neg (* 4.5 a)) in a
2.964 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
2.964 * [taylor]: Taking taylor expansion of 4.5 in a
2.964 * [taylor]: Taking taylor expansion of a in a
2.964 * [taylor]: Taking taylor expansion of 0 in z
2.964 * [taylor]: Taking taylor expansion of 0 in t
2.964 * [taylor]: Taking taylor expansion of 0 in t
2.964 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
2.964 * [taylor]: Taking taylor expansion of 0.5 in a
2.964 * [taylor]: Taking taylor expansion of a in a
2.965 * [taylor]: Taking taylor expansion of 0 in y
2.965 * [taylor]: Taking taylor expansion of 0 in z
2.965 * [taylor]: Taking taylor expansion of 0 in z
2.965 * [taylor]: Taking taylor expansion of 0 in z
2.965 * [taylor]: Taking taylor expansion of 0 in t
2.965 * [taylor]: Taking taylor expansion of 0 in t
2.965 * [taylor]: Taking taylor expansion of 0 in t
2.965 * [taylor]: Taking taylor expansion of 0 in t
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.965 * [taylor]: Taking taylor expansion of 0 in a
2.966 * [taylor]: Taking taylor expansion of 0 in a
2.966 * [approximate]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in (x y z t a) around 0
2.966 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in a
2.966 * [taylor]: Taking taylor expansion of -0.5 in a
2.966 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in a
2.966 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
2.966 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
2.966 * [taylor]: Taking taylor expansion of (* x y) in a
2.966 * [taylor]: Taking taylor expansion of x in a
2.966 * [taylor]: Taking taylor expansion of y in a
2.966 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
2.966 * [taylor]: Taking taylor expansion of 9.0 in a
2.966 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
2.966 * [taylor]: Taking taylor expansion of (* t z) in a
2.966 * [taylor]: Taking taylor expansion of t in a
2.966 * [taylor]: Taking taylor expansion of z in a
2.966 * [taylor]: Taking taylor expansion of a in a
2.966 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in t
2.966 * [taylor]: Taking taylor expansion of -0.5 in t
2.966 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in t
2.966 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.966 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.966 * [taylor]: Taking taylor expansion of (* x y) in t
2.966 * [taylor]: Taking taylor expansion of x in t
2.966 * [taylor]: Taking taylor expansion of y in t
2.966 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.966 * [taylor]: Taking taylor expansion of 9.0 in t
2.966 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.966 * [taylor]: Taking taylor expansion of (* t z) in t
2.966 * [taylor]: Taking taylor expansion of t in t
2.966 * [taylor]: Taking taylor expansion of z in t
2.967 * [taylor]: Taking taylor expansion of a in t
2.967 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in z
2.967 * [taylor]: Taking taylor expansion of -0.5 in z
2.967 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in z
2.967 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.967 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.967 * [taylor]: Taking taylor expansion of (* x y) in z
2.967 * [taylor]: Taking taylor expansion of x in z
2.967 * [taylor]: Taking taylor expansion of y in z
2.967 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.967 * [taylor]: Taking taylor expansion of 9.0 in z
2.967 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.967 * [taylor]: Taking taylor expansion of (* t z) in z
2.967 * [taylor]: Taking taylor expansion of t in z
2.967 * [taylor]: Taking taylor expansion of z in z
2.967 * [taylor]: Taking taylor expansion of a in z
2.967 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in y
2.967 * [taylor]: Taking taylor expansion of -0.5 in y
2.967 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in y
2.967 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.967 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.967 * [taylor]: Taking taylor expansion of (* x y) in y
2.967 * [taylor]: Taking taylor expansion of x in y
2.967 * [taylor]: Taking taylor expansion of y in y
2.967 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.967 * [taylor]: Taking taylor expansion of 9.0 in y
2.967 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.967 * [taylor]: Taking taylor expansion of (* t z) in y
2.967 * [taylor]: Taking taylor expansion of t in y
2.967 * [taylor]: Taking taylor expansion of z in y
2.967 * [taylor]: Taking taylor expansion of a in y
2.967 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
2.967 * [taylor]: Taking taylor expansion of -0.5 in x
2.967 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
2.967 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.967 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.967 * [taylor]: Taking taylor expansion of (* x y) in x
2.967 * [taylor]: Taking taylor expansion of x in x
2.967 * [taylor]: Taking taylor expansion of y in x
2.967 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.968 * [taylor]: Taking taylor expansion of 9.0 in x
2.968 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.968 * [taylor]: Taking taylor expansion of (* t z) in x
2.968 * [taylor]: Taking taylor expansion of t in x
2.968 * [taylor]: Taking taylor expansion of z in x
2.968 * [taylor]: Taking taylor expansion of a in x
2.968 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
2.968 * [taylor]: Taking taylor expansion of -0.5 in x
2.968 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
2.968 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.968 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.968 * [taylor]: Taking taylor expansion of (* x y) in x
2.968 * [taylor]: Taking taylor expansion of x in x
2.968 * [taylor]: Taking taylor expansion of y in x
2.968 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.968 * [taylor]: Taking taylor expansion of 9.0 in x
2.968 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.968 * [taylor]: Taking taylor expansion of (* t z) in x
2.968 * [taylor]: Taking taylor expansion of t in x
2.968 * [taylor]: Taking taylor expansion of z in x
2.968 * [taylor]: Taking taylor expansion of a in x
2.968 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
2.968 * [taylor]: Taking taylor expansion of -0.5 in y
2.968 * [taylor]: Taking taylor expansion of (/ a y) in y
2.968 * [taylor]: Taking taylor expansion of a in y
2.968 * [taylor]: Taking taylor expansion of y in y
2.968 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
2.968 * [taylor]: Taking taylor expansion of -0.5 in z
2.968 * [taylor]: Taking taylor expansion of a in z
2.969 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
2.969 * [taylor]: Taking taylor expansion of 4.5 in y
2.969 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
2.969 * [taylor]: Taking taylor expansion of a in y
2.969 * [taylor]: Taking taylor expansion of (* z t) in y
2.969 * [taylor]: Taking taylor expansion of z in y
2.969 * [taylor]: Taking taylor expansion of t in y
2.969 * [taylor]: Taking taylor expansion of 0 in z
2.969 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
2.969 * [taylor]: Taking taylor expansion of -0.5 in t
2.969 * [taylor]: Taking taylor expansion of a in t
2.970 * [taylor]: Taking taylor expansion of 0 in y
2.970 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
2.970 * [taylor]: Taking taylor expansion of 4.5 in z
2.970 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
2.970 * [taylor]: Taking taylor expansion of a in z
2.970 * [taylor]: Taking taylor expansion of (* z t) in z
2.970 * [taylor]: Taking taylor expansion of z in z
2.970 * [taylor]: Taking taylor expansion of t in z
2.970 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
2.970 * [taylor]: Taking taylor expansion of 4.5 in t
2.970 * [taylor]: Taking taylor expansion of (/ a t) in t
2.970 * [taylor]: Taking taylor expansion of a in t
2.970 * [taylor]: Taking taylor expansion of t in t
2.970 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
2.970 * [taylor]: Taking taylor expansion of 4.5 in a
2.970 * [taylor]: Taking taylor expansion of a in a
2.970 * [taylor]: Taking taylor expansion of 0 in z
2.970 * [taylor]: Taking taylor expansion of 0 in t
2.970 * [taylor]: Taking taylor expansion of 0 in t
2.970 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
2.970 * [taylor]: Taking taylor expansion of -0.5 in a
2.970 * [taylor]: Taking taylor expansion of a in a
2.971 * [taylor]: Taking taylor expansion of 0 in y
2.971 * [taylor]: Taking taylor expansion of 0 in z
2.971 * [taylor]: Taking taylor expansion of 0 in z
2.971 * [taylor]: Taking taylor expansion of 0 in z
2.971 * [taylor]: Taking taylor expansion of 0 in t
2.971 * [taylor]: Taking taylor expansion of 0 in t
2.971 * [taylor]: Taking taylor expansion of 0 in t
2.972 * [taylor]: Taking taylor expansion of 0 in t
2.972 * [taylor]: Taking taylor expansion of 0 in a
2.972 * [taylor]: Taking taylor expansion of 0 in a
2.972 * [taylor]: Taking taylor expansion of 0 in a
2.972 * [taylor]: Taking taylor expansion of 0 in a
2.972 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.972 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0
2.972 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
2.972 * [taylor]: Taking taylor expansion of (* x y) in t
2.972 * [taylor]: Taking taylor expansion of x in t
2.972 * [taylor]: Taking taylor expansion of y in t
2.972 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
2.972 * [taylor]: Taking taylor expansion of 9.0 in t
2.972 * [taylor]: Taking taylor expansion of (* t z) in t
2.972 * [taylor]: Taking taylor expansion of t in t
2.972 * [taylor]: Taking taylor expansion of z in t
2.972 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
2.972 * [taylor]: Taking taylor expansion of (* x y) in z
2.972 * [taylor]: Taking taylor expansion of x in z
2.972 * [taylor]: Taking taylor expansion of y in z
2.972 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.972 * [taylor]: Taking taylor expansion of 9.0 in z
2.972 * [taylor]: Taking taylor expansion of (* t z) in z
2.972 * [taylor]: Taking taylor expansion of t in z
2.972 * [taylor]: Taking taylor expansion of z in z
2.972 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
2.972 * [taylor]: Taking taylor expansion of (* x y) in y
2.972 * [taylor]: Taking taylor expansion of x in y
2.972 * [taylor]: Taking taylor expansion of y in y
2.972 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
2.972 * [taylor]: Taking taylor expansion of 9.0 in y
2.972 * [taylor]: Taking taylor expansion of (* t z) in y
2.972 * [taylor]: Taking taylor expansion of t in y
2.972 * [taylor]: Taking taylor expansion of z in y
2.972 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.972 * [taylor]: Taking taylor expansion of (* x y) in x
2.972 * [taylor]: Taking taylor expansion of x in x
2.972 * [taylor]: Taking taylor expansion of y in x
2.973 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.973 * [taylor]: Taking taylor expansion of 9.0 in x
2.973 * [taylor]: Taking taylor expansion of (* t z) in x
2.973 * [taylor]: Taking taylor expansion of t in x
2.973 * [taylor]: Taking taylor expansion of z in x
2.973 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.973 * [taylor]: Taking taylor expansion of (* x y) in x
2.973 * [taylor]: Taking taylor expansion of x in x
2.973 * [taylor]: Taking taylor expansion of y in x
2.973 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.973 * [taylor]: Taking taylor expansion of 9.0 in x
2.973 * [taylor]: Taking taylor expansion of (* t z) in x
2.973 * [taylor]: Taking taylor expansion of t in x
2.973 * [taylor]: Taking taylor expansion of z in x
2.973 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in y
2.973 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
2.973 * [taylor]: Taking taylor expansion of 9.0 in y
2.973 * [taylor]: Taking taylor expansion of (* t z) in y
2.973 * [taylor]: Taking taylor expansion of t in y
2.973 * [taylor]: Taking taylor expansion of z in y
2.973 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z
2.973 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.973 * [taylor]: Taking taylor expansion of 9.0 in z
2.973 * [taylor]: Taking taylor expansion of (* t z) in z
2.973 * [taylor]: Taking taylor expansion of t in z
2.973 * [taylor]: Taking taylor expansion of z in z
2.973 * [taylor]: Taking taylor expansion of 0 in t
2.973 * [taylor]: Taking taylor expansion of y in y
2.973 * [taylor]: Taking taylor expansion of 0 in z
2.973 * [taylor]: Taking taylor expansion of 0 in t
2.973 * [taylor]: Taking taylor expansion of 0 in z
2.974 * [taylor]: Taking taylor expansion of 0 in t
2.974 * [taylor]: Taking taylor expansion of (neg (* 9.0 t)) in t
2.974 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
2.974 * [taylor]: Taking taylor expansion of 9.0 in t
2.974 * [taylor]: Taking taylor expansion of t in t
2.974 * [taylor]: Taking taylor expansion of 0 in y
2.974 * [taylor]: Taking taylor expansion of 0 in z
2.974 * [taylor]: Taking taylor expansion of 0 in t
2.974 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
2.974 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.974 * [taylor]: Taking taylor expansion of (* x y) in t
2.974 * [taylor]: Taking taylor expansion of x in t
2.974 * [taylor]: Taking taylor expansion of y in t
2.974 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.974 * [taylor]: Taking taylor expansion of 9.0 in t
2.974 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.974 * [taylor]: Taking taylor expansion of (* t z) in t
2.974 * [taylor]: Taking taylor expansion of t in t
2.974 * [taylor]: Taking taylor expansion of z in t
2.974 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.974 * [taylor]: Taking taylor expansion of (* x y) in z
2.974 * [taylor]: Taking taylor expansion of x in z
2.974 * [taylor]: Taking taylor expansion of y in z
2.974 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.975 * [taylor]: Taking taylor expansion of 9.0 in z
2.975 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.975 * [taylor]: Taking taylor expansion of (* t z) in z
2.975 * [taylor]: Taking taylor expansion of t in z
2.975 * [taylor]: Taking taylor expansion of z in z
2.975 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.975 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.975 * [taylor]: Taking taylor expansion of (* x y) in y
2.975 * [taylor]: Taking taylor expansion of x in y
2.975 * [taylor]: Taking taylor expansion of y in y
2.975 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.975 * [taylor]: Taking taylor expansion of 9.0 in y
2.975 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.975 * [taylor]: Taking taylor expansion of (* t z) in y
2.975 * [taylor]: Taking taylor expansion of t in y
2.975 * [taylor]: Taking taylor expansion of z in y
2.975 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.975 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.975 * [taylor]: Taking taylor expansion of (* x y) in x
2.975 * [taylor]: Taking taylor expansion of x in x
2.975 * [taylor]: Taking taylor expansion of y in x
2.975 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.975 * [taylor]: Taking taylor expansion of 9.0 in x
2.975 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.975 * [taylor]: Taking taylor expansion of (* t z) in x
2.975 * [taylor]: Taking taylor expansion of t in x
2.975 * [taylor]: Taking taylor expansion of z in x
2.975 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.975 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.975 * [taylor]: Taking taylor expansion of (* x y) in x
2.975 * [taylor]: Taking taylor expansion of x in x
2.975 * [taylor]: Taking taylor expansion of y in x
2.975 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.975 * [taylor]: Taking taylor expansion of 9.0 in x
2.975 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.975 * [taylor]: Taking taylor expansion of (* t z) in x
2.975 * [taylor]: Taking taylor expansion of t in x
2.975 * [taylor]: Taking taylor expansion of z in x
2.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.976 * [taylor]: Taking taylor expansion of y in y
2.976 * [taylor]: Taking taylor expansion of 1 in z
2.976 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y
2.976 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.976 * [taylor]: Taking taylor expansion of 9.0 in y
2.976 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.976 * [taylor]: Taking taylor expansion of (* t z) in y
2.976 * [taylor]: Taking taylor expansion of t in y
2.976 * [taylor]: Taking taylor expansion of z in y
2.976 * [taylor]: Taking taylor expansion of 0 in z
2.976 * [taylor]: Taking taylor expansion of 1 in t
2.976 * [taylor]: Taking taylor expansion of 0 in y
2.976 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
2.976 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.976 * [taylor]: Taking taylor expansion of 9.0 in z
2.977 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.977 * [taylor]: Taking taylor expansion of (* t z) in z
2.977 * [taylor]: Taking taylor expansion of t in z
2.977 * [taylor]: Taking taylor expansion of z in z
2.977 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
2.977 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
2.977 * [taylor]: Taking taylor expansion of 9.0 in t
2.977 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.977 * [taylor]: Taking taylor expansion of t in t
2.977 * [taylor]: Taking taylor expansion of 0 in z
2.977 * [taylor]: Taking taylor expansion of 0 in t
2.977 * [taylor]: Taking taylor expansion of 0 in t
2.977 * [taylor]: Taking taylor expansion of 0 in y
2.977 * [taylor]: Taking taylor expansion of 0 in z
2.977 * [taylor]: Taking taylor expansion of 0 in z
2.978 * [taylor]: Taking taylor expansion of 0 in z
2.978 * [taylor]: Taking taylor expansion of 0 in t
2.978 * [taylor]: Taking taylor expansion of 0 in t
2.978 * [taylor]: Taking taylor expansion of 0 in t
2.978 * [taylor]: Taking taylor expansion of 0 in t
2.978 * [taylor]: Taking taylor expansion of 0 in y
2.978 * [taylor]: Taking taylor expansion of 0 in z
2.978 * [taylor]: Taking taylor expansion of 0 in z
2.979 * [taylor]: Taking taylor expansion of 0 in z
2.979 * [taylor]: Taking taylor expansion of 0 in z
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.979 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
2.979 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.980 * [taylor]: Taking taylor expansion of (* x y) in t
2.980 * [taylor]: Taking taylor expansion of x in t
2.980 * [taylor]: Taking taylor expansion of y in t
2.980 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.980 * [taylor]: Taking taylor expansion of 9.0 in t
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.980 * [taylor]: Taking taylor expansion of (* t z) in t
2.980 * [taylor]: Taking taylor expansion of t in t
2.980 * [taylor]: Taking taylor expansion of z in t
2.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.980 * [taylor]: Taking taylor expansion of (* x y) in z
2.980 * [taylor]: Taking taylor expansion of x in z
2.980 * [taylor]: Taking taylor expansion of y in z
2.980 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.980 * [taylor]: Taking taylor expansion of 9.0 in z
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.980 * [taylor]: Taking taylor expansion of (* t z) in z
2.980 * [taylor]: Taking taylor expansion of t in z
2.980 * [taylor]: Taking taylor expansion of z in z
2.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.980 * [taylor]: Taking taylor expansion of (* x y) in y
2.980 * [taylor]: Taking taylor expansion of x in y
2.980 * [taylor]: Taking taylor expansion of y in y
2.980 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.980 * [taylor]: Taking taylor expansion of 9.0 in y
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.980 * [taylor]: Taking taylor expansion of (* t z) in y
2.980 * [taylor]: Taking taylor expansion of t in y
2.980 * [taylor]: Taking taylor expansion of z in y
2.980 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.980 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.980 * [taylor]: Taking taylor expansion of (* x y) in x
2.980 * [taylor]: Taking taylor expansion of x in x
2.980 * [taylor]: Taking taylor expansion of y in x
2.981 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.981 * [taylor]: Taking taylor expansion of 9.0 in x
2.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.981 * [taylor]: Taking taylor expansion of (* t z) in x
2.981 * [taylor]: Taking taylor expansion of t in x
2.981 * [taylor]: Taking taylor expansion of z in x
2.981 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.981 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.981 * [taylor]: Taking taylor expansion of (* x y) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of y in x
2.981 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.981 * [taylor]: Taking taylor expansion of 9.0 in x
2.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.981 * [taylor]: Taking taylor expansion of (* t z) in x
2.981 * [taylor]: Taking taylor expansion of t in x
2.981 * [taylor]: Taking taylor expansion of z in x
2.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.981 * [taylor]: Taking taylor expansion of y in y
2.981 * [taylor]: Taking taylor expansion of 1 in z
2.981 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y
2.981 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.981 * [taylor]: Taking taylor expansion of 9.0 in y
2.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.981 * [taylor]: Taking taylor expansion of (* t z) in y
2.981 * [taylor]: Taking taylor expansion of t in y
2.981 * [taylor]: Taking taylor expansion of z in y
2.982 * [taylor]: Taking taylor expansion of 0 in z
2.982 * [taylor]: Taking taylor expansion of 1 in t
2.982 * [taylor]: Taking taylor expansion of 0 in y
2.982 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
2.982 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.982 * [taylor]: Taking taylor expansion of 9.0 in z
2.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.982 * [taylor]: Taking taylor expansion of (* t z) in z
2.982 * [taylor]: Taking taylor expansion of t in z
2.982 * [taylor]: Taking taylor expansion of z in z
2.982 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
2.982 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
2.982 * [taylor]: Taking taylor expansion of 9.0 in t
2.982 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.982 * [taylor]: Taking taylor expansion of t in t
2.982 * [taylor]: Taking taylor expansion of 0 in z
2.982 * [taylor]: Taking taylor expansion of 0 in t
2.982 * [taylor]: Taking taylor expansion of 0 in t
2.983 * [taylor]: Taking taylor expansion of 0 in y
2.983 * [taylor]: Taking taylor expansion of 0 in z
2.983 * [taylor]: Taking taylor expansion of 0 in z
2.983 * [taylor]: Taking taylor expansion of 0 in z
2.983 * [taylor]: Taking taylor expansion of 0 in t
2.983 * [taylor]: Taking taylor expansion of 0 in t
2.983 * [taylor]: Taking taylor expansion of 0 in t
2.984 * [taylor]: Taking taylor expansion of 0 in t
2.984 * [taylor]: Taking taylor expansion of 0 in y
2.984 * [taylor]: Taking taylor expansion of 0 in z
2.984 * [taylor]: Taking taylor expansion of 0 in z
2.984 * [taylor]: Taking taylor expansion of 0 in z
2.984 * [taylor]: Taking taylor expansion of 0 in z
2.984 * [taylor]: Taking taylor expansion of 0 in t
2.984 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.985 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
2.985 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
2.985 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
2.985 * [taylor]: Taking taylor expansion of 9.0 in t
2.985 * [taylor]: Taking taylor expansion of (* t z) in t
2.985 * [taylor]: Taking taylor expansion of t in t
2.985 * [taylor]: Taking taylor expansion of z in t
2.985 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.985 * [taylor]: Taking taylor expansion of 9.0 in z
2.985 * [taylor]: Taking taylor expansion of (* t z) in z
2.985 * [taylor]: Taking taylor expansion of t in z
2.985 * [taylor]: Taking taylor expansion of z in z
2.985 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.985 * [taylor]: Taking taylor expansion of 9.0 in z
2.985 * [taylor]: Taking taylor expansion of (* t z) in z
2.985 * [taylor]: Taking taylor expansion of t in z
2.985 * [taylor]: Taking taylor expansion of z in z
2.985 * [taylor]: Taking taylor expansion of 0 in t
2.986 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
2.986 * [taylor]: Taking taylor expansion of 9.0 in t
2.986 * [taylor]: Taking taylor expansion of t in t
2.986 * [taylor]: Taking taylor expansion of 0 in t
2.986 * [taylor]: Taking taylor expansion of 0 in t
2.986 * [taylor]: Taking taylor expansion of 0 in t
2.986 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
2.986 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
2.986 * [taylor]: Taking taylor expansion of 9.0 in t
2.986 * [taylor]: Taking taylor expansion of (* t z) in t
2.986 * [taylor]: Taking taylor expansion of t in t
2.986 * [taylor]: Taking taylor expansion of z in t
2.986 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.986 * [taylor]: Taking taylor expansion of 9.0 in z
2.986 * [taylor]: Taking taylor expansion of (* t z) in z
2.986 * [taylor]: Taking taylor expansion of t in z
2.986 * [taylor]: Taking taylor expansion of z in z
2.986 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.986 * [taylor]: Taking taylor expansion of 9.0 in z
2.986 * [taylor]: Taking taylor expansion of (* t z) in z
2.986 * [taylor]: Taking taylor expansion of t in z
2.987 * [taylor]: Taking taylor expansion of z in z
2.987 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.987 * [taylor]: Taking taylor expansion of 9.0 in t
2.987 * [taylor]: Taking taylor expansion of t in t
2.987 * [taylor]: Taking taylor expansion of 0 in t
2.987 * [taylor]: Taking taylor expansion of 0 in t
2.987 * [taylor]: Taking taylor expansion of 0 in t
2.987 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
2.987 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
2.987 * [taylor]: Taking taylor expansion of 9.0 in t
2.988 * [taylor]: Taking taylor expansion of (* t z) in t
2.988 * [taylor]: Taking taylor expansion of t in t
2.988 * [taylor]: Taking taylor expansion of z in t
2.988 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.988 * [taylor]: Taking taylor expansion of 9.0 in z
2.988 * [taylor]: Taking taylor expansion of (* t z) in z
2.988 * [taylor]: Taking taylor expansion of t in z
2.988 * [taylor]: Taking taylor expansion of z in z
2.988 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.988 * [taylor]: Taking taylor expansion of 9.0 in z
2.988 * [taylor]: Taking taylor expansion of (* t z) in z
2.988 * [taylor]: Taking taylor expansion of t in z
2.988 * [taylor]: Taking taylor expansion of z in z
2.988 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.988 * [taylor]: Taking taylor expansion of 9.0 in t
2.988 * [taylor]: Taking taylor expansion of t in t
2.988 * [taylor]: Taking taylor expansion of 0 in t
2.988 * [taylor]: Taking taylor expansion of 0 in t
2.989 * [taylor]: Taking taylor expansion of 0 in t
2.989 * * * [progress]: simplifying candidates
2.990 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (- (* x y) (* (* z 9.0) t))) (+ (log a) (log 2.0)))
  (- (log (- (* x y) (* (* z 9.0) t))) (log (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (exp (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (/ (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))))
  (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (* (* (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (neg (- (* x y) (* (* z 9.0) t)))
  (neg (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* (* z 9.0) t) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a)
  (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) a)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* (* z 9.0) t)) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (/ (- (* x y) (* (* z 9.0) t)) a)
  (/ (* a 2.0) (cbrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (sqrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (* (* a 2.0) (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t)))))
  (* (* a 2.0) (+ (* x y) (* (* z 9.0) t)))
  (/ (exp (* x y)) (exp (* (* z 9.0) t)))
  (log (- (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t))))
  (cbrt (- (* x y) (* (* z 9.0) t)))
  (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3))
  (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t))))
  (neg (* (* z 9.0) t))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (+ (* x y) (* (* z 9.0) t))
  (neg (* (* z 9.0) t))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (+ (+ (log z) (log 9.0)) (log t))
  (+ (log (* z 9.0)) (log t))
  (log (* (* z 9.0) t))
  (exp (* (* z 9.0) t))
  (* (* (* (* z z) z) (* (* 9.0 9.0) 9.0)) (* (* t t) t))
  (* (* (* (* z 9.0) (* z 9.0)) (* z 9.0)) (* (* t t) t))
  (* (cbrt (* (* z 9.0) t)) (cbrt (* (* z 9.0) t)))
  (cbrt (* (* z 9.0) t))
  (* (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (* (* z 9.0) (* (cbrt t) (cbrt t)))
  (* (* z 9.0) (sqrt t))
  (* (* z 9.0) 1)
  (* 9.0 t)
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
2.993 * * [simplify]: iteration  0 :  116  enodes  (cost  858 )
3.014 * * [simplify]: iteration  1 :  327  enodes  (cost  827 )
3.123 * * [simplify]: iteration  2 :  1288  enodes  (cost  711 )
3.821 * * [simplify]: iteration  done :  5001  enodes  (cost  711 )
3.821 * [simplify]: Simplified to:
   (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (exp (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))))
  (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (neg (- (* x y) (* (* z 9.0) t)))
  (neg (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* (* z 9.0) t) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a)
  (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) a)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* (* z 9.0) t)) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (/ (- (* x y) (* (* z 9.0) t)) a)
  (/ (* a 2.0) (cbrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (sqrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (* (+ (* (* (* z 9.0) t) (+ (* x y) (* (* z 9.0) t))) (* (* x y) (* x y))) (* a 2.0))
  (* (* a 2.0) (+ (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (log (- (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t))))
  (cbrt (- (* x y) (* (* z 9.0) t)))
  (pow (- (* x y) (* (* z 9.0) t)) 3)
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3))
  (+ (* (* (* z 9.0) t) (+ (* x y) (* (* z 9.0) t))) (* (* x y) (* x y)))
  (neg (* 9.0 (* t z)))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (+ (* x y) (* (* z 9.0) t))
  (neg (* 9.0 (* t z)))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (exp (* (* z 9.0) t))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* (* z 9.0) t)) (cbrt (* (* z 9.0) t)))
  (cbrt (* (* z 9.0) t))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (* (* z 9.0) (* (cbrt t) (cbrt t)))
  (* (* z 9.0) (sqrt t))
  (* z 9.0)
  (* 9.0 t)
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* (* z 9.0) t))
  (- (* x y) (* (* z 9.0) t))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (* (* z 9.0) t)
3.822 * * * [progress]: adding candidates to table
3.907 * * [progress]: iteration 2 / 4
3.907 * * * [progress]: picking best candidate
3.951 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)))>
3.951 * * * [progress]: localizing error
3.962 * * * [progress]: generating rewritten candidates
3.962 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.973 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.978 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1)
3.984 * * * [progress]: generating series expansions
3.985 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.985 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y t z a) around 0
3.985 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
3.985 * [taylor]: Taking taylor expansion of 0.5 in a
3.985 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
3.985 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
3.985 * [taylor]: Taking taylor expansion of (* x y) in a
3.985 * [taylor]: Taking taylor expansion of x in a
3.985 * [taylor]: Taking taylor expansion of y in a
3.985 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
3.985 * [taylor]: Taking taylor expansion of 9.0 in a
3.985 * [taylor]: Taking taylor expansion of (* t z) in a
3.985 * [taylor]: Taking taylor expansion of t in a
3.985 * [taylor]: Taking taylor expansion of z in a
3.985 * [taylor]: Taking taylor expansion of a in a
3.985 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
3.985 * [taylor]: Taking taylor expansion of 0.5 in z
3.985 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
3.985 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
3.985 * [taylor]: Taking taylor expansion of (* x y) in z
3.985 * [taylor]: Taking taylor expansion of x in z
3.985 * [taylor]: Taking taylor expansion of y in z
3.985 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.985 * [taylor]: Taking taylor expansion of 9.0 in z
3.985 * [taylor]: Taking taylor expansion of (* t z) in z
3.985 * [taylor]: Taking taylor expansion of t in z
3.985 * [taylor]: Taking taylor expansion of z in z
3.985 * [taylor]: Taking taylor expansion of a in z
3.986 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
3.986 * [taylor]: Taking taylor expansion of 0.5 in t
3.986 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
3.986 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
3.986 * [taylor]: Taking taylor expansion of (* x y) in t
3.986 * [taylor]: Taking taylor expansion of x in t
3.986 * [taylor]: Taking taylor expansion of y in t
3.986 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
3.986 * [taylor]: Taking taylor expansion of 9.0 in t
3.986 * [taylor]: Taking taylor expansion of (* t z) in t
3.986 * [taylor]: Taking taylor expansion of t in t
3.986 * [taylor]: Taking taylor expansion of z in t
3.986 * [taylor]: Taking taylor expansion of a in t
3.986 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
3.986 * [taylor]: Taking taylor expansion of 0.5 in y
3.986 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
3.986 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
3.986 * [taylor]: Taking taylor expansion of (* x y) in y
3.986 * [taylor]: Taking taylor expansion of x in y
3.986 * [taylor]: Taking taylor expansion of y in y
3.986 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
3.986 * [taylor]: Taking taylor expansion of 9.0 in y
3.986 * [taylor]: Taking taylor expansion of (* t z) in y
3.986 * [taylor]: Taking taylor expansion of t in y
3.986 * [taylor]: Taking taylor expansion of z in y
3.986 * [taylor]: Taking taylor expansion of a in y
3.986 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
3.986 * [taylor]: Taking taylor expansion of 0.5 in x
3.986 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
3.986 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
3.986 * [taylor]: Taking taylor expansion of (* x y) in x
3.986 * [taylor]: Taking taylor expansion of x in x
3.986 * [taylor]: Taking taylor expansion of y in x
3.986 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
3.986 * [taylor]: Taking taylor expansion of 9.0 in x
3.986 * [taylor]: Taking taylor expansion of (* t z) in x
3.986 * [taylor]: Taking taylor expansion of t in x
3.986 * [taylor]: Taking taylor expansion of z in x
3.987 * [taylor]: Taking taylor expansion of a in x
3.987 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
3.987 * [taylor]: Taking taylor expansion of 0.5 in x
3.987 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
3.987 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
3.987 * [taylor]: Taking taylor expansion of (* x y) in x
3.987 * [taylor]: Taking taylor expansion of x in x
3.987 * [taylor]: Taking taylor expansion of y in x
3.987 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
3.987 * [taylor]: Taking taylor expansion of 9.0 in x
3.987 * [taylor]: Taking taylor expansion of (* t z) in x
3.987 * [taylor]: Taking taylor expansion of t in x
3.987 * [taylor]: Taking taylor expansion of z in x
3.987 * [taylor]: Taking taylor expansion of a in x
3.987 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
3.987 * [taylor]: Taking taylor expansion of -4.5 in y
3.987 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
3.987 * [taylor]: Taking taylor expansion of (* t z) in y
3.987 * [taylor]: Taking taylor expansion of t in y
3.987 * [taylor]: Taking taylor expansion of z in y
3.987 * [taylor]: Taking taylor expansion of a in y
3.987 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in t
3.987 * [taylor]: Taking taylor expansion of -4.5 in t
3.987 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
3.987 * [taylor]: Taking taylor expansion of (* t z) in t
3.988 * [taylor]: Taking taylor expansion of t in t
3.988 * [taylor]: Taking taylor expansion of z in t
3.988 * [taylor]: Taking taylor expansion of a in t
3.988 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
3.988 * [taylor]: Taking taylor expansion of 0.5 in y
3.988 * [taylor]: Taking taylor expansion of (/ y a) in y
3.988 * [taylor]: Taking taylor expansion of y in y
3.988 * [taylor]: Taking taylor expansion of a in y
3.988 * [taylor]: Taking taylor expansion of 0 in t
3.988 * [taylor]: Taking taylor expansion of 0 in z
3.988 * [taylor]: Taking taylor expansion of 0 in a
3.988 * [taylor]: Taking taylor expansion of (* -4.5 (/ z a)) in z
3.988 * [taylor]: Taking taylor expansion of -4.5 in z
3.988 * [taylor]: Taking taylor expansion of (/ z a) in z
3.988 * [taylor]: Taking taylor expansion of z in z
3.988 * [taylor]: Taking taylor expansion of a in z
3.989 * [taylor]: Taking taylor expansion of 0 in y
3.989 * [taylor]: Taking taylor expansion of 0 in t
3.989 * [taylor]: Taking taylor expansion of 0 in z
3.989 * [taylor]: Taking taylor expansion of 0 in a
3.989 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
3.989 * [taylor]: Taking taylor expansion of 0.5 in t
3.989 * [taylor]: Taking taylor expansion of a in t
3.989 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
3.989 * [taylor]: Taking taylor expansion of 0.5 in z
3.989 * [taylor]: Taking taylor expansion of a in z
3.989 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
3.989 * [taylor]: Taking taylor expansion of 0.5 in a
3.989 * [taylor]: Taking taylor expansion of a in a
3.989 * [taylor]: Taking taylor expansion of 0 in t
3.989 * [taylor]: Taking taylor expansion of 0 in z
3.989 * [taylor]: Taking taylor expansion of 0 in a
3.989 * [taylor]: Taking taylor expansion of 0 in z
3.989 * [taylor]: Taking taylor expansion of 0 in a
3.990 * [taylor]: Taking taylor expansion of 0 in z
3.990 * [taylor]: Taking taylor expansion of 0 in a
3.990 * [taylor]: Taking taylor expansion of 0 in a
3.990 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
3.990 * [taylor]: Taking taylor expansion of -4.5 in a
3.990 * [taylor]: Taking taylor expansion of a in a
3.990 * [taylor]: Taking taylor expansion of 0 in y
3.990 * [taylor]: Taking taylor expansion of 0 in t
3.990 * [taylor]: Taking taylor expansion of 0 in z
3.990 * [taylor]: Taking taylor expansion of 0 in a
3.990 * [taylor]: Taking taylor expansion of 0 in t
3.990 * [taylor]: Taking taylor expansion of 0 in z
3.990 * [taylor]: Taking taylor expansion of 0 in a
3.990 * [taylor]: Taking taylor expansion of 0 in t
3.990 * [taylor]: Taking taylor expansion of 0 in z
3.990 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in t
3.991 * [taylor]: Taking taylor expansion of 0 in z
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in z
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in z
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in z
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in z
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in z
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.991 * [taylor]: Taking taylor expansion of 0 in a
3.992 * [taylor]: Taking taylor expansion of 0 in a
3.992 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in (x y t z a) around 0
3.992 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in a
3.992 * [taylor]: Taking taylor expansion of 0.5 in a
3.992 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in a
3.992 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
3.992 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
3.992 * [taylor]: Taking taylor expansion of (* x y) in a
3.992 * [taylor]: Taking taylor expansion of x in a
3.992 * [taylor]: Taking taylor expansion of y in a
3.992 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
3.992 * [taylor]: Taking taylor expansion of 9.0 in a
3.992 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
3.992 * [taylor]: Taking taylor expansion of (* t z) in a
3.992 * [taylor]: Taking taylor expansion of t in a
3.992 * [taylor]: Taking taylor expansion of z in a
3.992 * [taylor]: Taking taylor expansion of a in a
3.992 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in z
3.992 * [taylor]: Taking taylor expansion of 0.5 in z
3.992 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in z
3.992 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
3.993 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.993 * [taylor]: Taking taylor expansion of (* x y) in z
3.993 * [taylor]: Taking taylor expansion of x in z
3.993 * [taylor]: Taking taylor expansion of y in z
3.993 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.993 * [taylor]: Taking taylor expansion of 9.0 in z
3.993 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.993 * [taylor]: Taking taylor expansion of (* t z) in z
3.993 * [taylor]: Taking taylor expansion of t in z
3.993 * [taylor]: Taking taylor expansion of z in z
3.993 * [taylor]: Taking taylor expansion of a in z
3.993 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in t
3.993 * [taylor]: Taking taylor expansion of 0.5 in t
3.993 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in t
3.993 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
3.993 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
3.993 * [taylor]: Taking taylor expansion of (* x y) in t
3.993 * [taylor]: Taking taylor expansion of x in t
3.993 * [taylor]: Taking taylor expansion of y in t
3.993 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
3.993 * [taylor]: Taking taylor expansion of 9.0 in t
3.993 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.993 * [taylor]: Taking taylor expansion of (* t z) in t
3.993 * [taylor]: Taking taylor expansion of t in t
3.993 * [taylor]: Taking taylor expansion of z in t
3.993 * [taylor]: Taking taylor expansion of a in t
3.993 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in y
3.993 * [taylor]: Taking taylor expansion of 0.5 in y
3.993 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in y
3.993 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
3.993 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.993 * [taylor]: Taking taylor expansion of (* x y) in y
3.993 * [taylor]: Taking taylor expansion of x in y
3.993 * [taylor]: Taking taylor expansion of y in y
3.993 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
3.993 * [taylor]: Taking taylor expansion of 9.0 in y
3.993 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.993 * [taylor]: Taking taylor expansion of (* t z) in y
3.993 * [taylor]: Taking taylor expansion of t in y
3.993 * [taylor]: Taking taylor expansion of z in y
3.994 * [taylor]: Taking taylor expansion of a in y
3.994 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
3.994 * [taylor]: Taking taylor expansion of 0.5 in x
3.994 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
3.994 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.994 * [taylor]: Taking taylor expansion of (* x y) in x
3.994 * [taylor]: Taking taylor expansion of x in x
3.994 * [taylor]: Taking taylor expansion of y in x
3.994 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.994 * [taylor]: Taking taylor expansion of 9.0 in x
3.994 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.994 * [taylor]: Taking taylor expansion of (* t z) in x
3.994 * [taylor]: Taking taylor expansion of t in x
3.994 * [taylor]: Taking taylor expansion of z in x
3.994 * [taylor]: Taking taylor expansion of a in x
3.994 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
3.994 * [taylor]: Taking taylor expansion of 0.5 in x
3.994 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
3.994 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.994 * [taylor]: Taking taylor expansion of (* x y) in x
3.994 * [taylor]: Taking taylor expansion of x in x
3.994 * [taylor]: Taking taylor expansion of y in x
3.994 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.994 * [taylor]: Taking taylor expansion of 9.0 in x
3.994 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.994 * [taylor]: Taking taylor expansion of (* t z) in x
3.994 * [taylor]: Taking taylor expansion of t in x
3.994 * [taylor]: Taking taylor expansion of z in x
3.994 * [taylor]: Taking taylor expansion of a in x
3.994 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
3.994 * [taylor]: Taking taylor expansion of 0.5 in y
3.994 * [taylor]: Taking taylor expansion of (/ a y) in y
3.994 * [taylor]: Taking taylor expansion of a in y
3.994 * [taylor]: Taking taylor expansion of y in y
3.995 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
3.995 * [taylor]: Taking taylor expansion of 0.5 in t
3.995 * [taylor]: Taking taylor expansion of a in t
3.995 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in y
3.995 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
3.995 * [taylor]: Taking taylor expansion of 4.5 in y
3.995 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
3.995 * [taylor]: Taking taylor expansion of a in y
3.995 * [taylor]: Taking taylor expansion of (* z t) in y
3.995 * [taylor]: Taking taylor expansion of z in y
3.995 * [taylor]: Taking taylor expansion of t in y
3.995 * [taylor]: Taking taylor expansion of 0 in t
3.995 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
3.995 * [taylor]: Taking taylor expansion of 0.5 in z
3.995 * [taylor]: Taking taylor expansion of a in z
3.996 * [taylor]: Taking taylor expansion of 0 in y
3.996 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in t
3.996 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
3.996 * [taylor]: Taking taylor expansion of 4.5 in t
3.996 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
3.996 * [taylor]: Taking taylor expansion of a in t
3.996 * [taylor]: Taking taylor expansion of (* z t) in t
3.996 * [taylor]: Taking taylor expansion of z in t
3.996 * [taylor]: Taking taylor expansion of t in t
3.996 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a z))) in z
3.996 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
3.996 * [taylor]: Taking taylor expansion of 4.5 in z
3.996 * [taylor]: Taking taylor expansion of (/ a z) in z
3.996 * [taylor]: Taking taylor expansion of a in z
3.996 * [taylor]: Taking taylor expansion of z in z
3.996 * [taylor]: Taking taylor expansion of (neg (* 4.5 a)) in a
3.996 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
3.996 * [taylor]: Taking taylor expansion of 4.5 in a
3.996 * [taylor]: Taking taylor expansion of a in a
3.997 * [taylor]: Taking taylor expansion of 0 in t
3.997 * [taylor]: Taking taylor expansion of 0 in z
3.997 * [taylor]: Taking taylor expansion of 0 in z
3.997 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
3.997 * [taylor]: Taking taylor expansion of 0.5 in a
3.997 * [taylor]: Taking taylor expansion of a in a
3.997 * [taylor]: Taking taylor expansion of 0 in y
3.997 * [taylor]: Taking taylor expansion of 0 in t
3.998 * [taylor]: Taking taylor expansion of 0 in t
3.998 * [taylor]: Taking taylor expansion of 0 in t
3.998 * [taylor]: Taking taylor expansion of 0 in z
3.998 * [taylor]: Taking taylor expansion of 0 in z
3.998 * [taylor]: Taking taylor expansion of 0 in z
3.998 * [taylor]: Taking taylor expansion of 0 in z
3.998 * [taylor]: Taking taylor expansion of 0 in a
3.998 * [taylor]: Taking taylor expansion of 0 in a
3.998 * [taylor]: Taking taylor expansion of 0 in a
3.998 * [taylor]: Taking taylor expansion of 0 in a
3.999 * [approximate]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in (x y t z a) around 0
3.999 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in a
3.999 * [taylor]: Taking taylor expansion of -0.5 in a
3.999 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in a
3.999 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
3.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
3.999 * [taylor]: Taking taylor expansion of (* x y) in a
3.999 * [taylor]: Taking taylor expansion of x in a
3.999 * [taylor]: Taking taylor expansion of y in a
3.999 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
3.999 * [taylor]: Taking taylor expansion of 9.0 in a
3.999 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
3.999 * [taylor]: Taking taylor expansion of (* t z) in a
3.999 * [taylor]: Taking taylor expansion of t in a
3.999 * [taylor]: Taking taylor expansion of z in a
3.999 * [taylor]: Taking taylor expansion of a in a
3.999 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in z
3.999 * [taylor]: Taking taylor expansion of -0.5 in z
3.999 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in z
3.999 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
3.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.999 * [taylor]: Taking taylor expansion of (* x y) in z
3.999 * [taylor]: Taking taylor expansion of x in z
3.999 * [taylor]: Taking taylor expansion of y in z
3.999 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.999 * [taylor]: Taking taylor expansion of 9.0 in z
3.999 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.999 * [taylor]: Taking taylor expansion of (* t z) in z
3.999 * [taylor]: Taking taylor expansion of t in z
3.999 * [taylor]: Taking taylor expansion of z in z
3.999 * [taylor]: Taking taylor expansion of a in z
3.999 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in t
3.999 * [taylor]: Taking taylor expansion of -0.5 in t
3.999 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in t
3.999 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
3.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
3.999 * [taylor]: Taking taylor expansion of (* x y) in t
3.999 * [taylor]: Taking taylor expansion of x in t
3.999 * [taylor]: Taking taylor expansion of y in t
4.000 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.000 * [taylor]: Taking taylor expansion of 9.0 in t
4.000 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.000 * [taylor]: Taking taylor expansion of (* t z) in t
4.000 * [taylor]: Taking taylor expansion of t in t
4.000 * [taylor]: Taking taylor expansion of z in t
4.000 * [taylor]: Taking taylor expansion of a in t
4.000 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in y
4.000 * [taylor]: Taking taylor expansion of -0.5 in y
4.000 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in y
4.000 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
4.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.000 * [taylor]: Taking taylor expansion of (* x y) in y
4.000 * [taylor]: Taking taylor expansion of x in y
4.000 * [taylor]: Taking taylor expansion of y in y
4.000 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.000 * [taylor]: Taking taylor expansion of 9.0 in y
4.000 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.000 * [taylor]: Taking taylor expansion of (* t z) in y
4.000 * [taylor]: Taking taylor expansion of t in y
4.000 * [taylor]: Taking taylor expansion of z in y
4.000 * [taylor]: Taking taylor expansion of a in y
4.000 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
4.000 * [taylor]: Taking taylor expansion of -0.5 in x
4.000 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
4.000 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.000 * [taylor]: Taking taylor expansion of (* x y) in x
4.000 * [taylor]: Taking taylor expansion of x in x
4.000 * [taylor]: Taking taylor expansion of y in x
4.000 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.000 * [taylor]: Taking taylor expansion of 9.0 in x
4.000 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.000 * [taylor]: Taking taylor expansion of (* t z) in x
4.000 * [taylor]: Taking taylor expansion of t in x
4.000 * [taylor]: Taking taylor expansion of z in x
4.000 * [taylor]: Taking taylor expansion of a in x
4.000 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
4.000 * [taylor]: Taking taylor expansion of -0.5 in x
4.000 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
4.000 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.001 * [taylor]: Taking taylor expansion of (* x y) in x
4.001 * [taylor]: Taking taylor expansion of x in x
4.001 * [taylor]: Taking taylor expansion of y in x
4.001 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.001 * [taylor]: Taking taylor expansion of 9.0 in x
4.001 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.001 * [taylor]: Taking taylor expansion of (* t z) in x
4.001 * [taylor]: Taking taylor expansion of t in x
4.001 * [taylor]: Taking taylor expansion of z in x
4.001 * [taylor]: Taking taylor expansion of a in x
4.001 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
4.001 * [taylor]: Taking taylor expansion of -0.5 in y
4.001 * [taylor]: Taking taylor expansion of (/ a y) in y
4.001 * [taylor]: Taking taylor expansion of a in y
4.001 * [taylor]: Taking taylor expansion of y in y
4.001 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
4.001 * [taylor]: Taking taylor expansion of -0.5 in t
4.001 * [taylor]: Taking taylor expansion of a in t
4.001 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
4.002 * [taylor]: Taking taylor expansion of 4.5 in y
4.002 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
4.002 * [taylor]: Taking taylor expansion of a in y
4.002 * [taylor]: Taking taylor expansion of (* z t) in y
4.002 * [taylor]: Taking taylor expansion of z in y
4.002 * [taylor]: Taking taylor expansion of t in y
4.002 * [taylor]: Taking taylor expansion of 0 in t
4.002 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
4.002 * [taylor]: Taking taylor expansion of -0.5 in z
4.002 * [taylor]: Taking taylor expansion of a in z
4.002 * [taylor]: Taking taylor expansion of 0 in y
4.002 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
4.002 * [taylor]: Taking taylor expansion of 4.5 in t
4.002 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
4.002 * [taylor]: Taking taylor expansion of a in t
4.002 * [taylor]: Taking taylor expansion of (* z t) in t
4.002 * [taylor]: Taking taylor expansion of z in t
4.002 * [taylor]: Taking taylor expansion of t in t
4.003 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
4.003 * [taylor]: Taking taylor expansion of 4.5 in z
4.003 * [taylor]: Taking taylor expansion of (/ a z) in z
4.003 * [taylor]: Taking taylor expansion of a in z
4.003 * [taylor]: Taking taylor expansion of z in z
4.003 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
4.003 * [taylor]: Taking taylor expansion of 4.5 in a
4.003 * [taylor]: Taking taylor expansion of a in a
4.003 * [taylor]: Taking taylor expansion of 0 in t
4.003 * [taylor]: Taking taylor expansion of 0 in z
4.003 * [taylor]: Taking taylor expansion of 0 in z
4.003 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
4.003 * [taylor]: Taking taylor expansion of -0.5 in a
4.003 * [taylor]: Taking taylor expansion of a in a
4.004 * [taylor]: Taking taylor expansion of 0 in y
4.004 * [taylor]: Taking taylor expansion of 0 in t
4.004 * [taylor]: Taking taylor expansion of 0 in t
4.004 * [taylor]: Taking taylor expansion of 0 in t
4.004 * [taylor]: Taking taylor expansion of 0 in z
4.004 * [taylor]: Taking taylor expansion of 0 in z
4.004 * [taylor]: Taking taylor expansion of 0 in z
4.004 * [taylor]: Taking taylor expansion of 0 in z
4.004 * [taylor]: Taking taylor expansion of 0 in a
4.004 * [taylor]: Taking taylor expansion of 0 in a
4.004 * [taylor]: Taking taylor expansion of 0 in a
4.005 * [taylor]: Taking taylor expansion of 0 in a
4.005 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.005 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y t z) around 0
4.005 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
4.005 * [taylor]: Taking taylor expansion of (* x y) in z
4.005 * [taylor]: Taking taylor expansion of x in z
4.005 * [taylor]: Taking taylor expansion of y in z
4.005 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
4.005 * [taylor]: Taking taylor expansion of 9.0 in z
4.005 * [taylor]: Taking taylor expansion of (* t z) in z
4.005 * [taylor]: Taking taylor expansion of t in z
4.005 * [taylor]: Taking taylor expansion of z in z
4.005 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
4.005 * [taylor]: Taking taylor expansion of (* x y) in t
4.005 * [taylor]: Taking taylor expansion of x in t
4.005 * [taylor]: Taking taylor expansion of y in t
4.005 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.005 * [taylor]: Taking taylor expansion of 9.0 in t
4.005 * [taylor]: Taking taylor expansion of (* t z) in t
4.005 * [taylor]: Taking taylor expansion of t in t
4.005 * [taylor]: Taking taylor expansion of z in t
4.005 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
4.005 * [taylor]: Taking taylor expansion of (* x y) in y
4.005 * [taylor]: Taking taylor expansion of x in y
4.005 * [taylor]: Taking taylor expansion of y in y
4.005 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
4.005 * [taylor]: Taking taylor expansion of 9.0 in y
4.005 * [taylor]: Taking taylor expansion of (* t z) in y
4.005 * [taylor]: Taking taylor expansion of t in y
4.005 * [taylor]: Taking taylor expansion of z in y
4.005 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
4.005 * [taylor]: Taking taylor expansion of (* x y) in x
4.005 * [taylor]: Taking taylor expansion of x in x
4.005 * [taylor]: Taking taylor expansion of y in x
4.005 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
4.005 * [taylor]: Taking taylor expansion of 9.0 in x
4.005 * [taylor]: Taking taylor expansion of (* t z) in x
4.005 * [taylor]: Taking taylor expansion of t in x
4.005 * [taylor]: Taking taylor expansion of z in x
4.005 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
4.005 * [taylor]: Taking taylor expansion of (* x y) in x
4.005 * [taylor]: Taking taylor expansion of x in x
4.005 * [taylor]: Taking taylor expansion of y in x
4.005 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
4.005 * [taylor]: Taking taylor expansion of 9.0 in x
4.005 * [taylor]: Taking taylor expansion of (* t z) in x
4.005 * [taylor]: Taking taylor expansion of t in x
4.006 * [taylor]: Taking taylor expansion of z in x
4.006 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in y
4.006 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
4.006 * [taylor]: Taking taylor expansion of 9.0 in y
4.006 * [taylor]: Taking taylor expansion of (* t z) in y
4.006 * [taylor]: Taking taylor expansion of t in y
4.006 * [taylor]: Taking taylor expansion of z in y
4.006 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in t
4.006 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.006 * [taylor]: Taking taylor expansion of 9.0 in t
4.006 * [taylor]: Taking taylor expansion of (* t z) in t
4.006 * [taylor]: Taking taylor expansion of t in t
4.006 * [taylor]: Taking taylor expansion of z in t
4.006 * [taylor]: Taking taylor expansion of 0 in z
4.006 * [taylor]: Taking taylor expansion of y in y
4.006 * [taylor]: Taking taylor expansion of 0 in t
4.006 * [taylor]: Taking taylor expansion of 0 in z
4.006 * [taylor]: Taking taylor expansion of 0 in t
4.006 * [taylor]: Taking taylor expansion of 0 in z
4.006 * [taylor]: Taking taylor expansion of (neg (* 9.0 z)) in z
4.006 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
4.006 * [taylor]: Taking taylor expansion of 9.0 in z
4.006 * [taylor]: Taking taylor expansion of z in z
4.007 * [taylor]: Taking taylor expansion of 0 in y
4.007 * [taylor]: Taking taylor expansion of 0 in t
4.007 * [taylor]: Taking taylor expansion of 0 in z
4.007 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y t z) around 0
4.007 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
4.007 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.007 * [taylor]: Taking taylor expansion of (* x y) in z
4.007 * [taylor]: Taking taylor expansion of x in z
4.007 * [taylor]: Taking taylor expansion of y in z
4.007 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.007 * [taylor]: Taking taylor expansion of 9.0 in z
4.007 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.007 * [taylor]: Taking taylor expansion of (* t z) in z
4.007 * [taylor]: Taking taylor expansion of t in z
4.007 * [taylor]: Taking taylor expansion of z in z
4.007 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
4.007 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
4.007 * [taylor]: Taking taylor expansion of (* x y) in t
4.007 * [taylor]: Taking taylor expansion of x in t
4.007 * [taylor]: Taking taylor expansion of y in t
4.007 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.007 * [taylor]: Taking taylor expansion of 9.0 in t
4.007 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.007 * [taylor]: Taking taylor expansion of (* t z) in t
4.007 * [taylor]: Taking taylor expansion of t in t
4.007 * [taylor]: Taking taylor expansion of z in t
4.007 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
4.007 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.007 * [taylor]: Taking taylor expansion of (* x y) in y
4.007 * [taylor]: Taking taylor expansion of x in y
4.008 * [taylor]: Taking taylor expansion of y in y
4.008 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.008 * [taylor]: Taking taylor expansion of 9.0 in y
4.008 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.008 * [taylor]: Taking taylor expansion of (* t z) in y
4.008 * [taylor]: Taking taylor expansion of t in y
4.008 * [taylor]: Taking taylor expansion of z in y
4.008 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.008 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.008 * [taylor]: Taking taylor expansion of (* x y) in x
4.008 * [taylor]: Taking taylor expansion of x in x
4.008 * [taylor]: Taking taylor expansion of y in x
4.008 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.008 * [taylor]: Taking taylor expansion of 9.0 in x
4.008 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.008 * [taylor]: Taking taylor expansion of (* t z) in x
4.008 * [taylor]: Taking taylor expansion of t in x
4.008 * [taylor]: Taking taylor expansion of z in x
4.008 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.008 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.008 * [taylor]: Taking taylor expansion of (* x y) in x
4.008 * [taylor]: Taking taylor expansion of x in x
4.008 * [taylor]: Taking taylor expansion of y in x
4.008 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.008 * [taylor]: Taking taylor expansion of 9.0 in x
4.008 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.008 * [taylor]: Taking taylor expansion of (* t z) in x
4.009 * [taylor]: Taking taylor expansion of t in x
4.009 * [taylor]: Taking taylor expansion of z in x
4.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.009 * [taylor]: Taking taylor expansion of y in y
4.009 * [taylor]: Taking taylor expansion of 1 in t
4.009 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y
4.009 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.009 * [taylor]: Taking taylor expansion of 9.0 in y
4.009 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.009 * [taylor]: Taking taylor expansion of (* t z) in y
4.009 * [taylor]: Taking taylor expansion of t in y
4.009 * [taylor]: Taking taylor expansion of z in y
4.009 * [taylor]: Taking taylor expansion of 0 in t
4.009 * [taylor]: Taking taylor expansion of 1 in z
4.009 * [taylor]: Taking taylor expansion of 0 in y
4.010 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in t
4.010 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.010 * [taylor]: Taking taylor expansion of 9.0 in t
4.010 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.010 * [taylor]: Taking taylor expansion of (* t z) in t
4.010 * [taylor]: Taking taylor expansion of t in t
4.010 * [taylor]: Taking taylor expansion of z in t
4.010 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 z))) in z
4.010 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 z)) in z
4.010 * [taylor]: Taking taylor expansion of 9.0 in z
4.010 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.010 * [taylor]: Taking taylor expansion of z in z
4.010 * [taylor]: Taking taylor expansion of 0 in t
4.010 * [taylor]: Taking taylor expansion of 0 in z
4.010 * [taylor]: Taking taylor expansion of 0 in z
4.010 * [taylor]: Taking taylor expansion of 0 in y
4.010 * [taylor]: Taking taylor expansion of 0 in t
4.011 * [taylor]: Taking taylor expansion of 0 in t
4.011 * [taylor]: Taking taylor expansion of 0 in t
4.011 * [taylor]: Taking taylor expansion of 0 in z
4.011 * [taylor]: Taking taylor expansion of 0 in z
4.011 * [taylor]: Taking taylor expansion of 0 in z
4.011 * [taylor]: Taking taylor expansion of 0 in z
4.011 * [taylor]: Taking taylor expansion of 0 in y
4.011 * [taylor]: Taking taylor expansion of 0 in t
4.011 * [taylor]: Taking taylor expansion of 0 in t
4.012 * [taylor]: Taking taylor expansion of 0 in t
4.012 * [taylor]: Taking taylor expansion of 0 in t
4.012 * [taylor]: Taking taylor expansion of 0 in z
4.012 * [taylor]: Taking taylor expansion of 0 in z
4.012 * [taylor]: Taking taylor expansion of 0 in z
4.012 * [taylor]: Taking taylor expansion of 0 in z
4.012 * [taylor]: Taking taylor expansion of 0 in z
4.012 * [taylor]: Taking taylor expansion of 0 in z
4.012 * [taylor]: Taking taylor expansion of 0 in z
4.013 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y t z) around 0
4.013 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
4.013 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.013 * [taylor]: Taking taylor expansion of (* x y) in z
4.013 * [taylor]: Taking taylor expansion of x in z
4.013 * [taylor]: Taking taylor expansion of y in z
4.013 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.013 * [taylor]: Taking taylor expansion of 9.0 in z
4.013 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.013 * [taylor]: Taking taylor expansion of (* t z) in z
4.013 * [taylor]: Taking taylor expansion of t in z
4.013 * [taylor]: Taking taylor expansion of z in z
4.013 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
4.013 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
4.013 * [taylor]: Taking taylor expansion of (* x y) in t
4.013 * [taylor]: Taking taylor expansion of x in t
4.013 * [taylor]: Taking taylor expansion of y in t
4.013 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.013 * [taylor]: Taking taylor expansion of 9.0 in t
4.013 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.013 * [taylor]: Taking taylor expansion of (* t z) in t
4.013 * [taylor]: Taking taylor expansion of t in t
4.013 * [taylor]: Taking taylor expansion of z in t
4.013 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
4.013 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.013 * [taylor]: Taking taylor expansion of (* x y) in y
4.013 * [taylor]: Taking taylor expansion of x in y
4.013 * [taylor]: Taking taylor expansion of y in y
4.013 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.013 * [taylor]: Taking taylor expansion of 9.0 in y
4.013 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.013 * [taylor]: Taking taylor expansion of (* t z) in y
4.013 * [taylor]: Taking taylor expansion of t in y
4.013 * [taylor]: Taking taylor expansion of z in y
4.013 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.014 * [taylor]: Taking taylor expansion of (* x y) in x
4.014 * [taylor]: Taking taylor expansion of x in x
4.014 * [taylor]: Taking taylor expansion of y in x
4.014 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.014 * [taylor]: Taking taylor expansion of 9.0 in x
4.014 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.014 * [taylor]: Taking taylor expansion of (* t z) in x
4.014 * [taylor]: Taking taylor expansion of t in x
4.014 * [taylor]: Taking taylor expansion of z in x
4.014 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.014 * [taylor]: Taking taylor expansion of (* x y) in x
4.014 * [taylor]: Taking taylor expansion of x in x
4.014 * [taylor]: Taking taylor expansion of y in x
4.014 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.014 * [taylor]: Taking taylor expansion of 9.0 in x
4.014 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.014 * [taylor]: Taking taylor expansion of (* t z) in x
4.014 * [taylor]: Taking taylor expansion of t in x
4.014 * [taylor]: Taking taylor expansion of z in x
4.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.014 * [taylor]: Taking taylor expansion of y in y
4.014 * [taylor]: Taking taylor expansion of 1 in t
4.014 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y
4.014 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.015 * [taylor]: Taking taylor expansion of 9.0 in y
4.015 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.015 * [taylor]: Taking taylor expansion of (* t z) in y
4.015 * [taylor]: Taking taylor expansion of t in y
4.015 * [taylor]: Taking taylor expansion of z in y
4.015 * [taylor]: Taking taylor expansion of 0 in t
4.015 * [taylor]: Taking taylor expansion of 1 in z
4.015 * [taylor]: Taking taylor expansion of 0 in y
4.015 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in t
4.015 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.015 * [taylor]: Taking taylor expansion of 9.0 in t
4.015 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.015 * [taylor]: Taking taylor expansion of (* t z) in t
4.015 * [taylor]: Taking taylor expansion of t in t
4.015 * [taylor]: Taking taylor expansion of z in t
4.015 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 z))) in z
4.015 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 z)) in z
4.015 * [taylor]: Taking taylor expansion of 9.0 in z
4.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.015 * [taylor]: Taking taylor expansion of z in z
4.016 * [taylor]: Taking taylor expansion of 0 in t
4.016 * [taylor]: Taking taylor expansion of 0 in z
4.016 * [taylor]: Taking taylor expansion of 0 in z
4.016 * [taylor]: Taking taylor expansion of 0 in y
4.016 * [taylor]: Taking taylor expansion of 0 in t
4.016 * [taylor]: Taking taylor expansion of 0 in t
4.017 * [taylor]: Taking taylor expansion of 0 in t
4.017 * [taylor]: Taking taylor expansion of 0 in z
4.017 * [taylor]: Taking taylor expansion of 0 in z
4.017 * [taylor]: Taking taylor expansion of 0 in z
4.017 * [taylor]: Taking taylor expansion of 0 in z
4.017 * [taylor]: Taking taylor expansion of 0 in y
4.017 * [taylor]: Taking taylor expansion of 0 in t
4.017 * [taylor]: Taking taylor expansion of 0 in t
4.018 * [taylor]: Taking taylor expansion of 0 in t
4.018 * [taylor]: Taking taylor expansion of 0 in t
4.018 * [taylor]: Taking taylor expansion of 0 in z
4.018 * [taylor]: Taking taylor expansion of 0 in z
4.018 * [taylor]: Taking taylor expansion of 0 in z
4.018 * [taylor]: Taking taylor expansion of 0 in z
4.018 * [taylor]: Taking taylor expansion of 0 in z
4.018 * [taylor]: Taking taylor expansion of 0 in z
4.018 * [taylor]: Taking taylor expansion of 0 in z
4.019 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1)
4.019 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (t z) around 0
4.019 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
4.019 * [taylor]: Taking taylor expansion of 9.0 in z
4.019 * [taylor]: Taking taylor expansion of (* t z) in z
4.019 * [taylor]: Taking taylor expansion of t in z
4.019 * [taylor]: Taking taylor expansion of z in z
4.019 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.019 * [taylor]: Taking taylor expansion of 9.0 in t
4.019 * [taylor]: Taking taylor expansion of (* t z) in t
4.019 * [taylor]: Taking taylor expansion of t in t
4.019 * [taylor]: Taking taylor expansion of z in t
4.019 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.019 * [taylor]: Taking taylor expansion of 9.0 in t
4.019 * [taylor]: Taking taylor expansion of (* t z) in t
4.019 * [taylor]: Taking taylor expansion of t in t
4.019 * [taylor]: Taking taylor expansion of z in t
4.019 * [taylor]: Taking taylor expansion of 0 in z
4.019 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
4.019 * [taylor]: Taking taylor expansion of 9.0 in z
4.019 * [taylor]: Taking taylor expansion of z in z
4.019 * [taylor]: Taking taylor expansion of 0 in z
4.020 * [taylor]: Taking taylor expansion of 0 in z
4.020 * [taylor]: Taking taylor expansion of 0 in z
4.020 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
4.020 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
4.020 * [taylor]: Taking taylor expansion of 9.0 in z
4.020 * [taylor]: Taking taylor expansion of (* t z) in z
4.020 * [taylor]: Taking taylor expansion of t in z
4.020 * [taylor]: Taking taylor expansion of z in z
4.020 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.020 * [taylor]: Taking taylor expansion of 9.0 in t
4.020 * [taylor]: Taking taylor expansion of (* t z) in t
4.020 * [taylor]: Taking taylor expansion of t in t
4.020 * [taylor]: Taking taylor expansion of z in t
4.020 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.020 * [taylor]: Taking taylor expansion of 9.0 in t
4.020 * [taylor]: Taking taylor expansion of (* t z) in t
4.020 * [taylor]: Taking taylor expansion of t in t
4.020 * [taylor]: Taking taylor expansion of z in t
4.020 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
4.020 * [taylor]: Taking taylor expansion of 9.0 in z
4.020 * [taylor]: Taking taylor expansion of z in z
4.020 * [taylor]: Taking taylor expansion of 0 in z
4.021 * [taylor]: Taking taylor expansion of 0 in z
4.021 * [taylor]: Taking taylor expansion of 0 in z
4.021 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
4.021 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
4.021 * [taylor]: Taking taylor expansion of 9.0 in z
4.021 * [taylor]: Taking taylor expansion of (* t z) in z
4.021 * [taylor]: Taking taylor expansion of t in z
4.021 * [taylor]: Taking taylor expansion of z in z
4.021 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.021 * [taylor]: Taking taylor expansion of 9.0 in t
4.021 * [taylor]: Taking taylor expansion of (* t z) in t
4.021 * [taylor]: Taking taylor expansion of t in t
4.021 * [taylor]: Taking taylor expansion of z in t
4.021 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.021 * [taylor]: Taking taylor expansion of 9.0 in t
4.021 * [taylor]: Taking taylor expansion of (* t z) in t
4.021 * [taylor]: Taking taylor expansion of t in t
4.021 * [taylor]: Taking taylor expansion of z in t
4.022 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
4.022 * [taylor]: Taking taylor expansion of 9.0 in z
4.022 * [taylor]: Taking taylor expansion of z in z
4.022 * [taylor]: Taking taylor expansion of 0 in z
4.022 * [taylor]: Taking taylor expansion of 0 in z
4.022 * [taylor]: Taking taylor expansion of 0 in z
4.022 * * * [progress]: simplifying candidates
4.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (+ (* x y) (neg (* 9.0 (* t z))))) (+ (log a) (log 2.0)))
  (- (log (+ (* x y) (neg (* 9.0 (* t z))))) (log (* a 2.0)))
  (log (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)))
  (exp (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)))
  (/ (* (* (+ (* x y) (neg (* 9.0 (* t z)))) (+ (* x y) (neg (* 9.0 (* t z))))) (+ (* x y) (neg (* 9.0 (* t z))))) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (+ (* x y) (neg (* 9.0 (* t z)))) (+ (* x y) (neg (* 9.0 (* t z))))) (+ (* x y) (neg (* 9.0 (* t z))))) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (* (cbrt (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0))) (cbrt (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0))))
  (cbrt (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)))
  (* (* (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)) (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0))) (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)))
  (sqrt (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)))
  (sqrt (/ (+ (* x y) (neg (* 9.0 (* t z)))) (* a 2.0)))
  (neg (+ (* x y) (neg (* 9.0 (* t z)))))
  (neg (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (+ (* x y) 0) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* (cbrt (+ (* x y) (neg (* 9.0 (* t z))))) (cbrt (+ (* x y) (neg (* 9.0 (* t z)))))) a)
  (/ (cbrt (+ (* x y) (neg (* 9.0 (* t z))))) 2.0)
  (/ (sqrt (+ (* x y) (neg (* 9.0 (* t z))))) a)
  (/ (sqrt (+ (* x y) (neg (* 9.0 (* t z))))) 2.0)
  (/ 1 a)
  (/ (+ (* x y) (neg (* 9.0 (* t z)))) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (+ (* x y) (neg (* 9.0 (* t z)))))
  (/ (+ (* x y) (neg (* 9.0 (* t z)))) a)
  (/ (* a 2.0) (cbrt (+ (* x y) (neg (* 9.0 (* t z))))))
  (/ (* a 2.0) (sqrt (+ (* x y) (neg (* 9.0 (* t z))))))
  (/ (* a 2.0) (+ (* x y) (neg (* 9.0 (* t z)))))
  (* (* a 2.0) (+ (* (* x y) (* x y)) (- (* (neg (* 9.0 (* t z))) (neg (* 9.0 (* t z)))) (* (* x y) (neg (* 9.0 (* t z)))))))
  (* (* a 2.0) (- (* x y) (neg (* 9.0 (* t z)))))
  (* (exp (* x y)) (/ 1 (exp (* 9.0 (* t z)))))
  (* (exp (* x y)) (exp (neg (* 9.0 (* t z)))))
  (log (+ (* x y) (neg (* 9.0 (* t z)))))
  (exp (+ (* x y) (neg (* 9.0 (* t z)))))
  (* (cbrt (+ (* x y) (neg (* 9.0 (* t z))))) (cbrt (+ (* x y) (neg (* 9.0 (* t z))))))
  (cbrt (+ (* x y) (neg (* 9.0 (* t z)))))
  (* (* (+ (* x y) (neg (* 9.0 (* t z)))) (+ (* x y) (neg (* 9.0 (* t z))))) (+ (* x y) (neg (* 9.0 (* t z)))))
  (sqrt (+ (* x y) (neg (* 9.0 (* t z)))))
  (sqrt (+ (* x y) (neg (* 9.0 (* t z)))))
  (+ (pow (* x y) 3) (pow (neg (* 9.0 (* t z))) 3))
  (+ (* (* x y) (* x y)) (- (* (neg (* 9.0 (* t z))) (neg (* 9.0 (* t z)))) (* (* x y) (neg (* 9.0 (* t z))))))
  (- (* (* x y) (* x y)) (* (neg (* 9.0 (* t z))) (neg (* 9.0 (* t z)))))
  (- (* x y) (neg (* 9.0 (* t z))))
  (+ (* x y) 0)
  (* 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))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
4.026 * * [simplify]: iteration  0 :  118  enodes  (cost  947 )
4.045 * * [simplify]: iteration  1 :  336  enodes  (cost  876 )
4.145 * * [simplify]: iteration  2 :  1294  enodes  (cost  747 )
4.851 * * [simplify]: iteration  done :  5001  enodes  (cost  744 )
4.852 * [simplify]: Simplified to:
   (log (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (log (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (log (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (exp (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)
  (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)
  (* (cbrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0))) (cbrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0))))
  (cbrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)
  (sqrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (sqrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (- (* 9.0 (* t z)) (* x y))
  (neg (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* 9.0 (* t z)))) (cbrt (- (* x y) (* 9.0 (* t z))))) a)
  (/ (cbrt (- (* x y) (* 9.0 (* t z)))) 2.0)
  (/ (sqrt (- (* x y) (* 9.0 (* t z)))) a)
  (/ (sqrt (- (* x y) (* 9.0 (* t z)))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* 9.0 (* t z))) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* 9.0 (* t z))))
  (/ (- (* x y) (* 9.0 (* t z))) a)
  (/ a (/ (cbrt (- (* x y) (* 9.0 (* t z)))) 2.0))
  (/ (* a 2.0) (sqrt (- (* x y) (* 9.0 (* t z)))))
  (/ (* a 2.0) (- (* x y) (* 9.0 (* t z))))
  (* (- (* (* x y) (* x y)) (* (* 9.0 (* t z)) (- (neg (* 9.0 (* t z))) (* x y)))) (* a 2.0))
  (* (* 2.0 (+ (* x y) (* 9.0 (* t z)))) a)
  (exp (- (* x y) (* 9.0 (* t z))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (log (- (* x y) (* 9.0 (* t z))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (* (cbrt (- (* x y) (* 9.0 (* t z)))) (cbrt (- (* x y) (* 9.0 (* t z)))))
  (cbrt (- (* x y) (* 9.0 (* t z))))
  (pow (- (* x y) (* 9.0 (* t z))) 3)
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (- (pow (* x y) 3) (pow (* 9.0 (* t z)) 3))
  (- (* (* x y) (* x y)) (* (* 9.0 (* t z)) (- (neg (* 9.0 (* t z))) (* x y))))
  (- (* (* x y) (* x y)) (* (* 9.0 (* t z)) (* 9.0 (* t z))))
  (+ (* x y) (* 9.0 (* t z)))
  (* x y)
  (* 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))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
4.852 * * * [progress]: adding candidates to table
4.918 * * [progress]: iteration 3 / 4
4.918 * * * [progress]: picking best candidate
4.958 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))>
4.958 * * * [progress]: localizing error
4.972 * * * [progress]: generating rewritten candidates
4.972 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
4.977 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.982 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.989 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.997 * * * [progress]: generating series expansions
4.997 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
4.997 * [approximate]: Taking taylor expansion of (/ (* t z) a) in (t z a) around 0
4.997 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
4.997 * [taylor]: Taking taylor expansion of (* t z) in a
4.997 * [taylor]: Taking taylor expansion of t in a
4.997 * [taylor]: Taking taylor expansion of z in a
4.997 * [taylor]: Taking taylor expansion of a in a
4.997 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
4.997 * [taylor]: Taking taylor expansion of (* t z) in z
4.997 * [taylor]: Taking taylor expansion of t in z
4.997 * [taylor]: Taking taylor expansion of z in z
4.997 * [taylor]: Taking taylor expansion of a in z
4.997 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
4.997 * [taylor]: Taking taylor expansion of (* t z) in t
4.997 * [taylor]: Taking taylor expansion of t in t
4.998 * [taylor]: Taking taylor expansion of z in t
4.998 * [taylor]: Taking taylor expansion of a in t
4.998 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
4.998 * [taylor]: Taking taylor expansion of (* t z) in t
4.998 * [taylor]: Taking taylor expansion of t in t
4.998 * [taylor]: Taking taylor expansion of z in t
4.998 * [taylor]: Taking taylor expansion of a in t
4.998 * [taylor]: Taking taylor expansion of (/ z a) in z
4.998 * [taylor]: Taking taylor expansion of z in z
4.998 * [taylor]: Taking taylor expansion of a in z
4.998 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.998 * [taylor]: Taking taylor expansion of a in a
4.998 * [taylor]: Taking taylor expansion of 0 in z
4.998 * [taylor]: Taking taylor expansion of 0 in a
4.998 * [taylor]: Taking taylor expansion of 0 in a
4.998 * [taylor]: Taking taylor expansion of 0 in z
4.998 * [taylor]: Taking taylor expansion of 0 in a
4.998 * [taylor]: Taking taylor expansion of 0 in a
4.998 * [taylor]: Taking taylor expansion of 0 in a
4.999 * [taylor]: Taking taylor expansion of 0 in z
4.999 * [taylor]: Taking taylor expansion of 0 in a
4.999 * [taylor]: Taking taylor expansion of 0 in a
4.999 * [taylor]: Taking taylor expansion of 0 in a
4.999 * [taylor]: Taking taylor expansion of 0 in a
4.999 * [approximate]: Taking taylor expansion of (/ a (* t z)) in (t z a) around 0
4.999 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
4.999 * [taylor]: Taking taylor expansion of a in a
4.999 * [taylor]: Taking taylor expansion of (* t z) in a
4.999 * [taylor]: Taking taylor expansion of t in a
4.999 * [taylor]: Taking taylor expansion of z in a
4.999 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
4.999 * [taylor]: Taking taylor expansion of a in z
4.999 * [taylor]: Taking taylor expansion of (* t z) in z
4.999 * [taylor]: Taking taylor expansion of t in z
4.999 * [taylor]: Taking taylor expansion of z in z
4.999 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
4.999 * [taylor]: Taking taylor expansion of a in t
4.999 * [taylor]: Taking taylor expansion of (* t z) in t
4.999 * [taylor]: Taking taylor expansion of t in t
4.999 * [taylor]: Taking taylor expansion of z in t
4.999 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
4.999 * [taylor]: Taking taylor expansion of a in t
5.000 * [taylor]: Taking taylor expansion of (* t z) in t
5.000 * [taylor]: Taking taylor expansion of t in t
5.000 * [taylor]: Taking taylor expansion of z in t
5.000 * [taylor]: Taking taylor expansion of (/ a z) in z
5.000 * [taylor]: Taking taylor expansion of a in z
5.000 * [taylor]: Taking taylor expansion of z in z
5.000 * [taylor]: Taking taylor expansion of a in a
5.000 * [taylor]: Taking taylor expansion of 0 in z
5.000 * [taylor]: Taking taylor expansion of 0 in a
5.000 * [taylor]: Taking taylor expansion of 0 in z
5.000 * [taylor]: Taking taylor expansion of 0 in a
5.000 * [taylor]: Taking taylor expansion of 0 in a
5.000 * [approximate]: Taking taylor expansion of (* -1 (/ a (* t z))) in (t z a) around 0
5.000 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in a
5.000 * [taylor]: Taking taylor expansion of -1 in a
5.000 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
5.000 * [taylor]: Taking taylor expansion of a in a
5.001 * [taylor]: Taking taylor expansion of (* t z) in a
5.001 * [taylor]: Taking taylor expansion of t in a
5.001 * [taylor]: Taking taylor expansion of z in a
5.001 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in z
5.001 * [taylor]: Taking taylor expansion of -1 in z
5.001 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
5.001 * [taylor]: Taking taylor expansion of a in z
5.001 * [taylor]: Taking taylor expansion of (* t z) in z
5.001 * [taylor]: Taking taylor expansion of t in z
5.001 * [taylor]: Taking taylor expansion of z in z
5.001 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in t
5.001 * [taylor]: Taking taylor expansion of -1 in t
5.001 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
5.001 * [taylor]: Taking taylor expansion of a in t
5.001 * [taylor]: Taking taylor expansion of (* t z) in t
5.001 * [taylor]: Taking taylor expansion of t in t
5.001 * [taylor]: Taking taylor expansion of z in t
5.001 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in t
5.001 * [taylor]: Taking taylor expansion of -1 in t
5.001 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
5.001 * [taylor]: Taking taylor expansion of a in t
5.001 * [taylor]: Taking taylor expansion of (* t z) in t
5.001 * [taylor]: Taking taylor expansion of t in t
5.001 * [taylor]: Taking taylor expansion of z in t
5.001 * [taylor]: Taking taylor expansion of (* -1 (/ a z)) in z
5.001 * [taylor]: Taking taylor expansion of -1 in z
5.001 * [taylor]: Taking taylor expansion of (/ a z) in z
5.001 * [taylor]: Taking taylor expansion of a in z
5.001 * [taylor]: Taking taylor expansion of z in z
5.001 * [taylor]: Taking taylor expansion of (* -1 a) in a
5.001 * [taylor]: Taking taylor expansion of -1 in a
5.001 * [taylor]: Taking taylor expansion of a in a
5.002 * [taylor]: Taking taylor expansion of 0 in z
5.002 * [taylor]: Taking taylor expansion of 0 in a
5.002 * [taylor]: Taking taylor expansion of 0 in z
5.002 * [taylor]: Taking taylor expansion of 0 in a
5.002 * [taylor]: Taking taylor expansion of 0 in a
5.002 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.002 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (x y a) around 0
5.002 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
5.002 * [taylor]: Taking taylor expansion of (* x y) in a
5.002 * [taylor]: Taking taylor expansion of x in a
5.002 * [taylor]: Taking taylor expansion of y in a
5.002 * [taylor]: Taking taylor expansion of a in a
5.002 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
5.002 * [taylor]: Taking taylor expansion of (* x y) in y
5.002 * [taylor]: Taking taylor expansion of x in y
5.002 * [taylor]: Taking taylor expansion of y in y
5.003 * [taylor]: Taking taylor expansion of a in y
5.003 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.003 * [taylor]: Taking taylor expansion of (* x y) in x
5.003 * [taylor]: Taking taylor expansion of x in x
5.003 * [taylor]: Taking taylor expansion of y in x
5.003 * [taylor]: Taking taylor expansion of a in x
5.003 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.003 * [taylor]: Taking taylor expansion of (* x y) in x
5.003 * [taylor]: Taking taylor expansion of x in x
5.003 * [taylor]: Taking taylor expansion of y in x
5.003 * [taylor]: Taking taylor expansion of a in x
5.003 * [taylor]: Taking taylor expansion of (/ y a) in y
5.003 * [taylor]: Taking taylor expansion of y in y
5.003 * [taylor]: Taking taylor expansion of a in y
5.003 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.003 * [taylor]: Taking taylor expansion of a in a
5.003 * [taylor]: Taking taylor expansion of 0 in y
5.003 * [taylor]: Taking taylor expansion of 0 in a
5.003 * [taylor]: Taking taylor expansion of 0 in a
5.003 * [taylor]: Taking taylor expansion of 0 in y
5.003 * [taylor]: Taking taylor expansion of 0 in a
5.003 * [taylor]: Taking taylor expansion of 0 in a
5.004 * [taylor]: Taking taylor expansion of 0 in a
5.004 * [taylor]: Taking taylor expansion of 0 in y
5.004 * [taylor]: Taking taylor expansion of 0 in a
5.004 * [taylor]: Taking taylor expansion of 0 in a
5.004 * [taylor]: Taking taylor expansion of 0 in a
5.004 * [taylor]: Taking taylor expansion of 0 in a
5.004 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (x y a) around 0
5.004 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.004 * [taylor]: Taking taylor expansion of a in a
5.004 * [taylor]: Taking taylor expansion of (* x y) in a
5.004 * [taylor]: Taking taylor expansion of x in a
5.004 * [taylor]: Taking taylor expansion of y in a
5.004 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.004 * [taylor]: Taking taylor expansion of a in y
5.004 * [taylor]: Taking taylor expansion of (* x y) in y
5.004 * [taylor]: Taking taylor expansion of x in y
5.004 * [taylor]: Taking taylor expansion of y in y
5.004 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.004 * [taylor]: Taking taylor expansion of a in x
5.004 * [taylor]: Taking taylor expansion of (* x y) in x
5.005 * [taylor]: Taking taylor expansion of x in x
5.005 * [taylor]: Taking taylor expansion of y in x
5.005 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.005 * [taylor]: Taking taylor expansion of a in x
5.005 * [taylor]: Taking taylor expansion of (* x y) in x
5.005 * [taylor]: Taking taylor expansion of x in x
5.005 * [taylor]: Taking taylor expansion of y in x
5.005 * [taylor]: Taking taylor expansion of (/ a y) in y
5.005 * [taylor]: Taking taylor expansion of a in y
5.005 * [taylor]: Taking taylor expansion of y in y
5.005 * [taylor]: Taking taylor expansion of a in a
5.005 * [taylor]: Taking taylor expansion of 0 in y
5.005 * [taylor]: Taking taylor expansion of 0 in a
5.005 * [taylor]: Taking taylor expansion of 0 in y
5.005 * [taylor]: Taking taylor expansion of 0 in a
5.005 * [taylor]: Taking taylor expansion of 0 in a
5.006 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (x y a) around 0
5.006 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a
5.006 * [taylor]: Taking taylor expansion of -1 in a
5.006 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.006 * [taylor]: Taking taylor expansion of a in a
5.006 * [taylor]: Taking taylor expansion of (* x y) in a
5.006 * [taylor]: Taking taylor expansion of x in a
5.006 * [taylor]: Taking taylor expansion of y in a
5.006 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
5.006 * [taylor]: Taking taylor expansion of -1 in y
5.006 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.006 * [taylor]: Taking taylor expansion of a in y
5.006 * [taylor]: Taking taylor expansion of (* x y) in y
5.006 * [taylor]: Taking taylor expansion of x in y
5.006 * [taylor]: Taking taylor expansion of y in y
5.006 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
5.006 * [taylor]: Taking taylor expansion of -1 in x
5.006 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.006 * [taylor]: Taking taylor expansion of a in x
5.006 * [taylor]: Taking taylor expansion of (* x y) in x
5.006 * [taylor]: Taking taylor expansion of x in x
5.006 * [taylor]: Taking taylor expansion of y in x
5.006 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
5.006 * [taylor]: Taking taylor expansion of -1 in x
5.006 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.006 * [taylor]: Taking taylor expansion of a in x
5.006 * [taylor]: Taking taylor expansion of (* x y) in x
5.006 * [taylor]: Taking taylor expansion of x in x
5.006 * [taylor]: Taking taylor expansion of y in x
5.006 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
5.006 * [taylor]: Taking taylor expansion of -1 in y
5.006 * [taylor]: Taking taylor expansion of (/ a y) in y
5.006 * [taylor]: Taking taylor expansion of a in y
5.006 * [taylor]: Taking taylor expansion of y in y
5.006 * [taylor]: Taking taylor expansion of (* -1 a) in a
5.006 * [taylor]: Taking taylor expansion of -1 in a
5.006 * [taylor]: Taking taylor expansion of a in a
5.007 * [taylor]: Taking taylor expansion of 0 in y
5.007 * [taylor]: Taking taylor expansion of 0 in a
5.007 * [taylor]: Taking taylor expansion of 0 in y
5.007 * [taylor]: Taking taylor expansion of 0 in a
5.007 * [taylor]: Taking taylor expansion of 0 in a
5.007 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.007 * [approximate]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in (t z a) around 0
5.007 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
5.007 * [taylor]: Taking taylor expansion of 4.5 in a
5.007 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
5.007 * [taylor]: Taking taylor expansion of (* t z) in a
5.007 * [taylor]: Taking taylor expansion of t in a
5.008 * [taylor]: Taking taylor expansion of z in a
5.008 * [taylor]: Taking taylor expansion of a in a
5.008 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
5.008 * [taylor]: Taking taylor expansion of 4.5 in z
5.008 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
5.008 * [taylor]: Taking taylor expansion of (* t z) in z
5.008 * [taylor]: Taking taylor expansion of t in z
5.008 * [taylor]: Taking taylor expansion of z in z
5.008 * [taylor]: Taking taylor expansion of a in z
5.008 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
5.008 * [taylor]: Taking taylor expansion of 4.5 in t
5.008 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.008 * [taylor]: Taking taylor expansion of (* t z) in t
5.008 * [taylor]: Taking taylor expansion of t in t
5.008 * [taylor]: Taking taylor expansion of z in t
5.008 * [taylor]: Taking taylor expansion of a in t
5.008 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
5.008 * [taylor]: Taking taylor expansion of 4.5 in t
5.008 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.008 * [taylor]: Taking taylor expansion of (* t z) in t
5.008 * [taylor]: Taking taylor expansion of t in t
5.008 * [taylor]: Taking taylor expansion of z in t
5.008 * [taylor]: Taking taylor expansion of a in t
5.008 * [taylor]: Taking taylor expansion of (* 4.5 (/ z a)) in z
5.008 * [taylor]: Taking taylor expansion of 4.5 in z
5.008 * [taylor]: Taking taylor expansion of (/ z a) in z
5.008 * [taylor]: Taking taylor expansion of z in z
5.008 * [taylor]: Taking taylor expansion of a in z
5.008 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
5.008 * [taylor]: Taking taylor expansion of 4.5 in a
5.008 * [taylor]: Taking taylor expansion of a in a
5.009 * [taylor]: Taking taylor expansion of 0 in z
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [taylor]: Taking taylor expansion of 0 in z
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [taylor]: Taking taylor expansion of 0 in z
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.009 * [taylor]: Taking taylor expansion of 0 in a
5.010 * [taylor]: Taking taylor expansion of 0 in a
5.010 * [approximate]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in (t z a) around 0
5.010 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.010 * [taylor]: Taking taylor expansion of 4.5 in a
5.010 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.010 * [taylor]: Taking taylor expansion of a in a
5.010 * [taylor]: Taking taylor expansion of (* z t) in a
5.010 * [taylor]: Taking taylor expansion of z in a
5.010 * [taylor]: Taking taylor expansion of t in a
5.010 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.010 * [taylor]: Taking taylor expansion of 4.5 in z
5.010 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.010 * [taylor]: Taking taylor expansion of a in z
5.010 * [taylor]: Taking taylor expansion of (* z t) in z
5.010 * [taylor]: Taking taylor expansion of z in z
5.010 * [taylor]: Taking taylor expansion of t in z
5.010 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.010 * [taylor]: Taking taylor expansion of 4.5 in t
5.010 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.010 * [taylor]: Taking taylor expansion of a in t
5.010 * [taylor]: Taking taylor expansion of (* z t) in t
5.010 * [taylor]: Taking taylor expansion of z in t
5.010 * [taylor]: Taking taylor expansion of t in t
5.010 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.010 * [taylor]: Taking taylor expansion of 4.5 in t
5.010 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.010 * [taylor]: Taking taylor expansion of a in t
5.010 * [taylor]: Taking taylor expansion of (* z t) in t
5.010 * [taylor]: Taking taylor expansion of z in t
5.010 * [taylor]: Taking taylor expansion of t in t
5.011 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
5.011 * [taylor]: Taking taylor expansion of 4.5 in z
5.011 * [taylor]: Taking taylor expansion of (/ a z) in z
5.011 * [taylor]: Taking taylor expansion of a in z
5.011 * [taylor]: Taking taylor expansion of z in z
5.011 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
5.011 * [taylor]: Taking taylor expansion of 4.5 in a
5.011 * [taylor]: Taking taylor expansion of a in a
5.011 * [taylor]: Taking taylor expansion of 0 in z
5.011 * [taylor]: Taking taylor expansion of 0 in a
5.011 * [taylor]: Taking taylor expansion of 0 in z
5.011 * [taylor]: Taking taylor expansion of 0 in a
5.011 * [taylor]: Taking taylor expansion of 0 in a
5.012 * [approximate]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in (t z a) around 0
5.012 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in a
5.012 * [taylor]: Taking taylor expansion of -4.5 in a
5.012 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.012 * [taylor]: Taking taylor expansion of a in a
5.012 * [taylor]: Taking taylor expansion of (* z t) in a
5.012 * [taylor]: Taking taylor expansion of z in a
5.012 * [taylor]: Taking taylor expansion of t in a
5.012 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
5.012 * [taylor]: Taking taylor expansion of -4.5 in z
5.012 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.012 * [taylor]: Taking taylor expansion of a in z
5.012 * [taylor]: Taking taylor expansion of (* z t) in z
5.012 * [taylor]: Taking taylor expansion of z in z
5.012 * [taylor]: Taking taylor expansion of t in z
5.012 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
5.012 * [taylor]: Taking taylor expansion of -4.5 in t
5.012 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.012 * [taylor]: Taking taylor expansion of a in t
5.012 * [taylor]: Taking taylor expansion of (* z t) in t
5.012 * [taylor]: Taking taylor expansion of z in t
5.012 * [taylor]: Taking taylor expansion of t in t
5.012 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
5.012 * [taylor]: Taking taylor expansion of -4.5 in t
5.012 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.012 * [taylor]: Taking taylor expansion of a in t
5.012 * [taylor]: Taking taylor expansion of (* z t) in t
5.012 * [taylor]: Taking taylor expansion of z in t
5.012 * [taylor]: Taking taylor expansion of t in t
5.012 * [taylor]: Taking taylor expansion of (* -4.5 (/ a z)) in z
5.012 * [taylor]: Taking taylor expansion of -4.5 in z
5.012 * [taylor]: Taking taylor expansion of (/ a z) in z
5.012 * [taylor]: Taking taylor expansion of a in z
5.013 * [taylor]: Taking taylor expansion of z in z
5.013 * [taylor]: Taking taylor expansion of (* -4.5 a) in a
5.013 * [taylor]: Taking taylor expansion of -4.5 in a
5.013 * [taylor]: Taking taylor expansion of a in a
5.013 * [taylor]: Taking taylor expansion of 0 in z
5.013 * [taylor]: Taking taylor expansion of 0 in a
5.013 * [taylor]: Taking taylor expansion of 0 in z
5.013 * [taylor]: Taking taylor expansion of 0 in a
5.013 * [taylor]: Taking taylor expansion of 0 in a
5.013 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.014 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in (x y a t z) around 0
5.014 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in z
5.014 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in z
5.014 * [taylor]: Taking taylor expansion of 0.5 in z
5.014 * [taylor]: Taking taylor expansion of (/ (* x y) a) in z
5.014 * [taylor]: Taking taylor expansion of (* x y) in z
5.014 * [taylor]: Taking taylor expansion of x in z
5.014 * [taylor]: Taking taylor expansion of y in z
5.014 * [taylor]: Taking taylor expansion of a in z
5.014 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
5.014 * [taylor]: Taking taylor expansion of 4.5 in z
5.014 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
5.014 * [taylor]: Taking taylor expansion of (* t z) in z
5.014 * [taylor]: Taking taylor expansion of t in z
5.014 * [taylor]: Taking taylor expansion of z in z
5.014 * [taylor]: Taking taylor expansion of a in z
5.014 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in t
5.014 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in t
5.014 * [taylor]: Taking taylor expansion of 0.5 in t
5.014 * [taylor]: Taking taylor expansion of (/ (* x y) a) in t
5.014 * [taylor]: Taking taylor expansion of (* x y) in t
5.014 * [taylor]: Taking taylor expansion of x in t
5.014 * [taylor]: Taking taylor expansion of y in t
5.014 * [taylor]: Taking taylor expansion of a in t
5.014 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
5.014 * [taylor]: Taking taylor expansion of 4.5 in t
5.014 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.014 * [taylor]: Taking taylor expansion of (* t z) in t
5.014 * [taylor]: Taking taylor expansion of t in t
5.014 * [taylor]: Taking taylor expansion of z in t
5.014 * [taylor]: Taking taylor expansion of a in t
5.014 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in a
5.014 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in a
5.014 * [taylor]: Taking taylor expansion of 0.5 in a
5.014 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
5.014 * [taylor]: Taking taylor expansion of (* x y) in a
5.015 * [taylor]: Taking taylor expansion of x in a
5.015 * [taylor]: Taking taylor expansion of y in a
5.015 * [taylor]: Taking taylor expansion of a in a
5.015 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
5.015 * [taylor]: Taking taylor expansion of 4.5 in a
5.015 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
5.015 * [taylor]: Taking taylor expansion of (* t z) in a
5.015 * [taylor]: Taking taylor expansion of t in a
5.015 * [taylor]: Taking taylor expansion of z in a
5.015 * [taylor]: Taking taylor expansion of a in a
5.015 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
5.015 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
5.015 * [taylor]: Taking taylor expansion of 0.5 in y
5.015 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
5.015 * [taylor]: Taking taylor expansion of (* x y) in y
5.015 * [taylor]: Taking taylor expansion of x in y
5.015 * [taylor]: Taking taylor expansion of y in y
5.015 * [taylor]: Taking taylor expansion of a in y
5.015 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
5.015 * [taylor]: Taking taylor expansion of 4.5 in y
5.015 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
5.015 * [taylor]: Taking taylor expansion of (* t z) in y
5.015 * [taylor]: Taking taylor expansion of t in y
5.015 * [taylor]: Taking taylor expansion of z in y
5.015 * [taylor]: Taking taylor expansion of a in y
5.015 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in x
5.015 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
5.015 * [taylor]: Taking taylor expansion of 0.5 in x
5.015 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.015 * [taylor]: Taking taylor expansion of (* x y) in x
5.015 * [taylor]: Taking taylor expansion of x in x
5.015 * [taylor]: Taking taylor expansion of y in x
5.015 * [taylor]: Taking taylor expansion of a in x
5.015 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
5.015 * [taylor]: Taking taylor expansion of 4.5 in x
5.015 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
5.015 * [taylor]: Taking taylor expansion of (* t z) in x
5.015 * [taylor]: Taking taylor expansion of t in x
5.015 * [taylor]: Taking taylor expansion of z in x
5.015 * [taylor]: Taking taylor expansion of a in x
5.016 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in x
5.016 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
5.016 * [taylor]: Taking taylor expansion of 0.5 in x
5.016 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.016 * [taylor]: Taking taylor expansion of (* x y) in x
5.016 * [taylor]: Taking taylor expansion of x in x
5.016 * [taylor]: Taking taylor expansion of y in x
5.016 * [taylor]: Taking taylor expansion of a in x
5.016 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
5.016 * [taylor]: Taking taylor expansion of 4.5 in x
5.016 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
5.016 * [taylor]: Taking taylor expansion of (* t z) in x
5.016 * [taylor]: Taking taylor expansion of t in x
5.016 * [taylor]: Taking taylor expansion of z in x
5.016 * [taylor]: Taking taylor expansion of a in x
5.016 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in y
5.016 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
5.016 * [taylor]: Taking taylor expansion of 4.5 in y
5.016 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
5.016 * [taylor]: Taking taylor expansion of (* t z) in y
5.016 * [taylor]: Taking taylor expansion of t in y
5.016 * [taylor]: Taking taylor expansion of z in y
5.016 * [taylor]: Taking taylor expansion of a in y
5.016 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in a
5.016 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
5.016 * [taylor]: Taking taylor expansion of 4.5 in a
5.016 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
5.016 * [taylor]: Taking taylor expansion of (* t z) in a
5.017 * [taylor]: Taking taylor expansion of t in a
5.017 * [taylor]: Taking taylor expansion of z in a
5.017 * [taylor]: Taking taylor expansion of a in a
5.017 * [taylor]: Taking taylor expansion of (neg (* 4.5 (* t z))) in t
5.017 * [taylor]: Taking taylor expansion of (* 4.5 (* t z)) in t
5.017 * [taylor]: Taking taylor expansion of 4.5 in t
5.017 * [taylor]: Taking taylor expansion of (* t z) in t
5.017 * [taylor]: Taking taylor expansion of t in t
5.017 * [taylor]: Taking taylor expansion of z in t
5.017 * [taylor]: Taking taylor expansion of 0 in z
5.017 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
5.017 * [taylor]: Taking taylor expansion of 0.5 in y
5.017 * [taylor]: Taking taylor expansion of (/ y a) in y
5.017 * [taylor]: Taking taylor expansion of y in y
5.017 * [taylor]: Taking taylor expansion of a in y
5.017 * [taylor]: Taking taylor expansion of 0 in a
5.017 * [taylor]: Taking taylor expansion of 0 in t
5.017 * [taylor]: Taking taylor expansion of 0 in z
5.018 * [taylor]: Taking taylor expansion of (neg (* 4.5 z)) in z
5.018 * [taylor]: Taking taylor expansion of (* 4.5 z) in z
5.018 * [taylor]: Taking taylor expansion of 4.5 in z
5.018 * [taylor]: Taking taylor expansion of z in z
5.018 * [taylor]: Taking taylor expansion of 0 in y
5.018 * [taylor]: Taking taylor expansion of 0 in a
5.018 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
5.018 * [taylor]: Taking taylor expansion of 0.5 in a
5.018 * [taylor]: Taking taylor expansion of a in a
5.018 * [taylor]: Taking taylor expansion of 0.5 in t
5.018 * [taylor]: Taking taylor expansion of 0.5 in z
5.018 * [taylor]: Taking taylor expansion of 0 in a
5.018 * [taylor]: Taking taylor expansion of 0 in t
5.018 * [taylor]: Taking taylor expansion of 0 in z
5.019 * [taylor]: Taking taylor expansion of 0 in t
5.019 * [taylor]: Taking taylor expansion of 0 in z
5.019 * [taylor]: Taking taylor expansion of 0 in z
5.019 * [taylor]: Taking taylor expansion of 0 in z
5.019 * [taylor]: Taking taylor expansion of 0 in y
5.019 * [taylor]: Taking taylor expansion of 0 in a
5.019 * [taylor]: Taking taylor expansion of 0 in a
5.019 * [taylor]: Taking taylor expansion of 0 in a
5.020 * [taylor]: Taking taylor expansion of 0 in a
5.020 * [taylor]: Taking taylor expansion of 0 in t
5.020 * [taylor]: Taking taylor expansion of 0 in z
5.020 * [taylor]: Taking taylor expansion of 0 in t
5.020 * [taylor]: Taking taylor expansion of 0 in z
5.020 * [taylor]: Taking taylor expansion of 0 in t
5.020 * [taylor]: Taking taylor expansion of 0 in z
5.020 * [taylor]: Taking taylor expansion of 0 in t
5.020 * [taylor]: Taking taylor expansion of 0 in z
5.020 * [taylor]: Taking taylor expansion of 0 in t
5.020 * [taylor]: Taking taylor expansion of 0 in z
5.021 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in (x y a t z) around 0
5.021 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in z
5.021 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
5.021 * [taylor]: Taking taylor expansion of 0.5 in z
5.021 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
5.021 * [taylor]: Taking taylor expansion of a in z
5.021 * [taylor]: Taking taylor expansion of (* x y) in z
5.021 * [taylor]: Taking taylor expansion of x in z
5.021 * [taylor]: Taking taylor expansion of y in z
5.021 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.021 * [taylor]: Taking taylor expansion of 4.5 in z
5.021 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.021 * [taylor]: Taking taylor expansion of a in z
5.021 * [taylor]: Taking taylor expansion of (* z t) in z
5.021 * [taylor]: Taking taylor expansion of z in z
5.021 * [taylor]: Taking taylor expansion of t in z
5.021 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in t
5.021 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
5.021 * [taylor]: Taking taylor expansion of 0.5 in t
5.021 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
5.021 * [taylor]: Taking taylor expansion of a in t
5.021 * [taylor]: Taking taylor expansion of (* x y) in t
5.021 * [taylor]: Taking taylor expansion of x in t
5.021 * [taylor]: Taking taylor expansion of y in t
5.021 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.021 * [taylor]: Taking taylor expansion of 4.5 in t
5.021 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.021 * [taylor]: Taking taylor expansion of a in t
5.021 * [taylor]: Taking taylor expansion of (* z t) in t
5.021 * [taylor]: Taking taylor expansion of z in t
5.021 * [taylor]: Taking taylor expansion of t in t
5.021 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in a
5.021 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
5.021 * [taylor]: Taking taylor expansion of 0.5 in a
5.021 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.021 * [taylor]: Taking taylor expansion of a in a
5.022 * [taylor]: Taking taylor expansion of (* x y) in a
5.022 * [taylor]: Taking taylor expansion of x in a
5.022 * [taylor]: Taking taylor expansion of y in a
5.022 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.022 * [taylor]: Taking taylor expansion of 4.5 in a
5.022 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.022 * [taylor]: Taking taylor expansion of a in a
5.022 * [taylor]: Taking taylor expansion of (* z t) in a
5.022 * [taylor]: Taking taylor expansion of z in a
5.022 * [taylor]: Taking taylor expansion of t in a
5.022 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
5.022 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
5.022 * [taylor]: Taking taylor expansion of 0.5 in y
5.022 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.022 * [taylor]: Taking taylor expansion of a in y
5.022 * [taylor]: Taking taylor expansion of (* x y) in y
5.022 * [taylor]: Taking taylor expansion of x in y
5.022 * [taylor]: Taking taylor expansion of y in y
5.022 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.022 * [taylor]: Taking taylor expansion of 4.5 in y
5.022 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.022 * [taylor]: Taking taylor expansion of a in y
5.022 * [taylor]: Taking taylor expansion of (* z t) in y
5.022 * [taylor]: Taking taylor expansion of z in y
5.022 * [taylor]: Taking taylor expansion of t in y
5.022 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in x
5.022 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.022 * [taylor]: Taking taylor expansion of 0.5 in x
5.022 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.022 * [taylor]: Taking taylor expansion of a in x
5.022 * [taylor]: Taking taylor expansion of (* x y) in x
5.022 * [taylor]: Taking taylor expansion of x in x
5.022 * [taylor]: Taking taylor expansion of y in x
5.022 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.022 * [taylor]: Taking taylor expansion of 4.5 in x
5.022 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.022 * [taylor]: Taking taylor expansion of a in x
5.022 * [taylor]: Taking taylor expansion of (* z t) in x
5.022 * [taylor]: Taking taylor expansion of z in x
5.022 * [taylor]: Taking taylor expansion of t in x
5.022 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in x
5.023 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.023 * [taylor]: Taking taylor expansion of 0.5 in x
5.023 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.023 * [taylor]: Taking taylor expansion of a in x
5.023 * [taylor]: Taking taylor expansion of (* x y) in x
5.023 * [taylor]: Taking taylor expansion of x in x
5.023 * [taylor]: Taking taylor expansion of y in x
5.023 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.023 * [taylor]: Taking taylor expansion of 4.5 in x
5.023 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.023 * [taylor]: Taking taylor expansion of a in x
5.023 * [taylor]: Taking taylor expansion of (* z t) in x
5.023 * [taylor]: Taking taylor expansion of z in x
5.023 * [taylor]: Taking taylor expansion of t in x
5.023 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
5.023 * [taylor]: Taking taylor expansion of 0.5 in y
5.023 * [taylor]: Taking taylor expansion of (/ a y) in y
5.023 * [taylor]: Taking taylor expansion of a in y
5.023 * [taylor]: Taking taylor expansion of y in y
5.023 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
5.023 * [taylor]: Taking taylor expansion of 0.5 in a
5.023 * [taylor]: Taking taylor expansion of a in a
5.023 * [taylor]: Taking taylor expansion of 0.5 in t
5.023 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in y
5.024 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.024 * [taylor]: Taking taylor expansion of 4.5 in y
5.024 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.024 * [taylor]: Taking taylor expansion of a in y
5.024 * [taylor]: Taking taylor expansion of (* z t) in y
5.024 * [taylor]: Taking taylor expansion of z in y
5.024 * [taylor]: Taking taylor expansion of t in y
5.024 * [taylor]: Taking taylor expansion of 0 in a
5.024 * [taylor]: Taking taylor expansion of 0 in t
5.024 * [taylor]: Taking taylor expansion of 0 in t
5.024 * [taylor]: Taking taylor expansion of 0.5 in z
5.024 * [taylor]: Taking taylor expansion of 0 in y
5.024 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in a
5.024 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.024 * [taylor]: Taking taylor expansion of 4.5 in a
5.024 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.024 * [taylor]: Taking taylor expansion of a in a
5.024 * [taylor]: Taking taylor expansion of (* z t) in a
5.024 * [taylor]: Taking taylor expansion of z in a
5.024 * [taylor]: Taking taylor expansion of t in a
5.025 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 (* t z)))) in t
5.025 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* t z))) in t
5.025 * [taylor]: Taking taylor expansion of 4.5 in t
5.025 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
5.025 * [taylor]: Taking taylor expansion of (* t z) in t
5.025 * [taylor]: Taking taylor expansion of t in t
5.025 * [taylor]: Taking taylor expansion of z in t
5.025 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 z))) in z
5.025 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 z)) in z
5.025 * [taylor]: Taking taylor expansion of 4.5 in z
5.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.025 * [taylor]: Taking taylor expansion of z in z
5.025 * [taylor]: Taking taylor expansion of 0 in a
5.025 * [taylor]: Taking taylor expansion of 0 in t
5.025 * [taylor]: Taking taylor expansion of 0 in t
5.025 * [taylor]: Taking taylor expansion of 0 in t
5.025 * [taylor]: Taking taylor expansion of 0 in z
5.025 * [taylor]: Taking taylor expansion of 0 in z
5.025 * [taylor]: Taking taylor expansion of 0 in z
5.026 * [taylor]: Taking taylor expansion of 0 in y
5.026 * [taylor]: Taking taylor expansion of 0 in a
5.026 * [taylor]: Taking taylor expansion of 0 in t
5.026 * [taylor]: Taking taylor expansion of 0 in a
5.026 * [taylor]: Taking taylor expansion of 0 in t
5.026 * [taylor]: Taking taylor expansion of 0 in a
5.026 * [taylor]: Taking taylor expansion of 0 in t
5.026 * [taylor]: Taking taylor expansion of 0 in t
5.026 * [taylor]: Taking taylor expansion of 0 in t
5.026 * [taylor]: Taking taylor expansion of 0 in t
5.027 * [taylor]: Taking taylor expansion of 0 in t
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.028 * [taylor]: Taking taylor expansion of 0 in y
5.028 * [taylor]: Taking taylor expansion of 0 in a
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.028 * [taylor]: Taking taylor expansion of 0 in a
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.028 * [taylor]: Taking taylor expansion of 0 in a
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in a
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.029 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [approximate]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in (x y a t z) around 0
5.030 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in z
5.031 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.031 * [taylor]: Taking taylor expansion of 4.5 in z
5.031 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.031 * [taylor]: Taking taylor expansion of a in z
5.031 * [taylor]: Taking taylor expansion of (* z t) in z
5.031 * [taylor]: Taking taylor expansion of z in z
5.031 * [taylor]: Taking taylor expansion of t in z
5.031 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
5.031 * [taylor]: Taking taylor expansion of 0.5 in z
5.031 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
5.031 * [taylor]: Taking taylor expansion of a in z
5.031 * [taylor]: Taking taylor expansion of (* x y) in z
5.031 * [taylor]: Taking taylor expansion of x in z
5.031 * [taylor]: Taking taylor expansion of y in z
5.031 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in t
5.031 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.031 * [taylor]: Taking taylor expansion of 4.5 in t
5.031 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.031 * [taylor]: Taking taylor expansion of a in t
5.031 * [taylor]: Taking taylor expansion of (* z t) in t
5.031 * [taylor]: Taking taylor expansion of z in t
5.031 * [taylor]: Taking taylor expansion of t in t
5.031 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
5.031 * [taylor]: Taking taylor expansion of 0.5 in t
5.031 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
5.031 * [taylor]: Taking taylor expansion of a in t
5.031 * [taylor]: Taking taylor expansion of (* x y) in t
5.031 * [taylor]: Taking taylor expansion of x in t
5.031 * [taylor]: Taking taylor expansion of y in t
5.031 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in a
5.031 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.031 * [taylor]: Taking taylor expansion of 4.5 in a
5.031 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.031 * [taylor]: Taking taylor expansion of a in a
5.031 * [taylor]: Taking taylor expansion of (* z t) in a
5.031 * [taylor]: Taking taylor expansion of z in a
5.031 * [taylor]: Taking taylor expansion of t in a
5.031 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
5.031 * [taylor]: Taking taylor expansion of 0.5 in a
5.031 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.031 * [taylor]: Taking taylor expansion of a in a
5.031 * [taylor]: Taking taylor expansion of (* x y) in a
5.032 * [taylor]: Taking taylor expansion of x in a
5.032 * [taylor]: Taking taylor expansion of y in a
5.032 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
5.032 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.032 * [taylor]: Taking taylor expansion of 4.5 in y
5.032 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.032 * [taylor]: Taking taylor expansion of a in y
5.032 * [taylor]: Taking taylor expansion of (* z t) in y
5.032 * [taylor]: Taking taylor expansion of z in y
5.032 * [taylor]: Taking taylor expansion of t in y
5.032 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
5.032 * [taylor]: Taking taylor expansion of 0.5 in y
5.032 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.032 * [taylor]: Taking taylor expansion of a in y
5.032 * [taylor]: Taking taylor expansion of (* x y) in y
5.032 * [taylor]: Taking taylor expansion of x in y
5.032 * [taylor]: Taking taylor expansion of y in y
5.032 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in x
5.032 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.032 * [taylor]: Taking taylor expansion of 4.5 in x
5.032 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.032 * [taylor]: Taking taylor expansion of a in x
5.032 * [taylor]: Taking taylor expansion of (* z t) in x
5.032 * [taylor]: Taking taylor expansion of z in x
5.032 * [taylor]: Taking taylor expansion of t in x
5.032 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.032 * [taylor]: Taking taylor expansion of 0.5 in x
5.032 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.032 * [taylor]: Taking taylor expansion of a in x
5.032 * [taylor]: Taking taylor expansion of (* x y) in x
5.032 * [taylor]: Taking taylor expansion of x in x
5.032 * [taylor]: Taking taylor expansion of y in x
5.032 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in x
5.032 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.032 * [taylor]: Taking taylor expansion of 4.5 in x
5.032 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.032 * [taylor]: Taking taylor expansion of a in x
5.032 * [taylor]: Taking taylor expansion of (* z t) in x
5.032 * [taylor]: Taking taylor expansion of z in x
5.032 * [taylor]: Taking taylor expansion of t in x
5.033 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.033 * [taylor]: Taking taylor expansion of 0.5 in x
5.033 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.033 * [taylor]: Taking taylor expansion of a in x
5.033 * [taylor]: Taking taylor expansion of (* x y) in x
5.033 * [taylor]: Taking taylor expansion of x in x
5.033 * [taylor]: Taking taylor expansion of y in x
5.033 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ a y))) in y
5.033 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
5.033 * [taylor]: Taking taylor expansion of 0.5 in y
5.033 * [taylor]: Taking taylor expansion of (/ a y) in y
5.033 * [taylor]: Taking taylor expansion of a in y
5.033 * [taylor]: Taking taylor expansion of y in y
5.033 * [taylor]: Taking taylor expansion of (neg (* 0.5 a)) in a
5.033 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
5.033 * [taylor]: Taking taylor expansion of 0.5 in a
5.033 * [taylor]: Taking taylor expansion of a in a
5.033 * [taylor]: Taking taylor expansion of (neg 0.5) in t
5.033 * [taylor]: Taking taylor expansion of 0.5 in t
5.033 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.033 * [taylor]: Taking taylor expansion of 4.5 in y
5.033 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.033 * [taylor]: Taking taylor expansion of a in y
5.034 * [taylor]: Taking taylor expansion of (* z t) in y
5.034 * [taylor]: Taking taylor expansion of z in y
5.034 * [taylor]: Taking taylor expansion of t in y
5.034 * [taylor]: Taking taylor expansion of 0 in a
5.034 * [taylor]: Taking taylor expansion of 0 in t
5.034 * [taylor]: Taking taylor expansion of 0 in t
5.034 * [taylor]: Taking taylor expansion of (neg 0.5) in z
5.034 * [taylor]: Taking taylor expansion of 0.5 in z
5.034 * [taylor]: Taking taylor expansion of 0 in y
5.034 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.034 * [taylor]: Taking taylor expansion of 4.5 in a
5.034 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.034 * [taylor]: Taking taylor expansion of a in a
5.034 * [taylor]: Taking taylor expansion of (* z t) in a
5.034 * [taylor]: Taking taylor expansion of z in a
5.034 * [taylor]: Taking taylor expansion of t in a
5.034 * [taylor]: Taking taylor expansion of (/ 4.5 (* t z)) in t
5.034 * [taylor]: Taking taylor expansion of 4.5 in t
5.035 * [taylor]: Taking taylor expansion of (* t z) in t
5.035 * [taylor]: Taking taylor expansion of t in t
5.035 * [taylor]: Taking taylor expansion of z in t
5.035 * [taylor]: Taking taylor expansion of (/ 4.5 z) in z
5.035 * [taylor]: Taking taylor expansion of 4.5 in z
5.035 * [taylor]: Taking taylor expansion of z in z
5.035 * [taylor]: Taking taylor expansion of 0 in a
5.035 * [taylor]: Taking taylor expansion of 0 in t
5.035 * [taylor]: Taking taylor expansion of 0 in t
5.035 * [taylor]: Taking taylor expansion of 0 in t
5.035 * [taylor]: Taking taylor expansion of 0 in z
5.035 * [taylor]: Taking taylor expansion of 0 in z
5.035 * [taylor]: Taking taylor expansion of 0 in z
5.036 * [taylor]: Taking taylor expansion of 0 in y
5.036 * [taylor]: Taking taylor expansion of 0 in a
5.036 * [taylor]: Taking taylor expansion of 0 in t
5.036 * [taylor]: Taking taylor expansion of 0 in a
5.036 * [taylor]: Taking taylor expansion of 0 in t
5.036 * [taylor]: Taking taylor expansion of 0 in a
5.036 * [taylor]: Taking taylor expansion of 0 in t
5.036 * [taylor]: Taking taylor expansion of 0 in t
5.036 * [taylor]: Taking taylor expansion of 0 in t
5.036 * [taylor]: Taking taylor expansion of 0 in t
5.036 * [taylor]: Taking taylor expansion of 0 in t
5.036 * [taylor]: Taking taylor expansion of 0 in z
5.036 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [taylor]: Taking taylor expansion of 0 in y
5.037 * [taylor]: Taking taylor expansion of 0 in a
5.037 * [taylor]: Taking taylor expansion of 0 in t
5.037 * [taylor]: Taking taylor expansion of 0 in a
5.037 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in a
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in a
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in t
5.038 * [taylor]: Taking taylor expansion of 0 in z
5.038 * [taylor]: Taking taylor expansion of 0 in z
5.038 * [taylor]: Taking taylor expansion of 0 in z
5.038 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * * * [progress]: simplifying candidates
5.040 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log t) (log z)) (log a))
  (- (log (* t z)) (log a))
  (log (/ (* t z) a))
  (exp (/ (* t z) a))
  (/ (* (* (* t t) t) (* (* z z) z)) (* (* a a) a))
  (/ (* (* (* t z) (* t z)) (* t z)) (* (* a a) a))
  (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a)))
  (cbrt (/ (* t z) a))
  (* (* (/ (* t z) a) (/ (* t z) a)) (/ (* t z) a))
  (sqrt (/ (* t z) a))
  (sqrt (/ (* t z) a))
  (neg (* t z))
  (neg a)
  (/ t (* (cbrt a) (cbrt a)))
  (/ z (cbrt a))
  (/ t (sqrt a))
  (/ z (sqrt a))
  (/ t 1)
  (/ z a)
  (/ 1 a)
  (/ a (* t z))
  (/ (* t z) (* (cbrt a) (cbrt a)))
  (/ (* t z) (sqrt a))
  (/ (* t z) 1)
  (/ a z)
  (- (+ (log x) (log y)) (log a))
  (- (log (* x y)) (log a))
  (log (/ (* x y) a))
  (exp (/ (* x y) a))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* a a) a))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* a a) a))
  (* (cbrt (/ (* x y) a)) (cbrt (/ (* x y) a)))
  (cbrt (/ (* x y) a))
  (* (* (/ (* x y) a) (/ (* x y) a)) (/ (* x y) a))
  (sqrt (/ (* x y) a))
  (sqrt (/ (* x y) a))
  (neg (* x y))
  (neg a)
  (/ x (* (cbrt a) (cbrt a)))
  (/ y (cbrt a))
  (/ x (sqrt a))
  (/ y (sqrt a))
  (/ x 1)
  (/ y a)
  (/ 1 a)
  (/ a (* x y))
  (/ (* x y) (* (cbrt a) (cbrt a)))
  (/ (* x y) (sqrt a))
  (/ (* x y) 1)
  (/ a y)
  (* 4.5 (/ (* t z) a))
  (+ (log 4.5) (- (+ (log t) (log z)) (log a)))
  (+ (log 4.5) (- (log (* t z)) (log a)))
  (+ (log 4.5) (log (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (exp (* 4.5 (/ (* t z) a)))
  (* (* (* 4.5 4.5) 4.5) (/ (* (* (* t t) t) (* (* z z) z)) (* (* a a) a)))
  (* (* (* 4.5 4.5) 4.5) (/ (* (* (* t z) (* t z)) (* t z)) (* (* a a) a)))
  (* (* (* 4.5 4.5) 4.5) (* (* (/ (* t z) a) (/ (* t z) a)) (/ (* t z) a)))
  (* (cbrt (* 4.5 (/ (* t z) a))) (cbrt (* 4.5 (/ (* t z) a))))
  (cbrt (* 4.5 (/ (* t z) a)))
  (* (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))) (* 4.5 (/ (* t z) a)))
  (sqrt (* 4.5 (/ (* t z) a)))
  (sqrt (* 4.5 (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* 4.5 (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a))))
  (* 4.5 (sqrt (/ (* t z) a)))
  (* 4.5 (/ t (* (cbrt a) (cbrt a))))
  (* 4.5 (/ t (sqrt a)))
  (* 4.5 (/ t 1))
  (* 4.5 1)
  (* 4.5 (* t z))
  (* (cbrt 4.5) (/ (* t z) a))
  (* (sqrt 4.5) (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (* t z))
  (/ (exp (* 0.5 (/ (* x y) a))) (exp (* 4.5 (/ (* t z) a))))
  (log (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (exp (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (* (cbrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))) (cbrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))))
  (cbrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (* (* (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))) (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (sqrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (sqrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (- (* 0.5 (* x y)) (* 4.5 (* t z)))
  (- (* (* 0.5 (* x y)) a) (* a (* 4.5 (* t z))))
  (* a a)
  (- (pow (* 0.5 (/ (* x y) a)) 3) (pow (* 4.5 (/ (* t z) a)) 3))
  (+ (* (* 0.5 (/ (* x y) a)) (* 0.5 (/ (* x y) a))) (+ (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))) (* (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))))
  (neg (* 4.5 (/ (* t z) a)))
  (- (* (* 0.5 (/ (* x y) a)) (* 0.5 (/ (* x y) a))) (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))))
  (+ (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (neg (* 4.5 (/ (* t z) a)))
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
5.044 * * [simplify]: iteration  0 :  144  enodes  (cost  1055 )
5.076 * * [simplify]: iteration  1 :  382  enodes  (cost  1008 )
5.185 * * [simplify]: iteration  2 :  1413  enodes  (cost  874 )
5.752 * * [simplify]: iteration  done :  5000  enodes  (cost  874 )
5.753 * [simplify]: Simplified to:
   (log (/ (* t z) a))
  (log (/ (* t z) a))
  (log (/ (* t z) a))
  (exp (/ (* t z) a))
  (pow (/ (* t z) a) 3)
  (pow (/ (* t z) a) 3)
  (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a)))
  (cbrt (/ (* t z) a))
  (pow (/ (* t z) a) 3)
  (sqrt (/ (* t z) a))
  (sqrt (/ (* t z) a))
  (neg (* t z))
  (neg a)
  (/ t (* (cbrt a) (cbrt a)))
  (/ z (cbrt a))
  (/ t (sqrt a))
  (/ z (sqrt a))
  t
  (/ z a)
  (/ 1 a)
  (/ a (* t z))
  (/ (* t z) (* (cbrt a) (cbrt a)))
  (/ (* t z) (sqrt a))
  (* t z)
  (/ a z)
  (log (/ (* x y) a))
  (log (/ (* x y) a))
  (log (/ (* x y) a))
  (exp (/ (* x y) a))
  (pow (/ (* x y) a) 3)
  (pow (/ (* x y) a) 3)
  (* (cbrt (/ (* x y) a)) (cbrt (/ (* x y) a)))
  (cbrt (/ (* x y) a))
  (pow (/ (* x y) a) 3)
  (sqrt (/ (* x y) a))
  (sqrt (/ (* x y) a))
  (neg (* x y))
  (neg a)
  (/ x (* (cbrt a) (cbrt a)))
  (/ y (cbrt a))
  (/ x (sqrt a))
  (/ y (sqrt a))
  x
  (/ y a)
  (/ 1 a)
  (/ a (* x y))
  (/ (* x y) (* (cbrt a) (cbrt a)))
  (/ (* x y) (sqrt a))
  (* x y)
  (/ a y)
  (* 4.5 (/ (* t z) a))
  (log (* 4.5 (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (exp (* 4.5 (/ (* t z) a)))
  (pow (* 4.5 (/ (* t z) a)) 3)
  (pow (* 4.5 (/ (* t z) a)) 3)
  (pow (* 4.5 (/ (* t z) a)) 3)
  (* (cbrt (* 4.5 (/ (* t z) a))) (cbrt (* 4.5 (/ (* t z) a))))
  (cbrt (* 4.5 (/ (* t z) a)))
  (pow (* 4.5 (/ (* t z) a)) 3)
  (sqrt (* 4.5 (/ (* t z) a)))
  (sqrt (* 4.5 (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* 4.5 (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a))))
  (* 4.5 (sqrt (/ (* t z) a)))
  (* 4.5 (/ t (* (cbrt a) (cbrt a))))
  (* 4.5 (/ t (sqrt a)))
  (* 4.5 t)
  4.5
  (* 4.5 (* t z))
  (* (cbrt 4.5) (/ (* t z) a))
  (* (sqrt 4.5) (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (* t z))
  (exp (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (log (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (exp (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (* (cbrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))) (cbrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))))
  (cbrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (pow (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) 3)
  (sqrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (sqrt (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))))
  (- (* 0.5 (* x y)) (* 4.5 (* t z)))
  (* a (- (* 0.5 (* x y)) (* 4.5 (* t z))))
  (* a a)
  (- (pow (* 0.5 (/ (* x y) a)) 3) (pow (* 4.5 (/ (* t z) a)) 3))
  (+ (* (* 0.5 (/ (* x y) a)) (* 0.5 (/ (* x y) a))) (* (* 4.5 (/ (* t z) a)) (+ (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))))
  (neg (* 4.5 (/ (* t z) a)))
  (- (* (* 0.5 (/ (* x y) a)) (* 0.5 (/ (* x y) a))) (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))))
  (+ (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (neg (* 4.5 (/ (* t z) a)))
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
5.753 * * * [progress]: adding candidates to table
5.847 * * [progress]: iteration 4 / 4
5.847 * * * [progress]: picking best candidate
5.898 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))>
5.898 * * * [progress]: localizing error
5.909 * * * [progress]: generating rewritten candidates
5.909 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
5.914 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.921 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.928 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.941 * * * [progress]: generating series expansions
5.941 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
5.941 * [approximate]: Taking taylor expansion of (/ (* t z) a) in (t z a) around 0
5.941 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
5.941 * [taylor]: Taking taylor expansion of (* t z) in a
5.941 * [taylor]: Taking taylor expansion of t in a
5.941 * [taylor]: Taking taylor expansion of z in a
5.941 * [taylor]: Taking taylor expansion of a in a
5.941 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
5.941 * [taylor]: Taking taylor expansion of (* t z) in z
5.941 * [taylor]: Taking taylor expansion of t in z
5.941 * [taylor]: Taking taylor expansion of z in z
5.941 * [taylor]: Taking taylor expansion of a in z
5.941 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.941 * [taylor]: Taking taylor expansion of (* t z) in t
5.941 * [taylor]: Taking taylor expansion of t in t
5.941 * [taylor]: Taking taylor expansion of z in t
5.941 * [taylor]: Taking taylor expansion of a in t
5.941 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.941 * [taylor]: Taking taylor expansion of (* t z) in t
5.941 * [taylor]: Taking taylor expansion of t in t
5.941 * [taylor]: Taking taylor expansion of z in t
5.941 * [taylor]: Taking taylor expansion of a in t
5.941 * [taylor]: Taking taylor expansion of (/ z a) in z
5.941 * [taylor]: Taking taylor expansion of z in z
5.941 * [taylor]: Taking taylor expansion of a in z
5.942 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.942 * [taylor]: Taking taylor expansion of a in a
5.942 * [taylor]: Taking taylor expansion of 0 in z
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.942 * [taylor]: Taking taylor expansion of 0 in z
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.942 * [taylor]: Taking taylor expansion of 0 in z
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.943 * [taylor]: Taking taylor expansion of 0 in a
5.943 * [taylor]: Taking taylor expansion of 0 in a
5.943 * [approximate]: Taking taylor expansion of (/ a (* t z)) in (t z a) around 0
5.943 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
5.943 * [taylor]: Taking taylor expansion of a in a
5.943 * [taylor]: Taking taylor expansion of (* t z) in a
5.943 * [taylor]: Taking taylor expansion of t in a
5.943 * [taylor]: Taking taylor expansion of z in a
5.943 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
5.943 * [taylor]: Taking taylor expansion of a in z
5.943 * [taylor]: Taking taylor expansion of (* t z) in z
5.943 * [taylor]: Taking taylor expansion of t in z
5.943 * [taylor]: Taking taylor expansion of z in z
5.943 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
5.943 * [taylor]: Taking taylor expansion of a in t
5.943 * [taylor]: Taking taylor expansion of (* t z) in t
5.943 * [taylor]: Taking taylor expansion of t in t
5.943 * [taylor]: Taking taylor expansion of z in t
5.943 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
5.943 * [taylor]: Taking taylor expansion of a in t
5.943 * [taylor]: Taking taylor expansion of (* t z) in t
5.943 * [taylor]: Taking taylor expansion of t in t
5.943 * [taylor]: Taking taylor expansion of z in t
5.943 * [taylor]: Taking taylor expansion of (/ a z) in z
5.943 * [taylor]: Taking taylor expansion of a in z
5.943 * [taylor]: Taking taylor expansion of z in z
5.943 * [taylor]: Taking taylor expansion of a in a
5.944 * [taylor]: Taking taylor expansion of 0 in z
5.944 * [taylor]: Taking taylor expansion of 0 in a
5.944 * [taylor]: Taking taylor expansion of 0 in z
5.944 * [taylor]: Taking taylor expansion of 0 in a
5.944 * [taylor]: Taking taylor expansion of 0 in a
5.944 * [approximate]: Taking taylor expansion of (* -1 (/ a (* t z))) in (t z a) around 0
5.944 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in a
5.944 * [taylor]: Taking taylor expansion of -1 in a
5.944 * [taylor]: Taking taylor expansion of (/ a (* t z)) in a
5.944 * [taylor]: Taking taylor expansion of a in a
5.944 * [taylor]: Taking taylor expansion of (* t z) in a
5.944 * [taylor]: Taking taylor expansion of t in a
5.944 * [taylor]: Taking taylor expansion of z in a
5.944 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in z
5.944 * [taylor]: Taking taylor expansion of -1 in z
5.944 * [taylor]: Taking taylor expansion of (/ a (* t z)) in z
5.944 * [taylor]: Taking taylor expansion of a in z
5.944 * [taylor]: Taking taylor expansion of (* t z) in z
5.944 * [taylor]: Taking taylor expansion of t in z
5.944 * [taylor]: Taking taylor expansion of z in z
5.945 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in t
5.945 * [taylor]: Taking taylor expansion of -1 in t
5.945 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
5.945 * [taylor]: Taking taylor expansion of a in t
5.945 * [taylor]: Taking taylor expansion of (* t z) in t
5.945 * [taylor]: Taking taylor expansion of t in t
5.945 * [taylor]: Taking taylor expansion of z in t
5.945 * [taylor]: Taking taylor expansion of (* -1 (/ a (* t z))) in t
5.945 * [taylor]: Taking taylor expansion of -1 in t
5.945 * [taylor]: Taking taylor expansion of (/ a (* t z)) in t
5.945 * [taylor]: Taking taylor expansion of a in t
5.945 * [taylor]: Taking taylor expansion of (* t z) in t
5.945 * [taylor]: Taking taylor expansion of t in t
5.945 * [taylor]: Taking taylor expansion of z in t
5.945 * [taylor]: Taking taylor expansion of (* -1 (/ a z)) in z
5.945 * [taylor]: Taking taylor expansion of -1 in z
5.945 * [taylor]: Taking taylor expansion of (/ a z) in z
5.945 * [taylor]: Taking taylor expansion of a in z
5.945 * [taylor]: Taking taylor expansion of z in z
5.945 * [taylor]: Taking taylor expansion of (* -1 a) in a
5.945 * [taylor]: Taking taylor expansion of -1 in a
5.945 * [taylor]: Taking taylor expansion of a in a
5.945 * [taylor]: Taking taylor expansion of 0 in z
5.945 * [taylor]: Taking taylor expansion of 0 in a
5.946 * [taylor]: Taking taylor expansion of 0 in z
5.946 * [taylor]: Taking taylor expansion of 0 in a
5.946 * [taylor]: Taking taylor expansion of 0 in a
5.946 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.946 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (x a y) around 0
5.946 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
5.946 * [taylor]: Taking taylor expansion of (* x y) in y
5.946 * [taylor]: Taking taylor expansion of x in y
5.946 * [taylor]: Taking taylor expansion of y in y
5.946 * [taylor]: Taking taylor expansion of a in y
5.946 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
5.946 * [taylor]: Taking taylor expansion of (* x y) in a
5.946 * [taylor]: Taking taylor expansion of x in a
5.946 * [taylor]: Taking taylor expansion of y in a
5.946 * [taylor]: Taking taylor expansion of a in a
5.946 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.946 * [taylor]: Taking taylor expansion of (* x y) in x
5.946 * [taylor]: Taking taylor expansion of x in x
5.946 * [taylor]: Taking taylor expansion of y in x
5.946 * [taylor]: Taking taylor expansion of a in x
5.946 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.946 * [taylor]: Taking taylor expansion of (* x y) in x
5.946 * [taylor]: Taking taylor expansion of x in x
5.947 * [taylor]: Taking taylor expansion of y in x
5.947 * [taylor]: Taking taylor expansion of a in x
5.947 * [taylor]: Taking taylor expansion of (/ y a) in a
5.947 * [taylor]: Taking taylor expansion of y in a
5.947 * [taylor]: Taking taylor expansion of a in a
5.947 * [taylor]: Taking taylor expansion of y in y
5.947 * [taylor]: Taking taylor expansion of 0 in a
5.947 * [taylor]: Taking taylor expansion of 0 in y
5.947 * [taylor]: Taking taylor expansion of 0 in a
5.947 * [taylor]: Taking taylor expansion of 0 in y
5.947 * [taylor]: Taking taylor expansion of 0 in y
5.947 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (x a y) around 0
5.947 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.947 * [taylor]: Taking taylor expansion of a in y
5.947 * [taylor]: Taking taylor expansion of (* x y) in y
5.947 * [taylor]: Taking taylor expansion of x in y
5.947 * [taylor]: Taking taylor expansion of y in y
5.947 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.948 * [taylor]: Taking taylor expansion of a in a
5.948 * [taylor]: Taking taylor expansion of (* x y) in a
5.948 * [taylor]: Taking taylor expansion of x in a
5.948 * [taylor]: Taking taylor expansion of y in a
5.948 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.948 * [taylor]: Taking taylor expansion of a in x
5.948 * [taylor]: Taking taylor expansion of (* x y) in x
5.948 * [taylor]: Taking taylor expansion of x in x
5.948 * [taylor]: Taking taylor expansion of y in x
5.948 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.948 * [taylor]: Taking taylor expansion of a in x
5.948 * [taylor]: Taking taylor expansion of (* x y) in x
5.948 * [taylor]: Taking taylor expansion of x in x
5.948 * [taylor]: Taking taylor expansion of y in x
5.948 * [taylor]: Taking taylor expansion of (/ a y) in a
5.948 * [taylor]: Taking taylor expansion of a in a
5.948 * [taylor]: Taking taylor expansion of y in a
5.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.948 * [taylor]: Taking taylor expansion of y in y
5.948 * [taylor]: Taking taylor expansion of 0 in a
5.948 * [taylor]: Taking taylor expansion of 0 in y
5.948 * [taylor]: Taking taylor expansion of 0 in y
5.948 * [taylor]: Taking taylor expansion of 0 in a
5.948 * [taylor]: Taking taylor expansion of 0 in y
5.948 * [taylor]: Taking taylor expansion of 0 in y
5.949 * [taylor]: Taking taylor expansion of 0 in y
5.949 * [taylor]: Taking taylor expansion of 0 in a
5.949 * [taylor]: Taking taylor expansion of 0 in y
5.949 * [taylor]: Taking taylor expansion of 0 in y
5.949 * [taylor]: Taking taylor expansion of 0 in y
5.949 * [taylor]: Taking taylor expansion of 0 in y
5.949 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (x a y) around 0
5.949 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
5.949 * [taylor]: Taking taylor expansion of -1 in y
5.949 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.949 * [taylor]: Taking taylor expansion of a in y
5.949 * [taylor]: Taking taylor expansion of (* x y) in y
5.949 * [taylor]: Taking taylor expansion of x in y
5.949 * [taylor]: Taking taylor expansion of y in y
5.949 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a
5.949 * [taylor]: Taking taylor expansion of -1 in a
5.949 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.949 * [taylor]: Taking taylor expansion of a in a
5.949 * [taylor]: Taking taylor expansion of (* x y) in a
5.950 * [taylor]: Taking taylor expansion of x in a
5.950 * [taylor]: Taking taylor expansion of y in a
5.950 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
5.950 * [taylor]: Taking taylor expansion of -1 in x
5.950 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.950 * [taylor]: Taking taylor expansion of a in x
5.950 * [taylor]: Taking taylor expansion of (* x y) in x
5.950 * [taylor]: Taking taylor expansion of x in x
5.950 * [taylor]: Taking taylor expansion of y in x
5.950 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
5.950 * [taylor]: Taking taylor expansion of -1 in x
5.950 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.950 * [taylor]: Taking taylor expansion of a in x
5.950 * [taylor]: Taking taylor expansion of (* x y) in x
5.950 * [taylor]: Taking taylor expansion of x in x
5.950 * [taylor]: Taking taylor expansion of y in x
5.950 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in a
5.950 * [taylor]: Taking taylor expansion of -1 in a
5.950 * [taylor]: Taking taylor expansion of (/ a y) in a
5.950 * [taylor]: Taking taylor expansion of a in a
5.950 * [taylor]: Taking taylor expansion of y in a
5.950 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.950 * [taylor]: Taking taylor expansion of -1 in y
5.950 * [taylor]: Taking taylor expansion of y in y
5.950 * [taylor]: Taking taylor expansion of 0 in a
5.950 * [taylor]: Taking taylor expansion of 0 in y
5.950 * [taylor]: Taking taylor expansion of 0 in y
5.951 * [taylor]: Taking taylor expansion of 0 in a
5.951 * [taylor]: Taking taylor expansion of 0 in y
5.951 * [taylor]: Taking taylor expansion of 0 in y
5.951 * [taylor]: Taking taylor expansion of 0 in y
5.951 * [taylor]: Taking taylor expansion of 0 in a
5.951 * [taylor]: Taking taylor expansion of 0 in y
5.951 * [taylor]: Taking taylor expansion of 0 in y
5.951 * [taylor]: Taking taylor expansion of 0 in y
5.951 * [taylor]: Taking taylor expansion of 0 in y
5.952 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.952 * [approximate]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in (t z a) around 0
5.952 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
5.952 * [taylor]: Taking taylor expansion of 4.5 in a
5.952 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
5.952 * [taylor]: Taking taylor expansion of (* t z) in a
5.952 * [taylor]: Taking taylor expansion of t in a
5.952 * [taylor]: Taking taylor expansion of z in a
5.952 * [taylor]: Taking taylor expansion of a in a
5.952 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
5.952 * [taylor]: Taking taylor expansion of 4.5 in z
5.952 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
5.952 * [taylor]: Taking taylor expansion of (* t z) in z
5.952 * [taylor]: Taking taylor expansion of t in z
5.952 * [taylor]: Taking taylor expansion of z in z
5.952 * [taylor]: Taking taylor expansion of a in z
5.952 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
5.952 * [taylor]: Taking taylor expansion of 4.5 in t
5.952 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.952 * [taylor]: Taking taylor expansion of (* t z) in t
5.952 * [taylor]: Taking taylor expansion of t in t
5.952 * [taylor]: Taking taylor expansion of z in t
5.952 * [taylor]: Taking taylor expansion of a in t
5.952 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
5.952 * [taylor]: Taking taylor expansion of 4.5 in t
5.952 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.952 * [taylor]: Taking taylor expansion of (* t z) in t
5.952 * [taylor]: Taking taylor expansion of t in t
5.952 * [taylor]: Taking taylor expansion of z in t
5.952 * [taylor]: Taking taylor expansion of a in t
5.952 * [taylor]: Taking taylor expansion of (* 4.5 (/ z a)) in z
5.952 * [taylor]: Taking taylor expansion of 4.5 in z
5.952 * [taylor]: Taking taylor expansion of (/ z a) in z
5.952 * [taylor]: Taking taylor expansion of z in z
5.953 * [taylor]: Taking taylor expansion of a in z
5.953 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
5.953 * [taylor]: Taking taylor expansion of 4.5 in a
5.953 * [taylor]: Taking taylor expansion of a in a
5.953 * [taylor]: Taking taylor expansion of 0 in z
5.953 * [taylor]: Taking taylor expansion of 0 in a
5.953 * [taylor]: Taking taylor expansion of 0 in a
5.953 * [taylor]: Taking taylor expansion of 0 in z
5.953 * [taylor]: Taking taylor expansion of 0 in a
5.953 * [taylor]: Taking taylor expansion of 0 in a
5.953 * [taylor]: Taking taylor expansion of 0 in a
5.954 * [taylor]: Taking taylor expansion of 0 in z
5.954 * [taylor]: Taking taylor expansion of 0 in a
5.954 * [taylor]: Taking taylor expansion of 0 in a
5.954 * [taylor]: Taking taylor expansion of 0 in a
5.954 * [taylor]: Taking taylor expansion of 0 in a
5.954 * [approximate]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in (t z a) around 0
5.954 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.954 * [taylor]: Taking taylor expansion of 4.5 in a
5.954 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.954 * [taylor]: Taking taylor expansion of a in a
5.954 * [taylor]: Taking taylor expansion of (* z t) in a
5.954 * [taylor]: Taking taylor expansion of z in a
5.954 * [taylor]: Taking taylor expansion of t in a
5.954 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.954 * [taylor]: Taking taylor expansion of 4.5 in z
5.954 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.954 * [taylor]: Taking taylor expansion of a in z
5.954 * [taylor]: Taking taylor expansion of (* z t) in z
5.955 * [taylor]: Taking taylor expansion of z in z
5.955 * [taylor]: Taking taylor expansion of t in z
5.955 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.955 * [taylor]: Taking taylor expansion of 4.5 in t
5.955 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.955 * [taylor]: Taking taylor expansion of a in t
5.955 * [taylor]: Taking taylor expansion of (* z t) in t
5.955 * [taylor]: Taking taylor expansion of z in t
5.955 * [taylor]: Taking taylor expansion of t in t
5.955 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.955 * [taylor]: Taking taylor expansion of 4.5 in t
5.955 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.955 * [taylor]: Taking taylor expansion of a in t
5.955 * [taylor]: Taking taylor expansion of (* z t) in t
5.955 * [taylor]: Taking taylor expansion of z in t
5.955 * [taylor]: Taking taylor expansion of t in t
5.955 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
5.955 * [taylor]: Taking taylor expansion of 4.5 in z
5.955 * [taylor]: Taking taylor expansion of (/ a z) in z
5.955 * [taylor]: Taking taylor expansion of a in z
5.955 * [taylor]: Taking taylor expansion of z in z
5.955 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
5.955 * [taylor]: Taking taylor expansion of 4.5 in a
5.955 * [taylor]: Taking taylor expansion of a in a
5.956 * [taylor]: Taking taylor expansion of 0 in z
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [taylor]: Taking taylor expansion of 0 in z
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [approximate]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in (t z a) around 0
5.956 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in a
5.956 * [taylor]: Taking taylor expansion of -4.5 in a
5.956 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.956 * [taylor]: Taking taylor expansion of a in a
5.957 * [taylor]: Taking taylor expansion of (* z t) in a
5.957 * [taylor]: Taking taylor expansion of z in a
5.957 * [taylor]: Taking taylor expansion of t in a
5.957 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
5.957 * [taylor]: Taking taylor expansion of -4.5 in z
5.957 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.957 * [taylor]: Taking taylor expansion of a in z
5.957 * [taylor]: Taking taylor expansion of (* z t) in z
5.957 * [taylor]: Taking taylor expansion of z in z
5.957 * [taylor]: Taking taylor expansion of t in z
5.957 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
5.957 * [taylor]: Taking taylor expansion of -4.5 in t
5.957 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.957 * [taylor]: Taking taylor expansion of a in t
5.957 * [taylor]: Taking taylor expansion of (* z t) in t
5.957 * [taylor]: Taking taylor expansion of z in t
5.957 * [taylor]: Taking taylor expansion of t in t
5.957 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
5.957 * [taylor]: Taking taylor expansion of -4.5 in t
5.957 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.957 * [taylor]: Taking taylor expansion of a in t
5.957 * [taylor]: Taking taylor expansion of (* z t) in t
5.957 * [taylor]: Taking taylor expansion of z in t
5.957 * [taylor]: Taking taylor expansion of t in t
5.957 * [taylor]: Taking taylor expansion of (* -4.5 (/ a z)) in z
5.957 * [taylor]: Taking taylor expansion of -4.5 in z
5.957 * [taylor]: Taking taylor expansion of (/ a z) in z
5.957 * [taylor]: Taking taylor expansion of a in z
5.957 * [taylor]: Taking taylor expansion of z in z
5.957 * [taylor]: Taking taylor expansion of (* -4.5 a) in a
5.957 * [taylor]: Taking taylor expansion of -4.5 in a
5.957 * [taylor]: Taking taylor expansion of a in a
5.958 * [taylor]: Taking taylor expansion of 0 in z
5.958 * [taylor]: Taking taylor expansion of 0 in a
5.958 * [taylor]: Taking taylor expansion of 0 in z
5.958 * [taylor]: Taking taylor expansion of 0 in a
5.958 * [taylor]: Taking taylor expansion of 0 in a
5.958 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.958 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in (x a y t z) around 0
5.958 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in z
5.958 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in z
5.959 * [taylor]: Taking taylor expansion of 0.5 in z
5.959 * [taylor]: Taking taylor expansion of (/ (* x y) a) in z
5.959 * [taylor]: Taking taylor expansion of (* x y) in z
5.959 * [taylor]: Taking taylor expansion of x in z
5.959 * [taylor]: Taking taylor expansion of y in z
5.959 * [taylor]: Taking taylor expansion of a in z
5.959 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
5.959 * [taylor]: Taking taylor expansion of 4.5 in z
5.959 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
5.959 * [taylor]: Taking taylor expansion of (* t z) in z
5.959 * [taylor]: Taking taylor expansion of t in z
5.959 * [taylor]: Taking taylor expansion of z in z
5.959 * [taylor]: Taking taylor expansion of a in z
5.959 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in t
5.959 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in t
5.959 * [taylor]: Taking taylor expansion of 0.5 in t
5.959 * [taylor]: Taking taylor expansion of (/ (* x y) a) in t
5.959 * [taylor]: Taking taylor expansion of (* x y) in t
5.959 * [taylor]: Taking taylor expansion of x in t
5.959 * [taylor]: Taking taylor expansion of y in t
5.959 * [taylor]: Taking taylor expansion of a in t
5.959 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
5.959 * [taylor]: Taking taylor expansion of 4.5 in t
5.959 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
5.959 * [taylor]: Taking taylor expansion of (* t z) in t
5.959 * [taylor]: Taking taylor expansion of t in t
5.959 * [taylor]: Taking taylor expansion of z in t
5.959 * [taylor]: Taking taylor expansion of a in t
5.959 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
5.959 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
5.959 * [taylor]: Taking taylor expansion of 0.5 in y
5.959 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
5.959 * [taylor]: Taking taylor expansion of (* x y) in y
5.959 * [taylor]: Taking taylor expansion of x in y
5.959 * [taylor]: Taking taylor expansion of y in y
5.959 * [taylor]: Taking taylor expansion of a in y
5.959 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
5.959 * [taylor]: Taking taylor expansion of 4.5 in y
5.959 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
5.959 * [taylor]: Taking taylor expansion of (* t z) in y
5.960 * [taylor]: Taking taylor expansion of t in y
5.960 * [taylor]: Taking taylor expansion of z in y
5.960 * [taylor]: Taking taylor expansion of a in y
5.960 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in a
5.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in a
5.960 * [taylor]: Taking taylor expansion of 0.5 in a
5.960 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
5.960 * [taylor]: Taking taylor expansion of (* x y) in a
5.960 * [taylor]: Taking taylor expansion of x in a
5.960 * [taylor]: Taking taylor expansion of y in a
5.960 * [taylor]: Taking taylor expansion of a in a
5.960 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
5.960 * [taylor]: Taking taylor expansion of 4.5 in a
5.960 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
5.960 * [taylor]: Taking taylor expansion of (* t z) in a
5.960 * [taylor]: Taking taylor expansion of t in a
5.960 * [taylor]: Taking taylor expansion of z in a
5.960 * [taylor]: Taking taylor expansion of a in a
5.960 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in x
5.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
5.960 * [taylor]: Taking taylor expansion of 0.5 in x
5.960 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.960 * [taylor]: Taking taylor expansion of (* x y) in x
5.960 * [taylor]: Taking taylor expansion of x in x
5.960 * [taylor]: Taking taylor expansion of y in x
5.960 * [taylor]: Taking taylor expansion of a in x
5.960 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
5.960 * [taylor]: Taking taylor expansion of 4.5 in x
5.960 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
5.960 * [taylor]: Taking taylor expansion of (* t z) in x
5.960 * [taylor]: Taking taylor expansion of t in x
5.960 * [taylor]: Taking taylor expansion of z in x
5.960 * [taylor]: Taking taylor expansion of a in x
5.960 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in x
5.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
5.960 * [taylor]: Taking taylor expansion of 0.5 in x
5.960 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
5.960 * [taylor]: Taking taylor expansion of (* x y) in x
5.960 * [taylor]: Taking taylor expansion of x in x
5.960 * [taylor]: Taking taylor expansion of y in x
5.960 * [taylor]: Taking taylor expansion of a in x
5.961 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
5.961 * [taylor]: Taking taylor expansion of 4.5 in x
5.961 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
5.961 * [taylor]: Taking taylor expansion of (* t z) in x
5.961 * [taylor]: Taking taylor expansion of t in x
5.961 * [taylor]: Taking taylor expansion of z in x
5.961 * [taylor]: Taking taylor expansion of a in x
5.961 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in a
5.961 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
5.961 * [taylor]: Taking taylor expansion of 4.5 in a
5.961 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
5.961 * [taylor]: Taking taylor expansion of (* t z) in a
5.961 * [taylor]: Taking taylor expansion of t in a
5.961 * [taylor]: Taking taylor expansion of z in a
5.961 * [taylor]: Taking taylor expansion of a in a
5.961 * [taylor]: Taking taylor expansion of (neg (* 4.5 (* t z))) in y
5.961 * [taylor]: Taking taylor expansion of (* 4.5 (* t z)) in y
5.961 * [taylor]: Taking taylor expansion of 4.5 in y
5.961 * [taylor]: Taking taylor expansion of (* t z) in y
5.961 * [taylor]: Taking taylor expansion of t in y
5.961 * [taylor]: Taking taylor expansion of z in y
5.961 * [taylor]: Taking taylor expansion of (neg (* 4.5 (* t z))) in t
5.961 * [taylor]: Taking taylor expansion of (* 4.5 (* t z)) in t
5.961 * [taylor]: Taking taylor expansion of 4.5 in t
5.961 * [taylor]: Taking taylor expansion of (* t z) in t
5.961 * [taylor]: Taking taylor expansion of t in t
5.961 * [taylor]: Taking taylor expansion of z in t
5.961 * [taylor]: Taking taylor expansion of 0 in z
5.962 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in a
5.962 * [taylor]: Taking taylor expansion of 0.5 in a
5.962 * [taylor]: Taking taylor expansion of (/ y a) in a
5.962 * [taylor]: Taking taylor expansion of y in a
5.962 * [taylor]: Taking taylor expansion of a in a
5.962 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
5.962 * [taylor]: Taking taylor expansion of 0.5 in y
5.962 * [taylor]: Taking taylor expansion of y in y
5.962 * [taylor]: Taking taylor expansion of 0 in t
5.962 * [taylor]: Taking taylor expansion of 0 in z
5.962 * [taylor]: Taking taylor expansion of 0 in y
5.962 * [taylor]: Taking taylor expansion of 0 in t
5.962 * [taylor]: Taking taylor expansion of 0 in z
5.962 * [taylor]: Taking taylor expansion of 0 in t
5.962 * [taylor]: Taking taylor expansion of 0 in z
5.962 * [taylor]: Taking taylor expansion of (neg (* 4.5 z)) in z
5.962 * [taylor]: Taking taylor expansion of (* 4.5 z) in z
5.962 * [taylor]: Taking taylor expansion of 4.5 in z
5.962 * [taylor]: Taking taylor expansion of z in z
5.963 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in (x a y t z) around 0
5.963 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in z
5.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
5.963 * [taylor]: Taking taylor expansion of 0.5 in z
5.963 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
5.963 * [taylor]: Taking taylor expansion of a in z
5.963 * [taylor]: Taking taylor expansion of (* x y) in z
5.963 * [taylor]: Taking taylor expansion of x in z
5.963 * [taylor]: Taking taylor expansion of y in z
5.963 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.963 * [taylor]: Taking taylor expansion of 4.5 in z
5.963 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.963 * [taylor]: Taking taylor expansion of a in z
5.963 * [taylor]: Taking taylor expansion of (* z t) in z
5.963 * [taylor]: Taking taylor expansion of z in z
5.963 * [taylor]: Taking taylor expansion of t in z
5.963 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in t
5.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
5.963 * [taylor]: Taking taylor expansion of 0.5 in t
5.963 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
5.963 * [taylor]: Taking taylor expansion of a in t
5.963 * [taylor]: Taking taylor expansion of (* x y) in t
5.963 * [taylor]: Taking taylor expansion of x in t
5.963 * [taylor]: Taking taylor expansion of y in t
5.963 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.963 * [taylor]: Taking taylor expansion of 4.5 in t
5.963 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.963 * [taylor]: Taking taylor expansion of a in t
5.963 * [taylor]: Taking taylor expansion of (* z t) in t
5.963 * [taylor]: Taking taylor expansion of z in t
5.963 * [taylor]: Taking taylor expansion of t in t
5.963 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
5.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
5.963 * [taylor]: Taking taylor expansion of 0.5 in y
5.963 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.963 * [taylor]: Taking taylor expansion of a in y
5.963 * [taylor]: Taking taylor expansion of (* x y) in y
5.964 * [taylor]: Taking taylor expansion of x in y
5.964 * [taylor]: Taking taylor expansion of y in y
5.964 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.964 * [taylor]: Taking taylor expansion of 4.5 in y
5.964 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.964 * [taylor]: Taking taylor expansion of a in y
5.964 * [taylor]: Taking taylor expansion of (* z t) in y
5.964 * [taylor]: Taking taylor expansion of z in y
5.964 * [taylor]: Taking taylor expansion of t in y
5.964 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in a
5.964 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
5.964 * [taylor]: Taking taylor expansion of 0.5 in a
5.964 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.964 * [taylor]: Taking taylor expansion of a in a
5.964 * [taylor]: Taking taylor expansion of (* x y) in a
5.964 * [taylor]: Taking taylor expansion of x in a
5.964 * [taylor]: Taking taylor expansion of y in a
5.964 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.964 * [taylor]: Taking taylor expansion of 4.5 in a
5.964 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.964 * [taylor]: Taking taylor expansion of a in a
5.964 * [taylor]: Taking taylor expansion of (* z t) in a
5.964 * [taylor]: Taking taylor expansion of z in a
5.964 * [taylor]: Taking taylor expansion of t in a
5.964 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in x
5.964 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.964 * [taylor]: Taking taylor expansion of 0.5 in x
5.964 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.964 * [taylor]: Taking taylor expansion of a in x
5.964 * [taylor]: Taking taylor expansion of (* x y) in x
5.964 * [taylor]: Taking taylor expansion of x in x
5.964 * [taylor]: Taking taylor expansion of y in x
5.964 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.964 * [taylor]: Taking taylor expansion of 4.5 in x
5.964 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.964 * [taylor]: Taking taylor expansion of a in x
5.964 * [taylor]: Taking taylor expansion of (* z t) in x
5.964 * [taylor]: Taking taylor expansion of z in x
5.964 * [taylor]: Taking taylor expansion of t in x
5.964 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in x
5.964 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.965 * [taylor]: Taking taylor expansion of 0.5 in x
5.967 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.967 * [taylor]: Taking taylor expansion of a in x
5.968 * [taylor]: Taking taylor expansion of (* x y) in x
5.968 * [taylor]: Taking taylor expansion of x in x
5.968 * [taylor]: Taking taylor expansion of y in x
5.968 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.968 * [taylor]: Taking taylor expansion of 4.5 in x
5.968 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.968 * [taylor]: Taking taylor expansion of a in x
5.968 * [taylor]: Taking taylor expansion of (* z t) in x
5.968 * [taylor]: Taking taylor expansion of z in x
5.968 * [taylor]: Taking taylor expansion of t in x
5.968 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in a
5.968 * [taylor]: Taking taylor expansion of 0.5 in a
5.968 * [taylor]: Taking taylor expansion of (/ a y) in a
5.968 * [taylor]: Taking taylor expansion of a in a
5.968 * [taylor]: Taking taylor expansion of y in a
5.968 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y
5.968 * [taylor]: Taking taylor expansion of 0.5 in y
5.968 * [taylor]: Taking taylor expansion of y in y
5.968 * [taylor]: Taking taylor expansion of 0.5 in t
5.968 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in a
5.969 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.969 * [taylor]: Taking taylor expansion of 4.5 in a
5.969 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.969 * [taylor]: Taking taylor expansion of a in a
5.969 * [taylor]: Taking taylor expansion of (* z t) in a
5.969 * [taylor]: Taking taylor expansion of z in a
5.969 * [taylor]: Taking taylor expansion of t in a
5.969 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 (* t z)))) in y
5.969 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* t z))) in y
5.969 * [taylor]: Taking taylor expansion of 4.5 in y
5.969 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
5.969 * [taylor]: Taking taylor expansion of (* t z) in y
5.969 * [taylor]: Taking taylor expansion of t in y
5.969 * [taylor]: Taking taylor expansion of z in y
5.969 * [taylor]: Taking taylor expansion of 0 in y
5.969 * [taylor]: Taking taylor expansion of 0 in t
5.969 * [taylor]: Taking taylor expansion of 0.5 in z
5.969 * [taylor]: Taking taylor expansion of 0 in a
5.969 * [taylor]: Taking taylor expansion of 0 in y
5.970 * [taylor]: Taking taylor expansion of 0 in y
5.970 * [taylor]: Taking taylor expansion of 0 in y
5.970 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 (* t z)))) in t
5.970 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* t z))) in t
5.970 * [taylor]: Taking taylor expansion of 4.5 in t
5.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
5.970 * [taylor]: Taking taylor expansion of (* t z) in t
5.970 * [taylor]: Taking taylor expansion of t in t
5.970 * [taylor]: Taking taylor expansion of z in t
5.970 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 z))) in z
5.970 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 z)) in z
5.970 * [taylor]: Taking taylor expansion of 4.5 in z
5.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.970 * [taylor]: Taking taylor expansion of z in z
5.970 * [taylor]: Taking taylor expansion of 0 in t
5.970 * [taylor]: Taking taylor expansion of 0 in t
5.970 * [taylor]: Taking taylor expansion of 0 in z
5.970 * [taylor]: Taking taylor expansion of 0 in z
5.971 * [taylor]: Taking taylor expansion of 0 in a
5.971 * [taylor]: Taking taylor expansion of 0 in y
5.971 * [taylor]: Taking taylor expansion of 0 in y
5.971 * [taylor]: Taking taylor expansion of 0 in y
5.971 * [taylor]: Taking taylor expansion of 0 in y
5.971 * [taylor]: Taking taylor expansion of 0 in t
5.971 * [taylor]: Taking taylor expansion of 0 in t
5.971 * [taylor]: Taking taylor expansion of 0 in t
5.972 * [taylor]: Taking taylor expansion of 0 in t
5.972 * [taylor]: Taking taylor expansion of 0 in t
5.972 * [taylor]: Taking taylor expansion of 0 in t
5.972 * [taylor]: Taking taylor expansion of 0 in z
5.972 * [taylor]: Taking taylor expansion of 0 in z
5.972 * [taylor]: Taking taylor expansion of 0 in z
5.972 * [taylor]: Taking taylor expansion of 0 in z
5.972 * [taylor]: Taking taylor expansion of 0 in z
5.973 * [taylor]: Taking taylor expansion of 0 in a
5.973 * [taylor]: Taking taylor expansion of 0 in y
5.973 * [taylor]: Taking taylor expansion of 0 in y
5.973 * [taylor]: Taking taylor expansion of 0 in y
5.973 * [taylor]: Taking taylor expansion of 0 in y
5.973 * [taylor]: Taking taylor expansion of 0 in y
5.973 * [taylor]: Taking taylor expansion of 0 in t
5.973 * [taylor]: Taking taylor expansion of 0 in t
5.973 * [taylor]: Taking taylor expansion of 0 in t
5.973 * [taylor]: Taking taylor expansion of 0 in t
5.973 * [taylor]: Taking taylor expansion of 0 in t
5.973 * [taylor]: Taking taylor expansion of 0 in t
5.973 * [taylor]: Taking taylor expansion of 0 in t
5.974 * [taylor]: Taking taylor expansion of 0 in t
5.974 * [taylor]: Taking taylor expansion of 0 in t
5.974 * [taylor]: Taking taylor expansion of 0 in t
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.975 * [approximate]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in (x a y t z) around 0
5.975 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in z
5.975 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.975 * [taylor]: Taking taylor expansion of 4.5 in z
5.975 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.975 * [taylor]: Taking taylor expansion of a in z
5.975 * [taylor]: Taking taylor expansion of (* z t) in z
5.975 * [taylor]: Taking taylor expansion of z in z
5.975 * [taylor]: Taking taylor expansion of t in z
5.975 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
5.975 * [taylor]: Taking taylor expansion of 0.5 in z
5.975 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
5.975 * [taylor]: Taking taylor expansion of a in z
5.975 * [taylor]: Taking taylor expansion of (* x y) in z
5.975 * [taylor]: Taking taylor expansion of x in z
5.975 * [taylor]: Taking taylor expansion of y in z
5.975 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in t
5.975 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
5.975 * [taylor]: Taking taylor expansion of 4.5 in t
5.975 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
5.975 * [taylor]: Taking taylor expansion of a in t
5.975 * [taylor]: Taking taylor expansion of (* z t) in t
5.975 * [taylor]: Taking taylor expansion of z in t
5.976 * [taylor]: Taking taylor expansion of t in t
5.976 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
5.976 * [taylor]: Taking taylor expansion of 0.5 in t
5.976 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
5.976 * [taylor]: Taking taylor expansion of a in t
5.976 * [taylor]: Taking taylor expansion of (* x y) in t
5.976 * [taylor]: Taking taylor expansion of x in t
5.976 * [taylor]: Taking taylor expansion of y in t
5.976 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
5.976 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.976 * [taylor]: Taking taylor expansion of 4.5 in y
5.976 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.976 * [taylor]: Taking taylor expansion of a in y
5.976 * [taylor]: Taking taylor expansion of (* z t) in y
5.976 * [taylor]: Taking taylor expansion of z in y
5.976 * [taylor]: Taking taylor expansion of t in y
5.976 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
5.976 * [taylor]: Taking taylor expansion of 0.5 in y
5.976 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
5.976 * [taylor]: Taking taylor expansion of a in y
5.976 * [taylor]: Taking taylor expansion of (* x y) in y
5.976 * [taylor]: Taking taylor expansion of x in y
5.976 * [taylor]: Taking taylor expansion of y in y
5.976 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in a
5.976 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.976 * [taylor]: Taking taylor expansion of 4.5 in a
5.976 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.976 * [taylor]: Taking taylor expansion of a in a
5.976 * [taylor]: Taking taylor expansion of (* z t) in a
5.976 * [taylor]: Taking taylor expansion of z in a
5.976 * [taylor]: Taking taylor expansion of t in a
5.976 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
5.976 * [taylor]: Taking taylor expansion of 0.5 in a
5.976 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
5.976 * [taylor]: Taking taylor expansion of a in a
5.976 * [taylor]: Taking taylor expansion of (* x y) in a
5.976 * [taylor]: Taking taylor expansion of x in a
5.976 * [taylor]: Taking taylor expansion of y in a
5.976 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in x
5.976 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.977 * [taylor]: Taking taylor expansion of 4.5 in x
5.977 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.977 * [taylor]: Taking taylor expansion of a in x
5.977 * [taylor]: Taking taylor expansion of (* z t) in x
5.977 * [taylor]: Taking taylor expansion of z in x
5.977 * [taylor]: Taking taylor expansion of t in x
5.977 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.977 * [taylor]: Taking taylor expansion of 0.5 in x
5.977 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.977 * [taylor]: Taking taylor expansion of a in x
5.977 * [taylor]: Taking taylor expansion of (* x y) in x
5.977 * [taylor]: Taking taylor expansion of x in x
5.977 * [taylor]: Taking taylor expansion of y in x
5.977 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in x
5.977 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
5.977 * [taylor]: Taking taylor expansion of 4.5 in x
5.977 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
5.977 * [taylor]: Taking taylor expansion of a in x
5.977 * [taylor]: Taking taylor expansion of (* z t) in x
5.977 * [taylor]: Taking taylor expansion of z in x
5.977 * [taylor]: Taking taylor expansion of t in x
5.977 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
5.977 * [taylor]: Taking taylor expansion of 0.5 in x
5.977 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
5.977 * [taylor]: Taking taylor expansion of a in x
5.977 * [taylor]: Taking taylor expansion of (* x y) in x
5.977 * [taylor]: Taking taylor expansion of x in x
5.977 * [taylor]: Taking taylor expansion of y in x
5.977 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ a y))) in a
5.977 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in a
5.977 * [taylor]: Taking taylor expansion of 0.5 in a
5.977 * [taylor]: Taking taylor expansion of (/ a y) in a
5.977 * [taylor]: Taking taylor expansion of a in a
5.977 * [taylor]: Taking taylor expansion of y in a
5.978 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y
5.978 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
5.978 * [taylor]: Taking taylor expansion of 0.5 in y
5.978 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.978 * [taylor]: Taking taylor expansion of y in y
5.978 * [taylor]: Taking taylor expansion of (neg 0.5) in t
5.978 * [taylor]: Taking taylor expansion of 0.5 in t
5.978 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
5.978 * [taylor]: Taking taylor expansion of 4.5 in a
5.978 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
5.978 * [taylor]: Taking taylor expansion of a in a
5.978 * [taylor]: Taking taylor expansion of (* z t) in a
5.978 * [taylor]: Taking taylor expansion of z in a
5.978 * [taylor]: Taking taylor expansion of t in a
5.978 * [taylor]: Taking taylor expansion of (/ 4.5 (* t z)) in y
5.978 * [taylor]: Taking taylor expansion of 4.5 in y
5.978 * [taylor]: Taking taylor expansion of (* t z) in y
5.978 * [taylor]: Taking taylor expansion of t in y
5.978 * [taylor]: Taking taylor expansion of z in y
5.978 * [taylor]: Taking taylor expansion of 0 in y
5.978 * [taylor]: Taking taylor expansion of 0 in t
5.979 * [taylor]: Taking taylor expansion of (neg 0.5) in z
5.979 * [taylor]: Taking taylor expansion of 0.5 in z
5.979 * [taylor]: Taking taylor expansion of 0 in a
5.979 * [taylor]: Taking taylor expansion of 0 in y
5.979 * [taylor]: Taking taylor expansion of 0 in y
5.979 * [taylor]: Taking taylor expansion of 0 in y
5.979 * [taylor]: Taking taylor expansion of (/ 4.5 (* t z)) in t
5.979 * [taylor]: Taking taylor expansion of 4.5 in t
5.979 * [taylor]: Taking taylor expansion of (* t z) in t
5.979 * [taylor]: Taking taylor expansion of t in t
5.979 * [taylor]: Taking taylor expansion of z in t
5.979 * [taylor]: Taking taylor expansion of (/ 4.5 z) in z
5.979 * [taylor]: Taking taylor expansion of 4.5 in z
5.979 * [taylor]: Taking taylor expansion of z in z
5.980 * [taylor]: Taking taylor expansion of 0 in t
5.980 * [taylor]: Taking taylor expansion of 0 in t
5.980 * [taylor]: Taking taylor expansion of 0 in z
5.980 * [taylor]: Taking taylor expansion of 0 in z
5.980 * [taylor]: Taking taylor expansion of 0 in a
5.980 * [taylor]: Taking taylor expansion of 0 in y
5.980 * [taylor]: Taking taylor expansion of 0 in y
5.980 * [taylor]: Taking taylor expansion of 0 in y
5.981 * [taylor]: Taking taylor expansion of 0 in y
5.981 * [taylor]: Taking taylor expansion of 0 in t
5.981 * [taylor]: Taking taylor expansion of 0 in t
5.981 * [taylor]: Taking taylor expansion of 0 in t
5.981 * [taylor]: Taking taylor expansion of 0 in t
5.981 * [taylor]: Taking taylor expansion of 0 in t
5.981 * [taylor]: Taking taylor expansion of 0 in t
5.981 * [taylor]: Taking taylor expansion of 0 in z
5.981 * [taylor]: Taking taylor expansion of 0 in z
5.981 * [taylor]: Taking taylor expansion of 0 in z
5.981 * [taylor]: Taking taylor expansion of 0 in z
5.981 * [taylor]: Taking taylor expansion of 0 in z
5.982 * [taylor]: Taking taylor expansion of 0 in a
5.982 * [taylor]: Taking taylor expansion of 0 in y
5.982 * [taylor]: Taking taylor expansion of 0 in y
5.982 * [taylor]: Taking taylor expansion of 0 in y
5.982 * [taylor]: Taking taylor expansion of 0 in y
5.982 * [taylor]: Taking taylor expansion of 0 in y
5.982 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in t
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.983 * [taylor]: Taking taylor expansion of 0 in z
5.984 * * * [progress]: simplifying candidates
5.986 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log t) (log z)) (log a))
  (- (log (* t z)) (log a))
  (log (/ (* t z) a))
  (exp (/ (* t z) a))
  (/ (* (* (* t t) t) (* (* z z) z)) (* (* a a) a))
  (/ (* (* (* t z) (* t z)) (* t z)) (* (* a a) a))
  (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a)))
  (cbrt (/ (* t z) a))
  (* (* (/ (* t z) a) (/ (* t z) a)) (/ (* t z) a))
  (sqrt (/ (* t z) a))
  (sqrt (/ (* t z) a))
  (neg (* t z))
  (neg a)
  (/ t (* (cbrt a) (cbrt a)))
  (/ z (cbrt a))
  (/ t (sqrt a))
  (/ z (sqrt a))
  (/ t 1)
  (/ z a)
  (/ 1 a)
  (/ a (* t z))
  (/ (* t z) (* (cbrt a) (cbrt a)))
  (/ (* t z) (sqrt a))
  (/ (* t z) 1)
  (/ a z)
  (- (log x) (- (log a) (log y)))
  (- (log x) (log (/ a y)))
  (log (/ x (/ a y)))
  (exp (/ x (/ a y)))
  (/ (* (* x x) x) (/ (* (* a a) a) (* (* y y) y)))
  (/ (* (* x x) x) (* (* (/ a y) (/ a y)) (/ a y)))
  (* (cbrt (/ x (/ a y))) (cbrt (/ x (/ a y))))
  (cbrt (/ x (/ a y)))
  (* (* (/ x (/ a y)) (/ x (/ a y))) (/ x (/ a y)))
  (sqrt (/ x (/ a y)))
  (sqrt (/ x (/ a y)))
  (neg x)
  (neg (/ a y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ (cbrt x) (cbrt (/ a y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ a y)))
  (/ (cbrt x) (sqrt (/ a y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt a) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt a) (cbrt a)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt a) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (cbrt x) (/ (cbrt a) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt a) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt a) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt a) (sqrt y)))
  (/ (cbrt x) (/ (sqrt a) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt a) 1))
  (/ (cbrt x) (/ (sqrt a) y))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ a (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt y)))
  (/ (cbrt x) (/ a (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ a y))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (/ a y))
  (/ (* (cbrt x) (cbrt x)) a)
  (/ (cbrt x) (/ 1 y))
  (/ (sqrt x) (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ (sqrt x) (cbrt (/ a y)))
  (/ (sqrt x) (sqrt (/ a y)))
  (/ (sqrt x) (sqrt (/ a y)))
  (/ (sqrt x) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (cbrt a) (cbrt y)))
  (/ (sqrt x) (/ (* (cbrt a) (cbrt a)) (sqrt y)))
  (/ (sqrt x) (/ (cbrt a) (sqrt y)))
  (/ (sqrt x) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (sqrt x) (/ (cbrt a) y))
  (/ (sqrt x) (/ (sqrt a) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt a) (cbrt y)))
  (/ (sqrt x) (/ (sqrt a) (sqrt y)))
  (/ (sqrt x) (/ (sqrt a) (sqrt y)))
  (/ (sqrt x) (/ (sqrt a) 1))
  (/ (sqrt x) (/ (sqrt a) y))
  (/ (sqrt x) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ a (cbrt y)))
  (/ (sqrt x) (/ 1 (sqrt y)))
  (/ (sqrt x) (/ a (sqrt y)))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ a y))
  (/ (sqrt x) 1)
  (/ (sqrt x) (/ a y))
  (/ (sqrt x) a)
  (/ (sqrt x) (/ 1 y))
  (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ x (cbrt (/ a y)))
  (/ 1 (sqrt (/ a y)))
  (/ x (sqrt (/ a y)))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
  (/ x (/ (cbrt a) (cbrt y)))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt y)))
  (/ x (/ (cbrt a) (sqrt y)))
  (/ 1 (/ (* (cbrt a) (cbrt a)) 1))
  (/ x (/ (cbrt a) y))
  (/ 1 (/ (sqrt a) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt a) (cbrt y)))
  (/ 1 (/ (sqrt a) (sqrt y)))
  (/ x (/ (sqrt a) (sqrt y)))
  (/ 1 (/ (sqrt a) 1))
  (/ x (/ (sqrt a) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ a (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ x (/ a (sqrt y)))
  (/ 1 (/ 1 1))
  (/ x (/ a y))
  (/ 1 1)
  (/ x (/ a y))
  (/ 1 a)
  (/ x (/ 1 y))
  (/ 1 (/ a y))
  (/ (/ a y) x)
  (/ x (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ x (sqrt (/ a y)))
  (/ x (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt a) (cbrt a)) (sqrt y)))
  (/ x (/ (* (cbrt a) (cbrt a)) 1))
  (/ x (/ (sqrt a) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt a) (sqrt y)))
  (/ x (/ (sqrt a) 1))
  (/ x (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ 1 (sqrt y)))
  (/ x (/ 1 1))
  (/ x 1)
  (/ x a)
  (/ (/ a y) (cbrt x))
  (/ (/ a y) (sqrt x))
  (/ (/ a y) x)
  (/ x a)
  (* 4.5 (/ (* t z) a))
  (+ (log 4.5) (- (+ (log t) (log z)) (log a)))
  (+ (log 4.5) (- (log (* t z)) (log a)))
  (+ (log 4.5) (log (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (exp (* 4.5 (/ (* t z) a)))
  (* (* (* 4.5 4.5) 4.5) (/ (* (* (* t t) t) (* (* z z) z)) (* (* a a) a)))
  (* (* (* 4.5 4.5) 4.5) (/ (* (* (* t z) (* t z)) (* t z)) (* (* a a) a)))
  (* (* (* 4.5 4.5) 4.5) (* (* (/ (* t z) a) (/ (* t z) a)) (/ (* t z) a)))
  (* (cbrt (* 4.5 (/ (* t z) a))) (cbrt (* 4.5 (/ (* t z) a))))
  (cbrt (* 4.5 (/ (* t z) a)))
  (* (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))) (* 4.5 (/ (* t z) a)))
  (sqrt (* 4.5 (/ (* t z) a)))
  (sqrt (* 4.5 (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* 4.5 (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a))))
  (* 4.5 (sqrt (/ (* t z) a)))
  (* 4.5 (/ t (* (cbrt a) (cbrt a))))
  (* 4.5 (/ t (sqrt a)))
  (* 4.5 (/ t 1))
  (* 4.5 1)
  (* 4.5 (* t z))
  (* (cbrt 4.5) (/ (* t z) a))
  (* (sqrt 4.5) (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (* t z))
  (/ (exp (* 0.5 (/ x (/ a y)))) (exp (* 4.5 (/ (* t z) a))))
  (log (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (exp (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (* (cbrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))) (cbrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))))
  (cbrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (* (* (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))) (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))) (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (sqrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (sqrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (- (* (* 0.5 x) a) (* (/ a y) (* 4.5 (* t z))))
  (* (/ a y) a)
  (- (pow (* 0.5 (/ x (/ a y))) 3) (pow (* 4.5 (/ (* t z) a)) 3))
  (+ (* (* 0.5 (/ x (/ a y))) (* 0.5 (/ x (/ a y)))) (+ (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))) (* (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))))
  (neg (* 4.5 (/ (* t z) a)))
  (- (* (* 0.5 (/ x (/ a y))) (* 0.5 (/ x (/ a y)))) (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))))
  (+ (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))
  (neg (* 4.5 (/ (* t z) a)))
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  0
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
5.992 * * [simplify]: iteration  0 :  250  enodes  (cost  1726 )
6.055 * * [simplify]: iteration  1 :  600  enodes  (cost  1619 )
6.214 * * [simplify]: iteration  2 :  2023  enodes  (cost  1477 )
6.722 * * [simplify]: iteration  done :  5001  enodes  (cost  1477 )
6.723 * [simplify]: Simplified to:
   (log (/ (* t z) a))
  (log (/ (* t z) a))
  (log (/ (* t z) a))
  (exp (/ (* t z) a))
  (pow (/ (* t z) a) 3)
  (pow (/ (* t z) a) 3)
  (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a)))
  (cbrt (/ (* t z) a))
  (pow (/ (* t z) a) 3)
  (sqrt (/ (* t z) a))
  (sqrt (/ (* t z) a))
  (neg (* t z))
  (neg a)
  (/ t (* (cbrt a) (cbrt a)))
  (/ z (cbrt a))
  (/ t (sqrt a))
  (/ z (sqrt a))
  t
  (/ z a)
  (/ 1 a)
  (/ a (* t z))
  (/ (* t z) (* (cbrt a) (cbrt a)))
  (/ (* t z) (sqrt a))
  (* t z)
  (/ a z)
  (log (/ x (/ a y)))
  (log (/ x (/ a y)))
  (log (/ x (/ a y)))
  (exp (/ x (/ a y)))
  (pow (/ (* x y) a) 3)
  (pow (/ (* x y) a) 3)
  (* (cbrt (/ x (/ a y))) (cbrt (/ x (/ a y))))
  (cbrt (/ x (/ a y)))
  (pow (/ (* x y) a) 3)
  (sqrt (/ x (/ a y)))
  (sqrt (/ x (/ a y)))
  (neg x)
  (neg (/ a y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ (cbrt x) (cbrt (/ a y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ a y)))
  (/ (cbrt x) (sqrt (/ a y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt a) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt a) (cbrt a)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt a) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt a) (cbrt a)))
  (/ (cbrt x) (/ (cbrt a) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt a) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt a) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt a) (sqrt y)))
  (/ (cbrt x) (/ (sqrt a) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt a))
  (/ (cbrt x) (/ (sqrt a) y))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ (cbrt x) (/ a (cbrt y)))
  (* (* (cbrt x) (cbrt x)) (sqrt y))
  (/ (cbrt x) (/ a (sqrt y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ a y))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ a y))
  (/ (* (cbrt x) (cbrt x)) a)
  (* (cbrt x) y)
  (/ (sqrt x) (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ (sqrt x) (cbrt (/ a y)))
  (/ (sqrt x) (sqrt (/ a y)))
  (/ (sqrt x) (sqrt (/ a y)))
  (/ (sqrt x) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (cbrt a) (cbrt y)))
  (/ (sqrt x) (/ (* (cbrt a) (cbrt a)) (sqrt y)))
  (/ (sqrt x) (/ (cbrt a) (sqrt y)))
  (/ (sqrt x) (* (cbrt a) (cbrt a)))
  (/ (sqrt x) (/ (cbrt a) y))
  (/ (sqrt x) (/ (sqrt a) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt a) (cbrt y)))
  (/ (sqrt x) (/ (sqrt a) (sqrt y)))
  (/ (sqrt x) (/ (sqrt a) (sqrt y)))
  (/ (sqrt x) (sqrt a))
  (/ (sqrt x) (/ (sqrt a) y))
  (* (sqrt x) (* (cbrt y) (cbrt y)))
  (/ (sqrt x) (/ a (cbrt y)))
  (* (sqrt x) (sqrt y))
  (/ (sqrt x) (/ a (sqrt y)))
  (sqrt x)
  (/ (sqrt x) (/ a y))
  (sqrt x)
  (/ (sqrt x) (/ a y))
  (/ (sqrt x) a)
  (* (sqrt x) y)
  (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ x (cbrt (/ a y)))
  (/ 1 (sqrt (/ a y)))
  (/ x (sqrt (/ a y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a)))
  (/ x (/ (cbrt a) (cbrt y)))
  (/ (sqrt y) (* (cbrt a) (cbrt a)))
  (/ x (/ (cbrt a) (sqrt y)))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ x (/ (cbrt a) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt a))
  (/ x (/ (sqrt a) (cbrt y)))
  (/ (sqrt y) (sqrt a))
  (/ x (/ (sqrt a) (sqrt y)))
  (/ 1 (sqrt a))
  (/ x (/ (sqrt a) y))
  (* (cbrt y) (cbrt y))
  (/ x (/ a (cbrt y)))
  (sqrt y)
  (/ x (/ a (sqrt y)))
  1
  (/ (* x y) a)
  1
  (/ (* x y) a)
  (/ 1 a)
  (* x y)
  (/ 1 (/ a y))
  (/ (/ a y) x)
  (/ x (* (cbrt (/ a y)) (cbrt (/ a y))))
  (/ x (sqrt (/ a y)))
  (/ x (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt a) (cbrt a)) (sqrt y)))
  (/ x (* (cbrt a) (cbrt a)))
  (/ x (/ (sqrt a) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt a) (sqrt y)))
  (/ x (sqrt a))
  (* x (* (cbrt y) (cbrt y)))
  (* x (sqrt y))
  x
  x
  (/ x a)
  (/ (/ a y) (cbrt x))
  (/ (/ a y) (sqrt x))
  (/ (/ a y) x)
  (/ x a)
  (* 4.5 (/ (* t z) a))
  (log (* 4.5 (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (log (* 4.5 (/ (* t z) a)))
  (exp (* 4.5 (/ (* t z) a)))
  (pow (* 4.5 (/ (* t z) a)) 3)
  (pow (* 4.5 (/ (* t z) a)) 3)
  (pow (* 4.5 (/ (* t z) a)) 3)
  (* (cbrt (* 4.5 (/ (* t z) a))) (cbrt (* 4.5 (/ (* t z) a))))
  (cbrt (* 4.5 (/ (* t z) a)))
  (pow (* 4.5 (/ (* t z) a)) 3)
  (sqrt (* 4.5 (/ (* t z) a)))
  (sqrt (* 4.5 (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* (sqrt 4.5) (sqrt (/ (* t z) a)))
  (* 4.5 (* (cbrt (/ (* t z) a)) (cbrt (/ (* t z) a))))
  (* 4.5 (sqrt (/ (* t z) a)))
  (* 4.5 (/ t (* (cbrt a) (cbrt a))))
  (* 4.5 (/ t (sqrt a)))
  (* 4.5 t)
  4.5
  (* 4.5 (* t z))
  (* (cbrt 4.5) (/ (* t z) a))
  (* (sqrt 4.5) (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (* t z))
  (exp (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (log (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (exp (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (* (cbrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))) (cbrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))))
  (cbrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (pow (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) 3)
  (sqrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (sqrt (- (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a))))
  (- (* (* 0.5 x) a) (* (/ a y) (* 4.5 (* t z))))
  (* (/ a y) a)
  (- (pow (* 0.5 (/ x (/ a y))) 3) (pow (* 4.5 (/ (* t z) a)) 3))
  (+ (* (* 4.5 (/ (* t z) a)) (+ (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))) (* (* 0.5 (/ x (/ a y))) (* 0.5 (/ x (/ a y)))))
  (neg (* 4.5 (/ (* t z) a)))
  (- (* (* 0.5 (/ x (/ a y))) (* 0.5 (/ x (/ a y)))) (* (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a))))
  (+ (* 0.5 (/ x (/ a y))) (* 4.5 (/ (* t z) a)))
  (neg (* 4.5 (/ (* t z) a)))
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* t z) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  0
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
6.729 * * * [progress]: adding candidates to table
6.866 * [progress]: [Phase 3 of 3] Extracting.
6.866 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
6.868 * * * [regime-changes]: Trying 10 branch expressions: ((* a 2.0) (* z 9.0) (* (* z 9.0) t) (* x y) (- (* x y) (* (* z 9.0) t)) a t z y x)
6.868 * * * * [regimes]: Trying to branch on (* a 2.0) from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
6.967 * * * * [regimes]: Trying to branch on (* a 2.0) from (#<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.026 * * * * [regimes]: Trying to branch on (* z 9.0) from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.138 * * * * [regimes]: Trying to branch on (* z 9.0) from (#<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.198 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.300 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (#<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.359 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.453 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.523 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.620 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) from (#<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.676 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.770 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.867 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
7.976 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
8.080 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
8.183 * * * [regime]: Found split indices: #<option (#s(si 2 14) #s(si 6 230) #s(si 2 255))>
8.184 * [binary-search]: Only using regimes for bounds on (- (* x y) (* (* z 9.0) t)) and (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
8.184 * [regimes]: Found splitpoints: (#s(sp 2 (- (* x y) (* (* z 9.0) t)) -inf.0) #s(sp 6 (- (* x y) (* (* z 9.0) t)) 8.101872415034429e+265) #s(sp 2 (- (* x y) (* (* z 9.0) t)) +nan.0)) , with alts (#<alt (λ (x y z t a) (- (* 0.5 (* x (/ y a))) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)))) (* a 2.0)))> #<alt (λ (x y z t a) (- (* 0.5 (/ (* x y) a)) (* (* 4.5 t) (/ z a))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ x a) y)) (* 4.5 (/ (* t z) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (* a (- (* 0.5 (* x y)) (* 4.5 (* t z)))) (* a a)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))>)
8.184 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (- (* x y) (* (* z 9.0) t)) -inf.0) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))) (if (<= (- (* x y) (* (* z 9.0) t)) 8.101872415034429e+265) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a))))))
8.185 * * [simplify]: iteration  0 :  31  enodes  (cost  67 )
8.186 * * [simplify]: iteration  1 :  43  enodes  (cost  53 )
8.187 * * [simplify]: iteration  done :  43  enodes  (cost  53 )
8.187 * [simplify]: Simplified to:
   (if (or (<= (- (* x y) (* (* z 9.0) t)) -inf.0) (not (<= (- (* x y) (* (* z 9.0) t)) 8.101872415034429e+265))) (- (* 0.5 (/ x (/ a y))) (* 4.5 (* t (/ z a)))) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
10.492 * [regime-testing]: End program error score: 0.762609940240021
10.621 * [regime-testing]: Target error score: 5.6466547940861345