21.045 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- x (* y z)) (- t (* a z)))
0.026 * * [simplify]: iteration  0 :  19  enodes  (cost  5 )
0.028 * * [simplify]: iteration  1 :  38  enodes  (cost  5 )
0.030 * * [simplify]: iteration  2 :  60  enodes  (cost  5 )
0.032 * * [simplify]: iteration  3 :  88  enodes  (cost  5 )
0.034 * * [simplify]: iteration  4 :  122  enodes  (cost  5 )
0.036 * * [simplify]: iteration  5 :  175  enodes  (cost  5 )
0.040 * * [simplify]: iteration  6 :  625  enodes  (cost  5 )
0.059 * * [simplify]: iteration  7 :  4686  enodes  (cost  5 )
0.116 * * [simplify]: iteration  8 :  5001  enodes  (cost  5 )
0.116 * [simplify]: Simplified to:
   (/ (- x (* y z)) (- t (* a z)))
0.117 * * [progress]: iteration 1 / 4
0.117 * * * [progress]: picking best candidate
0.119 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))>
0.119 * * * [progress]: localizing error
0.129 * * * [progress]: generating rewritten candidates
0.129 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.133 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.135 * * * [progress]: generating series expansions
0.135 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.136 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (x y z t a) around 0
0.136 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
0.136 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.136 * [taylor]: Taking taylor expansion of x in a
0.136 * [taylor]: Taking taylor expansion of (* z y) in a
0.136 * [taylor]: Taking taylor expansion of z in a
0.136 * [taylor]: Taking taylor expansion of y in a
0.136 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
0.136 * [taylor]: Taking taylor expansion of t in a
0.136 * [taylor]: Taking taylor expansion of (* a z) in a
0.136 * [taylor]: Taking taylor expansion of a in a
0.136 * [taylor]: Taking taylor expansion of z in a
0.137 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
0.137 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.137 * [taylor]: Taking taylor expansion of x in t
0.137 * [taylor]: Taking taylor expansion of (* z y) in t
0.137 * [taylor]: Taking taylor expansion of z in t
0.137 * [taylor]: Taking taylor expansion of y in t
0.137 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.137 * [taylor]: Taking taylor expansion of t in t
0.137 * [taylor]: Taking taylor expansion of (* a z) in t
0.137 * [taylor]: Taking taylor expansion of a in t
0.137 * [taylor]: Taking taylor expansion of z in t
0.137 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
0.137 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.137 * [taylor]: Taking taylor expansion of x in z
0.137 * [taylor]: Taking taylor expansion of (* z y) in z
0.137 * [taylor]: Taking taylor expansion of z in z
0.137 * [taylor]: Taking taylor expansion of y in z
0.137 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.137 * [taylor]: Taking taylor expansion of t in z
0.137 * [taylor]: Taking taylor expansion of (* a z) in z
0.137 * [taylor]: Taking taylor expansion of a in z
0.137 * [taylor]: Taking taylor expansion of z in z
0.138 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
0.138 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.138 * [taylor]: Taking taylor expansion of x in y
0.138 * [taylor]: Taking taylor expansion of (* z y) in y
0.138 * [taylor]: Taking taylor expansion of z in y
0.138 * [taylor]: Taking taylor expansion of y in y
0.138 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.138 * [taylor]: Taking taylor expansion of t in y
0.138 * [taylor]: Taking taylor expansion of (* a z) in y
0.138 * [taylor]: Taking taylor expansion of a in y
0.138 * [taylor]: Taking taylor expansion of z in y
0.138 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
0.139 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (* z y) in x
0.139 * [taylor]: Taking taylor expansion of z in x
0.139 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.139 * [taylor]: Taking taylor expansion of t in x
0.139 * [taylor]: Taking taylor expansion of (* a z) in x
0.139 * [taylor]: Taking taylor expansion of a in x
0.139 * [taylor]: Taking taylor expansion of z in x
0.139 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
0.139 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (* z y) in x
0.139 * [taylor]: Taking taylor expansion of z in x
0.139 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.139 * [taylor]: Taking taylor expansion of t in x
0.139 * [taylor]: Taking taylor expansion of (* a z) in x
0.139 * [taylor]: Taking taylor expansion of a in x
0.139 * [taylor]: Taking taylor expansion of z in x
0.139 * [taylor]: Taking taylor expansion of (* -1 (/ (* z y) (- t (* a z)))) in y
0.140 * [taylor]: Taking taylor expansion of -1 in y
0.140 * [taylor]: Taking taylor expansion of (/ (* z y) (- t (* a z))) in y
0.140 * [taylor]: Taking taylor expansion of (* z y) in y
0.140 * [taylor]: Taking taylor expansion of z in y
0.140 * [taylor]: Taking taylor expansion of y in y
0.140 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.140 * [taylor]: Taking taylor expansion of t in y
0.140 * [taylor]: Taking taylor expansion of (* a z) in y
0.140 * [taylor]: Taking taylor expansion of a in y
0.140 * [taylor]: Taking taylor expansion of z in y
0.142 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in y
0.142 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.142 * [taylor]: Taking taylor expansion of t in y
0.142 * [taylor]: Taking taylor expansion of (* a z) in y
0.142 * [taylor]: Taking taylor expansion of a in y
0.142 * [taylor]: Taking taylor expansion of z in y
0.142 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
0.142 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.142 * [taylor]: Taking taylor expansion of t in z
0.142 * [taylor]: Taking taylor expansion of (* a z) in z
0.142 * [taylor]: Taking taylor expansion of a in z
0.142 * [taylor]: Taking taylor expansion of z in z
0.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.142 * [taylor]: Taking taylor expansion of t in t
0.143 * [taylor]: Taking taylor expansion of 0 in a
0.143 * [taylor]: Taking taylor expansion of (* -1 (/ z (- t (* a z)))) in z
0.143 * [taylor]: Taking taylor expansion of -1 in z
0.143 * [taylor]: Taking taylor expansion of (/ z (- t (* a z))) in z
0.143 * [taylor]: Taking taylor expansion of z in z
0.143 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.143 * [taylor]: Taking taylor expansion of t in z
0.143 * [taylor]: Taking taylor expansion of (* a z) in z
0.143 * [taylor]: Taking taylor expansion of a in z
0.143 * [taylor]: Taking taylor expansion of z in z
0.146 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [taylor]: Taking taylor expansion of 0 in z
0.146 * [taylor]: Taking taylor expansion of 0 in t
0.146 * [taylor]: Taking taylor expansion of 0 in a
0.146 * [taylor]: Taking taylor expansion of 0 in z
0.146 * [taylor]: Taking taylor expansion of 0 in t
0.146 * [taylor]: Taking taylor expansion of 0 in a
0.148 * [taylor]: Taking taylor expansion of 0 in z
0.148 * [taylor]: Taking taylor expansion of 0 in t
0.148 * [taylor]: Taking taylor expansion of 0 in a
0.149 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in t
0.149 * [taylor]: Taking taylor expansion of a in t
0.149 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.149 * [taylor]: Taking taylor expansion of t in t
0.151 * [taylor]: Taking taylor expansion of 0 in a
0.151 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.151 * [taylor]: Taking taylor expansion of -1 in t
0.151 * [taylor]: Taking taylor expansion of t in t
0.152 * [taylor]: Taking taylor expansion of 0 in a
0.152 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
0.152 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
0.152 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.153 * [taylor]: Taking taylor expansion of x in a
0.153 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.153 * [taylor]: Taking taylor expansion of (* z y) in a
0.153 * [taylor]: Taking taylor expansion of z in a
0.153 * [taylor]: Taking taylor expansion of y in a
0.153 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
0.153 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.153 * [taylor]: Taking taylor expansion of t in a
0.153 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.153 * [taylor]: Taking taylor expansion of (* a z) in a
0.153 * [taylor]: Taking taylor expansion of a in a
0.153 * [taylor]: Taking taylor expansion of z in a
0.153 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
0.154 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.154 * [taylor]: Taking taylor expansion of x in t
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.154 * [taylor]: Taking taylor expansion of (* z y) in t
0.154 * [taylor]: Taking taylor expansion of z in t
0.154 * [taylor]: Taking taylor expansion of y in t
0.154 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
0.154 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.154 * [taylor]: Taking taylor expansion of t in t
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.154 * [taylor]: Taking taylor expansion of (* a z) in t
0.154 * [taylor]: Taking taylor expansion of a in t
0.154 * [taylor]: Taking taylor expansion of z in t
0.155 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
0.155 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.155 * [taylor]: Taking taylor expansion of x in z
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.155 * [taylor]: Taking taylor expansion of (* z y) in z
0.155 * [taylor]: Taking taylor expansion of z in z
0.155 * [taylor]: Taking taylor expansion of y in z
0.155 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.155 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.155 * [taylor]: Taking taylor expansion of t in z
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.155 * [taylor]: Taking taylor expansion of (* a z) in z
0.155 * [taylor]: Taking taylor expansion of a in z
0.155 * [taylor]: Taking taylor expansion of z in z
0.156 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
0.156 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.156 * [taylor]: Taking taylor expansion of x in y
0.156 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.156 * [taylor]: Taking taylor expansion of (* z y) in y
0.156 * [taylor]: Taking taylor expansion of z in y
0.156 * [taylor]: Taking taylor expansion of y in y
0.156 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.156 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.156 * [taylor]: Taking taylor expansion of t in y
0.156 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.156 * [taylor]: Taking taylor expansion of (* a z) in y
0.156 * [taylor]: Taking taylor expansion of a in y
0.157 * [taylor]: Taking taylor expansion of z in y
0.157 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
0.157 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.157 * [taylor]: Taking taylor expansion of x in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.157 * [taylor]: Taking taylor expansion of (* z y) in x
0.157 * [taylor]: Taking taylor expansion of z in x
0.157 * [taylor]: Taking taylor expansion of y in x
0.157 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.157 * [taylor]: Taking taylor expansion of t in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.157 * [taylor]: Taking taylor expansion of (* a z) in x
0.157 * [taylor]: Taking taylor expansion of a in x
0.157 * [taylor]: Taking taylor expansion of z in x
0.158 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
0.158 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.158 * [taylor]: Taking taylor expansion of (* z y) in x
0.158 * [taylor]: Taking taylor expansion of z in x
0.158 * [taylor]: Taking taylor expansion of y in x
0.159 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.159 * [taylor]: Taking taylor expansion of t in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.159 * [taylor]: Taking taylor expansion of (* a z) in x
0.159 * [taylor]: Taking taylor expansion of a in x
0.159 * [taylor]: Taking taylor expansion of z in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in y
0.159 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.159 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.159 * [taylor]: Taking taylor expansion of t in y
0.159 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.159 * [taylor]: Taking taylor expansion of (* a z) in y
0.159 * [taylor]: Taking taylor expansion of a in y
0.159 * [taylor]: Taking taylor expansion of z in y
0.165 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z))))))) in y
0.165 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z)))))) in y
0.165 * [taylor]: Taking taylor expansion of (* z (* y (- (/ 1 t) (/ 1 (* a z))))) in y
0.165 * [taylor]: Taking taylor expansion of z in y
0.165 * [taylor]: Taking taylor expansion of (* y (- (/ 1 t) (/ 1 (* a z)))) in y
0.165 * [taylor]: Taking taylor expansion of y in y
0.165 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.165 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.165 * [taylor]: Taking taylor expansion of t in y
0.165 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.165 * [taylor]: Taking taylor expansion of (* a z) in y
0.165 * [taylor]: Taking taylor expansion of a in y
0.165 * [taylor]: Taking taylor expansion of z in y
0.167 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ z t) (/ 1 a)))) in z
0.167 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z t) (/ 1 a))) in z
0.167 * [taylor]: Taking taylor expansion of (- (/ z t) (/ 1 a)) in z
0.167 * [taylor]: Taking taylor expansion of (/ z t) in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.167 * [taylor]: Taking taylor expansion of t in z
0.167 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.167 * [taylor]: Taking taylor expansion of a in z
0.167 * [taylor]: Taking taylor expansion of a in t
0.167 * [taylor]: Taking taylor expansion of 0 in a
0.167 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
0.167 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.167 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.167 * [taylor]: Taking taylor expansion of t in z
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.167 * [taylor]: Taking taylor expansion of (* a z) in z
0.167 * [taylor]: Taking taylor expansion of a in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.170 * [taylor]: Taking taylor expansion of 0 in y
0.173 * [taylor]: Taking taylor expansion of 0 in z
0.173 * [taylor]: Taking taylor expansion of 0 in t
0.173 * [taylor]: Taking taylor expansion of 0 in a
0.174 * [taylor]: Taking taylor expansion of 0 in z
0.174 * [taylor]: Taking taylor expansion of 0 in t
0.174 * [taylor]: Taking taylor expansion of 0 in a
0.175 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
0.175 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.175 * [taylor]: Taking taylor expansion of a in t
0.175 * [taylor]: Taking taylor expansion of t in t
0.177 * [taylor]: Taking taylor expansion of 0 in a
0.177 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.177 * [taylor]: Taking taylor expansion of -1 in t
0.177 * [taylor]: Taking taylor expansion of a in t
0.178 * [taylor]: Taking taylor expansion of 0 in a
0.178 * [taylor]: Taking taylor expansion of 0 in a
0.178 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
0.178 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.178 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.178 * [taylor]: Taking taylor expansion of (* z y) in a
0.178 * [taylor]: Taking taylor expansion of z in a
0.178 * [taylor]: Taking taylor expansion of y in a
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.178 * [taylor]: Taking taylor expansion of x in a
0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
0.178 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.178 * [taylor]: Taking taylor expansion of t in a
0.178 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.178 * [taylor]: Taking taylor expansion of (* a z) in a
0.178 * [taylor]: Taking taylor expansion of a in a
0.178 * [taylor]: Taking taylor expansion of z in a
0.179 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
0.179 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.179 * [taylor]: Taking taylor expansion of (* z y) in t
0.179 * [taylor]: Taking taylor expansion of z in t
0.179 * [taylor]: Taking taylor expansion of y in t
0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.179 * [taylor]: Taking taylor expansion of x in t
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
0.179 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.179 * [taylor]: Taking taylor expansion of t in t
0.180 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.180 * [taylor]: Taking taylor expansion of (* a z) in t
0.180 * [taylor]: Taking taylor expansion of a in t
0.180 * [taylor]: Taking taylor expansion of z in t
0.180 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
0.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.180 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.180 * [taylor]: Taking taylor expansion of (* z y) in z
0.180 * [taylor]: Taking taylor expansion of z in z
0.180 * [taylor]: Taking taylor expansion of y in z
0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.181 * [taylor]: Taking taylor expansion of x in z
0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.181 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.181 * [taylor]: Taking taylor expansion of t in z
0.181 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.181 * [taylor]: Taking taylor expansion of (* a z) in z
0.181 * [taylor]: Taking taylor expansion of a in z
0.181 * [taylor]: Taking taylor expansion of z in z
0.181 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.181 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.181 * [taylor]: Taking taylor expansion of (* z y) in y
0.181 * [taylor]: Taking taylor expansion of z in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.182 * [taylor]: Taking taylor expansion of x in y
0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.182 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.182 * [taylor]: Taking taylor expansion of t in y
0.182 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.182 * [taylor]: Taking taylor expansion of (* a z) in y
0.182 * [taylor]: Taking taylor expansion of a in y
0.182 * [taylor]: Taking taylor expansion of z in y
0.182 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.182 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.182 * [taylor]: Taking taylor expansion of (* z y) in x
0.182 * [taylor]: Taking taylor expansion of z in x
0.182 * [taylor]: Taking taylor expansion of y in x
0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.183 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.183 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.183 * [taylor]: Taking taylor expansion of t in x
0.183 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.183 * [taylor]: Taking taylor expansion of (* a z) in x
0.183 * [taylor]: Taking taylor expansion of a in x
0.183 * [taylor]: Taking taylor expansion of z in x
0.183 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.184 * [taylor]: Taking taylor expansion of (* z y) in x
0.184 * [taylor]: Taking taylor expansion of z in x
0.184 * [taylor]: Taking taylor expansion of y in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.184 * [taylor]: Taking taylor expansion of t in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.184 * [taylor]: Taking taylor expansion of (* a z) in x
0.184 * [taylor]: Taking taylor expansion of a in x
0.184 * [taylor]: Taking taylor expansion of z in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in y
0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.185 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.185 * [taylor]: Taking taylor expansion of t in y
0.185 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.185 * [taylor]: Taking taylor expansion of (* a z) in y
0.185 * [taylor]: Taking taylor expansion of a in y
0.185 * [taylor]: Taking taylor expansion of z in y
0.186 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (+ (/ 1 t) (/ 1 (* a z)))))) in y
0.187 * [taylor]: Taking taylor expansion of (* z (* y (+ (/ 1 t) (/ 1 (* a z))))) in y
0.187 * [taylor]: Taking taylor expansion of z in y
0.187 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 t) (/ 1 (* a z)))) in y
0.187 * [taylor]: Taking taylor expansion of y in y
0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.187 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.187 * [taylor]: Taking taylor expansion of t in y
0.187 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.187 * [taylor]: Taking taylor expansion of (* a z) in y
0.187 * [taylor]: Taking taylor expansion of a in y
0.187 * [taylor]: Taking taylor expansion of z in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 a) (/ z t))) in z
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ z t)) in z
0.188 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.188 * [taylor]: Taking taylor expansion of a in z
0.188 * [taylor]: Taking taylor expansion of (/ z t) in z
0.188 * [taylor]: Taking taylor expansion of z in z
0.188 * [taylor]: Taking taylor expansion of t in z
0.189 * [taylor]: Taking taylor expansion of a in t
0.189 * [taylor]: Taking taylor expansion of 0 in a
0.189 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in z
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.189 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.189 * [taylor]: Taking taylor expansion of t in z
0.189 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.189 * [taylor]: Taking taylor expansion of (* a z) in z
0.189 * [taylor]: Taking taylor expansion of a in z
0.189 * [taylor]: Taking taylor expansion of z in z
0.191 * [taylor]: Taking taylor expansion of 0 in y
0.194 * [taylor]: Taking taylor expansion of 0 in z
0.194 * [taylor]: Taking taylor expansion of 0 in t
0.194 * [taylor]: Taking taylor expansion of 0 in a
0.195 * [taylor]: Taking taylor expansion of 0 in z
0.195 * [taylor]: Taking taylor expansion of 0 in t
0.195 * [taylor]: Taking taylor expansion of 0 in a
0.195 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
0.195 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
0.195 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.195 * [taylor]: Taking taylor expansion of a in t
0.195 * [taylor]: Taking taylor expansion of t in t
0.198 * [taylor]: Taking taylor expansion of 0 in a
0.198 * [taylor]: Taking taylor expansion of a in t
0.198 * [taylor]: Taking taylor expansion of 0 in a
0.198 * [taylor]: Taking taylor expansion of 0 in a
0.198 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.198 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x y z) around 0
0.198 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.198 * [taylor]: Taking taylor expansion of x in z
0.198 * [taylor]: Taking taylor expansion of (* z y) in z
0.198 * [taylor]: Taking taylor expansion of z in z
0.198 * [taylor]: Taking taylor expansion of y in z
0.198 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.198 * [taylor]: Taking taylor expansion of x in y
0.198 * [taylor]: Taking taylor expansion of (* z y) in y
0.198 * [taylor]: Taking taylor expansion of z in y
0.198 * [taylor]: Taking taylor expansion of y in y
0.198 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of (* z y) in x
0.198 * [taylor]: Taking taylor expansion of z in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of (* z y) in x
0.198 * [taylor]: Taking taylor expansion of z in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of (- (* z y)) in y
0.198 * [taylor]: Taking taylor expansion of (* z y) in y
0.198 * [taylor]: Taking taylor expansion of z in y
0.199 * [taylor]: Taking taylor expansion of y in y
0.199 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 1 in y
0.200 * [taylor]: Taking taylor expansion of 1 in z
0.200 * [taylor]: Taking taylor expansion of (- z) in z
0.200 * [taylor]: Taking taylor expansion of z in z
0.201 * [taylor]: Taking taylor expansion of 0 in y
0.201 * [taylor]: Taking taylor expansion of 0 in z
0.201 * [taylor]: Taking taylor expansion of 0 in z
0.202 * [taylor]: Taking taylor expansion of 0 in z
0.202 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x y z) around 0
0.202 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.202 * [taylor]: Taking taylor expansion of x in z
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.202 * [taylor]: Taking taylor expansion of (* z y) in z
0.202 * [taylor]: Taking taylor expansion of z in z
0.202 * [taylor]: Taking taylor expansion of y in z
0.203 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.203 * [taylor]: Taking taylor expansion of x in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.203 * [taylor]: Taking taylor expansion of (* z y) in y
0.203 * [taylor]: Taking taylor expansion of z in y
0.203 * [taylor]: Taking taylor expansion of y in y
0.203 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.203 * [taylor]: Taking taylor expansion of (* z y) in x
0.203 * [taylor]: Taking taylor expansion of z in x
0.204 * [taylor]: Taking taylor expansion of y in x
0.204 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.204 * [taylor]: Taking taylor expansion of x in x
0.204 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.204 * [taylor]: Taking taylor expansion of (* z y) in x
0.204 * [taylor]: Taking taylor expansion of z in x
0.204 * [taylor]: Taking taylor expansion of y in x
0.204 * [taylor]: Taking taylor expansion of 1 in y
0.205 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
0.205 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.205 * [taylor]: Taking taylor expansion of (* z y) in y
0.205 * [taylor]: Taking taylor expansion of z in y
0.205 * [taylor]: Taking taylor expansion of y in y
0.205 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.205 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.205 * [taylor]: Taking taylor expansion of z in z
0.206 * [taylor]: Taking taylor expansion of 1 in z
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.208 * [taylor]: Taking taylor expansion of 0 in z
0.208 * [taylor]: Taking taylor expansion of 0 in z
0.210 * [taylor]: Taking taylor expansion of 0 in y
0.210 * [taylor]: Taking taylor expansion of 0 in z
0.211 * [taylor]: Taking taylor expansion of 0 in z
0.211 * [taylor]: Taking taylor expansion of 0 in z
0.214 * [taylor]: Taking taylor expansion of 0 in y
0.214 * [taylor]: Taking taylor expansion of 0 in z
0.214 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0
0.215 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in z
0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.215 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.215 * [taylor]: Taking taylor expansion of (* z y) in z
0.215 * [taylor]: Taking taylor expansion of z in z
0.215 * [taylor]: Taking taylor expansion of y in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.216 * [taylor]: Taking taylor expansion of x in z
0.216 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in y
0.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.216 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.216 * [taylor]: Taking taylor expansion of (* z y) in y
0.216 * [taylor]: Taking taylor expansion of z in y
0.216 * [taylor]: Taking taylor expansion of y in y
0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.216 * [taylor]: Taking taylor expansion of x in y
0.216 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
0.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.217 * [taylor]: Taking taylor expansion of (* z y) in x
0.217 * [taylor]: Taking taylor expansion of z in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.217 * [taylor]: Taking taylor expansion of (* z y) in x
0.217 * [taylor]: Taking taylor expansion of z in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of -1 in y
0.219 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
0.219 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.219 * [taylor]: Taking taylor expansion of (* z y) in y
0.219 * [taylor]: Taking taylor expansion of z in y
0.219 * [taylor]: Taking taylor expansion of y in y
0.219 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.219 * [taylor]: Taking taylor expansion of z in z
0.220 * [taylor]: Taking taylor expansion of -1 in z
0.221 * [taylor]: Taking taylor expansion of 0 in y
0.222 * [taylor]: Taking taylor expansion of 0 in z
0.222 * [taylor]: Taking taylor expansion of 0 in z
0.224 * [taylor]: Taking taylor expansion of 0 in y
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.225 * [taylor]: Taking taylor expansion of 0 in z
0.225 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * * * [progress]: simplifying candidates
0.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- x (* y z)))
  (- (- t (* a z)))
  (/ x (- t (* a z)))
  (/ (* y z) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (- x (* y z)) (- (* t t) (* (* a z) (* a z))))
  (* (- t (* a z)) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))))
  (* (- t (* a z)) (+ x (* y z)))
  (- (pow x 3) (pow (* y z) 3))
  (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))
  (- (* y z))
  (- (* x x) (* (* y z) (* y z)))
  (+ x (* y z))
  (- (* y z))
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
0.233 * * [simplify]: iteration  0 :  128  enodes  (cost  75 )
0.237 * * [simplify]: iteration  1 :  409  enodes  (cost  72 )
0.246 * * [simplify]: iteration  2 :  1492  enodes  (cost  70 )
0.280 * * [simplify]: iteration  3 :  5001  enodes  (cost  68 )
0.281 * [simplify]: Simplified to:
   (fma z y (- x))
  (fma z a (- t))
  (/ x (- t (* a z)))
  (/ (* y z) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (/ (- x (* z y)) (- t (* a z))) (fma z a t))
  (* (fma x x (fma (* y z) (* y z) (* x (* y z)))) (- t (* a z)))
  (* (- t (* a z)) (+ x (* y z)))
  (- (pow x 3) (pow (* y z) 3))
  (fma z (* y (fma z y x)) (* x x))
  (- (* y z))
  (* (fma z y x) (- x (* z y)))
  (fma z y x)
  (- (* y z))
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
0.281 * * * [progress]: adding candidates to table
0.328 * * [progress]: iteration 2 / 4
0.328 * * * [progress]: picking best candidate
0.342 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ 1 (/ (- t (* a z)) (- x (* y z)))))>
0.342 * * * [progress]: localizing error
0.353 * * * [progress]: generating rewritten candidates
0.353 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.358 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.362 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
0.365 * * * [progress]: generating series expansions
0.365 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.365 * [approximate]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in (t a z x y) around 0
0.365 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in y
0.365 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.365 * [taylor]: Taking taylor expansion of t in y
0.365 * [taylor]: Taking taylor expansion of (* a z) in y
0.365 * [taylor]: Taking taylor expansion of a in y
0.365 * [taylor]: Taking taylor expansion of z in y
0.365 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.365 * [taylor]: Taking taylor expansion of x in y
0.365 * [taylor]: Taking taylor expansion of (* z y) in y
0.365 * [taylor]: Taking taylor expansion of z in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.366 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in x
0.366 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.366 * [taylor]: Taking taylor expansion of t in x
0.366 * [taylor]: Taking taylor expansion of (* a z) in x
0.366 * [taylor]: Taking taylor expansion of a in x
0.366 * [taylor]: Taking taylor expansion of z in x
0.366 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of (* z y) in x
0.366 * [taylor]: Taking taylor expansion of z in x
0.366 * [taylor]: Taking taylor expansion of y in x
0.367 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in z
0.367 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.367 * [taylor]: Taking taylor expansion of t in z
0.367 * [taylor]: Taking taylor expansion of (* a z) in z
0.367 * [taylor]: Taking taylor expansion of a in z
0.367 * [taylor]: Taking taylor expansion of z in z
0.367 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.367 * [taylor]: Taking taylor expansion of x in z
0.367 * [taylor]: Taking taylor expansion of (* z y) in z
0.367 * [taylor]: Taking taylor expansion of z in z
0.367 * [taylor]: Taking taylor expansion of y in z
0.370 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in a
0.370 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
0.370 * [taylor]: Taking taylor expansion of t in a
0.370 * [taylor]: Taking taylor expansion of (* a z) in a
0.370 * [taylor]: Taking taylor expansion of a in a
0.370 * [taylor]: Taking taylor expansion of z in a
0.370 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.370 * [taylor]: Taking taylor expansion of x in a
0.370 * [taylor]: Taking taylor expansion of (* z y) in a
0.370 * [taylor]: Taking taylor expansion of z in a
0.370 * [taylor]: Taking taylor expansion of y in a
0.371 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in t
0.371 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.371 * [taylor]: Taking taylor expansion of t in t
0.371 * [taylor]: Taking taylor expansion of (* a z) in t
0.371 * [taylor]: Taking taylor expansion of a in t
0.371 * [taylor]: Taking taylor expansion of z in t
0.371 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.371 * [taylor]: Taking taylor expansion of x in t
0.371 * [taylor]: Taking taylor expansion of (* z y) in t
0.371 * [taylor]: Taking taylor expansion of z in t
0.371 * [taylor]: Taking taylor expansion of y in t
0.371 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in t
0.371 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.371 * [taylor]: Taking taylor expansion of t in t
0.371 * [taylor]: Taking taylor expansion of (* a z) in t
0.371 * [taylor]: Taking taylor expansion of a in t
0.371 * [taylor]: Taking taylor expansion of z in t
0.371 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.371 * [taylor]: Taking taylor expansion of x in t
0.371 * [taylor]: Taking taylor expansion of (* z y) in t
0.371 * [taylor]: Taking taylor expansion of z in t
0.371 * [taylor]: Taking taylor expansion of y in t
0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (* a z) (- x (* z y)))) in a
0.372 * [taylor]: Taking taylor expansion of -1 in a
0.372 * [taylor]: Taking taylor expansion of (/ (* a z) (- x (* z y))) in a
0.372 * [taylor]: Taking taylor expansion of (* a z) in a
0.372 * [taylor]: Taking taylor expansion of a in a
0.372 * [taylor]: Taking taylor expansion of z in a
0.372 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.372 * [taylor]: Taking taylor expansion of x in a
0.372 * [taylor]: Taking taylor expansion of (* z y) in a
0.372 * [taylor]: Taking taylor expansion of z in a
0.372 * [taylor]: Taking taylor expansion of y in a
0.374 * [taylor]: Taking taylor expansion of (/ 1 (- x (* z y))) in a
0.374 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.374 * [taylor]: Taking taylor expansion of x in a
0.374 * [taylor]: Taking taylor expansion of (* z y) in a
0.374 * [taylor]: Taking taylor expansion of z in a
0.374 * [taylor]: Taking taylor expansion of y in a
0.374 * [taylor]: Taking taylor expansion of (/ 1 (- x (* z y))) in z
0.374 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.374 * [taylor]: Taking taylor expansion of x in z
0.374 * [taylor]: Taking taylor expansion of (* z y) in z
0.374 * [taylor]: Taking taylor expansion of z in z
0.374 * [taylor]: Taking taylor expansion of y in z
0.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of 0 in y
0.376 * [taylor]: Taking taylor expansion of (* -1 (/ z (- x (* z y)))) in z
0.376 * [taylor]: Taking taylor expansion of -1 in z
0.376 * [taylor]: Taking taylor expansion of (/ z (- x (* z y))) in z
0.376 * [taylor]: Taking taylor expansion of z in z
0.376 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.376 * [taylor]: Taking taylor expansion of x in z
0.376 * [taylor]: Taking taylor expansion of (* z y) in z
0.376 * [taylor]: Taking taylor expansion of z in z
0.376 * [taylor]: Taking taylor expansion of y in z
0.378 * [taylor]: Taking taylor expansion of 0 in a
0.378 * [taylor]: Taking taylor expansion of 0 in z
0.378 * [taylor]: Taking taylor expansion of 0 in x
0.378 * [taylor]: Taking taylor expansion of 0 in y
0.379 * [taylor]: Taking taylor expansion of 0 in z
0.379 * [taylor]: Taking taylor expansion of 0 in x
0.379 * [taylor]: Taking taylor expansion of 0 in y
0.381 * [taylor]: Taking taylor expansion of 0 in z
0.381 * [taylor]: Taking taylor expansion of 0 in x
0.381 * [taylor]: Taking taylor expansion of 0 in y
0.381 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.381 * [taylor]: Taking taylor expansion of y in x
0.381 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.381 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of 0 in y
0.384 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.384 * [taylor]: Taking taylor expansion of -1 in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.385 * [taylor]: Taking taylor expansion of 0 in y
0.385 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in (t a z x y) around 0
0.385 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in y
0.385 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.385 * [taylor]: Taking taylor expansion of t in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.385 * [taylor]: Taking taylor expansion of (* a z) in y
0.385 * [taylor]: Taking taylor expansion of a in y
0.385 * [taylor]: Taking taylor expansion of z in y
0.385 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.385 * [taylor]: Taking taylor expansion of x in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.386 * [taylor]: Taking taylor expansion of (* z y) in y
0.386 * [taylor]: Taking taylor expansion of z in y
0.386 * [taylor]: Taking taylor expansion of y in y
0.386 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in x
0.386 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.386 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.386 * [taylor]: Taking taylor expansion of t in x
0.386 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.386 * [taylor]: Taking taylor expansion of (* a z) in x
0.386 * [taylor]: Taking taylor expansion of a in x
0.386 * [taylor]: Taking taylor expansion of z in x
0.387 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.387 * [taylor]: Taking taylor expansion of x in x
0.387 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.387 * [taylor]: Taking taylor expansion of (* z y) in x
0.387 * [taylor]: Taking taylor expansion of z in x
0.387 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in z
0.388 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.388 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.388 * [taylor]: Taking taylor expansion of t in z
0.388 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.388 * [taylor]: Taking taylor expansion of (* a z) in z
0.388 * [taylor]: Taking taylor expansion of a in z
0.388 * [taylor]: Taking taylor expansion of z in z
0.388 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.388 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.388 * [taylor]: Taking taylor expansion of x in z
0.388 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.388 * [taylor]: Taking taylor expansion of (* z y) in z
0.388 * [taylor]: Taking taylor expansion of z in z
0.388 * [taylor]: Taking taylor expansion of y in z
0.389 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in a
0.389 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
0.389 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.389 * [taylor]: Taking taylor expansion of t in a
0.389 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.389 * [taylor]: Taking taylor expansion of (* a z) in a
0.389 * [taylor]: Taking taylor expansion of a in a
0.389 * [taylor]: Taking taylor expansion of z in a
0.389 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.389 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.389 * [taylor]: Taking taylor expansion of x in a
0.389 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.389 * [taylor]: Taking taylor expansion of (* z y) in a
0.389 * [taylor]: Taking taylor expansion of z in a
0.389 * [taylor]: Taking taylor expansion of y in a
0.390 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in t
0.390 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
0.390 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.390 * [taylor]: Taking taylor expansion of t in t
0.390 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.390 * [taylor]: Taking taylor expansion of (* a z) in t
0.390 * [taylor]: Taking taylor expansion of a in t
0.390 * [taylor]: Taking taylor expansion of z in t
0.390 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
0.390 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.390 * [taylor]: Taking taylor expansion of x in t
0.390 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.390 * [taylor]: Taking taylor expansion of (* z y) in t
0.390 * [taylor]: Taking taylor expansion of z in t
0.390 * [taylor]: Taking taylor expansion of y in t
0.391 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in t
0.391 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.391 * [taylor]: Taking taylor expansion of t in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.391 * [taylor]: Taking taylor expansion of (* a z) in t
0.391 * [taylor]: Taking taylor expansion of a in t
0.391 * [taylor]: Taking taylor expansion of z in t
0.391 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
0.391 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.391 * [taylor]: Taking taylor expansion of x in t
0.392 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.392 * [taylor]: Taking taylor expansion of (* z y) in t
0.392 * [taylor]: Taking taylor expansion of z in t
0.392 * [taylor]: Taking taylor expansion of y in t
0.392 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) (/ 1 (* z y)))) in a
0.392 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.392 * [taylor]: Taking taylor expansion of x in a
0.392 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.392 * [taylor]: Taking taylor expansion of (* z y) in a
0.392 * [taylor]: Taking taylor expansion of z in a
0.392 * [taylor]: Taking taylor expansion of y in a
0.394 * [taylor]: Taking taylor expansion of (- (/ 1 (* a (* (- (/ 1 x) (/ 1 (* z y))) z)))) in a
0.394 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (- (/ 1 x) (/ 1 (* z y))) z))) in a
0.394 * [taylor]: Taking taylor expansion of (* a (* (- (/ 1 x) (/ 1 (* z y))) z)) in a
0.394 * [taylor]: Taking taylor expansion of a in a
0.394 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 (* z y))) z) in a
0.394 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.394 * [taylor]: Taking taylor expansion of x in a
0.394 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.394 * [taylor]: Taking taylor expansion of (* z y) in a
0.394 * [taylor]: Taking taylor expansion of z in a
0.395 * [taylor]: Taking taylor expansion of y in a
0.395 * [taylor]: Taking taylor expansion of z in a
0.396 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ z x) (/ 1 y)))) in z
0.396 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z x) (/ 1 y))) in z
0.396 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in z
0.396 * [taylor]: Taking taylor expansion of (/ z x) in z
0.396 * [taylor]: Taking taylor expansion of z in z
0.396 * [taylor]: Taking taylor expansion of x in z
0.396 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.396 * [taylor]: Taking taylor expansion of y in z
0.397 * [taylor]: Taking taylor expansion of y in x
0.397 * [taylor]: Taking taylor expansion of 0 in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) (/ 1 (* z y)))) in z
0.397 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.397 * [taylor]: Taking taylor expansion of x in z
0.397 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.397 * [taylor]: Taking taylor expansion of (* z y) in z
0.397 * [taylor]: Taking taylor expansion of z in z
0.397 * [taylor]: Taking taylor expansion of y in z
0.400 * [taylor]: Taking taylor expansion of 0 in a
0.403 * [taylor]: Taking taylor expansion of 0 in z
0.403 * [taylor]: Taking taylor expansion of 0 in x
0.403 * [taylor]: Taking taylor expansion of 0 in y
0.404 * [taylor]: Taking taylor expansion of 0 in z
0.404 * [taylor]: Taking taylor expansion of 0 in x
0.404 * [taylor]: Taking taylor expansion of 0 in y
0.405 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x
0.405 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.405 * [taylor]: Taking taylor expansion of y in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of 0 in y
0.407 * [taylor]: Taking taylor expansion of (* -1 y) in x
0.407 * [taylor]: Taking taylor expansion of -1 in x
0.407 * [taylor]: Taking taylor expansion of y in x
0.407 * [taylor]: Taking taylor expansion of 0 in y
0.407 * [taylor]: Taking taylor expansion of 0 in y
0.408 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in (t a z x y) around 0
0.408 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in y
0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.408 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.408 * [taylor]: Taking taylor expansion of t in y
0.408 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.408 * [taylor]: Taking taylor expansion of (* a z) in y
0.408 * [taylor]: Taking taylor expansion of a in y
0.408 * [taylor]: Taking taylor expansion of z in y
0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.408 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.408 * [taylor]: Taking taylor expansion of (* z y) in y
0.408 * [taylor]: Taking taylor expansion of z in y
0.408 * [taylor]: Taking taylor expansion of y in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.409 * [taylor]: Taking taylor expansion of x in y
0.409 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in x
0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.409 * [taylor]: Taking taylor expansion of t in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.409 * [taylor]: Taking taylor expansion of (* a z) in x
0.409 * [taylor]: Taking taylor expansion of a in x
0.409 * [taylor]: Taking taylor expansion of z in x
0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.409 * [taylor]: Taking taylor expansion of (* z y) in x
0.409 * [taylor]: Taking taylor expansion of z in x
0.409 * [taylor]: Taking taylor expansion of y in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in z
0.410 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.410 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.410 * [taylor]: Taking taylor expansion of t in z
0.410 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.410 * [taylor]: Taking taylor expansion of (* a z) in z
0.410 * [taylor]: Taking taylor expansion of a in z
0.410 * [taylor]: Taking taylor expansion of z in z
0.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.410 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.410 * [taylor]: Taking taylor expansion of (* z y) in z
0.411 * [taylor]: Taking taylor expansion of z in z
0.411 * [taylor]: Taking taylor expansion of y in z
0.411 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.411 * [taylor]: Taking taylor expansion of x in z
0.411 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in a
0.411 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.411 * [taylor]: Taking taylor expansion of t in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.411 * [taylor]: Taking taylor expansion of (* a z) in a
0.411 * [taylor]: Taking taylor expansion of a in a
0.411 * [taylor]: Taking taylor expansion of z in a
0.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.412 * [taylor]: Taking taylor expansion of (* z y) in a
0.412 * [taylor]: Taking taylor expansion of z in a
0.412 * [taylor]: Taking taylor expansion of y in a
0.412 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.412 * [taylor]: Taking taylor expansion of x in a
0.412 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in t
0.412 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
0.412 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.412 * [taylor]: Taking taylor expansion of t in t
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.412 * [taylor]: Taking taylor expansion of (* a z) in t
0.412 * [taylor]: Taking taylor expansion of a in t
0.412 * [taylor]: Taking taylor expansion of z in t
0.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.412 * [taylor]: Taking taylor expansion of (* z y) in t
0.412 * [taylor]: Taking taylor expansion of z in t
0.412 * [taylor]: Taking taylor expansion of y in t
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.413 * [taylor]: Taking taylor expansion of x in t
0.413 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in t
0.413 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
0.413 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.413 * [taylor]: Taking taylor expansion of t in t
0.413 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.413 * [taylor]: Taking taylor expansion of (* a z) in t
0.413 * [taylor]: Taking taylor expansion of a in t
0.413 * [taylor]: Taking taylor expansion of z in t
0.414 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
0.414 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.414 * [taylor]: Taking taylor expansion of (* z y) in t
0.414 * [taylor]: Taking taylor expansion of z in t
0.414 * [taylor]: Taking taylor expansion of y in t
0.414 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.414 * [taylor]: Taking taylor expansion of x in t
0.414 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (* z y)) (/ 1 x))) in a
0.414 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.414 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.414 * [taylor]: Taking taylor expansion of (* z y) in a
0.414 * [taylor]: Taking taylor expansion of z in a
0.414 * [taylor]: Taking taylor expansion of y in a
0.414 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.414 * [taylor]: Taking taylor expansion of x in a
0.416 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (+ (/ 1 (* z y)) (/ 1 x)) z))) in a
0.416 * [taylor]: Taking taylor expansion of (* a (* (+ (/ 1 (* z y)) (/ 1 x)) z)) in a
0.416 * [taylor]: Taking taylor expansion of a in a
0.416 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) z) in a
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.416 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.416 * [taylor]: Taking taylor expansion of (* z y) in a
0.416 * [taylor]: Taking taylor expansion of z in a
0.416 * [taylor]: Taking taylor expansion of y in a
0.416 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.416 * [taylor]: Taking taylor expansion of x in a
0.416 * [taylor]: Taking taylor expansion of z in a
0.417 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ z x))) in z
0.418 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z
0.418 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.418 * [taylor]: Taking taylor expansion of y in z
0.418 * [taylor]: Taking taylor expansion of (/ z x) in z
0.418 * [taylor]: Taking taylor expansion of z in z
0.418 * [taylor]: Taking taylor expansion of x in z
0.418 * [taylor]: Taking taylor expansion of y in x
0.418 * [taylor]: Taking taylor expansion of 0 in y
0.418 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (* z y)) (/ 1 x))) in z
0.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.418 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.418 * [taylor]: Taking taylor expansion of (* z y) in z
0.418 * [taylor]: Taking taylor expansion of z in z
0.418 * [taylor]: Taking taylor expansion of y in z
0.418 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.418 * [taylor]: Taking taylor expansion of x in z
0.421 * [taylor]: Taking taylor expansion of 0 in a
0.423 * [taylor]: Taking taylor expansion of 0 in z
0.423 * [taylor]: Taking taylor expansion of 0 in x
0.423 * [taylor]: Taking taylor expansion of 0 in y
0.423 * [taylor]: Taking taylor expansion of 0 in z
0.423 * [taylor]: Taking taylor expansion of 0 in x
0.423 * [taylor]: Taking taylor expansion of 0 in y
0.424 * [taylor]: Taking taylor expansion of (- (/ (pow y 2) x)) in x
0.424 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x
0.424 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.424 * [taylor]: Taking taylor expansion of y in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.426 * [taylor]: Taking taylor expansion of 0 in y
0.426 * [taylor]: Taking taylor expansion of y in x
0.426 * [taylor]: Taking taylor expansion of 0 in y
0.426 * [taylor]: Taking taylor expansion of 0 in y
0.426 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.427 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (t a z x y) around 0
0.427 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
0.427 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.427 * [taylor]: Taking taylor expansion of x in y
0.427 * [taylor]: Taking taylor expansion of (* z y) in y
0.427 * [taylor]: Taking taylor expansion of z in y
0.427 * [taylor]: Taking taylor expansion of y in y
0.427 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.427 * [taylor]: Taking taylor expansion of t in y
0.427 * [taylor]: Taking taylor expansion of (* a z) in y
0.427 * [taylor]: Taking taylor expansion of a in y
0.427 * [taylor]: Taking taylor expansion of z in y
0.427 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
0.427 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.427 * [taylor]: Taking taylor expansion of x in x
0.427 * [taylor]: Taking taylor expansion of (* z y) in x
0.427 * [taylor]: Taking taylor expansion of z in x
0.427 * [taylor]: Taking taylor expansion of y in x
0.427 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.427 * [taylor]: Taking taylor expansion of t in x
0.427 * [taylor]: Taking taylor expansion of (* a z) in x
0.427 * [taylor]: Taking taylor expansion of a in x
0.428 * [taylor]: Taking taylor expansion of z in x
0.428 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
0.428 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.428 * [taylor]: Taking taylor expansion of x in z
0.428 * [taylor]: Taking taylor expansion of (* z y) in z
0.428 * [taylor]: Taking taylor expansion of z in z
0.428 * [taylor]: Taking taylor expansion of y in z
0.428 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.428 * [taylor]: Taking taylor expansion of t in z
0.428 * [taylor]: Taking taylor expansion of (* a z) in z
0.428 * [taylor]: Taking taylor expansion of a in z
0.428 * [taylor]: Taking taylor expansion of z in z
0.429 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
0.429 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.429 * [taylor]: Taking taylor expansion of x in a
0.429 * [taylor]: Taking taylor expansion of (* z y) in a
0.429 * [taylor]: Taking taylor expansion of z in a
0.429 * [taylor]: Taking taylor expansion of y in a
0.429 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
0.429 * [taylor]: Taking taylor expansion of t in a
0.429 * [taylor]: Taking taylor expansion of (* a z) in a
0.429 * [taylor]: Taking taylor expansion of a in a
0.429 * [taylor]: Taking taylor expansion of z in a
0.429 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
0.429 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.429 * [taylor]: Taking taylor expansion of x in t
0.429 * [taylor]: Taking taylor expansion of (* z y) in t
0.429 * [taylor]: Taking taylor expansion of z in t
0.429 * [taylor]: Taking taylor expansion of y in t
0.429 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.429 * [taylor]: Taking taylor expansion of t in t
0.429 * [taylor]: Taking taylor expansion of (* a z) in t
0.429 * [taylor]: Taking taylor expansion of a in t
0.429 * [taylor]: Taking taylor expansion of z in t
0.430 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
0.430 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.430 * [taylor]: Taking taylor expansion of x in t
0.430 * [taylor]: Taking taylor expansion of (* z y) in t
0.430 * [taylor]: Taking taylor expansion of z in t
0.430 * [taylor]: Taking taylor expansion of y in t
0.430 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.430 * [taylor]: Taking taylor expansion of t in t
0.430 * [taylor]: Taking taylor expansion of (* a z) in t
0.430 * [taylor]: Taking taylor expansion of a in t
0.430 * [taylor]: Taking taylor expansion of z in t
0.430 * [taylor]: Taking taylor expansion of (* -1 (/ (- x (* z y)) (* a z))) in a
0.430 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (* a z)) in a
0.430 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.430 * [taylor]: Taking taylor expansion of x in a
0.430 * [taylor]: Taking taylor expansion of (* z y) in a
0.430 * [taylor]: Taking taylor expansion of z in a
0.430 * [taylor]: Taking taylor expansion of y in a
0.430 * [taylor]: Taking taylor expansion of (* a z) in a
0.430 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of z in a
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 0 in x
0.433 * [taylor]: Taking taylor expansion of 0 in y
0.434 * [taylor]: Taking taylor expansion of (- (/ y (* (pow a 2) z)) (/ x (* (pow a 2) (pow z 2)))) in a
0.434 * [taylor]: Taking taylor expansion of (/ y (* (pow a 2) z)) in a
0.434 * [taylor]: Taking taylor expansion of y in a
0.434 * [taylor]: Taking taylor expansion of (* (pow a 2) z) in a
0.434 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.434 * [taylor]: Taking taylor expansion of a in a
0.434 * [taylor]: Taking taylor expansion of z in a
0.435 * [taylor]: Taking taylor expansion of (/ x (* (pow a 2) (pow z 2))) in a
0.435 * [taylor]: Taking taylor expansion of x in a
0.435 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow z 2)) in a
0.435 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.435 * [taylor]: Taking taylor expansion of a in a
0.435 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.435 * [taylor]: Taking taylor expansion of z in a
0.440 * [taylor]: Taking taylor expansion of 0 in z
0.440 * [taylor]: Taking taylor expansion of 0 in x
0.440 * [taylor]: Taking taylor expansion of 0 in y
0.443 * [taylor]: Taking taylor expansion of 0 in z
0.443 * [taylor]: Taking taylor expansion of 0 in x
0.443 * [taylor]: Taking taylor expansion of 0 in y
0.443 * [taylor]: Taking taylor expansion of 0 in x
0.443 * [taylor]: Taking taylor expansion of 0 in y
0.443 * [taylor]: Taking taylor expansion of 0 in y
0.443 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (t a z x y) around 0
0.443 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
0.443 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
0.443 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.443 * [taylor]: Taking taylor expansion of x in y
0.443 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.443 * [taylor]: Taking taylor expansion of (* z y) in y
0.443 * [taylor]: Taking taylor expansion of z in y
0.443 * [taylor]: Taking taylor expansion of y in y
0.444 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.444 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.444 * [taylor]: Taking taylor expansion of t in y
0.444 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.444 * [taylor]: Taking taylor expansion of (* a z) in y
0.444 * [taylor]: Taking taylor expansion of a in y
0.444 * [taylor]: Taking taylor expansion of z in y
0.444 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
0.444 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.445 * [taylor]: Taking taylor expansion of (* z y) in x
0.445 * [taylor]: Taking taylor expansion of z in x
0.445 * [taylor]: Taking taylor expansion of y in x
0.445 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.445 * [taylor]: Taking taylor expansion of t in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.445 * [taylor]: Taking taylor expansion of (* a z) in x
0.445 * [taylor]: Taking taylor expansion of a in x
0.445 * [taylor]: Taking taylor expansion of z in x
0.445 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
0.445 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.445 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.445 * [taylor]: Taking taylor expansion of x in z
0.445 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.446 * [taylor]: Taking taylor expansion of (* z y) in z
0.446 * [taylor]: Taking taylor expansion of z in z
0.446 * [taylor]: Taking taylor expansion of y in z
0.446 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.446 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.446 * [taylor]: Taking taylor expansion of t in z
0.446 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.446 * [taylor]: Taking taylor expansion of (* a z) in z
0.446 * [taylor]: Taking taylor expansion of a in z
0.446 * [taylor]: Taking taylor expansion of z in z
0.447 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
0.447 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.447 * [taylor]: Taking taylor expansion of x in a
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.447 * [taylor]: Taking taylor expansion of (* z y) in a
0.447 * [taylor]: Taking taylor expansion of z in a
0.447 * [taylor]: Taking taylor expansion of y in a
0.447 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
0.447 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.447 * [taylor]: Taking taylor expansion of t in a
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.447 * [taylor]: Taking taylor expansion of (* a z) in a
0.447 * [taylor]: Taking taylor expansion of a in a
0.447 * [taylor]: Taking taylor expansion of z in a
0.448 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
0.448 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
0.448 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.448 * [taylor]: Taking taylor expansion of x in t
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.448 * [taylor]: Taking taylor expansion of (* z y) in t
0.448 * [taylor]: Taking taylor expansion of z in t
0.448 * [taylor]: Taking taylor expansion of y in t
0.448 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
0.448 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.448 * [taylor]: Taking taylor expansion of t in t
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.448 * [taylor]: Taking taylor expansion of (* a z) in t
0.448 * [taylor]: Taking taylor expansion of a in t
0.448 * [taylor]: Taking taylor expansion of z in t
0.449 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
0.449 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
0.449 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.449 * [taylor]: Taking taylor expansion of x in t
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.449 * [taylor]: Taking taylor expansion of (* z y) in t
0.449 * [taylor]: Taking taylor expansion of z in t
0.449 * [taylor]: Taking taylor expansion of y in t
0.449 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
0.449 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.449 * [taylor]: Taking taylor expansion of t in t
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.450 * [taylor]: Taking taylor expansion of (* a z) in t
0.450 * [taylor]: Taking taylor expansion of a in t
0.450 * [taylor]: Taking taylor expansion of z in t
0.450 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.450 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.450 * [taylor]: Taking taylor expansion of x in a
0.450 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.450 * [taylor]: Taking taylor expansion of (* z y) in a
0.450 * [taylor]: Taking taylor expansion of z in a
0.450 * [taylor]: Taking taylor expansion of y in a
0.451 * [taylor]: Taking taylor expansion of 0 in z
0.451 * [taylor]: Taking taylor expansion of 0 in x
0.453 * [taylor]: Taking taylor expansion of (- (/ 1 (* a (* x z))) (/ 1 (* a (* (pow z 2) y)))) in a
0.453 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x z))) in a
0.453 * [taylor]: Taking taylor expansion of (* a (* x z)) in a
0.453 * [taylor]: Taking taylor expansion of a in a
0.453 * [taylor]: Taking taylor expansion of (* x z) in a
0.453 * [taylor]: Taking taylor expansion of x in a
0.453 * [taylor]: Taking taylor expansion of z in a
0.453 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 2) y))) in a
0.454 * [taylor]: Taking taylor expansion of (* a (* (pow z 2) y)) in a
0.454 * [taylor]: Taking taylor expansion of a in a
0.454 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in a
0.454 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.454 * [taylor]: Taking taylor expansion of z in a
0.454 * [taylor]: Taking taylor expansion of y in a
0.461 * [taylor]: Taking taylor expansion of 0 in z
0.461 * [taylor]: Taking taylor expansion of 0 in x
0.462 * [taylor]: Taking taylor expansion of 0 in z
0.462 * [taylor]: Taking taylor expansion of 0 in x
0.462 * [taylor]: Taking taylor expansion of 0 in x
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.468 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 2) (* x (pow z 2)))) (/ 1 (* (pow a 2) (* (pow z 3) y)))) in a
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (* x (pow z 2)))) in a
0.468 * [taylor]: Taking taylor expansion of (* (pow a 2) (* x (pow z 2))) in a
0.468 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.468 * [taylor]: Taking taylor expansion of a in a
0.468 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in a
0.468 * [taylor]: Taking taylor expansion of x in a
0.468 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.468 * [taylor]: Taking taylor expansion of z in a
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (* (pow z 3) y))) in a
0.468 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (pow z 3) y)) in a
0.469 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.469 * [taylor]: Taking taylor expansion of a in a
0.469 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in a
0.469 * [taylor]: Taking taylor expansion of (pow z 3) in a
0.469 * [taylor]: Taking taylor expansion of z in a
0.469 * [taylor]: Taking taylor expansion of y in a
0.483 * [taylor]: Taking taylor expansion of 0 in z
0.483 * [taylor]: Taking taylor expansion of 0 in x
0.489 * [taylor]: Taking taylor expansion of 0 in z
0.489 * [taylor]: Taking taylor expansion of 0 in x
0.490 * [taylor]: Taking taylor expansion of 0 in z
0.490 * [taylor]: Taking taylor expansion of 0 in x
0.490 * [taylor]: Taking taylor expansion of 0 in x
0.490 * [taylor]: Taking taylor expansion of 0 in x
0.490 * [taylor]: Taking taylor expansion of 0 in x
0.490 * [taylor]: Taking taylor expansion of 0 in y
0.490 * [taylor]: Taking taylor expansion of 0 in y
0.490 * [taylor]: Taking taylor expansion of 0 in y
0.490 * [taylor]: Taking taylor expansion of 0 in y
0.495 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 3) (* x (pow z 3)))) (/ 1 (* (pow a 3) (* (pow z 4) y)))) in a
0.495 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (* x (pow z 3)))) in a
0.495 * [taylor]: Taking taylor expansion of (* (pow a 3) (* x (pow z 3))) in a
0.495 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.495 * [taylor]: Taking taylor expansion of a in a
0.495 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in a
0.495 * [taylor]: Taking taylor expansion of x in a
0.495 * [taylor]: Taking taylor expansion of (pow z 3) in a
0.495 * [taylor]: Taking taylor expansion of z in a
0.496 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (* (pow z 4) y))) in a
0.496 * [taylor]: Taking taylor expansion of (* (pow a 3) (* (pow z 4) y)) in a
0.496 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.496 * [taylor]: Taking taylor expansion of a in a
0.496 * [taylor]: Taking taylor expansion of (* (pow z 4) y) in a
0.496 * [taylor]: Taking taylor expansion of (pow z 4) in a
0.496 * [taylor]: Taking taylor expansion of z in a
0.496 * [taylor]: Taking taylor expansion of y in a
0.525 * [taylor]: Taking taylor expansion of 0 in z
0.525 * [taylor]: Taking taylor expansion of 0 in x
0.534 * [taylor]: Taking taylor expansion of 0 in z
0.534 * [taylor]: Taking taylor expansion of 0 in x
0.541 * [taylor]: Taking taylor expansion of 0 in z
0.541 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in z
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.544 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (t a z x y) around 0
0.544 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.544 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.544 * [taylor]: Taking taylor expansion of (* z y) in y
0.544 * [taylor]: Taking taylor expansion of z in y
0.544 * [taylor]: Taking taylor expansion of y in y
0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.544 * [taylor]: Taking taylor expansion of x in y
0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.544 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.544 * [taylor]: Taking taylor expansion of t in y
0.544 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.544 * [taylor]: Taking taylor expansion of (* a z) in y
0.544 * [taylor]: Taking taylor expansion of a in y
0.544 * [taylor]: Taking taylor expansion of z in y
0.545 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.545 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.545 * [taylor]: Taking taylor expansion of (* z y) in x
0.545 * [taylor]: Taking taylor expansion of z in x
0.545 * [taylor]: Taking taylor expansion of y in x
0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.545 * [taylor]: Taking taylor expansion of x in x
0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.545 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.545 * [taylor]: Taking taylor expansion of t in x
0.545 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.545 * [taylor]: Taking taylor expansion of (* a z) in x
0.545 * [taylor]: Taking taylor expansion of a in x
0.545 * [taylor]: Taking taylor expansion of z in x
0.546 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.546 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.546 * [taylor]: Taking taylor expansion of (* z y) in z
0.546 * [taylor]: Taking taylor expansion of z in z
0.546 * [taylor]: Taking taylor expansion of y in z
0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.546 * [taylor]: Taking taylor expansion of x in z
0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.546 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.546 * [taylor]: Taking taylor expansion of t in z
0.546 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.547 * [taylor]: Taking taylor expansion of (* a z) in z
0.547 * [taylor]: Taking taylor expansion of a in z
0.547 * [taylor]: Taking taylor expansion of z in z
0.547 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.547 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.547 * [taylor]: Taking taylor expansion of (* z y) in a
0.547 * [taylor]: Taking taylor expansion of z in a
0.547 * [taylor]: Taking taylor expansion of y in a
0.547 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.547 * [taylor]: Taking taylor expansion of x in a
0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
0.547 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.547 * [taylor]: Taking taylor expansion of t in a
0.547 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.547 * [taylor]: Taking taylor expansion of (* a z) in a
0.547 * [taylor]: Taking taylor expansion of a in a
0.547 * [taylor]: Taking taylor expansion of z in a
0.548 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
0.548 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
0.548 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.548 * [taylor]: Taking taylor expansion of (* z y) in t
0.548 * [taylor]: Taking taylor expansion of z in t
0.548 * [taylor]: Taking taylor expansion of y in t
0.548 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.548 * [taylor]: Taking taylor expansion of x in t
0.548 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
0.548 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.548 * [taylor]: Taking taylor expansion of t in t
0.548 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.548 * [taylor]: Taking taylor expansion of (* a z) in t
0.548 * [taylor]: Taking taylor expansion of a in t
0.548 * [taylor]: Taking taylor expansion of z in t
0.549 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
0.549 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
0.549 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.549 * [taylor]: Taking taylor expansion of (* z y) in t
0.549 * [taylor]: Taking taylor expansion of z in t
0.549 * [taylor]: Taking taylor expansion of y in t
0.549 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.549 * [taylor]: Taking taylor expansion of x in t
0.549 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
0.549 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.549 * [taylor]: Taking taylor expansion of t in t
0.550 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.550 * [taylor]: Taking taylor expansion of (* a z) in t
0.550 * [taylor]: Taking taylor expansion of a in t
0.550 * [taylor]: Taking taylor expansion of z in t
0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.550 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.550 * [taylor]: Taking taylor expansion of (* z y) in a
0.550 * [taylor]: Taking taylor expansion of z in a
0.550 * [taylor]: Taking taylor expansion of y in a
0.550 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.550 * [taylor]: Taking taylor expansion of x in a
0.551 * [taylor]: Taking taylor expansion of 0 in z
0.551 * [taylor]: Taking taylor expansion of 0 in x
0.552 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a (* x z))) (/ 1 (* a (* (pow z 2) y))))) in a
0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* x z))) (/ 1 (* a (* (pow z 2) y)))) in a
0.552 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x z))) in a
0.552 * [taylor]: Taking taylor expansion of (* a (* x z)) in a
0.552 * [taylor]: Taking taylor expansion of a in a
0.552 * [taylor]: Taking taylor expansion of (* x z) in a
0.552 * [taylor]: Taking taylor expansion of x in a
0.552 * [taylor]: Taking taylor expansion of z in a
0.553 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 2) y))) in a
0.553 * [taylor]: Taking taylor expansion of (* a (* (pow z 2) y)) in a
0.553 * [taylor]: Taking taylor expansion of a in a
0.553 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in a
0.553 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.553 * [taylor]: Taking taylor expansion of z in a
0.553 * [taylor]: Taking taylor expansion of y in a
0.563 * [taylor]: Taking taylor expansion of 0 in z
0.563 * [taylor]: Taking taylor expansion of 0 in x
0.564 * [taylor]: Taking taylor expansion of 0 in z
0.564 * [taylor]: Taking taylor expansion of 0 in x
0.564 * [taylor]: Taking taylor expansion of 0 in x
0.564 * [taylor]: Taking taylor expansion of 0 in y
0.567 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow a 2) (* x (pow z 2)))) (/ 1 (* (pow a 2) (* (pow z 3) y)))) in a
0.567 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (* x (pow z 2)))) in a
0.567 * [taylor]: Taking taylor expansion of (* (pow a 2) (* x (pow z 2))) in a
0.567 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.567 * [taylor]: Taking taylor expansion of a in a
0.567 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in a
0.567 * [taylor]: Taking taylor expansion of x in a
0.567 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.567 * [taylor]: Taking taylor expansion of z in a
0.568 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (* (pow z 3) y))) in a
0.568 * [taylor]: Taking taylor expansion of (* (pow a 2) (* (pow z 3) y)) in a
0.568 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.568 * [taylor]: Taking taylor expansion of a in a
0.568 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in a
0.568 * [taylor]: Taking taylor expansion of (pow z 3) in a
0.568 * [taylor]: Taking taylor expansion of z in a
0.568 * [taylor]: Taking taylor expansion of y in a
0.582 * [taylor]: Taking taylor expansion of 0 in z
0.582 * [taylor]: Taking taylor expansion of 0 in x
0.588 * [taylor]: Taking taylor expansion of 0 in z
0.588 * [taylor]: Taking taylor expansion of 0 in x
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in x
0.589 * [taylor]: Taking taylor expansion of 0 in x
0.589 * [taylor]: Taking taylor expansion of 0 in x
0.589 * [taylor]: Taking taylor expansion of 0 in x
0.589 * [taylor]: Taking taylor expansion of 0 in y
0.589 * [taylor]: Taking taylor expansion of 0 in y
0.589 * [taylor]: Taking taylor expansion of 0 in y
0.589 * [taylor]: Taking taylor expansion of 0 in y
0.593 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow a 3) (* x (pow z 3)))) (/ 1 (* (pow a 3) (* (pow z 4) y))))) in a
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow a 3) (* x (pow z 3)))) (/ 1 (* (pow a 3) (* (pow z 4) y)))) in a
0.593 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (* x (pow z 3)))) in a
0.593 * [taylor]: Taking taylor expansion of (* (pow a 3) (* x (pow z 3))) in a
0.593 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.593 * [taylor]: Taking taylor expansion of a in a
0.593 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in a
0.593 * [taylor]: Taking taylor expansion of x in a
0.593 * [taylor]: Taking taylor expansion of (pow z 3) in a
0.593 * [taylor]: Taking taylor expansion of z in a
0.594 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (* (pow z 4) y))) in a
0.594 * [taylor]: Taking taylor expansion of (* (pow a 3) (* (pow z 4) y)) in a
0.594 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.594 * [taylor]: Taking taylor expansion of a in a
0.594 * [taylor]: Taking taylor expansion of (* (pow z 4) y) in a
0.594 * [taylor]: Taking taylor expansion of (pow z 4) in a
0.594 * [taylor]: Taking taylor expansion of z in a
0.594 * [taylor]: Taking taylor expansion of y in a
0.623 * [taylor]: Taking taylor expansion of 0 in z
0.623 * [taylor]: Taking taylor expansion of 0 in x
0.632 * [taylor]: Taking taylor expansion of 0 in z
0.632 * [taylor]: Taking taylor expansion of 0 in x
0.639 * [taylor]: Taking taylor expansion of 0 in z
0.639 * [taylor]: Taking taylor expansion of 0 in x
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.640 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in x
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * [taylor]: Taking taylor expansion of 0 in y
0.641 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
0.641 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x y z) around 0
0.641 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.641 * [taylor]: Taking taylor expansion of x in z
0.641 * [taylor]: Taking taylor expansion of (* z y) in z
0.641 * [taylor]: Taking taylor expansion of z in z
0.641 * [taylor]: Taking taylor expansion of y in z
0.641 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.641 * [taylor]: Taking taylor expansion of x in y
0.641 * [taylor]: Taking taylor expansion of (* z y) in y
0.641 * [taylor]: Taking taylor expansion of z in y
0.641 * [taylor]: Taking taylor expansion of y in y
0.641 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.641 * [taylor]: Taking taylor expansion of x in x
0.641 * [taylor]: Taking taylor expansion of (* z y) in x
0.641 * [taylor]: Taking taylor expansion of z in x
0.642 * [taylor]: Taking taylor expansion of y in x
0.642 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.642 * [taylor]: Taking taylor expansion of x in x
0.642 * [taylor]: Taking taylor expansion of (* z y) in x
0.642 * [taylor]: Taking taylor expansion of z in x
0.642 * [taylor]: Taking taylor expansion of y in x
0.642 * [taylor]: Taking taylor expansion of (- (* z y)) in y
0.642 * [taylor]: Taking taylor expansion of (* z y) in y
0.642 * [taylor]: Taking taylor expansion of z in y
0.642 * [taylor]: Taking taylor expansion of y in y
0.642 * [taylor]: Taking taylor expansion of 0 in z
0.643 * [taylor]: Taking taylor expansion of 1 in y
0.643 * [taylor]: Taking taylor expansion of 1 in z
0.643 * [taylor]: Taking taylor expansion of (- z) in z
0.643 * [taylor]: Taking taylor expansion of z in z
0.644 * [taylor]: Taking taylor expansion of 0 in y
0.644 * [taylor]: Taking taylor expansion of 0 in z
0.644 * [taylor]: Taking taylor expansion of 0 in z
0.645 * [taylor]: Taking taylor expansion of 0 in z
0.645 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x y z) around 0
0.645 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.645 * [taylor]: Taking taylor expansion of x in z
0.645 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.645 * [taylor]: Taking taylor expansion of (* z y) in z
0.645 * [taylor]: Taking taylor expansion of z in z
0.645 * [taylor]: Taking taylor expansion of y in z
0.646 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.646 * [taylor]: Taking taylor expansion of x in y
0.646 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.646 * [taylor]: Taking taylor expansion of (* z y) in y
0.646 * [taylor]: Taking taylor expansion of z in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.646 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.647 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.647 * [taylor]: Taking taylor expansion of (* z y) in x
0.647 * [taylor]: Taking taylor expansion of z in x
0.647 * [taylor]: Taking taylor expansion of y in x
0.647 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.647 * [taylor]: Taking taylor expansion of x in x
0.647 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.647 * [taylor]: Taking taylor expansion of (* z y) in x
0.647 * [taylor]: Taking taylor expansion of z in x
0.647 * [taylor]: Taking taylor expansion of y in x
0.647 * [taylor]: Taking taylor expansion of 1 in y
0.648 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
0.648 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.648 * [taylor]: Taking taylor expansion of (* z y) in y
0.648 * [taylor]: Taking taylor expansion of z in y
0.648 * [taylor]: Taking taylor expansion of y in y
0.651 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.651 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.651 * [taylor]: Taking taylor expansion of z in z
0.652 * [taylor]: Taking taylor expansion of 1 in z
0.653 * [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 z
0.656 * [taylor]: Taking taylor expansion of 0 in y
0.656 * [taylor]: Taking taylor expansion of 0 in z
0.657 * [taylor]: Taking taylor expansion of 0 in z
0.657 * [taylor]: Taking taylor expansion of 0 in z
0.659 * [taylor]: Taking taylor expansion of 0 in y
0.659 * [taylor]: Taking taylor expansion of 0 in z
0.659 * [taylor]: Taking taylor expansion of 0 in z
0.660 * [taylor]: Taking taylor expansion of 0 in z
0.660 * [taylor]: Taking taylor expansion of 0 in z
0.661 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0
0.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in z
0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.661 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.661 * [taylor]: Taking taylor expansion of (* z y) in z
0.661 * [taylor]: Taking taylor expansion of z in z
0.661 * [taylor]: Taking taylor expansion of y in z
0.661 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.661 * [taylor]: Taking taylor expansion of x in z
0.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in y
0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.661 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.661 * [taylor]: Taking taylor expansion of (* z y) in y
0.661 * [taylor]: Taking taylor expansion of z in y
0.661 * [taylor]: Taking taylor expansion of y in y
0.662 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.662 * [taylor]: Taking taylor expansion of x in y
0.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
0.662 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.662 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.662 * [taylor]: Taking taylor expansion of (* z y) in x
0.662 * [taylor]: Taking taylor expansion of z in x
0.662 * [taylor]: Taking taylor expansion of y in x
0.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.662 * [taylor]: Taking taylor expansion of x in x
0.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
0.662 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.662 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.662 * [taylor]: Taking taylor expansion of (* z y) in x
0.662 * [taylor]: Taking taylor expansion of z in x
0.662 * [taylor]: Taking taylor expansion of y in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of -1 in y
0.664 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
0.664 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.664 * [taylor]: Taking taylor expansion of (* z y) in y
0.664 * [taylor]: Taking taylor expansion of z in y
0.664 * [taylor]: Taking taylor expansion of y in y
0.664 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.664 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.664 * [taylor]: Taking taylor expansion of z in z
0.665 * [taylor]: Taking taylor expansion of -1 in z
0.666 * [taylor]: Taking taylor expansion of 0 in y
0.667 * [taylor]: Taking taylor expansion of 0 in z
0.667 * [taylor]: Taking taylor expansion of 0 in z
0.669 * [taylor]: Taking taylor expansion of 0 in y
0.669 * [taylor]: Taking taylor expansion of 0 in z
0.670 * [taylor]: Taking taylor expansion of 0 in z
0.670 * [taylor]: Taking taylor expansion of 0 in z
0.672 * [taylor]: Taking taylor expansion of 0 in y
0.673 * [taylor]: Taking taylor expansion of 0 in z
0.673 * [taylor]: Taking taylor expansion of 0 in z
0.673 * [taylor]: Taking taylor expansion of 0 in z
0.674 * [taylor]: Taking taylor expansion of 0 in z
0.674 * * * [progress]: simplifying candidates
0.674 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- t (* a z)))
  (- (- x (* y z)))
  (/ t (- x (* y z)))
  (/ (* a z) (- x (* y z)))
  (/ 1 (- x (* y z)))
  (/ (- x (* y z)) (- t (* a z)))
  (/ (- t (* a z)) (- (pow x 3) (pow (* y z) 3)))
  (/ (- t (* a z)) (- (* x x) (* (* y z) (* y z))))
  (* (- x (* y z)) (+ (* t t) (+ (* (* a z) (* a z)) (* t (* a z)))))
  (* (- x (* y z)) (+ t (* a z)))
  (- 1)
  (- (/ (- t (* a z)) (- x (* y z))))
  (/ 1 (/ (- t (* a z)) (- x (* y z))))
  (/ (/ (- t (* a z)) (- x (* y z))) 1)
  (/ 1 (- t (* a z)))
  (/ 1 (/ (- t (* a z)) (- (pow x 3) (pow (* y z) 3))))
  (/ 1 (/ (- t (* a z)) (- (* x x) (* (* y z) (* y z)))))
  (/ 1 (- t (* a z)))
  (/ 1 (- (- t (* a z))))
  (/ 1 1)
  (/ 1 (- (pow t 3) (pow (* a z) 3)))
  (/ 1 (- (* t t) (* (* a z) (* a z))))
  (- (pow x 3) (pow (* y z) 3))
  (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))
  (- (* y z))
  (- (* x x) (* (* y z) (* y z)))
  (+ x (* y z))
  (- (* y z))
  0
  0
  0
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
0.678 * * [simplify]: iteration  0 :  161  enodes  (cost  131 )
0.682 * * [simplify]: iteration  1 :  577  enodes  (cost  122 )
0.695 * * [simplify]: iteration  2 :  2383  enodes  (cost  119 )
0.741 * * [simplify]: iteration  3 :  5002  enodes  (cost  117 )
0.742 * [simplify]: Simplified to:
   (fma z a (- t))
  (fma z y (- x))
  (/ t (- x (* z y)))
  (/ (* a z) (- x (* y z)))
  (/ 1 (- x (* y z)))
  (/ (- x (* y z)) (- t (* a z)))
  (/ (- t (* a z)) (- (pow x 3) (pow (* y z) 3)))
  (/ (/ (- t (* a z)) (fma z y x)) (- x (* z y)))
  (* (- x (* z y)) (fma (* a z) (+ t (* a z)) (* t t)))
  (* (- x (* z y)) (fma z a t))
  (- 1)
  (- (/ (- t (* a z)) (- x (* y z))))
  (/ (- x (* y z)) (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  (/ 1 (- t (* a z)))
  (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z)))
  (* (/ (- x (* y z)) (- t (* a z))) (fma z y x))
  (/ 1 (- t (* a z)))
  (/ 1 (- (- t (* a z))))
  1
  (/ 1 (- (pow t 3) (pow (* a z) 3)))
  (/ (/ 1 (fma z a t)) (- t (* a z)))
  (- (pow x 3) (pow (* y z) 3))
  (fma z (* y (fma z y x)) (* x x))
  (- (* y z))
  (* (fma z y x) (- x (* z y)))
  (fma z y x)
  (- (* y z))
  0
  0
  0
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
0.742 * * * [progress]: adding candidates to table
0.824 * * [progress]: iteration 3 / 4
0.824 * * * [progress]: picking best candidate
0.844 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))>
0.844 * * * [progress]: localizing error
0.857 * * * [progress]: generating rewritten candidates
0.857 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.861 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.867 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.871 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
0.875 * * * [progress]: generating series expansions
0.875 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.875 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (x y z t a) around 0
0.875 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
0.875 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.875 * [taylor]: Taking taylor expansion of x in a
0.875 * [taylor]: Taking taylor expansion of (* z y) in a
0.875 * [taylor]: Taking taylor expansion of z in a
0.875 * [taylor]: Taking taylor expansion of y in a
0.875 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
0.875 * [taylor]: Taking taylor expansion of t in a
0.875 * [taylor]: Taking taylor expansion of (* a z) in a
0.875 * [taylor]: Taking taylor expansion of a in a
0.875 * [taylor]: Taking taylor expansion of z in a
0.876 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
0.876 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.876 * [taylor]: Taking taylor expansion of x in t
0.876 * [taylor]: Taking taylor expansion of (* z y) in t
0.876 * [taylor]: Taking taylor expansion of z in t
0.876 * [taylor]: Taking taylor expansion of y in t
0.876 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.876 * [taylor]: Taking taylor expansion of t in t
0.876 * [taylor]: Taking taylor expansion of (* a z) in t
0.876 * [taylor]: Taking taylor expansion of a in t
0.876 * [taylor]: Taking taylor expansion of z in t
0.876 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
0.876 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.876 * [taylor]: Taking taylor expansion of x in z
0.876 * [taylor]: Taking taylor expansion of (* z y) in z
0.876 * [taylor]: Taking taylor expansion of z in z
0.876 * [taylor]: Taking taylor expansion of y in z
0.877 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.877 * [taylor]: Taking taylor expansion of t in z
0.877 * [taylor]: Taking taylor expansion of (* a z) in z
0.877 * [taylor]: Taking taylor expansion of a in z
0.877 * [taylor]: Taking taylor expansion of z in z
0.877 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
0.877 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.877 * [taylor]: Taking taylor expansion of x in y
0.877 * [taylor]: Taking taylor expansion of (* z y) in y
0.877 * [taylor]: Taking taylor expansion of z in y
0.877 * [taylor]: Taking taylor expansion of y in y
0.877 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.877 * [taylor]: Taking taylor expansion of t in y
0.877 * [taylor]: Taking taylor expansion of (* a z) in y
0.877 * [taylor]: Taking taylor expansion of a in y
0.877 * [taylor]: Taking taylor expansion of z in y
0.878 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
0.878 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.878 * [taylor]: Taking taylor expansion of (* z y) in x
0.878 * [taylor]: Taking taylor expansion of z in x
0.878 * [taylor]: Taking taylor expansion of y in x
0.878 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.878 * [taylor]: Taking taylor expansion of t in x
0.878 * [taylor]: Taking taylor expansion of (* a z) in x
0.878 * [taylor]: Taking taylor expansion of a in x
0.878 * [taylor]: Taking taylor expansion of z in x
0.878 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
0.878 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.878 * [taylor]: Taking taylor expansion of (* z y) in x
0.878 * [taylor]: Taking taylor expansion of z in x
0.878 * [taylor]: Taking taylor expansion of y in x
0.878 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.878 * [taylor]: Taking taylor expansion of t in x
0.879 * [taylor]: Taking taylor expansion of (* a z) in x
0.879 * [taylor]: Taking taylor expansion of a in x
0.879 * [taylor]: Taking taylor expansion of z in x
0.879 * [taylor]: Taking taylor expansion of (* -1 (/ (* z y) (- t (* a z)))) in y
0.879 * [taylor]: Taking taylor expansion of -1 in y
0.879 * [taylor]: Taking taylor expansion of (/ (* z y) (- t (* a z))) in y
0.879 * [taylor]: Taking taylor expansion of (* z y) in y
0.879 * [taylor]: Taking taylor expansion of z in y
0.879 * [taylor]: Taking taylor expansion of y in y
0.879 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.879 * [taylor]: Taking taylor expansion of t in y
0.879 * [taylor]: Taking taylor expansion of (* a z) in y
0.879 * [taylor]: Taking taylor expansion of a in y
0.879 * [taylor]: Taking taylor expansion of z in y
0.881 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in y
0.881 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.881 * [taylor]: Taking taylor expansion of t in y
0.881 * [taylor]: Taking taylor expansion of (* a z) in y
0.881 * [taylor]: Taking taylor expansion of a in y
0.881 * [taylor]: Taking taylor expansion of z in y
0.881 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
0.881 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.881 * [taylor]: Taking taylor expansion of t in z
0.881 * [taylor]: Taking taylor expansion of (* a z) in z
0.881 * [taylor]: Taking taylor expansion of a in z
0.881 * [taylor]: Taking taylor expansion of z in z
0.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.882 * [taylor]: Taking taylor expansion of t in t
0.883 * [taylor]: Taking taylor expansion of 0 in a
0.883 * [taylor]: Taking taylor expansion of (* -1 (/ z (- t (* a z)))) in z
0.883 * [taylor]: Taking taylor expansion of -1 in z
0.883 * [taylor]: Taking taylor expansion of (/ z (- t (* a z))) in z
0.883 * [taylor]: Taking taylor expansion of z in z
0.883 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.883 * [taylor]: Taking taylor expansion of t in z
0.883 * [taylor]: Taking taylor expansion of (* a z) in z
0.883 * [taylor]: Taking taylor expansion of a in z
0.883 * [taylor]: Taking taylor expansion of z in z
0.885 * [taylor]: Taking taylor expansion of 0 in y
0.885 * [taylor]: Taking taylor expansion of 0 in z
0.885 * [taylor]: Taking taylor expansion of 0 in t
0.885 * [taylor]: Taking taylor expansion of 0 in a
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.886 * [taylor]: Taking taylor expansion of 0 in t
0.886 * [taylor]: Taking taylor expansion of 0 in a
0.887 * [taylor]: Taking taylor expansion of 0 in z
0.887 * [taylor]: Taking taylor expansion of 0 in t
0.887 * [taylor]: Taking taylor expansion of 0 in a
0.888 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in t
0.888 * [taylor]: Taking taylor expansion of a in t
0.888 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.888 * [taylor]: Taking taylor expansion of t in t
0.891 * [taylor]: Taking taylor expansion of 0 in a
0.891 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.891 * [taylor]: Taking taylor expansion of -1 in t
0.891 * [taylor]: Taking taylor expansion of t in t
0.891 * [taylor]: Taking taylor expansion of 0 in a
0.892 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
0.892 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
0.892 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.892 * [taylor]: Taking taylor expansion of x in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.892 * [taylor]: Taking taylor expansion of (* z y) in a
0.892 * [taylor]: Taking taylor expansion of z in a
0.892 * [taylor]: Taking taylor expansion of y in a
0.892 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.892 * [taylor]: Taking taylor expansion of t in a
0.892 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.892 * [taylor]: Taking taylor expansion of (* a z) in a
0.892 * [taylor]: Taking taylor expansion of a in a
0.892 * [taylor]: Taking taylor expansion of z in a
0.893 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
0.893 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
0.893 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.893 * [taylor]: Taking taylor expansion of x in t
0.893 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.893 * [taylor]: Taking taylor expansion of (* z y) in t
0.893 * [taylor]: Taking taylor expansion of z in t
0.893 * [taylor]: Taking taylor expansion of y in t
0.893 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
0.893 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.893 * [taylor]: Taking taylor expansion of t in t
0.893 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.893 * [taylor]: Taking taylor expansion of (* a z) in t
0.894 * [taylor]: Taking taylor expansion of a in t
0.894 * [taylor]: Taking taylor expansion of z in t
0.894 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
0.894 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.894 * [taylor]: Taking taylor expansion of x in z
0.894 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.894 * [taylor]: Taking taylor expansion of (* z y) in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.894 * [taylor]: Taking taylor expansion of y in z
0.895 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.895 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.895 * [taylor]: Taking taylor expansion of t in z
0.895 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.895 * [taylor]: Taking taylor expansion of (* a z) in z
0.895 * [taylor]: Taking taylor expansion of a in z
0.895 * [taylor]: Taking taylor expansion of z in z
0.895 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
0.895 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
0.895 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.895 * [taylor]: Taking taylor expansion of x in y
0.895 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.895 * [taylor]: Taking taylor expansion of (* z y) in y
0.895 * [taylor]: Taking taylor expansion of z in y
0.895 * [taylor]: Taking taylor expansion of y in y
0.896 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.896 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.896 * [taylor]: Taking taylor expansion of t in y
0.896 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.896 * [taylor]: Taking taylor expansion of (* a z) in y
0.896 * [taylor]: Taking taylor expansion of a in y
0.896 * [taylor]: Taking taylor expansion of z in y
0.896 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
0.896 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.897 * [taylor]: Taking taylor expansion of (* z y) in x
0.897 * [taylor]: Taking taylor expansion of z in x
0.897 * [taylor]: Taking taylor expansion of y in x
0.897 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.897 * [taylor]: Taking taylor expansion of t in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.897 * [taylor]: Taking taylor expansion of (* a z) in x
0.897 * [taylor]: Taking taylor expansion of a in x
0.897 * [taylor]: Taking taylor expansion of z in x
0.897 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
0.897 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.898 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.898 * [taylor]: Taking taylor expansion of (* z y) in x
0.898 * [taylor]: Taking taylor expansion of z in x
0.898 * [taylor]: Taking taylor expansion of y in x
0.898 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.898 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.898 * [taylor]: Taking taylor expansion of t in x
0.898 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.898 * [taylor]: Taking taylor expansion of (* a z) in x
0.898 * [taylor]: Taking taylor expansion of a in x
0.898 * [taylor]: Taking taylor expansion of z in x
0.899 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in y
0.899 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.899 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.899 * [taylor]: Taking taylor expansion of t in y
0.899 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.899 * [taylor]: Taking taylor expansion of (* a z) in y
0.899 * [taylor]: Taking taylor expansion of a in y
0.899 * [taylor]: Taking taylor expansion of z in y
0.901 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z))))))) in y
0.901 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z)))))) in y
0.901 * [taylor]: Taking taylor expansion of (* z (* y (- (/ 1 t) (/ 1 (* a z))))) in y
0.901 * [taylor]: Taking taylor expansion of z in y
0.901 * [taylor]: Taking taylor expansion of (* y (- (/ 1 t) (/ 1 (* a z)))) in y
0.901 * [taylor]: Taking taylor expansion of y in y
0.901 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.901 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.901 * [taylor]: Taking taylor expansion of t in y
0.901 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.901 * [taylor]: Taking taylor expansion of (* a z) in y
0.901 * [taylor]: Taking taylor expansion of a in y
0.901 * [taylor]: Taking taylor expansion of z in y
0.903 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ z t) (/ 1 a)))) in z
0.903 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z t) (/ 1 a))) in z
0.903 * [taylor]: Taking taylor expansion of (- (/ z t) (/ 1 a)) in z
0.903 * [taylor]: Taking taylor expansion of (/ z t) in z
0.903 * [taylor]: Taking taylor expansion of z in z
0.903 * [taylor]: Taking taylor expansion of t in z
0.903 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.903 * [taylor]: Taking taylor expansion of a in z
0.903 * [taylor]: Taking taylor expansion of a in t
0.903 * [taylor]: Taking taylor expansion of 0 in a
0.903 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
0.903 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.903 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.903 * [taylor]: Taking taylor expansion of t in z
0.903 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.904 * [taylor]: Taking taylor expansion of (* a z) in z
0.904 * [taylor]: Taking taylor expansion of a in z
0.904 * [taylor]: Taking taylor expansion of z in z
0.907 * [taylor]: Taking taylor expansion of 0 in y
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in t
0.909 * [taylor]: Taking taylor expansion of 0 in a
0.910 * [taylor]: Taking taylor expansion of 0 in z
0.910 * [taylor]: Taking taylor expansion of 0 in t
0.910 * [taylor]: Taking taylor expansion of 0 in a
0.911 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
0.911 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.911 * [taylor]: Taking taylor expansion of a in t
0.911 * [taylor]: Taking taylor expansion of t in t
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.913 * [taylor]: Taking taylor expansion of -1 in t
0.913 * [taylor]: Taking taylor expansion of a in t
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.914 * [taylor]: Taking taylor expansion of 0 in a
0.914 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
0.914 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
0.914 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.914 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.914 * [taylor]: Taking taylor expansion of (* z y) in a
0.914 * [taylor]: Taking taylor expansion of z in a
0.914 * [taylor]: Taking taylor expansion of y in a
0.914 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.914 * [taylor]: Taking taylor expansion of x in a
0.914 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
0.914 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.914 * [taylor]: Taking taylor expansion of t in a
0.914 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.914 * [taylor]: Taking taylor expansion of (* a z) in a
0.914 * [taylor]: Taking taylor expansion of a in a
0.914 * [taylor]: Taking taylor expansion of z in a
0.915 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
0.915 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
0.915 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.915 * [taylor]: Taking taylor expansion of (* z y) in t
0.915 * [taylor]: Taking taylor expansion of z in t
0.915 * [taylor]: Taking taylor expansion of y in t
0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.915 * [taylor]: Taking taylor expansion of x in t
0.915 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
0.915 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.915 * [taylor]: Taking taylor expansion of t in t
0.915 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.915 * [taylor]: Taking taylor expansion of (* a z) in t
0.915 * [taylor]: Taking taylor expansion of a in t
0.915 * [taylor]: Taking taylor expansion of z in t
0.916 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.916 * [taylor]: Taking taylor expansion of (* z y) in z
0.916 * [taylor]: Taking taylor expansion of z in z
0.916 * [taylor]: Taking taylor expansion of y in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.916 * [taylor]: Taking taylor expansion of x in z
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.917 * [taylor]: Taking taylor expansion of t in z
0.917 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.917 * [taylor]: Taking taylor expansion of (* a z) in z
0.917 * [taylor]: Taking taylor expansion of a in z
0.917 * [taylor]: Taking taylor expansion of z in z
0.917 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
0.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.917 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.917 * [taylor]: Taking taylor expansion of (* z y) in y
0.917 * [taylor]: Taking taylor expansion of z in y
0.917 * [taylor]: Taking taylor expansion of y in y
0.917 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.917 * [taylor]: Taking taylor expansion of x in y
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.918 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.918 * [taylor]: Taking taylor expansion of t in y
0.918 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.918 * [taylor]: Taking taylor expansion of (* a z) in y
0.918 * [taylor]: Taking taylor expansion of a in y
0.918 * [taylor]: Taking taylor expansion of z in y
0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.918 * [taylor]: Taking taylor expansion of (* z y) in x
0.918 * [taylor]: Taking taylor expansion of z in x
0.918 * [taylor]: Taking taylor expansion of y in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.918 * [taylor]: Taking taylor expansion of t in x
0.919 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.919 * [taylor]: Taking taylor expansion of (* a z) in x
0.919 * [taylor]: Taking taylor expansion of a in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.919 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.919 * [taylor]: Taking taylor expansion of (* z y) in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [taylor]: Taking taylor expansion of y in x
0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.919 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.920 * [taylor]: Taking taylor expansion of t in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.920 * [taylor]: Taking taylor expansion of (* a z) in x
0.920 * [taylor]: Taking taylor expansion of a in x
0.920 * [taylor]: Taking taylor expansion of z in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in y
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.920 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.920 * [taylor]: Taking taylor expansion of t in y
0.920 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.920 * [taylor]: Taking taylor expansion of (* a z) in y
0.920 * [taylor]: Taking taylor expansion of a in y
0.920 * [taylor]: Taking taylor expansion of z in y
0.922 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (+ (/ 1 t) (/ 1 (* a z)))))) in y
0.922 * [taylor]: Taking taylor expansion of (* z (* y (+ (/ 1 t) (/ 1 (* a z))))) in y
0.922 * [taylor]: Taking taylor expansion of z in y
0.922 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 t) (/ 1 (* a z)))) in y
0.922 * [taylor]: Taking taylor expansion of y in y
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.922 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.922 * [taylor]: Taking taylor expansion of t in y
0.922 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.922 * [taylor]: Taking taylor expansion of (* a z) in y
0.922 * [taylor]: Taking taylor expansion of a in y
0.922 * [taylor]: Taking taylor expansion of z in y
0.924 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 a) (/ z t))) in z
0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ z t)) in z
0.924 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.924 * [taylor]: Taking taylor expansion of a in z
0.924 * [taylor]: Taking taylor expansion of (/ z t) in z
0.924 * [taylor]: Taking taylor expansion of z in z
0.924 * [taylor]: Taking taylor expansion of t in z
0.924 * [taylor]: Taking taylor expansion of a in t
0.924 * [taylor]: Taking taylor expansion of 0 in a
0.924 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in z
0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.924 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.924 * [taylor]: Taking taylor expansion of t in z
0.924 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.924 * [taylor]: Taking taylor expansion of (* a z) in z
0.924 * [taylor]: Taking taylor expansion of a in z
0.924 * [taylor]: Taking taylor expansion of z in z
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.929 * [taylor]: Taking taylor expansion of 0 in z
0.929 * [taylor]: Taking taylor expansion of 0 in t
0.929 * [taylor]: Taking taylor expansion of 0 in a
0.929 * [taylor]: Taking taylor expansion of 0 in z
0.929 * [taylor]: Taking taylor expansion of 0 in t
0.929 * [taylor]: Taking taylor expansion of 0 in a
0.930 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
0.930 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
0.930 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.930 * [taylor]: Taking taylor expansion of a in t
0.930 * [taylor]: Taking taylor expansion of t in t
0.932 * [taylor]: Taking taylor expansion of 0 in a
0.932 * [taylor]: Taking taylor expansion of a in t
0.932 * [taylor]: Taking taylor expansion of 0 in a
0.932 * [taylor]: Taking taylor expansion of 0 in a
0.932 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.933 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (x y z t a) around 0
0.933 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
0.933 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.933 * [taylor]: Taking taylor expansion of x in a
0.933 * [taylor]: Taking taylor expansion of (* z y) in a
0.933 * [taylor]: Taking taylor expansion of z in a
0.933 * [taylor]: Taking taylor expansion of y in a
0.933 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
0.933 * [taylor]: Taking taylor expansion of t in a
0.933 * [taylor]: Taking taylor expansion of (* a z) in a
0.933 * [taylor]: Taking taylor expansion of a in a
0.933 * [taylor]: Taking taylor expansion of z in a
0.933 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
0.933 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.933 * [taylor]: Taking taylor expansion of x in t
0.933 * [taylor]: Taking taylor expansion of (* z y) in t
0.933 * [taylor]: Taking taylor expansion of z in t
0.933 * [taylor]: Taking taylor expansion of y in t
0.933 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.934 * [taylor]: Taking taylor expansion of t in t
0.934 * [taylor]: Taking taylor expansion of (* a z) in t
0.934 * [taylor]: Taking taylor expansion of a in t
0.934 * [taylor]: Taking taylor expansion of z in t
0.934 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
0.934 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.934 * [taylor]: Taking taylor expansion of x in z
0.934 * [taylor]: Taking taylor expansion of (* z y) in z
0.934 * [taylor]: Taking taylor expansion of z in z
0.934 * [taylor]: Taking taylor expansion of y in z
0.934 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.934 * [taylor]: Taking taylor expansion of t in z
0.934 * [taylor]: Taking taylor expansion of (* a z) in z
0.934 * [taylor]: Taking taylor expansion of a in z
0.934 * [taylor]: Taking taylor expansion of z in z
0.935 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
0.935 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.935 * [taylor]: Taking taylor expansion of x in y
0.935 * [taylor]: Taking taylor expansion of (* z y) in y
0.935 * [taylor]: Taking taylor expansion of z in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.935 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.935 * [taylor]: Taking taylor expansion of t in y
0.935 * [taylor]: Taking taylor expansion of (* a z) in y
0.935 * [taylor]: Taking taylor expansion of a in y
0.935 * [taylor]: Taking taylor expansion of z in y
0.935 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
0.935 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of (* z y) in x
0.935 * [taylor]: Taking taylor expansion of z in x
0.935 * [taylor]: Taking taylor expansion of y in x
0.935 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.935 * [taylor]: Taking taylor expansion of t in x
0.935 * [taylor]: Taking taylor expansion of (* a z) in x
0.935 * [taylor]: Taking taylor expansion of a in x
0.935 * [taylor]: Taking taylor expansion of z in x
0.936 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
0.936 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of (* z y) in x
0.936 * [taylor]: Taking taylor expansion of z in x
0.936 * [taylor]: Taking taylor expansion of y in x
0.936 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.936 * [taylor]: Taking taylor expansion of t in x
0.936 * [taylor]: Taking taylor expansion of (* a z) in x
0.936 * [taylor]: Taking taylor expansion of a in x
0.936 * [taylor]: Taking taylor expansion of z in x
0.936 * [taylor]: Taking taylor expansion of (* -1 (/ (* z y) (- t (* a z)))) in y
0.936 * [taylor]: Taking taylor expansion of -1 in y
0.936 * [taylor]: Taking taylor expansion of (/ (* z y) (- t (* a z))) in y
0.936 * [taylor]: Taking taylor expansion of (* z y) in y
0.936 * [taylor]: Taking taylor expansion of z in y
0.936 * [taylor]: Taking taylor expansion of y in y
0.936 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.936 * [taylor]: Taking taylor expansion of t in y
0.936 * [taylor]: Taking taylor expansion of (* a z) in y
0.936 * [taylor]: Taking taylor expansion of a in y
0.936 * [taylor]: Taking taylor expansion of z in y
0.941 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in y
0.941 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.941 * [taylor]: Taking taylor expansion of t in y
0.941 * [taylor]: Taking taylor expansion of (* a z) in y
0.941 * [taylor]: Taking taylor expansion of a in y
0.941 * [taylor]: Taking taylor expansion of z in y
0.941 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
0.942 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.942 * [taylor]: Taking taylor expansion of t in z
0.942 * [taylor]: Taking taylor expansion of (* a z) in z
0.942 * [taylor]: Taking taylor expansion of a in z
0.942 * [taylor]: Taking taylor expansion of z in z
0.942 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.942 * [taylor]: Taking taylor expansion of t in t
0.943 * [taylor]: Taking taylor expansion of 0 in a
0.943 * [taylor]: Taking taylor expansion of (* -1 (/ z (- t (* a z)))) in z
0.943 * [taylor]: Taking taylor expansion of -1 in z
0.943 * [taylor]: Taking taylor expansion of (/ z (- t (* a z))) in z
0.943 * [taylor]: Taking taylor expansion of z in z
0.943 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.943 * [taylor]: Taking taylor expansion of t in z
0.943 * [taylor]: Taking taylor expansion of (* a z) in z
0.943 * [taylor]: Taking taylor expansion of a in z
0.943 * [taylor]: Taking taylor expansion of z in z
0.945 * [taylor]: Taking taylor expansion of 0 in y
0.945 * [taylor]: Taking taylor expansion of 0 in z
0.945 * [taylor]: Taking taylor expansion of 0 in t
0.945 * [taylor]: Taking taylor expansion of 0 in a
0.946 * [taylor]: Taking taylor expansion of 0 in z
0.946 * [taylor]: Taking taylor expansion of 0 in t
0.946 * [taylor]: Taking taylor expansion of 0 in a
0.948 * [taylor]: Taking taylor expansion of 0 in z
0.948 * [taylor]: Taking taylor expansion of 0 in t
0.948 * [taylor]: Taking taylor expansion of 0 in a
0.948 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in t
0.948 * [taylor]: Taking taylor expansion of a in t
0.948 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.948 * [taylor]: Taking taylor expansion of t in t
0.951 * [taylor]: Taking taylor expansion of 0 in a
0.951 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.951 * [taylor]: Taking taylor expansion of -1 in t
0.951 * [taylor]: Taking taylor expansion of t in t
0.952 * [taylor]: Taking taylor expansion of 0 in a
0.952 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
0.952 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.952 * [taylor]: Taking taylor expansion of x in a
0.952 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.952 * [taylor]: Taking taylor expansion of (* z y) in a
0.952 * [taylor]: Taking taylor expansion of z in a
0.953 * [taylor]: Taking taylor expansion of y in a
0.953 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
0.953 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.953 * [taylor]: Taking taylor expansion of t in a
0.953 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.953 * [taylor]: Taking taylor expansion of (* a z) in a
0.953 * [taylor]: Taking taylor expansion of a in a
0.953 * [taylor]: Taking taylor expansion of z in a
0.953 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
0.953 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
0.953 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.953 * [taylor]: Taking taylor expansion of x in t
0.954 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.954 * [taylor]: Taking taylor expansion of (* z y) in t
0.954 * [taylor]: Taking taylor expansion of z in t
0.954 * [taylor]: Taking taylor expansion of y in t
0.954 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
0.954 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.954 * [taylor]: Taking taylor expansion of t in t
0.954 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.954 * [taylor]: Taking taylor expansion of (* a z) in t
0.954 * [taylor]: Taking taylor expansion of a in t
0.954 * [taylor]: Taking taylor expansion of z in t
0.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
0.955 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.955 * [taylor]: Taking taylor expansion of x in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.955 * [taylor]: Taking taylor expansion of (* z y) in z
0.955 * [taylor]: Taking taylor expansion of z in z
0.955 * [taylor]: Taking taylor expansion of y in z
0.955 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.955 * [taylor]: Taking taylor expansion of t in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.955 * [taylor]: Taking taylor expansion of (* a z) in z
0.955 * [taylor]: Taking taylor expansion of a in z
0.955 * [taylor]: Taking taylor expansion of z in z
0.956 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
0.956 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
0.956 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.956 * [taylor]: Taking taylor expansion of x in y
0.956 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.956 * [taylor]: Taking taylor expansion of (* z y) in y
0.956 * [taylor]: Taking taylor expansion of z in y
0.956 * [taylor]: Taking taylor expansion of y in y
0.956 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.956 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.956 * [taylor]: Taking taylor expansion of t in y
0.956 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.956 * [taylor]: Taking taylor expansion of (* a z) in y
0.956 * [taylor]: Taking taylor expansion of a in y
0.956 * [taylor]: Taking taylor expansion of z in y
0.957 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
0.957 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.957 * [taylor]: Taking taylor expansion of (* z y) in x
0.957 * [taylor]: Taking taylor expansion of z in x
0.957 * [taylor]: Taking taylor expansion of y in x
0.957 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.957 * [taylor]: Taking taylor expansion of t in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.957 * [taylor]: Taking taylor expansion of (* a z) in x
0.957 * [taylor]: Taking taylor expansion of a in x
0.957 * [taylor]: Taking taylor expansion of z in x
0.958 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
0.958 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
0.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.958 * [taylor]: Taking taylor expansion of x in x
0.958 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.958 * [taylor]: Taking taylor expansion of (* z y) in x
0.958 * [taylor]: Taking taylor expansion of z in x
0.958 * [taylor]: Taking taylor expansion of y in x
0.959 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
0.959 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.959 * [taylor]: Taking taylor expansion of t in x
0.959 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.959 * [taylor]: Taking taylor expansion of (* a z) in x
0.959 * [taylor]: Taking taylor expansion of a in x
0.959 * [taylor]: Taking taylor expansion of z in x
0.959 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in y
0.959 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.959 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.959 * [taylor]: Taking taylor expansion of t in y
0.959 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.959 * [taylor]: Taking taylor expansion of (* a z) in y
0.959 * [taylor]: Taking taylor expansion of a in y
0.959 * [taylor]: Taking taylor expansion of z in y
0.961 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z))))))) in y
0.961 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z)))))) in y
0.961 * [taylor]: Taking taylor expansion of (* z (* y (- (/ 1 t) (/ 1 (* a z))))) in y
0.961 * [taylor]: Taking taylor expansion of z in y
0.961 * [taylor]: Taking taylor expansion of (* y (- (/ 1 t) (/ 1 (* a z)))) in y
0.961 * [taylor]: Taking taylor expansion of y in y
0.961 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
0.961 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.961 * [taylor]: Taking taylor expansion of t in y
0.962 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.962 * [taylor]: Taking taylor expansion of (* a z) in y
0.962 * [taylor]: Taking taylor expansion of a in y
0.962 * [taylor]: Taking taylor expansion of z in y
0.963 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ z t) (/ 1 a)))) in z
0.963 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z t) (/ 1 a))) in z
0.963 * [taylor]: Taking taylor expansion of (- (/ z t) (/ 1 a)) in z
0.963 * [taylor]: Taking taylor expansion of (/ z t) in z
0.964 * [taylor]: Taking taylor expansion of z in z
0.964 * [taylor]: Taking taylor expansion of t in z
0.964 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.964 * [taylor]: Taking taylor expansion of a in z
0.964 * [taylor]: Taking taylor expansion of a in t
0.964 * [taylor]: Taking taylor expansion of 0 in a
0.964 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
0.964 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
0.964 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.964 * [taylor]: Taking taylor expansion of t in z
0.964 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.964 * [taylor]: Taking taylor expansion of (* a z) in z
0.964 * [taylor]: Taking taylor expansion of a in z
0.964 * [taylor]: Taking taylor expansion of z in z
0.967 * [taylor]: Taking taylor expansion of 0 in y
0.969 * [taylor]: Taking taylor expansion of 0 in z
0.969 * [taylor]: Taking taylor expansion of 0 in t
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.970 * [taylor]: Taking taylor expansion of 0 in z
0.970 * [taylor]: Taking taylor expansion of 0 in t
0.970 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
0.971 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.971 * [taylor]: Taking taylor expansion of a in t
0.971 * [taylor]: Taking taylor expansion of t in t
0.973 * [taylor]: Taking taylor expansion of 0 in a
0.973 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.973 * [taylor]: Taking taylor expansion of -1 in t
0.973 * [taylor]: Taking taylor expansion of a in t
0.974 * [taylor]: Taking taylor expansion of 0 in a
0.974 * [taylor]: Taking taylor expansion of 0 in a
0.974 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
0.974 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
0.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
0.974 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
0.974 * [taylor]: Taking taylor expansion of (* z y) in a
0.974 * [taylor]: Taking taylor expansion of z in a
0.974 * [taylor]: Taking taylor expansion of y in a
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.974 * [taylor]: Taking taylor expansion of x in a
0.974 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
0.974 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.974 * [taylor]: Taking taylor expansion of t in a
0.975 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
0.975 * [taylor]: Taking taylor expansion of (* a z) in a
0.975 * [taylor]: Taking taylor expansion of a in a
0.975 * [taylor]: Taking taylor expansion of z in a
0.975 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
0.975 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
0.975 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.975 * [taylor]: Taking taylor expansion of (* z y) in t
0.975 * [taylor]: Taking taylor expansion of z in t
0.975 * [taylor]: Taking taylor expansion of y in t
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.975 * [taylor]: Taking taylor expansion of x in t
0.975 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
0.975 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.975 * [taylor]: Taking taylor expansion of t in t
0.976 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
0.976 * [taylor]: Taking taylor expansion of (* a z) in t
0.976 * [taylor]: Taking taylor expansion of a in t
0.976 * [taylor]: Taking taylor expansion of z in t
0.976 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.976 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.976 * [taylor]: Taking taylor expansion of (* z y) in z
0.976 * [taylor]: Taking taylor expansion of z in z
0.976 * [taylor]: Taking taylor expansion of y in z
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.977 * [taylor]: Taking taylor expansion of x in z
0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.977 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.977 * [taylor]: Taking taylor expansion of t in z
0.977 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.977 * [taylor]: Taking taylor expansion of (* a z) in z
0.977 * [taylor]: Taking taylor expansion of a in z
0.977 * [taylor]: Taking taylor expansion of z in z
0.977 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.977 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.977 * [taylor]: Taking taylor expansion of (* z y) in y
0.978 * [taylor]: Taking taylor expansion of z in y
0.978 * [taylor]: Taking taylor expansion of y in y
0.978 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.978 * [taylor]: Taking taylor expansion of x in y
0.978 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.978 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.978 * [taylor]: Taking taylor expansion of t in y
0.978 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.978 * [taylor]: Taking taylor expansion of (* a z) in y
0.978 * [taylor]: Taking taylor expansion of a in y
0.978 * [taylor]: Taking taylor expansion of z in y
0.978 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
0.978 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.978 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.978 * [taylor]: Taking taylor expansion of (* z y) in x
0.978 * [taylor]: Taking taylor expansion of z in x
0.978 * [taylor]: Taking taylor expansion of y in x
0.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.978 * [taylor]: Taking taylor expansion of x in x
0.979 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.979 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.979 * [taylor]: Taking taylor expansion of t in x
0.979 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.979 * [taylor]: Taking taylor expansion of (* a z) in x
0.979 * [taylor]: Taking taylor expansion of a in x
0.979 * [taylor]: Taking taylor expansion of z in x
0.979 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
0.979 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.979 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.980 * [taylor]: Taking taylor expansion of (* z y) in x
0.980 * [taylor]: Taking taylor expansion of z in x
0.980 * [taylor]: Taking taylor expansion of y in x
0.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.980 * [taylor]: Taking taylor expansion of x in x
0.980 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
0.980 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.980 * [taylor]: Taking taylor expansion of t in x
0.980 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
0.980 * [taylor]: Taking taylor expansion of (* a z) in x
0.980 * [taylor]: Taking taylor expansion of a in x
0.980 * [taylor]: Taking taylor expansion of z in x
0.981 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in y
0.981 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.981 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.981 * [taylor]: Taking taylor expansion of t in y
0.981 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.981 * [taylor]: Taking taylor expansion of (* a z) in y
0.981 * [taylor]: Taking taylor expansion of a in y
0.981 * [taylor]: Taking taylor expansion of z in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (+ (/ 1 t) (/ 1 (* a z)))))) in y
0.982 * [taylor]: Taking taylor expansion of (* z (* y (+ (/ 1 t) (/ 1 (* a z))))) in y
0.982 * [taylor]: Taking taylor expansion of z in y
0.982 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 t) (/ 1 (* a z)))) in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.982 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.982 * [taylor]: Taking taylor expansion of t in y
0.983 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
0.983 * [taylor]: Taking taylor expansion of (* a z) in y
0.983 * [taylor]: Taking taylor expansion of a in y
0.983 * [taylor]: Taking taylor expansion of z in y
0.984 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 a) (/ z t))) in z
0.984 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ z t)) in z
0.984 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.984 * [taylor]: Taking taylor expansion of a in z
0.984 * [taylor]: Taking taylor expansion of (/ z t) in z
0.984 * [taylor]: Taking taylor expansion of z in z
0.984 * [taylor]: Taking taylor expansion of t in z
0.984 * [taylor]: Taking taylor expansion of a in t
0.984 * [taylor]: Taking taylor expansion of 0 in a
0.984 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in z
0.984 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
0.984 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.984 * [taylor]: Taking taylor expansion of t in z
0.984 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
0.984 * [taylor]: Taking taylor expansion of (* a z) in z
0.985 * [taylor]: Taking taylor expansion of a in z
0.985 * [taylor]: Taking taylor expansion of z in z
0.987 * [taylor]: Taking taylor expansion of 0 in y
0.989 * [taylor]: Taking taylor expansion of 0 in z
0.989 * [taylor]: Taking taylor expansion of 0 in t
0.989 * [taylor]: Taking taylor expansion of 0 in a
0.990 * [taylor]: Taking taylor expansion of 0 in z
0.990 * [taylor]: Taking taylor expansion of 0 in t
0.990 * [taylor]: Taking taylor expansion of 0 in a
0.990 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
0.990 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
0.990 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.990 * [taylor]: Taking taylor expansion of a in t
0.990 * [taylor]: Taking taylor expansion of t in t
0.993 * [taylor]: Taking taylor expansion of 0 in a
0.993 * [taylor]: Taking taylor expansion of a in t
0.993 * [taylor]: Taking taylor expansion of 0 in a
0.993 * [taylor]: Taking taylor expansion of 0 in a
0.993 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.993 * [approximate]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in (x y z t a) around 0
0.993 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in a
0.993 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
0.993 * [taylor]: Taking taylor expansion of t in a
0.993 * [taylor]: Taking taylor expansion of (* a z) in a
0.993 * [taylor]: Taking taylor expansion of a in a
0.993 * [taylor]: Taking taylor expansion of z in a
0.993 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
0.993 * [taylor]: Taking taylor expansion of x in a
0.993 * [taylor]: Taking taylor expansion of (* z y) in a
0.993 * [taylor]: Taking taylor expansion of z in a
0.993 * [taylor]: Taking taylor expansion of y in a
0.994 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in t
0.994 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
0.994 * [taylor]: Taking taylor expansion of t in t
0.994 * [taylor]: Taking taylor expansion of (* a z) in t
0.994 * [taylor]: Taking taylor expansion of a in t
0.994 * [taylor]: Taking taylor expansion of z in t
0.994 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
0.994 * [taylor]: Taking taylor expansion of x in t
0.994 * [taylor]: Taking taylor expansion of (* z y) in t
0.994 * [taylor]: Taking taylor expansion of z in t
0.994 * [taylor]: Taking taylor expansion of y in t
0.994 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in z
0.994 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
0.994 * [taylor]: Taking taylor expansion of t in z
0.994 * [taylor]: Taking taylor expansion of (* a z) in z
0.994 * [taylor]: Taking taylor expansion of a in z
0.994 * [taylor]: Taking taylor expansion of z in z
0.994 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
0.994 * [taylor]: Taking taylor expansion of x in z
0.994 * [taylor]: Taking taylor expansion of (* z y) in z
0.994 * [taylor]: Taking taylor expansion of z in z
0.994 * [taylor]: Taking taylor expansion of y in z
0.995 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in y
0.995 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.995 * [taylor]: Taking taylor expansion of t in y
0.995 * [taylor]: Taking taylor expansion of (* a z) in y
0.995 * [taylor]: Taking taylor expansion of a in y
0.995 * [taylor]: Taking taylor expansion of z in y
0.995 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
0.995 * [taylor]: Taking taylor expansion of x in y
0.995 * [taylor]: Taking taylor expansion of (* z y) in y
0.995 * [taylor]: Taking taylor expansion of z in y
0.995 * [taylor]: Taking taylor expansion of y in y
0.996 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in x
0.996 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.996 * [taylor]: Taking taylor expansion of t in x
0.996 * [taylor]: Taking taylor expansion of (* a z) in x
0.996 * [taylor]: Taking taylor expansion of a in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of (* z y) in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (- x (* z y))) in x
0.996 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
0.996 * [taylor]: Taking taylor expansion of t in x
0.996 * [taylor]: Taking taylor expansion of (* a z) in x
0.996 * [taylor]: Taking taylor expansion of a in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of (* z y) in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.997 * [taylor]: Taking taylor expansion of (* -1 (/ (- t (* a z)) (* z y))) in y
0.997 * [taylor]: Taking taylor expansion of -1 in y
0.997 * [taylor]: Taking taylor expansion of (/ (- t (* a z)) (* z y)) in y
0.997 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
0.997 * [taylor]: Taking taylor expansion of t in y
0.997 * [taylor]: Taking taylor expansion of (* a z) in y
0.997 * [taylor]: Taking taylor expansion of a in y
0.997 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of (* z y) in y
0.997 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of 0 in z
0.999 * [taylor]: Taking taylor expansion of 0 in t
0.999 * [taylor]: Taking taylor expansion of 0 in a
1.000 * [taylor]: Taking taylor expansion of (- (/ a (* z (pow y 2))) (/ t (* (pow z 2) (pow y 2)))) in y
1.000 * [taylor]: Taking taylor expansion of (/ a (* z (pow y 2))) in y
1.000 * [taylor]: Taking taylor expansion of a in y
1.000 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
1.000 * [taylor]: Taking taylor expansion of z in y
1.000 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.000 * [taylor]: Taking taylor expansion of y in y
1.001 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) (pow y 2))) in y
1.001 * [taylor]: Taking taylor expansion of t in y
1.001 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y
1.001 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.001 * [taylor]: Taking taylor expansion of z in y
1.001 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.001 * [taylor]: Taking taylor expansion of y in y
1.006 * [taylor]: Taking taylor expansion of 0 in z
1.006 * [taylor]: Taking taylor expansion of 0 in t
1.006 * [taylor]: Taking taylor expansion of 0 in a
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in t
1.008 * [taylor]: Taking taylor expansion of 0 in a
1.009 * [taylor]: Taking taylor expansion of 0 in t
1.009 * [taylor]: Taking taylor expansion of 0 in a
1.009 * [taylor]: Taking taylor expansion of 0 in a
1.009 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in (x y z t a) around 0
1.009 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in a
1.009 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
1.009 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.009 * [taylor]: Taking taylor expansion of t in a
1.009 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.009 * [taylor]: Taking taylor expansion of (* a z) in a
1.009 * [taylor]: Taking taylor expansion of a in a
1.009 * [taylor]: Taking taylor expansion of z in a
1.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
1.009 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.010 * [taylor]: Taking taylor expansion of x in a
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.010 * [taylor]: Taking taylor expansion of (* z y) in a
1.010 * [taylor]: Taking taylor expansion of z in a
1.010 * [taylor]: Taking taylor expansion of y in a
1.010 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in t
1.010 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
1.010 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.010 * [taylor]: Taking taylor expansion of t in t
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.010 * [taylor]: Taking taylor expansion of (* a z) in t
1.010 * [taylor]: Taking taylor expansion of a in t
1.010 * [taylor]: Taking taylor expansion of z in t
1.010 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
1.011 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.011 * [taylor]: Taking taylor expansion of x in t
1.011 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.011 * [taylor]: Taking taylor expansion of (* z y) in t
1.011 * [taylor]: Taking taylor expansion of z in t
1.011 * [taylor]: Taking taylor expansion of y in t
1.011 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in z
1.011 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
1.011 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.011 * [taylor]: Taking taylor expansion of t in z
1.011 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.011 * [taylor]: Taking taylor expansion of (* a z) in z
1.011 * [taylor]: Taking taylor expansion of a in z
1.011 * [taylor]: Taking taylor expansion of z in z
1.012 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
1.012 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.012 * [taylor]: Taking taylor expansion of x in z
1.012 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.012 * [taylor]: Taking taylor expansion of (* z y) in z
1.012 * [taylor]: Taking taylor expansion of z in z
1.012 * [taylor]: Taking taylor expansion of y in z
1.012 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in y
1.012 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
1.012 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.012 * [taylor]: Taking taylor expansion of t in y
1.012 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.012 * [taylor]: Taking taylor expansion of (* a z) in y
1.012 * [taylor]: Taking taylor expansion of a in y
1.012 * [taylor]: Taking taylor expansion of z in y
1.013 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
1.013 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.013 * [taylor]: Taking taylor expansion of x in y
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.013 * [taylor]: Taking taylor expansion of (* z y) in y
1.013 * [taylor]: Taking taylor expansion of z in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in x
1.013 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
1.013 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.013 * [taylor]: Taking taylor expansion of t in x
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.013 * [taylor]: Taking taylor expansion of (* a z) in x
1.013 * [taylor]: Taking taylor expansion of a in x
1.013 * [taylor]: Taking taylor expansion of z in x
1.014 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.014 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.014 * [taylor]: Taking taylor expansion of (* z y) in x
1.014 * [taylor]: Taking taylor expansion of z in x
1.014 * [taylor]: Taking taylor expansion of y in x
1.015 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 (* a z))) (- (/ 1 x) (/ 1 (* z y)))) in x
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.015 * [taylor]: Taking taylor expansion of t in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.015 * [taylor]: Taking taylor expansion of (* a z) in x
1.015 * [taylor]: Taking taylor expansion of a in x
1.015 * [taylor]: Taking taylor expansion of z in x
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.015 * [taylor]: Taking taylor expansion of (* z y) in x
1.015 * [taylor]: Taking taylor expansion of z in x
1.015 * [taylor]: Taking taylor expansion of y in x
1.016 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
1.016 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.016 * [taylor]: Taking taylor expansion of t in y
1.016 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.016 * [taylor]: Taking taylor expansion of (* a z) in y
1.016 * [taylor]: Taking taylor expansion of a in y
1.016 * [taylor]: Taking taylor expansion of z in y
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* a (* (pow z 2) y)))) in y
1.019 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.019 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.019 * [taylor]: Taking taylor expansion of t in y
1.019 * [taylor]: Taking taylor expansion of (* z y) in y
1.019 * [taylor]: Taking taylor expansion of z in y
1.019 * [taylor]: Taking taylor expansion of y in y
1.019 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 2) y))) in y
1.019 * [taylor]: Taking taylor expansion of (* a (* (pow z 2) y)) in y
1.019 * [taylor]: Taking taylor expansion of a in y
1.019 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.019 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.019 * [taylor]: Taking taylor expansion of z in y
1.019 * [taylor]: Taking taylor expansion of y in y
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.026 * [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 t
1.027 * [taylor]: Taking taylor expansion of 0 in t
1.027 * [taylor]: Taking taylor expansion of 0 in a
1.030 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* (pow z 2) (pow y 2)))) (/ 1 (* a (* (pow z 3) (pow y 2))))) in y
1.030 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (pow z 2) (pow y 2)))) in y
1.030 * [taylor]: Taking taylor expansion of (* t (* (pow z 2) (pow y 2))) in y
1.030 * [taylor]: Taking taylor expansion of t in y
1.030 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y
1.030 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.030 * [taylor]: Taking taylor expansion of z in y
1.030 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.030 * [taylor]: Taking taylor expansion of y in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 3) (pow y 2)))) in y
1.031 * [taylor]: Taking taylor expansion of (* a (* (pow z 3) (pow y 2))) in y
1.031 * [taylor]: Taking taylor expansion of a in y
1.031 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 2)) in y
1.031 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.031 * [taylor]: Taking taylor expansion of z in y
1.031 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.047 * [taylor]: Taking taylor expansion of 0 in z
1.047 * [taylor]: Taking taylor expansion of 0 in t
1.052 * [taylor]: Taking taylor expansion of 0 in z
1.052 * [taylor]: Taking taylor expansion of 0 in t
1.053 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of 0 in t
1.054 * [taylor]: Taking taylor expansion of 0 in t
1.054 * [taylor]: Taking taylor expansion of 0 in t
1.054 * [taylor]: Taking taylor expansion of 0 in t
1.054 * [taylor]: Taking taylor expansion of 0 in a
1.054 * [taylor]: Taking taylor expansion of 0 in a
1.054 * [taylor]: Taking taylor expansion of 0 in a
1.054 * [taylor]: Taking taylor expansion of 0 in a
1.058 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* (pow z 3) (pow y 3)))) (/ 1 (* a (* (pow z 4) (pow y 3))))) in y
1.058 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (pow z 3) (pow y 3)))) in y
1.058 * [taylor]: Taking taylor expansion of (* t (* (pow z 3) (pow y 3))) in y
1.058 * [taylor]: Taking taylor expansion of t in y
1.058 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.058 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.058 * [taylor]: Taking taylor expansion of z in y
1.058 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.058 * [taylor]: Taking taylor expansion of y in y
1.059 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 4) (pow y 3)))) in y
1.059 * [taylor]: Taking taylor expansion of (* a (* (pow z 4) (pow y 3))) in y
1.059 * [taylor]: Taking taylor expansion of a in y
1.059 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 3)) in y
1.059 * [taylor]: Taking taylor expansion of (pow z 4) in y
1.059 * [taylor]: Taking taylor expansion of z in y
1.059 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.059 * [taylor]: Taking taylor expansion of y in y
1.087 * [taylor]: Taking taylor expansion of 0 in z
1.087 * [taylor]: Taking taylor expansion of 0 in t
1.095 * [taylor]: Taking taylor expansion of 0 in z
1.095 * [taylor]: Taking taylor expansion of 0 in t
1.100 * [taylor]: Taking taylor expansion of 0 in z
1.100 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in z
1.102 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in t
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.102 * [taylor]: Taking taylor expansion of 0 in a
1.103 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in (x y z t a) around 0
1.103 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in a
1.103 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
1.103 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.103 * [taylor]: Taking taylor expansion of t in a
1.103 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.103 * [taylor]: Taking taylor expansion of (* a z) in a
1.103 * [taylor]: Taking taylor expansion of a in a
1.103 * [taylor]: Taking taylor expansion of z in a
1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
1.104 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.104 * [taylor]: Taking taylor expansion of (* z y) in a
1.104 * [taylor]: Taking taylor expansion of z in a
1.104 * [taylor]: Taking taylor expansion of y in a
1.104 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.104 * [taylor]: Taking taylor expansion of x in a
1.104 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in t
1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
1.104 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.104 * [taylor]: Taking taylor expansion of t in t
1.105 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.105 * [taylor]: Taking taylor expansion of (* a z) in t
1.105 * [taylor]: Taking taylor expansion of a in t
1.105 * [taylor]: Taking taylor expansion of z in t
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
1.105 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.105 * [taylor]: Taking taylor expansion of (* z y) in t
1.105 * [taylor]: Taking taylor expansion of z in t
1.105 * [taylor]: Taking taylor expansion of y in t
1.105 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.105 * [taylor]: Taking taylor expansion of x in t
1.105 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in z
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
1.105 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.105 * [taylor]: Taking taylor expansion of t in z
1.105 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.105 * [taylor]: Taking taylor expansion of (* a z) in z
1.105 * [taylor]: Taking taylor expansion of a in z
1.105 * [taylor]: Taking taylor expansion of z in z
1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
1.106 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.106 * [taylor]: Taking taylor expansion of (* z y) in z
1.106 * [taylor]: Taking taylor expansion of z in z
1.106 * [taylor]: Taking taylor expansion of y in z
1.106 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.106 * [taylor]: Taking taylor expansion of x in z
1.106 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in y
1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
1.106 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.106 * [taylor]: Taking taylor expansion of t in y
1.107 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.107 * [taylor]: Taking taylor expansion of (* a z) in y
1.107 * [taylor]: Taking taylor expansion of a in y
1.107 * [taylor]: Taking taylor expansion of z in y
1.107 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
1.107 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.107 * [taylor]: Taking taylor expansion of (* z y) in y
1.107 * [taylor]: Taking taylor expansion of z in y
1.107 * [taylor]: Taking taylor expansion of y in y
1.107 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.107 * [taylor]: Taking taylor expansion of x in y
1.107 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in x
1.107 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
1.107 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.107 * [taylor]: Taking taylor expansion of t in x
1.107 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.107 * [taylor]: Taking taylor expansion of (* a z) in x
1.107 * [taylor]: Taking taylor expansion of a in x
1.107 * [taylor]: Taking taylor expansion of z in x
1.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.108 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.108 * [taylor]: Taking taylor expansion of (* z y) in x
1.108 * [taylor]: Taking taylor expansion of z in x
1.108 * [taylor]: Taking taylor expansion of y in x
1.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.108 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) (/ 1 (* a z))) (+ (/ 1 (* z y)) (/ 1 x))) in x
1.109 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.109 * [taylor]: Taking taylor expansion of t in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.109 * [taylor]: Taking taylor expansion of (* a z) in x
1.109 * [taylor]: Taking taylor expansion of a in x
1.109 * [taylor]: Taking taylor expansion of z in x
1.109 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.109 * [taylor]: Taking taylor expansion of (* z y) in x
1.109 * [taylor]: Taking taylor expansion of z in x
1.109 * [taylor]: Taking taylor expansion of y in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
1.110 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.110 * [taylor]: Taking taylor expansion of t in y
1.110 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.110 * [taylor]: Taking taylor expansion of (* a z) in y
1.110 * [taylor]: Taking taylor expansion of a in y
1.110 * [taylor]: Taking taylor expansion of z in y
1.110 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [taylor]: Taking taylor expansion of 0 in t
1.112 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a (* (pow z 2) y))) (/ 1 (* t (* z y))))) in y
1.112 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* (pow z 2) y))) (/ 1 (* t (* z y)))) in y
1.112 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 2) y))) in y
1.112 * [taylor]: Taking taylor expansion of (* a (* (pow z 2) y)) in y
1.112 * [taylor]: Taking taylor expansion of a in y
1.112 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.112 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.112 * [taylor]: Taking taylor expansion of z in y
1.112 * [taylor]: Taking taylor expansion of y in y
1.113 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
1.113 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.113 * [taylor]: Taking taylor expansion of t in y
1.113 * [taylor]: Taking taylor expansion of (* z y) in y
1.113 * [taylor]: Taking taylor expansion of z in y
1.113 * [taylor]: Taking taylor expansion of y in y
1.119 * [taylor]: Taking taylor expansion of 0 in z
1.119 * [taylor]: Taking taylor expansion of 0 in t
1.120 * [taylor]: Taking taylor expansion of 0 in z
1.120 * [taylor]: Taking taylor expansion of 0 in t
1.120 * [taylor]: Taking taylor expansion of 0 in t
1.120 * [taylor]: Taking taylor expansion of 0 in a
1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* (pow z 3) (pow y 2)))) (/ 1 (* t (* (pow z 2) (pow y 2))))) in y
1.123 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 3) (pow y 2)))) in y
1.123 * [taylor]: Taking taylor expansion of (* a (* (pow z 3) (pow y 2))) in y
1.123 * [taylor]: Taking taylor expansion of a in y
1.123 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 2)) in y
1.123 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.123 * [taylor]: Taking taylor expansion of z in y
1.123 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.123 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (pow z 2) (pow y 2)))) in y
1.124 * [taylor]: Taking taylor expansion of (* t (* (pow z 2) (pow y 2))) in y
1.124 * [taylor]: Taking taylor expansion of t in y
1.124 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y
1.124 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.124 * [taylor]: Taking taylor expansion of z in y
1.124 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of 0 in z
1.140 * [taylor]: Taking taylor expansion of 0 in t
1.144 * [taylor]: Taking taylor expansion of 0 in z
1.144 * [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 t
1.146 * [taylor]: Taking taylor expansion of 0 in t
1.146 * [taylor]: Taking taylor expansion of 0 in t
1.146 * [taylor]: Taking taylor expansion of 0 in t
1.146 * [taylor]: Taking taylor expansion of 0 in a
1.146 * [taylor]: Taking taylor expansion of 0 in a
1.146 * [taylor]: Taking taylor expansion of 0 in a
1.146 * [taylor]: Taking taylor expansion of 0 in a
1.150 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a (* (pow z 4) (pow y 3)))) (/ 1 (* t (* (pow z 3) (pow y 3)))))) in y
1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (* (pow z 4) (pow y 3)))) (/ 1 (* t (* (pow z 3) (pow y 3))))) in y
1.150 * [taylor]: Taking taylor expansion of (/ 1 (* a (* (pow z 4) (pow y 3)))) in y
1.150 * [taylor]: Taking taylor expansion of (* a (* (pow z 4) (pow y 3))) in y
1.150 * [taylor]: Taking taylor expansion of a in y
1.150 * [taylor]: Taking taylor expansion of (* (pow z 4) (pow y 3)) in y
1.150 * [taylor]: Taking taylor expansion of (pow z 4) in y
1.150 * [taylor]: Taking taylor expansion of z in y
1.150 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.150 * [taylor]: Taking taylor expansion of y in y
1.151 * [taylor]: Taking taylor expansion of (/ 1 (* t (* (pow z 3) (pow y 3)))) in y
1.151 * [taylor]: Taking taylor expansion of (* t (* (pow z 3) (pow y 3))) in y
1.151 * [taylor]: Taking taylor expansion of t in y
1.151 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.151 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.151 * [taylor]: Taking taylor expansion of z in y
1.151 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.151 * [taylor]: Taking taylor expansion of y in y
1.178 * [taylor]: Taking taylor expansion of 0 in z
1.178 * [taylor]: Taking taylor expansion of 0 in t
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in t
1.192 * [taylor]: Taking taylor expansion of 0 in z
1.192 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in z
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.194 * [taylor]: Taking taylor expansion of 0 in t
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * [taylor]: Taking taylor expansion of 0 in a
1.194 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1.194 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x y z) around 0
1.194 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
1.194 * [taylor]: Taking taylor expansion of x in z
1.194 * [taylor]: Taking taylor expansion of (* z y) in z
1.194 * [taylor]: Taking taylor expansion of z in z
1.194 * [taylor]: Taking taylor expansion of y in z
1.194 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
1.194 * [taylor]: Taking taylor expansion of x in y
1.194 * [taylor]: Taking taylor expansion of (* z y) in y
1.194 * [taylor]: Taking taylor expansion of z in y
1.194 * [taylor]: Taking taylor expansion of y in y
1.194 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.194 * [taylor]: Taking taylor expansion of (* z y) in x
1.194 * [taylor]: Taking taylor expansion of z in x
1.194 * [taylor]: Taking taylor expansion of y in x
1.194 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.194 * [taylor]: Taking taylor expansion of (* z y) in x
1.194 * [taylor]: Taking taylor expansion of z in x
1.194 * [taylor]: Taking taylor expansion of y in x
1.195 * [taylor]: Taking taylor expansion of (- (* z y)) in y
1.195 * [taylor]: Taking taylor expansion of (* z y) in y
1.195 * [taylor]: Taking taylor expansion of z in y
1.195 * [taylor]: Taking taylor expansion of y in y
1.195 * [taylor]: Taking taylor expansion of 0 in z
1.196 * [taylor]: Taking taylor expansion of 1 in y
1.196 * [taylor]: Taking taylor expansion of 1 in z
1.196 * [taylor]: Taking taylor expansion of (- z) in z
1.196 * [taylor]: Taking taylor expansion of z in z
1.197 * [taylor]: Taking taylor expansion of 0 in y
1.197 * [taylor]: Taking taylor expansion of 0 in z
1.197 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x y z) around 0
1.198 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
1.198 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.198 * [taylor]: Taking taylor expansion of x in z
1.198 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.198 * [taylor]: Taking taylor expansion of (* z y) in z
1.198 * [taylor]: Taking taylor expansion of z in z
1.198 * [taylor]: Taking taylor expansion of y in z
1.199 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
1.199 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.199 * [taylor]: Taking taylor expansion of x in y
1.199 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.199 * [taylor]: Taking taylor expansion of (* z y) in y
1.199 * [taylor]: Taking taylor expansion of z in y
1.199 * [taylor]: Taking taylor expansion of y in y
1.199 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.199 * [taylor]: Taking taylor expansion of x in x
1.199 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.199 * [taylor]: Taking taylor expansion of (* z y) in x
1.199 * [taylor]: Taking taylor expansion of z in x
1.199 * [taylor]: Taking taylor expansion of y in x
1.199 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.200 * [taylor]: Taking taylor expansion of x in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.200 * [taylor]: Taking taylor expansion of (* z y) in x
1.200 * [taylor]: Taking taylor expansion of z in x
1.200 * [taylor]: Taking taylor expansion of y in x
1.200 * [taylor]: Taking taylor expansion of 1 in y
1.201 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
1.201 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.201 * [taylor]: Taking taylor expansion of (* z y) in y
1.201 * [taylor]: Taking taylor expansion of z in y
1.201 * [taylor]: Taking taylor expansion of y in y
1.201 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.201 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.201 * [taylor]: Taking taylor expansion of z in z
1.202 * [taylor]: Taking taylor expansion of 1 in z
1.203 * [taylor]: Taking taylor expansion of 0 in y
1.204 * [taylor]: Taking taylor expansion of 0 in z
1.204 * [taylor]: Taking taylor expansion of 0 in z
1.206 * [taylor]: Taking taylor expansion of 0 in y
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.207 * [taylor]: Taking taylor expansion of 0 in z
1.207 * [taylor]: Taking taylor expansion of 0 in z
1.210 * [taylor]: Taking taylor expansion of 0 in y
1.210 * [taylor]: Taking taylor expansion of 0 in z
1.210 * [taylor]: Taking taylor expansion of 0 in z
1.211 * [taylor]: Taking taylor expansion of 0 in z
1.211 * [taylor]: Taking taylor expansion of 0 in z
1.211 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0
1.211 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in z
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
1.211 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.211 * [taylor]: Taking taylor expansion of (* z y) in z
1.211 * [taylor]: Taking taylor expansion of z in z
1.211 * [taylor]: Taking taylor expansion of y in z
1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.212 * [taylor]: Taking taylor expansion of x in z
1.212 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in y
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
1.212 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.212 * [taylor]: Taking taylor expansion of (* z y) in y
1.212 * [taylor]: Taking taylor expansion of z in y
1.212 * [taylor]: Taking taylor expansion of y in y
1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.212 * [taylor]: Taking taylor expansion of x in y
1.212 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.212 * [taylor]: Taking taylor expansion of (* z y) in x
1.212 * [taylor]: Taking taylor expansion of z in x
1.212 * [taylor]: Taking taylor expansion of y in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.213 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.213 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.213 * [taylor]: Taking taylor expansion of (* z y) in x
1.213 * [taylor]: Taking taylor expansion of z in x
1.213 * [taylor]: Taking taylor expansion of y in x
1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of -1 in y
1.214 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
1.214 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.214 * [taylor]: Taking taylor expansion of (* z y) in y
1.214 * [taylor]: Taking taylor expansion of z in y
1.214 * [taylor]: Taking taylor expansion of y in y
1.215 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.215 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.215 * [taylor]: Taking taylor expansion of z in z
1.215 * [taylor]: Taking taylor expansion of -1 in z
1.216 * [taylor]: Taking taylor expansion of 0 in y
1.217 * [taylor]: Taking taylor expansion of 0 in z
1.217 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [taylor]: Taking taylor expansion of 0 in y
1.222 * [taylor]: Taking taylor expansion of 0 in z
1.223 * [taylor]: Taking taylor expansion of 0 in z
1.223 * [taylor]: Taking taylor expansion of 0 in z
1.225 * [taylor]: Taking taylor expansion of 0 in y
1.225 * [taylor]: Taking taylor expansion of 0 in z
1.225 * [taylor]: Taking taylor expansion of 0 in z
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.227 * * * [progress]: simplifying candidates
1.227 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- x (* y z)))
  (- (- t (* a z)))
  (/ x (- t (* a z)))
  (/ (* y z) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (- x (* y z)) (- (* t t) (* (* a z) (* a z))))
  (* (- t (* a z)) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))))
  (* (- t (* a z)) (+ x (* y z)))
  (- -1)
  (- 1)
  (- (/ 1 (/ (- x (* y z)) (- t (* a z)))))
  (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z)))))
  (/ (/ 1 (/ (- x (* y z)) (- t (* a z)))) 1)
  (/ 1 1)
  (/ 1 (/ 1 (- x (* y z))))
  (/ 1 (/ 1 (- (- x (* y z)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 (- (pow x 3) (pow (* y z) 3))))
  (/ 1 (/ 1 (- (* x x) (* (* y z) (* y z)))))
  (/ 1 1)
  (/ 1 (- 1))
  (/ 1 1)
  (/ 1 (/ 1 (- x (* y z))))
  (/ 1 (/ 1 (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))))
  (/ 1 (/ 1 (/ (- x (* y z)) (- (* t t) (* (* a z) (* a z))))))
  (- 1)
  (- (/ (- x (* y z)) (- t (* a z))))
  (/ 1 (/ (- x (* y z)) (- t (* a z))))
  (/ (/ (- x (* y z)) (- t (* a z))) 1)
  (/ 1 (- x (* y z)))
  (/ 1 (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3))))
  (/ 1 (/ (- x (* y z)) (- (* t t) (* (* a z) (* a z)))))
  (/ 1 (- x (* y z)))
  (/ 1 (- (- x (* y z))))
  (/ 1 1)
  (/ 1 (- (pow x 3) (pow (* y z) 3)))
  (/ 1 (- (* x x) (* (* y z) (* y z))))
  (- (pow x 3) (pow (* y z) 3))
  (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))
  (- (* y z))
  (- (* x x) (* (* y z) (* y z)))
  (+ x (* y z))
  (- (* y z))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
