55.242 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
0.034 * * [simplify]: iteration  0 :  27  enodes  (cost  6 )
0.035 * * [simplify]: iteration  1 :  91  enodes  (cost  6 )
0.038 * * [simplify]: iteration  2 :  289  enodes  (cost  6 )
0.042 * * [simplify]: iteration  3 :  770  enodes  (cost  6 )
0.053 * * [simplify]: iteration  4 :  1514  enodes  (cost  6 )
0.069 * * [simplify]: iteration  5 :  1860  enodes  (cost  6 )
0.085 * * [simplify]: iteration  6 :  1885  enodes  (cost  6 )
0.101 * * [simplify]: iteration  7 :  1885  enodes  (cost  6 )
0.102 * [simplify]: Simplified to:
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
0.103 * * [progress]: iteration 1 / 4
0.103 * * * [progress]: picking best candidate
0.105 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))>
0.105 * * * [progress]: localizing error
0.120 * * * [progress]: generating rewritten candidates
0.120 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.129 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.136 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.140 * * * [progress]: generating series expansions
0.140 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.140 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0
0.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
0.140 * [taylor]: Taking taylor expansion of 0.5 in a
0.140 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
0.140 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
0.140 * [taylor]: Taking taylor expansion of (* x y) in a
0.140 * [taylor]: Taking taylor expansion of x in a
0.140 * [taylor]: Taking taylor expansion of y in a
0.140 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
0.140 * [taylor]: Taking taylor expansion of 9.0 in a
0.140 * [taylor]: Taking taylor expansion of (* t z) in a
0.140 * [taylor]: Taking taylor expansion of t in a
0.140 * [taylor]: Taking taylor expansion of z in a
0.141 * [taylor]: Taking taylor expansion of a in a
0.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
0.141 * [taylor]: Taking taylor expansion of 0.5 in t
0.141 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
0.141 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
0.141 * [taylor]: Taking taylor expansion of (* x y) in t
0.141 * [taylor]: Taking taylor expansion of x in t
0.141 * [taylor]: Taking taylor expansion of y in t
0.141 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.141 * [taylor]: Taking taylor expansion of 9.0 in t
0.141 * [taylor]: Taking taylor expansion of (* t z) in t
0.141 * [taylor]: Taking taylor expansion of t in t
0.141 * [taylor]: Taking taylor expansion of z in t
0.141 * [taylor]: Taking taylor expansion of a in t
0.142 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
0.142 * [taylor]: Taking taylor expansion of 0.5 in z
0.142 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
0.142 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
0.142 * [taylor]: Taking taylor expansion of (* x y) in z
0.142 * [taylor]: Taking taylor expansion of x in z
0.142 * [taylor]: Taking taylor expansion of y in z
0.142 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.142 * [taylor]: Taking taylor expansion of 9.0 in z
0.142 * [taylor]: Taking taylor expansion of (* t z) in z
0.142 * [taylor]: Taking taylor expansion of t in z
0.142 * [taylor]: Taking taylor expansion of z in z
0.142 * [taylor]: Taking taylor expansion of a in z
0.143 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
0.143 * [taylor]: Taking taylor expansion of 0.5 in y
0.143 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
0.143 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
0.143 * [taylor]: Taking taylor expansion of (* x y) in y
0.143 * [taylor]: Taking taylor expansion of x in y
0.143 * [taylor]: Taking taylor expansion of y in y
0.143 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.143 * [taylor]: Taking taylor expansion of 9.0 in y
0.143 * [taylor]: Taking taylor expansion of (* t z) in y
0.143 * [taylor]: Taking taylor expansion of t in y
0.143 * [taylor]: Taking taylor expansion of z in y
0.143 * [taylor]: Taking taylor expansion of a in y
0.143 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
0.143 * [taylor]: Taking taylor expansion of 0.5 in x
0.143 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
0.143 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.143 * [taylor]: Taking taylor expansion of (* x y) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of y in x
0.143 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.143 * [taylor]: Taking taylor expansion of 9.0 in x
0.143 * [taylor]: Taking taylor expansion of (* t z) in x
0.143 * [taylor]: Taking taylor expansion of t in x
0.143 * [taylor]: Taking taylor expansion of z in x
0.143 * [taylor]: Taking taylor expansion of a in x
0.144 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
0.144 * [taylor]: Taking taylor expansion of 0.5 in x
0.144 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
0.144 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.144 * [taylor]: Taking taylor expansion of (* x y) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of y in x
0.144 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.144 * [taylor]: Taking taylor expansion of 9.0 in x
0.144 * [taylor]: Taking taylor expansion of (* t z) in x
0.144 * [taylor]: Taking taylor expansion of t in x
0.144 * [taylor]: Taking taylor expansion of z in x
0.144 * [taylor]: Taking taylor expansion of a in x
0.144 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
0.144 * [taylor]: Taking taylor expansion of -4.5 in y
0.144 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.144 * [taylor]: Taking taylor expansion of (* t z) in y
0.144 * [taylor]: Taking taylor expansion of t in y
0.144 * [taylor]: Taking taylor expansion of z in y
0.144 * [taylor]: Taking taylor expansion of a in y
0.145 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z
0.145 * [taylor]: Taking taylor expansion of -4.5 in z
0.145 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.145 * [taylor]: Taking taylor expansion of (* t z) in z
0.145 * [taylor]: Taking taylor expansion of t in z
0.145 * [taylor]: Taking taylor expansion of z in z
0.145 * [taylor]: Taking taylor expansion of a in z
0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
0.146 * [taylor]: Taking taylor expansion of 0.5 in y
0.146 * [taylor]: Taking taylor expansion of (/ y a) in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of a in y
0.147 * [taylor]: Taking taylor expansion of 0 in z
0.147 * [taylor]: Taking taylor expansion of 0 in t
0.147 * [taylor]: Taking taylor expansion of 0 in a
0.147 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t
0.147 * [taylor]: Taking taylor expansion of -4.5 in t
0.147 * [taylor]: Taking taylor expansion of (/ t a) in t
0.147 * [taylor]: Taking taylor expansion of t in t
0.147 * [taylor]: Taking taylor expansion of a in t
0.149 * [taylor]: Taking taylor expansion of 0 in y
0.149 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [taylor]: Taking taylor expansion of 0 in t
0.149 * [taylor]: Taking taylor expansion of 0 in a
0.149 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
0.149 * [taylor]: Taking taylor expansion of 0.5 in z
0.149 * [taylor]: Taking taylor expansion of a in z
0.149 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
0.149 * [taylor]: Taking taylor expansion of 0.5 in t
0.149 * [taylor]: Taking taylor expansion of a in t
0.150 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
0.150 * [taylor]: Taking taylor expansion of 0.5 in a
0.150 * [taylor]: Taking taylor expansion of a in a
0.151 * [taylor]: Taking taylor expansion of 0 in z
0.151 * [taylor]: Taking taylor expansion of 0 in t
0.151 * [taylor]: Taking taylor expansion of 0 in a
0.151 * [taylor]: Taking taylor expansion of 0 in t
0.151 * [taylor]: Taking taylor expansion of 0 in a
0.152 * [taylor]: Taking taylor expansion of 0 in t
0.152 * [taylor]: Taking taylor expansion of 0 in a
0.152 * [taylor]: Taking taylor expansion of 0 in a
0.152 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
0.152 * [taylor]: Taking taylor expansion of -4.5 in a
0.152 * [taylor]: Taking taylor expansion of a in a
0.155 * [taylor]: Taking taylor expansion of 0 in y
0.156 * [taylor]: Taking taylor expansion of 0 in z
0.156 * [taylor]: Taking taylor expansion of 0 in t
0.156 * [taylor]: Taking taylor expansion of 0 in a
0.156 * [taylor]: Taking taylor expansion of 0 in z
0.156 * [taylor]: Taking taylor expansion of 0 in t
0.156 * [taylor]: Taking taylor expansion of 0 in a
0.156 * [taylor]: Taking taylor expansion of 0 in z
0.156 * [taylor]: Taking taylor expansion of 0 in t
0.156 * [taylor]: Taking taylor expansion of 0 in a
0.158 * [taylor]: Taking taylor expansion of 0 in z
0.158 * [taylor]: Taking taylor expansion of 0 in t
0.158 * [taylor]: Taking taylor expansion of 0 in a
0.158 * [taylor]: Taking taylor expansion of 0 in t
0.158 * [taylor]: Taking taylor expansion of 0 in a
0.158 * [taylor]: Taking taylor expansion of 0 in t
0.158 * [taylor]: Taking taylor expansion of 0 in a
0.158 * [taylor]: Taking taylor expansion of 0 in t
0.158 * [taylor]: Taking taylor expansion of 0 in a
0.158 * [taylor]: Taking taylor expansion of 0 in t
0.158 * [taylor]: Taking taylor expansion of 0 in a
0.159 * [taylor]: Taking taylor expansion of 0 in t
0.159 * [taylor]: Taking taylor expansion of 0 in a
0.159 * [taylor]: Taking taylor expansion of 0 in a
0.159 * [taylor]: Taking taylor expansion of 0 in a
0.159 * [taylor]: Taking taylor expansion of 0 in a
0.160 * [taylor]: Taking taylor expansion of 0 in a
0.160 * [taylor]: Taking taylor expansion of 0 in a
0.160 * [taylor]: Taking taylor expansion of 0 in a
0.160 * [taylor]: Taking taylor expansion of 0 in a
0.161 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
0.161 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
0.161 * [taylor]: Taking taylor expansion of 0.5 in a
0.161 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
0.161 * [taylor]: Taking taylor expansion of a in a
0.161 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
0.161 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.161 * [taylor]: Taking taylor expansion of (* x y) in a
0.161 * [taylor]: Taking taylor expansion of x in a
0.161 * [taylor]: Taking taylor expansion of y in a
0.161 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
0.161 * [taylor]: Taking taylor expansion of 9.0 in a
0.161 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.161 * [taylor]: Taking taylor expansion of (* t z) in a
0.161 * [taylor]: Taking taylor expansion of t in a
0.161 * [taylor]: Taking taylor expansion of z in a
0.162 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
0.162 * [taylor]: Taking taylor expansion of 0.5 in t
0.162 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
0.162 * [taylor]: Taking taylor expansion of a in t
0.162 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.162 * [taylor]: Taking taylor expansion of (* x y) in t
0.162 * [taylor]: Taking taylor expansion of x in t
0.162 * [taylor]: Taking taylor expansion of y in t
0.162 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.162 * [taylor]: Taking taylor expansion of 9.0 in t
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.162 * [taylor]: Taking taylor expansion of (* t z) in t
0.162 * [taylor]: Taking taylor expansion of t in t
0.162 * [taylor]: Taking taylor expansion of z in t
0.162 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
0.162 * [taylor]: Taking taylor expansion of 0.5 in z
0.162 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
0.162 * [taylor]: Taking taylor expansion of a in z
0.162 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.162 * [taylor]: Taking taylor expansion of (* x y) in z
0.162 * [taylor]: Taking taylor expansion of x in z
0.162 * [taylor]: Taking taylor expansion of y in z
0.162 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.162 * [taylor]: Taking taylor expansion of 9.0 in z
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.162 * [taylor]: Taking taylor expansion of (* t z) in z
0.162 * [taylor]: Taking taylor expansion of t in z
0.162 * [taylor]: Taking taylor expansion of z in z
0.163 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
0.163 * [taylor]: Taking taylor expansion of 0.5 in y
0.163 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
0.163 * [taylor]: Taking taylor expansion of a in y
0.163 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.163 * [taylor]: Taking taylor expansion of (* x y) in y
0.163 * [taylor]: Taking taylor expansion of x in y
0.163 * [taylor]: Taking taylor expansion of y in y
0.163 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.163 * [taylor]: Taking taylor expansion of 9.0 in y
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.163 * [taylor]: Taking taylor expansion of (* t z) in y
0.163 * [taylor]: Taking taylor expansion of t in y
0.163 * [taylor]: Taking taylor expansion of z in y
0.163 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.163 * [taylor]: Taking taylor expansion of 0.5 in x
0.163 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.163 * [taylor]: Taking taylor expansion of a in x
0.164 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.164 * [taylor]: Taking taylor expansion of (* x y) in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [taylor]: Taking taylor expansion of y in x
0.164 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.164 * [taylor]: Taking taylor expansion of 9.0 in x
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.164 * [taylor]: Taking taylor expansion of (* t z) in x
0.164 * [taylor]: Taking taylor expansion of t in x
0.164 * [taylor]: Taking taylor expansion of z in x
0.164 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.164 * [taylor]: Taking taylor expansion of 0.5 in x
0.164 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.164 * [taylor]: Taking taylor expansion of a in x
0.164 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.164 * [taylor]: Taking taylor expansion of (* x y) in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [taylor]: Taking taylor expansion of y in x
0.164 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.165 * [taylor]: Taking taylor expansion of 9.0 in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.165 * [taylor]: Taking taylor expansion of (* t z) in x
0.165 * [taylor]: Taking taylor expansion of t in x
0.165 * [taylor]: Taking taylor expansion of z in x
0.165 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
0.165 * [taylor]: Taking taylor expansion of 0.5 in y
0.165 * [taylor]: Taking taylor expansion of (/ a y) in y
0.165 * [taylor]: Taking taylor expansion of a in y
0.165 * [taylor]: Taking taylor expansion of y in y
0.165 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
0.165 * [taylor]: Taking taylor expansion of 0.5 in z
0.165 * [taylor]: Taking taylor expansion of a in z
0.166 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in y
0.166 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.166 * [taylor]: Taking taylor expansion of 4.5 in y
0.166 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.166 * [taylor]: Taking taylor expansion of a in y
0.166 * [taylor]: Taking taylor expansion of (* z t) in y
0.166 * [taylor]: Taking taylor expansion of z in y
0.166 * [taylor]: Taking taylor expansion of t in y
0.167 * [taylor]: Taking taylor expansion of 0 in z
0.167 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
0.167 * [taylor]: Taking taylor expansion of 0.5 in t
0.167 * [taylor]: Taking taylor expansion of a in t
0.169 * [taylor]: Taking taylor expansion of 0 in y
0.169 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in z
0.169 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.170 * [taylor]: Taking taylor expansion of 4.5 in z
0.170 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.170 * [taylor]: Taking taylor expansion of a in z
0.170 * [taylor]: Taking taylor expansion of (* z t) in z
0.170 * [taylor]: Taking taylor expansion of z in z
0.170 * [taylor]: Taking taylor expansion of t in z
0.170 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a t))) in t
0.170 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.170 * [taylor]: Taking taylor expansion of 4.5 in t
0.170 * [taylor]: Taking taylor expansion of (/ a t) in t
0.170 * [taylor]: Taking taylor expansion of a in t
0.170 * [taylor]: Taking taylor expansion of t in t
0.170 * [taylor]: Taking taylor expansion of (- (* 4.5 a)) in a
0.170 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.170 * [taylor]: Taking taylor expansion of 4.5 in a
0.170 * [taylor]: Taking taylor expansion of a in a
0.172 * [taylor]: Taking taylor expansion of 0 in z
0.172 * [taylor]: Taking taylor expansion of 0 in t
0.172 * [taylor]: Taking taylor expansion of 0 in t
0.173 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.173 * [taylor]: Taking taylor expansion of 0.5 in a
0.173 * [taylor]: Taking taylor expansion of a in a
0.176 * [taylor]: Taking taylor expansion of 0 in y
0.176 * [taylor]: Taking taylor expansion of 0 in z
0.177 * [taylor]: Taking taylor expansion of 0 in z
0.179 * [taylor]: Taking taylor expansion of 0 in z
0.180 * [taylor]: Taking taylor expansion of 0 in t
0.180 * [taylor]: Taking taylor expansion of 0 in t
0.180 * [taylor]: Taking taylor expansion of 0 in t
0.181 * [taylor]: Taking taylor expansion of 0 in t
0.182 * [taylor]: Taking taylor expansion of 0 in a
0.182 * [taylor]: Taking taylor expansion of 0 in a
0.182 * [taylor]: Taking taylor expansion of 0 in a
0.182 * [taylor]: Taking taylor expansion of 0 in a
0.183 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
0.183 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
0.183 * [taylor]: Taking taylor expansion of -0.5 in a
0.183 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
0.183 * [taylor]: Taking taylor expansion of a in a
0.183 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
0.183 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.183 * [taylor]: Taking taylor expansion of (* x y) in a
0.183 * [taylor]: Taking taylor expansion of x in a
0.183 * [taylor]: Taking taylor expansion of y in a
0.183 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
0.183 * [taylor]: Taking taylor expansion of 9.0 in a
0.183 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.183 * [taylor]: Taking taylor expansion of (* t z) in a
0.183 * [taylor]: Taking taylor expansion of t in a
0.183 * [taylor]: Taking taylor expansion of z in a
0.183 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
0.183 * [taylor]: Taking taylor expansion of -0.5 in t
0.183 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
0.183 * [taylor]: Taking taylor expansion of a in t
0.183 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.183 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.183 * [taylor]: Taking taylor expansion of (* x y) in t
0.183 * [taylor]: Taking taylor expansion of x in t
0.183 * [taylor]: Taking taylor expansion of y in t
0.183 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.183 * [taylor]: Taking taylor expansion of 9.0 in t
0.183 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.183 * [taylor]: Taking taylor expansion of (* t z) in t
0.183 * [taylor]: Taking taylor expansion of t in t
0.183 * [taylor]: Taking taylor expansion of z in t
0.184 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
0.184 * [taylor]: Taking taylor expansion of -0.5 in z
0.184 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
0.184 * [taylor]: Taking taylor expansion of a in z
0.184 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.184 * [taylor]: Taking taylor expansion of (* x y) in z
0.184 * [taylor]: Taking taylor expansion of x in z
0.184 * [taylor]: Taking taylor expansion of y in z
0.184 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.184 * [taylor]: Taking taylor expansion of 9.0 in z
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.184 * [taylor]: Taking taylor expansion of (* t z) in z
0.184 * [taylor]: Taking taylor expansion of t in z
0.184 * [taylor]: Taking taylor expansion of z in z
0.184 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
0.184 * [taylor]: Taking taylor expansion of -0.5 in y
0.184 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
0.184 * [taylor]: Taking taylor expansion of a in y
0.184 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.184 * [taylor]: Taking taylor expansion of (* x y) in y
0.184 * [taylor]: Taking taylor expansion of x in y
0.184 * [taylor]: Taking taylor expansion of y in y
0.185 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.185 * [taylor]: Taking taylor expansion of 9.0 in y
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.185 * [taylor]: Taking taylor expansion of (* t z) in y
0.185 * [taylor]: Taking taylor expansion of t in y
0.185 * [taylor]: Taking taylor expansion of z in y
0.185 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.185 * [taylor]: Taking taylor expansion of -0.5 in x
0.185 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.185 * [taylor]: Taking taylor expansion of a in x
0.185 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.185 * [taylor]: Taking taylor expansion of (* x y) in x
0.185 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of y in x
0.185 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.185 * [taylor]: Taking taylor expansion of 9.0 in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.185 * [taylor]: Taking taylor expansion of (* t z) in x
0.185 * [taylor]: Taking taylor expansion of t in x
0.185 * [taylor]: Taking taylor expansion of z in x
0.186 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.186 * [taylor]: Taking taylor expansion of -0.5 in x
0.186 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.186 * [taylor]: Taking taylor expansion of a in x
0.186 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.186 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.186 * [taylor]: Taking taylor expansion of (* x y) in x
0.186 * [taylor]: Taking taylor expansion of x in x
0.186 * [taylor]: Taking taylor expansion of y in x
0.186 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.186 * [taylor]: Taking taylor expansion of 9.0 in x
0.186 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.186 * [taylor]: Taking taylor expansion of (* t z) in x
0.186 * [taylor]: Taking taylor expansion of t in x
0.186 * [taylor]: Taking taylor expansion of z in x
0.186 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
0.186 * [taylor]: Taking taylor expansion of -0.5 in y
0.186 * [taylor]: Taking taylor expansion of (/ a y) in y
0.186 * [taylor]: Taking taylor expansion of a in y
0.187 * [taylor]: Taking taylor expansion of y in y
0.187 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
0.187 * [taylor]: Taking taylor expansion of -0.5 in z
0.187 * [taylor]: Taking taylor expansion of a in z
0.188 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.188 * [taylor]: Taking taylor expansion of 4.5 in y
0.188 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.188 * [taylor]: Taking taylor expansion of a in y
0.188 * [taylor]: Taking taylor expansion of (* z t) in y
0.188 * [taylor]: Taking taylor expansion of z in y
0.188 * [taylor]: Taking taylor expansion of t in y
0.189 * [taylor]: Taking taylor expansion of 0 in z
0.189 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
0.189 * [taylor]: Taking taylor expansion of -0.5 in t
0.189 * [taylor]: Taking taylor expansion of a in t
0.191 * [taylor]: Taking taylor expansion of 0 in y
0.191 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.191 * [taylor]: Taking taylor expansion of 4.5 in z
0.191 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.191 * [taylor]: Taking taylor expansion of a in z
0.191 * [taylor]: Taking taylor expansion of (* z t) in z
0.191 * [taylor]: Taking taylor expansion of z in z
0.191 * [taylor]: Taking taylor expansion of t in z
0.191 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.192 * [taylor]: Taking taylor expansion of 4.5 in t
0.192 * [taylor]: Taking taylor expansion of (/ a t) in t
0.192 * [taylor]: Taking taylor expansion of a in t
0.192 * [taylor]: Taking taylor expansion of t in t
0.192 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.192 * [taylor]: Taking taylor expansion of 4.5 in a
0.192 * [taylor]: Taking taylor expansion of a in a
0.193 * [taylor]: Taking taylor expansion of 0 in z
0.193 * [taylor]: Taking taylor expansion of 0 in t
0.194 * [taylor]: Taking taylor expansion of 0 in t
0.194 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
0.194 * [taylor]: Taking taylor expansion of -0.5 in a
0.194 * [taylor]: Taking taylor expansion of a in a
0.198 * [taylor]: Taking taylor expansion of 0 in y
0.198 * [taylor]: Taking taylor expansion of 0 in z
0.198 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.201 * [taylor]: Taking taylor expansion of 0 in t
0.201 * [taylor]: Taking taylor expansion of 0 in t
0.201 * [taylor]: Taking taylor expansion of 0 in t
0.202 * [taylor]: Taking taylor expansion of 0 in t
0.203 * [taylor]: Taking taylor expansion of 0 in a
0.203 * [taylor]: Taking taylor expansion of 0 in a
0.203 * [taylor]: Taking taylor expansion of 0 in a
0.203 * [taylor]: Taking taylor expansion of 0 in a
0.203 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.203 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
0.203 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.203 * [taylor]: Taking taylor expansion of 9.0 in t
0.203 * [taylor]: Taking taylor expansion of (* t z) in t
0.203 * [taylor]: Taking taylor expansion of t in t
0.203 * [taylor]: Taking taylor expansion of z in t
0.203 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.203 * [taylor]: Taking taylor expansion of 9.0 in z
0.203 * [taylor]: Taking taylor expansion of (* t z) in z
0.203 * [taylor]: Taking taylor expansion of t in z
0.203 * [taylor]: Taking taylor expansion of z in z
0.203 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.203 * [taylor]: Taking taylor expansion of 9.0 in z
0.203 * [taylor]: Taking taylor expansion of (* t z) in z
0.203 * [taylor]: Taking taylor expansion of t in z
0.203 * [taylor]: Taking taylor expansion of z in z
0.204 * [taylor]: Taking taylor expansion of 0 in t
0.204 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
0.204 * [taylor]: Taking taylor expansion of 9.0 in t
0.204 * [taylor]: Taking taylor expansion of t in t
0.205 * [taylor]: Taking taylor expansion of 0 in t
0.212 * [taylor]: Taking taylor expansion of 0 in t
0.214 * [taylor]: Taking taylor expansion of 0 in t
0.214 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
0.214 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
0.214 * [taylor]: Taking taylor expansion of 9.0 in t
0.214 * [taylor]: Taking taylor expansion of (* t z) in t
0.214 * [taylor]: Taking taylor expansion of t in t
0.214 * [taylor]: Taking taylor expansion of z in t
0.215 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.215 * [taylor]: Taking taylor expansion of 9.0 in z
0.215 * [taylor]: Taking taylor expansion of (* t z) in z
0.215 * [taylor]: Taking taylor expansion of t in z
0.215 * [taylor]: Taking taylor expansion of z in z
0.215 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.215 * [taylor]: Taking taylor expansion of 9.0 in z
0.215 * [taylor]: Taking taylor expansion of (* t z) in z
0.215 * [taylor]: Taking taylor expansion of t in z
0.215 * [taylor]: Taking taylor expansion of z in z
0.216 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
0.216 * [taylor]: Taking taylor expansion of 9.0 in t
0.216 * [taylor]: Taking taylor expansion of t in t
0.216 * [taylor]: Taking taylor expansion of 0 in t
0.218 * [taylor]: Taking taylor expansion of 0 in t
0.219 * [taylor]: Taking taylor expansion of 0 in t
0.220 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
0.220 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
0.220 * [taylor]: Taking taylor expansion of 9.0 in t
0.220 * [taylor]: Taking taylor expansion of (* t z) in t
0.220 * [taylor]: Taking taylor expansion of t in t
0.220 * [taylor]: Taking taylor expansion of z in t
0.220 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.220 * [taylor]: Taking taylor expansion of 9.0 in z
0.220 * [taylor]: Taking taylor expansion of (* t z) in z
0.220 * [taylor]: Taking taylor expansion of t in z
0.220 * [taylor]: Taking taylor expansion of z in z
0.220 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.220 * [taylor]: Taking taylor expansion of 9.0 in z
0.220 * [taylor]: Taking taylor expansion of (* t z) in z
0.220 * [taylor]: Taking taylor expansion of t in z
0.220 * [taylor]: Taking taylor expansion of z in z
0.221 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
0.221 * [taylor]: Taking taylor expansion of 9.0 in t
0.221 * [taylor]: Taking taylor expansion of t in t
0.222 * [taylor]: Taking taylor expansion of 0 in t
0.223 * [taylor]: Taking taylor expansion of 0 in t
0.224 * [taylor]: Taking taylor expansion of 0 in t
0.225 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.225 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0
0.225 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
0.225 * [taylor]: Taking taylor expansion of (* x y) in t
0.225 * [taylor]: Taking taylor expansion of x in t
0.225 * [taylor]: Taking taylor expansion of y in t
0.225 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.225 * [taylor]: Taking taylor expansion of 9.0 in t
0.225 * [taylor]: Taking taylor expansion of (* t z) in t
0.225 * [taylor]: Taking taylor expansion of t in t
0.225 * [taylor]: Taking taylor expansion of z in t
0.225 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
0.225 * [taylor]: Taking taylor expansion of (* x y) in z
0.225 * [taylor]: Taking taylor expansion of x in z
0.225 * [taylor]: Taking taylor expansion of y in z
0.225 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.225 * [taylor]: Taking taylor expansion of 9.0 in z
0.225 * [taylor]: Taking taylor expansion of (* t z) in z
0.225 * [taylor]: Taking taylor expansion of t in z
0.225 * [taylor]: Taking taylor expansion of z in z
0.225 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
0.225 * [taylor]: Taking taylor expansion of (* x y) in y
0.225 * [taylor]: Taking taylor expansion of x in y
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.225 * [taylor]: Taking taylor expansion of 9.0 in y
0.225 * [taylor]: Taking taylor expansion of (* t z) in y
0.225 * [taylor]: Taking taylor expansion of t in y
0.225 * [taylor]: Taking taylor expansion of z in y
0.225 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.225 * [taylor]: Taking taylor expansion of (* x y) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of y in x
0.225 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.225 * [taylor]: Taking taylor expansion of 9.0 in x
0.225 * [taylor]: Taking taylor expansion of (* t z) in x
0.225 * [taylor]: Taking taylor expansion of t in x
0.226 * [taylor]: Taking taylor expansion of z in x
0.226 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.226 * [taylor]: Taking taylor expansion of (* x y) in x
0.226 * [taylor]: Taking taylor expansion of x in x
0.226 * [taylor]: Taking taylor expansion of y in x
0.226 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.226 * [taylor]: Taking taylor expansion of 9.0 in x
0.226 * [taylor]: Taking taylor expansion of (* t z) in x
0.226 * [taylor]: Taking taylor expansion of t in x
0.226 * [taylor]: Taking taylor expansion of z in x
0.226 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in y
0.226 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.226 * [taylor]: Taking taylor expansion of 9.0 in y
0.226 * [taylor]: Taking taylor expansion of (* t z) in y
0.226 * [taylor]: Taking taylor expansion of t in y
0.226 * [taylor]: Taking taylor expansion of z in y
0.226 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
0.226 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.226 * [taylor]: Taking taylor expansion of 9.0 in z
0.226 * [taylor]: Taking taylor expansion of (* t z) in z
0.226 * [taylor]: Taking taylor expansion of t in z
0.226 * [taylor]: Taking taylor expansion of z in z
0.227 * [taylor]: Taking taylor expansion of 0 in t
0.228 * [taylor]: Taking taylor expansion of y in y
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in t
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in t
0.229 * [taylor]: Taking taylor expansion of (- (* 9.0 t)) in t
0.229 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
0.229 * [taylor]: Taking taylor expansion of 9.0 in t
0.229 * [taylor]: Taking taylor expansion of t in t
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [taylor]: Taking taylor expansion of 0 in z
0.231 * [taylor]: Taking taylor expansion of 0 in t
0.231 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
0.231 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.231 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.231 * [taylor]: Taking taylor expansion of (* x y) in t
0.232 * [taylor]: Taking taylor expansion of x in t
0.232 * [taylor]: Taking taylor expansion of y in t
0.232 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.232 * [taylor]: Taking taylor expansion of 9.0 in t
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.232 * [taylor]: Taking taylor expansion of (* t z) in t
0.232 * [taylor]: Taking taylor expansion of t in t
0.232 * [taylor]: Taking taylor expansion of z in t
0.232 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.232 * [taylor]: Taking taylor expansion of (* x y) in z
0.232 * [taylor]: Taking taylor expansion of x in z
0.232 * [taylor]: Taking taylor expansion of y in z
0.232 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.232 * [taylor]: Taking taylor expansion of 9.0 in z
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.232 * [taylor]: Taking taylor expansion of (* t z) in z
0.232 * [taylor]: Taking taylor expansion of t in z
0.232 * [taylor]: Taking taylor expansion of z in z
0.233 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.233 * [taylor]: Taking taylor expansion of (* x y) in y
0.233 * [taylor]: Taking taylor expansion of x in y
0.233 * [taylor]: Taking taylor expansion of y in y
0.233 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.233 * [taylor]: Taking taylor expansion of 9.0 in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.233 * [taylor]: Taking taylor expansion of (* t z) in y
0.233 * [taylor]: Taking taylor expansion of t in y
0.233 * [taylor]: Taking taylor expansion of z in y
0.233 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.233 * [taylor]: Taking taylor expansion of (* x y) in x
0.233 * [taylor]: Taking taylor expansion of x in x
0.233 * [taylor]: Taking taylor expansion of y in x
0.234 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.234 * [taylor]: Taking taylor expansion of 9.0 in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.234 * [taylor]: Taking taylor expansion of (* t z) in x
0.234 * [taylor]: Taking taylor expansion of t in x
0.234 * [taylor]: Taking taylor expansion of z in x
0.234 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.234 * [taylor]: Taking taylor expansion of (* x y) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.234 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.234 * [taylor]: Taking taylor expansion of 9.0 in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.234 * [taylor]: Taking taylor expansion of (* t z) in x
0.234 * [taylor]: Taking taylor expansion of t in x
0.234 * [taylor]: Taking taylor expansion of z in x
0.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.235 * [taylor]: Taking taylor expansion of y in y
0.235 * [taylor]: Taking taylor expansion of 1 in z
0.236 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
0.236 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.236 * [taylor]: Taking taylor expansion of 9.0 in y
0.236 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.236 * [taylor]: Taking taylor expansion of (* t z) in y
0.236 * [taylor]: Taking taylor expansion of t in y
0.236 * [taylor]: Taking taylor expansion of z in y
0.236 * [taylor]: Taking taylor expansion of 0 in z
0.236 * [taylor]: Taking taylor expansion of 1 in t
0.238 * [taylor]: Taking taylor expansion of 0 in y
0.238 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
0.238 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.238 * [taylor]: Taking taylor expansion of 9.0 in z
0.238 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.238 * [taylor]: Taking taylor expansion of (* t z) in z
0.238 * [taylor]: Taking taylor expansion of t in z
0.238 * [taylor]: Taking taylor expansion of z in z
0.239 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
0.239 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
0.239 * [taylor]: Taking taylor expansion of 9.0 in t
0.239 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.239 * [taylor]: Taking taylor expansion of t in t
0.240 * [taylor]: Taking taylor expansion of 0 in z
0.240 * [taylor]: Taking taylor expansion of 0 in t
0.240 * [taylor]: Taking taylor expansion of 0 in t
0.243 * [taylor]: Taking taylor expansion of 0 in y
0.243 * [taylor]: Taking taylor expansion of 0 in z
0.244 * [taylor]: Taking taylor expansion of 0 in z
0.244 * [taylor]: Taking taylor expansion of 0 in z
0.245 * [taylor]: Taking taylor expansion of 0 in t
0.245 * [taylor]: Taking taylor expansion of 0 in t
0.245 * [taylor]: Taking taylor expansion of 0 in t
0.245 * [taylor]: Taking taylor expansion of 0 in t
0.249 * [taylor]: Taking taylor expansion of 0 in y
0.250 * [taylor]: Taking taylor expansion of 0 in z
0.250 * [taylor]: Taking taylor expansion of 0 in z
0.251 * [taylor]: Taking taylor expansion of 0 in z
0.251 * [taylor]: Taking taylor expansion of 0 in z
0.251 * [taylor]: Taking taylor expansion of 0 in t
0.251 * [taylor]: Taking taylor expansion of 0 in t
0.252 * [taylor]: Taking taylor expansion of 0 in t
0.253 * [taylor]: Taking taylor expansion of 0 in t
0.253 * [taylor]: Taking taylor expansion of 0 in t
0.253 * [taylor]: Taking taylor expansion of 0 in t
0.253 * [taylor]: Taking taylor expansion of 0 in t
0.254 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
0.254 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.254 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.254 * [taylor]: Taking taylor expansion of (* x y) in t
0.254 * [taylor]: Taking taylor expansion of x in t
0.254 * [taylor]: Taking taylor expansion of y in t
0.254 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.254 * [taylor]: Taking taylor expansion of 9.0 in t
0.254 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.254 * [taylor]: Taking taylor expansion of (* t z) in t
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [taylor]: Taking taylor expansion of z in t
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.255 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.255 * [taylor]: Taking taylor expansion of (* x y) in z
0.255 * [taylor]: Taking taylor expansion of x in z
0.255 * [taylor]: Taking taylor expansion of y in z
0.255 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.255 * [taylor]: Taking taylor expansion of 9.0 in z
0.255 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.255 * [taylor]: Taking taylor expansion of (* t z) in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.255 * [taylor]: Taking taylor expansion of (* x y) in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.256 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.256 * [taylor]: Taking taylor expansion of 9.0 in y
0.256 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.256 * [taylor]: Taking taylor expansion of (* t z) in y
0.256 * [taylor]: Taking taylor expansion of t in y
0.256 * [taylor]: Taking taylor expansion of z in y
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.256 * [taylor]: Taking taylor expansion of (* x y) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.256 * [taylor]: Taking taylor expansion of 9.0 in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.256 * [taylor]: Taking taylor expansion of (* t z) in x
0.256 * [taylor]: Taking taylor expansion of t in x
0.256 * [taylor]: Taking taylor expansion of z in x
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.256 * [taylor]: Taking taylor expansion of (* x y) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.257 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.257 * [taylor]: Taking taylor expansion of 9.0 in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.257 * [taylor]: Taking taylor expansion of (* t z) in x
0.257 * [taylor]: Taking taylor expansion of t in x
0.257 * [taylor]: Taking taylor expansion of z in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.257 * [taylor]: Taking taylor expansion of y in y
0.257 * [taylor]: Taking taylor expansion of 1 in z
0.258 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
0.258 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.258 * [taylor]: Taking taylor expansion of 9.0 in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.258 * [taylor]: Taking taylor expansion of (* t z) in y
0.258 * [taylor]: Taking taylor expansion of t in y
0.258 * [taylor]: Taking taylor expansion of z in y
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [taylor]: Taking taylor expansion of 1 in t
0.260 * [taylor]: Taking taylor expansion of 0 in y
0.260 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
0.260 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.261 * [taylor]: Taking taylor expansion of 9.0 in z
0.261 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.261 * [taylor]: Taking taylor expansion of (* t z) in z
0.261 * [taylor]: Taking taylor expansion of t in z
0.261 * [taylor]: Taking taylor expansion of z in z
0.261 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
0.261 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
0.261 * [taylor]: Taking taylor expansion of 9.0 in t
0.261 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.261 * [taylor]: Taking taylor expansion of t in t
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.263 * [taylor]: Taking taylor expansion of 0 in t
0.263 * [taylor]: Taking taylor expansion of 0 in t
0.265 * [taylor]: Taking taylor expansion of 0 in y
0.265 * [taylor]: Taking taylor expansion of 0 in z
0.266 * [taylor]: Taking taylor expansion of 0 in z
0.266 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in t
0.267 * [taylor]: Taking taylor expansion of 0 in t
0.267 * [taylor]: Taking taylor expansion of 0 in t
0.267 * [taylor]: Taking taylor expansion of 0 in t
0.272 * [taylor]: Taking taylor expansion of 0 in y
0.272 * [taylor]: Taking taylor expansion of 0 in z
0.272 * [taylor]: Taking taylor expansion of 0 in z
0.273 * [taylor]: Taking taylor expansion of 0 in z
0.274 * [taylor]: Taking taylor expansion of 0 in z
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.276 * * * [progress]: simplifying candidates
0.277 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log1p (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (- (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)))
  (- (- (* x y) (* (* z 9.0) t)))
  (- (* 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)))
  (expm1 (* (* z 9.0) t))
  (log1p (* (* 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)
  (fma x y (- (* t (* z 9.0))))
  (fma (- t) (* z 9.0) (* t (* z 9.0)))
  (expm1 (- (* x y) (* (* z 9.0) t)))
  (log1p (- (* x y) (* (* z 9.0) t)))
  (- (* (* 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))))
  (- (* (* z 9.0) t))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (+ (* x y) (* (* z 9.0) t))
  (- (* (* z 9.0) t))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
0.283 * * [simplify]: iteration  0 :  346  enodes  (cost  438 )
0.291 * * [simplify]: iteration  1 :  1623  enodes  (cost  375 )
0.327 * * [simplify]: iteration  2 :  5002  enodes  (cost  375 )
0.330 * [simplify]: Simplified to:
   (expm1 (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log1p (/ (- (* 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)))
  (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)))
  (- (- (* x y) (* (* z 9.0) t)))
  (- (* 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)))
  (* (* (fma (* (* z 9.0) t) (fma x y (* (* z 9.0) t)) (* (* x y) (* x y))) 2.0) a)
  (* a (* 2.0 (fma x y (* (* z 9.0) t))))
  (expm1 (* (* z 9.0) t))
  (log1p (* (* z 9.0) t))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (exp (* (* z 9.0) t))
  (pow (* (* 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)
  (- (* x y) (* 9.0 (* t z)))
  (* (* z 9.0) (+ (- t) t))
  (expm1 (- (* x y) (* (* z 9.0) t)))
  (log1p (- (* x y) (* (* z 9.0) t)))
  (- (* (* z 9.0) t))
  (exp (- (* x y) (* (* z 9.0) t)))
  (log (- (* x y) (* 9.0 (* t z))))
  (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) (* 9.0 (* t z))) 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))
  (fma (* (* z 9.0) t) (fma x y (* (* z 9.0) t)) (* (* x y) (* x y)))
  (- (* (* z 9.0) t))
  (* (fma x y (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t)))
  (fma x y (* (* z 9.0) t))
  (- (* (* z 9.0) t))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
