21.189 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.038 * * * [progress]: [2/2] Setting up program.
0.042 * [progress]: [Phase 2 of 3] Improving.
0.043 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
0.052 * * [simplify]: iteration  0 :  923  enodes  (cost  13 )
0.052 * * [simplify]: iteration  1 :  923  enodes  (cost  13 )
0.053 * [simplify]: Simplified to:
   (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))
0.062 * * [progress]: iteration 1 / 4
0.062 * * * [progress]: picking best candidate
0.069 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))>
0.069 * * * [progress]: localizing error
0.080 * * * [progress]: generating rewritten candidates
0.080 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.088 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.091 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.099 * * * [progress]: generating series expansions
0.099 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.099 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0
0.099 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
0.099 * [taylor]: Taking taylor expansion of 0.5 in a
0.099 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
0.099 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
0.099 * [taylor]: Taking taylor expansion of (* x y) in a
0.099 * [taylor]: Taking taylor expansion of x in a
0.099 * [taylor]: Taking taylor expansion of y in a
0.099 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
0.099 * [taylor]: Taking taylor expansion of 9.0 in a
0.099 * [taylor]: Taking taylor expansion of (* t z) in a
0.099 * [taylor]: Taking taylor expansion of t in a
0.099 * [taylor]: Taking taylor expansion of z in a
0.099 * [taylor]: Taking taylor expansion of a in a
0.099 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
0.099 * [taylor]: Taking taylor expansion of 0.5 in t
0.099 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
0.099 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
0.099 * [taylor]: Taking taylor expansion of (* x y) in t
0.099 * [taylor]: Taking taylor expansion of x in t
0.099 * [taylor]: Taking taylor expansion of y in t
0.099 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.100 * [taylor]: Taking taylor expansion of 9.0 in t
0.100 * [taylor]: Taking taylor expansion of (* t z) in t
0.100 * [taylor]: Taking taylor expansion of t in t
0.100 * [taylor]: Taking taylor expansion of z in t
0.100 * [taylor]: Taking taylor expansion of a in t
0.100 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
0.100 * [taylor]: Taking taylor expansion of 0.5 in z
0.100 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
0.100 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
0.100 * [taylor]: Taking taylor expansion of (* x y) in z
0.100 * [taylor]: Taking taylor expansion of x in z
0.100 * [taylor]: Taking taylor expansion of y in z
0.100 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.100 * [taylor]: Taking taylor expansion of 9.0 in z
0.100 * [taylor]: Taking taylor expansion of (* t z) in z
0.100 * [taylor]: Taking taylor expansion of t in z
0.100 * [taylor]: Taking taylor expansion of z in z
0.100 * [taylor]: Taking taylor expansion of a in z
0.100 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
0.100 * [taylor]: Taking taylor expansion of 0.5 in y
0.100 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
0.100 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
0.100 * [taylor]: Taking taylor expansion of (* x y) in y
0.100 * [taylor]: Taking taylor expansion of x in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.100 * [taylor]: Taking taylor expansion of 9.0 in y
0.100 * [taylor]: Taking taylor expansion of (* t z) in y
0.100 * [taylor]: Taking taylor expansion of t in y
0.100 * [taylor]: Taking taylor expansion of z in y
0.100 * [taylor]: Taking taylor expansion of a in y
0.100 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
0.101 * [taylor]: Taking taylor expansion of 0.5 in x
0.101 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
0.101 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.101 * [taylor]: Taking taylor expansion of (* x y) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of y in x
0.101 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.101 * [taylor]: Taking taylor expansion of 9.0 in x
0.101 * [taylor]: Taking taylor expansion of (* t z) in x
0.101 * [taylor]: Taking taylor expansion of t in x
0.101 * [taylor]: Taking taylor expansion of z in x
0.101 * [taylor]: Taking taylor expansion of a in x
0.101 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
0.101 * [taylor]: Taking taylor expansion of 0.5 in x
0.101 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
0.101 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.101 * [taylor]: Taking taylor expansion of (* x y) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of y in x
0.101 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.101 * [taylor]: Taking taylor expansion of 9.0 in x
0.101 * [taylor]: Taking taylor expansion of (* t z) in x
0.101 * [taylor]: Taking taylor expansion of t in x
0.101 * [taylor]: Taking taylor expansion of z in x
0.101 * [taylor]: Taking taylor expansion of a in x
0.101 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
0.101 * [taylor]: Taking taylor expansion of -4.5 in y
0.101 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.102 * [taylor]: Taking taylor expansion of (* t z) in y
0.102 * [taylor]: Taking taylor expansion of t in y
0.102 * [taylor]: Taking taylor expansion of z in y
0.102 * [taylor]: Taking taylor expansion of a in y
0.102 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z
0.102 * [taylor]: Taking taylor expansion of -4.5 in z
0.102 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.102 * [taylor]: Taking taylor expansion of (* t z) in z
0.102 * [taylor]: Taking taylor expansion of t in z
0.102 * [taylor]: Taking taylor expansion of z in z
0.102 * [taylor]: Taking taylor expansion of a in z
0.102 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
0.102 * [taylor]: Taking taylor expansion of 0.5 in y
0.102 * [taylor]: Taking taylor expansion of (/ y a) in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of a in y
0.102 * [taylor]: Taking taylor expansion of 0 in z
0.102 * [taylor]: Taking taylor expansion of 0 in t
0.102 * [taylor]: Taking taylor expansion of 0 in a
0.103 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t
0.103 * [taylor]: Taking taylor expansion of -4.5 in t
0.103 * [taylor]: Taking taylor expansion of (/ t a) in t
0.103 * [taylor]: Taking taylor expansion of t in t
0.103 * [taylor]: Taking taylor expansion of a in t
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in z
0.103 * [taylor]: Taking taylor expansion of 0 in t
0.103 * [taylor]: Taking taylor expansion of 0 in a
0.103 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
0.103 * [taylor]: Taking taylor expansion of 0.5 in z
0.103 * [taylor]: Taking taylor expansion of a in z
0.103 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
0.103 * [taylor]: Taking taylor expansion of 0.5 in t
0.103 * [taylor]: Taking taylor expansion of a in t
0.103 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
0.103 * [taylor]: Taking taylor expansion of 0.5 in a
0.103 * [taylor]: Taking taylor expansion of a in a
0.104 * [taylor]: Taking taylor expansion of 0 in z
0.104 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in a
0.104 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in a
0.104 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in a
0.104 * [taylor]: Taking taylor expansion of 0 in a
0.104 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
0.104 * [taylor]: Taking taylor expansion of -4.5 in a
0.104 * [taylor]: Taking taylor expansion of a in a
0.105 * [taylor]: Taking taylor expansion of 0 in y
0.105 * [taylor]: Taking taylor expansion of 0 in z
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in z
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in z
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in z
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in t
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in a
0.106 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in (x y z t a) around 0
0.107 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in a
0.107 * [taylor]: Taking taylor expansion of 0.5 in a
0.107 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in a
0.107 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
0.107 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.107 * [taylor]: Taking taylor expansion of (* x y) in a
0.107 * [taylor]: Taking taylor expansion of x in a
0.107 * [taylor]: Taking taylor expansion of y in a
0.107 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
0.107 * [taylor]: Taking taylor expansion of 9.0 in a
0.107 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.107 * [taylor]: Taking taylor expansion of (* t z) in a
0.107 * [taylor]: Taking taylor expansion of t in a
0.107 * [taylor]: Taking taylor expansion of z in a
0.107 * [taylor]: Taking taylor expansion of a in a
0.107 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in t
0.107 * [taylor]: Taking taylor expansion of 0.5 in t
0.107 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in t
0.107 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.107 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.107 * [taylor]: Taking taylor expansion of (* x y) in t
0.107 * [taylor]: Taking taylor expansion of x in t
0.107 * [taylor]: Taking taylor expansion of y in t
0.107 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.107 * [taylor]: Taking taylor expansion of 9.0 in t
0.107 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.107 * [taylor]: Taking taylor expansion of (* t z) in t
0.107 * [taylor]: Taking taylor expansion of t in t
0.107 * [taylor]: Taking taylor expansion of z in t
0.107 * [taylor]: Taking taylor expansion of a in t
0.107 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in z
0.107 * [taylor]: Taking taylor expansion of 0.5 in z
0.107 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in z
0.107 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.107 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.107 * [taylor]: Taking taylor expansion of (* x y) in z
0.107 * [taylor]: Taking taylor expansion of x in z
0.107 * [taylor]: Taking taylor expansion of y in z
0.108 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.108 * [taylor]: Taking taylor expansion of 9.0 in z
0.108 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.108 * [taylor]: Taking taylor expansion of (* t z) in z
0.108 * [taylor]: Taking taylor expansion of t in z
0.108 * [taylor]: Taking taylor expansion of z in z
0.108 * [taylor]: Taking taylor expansion of a in z
0.108 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in y
0.108 * [taylor]: Taking taylor expansion of 0.5 in y
0.108 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in y
0.108 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.108 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.108 * [taylor]: Taking taylor expansion of (* x y) in y
0.108 * [taylor]: Taking taylor expansion of x in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.108 * [taylor]: Taking taylor expansion of 9.0 in y
0.108 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.108 * [taylor]: Taking taylor expansion of (* t z) in y
0.108 * [taylor]: Taking taylor expansion of t in y
0.108 * [taylor]: Taking taylor expansion of z in y
0.108 * [taylor]: Taking taylor expansion of a in y
0.108 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
0.108 * [taylor]: Taking taylor expansion of 0.5 in x
0.108 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
0.108 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.108 * [taylor]: Taking taylor expansion of (* x y) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.108 * [taylor]: Taking taylor expansion of 9.0 in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.108 * [taylor]: Taking taylor expansion of (* t z) in x
0.108 * [taylor]: Taking taylor expansion of t in x
0.108 * [taylor]: Taking taylor expansion of z in x
0.109 * [taylor]: Taking taylor expansion of a in x
0.109 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
0.109 * [taylor]: Taking taylor expansion of 0.5 in x
0.109 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.109 * [taylor]: Taking taylor expansion of (* x y) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.109 * [taylor]: Taking taylor expansion of 9.0 in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.109 * [taylor]: Taking taylor expansion of (* t z) in x
0.109 * [taylor]: Taking taylor expansion of t in x
0.109 * [taylor]: Taking taylor expansion of z in x
0.109 * [taylor]: Taking taylor expansion of a in x
0.109 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
0.109 * [taylor]: Taking taylor expansion of 0.5 in y
0.109 * [taylor]: Taking taylor expansion of (/ a y) in y
0.109 * [taylor]: Taking taylor expansion of a in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
0.109 * [taylor]: Taking taylor expansion of 0.5 in z
0.109 * [taylor]: Taking taylor expansion of a in z
0.110 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in y
0.110 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.110 * [taylor]: Taking taylor expansion of 4.5 in y
0.110 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.110 * [taylor]: Taking taylor expansion of a in y
0.110 * [taylor]: Taking taylor expansion of (* z t) in y
0.110 * [taylor]: Taking taylor expansion of z in y
0.110 * [taylor]: Taking taylor expansion of t in y
0.110 * [taylor]: Taking taylor expansion of 0 in z
0.110 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
0.110 * [taylor]: Taking taylor expansion of 0.5 in t
0.110 * [taylor]: Taking taylor expansion of a in t
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.111 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in z
0.111 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.111 * [taylor]: Taking taylor expansion of 4.5 in z
0.111 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.111 * [taylor]: Taking taylor expansion of a in z
0.111 * [taylor]: Taking taylor expansion of (* z t) in z
0.111 * [taylor]: Taking taylor expansion of z in z
0.111 * [taylor]: Taking taylor expansion of t in z
0.111 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a t))) in t
0.111 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.111 * [taylor]: Taking taylor expansion of 4.5 in t
0.111 * [taylor]: Taking taylor expansion of (/ a t) in t
0.111 * [taylor]: Taking taylor expansion of a in t
0.111 * [taylor]: Taking taylor expansion of t in t
0.111 * [taylor]: Taking taylor expansion of (neg (* 4.5 a)) in a
0.111 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.111 * [taylor]: Taking taylor expansion of 4.5 in a
0.111 * [taylor]: Taking taylor expansion of a in a
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.112 * [taylor]: Taking taylor expansion of 0 in t
0.112 * [taylor]: Taking taylor expansion of 0 in t
0.112 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.112 * [taylor]: Taking taylor expansion of 0.5 in a
0.112 * [taylor]: Taking taylor expansion of a in a
0.112 * [taylor]: Taking taylor expansion of 0 in y
0.112 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 0 in t
0.113 * [taylor]: Taking taylor expansion of 0 in t
0.113 * [taylor]: Taking taylor expansion of 0 in t
0.113 * [taylor]: Taking taylor expansion of 0 in t
0.113 * [taylor]: Taking taylor expansion of 0 in a
0.113 * [taylor]: Taking taylor expansion of 0 in a
0.113 * [taylor]: Taking taylor expansion of 0 in a
0.113 * [taylor]: Taking taylor expansion of 0 in a
0.114 * [approximate]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in (x y z t a) around 0
0.114 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in a
0.114 * [taylor]: Taking taylor expansion of -0.5 in a
0.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in a
0.114 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
0.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.114 * [taylor]: Taking taylor expansion of (* x y) in a
0.114 * [taylor]: Taking taylor expansion of x in a
0.114 * [taylor]: Taking taylor expansion of y in a
0.114 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
0.114 * [taylor]: Taking taylor expansion of 9.0 in a
0.114 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.114 * [taylor]: Taking taylor expansion of (* t z) in a
0.114 * [taylor]: Taking taylor expansion of t in a
0.114 * [taylor]: Taking taylor expansion of z in a
0.114 * [taylor]: Taking taylor expansion of a in a
0.114 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in t
0.114 * [taylor]: Taking taylor expansion of -0.5 in t
0.114 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in t
0.114 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.114 * [taylor]: Taking taylor expansion of (* x y) in t
0.114 * [taylor]: Taking taylor expansion of x in t
0.114 * [taylor]: Taking taylor expansion of y in t
0.114 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.114 * [taylor]: Taking taylor expansion of 9.0 in t
0.114 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.114 * [taylor]: Taking taylor expansion of (* t z) in t
0.114 * [taylor]: Taking taylor expansion of t in t
0.114 * [taylor]: Taking taylor expansion of z in t
0.114 * [taylor]: Taking taylor expansion of a in t
0.114 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in z
0.115 * [taylor]: Taking taylor expansion of -0.5 in z
0.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in z
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.115 * [taylor]: Taking taylor expansion of (* x y) in z
0.115 * [taylor]: Taking taylor expansion of x in z
0.115 * [taylor]: Taking taylor expansion of y in z
0.115 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.115 * [taylor]: Taking taylor expansion of 9.0 in z
0.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.115 * [taylor]: Taking taylor expansion of (* t z) in z
0.115 * [taylor]: Taking taylor expansion of t in z
0.115 * [taylor]: Taking taylor expansion of z in z
0.115 * [taylor]: Taking taylor expansion of a in z
0.115 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in y
0.115 * [taylor]: Taking taylor expansion of -0.5 in y
0.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in y
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.115 * [taylor]: Taking taylor expansion of (* x y) in y
0.115 * [taylor]: Taking taylor expansion of x in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.115 * [taylor]: Taking taylor expansion of 9.0 in y
0.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.115 * [taylor]: Taking taylor expansion of (* t z) in y
0.115 * [taylor]: Taking taylor expansion of t in y
0.115 * [taylor]: Taking taylor expansion of z in y
0.115 * [taylor]: Taking taylor expansion of a in y
0.115 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
0.115 * [taylor]: Taking taylor expansion of -0.5 in x
0.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.115 * [taylor]: Taking taylor expansion of (* x y) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.115 * [taylor]: Taking taylor expansion of 9.0 in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.115 * [taylor]: Taking taylor expansion of (* t z) in x
0.115 * [taylor]: Taking taylor expansion of t in x
0.116 * [taylor]: Taking taylor expansion of z in x
0.116 * [taylor]: Taking taylor expansion of a in x
0.116 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a)) in x
0.116 * [taylor]: Taking taylor expansion of -0.5 in x
0.116 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) a) in x
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.116 * [taylor]: Taking taylor expansion of (* x y) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.116 * [taylor]: Taking taylor expansion of 9.0 in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.116 * [taylor]: Taking taylor expansion of (* t z) in x
0.116 * [taylor]: Taking taylor expansion of t in x
0.116 * [taylor]: Taking taylor expansion of z in x
0.116 * [taylor]: Taking taylor expansion of a in x
0.116 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
0.116 * [taylor]: Taking taylor expansion of -0.5 in y
0.116 * [taylor]: Taking taylor expansion of (/ a y) in y
0.116 * [taylor]: Taking taylor expansion of a in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
0.116 * [taylor]: Taking taylor expansion of -0.5 in z
0.116 * [taylor]: Taking taylor expansion of a in z
0.117 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.117 * [taylor]: Taking taylor expansion of 4.5 in y
0.117 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.117 * [taylor]: Taking taylor expansion of a in y
0.117 * [taylor]: Taking taylor expansion of (* z t) in y
0.117 * [taylor]: Taking taylor expansion of z in y
0.117 * [taylor]: Taking taylor expansion of t in y
0.117 * [taylor]: Taking taylor expansion of 0 in z
0.117 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
0.117 * [taylor]: Taking taylor expansion of -0.5 in t
0.117 * [taylor]: Taking taylor expansion of a in t
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.118 * [taylor]: Taking taylor expansion of 4.5 in z
0.118 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.118 * [taylor]: Taking taylor expansion of a in z
0.118 * [taylor]: Taking taylor expansion of (* z t) in z
0.118 * [taylor]: Taking taylor expansion of z in z
0.118 * [taylor]: Taking taylor expansion of t in z
0.118 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.118 * [taylor]: Taking taylor expansion of 4.5 in t
0.118 * [taylor]: Taking taylor expansion of (/ a t) in t
0.118 * [taylor]: Taking taylor expansion of a in t
0.118 * [taylor]: Taking taylor expansion of t in t
0.118 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.118 * [taylor]: Taking taylor expansion of 4.5 in a
0.118 * [taylor]: Taking taylor expansion of a in a
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in t
0.118 * [taylor]: Taking taylor expansion of 0 in t
0.118 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
0.118 * [taylor]: Taking taylor expansion of -0.5 in a
0.118 * [taylor]: Taking taylor expansion of a in a
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in a
0.120 * [taylor]: Taking taylor expansion of 0 in a
0.120 * [taylor]: Taking taylor expansion of 0 in a
0.120 * [taylor]: Taking taylor expansion of 0 in a
0.120 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.120 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0
0.120 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
0.120 * [taylor]: Taking taylor expansion of (* x y) in t
0.120 * [taylor]: Taking taylor expansion of x in t
0.120 * [taylor]: Taking taylor expansion of y in t
0.120 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.120 * [taylor]: Taking taylor expansion of 9.0 in t
0.120 * [taylor]: Taking taylor expansion of (* t z) in t
0.120 * [taylor]: Taking taylor expansion of t in t
0.120 * [taylor]: Taking taylor expansion of z in t
0.120 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
0.120 * [taylor]: Taking taylor expansion of (* x y) in z
0.120 * [taylor]: Taking taylor expansion of x in z
0.120 * [taylor]: Taking taylor expansion of y in z
0.120 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.120 * [taylor]: Taking taylor expansion of 9.0 in z
0.120 * [taylor]: Taking taylor expansion of (* t z) in z
0.120 * [taylor]: Taking taylor expansion of t in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.120 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
0.120 * [taylor]: Taking taylor expansion of (* x y) in y
0.121 * [taylor]: Taking taylor expansion of x in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.121 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.121 * [taylor]: Taking taylor expansion of 9.0 in y
0.121 * [taylor]: Taking taylor expansion of (* t z) in y
0.121 * [taylor]: Taking taylor expansion of t in y
0.121 * [taylor]: Taking taylor expansion of z in y
0.121 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.121 * [taylor]: Taking taylor expansion of (* x y) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of y in x
0.121 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.121 * [taylor]: Taking taylor expansion of 9.0 in x
0.121 * [taylor]: Taking taylor expansion of (* t z) in x
0.121 * [taylor]: Taking taylor expansion of t in x
0.121 * [taylor]: Taking taylor expansion of z in x
0.121 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.121 * [taylor]: Taking taylor expansion of (* x y) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of y in x
0.121 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.121 * [taylor]: Taking taylor expansion of 9.0 in x
0.121 * [taylor]: Taking taylor expansion of (* t z) in x
0.121 * [taylor]: Taking taylor expansion of t in x
0.121 * [taylor]: Taking taylor expansion of z in x
0.121 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in y
0.121 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.121 * [taylor]: Taking taylor expansion of 9.0 in y
0.121 * [taylor]: Taking taylor expansion of (* t z) in y
0.121 * [taylor]: Taking taylor expansion of t in y
0.121 * [taylor]: Taking taylor expansion of z in y
0.121 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z
0.121 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.121 * [taylor]: Taking taylor expansion of 9.0 in z
0.121 * [taylor]: Taking taylor expansion of (* t z) in z
0.121 * [taylor]: Taking taylor expansion of t in z
0.121 * [taylor]: Taking taylor expansion of z in z
0.121 * [taylor]: Taking taylor expansion of 0 in t
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of 0 in z
0.122 * [taylor]: Taking taylor expansion of 0 in t
0.122 * [taylor]: Taking taylor expansion of 0 in z
0.122 * [taylor]: Taking taylor expansion of 0 in t
0.122 * [taylor]: Taking taylor expansion of (neg (* 9.0 t)) in t
0.122 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
0.122 * [taylor]: Taking taylor expansion of 9.0 in t
0.122 * [taylor]: Taking taylor expansion of t in t
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in z
0.122 * [taylor]: Taking taylor expansion of 0 in t
0.122 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
0.122 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.122 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.122 * [taylor]: Taking taylor expansion of (* x y) in t
0.122 * [taylor]: Taking taylor expansion of x in t
0.122 * [taylor]: Taking taylor expansion of y in t
0.122 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.122 * [taylor]: Taking taylor expansion of 9.0 in t
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.123 * [taylor]: Taking taylor expansion of (* t z) in t
0.123 * [taylor]: Taking taylor expansion of t in t
0.123 * [taylor]: Taking taylor expansion of z in t
0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.123 * [taylor]: Taking taylor expansion of (* x y) in z
0.123 * [taylor]: Taking taylor expansion of x in z
0.123 * [taylor]: Taking taylor expansion of y in z
0.123 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.123 * [taylor]: Taking taylor expansion of 9.0 in z
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.123 * [taylor]: Taking taylor expansion of (* t z) in z
0.123 * [taylor]: Taking taylor expansion of t in z
0.123 * [taylor]: Taking taylor expansion of z in z
0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.123 * [taylor]: Taking taylor expansion of (* x y) in y
0.123 * [taylor]: Taking taylor expansion of x in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.123 * [taylor]: Taking taylor expansion of 9.0 in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.123 * [taylor]: Taking taylor expansion of (* t z) in y
0.123 * [taylor]: Taking taylor expansion of t in y
0.123 * [taylor]: Taking taylor expansion of z in y
0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.123 * [taylor]: Taking taylor expansion of (* x y) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.123 * [taylor]: Taking taylor expansion of 9.0 in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.123 * [taylor]: Taking taylor expansion of (* t z) in x
0.123 * [taylor]: Taking taylor expansion of t in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.124 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.124 * [taylor]: Taking taylor expansion of (* x y) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.124 * [taylor]: Taking taylor expansion of 9.0 in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.124 * [taylor]: Taking taylor expansion of (* t z) in x
0.124 * [taylor]: Taking taylor expansion of t in x
0.124 * [taylor]: Taking taylor expansion of z in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of 1 in z
0.124 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y
0.124 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.124 * [taylor]: Taking taylor expansion of 9.0 in y
0.124 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.124 * [taylor]: Taking taylor expansion of (* t z) in y
0.124 * [taylor]: Taking taylor expansion of t in y
0.124 * [taylor]: Taking taylor expansion of z in y
0.124 * [taylor]: Taking taylor expansion of 0 in z
0.124 * [taylor]: Taking taylor expansion of 1 in t
0.125 * [taylor]: Taking taylor expansion of 0 in y
0.125 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
0.125 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.125 * [taylor]: Taking taylor expansion of 9.0 in z
0.125 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.125 * [taylor]: Taking taylor expansion of (* t z) in z
0.125 * [taylor]: Taking taylor expansion of t in z
0.125 * [taylor]: Taking taylor expansion of z in z
0.125 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
0.125 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
0.125 * [taylor]: Taking taylor expansion of 9.0 in t
0.125 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.125 * [taylor]: Taking taylor expansion of t in t
0.125 * [taylor]: Taking taylor expansion of 0 in z
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.125 * [taylor]: Taking taylor expansion of 0 in t
0.126 * [taylor]: Taking taylor expansion of 0 in y
0.126 * [taylor]: Taking taylor expansion of 0 in z
0.126 * [taylor]: Taking taylor expansion of 0 in z
0.126 * [taylor]: Taking taylor expansion of 0 in z
0.126 * [taylor]: Taking taylor expansion of 0 in t
0.126 * [taylor]: Taking taylor expansion of 0 in t
0.126 * [taylor]: Taking taylor expansion of 0 in t
0.126 * [taylor]: Taking taylor expansion of 0 in t
0.127 * [taylor]: Taking taylor expansion of 0 in y
0.127 * [taylor]: Taking taylor expansion of 0 in z
0.127 * [taylor]: Taking taylor expansion of 0 in z
0.127 * [taylor]: Taking taylor expansion of 0 in z
0.127 * [taylor]: Taking taylor expansion of 0 in z
0.127 * [taylor]: Taking taylor expansion of 0 in t
0.127 * [taylor]: Taking taylor expansion of 0 in t
0.127 * [taylor]: Taking taylor expansion of 0 in t
0.127 * [taylor]: Taking taylor expansion of 0 in t
0.128 * [taylor]: Taking taylor expansion of 0 in t
0.128 * [taylor]: Taking taylor expansion of 0 in t
0.128 * [taylor]: Taking taylor expansion of 0 in t
0.128 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
0.128 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.128 * [taylor]: Taking taylor expansion of (* x y) in t
0.128 * [taylor]: Taking taylor expansion of x in t
0.128 * [taylor]: Taking taylor expansion of y in t
0.128 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.128 * [taylor]: Taking taylor expansion of 9.0 in t
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.128 * [taylor]: Taking taylor expansion of (* t z) in t
0.128 * [taylor]: Taking taylor expansion of t in t
0.128 * [taylor]: Taking taylor expansion of z in t
0.128 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.128 * [taylor]: Taking taylor expansion of (* x y) in z
0.128 * [taylor]: Taking taylor expansion of x in z
0.128 * [taylor]: Taking taylor expansion of y in z
0.128 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.128 * [taylor]: Taking taylor expansion of 9.0 in z
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.128 * [taylor]: Taking taylor expansion of (* t z) in z
0.129 * [taylor]: Taking taylor expansion of t in z
0.129 * [taylor]: Taking taylor expansion of z in z
0.129 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.129 * [taylor]: Taking taylor expansion of (* x y) in y
0.129 * [taylor]: Taking taylor expansion of x in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.129 * [taylor]: Taking taylor expansion of 9.0 in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.129 * [taylor]: Taking taylor expansion of (* t z) in y
0.129 * [taylor]: Taking taylor expansion of t in y
0.129 * [taylor]: Taking taylor expansion of z in y
0.129 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.129 * [taylor]: Taking taylor expansion of (* x y) in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.129 * [taylor]: Taking taylor expansion of y in x
0.129 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.129 * [taylor]: Taking taylor expansion of 9.0 in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.129 * [taylor]: Taking taylor expansion of (* t z) in x
0.129 * [taylor]: Taking taylor expansion of t in x
0.129 * [taylor]: Taking taylor expansion of z in x
0.129 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.129 * [taylor]: Taking taylor expansion of (* x y) in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.129 * [taylor]: Taking taylor expansion of y in x
0.129 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.129 * [taylor]: Taking taylor expansion of 9.0 in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.129 * [taylor]: Taking taylor expansion of (* t z) in x
0.129 * [taylor]: Taking taylor expansion of t in x
0.130 * [taylor]: Taking taylor expansion of z in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.130 * [taylor]: Taking taylor expansion of 1 in z
0.130 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y
0.130 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.130 * [taylor]: Taking taylor expansion of 9.0 in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.130 * [taylor]: Taking taylor expansion of (* t z) in y
0.130 * [taylor]: Taking taylor expansion of t in y
0.130 * [taylor]: Taking taylor expansion of z in y
0.130 * [taylor]: Taking taylor expansion of 0 in z
0.130 * [taylor]: Taking taylor expansion of 1 in t
0.130 * [taylor]: Taking taylor expansion of 0 in y
0.131 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
0.131 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.131 * [taylor]: Taking taylor expansion of 9.0 in z
0.131 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.131 * [taylor]: Taking taylor expansion of (* t z) in z
0.131 * [taylor]: Taking taylor expansion of t in z
0.131 * [taylor]: Taking taylor expansion of z in z
0.131 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
0.131 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
0.131 * [taylor]: Taking taylor expansion of 9.0 in t
0.131 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.131 * [taylor]: Taking taylor expansion of t in t
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in t
0.131 * [taylor]: Taking taylor expansion of 0 in t
0.131 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [taylor]: Taking taylor expansion of 0 in z
0.132 * [taylor]: Taking taylor expansion of 0 in z
0.132 * [taylor]: Taking taylor expansion of 0 in z
0.132 * [taylor]: Taking taylor expansion of 0 in t
0.132 * [taylor]: Taking taylor expansion of 0 in t
0.132 * [taylor]: Taking taylor expansion of 0 in t
0.132 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in y
0.133 * [taylor]: Taking taylor expansion of 0 in z
0.133 * [taylor]: Taking taylor expansion of 0 in z
0.133 * [taylor]: Taking taylor expansion of 0 in z
0.133 * [taylor]: Taking taylor expansion of 0 in z
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.133 * [taylor]: Taking taylor expansion of 0 in t
0.134 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.134 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
0.134 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.134 * [taylor]: Taking taylor expansion of 9.0 in t
0.134 * [taylor]: Taking taylor expansion of (* t z) in t
0.134 * [taylor]: Taking taylor expansion of t in t
0.134 * [taylor]: Taking taylor expansion of z in t
0.134 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.134 * [taylor]: Taking taylor expansion of 9.0 in z
0.134 * [taylor]: Taking taylor expansion of (* t z) in z
0.134 * [taylor]: Taking taylor expansion of t in z
0.134 * [taylor]: Taking taylor expansion of z in z
0.134 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.134 * [taylor]: Taking taylor expansion of 9.0 in z
0.134 * [taylor]: Taking taylor expansion of (* t z) in z
0.134 * [taylor]: Taking taylor expansion of t in z
0.134 * [taylor]: Taking taylor expansion of z in z
0.134 * [taylor]: Taking taylor expansion of 0 in t
0.134 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
0.134 * [taylor]: Taking taylor expansion of 9.0 in t
0.134 * [taylor]: Taking taylor expansion of t in t
0.134 * [taylor]: Taking taylor expansion of 0 in t
0.134 * [taylor]: Taking taylor expansion of 0 in t
0.135 * [taylor]: Taking taylor expansion of 0 in t
0.135 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
0.135 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
0.135 * [taylor]: Taking taylor expansion of 9.0 in t
0.135 * [taylor]: Taking taylor expansion of (* t z) in t
0.135 * [taylor]: Taking taylor expansion of t in t
0.135 * [taylor]: Taking taylor expansion of z in t
0.135 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.135 * [taylor]: Taking taylor expansion of 9.0 in z
0.135 * [taylor]: Taking taylor expansion of (* t z) in z
0.135 * [taylor]: Taking taylor expansion of t in z
0.135 * [taylor]: Taking taylor expansion of z in z
0.135 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.135 * [taylor]: Taking taylor expansion of 9.0 in z
0.135 * [taylor]: Taking taylor expansion of (* t z) in z
0.135 * [taylor]: Taking taylor expansion of t in z
0.135 * [taylor]: Taking taylor expansion of z in z
0.135 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
0.135 * [taylor]: Taking taylor expansion of 9.0 in t
0.135 * [taylor]: Taking taylor expansion of t in t
0.135 * [taylor]: Taking taylor expansion of 0 in t
0.136 * [taylor]: Taking taylor expansion of 0 in t
0.136 * [taylor]: Taking taylor expansion of 0 in t
0.136 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
0.136 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
0.136 * [taylor]: Taking taylor expansion of 9.0 in t
0.136 * [taylor]: Taking taylor expansion of (* t z) in t
0.136 * [taylor]: Taking taylor expansion of t in t
0.136 * [taylor]: Taking taylor expansion of z in t
0.136 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.136 * [taylor]: Taking taylor expansion of 9.0 in z
0.136 * [taylor]: Taking taylor expansion of (* t z) in z
0.136 * [taylor]: Taking taylor expansion of t in z
0.136 * [taylor]: Taking taylor expansion of z in z
0.137 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.137 * [taylor]: Taking taylor expansion of 9.0 in z
0.137 * [taylor]: Taking taylor expansion of (* t z) in z
0.137 * [taylor]: Taking taylor expansion of t in z
0.137 * [taylor]: Taking taylor expansion of z in z
0.137 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
0.137 * [taylor]: Taking taylor expansion of 9.0 in t
0.137 * [taylor]: Taking taylor expansion of t in t
0.137 * [taylor]: Taking taylor expansion of 0 in t
0.137 * [taylor]: Taking taylor expansion of 0 in t
0.137 * [taylor]: Taking taylor expansion of 0 in t
0.138 * * * [progress]: simplifying candidates
0.139 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (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))
0.169 * * [simplify]: iteration  0 :  5061  enodes  (cost  711 )
0.171 * [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)))
  (+ (* z (* 9.0 t)) (* x (neg y)))
  (* a (neg 2.0))
  (* y (/ x (* a 2.0)))
  (* t (* (/ z a) (/ 9.0 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))
  (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))
  (/ (- (* x y) (* z (* 9.0 t))) a)
  (* 2.0 (/ a (cbrt (- (* x y) (* z (* 9.0 t))))))
  (* 2.0 (/ a (sqrt (- (* x y) (* z (* 9.0 t))))))
  (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))
  (* a (* 2.0 (+ (* x (* x (* y y))) (* z (* (+ (* x y) (* z (* 9.0 t))) (* 9.0 t))))))
  (* 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))
  (+ (* x (* x (* y y))) (* z (* (+ (* x y) (* z (* 9.0 t))) (* 9.0 t))))
  (* z (* 9.0 (neg t)))
  (- (* x (* x (* y y))) (* z (* 9.0 (* (* z 9.0) (* t t)))))
  (+ (* x y) (* z (* 9.0 t)))
  (* z (* 9.0 (neg t)))
  (* z (* 9.0 t))
  (* z (* 9.0 t))
  (log (* z (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (pow (pow (exp z) 9.0) t)
  (pow (* z (* 9.0 t)) 3)
  (pow (* z (* 9.0 t)) 3)
  (* (cbrt (* z (* 9.0 t))) (cbrt (* z (* 9.0 t))))
  (cbrt (* z (* 9.0 t)))
  (pow (* z (* 9.0 t)) 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 (* y (/ x a))) (* 4.5 (* z (/ t 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))
0.172 * * * [progress]: adding candidates to table
0.255 * * [progress]: iteration 2 / 4
0.255 * * * [progress]: picking best candidate
0.283 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))))>
0.283 * * * [progress]: localizing error
0.295 * * * [progress]: generating rewritten candidates
0.295 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.303 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.312 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.320 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.331 * * * [progress]: generating series expansions
0.331 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.331 * [approximate]: Taking taylor expansion of (/ (* t z) a) in (z t a) around 0
0.331 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.331 * [taylor]: Taking taylor expansion of (* t z) in a
0.331 * [taylor]: Taking taylor expansion of t in a
0.331 * [taylor]: Taking taylor expansion of z in a
0.331 * [taylor]: Taking taylor expansion of a in a
0.331 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.331 * [taylor]: Taking taylor expansion of (* t z) in t
0.331 * [taylor]: Taking taylor expansion of t in t
0.331 * [taylor]: Taking taylor expansion of z in t
0.331 * [taylor]: Taking taylor expansion of a in t
0.331 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.331 * [taylor]: Taking taylor expansion of (* t z) in z
0.331 * [taylor]: Taking taylor expansion of t in z
0.331 * [taylor]: Taking taylor expansion of z in z
0.331 * [taylor]: Taking taylor expansion of a in z
0.331 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.331 * [taylor]: Taking taylor expansion of (* t z) in z
0.331 * [taylor]: Taking taylor expansion of t in z
0.331 * [taylor]: Taking taylor expansion of z in z
0.331 * [taylor]: Taking taylor expansion of a in z
0.331 * [taylor]: Taking taylor expansion of (/ t a) in t
0.331 * [taylor]: Taking taylor expansion of t in t
0.331 * [taylor]: Taking taylor expansion of a in t
0.332 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.332 * [taylor]: Taking taylor expansion of a in a
0.332 * [taylor]: Taking taylor expansion of 0 in t
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.332 * [taylor]: Taking taylor expansion of 0 in t
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.332 * [taylor]: Taking taylor expansion of 0 in t
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.332 * [taylor]: Taking taylor expansion of 0 in a
0.333 * [taylor]: Taking taylor expansion of 0 in a
0.333 * [approximate]: Taking taylor expansion of (/ a (* z t)) in (z t a) around 0
0.333 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.333 * [taylor]: Taking taylor expansion of a in a
0.333 * [taylor]: Taking taylor expansion of (* z t) in a
0.333 * [taylor]: Taking taylor expansion of z in a
0.333 * [taylor]: Taking taylor expansion of t in a
0.333 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.333 * [taylor]: Taking taylor expansion of a in t
0.333 * [taylor]: Taking taylor expansion of (* z t) in t
0.333 * [taylor]: Taking taylor expansion of z in t
0.333 * [taylor]: Taking taylor expansion of t in t
0.333 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.333 * [taylor]: Taking taylor expansion of a in z
0.333 * [taylor]: Taking taylor expansion of (* z t) in z
0.333 * [taylor]: Taking taylor expansion of z in z
0.333 * [taylor]: Taking taylor expansion of t in z
0.333 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.333 * [taylor]: Taking taylor expansion of a in z
0.333 * [taylor]: Taking taylor expansion of (* z t) in z
0.333 * [taylor]: Taking taylor expansion of z in z
0.333 * [taylor]: Taking taylor expansion of t in z
0.333 * [taylor]: Taking taylor expansion of (/ a t) in t
0.333 * [taylor]: Taking taylor expansion of a in t
0.333 * [taylor]: Taking taylor expansion of t in t
0.334 * [taylor]: Taking taylor expansion of a in a
0.334 * [taylor]: Taking taylor expansion of 0 in t
0.334 * [taylor]: Taking taylor expansion of 0 in a
0.334 * [taylor]: Taking taylor expansion of 0 in t
0.334 * [taylor]: Taking taylor expansion of 0 in a
0.334 * [taylor]: Taking taylor expansion of 0 in a
0.334 * [approximate]: Taking taylor expansion of (* -1 (/ a (* z t))) in (z t a) around 0
0.334 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in a
0.334 * [taylor]: Taking taylor expansion of -1 in a
0.334 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.334 * [taylor]: Taking taylor expansion of a in a
0.334 * [taylor]: Taking taylor expansion of (* z t) in a
0.334 * [taylor]: Taking taylor expansion of z in a
0.334 * [taylor]: Taking taylor expansion of t in a
0.334 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in t
0.334 * [taylor]: Taking taylor expansion of -1 in t
0.334 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.334 * [taylor]: Taking taylor expansion of a in t
0.334 * [taylor]: Taking taylor expansion of (* z t) in t
0.335 * [taylor]: Taking taylor expansion of z in t
0.335 * [taylor]: Taking taylor expansion of t in t
0.335 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in z
0.335 * [taylor]: Taking taylor expansion of -1 in z
0.335 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.335 * [taylor]: Taking taylor expansion of a in z
0.335 * [taylor]: Taking taylor expansion of (* z t) in z
0.335 * [taylor]: Taking taylor expansion of z in z
0.335 * [taylor]: Taking taylor expansion of t in z
0.335 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in z
0.335 * [taylor]: Taking taylor expansion of -1 in z
0.335 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.335 * [taylor]: Taking taylor expansion of a in z
0.335 * [taylor]: Taking taylor expansion of (* z t) in z
0.335 * [taylor]: Taking taylor expansion of z in z
0.335 * [taylor]: Taking taylor expansion of t in z
0.335 * [taylor]: Taking taylor expansion of (* -1 (/ a t)) in t
0.335 * [taylor]: Taking taylor expansion of -1 in t
0.335 * [taylor]: Taking taylor expansion of (/ a t) in t
0.335 * [taylor]: Taking taylor expansion of a in t
0.335 * [taylor]: Taking taylor expansion of t in t
0.335 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.335 * [taylor]: Taking taylor expansion of -1 in a
0.335 * [taylor]: Taking taylor expansion of a in a
0.335 * [taylor]: Taking taylor expansion of 0 in t
0.335 * [taylor]: Taking taylor expansion of 0 in a
0.336 * [taylor]: Taking taylor expansion of 0 in t
0.336 * [taylor]: Taking taylor expansion of 0 in a
0.336 * [taylor]: Taking taylor expansion of 0 in a
0.336 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.336 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (y x a) around 0
0.336 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.336 * [taylor]: Taking taylor expansion of (* x y) in a
0.336 * [taylor]: Taking taylor expansion of x in a
0.336 * [taylor]: Taking taylor expansion of y in a
0.336 * [taylor]: Taking taylor expansion of a in a
0.336 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.336 * [taylor]: Taking taylor expansion of (* x y) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of y in x
0.336 * [taylor]: Taking taylor expansion of a in x
0.336 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.336 * [taylor]: Taking taylor expansion of (* x y) in y
0.337 * [taylor]: Taking taylor expansion of x in y
0.337 * [taylor]: Taking taylor expansion of y in y
0.337 * [taylor]: Taking taylor expansion of a in y
0.337 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.337 * [taylor]: Taking taylor expansion of (* x y) in y
0.337 * [taylor]: Taking taylor expansion of x in y
0.337 * [taylor]: Taking taylor expansion of y in y
0.337 * [taylor]: Taking taylor expansion of a in y
0.337 * [taylor]: Taking taylor expansion of (/ x a) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of a in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.337 * [taylor]: Taking taylor expansion of a in a
0.337 * [taylor]: Taking taylor expansion of 0 in x
0.337 * [taylor]: Taking taylor expansion of 0 in a
0.337 * [taylor]: Taking taylor expansion of 0 in a
0.337 * [taylor]: Taking taylor expansion of 0 in x
0.337 * [taylor]: Taking taylor expansion of 0 in a
0.337 * [taylor]: Taking taylor expansion of 0 in a
0.337 * [taylor]: Taking taylor expansion of 0 in a
0.338 * [taylor]: Taking taylor expansion of 0 in x
0.338 * [taylor]: Taking taylor expansion of 0 in a
0.338 * [taylor]: Taking taylor expansion of 0 in a
0.338 * [taylor]: Taking taylor expansion of 0 in a
0.338 * [taylor]: Taking taylor expansion of 0 in a
0.338 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (y x a) around 0
0.338 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.338 * [taylor]: Taking taylor expansion of a in a
0.338 * [taylor]: Taking taylor expansion of (* x y) in a
0.338 * [taylor]: Taking taylor expansion of x in a
0.338 * [taylor]: Taking taylor expansion of y in a
0.338 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.338 * [taylor]: Taking taylor expansion of a in x
0.338 * [taylor]: Taking taylor expansion of (* x y) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of y in x
0.338 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.338 * [taylor]: Taking taylor expansion of a in y
0.338 * [taylor]: Taking taylor expansion of (* x y) in y
0.338 * [taylor]: Taking taylor expansion of x in y
0.338 * [taylor]: Taking taylor expansion of y in y
0.339 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.339 * [taylor]: Taking taylor expansion of a in y
0.339 * [taylor]: Taking taylor expansion of (* x y) in y
0.339 * [taylor]: Taking taylor expansion of x in y
0.339 * [taylor]: Taking taylor expansion of y in y
0.339 * [taylor]: Taking taylor expansion of (/ a x) in x
0.339 * [taylor]: Taking taylor expansion of a in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of a in a
0.339 * [taylor]: Taking taylor expansion of 0 in x
0.339 * [taylor]: Taking taylor expansion of 0 in a
0.339 * [taylor]: Taking taylor expansion of 0 in x
0.339 * [taylor]: Taking taylor expansion of 0 in a
0.339 * [taylor]: Taking taylor expansion of 0 in a
0.340 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (y x a) around 0
0.340 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a
0.340 * [taylor]: Taking taylor expansion of -1 in a
0.340 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.340 * [taylor]: Taking taylor expansion of a in a
0.340 * [taylor]: Taking taylor expansion of (* x y) in a
0.340 * [taylor]: Taking taylor expansion of x in a
0.340 * [taylor]: Taking taylor expansion of y in a
0.340 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
0.340 * [taylor]: Taking taylor expansion of -1 in x
0.340 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.340 * [taylor]: Taking taylor expansion of a in x
0.340 * [taylor]: Taking taylor expansion of (* x y) in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of y in x
0.340 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.340 * [taylor]: Taking taylor expansion of -1 in y
0.340 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.340 * [taylor]: Taking taylor expansion of a in y
0.340 * [taylor]: Taking taylor expansion of (* x y) in y
0.340 * [taylor]: Taking taylor expansion of x in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.340 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.340 * [taylor]: Taking taylor expansion of -1 in y
0.340 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.340 * [taylor]: Taking taylor expansion of a in y
0.340 * [taylor]: Taking taylor expansion of (* x y) in y
0.340 * [taylor]: Taking taylor expansion of x in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.341 * [taylor]: Taking taylor expansion of (* -1 (/ a x)) in x
0.341 * [taylor]: Taking taylor expansion of -1 in x
0.341 * [taylor]: Taking taylor expansion of (/ a x) in x
0.341 * [taylor]: Taking taylor expansion of a in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.341 * [taylor]: Taking taylor expansion of -1 in a
0.341 * [taylor]: Taking taylor expansion of a in a
0.341 * [taylor]: Taking taylor expansion of 0 in x
0.341 * [taylor]: Taking taylor expansion of 0 in a
0.341 * [taylor]: Taking taylor expansion of 0 in x
0.341 * [taylor]: Taking taylor expansion of 0 in a
0.341 * [taylor]: Taking taylor expansion of 0 in a
0.342 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.342 * [approximate]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in (z t a) around 0
0.342 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.342 * [taylor]: Taking taylor expansion of 4.5 in a
0.342 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.342 * [taylor]: Taking taylor expansion of (* t z) in a
0.342 * [taylor]: Taking taylor expansion of t in a
0.342 * [taylor]: Taking taylor expansion of z in a
0.342 * [taylor]: Taking taylor expansion of a in a
0.342 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
0.342 * [taylor]: Taking taylor expansion of 4.5 in t
0.342 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.342 * [taylor]: Taking taylor expansion of (* t z) in t
0.342 * [taylor]: Taking taylor expansion of t in t
0.342 * [taylor]: Taking taylor expansion of z in t
0.342 * [taylor]: Taking taylor expansion of a in t
0.342 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.342 * [taylor]: Taking taylor expansion of 4.5 in z
0.342 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.342 * [taylor]: Taking taylor expansion of (* t z) in z
0.342 * [taylor]: Taking taylor expansion of t in z
0.342 * [taylor]: Taking taylor expansion of z in z
0.342 * [taylor]: Taking taylor expansion of a in z
0.342 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.342 * [taylor]: Taking taylor expansion of 4.5 in z
0.342 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.342 * [taylor]: Taking taylor expansion of (* t z) in z
0.342 * [taylor]: Taking taylor expansion of t in z
0.342 * [taylor]: Taking taylor expansion of z in z
0.342 * [taylor]: Taking taylor expansion of a in z
0.342 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
0.343 * [taylor]: Taking taylor expansion of 4.5 in t
0.343 * [taylor]: Taking taylor expansion of (/ t a) in t
0.343 * [taylor]: Taking taylor expansion of t in t
0.343 * [taylor]: Taking taylor expansion of a in t
0.343 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
0.343 * [taylor]: Taking taylor expansion of 4.5 in a
0.343 * [taylor]: Taking taylor expansion of a in a
0.343 * [taylor]: Taking taylor expansion of 0 in t
0.343 * [taylor]: Taking taylor expansion of 0 in a
0.343 * [taylor]: Taking taylor expansion of 0 in a
0.343 * [taylor]: Taking taylor expansion of 0 in t
0.343 * [taylor]: Taking taylor expansion of 0 in a
0.343 * [taylor]: Taking taylor expansion of 0 in a
0.343 * [taylor]: Taking taylor expansion of 0 in a
0.344 * [taylor]: Taking taylor expansion of 0 in t
0.344 * [taylor]: Taking taylor expansion of 0 in a
0.344 * [taylor]: Taking taylor expansion of 0 in a
0.344 * [taylor]: Taking taylor expansion of 0 in a
0.344 * [taylor]: Taking taylor expansion of 0 in a
0.344 * [approximate]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in (z t a) around 0
0.344 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.344 * [taylor]: Taking taylor expansion of 4.5 in a
0.344 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.344 * [taylor]: Taking taylor expansion of a in a
0.344 * [taylor]: Taking taylor expansion of (* z t) in a
0.344 * [taylor]: Taking taylor expansion of z in a
0.344 * [taylor]: Taking taylor expansion of t in a
0.344 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.344 * [taylor]: Taking taylor expansion of 4.5 in t
0.344 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.344 * [taylor]: Taking taylor expansion of a in t
0.344 * [taylor]: Taking taylor expansion of (* z t) in t
0.344 * [taylor]: Taking taylor expansion of z in t
0.345 * [taylor]: Taking taylor expansion of t in t
0.345 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.345 * [taylor]: Taking taylor expansion of 4.5 in z
0.345 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.345 * [taylor]: Taking taylor expansion of a in z
0.345 * [taylor]: Taking taylor expansion of (* z t) in z
0.345 * [taylor]: Taking taylor expansion of z in z
0.345 * [taylor]: Taking taylor expansion of t in z
0.345 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.345 * [taylor]: Taking taylor expansion of 4.5 in z
0.345 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.345 * [taylor]: Taking taylor expansion of a in z
0.345 * [taylor]: Taking taylor expansion of (* z t) in z
0.345 * [taylor]: Taking taylor expansion of z in z
0.345 * [taylor]: Taking taylor expansion of t in z
0.345 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.345 * [taylor]: Taking taylor expansion of 4.5 in t
0.345 * [taylor]: Taking taylor expansion of (/ a t) in t
0.345 * [taylor]: Taking taylor expansion of a in t
0.345 * [taylor]: Taking taylor expansion of t in t
0.345 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.345 * [taylor]: Taking taylor expansion of 4.5 in a
0.345 * [taylor]: Taking taylor expansion of a in a
0.345 * [taylor]: Taking taylor expansion of 0 in t
0.345 * [taylor]: Taking taylor expansion of 0 in a
0.346 * [taylor]: Taking taylor expansion of 0 in t
0.346 * [taylor]: Taking taylor expansion of 0 in a
0.346 * [taylor]: Taking taylor expansion of 0 in a
0.346 * [approximate]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in (z t a) around 0
0.346 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in a
0.346 * [taylor]: Taking taylor expansion of -4.5 in a
0.346 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.346 * [taylor]: Taking taylor expansion of a in a
0.346 * [taylor]: Taking taylor expansion of (* z t) in a
0.346 * [taylor]: Taking taylor expansion of z in a
0.346 * [taylor]: Taking taylor expansion of t in a
0.346 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
0.346 * [taylor]: Taking taylor expansion of -4.5 in t
0.346 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.346 * [taylor]: Taking taylor expansion of a in t
0.346 * [taylor]: Taking taylor expansion of (* z t) in t
0.346 * [taylor]: Taking taylor expansion of z in t
0.347 * [taylor]: Taking taylor expansion of t in t
0.347 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
0.347 * [taylor]: Taking taylor expansion of -4.5 in z
0.347 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.347 * [taylor]: Taking taylor expansion of a in z
0.347 * [taylor]: Taking taylor expansion of (* z t) in z
0.347 * [taylor]: Taking taylor expansion of z in z
0.347 * [taylor]: Taking taylor expansion of t in z
0.347 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
0.347 * [taylor]: Taking taylor expansion of -4.5 in z
0.347 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.347 * [taylor]: Taking taylor expansion of a in z
0.347 * [taylor]: Taking taylor expansion of (* z t) in z
0.347 * [taylor]: Taking taylor expansion of z in z
0.347 * [taylor]: Taking taylor expansion of t in z
0.347 * [taylor]: Taking taylor expansion of (* -4.5 (/ a t)) in t
0.347 * [taylor]: Taking taylor expansion of -4.5 in t
0.347 * [taylor]: Taking taylor expansion of (/ a t) in t
0.347 * [taylor]: Taking taylor expansion of a in t
0.347 * [taylor]: Taking taylor expansion of t in t
0.347 * [taylor]: Taking taylor expansion of (* -4.5 a) in a
0.347 * [taylor]: Taking taylor expansion of -4.5 in a
0.347 * [taylor]: Taking taylor expansion of a in a
0.347 * [taylor]: Taking taylor expansion of 0 in t
0.347 * [taylor]: Taking taylor expansion of 0 in a
0.348 * [taylor]: Taking taylor expansion of 0 in t
0.348 * [taylor]: Taking taylor expansion of 0 in a
0.348 * [taylor]: Taking taylor expansion of 0 in a
0.348 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.348 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in (y x a z t) around 0
0.348 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in t
0.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in t
0.348 * [taylor]: Taking taylor expansion of 0.5 in t
0.348 * [taylor]: Taking taylor expansion of (/ (* x y) a) in t
0.348 * [taylor]: Taking taylor expansion of (* x y) in t
0.348 * [taylor]: Taking taylor expansion of x in t
0.348 * [taylor]: Taking taylor expansion of y in t
0.348 * [taylor]: Taking taylor expansion of a in t
0.349 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
0.349 * [taylor]: Taking taylor expansion of 4.5 in t
0.349 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.349 * [taylor]: Taking taylor expansion of (* t z) in t
0.349 * [taylor]: Taking taylor expansion of t in t
0.349 * [taylor]: Taking taylor expansion of z in t
0.349 * [taylor]: Taking taylor expansion of a in t
0.349 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in z
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in z
0.349 * [taylor]: Taking taylor expansion of 0.5 in z
0.349 * [taylor]: Taking taylor expansion of (/ (* x y) a) in z
0.349 * [taylor]: Taking taylor expansion of (* x y) in z
0.349 * [taylor]: Taking taylor expansion of x in z
0.349 * [taylor]: Taking taylor expansion of y in z
0.349 * [taylor]: Taking taylor expansion of a in z
0.349 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.349 * [taylor]: Taking taylor expansion of 4.5 in z
0.349 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.349 * [taylor]: Taking taylor expansion of (* t z) in z
0.349 * [taylor]: Taking taylor expansion of t in z
0.349 * [taylor]: Taking taylor expansion of z in z
0.349 * [taylor]: Taking taylor expansion of a in z
0.349 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in a
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in a
0.349 * [taylor]: Taking taylor expansion of 0.5 in a
0.349 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.349 * [taylor]: Taking taylor expansion of (* x y) in a
0.349 * [taylor]: Taking taylor expansion of x in a
0.349 * [taylor]: Taking taylor expansion of y in a
0.349 * [taylor]: Taking taylor expansion of a in a
0.349 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.349 * [taylor]: Taking taylor expansion of 4.5 in a
0.349 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.349 * [taylor]: Taking taylor expansion of (* t z) in a
0.349 * [taylor]: Taking taylor expansion of t in a
0.349 * [taylor]: Taking taylor expansion of z in a
0.349 * [taylor]: Taking taylor expansion of a in a
0.349 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in x
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
0.350 * [taylor]: Taking taylor expansion of 0.5 in x
0.350 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.350 * [taylor]: Taking taylor expansion of (* x y) in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of y in x
0.350 * [taylor]: Taking taylor expansion of a in x
0.350 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
0.350 * [taylor]: Taking taylor expansion of 4.5 in x
0.350 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
0.350 * [taylor]: Taking taylor expansion of (* t z) in x
0.350 * [taylor]: Taking taylor expansion of t in x
0.350 * [taylor]: Taking taylor expansion of z in x
0.350 * [taylor]: Taking taylor expansion of a in x
0.350 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
0.350 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
0.350 * [taylor]: Taking taylor expansion of 0.5 in y
0.350 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.350 * [taylor]: Taking taylor expansion of (* x y) in y
0.350 * [taylor]: Taking taylor expansion of x in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of a in y
0.350 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
0.350 * [taylor]: Taking taylor expansion of 4.5 in y
0.350 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.350 * [taylor]: Taking taylor expansion of (* t z) in y
0.350 * [taylor]: Taking taylor expansion of t in y
0.350 * [taylor]: Taking taylor expansion of z in y
0.350 * [taylor]: Taking taylor expansion of a in y
0.350 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
0.350 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
0.350 * [taylor]: Taking taylor expansion of 0.5 in y
0.350 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.350 * [taylor]: Taking taylor expansion of (* x y) in y
0.350 * [taylor]: Taking taylor expansion of x in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of a in y
0.350 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
0.350 * [taylor]: Taking taylor expansion of 4.5 in y
0.350 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.350 * [taylor]: Taking taylor expansion of (* t z) in y
0.350 * [taylor]: Taking taylor expansion of t in y
0.351 * [taylor]: Taking taylor expansion of z in y
0.351 * [taylor]: Taking taylor expansion of a in y
0.351 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in x
0.351 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
0.351 * [taylor]: Taking taylor expansion of 4.5 in x
0.351 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
0.351 * [taylor]: Taking taylor expansion of (* t z) in x
0.351 * [taylor]: Taking taylor expansion of t in x
0.351 * [taylor]: Taking taylor expansion of z in x
0.351 * [taylor]: Taking taylor expansion of a in x
0.351 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in a
0.351 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.351 * [taylor]: Taking taylor expansion of 4.5 in a
0.351 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.351 * [taylor]: Taking taylor expansion of (* t z) in a
0.351 * [taylor]: Taking taylor expansion of t in a
0.351 * [taylor]: Taking taylor expansion of z in a
0.351 * [taylor]: Taking taylor expansion of a in a
0.351 * [taylor]: Taking taylor expansion of (neg (* 4.5 (* t z))) in z
0.351 * [taylor]: Taking taylor expansion of (* 4.5 (* t z)) in z
0.351 * [taylor]: Taking taylor expansion of 4.5 in z
0.351 * [taylor]: Taking taylor expansion of (* t z) in z
0.351 * [taylor]: Taking taylor expansion of t in z
0.351 * [taylor]: Taking taylor expansion of z in z
0.352 * [taylor]: Taking taylor expansion of 0 in t
0.352 * [taylor]: Taking taylor expansion of (* 0.5 (/ x a)) in x
0.352 * [taylor]: Taking taylor expansion of 0.5 in x
0.352 * [taylor]: Taking taylor expansion of (/ x a) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of a in x
0.352 * [taylor]: Taking taylor expansion of 0 in a
0.352 * [taylor]: Taking taylor expansion of 0 in z
0.352 * [taylor]: Taking taylor expansion of 0 in t
0.352 * [taylor]: Taking taylor expansion of (neg (* 4.5 t)) in t
0.352 * [taylor]: Taking taylor expansion of (* 4.5 t) in t
0.352 * [taylor]: Taking taylor expansion of 4.5 in t
0.352 * [taylor]: Taking taylor expansion of t in t
0.353 * [taylor]: Taking taylor expansion of 0 in x
0.353 * [taylor]: Taking taylor expansion of 0 in a
0.353 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
0.353 * [taylor]: Taking taylor expansion of 0.5 in a
0.353 * [taylor]: Taking taylor expansion of a in a
0.353 * [taylor]: Taking taylor expansion of 0.5 in z
0.353 * [taylor]: Taking taylor expansion of 0.5 in t
0.353 * [taylor]: Taking taylor expansion of 0 in a
0.353 * [taylor]: Taking taylor expansion of 0 in z
0.353 * [taylor]: Taking taylor expansion of 0 in t
0.353 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of 0 in t
0.354 * [taylor]: Taking taylor expansion of 0 in t
0.354 * [taylor]: Taking taylor expansion of 0 in t
0.354 * [taylor]: Taking taylor expansion of 0 in x
0.354 * [taylor]: Taking taylor expansion of 0 in a
0.354 * [taylor]: Taking taylor expansion of 0 in a
0.354 * [taylor]: Taking taylor expansion of 0 in a
0.355 * [taylor]: Taking taylor expansion of 0 in a
0.355 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [taylor]: Taking taylor expansion of 0 in t
0.355 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [taylor]: Taking taylor expansion of 0 in t
0.355 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [taylor]: Taking taylor expansion of 0 in t
0.355 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [taylor]: Taking taylor expansion of 0 in t
0.355 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [taylor]: Taking taylor expansion of 0 in t
0.356 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in (y x a z t) around 0
0.356 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in t
0.356 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
0.356 * [taylor]: Taking taylor expansion of 0.5 in t
0.356 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
0.356 * [taylor]: Taking taylor expansion of a in t
0.356 * [taylor]: Taking taylor expansion of (* x y) in t
0.356 * [taylor]: Taking taylor expansion of x in t
0.356 * [taylor]: Taking taylor expansion of y in t
0.356 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.356 * [taylor]: Taking taylor expansion of 4.5 in t
0.356 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.356 * [taylor]: Taking taylor expansion of a in t
0.356 * [taylor]: Taking taylor expansion of (* z t) in t
0.356 * [taylor]: Taking taylor expansion of z in t
0.356 * [taylor]: Taking taylor expansion of t in t
0.356 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in z
0.356 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
0.356 * [taylor]: Taking taylor expansion of 0.5 in z
0.356 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
0.356 * [taylor]: Taking taylor expansion of a in z
0.356 * [taylor]: Taking taylor expansion of (* x y) in z
0.356 * [taylor]: Taking taylor expansion of x in z
0.356 * [taylor]: Taking taylor expansion of y in z
0.356 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.356 * [taylor]: Taking taylor expansion of 4.5 in z
0.356 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.356 * [taylor]: Taking taylor expansion of a in z
0.356 * [taylor]: Taking taylor expansion of (* z t) in z
0.356 * [taylor]: Taking taylor expansion of z in z
0.356 * [taylor]: Taking taylor expansion of t in z
0.357 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in a
0.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
0.357 * [taylor]: Taking taylor expansion of 0.5 in a
0.357 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.357 * [taylor]: Taking taylor expansion of a in a
0.357 * [taylor]: Taking taylor expansion of (* x y) in a
0.357 * [taylor]: Taking taylor expansion of x in a
0.357 * [taylor]: Taking taylor expansion of y in a
0.357 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.357 * [taylor]: Taking taylor expansion of 4.5 in a
0.357 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.357 * [taylor]: Taking taylor expansion of a in a
0.357 * [taylor]: Taking taylor expansion of (* z t) in a
0.357 * [taylor]: Taking taylor expansion of z in a
0.357 * [taylor]: Taking taylor expansion of t in a
0.357 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in x
0.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
0.357 * [taylor]: Taking taylor expansion of 0.5 in x
0.357 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.357 * [taylor]: Taking taylor expansion of a in x
0.357 * [taylor]: Taking taylor expansion of (* x y) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of y in x
0.357 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.357 * [taylor]: Taking taylor expansion of 4.5 in x
0.357 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.357 * [taylor]: Taking taylor expansion of a in x
0.357 * [taylor]: Taking taylor expansion of (* z t) in x
0.357 * [taylor]: Taking taylor expansion of z in x
0.357 * [taylor]: Taking taylor expansion of t in x
0.357 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
0.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.357 * [taylor]: Taking taylor expansion of 0.5 in y
0.357 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.357 * [taylor]: Taking taylor expansion of a in y
0.357 * [taylor]: Taking taylor expansion of (* x y) in y
0.357 * [taylor]: Taking taylor expansion of x in y
0.357 * [taylor]: Taking taylor expansion of y in y
0.358 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.358 * [taylor]: Taking taylor expansion of 4.5 in y
0.358 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.358 * [taylor]: Taking taylor expansion of a in y
0.358 * [taylor]: Taking taylor expansion of (* z t) in y
0.358 * [taylor]: Taking taylor expansion of z in y
0.358 * [taylor]: Taking taylor expansion of t in y
0.358 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
0.358 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.358 * [taylor]: Taking taylor expansion of 0.5 in y
0.358 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.358 * [taylor]: Taking taylor expansion of a in y
0.358 * [taylor]: Taking taylor expansion of (* x y) in y
0.358 * [taylor]: Taking taylor expansion of x in y
0.358 * [taylor]: Taking taylor expansion of y in y
0.358 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.358 * [taylor]: Taking taylor expansion of 4.5 in y
0.358 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.358 * [taylor]: Taking taylor expansion of a in y
0.358 * [taylor]: Taking taylor expansion of (* z t) in y
0.358 * [taylor]: Taking taylor expansion of z in y
0.358 * [taylor]: Taking taylor expansion of t in y
0.358 * [taylor]: Taking taylor expansion of (* 0.5 (/ a x)) in x
0.358 * [taylor]: Taking taylor expansion of 0.5 in x
0.359 * [taylor]: Taking taylor expansion of (/ a x) in x
0.359 * [taylor]: Taking taylor expansion of a in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.359 * [taylor]: Taking taylor expansion of 0.5 in a
0.359 * [taylor]: Taking taylor expansion of a in a
0.359 * [taylor]: Taking taylor expansion of 0.5 in z
0.359 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in x
0.359 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.359 * [taylor]: Taking taylor expansion of 4.5 in x
0.359 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.359 * [taylor]: Taking taylor expansion of a in x
0.359 * [taylor]: Taking taylor expansion of (* z t) in x
0.359 * [taylor]: Taking taylor expansion of z in x
0.359 * [taylor]: Taking taylor expansion of t in x
0.359 * [taylor]: Taking taylor expansion of 0 in a
0.359 * [taylor]: Taking taylor expansion of 0 in z
0.360 * [taylor]: Taking taylor expansion of 0 in z
0.360 * [taylor]: Taking taylor expansion of 0.5 in t
0.360 * [taylor]: Taking taylor expansion of 0 in x
0.360 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in a
0.360 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.360 * [taylor]: Taking taylor expansion of 4.5 in a
0.360 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.360 * [taylor]: Taking taylor expansion of a in a
0.360 * [taylor]: Taking taylor expansion of (* z t) in a
0.360 * [taylor]: Taking taylor expansion of z in a
0.360 * [taylor]: Taking taylor expansion of t in a
0.360 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 (* t z)))) in z
0.360 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* t z))) in z
0.360 * [taylor]: Taking taylor expansion of 4.5 in z
0.360 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.360 * [taylor]: Taking taylor expansion of (* t z) in z
0.360 * [taylor]: Taking taylor expansion of t in z
0.360 * [taylor]: Taking taylor expansion of z in z
0.361 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 t))) in t
0.361 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 t)) in t
0.361 * [taylor]: Taking taylor expansion of 4.5 in t
0.361 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.361 * [taylor]: Taking taylor expansion of t in t
0.361 * [taylor]: Taking taylor expansion of 0 in a
0.361 * [taylor]: Taking taylor expansion of 0 in z
0.361 * [taylor]: Taking taylor expansion of 0 in z
0.361 * [taylor]: Taking taylor expansion of 0 in z
0.361 * [taylor]: Taking taylor expansion of 0 in t
0.361 * [taylor]: Taking taylor expansion of 0 in t
0.361 * [taylor]: Taking taylor expansion of 0 in t
0.362 * [taylor]: Taking taylor expansion of 0 in x
0.362 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in a
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in t
0.363 * [taylor]: Taking taylor expansion of 0 in t
0.363 * [taylor]: Taking taylor expansion of 0 in t
0.363 * [taylor]: Taking taylor expansion of 0 in t
0.363 * [taylor]: Taking taylor expansion of 0 in t
0.363 * [taylor]: Taking taylor expansion of 0 in t
0.363 * [taylor]: Taking taylor expansion of 0 in t
0.363 * [taylor]: Taking taylor expansion of 0 in x
0.363 * [taylor]: Taking taylor expansion of 0 in a
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in a
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in a
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in a
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.365 * [taylor]: Taking taylor expansion of 0 in z
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.365 * [taylor]: Taking taylor expansion of 0 in t
0.366 * [approximate]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in (y x a z t) around 0
0.366 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in t
0.366 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.366 * [taylor]: Taking taylor expansion of 4.5 in t
0.366 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.366 * [taylor]: Taking taylor expansion of a in t
0.366 * [taylor]: Taking taylor expansion of (* z t) in t
0.366 * [taylor]: Taking taylor expansion of z in t
0.366 * [taylor]: Taking taylor expansion of t in t
0.366 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
0.366 * [taylor]: Taking taylor expansion of 0.5 in t
0.366 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
0.366 * [taylor]: Taking taylor expansion of a in t
0.366 * [taylor]: Taking taylor expansion of (* x y) in t
0.366 * [taylor]: Taking taylor expansion of x in t
0.366 * [taylor]: Taking taylor expansion of y in t
0.366 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in z
0.366 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.366 * [taylor]: Taking taylor expansion of 4.5 in z
0.366 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.366 * [taylor]: Taking taylor expansion of a in z
0.366 * [taylor]: Taking taylor expansion of (* z t) in z
0.366 * [taylor]: Taking taylor expansion of z in z
0.366 * [taylor]: Taking taylor expansion of t in z
0.366 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
0.367 * [taylor]: Taking taylor expansion of 0.5 in z
0.367 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
0.367 * [taylor]: Taking taylor expansion of a in z
0.367 * [taylor]: Taking taylor expansion of (* x y) in z
0.367 * [taylor]: Taking taylor expansion of x in z
0.367 * [taylor]: Taking taylor expansion of y in z
0.367 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in a
0.367 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.367 * [taylor]: Taking taylor expansion of 4.5 in a
0.367 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.367 * [taylor]: Taking taylor expansion of a in a
0.367 * [taylor]: Taking taylor expansion of (* z t) in a
0.367 * [taylor]: Taking taylor expansion of z in a
0.367 * [taylor]: Taking taylor expansion of t in a
0.367 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
0.367 * [taylor]: Taking taylor expansion of 0.5 in a
0.367 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.367 * [taylor]: Taking taylor expansion of a in a
0.367 * [taylor]: Taking taylor expansion of (* x y) in a
0.367 * [taylor]: Taking taylor expansion of x in a
0.367 * [taylor]: Taking taylor expansion of y in a
0.367 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in x
0.367 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.367 * [taylor]: Taking taylor expansion of 4.5 in x
0.367 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.367 * [taylor]: Taking taylor expansion of a in x
0.367 * [taylor]: Taking taylor expansion of (* z t) in x
0.367 * [taylor]: Taking taylor expansion of z in x
0.367 * [taylor]: Taking taylor expansion of t in x
0.367 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
0.367 * [taylor]: Taking taylor expansion of 0.5 in x
0.367 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.367 * [taylor]: Taking taylor expansion of a in x
0.367 * [taylor]: Taking taylor expansion of (* x y) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of y in x
0.367 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
0.367 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.367 * [taylor]: Taking taylor expansion of 4.5 in y
0.367 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.367 * [taylor]: Taking taylor expansion of a in y
0.367 * [taylor]: Taking taylor expansion of (* z t) in y
0.368 * [taylor]: Taking taylor expansion of z in y
0.368 * [taylor]: Taking taylor expansion of t in y
0.368 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.368 * [taylor]: Taking taylor expansion of 0.5 in y
0.368 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.368 * [taylor]: Taking taylor expansion of a in y
0.368 * [taylor]: Taking taylor expansion of (* x y) in y
0.368 * [taylor]: Taking taylor expansion of x in y
0.368 * [taylor]: Taking taylor expansion of y in y
0.368 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
0.368 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.368 * [taylor]: Taking taylor expansion of 4.5 in y
0.368 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.368 * [taylor]: Taking taylor expansion of a in y
0.368 * [taylor]: Taking taylor expansion of (* z t) in y
0.368 * [taylor]: Taking taylor expansion of z in y
0.368 * [taylor]: Taking taylor expansion of t in y
0.368 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.368 * [taylor]: Taking taylor expansion of 0.5 in y
0.368 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.368 * [taylor]: Taking taylor expansion of a in y
0.368 * [taylor]: Taking taylor expansion of (* x y) in y
0.368 * [taylor]: Taking taylor expansion of x in y
0.368 * [taylor]: Taking taylor expansion of y in y
0.368 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ a x))) in x
0.368 * [taylor]: Taking taylor expansion of (* 0.5 (/ a x)) in x
0.368 * [taylor]: Taking taylor expansion of 0.5 in x
0.368 * [taylor]: Taking taylor expansion of (/ a x) in x
0.368 * [taylor]: Taking taylor expansion of a in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of (neg (* 0.5 a)) in a
0.369 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.369 * [taylor]: Taking taylor expansion of 0.5 in a
0.369 * [taylor]: Taking taylor expansion of a in a
0.369 * [taylor]: Taking taylor expansion of (neg 0.5) in z
0.369 * [taylor]: Taking taylor expansion of 0.5 in z
0.369 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.369 * [taylor]: Taking taylor expansion of 4.5 in x
0.369 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.369 * [taylor]: Taking taylor expansion of a in x
0.369 * [taylor]: Taking taylor expansion of (* z t) in x
0.369 * [taylor]: Taking taylor expansion of z in x
0.369 * [taylor]: Taking taylor expansion of t in x
0.369 * [taylor]: Taking taylor expansion of 0 in a
0.369 * [taylor]: Taking taylor expansion of 0 in z
0.369 * [taylor]: Taking taylor expansion of 0 in z
0.369 * [taylor]: Taking taylor expansion of (neg 0.5) in t
0.369 * [taylor]: Taking taylor expansion of 0.5 in t
0.370 * [taylor]: Taking taylor expansion of 0 in x
0.370 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.370 * [taylor]: Taking taylor expansion of 4.5 in a
0.370 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.370 * [taylor]: Taking taylor expansion of a in a
0.370 * [taylor]: Taking taylor expansion of (* z t) in a
0.370 * [taylor]: Taking taylor expansion of z in a
0.370 * [taylor]: Taking taylor expansion of t in a
0.370 * [taylor]: Taking taylor expansion of (/ 4.5 (* t z)) in z
0.370 * [taylor]: Taking taylor expansion of 4.5 in z
0.370 * [taylor]: Taking taylor expansion of (* t z) in z
0.370 * [taylor]: Taking taylor expansion of t in z
0.370 * [taylor]: Taking taylor expansion of z in z
0.370 * [taylor]: Taking taylor expansion of (/ 4.5 t) in t
0.370 * [taylor]: Taking taylor expansion of 4.5 in t
0.370 * [taylor]: Taking taylor expansion of t in t
0.370 * [taylor]: Taking taylor expansion of 0 in a
0.370 * [taylor]: Taking taylor expansion of 0 in z
0.370 * [taylor]: Taking taylor expansion of 0 in z
0.370 * [taylor]: Taking taylor expansion of 0 in z
0.371 * [taylor]: Taking taylor expansion of 0 in t
0.371 * [taylor]: Taking taylor expansion of 0 in t
0.371 * [taylor]: Taking taylor expansion of 0 in t
0.371 * [taylor]: Taking taylor expansion of 0 in x
0.371 * [taylor]: Taking taylor expansion of 0 in a
0.371 * [taylor]: Taking taylor expansion of 0 in z
0.371 * [taylor]: Taking taylor expansion of 0 in a
0.371 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in a
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in t
0.372 * [taylor]: Taking taylor expansion of 0 in t
0.372 * [taylor]: Taking taylor expansion of 0 in t
0.372 * [taylor]: Taking taylor expansion of 0 in t
0.372 * [taylor]: Taking taylor expansion of 0 in t
0.372 * [taylor]: Taking taylor expansion of 0 in t
0.372 * [taylor]: Taking taylor expansion of 0 in t
0.373 * [taylor]: Taking taylor expansion of 0 in x
0.373 * [taylor]: Taking taylor expansion of 0 in a
0.373 * [taylor]: Taking taylor expansion of 0 in z
0.373 * [taylor]: Taking taylor expansion of 0 in a
0.373 * [taylor]: Taking taylor expansion of 0 in z
0.373 * [taylor]: Taking taylor expansion of 0 in a
0.373 * [taylor]: Taking taylor expansion of 0 in z
0.373 * [taylor]: Taking taylor expansion of 0 in a
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.374 * [taylor]: Taking taylor expansion of 0 in t
0.375 * [taylor]: Taking taylor expansion of 0 in t
0.375 * [taylor]: Taking taylor expansion of 0 in t
0.375 * [taylor]: Taking taylor expansion of 0 in t
0.375 * [taylor]: Taking taylor expansion of 0 in t
0.375 * * * [progress]: simplifying candidates
0.376 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (/ t a))
  (+ (log z) (- (log t) (log a)))
  (+ (log z) (log (/ t a)))
  (log (* z (/ t a)))
  (exp (* z (/ t a)))
  (* (* (* z z) z) (/ (* (* t t) t) (* (* a a) a)))
  (* (* (* z z) z) (* (* (/ t a) (/ t a)) (/ t a)))
  (* (cbrt (* z (/ t a))) (cbrt (* z (/ t a))))
  (cbrt (* z (/ t a)))
  (* (* (* z (/ t a)) (* z (/ t a))) (* z (/ t a)))
  (sqrt (* z (/ t a)))
  (sqrt (* z (/ t a)))
  (* (sqrt z) (sqrt (/ t a)))
  (* (sqrt z) (sqrt (/ t a)))
  (* (sqrt z) (/ (sqrt t) (sqrt a)))
  (* (sqrt z) (/ (sqrt t) (sqrt a)))
  (* z (* (cbrt (/ t a)) (cbrt (/ t a))))
  (* z (sqrt (/ t a)))
  (* z (/ (* (cbrt t) (cbrt t)) (* (cbrt a) (cbrt a))))
  (* z (/ (* (cbrt t) (cbrt t)) (sqrt a)))
  (* z (/ (* (cbrt t) (cbrt t)) 1))
  (* z (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* z (/ (sqrt t) (sqrt a)))
  (* z (/ (sqrt t) 1))
  (* z (/ 1 (* (cbrt a) (cbrt a))))
  (* z (/ 1 (sqrt a)))
  (* z (/ 1 1))
  (* z 1)
  (* z t)
  (* (cbrt z) (/ t a))
  (* (sqrt z) (/ t a))
  (* z (/ t a))
  (* z t)
  (* y (/ x a))
  (+ (log y) (- (log x) (log a)))
  (+ (log y) (log (/ x a)))
  (log (* y (/ x a)))
  (exp (* y (/ x a)))
  (* (* (* y y) y) (/ (* (* x x) x) (* (* a a) a)))
  (* (* (* y y) y) (* (* (/ x a) (/ x a)) (/ x a)))
  (* (cbrt (* y (/ x a))) (cbrt (* y (/ x a))))
  (cbrt (* y (/ x a)))
  (* (* (* y (/ x a)) (* y (/ x a))) (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* y (* (cbrt (/ x a)) (cbrt (/ x a))))
  (* y (sqrt (/ x a)))
  (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt a) (cbrt a))))
  (* y (/ (* (cbrt x) (cbrt x)) (sqrt a)))
  (* y (/ (* (cbrt x) (cbrt x)) 1))
  (* y (/ (sqrt x) (* (cbrt a) (cbrt a))))
  (* y (/ (sqrt x) (sqrt a)))
  (* y (/ (sqrt x) 1))
  (* y (/ 1 (* (cbrt a) (cbrt a))))
  (* y (/ 1 (sqrt a)))
  (* y (/ 1 1))
  (* y 1)
  (* y x)
  (* (cbrt y) (/ x a))
  (* (sqrt y) (/ x a))
  (* y (/ x a))
  (* y x)
  (* 4.5 (* z (/ t a)))
  (* 4.5 (* z (/ t a)))
  (+ (log 4.5) (+ (log z) (- (log t) (log a))))
  (+ (log 4.5) (+ (log z) (log (/ t a))))
  (+ (log 4.5) (log (* z (/ t a))))
  (log (* 4.5 (* z (/ t a))))
  (exp (* 4.5 (* z (/ t a))))
  (* (* (* 4.5 4.5) 4.5) (* (* (* z z) z) (/ (* (* t t) t) (* (* a a) a))))
  (* (* (* 4.5 4.5) 4.5) (* (* (* z z) z) (* (* (/ t a) (/ t a)) (/ t a))))
  (* (* (* 4.5 4.5) 4.5) (* (* (* z (/ t a)) (* z (/ t a))) (* z (/ t a))))
  (* (cbrt (* 4.5 (* z (/ t a)))) (cbrt (* 4.5 (* z (/ t a)))))
  (cbrt (* 4.5 (* z (/ t a))))
  (* (* (* 4.5 (* z (/ t a))) (* 4.5 (* z (/ t a)))) (* 4.5 (* z (/ t a))))
  (sqrt (* 4.5 (* z (/ t a))))
  (sqrt (* 4.5 (* z (/ t a))))
  (* 4.5 z)
  (* (cbrt 4.5) (* z (/ t a)))
  (* (sqrt 4.5) (* z (/ t a)))
  (* 4.5 (* z (/ t a)))
  (* 4.5 (* z t))
  (/ (exp (* 0.5 (* y (/ x a)))) (exp (* 4.5 (* z (/ t a)))))
  (log (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))))
  (exp (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))))
  (* (cbrt (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a))))) (cbrt (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a))))))
  (cbrt (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))))
  (* (* (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))) (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a))))) (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))))
  (sqrt (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))))
  (sqrt (- (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a)))))
  (- (* 0.5 (* y x)) (* 4.5 (* z t)))
  (- (* (* 0.5 (* y x)) a) (* a (* 4.5 (* z t))))
  (* a a)
  (- (pow (* 0.5 (* y (/ x a))) 3) (pow (* 4.5 (* z (/ t a))) 3))
  (+ (* (* 0.5 (* y (/ x a))) (* 0.5 (* y (/ x a)))) (+ (* (* 4.5 (* z (/ t a))) (* 4.5 (* z (/ t a)))) (* (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a))))))
  (neg (* 4.5 (* z (/ t a))))
  (- (* (* 0.5 (* y (/ x a))) (* 0.5 (* y (/ x a)))) (* (* 4.5 (* z (/ t a))) (* 4.5 (* z (/ t a)))))
  (+ (* 0.5 (* y (/ x a))) (* 4.5 (* z (/ t a))))
  (neg (* 4.5 (* z (/ t 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)))
0.409 * * [simplify]: iteration  0 :  4994  enodes  (cost  981 )
0.410 * * [simplify]: iteration  1 :  4994  enodes  (cost  981 )
0.413 * [simplify]: Simplified to:
   (* z (/ t a))
  (log (* z (/ t a)))
  (log (* z (/ t a)))
  (log (* z (/ t a)))
  (pow (exp z) (/ t a))
  (pow (* z (/ t a)) 3)
  (pow (* z (/ t a)) 3)
  (* (cbrt (* z (/ t a))) (cbrt (* z (/ t a))))
  (cbrt (* z (/ t a)))
  (pow (* z (/ t a)) 3)
  (sqrt (* z (/ t a)))
  (sqrt (* z (/ t a)))
  (* (sqrt z) (sqrt (/ t a)))
  (* (sqrt z) (sqrt (/ t a)))
  (* (sqrt z) (/ (sqrt t) (sqrt a)))
  (* (sqrt z) (/ (sqrt t) (sqrt a)))
  (* z (* (cbrt (/ t a)) (cbrt (/ t a))))
  (* z (sqrt (/ t a)))
  (* z (* (/ (cbrt t) (cbrt a)) (/ (cbrt t) (cbrt a))))
  (* z (* (/ (cbrt t) (sqrt a)) (cbrt t)))
  (* z (* (cbrt t) (cbrt t)))
  (* z (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* z (/ (sqrt t) (sqrt a)))
  (* z (sqrt t))
  (/ z (* (cbrt a) (cbrt a)))
  (/ z (sqrt a))
  z
  z
  (* z t)
  (* (/ t a) (cbrt z))
  (* (/ t a) (sqrt z))
  (* z (/ t a))
  (* z t)
  (* y (/ x a))
  (log (* y (/ x a)))
  (log (* y (/ x a)))
  (log (* y (/ x a)))
  (pow (exp y) (/ x a))
  (pow (* y (/ x a)) 3)
  (pow (* y (/ x a)) 3)
  (* (cbrt (* y (/ x a))) (cbrt (* y (/ x a))))
  (cbrt (* y (/ x a)))
  (pow (* y (/ x a)) 3)
  (sqrt (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* y (* (cbrt (/ x a)) (cbrt (/ x a))))
  (* y (sqrt (/ x a)))
  (* y (* (/ (cbrt x) (cbrt a)) (/ (cbrt x) (cbrt a))))
  (* y (* (/ (cbrt x) (sqrt a)) (cbrt x)))
  (* y (* (cbrt x) (cbrt x)))
  (* y (/ (sqrt x) (* (cbrt a) (cbrt a))))
  (* y (/ (sqrt x) (sqrt a)))
  (* y (sqrt x))
  (/ y (* (cbrt a) (cbrt a)))
  (/ y (sqrt a))
  y
  y
  (* y x)
  (* (/ x a) (cbrt y))
  (* (/ x a) (sqrt y))
  (* y (/ x a))
  (* y x)
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (pow (pow (exp z) (/ t a)) 4.5)
  (pow (* z (* 4.5 (/ t a))) 3)
  (pow (* z (* 4.5 (/ t a))) 3)
  (pow (* z (* 4.5 (/ t a))) 3)
  (* (cbrt (* z (* 4.5 (/ t a)))) (cbrt (* z (* 4.5 (/ t a)))))
  (cbrt (* z (* 4.5 (/ t a))))
  (pow (* z (* 4.5 (/ t a))) 3)
  (sqrt (* z (* 4.5 (/ t a))))
  (sqrt (* z (* 4.5 (/ t a))))
  (* z 4.5)
  (* z (* (/ t a) (cbrt 4.5)))
  (* z (* (/ t a) (sqrt 4.5)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 t))
  (exp (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (log (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (exp (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (* (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))))
  (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (pow (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))) 3)
  (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (- (* y (* x 0.5)) (* z (* 4.5 t)))
  (* a (- (* y (* x 0.5)) (* z (* 4.5 t))))
  (* a a)
  (- (pow (* y (* (/ x a) 0.5)) 3) (pow (* z (* 4.5 (/ t a))) 3))
  (+ (* (* z (/ t a)) (* (* z (/ t a)) (* 4.5 4.5))) (* (* y (* (/ x a) 0.5)) (+ (* z (* 4.5 (/ t a))) (* y (* (/ x a) 0.5)))))
  (* z (* 4.5 (/ (neg t) a)))
  (- (* (* y (/ x a)) (* (* y (/ x a)) (* 0.5 0.5))) (* (* z (/ t a)) (* (* z (/ t a)) (* 4.5 4.5))))
  (+ (* z (* 4.5 (/ t a))) (* y (* (/ x a) 0.5)))
  (* z (* 4.5 (/ (neg t) a)))
  (* z (/ t a))
  (* z (/ t a))
  (* z (/ t a))
  (* y (/ x a))
  (* y (/ x a))
  (* y (/ x a))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
0.414 * * * [progress]: adding candidates to table
0.527 * * [progress]: iteration 3 / 4
0.527 * * * [progress]: picking best candidate
0.566 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))>
0.566 * * * [progress]: localizing error
0.577 * * * [progress]: generating rewritten candidates
0.577 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.585 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.592 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.600 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.611 * * * [progress]: generating series expansions
0.611 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.611 * [approximate]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in (z t a) around 0
0.611 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.611 * [taylor]: Taking taylor expansion of 4.5 in a
0.611 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.611 * [taylor]: Taking taylor expansion of (* t z) in a
0.611 * [taylor]: Taking taylor expansion of t in a
0.611 * [taylor]: Taking taylor expansion of z in a
0.611 * [taylor]: Taking taylor expansion of a in a
0.611 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
0.611 * [taylor]: Taking taylor expansion of 4.5 in t
0.611 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.611 * [taylor]: Taking taylor expansion of (* t z) in t
0.611 * [taylor]: Taking taylor expansion of t in t
0.611 * [taylor]: Taking taylor expansion of z in t
0.611 * [taylor]: Taking taylor expansion of a in t
0.611 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.611 * [taylor]: Taking taylor expansion of 4.5 in z
0.611 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.611 * [taylor]: Taking taylor expansion of (* t z) in z
0.611 * [taylor]: Taking taylor expansion of t in z
0.612 * [taylor]: Taking taylor expansion of z in z
0.612 * [taylor]: Taking taylor expansion of a in z
0.612 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.612 * [taylor]: Taking taylor expansion of 4.5 in z
0.612 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.612 * [taylor]: Taking taylor expansion of (* t z) in z
0.612 * [taylor]: Taking taylor expansion of t in z
0.612 * [taylor]: Taking taylor expansion of z in z
0.612 * [taylor]: Taking taylor expansion of a in z
0.612 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
0.612 * [taylor]: Taking taylor expansion of 4.5 in t
0.612 * [taylor]: Taking taylor expansion of (/ t a) in t
0.612 * [taylor]: Taking taylor expansion of t in t
0.612 * [taylor]: Taking taylor expansion of a in t
0.612 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
0.612 * [taylor]: Taking taylor expansion of 4.5 in a
0.612 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of 0 in t
0.612 * [taylor]: Taking taylor expansion of 0 in a
0.612 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [taylor]: Taking taylor expansion of 0 in t
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [taylor]: Taking taylor expansion of 0 in t
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.613 * [taylor]: Taking taylor expansion of 0 in a
0.614 * [approximate]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in (z t a) around 0
0.614 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.614 * [taylor]: Taking taylor expansion of 4.5 in a
0.614 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.614 * [taylor]: Taking taylor expansion of a in a
0.614 * [taylor]: Taking taylor expansion of (* z t) in a
0.614 * [taylor]: Taking taylor expansion of z in a
0.614 * [taylor]: Taking taylor expansion of t in a
0.614 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.614 * [taylor]: Taking taylor expansion of 4.5 in t
0.614 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.614 * [taylor]: Taking taylor expansion of a in t
0.614 * [taylor]: Taking taylor expansion of (* z t) in t
0.614 * [taylor]: Taking taylor expansion of z in t
0.614 * [taylor]: Taking taylor expansion of t in t
0.614 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.614 * [taylor]: Taking taylor expansion of 4.5 in z
0.614 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.614 * [taylor]: Taking taylor expansion of a in z
0.614 * [taylor]: Taking taylor expansion of (* z t) in z
0.614 * [taylor]: Taking taylor expansion of z in z
0.614 * [taylor]: Taking taylor expansion of t in z
0.614 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.614 * [taylor]: Taking taylor expansion of 4.5 in z
0.614 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.614 * [taylor]: Taking taylor expansion of a in z
0.614 * [taylor]: Taking taylor expansion of (* z t) in z
0.614 * [taylor]: Taking taylor expansion of z in z
0.614 * [taylor]: Taking taylor expansion of t in z
0.614 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.614 * [taylor]: Taking taylor expansion of 4.5 in t
0.614 * [taylor]: Taking taylor expansion of (/ a t) in t
0.614 * [taylor]: Taking taylor expansion of a in t
0.614 * [taylor]: Taking taylor expansion of t in t
0.615 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.615 * [taylor]: Taking taylor expansion of 4.5 in a
0.615 * [taylor]: Taking taylor expansion of a in a
0.615 * [taylor]: Taking taylor expansion of 0 in t
0.615 * [taylor]: Taking taylor expansion of 0 in a
0.615 * [taylor]: Taking taylor expansion of 0 in t
0.615 * [taylor]: Taking taylor expansion of 0 in a
0.615 * [taylor]: Taking taylor expansion of 0 in a
0.616 * [approximate]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in (z t a) around 0
0.616 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in a
0.616 * [taylor]: Taking taylor expansion of -4.5 in a
0.616 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.616 * [taylor]: Taking taylor expansion of a in a
0.616 * [taylor]: Taking taylor expansion of (* z t) in a
0.616 * [taylor]: Taking taylor expansion of z in a
0.616 * [taylor]: Taking taylor expansion of t in a
0.616 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
0.616 * [taylor]: Taking taylor expansion of -4.5 in t
0.616 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.616 * [taylor]: Taking taylor expansion of a in t
0.616 * [taylor]: Taking taylor expansion of (* z t) in t
0.616 * [taylor]: Taking taylor expansion of z in t
0.616 * [taylor]: Taking taylor expansion of t in t
0.616 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
0.616 * [taylor]: Taking taylor expansion of -4.5 in z
0.616 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.616 * [taylor]: Taking taylor expansion of a in z
0.616 * [taylor]: Taking taylor expansion of (* z t) in z
0.616 * [taylor]: Taking taylor expansion of z in z
0.616 * [taylor]: Taking taylor expansion of t in z
0.616 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
0.616 * [taylor]: Taking taylor expansion of -4.5 in z
0.616 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.616 * [taylor]: Taking taylor expansion of a in z
0.616 * [taylor]: Taking taylor expansion of (* z t) in z
0.616 * [taylor]: Taking taylor expansion of z in z
0.616 * [taylor]: Taking taylor expansion of t in z
0.616 * [taylor]: Taking taylor expansion of (* -4.5 (/ a t)) in t
0.616 * [taylor]: Taking taylor expansion of -4.5 in t
0.616 * [taylor]: Taking taylor expansion of (/ a t) in t
0.616 * [taylor]: Taking taylor expansion of a in t
0.616 * [taylor]: Taking taylor expansion of t in t
0.616 * [taylor]: Taking taylor expansion of (* -4.5 a) in a
0.617 * [taylor]: Taking taylor expansion of -4.5 in a
0.617 * [taylor]: Taking taylor expansion of a in a
0.617 * [taylor]: Taking taylor expansion of 0 in t
0.617 * [taylor]: Taking taylor expansion of 0 in a
0.617 * [taylor]: Taking taylor expansion of 0 in t
0.617 * [taylor]: Taking taylor expansion of 0 in a
0.617 * [taylor]: Taking taylor expansion of 0 in a
0.617 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.618 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (y x a) around 0
0.618 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.618 * [taylor]: Taking taylor expansion of (* x y) in a
0.618 * [taylor]: Taking taylor expansion of x in a
0.618 * [taylor]: Taking taylor expansion of y in a
0.618 * [taylor]: Taking taylor expansion of a in a
0.618 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.618 * [taylor]: Taking taylor expansion of (* x y) in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of y in x
0.618 * [taylor]: Taking taylor expansion of a in x
0.618 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.618 * [taylor]: Taking taylor expansion of (* x y) in y
0.618 * [taylor]: Taking taylor expansion of x in y
0.618 * [taylor]: Taking taylor expansion of y in y
0.618 * [taylor]: Taking taylor expansion of a in y
0.618 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.618 * [taylor]: Taking taylor expansion of (* x y) in y
0.618 * [taylor]: Taking taylor expansion of x in y
0.618 * [taylor]: Taking taylor expansion of y in y
0.618 * [taylor]: Taking taylor expansion of a in y
0.618 * [taylor]: Taking taylor expansion of (/ x a) in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of a in x
0.618 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.618 * [taylor]: Taking taylor expansion of a in a
0.618 * [taylor]: Taking taylor expansion of 0 in x
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in x
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in x
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [taylor]: Taking taylor expansion of 0 in a
0.619 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (y x a) around 0
0.619 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.620 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of (* x y) in a
0.620 * [taylor]: Taking taylor expansion of x in a
0.620 * [taylor]: Taking taylor expansion of y in a
0.620 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.620 * [taylor]: Taking taylor expansion of a in x
0.620 * [taylor]: Taking taylor expansion of (* x y) in x
0.620 * [taylor]: Taking taylor expansion of x in x
0.620 * [taylor]: Taking taylor expansion of y in x
0.620 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.620 * [taylor]: Taking taylor expansion of a in y
0.620 * [taylor]: Taking taylor expansion of (* x y) in y
0.620 * [taylor]: Taking taylor expansion of x in y
0.620 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.620 * [taylor]: Taking taylor expansion of a in y
0.620 * [taylor]: Taking taylor expansion of (* x y) in y
0.620 * [taylor]: Taking taylor expansion of x in y
0.620 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of (/ a x) in x
0.620 * [taylor]: Taking taylor expansion of a in x
0.620 * [taylor]: Taking taylor expansion of x in x
0.620 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of 0 in x
0.620 * [taylor]: Taking taylor expansion of 0 in a
0.621 * [taylor]: Taking taylor expansion of 0 in x
0.621 * [taylor]: Taking taylor expansion of 0 in a
0.621 * [taylor]: Taking taylor expansion of 0 in a
0.621 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (y x a) around 0
0.621 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a
0.621 * [taylor]: Taking taylor expansion of -1 in a
0.621 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.621 * [taylor]: Taking taylor expansion of a in a
0.621 * [taylor]: Taking taylor expansion of (* x y) in a
0.621 * [taylor]: Taking taylor expansion of x in a
0.621 * [taylor]: Taking taylor expansion of y in a
0.621 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
0.621 * [taylor]: Taking taylor expansion of -1 in x
0.621 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.621 * [taylor]: Taking taylor expansion of a in x
0.621 * [taylor]: Taking taylor expansion of (* x y) in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of y in x
0.621 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.621 * [taylor]: Taking taylor expansion of -1 in y
0.621 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.621 * [taylor]: Taking taylor expansion of a in y
0.621 * [taylor]: Taking taylor expansion of (* x y) in y
0.621 * [taylor]: Taking taylor expansion of x in y
0.621 * [taylor]: Taking taylor expansion of y in y
0.621 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.621 * [taylor]: Taking taylor expansion of -1 in y
0.622 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.622 * [taylor]: Taking taylor expansion of a in y
0.622 * [taylor]: Taking taylor expansion of (* x y) in y
0.622 * [taylor]: Taking taylor expansion of x in y
0.622 * [taylor]: Taking taylor expansion of y in y
0.622 * [taylor]: Taking taylor expansion of (* -1 (/ a x)) in x
0.622 * [taylor]: Taking taylor expansion of -1 in x
0.622 * [taylor]: Taking taylor expansion of (/ a x) in x
0.622 * [taylor]: Taking taylor expansion of a in x
0.622 * [taylor]: Taking taylor expansion of x in x
0.622 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.622 * [taylor]: Taking taylor expansion of -1 in a
0.622 * [taylor]: Taking taylor expansion of a in a
0.622 * [taylor]: Taking taylor expansion of 0 in x
0.622 * [taylor]: Taking taylor expansion of 0 in a
0.622 * [taylor]: Taking taylor expansion of 0 in x
0.622 * [taylor]: Taking taylor expansion of 0 in a
0.623 * [taylor]: Taking taylor expansion of 0 in a
0.623 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.623 * [approximate]: Taking taylor expansion of (* 4.5 (/ t a)) in (t a) around 0
0.623 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in a
0.623 * [taylor]: Taking taylor expansion of 4.5 in a
0.623 * [taylor]: Taking taylor expansion of (/ t a) in a
0.623 * [taylor]: Taking taylor expansion of t in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
0.623 * [taylor]: Taking taylor expansion of 4.5 in t
0.623 * [taylor]: Taking taylor expansion of (/ t a) in t
0.623 * [taylor]: Taking taylor expansion of t in t
0.623 * [taylor]: Taking taylor expansion of a in t
0.623 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
0.623 * [taylor]: Taking taylor expansion of 4.5 in t
0.623 * [taylor]: Taking taylor expansion of (/ t a) in t
0.623 * [taylor]: Taking taylor expansion of t in t
0.623 * [taylor]: Taking taylor expansion of a in t
0.623 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
0.623 * [taylor]: Taking taylor expansion of 4.5 in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of 0 in a
0.624 * [taylor]: Taking taylor expansion of 0 in a
0.624 * [taylor]: Taking taylor expansion of 0 in a
0.624 * [approximate]: Taking taylor expansion of (* 4.5 (/ a t)) in (t a) around 0
0.624 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in a
0.624 * [taylor]: Taking taylor expansion of 4.5 in a
0.624 * [taylor]: Taking taylor expansion of (/ a t) in a
0.624 * [taylor]: Taking taylor expansion of a in a
0.624 * [taylor]: Taking taylor expansion of t in a
0.624 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.624 * [taylor]: Taking taylor expansion of 4.5 in t
0.624 * [taylor]: Taking taylor expansion of (/ a t) in t
0.624 * [taylor]: Taking taylor expansion of a in t
0.624 * [taylor]: Taking taylor expansion of t in t
0.624 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.624 * [taylor]: Taking taylor expansion of 4.5 in t
0.624 * [taylor]: Taking taylor expansion of (/ a t) in t
0.624 * [taylor]: Taking taylor expansion of a in t
0.624 * [taylor]: Taking taylor expansion of t in t
0.624 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.625 * [taylor]: Taking taylor expansion of 4.5 in a
0.625 * [taylor]: Taking taylor expansion of a in a
0.625 * [taylor]: Taking taylor expansion of 0 in a
0.625 * [taylor]: Taking taylor expansion of 0 in a
0.625 * [taylor]: Taking taylor expansion of 0 in a
0.625 * [approximate]: Taking taylor expansion of (* 4.5 (/ a t)) in (t a) around 0
0.625 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in a
0.625 * [taylor]: Taking taylor expansion of 4.5 in a
0.625 * [taylor]: Taking taylor expansion of (/ a t) in a
0.625 * [taylor]: Taking taylor expansion of a in a
0.625 * [taylor]: Taking taylor expansion of t in a
0.625 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.625 * [taylor]: Taking taylor expansion of 4.5 in t
0.625 * [taylor]: Taking taylor expansion of (/ a t) in t
0.625 * [taylor]: Taking taylor expansion of a in t
0.625 * [taylor]: Taking taylor expansion of t in t
0.625 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.625 * [taylor]: Taking taylor expansion of 4.5 in t
0.625 * [taylor]: Taking taylor expansion of (/ a t) in t
0.625 * [taylor]: Taking taylor expansion of a in t
0.626 * [taylor]: Taking taylor expansion of t in t
0.626 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.626 * [taylor]: Taking taylor expansion of 4.5 in a
0.626 * [taylor]: Taking taylor expansion of a in a
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.626 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.626 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in (y x a z t) around 0
0.626 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in t
0.626 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in t
0.627 * [taylor]: Taking taylor expansion of 0.5 in t
0.627 * [taylor]: Taking taylor expansion of (/ (* x y) a) in t
0.627 * [taylor]: Taking taylor expansion of (* x y) in t
0.627 * [taylor]: Taking taylor expansion of x in t
0.627 * [taylor]: Taking taylor expansion of y in t
0.627 * [taylor]: Taking taylor expansion of a in t
0.627 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
0.627 * [taylor]: Taking taylor expansion of 4.5 in t
0.627 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.627 * [taylor]: Taking taylor expansion of (* t z) in t
0.627 * [taylor]: Taking taylor expansion of t in t
0.627 * [taylor]: Taking taylor expansion of z in t
0.627 * [taylor]: Taking taylor expansion of a in t
0.627 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in z
0.627 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in z
0.627 * [taylor]: Taking taylor expansion of 0.5 in z
0.627 * [taylor]: Taking taylor expansion of (/ (* x y) a) in z
0.627 * [taylor]: Taking taylor expansion of (* x y) in z
0.627 * [taylor]: Taking taylor expansion of x in z
0.627 * [taylor]: Taking taylor expansion of y in z
0.627 * [taylor]: Taking taylor expansion of a in z
0.627 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.627 * [taylor]: Taking taylor expansion of 4.5 in z
0.627 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.627 * [taylor]: Taking taylor expansion of (* t z) in z
0.627 * [taylor]: Taking taylor expansion of t in z
0.627 * [taylor]: Taking taylor expansion of z in z
0.627 * [taylor]: Taking taylor expansion of a in z
0.627 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in a
0.627 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in a
0.627 * [taylor]: Taking taylor expansion of 0.5 in a
0.627 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.627 * [taylor]: Taking taylor expansion of (* x y) in a
0.627 * [taylor]: Taking taylor expansion of x in a
0.627 * [taylor]: Taking taylor expansion of y in a
0.627 * [taylor]: Taking taylor expansion of a in a
0.627 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.627 * [taylor]: Taking taylor expansion of 4.5 in a
0.627 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.627 * [taylor]: Taking taylor expansion of (* t z) in a
0.627 * [taylor]: Taking taylor expansion of t in a
0.628 * [taylor]: Taking taylor expansion of z in a
0.628 * [taylor]: Taking taylor expansion of a in a
0.628 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in x
0.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
0.628 * [taylor]: Taking taylor expansion of 0.5 in x
0.628 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.628 * [taylor]: Taking taylor expansion of (* x y) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of y in x
0.628 * [taylor]: Taking taylor expansion of a in x
0.628 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
0.628 * [taylor]: Taking taylor expansion of 4.5 in x
0.628 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
0.628 * [taylor]: Taking taylor expansion of (* t z) in x
0.628 * [taylor]: Taking taylor expansion of t in x
0.628 * [taylor]: Taking taylor expansion of z in x
0.628 * [taylor]: Taking taylor expansion of a in x
0.628 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
0.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
0.628 * [taylor]: Taking taylor expansion of 0.5 in y
0.628 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.628 * [taylor]: Taking taylor expansion of (* x y) in y
0.628 * [taylor]: Taking taylor expansion of x in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of a in y
0.628 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
0.628 * [taylor]: Taking taylor expansion of 4.5 in y
0.628 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.628 * [taylor]: Taking taylor expansion of (* t z) in y
0.628 * [taylor]: Taking taylor expansion of t in y
0.628 * [taylor]: Taking taylor expansion of z in y
0.628 * [taylor]: Taking taylor expansion of a in y
0.628 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
0.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
0.628 * [taylor]: Taking taylor expansion of 0.5 in y
0.628 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.628 * [taylor]: Taking taylor expansion of (* x y) in y
0.628 * [taylor]: Taking taylor expansion of x in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of a in y
0.629 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
0.629 * [taylor]: Taking taylor expansion of 4.5 in y
0.629 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.629 * [taylor]: Taking taylor expansion of (* t z) in y
0.629 * [taylor]: Taking taylor expansion of t in y
0.629 * [taylor]: Taking taylor expansion of z in y
0.629 * [taylor]: Taking taylor expansion of a in y
0.629 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in x
0.629 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
0.629 * [taylor]: Taking taylor expansion of 4.5 in x
0.629 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
0.629 * [taylor]: Taking taylor expansion of (* t z) in x
0.629 * [taylor]: Taking taylor expansion of t in x
0.629 * [taylor]: Taking taylor expansion of z in x
0.629 * [taylor]: Taking taylor expansion of a in x
0.629 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in a
0.629 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.629 * [taylor]: Taking taylor expansion of 4.5 in a
0.629 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.629 * [taylor]: Taking taylor expansion of (* t z) in a
0.629 * [taylor]: Taking taylor expansion of t in a
0.629 * [taylor]: Taking taylor expansion of z in a
0.629 * [taylor]: Taking taylor expansion of a in a
0.629 * [taylor]: Taking taylor expansion of (neg (* 4.5 (* t z))) in z
0.630 * [taylor]: Taking taylor expansion of (* 4.5 (* t z)) in z
0.630 * [taylor]: Taking taylor expansion of 4.5 in z
0.630 * [taylor]: Taking taylor expansion of (* t z) in z
0.630 * [taylor]: Taking taylor expansion of t in z
0.630 * [taylor]: Taking taylor expansion of z in z
0.630 * [taylor]: Taking taylor expansion of 0 in t
0.630 * [taylor]: Taking taylor expansion of (* 0.5 (/ x a)) in x
0.630 * [taylor]: Taking taylor expansion of 0.5 in x
0.630 * [taylor]: Taking taylor expansion of (/ x a) in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of a in x
0.630 * [taylor]: Taking taylor expansion of 0 in a
0.630 * [taylor]: Taking taylor expansion of 0 in z
0.630 * [taylor]: Taking taylor expansion of 0 in t
0.630 * [taylor]: Taking taylor expansion of (neg (* 4.5 t)) in t
0.631 * [taylor]: Taking taylor expansion of (* 4.5 t) in t
0.631 * [taylor]: Taking taylor expansion of 4.5 in t
0.631 * [taylor]: Taking taylor expansion of t in t
0.631 * [taylor]: Taking taylor expansion of 0 in x
0.631 * [taylor]: Taking taylor expansion of 0 in a
0.631 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
0.631 * [taylor]: Taking taylor expansion of 0.5 in a
0.631 * [taylor]: Taking taylor expansion of a in a
0.631 * [taylor]: Taking taylor expansion of 0.5 in z
0.631 * [taylor]: Taking taylor expansion of 0.5 in t
0.631 * [taylor]: Taking taylor expansion of 0 in a
0.631 * [taylor]: Taking taylor expansion of 0 in z
0.631 * [taylor]: Taking taylor expansion of 0 in t
0.632 * [taylor]: Taking taylor expansion of 0 in z
0.632 * [taylor]: Taking taylor expansion of 0 in t
0.632 * [taylor]: Taking taylor expansion of 0 in t
0.632 * [taylor]: Taking taylor expansion of 0 in t
0.632 * [taylor]: Taking taylor expansion of 0 in x
0.632 * [taylor]: Taking taylor expansion of 0 in a
0.632 * [taylor]: Taking taylor expansion of 0 in a
0.633 * [taylor]: Taking taylor expansion of 0 in a
0.633 * [taylor]: Taking taylor expansion of 0 in a
0.633 * [taylor]: Taking taylor expansion of 0 in z
0.633 * [taylor]: Taking taylor expansion of 0 in t
0.633 * [taylor]: Taking taylor expansion of 0 in z
0.633 * [taylor]: Taking taylor expansion of 0 in t
0.633 * [taylor]: Taking taylor expansion of 0 in z
0.633 * [taylor]: Taking taylor expansion of 0 in t
0.633 * [taylor]: Taking taylor expansion of 0 in z
0.633 * [taylor]: Taking taylor expansion of 0 in t
0.633 * [taylor]: Taking taylor expansion of 0 in z
0.633 * [taylor]: Taking taylor expansion of 0 in t
0.634 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in (y x a z t) around 0
0.634 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in t
0.634 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
0.634 * [taylor]: Taking taylor expansion of 0.5 in t
0.634 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
0.634 * [taylor]: Taking taylor expansion of a in t
0.634 * [taylor]: Taking taylor expansion of (* x y) in t
0.634 * [taylor]: Taking taylor expansion of x in t
0.634 * [taylor]: Taking taylor expansion of y in t
0.634 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.634 * [taylor]: Taking taylor expansion of 4.5 in t
0.634 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.634 * [taylor]: Taking taylor expansion of a in t
0.634 * [taylor]: Taking taylor expansion of (* z t) in t
0.634 * [taylor]: Taking taylor expansion of z in t
0.634 * [taylor]: Taking taylor expansion of t in t
0.634 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in z
0.634 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
0.634 * [taylor]: Taking taylor expansion of 0.5 in z
0.634 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
0.634 * [taylor]: Taking taylor expansion of a in z
0.634 * [taylor]: Taking taylor expansion of (* x y) in z
0.634 * [taylor]: Taking taylor expansion of x in z
0.634 * [taylor]: Taking taylor expansion of y in z
0.634 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.634 * [taylor]: Taking taylor expansion of 4.5 in z
0.634 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.634 * [taylor]: Taking taylor expansion of a in z
0.634 * [taylor]: Taking taylor expansion of (* z t) in z
0.634 * [taylor]: Taking taylor expansion of z in z
0.634 * [taylor]: Taking taylor expansion of t in z
0.635 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in a
0.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
0.635 * [taylor]: Taking taylor expansion of 0.5 in a
0.635 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.635 * [taylor]: Taking taylor expansion of a in a
0.635 * [taylor]: Taking taylor expansion of (* x y) in a
0.635 * [taylor]: Taking taylor expansion of x in a
0.635 * [taylor]: Taking taylor expansion of y in a
0.635 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.635 * [taylor]: Taking taylor expansion of 4.5 in a
0.635 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.635 * [taylor]: Taking taylor expansion of a in a
0.635 * [taylor]: Taking taylor expansion of (* z t) in a
0.635 * [taylor]: Taking taylor expansion of z in a
0.635 * [taylor]: Taking taylor expansion of t in a
0.635 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in x
0.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
0.635 * [taylor]: Taking taylor expansion of 0.5 in x
0.635 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.635 * [taylor]: Taking taylor expansion of a in x
0.635 * [taylor]: Taking taylor expansion of (* x y) in x
0.635 * [taylor]: Taking taylor expansion of x in x
0.635 * [taylor]: Taking taylor expansion of y in x
0.635 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.635 * [taylor]: Taking taylor expansion of 4.5 in x
0.635 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.635 * [taylor]: Taking taylor expansion of a in x
0.635 * [taylor]: Taking taylor expansion of (* z t) in x
0.635 * [taylor]: Taking taylor expansion of z in x
0.635 * [taylor]: Taking taylor expansion of t in x
0.635 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
0.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.635 * [taylor]: Taking taylor expansion of 0.5 in y
0.635 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.635 * [taylor]: Taking taylor expansion of a in y
0.635 * [taylor]: Taking taylor expansion of (* x y) in y
0.635 * [taylor]: Taking taylor expansion of x in y
0.635 * [taylor]: Taking taylor expansion of y in y
0.635 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.636 * [taylor]: Taking taylor expansion of 4.5 in y
0.636 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.636 * [taylor]: Taking taylor expansion of a in y
0.636 * [taylor]: Taking taylor expansion of (* z t) in y
0.636 * [taylor]: Taking taylor expansion of z in y
0.636 * [taylor]: Taking taylor expansion of t in y
0.636 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
0.636 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.636 * [taylor]: Taking taylor expansion of 0.5 in y
0.636 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.636 * [taylor]: Taking taylor expansion of a in y
0.636 * [taylor]: Taking taylor expansion of (* x y) in y
0.636 * [taylor]: Taking taylor expansion of x in y
0.636 * [taylor]: Taking taylor expansion of y in y
0.636 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.636 * [taylor]: Taking taylor expansion of 4.5 in y
0.636 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.636 * [taylor]: Taking taylor expansion of a in y
0.636 * [taylor]: Taking taylor expansion of (* z t) in y
0.636 * [taylor]: Taking taylor expansion of z in y
0.636 * [taylor]: Taking taylor expansion of t in y
0.636 * [taylor]: Taking taylor expansion of (* 0.5 (/ a x)) in x
0.636 * [taylor]: Taking taylor expansion of 0.5 in x
0.636 * [taylor]: Taking taylor expansion of (/ a x) in x
0.636 * [taylor]: Taking taylor expansion of a in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.636 * [taylor]: Taking taylor expansion of 0.5 in a
0.636 * [taylor]: Taking taylor expansion of a in a
0.636 * [taylor]: Taking taylor expansion of 0.5 in z
0.637 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in x
0.637 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.637 * [taylor]: Taking taylor expansion of 4.5 in x
0.637 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.637 * [taylor]: Taking taylor expansion of a in x
0.637 * [taylor]: Taking taylor expansion of (* z t) in x
0.637 * [taylor]: Taking taylor expansion of z in x
0.637 * [taylor]: Taking taylor expansion of t in x
0.637 * [taylor]: Taking taylor expansion of 0 in a
0.637 * [taylor]: Taking taylor expansion of 0 in z
0.637 * [taylor]: Taking taylor expansion of 0 in z
0.637 * [taylor]: Taking taylor expansion of 0.5 in t
0.637 * [taylor]: Taking taylor expansion of 0 in x
0.638 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in a
0.638 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.638 * [taylor]: Taking taylor expansion of 4.5 in a
0.638 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.638 * [taylor]: Taking taylor expansion of a in a
0.638 * [taylor]: Taking taylor expansion of (* z t) in a
0.638 * [taylor]: Taking taylor expansion of z in a
0.638 * [taylor]: Taking taylor expansion of t in a
0.638 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 (* t z)))) in z
0.638 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* t z))) in z
0.638 * [taylor]: Taking taylor expansion of 4.5 in z
0.638 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.638 * [taylor]: Taking taylor expansion of (* t z) in z
0.638 * [taylor]: Taking taylor expansion of t in z
0.638 * [taylor]: Taking taylor expansion of z in z
0.638 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 t))) in t
0.638 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 t)) in t
0.638 * [taylor]: Taking taylor expansion of 4.5 in t
0.638 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.638 * [taylor]: Taking taylor expansion of t in t
0.638 * [taylor]: Taking taylor expansion of 0 in a
0.638 * [taylor]: Taking taylor expansion of 0 in z
0.638 * [taylor]: Taking taylor expansion of 0 in z
0.638 * [taylor]: Taking taylor expansion of 0 in z
0.639 * [taylor]: Taking taylor expansion of 0 in t
0.639 * [taylor]: Taking taylor expansion of 0 in t
0.639 * [taylor]: Taking taylor expansion of 0 in t
0.639 * [taylor]: Taking taylor expansion of 0 in x
0.639 * [taylor]: Taking taylor expansion of 0 in a
0.639 * [taylor]: Taking taylor expansion of 0 in z
0.639 * [taylor]: Taking taylor expansion of 0 in a
0.639 * [taylor]: Taking taylor expansion of 0 in z
0.639 * [taylor]: Taking taylor expansion of 0 in a
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.640 * [taylor]: Taking taylor expansion of 0 in t
0.641 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in a
0.641 * [taylor]: Taking taylor expansion of 0 in z
0.641 * [taylor]: Taking taylor expansion of 0 in a
0.641 * [taylor]: Taking taylor expansion of 0 in z
0.641 * [taylor]: Taking taylor expansion of 0 in a
0.641 * [taylor]: Taking taylor expansion of 0 in z
0.641 * [taylor]: Taking taylor expansion of 0 in a
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.642 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [taylor]: Taking taylor expansion of 0 in t
0.643 * [approximate]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in (y x a z t) around 0
0.643 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in t
0.643 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.643 * [taylor]: Taking taylor expansion of 4.5 in t
0.643 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.643 * [taylor]: Taking taylor expansion of a in t
0.643 * [taylor]: Taking taylor expansion of (* z t) in t
0.643 * [taylor]: Taking taylor expansion of z in t
0.643 * [taylor]: Taking taylor expansion of t in t
0.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
0.644 * [taylor]: Taking taylor expansion of 0.5 in t
0.644 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
0.644 * [taylor]: Taking taylor expansion of a in t
0.644 * [taylor]: Taking taylor expansion of (* x y) in t
0.644 * [taylor]: Taking taylor expansion of x in t
0.644 * [taylor]: Taking taylor expansion of y in t
0.644 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in z
0.644 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.644 * [taylor]: Taking taylor expansion of 4.5 in z
0.644 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.644 * [taylor]: Taking taylor expansion of a in z
0.644 * [taylor]: Taking taylor expansion of (* z t) in z
0.644 * [taylor]: Taking taylor expansion of z in z
0.644 * [taylor]: Taking taylor expansion of t in z
0.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
0.644 * [taylor]: Taking taylor expansion of 0.5 in z
0.644 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
0.644 * [taylor]: Taking taylor expansion of a in z
0.644 * [taylor]: Taking taylor expansion of (* x y) in z
0.644 * [taylor]: Taking taylor expansion of x in z
0.644 * [taylor]: Taking taylor expansion of y in z
0.644 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in a
0.644 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.644 * [taylor]: Taking taylor expansion of 4.5 in a
0.644 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.644 * [taylor]: Taking taylor expansion of a in a
0.644 * [taylor]: Taking taylor expansion of (* z t) in a
0.644 * [taylor]: Taking taylor expansion of z in a
0.644 * [taylor]: Taking taylor expansion of t in a
0.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
0.644 * [taylor]: Taking taylor expansion of 0.5 in a
0.644 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.644 * [taylor]: Taking taylor expansion of a in a
0.644 * [taylor]: Taking taylor expansion of (* x y) in a
0.644 * [taylor]: Taking taylor expansion of x in a
0.644 * [taylor]: Taking taylor expansion of y in a
0.644 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in x
0.644 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.644 * [taylor]: Taking taylor expansion of 4.5 in x
0.645 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.645 * [taylor]: Taking taylor expansion of a in x
0.645 * [taylor]: Taking taylor expansion of (* z t) in x
0.645 * [taylor]: Taking taylor expansion of z in x
0.645 * [taylor]: Taking taylor expansion of t in x
0.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
0.645 * [taylor]: Taking taylor expansion of 0.5 in x
0.645 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.645 * [taylor]: Taking taylor expansion of a in x
0.645 * [taylor]: Taking taylor expansion of (* x y) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of y in x
0.645 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
0.645 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.645 * [taylor]: Taking taylor expansion of 4.5 in y
0.645 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.645 * [taylor]: Taking taylor expansion of a in y
0.645 * [taylor]: Taking taylor expansion of (* z t) in y
0.645 * [taylor]: Taking taylor expansion of z in y
0.645 * [taylor]: Taking taylor expansion of t in y
0.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.645 * [taylor]: Taking taylor expansion of 0.5 in y
0.645 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.645 * [taylor]: Taking taylor expansion of a in y
0.645 * [taylor]: Taking taylor expansion of (* x y) in y
0.645 * [taylor]: Taking taylor expansion of x in y
0.645 * [taylor]: Taking taylor expansion of y in y
0.645 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
0.645 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.645 * [taylor]: Taking taylor expansion of 4.5 in y
0.645 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.645 * [taylor]: Taking taylor expansion of a in y
0.645 * [taylor]: Taking taylor expansion of (* z t) in y
0.645 * [taylor]: Taking taylor expansion of z in y
0.645 * [taylor]: Taking taylor expansion of t in y
0.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.645 * [taylor]: Taking taylor expansion of 0.5 in y
0.645 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.645 * [taylor]: Taking taylor expansion of a in y
0.645 * [taylor]: Taking taylor expansion of (* x y) in y
0.645 * [taylor]: Taking taylor expansion of x in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.646 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ a x))) in x
0.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ a x)) in x
0.646 * [taylor]: Taking taylor expansion of 0.5 in x
0.646 * [taylor]: Taking taylor expansion of (/ a x) in x
0.646 * [taylor]: Taking taylor expansion of a in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of (neg (* 0.5 a)) in a
0.646 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.646 * [taylor]: Taking taylor expansion of 0.5 in a
0.646 * [taylor]: Taking taylor expansion of a in a
0.646 * [taylor]: Taking taylor expansion of (neg 0.5) in z
0.646 * [taylor]: Taking taylor expansion of 0.5 in z
0.646 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.646 * [taylor]: Taking taylor expansion of 4.5 in x
0.646 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.646 * [taylor]: Taking taylor expansion of a in x
0.646 * [taylor]: Taking taylor expansion of (* z t) in x
0.646 * [taylor]: Taking taylor expansion of z in x
0.646 * [taylor]: Taking taylor expansion of t in x
0.647 * [taylor]: Taking taylor expansion of 0 in a
0.647 * [taylor]: Taking taylor expansion of 0 in z
0.647 * [taylor]: Taking taylor expansion of 0 in z
0.647 * [taylor]: Taking taylor expansion of (neg 0.5) in t
0.647 * [taylor]: Taking taylor expansion of 0.5 in t
0.647 * [taylor]: Taking taylor expansion of 0 in x
0.647 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.647 * [taylor]: Taking taylor expansion of 4.5 in a
0.647 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.647 * [taylor]: Taking taylor expansion of a in a
0.647 * [taylor]: Taking taylor expansion of (* z t) in a
0.647 * [taylor]: Taking taylor expansion of z in a
0.647 * [taylor]: Taking taylor expansion of t in a
0.647 * [taylor]: Taking taylor expansion of (/ 4.5 (* t z)) in z
0.647 * [taylor]: Taking taylor expansion of 4.5 in z
0.647 * [taylor]: Taking taylor expansion of (* t z) in z
0.647 * [taylor]: Taking taylor expansion of t in z
0.647 * [taylor]: Taking taylor expansion of z in z
0.648 * [taylor]: Taking taylor expansion of (/ 4.5 t) in t
0.648 * [taylor]: Taking taylor expansion of 4.5 in t
0.648 * [taylor]: Taking taylor expansion of t in t
0.648 * [taylor]: Taking taylor expansion of 0 in a
0.648 * [taylor]: Taking taylor expansion of 0 in z
0.648 * [taylor]: Taking taylor expansion of 0 in z
0.648 * [taylor]: Taking taylor expansion of 0 in z
0.648 * [taylor]: Taking taylor expansion of 0 in t
0.648 * [taylor]: Taking taylor expansion of 0 in t
0.650 * [taylor]: Taking taylor expansion of 0 in t
0.651 * [taylor]: Taking taylor expansion of 0 in x
0.651 * [taylor]: Taking taylor expansion of 0 in a
0.651 * [taylor]: Taking taylor expansion of 0 in z
0.651 * [taylor]: Taking taylor expansion of 0 in a
0.651 * [taylor]: Taking taylor expansion of 0 in z
0.651 * [taylor]: Taking taylor expansion of 0 in a
0.651 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.652 * [taylor]: Taking taylor expansion of 0 in t
0.653 * [taylor]: Taking taylor expansion of 0 in x
0.653 * [taylor]: Taking taylor expansion of 0 in a
0.653 * [taylor]: Taking taylor expansion of 0 in z
0.653 * [taylor]: Taking taylor expansion of 0 in a
0.653 * [taylor]: Taking taylor expansion of 0 in z
0.653 * [taylor]: Taking taylor expansion of 0 in a
0.653 * [taylor]: Taking taylor expansion of 0 in z
0.653 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * [taylor]: Taking taylor expansion of 0 in t
0.655 * * * [progress]: simplifying candidates
0.657 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (+ (log z) (+ (log 4.5) (- (log t) (log a))))
  (+ (log z) (+ (log 4.5) (log (/ t a))))
  (+ (log z) (log (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (exp (* z (* 4.5 (/ t a))))
  (* (* (* z z) z) (* (* (* 4.5 4.5) 4.5) (/ (* (* t t) t) (* (* a a) a))))
  (* (* (* z z) z) (* (* (* 4.5 4.5) 4.5) (* (* (/ t a) (/ t a)) (/ t a))))
  (* (* (* z z) z) (* (* (* 4.5 (/ t a)) (* 4.5 (/ t a))) (* 4.5 (/ t a))))
  (* (cbrt (* z (* 4.5 (/ t a)))) (cbrt (* z (* 4.5 (/ t a)))))
  (cbrt (* z (* 4.5 (/ t a))))
  (* (* (* z (* 4.5 (/ t a))) (* z (* 4.5 (/ t a)))) (* z (* 4.5 (/ t a))))
  (sqrt (* z (* 4.5 (/ t a))))
  (sqrt (* z (* 4.5 (/ t a))))
  (* z 4.5)
  (* (cbrt z) (* 4.5 (/ t a)))
  (* (sqrt z) (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 t))
  (* y (/ x a))
  (+ (log y) (- (log x) (log a)))
  (+ (log y) (log (/ x a)))
  (log (* y (/ x a)))
  (exp (* y (/ x a)))
  (* (* (* y y) y) (/ (* (* x x) x) (* (* a a) a)))
  (* (* (* y y) y) (* (* (/ x a) (/ x a)) (/ x a)))
  (* (cbrt (* y (/ x a))) (cbrt (* y (/ x a))))
  (cbrt (* y (/ x a)))
  (* (* (* y (/ x a)) (* y (/ x a))) (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* y (* (cbrt (/ x a)) (cbrt (/ x a))))
  (* y (sqrt (/ x a)))
  (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt a) (cbrt a))))
  (* y (/ (* (cbrt x) (cbrt x)) (sqrt a)))
  (* y (/ (* (cbrt x) (cbrt x)) 1))
  (* y (/ (sqrt x) (* (cbrt a) (cbrt a))))
  (* y (/ (sqrt x) (sqrt a)))
  (* y (/ (sqrt x) 1))
  (* y (/ 1 (* (cbrt a) (cbrt a))))
  (* y (/ 1 (sqrt a)))
  (* y (/ 1 1))
  (* y 1)
  (* y x)
  (* (cbrt y) (/ x a))
  (* (sqrt y) (/ x a))
  (* y (/ x a))
  (* y x)
  (* 4.5 (/ t a))
  (+ (log 4.5) (- (log t) (log a)))
  (+ (log 4.5) (log (/ t a)))
  (log (* 4.5 (/ t a)))
  (exp (* 4.5 (/ t a)))
  (* (* (* 4.5 4.5) 4.5) (/ (* (* t t) t) (* (* a a) a)))
  (* (* (* 4.5 4.5) 4.5) (* (* (/ t a) (/ t a)) (/ t a)))
  (* (cbrt (* 4.5 (/ t a))) (cbrt (* 4.5 (/ t a))))
  (cbrt (* 4.5 (/ t a)))
  (* (* (* 4.5 (/ t a)) (* 4.5 (/ t a))) (* 4.5 (/ t a)))
  (sqrt (* 4.5 (/ t a)))
  (sqrt (* 4.5 (/ t a)))
  (* (sqrt 4.5) (sqrt (/ t a)))
  (* (sqrt 4.5) (sqrt (/ t a)))
  (* (sqrt 4.5) (/ (sqrt t) (sqrt a)))
  (* (sqrt 4.5) (/ (sqrt t) (sqrt a)))
  (* 4.5 (* (cbrt (/ t a)) (cbrt (/ t a))))
  (* 4.5 (sqrt (/ t a)))
  (* 4.5 (/ (* (cbrt t) (cbrt t)) (* (cbrt a) (cbrt a))))
  (* 4.5 (/ (* (cbrt t) (cbrt t)) (sqrt a)))
  (* 4.5 (/ (* (cbrt t) (cbrt t)) 1))
  (* 4.5 (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* 4.5 (/ (sqrt t) (sqrt a)))
  (* 4.5 (/ (sqrt t) 1))
  (* 4.5 (/ 1 (* (cbrt a) (cbrt a))))
  (* 4.5 (/ 1 (sqrt a)))
  (* 4.5 (/ 1 1))
  (* 4.5 1)
  (* 4.5 t)
  (* (cbrt 4.5) (/ t a))
  (* (sqrt 4.5) (/ t a))
  (* 4.5 (/ t a))
  (* 4.5 t)
  (/ (exp (* 0.5 (* y (/ x a)))) (exp (* z (* 4.5 (/ t a)))))
  (log (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))
  (exp (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))
  (* (cbrt (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a))))) (cbrt (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a))))))
  (cbrt (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))
  (* (* (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a))))) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))
  (sqrt (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))
  (sqrt (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))
  (- (* 0.5 (* y x)) (* z (* 4.5 t)))
  (- (* (* 0.5 (* y x)) a) (* a (* z (* 4.5 t))))
  (* a a)
  (- (pow (* 0.5 (* y (/ x a))) 3) (pow (* z (* 4.5 (/ t a))) 3))
  (+ (* (* 0.5 (* y (/ x a))) (* 0.5 (* y (/ x a)))) (+ (* (* z (* 4.5 (/ t a))) (* z (* 4.5 (/ t a)))) (* (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a))))))
  (neg (* z (* 4.5 (/ t a))))
  (- (* (* 0.5 (* y (/ x a))) (* 0.5 (* y (/ x a)))) (* (* z (* 4.5 (/ t a))) (* z (* 4.5 (/ t a)))))
  (+ (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a))))
  (neg (* z (* 4.5 (/ t a))))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (* 4.5 (/ t a))
  (* 4.5 (/ t a))
  (* 4.5 (/ t 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)))