1.232 * * [simplify]: iteration  0 :  169  enodes  (cost  184 )
1.236 * * [simplify]: iteration  1 :  660  enodes  (cost  177 )
1.253 * * [simplify]: iteration  2 :  3151  enodes  (cost  169 )
1.310 * * [simplify]: iteration  3 :  5001  enodes  (cost  165 )
1.312 * [simplify]: Simplified to:
   (fma z y (- x))
  (fma z a (- t))
  (/ x (- t (* a z)))
  (/ (* y z) (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (/ (- x (* y z)) (- t (* a z))) (fma z a t))
  (* (* (fma z (* y (fma z y x)) (* x x)) 1) (- t (* a z)))
  (* (- t (* a z)) (+ x (* y z)))
  (- -1)
  (- 1)
  (/ (- (- t (* a z))) (- x (* y z)))
  (/ (- x (* y z)) (- t (* a z)))
  (/ (- t (* a z)) (- x (* y z)))
  1
  (- x (* y z))
  (fma z y (- x))
  1
  (- (pow x 3) (pow (* y z) 3))
  (* (- x (* y z)) (fma z y x))
  1
  (/ 1 (- 1))
  1
  (- x (* y z))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (/ (- x (* y z)) (- t (* a z))) (fma z a t))
  (- 1)
  (- (/ (- x (* y z)) (- t (* a z))))
  (/ (- t (* a z)) (- x (* y z)))
  (/ (- x (* y z)) (- t (* a z)))
  (/ 1 (- x (* y z)))
  (/ (- (pow t 3) (pow (* a z) 3)) (- x (* y z)))
  (* (/ (fma z a t) (- x (* y z))) (- t (* a z)))
  (/ 1 (- x (* y z)))
  (/ 1 (fma z y (- x)))
  1
  (/ 1 (- (pow x 3) (pow (* y z) 3)))
  (/ (/ 1 (fma z y x)) (- x (* y z)))
  (- (pow x 3) (pow (* y z) 3))
  (fma z (* y (fma z y x)) (* x x))
  (- (* y z))
  (* (- x (* y z)) (fma z y x))
  (fma z y x)
  (- (* y z))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  x
  (- x (* y z))
  (- x (* y z))