0.330 * * * [progress]: adding candidates to table
0.509 * * [progress]: iteration 2 / 4
0.509 * * * [progress]: picking best candidate
0.533 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))>
0.533 * * * [progress]: localizing error
0.544 * * * [progress]: generating rewritten candidates
0.544 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.552 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.558 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.563 * * * [progress]: generating series expansions
0.563 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.563 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0
0.563 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
0.563 * [taylor]: Taking taylor expansion of 0.5 in a
0.563 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
0.563 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
0.563 * [taylor]: Taking taylor expansion of (* x y) in a
0.563 * [taylor]: Taking taylor expansion of x in a
0.563 * [taylor]: Taking taylor expansion of y in a
0.563 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
0.563 * [taylor]: Taking taylor expansion of 9.0 in a
0.563 * [taylor]: Taking taylor expansion of (* t z) in a
0.563 * [taylor]: Taking taylor expansion of t in a
0.563 * [taylor]: Taking taylor expansion of z in a
0.563 * [taylor]: Taking taylor expansion of a in a
0.564 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
0.564 * [taylor]: Taking taylor expansion of 0.5 in t
0.564 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
0.564 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
0.564 * [taylor]: Taking taylor expansion of (* x y) in t
0.564 * [taylor]: Taking taylor expansion of x in t
0.564 * [taylor]: Taking taylor expansion of y in t
0.564 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.564 * [taylor]: Taking taylor expansion of 9.0 in t
0.564 * [taylor]: Taking taylor expansion of (* t z) in t
0.564 * [taylor]: Taking taylor expansion of t in t
0.564 * [taylor]: Taking taylor expansion of z in t
0.564 * [taylor]: Taking taylor expansion of a in t
0.565 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
0.565 * [taylor]: Taking taylor expansion of 0.5 in z
0.565 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
0.565 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
0.565 * [taylor]: Taking taylor expansion of (* x y) in z
0.565 * [taylor]: Taking taylor expansion of x in z
0.565 * [taylor]: Taking taylor expansion of y in z
0.565 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.565 * [taylor]: Taking taylor expansion of 9.0 in z
0.565 * [taylor]: Taking taylor expansion of (* t z) in z
0.565 * [taylor]: Taking taylor expansion of t in z
0.565 * [taylor]: Taking taylor expansion of z in z
0.565 * [taylor]: Taking taylor expansion of a in z
0.566 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
0.566 * [taylor]: Taking taylor expansion of 0.5 in y
0.566 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
0.566 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
0.566 * [taylor]: Taking taylor expansion of (* x y) in y
0.566 * [taylor]: Taking taylor expansion of x in y
0.566 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.566 * [taylor]: Taking taylor expansion of 9.0 in y
0.566 * [taylor]: Taking taylor expansion of (* t z) in y
0.566 * [taylor]: Taking taylor expansion of t in y
0.566 * [taylor]: Taking taylor expansion of z in y
0.566 * [taylor]: Taking taylor expansion of a in y
0.566 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
0.566 * [taylor]: Taking taylor expansion of 0.5 in x
0.566 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
0.566 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.566 * [taylor]: Taking taylor expansion of (* x y) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of y in x
0.566 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.566 * [taylor]: Taking taylor expansion of 9.0 in x
0.566 * [taylor]: Taking taylor expansion of (* t z) in x
0.566 * [taylor]: Taking taylor expansion of t in x
0.566 * [taylor]: Taking taylor expansion of z in x
0.566 * [taylor]: Taking taylor expansion of a in x
0.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
0.567 * [taylor]: Taking taylor expansion of 0.5 in x
0.567 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
0.567 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.567 * [taylor]: Taking taylor expansion of (* x y) in x
0.567 * [taylor]: Taking taylor expansion of x in x
0.567 * [taylor]: Taking taylor expansion of y in x
0.567 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.567 * [taylor]: Taking taylor expansion of 9.0 in x
0.567 * [taylor]: Taking taylor expansion of (* t z) in x
0.567 * [taylor]: Taking taylor expansion of t in x
0.567 * [taylor]: Taking taylor expansion of z in x
0.567 * [taylor]: Taking taylor expansion of a in x
0.567 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
0.567 * [taylor]: Taking taylor expansion of -4.5 in y
0.567 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
0.567 * [taylor]: Taking taylor expansion of (* t z) in y
0.567 * [taylor]: Taking taylor expansion of t in y
0.567 * [taylor]: Taking taylor expansion of z in y
0.567 * [taylor]: Taking taylor expansion of a in y
0.567 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z
0.567 * [taylor]: Taking taylor expansion of -4.5 in z
0.567 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
0.567 * [taylor]: Taking taylor expansion of (* t z) in z
0.567 * [taylor]: Taking taylor expansion of t in z
0.567 * [taylor]: Taking taylor expansion of z in z
0.567 * [taylor]: Taking taylor expansion of a in z
0.569 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
0.569 * [taylor]: Taking taylor expansion of 0.5 in y
0.569 * [taylor]: Taking taylor expansion of (/ y a) in y
0.569 * [taylor]: Taking taylor expansion of y in y
0.569 * [taylor]: Taking taylor expansion of a in y
0.570 * [taylor]: Taking taylor expansion of 0 in z
0.570 * [taylor]: Taking taylor expansion of 0 in t
0.570 * [taylor]: Taking taylor expansion of 0 in a
0.570 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t
0.570 * [taylor]: Taking taylor expansion of -4.5 in t
0.570 * [taylor]: Taking taylor expansion of (/ t a) in t
0.570 * [taylor]: Taking taylor expansion of t in t
0.570 * [taylor]: Taking taylor expansion of a in t
0.572 * [taylor]: Taking taylor expansion of 0 in y
0.572 * [taylor]: Taking taylor expansion of 0 in z
0.572 * [taylor]: Taking taylor expansion of 0 in t
0.572 * [taylor]: Taking taylor expansion of 0 in a
0.572 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
0.572 * [taylor]: Taking taylor expansion of 0.5 in z
0.572 * [taylor]: Taking taylor expansion of a in z
0.572 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
0.572 * [taylor]: Taking taylor expansion of 0.5 in t
0.572 * [taylor]: Taking taylor expansion of a in t
0.572 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
0.572 * [taylor]: Taking taylor expansion of 0.5 in a
0.572 * [taylor]: Taking taylor expansion of a in a
0.574 * [taylor]: Taking taylor expansion of 0 in z
0.574 * [taylor]: Taking taylor expansion of 0 in t
0.574 * [taylor]: Taking taylor expansion of 0 in a
0.574 * [taylor]: Taking taylor expansion of 0 in t
0.574 * [taylor]: Taking taylor expansion of 0 in a
0.575 * [taylor]: Taking taylor expansion of 0 in t
0.575 * [taylor]: Taking taylor expansion of 0 in a
0.575 * [taylor]: Taking taylor expansion of 0 in a
0.575 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
0.575 * [taylor]: Taking taylor expansion of -4.5 in a
0.575 * [taylor]: Taking taylor expansion of a in a
0.579 * [taylor]: Taking taylor expansion of 0 in y
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in t
0.579 * [taylor]: Taking taylor expansion of 0 in a
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in t
0.579 * [taylor]: Taking taylor expansion of 0 in a
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in t
0.579 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [taylor]: Taking taylor expansion of 0 in t
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in t
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in t
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in t
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in t
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in t
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.586 * [taylor]: Taking taylor expansion of 0 in a
0.588 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
0.588 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
0.588 * [taylor]: Taking taylor expansion of 0.5 in a
0.588 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
0.588 * [taylor]: Taking taylor expansion of a in a
0.588 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.588 * [taylor]: Taking taylor expansion of (* x y) in a
0.588 * [taylor]: Taking taylor expansion of x in a
0.588 * [taylor]: Taking taylor expansion of y in a
0.588 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
0.588 * [taylor]: Taking taylor expansion of 9.0 in a
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.588 * [taylor]: Taking taylor expansion of (* t z) in a
0.588 * [taylor]: Taking taylor expansion of t in a
0.588 * [taylor]: Taking taylor expansion of z in a
0.588 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
0.588 * [taylor]: Taking taylor expansion of 0.5 in t
0.588 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
0.588 * [taylor]: Taking taylor expansion of a in t
0.588 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.588 * [taylor]: Taking taylor expansion of (* x y) in t
0.588 * [taylor]: Taking taylor expansion of x in t
0.588 * [taylor]: Taking taylor expansion of y in t
0.588 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.588 * [taylor]: Taking taylor expansion of 9.0 in t
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.588 * [taylor]: Taking taylor expansion of (* t z) in t
0.588 * [taylor]: Taking taylor expansion of t in t
0.588 * [taylor]: Taking taylor expansion of z in t
0.589 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
0.589 * [taylor]: Taking taylor expansion of 0.5 in z
0.589 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
0.589 * [taylor]: Taking taylor expansion of a in z
0.589 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.589 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.589 * [taylor]: Taking taylor expansion of (* x y) in z
0.589 * [taylor]: Taking taylor expansion of x in z
0.589 * [taylor]: Taking taylor expansion of y in z
0.589 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.589 * [taylor]: Taking taylor expansion of 9.0 in z
0.589 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.589 * [taylor]: Taking taylor expansion of (* t z) in z
0.589 * [taylor]: Taking taylor expansion of t in z
0.589 * [taylor]: Taking taylor expansion of z in z
0.589 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
0.589 * [taylor]: Taking taylor expansion of 0.5 in y
0.590 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
0.590 * [taylor]: Taking taylor expansion of a in y
0.590 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.590 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.590 * [taylor]: Taking taylor expansion of (* x y) in y
0.590 * [taylor]: Taking taylor expansion of x in y
0.590 * [taylor]: Taking taylor expansion of y in y
0.590 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.590 * [taylor]: Taking taylor expansion of 9.0 in y
0.590 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.590 * [taylor]: Taking taylor expansion of (* t z) in y
0.590 * [taylor]: Taking taylor expansion of t in y
0.590 * [taylor]: Taking taylor expansion of z in y
0.590 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.590 * [taylor]: Taking taylor expansion of 0.5 in x
0.590 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.590 * [taylor]: Taking taylor expansion of a in x
0.590 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.590 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.590 * [taylor]: Taking taylor expansion of (* x y) in x
0.590 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of y in x
0.591 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.591 * [taylor]: Taking taylor expansion of 9.0 in x
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.591 * [taylor]: Taking taylor expansion of (* t z) in x
0.591 * [taylor]: Taking taylor expansion of t in x
0.591 * [taylor]: Taking taylor expansion of z in x
0.591 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.591 * [taylor]: Taking taylor expansion of 0.5 in x
0.591 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.591 * [taylor]: Taking taylor expansion of a in x
0.591 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.591 * [taylor]: Taking taylor expansion of (* x y) in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.591 * [taylor]: Taking taylor expansion of y in x
0.591 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.591 * [taylor]: Taking taylor expansion of 9.0 in x
0.591 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.591 * [taylor]: Taking taylor expansion of (* t z) in x
0.591 * [taylor]: Taking taylor expansion of t in x
0.591 * [taylor]: Taking taylor expansion of z in x
0.592 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
0.592 * [taylor]: Taking taylor expansion of 0.5 in y
0.592 * [taylor]: Taking taylor expansion of (/ a y) in y
0.592 * [taylor]: Taking taylor expansion of a in y
0.592 * [taylor]: Taking taylor expansion of y in y
0.592 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
0.592 * [taylor]: Taking taylor expansion of 0.5 in z
0.592 * [taylor]: Taking taylor expansion of a in z
0.593 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in y
0.593 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.593 * [taylor]: Taking taylor expansion of 4.5 in y
0.593 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.593 * [taylor]: Taking taylor expansion of a in y
0.593 * [taylor]: Taking taylor expansion of (* z t) in y
0.593 * [taylor]: Taking taylor expansion of z in y
0.593 * [taylor]: Taking taylor expansion of t in y
0.594 * [taylor]: Taking taylor expansion of 0 in z
0.594 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
0.594 * [taylor]: Taking taylor expansion of 0.5 in t
0.594 * [taylor]: Taking taylor expansion of a in t
0.596 * [taylor]: Taking taylor expansion of 0 in y
0.596 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in z
0.596 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.596 * [taylor]: Taking taylor expansion of 4.5 in z
0.596 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.596 * [taylor]: Taking taylor expansion of a in z
0.596 * [taylor]: Taking taylor expansion of (* z t) in z
0.596 * [taylor]: Taking taylor expansion of z in z
0.596 * [taylor]: Taking taylor expansion of t in z
0.597 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a t))) in t
0.597 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.597 * [taylor]: Taking taylor expansion of 4.5 in t
0.597 * [taylor]: Taking taylor expansion of (/ a t) in t
0.597 * [taylor]: Taking taylor expansion of a in t
0.597 * [taylor]: Taking taylor expansion of t in t
0.597 * [taylor]: Taking taylor expansion of (- (* 4.5 a)) in a
0.597 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.597 * [taylor]: Taking taylor expansion of 4.5 in a
0.597 * [taylor]: Taking taylor expansion of a in a
0.599 * [taylor]: Taking taylor expansion of 0 in z
0.599 * [taylor]: Taking taylor expansion of 0 in t
0.599 * [taylor]: Taking taylor expansion of 0 in t
0.600 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
0.600 * [taylor]: Taking taylor expansion of 0.5 in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.603 * [taylor]: Taking taylor expansion of 0 in y
0.603 * [taylor]: Taking taylor expansion of 0 in z
0.604 * [taylor]: Taking taylor expansion of 0 in z
0.606 * [taylor]: Taking taylor expansion of 0 in z
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.608 * [taylor]: Taking taylor expansion of 0 in t
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.610 * [taylor]: Taking taylor expansion of 0 in a
0.610 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
0.610 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
0.610 * [taylor]: Taking taylor expansion of -0.5 in a
0.610 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
0.610 * [taylor]: Taking taylor expansion of a in a
0.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
0.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
0.610 * [taylor]: Taking taylor expansion of (* x y) in a
0.610 * [taylor]: Taking taylor expansion of x in a
0.610 * [taylor]: Taking taylor expansion of y in a
0.610 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
0.610 * [taylor]: Taking taylor expansion of 9.0 in a
0.610 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
0.610 * [taylor]: Taking taylor expansion of (* t z) in a
0.610 * [taylor]: Taking taylor expansion of t in a
0.610 * [taylor]: Taking taylor expansion of z in a
0.610 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
0.610 * [taylor]: Taking taylor expansion of -0.5 in t
0.610 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
0.610 * [taylor]: Taking taylor expansion of a in t
0.610 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.610 * [taylor]: Taking taylor expansion of (* x y) in t
0.610 * [taylor]: Taking taylor expansion of x in t
0.610 * [taylor]: Taking taylor expansion of y in t
0.610 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.610 * [taylor]: Taking taylor expansion of 9.0 in t
0.610 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.610 * [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 (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
0.611 * [taylor]: Taking taylor expansion of -0.5 in z
0.611 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
0.611 * [taylor]: Taking taylor expansion of a in z
0.611 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.611 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.611 * [taylor]: Taking taylor expansion of (* x y) in z
0.611 * [taylor]: Taking taylor expansion of x in z
0.611 * [taylor]: Taking taylor expansion of y in z
0.611 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.611 * [taylor]: Taking taylor expansion of 9.0 in z
0.611 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.611 * [taylor]: Taking taylor expansion of (* t z) in z
0.611 * [taylor]: Taking taylor expansion of t in z
0.611 * [taylor]: Taking taylor expansion of z in z
0.612 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
0.612 * [taylor]: Taking taylor expansion of -0.5 in y
0.612 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
0.612 * [taylor]: Taking taylor expansion of a in y
0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.612 * [taylor]: Taking taylor expansion of (* x y) in y
0.612 * [taylor]: Taking taylor expansion of x in y
0.612 * [taylor]: Taking taylor expansion of y in y
0.612 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.612 * [taylor]: Taking taylor expansion of 9.0 in y
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.612 * [taylor]: Taking taylor expansion of (* t z) in y
0.612 * [taylor]: Taking taylor expansion of t in y
0.612 * [taylor]: Taking taylor expansion of z in y
0.612 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.612 * [taylor]: Taking taylor expansion of -0.5 in x
0.612 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.612 * [taylor]: Taking taylor expansion of a in x
0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.612 * [taylor]: Taking taylor expansion of (* x y) in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.613 * [taylor]: Taking taylor expansion of 9.0 in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.613 * [taylor]: Taking taylor expansion of (* t z) in x
0.613 * [taylor]: Taking taylor expansion of t in x
0.613 * [taylor]: Taking taylor expansion of z in x
0.613 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
0.613 * [taylor]: Taking taylor expansion of -0.5 in x
0.613 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
0.613 * [taylor]: Taking taylor expansion of a in x
0.613 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.613 * [taylor]: Taking taylor expansion of (* x y) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.613 * [taylor]: Taking taylor expansion of 9.0 in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.613 * [taylor]: Taking taylor expansion of (* t z) in x
0.613 * [taylor]: Taking taylor expansion of t in x
0.613 * [taylor]: Taking taylor expansion of z in x
0.614 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
0.614 * [taylor]: Taking taylor expansion of -0.5 in y
0.614 * [taylor]: Taking taylor expansion of (/ a y) in y
0.614 * [taylor]: Taking taylor expansion of a in y
0.614 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
0.614 * [taylor]: Taking taylor expansion of -0.5 in z
0.614 * [taylor]: Taking taylor expansion of a in z
0.615 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
0.615 * [taylor]: Taking taylor expansion of 4.5 in y
0.615 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
0.615 * [taylor]: Taking taylor expansion of a in y
0.615 * [taylor]: Taking taylor expansion of (* z t) in y
0.615 * [taylor]: Taking taylor expansion of z in y
0.615 * [taylor]: Taking taylor expansion of t in y
0.616 * [taylor]: Taking taylor expansion of 0 in z
0.616 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
0.616 * [taylor]: Taking taylor expansion of -0.5 in t
0.616 * [taylor]: Taking taylor expansion of a in t
0.618 * [taylor]: Taking taylor expansion of 0 in y
0.618 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
0.618 * [taylor]: Taking taylor expansion of 4.5 in z
0.618 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
0.618 * [taylor]: Taking taylor expansion of a in z
0.618 * [taylor]: Taking taylor expansion of (* z t) in z
0.618 * [taylor]: Taking taylor expansion of z in z
0.618 * [taylor]: Taking taylor expansion of t in z
0.619 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
0.619 * [taylor]: Taking taylor expansion of 4.5 in t
0.619 * [taylor]: Taking taylor expansion of (/ a t) in t
0.619 * [taylor]: Taking taylor expansion of a in t
0.619 * [taylor]: Taking taylor expansion of t in t
0.619 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
0.619 * [taylor]: Taking taylor expansion of 4.5 in a
0.619 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of 0 in z
0.621 * [taylor]: Taking taylor expansion of 0 in t
0.621 * [taylor]: Taking taylor expansion of 0 in t
0.621 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
0.621 * [taylor]: Taking taylor expansion of -0.5 in a
0.621 * [taylor]: Taking taylor expansion of a in a
0.625 * [taylor]: Taking taylor expansion of 0 in y
0.625 * [taylor]: Taking taylor expansion of 0 in z
0.625 * [taylor]: Taking taylor expansion of 0 in z
0.627 * [taylor]: Taking taylor expansion of 0 in z
0.628 * [taylor]: Taking taylor expansion of 0 in t
0.628 * [taylor]: Taking taylor expansion of 0 in t
0.628 * [taylor]: Taking taylor expansion of 0 in t
0.629 * [taylor]: Taking taylor expansion of 0 in t
0.630 * [taylor]: Taking taylor expansion of 0 in a
0.630 * [taylor]: Taking taylor expansion of 0 in a
0.630 * [taylor]: Taking taylor expansion of 0 in a
0.630 * [taylor]: Taking taylor expansion of 0 in a
0.630 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.630 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
0.630 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.630 * [taylor]: Taking taylor expansion of 9.0 in t
0.630 * [taylor]: Taking taylor expansion of (* t z) in t
0.630 * [taylor]: Taking taylor expansion of t in t
0.630 * [taylor]: Taking taylor expansion of z in t
0.630 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.630 * [taylor]: Taking taylor expansion of 9.0 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 (* 9.0 (* t z)) in z
0.630 * [taylor]: Taking taylor expansion of 9.0 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.631 * [taylor]: Taking taylor expansion of 0 in t
0.631 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
0.631 * [taylor]: Taking taylor expansion of 9.0 in t
0.631 * [taylor]: Taking taylor expansion of t in t
0.633 * [taylor]: Taking taylor expansion of 0 in t
0.635 * [taylor]: Taking taylor expansion of 0 in t
0.637 * [taylor]: Taking taylor expansion of 0 in t
0.637 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
0.637 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
0.637 * [taylor]: Taking taylor expansion of 9.0 in t
0.637 * [taylor]: Taking taylor expansion of (* t z) in t
0.637 * [taylor]: Taking taylor expansion of t in t
0.637 * [taylor]: Taking taylor expansion of z in t
0.637 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.637 * [taylor]: Taking taylor expansion of 9.0 in z
0.637 * [taylor]: Taking taylor expansion of (* t z) in z
0.637 * [taylor]: Taking taylor expansion of t in z
0.637 * [taylor]: Taking taylor expansion of z in z
0.638 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.638 * [taylor]: Taking taylor expansion of 9.0 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 (/ 9.0 t) in t
0.638 * [taylor]: Taking taylor expansion of 9.0 in t
0.638 * [taylor]: Taking taylor expansion of t in t
0.639 * [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 t
0.642 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
0.642 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
0.642 * [taylor]: Taking taylor expansion of 9.0 in t
0.642 * [taylor]: Taking taylor expansion of (* t z) in t
0.642 * [taylor]: Taking taylor expansion of t in t
0.642 * [taylor]: Taking taylor expansion of z in t
0.643 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.643 * [taylor]: Taking taylor expansion of 9.0 in z
0.643 * [taylor]: Taking taylor expansion of (* t z) in z
0.643 * [taylor]: Taking taylor expansion of t in z
0.643 * [taylor]: Taking taylor expansion of z in z
0.643 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
0.643 * [taylor]: Taking taylor expansion of 9.0 in z
0.643 * [taylor]: Taking taylor expansion of (* t z) in z
0.643 * [taylor]: Taking taylor expansion of t in z
0.643 * [taylor]: Taking taylor expansion of z in z
0.643 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
0.644 * [taylor]: Taking taylor expansion of 9.0 in t
0.644 * [taylor]: Taking taylor expansion of t in t
0.644 * [taylor]: Taking taylor expansion of 0 in t
0.645 * [taylor]: Taking taylor expansion of 0 in t
0.647 * [taylor]: Taking taylor expansion of 0 in t
0.647 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.647 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0
0.647 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
0.647 * [taylor]: Taking taylor expansion of (* x y) in t
0.647 * [taylor]: Taking taylor expansion of x in t
0.648 * [taylor]: Taking taylor expansion of y in t
0.648 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
0.648 * [taylor]: Taking taylor expansion of 9.0 in t
0.648 * [taylor]: Taking taylor expansion of (* t z) in t
0.648 * [taylor]: Taking taylor expansion of t in t
0.648 * [taylor]: Taking taylor expansion of z in t
0.648 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
0.648 * [taylor]: Taking taylor expansion of (* x y) in z
0.648 * [taylor]: Taking taylor expansion of x in z
0.648 * [taylor]: Taking taylor expansion of y in z
0.648 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.648 * [taylor]: Taking taylor expansion of 9.0 in z
0.648 * [taylor]: Taking taylor expansion of (* t z) in z
0.648 * [taylor]: Taking taylor expansion of t in z
0.648 * [taylor]: Taking taylor expansion of z in z
0.648 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
0.648 * [taylor]: Taking taylor expansion of (* x y) in y
0.648 * [taylor]: Taking taylor expansion of x in y
0.648 * [taylor]: Taking taylor expansion of y in y
0.648 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.648 * [taylor]: Taking taylor expansion of 9.0 in y
0.648 * [taylor]: Taking taylor expansion of (* t z) in y
0.648 * [taylor]: Taking taylor expansion of t in y
0.648 * [taylor]: Taking taylor expansion of z in y
0.648 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.648 * [taylor]: Taking taylor expansion of (* x y) in x
0.648 * [taylor]: Taking taylor expansion of x in x
0.648 * [taylor]: Taking taylor expansion of y in x
0.648 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.648 * [taylor]: Taking taylor expansion of 9.0 in x
0.648 * [taylor]: Taking taylor expansion of (* t z) in x
0.648 * [taylor]: Taking taylor expansion of t in x
0.648 * [taylor]: Taking taylor expansion of z in x
0.648 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
0.648 * [taylor]: Taking taylor expansion of (* x y) in x
0.648 * [taylor]: Taking taylor expansion of x in x
0.648 * [taylor]: Taking taylor expansion of y in x
0.648 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
0.648 * [taylor]: Taking taylor expansion of 9.0 in x
0.648 * [taylor]: Taking taylor expansion of (* t z) in x
0.648 * [taylor]: Taking taylor expansion of t in x
0.648 * [taylor]: Taking taylor expansion of z in x
0.648 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in y
0.648 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
0.648 * [taylor]: Taking taylor expansion of 9.0 in y
0.648 * [taylor]: Taking taylor expansion of (* t z) in y
0.648 * [taylor]: Taking taylor expansion of t in y
0.649 * [taylor]: Taking taylor expansion of z in y
0.649 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
0.649 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
0.649 * [taylor]: Taking taylor expansion of 9.0 in z
0.649 * [taylor]: Taking taylor expansion of (* t z) in z
0.649 * [taylor]: Taking taylor expansion of t in z
0.649 * [taylor]: Taking taylor expansion of z in z
0.649 * [taylor]: Taking taylor expansion of 0 in t
0.650 * [taylor]: Taking taylor expansion of y in y
0.650 * [taylor]: Taking taylor expansion of 0 in z
0.650 * [taylor]: Taking taylor expansion of 0 in t
0.651 * [taylor]: Taking taylor expansion of 0 in z
0.651 * [taylor]: Taking taylor expansion of 0 in t
0.651 * [taylor]: Taking taylor expansion of (- (* 9.0 t)) in t
0.651 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
0.651 * [taylor]: Taking taylor expansion of 9.0 in t
0.651 * [taylor]: Taking taylor expansion of t in t
0.654 * [taylor]: Taking taylor expansion of 0 in y
0.654 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in t
0.654 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
0.654 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.654 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.654 * [taylor]: Taking taylor expansion of (* x y) in t
0.654 * [taylor]: Taking taylor expansion of x in t
0.654 * [taylor]: Taking taylor expansion of y in t
0.654 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.654 * [taylor]: Taking taylor expansion of 9.0 in t
0.654 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.654 * [taylor]: Taking taylor expansion of (* t z) in t
0.654 * [taylor]: Taking taylor expansion of t in t
0.654 * [taylor]: Taking taylor expansion of z in t
0.655 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.655 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.655 * [taylor]: Taking taylor expansion of (* x y) in z
0.655 * [taylor]: Taking taylor expansion of x in z
0.655 * [taylor]: Taking taylor expansion of y in z
0.655 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.655 * [taylor]: Taking taylor expansion of 9.0 in z
0.655 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.655 * [taylor]: Taking taylor expansion of (* t z) in z
0.655 * [taylor]: Taking taylor expansion of t in z
0.655 * [taylor]: Taking taylor expansion of z in z
0.655 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.655 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.655 * [taylor]: Taking taylor expansion of (* x y) in y
0.655 * [taylor]: Taking taylor expansion of x in y
0.655 * [taylor]: Taking taylor expansion of y in y
0.656 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.656 * [taylor]: Taking taylor expansion of 9.0 in y
0.656 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.656 * [taylor]: Taking taylor expansion of (* t z) in y
0.656 * [taylor]: Taking taylor expansion of t in y
0.656 * [taylor]: Taking taylor expansion of z in y
0.656 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.656 * [taylor]: Taking taylor expansion of (* x y) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of y in x
0.656 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.656 * [taylor]: Taking taylor expansion of 9.0 in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.656 * [taylor]: Taking taylor expansion of (* t z) in x
0.656 * [taylor]: Taking taylor expansion of t in x
0.656 * [taylor]: Taking taylor expansion of z in x
0.656 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.656 * [taylor]: Taking taylor expansion of (* x y) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of y in x
0.657 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.657 * [taylor]: Taking taylor expansion of 9.0 in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.657 * [taylor]: Taking taylor expansion of (* t z) in x
0.657 * [taylor]: Taking taylor expansion of t in x
0.657 * [taylor]: Taking taylor expansion of z in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.657 * [taylor]: Taking taylor expansion of y in y
0.657 * [taylor]: Taking taylor expansion of 1 in z
0.658 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
0.658 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.658 * [taylor]: Taking taylor expansion of 9.0 in y
0.658 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.658 * [taylor]: Taking taylor expansion of (* t z) in y
0.658 * [taylor]: Taking taylor expansion of t in y
0.658 * [taylor]: Taking taylor expansion of z in y
0.659 * [taylor]: Taking taylor expansion of 0 in z
0.659 * [taylor]: Taking taylor expansion of 1 in t
0.661 * [taylor]: Taking taylor expansion of 0 in y
0.661 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
0.661 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.661 * [taylor]: Taking taylor expansion of 9.0 in z
0.661 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.661 * [taylor]: Taking taylor expansion of (* t z) in z
0.661 * [taylor]: Taking taylor expansion of t in z
0.661 * [taylor]: Taking taylor expansion of z in z
0.661 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
0.661 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
0.661 * [taylor]: Taking taylor expansion of 9.0 in t
0.661 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.661 * [taylor]: Taking taylor expansion of t in t
0.663 * [taylor]: Taking taylor expansion of 0 in z
0.663 * [taylor]: Taking taylor expansion of 0 in t
0.663 * [taylor]: Taking taylor expansion of 0 in t
0.665 * [taylor]: Taking taylor expansion of 0 in y
0.665 * [taylor]: Taking taylor expansion of 0 in z
0.666 * [taylor]: Taking taylor expansion of 0 in z
0.667 * [taylor]: Taking taylor expansion of 0 in z
0.668 * [taylor]: Taking taylor expansion of 0 in t
0.668 * [taylor]: Taking taylor expansion of 0 in t
0.668 * [taylor]: Taking taylor expansion of 0 in t
0.668 * [taylor]: Taking taylor expansion of 0 in t
0.675 * [taylor]: Taking taylor expansion of 0 in y
0.675 * [taylor]: Taking taylor expansion of 0 in z
0.675 * [taylor]: Taking taylor expansion of 0 in z
0.676 * [taylor]: Taking taylor expansion of 0 in z
0.677 * [taylor]: Taking taylor expansion of 0 in z
0.677 * [taylor]: Taking taylor expansion of 0 in t
0.677 * [taylor]: Taking taylor expansion of 0 in t
0.677 * [taylor]: Taking taylor expansion of 0 in t
0.678 * [taylor]: Taking taylor expansion of 0 in t
0.678 * [taylor]: Taking taylor expansion of 0 in t
0.678 * [taylor]: Taking taylor expansion of 0 in t
0.678 * [taylor]: Taking taylor expansion of 0 in t
0.679 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
0.679 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
0.679 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.679 * [taylor]: Taking taylor expansion of (* x y) in t
0.679 * [taylor]: Taking taylor expansion of x in t
0.679 * [taylor]: Taking taylor expansion of y in t
0.679 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
0.679 * [taylor]: Taking taylor expansion of 9.0 in t
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.680 * [taylor]: Taking taylor expansion of (* t z) in t
0.680 * [taylor]: Taking taylor expansion of t in t
0.680 * [taylor]: Taking taylor expansion of z in t
0.680 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.680 * [taylor]: Taking taylor expansion of (* x y) in z
0.680 * [taylor]: Taking taylor expansion of x in z
0.680 * [taylor]: Taking taylor expansion of y in z
0.680 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.680 * [taylor]: Taking taylor expansion of 9.0 in z
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.680 * [taylor]: Taking taylor expansion of (* t z) in z
0.680 * [taylor]: Taking taylor expansion of t in z
0.680 * [taylor]: Taking taylor expansion of z in z
0.680 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.680 * [taylor]: Taking taylor expansion of (* x y) in y
0.680 * [taylor]: Taking taylor expansion of x in y
0.681 * [taylor]: Taking taylor expansion of y in y
0.681 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.681 * [taylor]: Taking taylor expansion of 9.0 in y
0.681 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.681 * [taylor]: Taking taylor expansion of (* t z) in y
0.681 * [taylor]: Taking taylor expansion of t in y
0.681 * [taylor]: Taking taylor expansion of z in y
0.681 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.681 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.681 * [taylor]: Taking taylor expansion of (* x y) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of y in x
0.681 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.681 * [taylor]: Taking taylor expansion of 9.0 in x
0.681 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.681 * [taylor]: Taking taylor expansion of (* t z) in x
0.681 * [taylor]: Taking taylor expansion of t in x
0.681 * [taylor]: Taking taylor expansion of z in x
0.682 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.682 * [taylor]: Taking taylor expansion of (* x y) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of y in x
0.682 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
0.682 * [taylor]: Taking taylor expansion of 9.0 in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.682 * [taylor]: Taking taylor expansion of (* t z) in x
0.682 * [taylor]: Taking taylor expansion of t in x
0.682 * [taylor]: Taking taylor expansion of z in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.682 * [taylor]: Taking taylor expansion of y in y
0.682 * [taylor]: Taking taylor expansion of 1 in z
0.683 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
0.683 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
0.683 * [taylor]: Taking taylor expansion of 9.0 in y
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.683 * [taylor]: Taking taylor expansion of (* t z) in y
0.683 * [taylor]: Taking taylor expansion of t in y
0.683 * [taylor]: Taking taylor expansion of z in y
0.684 * [taylor]: Taking taylor expansion of 0 in z
0.684 * [taylor]: Taking taylor expansion of 1 in t
0.686 * [taylor]: Taking taylor expansion of 0 in y
0.686 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
0.686 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
0.686 * [taylor]: Taking taylor expansion of 9.0 in z
0.686 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.686 * [taylor]: Taking taylor expansion of (* t z) in z
0.686 * [taylor]: Taking taylor expansion of t in z
0.686 * [taylor]: Taking taylor expansion of z in z
0.686 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
0.686 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
0.686 * [taylor]: Taking taylor expansion of 9.0 in t
0.686 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.686 * [taylor]: Taking taylor expansion of t in t
0.688 * [taylor]: Taking taylor expansion of 0 in z
0.688 * [taylor]: Taking taylor expansion of 0 in t
0.688 * [taylor]: Taking taylor expansion of 0 in t
0.691 * [taylor]: Taking taylor expansion of 0 in y
0.691 * [taylor]: Taking taylor expansion of 0 in z
0.691 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [taylor]: Taking taylor expansion of 0 in z
0.693 * [taylor]: Taking taylor expansion of 0 in t
0.693 * [taylor]: Taking taylor expansion of 0 in t
0.693 * [taylor]: Taking taylor expansion of 0 in t
0.693 * [taylor]: Taking taylor expansion of 0 in t
0.697 * [taylor]: Taking taylor expansion of 0 in y
0.698 * [taylor]: Taking taylor expansion of 0 in z
0.698 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in t
0.699 * [taylor]: Taking taylor expansion of 0 in t
0.700 * [taylor]: Taking taylor expansion of 0 in t
0.701 * [taylor]: Taking taylor expansion of 0 in t
0.701 * [taylor]: Taking taylor expansion of 0 in t
0.701 * [taylor]: Taking taylor expansion of 0 in t
0.701 * [taylor]: Taking taylor expansion of 0 in t
0.702 * * * [progress]: simplifying candidates
0.703 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (log1p (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (- (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)))
  (- (- (* x y) (* z (* 9.0 t))))
  (- (* 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))))
  (expm1 (* z (* 9.0 t)))
  (log1p (* z (* 9.0 t)))
  (* z (* 9.0 t))
  (* z (* 9.0 t))
  (+ (log z) (+ (log 9.0) (log t)))
  (+ (log z) (log (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (exp (* z (* 9.0 t)))
  (* (* (* z z) z) (* (* (* 9.0 9.0) 9.0) (* (* t t) t)))
  (* (* (* z z) z) (* (* (* 9.0 t) (* 9.0 t)) (* 9.0 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 z) (* 9.0 t))
  (* (sqrt z) (* 9.0 t))
  (* z (* 9.0 t))
  (fma x y (- (* (* 9.0 t) z)))
  (fma (- (* 9.0 t)) z (* (* 9.0 t) z))
  (expm1 (- (* x y) (* z (* 9.0 t))))
  (log1p (- (* x y) (* z (* 9.0 t))))
  (- (* 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)))))
  (- (* z (* 9.0 t)))
  (- (* (* x y) (* x y)) (* (* z (* 9.0 t)) (* z (* 9.0 t))))
  (+ (* x y) (* z (* 9.0 t)))
  (- (* z (* 9.0 t)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
0.708 * * [simplify]: iteration  0 :  342  enodes  (cost  437 )
0.716 * * [simplify]: iteration  1 :  1396  enodes  (cost  374 )
0.750 * * [simplify]: iteration  2 :  5002  enodes  (cost  374 )
0.752 * [simplify]: Simplified to:
   (expm1 (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (log1p (/ (- (* 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)))
  (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)))
  (- (- (* x y) (* z (* 9.0 t))))
  (- (* 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))))
  (* (* (fma (* z (* 9.0 t)) (fma x y (* z (* 9.0 t))) (* (* x y) (* x y))) 2.0) a)
  (* a (* 2.0 (fma x y (* z (* 9.0 t)))))
  (expm1 (* z (* 9.0 t)))
  (log1p (* z (* 9.0 t)))
  (* z (* 9.0 t))
  (* z (* 9.0 t))
  (log (* z (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (exp (* z (* 9.0 t)))
  (pow (* 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 z) (* 9.0 t))
  (* (sqrt z) (* 9.0 t))
  (* z (* 9.0 t))
  (- (* x y) (* 9.0 (* t z)))
  (* (* 9.0 t) (+ (- z) z))
  (expm1 (- (* x y) (* z (* 9.0 t))))
  (log1p (- (* x y) (* z (* 9.0 t))))
  (- (* z (* 9.0 t)))
  (exp (- (* x y) (* z (* 9.0 t))))
  (log (- (* x y) (* 9.0 (* t z))))
  (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) (* 9.0 (* t z))) 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))
  (fma (* z (* 9.0 t)) (fma x y (* z (* 9.0 t))) (* (* x y) (* x y)))
  (- (* z (* 9.0 t)))
  (* (fma x y (* z (* 9.0 t))) (- (* x y) (* z (* 9.0 t))))
  (fma x y (* z (* 9.0 t)))
  (- (* z (* 9.0 t)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  (* z (* 9.0 t))
  (* z (* 9.0 t))
  (* z (* 9.0 t))
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
0.753 * * * [progress]: adding candidates to table
0.926 * * [progress]: iteration 3 / 4
0.926 * * * [progress]: picking best candidate
0.948 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))>
0.948 * * * [progress]: localizing error
0.967 * * * [progress]: generating rewritten candidates
0.967 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.007 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
1.013 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
1.018 * * * [progress]: generating series expansions
1.018 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.018 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y t z a) around 0
1.018 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
1.018 * [taylor]: Taking taylor expansion of 0.5 in a
1.018 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
1.018 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
1.018 * [taylor]: Taking taylor expansion of (* x y) in a
1.018 * [taylor]: Taking taylor expansion of x in a
1.018 * [taylor]: Taking taylor expansion of y in a
1.018 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
1.018 * [taylor]: Taking taylor expansion of 9.0 in a
1.018 * [taylor]: Taking taylor expansion of (* t z) in a
1.018 * [taylor]: Taking taylor expansion of t in a
1.018 * [taylor]: Taking taylor expansion of z in a
1.018 * [taylor]: Taking taylor expansion of a in a
1.019 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
1.019 * [taylor]: Taking taylor expansion of 0.5 in z
1.019 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
1.019 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
1.019 * [taylor]: Taking taylor expansion of (* x y) in z
1.019 * [taylor]: Taking taylor expansion of x in z
1.019 * [taylor]: Taking taylor expansion of y in z
1.019 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.019 * [taylor]: Taking taylor expansion of 9.0 in z
1.019 * [taylor]: Taking taylor expansion of (* t z) in z
1.019 * [taylor]: Taking taylor expansion of t in z
1.019 * [taylor]: Taking taylor expansion of z in z
1.019 * [taylor]: Taking taylor expansion of a in z
1.020 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
1.020 * [taylor]: Taking taylor expansion of 0.5 in t
1.020 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
1.020 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
1.020 * [taylor]: Taking taylor expansion of (* x y) in t
1.020 * [taylor]: Taking taylor expansion of x in t
1.020 * [taylor]: Taking taylor expansion of y in t
1.020 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
1.020 * [taylor]: Taking taylor expansion of 9.0 in t
1.020 * [taylor]: Taking taylor expansion of (* t z) in t
1.020 * [taylor]: Taking taylor expansion of t in t
1.020 * [taylor]: Taking taylor expansion of z in t
1.020 * [taylor]: Taking taylor expansion of a in t
1.020 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
1.020 * [taylor]: Taking taylor expansion of 0.5 in y
1.021 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
1.021 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
1.021 * [taylor]: Taking taylor expansion of (* x y) in y
1.021 * [taylor]: Taking taylor expansion of x in y
1.021 * [taylor]: Taking taylor expansion of y in y
1.021 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
1.021 * [taylor]: Taking taylor expansion of 9.0 in y
1.021 * [taylor]: Taking taylor expansion of (* t z) in y
1.021 * [taylor]: Taking taylor expansion of t in y
1.021 * [taylor]: Taking taylor expansion of z in y
1.021 * [taylor]: Taking taylor expansion of a in y
1.021 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
1.021 * [taylor]: Taking taylor expansion of 0.5 in x
1.021 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
1.021 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
1.021 * [taylor]: Taking taylor expansion of (* x y) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of y in x
1.021 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
1.021 * [taylor]: Taking taylor expansion of 9.0 in x
1.021 * [taylor]: Taking taylor expansion of (* t z) in x
1.021 * [taylor]: Taking taylor expansion of t in x
1.021 * [taylor]: Taking taylor expansion of z in x
1.021 * [taylor]: Taking taylor expansion of a in x
1.022 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
1.022 * [taylor]: Taking taylor expansion of 0.5 in x
1.022 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
1.022 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
1.022 * [taylor]: Taking taylor expansion of (* x y) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of y in x
1.022 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
1.022 * [taylor]: Taking taylor expansion of 9.0 in x
1.022 * [taylor]: Taking taylor expansion of (* t z) in x
1.022 * [taylor]: Taking taylor expansion of t in x
1.022 * [taylor]: Taking taylor expansion of z in x
1.022 * [taylor]: Taking taylor expansion of a in x
1.022 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
1.022 * [taylor]: Taking taylor expansion of -4.5 in y
1.022 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
1.022 * [taylor]: Taking taylor expansion of (* t z) in y
1.022 * [taylor]: Taking taylor expansion of t in y
1.022 * [taylor]: Taking taylor expansion of z in y
1.022 * [taylor]: Taking taylor expansion of a in y
1.022 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in t
1.022 * [taylor]: Taking taylor expansion of -4.5 in t
1.022 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
1.022 * [taylor]: Taking taylor expansion of (* t z) in t
1.022 * [taylor]: Taking taylor expansion of t in t
1.022 * [taylor]: Taking taylor expansion of z in t
1.022 * [taylor]: Taking taylor expansion of a in t
1.024 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
1.024 * [taylor]: Taking taylor expansion of 0.5 in y
1.024 * [taylor]: Taking taylor expansion of (/ y a) in y
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [taylor]: Taking taylor expansion of a in y
1.025 * [taylor]: Taking taylor expansion of 0 in t
1.025 * [taylor]: Taking taylor expansion of 0 in z
1.025 * [taylor]: Taking taylor expansion of 0 in a
1.025 * [taylor]: Taking taylor expansion of (* -4.5 (/ z a)) in z
1.025 * [taylor]: Taking taylor expansion of -4.5 in z
1.025 * [taylor]: Taking taylor expansion of (/ z a) in z
1.025 * [taylor]: Taking taylor expansion of z in z
1.025 * [taylor]: Taking taylor expansion of a in z
1.027 * [taylor]: Taking taylor expansion of 0 in y
1.027 * [taylor]: Taking taylor expansion of 0 in t
1.027 * [taylor]: Taking taylor expansion of 0 in z
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.027 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
1.027 * [taylor]: Taking taylor expansion of 0.5 in t
1.027 * [taylor]: Taking taylor expansion of a in t
1.027 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
1.028 * [taylor]: Taking taylor expansion of 0.5 in z
1.028 * [taylor]: Taking taylor expansion of a in z
1.028 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
1.028 * [taylor]: Taking taylor expansion of 0.5 in a
1.028 * [taylor]: Taking taylor expansion of a in a
1.029 * [taylor]: Taking taylor expansion of 0 in t
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.030 * [taylor]: Taking taylor expansion of 0 in z
1.030 * [taylor]: Taking taylor expansion of 0 in a
1.030 * [taylor]: Taking taylor expansion of 0 in a
1.030 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
1.030 * [taylor]: Taking taylor expansion of -4.5 in a
1.030 * [taylor]: Taking taylor expansion of a in a
1.034 * [taylor]: Taking taylor expansion of 0 in y
1.034 * [taylor]: Taking taylor expansion of 0 in t
1.034 * [taylor]: Taking taylor expansion of 0 in z
1.034 * [taylor]: Taking taylor expansion of 0 in a
1.034 * [taylor]: Taking taylor expansion of 0 in t
1.034 * [taylor]: Taking taylor expansion of 0 in z
1.034 * [taylor]: Taking taylor expansion of 0 in a
1.034 * [taylor]: Taking taylor expansion of 0 in t
1.035 * [taylor]: Taking taylor expansion of 0 in z
1.035 * [taylor]: Taking taylor expansion of 0 in a
1.036 * [taylor]: Taking taylor expansion of 0 in t
1.036 * [taylor]: Taking taylor expansion of 0 in z
1.036 * [taylor]: Taking taylor expansion of 0 in a
1.036 * [taylor]: Taking taylor expansion of 0 in z
1.036 * [taylor]: Taking taylor expansion of 0 in a
1.036 * [taylor]: Taking taylor expansion of 0 in z
1.036 * [taylor]: Taking taylor expansion of 0 in a
1.036 * [taylor]: Taking taylor expansion of 0 in z
1.036 * [taylor]: Taking taylor expansion of 0 in a
1.036 * [taylor]: Taking taylor expansion of 0 in z
1.036 * [taylor]: Taking taylor expansion of 0 in a
1.038 * [taylor]: Taking taylor expansion of 0 in z
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.038 * [taylor]: Taking taylor expansion of 0 in a
1.039 * [taylor]: Taking taylor expansion of 0 in a
1.040 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y t z a) around 0
1.040 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
1.040 * [taylor]: Taking taylor expansion of 0.5 in a
1.040 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
1.040 * [taylor]: Taking taylor expansion of a in a
1.040 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
1.040 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.040 * [taylor]: Taking taylor expansion of (* x y) in a
1.040 * [taylor]: Taking taylor expansion of x in a
1.040 * [taylor]: Taking taylor expansion of y in a
1.040 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
1.040 * [taylor]: Taking taylor expansion of 9.0 in a
1.040 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.040 * [taylor]: Taking taylor expansion of (* t z) in a
1.040 * [taylor]: Taking taylor expansion of t in a
1.040 * [taylor]: Taking taylor expansion of z in a
1.040 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
1.040 * [taylor]: Taking taylor expansion of 0.5 in z
1.040 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
1.040 * [taylor]: Taking taylor expansion of a in z
1.040 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
1.040 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.040 * [taylor]: Taking taylor expansion of (* x y) in z
1.040 * [taylor]: Taking taylor expansion of x in z
1.040 * [taylor]: Taking taylor expansion of y in z
1.040 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
1.040 * [taylor]: Taking taylor expansion of 9.0 in z
1.040 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.041 * [taylor]: Taking taylor expansion of (* t z) in z
1.041 * [taylor]: Taking taylor expansion of t in z
1.041 * [taylor]: Taking taylor expansion of z in z
1.041 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
1.041 * [taylor]: Taking taylor expansion of 0.5 in t
1.041 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
1.041 * [taylor]: Taking taylor expansion of a in t
1.041 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
1.041 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.041 * [taylor]: Taking taylor expansion of (* x y) in t
1.041 * [taylor]: Taking taylor expansion of x in t
1.041 * [taylor]: Taking taylor expansion of y in t
1.041 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
1.041 * [taylor]: Taking taylor expansion of 9.0 in t
1.041 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.041 * [taylor]: Taking taylor expansion of (* t z) in t
1.041 * [taylor]: Taking taylor expansion of t in t
1.041 * [taylor]: Taking taylor expansion of z in t
1.042 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
1.042 * [taylor]: Taking taylor expansion of 0.5 in y
1.042 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
1.042 * [taylor]: Taking taylor expansion of a in y
1.042 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
1.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.042 * [taylor]: Taking taylor expansion of (* x y) in y
1.042 * [taylor]: Taking taylor expansion of x in y
1.042 * [taylor]: Taking taylor expansion of y in y
1.042 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
1.042 * [taylor]: Taking taylor expansion of 9.0 in y
1.042 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.042 * [taylor]: Taking taylor expansion of (* t z) in y
1.042 * [taylor]: Taking taylor expansion of t in y
1.042 * [taylor]: Taking taylor expansion of z in y
1.042 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
1.042 * [taylor]: Taking taylor expansion of 0.5 in x
1.042 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
1.042 * [taylor]: Taking taylor expansion of a in x
1.042 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.042 * [taylor]: Taking taylor expansion of (* x y) in x
1.042 * [taylor]: Taking taylor expansion of x in x
1.042 * [taylor]: Taking taylor expansion of y in x
1.043 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.043 * [taylor]: Taking taylor expansion of 9.0 in x
1.043 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.043 * [taylor]: Taking taylor expansion of (* t z) in x
1.043 * [taylor]: Taking taylor expansion of t in x
1.043 * [taylor]: Taking taylor expansion of z in x
1.043 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
1.043 * [taylor]: Taking taylor expansion of 0.5 in x
1.043 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
1.043 * [taylor]: Taking taylor expansion of a in x
1.043 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.043 * [taylor]: Taking taylor expansion of (* x y) in x
1.043 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of y in x
1.043 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.043 * [taylor]: Taking taylor expansion of 9.0 in x
1.043 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.043 * [taylor]: Taking taylor expansion of (* t z) in x
1.043 * [taylor]: Taking taylor expansion of t in x
1.043 * [taylor]: Taking taylor expansion of z in x
1.044 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
1.044 * [taylor]: Taking taylor expansion of 0.5 in y
1.044 * [taylor]: Taking taylor expansion of (/ a y) in y
1.044 * [taylor]: Taking taylor expansion of a in y
1.044 * [taylor]: Taking taylor expansion of y in y
1.044 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
1.044 * [taylor]: Taking taylor expansion of 0.5 in t
1.044 * [taylor]: Taking taylor expansion of a in t
1.045 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in y
1.045 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
1.045 * [taylor]: Taking taylor expansion of 4.5 in y
1.045 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
1.045 * [taylor]: Taking taylor expansion of a in y
1.045 * [taylor]: Taking taylor expansion of (* z t) in y
1.045 * [taylor]: Taking taylor expansion of z in y
1.045 * [taylor]: Taking taylor expansion of t in y
1.046 * [taylor]: Taking taylor expansion of 0 in t
1.046 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
1.046 * [taylor]: Taking taylor expansion of 0.5 in z
1.046 * [taylor]: Taking taylor expansion of a in z
1.048 * [taylor]: Taking taylor expansion of 0 in y
1.048 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in t
1.048 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
1.048 * [taylor]: Taking taylor expansion of 4.5 in t
1.049 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
1.049 * [taylor]: Taking taylor expansion of a in t
1.049 * [taylor]: Taking taylor expansion of (* z t) in t
1.049 * [taylor]: Taking taylor expansion of z in t
1.049 * [taylor]: Taking taylor expansion of t in t
1.049 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a z))) in z
1.049 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
1.049 * [taylor]: Taking taylor expansion of 4.5 in z
1.049 * [taylor]: Taking taylor expansion of (/ a z) in z
1.049 * [taylor]: Taking taylor expansion of a in z
1.049 * [taylor]: Taking taylor expansion of z in z
1.049 * [taylor]: Taking taylor expansion of (- (* 4.5 a)) in a
1.049 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
1.049 * [taylor]: Taking taylor expansion of 4.5 in a
1.049 * [taylor]: Taking taylor expansion of a in a
1.051 * [taylor]: Taking taylor expansion of 0 in t
1.051 * [taylor]: Taking taylor expansion of 0 in z
1.051 * [taylor]: Taking taylor expansion of 0 in z
1.052 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
1.052 * [taylor]: Taking taylor expansion of 0.5 in a
1.052 * [taylor]: Taking taylor expansion of a in a
1.059 * [taylor]: Taking taylor expansion of 0 in y
1.059 * [taylor]: Taking taylor expansion of 0 in t
1.060 * [taylor]: Taking taylor expansion of 0 in t
1.062 * [taylor]: Taking taylor expansion of 0 in t
1.063 * [taylor]: Taking taylor expansion of 0 in z
1.063 * [taylor]: Taking taylor expansion of 0 in z
1.063 * [taylor]: Taking taylor expansion of 0 in z
1.064 * [taylor]: Taking taylor expansion of 0 in z
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.066 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y t z a) around 0
1.066 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
1.066 * [taylor]: Taking taylor expansion of -0.5 in a
1.066 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
1.066 * [taylor]: Taking taylor expansion of a in a
1.066 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
1.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.066 * [taylor]: Taking taylor expansion of (* x y) in a
1.066 * [taylor]: Taking taylor expansion of x in a
1.066 * [taylor]: Taking taylor expansion of y in a
1.066 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
1.066 * [taylor]: Taking taylor expansion of 9.0 in a
1.066 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.066 * [taylor]: Taking taylor expansion of (* t z) in a
1.066 * [taylor]: Taking taylor expansion of t in a
1.066 * [taylor]: Taking taylor expansion of z in a
1.066 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
1.066 * [taylor]: Taking taylor expansion of -0.5 in z
1.066 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
1.066 * [taylor]: Taking taylor expansion of a in z
1.066 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
1.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.066 * [taylor]: Taking taylor expansion of (* x y) in z
1.066 * [taylor]: Taking taylor expansion of x in z
1.066 * [taylor]: Taking taylor expansion of y in z
1.067 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
1.067 * [taylor]: Taking taylor expansion of 9.0 in z
1.067 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.067 * [taylor]: Taking taylor expansion of (* t z) in z
1.067 * [taylor]: Taking taylor expansion of t in z
1.067 * [taylor]: Taking taylor expansion of z in z
1.067 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
1.067 * [taylor]: Taking taylor expansion of -0.5 in t
1.067 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
1.067 * [taylor]: Taking taylor expansion of a in t
1.067 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
1.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.067 * [taylor]: Taking taylor expansion of (* x y) in t
1.067 * [taylor]: Taking taylor expansion of x in t
1.067 * [taylor]: Taking taylor expansion of y in t
1.067 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
1.067 * [taylor]: Taking taylor expansion of 9.0 in t
1.067 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.067 * [taylor]: Taking taylor expansion of (* t z) in t
1.067 * [taylor]: Taking taylor expansion of t in t
1.067 * [taylor]: Taking taylor expansion of z in t
1.068 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
1.068 * [taylor]: Taking taylor expansion of -0.5 in y
1.068 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
1.068 * [taylor]: Taking taylor expansion of a in y
1.068 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
1.068 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.068 * [taylor]: Taking taylor expansion of (* x y) in y
1.068 * [taylor]: Taking taylor expansion of x in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
1.068 * [taylor]: Taking taylor expansion of 9.0 in y
1.068 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.068 * [taylor]: Taking taylor expansion of (* t z) in y
1.068 * [taylor]: Taking taylor expansion of t in y
1.068 * [taylor]: Taking taylor expansion of z in y
1.068 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
1.068 * [taylor]: Taking taylor expansion of -0.5 in x
1.068 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
1.068 * [taylor]: Taking taylor expansion of a in x
1.068 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.068 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.068 * [taylor]: Taking taylor expansion of (* x y) in x
1.068 * [taylor]: Taking taylor expansion of x in x
1.068 * [taylor]: Taking taylor expansion of y in x
1.069 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.069 * [taylor]: Taking taylor expansion of 9.0 in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.069 * [taylor]: Taking taylor expansion of (* t z) in x
1.069 * [taylor]: Taking taylor expansion of t in x
1.069 * [taylor]: Taking taylor expansion of z in x
1.069 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
1.069 * [taylor]: Taking taylor expansion of -0.5 in x
1.069 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
1.069 * [taylor]: Taking taylor expansion of a in x
1.069 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.069 * [taylor]: Taking taylor expansion of (* x y) in x
1.069 * [taylor]: Taking taylor expansion of x in x
1.069 * [taylor]: Taking taylor expansion of y in x
1.069 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.069 * [taylor]: Taking taylor expansion of 9.0 in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.069 * [taylor]: Taking taylor expansion of (* t z) in x
1.069 * [taylor]: Taking taylor expansion of t in x
1.069 * [taylor]: Taking taylor expansion of z in x
1.070 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
1.070 * [taylor]: Taking taylor expansion of -0.5 in y
1.070 * [taylor]: Taking taylor expansion of (/ a y) in y
1.070 * [taylor]: Taking taylor expansion of a in y
1.070 * [taylor]: Taking taylor expansion of y in y
1.070 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
1.070 * [taylor]: Taking taylor expansion of -0.5 in t
1.070 * [taylor]: Taking taylor expansion of a in t
1.071 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
1.071 * [taylor]: Taking taylor expansion of 4.5 in y
1.071 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
1.071 * [taylor]: Taking taylor expansion of a in y
1.071 * [taylor]: Taking taylor expansion of (* z t) in y
1.071 * [taylor]: Taking taylor expansion of z in y
1.071 * [taylor]: Taking taylor expansion of t in y
1.072 * [taylor]: Taking taylor expansion of 0 in t
1.072 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
1.072 * [taylor]: Taking taylor expansion of -0.5 in z
1.072 * [taylor]: Taking taylor expansion of a in z
1.074 * [taylor]: Taking taylor expansion of 0 in y
1.075 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
1.075 * [taylor]: Taking taylor expansion of 4.5 in t
1.075 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
1.075 * [taylor]: Taking taylor expansion of a in t
1.075 * [taylor]: Taking taylor expansion of (* z t) in t
1.075 * [taylor]: Taking taylor expansion of z in t
1.075 * [taylor]: Taking taylor expansion of t in t
1.075 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
1.075 * [taylor]: Taking taylor expansion of 4.5 in z
1.075 * [taylor]: Taking taylor expansion of (/ a z) in z
1.075 * [taylor]: Taking taylor expansion of a in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
1.075 * [taylor]: Taking taylor expansion of 4.5 in a
1.075 * [taylor]: Taking taylor expansion of a in a
1.077 * [taylor]: Taking taylor expansion of 0 in t
1.077 * [taylor]: Taking taylor expansion of 0 in z
1.077 * [taylor]: Taking taylor expansion of 0 in z
1.077 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
1.077 * [taylor]: Taking taylor expansion of -0.5 in a
1.077 * [taylor]: Taking taylor expansion of a in a
1.081 * [taylor]: Taking taylor expansion of 0 in y
1.081 * [taylor]: Taking taylor expansion of 0 in t
1.082 * [taylor]: Taking taylor expansion of 0 in t
1.084 * [taylor]: Taking taylor expansion of 0 in t
1.085 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [taylor]: Taking taylor expansion of 0 in z
1.086 * [taylor]: Taking taylor expansion of 0 in a
1.086 * [taylor]: Taking taylor expansion of 0 in a
1.086 * [taylor]: Taking taylor expansion of 0 in a
1.086 * [taylor]: Taking taylor expansion of 0 in a
1.086 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
1.087 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (t z) around 0
1.087 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.087 * [taylor]: Taking taylor expansion of 9.0 in z
1.087 * [taylor]: Taking taylor expansion of (* t z) in z
1.087 * [taylor]: Taking taylor expansion of t in z
1.087 * [taylor]: Taking taylor expansion of z in z
1.087 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
1.087 * [taylor]: Taking taylor expansion of 9.0 in t
1.087 * [taylor]: Taking taylor expansion of (* t z) in t
1.087 * [taylor]: Taking taylor expansion of t in t
1.087 * [taylor]: Taking taylor expansion of z in t
1.087 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
1.087 * [taylor]: Taking taylor expansion of 9.0 in t
1.087 * [taylor]: Taking taylor expansion of (* t z) in t
1.087 * [taylor]: Taking taylor expansion of t in t
1.087 * [taylor]: Taking taylor expansion of z in t
1.087 * [taylor]: Taking taylor expansion of 0 in z
1.088 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
1.088 * [taylor]: Taking taylor expansion of 9.0 in z
1.088 * [taylor]: Taking taylor expansion of z in z
1.089 * [taylor]: Taking taylor expansion of 0 in z
1.091 * [taylor]: Taking taylor expansion of 0 in z
1.094 * [taylor]: Taking taylor expansion of 0 in z
1.094 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
1.094 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.094 * [taylor]: Taking taylor expansion of 9.0 in z
1.094 * [taylor]: Taking taylor expansion of (* t z) in z
1.094 * [taylor]: Taking taylor expansion of t in z
1.094 * [taylor]: Taking taylor expansion of z in z
1.095 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.095 * [taylor]: Taking taylor expansion of 9.0 in t
1.095 * [taylor]: Taking taylor expansion of (* t z) in t
1.095 * [taylor]: Taking taylor expansion of t in t
1.095 * [taylor]: Taking taylor expansion of z in t
1.095 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.095 * [taylor]: Taking taylor expansion of 9.0 in t
1.095 * [taylor]: Taking taylor expansion of (* t z) in t
1.095 * [taylor]: Taking taylor expansion of t in t
1.095 * [taylor]: Taking taylor expansion of z in t
1.096 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
1.096 * [taylor]: Taking taylor expansion of 9.0 in z
1.096 * [taylor]: Taking taylor expansion of z in z
1.097 * [taylor]: Taking taylor expansion of 0 in z
1.098 * [taylor]: Taking taylor expansion of 0 in z
1.100 * [taylor]: Taking taylor expansion of 0 in z
1.100 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
1.100 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
1.100 * [taylor]: Taking taylor expansion of 9.0 in z
1.101 * [taylor]: Taking taylor expansion of (* t z) in z
1.101 * [taylor]: Taking taylor expansion of t in z
1.101 * [taylor]: Taking taylor expansion of z in z
1.101 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.101 * [taylor]: Taking taylor expansion of 9.0 in t
1.101 * [taylor]: Taking taylor expansion of (* t z) in t
1.101 * [taylor]: Taking taylor expansion of t in t
1.101 * [taylor]: Taking taylor expansion of z in t
1.101 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
1.101 * [taylor]: Taking taylor expansion of 9.0 in t
1.101 * [taylor]: Taking taylor expansion of (* t z) in t
1.101 * [taylor]: Taking taylor expansion of t in t
1.101 * [taylor]: Taking taylor expansion of z in t
1.102 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
1.102 * [taylor]: Taking taylor expansion of 9.0 in z
1.102 * [taylor]: Taking taylor expansion of z in z
1.103 * [taylor]: Taking taylor expansion of 0 in z
1.104 * [taylor]: Taking taylor expansion of 0 in z
1.106 * [taylor]: Taking taylor expansion of 0 in z
1.107 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.107 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y t z) around 0
1.107 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
1.107 * [taylor]: Taking taylor expansion of (* x y) in z
1.107 * [taylor]: Taking taylor expansion of x in z
1.107 * [taylor]: Taking taylor expansion of y in z
1.107 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
1.107 * [taylor]: Taking taylor expansion of 9.0 in z
1.107 * [taylor]: Taking taylor expansion of (* t z) in z
1.107 * [taylor]: Taking taylor expansion of t in z
1.107 * [taylor]: Taking taylor expansion of z in z
1.107 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
1.107 * [taylor]: Taking taylor expansion of (* x y) in t
1.107 * [taylor]: Taking taylor expansion of x in t
1.107 * [taylor]: Taking taylor expansion of y in t
1.107 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
1.107 * [taylor]: Taking taylor expansion of 9.0 in t
1.107 * [taylor]: Taking taylor expansion of (* t z) in t
1.107 * [taylor]: Taking taylor expansion of t in t
1.107 * [taylor]: Taking taylor expansion of z in t
1.107 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
1.107 * [taylor]: Taking taylor expansion of (* x y) in y
1.107 * [taylor]: Taking taylor expansion of x in y
1.107 * [taylor]: Taking taylor expansion of y in y
1.107 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
1.107 * [taylor]: Taking taylor expansion of 9.0 in y
1.107 * [taylor]: Taking taylor expansion of (* t z) in y
1.107 * [taylor]: Taking taylor expansion of t in y
1.107 * [taylor]: Taking taylor expansion of z in y
1.107 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
1.107 * [taylor]: Taking taylor expansion of (* x y) in x
1.107 * [taylor]: Taking taylor expansion of x in x
1.107 * [taylor]: Taking taylor expansion of y in x
1.107 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
1.107 * [taylor]: Taking taylor expansion of 9.0 in x
1.107 * [taylor]: Taking taylor expansion of (* t z) in x
1.107 * [taylor]: Taking taylor expansion of t in x
1.107 * [taylor]: Taking taylor expansion of z in x
1.107 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
1.107 * [taylor]: Taking taylor expansion of (* x y) in x
1.107 * [taylor]: Taking taylor expansion of x in x
1.107 * [taylor]: Taking taylor expansion of y in x
1.108 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
1.108 * [taylor]: Taking taylor expansion of 9.0 in x
1.108 * [taylor]: Taking taylor expansion of (* t z) in x
1.108 * [taylor]: Taking taylor expansion of t in x
1.108 * [taylor]: Taking taylor expansion of z in x
1.108 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in y
1.108 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
1.108 * [taylor]: Taking taylor expansion of 9.0 in y
1.108 * [taylor]: Taking taylor expansion of (* t z) in y
1.108 * [taylor]: Taking taylor expansion of t in y
1.108 * [taylor]: Taking taylor expansion of z in y
1.108 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in t
1.108 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
1.108 * [taylor]: Taking taylor expansion of 9.0 in t
1.108 * [taylor]: Taking taylor expansion of (* t z) in t
1.108 * [taylor]: Taking taylor expansion of t in t
1.108 * [taylor]: Taking taylor expansion of z in t
1.109 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [taylor]: Taking taylor expansion of y in y
1.110 * [taylor]: Taking taylor expansion of 0 in t
1.110 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [taylor]: Taking taylor expansion of 0 in t
1.110 * [taylor]: Taking taylor expansion of 0 in z
1.111 * [taylor]: Taking taylor expansion of (- (* 9.0 z)) in z
1.111 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
1.111 * [taylor]: Taking taylor expansion of 9.0 in z
1.111 * [taylor]: Taking taylor expansion of z in z
1.113 * [taylor]: Taking taylor expansion of 0 in y
1.113 * [taylor]: Taking taylor expansion of 0 in t
1.113 * [taylor]: Taking taylor expansion of 0 in z
1.113 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y t z) around 0
1.113 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
1.113 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.113 * [taylor]: Taking taylor expansion of (* x y) in z
1.113 * [taylor]: Taking taylor expansion of x in z
1.113 * [taylor]: Taking taylor expansion of y in z
1.113 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
1.113 * [taylor]: Taking taylor expansion of 9.0 in z
1.114 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.114 * [taylor]: Taking taylor expansion of (* t z) in z
1.114 * [taylor]: Taking taylor expansion of t in z
1.114 * [taylor]: Taking taylor expansion of z in z
1.114 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
1.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.114 * [taylor]: Taking taylor expansion of (* x y) in t
1.114 * [taylor]: Taking taylor expansion of x in t
1.114 * [taylor]: Taking taylor expansion of y in t
1.114 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
1.114 * [taylor]: Taking taylor expansion of 9.0 in t
1.114 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.114 * [taylor]: Taking taylor expansion of (* t z) in t
1.114 * [taylor]: Taking taylor expansion of t in t
1.114 * [taylor]: Taking taylor expansion of z in t
1.114 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
1.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.114 * [taylor]: Taking taylor expansion of (* x y) in y
1.115 * [taylor]: Taking taylor expansion of x in y
1.115 * [taylor]: Taking taylor expansion of y in y
1.115 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
1.115 * [taylor]: Taking taylor expansion of 9.0 in y
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.115 * [taylor]: Taking taylor expansion of (* t z) in y
1.115 * [taylor]: Taking taylor expansion of t in y
1.115 * [taylor]: Taking taylor expansion of z in y
1.115 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.115 * [taylor]: Taking taylor expansion of (* x y) in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.115 * [taylor]: Taking taylor expansion of y in x
1.115 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.115 * [taylor]: Taking taylor expansion of 9.0 in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.115 * [taylor]: Taking taylor expansion of (* t z) in x
1.115 * [taylor]: Taking taylor expansion of t in x
1.115 * [taylor]: Taking taylor expansion of z in x
1.116 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.116 * [taylor]: Taking taylor expansion of (* x y) in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.116 * [taylor]: Taking taylor expansion of y in x
1.116 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.116 * [taylor]: Taking taylor expansion of 9.0 in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.116 * [taylor]: Taking taylor expansion of (* t z) in x
1.116 * [taylor]: Taking taylor expansion of t in x
1.116 * [taylor]: Taking taylor expansion of z in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.116 * [taylor]: Taking taylor expansion of y in y
1.116 * [taylor]: Taking taylor expansion of 1 in t
1.117 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
1.117 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
1.117 * [taylor]: Taking taylor expansion of 9.0 in y
1.117 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.117 * [taylor]: Taking taylor expansion of (* t z) in y
1.117 * [taylor]: Taking taylor expansion of t in y
1.117 * [taylor]: Taking taylor expansion of z in y
1.118 * [taylor]: Taking taylor expansion of 0 in t
1.118 * [taylor]: Taking taylor expansion of 1 in z
1.120 * [taylor]: Taking taylor expansion of 0 in y
1.120 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in t
1.120 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
1.120 * [taylor]: Taking taylor expansion of 9.0 in t
1.120 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.120 * [taylor]: Taking taylor expansion of (* t z) in t
1.120 * [taylor]: Taking taylor expansion of t in t
1.120 * [taylor]: Taking taylor expansion of z in t
1.121 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 z))) in z
1.121 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 z)) in z
1.121 * [taylor]: Taking taylor expansion of 9.0 in z
1.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.121 * [taylor]: Taking taylor expansion of z in z
1.122 * [taylor]: Taking taylor expansion of 0 in t
1.122 * [taylor]: Taking taylor expansion of 0 in z
1.123 * [taylor]: Taking taylor expansion of 0 in z
1.125 * [taylor]: Taking taylor expansion of 0 in y
1.125 * [taylor]: Taking taylor expansion of 0 in t
1.126 * [taylor]: Taking taylor expansion of 0 in t
1.126 * [taylor]: Taking taylor expansion of 0 in t
1.128 * [taylor]: Taking taylor expansion of 0 in z
1.128 * [taylor]: Taking taylor expansion of 0 in z
1.128 * [taylor]: Taking taylor expansion of 0 in z
1.128 * [taylor]: Taking taylor expansion of 0 in z
1.132 * [taylor]: Taking taylor expansion of 0 in y
1.132 * [taylor]: Taking taylor expansion of 0 in t
1.132 * [taylor]: Taking taylor expansion of 0 in t
1.133 * [taylor]: Taking taylor expansion of 0 in t
1.134 * [taylor]: Taking taylor expansion of 0 in t
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.136 * [taylor]: Taking taylor expansion of 0 in z
1.136 * [taylor]: Taking taylor expansion of 0 in z
1.136 * [taylor]: Taking taylor expansion of 0 in z
1.136 * [taylor]: Taking taylor expansion of 0 in z
1.137 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y t z) around 0
1.137 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
1.137 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.137 * [taylor]: Taking taylor expansion of (* x y) in z
1.137 * [taylor]: Taking taylor expansion of x in z
1.137 * [taylor]: Taking taylor expansion of y in z
1.137 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
1.137 * [taylor]: Taking taylor expansion of 9.0 in z
1.137 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.137 * [taylor]: Taking taylor expansion of (* t z) in z
1.137 * [taylor]: Taking taylor expansion of t in z
1.137 * [taylor]: Taking taylor expansion of z in z
1.137 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
1.137 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.137 * [taylor]: Taking taylor expansion of (* x y) in t
1.137 * [taylor]: Taking taylor expansion of x in t
1.137 * [taylor]: Taking taylor expansion of y in t
1.138 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
1.138 * [taylor]: Taking taylor expansion of 9.0 in t
1.138 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.138 * [taylor]: Taking taylor expansion of (* t z) in t
1.138 * [taylor]: Taking taylor expansion of t in t
1.138 * [taylor]: Taking taylor expansion of z in t
1.138 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
1.138 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.138 * [taylor]: Taking taylor expansion of (* x y) in y
1.138 * [taylor]: Taking taylor expansion of x in y
1.138 * [taylor]: Taking taylor expansion of y in y
1.138 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
1.138 * [taylor]: Taking taylor expansion of 9.0 in y
1.138 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.138 * [taylor]: Taking taylor expansion of (* t z) in y
1.138 * [taylor]: Taking taylor expansion of t in y
1.138 * [taylor]: Taking taylor expansion of z in y
1.139 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.139 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.139 * [taylor]: Taking taylor expansion of (* x y) in x
1.139 * [taylor]: Taking taylor expansion of x in x
1.139 * [taylor]: Taking taylor expansion of y in x
1.139 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.139 * [taylor]: Taking taylor expansion of 9.0 in x
1.139 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.139 * [taylor]: Taking taylor expansion of (* t z) in x
1.139 * [taylor]: Taking taylor expansion of t in x
1.139 * [taylor]: Taking taylor expansion of z in x
1.139 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
1.139 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.139 * [taylor]: Taking taylor expansion of (* x y) in x
1.139 * [taylor]: Taking taylor expansion of x in x
1.139 * [taylor]: Taking taylor expansion of y in x
1.139 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
1.140 * [taylor]: Taking taylor expansion of 9.0 in x
1.140 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.140 * [taylor]: Taking taylor expansion of (* t z) in x
1.140 * [taylor]: Taking taylor expansion of t in x
1.140 * [taylor]: Taking taylor expansion of z in x
1.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.140 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of 1 in t
1.141 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
1.141 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
1.141 * [taylor]: Taking taylor expansion of 9.0 in y
1.141 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.141 * [taylor]: Taking taylor expansion of (* t z) in y
1.141 * [taylor]: Taking taylor expansion of t in y
1.141 * [taylor]: Taking taylor expansion of z in y
1.141 * [taylor]: Taking taylor expansion of 0 in t
1.141 * [taylor]: Taking taylor expansion of 1 in z
1.143 * [taylor]: Taking taylor expansion of 0 in y
1.143 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in t
1.144 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
1.144 * [taylor]: Taking taylor expansion of 9.0 in t
1.144 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.144 * [taylor]: Taking taylor expansion of (* t z) in t
1.144 * [taylor]: Taking taylor expansion of t in t
1.144 * [taylor]: Taking taylor expansion of z in t
1.144 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 z))) in z
1.144 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 z)) in z
1.144 * [taylor]: Taking taylor expansion of 9.0 in z
1.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.144 * [taylor]: Taking taylor expansion of z in z
1.146 * [taylor]: Taking taylor expansion of 0 in t
1.146 * [taylor]: Taking taylor expansion of 0 in z
1.146 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [taylor]: Taking taylor expansion of 0 in y
1.151 * [taylor]: Taking taylor expansion of 0 in t
1.152 * [taylor]: Taking taylor expansion of 0 in t
1.153 * [taylor]: Taking taylor expansion of 0 in t
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.158 * [taylor]: Taking taylor expansion of 0 in y
1.158 * [taylor]: Taking taylor expansion of 0 in t
1.158 * [taylor]: Taking taylor expansion of 0 in t
1.160 * [taylor]: Taking taylor expansion of 0 in t
1.160 * [taylor]: Taking taylor expansion of 0 in t
1.160 * [taylor]: Taking taylor expansion of 0 in z
1.160 * [taylor]: Taking taylor expansion of 0 in z
1.160 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.163 * * * [progress]: simplifying candidates
1.164 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (log1p (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (- (log (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (+ (log a) (log 2.0)))
  (- (log (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (log (* a 2.0)))
  (log (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (exp (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (/ (* (* (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (* (cbrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0))) (cbrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0))))
  (cbrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (* (* (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0))) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (sqrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (sqrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (- (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))))
  (- (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (- (* 9.0 (* t z)) (* (* z 9.0) (+ (- t) t))) (* a 2.0))
  (/ (* (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))))) a)
  (/ (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)
  (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a)
  (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)
  (/ 1 a)
  (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))))
  (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) a)
  (/ (* a 2.0) (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))))
  (/ (* a 2.0) (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))))
  (/ (* a 2.0) (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))))
  (* (* a 2.0) (* (+ (* (* x y) (* x y)) (+ (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* (* x y) (* 9.0 (* t z))))) (+ (* (- t) (- t)) (- (* t t) (* (- t) t)))))
  (* (* a 2.0) (* (+ (* (* x y) (* x y)) (+ (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* (* x y) (* 9.0 (* t z))))) (- (- t) t)))
  (* (* a 2.0) (* (+ (* x y) (* 9.0 (* t z))) (+ (* (- t) (- t)) (- (* t t) (* (- t) t)))))
  (* (* a 2.0) (* (+ (* x y) (* 9.0 (* t z))) (- (- t) t)))
  (* (* a 2.0) (+ (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z)))) (- (* (* (* z 9.0) (+ (- t) t)) (* (* z 9.0) (+ (- t) t))) (* (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))))))
  (* (* a 2.0) (- (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))))
  (expm1 (* 9.0 (* t z)))
  (log1p (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (+ (log 9.0) (+ (log t) (log z)))
  (+ (log 9.0) (log (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* z z) z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (* (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (fma x y (- (* (* t z) 9.0)))
  (fma (- (* t z)) 9.0 (* (* t z) 9.0))
  (expm1 (- (* x y) (* 9.0 (* t z))))
  (log1p (- (* x y) (* 9.0 (* t z))))
  (- (* 9.0 (* t z)))
  (/ (exp (* x y)) (exp (* 9.0 (* t z))))
  (log (- (* x y) (* 9.0 (* t z))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (* (cbrt (- (* x y) (* 9.0 (* t z)))) (cbrt (- (* x y) (* 9.0 (* t z)))))
  (cbrt (- (* x y) (* 9.0 (* t z))))
  (* (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z)))) (- (* x y) (* 9.0 (* t z))))
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (- (pow (* x y) 3) (pow (* 9.0 (* t z)) 3))
  (+ (* (* x y) (* x y)) (+ (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* (* x y) (* 9.0 (* t z)))))
  (- (* 9.0 (* t z)))
  (- (* (* x y) (* x y)) (* (* 9.0 (* t z)) (* 9.0 (* t z))))
  (+ (* x y) (* 9.0 (* t z)))
  (- (* 9.0 (* t z)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
1.171 * * [simplify]: iteration  0 :  451  enodes  (cost  675 )
1.181 * * [simplify]: iteration  1 :  2072  enodes  (cost  572 )
1.225 * * [simplify]: iteration  2 :  5001  enodes  (cost  566 )
1.229 * [simplify]: Simplified to:
   (expm1 (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (log1p (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (log (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (log (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (log (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (exp (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (pow (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)) 3)
  (pow (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)) 3)
  (* (cbrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0))) (cbrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0))))
  (cbrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (pow (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)) 3)
  (sqrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (sqrt (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
  (+ (- (fma (* z 9.0) (- t t) (* x y))) (* 9.0 (* t z)))
  (- (* a 2.0))
  (/ (* x y) (* a 2.0))
  (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))
  (/ (* (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))))) a)
  (/ (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)
  (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a)
  (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)
  (/ 1 a)
  (- (/ (fma (* z 9.0) (- t t) (* x y)) 2.0) (/ (* 9.0 (* t z)) 2.0))
  (/ 1 (* a 2.0))
  (* (/ a (fma (* z 9.0) (+ (- t) t) (- (* x y) (* 9.0 (* t z))))) 2.0)
  (- (/ (fma (* z 9.0) (- t t) (* x y)) a) (/ (* 9.0 (* t z)) a))
  (/ (* a 2.0) (cbrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))))
  (/ (* a 2.0) (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))))
  (* (/ a (fma (* z 9.0) (+ (- t) t) (- (* x y) (* 9.0 (* t z))))) 2.0)
  (* (* (* a 2.0) (fma t t (fma t t (* t t)))) (fma (* 9.0 (* t z)) (fma x y (* 9.0 (* t z))) (* (* x y) (* x y))))
  (* (* (* a 2.0) (- (- t) t)) (fma (* 9.0 (* t z)) (fma x y (* 9.0 (* t z))) (* (* x y) (* x y))))
  (* (* (* a 2.0) (fma t t (fma t t (* t t)))) (fma x y (* 9.0 (* t z))))
  (* (* (* a 2.0) (fma x y (* 9.0 (* t z)))) (- (- t) t))
  (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)
  (* (* (fma y x (- (fma t (* z 9.0) (* (* z 9.0) (+ (- t) t))))) 2.0) a)
  (expm1 (* 9.0 (* t z)))
  (log1p (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (- (* x y) (* 9.0 (* t z)))
  (* (* z 9.0) (+ (- t) t))
  (expm1 (- (* x y) (* 9.0 (* t z))))
  (log1p (- (* x y) (* 9.0 (* t z))))
  (- (* 9.0 (* t z)))
  (exp (- (* x y) (* 9.0 (* t z))))
  (log (- (* x y) (* 9.0 (* t z))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (* (cbrt (- (* x y) (* 9.0 (* t z)))) (cbrt (- (* x y) (* 9.0 (* t z)))))
  (cbrt (- (* x y) (* 9.0 (* t z))))
  (pow (- (* x y) (* 9.0 (* t z))) 3)
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (- (pow (* x y) 3) (pow (* 9.0 (* t z)) 3))
  (fma (* 9.0 (* t z)) (fma x y (* 9.0 (* t z))) (* (* x y) (* x y)))
  (- (* 9.0 (* t z)))
  (* (fma x y (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))
  (fma x y (* 9.0 (* t z)))
  (- (* 9.0 (* t z)))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
1.229 * * * [progress]: adding candidates to table
1.450 * * [progress]: iteration 4 / 4
1.450 * * * [progress]: picking best candidate
1.473 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))>
1.473 * * * [progress]: localizing error
1.489 * * * [progress]: generating rewritten candidates
1.489 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.582 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.592 * * * [progress]: generating series expansions
1.592 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.592 * [approximate]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in (z t a) around 0
1.592 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a
1.592 * [taylor]: Taking taylor expansion of 4.5 in a
1.592 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a
1.592 * [taylor]: Taking taylor expansion of (* t z) in a
1.592 * [taylor]: Taking taylor expansion of t in a
1.592 * [taylor]: Taking taylor expansion of z in a
1.592 * [taylor]: Taking taylor expansion of a in a
1.593 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t
1.593 * [taylor]: Taking taylor expansion of 4.5 in t
1.593 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
1.593 * [taylor]: Taking taylor expansion of (* t z) in t
1.593 * [taylor]: Taking taylor expansion of t in t
1.593 * [taylor]: Taking taylor expansion of z in t
1.593 * [taylor]: Taking taylor expansion of a in t
1.593 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
1.593 * [taylor]: Taking taylor expansion of 4.5 in z
1.593 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
1.593 * [taylor]: Taking taylor expansion of (* t z) in z
1.593 * [taylor]: Taking taylor expansion of t in z
1.593 * [taylor]: Taking taylor expansion of z in z
1.593 * [taylor]: Taking taylor expansion of a in z
1.594 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z
1.594 * [taylor]: Taking taylor expansion of 4.5 in z
1.594 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
1.594 * [taylor]: Taking taylor expansion of (* t z) in z
1.594 * [taylor]: Taking taylor expansion of t in z
1.594 * [taylor]: Taking taylor expansion of z in z
1.594 * [taylor]: Taking taylor expansion of a in z
1.594 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t
1.594 * [taylor]: Taking taylor expansion of 4.5 in t
1.594 * [taylor]: Taking taylor expansion of (/ t a) in t
1.594 * [taylor]: Taking taylor expansion of t in t
1.594 * [taylor]: Taking taylor expansion of a in t
1.594 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a
1.594 * [taylor]: Taking taylor expansion of 4.5 in a
1.594 * [taylor]: Taking taylor expansion of a in a
1.596 * [taylor]: Taking taylor expansion of 0 in t
1.596 * [taylor]: Taking taylor expansion of 0 in a
1.596 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [taylor]: Taking taylor expansion of 0 in t
1.598 * [taylor]: Taking taylor expansion of 0 in a
1.598 * [taylor]: Taking taylor expansion of 0 in a
1.599 * [taylor]: Taking taylor expansion of 0 in a
1.601 * [taylor]: Taking taylor expansion of 0 in t
1.601 * [taylor]: Taking taylor expansion of 0 in a
1.601 * [taylor]: Taking taylor expansion of 0 in a
1.601 * [taylor]: Taking taylor expansion of 0 in a
1.602 * [taylor]: Taking taylor expansion of 0 in a
1.602 * [approximate]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in (z t a) around 0
1.602 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a
1.602 * [taylor]: Taking taylor expansion of 4.5 in a
1.602 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
1.602 * [taylor]: Taking taylor expansion of a in a
1.602 * [taylor]: Taking taylor expansion of (* z t) in a
1.602 * [taylor]: Taking taylor expansion of z in a
1.602 * [taylor]: Taking taylor expansion of t in a
1.602 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
1.602 * [taylor]: Taking taylor expansion of 4.5 in t
1.602 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
1.602 * [taylor]: Taking taylor expansion of a in t
1.602 * [taylor]: Taking taylor expansion of (* z t) in t
1.602 * [taylor]: Taking taylor expansion of z in t
1.602 * [taylor]: Taking taylor expansion of t in t
1.603 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
1.603 * [taylor]: Taking taylor expansion of 4.5 in z
1.603 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
1.603 * [taylor]: Taking taylor expansion of a in z
1.603 * [taylor]: Taking taylor expansion of (* z t) in z
1.603 * [taylor]: Taking taylor expansion of z in z
1.603 * [taylor]: Taking taylor expansion of t in z
1.603 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
1.603 * [taylor]: Taking taylor expansion of 4.5 in z
1.603 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
1.603 * [taylor]: Taking taylor expansion of a in z
1.603 * [taylor]: Taking taylor expansion of (* z t) in z
1.603 * [taylor]: Taking taylor expansion of z in z
1.603 * [taylor]: Taking taylor expansion of t in z
1.604 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
1.604 * [taylor]: Taking taylor expansion of 4.5 in t
1.604 * [taylor]: Taking taylor expansion of (/ a t) in t
1.604 * [taylor]: Taking taylor expansion of a in t
1.604 * [taylor]: Taking taylor expansion of t in t
1.604 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
1.604 * [taylor]: Taking taylor expansion of 4.5 in a
1.604 * [taylor]: Taking taylor expansion of a in a
1.606 * [taylor]: Taking taylor expansion of 0 in t
1.606 * [taylor]: Taking taylor expansion of 0 in a
1.608 * [taylor]: Taking taylor expansion of 0 in t
1.608 * [taylor]: Taking taylor expansion of 0 in a
1.610 * [taylor]: Taking taylor expansion of 0 in a
1.611 * [approximate]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in (z t a) around 0
1.611 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in a
1.611 * [taylor]: Taking taylor expansion of -4.5 in a
1.611 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a
1.611 * [taylor]: Taking taylor expansion of a in a
1.611 * [taylor]: Taking taylor expansion of (* z t) in a
1.611 * [taylor]: Taking taylor expansion of z in a
1.611 * [taylor]: Taking taylor expansion of t in a
1.611 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t
1.611 * [taylor]: Taking taylor expansion of -4.5 in t
1.611 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
1.611 * [taylor]: Taking taylor expansion of a in t
1.611 * [taylor]: Taking taylor expansion of (* z t) in t
1.611 * [taylor]: Taking taylor expansion of z in t
1.611 * [taylor]: Taking taylor expansion of t in t
1.611 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
1.611 * [taylor]: Taking taylor expansion of -4.5 in z
1.611 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
1.611 * [taylor]: Taking taylor expansion of a in z
1.611 * [taylor]: Taking taylor expansion of (* z t) in z
1.611 * [taylor]: Taking taylor expansion of z in z
1.611 * [taylor]: Taking taylor expansion of t in z
1.612 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z
1.612 * [taylor]: Taking taylor expansion of -4.5 in z
1.612 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
1.612 * [taylor]: Taking taylor expansion of a in z
1.612 * [taylor]: Taking taylor expansion of (* z t) in z
1.612 * [taylor]: Taking taylor expansion of z in z
1.612 * [taylor]: Taking taylor expansion of t in z
1.612 * [taylor]: Taking taylor expansion of (* -4.5 (/ a t)) in t
1.612 * [taylor]: Taking taylor expansion of -4.5 in t
1.612 * [taylor]: Taking taylor expansion of (/ a t) in t
1.612 * [taylor]: Taking taylor expansion of a in t
1.612 * [taylor]: Taking taylor expansion of t in t
1.612 * [taylor]: Taking taylor expansion of (* -4.5 a) in a
1.612 * [taylor]: Taking taylor expansion of -4.5 in a
1.612 * [taylor]: Taking taylor expansion of a in a
1.614 * [taylor]: Taking taylor expansion of 0 in t
1.615 * [taylor]: Taking taylor expansion of 0 in a
1.617 * [taylor]: Taking taylor expansion of 0 in t
1.617 * [taylor]: Taking taylor expansion of 0 in a
1.619 * [taylor]: Taking taylor expansion of 0 in a
1.620 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.620 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in (x y a) around 0
1.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in a
1.620 * [taylor]: Taking taylor expansion of 0.5 in a
1.620 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a
1.620 * [taylor]: Taking taylor expansion of (* x y) in a
1.620 * [taylor]: Taking taylor expansion of x in a
1.620 * [taylor]: Taking taylor expansion of y in a
1.620 * [taylor]: Taking taylor expansion of a in a
1.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y
1.620 * [taylor]: Taking taylor expansion of 0.5 in y
1.620 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y
1.620 * [taylor]: Taking taylor expansion of (* x y) in y
1.620 * [taylor]: Taking taylor expansion of x in y
1.620 * [taylor]: Taking taylor expansion of y in y
1.620 * [taylor]: Taking taylor expansion of a in y
1.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
1.620 * [taylor]: Taking taylor expansion of 0.5 in x
1.620 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
1.620 * [taylor]: Taking taylor expansion of (* x y) in x
1.620 * [taylor]: Taking taylor expansion of x in x
1.620 * [taylor]: Taking taylor expansion of y in x
1.621 * [taylor]: Taking taylor expansion of a in x
1.621 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x
1.621 * [taylor]: Taking taylor expansion of 0.5 in x
1.621 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x
1.621 * [taylor]: Taking taylor expansion of (* x y) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of y in x
1.621 * [taylor]: Taking taylor expansion of a in x
1.621 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
1.621 * [taylor]: Taking taylor expansion of 0.5 in y
1.621 * [taylor]: Taking taylor expansion of (/ y a) in y
1.621 * [taylor]: Taking taylor expansion of y in y
1.621 * [taylor]: Taking taylor expansion of a in y
1.621 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
1.621 * [taylor]: Taking taylor expansion of 0.5 in a
1.622 * [taylor]: Taking taylor expansion of a in a
1.623 * [taylor]: Taking taylor expansion of 0 in y
1.623 * [taylor]: Taking taylor expansion of 0 in a
1.623 * [taylor]: Taking taylor expansion of 0 in a
1.625 * [taylor]: Taking taylor expansion of 0 in y
1.625 * [taylor]: Taking taylor expansion of 0 in a
1.625 * [taylor]: Taking taylor expansion of 0 in a
1.626 * [taylor]: Taking taylor expansion of 0 in a
1.628 * [taylor]: Taking taylor expansion of 0 in y
1.628 * [taylor]: Taking taylor expansion of 0 in a
1.628 * [taylor]: Taking taylor expansion of 0 in a
1.628 * [taylor]: Taking taylor expansion of 0 in a
1.629 * [taylor]: Taking taylor expansion of 0 in a
1.629 * [approximate]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in (x y a) around 0
1.629 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a
1.629 * [taylor]: Taking taylor expansion of 0.5 in a
1.629 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
1.629 * [taylor]: Taking taylor expansion of a in a
1.629 * [taylor]: Taking taylor expansion of (* x y) in a
1.629 * [taylor]: Taking taylor expansion of x in a
1.629 * [taylor]: Taking taylor expansion of y in a
1.629 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y
1.629 * [taylor]: Taking taylor expansion of 0.5 in y
1.629 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
1.629 * [taylor]: Taking taylor expansion of a in y
1.629 * [taylor]: Taking taylor expansion of (* x y) in y
1.629 * [taylor]: Taking taylor expansion of x in y
1.629 * [taylor]: Taking taylor expansion of y in y
1.630 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
1.630 * [taylor]: Taking taylor expansion of 0.5 in x
1.630 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
1.630 * [taylor]: Taking taylor expansion of a in x
1.630 * [taylor]: Taking taylor expansion of (* x y) in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of y in x
1.630 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x
1.630 * [taylor]: Taking taylor expansion of 0.5 in x
1.630 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
1.630 * [taylor]: Taking taylor expansion of a in x
1.630 * [taylor]: Taking taylor expansion of (* x y) in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of y in x
1.631 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
1.631 * [taylor]: Taking taylor expansion of 0.5 in y
1.631 * [taylor]: Taking taylor expansion of (/ a y) in y
1.631 * [taylor]: Taking taylor expansion of a in y
1.631 * [taylor]: Taking taylor expansion of y in y
1.631 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
1.631 * [taylor]: Taking taylor expansion of 0.5 in a
1.631 * [taylor]: Taking taylor expansion of a in a
1.633 * [taylor]: Taking taylor expansion of 0 in y
1.633 * [taylor]: Taking taylor expansion of 0 in a
1.635 * [taylor]: Taking taylor expansion of 0 in y
1.635 * [taylor]: Taking taylor expansion of 0 in a
1.637 * [taylor]: Taking taylor expansion of 0 in a
1.638 * [approximate]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in (x y a) around 0
1.638 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in a
1.638 * [taylor]: Taking taylor expansion of -0.5 in a
1.638 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a
1.638 * [taylor]: Taking taylor expansion of a in a
1.638 * [taylor]: Taking taylor expansion of (* x y) in a
1.638 * [taylor]: Taking taylor expansion of x in a
1.638 * [taylor]: Taking taylor expansion of y in a
1.638 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in y
1.638 * [taylor]: Taking taylor expansion of -0.5 in y
1.638 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y
1.638 * [taylor]: Taking taylor expansion of a in y
1.638 * [taylor]: Taking taylor expansion of (* x y) in y
1.638 * [taylor]: Taking taylor expansion of x in y
1.638 * [taylor]: Taking taylor expansion of y in y
1.638 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in x
1.638 * [taylor]: Taking taylor expansion of -0.5 in x
1.638 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
1.638 * [taylor]: Taking taylor expansion of a in x
1.638 * [taylor]: Taking taylor expansion of (* x y) in x
1.638 * [taylor]: Taking taylor expansion of x in x
1.638 * [taylor]: Taking taylor expansion of y in x
1.639 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in x
1.639 * [taylor]: Taking taylor expansion of -0.5 in x
1.639 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x
1.639 * [taylor]: Taking taylor expansion of a in x
1.639 * [taylor]: Taking taylor expansion of (* x y) in x
1.639 * [taylor]: Taking taylor expansion of x in x
1.639 * [taylor]: Taking taylor expansion of y in x
1.639 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
1.639 * [taylor]: Taking taylor expansion of -0.5 in y
1.639 * [taylor]: Taking taylor expansion of (/ a y) in y
1.639 * [taylor]: Taking taylor expansion of a in y
1.639 * [taylor]: Taking taylor expansion of y in y
1.639 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
1.639 * [taylor]: Taking taylor expansion of -0.5 in a
1.639 * [taylor]: Taking taylor expansion of a in a
1.641 * [taylor]: Taking taylor expansion of 0 in y
1.642 * [taylor]: Taking taylor expansion of 0 in a
1.644 * [taylor]: Taking taylor expansion of 0 in y
1.644 * [taylor]: Taking taylor expansion of 0 in a
1.645 * [taylor]: Taking taylor expansion of 0 in a
1.646 * * * [progress]: simplifying candidates
1.648 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log1p (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))
  (+ (- (+ (log z) (log 9.0)) (log 2.0)) (- (log (- t (+ (- t) t))) (log a)))
  (+ (- (+ (log z) (log 9.0)) (log 2.0)) (log (/ (- t (+ (- t) t)) a)))
  (+ (- (log (* z 9.0)) (log 2.0)) (- (log (- t (+ (- t) t))) (log a)))
  (+ (- (log (* z 9.0)) (log 2.0)) (log (/ (- t (+ (- t) t)) a)))
  (+ (log (/ (* z 9.0) 2.0)) (- (log (- t (+ (- t) t))) (log a)))
  (+ (log (/ (* z 9.0) 2.0)) (log (/ (- t (+ (- t) t)) a)))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (exp (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (* (/ (* (* (* z z) z) (* (* 9.0 9.0) 9.0)) (* (* 2.0 2.0) 2.0)) (/ (* (* (- t (+ (- t) t)) (- t (+ (- t) t))) (- t (+ (- t) t))) (* (* a a) a)))
  (* (/ (* (* (* z z) z) (* (* 9.0 9.0) 9.0)) (* (* 2.0 2.0) 2.0)) (* (* (/ (- t (+ (- t) t)) a) (/ (- t (+ (- t) t)) a)) (/ (- t (+ (- t) t)) a)))
  (* (/ (* (* (* z 9.0) (* z 9.0)) (* z 9.0)) (* (* 2.0 2.0) 2.0)) (/ (* (* (- t (+ (- t) t)) (- t (+ (- t) t))) (- t (+ (- t) t))) (* (* a a) a)))
  (* (/ (* (* (* z 9.0) (* z 9.0)) (* z 9.0)) (* (* 2.0 2.0) 2.0)) (* (* (/ (- t (+ (- t) t)) a) (/ (- t (+ (- t) t)) a)) (/ (- t (+ (- t) t)) a)))
  (* (* (* (/ (* z 9.0) 2.0) (/ (* z 9.0) 2.0)) (/ (* z 9.0) 2.0)) (/ (* (* (- t (+ (- t) t)) (- t (+ (- t) t))) (- t (+ (- t) t))) (* (* a a) a)))
  (* (* (* (/ (* z 9.0) 2.0) (/ (* z 9.0) 2.0)) (/ (* z 9.0) 2.0)) (* (* (/ (- t (+ (- t) t)) a) (/ (- t (+ (- t) t)) a)) (/ (- t (+ (- t) t)) a)))
  (* (cbrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))) (cbrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))
  (cbrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (* (* (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (sqrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (sqrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (* (* z 9.0) (- t (+ (- t) t)))
  (* 2.0 a)
  (* (sqrt (/ (* z 9.0) 2.0)) (sqrt (/ (- t (+ (- t) t)) a)))
  (* (sqrt (/ (* z 9.0) 2.0)) (sqrt (/ (- t (+ (- t) t)) a)))
  (* (sqrt (/ (* z 9.0) 2.0)) (/ (sqrt (- t (+ (- t) t))) (sqrt a)))
  (* (sqrt (/ (* z 9.0) 2.0)) (/ (sqrt (- t (+ (- t) t))) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (* (cbrt (/ (- t (+ (- t) t)) a)) (cbrt (/ (- t (+ (- t) t)) a))))
  (* (/ (* z 9.0) 2.0) (sqrt (/ (- t (+ (- t) t)) a)))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt (- t (+ (- t) t))) (cbrt (- t (+ (- t) t)))) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt (- t (+ (- t) t))) (cbrt (- t (+ (- t) t)))) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt (- t (+ (- t) t))) (cbrt (- t (+ (- t) t)))) 1))
  (* (/ (* z 9.0) 2.0) (/ (sqrt (- t (+ (- t) t))) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (sqrt (- t (+ (- t) t))) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ (sqrt (- t (+ (- t) t))) 1))
  (* (/ (* z 9.0) 2.0) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ 1 (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ 1 1))
  (* (/ (* z 9.0) 2.0) (/ (+ (sqrt t) (sqrt (+ (- t) t))) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (+ (sqrt t) (sqrt (+ (- t) t))) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ (+ (sqrt t) (sqrt (+ (- t) t))) 1))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt t) (cbrt t)) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt t) (cbrt t)) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt t) (cbrt t)) 1))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) 1))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) 1))
  (* (/ (* z 9.0) 2.0) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ 1 (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ 1 1))
  (* (/ (* z 9.0) 2.0) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ 1 (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ 1 1))
  (* (/ (* z 9.0) 2.0) (/ 1 (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ 1 (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ 1 1))
  (* (/ (* z 9.0) 2.0) (/ t (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ t (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ t 1))
  (* (/ (* z 9.0) 2.0) (/ t (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ t (sqrt a)))
  (* (/ (* z 9.0) 2.0) (/ t 1))
  (* (/ (* z 9.0) 2.0) 1)
  (* (/ (* z 9.0) 2.0) (- t (+ (- t) t)))
  (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a))
  (* (sqrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a))
  (* (/ 9.0 (cbrt 2.0)) (/ (- t (+ (- t) t)) a))
  (* (/ 9.0 (sqrt 2.0)) (/ (- t (+ (- t) t)) a))
  (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a))
  (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))
  (* (/ 1 2.0) (/ (- t (+ (- t) t)) a))
  (* (/ (* z 9.0) 2.0) (- t (+ (- t) t)))
  (* (* z 9.0) (/ (- t (+ (- t) t)) a))
  (expm1 (/ (* x y) (* a 2.0)))
  (log1p (/ (* x y) (* a 2.0)))
  (- (+ (log x) (log y)) (+ (log a) (log 2.0)))
  (- (+ (log x) (log y)) (log (* a 2.0)))
  (- (log (* x y)) (+ (log a) (log 2.0)))
  (- (log (* x y)) (log (* a 2.0)))
  (log (/ (* x y) (* a 2.0)))
  (exp (/ (* x y) (* a 2.0)))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (* (cbrt (/ (* x y) (* a 2.0))) (cbrt (/ (* x y) (* a 2.0))))
  (cbrt (/ (* x y) (* a 2.0)))
  (* (* (/ (* x y) (* a 2.0)) (/ (* x y) (* a 2.0))) (/ (* x y) (* a 2.0)))
  (sqrt (/ (* x y) (* a 2.0)))
  (sqrt (/ (* x y) (* a 2.0)))
  (- (* x y))
  (- (* a 2.0))
  (/ x a)
  (/ y 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (* x y))
  (/ (* x y) a)
  (/ (* a 2.0) y)
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 0.5 (/ (* x y) a))
  (* 0.5 (/ (* x y) a))
  (* 0.5 (/ (* x y) a))
1.655 * * [simplify]: iteration  0 :  609  enodes  (cost  802 )
1.667 * * [simplify]: iteration  1 :  3511  enodes  (cost  661 )
1.718 * * [simplify]: iteration  2 :  5001  enodes  (cost  659 )
1.721 * [simplify]: Simplified to:
   (expm1 (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log1p (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (log (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (exp (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (pow (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) 3)
  (pow (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) 3)
  (pow (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) 3)
  (pow (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) 3)
  (pow (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) 3)
  (pow (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) 3)
  (* (cbrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))) (cbrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))
  (cbrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (pow (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)) 3)
  (sqrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (sqrt (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))
  (* (* z 9.0) (- t (+ (- t) t)))
  (* 2.0 a)
  (* (sqrt (/ (* z 9.0) 2.0)) (sqrt (/ (- t (+ (- t) t)) a)))
  (* (sqrt (/ (* z 9.0) 2.0)) (sqrt (/ (- t (+ (- t) t)) a)))
  (* (sqrt (/ (* z 9.0) 2.0)) (/ (sqrt (- t (+ (- t) t))) (sqrt a)))
  (* (sqrt (/ (* z 9.0) 2.0)) (/ (sqrt (- t (+ (- t) t))) (sqrt a)))
  (* (/ (* z 9.0) 2.0) (* (cbrt (/ (- t (+ (- t) t)) a)) (cbrt (/ (- t (+ (- t) t)) a))))
  (* (/ (* z 9.0) 2.0) (sqrt (/ (- t (+ (- t) t)) a)))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt (- t (+ (- t) t))) (cbrt (- t (+ (- t) t)))) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt (- t (+ (- t) t))) (cbrt (- t (+ (- t) t)))) (sqrt a)))
  (/ (* (* z 9.0) (* (cbrt (- t (+ (- t) t))) (cbrt (- t (+ (- t) t))))) 2.0)
  (* (/ (* z 9.0) 2.0) (/ (sqrt (- t (+ (- t) t))) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (sqrt (- t (+ (- t) t))) (sqrt a)))
  (/ (* (* z 9.0) (sqrt (- t (+ (- t) t)))) 2.0)
  (/ (/ (* z 9.0) 2.0) (* (cbrt a) (cbrt a)))
  (/ (/ (* z 9.0) 2.0) (sqrt a))
  (/ (* z 9.0) 2.0)
  (* (/ (* z 9.0) 2.0) (/ (+ (sqrt t) (sqrt (+ (- t) t))) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (+ (sqrt t) (sqrt (+ (- t) t))) (sqrt a)))
  (/ (* (* z 9.0) (+ (sqrt t) (sqrt (+ (- t) t)))) 2.0)
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt t) (cbrt t)) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (* (cbrt t) (cbrt t)) (sqrt a)))
  (/ (* (* z 9.0) (* (cbrt t) (cbrt t))) 2.0)
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (sqrt a)))
  (/ (* (* z 9.0) (sqrt t)) 2.0)
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ (sqrt t) (sqrt a)))
  (/ (* (* z 9.0) (sqrt t)) 2.0)
  (/ (/ (* z 9.0) 2.0) (* (cbrt a) (cbrt a)))
  (/ (/ (* z 9.0) 2.0) (sqrt a))
  (/ (* z 9.0) 2.0)
  (/ (/ (* z 9.0) 2.0) (* (cbrt a) (cbrt a)))
  (/ (/ (* z 9.0) 2.0) (sqrt a))
  (/ (* z 9.0) 2.0)
  (/ (/ (* z 9.0) 2.0) (* (cbrt a) (cbrt a)))
  (/ (/ (* z 9.0) 2.0) (sqrt a))
  (/ (* z 9.0) 2.0)
  (* (/ (* z 9.0) 2.0) (/ t (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ t (sqrt a)))
  (/ (* (* z 9.0) t) 2.0)
  (* (/ (* z 9.0) 2.0) (/ t (* (cbrt a) (cbrt a))))
  (* (/ (* z 9.0) 2.0) (/ t (sqrt a)))
  (/ (* (* z 9.0) t) 2.0)
  (/ (* z 9.0) 2.0)
  (* (/ (* z 9.0) 2.0) (- t (+ (- t) t)))
  (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a))
  (* (sqrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a))
  (* (/ 9.0 (cbrt 2.0)) (/ (- t (+ (- t) t)) a))
  (* (/ 9.0 (sqrt 2.0)) (/ (- t (+ (- t) t)) a))
  (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a))
  (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0))
  (/ (/ (- t (+ (- t) t)) a) 2.0)
  (* (/ (* z 9.0) 2.0) (- t (+ (- t) t)))
  (* (* z 9.0) (/ (- t (+ (- t) t)) a))
  (expm1 (/ (* x y) (* a 2.0)))
  (log1p (/ (* x y) (* a 2.0)))
  (log (/ (* x y) (* a 2.0)))
  (log (/ (* x y) (* a 2.0)))
  (log (/ (* x y) (* a 2.0)))
  (log (/ (* x y) (* a 2.0)))
  (log (/ (* x y) (* a 2.0)))
  (exp (/ (* x y) (* a 2.0)))
  (pow (/ (* x y) (* a 2.0)) 3)
  (pow (/ (* x y) (* a 2.0)) 3)
  (pow (/ (* x y) (* a 2.0)) 3)
  (pow (/ (* x y) (* a 2.0)) 3)
  (* (cbrt (/ (* x y) (* a 2.0))) (cbrt (/ (* x y) (* a 2.0))))
  (cbrt (/ (* x y) (* a 2.0)))
  (pow (/ (* x y) (* a 2.0)) 3)
  (sqrt (/ (* x y) (* a 2.0)))
  (sqrt (/ (* x y) (* a 2.0)))
  (- (* x y))
  (- (* a 2.0))
  (/ x a)
  (/ y 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (* x y))
  (/ (* x y) a)
  (/ (* a 2.0) y)
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 4.5 (/ (* t z) a))
  (* 0.5 (/ (* x y) a))
  (* 0.5 (/ (* x y) a))
  (* 0.5 (/ (* x y) a))