0.692 * * [simplify]: iteration  0 :  5021  enodes  (cost  981 )
0.696 * [simplify]: Simplified to:
   (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (pow (pow (exp 4.5) (/ t a)) z)
  (pow (* z (* 4.5 (/ t a))) 3)
  (pow (* z (* 4.5 (/ t a))) 3)
  (pow (* z (* 4.5 (/ t a))) 3)
  (* (cbrt (* z (* 4.5 (/ t a)))) (cbrt (* z (* 4.5 (/ t a)))))
  (cbrt (* z (* 4.5 (/ t a))))
  (pow (* z (* 4.5 (/ t a))) 3)
  (sqrt (* z (* 4.5 (/ t a))))
  (sqrt (* z (* 4.5 (/ t a))))
  (* z 4.5)
  (* 4.5 (* (/ t a) (cbrt z)))
  (* 4.5 (* (/ t a) (sqrt z)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 t))
  (* y (/ x a))
  (log (* y (/ x a)))
  (log (* y (/ x a)))
  (log (* y (/ x a)))
  (pow (exp y) (/ x a))
  (pow (* y (/ x a)) 3)
  (pow (* y (/ x a)) 3)
  (* (cbrt (* y (/ x a))) (cbrt (* y (/ x a))))
  (cbrt (* y (/ x a)))
  (pow (* y (/ x a)) 3)
  (sqrt (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* y (* (cbrt (/ x a)) (cbrt (/ x a))))
  (* y (sqrt (/ x a)))
  (* y (* (/ (cbrt x) (cbrt a)) (/ (cbrt x) (cbrt a))))
  (* y (* (/ (cbrt x) (sqrt a)) (cbrt x)))
  (* y (* (cbrt x) (cbrt x)))
  (* y (/ (sqrt x) (* (cbrt a) (cbrt a))))
  (* y (/ (sqrt x) (sqrt a)))
  (* y (sqrt x))
  (/ y (* (cbrt a) (cbrt a)))
  (/ y (sqrt a))
  y
  y
  (* y x)
  (* (/ x a) (cbrt y))
  (* (/ x a) (sqrt y))
  (* y (/ x a))
  (* y x)
  (* 4.5 (/ t a))
  (log (* 4.5 (/ t a)))
  (log (* 4.5 (/ t a)))
  (log (* 4.5 (/ t a)))
  (pow (exp 4.5) (/ t a))
  (pow (* 4.5 (/ t a)) 3)
  (pow (* 4.5 (/ t a)) 3)
  (* (cbrt (* 4.5 (/ t a))) (cbrt (* 4.5 (/ t a))))
  (cbrt (* 4.5 (/ t a)))
  (pow (* 4.5 (/ t a)) 3)
  (sqrt (* 4.5 (/ t a)))
  (sqrt (* 4.5 (/ t a)))
  (* (sqrt 4.5) (sqrt (/ t a)))
  (* (sqrt 4.5) (sqrt (/ t a)))
  (* (sqrt 4.5) (/ (sqrt t) (sqrt a)))
  (* (sqrt 4.5) (/ (sqrt t) (sqrt a)))
  (* 4.5 (* (cbrt (/ t a)) (cbrt (/ t a))))
  (* 4.5 (sqrt (/ t a)))
  (* 4.5 (* (/ (cbrt t) (cbrt a)) (/ (cbrt t) (cbrt a))))
  (* 4.5 (* (/ (cbrt t) (sqrt a)) (cbrt t)))
  (* 4.5 (* (cbrt t) (cbrt t)))
  (* 4.5 (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* 4.5 (/ (sqrt t) (sqrt a)))
  (* 4.5 (sqrt t))
  (/ 4.5 (* (cbrt a) (cbrt a)))
  (/ 4.5 (sqrt a))
  4.5
  4.5
  (* 4.5 t)
  (* (/ t a) (cbrt 4.5))
  (* (/ t a) (sqrt 4.5))
  (* 4.5 (/ t a))
  (* 4.5 t)
  (exp (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (log (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (exp (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (* (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))))
  (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (pow (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))) 3)
  (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (- (* y (* x 0.5)) (* z (* 4.5 t)))
  (* a (- (* y (* x 0.5)) (* z (* 4.5 t))))
  (* a a)
  (- (pow (* y (* (/ x a) 0.5)) 3) (pow (* z (* 4.5 (/ t a))) 3))
  (+ (* z (* 4.5 (* (/ t a) (* z (* 4.5 (/ t a)))))) (* (* y (* (/ x a) 0.5)) (+ (* z (* 4.5 (/ t a))) (* y (* (/ x a) 0.5)))))
  (* z (* 4.5 (/ (neg t) a)))
  (- (* (* y (/ x a)) (* (* y (/ x a)) (* 0.5 0.5))) (* z (* 4.5 (* (/ t a) (* z (* 4.5 (/ t a)))))))
  (+ (* z (* 4.5 (/ t a))) (* y (* (/ x a) 0.5)))
  (* z (* 4.5 (/ (neg t) a)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (* y (/ x a))
  (* y (/ x a))
  (* y (/ x a))
  (* 4.5 (/ t a))
  (* 4.5 (/ t a))
  (* 4.5 (/ t a))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
0.696 * * * [progress]: adding candidates to table
0.798 * * [progress]: iteration 4 / 4
0.798 * * * [progress]: picking best candidate
0.834 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))))>
0.834 * * * [progress]: localizing error
0.845 * * * [progress]: generating rewritten candidates
0.845 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.853 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.860 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.865 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.875 * * * [progress]: generating series expansions
0.875 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.875 * [approximate]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in (z t a) around 0
0.875 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.876 * [taylor]: Taking taylor expansion of 4.5 in a
0.876 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.876 * [taylor]: Taking taylor expansion of (* t z) in a
0.876 * [taylor]: Taking taylor expansion of t in a
0.876 * [taylor]: Taking taylor expansion of z in a
0.876 * [taylor]: Taking taylor expansion of a in a
0.876 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
0.876 * [taylor]: Taking taylor expansion of 4.5 in t
0.876 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.876 * [taylor]: Taking taylor expansion of (* t z) in t
0.876 * [taylor]: Taking taylor expansion of t in t
0.876 * [taylor]: Taking taylor expansion of z in t
0.876 * [taylor]: Taking taylor expansion of a in t
0.876 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.876 * [taylor]: Taking taylor expansion of 4.5 in z
0.876 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.876 * [taylor]: Taking taylor expansion of (* t z) in z
0.876 * [taylor]: Taking taylor expansion of t in z
0.876 * [taylor]: Taking taylor expansion of z in z
0.876 * [taylor]: Taking taylor expansion of a in z
0.876 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.876 * [taylor]: Taking taylor expansion of 4.5 in z
0.876 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.876 * [taylor]: Taking taylor expansion of (* t z) in z
0.876 * [taylor]: Taking taylor expansion of t in z
0.876 * [taylor]: Taking taylor expansion of z in z
0.876 * [taylor]: Taking taylor expansion of a in z
0.876 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
0.876 * [taylor]: Taking taylor expansion of 4.5 in t
0.876 * [taylor]: Taking taylor expansion of (/ t a) in t
0.876 * [taylor]: Taking taylor expansion of t in t
0.876 * [taylor]: Taking taylor expansion of a in t
0.876 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
0.877 * [taylor]: Taking taylor expansion of 4.5 in a
0.877 * [taylor]: Taking taylor expansion of a in a
0.877 * [taylor]: Taking taylor expansion of 0 in t
0.877 * [taylor]: Taking taylor expansion of 0 in a
0.877 * [taylor]: Taking taylor expansion of 0 in a
0.877 * [taylor]: Taking taylor expansion of 0 in t
0.877 * [taylor]: Taking taylor expansion of 0 in a
0.877 * [taylor]: Taking taylor expansion of 0 in a
0.877 * [taylor]: Taking taylor expansion of 0 in a
0.878 * [taylor]: Taking taylor expansion of 0 in t
0.878 * [taylor]: Taking taylor expansion of 0 in a
0.878 * [taylor]: Taking taylor expansion of 0 in a
0.878 * [taylor]: Taking taylor expansion of 0 in a
0.878 * [taylor]: Taking taylor expansion of 0 in a
0.878 * [approximate]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in (z t a) around 0
0.878 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.878 * [taylor]: Taking taylor expansion of 4.5 in a
0.878 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.878 * [taylor]: Taking taylor expansion of a in a
0.878 * [taylor]: Taking taylor expansion of (* z t) in a
0.878 * [taylor]: Taking taylor expansion of z in a
0.879 * [taylor]: Taking taylor expansion of t in a
0.879 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.879 * [taylor]: Taking taylor expansion of 4.5 in t
0.879 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.879 * [taylor]: Taking taylor expansion of a in t
0.879 * [taylor]: Taking taylor expansion of (* z t) in t
0.879 * [taylor]: Taking taylor expansion of z in t
0.879 * [taylor]: Taking taylor expansion of t in t
0.879 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.879 * [taylor]: Taking taylor expansion of 4.5 in z
0.879 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.879 * [taylor]: Taking taylor expansion of a in z
0.879 * [taylor]: Taking taylor expansion of (* z t) in z
0.879 * [taylor]: Taking taylor expansion of z in z
0.879 * [taylor]: Taking taylor expansion of t in z
0.879 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.879 * [taylor]: Taking taylor expansion of 4.5 in z
0.879 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.879 * [taylor]: Taking taylor expansion of a in z
0.879 * [taylor]: Taking taylor expansion of (* z t) in z
0.879 * [taylor]: Taking taylor expansion of z in z
0.879 * [taylor]: Taking taylor expansion of t in z
0.879 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.879 * [taylor]: Taking taylor expansion of 4.5 in t
0.879 * [taylor]: Taking taylor expansion of (/ a t) in t
0.879 * [taylor]: Taking taylor expansion of a in t
0.879 * [taylor]: Taking taylor expansion of t in t
0.879 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.879 * [taylor]: Taking taylor expansion of 4.5 in a
0.879 * [taylor]: Taking taylor expansion of a in a
0.880 * [taylor]: Taking taylor expansion of 0 in t
0.880 * [taylor]: Taking taylor expansion of 0 in a
0.880 * [taylor]: Taking taylor expansion of 0 in t
0.880 * [taylor]: Taking taylor expansion of 0 in a
0.880 * [taylor]: Taking taylor expansion of 0 in a
0.881 * [approximate]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in (z t a) around 0
0.881 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in a
0.881 * [taylor]: Taking taylor expansion of -4.5 in a
0.881 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.881 * [taylor]: Taking taylor expansion of a in a
0.881 * [taylor]: Taking taylor expansion of (* z t) in a
0.881 * [taylor]: Taking taylor expansion of z in a
0.881 * [taylor]: Taking taylor expansion of t in a
0.881 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
0.881 * [taylor]: Taking taylor expansion of -4.5 in t
0.881 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.881 * [taylor]: Taking taylor expansion of a in t
0.881 * [taylor]: Taking taylor expansion of (* z t) in t
0.881 * [taylor]: Taking taylor expansion of z in t
0.881 * [taylor]: Taking taylor expansion of t in t
0.881 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
0.881 * [taylor]: Taking taylor expansion of -4.5 in z
0.881 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.881 * [taylor]: Taking taylor expansion of a in z
0.881 * [taylor]: Taking taylor expansion of (* z t) in z
0.881 * [taylor]: Taking taylor expansion of z in z
0.881 * [taylor]: Taking taylor expansion of t in z
0.881 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
0.881 * [taylor]: Taking taylor expansion of -4.5 in z
0.881 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.881 * [taylor]: Taking taylor expansion of a in z
0.881 * [taylor]: Taking taylor expansion of (* z t) in z
0.881 * [taylor]: Taking taylor expansion of z in z
0.881 * [taylor]: Taking taylor expansion of t in z
0.881 * [taylor]: Taking taylor expansion of (* -4.5 (/ a t)) in t
0.881 * [taylor]: Taking taylor expansion of -4.5 in t
0.881 * [taylor]: Taking taylor expansion of (/ a t) in t
0.881 * [taylor]: Taking taylor expansion of a in t
0.881 * [taylor]: Taking taylor expansion of t in t
0.881 * [taylor]: Taking taylor expansion of (* -4.5 a) in a
0.881 * [taylor]: Taking taylor expansion of -4.5 in a
0.881 * [taylor]: Taking taylor expansion of a in a
0.882 * [taylor]: Taking taylor expansion of 0 in t
0.882 * [taylor]: Taking taylor expansion of 0 in a
0.882 * [taylor]: Taking taylor expansion of 0 in t
0.882 * [taylor]: Taking taylor expansion of 0 in a
0.882 * [taylor]: Taking taylor expansion of 0 in a
0.882 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.882 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (y x a) around 0
0.883 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.883 * [taylor]: Taking taylor expansion of (* x y) in a
0.883 * [taylor]: Taking taylor expansion of x in a
0.883 * [taylor]: Taking taylor expansion of y in a
0.883 * [taylor]: Taking taylor expansion of a in a
0.883 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.883 * [taylor]: Taking taylor expansion of (* x y) in x
0.883 * [taylor]: Taking taylor expansion of x in x
0.883 * [taylor]: Taking taylor expansion of y in x
0.883 * [taylor]: Taking taylor expansion of a in x
0.883 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.883 * [taylor]: Taking taylor expansion of (* x y) in y
0.883 * [taylor]: Taking taylor expansion of x in y
0.883 * [taylor]: Taking taylor expansion of y in y
0.883 * [taylor]: Taking taylor expansion of a in y
0.883 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.883 * [taylor]: Taking taylor expansion of (* x y) in y
0.883 * [taylor]: Taking taylor expansion of x in y
0.883 * [taylor]: Taking taylor expansion of y in y
0.883 * [taylor]: Taking taylor expansion of a in y
0.883 * [taylor]: Taking taylor expansion of (/ x a) in x
0.883 * [taylor]: Taking taylor expansion of x in x
0.883 * [taylor]: Taking taylor expansion of a in x
0.883 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.883 * [taylor]: Taking taylor expansion of a in a
0.883 * [taylor]: Taking taylor expansion of 0 in x
0.883 * [taylor]: Taking taylor expansion of 0 in a
0.883 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [taylor]: Taking taylor expansion of 0 in x
0.884 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [taylor]: Taking taylor expansion of 0 in x
0.884 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [taylor]: Taking taylor expansion of 0 in a
0.884 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (y x a) around 0
0.884 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.885 * [taylor]: Taking taylor expansion of a in a
0.885 * [taylor]: Taking taylor expansion of (* x y) in a
0.885 * [taylor]: Taking taylor expansion of x in a
0.885 * [taylor]: Taking taylor expansion of y in a
0.885 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.885 * [taylor]: Taking taylor expansion of a in x
0.885 * [taylor]: Taking taylor expansion of (* x y) in x
0.885 * [taylor]: Taking taylor expansion of x in x
0.885 * [taylor]: Taking taylor expansion of y in x
0.885 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.885 * [taylor]: Taking taylor expansion of a in y
0.885 * [taylor]: Taking taylor expansion of (* x y) in y
0.885 * [taylor]: Taking taylor expansion of x in y
0.885 * [taylor]: Taking taylor expansion of y in y
0.885 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.885 * [taylor]: Taking taylor expansion of a in y
0.885 * [taylor]: Taking taylor expansion of (* x y) in y
0.885 * [taylor]: Taking taylor expansion of x in y
0.885 * [taylor]: Taking taylor expansion of y in y
0.885 * [taylor]: Taking taylor expansion of (/ a x) in x
0.885 * [taylor]: Taking taylor expansion of a in x
0.885 * [taylor]: Taking taylor expansion of x in x
0.885 * [taylor]: Taking taylor expansion of a in a
0.885 * [taylor]: Taking taylor expansion of 0 in x
0.885 * [taylor]: Taking taylor expansion of 0 in a
0.886 * [taylor]: Taking taylor expansion of 0 in x
0.886 * [taylor]: Taking taylor expansion of 0 in a
0.886 * [taylor]: Taking taylor expansion of 0 in a
0.886 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (y x a) around 0
0.886 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a
0.886 * [taylor]: Taking taylor expansion of -1 in a
0.886 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.886 * [taylor]: Taking taylor expansion of a in a
0.886 * [taylor]: Taking taylor expansion of (* x y) in a
0.886 * [taylor]: Taking taylor expansion of x in a
0.886 * [taylor]: Taking taylor expansion of y in a
0.886 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x
0.886 * [taylor]: Taking taylor expansion of -1 in x
0.886 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.886 * [taylor]: Taking taylor expansion of a in x
0.886 * [taylor]: Taking taylor expansion of (* x y) in x
0.886 * [taylor]: Taking taylor expansion of x in x
0.886 * [taylor]: Taking taylor expansion of y in x
0.886 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.886 * [taylor]: Taking taylor expansion of -1 in y
0.886 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.886 * [taylor]: Taking taylor expansion of a in y
0.886 * [taylor]: Taking taylor expansion of (* x y) in y
0.886 * [taylor]: Taking taylor expansion of x in y
0.886 * [taylor]: Taking taylor expansion of y in y
0.886 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y
0.886 * [taylor]: Taking taylor expansion of -1 in y
0.886 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.887 * [taylor]: Taking taylor expansion of a in y
0.887 * [taylor]: Taking taylor expansion of (* x y) in y
0.887 * [taylor]: Taking taylor expansion of x in y
0.887 * [taylor]: Taking taylor expansion of y in y
0.887 * [taylor]: Taking taylor expansion of (* -1 (/ a x)) in x
0.887 * [taylor]: Taking taylor expansion of -1 in x
0.887 * [taylor]: Taking taylor expansion of (/ a x) in x
0.887 * [taylor]: Taking taylor expansion of a in x
0.887 * [taylor]: Taking taylor expansion of x in x
0.887 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.887 * [taylor]: Taking taylor expansion of -1 in a
0.887 * [taylor]: Taking taylor expansion of a in a
0.887 * [taylor]: Taking taylor expansion of 0 in x
0.887 * [taylor]: Taking taylor expansion of 0 in a
0.887 * [taylor]: Taking taylor expansion of 0 in x
0.887 * [taylor]: Taking taylor expansion of 0 in a
0.888 * [taylor]: Taking taylor expansion of 0 in a
0.888 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.888 * [approximate]: Taking taylor expansion of (* 4.5 (/ t a)) in (t a) around 0
0.888 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in a
0.888 * [taylor]: Taking taylor expansion of 4.5 in a
0.888 * [taylor]: Taking taylor expansion of (/ t a) in a
0.888 * [taylor]: Taking taylor expansion of t in a
0.888 * [taylor]: Taking taylor expansion of a in a
0.888 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
0.888 * [taylor]: Taking taylor expansion of 4.5 in t
0.888 * [taylor]: Taking taylor expansion of (/ t a) in t
0.888 * [taylor]: Taking taylor expansion of t in t
0.888 * [taylor]: Taking taylor expansion of a in t
0.888 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
0.888 * [taylor]: Taking taylor expansion of 4.5 in t
0.888 * [taylor]: Taking taylor expansion of (/ t a) in t
0.888 * [taylor]: Taking taylor expansion of t in t
0.888 * [taylor]: Taking taylor expansion of a in t
0.888 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
0.888 * [taylor]: Taking taylor expansion of 4.5 in a
0.888 * [taylor]: Taking taylor expansion of a in a
0.888 * [taylor]: Taking taylor expansion of 0 in a
0.889 * [taylor]: Taking taylor expansion of 0 in a
0.889 * [taylor]: Taking taylor expansion of 0 in a
0.889 * [approximate]: Taking taylor expansion of (* 4.5 (/ a t)) in (t a) around 0
0.889 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in a
0.889 * [taylor]: Taking taylor expansion of 4.5 in a
0.889 * [taylor]: Taking taylor expansion of (/ a t) in a
0.889 * [taylor]: Taking taylor expansion of a in a
0.889 * [taylor]: Taking taylor expansion of t in a
0.889 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.889 * [taylor]: Taking taylor expansion of 4.5 in t
0.889 * [taylor]: Taking taylor expansion of (/ a t) in t
0.889 * [taylor]: Taking taylor expansion of a in t
0.889 * [taylor]: Taking taylor expansion of t in t
0.889 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.889 * [taylor]: Taking taylor expansion of 4.5 in t
0.889 * [taylor]: Taking taylor expansion of (/ a t) in t
0.889 * [taylor]: Taking taylor expansion of a in t
0.889 * [taylor]: Taking taylor expansion of t in t
0.889 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.889 * [taylor]: Taking taylor expansion of 4.5 in a
0.890 * [taylor]: Taking taylor expansion of a in a
0.890 * [taylor]: Taking taylor expansion of 0 in a
0.890 * [taylor]: Taking taylor expansion of 0 in a
0.890 * [taylor]: Taking taylor expansion of 0 in a
0.890 * [approximate]: Taking taylor expansion of (* 4.5 (/ a t)) in (t a) around 0
0.890 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in a
0.890 * [taylor]: Taking taylor expansion of 4.5 in a
0.890 * [taylor]: Taking taylor expansion of (/ a t) in a
0.890 * [taylor]: Taking taylor expansion of a in a
0.890 * [taylor]: Taking taylor expansion of t in a
0.890 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.890 * [taylor]: Taking taylor expansion of 4.5 in t
0.890 * [taylor]: Taking taylor expansion of (/ a t) in t
0.890 * [taylor]: Taking taylor expansion of a in t
0.890 * [taylor]: Taking taylor expansion of t in t
0.890 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.890 * [taylor]: Taking taylor expansion of 4.5 in t
0.890 * [taylor]: Taking taylor expansion of (/ a t) in t
0.890 * [taylor]: Taking taylor expansion of a in t
0.890 * [taylor]: Taking taylor expansion of t in t
0.891 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.891 * [taylor]: Taking taylor expansion of 4.5 in a
0.891 * [taylor]: Taking taylor expansion of a in a
0.891 * [taylor]: Taking taylor expansion of 0 in a
0.891 * [taylor]: Taking taylor expansion of 0 in a
0.891 * [taylor]: Taking taylor expansion of 0 in a
0.891 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.891 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in (y x a z t) around 0
0.891 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in t
0.891 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in t
0.891 * [taylor]: Taking taylor expansion of 0.5 in t
0.892 * [taylor]: Taking taylor expansion of (/ (* x y) a) in t
0.892 * [taylor]: Taking taylor expansion of (* x y) in t
0.892 * [taylor]: Taking taylor expansion of x in t
0.892 * [taylor]: Taking taylor expansion of y in t
0.892 * [taylor]: Taking taylor expansion of a in t
0.892 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
0.892 * [taylor]: Taking taylor expansion of 4.5 in t
0.892 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
0.892 * [taylor]: Taking taylor expansion of (* t z) in t
0.892 * [taylor]: Taking taylor expansion of t in t
0.892 * [taylor]: Taking taylor expansion of z in t
0.892 * [taylor]: Taking taylor expansion of a in t
0.892 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in z
0.892 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in z
0.892 * [taylor]: Taking taylor expansion of 0.5 in z
0.892 * [taylor]: Taking taylor expansion of (/ (* x y) a) in z
0.892 * [taylor]: Taking taylor expansion of (* x y) in z
0.892 * [taylor]: Taking taylor expansion of x in z
0.892 * [taylor]: Taking taylor expansion of y in z
0.892 * [taylor]: Taking taylor expansion of a in z
0.892 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
0.892 * [taylor]: Taking taylor expansion of 4.5 in z
0.892 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.892 * [taylor]: Taking taylor expansion of (* t z) in z
0.892 * [taylor]: Taking taylor expansion of t in z
0.892 * [taylor]: Taking taylor expansion of z in z
0.892 * [taylor]: Taking taylor expansion of a in z
0.892 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in a
0.892 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in a
0.892 * [taylor]: Taking taylor expansion of 0.5 in a
0.892 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
0.892 * [taylor]: Taking taylor expansion of (* x y) in a
0.892 * [taylor]: Taking taylor expansion of x in a
0.892 * [taylor]: Taking taylor expansion of y in a
0.892 * [taylor]: Taking taylor expansion of a in a
0.892 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.892 * [taylor]: Taking taylor expansion of 4.5 in a
0.892 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.892 * [taylor]: Taking taylor expansion of (* t z) in a
0.892 * [taylor]: Taking taylor expansion of t in a
0.892 * [taylor]: Taking taylor expansion of z in a
0.893 * [taylor]: Taking taylor expansion of a in a
0.893 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in x
0.893 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
0.893 * [taylor]: Taking taylor expansion of 0.5 in x
0.893 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
0.893 * [taylor]: Taking taylor expansion of (* x y) in x
0.893 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of y in x
0.893 * [taylor]: Taking taylor expansion of a in x
0.893 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
0.893 * [taylor]: Taking taylor expansion of 4.5 in x
0.893 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
0.893 * [taylor]: Taking taylor expansion of (* t z) in x
0.893 * [taylor]: Taking taylor expansion of t in x
0.893 * [taylor]: Taking taylor expansion of z in x
0.893 * [taylor]: Taking taylor expansion of a in x
0.893 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
0.893 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
0.893 * [taylor]: Taking taylor expansion of 0.5 in y
0.893 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.893 * [taylor]: Taking taylor expansion of (* x y) in y
0.893 * [taylor]: Taking taylor expansion of x in y
0.893 * [taylor]: Taking taylor expansion of y in y
0.893 * [taylor]: Taking taylor expansion of a in y
0.893 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
0.893 * [taylor]: Taking taylor expansion of 4.5 in y
0.893 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.893 * [taylor]: Taking taylor expansion of (* t z) in y
0.893 * [taylor]: Taking taylor expansion of t in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of a in y
0.894 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) in y
0.894 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
0.894 * [taylor]: Taking taylor expansion of 0.5 in y
0.894 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
0.894 * [taylor]: Taking taylor expansion of (* x y) in y
0.894 * [taylor]: Taking taylor expansion of x in y
0.894 * [taylor]: Taking taylor expansion of y in y
0.894 * [taylor]: Taking taylor expansion of a in y
0.894 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in y
0.894 * [taylor]: Taking taylor expansion of 4.5 in y
0.894 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.894 * [taylor]: Taking taylor expansion of (* t z) in y
0.894 * [taylor]: Taking taylor expansion of t in y
0.894 * [taylor]: Taking taylor expansion of z in y
0.894 * [taylor]: Taking taylor expansion of a in y
0.894 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in x
0.894 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in x
0.894 * [taylor]: Taking taylor expansion of 4.5 in x
0.894 * [taylor]: Taking taylor expansion of (/ (* t z) a) in x
0.894 * [taylor]: Taking taylor expansion of (* t z) in x
0.894 * [taylor]: Taking taylor expansion of t in x
0.894 * [taylor]: Taking taylor expansion of z in x
0.894 * [taylor]: Taking taylor expansion of a in x
0.894 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ (* t z) a))) in a
0.894 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
0.894 * [taylor]: Taking taylor expansion of 4.5 in a
0.894 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
0.895 * [taylor]: Taking taylor expansion of (* t z) in a
0.895 * [taylor]: Taking taylor expansion of t in a
0.895 * [taylor]: Taking taylor expansion of z in a
0.895 * [taylor]: Taking taylor expansion of a in a
0.895 * [taylor]: Taking taylor expansion of (neg (* 4.5 (* t z))) in z
0.895 * [taylor]: Taking taylor expansion of (* 4.5 (* t z)) in z
0.895 * [taylor]: Taking taylor expansion of 4.5 in z
0.895 * [taylor]: Taking taylor expansion of (* t z) in z
0.895 * [taylor]: Taking taylor expansion of t in z
0.895 * [taylor]: Taking taylor expansion of z in z
0.895 * [taylor]: Taking taylor expansion of 0 in t
0.895 * [taylor]: Taking taylor expansion of (* 0.5 (/ x a)) in x
0.895 * [taylor]: Taking taylor expansion of 0.5 in x
0.895 * [taylor]: Taking taylor expansion of (/ x a) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of a in x
0.895 * [taylor]: Taking taylor expansion of 0 in a
0.896 * [taylor]: Taking taylor expansion of 0 in z
0.896 * [taylor]: Taking taylor expansion of 0 in t
0.896 * [taylor]: Taking taylor expansion of (neg (* 4.5 t)) in t
0.896 * [taylor]: Taking taylor expansion of (* 4.5 t) in t
0.896 * [taylor]: Taking taylor expansion of 4.5 in t
0.896 * [taylor]: Taking taylor expansion of t in t
0.896 * [taylor]: Taking taylor expansion of 0 in x
0.896 * [taylor]: Taking taylor expansion of 0 in a
0.896 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
0.896 * [taylor]: Taking taylor expansion of 0.5 in a
0.896 * [taylor]: Taking taylor expansion of a in a
0.896 * [taylor]: Taking taylor expansion of 0.5 in z
0.896 * [taylor]: Taking taylor expansion of 0.5 in t
0.897 * [taylor]: Taking taylor expansion of 0 in a
0.897 * [taylor]: Taking taylor expansion of 0 in z
0.897 * [taylor]: Taking taylor expansion of 0 in t
0.897 * [taylor]: Taking taylor expansion of 0 in z
0.897 * [taylor]: Taking taylor expansion of 0 in t
0.897 * [taylor]: Taking taylor expansion of 0 in t
0.897 * [taylor]: Taking taylor expansion of 0 in t
0.897 * [taylor]: Taking taylor expansion of 0 in x
0.898 * [taylor]: Taking taylor expansion of 0 in a
0.898 * [taylor]: Taking taylor expansion of 0 in a
0.898 * [taylor]: Taking taylor expansion of 0 in a
0.898 * [taylor]: Taking taylor expansion of 0 in a
0.898 * [taylor]: Taking taylor expansion of 0 in z
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.898 * [taylor]: Taking taylor expansion of 0 in z
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.898 * [taylor]: Taking taylor expansion of 0 in z
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.898 * [taylor]: Taking taylor expansion of 0 in z
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.898 * [taylor]: Taking taylor expansion of 0 in z
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.899 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in (y x a z t) around 0
0.899 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in t
0.899 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
0.899 * [taylor]: Taking taylor expansion of 0.5 in t
0.899 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
0.899 * [taylor]: Taking taylor expansion of a in t
0.899 * [taylor]: Taking taylor expansion of (* x y) in t
0.899 * [taylor]: Taking taylor expansion of x in t
0.899 * [taylor]: Taking taylor expansion of y in t
0.899 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.899 * [taylor]: Taking taylor expansion of 4.5 in t
0.899 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.899 * [taylor]: Taking taylor expansion of a in t
0.899 * [taylor]: Taking taylor expansion of (* z t) in t
0.899 * [taylor]: Taking taylor expansion of z in t
0.899 * [taylor]: Taking taylor expansion of t in t
0.899 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in z
0.899 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
0.899 * [taylor]: Taking taylor expansion of 0.5 in z
0.899 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
0.899 * [taylor]: Taking taylor expansion of a in z
0.899 * [taylor]: Taking taylor expansion of (* x y) in z
0.899 * [taylor]: Taking taylor expansion of x in z
0.899 * [taylor]: Taking taylor expansion of y in z
0.900 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.900 * [taylor]: Taking taylor expansion of 4.5 in z
0.900 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.900 * [taylor]: Taking taylor expansion of a in z
0.900 * [taylor]: Taking taylor expansion of (* z t) in z
0.900 * [taylor]: Taking taylor expansion of z in z
0.900 * [taylor]: Taking taylor expansion of t in z
0.900 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in a
0.900 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
0.900 * [taylor]: Taking taylor expansion of 0.5 in a
0.900 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.900 * [taylor]: Taking taylor expansion of a in a
0.900 * [taylor]: Taking taylor expansion of (* x y) in a
0.900 * [taylor]: Taking taylor expansion of x in a
0.900 * [taylor]: Taking taylor expansion of y in a
0.900 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.900 * [taylor]: Taking taylor expansion of 4.5 in a
0.900 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.900 * [taylor]: Taking taylor expansion of a in a
0.900 * [taylor]: Taking taylor expansion of (* z t) in a
0.900 * [taylor]: Taking taylor expansion of z in a
0.900 * [taylor]: Taking taylor expansion of t in a
0.900 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in x
0.900 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
0.900 * [taylor]: Taking taylor expansion of 0.5 in x
0.900 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.900 * [taylor]: Taking taylor expansion of a in x
0.900 * [taylor]: Taking taylor expansion of (* x y) in x
0.900 * [taylor]: Taking taylor expansion of x in x
0.900 * [taylor]: Taking taylor expansion of y in x
0.900 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.900 * [taylor]: Taking taylor expansion of 4.5 in x
0.900 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.900 * [taylor]: Taking taylor expansion of a in x
0.900 * [taylor]: Taking taylor expansion of (* z t) in x
0.900 * [taylor]: Taking taylor expansion of z in x
0.900 * [taylor]: Taking taylor expansion of t in x
0.900 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
0.900 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.900 * [taylor]: Taking taylor expansion of 0.5 in y
0.900 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.901 * [taylor]: Taking taylor expansion of a in y
0.901 * [taylor]: Taking taylor expansion of (* x y) in y
0.901 * [taylor]: Taking taylor expansion of x in y
0.901 * [taylor]: Taking taylor expansion of y in y
0.901 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.901 * [taylor]: Taking taylor expansion of 4.5 in y
0.901 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.901 * [taylor]: Taking taylor expansion of a in y
0.901 * [taylor]: Taking taylor expansion of (* z t) in y
0.901 * [taylor]: Taking taylor expansion of z in y
0.901 * [taylor]: Taking taylor expansion of t in y
0.901 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ a (* x y))) (* 4.5 (/ a (* z t)))) in y
0.901 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.901 * [taylor]: Taking taylor expansion of 0.5 in y
0.901 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.901 * [taylor]: Taking taylor expansion of a in y
0.901 * [taylor]: Taking taylor expansion of (* x y) in y
0.901 * [taylor]: Taking taylor expansion of x in y
0.901 * [taylor]: Taking taylor expansion of y in y
0.901 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.901 * [taylor]: Taking taylor expansion of 4.5 in y
0.901 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.901 * [taylor]: Taking taylor expansion of a in y
0.901 * [taylor]: Taking taylor expansion of (* z t) in y
0.901 * [taylor]: Taking taylor expansion of z in y
0.901 * [taylor]: Taking taylor expansion of t in y
0.901 * [taylor]: Taking taylor expansion of (* 0.5 (/ a x)) in x
0.901 * [taylor]: Taking taylor expansion of 0.5 in x
0.901 * [taylor]: Taking taylor expansion of (/ a x) in x
0.901 * [taylor]: Taking taylor expansion of a in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.901 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.901 * [taylor]: Taking taylor expansion of 0.5 in a
0.901 * [taylor]: Taking taylor expansion of a in a
0.902 * [taylor]: Taking taylor expansion of 0.5 in z
0.902 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in x
0.902 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.902 * [taylor]: Taking taylor expansion of 4.5 in x
0.902 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.902 * [taylor]: Taking taylor expansion of a in x
0.902 * [taylor]: Taking taylor expansion of (* z t) in x
0.902 * [taylor]: Taking taylor expansion of z in x
0.902 * [taylor]: Taking taylor expansion of t in x
0.902 * [taylor]: Taking taylor expansion of 0 in a
0.902 * [taylor]: Taking taylor expansion of 0 in z
0.902 * [taylor]: Taking taylor expansion of 0 in z
0.902 * [taylor]: Taking taylor expansion of 0.5 in t
0.903 * [taylor]: Taking taylor expansion of 0 in x
0.903 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in a
0.903 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.903 * [taylor]: Taking taylor expansion of 4.5 in a
0.903 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.903 * [taylor]: Taking taylor expansion of a in a
0.903 * [taylor]: Taking taylor expansion of (* z t) in a
0.903 * [taylor]: Taking taylor expansion of z in a
0.903 * [taylor]: Taking taylor expansion of t in a
0.903 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 (* t z)))) in z
0.903 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 (* t z))) in z
0.903 * [taylor]: Taking taylor expansion of 4.5 in z
0.903 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.903 * [taylor]: Taking taylor expansion of (* t z) in z
0.903 * [taylor]: Taking taylor expansion of t in z
0.903 * [taylor]: Taking taylor expansion of z in z
0.903 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ 1 t))) in t
0.903 * [taylor]: Taking taylor expansion of (* 4.5 (/ 1 t)) in t
0.903 * [taylor]: Taking taylor expansion of 4.5 in t
0.903 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.903 * [taylor]: Taking taylor expansion of t in t
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * [taylor]: Taking taylor expansion of 0 in z
0.904 * [taylor]: Taking taylor expansion of 0 in z
0.904 * [taylor]: Taking taylor expansion of 0 in z
0.904 * [taylor]: Taking taylor expansion of 0 in t
0.904 * [taylor]: Taking taylor expansion of 0 in t
0.904 * [taylor]: Taking taylor expansion of 0 in t
0.904 * [taylor]: Taking taylor expansion of 0 in x
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.904 * [taylor]: Taking taylor expansion of 0 in z
0.904 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in a
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in t
0.905 * [taylor]: Taking taylor expansion of 0 in t
0.905 * [taylor]: Taking taylor expansion of 0 in t
0.905 * [taylor]: Taking taylor expansion of 0 in t
0.905 * [taylor]: Taking taylor expansion of 0 in t
0.905 * [taylor]: Taking taylor expansion of 0 in t
0.905 * [taylor]: Taking taylor expansion of 0 in t
0.906 * [taylor]: Taking taylor expansion of 0 in x
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in z
0.906 * [taylor]: Taking taylor expansion of 0 in a
0.906 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in a
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in a
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.910 * [taylor]: Taking taylor expansion of 0 in z
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.911 * [approximate]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in (y x a z t) around 0
0.911 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in t
0.911 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
0.911 * [taylor]: Taking taylor expansion of 4.5 in t
0.911 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
0.911 * [taylor]: Taking taylor expansion of a in t
0.911 * [taylor]: Taking taylor expansion of (* z t) in t
0.911 * [taylor]: Taking taylor expansion of z in t
0.911 * [taylor]: Taking taylor expansion of t in t
0.911 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in t
0.911 * [taylor]: Taking taylor expansion of 0.5 in t
0.911 * [taylor]: Taking taylor expansion of (/ a (* x y)) in t
0.911 * [taylor]: Taking taylor expansion of a in t
0.911 * [taylor]: Taking taylor expansion of (* x y) in t
0.911 * [taylor]: Taking taylor expansion of x in t
0.911 * [taylor]: Taking taylor expansion of y in t
0.911 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in z
0.911 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.911 * [taylor]: Taking taylor expansion of 4.5 in z
0.911 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.911 * [taylor]: Taking taylor expansion of a in z
0.911 * [taylor]: Taking taylor expansion of (* z t) in z
0.911 * [taylor]: Taking taylor expansion of z in z
0.911 * [taylor]: Taking taylor expansion of t in z
0.911 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in z
0.911 * [taylor]: Taking taylor expansion of 0.5 in z
0.911 * [taylor]: Taking taylor expansion of (/ a (* x y)) in z
0.911 * [taylor]: Taking taylor expansion of a in z
0.911 * [taylor]: Taking taylor expansion of (* x y) in z
0.911 * [taylor]: Taking taylor expansion of x in z
0.912 * [taylor]: Taking taylor expansion of y in z
0.912 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in a
0.912 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.912 * [taylor]: Taking taylor expansion of 4.5 in a
0.912 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.912 * [taylor]: Taking taylor expansion of a in a
0.912 * [taylor]: Taking taylor expansion of (* z t) in a
0.912 * [taylor]: Taking taylor expansion of z in a
0.912 * [taylor]: Taking taylor expansion of t in a
0.912 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
0.912 * [taylor]: Taking taylor expansion of 0.5 in a
0.912 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
0.912 * [taylor]: Taking taylor expansion of a in a
0.912 * [taylor]: Taking taylor expansion of (* x y) in a
0.912 * [taylor]: Taking taylor expansion of x in a
0.912 * [taylor]: Taking taylor expansion of y in a
0.912 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in x
0.912 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.912 * [taylor]: Taking taylor expansion of 4.5 in x
0.912 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.912 * [taylor]: Taking taylor expansion of a in x
0.912 * [taylor]: Taking taylor expansion of (* z t) in x
0.912 * [taylor]: Taking taylor expansion of z in x
0.912 * [taylor]: Taking taylor expansion of t in x
0.912 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
0.912 * [taylor]: Taking taylor expansion of 0.5 in x
0.912 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
0.912 * [taylor]: Taking taylor expansion of a in x
0.912 * [taylor]: Taking taylor expansion of (* x y) in x
0.912 * [taylor]: Taking taylor expansion of x in x
0.912 * [taylor]: Taking taylor expansion of y in x
0.912 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
0.912 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.912 * [taylor]: Taking taylor expansion of 4.5 in y
0.912 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.912 * [taylor]: Taking taylor expansion of a in y
0.912 * [taylor]: Taking taylor expansion of (* z t) in y
0.912 * [taylor]: Taking taylor expansion of z in y
0.912 * [taylor]: Taking taylor expansion of t in y
0.913 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.913 * [taylor]: Taking taylor expansion of 0.5 in y
0.913 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.913 * [taylor]: Taking taylor expansion of a in y
0.913 * [taylor]: Taking taylor expansion of (* x y) in y
0.913 * [taylor]: Taking taylor expansion of x in y
0.913 * [taylor]: Taking taylor expansion of y in y
0.913 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t))) (* 0.5 (/ a (* x y)))) in y
0.913 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.913 * [taylor]: Taking taylor expansion of 4.5 in y
0.913 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.913 * [taylor]: Taking taylor expansion of a in y
0.913 * [taylor]: Taking taylor expansion of (* z t) in y
0.913 * [taylor]: Taking taylor expansion of z in y
0.913 * [taylor]: Taking taylor expansion of t in y
0.913 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
0.913 * [taylor]: Taking taylor expansion of 0.5 in y
0.913 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
0.913 * [taylor]: Taking taylor expansion of a in y
0.913 * [taylor]: Taking taylor expansion of (* x y) in y
0.913 * [taylor]: Taking taylor expansion of x in y
0.913 * [taylor]: Taking taylor expansion of y in y
0.913 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ a x))) in x
0.913 * [taylor]: Taking taylor expansion of (* 0.5 (/ a x)) in x
0.913 * [taylor]: Taking taylor expansion of 0.5 in x
0.913 * [taylor]: Taking taylor expansion of (/ a x) in x
0.913 * [taylor]: Taking taylor expansion of a in x
0.913 * [taylor]: Taking taylor expansion of x in x
0.913 * [taylor]: Taking taylor expansion of (neg (* 0.5 a)) in a
0.913 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.913 * [taylor]: Taking taylor expansion of 0.5 in a
0.913 * [taylor]: Taking taylor expansion of a in a
0.914 * [taylor]: Taking taylor expansion of (neg 0.5) in z
0.914 * [taylor]: Taking taylor expansion of 0.5 in z
0.914 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in x
0.914 * [taylor]: Taking taylor expansion of 4.5 in x
0.914 * [taylor]: Taking taylor expansion of (/ a (* z t)) in x
0.914 * [taylor]: Taking taylor expansion of a in x
0.914 * [taylor]: Taking taylor expansion of (* z t) in x
0.914 * [taylor]: Taking taylor expansion of z in x
0.914 * [taylor]: Taking taylor expansion of t in x
0.914 * [taylor]: Taking taylor expansion of 0 in a
0.914 * [taylor]: Taking taylor expansion of 0 in z
0.914 * [taylor]: Taking taylor expansion of 0 in z
0.914 * [taylor]: Taking taylor expansion of (neg 0.5) in t
0.914 * [taylor]: Taking taylor expansion of 0.5 in t
0.915 * [taylor]: Taking taylor expansion of 0 in x
0.915 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
0.915 * [taylor]: Taking taylor expansion of 4.5 in a
0.915 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
0.915 * [taylor]: Taking taylor expansion of a in a
0.915 * [taylor]: Taking taylor expansion of (* z t) in a
0.915 * [taylor]: Taking taylor expansion of z in a
0.915 * [taylor]: Taking taylor expansion of t in a
0.915 * [taylor]: Taking taylor expansion of (/ 4.5 (* t z)) in z
0.915 * [taylor]: Taking taylor expansion of 4.5 in z
0.915 * [taylor]: Taking taylor expansion of (* t z) in z
0.915 * [taylor]: Taking taylor expansion of t in z
0.915 * [taylor]: Taking taylor expansion of z in z
0.915 * [taylor]: Taking taylor expansion of (/ 4.5 t) in t
0.915 * [taylor]: Taking taylor expansion of 4.5 in t
0.915 * [taylor]: Taking taylor expansion of t in t
0.915 * [taylor]: Taking taylor expansion of 0 in a
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [taylor]: Taking taylor expansion of 0 in t
0.915 * [taylor]: Taking taylor expansion of 0 in t
0.916 * [taylor]: Taking taylor expansion of 0 in t
0.916 * [taylor]: Taking taylor expansion of 0 in x
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.917 * [taylor]: Taking taylor expansion of 0 in z
0.917 * [taylor]: Taking taylor expansion of 0 in z
0.917 * [taylor]: Taking taylor expansion of 0 in z
0.917 * [taylor]: Taking taylor expansion of 0 in z
0.917 * [taylor]: Taking taylor expansion of 0 in z
0.917 * [taylor]: Taking taylor expansion of 0 in t
0.917 * [taylor]: Taking taylor expansion of 0 in t
0.917 * [taylor]: Taking taylor expansion of 0 in t
0.917 * [taylor]: Taking taylor expansion of 0 in t
0.917 * [taylor]: Taking taylor expansion of 0 in t
0.917 * [taylor]: Taking taylor expansion of 0 in t
0.917 * [taylor]: Taking taylor expansion of 0 in t
0.918 * [taylor]: Taking taylor expansion of 0 in x
0.918 * [taylor]: Taking taylor expansion of 0 in a
0.918 * [taylor]: Taking taylor expansion of 0 in z
0.918 * [taylor]: Taking taylor expansion of 0 in a
0.918 * [taylor]: Taking taylor expansion of 0 in z
0.918 * [taylor]: Taking taylor expansion of 0 in a
0.918 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in a
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in z
0.919 * [taylor]: Taking taylor expansion of 0 in t
0.919 * [taylor]: Taking taylor expansion of 0 in t
0.919 * [taylor]: Taking taylor expansion of 0 in t
0.919 * [taylor]: Taking taylor expansion of 0 in t
0.919 * [taylor]: Taking taylor expansion of 0 in t
0.919 * [taylor]: Taking taylor expansion of 0 in t
0.919 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * [taylor]: Taking taylor expansion of 0 in t
0.920 * * * [progress]: simplifying candidates
0.921 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (/ (* 4.5 t) a))
  (+ (log z) (- (+ (log 4.5) (log t)) (log a)))
  (+ (log z) (- (log (* 4.5 t)) (log a)))
  (+ (log z) (log (/ (* 4.5 t) a)))
  (log (* z (/ (* 4.5 t) a)))
  (exp (* z (/ (* 4.5 t) a)))
  (* (* (* z z) z) (/ (* (* (* 4.5 4.5) 4.5) (* (* t t) t)) (* (* a a) a)))
  (* (* (* z z) z) (/ (* (* (* 4.5 t) (* 4.5 t)) (* 4.5 t)) (* (* a a) a)))
  (* (* (* z z) z) (* (* (/ (* 4.5 t) a) (/ (* 4.5 t) a)) (/ (* 4.5 t) a)))
  (* (cbrt (* z (/ (* 4.5 t) a))) (cbrt (* z (/ (* 4.5 t) a))))
  (cbrt (* z (/ (* 4.5 t) a)))
  (* (* (* z (/ (* 4.5 t) a)) (* z (/ (* 4.5 t) a))) (* z (/ (* 4.5 t) a)))
  (sqrt (* z (/ (* 4.5 t) a)))
  (sqrt (* z (/ (* 4.5 t) a)))
  (* (sqrt z) (sqrt (/ (* 4.5 t) a)))
  (* (sqrt z) (sqrt (/ (* 4.5 t) a)))
  (* z (* (cbrt (/ (* 4.5 t) a)) (cbrt (/ (* 4.5 t) a))))
  (* z (sqrt (/ (* 4.5 t) a)))
  (* z (/ 4.5 (* (cbrt a) (cbrt a))))
  (* z (/ 4.5 (sqrt a)))
  (* z (/ 4.5 1))
  (* z 1)
  (* z (* 4.5 t))
  (* (cbrt z) (/ (* 4.5 t) a))
  (* (sqrt z) (/ (* 4.5 t) a))
  (* z (/ (* 4.5 t) a))
  (* z (* 4.5 t))
  (* y (/ x a))
  (+ (log y) (- (log x) (log a)))
  (+ (log y) (log (/ x a)))
  (log (* y (/ x a)))
  (exp (* y (/ x a)))
  (* (* (* y y) y) (/ (* (* x x) x) (* (* a a) a)))
  (* (* (* y y) y) (* (* (/ x a) (/ x a)) (/ x a)))
  (* (cbrt (* y (/ x a))) (cbrt (* y (/ x a))))
  (cbrt (* y (/ x a)))
  (* (* (* y (/ x a)) (* y (/ x a))) (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* y (* (cbrt (/ x a)) (cbrt (/ x a))))
  (* y (sqrt (/ x a)))
  (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt a) (cbrt a))))
  (* y (/ (* (cbrt x) (cbrt x)) (sqrt a)))
  (* y (/ (* (cbrt x) (cbrt x)) 1))
  (* y (/ (sqrt x) (* (cbrt a) (cbrt a))))
  (* y (/ (sqrt x) (sqrt a)))
  (* y (/ (sqrt x) 1))
  (* y (/ 1 (* (cbrt a) (cbrt a))))
  (* y (/ 1 (sqrt a)))
  (* y (/ 1 1))
  (* y 1)
  (* y x)
  (* (cbrt y) (/ x a))
  (* (sqrt y) (/ x a))
  (* y (/ x a))
  (* y x)
  (- (+ (log 4.5) (log t)) (log a))
  (- (log (* 4.5 t)) (log a))
  (log (/ (* 4.5 t) a))
  (exp (/ (* 4.5 t) a))
  (/ (* (* (* 4.5 4.5) 4.5) (* (* t t) t)) (* (* a a) a))
  (/ (* (* (* 4.5 t) (* 4.5 t)) (* 4.5 t)) (* (* a a) a))
  (* (cbrt (/ (* 4.5 t) a)) (cbrt (/ (* 4.5 t) a)))
  (cbrt (/ (* 4.5 t) a))
  (* (* (/ (* 4.5 t) a) (/ (* 4.5 t) a)) (/ (* 4.5 t) a))
  (sqrt (/ (* 4.5 t) a))
  (sqrt (/ (* 4.5 t) a))
  (neg (* 4.5 t))
  (neg a)
  (/ 4.5 (* (cbrt a) (cbrt a)))
  (/ t (cbrt a))
  (/ 4.5 (sqrt a))
  (/ t (sqrt a))
  (/ 4.5 1)
  (/ t a)
  (/ 1 a)
  (/ a (* 4.5 t))
  (/ (* 4.5 t) (* (cbrt a) (cbrt a)))
  (/ (* 4.5 t) (sqrt a))
  (/ (* 4.5 t) 1)
  (/ a t)
  (/ (exp (* 0.5 (* y (/ x a)))) (exp (* z (/ (* 4.5 t) a))))
  (log (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))))
  (exp (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))))
  (* (cbrt (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a)))) (cbrt (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a)))))
  (cbrt (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))))
  (* (* (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))) (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a)))) (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))))
  (sqrt (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))))
  (sqrt (- (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a))))
  (- (* 0.5 (* y x)) (* z (* 4.5 t)))
  (- (* (* 0.5 (* y x)) a) (* a (* z (* 4.5 t))))
  (* a a)
  (- (pow (* 0.5 (* y (/ x a))) 3) (pow (* z (/ (* 4.5 t) a)) 3))
  (+ (* (* 0.5 (* y (/ x a))) (* 0.5 (* y (/ x a)))) (+ (* (* z (/ (* 4.5 t) a)) (* z (/ (* 4.5 t) a))) (* (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a)))))
  (neg (* z (/ (* 4.5 t) a)))
  (- (* (* 0.5 (* y (/ x a))) (* 0.5 (* y (/ x a)))) (* (* z (/ (* 4.5 t) a)) (* z (/ (* 4.5 t) a))))
  (+ (* 0.5 (* y (/ x a))) (* z (/ (* 4.5 t) a)))
  (neg (* z (/ (* 4.5 t) a)))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (/ (* x y) a)
  (/ (* x y) a)
  (/ (* x y) a)
  (* 4.5 (/ t a))
  (* 4.5 (/ t a))
  (* 4.5 (/ t 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)))