1.312 * * * [progress]: adding candidates to table
1.440 * * [progress]: iteration 4 / 4
1.440 * * * [progress]: picking best candidate
1.456 * * * * [pick]: Picked  #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))>
1.456 * * * [progress]: localizing error
1.467 * * * [progress]: generating rewritten candidates
1.467 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.472 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.476 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.479 * * * [progress]: generating series expansions
1.479 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.479 * [approximate]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in (x y z t a) around 0
1.479 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in a
1.479 * [taylor]: Taking taylor expansion of (- x (* z y)) in a
1.479 * [taylor]: Taking taylor expansion of x in a
1.479 * [taylor]: Taking taylor expansion of (* z y) in a
1.479 * [taylor]: Taking taylor expansion of z in a
1.479 * [taylor]: Taking taylor expansion of y in a
1.479 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
1.479 * [taylor]: Taking taylor expansion of t in a
1.479 * [taylor]: Taking taylor expansion of (* a z) in a
1.479 * [taylor]: Taking taylor expansion of a in a
1.479 * [taylor]: Taking taylor expansion of z in a
1.480 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in t
1.480 * [taylor]: Taking taylor expansion of (- x (* z y)) in t
1.480 * [taylor]: Taking taylor expansion of x in t
1.480 * [taylor]: Taking taylor expansion of (* z y) in t
1.480 * [taylor]: Taking taylor expansion of z in t
1.480 * [taylor]: Taking taylor expansion of y in t
1.480 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
1.480 * [taylor]: Taking taylor expansion of t in t
1.480 * [taylor]: Taking taylor expansion of (* a z) in t
1.480 * [taylor]: Taking taylor expansion of a in t
1.480 * [taylor]: Taking taylor expansion of z in t
1.480 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in z
1.480 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
1.480 * [taylor]: Taking taylor expansion of x in z
1.480 * [taylor]: Taking taylor expansion of (* z y) in z
1.480 * [taylor]: Taking taylor expansion of z in z
1.480 * [taylor]: Taking taylor expansion of y in z
1.480 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
1.481 * [taylor]: Taking taylor expansion of t in z
1.481 * [taylor]: Taking taylor expansion of (* a z) in z
1.481 * [taylor]: Taking taylor expansion of a in z
1.481 * [taylor]: Taking taylor expansion of z in z
1.481 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in y
1.481 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
1.481 * [taylor]: Taking taylor expansion of x in y
1.481 * [taylor]: Taking taylor expansion of (* z y) in y
1.481 * [taylor]: Taking taylor expansion of z in y
1.481 * [taylor]: Taking taylor expansion of y in y
1.481 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
1.481 * [taylor]: Taking taylor expansion of t in y
1.481 * [taylor]: Taking taylor expansion of (* a z) in y
1.482 * [taylor]: Taking taylor expansion of a in y
1.482 * [taylor]: Taking taylor expansion of z in y
1.482 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
1.482 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of (* z y) in x
1.482 * [taylor]: Taking taylor expansion of z in x
1.482 * [taylor]: Taking taylor expansion of y in x
1.482 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
1.482 * [taylor]: Taking taylor expansion of t in x
1.482 * [taylor]: Taking taylor expansion of (* a z) in x
1.482 * [taylor]: Taking taylor expansion of a in x
1.482 * [taylor]: Taking taylor expansion of z in x
1.483 * [taylor]: Taking taylor expansion of (/ (- x (* z y)) (- t (* a z))) in x
1.483 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (* z y) in x
1.483 * [taylor]: Taking taylor expansion of z in x
1.483 * [taylor]: Taking taylor expansion of y in x
1.483 * [taylor]: Taking taylor expansion of (- t (* a z)) in x
1.483 * [taylor]: Taking taylor expansion of t in x
1.483 * [taylor]: Taking taylor expansion of (* a z) in x
1.483 * [taylor]: Taking taylor expansion of a in x
1.483 * [taylor]: Taking taylor expansion of z in x
1.483 * [taylor]: Taking taylor expansion of (* -1 (/ (* z y) (- t (* a z)))) in y
1.483 * [taylor]: Taking taylor expansion of -1 in y
1.483 * [taylor]: Taking taylor expansion of (/ (* z y) (- t (* a z))) in y
1.483 * [taylor]: Taking taylor expansion of (* z y) in y
1.483 * [taylor]: Taking taylor expansion of z in y
1.483 * [taylor]: Taking taylor expansion of y in y
1.483 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
1.483 * [taylor]: Taking taylor expansion of t in y
1.483 * [taylor]: Taking taylor expansion of (* a z) in y
1.483 * [taylor]: Taking taylor expansion of a in y
1.483 * [taylor]: Taking taylor expansion of z in y
1.485 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in y
1.485 * [taylor]: Taking taylor expansion of (- t (* a z)) in y
1.485 * [taylor]: Taking taylor expansion of t in y
1.485 * [taylor]: Taking taylor expansion of (* a z) in y
1.485 * [taylor]: Taking taylor expansion of a in y
1.485 * [taylor]: Taking taylor expansion of z in y
1.486 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
1.486 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
1.486 * [taylor]: Taking taylor expansion of t in z
1.486 * [taylor]: Taking taylor expansion of (* a z) in z
1.486 * [taylor]: Taking taylor expansion of a in z
1.486 * [taylor]: Taking taylor expansion of z in z
1.486 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.486 * [taylor]: Taking taylor expansion of t in t
1.487 * [taylor]: Taking taylor expansion of 0 in a
1.487 * [taylor]: Taking taylor expansion of (* -1 (/ z (- t (* a z)))) in z
1.487 * [taylor]: Taking taylor expansion of -1 in z
1.487 * [taylor]: Taking taylor expansion of (/ z (- t (* a z))) in z
1.487 * [taylor]: Taking taylor expansion of z in z
1.487 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
1.487 * [taylor]: Taking taylor expansion of t in z
1.487 * [taylor]: Taking taylor expansion of (* a z) in z
1.487 * [taylor]: Taking taylor expansion of a in z
1.487 * [taylor]: Taking taylor expansion of z in z
1.489 * [taylor]: Taking taylor expansion of 0 in y
1.489 * [taylor]: Taking taylor expansion of 0 in z
1.489 * [taylor]: Taking taylor expansion of 0 in t
1.489 * [taylor]: Taking taylor expansion of 0 in a
1.490 * [taylor]: Taking taylor expansion of 0 in z
1.490 * [taylor]: Taking taylor expansion of 0 in t
1.490 * [taylor]: Taking taylor expansion of 0 in a
1.495 * [taylor]: Taking taylor expansion of 0 in z
1.496 * [taylor]: Taking taylor expansion of 0 in t
1.496 * [taylor]: Taking taylor expansion of 0 in a
1.496 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in t
1.496 * [taylor]: Taking taylor expansion of a in t
1.496 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.496 * [taylor]: Taking taylor expansion of t in t
1.499 * [taylor]: Taking taylor expansion of 0 in a
1.499 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.499 * [taylor]: Taking taylor expansion of -1 in t
1.499 * [taylor]: Taking taylor expansion of t in t
1.500 * [taylor]: Taking taylor expansion of 0 in a
1.500 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
1.500 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in a
1.500 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in a
1.500 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.500 * [taylor]: Taking taylor expansion of x in a
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.500 * [taylor]: Taking taylor expansion of (* z y) in a
1.500 * [taylor]: Taking taylor expansion of z in a
1.500 * [taylor]: Taking taylor expansion of y in a
1.500 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
1.500 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.500 * [taylor]: Taking taylor expansion of t in a
1.500 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.500 * [taylor]: Taking taylor expansion of (* a z) in a
1.500 * [taylor]: Taking taylor expansion of a in a
1.501 * [taylor]: Taking taylor expansion of z in a
1.501 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in t
1.501 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in t
1.501 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.501 * [taylor]: Taking taylor expansion of x in t
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.501 * [taylor]: Taking taylor expansion of (* z y) in t
1.501 * [taylor]: Taking taylor expansion of z in t
1.501 * [taylor]: Taking taylor expansion of y in t
1.502 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
1.502 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.502 * [taylor]: Taking taylor expansion of t in t
1.502 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.502 * [taylor]: Taking taylor expansion of (* a z) in t
1.502 * [taylor]: Taking taylor expansion of a in t
1.502 * [taylor]: Taking taylor expansion of z in t
1.503 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in z
1.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
1.503 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.503 * [taylor]: Taking taylor expansion of x in z
1.503 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.503 * [taylor]: Taking taylor expansion of (* z y) in z
1.503 * [taylor]: Taking taylor expansion of z in z
1.503 * [taylor]: Taking taylor expansion of y in z
1.503 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
1.503 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.503 * [taylor]: Taking taylor expansion of t in z
1.503 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.503 * [taylor]: Taking taylor expansion of (* a z) in z
1.503 * [taylor]: Taking taylor expansion of a in z
1.503 * [taylor]: Taking taylor expansion of z in z
1.504 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in y
1.504 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.504 * [taylor]: Taking taylor expansion of x in y
1.504 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.504 * [taylor]: Taking taylor expansion of (* z y) in y
1.504 * [taylor]: Taking taylor expansion of z in y
1.504 * [taylor]: Taking taylor expansion of y in y
1.504 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
1.504 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.504 * [taylor]: Taking taylor expansion of t in y
1.505 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.505 * [taylor]: Taking taylor expansion of (* a z) in y
1.505 * [taylor]: Taking taylor expansion of a in y
1.505 * [taylor]: Taking taylor expansion of z in y
1.505 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
1.505 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.505 * [taylor]: Taking taylor expansion of x in x
1.506 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.506 * [taylor]: Taking taylor expansion of (* z y) in x
1.506 * [taylor]: Taking taylor expansion of z in x
1.506 * [taylor]: Taking taylor expansion of y in x
1.506 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
1.506 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.506 * [taylor]: Taking taylor expansion of t in x
1.506 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.506 * [taylor]: Taking taylor expansion of (* a z) in x
1.506 * [taylor]: Taking taylor expansion of a in x
1.506 * [taylor]: Taking taylor expansion of z in x
1.507 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* z y))) (- (/ 1 t) (/ 1 (* a z)))) in x
1.507 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.507 * [taylor]: Taking taylor expansion of x in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.507 * [taylor]: Taking taylor expansion of (* z y) in x
1.507 * [taylor]: Taking taylor expansion of z in x
1.507 * [taylor]: Taking taylor expansion of y in x
1.507 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.507 * [taylor]: Taking taylor expansion of t in x
1.507 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.507 * [taylor]: Taking taylor expansion of (* a z) in x
1.507 * [taylor]: Taking taylor expansion of a in x
1.507 * [taylor]: Taking taylor expansion of z in x
1.508 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in y
1.508 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
1.508 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.508 * [taylor]: Taking taylor expansion of t in y
1.508 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.508 * [taylor]: Taking taylor expansion of (* a z) in y
1.508 * [taylor]: Taking taylor expansion of a in y
1.508 * [taylor]: Taking taylor expansion of z in y
1.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z))))))) in y
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (- (/ 1 t) (/ 1 (* a z)))))) in y
1.510 * [taylor]: Taking taylor expansion of (* z (* y (- (/ 1 t) (/ 1 (* a z))))) in y
1.510 * [taylor]: Taking taylor expansion of z in y
1.510 * [taylor]: Taking taylor expansion of (* y (- (/ 1 t) (/ 1 (* a z)))) in y
1.510 * [taylor]: Taking taylor expansion of y in y
1.510 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in y
1.510 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.510 * [taylor]: Taking taylor expansion of t in y
1.510 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.510 * [taylor]: Taking taylor expansion of (* a z) in y
1.510 * [taylor]: Taking taylor expansion of a in y
1.510 * [taylor]: Taking taylor expansion of z in y
1.512 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ z t) (/ 1 a)))) in z
1.512 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z t) (/ 1 a))) in z
1.512 * [taylor]: Taking taylor expansion of (- (/ z t) (/ 1 a)) in z
1.512 * [taylor]: Taking taylor expansion of (/ z t) in z
1.512 * [taylor]: Taking taylor expansion of z in z
1.512 * [taylor]: Taking taylor expansion of t in z
1.512 * [taylor]: Taking taylor expansion of (/ 1 a) in z
1.512 * [taylor]: Taking taylor expansion of a in z
1.513 * [taylor]: Taking taylor expansion of a in t
1.513 * [taylor]: Taking taylor expansion of 0 in a
1.513 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
1.513 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
1.513 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.513 * [taylor]: Taking taylor expansion of t in z
1.513 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.513 * [taylor]: Taking taylor expansion of (* a z) in z
1.513 * [taylor]: Taking taylor expansion of a in z
1.513 * [taylor]: Taking taylor expansion of z in z
1.516 * [taylor]: Taking taylor expansion of 0 in y
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.519 * [taylor]: Taking taylor expansion of 0 in t
1.519 * [taylor]: Taking taylor expansion of 0 in a
1.519 * [taylor]: Taking taylor expansion of 0 in z
1.520 * [taylor]: Taking taylor expansion of 0 in t
1.520 * [taylor]: Taking taylor expansion of 0 in a
1.520 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
1.520 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.520 * [taylor]: Taking taylor expansion of a in t
1.520 * [taylor]: Taking taylor expansion of t in t
1.523 * [taylor]: Taking taylor expansion of 0 in a
1.523 * [taylor]: Taking taylor expansion of (* -1 a) in t
1.523 * [taylor]: Taking taylor expansion of -1 in t
1.523 * [taylor]: Taking taylor expansion of a in t
1.523 * [taylor]: Taking taylor expansion of 0 in a
1.523 * [taylor]: Taking taylor expansion of 0 in a
1.524 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in (x y z t a) around 0
1.524 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in a
1.524 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in a
1.524 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.524 * [taylor]: Taking taylor expansion of (* z y) in a
1.524 * [taylor]: Taking taylor expansion of z in a
1.524 * [taylor]: Taking taylor expansion of y in a
1.524 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.524 * [taylor]: Taking taylor expansion of x in a
1.524 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
1.524 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.524 * [taylor]: Taking taylor expansion of t in a
1.524 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.524 * [taylor]: Taking taylor expansion of (* a z) in a
1.524 * [taylor]: Taking taylor expansion of a in a
1.524 * [taylor]: Taking taylor expansion of z in a
1.525 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in t
1.525 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.525 * [taylor]: Taking taylor expansion of (* z y) in t
1.525 * [taylor]: Taking taylor expansion of z in t
1.525 * [taylor]: Taking taylor expansion of y in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.525 * [taylor]: Taking taylor expansion of x in t
1.525 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.525 * [taylor]: Taking taylor expansion of t in t
1.525 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.525 * [taylor]: Taking taylor expansion of (* a z) in t
1.525 * [taylor]: Taking taylor expansion of a in t
1.525 * [taylor]: Taking taylor expansion of z in t
1.526 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in z
1.526 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
1.526 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.526 * [taylor]: Taking taylor expansion of (* z y) in z
1.526 * [taylor]: Taking taylor expansion of z in z
1.526 * [taylor]: Taking taylor expansion of y in z
1.526 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.526 * [taylor]: Taking taylor expansion of x in z
1.526 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
1.526 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.526 * [taylor]: Taking taylor expansion of t in z
1.526 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.526 * [taylor]: Taking taylor expansion of (* a z) in z
1.526 * [taylor]: Taking taylor expansion of a in z
1.526 * [taylor]: Taking taylor expansion of z in z
1.527 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in y
1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
1.527 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.527 * [taylor]: Taking taylor expansion of (* z y) in y
1.527 * [taylor]: Taking taylor expansion of z in y
1.527 * [taylor]: Taking taylor expansion of y in y
1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.527 * [taylor]: Taking taylor expansion of x in y
1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
1.527 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.527 * [taylor]: Taking taylor expansion of t in y
1.527 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.528 * [taylor]: Taking taylor expansion of (* a z) in y
1.528 * [taylor]: Taking taylor expansion of a in y
1.528 * [taylor]: Taking taylor expansion of z in y
1.528 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.528 * [taylor]: Taking taylor expansion of (* z y) in x
1.528 * [taylor]: Taking taylor expansion of z in x
1.528 * [taylor]: Taking taylor expansion of y in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.528 * [taylor]: Taking taylor expansion of t in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.528 * [taylor]: Taking taylor expansion of (* a z) in x
1.528 * [taylor]: Taking taylor expansion of a in x
1.528 * [taylor]: Taking taylor expansion of z in x
1.529 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (/ 1 x)) (+ (/ 1 t) (/ 1 (* a z)))) in x
1.529 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.529 * [taylor]: Taking taylor expansion of (* z y) in x
1.529 * [taylor]: Taking taylor expansion of z in x
1.529 * [taylor]: Taking taylor expansion of y in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.529 * [taylor]: Taking taylor expansion of x in x
1.529 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.529 * [taylor]: Taking taylor expansion of t in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in x
1.530 * [taylor]: Taking taylor expansion of (* a z) in x
1.530 * [taylor]: Taking taylor expansion of a in x
1.530 * [taylor]: Taking taylor expansion of z in x
1.530 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in y
1.530 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
1.530 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.530 * [taylor]: Taking taylor expansion of t in y
1.530 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.530 * [taylor]: Taking taylor expansion of (* a z) in y
1.530 * [taylor]: Taking taylor expansion of a in y
1.530 * [taylor]: Taking taylor expansion of z in y
1.532 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y (+ (/ 1 t) (/ 1 (* a z)))))) in y
1.532 * [taylor]: Taking taylor expansion of (* z (* y (+ (/ 1 t) (/ 1 (* a z))))) in y
1.532 * [taylor]: Taking taylor expansion of z in y
1.532 * [taylor]: Taking taylor expansion of (* y (+ (/ 1 t) (/ 1 (* a z)))) in y
1.532 * [taylor]: Taking taylor expansion of y in y
1.532 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in y
1.532 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.532 * [taylor]: Taking taylor expansion of t in y
1.532 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in y
1.532 * [taylor]: Taking taylor expansion of (* a z) in y
1.532 * [taylor]: Taking taylor expansion of a in y
1.532 * [taylor]: Taking taylor expansion of z in y
1.534 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 a) (/ z t))) in z
1.534 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ z t)) in z
1.534 * [taylor]: Taking taylor expansion of (/ 1 a) in z
1.534 * [taylor]: Taking taylor expansion of a in z
1.534 * [taylor]: Taking taylor expansion of (/ z t) in z
1.534 * [taylor]: Taking taylor expansion of z in z
1.534 * [taylor]: Taking taylor expansion of t in z
1.534 * [taylor]: Taking taylor expansion of a in t
1.534 * [taylor]: Taking taylor expansion of 0 in a
1.534 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) (/ 1 (* a z)))) in z
1.534 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
1.534 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.534 * [taylor]: Taking taylor expansion of t in z
1.534 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.534 * [taylor]: Taking taylor expansion of (* a z) in z
1.534 * [taylor]: Taking taylor expansion of a in z
1.534 * [taylor]: Taking taylor expansion of z in z
1.537 * [taylor]: Taking taylor expansion of 0 in y
1.539 * [taylor]: Taking taylor expansion of 0 in z
1.539 * [taylor]: Taking taylor expansion of 0 in t
1.539 * [taylor]: Taking taylor expansion of 0 in a
1.539 * [taylor]: Taking taylor expansion of 0 in z
1.539 * [taylor]: Taking taylor expansion of 0 in t
1.539 * [taylor]: Taking taylor expansion of 0 in a
1.540 * [taylor]: Taking taylor expansion of (- (/ (pow a 2) t)) in t
1.540 * [taylor]: Taking taylor expansion of (/ (pow a 2) t) in t
1.540 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.540 * [taylor]: Taking taylor expansion of a in t
1.540 * [taylor]: Taking taylor expansion of t in t
1.542 * [taylor]: Taking taylor expansion of 0 in a
1.542 * [taylor]: Taking taylor expansion of a in t
1.542 * [taylor]: Taking taylor expansion of 0 in a
1.542 * [taylor]: Taking taylor expansion of 0 in a
1.542 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.543 * [approximate]: Taking taylor expansion of (/ 1 (- t (* a z))) in (t a z) around 0
1.543 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in z
1.543 * [taylor]: Taking taylor expansion of (- t (* a z)) in z
1.543 * [taylor]: Taking taylor expansion of t in z
1.543 * [taylor]: Taking taylor expansion of (* a z) in z
1.543 * [taylor]: Taking taylor expansion of a in z
1.543 * [taylor]: Taking taylor expansion of z in z
1.543 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in a
1.543 * [taylor]: Taking taylor expansion of (- t (* a z)) in a
1.543 * [taylor]: Taking taylor expansion of t in a
1.543 * [taylor]: Taking taylor expansion of (* a z) in a
1.543 * [taylor]: Taking taylor expansion of a in a
1.543 * [taylor]: Taking taylor expansion of z in a
1.543 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in t
1.544 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
1.544 * [taylor]: Taking taylor expansion of t in t
1.544 * [taylor]: Taking taylor expansion of (* a z) in t
1.544 * [taylor]: Taking taylor expansion of a in t
1.544 * [taylor]: Taking taylor expansion of z in t
1.544 * [taylor]: Taking taylor expansion of (/ 1 (- t (* a z))) in t
1.544 * [taylor]: Taking taylor expansion of (- t (* a z)) in t
1.544 * [taylor]: Taking taylor expansion of t in t
1.544 * [taylor]: Taking taylor expansion of (* a z) in t
1.544 * [taylor]: Taking taylor expansion of a in t
1.544 * [taylor]: Taking taylor expansion of z in t
1.544 * [taylor]: Taking taylor expansion of (/ -1 (* a z)) in a
1.544 * [taylor]: Taking taylor expansion of -1 in a
1.544 * [taylor]: Taking taylor expansion of (* a z) in a
1.544 * [taylor]: Taking taylor expansion of a in a
1.544 * [taylor]: Taking taylor expansion of z in a
1.545 * [taylor]: Taking taylor expansion of 0 in z
1.546 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 2) (pow z 2)))) in a
1.546 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow z 2))) in a
1.546 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow z 2)) in a
1.546 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.546 * [taylor]: Taking taylor expansion of a in a
1.546 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.546 * [taylor]: Taking taylor expansion of z in a
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.550 * [taylor]: Taking taylor expansion of 0 in z
1.552 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 3) (pow z 3)))) in a
1.552 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow z 3))) in a
1.552 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow z 3)) in a
1.552 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.552 * [taylor]: Taking taylor expansion of a in a
1.552 * [taylor]: Taking taylor expansion of (pow z 3) in a
1.552 * [taylor]: Taking taylor expansion of z in a
1.560 * [taylor]: Taking taylor expansion of 0 in z
1.563 * [taylor]: Taking taylor expansion of 0 in z
1.563 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in (t a z) around 0
1.563 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in z
1.563 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in z
1.563 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.563 * [taylor]: Taking taylor expansion of t in z
1.563 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.563 * [taylor]: Taking taylor expansion of (* a z) in z
1.563 * [taylor]: Taking taylor expansion of a in z
1.563 * [taylor]: Taking taylor expansion of z in z
1.564 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in a
1.564 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in a
1.564 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.564 * [taylor]: Taking taylor expansion of t in a
1.564 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.564 * [taylor]: Taking taylor expansion of (* a z) in a
1.564 * [taylor]: Taking taylor expansion of a in a
1.564 * [taylor]: Taking taylor expansion of z in a
1.564 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in t
1.565 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
1.565 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.565 * [taylor]: Taking taylor expansion of t in t
1.565 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.565 * [taylor]: Taking taylor expansion of (* a z) in t
1.565 * [taylor]: Taking taylor expansion of a in t
1.565 * [taylor]: Taking taylor expansion of z in t
1.565 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 (* a z)))) in t
1.566 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 (* a z))) in t
1.566 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.566 * [taylor]: Taking taylor expansion of t in t
1.566 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.566 * [taylor]: Taking taylor expansion of (* a z) in t
1.566 * [taylor]: Taking taylor expansion of a in t
1.566 * [taylor]: Taking taylor expansion of z in t
1.567 * [taylor]: Taking taylor expansion of 1 in a
1.567 * [taylor]: Taking taylor expansion of 0 in z
1.567 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.567 * [taylor]: Taking taylor expansion of (* a z) in a
1.567 * [taylor]: Taking taylor expansion of a in a
1.567 * [taylor]: Taking taylor expansion of z in a
1.569 * [taylor]: Taking taylor expansion of 0 in z
1.569 * [taylor]: Taking taylor expansion of 0 in z
1.571 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow z 2))) in a
1.571 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow z 2)) in a
1.571 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.571 * [taylor]: Taking taylor expansion of a in a
1.571 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.571 * [taylor]: Taking taylor expansion of z in a
1.576 * [taylor]: Taking taylor expansion of 0 in z
1.578 * [taylor]: Taking taylor expansion of 0 in z
1.578 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in (t a z) around 0
1.578 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in z
1.578 * [taylor]: Taking taylor expansion of -1 in z
1.578 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in z
1.578 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.578 * [taylor]: Taking taylor expansion of t in z
1.578 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z
1.578 * [taylor]: Taking taylor expansion of (* a z) in z
1.578 * [taylor]: Taking taylor expansion of a in z
1.578 * [taylor]: Taking taylor expansion of z in z
1.579 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in a
1.579 * [taylor]: Taking taylor expansion of -1 in a
1.579 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in a
1.579 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.579 * [taylor]: Taking taylor expansion of t in a
1.579 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.579 * [taylor]: Taking taylor expansion of (* a z) in a
1.579 * [taylor]: Taking taylor expansion of a in a
1.579 * [taylor]: Taking taylor expansion of z in a
1.579 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in t
1.579 * [taylor]: Taking taylor expansion of -1 in t
1.579 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
1.579 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.579 * [taylor]: Taking taylor expansion of t in t
1.580 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.580 * [taylor]: Taking taylor expansion of (* a z) in t
1.580 * [taylor]: Taking taylor expansion of a in t
1.580 * [taylor]: Taking taylor expansion of z in t
1.580 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 t) (/ 1 (* a z)))) in t
1.580 * [taylor]: Taking taylor expansion of -1 in t
1.580 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (* a z))) in t
1.580 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.580 * [taylor]: Taking taylor expansion of t in t
1.581 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in t
1.581 * [taylor]: Taking taylor expansion of (* a z) in t
1.581 * [taylor]: Taking taylor expansion of a in t
1.581 * [taylor]: Taking taylor expansion of z in t
1.581 * [taylor]: Taking taylor expansion of -1 in a
1.581 * [taylor]: Taking taylor expansion of 0 in z
1.582 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a
1.582 * [taylor]: Taking taylor expansion of (* a z) in a
1.582 * [taylor]: Taking taylor expansion of a in a
1.582 * [taylor]: Taking taylor expansion of z in a
1.584 * [taylor]: Taking taylor expansion of 0 in z
1.584 * [taylor]: Taking taylor expansion of 0 in z
1.586 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow a 2) (pow z 2)))) in a
1.586 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow z 2))) in a
1.586 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow z 2)) in a
1.586 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.586 * [taylor]: Taking taylor expansion of a in a
1.586 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.586 * [taylor]: Taking taylor expansion of z in a
1.595 * [taylor]: Taking taylor expansion of 0 in z
1.596 * [taylor]: Taking taylor expansion of 0 in z
1.596 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.596 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x y z) around 0
1.596 * [taylor]: Taking taylor expansion of (- x (* z y)) in z
1.596 * [taylor]: Taking taylor expansion of x in z
1.596 * [taylor]: Taking taylor expansion of (* z y) in z
1.596 * [taylor]: Taking taylor expansion of z in z
1.596 * [taylor]: Taking taylor expansion of y in z
1.596 * [taylor]: Taking taylor expansion of (- x (* z y)) in y
1.596 * [taylor]: Taking taylor expansion of x in y
1.596 * [taylor]: Taking taylor expansion of (* z y) in y
1.596 * [taylor]: Taking taylor expansion of z in y
1.596 * [taylor]: Taking taylor expansion of y in y
1.596 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
1.596 * [taylor]: Taking taylor expansion of x in x
1.596 * [taylor]: Taking taylor expansion of (* z y) in x
1.596 * [taylor]: Taking taylor expansion of z in x
1.596 * [taylor]: Taking taylor expansion of y in x
1.596 * [taylor]: Taking taylor expansion of (- x (* z y)) in x
1.596 * [taylor]: Taking taylor expansion of x in x
1.596 * [taylor]: Taking taylor expansion of (* z y) in x
1.596 * [taylor]: Taking taylor expansion of z in x
1.596 * [taylor]: Taking taylor expansion of y in x
1.597 * [taylor]: Taking taylor expansion of (- (* z y)) in y
1.597 * [taylor]: Taking taylor expansion of (* z y) in y
1.597 * [taylor]: Taking taylor expansion of z in y
1.597 * [taylor]: Taking taylor expansion of y in y
1.597 * [taylor]: Taking taylor expansion of 0 in z
1.598 * [taylor]: Taking taylor expansion of 1 in y
1.598 * [taylor]: Taking taylor expansion of 1 in z
1.598 * [taylor]: Taking taylor expansion of (- z) in z
1.598 * [taylor]: Taking taylor expansion of z in z
1.599 * [taylor]: Taking taylor expansion of 0 in y
1.599 * [taylor]: Taking taylor expansion of 0 in z
1.599 * [taylor]: Taking taylor expansion of 0 in z
1.600 * [taylor]: Taking taylor expansion of 0 in z
1.600 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x y z) around 0
1.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z
1.600 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.600 * [taylor]: Taking taylor expansion of x in z
1.600 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.600 * [taylor]: Taking taylor expansion of (* z y) in z
1.600 * [taylor]: Taking taylor expansion of z in z
1.600 * [taylor]: Taking taylor expansion of y in z
1.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y
1.600 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.600 * [taylor]: Taking taylor expansion of x in y
1.601 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.601 * [taylor]: Taking taylor expansion of (* z y) in y
1.601 * [taylor]: Taking taylor expansion of z in y
1.601 * [taylor]: Taking taylor expansion of y in y
1.601 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.601 * [taylor]: Taking taylor expansion of x in x
1.601 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.601 * [taylor]: Taking taylor expansion of (* z y) in x
1.601 * [taylor]: Taking taylor expansion of z in x
1.601 * [taylor]: Taking taylor expansion of y in x
1.601 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x
1.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.601 * [taylor]: Taking taylor expansion of x in x
1.602 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.602 * [taylor]: Taking taylor expansion of (* z y) in x
1.602 * [taylor]: Taking taylor expansion of z in x
1.602 * [taylor]: Taking taylor expansion of y in x
1.602 * [taylor]: Taking taylor expansion of 1 in y
1.603 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
1.603 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.603 * [taylor]: Taking taylor expansion of (* z y) in y
1.603 * [taylor]: Taking taylor expansion of z in y
1.603 * [taylor]: Taking taylor expansion of y in y
1.603 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.603 * [taylor]: Taking taylor expansion of z in z
1.604 * [taylor]: Taking taylor expansion of 1 in z
1.605 * [taylor]: Taking taylor expansion of 0 in y
1.606 * [taylor]: Taking taylor expansion of 0 in z
1.606 * [taylor]: Taking taylor expansion of 0 in z
1.608 * [taylor]: Taking taylor expansion of 0 in y
1.608 * [taylor]: Taking taylor expansion of 0 in z
1.609 * [taylor]: Taking taylor expansion of 0 in z
1.609 * [taylor]: Taking taylor expansion of 0 in z
1.611 * [taylor]: Taking taylor expansion of 0 in y
1.611 * [taylor]: Taking taylor expansion of 0 in z
1.611 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.612 * [taylor]: Taking taylor expansion of 0 in z
1.613 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0
1.613 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in z
1.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
1.613 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.613 * [taylor]: Taking taylor expansion of (* z y) in z
1.613 * [taylor]: Taking taylor expansion of z in z
1.613 * [taylor]: Taking taylor expansion of y in z
1.613 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.613 * [taylor]: Taking taylor expansion of x in z
1.613 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in y
1.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
1.613 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.613 * [taylor]: Taking taylor expansion of (* z y) in y
1.613 * [taylor]: Taking taylor expansion of z in y
1.613 * [taylor]: Taking taylor expansion of y in y
1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.614 * [taylor]: Taking taylor expansion of x in y
1.614 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.614 * [taylor]: Taking taylor expansion of (* z y) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of y in x
1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x))) in x
1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
1.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.614 * [taylor]: Taking taylor expansion of (* z y) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of y in x
1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.615 * [taylor]: Taking taylor expansion of x in x
1.615 * [taylor]: Taking taylor expansion of -1 in y
1.616 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
1.616 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.616 * [taylor]: Taking taylor expansion of (* z y) in y
1.616 * [taylor]: Taking taylor expansion of z in y
1.616 * [taylor]: Taking taylor expansion of y in y
1.616 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.616 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.616 * [taylor]: Taking taylor expansion of z in z
1.617 * [taylor]: Taking taylor expansion of -1 in z
1.618 * [taylor]: Taking taylor expansion of 0 in y
1.619 * [taylor]: Taking taylor expansion of 0 in z
1.619 * [taylor]: Taking taylor expansion of 0 in z
1.621 * [taylor]: Taking taylor expansion of 0 in y
1.621 * [taylor]: Taking taylor expansion of 0 in z
1.622 * [taylor]: Taking taylor expansion of 0 in z
1.622 * [taylor]: Taking taylor expansion of 0 in z
1.625 * [taylor]: Taking taylor expansion of 0 in y
1.625 * [taylor]: Taking taylor expansion of 0 in z
1.625 * [taylor]: Taking taylor expansion of 0 in z
1.626 * [taylor]: Taking taylor expansion of 0 in z
1.626 * [taylor]: Taking taylor expansion of 0 in z
1.626 * * * [progress]: simplifying candidates
1.627 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (pow x 3) (pow (* y z) 3)) 1)
  (* (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))) (- t (* a z)))
  (* (- (pow x 3) (pow (* y z) 3)) (- 1))
  (* (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))) (- (- t (* a z))))
  (* (- (pow x 3) (pow (* y z) 3)) 1)
  (* (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))) (/ (- t (* a z)) 1))
  (* (- (* x x) (* (* y z) (* y z))) 1)
  (* (+ x (* y z)) (- t (* a z)))
  (* (- (* x x) (* (* y z) (* y z))) (- 1))
  (* (+ x (* y z)) (- (- t (* a z))))
  (* (- (* x x) (* (* y z) (* y z))) 1)
  (* (+ x (* y z)) (/ (- t (* a z)) 1))
  (* (- x (* y z)) 1)
  (* (- x (* y z)) (/ 1 (- (pow t 3) (pow (* a z) 3))))
  (* (- x (* y z)) (/ 1 (- (* t t) (* (* a z) (* a z)))))
  (* (- x (* y z)) 1)
  (* (- x (* y z)) (- 1))
  (* (- x (* y z)) 1)
  (* (- (pow x 3) (pow (* y z) 3)) (/ 1 (- t (* a z))))
  (* (- (* x x) (* (* y z) (* y z))) (/ 1 (- t (* a z))))
  (- 1)
  (- (- t (* a z)))
  (/ 1 (- t (* a z)))
  (/ (- t (* a z)) 1)
  (/ 1 (- (pow t 3) (pow (* a z) 3)))
  (/ 1 (- (* t t) (* (* a z) (* a z))))
  (- (pow x 3) (pow (* y z) 3))
  (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))
  (- (* y z))
  (- (* x x) (* (* y z) (* y z)))
  (+ x (* y z))
  (- (* y z))
  0
  0
  0
  0
  0
  0
  x
  (- x (* z y))
  (- x (* z y))