1.722 * * * [progress]: adding candidates to table
1.978 * [progress]: [Phase 3 of 3] Extracting.
1.978 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
1.985 * * * [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.985 * * * * [regimes]: Trying to branch on (* a 2.0) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.053 * * * * [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) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))>)
2.073 * * * * [regimes]: Trying to branch on (* z 9.0) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.138 * * * * [regimes]: Trying to branch on (* z 9.0) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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 (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))>)
2.186 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.248 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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 2.0) (- (* x y) (* (* z 9.0) t)))))>)
2.268 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.346 * * * * [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) (- (/ (* x y) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.400 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.465 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) 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 2.0) (- (* x y) (* (* z 9.0) t)))))>)
2.482 * * * * [regimes]: Trying to branch on (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.547 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.612 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.677 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.744 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.817 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.884 * * * [regime]: Found split indices: #<option (#s(si 3 47) #s(si 6 221) #s(si 3 255))>
2.886 * [binary-search]: Only using regimes for bounds on (- (* x y) (* (* z 9.0) t)) and (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.886 * [regimes]: Found splitpoints: (#s(sp 3 (- (* x y) (* (* z 9.0) t)) -4.6882695296941304e+141) #s(sp 6 (- (* x y) (* (* z 9.0) t)) 4.4252767597399196e+204) #s(sp 3 (- (* x y) (* (* z 9.0) t)) +nan.0)) , with alts (#<alt (λ (x y z t a) (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a (* 2.0 (fma x y (* (* z 9.0) t))))))> #<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) (* a 2.0)) (* (/ z 1) (* (/ 9.0 2.0) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (- (cbrt (pow (/ (* x y) (* a 2.0)) 3)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))))> #<alt (λ (x y z t a) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))> #<alt (λ (x y z t a) (/ (+ (pow (- (* x y) (* 9.0 (* t z))) 3) (pow (* (* z 9.0) (+ (- t) t)) 3)) (* (* (fma (* (* z 9.0) (+ (- t) t)) (- (* (* z 9.0) (+ (- t) t)) (- (* x y) (* 9.0 (* t z)))) (* (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))))) 2.0) a)))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (* (* (cbrt (/ (* z 9.0) 2.0)) (cbrt (/ (* z 9.0) 2.0))) (* (cbrt (/ (* z 9.0) 2.0)) (/ (- t (+ (- t) t)) a)))))> #<alt (λ (x y z t a) (- (/ (* x y) (* a 2.0)) (pow (* (/ (* z 9.0) a) (/ (- t (- t t)) 2.0)) 1)))> #<alt (λ (x y z t a) (- (* (/ x a) (/ y 2.0)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))))> #<alt (λ (x y z t a) (* (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) a) (/ (sqrt (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t)))) 2.0)))>)
2.886 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (- (* x y) (* (* z 9.0) t)) -4.6882695296941304e+141) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))) (if (<= (- (* x y) (* (* z 9.0) t)) 4.4252767597399196e+204) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a)))))
2.887 * * [simplify]: iteration  0 :  46  enodes  (cost  30 )
2.888 * * [simplify]: iteration  1 :  46  enodes  (cost  30 )
2.888 * [simplify]: Simplified to:
   (if (or (<= (- (* x y) (* (* z 9.0) t)) -4.6882695296941304e+141) (not (<= (- (* x y) (* (* z 9.0) t)) 4.4252767597399196e+204))) (- (/ x (/ (* a 2.0) y)) (* (/ (* z 9.0) 2.0) (/ (- t (+ (- t) t)) a))) (/ (+ (- (* x y) (* 9.0 (* t z))) (* (* z 9.0) (+ (- t) t))) (* a 2.0)))
4.037 * [regime-testing]: Baseline error score: 8.15397212228411
4.038 * [regime-testing]: Oracle error score: 0.02568969284864729
4.039 * [regime-testing]: End program error score: 1.4185079307832238
4.072 * [regime-testing]: Target error score: 5.60066939870589