0.957 * * [simplify]: iteration  0 :  4982  enodes  (cost  955 )
0.958 * * [simplify]: iteration  1 :  4982  enodes  (cost  955 )
0.961 * [simplify]: Simplified to:
   (* z (* 4.5 (/ t a)))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (log (* z (* 4.5 (/ t a))))
  (pow (pow (exp 4.5) (/ t a)) z)
  (pow (* z (* 4.5 (/ t a))) 3)
  (pow (* z (* 4.5 (/ t a))) 3)
  (pow (* z (* 4.5 (/ t a))) 3)
  (* (cbrt (* z (* 4.5 (/ t a)))) (cbrt (* z (* 4.5 (/ t a)))))
  (cbrt (* z (* 4.5 (/ t a))))
  (pow (* z (* 4.5 (/ t a))) 3)
  (sqrt (* z (* 4.5 (/ t a))))
  (sqrt (* z (* 4.5 (/ t a))))
  (* (sqrt z) (sqrt (* 4.5 (/ t a))))
  (* (sqrt z) (sqrt (* 4.5 (/ t a))))
  (* z (* (cbrt (* 4.5 (/ t a))) (cbrt (* 4.5 (/ t a)))))
  (* z (sqrt (* 4.5 (/ t a))))
  (* z (/ 4.5 (* (cbrt a) (cbrt a))))
  (* z (/ 4.5 (sqrt a)))
  (* z 4.5)
  z
  (* z (* 4.5 t))
  (* 4.5 (* (/ t a) (cbrt z)))
  (* 4.5 (* (/ t a) (sqrt z)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 t))
  (* y (/ x a))
  (log (* y (/ x a)))
  (log (* y (/ x a)))
  (log (* y (/ x a)))
  (pow (exp y) (/ x a))
  (pow (* y (/ x a)) 3)
  (pow (* y (/ x a)) 3)
  (* (cbrt (* y (/ x a))) (cbrt (* y (/ x a))))
  (cbrt (* y (/ x a)))
  (pow (* y (/ x a)) 3)
  (sqrt (* y (/ x a)))
  (sqrt (* y (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (sqrt (/ x a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* (sqrt y) (/ (sqrt x) (sqrt a)))
  (* y (* (cbrt (/ x a)) (cbrt (/ x a))))
  (* y (sqrt (/ x a)))
  (* y (* (/ (cbrt x) (cbrt a)) (/ (cbrt x) (cbrt a))))
  (* y (* (/ (cbrt x) (sqrt a)) (cbrt x)))
  (* y (* (cbrt x) (cbrt x)))
  (* y (/ (sqrt x) (* (cbrt a) (cbrt a))))
  (* y (/ (sqrt x) (sqrt a)))
  (* y (sqrt x))
  (/ y (* (cbrt a) (cbrt a)))
  (/ y (sqrt a))
  y
  y
  (* y x)
  (* (/ x a) (cbrt y))
  (* (/ x a) (sqrt y))
  (* y (/ x a))
  (* y x)
  (log (* 4.5 (/ t a)))
  (log (* 4.5 (/ t a)))
  (log (* 4.5 (/ t a)))
  (pow (exp 4.5) (/ t a))
  (pow (* 4.5 (/ t a)) 3)
  (pow (* 4.5 (/ t a)) 3)
  (* (cbrt (* 4.5 (/ t a))) (cbrt (* 4.5 (/ t a))))
  (cbrt (* 4.5 (/ t a)))
  (pow (* 4.5 (/ t a)) 3)
  (sqrt (* 4.5 (/ t a)))
  (sqrt (* 4.5 (/ t a)))
  (* 4.5 (neg t))
  (neg a)
  (/ 4.5 (* (cbrt a) (cbrt a)))
  (/ t (cbrt a))
  (/ 4.5 (sqrt a))
  (/ t (sqrt a))
  4.5
  (/ t a)
  (/ 1 a)
  (/ a (* 4.5 t))
  (* (/ 4.5 (* (cbrt a) (cbrt a))) t)
  (* (/ 4.5 (sqrt a)) t)
  (* 4.5 t)
  (/ a t)
  (exp (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (log (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (exp (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (* (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))))
  (cbrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (pow (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))) 3)
  (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a)))))
  (- (* y (* x 0.5)) (* z (* 4.5 t)))
  (* a (- (* y (* x 0.5)) (* z (* 4.5 t))))
  (* a a)
  (- (pow (* y (* (/ x a) 0.5)) 3) (pow (* z (* 4.5 (/ t a))) 3))
  (+ (* z (* 4.5 (* (/ t a) (* z (* 4.5 (/ t a)))))) (* (* y (* (/ x a) 0.5)) (+ (* z (* 4.5 (/ t a))) (* y (* (/ x a) 0.5)))))
  (* z (* 4.5 (/ (neg t) a)))
  (- (* (* y (/ x a)) (* (* y (/ x a)) (* 0.5 0.5))) (* z (* 4.5 (* (/ t a) (* z (* 4.5 (/ t a)))))))
  (+ (* z (* 4.5 (/ t a))) (* y (* (/ x a) 0.5)))
  (* z (* 4.5 (/ (neg t) a)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (* z (* 4.5 (/ t a)))
  (* y (/ x a))
  (* y (/ x a))
  (* y (/ x a))
  (* 4.5 (/ t a))
  (* 4.5 (/ t a))
  (* 4.5 (/ t a))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
  (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))
0.962 * * * [progress]: adding candidates to table
1.061 * [progress]: [Phase 3 of 3] Extracting.
1.061 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.064 * * * [regime-changes]: Trying 11 branch expressions: ((* a 2.0) (* z 9.0) (* (* z 9.0) t) (* x y) (- (* x y) (* (* z 9.0) t)) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) a t z y x)
1.064 * * * * [regimes]: Trying to branch on (* a 2.0) from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.174 * * * * [regimes]: Trying to branch on (* a 2.0) from (#<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))> #<alt (λ (x y z t a) (/ (- (* x y) (* (sqrt (* z (* 9.0 t))) (sqrt (* z (* 9.0 t))))) (* a 2.0)))>)
1.237 * * * * [regimes]: Trying to branch on (* z 9.0) from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.353 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.460 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.567 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (/ 1 a) (/ (- (* x y) (* z (* 9.0 t))) 2.0)))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.636 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.747 * * * * [regimes]: Trying to branch on (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.856 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
1.963 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
2.078 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
2.193 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
2.309 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
2.424 * * * [regime]: Found split indices: #<option (#s(si 0 34) #s(si 5 230) #s(si 0 255))>
2.424 * [binary-search]: Only using regimes for bounds on (- (* x y) (* (* z 9.0) t)) and (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
2.424 * [regimes]: Found splitpoints: (#s(sp 0 (- (* x y) (* (* z 9.0) t)) -6.64340419335014e+183) #s(sp 5 (- (* x y) (* (* z 9.0) t)) 8.101872415034429e+265) #s(sp 0 (- (* x y) (* (* z 9.0) t)) +nan.0)) , with alts (#<alt (λ (x y z t a) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))))> #<alt (λ (x y z t a) (* (* (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)))))> #<alt (λ (x y z t a) (* (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t a))))) (sqrt (- (* y (* (/ x a) 0.5)) (* z (* 4.5 (/ t 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 (* y (/ x a))) (* z (/ (* 4.5 t) a))))> #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 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 (* (/ y (sqrt a)) (/ x (sqrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (- (* 0.5 (* (/ y (* (cbrt a) (cbrt a))) (/ x (cbrt a)))) (* 4.5 (* z (/ t a)))))> #<alt (λ (x y z t a) (/ 1 (* 2.0 (/ a (- (* x y) (* z (* 9.0 t)))))))>)
2.424 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (- (* x y) (* (* z 9.0) t)) -6.64340419335014e+183) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))) (if (<= (- (* x y) (* (* z 9.0) t)) 8.101872415034429e+265) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a))))))
2.425 * * [simplify]: iteration  0 :  39  enodes  (cost  53 )
2.425 * * [simplify]: iteration  1 :  39  enodes  (cost  53 )
2.425 * [simplify]: Simplified to:
   (if (or (<= (- (* x y) (* (* z 9.0) t)) -6.64340419335014e+183) (not (<= (- (* x y) (* (* z 9.0) t)) 8.101872415034429e+265))) (- (* 0.5 (* y (/ x a))) (* z (* 4.5 (/ t a)))) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
5.054 * [regime-testing]: End program error score: 0.9204729821527017
5.188 * [regime-testing]: Target error score: 5.6466547940861345