1.631 * * [simplify]: iteration  0 :  145  enodes  (cost  157 )
1.635 * * [simplify]: iteration  1 :  600  enodes  (cost  148 )
1.649 * * [simplify]: iteration  2 :  2903  enodes  (cost  143 )
1.706 * * [simplify]: iteration  3 :  5001  enodes  (cost  140 )
1.707 * [simplify]: Simplified to:
   (- (pow x 3) (pow (* y z) 3))
  (* (/ (fma z (* y (fma z y x)) (* x x)) 1) (- t (* a z)))
  (- (- (pow x 3) (pow (* y z) 3)))
  (* (/ (fma z (* y (fma z y x)) (* x x)) 1) (fma z a (- t)))
  (- (pow x 3) (pow (* y z) 3))
  (* (/ (fma z (* y (fma z y x)) (* x x)) 1) (- t (* a z)))
  (* (- x (* y z)) (fma z y x))
  (* (- t (* a z)) (+ x (* y z)))
  (* (- (fma z y x)) (- x (* y z)))
  (* (- (fma z y x)) (- t (* a z)))
  (* (- x (* y z)) (fma z y x))
  (* (- t (* a z)) (+ x (* y z)))
  (- x (* y z))
  (/ (- x (* y z)) (- (pow t 3) (pow (* a z) 3)))
  (/ (/ (- x (* y z)) (- t (* a z))) (fma z a t))
  (- x (* y z))
  (fma z y (- x))
  (- x (* y z))
  (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z)))
  (/ (fma z y x) (/ (- t (* a z)) (- x (* y z))))
  (- 1)
  (fma z a (- t))
  (/ 1 (- t (* a z)))
  (- t (* a z))
  (/ 1 (- (pow t 3) (pow (* a z) 3)))
  (/ (/ 1 (- t (* a z))) (fma z a t))
  (- (pow x 3) (pow (* y z) 3))
  (fma z (* y (fma z y x)) (* x x))
  (- (* y z))
  (* (- x (* y z)) (fma z y x))
  (fma z y x)
  (- (* y z))
  0
  0
  0
  0
  0
  0
  x
  (- x (* y z))
  (- x (* y z))
1.708 * * * [progress]: adding candidates to table
1.780 * [progress]: [Phase 3 of 3] Extracting.
1.780 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (/ (/ (fma z y x) (/ (- t (* a z)) (- x (* y z)))) (+ x (* y z))))> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))> #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))> #<alt (λ (x y z t a) (/ 1 (/ (* (/ (fma z a t) (- x (* y z))) (- t (* a z))) (+ t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (/ (* (- x (* y z)) (fma z y x)) (fma z y x)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z))) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)>)
1.782 * * * [regime-changes]: Trying 6 branch expressions: ((/ (- x (* y z)) (- t (* a z))) a t z y x)
1.783 * * * * [regimes]: Trying to branch on (/ (- x (* y z)) (- t (* a z))) from (#<alt (λ (x y z t a) (/ (/ (fma z y x) (/ (- t (* a z)) (- x (* y z)))) (+ x (* y z))))> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))> #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))> #<alt (λ (x y z t a) (/ 1 (/ (* (/ (fma z a t) (- x (* y z))) (- t (* a z))) (+ t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (/ (* (- x (* y z)) (fma z y x)) (fma z y x)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z))) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)>)
1.823 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (/ (/ (fma z y x) (/ (- t (* a z)) (- x (* y z)))) (+ x (* y z))))> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))> #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))> #<alt (λ (x y z t a) (/ 1 (/ (* (/ (fma z a t) (- x (* y z))) (- t (* a z))) (+ t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (/ (* (- x (* y z)) (fma z y x)) (fma z y x)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z))) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)>)
1.863 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (/ (/ (fma z y x) (/ (- t (* a z)) (- x (* y z)))) (+ x (* y z))))> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))> #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))> #<alt (λ (x y z t a) (/ 1 (/ (* (/ (fma z a t) (- x (* y z))) (- t (* a z))) (+ t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (/ (* (- x (* y z)) (fma z y x)) (fma z y x)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z))) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)>)
1.903 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (/ (/ (fma z y x) (/ (- t (* a z)) (- x (* y z)))) (+ x (* y z))))> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))> #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))> #<alt (λ (x y z t a) (/ 1 (/ (* (/ (fma z a t) (- x (* y z))) (- t (* a z))) (+ t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (/ (* (- x (* y z)) (fma z y x)) (fma z y x)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z))) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)>)
1.942 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (/ (/ (fma z y x) (/ (- t (* a z)) (- x (* y z)))) (+ x (* y z))))> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))> #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))> #<alt (λ (x y z t a) (/ 1 (/ (* (/ (fma z a t) (- x (* y z))) (- t (* a z))) (+ t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (/ (* (- x (* y z)) (fma z y x)) (fma z y x)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z))) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)>)
1.982 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (/ (/ (fma z y x) (/ (- t (* a z)) (- x (* y z)))) (+ x (* y z))))> #<alt (λ (x y z t a) (* x (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))> #<alt (λ (x y z t a) (/ (- x (* y z)) (- t (* a z))))> #<alt (λ (x y z t a) (/ 1 (/ (* (/ (fma z a t) (- x (* y z))) (- t (* a z))) (+ t (* a z)))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (- x (* y z)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ 1 (/ 1 (/ (/ (* (- x (* y z)) (fma z y x)) (fma z y x)) (- t (* a z))))))> #<alt (λ (x y z t a) (/ (/ (- (pow x 3) (pow (* y z) 3)) (- t (* a z))) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z))))))> #<alt (λ (x y z t a) (* (- x (* y z)) (/ 1 (- t (* a z)))))> #<alt (λ (x y z t a) 0)>)
2.022 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- x (* y z)) (- t (* a z)))
2.023 * * [simplify]: iteration  0 :  12  enodes  (cost  5 )
2.023 * * [simplify]: iteration  1 :  12  enodes  (cost  5 )
2.023 * [simplify]: Simplified to:
   (/ (- x (* y z)) (- t (* a z)))
2.955 * [regime-testing]: Baseline error score: 10.601599731801574
2.956 * [regime-testing]: Oracle error score: 10.310541527874467
2.957 * [regime-testing]: End program error score: 10.601599731801574
2.987 * [regime-testing]: Target error score: 1.8062948074616887