1.926 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.030 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
0.032 * * [simplify]: iteration  0 :  12  enodes  (cost  14 )
0.033 * * [simplify]: iteration  1 :  21  enodes  (cost  14 )
0.035 * * [simplify]: iteration  2 :  44  enodes  (cost  14 )
0.040 * * [simplify]: iteration  3 :  65  enodes  (cost  14 )
0.052 * * [simplify]: iteration  4 :  89  enodes  (cost  14 )
0.062 * * [simplify]: iteration  5 :  102  enodes  (cost  14 )
0.074 * * [simplify]: iteration  done :  102  enodes  (cost  14 )
0.074 * [simplify]: Simplified to:
   (/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
0.074 * * [progress]: iteration 1 / 4
0.074 * * * [progress]: picking best candidate
0.077 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))>
0.077 * * * [progress]: localizing error
0.087 * * * [progress]: generating rewritten candidates
0.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.091 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.102 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.108 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.115 * * * [progress]: generating series expansions
0.115 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.115 * [approximate]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in (z t a) around 0
0.115 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in a
0.115 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
0.115 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.115 * [taylor]: Taking taylor expansion of z in a
0.115 * [taylor]: Taking taylor expansion of (* t a) in a
0.115 * [taylor]: Taking taylor expansion of t in a
0.115 * [taylor]: Taking taylor expansion of a in a
0.116 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in t
0.116 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
0.116 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.117 * [taylor]: Taking taylor expansion of z in t
0.117 * [taylor]: Taking taylor expansion of (* t a) in t
0.117 * [taylor]: Taking taylor expansion of t in t
0.117 * [taylor]: Taking taylor expansion of a in t
0.117 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
0.117 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
0.117 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.117 * [taylor]: Taking taylor expansion of z in z
0.117 * [taylor]: Taking taylor expansion of (* t a) in z
0.118 * [taylor]: Taking taylor expansion of t in z
0.118 * [taylor]: Taking taylor expansion of a in z
0.118 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
0.118 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
0.118 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.118 * [taylor]: Taking taylor expansion of z in z
0.118 * [taylor]: Taking taylor expansion of (* t a) in z
0.118 * [taylor]: Taking taylor expansion of t in z
0.118 * [taylor]: Taking taylor expansion of a in z
0.119 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
0.119 * [taylor]: Taking taylor expansion of (- (* t a)) in t
0.119 * [taylor]: Taking taylor expansion of (* t a) in t
0.119 * [taylor]: Taking taylor expansion of t in t
0.119 * [taylor]: Taking taylor expansion of a in t
0.120 * [taylor]: Taking taylor expansion of 0 in a
0.120 * [taylor]: Taking taylor expansion of 0 in t
0.120 * [taylor]: Taking taylor expansion of 0 in a
0.120 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
0.121 * [taylor]: Taking taylor expansion of +nan.0 in a
0.121 * [taylor]: Taking taylor expansion of a in a
0.122 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* t a)))) in t
0.122 * [taylor]: Taking taylor expansion of 1/2 in t
0.122 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
0.122 * [taylor]: Taking taylor expansion of (- (* t a)) in t
0.122 * [taylor]: Taking taylor expansion of (* t a) in t
0.122 * [taylor]: Taking taylor expansion of t in t
0.122 * [taylor]: Taking taylor expansion of a in t
0.125 * [taylor]: Taking taylor expansion of (- +nan.0) in a
0.125 * [taylor]: Taking taylor expansion of +nan.0 in a
0.126 * [taylor]: Taking taylor expansion of 0 in a
0.127 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 2)) in a
0.127 * [taylor]: Taking taylor expansion of +nan.0 in a
0.127 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.127 * [taylor]: Taking taylor expansion of a in a
0.130 * [taylor]: Taking taylor expansion of 0 in t
0.130 * [taylor]: Taking taylor expansion of 0 in a
0.132 * [taylor]: Taking taylor expansion of (- (* +nan.0 a)) in a
0.132 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
0.132 * [taylor]: Taking taylor expansion of +nan.0 in a
0.132 * [taylor]: Taking taylor expansion of a in a
0.132 * [taylor]: Taking taylor expansion of 0 in a
0.134 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 3)) in a
0.134 * [taylor]: Taking taylor expansion of +nan.0 in a
0.134 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.134 * [taylor]: Taking taylor expansion of a in a
0.135 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
0.135 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
0.135 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
0.135 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.135 * [taylor]: Taking taylor expansion of z in a
0.135 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.135 * [taylor]: Taking taylor expansion of (* t a) in a
0.135 * [taylor]: Taking taylor expansion of t in a
0.135 * [taylor]: Taking taylor expansion of a in a
0.137 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
0.137 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.137 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.137 * [taylor]: Taking taylor expansion of z in t
0.137 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.137 * [taylor]: Taking taylor expansion of (* t a) in t
0.137 * [taylor]: Taking taylor expansion of t in t
0.137 * [taylor]: Taking taylor expansion of a in t
0.138 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.138 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.138 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.138 * [taylor]: Taking taylor expansion of z in z
0.138 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.138 * [taylor]: Taking taylor expansion of (* t a) in z
0.138 * [taylor]: Taking taylor expansion of t in z
0.138 * [taylor]: Taking taylor expansion of a in z
0.140 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.140 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.140 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.140 * [taylor]: Taking taylor expansion of z in z
0.141 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.141 * [taylor]: Taking taylor expansion of (* t a) in z
0.141 * [taylor]: Taking taylor expansion of t in z
0.141 * [taylor]: Taking taylor expansion of a in z
0.143 * [taylor]: Taking taylor expansion of 1 in t
0.143 * [taylor]: Taking taylor expansion of 0 in t
0.143 * [taylor]: Taking taylor expansion of 1 in a
0.145 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
0.145 * [taylor]: Taking taylor expansion of -1/2 in t
0.145 * [taylor]: Taking taylor expansion of (* t a) in t
0.145 * [taylor]: Taking taylor expansion of t in t
0.145 * [taylor]: Taking taylor expansion of a in t
0.145 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
0.145 * [taylor]: Taking taylor expansion of -1/2 in a
0.145 * [taylor]: Taking taylor expansion of a in a
0.146 * [taylor]: Taking taylor expansion of 0 in a
0.146 * [taylor]: Taking taylor expansion of 0 in a
0.148 * [taylor]: Taking taylor expansion of 0 in t
0.148 * [taylor]: Taking taylor expansion of 0 in a
0.148 * [taylor]: Taking taylor expansion of 0 in a
0.148 * [taylor]: Taking taylor expansion of 0 in a
0.152 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
0.152 * [taylor]: Taking taylor expansion of -1/8 in t
0.152 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
0.152 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.152 * [taylor]: Taking taylor expansion of t in t
0.152 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.152 * [taylor]: Taking taylor expansion of a in t
0.153 * [taylor]: Taking taylor expansion of 0 in a
0.153 * [taylor]: Taking taylor expansion of 0 in a
0.154 * [taylor]: Taking taylor expansion of 0 in a
0.154 * [taylor]: Taking taylor expansion of 0 in a
0.154 * [taylor]: Taking taylor expansion of 0 in a
0.155 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
0.155 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
0.155 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
0.155 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
0.155 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.155 * [taylor]: Taking taylor expansion of z in a
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.155 * [taylor]: Taking taylor expansion of (* t a) in a
0.155 * [taylor]: Taking taylor expansion of t in a
0.155 * [taylor]: Taking taylor expansion of a in a
0.156 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
0.156 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
0.156 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.156 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.156 * [taylor]: Taking taylor expansion of z in t
0.156 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.156 * [taylor]: Taking taylor expansion of (* t a) in t
0.156 * [taylor]: Taking taylor expansion of t in t
0.156 * [taylor]: Taking taylor expansion of a in t
0.157 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.157 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.157 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.157 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.157 * [taylor]: Taking taylor expansion of z in z
0.158 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.158 * [taylor]: Taking taylor expansion of (* t a) in z
0.158 * [taylor]: Taking taylor expansion of t in z
0.158 * [taylor]: Taking taylor expansion of a in z
0.160 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.160 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.160 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.160 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.160 * [taylor]: Taking taylor expansion of z in z
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.160 * [taylor]: Taking taylor expansion of (* t a) in z
0.160 * [taylor]: Taking taylor expansion of t in z
0.160 * [taylor]: Taking taylor expansion of a in z
0.162 * [taylor]: Taking taylor expansion of 1 in t
0.162 * [taylor]: Taking taylor expansion of 0 in t
0.162 * [taylor]: Taking taylor expansion of 1 in a
0.164 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
0.164 * [taylor]: Taking taylor expansion of -1/2 in t
0.164 * [taylor]: Taking taylor expansion of (* t a) in t
0.164 * [taylor]: Taking taylor expansion of t in t
0.164 * [taylor]: Taking taylor expansion of a in t
0.165 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
0.165 * [taylor]: Taking taylor expansion of -1/2 in a
0.165 * [taylor]: Taking taylor expansion of a in a
0.165 * [taylor]: Taking taylor expansion of 0 in a
0.165 * [taylor]: Taking taylor expansion of 0 in a
0.167 * [taylor]: Taking taylor expansion of 0 in t
0.168 * [taylor]: Taking taylor expansion of 0 in a
0.168 * [taylor]: Taking taylor expansion of 0 in a
0.168 * [taylor]: Taking taylor expansion of 0 in a
0.171 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
0.171 * [taylor]: Taking taylor expansion of -1/8 in t
0.171 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
0.171 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.171 * [taylor]: Taking taylor expansion of t in t
0.172 * [taylor]: Taking taylor expansion of (pow a 2) in t
0.172 * [taylor]: Taking taylor expansion of a in t
0.173 * [taylor]: Taking taylor expansion of 0 in a
0.173 * [taylor]: Taking taylor expansion of 0 in a
0.174 * [taylor]: Taking taylor expansion of 0 in a
0.174 * [taylor]: Taking taylor expansion of 0 in a
0.174 * [taylor]: Taking taylor expansion of 0 in a
0.174 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.175 * [approximate]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in (x y z t a) around 0
0.175 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in a
0.175 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
0.175 * [taylor]: Taking taylor expansion of x in a
0.175 * [taylor]: Taking taylor expansion of (* z y) in a
0.175 * [taylor]: Taking taylor expansion of z in a
0.175 * [taylor]: Taking taylor expansion of y in a
0.175 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in a
0.175 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in a
0.175 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
0.175 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.175 * [taylor]: Taking taylor expansion of z in a
0.175 * [taylor]: Taking taylor expansion of (* t a) in a
0.175 * [taylor]: Taking taylor expansion of t in a
0.175 * [taylor]: Taking taylor expansion of a in a
0.176 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in t
0.176 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
0.176 * [taylor]: Taking taylor expansion of x in t
0.176 * [taylor]: Taking taylor expansion of (* z y) in t
0.176 * [taylor]: Taking taylor expansion of z in t
0.176 * [taylor]: Taking taylor expansion of y in t
0.176 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in t
0.176 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in t
0.176 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
0.176 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.176 * [taylor]: Taking taylor expansion of z in t
0.176 * [taylor]: Taking taylor expansion of (* t a) in t
0.176 * [taylor]: Taking taylor expansion of t in t
0.176 * [taylor]: Taking taylor expansion of a in t
0.177 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in z
0.178 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.178 * [taylor]: Taking taylor expansion of x in z
0.178 * [taylor]: Taking taylor expansion of (* z y) in z
0.178 * [taylor]: Taking taylor expansion of z in z
0.178 * [taylor]: Taking taylor expansion of y in z
0.178 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in z
0.178 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in z
0.178 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
0.178 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.178 * [taylor]: Taking taylor expansion of z in z
0.178 * [taylor]: Taking taylor expansion of (* t a) in z
0.178 * [taylor]: Taking taylor expansion of t in z
0.178 * [taylor]: Taking taylor expansion of a in z
0.179 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
0.179 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.179 * [taylor]: Taking taylor expansion of x in y
0.179 * [taylor]: Taking taylor expansion of (* z y) in y
0.179 * [taylor]: Taking taylor expansion of z in y
0.179 * [taylor]: Taking taylor expansion of y in y
0.179 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
0.179 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
0.179 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
0.179 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.179 * [taylor]: Taking taylor expansion of z in y
0.179 * [taylor]: Taking taylor expansion of (* t a) in y
0.179 * [taylor]: Taking taylor expansion of t in y
0.179 * [taylor]: Taking taylor expansion of a in y
0.180 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
0.180 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.180 * [taylor]: Taking taylor expansion of x in x
0.180 * [taylor]: Taking taylor expansion of (* z y) in x
0.180 * [taylor]: Taking taylor expansion of z in x
0.180 * [taylor]: Taking taylor expansion of y in x
0.180 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
0.180 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
0.180 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
0.180 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.180 * [taylor]: Taking taylor expansion of z in x
0.180 * [taylor]: Taking taylor expansion of (* t a) in x
0.180 * [taylor]: Taking taylor expansion of t in x
0.180 * [taylor]: Taking taylor expansion of a in x
0.182 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
0.182 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.182 * [taylor]: Taking taylor expansion of x 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 (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
0.182 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
0.182 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
0.182 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.182 * [taylor]: Taking taylor expansion of z in x
0.182 * [taylor]: Taking taylor expansion of (* t a) in x
0.182 * [taylor]: Taking taylor expansion of t in x
0.182 * [taylor]: Taking taylor expansion of a in x
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.184 * [taylor]: Taking taylor expansion of 0 in z
0.184 * [taylor]: Taking taylor expansion of 0 in t
0.184 * [taylor]: Taking taylor expansion of 0 in a
0.184 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
0.184 * [taylor]: Taking taylor expansion of (* z y) in y
0.184 * [taylor]: Taking taylor expansion of z in y
0.184 * [taylor]: Taking taylor expansion of y in y
0.184 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
0.184 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
0.184 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
0.184 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.184 * [taylor]: Taking taylor expansion of z in y
0.185 * [taylor]: Taking taylor expansion of (* t a) in y
0.185 * [taylor]: Taking taylor expansion of t in y
0.185 * [taylor]: Taking taylor expansion of a in y
0.186 * [taylor]: Taking taylor expansion of 0 in z
0.186 * [taylor]: Taking taylor expansion of 0 in t
0.186 * [taylor]: Taking taylor expansion of 0 in a
0.186 * [taylor]: Taking taylor expansion of 0 in z
0.186 * [taylor]: Taking taylor expansion of 0 in t
0.186 * [taylor]: Taking taylor expansion of 0 in a
0.186 * [taylor]: Taking taylor expansion of 0 in t
0.186 * [taylor]: Taking taylor expansion of 0 in a
0.186 * [taylor]: Taking taylor expansion of 0 in a
0.187 * [approximate]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in (x y z t a) around 0
0.187 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
0.187 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
0.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
0.187 * [taylor]: Taking taylor expansion of x in a
0.187 * [taylor]: Taking taylor expansion of (* z y) in a
0.187 * [taylor]: Taking taylor expansion of z in a
0.187 * [taylor]: Taking taylor expansion of y in a
0.187 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
0.187 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
0.187 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
0.187 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.187 * [taylor]: Taking taylor expansion of z in a
0.187 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.187 * [taylor]: Taking taylor expansion of (* t a) in a
0.187 * [taylor]: Taking taylor expansion of t in a
0.187 * [taylor]: Taking taylor expansion of a in a
0.188 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
0.188 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
0.188 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
0.188 * [taylor]: Taking taylor expansion of x in t
0.188 * [taylor]: Taking taylor expansion of (* z y) in t
0.188 * [taylor]: Taking taylor expansion of z in t
0.188 * [taylor]: Taking taylor expansion of y in t
0.188 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
0.188 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
0.188 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
0.188 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.188 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.188 * [taylor]: Taking taylor expansion of z in t
0.189 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.189 * [taylor]: Taking taylor expansion of (* t a) in t
0.189 * [taylor]: Taking taylor expansion of t in t
0.189 * [taylor]: Taking taylor expansion of a in t
0.190 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
0.190 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
0.190 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.190 * [taylor]: Taking taylor expansion of x in z
0.190 * [taylor]: Taking taylor expansion of (* z y) in z
0.190 * [taylor]: Taking taylor expansion of z in z
0.190 * [taylor]: Taking taylor expansion of y in z
0.191 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
0.191 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.191 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.191 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.191 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.191 * [taylor]: Taking taylor expansion of z in z
0.191 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.191 * [taylor]: Taking taylor expansion of (* t a) in z
0.191 * [taylor]: Taking taylor expansion of t in z
0.191 * [taylor]: Taking taylor expansion of a in z
0.194 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
0.194 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
0.194 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.194 * [taylor]: Taking taylor expansion of x in y
0.194 * [taylor]: Taking taylor expansion of (* z y) in y
0.194 * [taylor]: Taking taylor expansion of z in y
0.194 * [taylor]: Taking taylor expansion of y in y
0.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
0.195 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
0.195 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
0.195 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.195 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.195 * [taylor]: Taking taylor expansion of z in y
0.195 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.195 * [taylor]: Taking taylor expansion of (* t a) in y
0.195 * [taylor]: Taking taylor expansion of t in y
0.195 * [taylor]: Taking taylor expansion of a in y
0.197 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
0.197 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.197 * [taylor]: Taking taylor expansion of (* z y) in x
0.197 * [taylor]: Taking taylor expansion of z in x
0.197 * [taylor]: Taking taylor expansion of y in x
0.197 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
0.197 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.197 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.197 * [taylor]: Taking taylor expansion of z in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.197 * [taylor]: Taking taylor expansion of (* t a) in x
0.198 * [taylor]: Taking taylor expansion of t in x
0.198 * [taylor]: Taking taylor expansion of a in x
0.199 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
0.199 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
0.199 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.199 * [taylor]: Taking taylor expansion of x in x
0.199 * [taylor]: Taking taylor expansion of (* z y) in x
0.199 * [taylor]: Taking taylor expansion of z in x
0.199 * [taylor]: Taking taylor expansion of y in x
0.200 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
0.200 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
0.200 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
0.200 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.200 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.200 * [taylor]: Taking taylor expansion of z in x
0.200 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.200 * [taylor]: Taking taylor expansion of (* t a) in x
0.200 * [taylor]: Taking taylor expansion of t in x
0.200 * [taylor]: Taking taylor expansion of a in x
0.202 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
0.202 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
0.202 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.202 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.202 * [taylor]: Taking taylor expansion of z in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.202 * [taylor]: Taking taylor expansion of (* t a) in y
0.202 * [taylor]: Taking taylor expansion of t in y
0.202 * [taylor]: Taking taylor expansion of a in y
0.207 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.207 * [taylor]: Taking taylor expansion of (* z y) in y
0.207 * [taylor]: Taking taylor expansion of z in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.207 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
0.207 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
0.207 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.207 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.207 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.207 * [taylor]: Taking taylor expansion of z in z
0.208 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.208 * [taylor]: Taking taylor expansion of (* t a) in z
0.208 * [taylor]: Taking taylor expansion of t in z
0.208 * [taylor]: Taking taylor expansion of a in z
0.211 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.211 * [taylor]: Taking taylor expansion of z in z
0.211 * [taylor]: Taking taylor expansion of 1 in t
0.211 * [taylor]: Taking taylor expansion of 1 in a
0.212 * [taylor]: Taking taylor expansion of 0 in y
0.213 * [taylor]: Taking taylor expansion of 0 in z
0.213 * [taylor]: Taking taylor expansion of 0 in t
0.213 * [taylor]: Taking taylor expansion of 0 in a
0.214 * [taylor]: Taking taylor expansion of 0 in t
0.214 * [taylor]: Taking taylor expansion of 0 in a
0.214 * [taylor]: Taking taylor expansion of 0 in a
0.218 * [taylor]: Taking taylor expansion of 0 in y
0.218 * [taylor]: Taking taylor expansion of 0 in z
0.218 * [taylor]: Taking taylor expansion of 0 in t
0.218 * [taylor]: Taking taylor expansion of 0 in a
0.222 * [taylor]: Taking taylor expansion of 0 in z
0.222 * [taylor]: Taking taylor expansion of 0 in t
0.222 * [taylor]: Taking taylor expansion of 0 in a
0.223 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in (x y z t a) around 0
0.223 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in a
0.223 * [taylor]: Taking taylor expansion of -1 in a
0.223 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
0.223 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
0.223 * [taylor]: Taking taylor expansion of x in a
0.223 * [taylor]: Taking taylor expansion of (* z y) in a
0.223 * [taylor]: Taking taylor expansion of z in a
0.223 * [taylor]: Taking taylor expansion of y in a
0.223 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
0.223 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
0.223 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.223 * [taylor]: Taking taylor expansion of z in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.223 * [taylor]: Taking taylor expansion of (* t a) in a
0.223 * [taylor]: Taking taylor expansion of t in a
0.223 * [taylor]: Taking taylor expansion of a in a
0.224 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in t
0.224 * [taylor]: Taking taylor expansion of -1 in t
0.224 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
0.224 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
0.224 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
0.224 * [taylor]: Taking taylor expansion of x in t
0.224 * [taylor]: Taking taylor expansion of (* z y) in t
0.224 * [taylor]: Taking taylor expansion of z in t
0.224 * [taylor]: Taking taylor expansion of y in t
0.225 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
0.225 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
0.225 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
0.225 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.225 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.225 * [taylor]: Taking taylor expansion of z in t
0.225 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.225 * [taylor]: Taking taylor expansion of (* t a) in t
0.225 * [taylor]: Taking taylor expansion of t in t
0.225 * [taylor]: Taking taylor expansion of a in t
0.226 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in z
0.226 * [taylor]: Taking taylor expansion of -1 in z
0.226 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
0.226 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
0.226 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.226 * [taylor]: Taking taylor expansion of x in z
0.226 * [taylor]: Taking taylor expansion of (* z y) in z
0.226 * [taylor]: Taking taylor expansion of z in z
0.226 * [taylor]: Taking taylor expansion of y in z
0.227 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
0.227 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.227 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.227 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.227 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.227 * [taylor]: Taking taylor expansion of z in z
0.227 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.227 * [taylor]: Taking taylor expansion of (* t a) in z
0.227 * [taylor]: Taking taylor expansion of t in z
0.227 * [taylor]: Taking taylor expansion of a in z
0.230 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in y
0.230 * [taylor]: Taking taylor expansion of -1 in y
0.230 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
0.230 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.230 * [taylor]: Taking taylor expansion of x in y
0.230 * [taylor]: Taking taylor expansion of (* z y) in y
0.230 * [taylor]: Taking taylor expansion of z in y
0.230 * [taylor]: Taking taylor expansion of y in y
0.231 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
0.231 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.231 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.231 * [taylor]: Taking taylor expansion of z in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.231 * [taylor]: Taking taylor expansion of (* t a) in y
0.231 * [taylor]: Taking taylor expansion of t in y
0.231 * [taylor]: Taking taylor expansion of a in y
0.233 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
0.233 * [taylor]: Taking taylor expansion of -1 in x
0.233 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
0.233 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.233 * [taylor]: Taking taylor expansion of x in x
0.233 * [taylor]: Taking taylor expansion of (* z y) in x
0.233 * [taylor]: Taking taylor expansion of z in x
0.233 * [taylor]: Taking taylor expansion of y in x
0.233 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
0.233 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.233 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.233 * [taylor]: Taking taylor expansion of z in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.233 * [taylor]: Taking taylor expansion of (* t a) in x
0.233 * [taylor]: Taking taylor expansion of t in x
0.233 * [taylor]: Taking taylor expansion of a in x
0.235 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
0.235 * [taylor]: Taking taylor expansion of -1 in x
0.235 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
0.235 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
0.235 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.235 * [taylor]: Taking taylor expansion of (* z y) in x
0.235 * [taylor]: Taking taylor expansion of z in x
0.235 * [taylor]: Taking taylor expansion of y in x
0.236 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
0.236 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.236 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.236 * [taylor]: Taking taylor expansion of z in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.236 * [taylor]: Taking taylor expansion of (* t a) in x
0.236 * [taylor]: Taking taylor expansion of t in x
0.236 * [taylor]: Taking taylor expansion of a in x
0.238 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y)))) in y
0.238 * [taylor]: Taking taylor expansion of -1 in y
0.238 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
0.238 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
0.238 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
0.238 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
0.238 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.238 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.238 * [taylor]: Taking taylor expansion of z in y
0.238 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.238 * [taylor]: Taking taylor expansion of (* t a) in y
0.238 * [taylor]: Taking taylor expansion of t in y
0.238 * [taylor]: Taking taylor expansion of a in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.240 * [taylor]: Taking taylor expansion of (* z y) in y
0.240 * [taylor]: Taking taylor expansion of z in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.241 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z))) in z
0.241 * [taylor]: Taking taylor expansion of -1 in z
0.241 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
0.241 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
0.241 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
0.241 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.241 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.241 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.241 * [taylor]: Taking taylor expansion of z in z
0.242 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.242 * [taylor]: Taking taylor expansion of (* t a) in z
0.242 * [taylor]: Taking taylor expansion of t in z
0.242 * [taylor]: Taking taylor expansion of a in z
0.244 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.244 * [taylor]: Taking taylor expansion of z in z
0.245 * [taylor]: Taking taylor expansion of -1 in t
0.245 * [taylor]: Taking taylor expansion of -1 in a
0.247 * [taylor]: Taking taylor expansion of 0 in y
0.248 * [taylor]: Taking taylor expansion of 0 in z
0.248 * [taylor]: Taking taylor expansion of 0 in t
0.248 * [taylor]: Taking taylor expansion of 0 in a
0.249 * [taylor]: Taking taylor expansion of 0 in t
0.249 * [taylor]: Taking taylor expansion of 0 in a
0.249 * [taylor]: Taking taylor expansion of 0 in a
0.254 * [taylor]: Taking taylor expansion of 0 in y
0.254 * [taylor]: Taking taylor expansion of 0 in z
0.254 * [taylor]: Taking taylor expansion of 0 in t
0.254 * [taylor]: Taking taylor expansion of 0 in a
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [taylor]: Taking taylor expansion of 0 in a
0.259 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.259 * [approximate]: Taking taylor expansion of (* x (* z y)) in (x y z) around 0
0.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.259 * [taylor]: Taking taylor expansion of x in z
0.259 * [taylor]: Taking taylor expansion of (* z y) in z
0.259 * [taylor]: Taking taylor expansion of z in z
0.259 * [taylor]: Taking taylor expansion of y in z
0.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.259 * [taylor]: Taking taylor expansion of x in y
0.259 * [taylor]: Taking taylor expansion of (* z y) in y
0.259 * [taylor]: Taking taylor expansion of z in y
0.259 * [taylor]: Taking taylor expansion of y in y
0.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (* z y) in x
0.259 * [taylor]: Taking taylor expansion of z in x
0.259 * [taylor]: Taking taylor expansion of y in x
0.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (* z y) in x
0.259 * [taylor]: Taking taylor expansion of z in x
0.259 * [taylor]: Taking taylor expansion of y in x
0.259 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.260 * [taylor]: Taking taylor expansion of (* z y) in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of 0 in z
0.260 * [taylor]: Taking taylor expansion of 0 in z
0.261 * [taylor]: Taking taylor expansion of 0 in y
0.261 * [taylor]: Taking taylor expansion of 0 in z
0.261 * [taylor]: Taking taylor expansion of z in z
0.261 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (x y z) around 0
0.261 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
0.261 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.261 * [taylor]: Taking taylor expansion of x in z
0.261 * [taylor]: Taking taylor expansion of (* z y) in z
0.261 * [taylor]: Taking taylor expansion of z in z
0.261 * [taylor]: Taking taylor expansion of y in z
0.262 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
0.262 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.262 * [taylor]: Taking taylor expansion of x in y
0.262 * [taylor]: Taking taylor expansion of (* z y) in y
0.262 * [taylor]: Taking taylor expansion of z in y
0.262 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
0.263 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of (* z y) in x
0.263 * [taylor]: Taking taylor expansion of z in x
0.263 * [taylor]: Taking taylor expansion of y in x
0.263 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
0.263 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of (* z y) in x
0.263 * [taylor]: Taking taylor expansion of z in x
0.263 * [taylor]: Taking taylor expansion of y in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.264 * [taylor]: Taking taylor expansion of (* z y) in y
0.264 * [taylor]: Taking taylor expansion of z in y
0.264 * [taylor]: Taking taylor expansion of y in y
0.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.264 * [taylor]: Taking taylor expansion of z in z
0.265 * [taylor]: Taking taylor expansion of 0 in y
0.266 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in y
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.271 * [taylor]: Taking taylor expansion of 0 in y
0.271 * [taylor]: Taking taylor expansion of 0 in z
0.271 * [taylor]: Taking taylor expansion of 0 in z
0.272 * [taylor]: Taking taylor expansion of 0 in z
0.272 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (x y z) around 0
0.272 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z
0.272 * [taylor]: Taking taylor expansion of -1 in z
0.272 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.272 * [taylor]: Taking taylor expansion of x in z
0.272 * [taylor]: Taking taylor expansion of (* z y) in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of y in z
0.273 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y
0.273 * [taylor]: Taking taylor expansion of -1 in y
0.273 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.273 * [taylor]: Taking taylor expansion of x in y
0.273 * [taylor]: Taking taylor expansion of (* z y) in y
0.273 * [taylor]: Taking taylor expansion of z in y
0.273 * [taylor]: Taking taylor expansion of y in y
0.273 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
0.274 * [taylor]: Taking taylor expansion of -1 in x
0.274 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (* z y) in x
0.274 * [taylor]: Taking taylor expansion of z in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
0.274 * [taylor]: Taking taylor expansion of -1 in x
0.274 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (* z y) in x
0.274 * [taylor]: Taking taylor expansion of z in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.275 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
0.275 * [taylor]: Taking taylor expansion of -1 in y
0.275 * [taylor]: Taking taylor expansion of (* z y) in y
0.275 * [taylor]: Taking taylor expansion of z in y
0.275 * [taylor]: Taking taylor expansion of y in y
0.275 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.275 * [taylor]: Taking taylor expansion of -1 in z
0.275 * [taylor]: Taking taylor expansion of z in z
0.276 * [taylor]: Taking taylor expansion of 0 in y
0.277 * [taylor]: Taking taylor expansion of 0 in z
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [taylor]: Taking taylor expansion of 0 in z
0.279 * [taylor]: Taking taylor expansion of 0 in z
0.282 * [taylor]: Taking taylor expansion of 0 in y
0.282 * [taylor]: Taking taylor expansion of 0 in z
0.282 * [taylor]: Taking taylor expansion of 0 in z
0.282 * [taylor]: Taking taylor expansion of 0 in z
0.283 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.283 * [approximate]: Taking taylor expansion of (- (pow z 2) (* t a)) in (z t a) around 0
0.283 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
0.283 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.283 * [taylor]: Taking taylor expansion of z in a
0.283 * [taylor]: Taking taylor expansion of (* t a) in a
0.283 * [taylor]: Taking taylor expansion of t in a
0.283 * [taylor]: Taking taylor expansion of a in a
0.283 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
0.283 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.283 * [taylor]: Taking taylor expansion of z in t
0.283 * [taylor]: Taking taylor expansion of (* t a) in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.283 * [taylor]: Taking taylor expansion of a in t
0.283 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
0.283 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.283 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of (* t a) in z
0.283 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of a in z
0.283 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
0.283 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.283 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of (* t a) in z
0.283 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of a in z
0.283 * [taylor]: Taking taylor expansion of (- (* t a)) in t
0.283 * [taylor]: Taking taylor expansion of (* t a) in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.283 * [taylor]: Taking taylor expansion of a in t
0.284 * [taylor]: Taking taylor expansion of 0 in a
0.284 * [taylor]: Taking taylor expansion of 0 in t
0.284 * [taylor]: Taking taylor expansion of 0 in a
0.285 * [taylor]: Taking taylor expansion of (- a) in a
0.285 * [taylor]: Taking taylor expansion of a in a
0.286 * [taylor]: Taking taylor expansion of 1 in t
0.286 * [taylor]: Taking taylor expansion of 1 in a
0.286 * [taylor]: Taking taylor expansion of 0 in a
0.287 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.289 * [taylor]: Taking taylor expansion of 0 in a
0.290 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
0.290 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
0.290 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
0.290 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.290 * [taylor]: Taking taylor expansion of z in a
0.290 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.290 * [taylor]: Taking taylor expansion of (* t a) in a
0.290 * [taylor]: Taking taylor expansion of t in a
0.290 * [taylor]: Taking taylor expansion of a in a
0.290 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
0.290 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.290 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.290 * [taylor]: Taking taylor expansion of z in t
0.291 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.291 * [taylor]: Taking taylor expansion of (* t a) in t
0.291 * [taylor]: Taking taylor expansion of t in t
0.291 * [taylor]: Taking taylor expansion of a in t
0.291 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.291 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.291 * [taylor]: Taking taylor expansion of z in z
0.291 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.291 * [taylor]: Taking taylor expansion of (* t a) in z
0.292 * [taylor]: Taking taylor expansion of t in z
0.292 * [taylor]: Taking taylor expansion of a in z
0.292 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.292 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.292 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.292 * [taylor]: Taking taylor expansion of z in z
0.292 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.292 * [taylor]: Taking taylor expansion of (* t a) in z
0.292 * [taylor]: Taking taylor expansion of t in z
0.292 * [taylor]: Taking taylor expansion of a in z
0.293 * [taylor]: Taking taylor expansion of 1 in t
0.296 * [taylor]: Taking taylor expansion of 0 in t
0.296 * [taylor]: Taking taylor expansion of 1 in a
0.298 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.298 * [taylor]: Taking taylor expansion of (* t a) in t
0.298 * [taylor]: Taking taylor expansion of t in t
0.298 * [taylor]: Taking taylor expansion of a in t
0.298 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.298 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.298 * [taylor]: Taking taylor expansion of a in a
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.300 * [taylor]: Taking taylor expansion of 0 in t
0.301 * [taylor]: Taking taylor expansion of 0 in a
0.301 * [taylor]: Taking taylor expansion of 0 in a
0.301 * [taylor]: Taking taylor expansion of 0 in a
0.304 * [taylor]: Taking taylor expansion of 0 in t
0.304 * [taylor]: Taking taylor expansion of 0 in a
0.305 * [taylor]: Taking taylor expansion of 0 in a
0.305 * [taylor]: Taking taylor expansion of 0 in a
0.305 * [taylor]: Taking taylor expansion of 0 in a
0.306 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
0.306 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
0.306 * [taylor]: Taking taylor expansion of (pow z 2) in a
0.306 * [taylor]: Taking taylor expansion of z in a
0.306 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.306 * [taylor]: Taking taylor expansion of (* t a) in a
0.306 * [taylor]: Taking taylor expansion of t in a
0.306 * [taylor]: Taking taylor expansion of a in a
0.306 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.306 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.306 * [taylor]: Taking taylor expansion of z in t
0.306 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.306 * [taylor]: Taking taylor expansion of (* t a) in t
0.306 * [taylor]: Taking taylor expansion of t in t
0.306 * [taylor]: Taking taylor expansion of a in t
0.307 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.307 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.307 * [taylor]: Taking taylor expansion of z in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.307 * [taylor]: Taking taylor expansion of (* t a) in z
0.307 * [taylor]: Taking taylor expansion of t in z
0.307 * [taylor]: Taking taylor expansion of a in z
0.308 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
0.308 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.308 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.308 * [taylor]: Taking taylor expansion of z in z
0.308 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
0.308 * [taylor]: Taking taylor expansion of (* t a) in z
0.308 * [taylor]: Taking taylor expansion of t in z
0.308 * [taylor]: Taking taylor expansion of a in z
0.309 * [taylor]: Taking taylor expansion of 1 in t
0.310 * [taylor]: Taking taylor expansion of 0 in t
0.310 * [taylor]: Taking taylor expansion of 1 in a
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t
0.311 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.311 * [taylor]: Taking taylor expansion of (* t a) in t
0.311 * [taylor]: Taking taylor expansion of t in t
0.311 * [taylor]: Taking taylor expansion of a in t
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.311 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.311 * [taylor]: Taking taylor expansion of a in a
0.312 * [taylor]: Taking taylor expansion of 0 in a
0.312 * [taylor]: Taking taylor expansion of 0 in a
0.314 * [taylor]: Taking taylor expansion of 0 in t
0.314 * [taylor]: Taking taylor expansion of 0 in a
0.314 * [taylor]: Taking taylor expansion of 0 in a
0.314 * [taylor]: Taking taylor expansion of 0 in a
0.317 * [taylor]: Taking taylor expansion of 0 in t
0.317 * [taylor]: Taking taylor expansion of 0 in a
0.318 * [taylor]: Taking taylor expansion of 0 in a
0.318 * [taylor]: Taking taylor expansion of 0 in a
0.318 * [taylor]: Taking taylor expansion of 0 in a
0.319 * * * [progress]: simplifying candidates
0.320 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (sqrt (- (* z z) (* t a))))
  (exp (sqrt (- (* z z) (* t a))))
  (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a)))))
  (cbrt (sqrt (- (* z z) (* t a))))
  (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a))))
  (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a)))))
  (sqrt (cbrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt 1)
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (pow (* z z) 3) (pow (* t a) 3)))
  (sqrt (+ (* (* z z) (* z z)) (+ (* (* t a) (* t a)) (* (* z z) (* t a)))))
  (sqrt (- (* (* z z) (* z z)) (* (* t a) (* t a))))
  (sqrt (+ (* z z) (* t a)))
  (/ 1 2)
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (- (+ (+ (log x) (log y)) (log z)) (log (sqrt (- (* z z) (* t a)))))
  (- (+ (log (* x y)) (log z)) (log (sqrt (- (* z z) (* t a)))))
  (- (log (* (* x y) z)) (log (sqrt (- (* z z) (* t a)))))
  (log (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (exp (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (/ (* (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))))
  (/ (* (* (* (* x y) (* x y)) (* x y)) (* (* z z) z)) (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))))
  (/ (* (* (* (* x y) z) (* (* x y) z)) (* (* x y) z)) (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))))
  (* (cbrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a))))) (cbrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a))))))
  (cbrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (* (* (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) (/ (* (* x y) z) (sqrt (- (* z z) (* t a))))) (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (sqrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (sqrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (- (* (* x y) z))
  (- (sqrt (- (* z z) (* t a))))
  (/ (* x y) (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))))
  (/ z (cbrt (sqrt (- (* z z) (* t a)))))
  (/ (* x y) (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))))
  (/ z (sqrt (cbrt (- (* z z) (* t a)))))
  (/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (/ (* x y) (sqrt 1))
  (/ z (sqrt (- (* z z) (* t a))))
  (/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (/ (* x y) 1)
  (/ z (sqrt (- (* z z) (* t a))))
  (/ 1 (sqrt (- (* z z) (* t a))))
  (/ (sqrt (- (* z z) (* t a))) (* (* x y) z))
  (/ (* (* x y) z) (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))))
  (/ (* (* x y) z) (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))))
  (/ (* (* x y) z) (sqrt (sqrt (- (* z z) (* t a)))))
  (/ (* (* x y) z) (sqrt 1))
  (/ (* (* x y) z) (sqrt (sqrt (- (* z z) (* t a)))))
  (/ (* (* x y) z) 1)
  (/ (sqrt (- (* z z) (* t a))) z)
  (/ (* (* x y) z) (sqrt (- (pow (* z z) 3) (pow (* t a) 3))))
  (/ (* (* x y) z) (sqrt (- (* (* z z) (* z z)) (* (* t a) (* t a)))))
  (* (* x y) z)
  (* (* x y) z)
  (+ (+ (log x) (log y)) (log z))
  (+ (log (* x y)) (log z))
  (log (* (* x y) z))
  (exp (* (* x y) z))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (* (* x y) z)) (cbrt (* (* x y) z)))
  (cbrt (* (* x y) z))
  (* (* (* (* x y) z) (* (* x y) z)) (* (* x y) z))
  (sqrt (* (* x y) z))
  (sqrt (* (* x y) z))
  (* (* x y) (* (cbrt z) (cbrt z)))
  (* (* x y) (sqrt z))
  (* (* x y) 1)
  (* y z)
  (/ (exp (* z z)) (exp (* t a)))
  (log (- (* z z) (* t a)))
  (exp (- (* z z) (* t a)))
  (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))
  (cbrt (- (* z z) (* t a)))
  (* (* (- (* z z) (* t a)) (- (* z z) (* t a))) (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (- (pow (* z z) 3) (pow (* t a) 3))
  (+ (* (* z z) (* z z)) (+ (* (* t a) (* t a)) (* (* z z) (* t a))))
  (- (* t a))
  (- (* (* z z) (* z z)) (* (* t a) (* t a)))
  (+ (* z z) (* t a))
  (- (* t a))
  (- (+ (* +nan.0 (* a t)) (- (* +nan.0 (pow z 2)))))
  (- z (* 1/2 (/ (* a t) z)))
  (- (* 1/2 (/ (* a t) z)) z)
  0
  (* x y)
  (* -1 (* x y))
  0
  (* x (* z y))
  (* x (* z y))
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
0.324 * * [simplify]: iteration  0 :  134  enodes  (cost  1237 )
0.345 * * [simplify]: iteration  1 :  350  enodes  (cost  1139 )
0.438 * * [simplify]: iteration  2 :  1742  enodes  (cost  975 )
0.884 * * [simplify]: iteration  done :  5001  enodes  (cost  975 )
0.885 * [simplify]: Simplified to:
   (log (sqrt (- (* z z) (* t a))))
  (exp (sqrt (- (* z z) (* t a))))
  (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a)))))
  (cbrt (sqrt (- (* z z) (* t a))))
  (pow (sqrt (- (* z z) (* t a))) 3)
  (fabs (cbrt (- (* z z) (* t a))))
  (sqrt (cbrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  1
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (pow z 6) (pow (* t a) 3)))
  (sqrt (+ (pow z 4) (* (* t a) (+ (* z z) (* t a)))))
  (sqrt (- (pow z 4) (* (* t a) (* t a))))
  (sqrt (+ (* z z) (* t a)))
  1/2
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (log (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (log (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (log (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (log (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (exp (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (pow (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) 3)
  (pow (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) 3)
  (pow (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) 3)
  (* (cbrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a))))) (cbrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a))))))
  (cbrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (pow (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))) 3)
  (sqrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (sqrt (/ (* (* x y) z) (sqrt (- (* z z) (* t a)))))
  (- (* (* x y) z))
  (- (sqrt (- (* z z) (* t a))))
  (/ (* x y) (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))))
  (/ z (cbrt (sqrt (- (* z z) (* t a)))))
  (/ (* x y) (fabs (cbrt (- (* z z) (* t a)))))
  (/ z (sqrt (cbrt (- (* z z) (* t a)))))
  (/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (* x y)
  (/ z (sqrt (- (* z z) (* t a))))
  (/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (* x y)
  (/ z (sqrt (- (* z z) (* t a))))
  (/ 1 (sqrt (- (* z z) (* t a))))
  (/ (sqrt (- (* z z) (* t a))) (* (* x y) z))
  (/ (* (* x y) z) (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))))
  (/ (* (* x y) z) (fabs (cbrt (- (* z z) (* t a)))))
  (/ (* (* x y) z) (sqrt (sqrt (- (* z z) (* t a)))))
  (* (* x y) z)
  (/ (* (* x y) z) (sqrt (sqrt (- (* z z) (* t a)))))
  (* (* x y) z)
  (/ (sqrt (- (* z z) (* t a))) z)
  (/ (* (* x y) z) (sqrt (- (pow z 6) (pow (* t a) 3))))
  (* (/ (* x y) (sqrt (- (pow z 4) (* (* t a) (* t a))))) z)
  (* (* x y) z)
  (* (* x y) z)
  (log (* (* x y) z))
  (log (* (* x y) z))
  (log (* (* x y) z))
  (exp (* (* x y) z))
  (pow (* (* x y) z) 3)
  (pow (* (* x y) z) 3)
  (* (cbrt (* (* x y) z)) (cbrt (* (* x y) z)))
  (cbrt (* (* x y) z))
  (pow (* (* x y) z) 3)
  (sqrt (* (* x y) z))
  (sqrt (* (* x y) z))
  (* (* x y) (* (cbrt z) (cbrt z)))
  (* (* x y) (sqrt z))
  (* x y)
  (* z y)
  (exp (- (pow z 2) (* t a)))
  (log (- (* z z) (* t a)))
  (exp (- (pow z 2) (* t a)))
  (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))
  (cbrt (- (* z z) (* t a)))
  (pow (- (pow z 2) (* a t)) 3)
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (- (pow z 6) (pow (* t a) 3))
  (+ (pow z 4) (* (* t a) (+ (* z z) (* t a))))
  (- (* t a))
  (- (pow z 4) (* (* t a) (* t a)))
  (+ (* z z) (* t a))
  (- (* t a))
  (- (* +nan.0 (- (* a t) (* z z))))
  (- z (* 1/2 (/ (* a t) z)))
  (- (* 1/2 (/ (* a t) z)) z)
  0
  (* x y)
  (- (* x y))
  0
  (* (* x y) z)
  (* (* x y) z)
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
0.885 * * * [progress]: adding candidates to table
1.098 * * [progress]: iteration 2 / 4
1.098 * * * [progress]: picking best candidate
1.118 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))>
1.118 * * * [progress]: localizing error
1.129 * * * [progress]: generating rewritten candidates
1.129 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.133 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.143 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.145 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.160 * * * [progress]: generating series expansions
1.160 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.160 * [approximate]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in (z t a) around 0
1.160 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in a
1.160 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
1.160 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.160 * [taylor]: Taking taylor expansion of z in a
1.160 * [taylor]: Taking taylor expansion of (* t a) in a
1.160 * [taylor]: Taking taylor expansion of t in a
1.160 * [taylor]: Taking taylor expansion of a in a
1.161 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in t
1.161 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
1.161 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.161 * [taylor]: Taking taylor expansion of z in t
1.162 * [taylor]: Taking taylor expansion of (* t a) in t
1.162 * [taylor]: Taking taylor expansion of t in t
1.162 * [taylor]: Taking taylor expansion of a in t
1.162 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
1.162 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.162 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.163 * [taylor]: Taking taylor expansion of z in z
1.163 * [taylor]: Taking taylor expansion of (* t a) in z
1.163 * [taylor]: Taking taylor expansion of t in z
1.163 * [taylor]: Taking taylor expansion of a in z
1.163 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
1.163 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.163 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.163 * [taylor]: Taking taylor expansion of z in z
1.163 * [taylor]: Taking taylor expansion of (* t a) in z
1.163 * [taylor]: Taking taylor expansion of t in z
1.163 * [taylor]: Taking taylor expansion of a in z
1.164 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
1.164 * [taylor]: Taking taylor expansion of (- (* t a)) in t
1.164 * [taylor]: Taking taylor expansion of (* t a) in t
1.164 * [taylor]: Taking taylor expansion of t in t
1.164 * [taylor]: Taking taylor expansion of a in t
1.166 * [taylor]: Taking taylor expansion of 0 in a
1.166 * [taylor]: Taking taylor expansion of 0 in t
1.166 * [taylor]: Taking taylor expansion of 0 in a
1.166 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
1.166 * [taylor]: Taking taylor expansion of +nan.0 in a
1.166 * [taylor]: Taking taylor expansion of a in a
1.167 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* t a)))) in t
1.167 * [taylor]: Taking taylor expansion of 1/2 in t
1.167 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
1.168 * [taylor]: Taking taylor expansion of (- (* t a)) in t
1.168 * [taylor]: Taking taylor expansion of (* t a) in t
1.168 * [taylor]: Taking taylor expansion of t in t
1.168 * [taylor]: Taking taylor expansion of a in t
1.170 * [taylor]: Taking taylor expansion of (- +nan.0) in a
1.170 * [taylor]: Taking taylor expansion of +nan.0 in a
1.171 * [taylor]: Taking taylor expansion of 0 in a
1.172 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 2)) in a
1.172 * [taylor]: Taking taylor expansion of +nan.0 in a
1.172 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.172 * [taylor]: Taking taylor expansion of a in a
1.175 * [taylor]: Taking taylor expansion of 0 in t
1.175 * [taylor]: Taking taylor expansion of 0 in a
1.177 * [taylor]: Taking taylor expansion of (- (* +nan.0 a)) in a
1.177 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
1.177 * [taylor]: Taking taylor expansion of +nan.0 in a
1.177 * [taylor]: Taking taylor expansion of a in a
1.178 * [taylor]: Taking taylor expansion of 0 in a
1.179 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 3)) in a
1.179 * [taylor]: Taking taylor expansion of +nan.0 in a
1.179 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.179 * [taylor]: Taking taylor expansion of a in a
1.180 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
1.180 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.180 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.180 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.180 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.180 * [taylor]: Taking taylor expansion of z in a
1.181 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.181 * [taylor]: Taking taylor expansion of (* t a) in a
1.181 * [taylor]: Taking taylor expansion of t in a
1.181 * [taylor]: Taking taylor expansion of a in a
1.182 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.182 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.182 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.182 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.182 * [taylor]: Taking taylor expansion of z in t
1.182 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.182 * [taylor]: Taking taylor expansion of (* t a) in t
1.182 * [taylor]: Taking taylor expansion of t in t
1.182 * [taylor]: Taking taylor expansion of a in t
1.183 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.183 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.183 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.183 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.183 * [taylor]: Taking taylor expansion of z in z
1.183 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.183 * [taylor]: Taking taylor expansion of (* t a) in z
1.183 * [taylor]: Taking taylor expansion of t in z
1.183 * [taylor]: Taking taylor expansion of a in z
1.185 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.186 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.186 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.186 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.186 * [taylor]: Taking taylor expansion of (* t a) in z
1.186 * [taylor]: Taking taylor expansion of t in z
1.186 * [taylor]: Taking taylor expansion of a in z
1.188 * [taylor]: Taking taylor expansion of 1 in t
1.188 * [taylor]: Taking taylor expansion of 0 in t
1.188 * [taylor]: Taking taylor expansion of 1 in a
1.190 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
1.190 * [taylor]: Taking taylor expansion of -1/2 in t
1.190 * [taylor]: Taking taylor expansion of (* t a) in t
1.190 * [taylor]: Taking taylor expansion of t in t
1.190 * [taylor]: Taking taylor expansion of a in t
1.191 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
1.191 * [taylor]: Taking taylor expansion of -1/2 in a
1.191 * [taylor]: Taking taylor expansion of a in a
1.191 * [taylor]: Taking taylor expansion of 0 in a
1.191 * [taylor]: Taking taylor expansion of 0 in a
1.193 * [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.197 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
1.197 * [taylor]: Taking taylor expansion of -1/8 in t
1.197 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
1.197 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.197 * [taylor]: Taking taylor expansion of t in t
1.197 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.197 * [taylor]: Taking taylor expansion of a in t
1.199 * [taylor]: Taking taylor expansion of 0 in a
1.199 * [taylor]: Taking taylor expansion of 0 in a
1.200 * [taylor]: Taking taylor expansion of 0 in a
1.200 * [taylor]: Taking taylor expansion of 0 in a
1.200 * [taylor]: Taking taylor expansion of 0 in a
1.200 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
1.200 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.200 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.200 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.200 * [taylor]: Taking taylor expansion of z in a
1.200 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.200 * [taylor]: Taking taylor expansion of (* t a) in a
1.200 * [taylor]: Taking taylor expansion of t in a
1.200 * [taylor]: Taking taylor expansion of a in a
1.201 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.201 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.201 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.202 * [taylor]: Taking taylor expansion of z in t
1.202 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.202 * [taylor]: Taking taylor expansion of (* t a) in t
1.202 * [taylor]: Taking taylor expansion of t in t
1.202 * [taylor]: Taking taylor expansion of a in t
1.203 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.203 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.203 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.203 * [taylor]: Taking taylor expansion of z in z
1.203 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.203 * [taylor]: Taking taylor expansion of (* t a) in z
1.203 * [taylor]: Taking taylor expansion of t in z
1.203 * [taylor]: Taking taylor expansion of a in z
1.205 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.205 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.205 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.205 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.205 * [taylor]: Taking taylor expansion of z in z
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.206 * [taylor]: Taking taylor expansion of (* t a) in z
1.206 * [taylor]: Taking taylor expansion of t in z
1.206 * [taylor]: Taking taylor expansion of a in z
1.208 * [taylor]: Taking taylor expansion of 1 in t
1.208 * [taylor]: Taking taylor expansion of 0 in t
1.208 * [taylor]: Taking taylor expansion of 1 in a
1.210 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
1.210 * [taylor]: Taking taylor expansion of -1/2 in t
1.210 * [taylor]: Taking taylor expansion of (* t a) in t
1.210 * [taylor]: Taking taylor expansion of t in t
1.210 * [taylor]: Taking taylor expansion of a in t
1.211 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
1.211 * [taylor]: Taking taylor expansion of -1/2 in a
1.211 * [taylor]: Taking taylor expansion of a in a
1.211 * [taylor]: Taking taylor expansion of 0 in a
1.211 * [taylor]: Taking taylor expansion of 0 in a
1.213 * [taylor]: Taking taylor expansion of 0 in t
1.214 * [taylor]: Taking taylor expansion of 0 in a
1.214 * [taylor]: Taking taylor expansion of 0 in a
1.214 * [taylor]: Taking taylor expansion of 0 in a
1.217 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
1.217 * [taylor]: Taking taylor expansion of -1/8 in t
1.217 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
1.217 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.217 * [taylor]: Taking taylor expansion of t in t
1.217 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.217 * [taylor]: Taking taylor expansion of a in t
1.218 * [taylor]: Taking taylor expansion of 0 in a
1.219 * [taylor]: Taking taylor expansion of 0 in a
1.219 * [taylor]: Taking taylor expansion of 0 in a
1.219 * [taylor]: Taking taylor expansion of 0 in a
1.219 * [taylor]: Taking taylor expansion of 0 in a
1.220 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.220 * [approximate]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in (x y z t a) around 0
1.220 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in a
1.220 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
1.220 * [taylor]: Taking taylor expansion of x in a
1.220 * [taylor]: Taking taylor expansion of (* z y) in a
1.220 * [taylor]: Taking taylor expansion of z in a
1.220 * [taylor]: Taking taylor expansion of y in a
1.220 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in a
1.220 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in a
1.220 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
1.220 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.220 * [taylor]: Taking taylor expansion of z in a
1.220 * [taylor]: Taking taylor expansion of (* t a) in a
1.220 * [taylor]: Taking taylor expansion of t in a
1.220 * [taylor]: Taking taylor expansion of a in a
1.221 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in t
1.221 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.221 * [taylor]: Taking taylor expansion of x in t
1.221 * [taylor]: Taking taylor expansion of (* z y) in t
1.221 * [taylor]: Taking taylor expansion of z in t
1.221 * [taylor]: Taking taylor expansion of y in t
1.222 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in t
1.222 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in t
1.222 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
1.222 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.222 * [taylor]: Taking taylor expansion of z in t
1.222 * [taylor]: Taking taylor expansion of (* t a) in t
1.222 * [taylor]: Taking taylor expansion of t in t
1.222 * [taylor]: Taking taylor expansion of a in t
1.223 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in z
1.223 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.223 * [taylor]: Taking taylor expansion of x in z
1.223 * [taylor]: Taking taylor expansion of (* z y) in z
1.223 * [taylor]: Taking taylor expansion of z in z
1.223 * [taylor]: Taking taylor expansion of y in z
1.223 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in z
1.223 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in z
1.223 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.223 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.223 * [taylor]: Taking taylor expansion of z in z
1.223 * [taylor]: Taking taylor expansion of (* t a) in z
1.223 * [taylor]: Taking taylor expansion of t in z
1.223 * [taylor]: Taking taylor expansion of a in z
1.224 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
1.224 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.224 * [taylor]: Taking taylor expansion of x in y
1.224 * [taylor]: Taking taylor expansion of (* z y) in y
1.224 * [taylor]: Taking taylor expansion of z in y
1.224 * [taylor]: Taking taylor expansion of y in y
1.224 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
1.224 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
1.224 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
1.224 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.224 * [taylor]: Taking taylor expansion of z in y
1.224 * [taylor]: Taking taylor expansion of (* t a) in y
1.224 * [taylor]: Taking taylor expansion of t in y
1.224 * [taylor]: Taking taylor expansion of a in y
1.225 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
1.225 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.225 * [taylor]: Taking taylor expansion of x in x
1.225 * [taylor]: Taking taylor expansion of (* z y) in x
1.225 * [taylor]: Taking taylor expansion of z in x
1.226 * [taylor]: Taking taylor expansion of y in x
1.226 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
1.226 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
1.226 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
1.226 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.226 * [taylor]: Taking taylor expansion of z in x
1.226 * [taylor]: Taking taylor expansion of (* t a) in x
1.226 * [taylor]: Taking taylor expansion of t in x
1.226 * [taylor]: Taking taylor expansion of a in x
1.227 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
1.227 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.227 * [taylor]: Taking taylor expansion of x in x
1.227 * [taylor]: Taking taylor expansion of (* z y) in x
1.227 * [taylor]: Taking taylor expansion of z in x
1.227 * [taylor]: Taking taylor expansion of y in x
1.227 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
1.227 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
1.227 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
1.227 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.227 * [taylor]: Taking taylor expansion of z in x
1.227 * [taylor]: Taking taylor expansion of (* t a) in x
1.227 * [taylor]: Taking taylor expansion of t in x
1.227 * [taylor]: Taking taylor expansion of a in x
1.229 * [taylor]: Taking taylor expansion of 0 in y
1.229 * [taylor]: Taking taylor expansion of 0 in z
1.229 * [taylor]: Taking taylor expansion of 0 in t
1.229 * [taylor]: Taking taylor expansion of 0 in a
1.229 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
1.229 * [taylor]: Taking taylor expansion of (* z y) in y
1.230 * [taylor]: Taking taylor expansion of z in y
1.230 * [taylor]: Taking taylor expansion of y in y
1.230 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
1.230 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
1.230 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
1.230 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.230 * [taylor]: Taking taylor expansion of z in y
1.230 * [taylor]: Taking taylor expansion of (* t a) in y
1.230 * [taylor]: Taking taylor expansion of t in y
1.230 * [taylor]: Taking taylor expansion of a in y
1.231 * [taylor]: Taking taylor expansion of 0 in z
1.231 * [taylor]: Taking taylor expansion of 0 in t
1.231 * [taylor]: Taking taylor expansion of 0 in a
1.231 * [taylor]: Taking taylor expansion of 0 in z
1.231 * [taylor]: Taking taylor expansion of 0 in t
1.231 * [taylor]: Taking taylor expansion of 0 in a
1.231 * [taylor]: Taking taylor expansion of 0 in t
1.231 * [taylor]: Taking taylor expansion of 0 in a
1.231 * [taylor]: Taking taylor expansion of 0 in a
1.232 * [approximate]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in (x y z t a) around 0
1.232 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
1.232 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
1.232 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
1.232 * [taylor]: Taking taylor expansion of x in a
1.232 * [taylor]: Taking taylor expansion of (* z y) in a
1.232 * [taylor]: Taking taylor expansion of z in a
1.232 * [taylor]: Taking taylor expansion of y in a
1.232 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
1.232 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.232 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.232 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.232 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.232 * [taylor]: Taking taylor expansion of z in a
1.232 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.232 * [taylor]: Taking taylor expansion of (* t a) in a
1.232 * [taylor]: Taking taylor expansion of t in a
1.232 * [taylor]: Taking taylor expansion of a in a
1.233 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
1.233 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
1.233 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.233 * [taylor]: Taking taylor expansion of x in t
1.233 * [taylor]: Taking taylor expansion of (* z y) in t
1.233 * [taylor]: Taking taylor expansion of z in t
1.233 * [taylor]: Taking taylor expansion of y in t
1.233 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
1.233 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.233 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.233 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.233 * [taylor]: Taking taylor expansion of z in t
1.233 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.234 * [taylor]: Taking taylor expansion of (* t a) in t
1.234 * [taylor]: Taking taylor expansion of t in t
1.234 * [taylor]: Taking taylor expansion of a in t
1.235 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
1.235 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.235 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.235 * [taylor]: Taking taylor expansion of x in z
1.235 * [taylor]: Taking taylor expansion of (* z y) in z
1.235 * [taylor]: Taking taylor expansion of z in z
1.235 * [taylor]: Taking taylor expansion of y in z
1.235 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.235 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.235 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.235 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.235 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.235 * [taylor]: Taking taylor expansion of z in z
1.236 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.236 * [taylor]: Taking taylor expansion of (* t a) in z
1.236 * [taylor]: Taking taylor expansion of t in z
1.236 * [taylor]: Taking taylor expansion of a in z
1.242 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
1.242 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.242 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.242 * [taylor]: Taking taylor expansion of x in y
1.242 * [taylor]: Taking taylor expansion of (* z y) in y
1.242 * [taylor]: Taking taylor expansion of z in y
1.242 * [taylor]: Taking taylor expansion of y in y
1.243 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.243 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.243 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.243 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.243 * [taylor]: Taking taylor expansion of z in y
1.243 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.243 * [taylor]: Taking taylor expansion of (* t a) in y
1.243 * [taylor]: Taking taylor expansion of t in y
1.243 * [taylor]: Taking taylor expansion of a in y
1.245 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.245 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.245 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.245 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of (* z y) in x
1.245 * [taylor]: Taking taylor expansion of z in x
1.245 * [taylor]: Taking taylor expansion of y in x
1.246 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.246 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.246 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.246 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.246 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.246 * [taylor]: Taking taylor expansion of z in x
1.246 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.246 * [taylor]: Taking taylor expansion of (* t a) in x
1.246 * [taylor]: Taking taylor expansion of t in x
1.246 * [taylor]: Taking taylor expansion of a in x
1.248 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.248 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.248 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.248 * [taylor]: Taking taylor expansion of x in x
1.248 * [taylor]: Taking taylor expansion of (* z y) in x
1.248 * [taylor]: Taking taylor expansion of z in x
1.248 * [taylor]: Taking taylor expansion of y in x
1.248 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.248 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.248 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.248 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.248 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.248 * [taylor]: Taking taylor expansion of z in x
1.248 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.248 * [taylor]: Taking taylor expansion of (* t a) in x
1.248 * [taylor]: Taking taylor expansion of t in x
1.248 * [taylor]: Taking taylor expansion of a in x
1.250 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
1.250 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.250 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.250 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.250 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.250 * [taylor]: Taking taylor expansion of z in y
1.251 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.251 * [taylor]: Taking taylor expansion of (* t a) in y
1.251 * [taylor]: Taking taylor expansion of t in y
1.251 * [taylor]: Taking taylor expansion of a in y
1.252 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.252 * [taylor]: Taking taylor expansion of (* z y) in y
1.252 * [taylor]: Taking taylor expansion of z in y
1.252 * [taylor]: Taking taylor expansion of y in y
1.253 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
1.253 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.253 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.253 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.253 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.253 * [taylor]: Taking taylor expansion of z in z
1.254 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.254 * [taylor]: Taking taylor expansion of (* t a) in z
1.254 * [taylor]: Taking taylor expansion of t in z
1.254 * [taylor]: Taking taylor expansion of a in z
1.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.256 * [taylor]: Taking taylor expansion of z in z
1.257 * [taylor]: Taking taylor expansion of 1 in t
1.257 * [taylor]: Taking taylor expansion of 1 in a
1.258 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.259 * [taylor]: Taking taylor expansion of 0 in t
1.259 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [taylor]: Taking taylor expansion of 0 in t
1.260 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [taylor]: Taking taylor expansion of 0 in a
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [taylor]: Taking taylor expansion of 0 in z
1.264 * [taylor]: Taking taylor expansion of 0 in t
1.264 * [taylor]: Taking taylor expansion of 0 in a
1.268 * [taylor]: Taking taylor expansion of 0 in z
1.268 * [taylor]: Taking taylor expansion of 0 in t
1.268 * [taylor]: Taking taylor expansion of 0 in a
1.268 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in (x y z t a) around 0
1.268 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in a
1.268 * [taylor]: Taking taylor expansion of -1 in a
1.268 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
1.268 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
1.268 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
1.268 * [taylor]: Taking taylor expansion of x in a
1.269 * [taylor]: Taking taylor expansion of (* z y) in a
1.269 * [taylor]: Taking taylor expansion of z in a
1.269 * [taylor]: Taking taylor expansion of y in a
1.269 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
1.269 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.269 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.269 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.269 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.269 * [taylor]: Taking taylor expansion of z in a
1.269 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.269 * [taylor]: Taking taylor expansion of (* t a) in a
1.269 * [taylor]: Taking taylor expansion of t in a
1.269 * [taylor]: Taking taylor expansion of a in a
1.270 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in t
1.270 * [taylor]: Taking taylor expansion of -1 in t
1.270 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
1.270 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
1.270 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.270 * [taylor]: Taking taylor expansion of x in t
1.270 * [taylor]: Taking taylor expansion of (* z y) in t
1.270 * [taylor]: Taking taylor expansion of z in t
1.270 * [taylor]: Taking taylor expansion of y in t
1.270 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
1.270 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.270 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.270 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.270 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.270 * [taylor]: Taking taylor expansion of z in t
1.270 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.270 * [taylor]: Taking taylor expansion of (* t a) in t
1.270 * [taylor]: Taking taylor expansion of t in t
1.270 * [taylor]: Taking taylor expansion of a in t
1.271 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in z
1.271 * [taylor]: Taking taylor expansion of -1 in z
1.271 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
1.271 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.272 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.272 * [taylor]: Taking taylor expansion of x in z
1.272 * [taylor]: Taking taylor expansion of (* z y) in z
1.272 * [taylor]: Taking taylor expansion of z in z
1.272 * [taylor]: Taking taylor expansion of y in z
1.272 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.272 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.272 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.272 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.272 * [taylor]: Taking taylor expansion of z in z
1.273 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.273 * [taylor]: Taking taylor expansion of (* t a) in z
1.273 * [taylor]: Taking taylor expansion of t in z
1.273 * [taylor]: Taking taylor expansion of a in z
1.275 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in y
1.275 * [taylor]: Taking taylor expansion of -1 in y
1.275 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
1.276 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.276 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.276 * [taylor]: Taking taylor expansion of x in y
1.276 * [taylor]: Taking taylor expansion of (* z y) in y
1.276 * [taylor]: Taking taylor expansion of z in y
1.276 * [taylor]: Taking taylor expansion of y in y
1.276 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.276 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.276 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.276 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.276 * [taylor]: Taking taylor expansion of z in y
1.276 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.276 * [taylor]: Taking taylor expansion of (* t a) in y
1.276 * [taylor]: Taking taylor expansion of t in y
1.277 * [taylor]: Taking taylor expansion of a in y
1.278 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
1.278 * [taylor]: Taking taylor expansion of -1 in x
1.278 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.278 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.278 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.278 * [taylor]: Taking taylor expansion of x in x
1.278 * [taylor]: Taking taylor expansion of (* z y) in x
1.278 * [taylor]: Taking taylor expansion of z in x
1.278 * [taylor]: Taking taylor expansion of y in x
1.279 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.279 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.279 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.279 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.279 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.279 * [taylor]: Taking taylor expansion of z in x
1.279 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.279 * [taylor]: Taking taylor expansion of (* t a) in x
1.279 * [taylor]: Taking taylor expansion of t in x
1.279 * [taylor]: Taking taylor expansion of a in x
1.281 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
1.281 * [taylor]: Taking taylor expansion of -1 in x
1.281 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
1.281 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.281 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.281 * [taylor]: Taking taylor expansion of x in x
1.281 * [taylor]: Taking taylor expansion of (* z y) in x
1.281 * [taylor]: Taking taylor expansion of z in x
1.281 * [taylor]: Taking taylor expansion of y in x
1.281 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
1.281 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
1.281 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
1.281 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.281 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.281 * [taylor]: Taking taylor expansion of z in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.282 * [taylor]: Taking taylor expansion of (* t a) in x
1.282 * [taylor]: Taking taylor expansion of t in x
1.282 * [taylor]: Taking taylor expansion of a in x
1.284 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y)))) in y
1.284 * [taylor]: Taking taylor expansion of -1 in y
1.284 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
1.284 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
1.284 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.284 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.284 * [taylor]: Taking taylor expansion of z in y
1.284 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.284 * [taylor]: Taking taylor expansion of (* t a) in y
1.284 * [taylor]: Taking taylor expansion of t in y
1.284 * [taylor]: Taking taylor expansion of a in y
1.286 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.286 * [taylor]: Taking taylor expansion of (* z y) in y
1.286 * [taylor]: Taking taylor expansion of z in y
1.286 * [taylor]: Taking taylor expansion of y in y
1.286 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z))) in z
1.286 * [taylor]: Taking taylor expansion of -1 in z
1.287 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
1.287 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
1.287 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.287 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.287 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.287 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.287 * [taylor]: Taking taylor expansion of z in z
1.287 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.287 * [taylor]: Taking taylor expansion of (* t a) in z
1.287 * [taylor]: Taking taylor expansion of t in z
1.287 * [taylor]: Taking taylor expansion of a in z
1.290 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.290 * [taylor]: Taking taylor expansion of z in z
1.291 * [taylor]: Taking taylor expansion of -1 in t
1.291 * [taylor]: Taking taylor expansion of -1 in a
1.292 * [taylor]: Taking taylor expansion of 0 in y
1.294 * [taylor]: Taking taylor expansion of 0 in z
1.294 * [taylor]: Taking taylor expansion of 0 in t
1.294 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [taylor]: Taking taylor expansion of 0 in t
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.295 * [taylor]: Taking taylor expansion of 0 in a
1.300 * [taylor]: Taking taylor expansion of 0 in y
1.300 * [taylor]: Taking taylor expansion of 0 in z
1.300 * [taylor]: Taking taylor expansion of 0 in t
1.300 * [taylor]: Taking taylor expansion of 0 in a
1.305 * [taylor]: Taking taylor expansion of 0 in z
1.305 * [taylor]: Taking taylor expansion of 0 in t
1.305 * [taylor]: Taking taylor expansion of 0 in a
1.305 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.305 * [approximate]: Taking taylor expansion of (- (pow z 2) (* t a)) in (z t a) around 0
1.305 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
1.305 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.305 * [taylor]: Taking taylor expansion of z in a
1.305 * [taylor]: Taking taylor expansion of (* t a) in a
1.305 * [taylor]: Taking taylor expansion of t in a
1.305 * [taylor]: Taking taylor expansion of a in a
1.305 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
1.305 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.305 * [taylor]: Taking taylor expansion of z in t
1.305 * [taylor]: Taking taylor expansion of (* t a) in t
1.305 * [taylor]: Taking taylor expansion of t in t
1.305 * [taylor]: Taking taylor expansion of a in t
1.305 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.305 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.305 * [taylor]: Taking taylor expansion of z in z
1.305 * [taylor]: Taking taylor expansion of (* t a) in z
1.305 * [taylor]: Taking taylor expansion of t in z
1.305 * [taylor]: Taking taylor expansion of a in z
1.305 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.305 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.305 * [taylor]: Taking taylor expansion of z in z
1.305 * [taylor]: Taking taylor expansion of (* t a) in z
1.305 * [taylor]: Taking taylor expansion of t in z
1.305 * [taylor]: Taking taylor expansion of a in z
1.306 * [taylor]: Taking taylor expansion of (- (* t a)) in t
1.306 * [taylor]: Taking taylor expansion of (* t a) in t
1.306 * [taylor]: Taking taylor expansion of t in t
1.306 * [taylor]: Taking taylor expansion of a in t
1.306 * [taylor]: Taking taylor expansion of 0 in a
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in a
1.307 * [taylor]: Taking taylor expansion of (- a) in a
1.307 * [taylor]: Taking taylor expansion of a in a
1.308 * [taylor]: Taking taylor expansion of 1 in t
1.308 * [taylor]: Taking taylor expansion of 1 in a
1.308 * [taylor]: Taking taylor expansion of 0 in a
1.309 * [taylor]: Taking taylor expansion of 0 in a
1.310 * [taylor]: Taking taylor expansion of 0 in t
1.310 * [taylor]: Taking taylor expansion of 0 in a
1.311 * [taylor]: Taking taylor expansion of 0 in a
1.311 * [taylor]: Taking taylor expansion of 0 in a
1.312 * [taylor]: Taking taylor expansion of 0 in a
1.312 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
1.312 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.312 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.312 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.312 * [taylor]: Taking taylor expansion of z in a
1.312 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.312 * [taylor]: Taking taylor expansion of (* t a) in a
1.312 * [taylor]: Taking taylor expansion of t in a
1.312 * [taylor]: Taking taylor expansion of a in a
1.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.313 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.313 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.313 * [taylor]: Taking taylor expansion of z in t
1.313 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.313 * [taylor]: Taking taylor expansion of (* t a) in t
1.313 * [taylor]: Taking taylor expansion of t in t
1.313 * [taylor]: Taking taylor expansion of a in t
1.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.313 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.313 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.313 * [taylor]: Taking taylor expansion of z in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.314 * [taylor]: Taking taylor expansion of (* t a) in z
1.314 * [taylor]: Taking taylor expansion of t in z
1.314 * [taylor]: Taking taylor expansion of a in z
1.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.314 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.314 * [taylor]: Taking taylor expansion of z in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.314 * [taylor]: Taking taylor expansion of (* t a) in z
1.314 * [taylor]: Taking taylor expansion of t in z
1.314 * [taylor]: Taking taylor expansion of a in z
1.315 * [taylor]: Taking taylor expansion of 1 in t
1.316 * [taylor]: Taking taylor expansion of 0 in t
1.316 * [taylor]: Taking taylor expansion of 1 in a
1.317 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t
1.317 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.317 * [taylor]: Taking taylor expansion of (* t a) in t
1.317 * [taylor]: Taking taylor expansion of t in t
1.317 * [taylor]: Taking taylor expansion of a in t
1.317 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
1.317 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.317 * [taylor]: Taking taylor expansion of a in a
1.318 * [taylor]: Taking taylor expansion of 0 in a
1.318 * [taylor]: Taking taylor expansion of 0 in a
1.320 * [taylor]: Taking taylor expansion of 0 in t
1.320 * [taylor]: Taking taylor expansion of 0 in a
1.321 * [taylor]: Taking taylor expansion of 0 in a
1.321 * [taylor]: Taking taylor expansion of 0 in a
1.323 * [taylor]: Taking taylor expansion of 0 in t
1.323 * [taylor]: Taking taylor expansion of 0 in a
1.324 * [taylor]: Taking taylor expansion of 0 in a
1.324 * [taylor]: Taking taylor expansion of 0 in a
1.324 * [taylor]: Taking taylor expansion of 0 in a
1.325 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
1.325 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.325 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.325 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.325 * [taylor]: Taking taylor expansion of z in a
1.325 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.325 * [taylor]: Taking taylor expansion of (* t a) in a
1.325 * [taylor]: Taking taylor expansion of t in a
1.325 * [taylor]: Taking taylor expansion of a in a
1.325 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.326 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.326 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.326 * [taylor]: Taking taylor expansion of z in t
1.326 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.326 * [taylor]: Taking taylor expansion of (* t a) in t
1.326 * [taylor]: Taking taylor expansion of t in t
1.326 * [taylor]: Taking taylor expansion of a in t
1.326 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.326 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.326 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.326 * [taylor]: Taking taylor expansion of z in z
1.327 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.327 * [taylor]: Taking taylor expansion of (* t a) in z
1.327 * [taylor]: Taking taylor expansion of t in z
1.327 * [taylor]: Taking taylor expansion of a in z
1.327 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.327 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.327 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.327 * [taylor]: Taking taylor expansion of z in z
1.327 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.327 * [taylor]: Taking taylor expansion of (* t a) in z
1.327 * [taylor]: Taking taylor expansion of t in z
1.327 * [taylor]: Taking taylor expansion of a in z
1.328 * [taylor]: Taking taylor expansion of 1 in t
1.333 * [taylor]: Taking taylor expansion of 0 in t
1.334 * [taylor]: Taking taylor expansion of 1 in a
1.335 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t
1.335 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.335 * [taylor]: Taking taylor expansion of (* t a) in t
1.335 * [taylor]: Taking taylor expansion of t in t
1.335 * [taylor]: Taking taylor expansion of a in t
1.335 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
1.335 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.335 * [taylor]: Taking taylor expansion of a in a
1.336 * [taylor]: Taking taylor expansion of 0 in a
1.336 * [taylor]: Taking taylor expansion of 0 in a
1.338 * [taylor]: Taking taylor expansion of 0 in t
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.339 * [taylor]: Taking taylor expansion of 0 in a
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.342 * [taylor]: Taking taylor expansion of 0 in a
1.343 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.343 * [approximate]: Taking taylor expansion of (* (/ 1 z) (sqrt (- (pow z 2) (* t a)))) in (z t a) around 0
1.343 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (- (pow z 2) (* t a)))) in a
1.343 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.343 * [taylor]: Taking taylor expansion of z in a
1.343 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in a
1.343 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
1.343 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.343 * [taylor]: Taking taylor expansion of z in a
1.343 * [taylor]: Taking taylor expansion of (* t a) in a
1.343 * [taylor]: Taking taylor expansion of t in a
1.343 * [taylor]: Taking taylor expansion of a in a
1.344 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (- (pow z 2) (* t a)))) in t
1.344 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.344 * [taylor]: Taking taylor expansion of z in t
1.344 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in t
1.344 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
1.344 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.344 * [taylor]: Taking taylor expansion of z in t
1.344 * [taylor]: Taking taylor expansion of (* t a) in t
1.344 * [taylor]: Taking taylor expansion of t in t
1.344 * [taylor]: Taking taylor expansion of a in t
1.345 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (- (pow z 2) (* t a)))) in z
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.345 * [taylor]: Taking taylor expansion of z in z
1.345 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
1.345 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.345 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.346 * [taylor]: Taking taylor expansion of z in z
1.346 * [taylor]: Taking taylor expansion of (* t a) in z
1.346 * [taylor]: Taking taylor expansion of t in z
1.346 * [taylor]: Taking taylor expansion of a in z
1.346 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (- (pow z 2) (* t a)))) in z
1.346 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.346 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
1.347 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
1.347 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.347 * [taylor]: Taking taylor expansion of z in z
1.347 * [taylor]: Taking taylor expansion of (* t a) in z
1.347 * [taylor]: Taking taylor expansion of t in z
1.347 * [taylor]: Taking taylor expansion of a in z
1.347 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
1.348 * [taylor]: Taking taylor expansion of (- (* t a)) in t
1.348 * [taylor]: Taking taylor expansion of (* t a) in t
1.348 * [taylor]: Taking taylor expansion of t in t
1.348 * [taylor]: Taking taylor expansion of a in t
1.349 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [taylor]: Taking taylor expansion of 0 in t
1.350 * [taylor]: Taking taylor expansion of 0 in a
1.350 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
1.350 * [taylor]: Taking taylor expansion of +nan.0 in a
1.350 * [taylor]: Taking taylor expansion of a in a
1.353 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (sqrt (- (* t a))))) in t
1.353 * [taylor]: Taking taylor expansion of 1/2 in t
1.353 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (- (* t a)))) in t
1.353 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
1.353 * [taylor]: Taking taylor expansion of (- (* t a)) in t
1.353 * [taylor]: Taking taylor expansion of (* t a) in t
1.353 * [taylor]: Taking taylor expansion of t in t
1.353 * [taylor]: Taking taylor expansion of a in t
1.356 * [taylor]: Taking taylor expansion of (- +nan.0) in a
1.356 * [taylor]: Taking taylor expansion of +nan.0 in a
1.357 * [taylor]: Taking taylor expansion of 0 in a
1.358 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 2)) in a
1.358 * [taylor]: Taking taylor expansion of +nan.0 in a
1.358 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.358 * [taylor]: Taking taylor expansion of a in a
1.362 * [taylor]: Taking taylor expansion of 0 in t
1.362 * [taylor]: Taking taylor expansion of 0 in a
1.365 * [taylor]: Taking taylor expansion of (- (* +nan.0 a)) in a
1.365 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
1.365 * [taylor]: Taking taylor expansion of +nan.0 in a
1.365 * [taylor]: Taking taylor expansion of a in a
1.365 * [taylor]: Taking taylor expansion of 0 in a
1.367 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 3)) in a
1.367 * [taylor]: Taking taylor expansion of +nan.0 in a
1.367 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.367 * [taylor]: Taking taylor expansion of a in a
1.368 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in (z t a) around 0
1.368 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in a
1.368 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.368 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.368 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.368 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.368 * [taylor]: Taking taylor expansion of z in a
1.368 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.368 * [taylor]: Taking taylor expansion of (* t a) in a
1.368 * [taylor]: Taking taylor expansion of t in a
1.368 * [taylor]: Taking taylor expansion of a in a
1.369 * [taylor]: Taking taylor expansion of z in a
1.369 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in t
1.369 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.369 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.369 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.369 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.369 * [taylor]: Taking taylor expansion of z in t
1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.369 * [taylor]: Taking taylor expansion of (* t a) in t
1.369 * [taylor]: Taking taylor expansion of t in t
1.369 * [taylor]: Taking taylor expansion of a in t
1.370 * [taylor]: Taking taylor expansion of z in t
1.370 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in z
1.370 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.370 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.370 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.370 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.370 * [taylor]: Taking taylor expansion of z in z
1.371 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.371 * [taylor]: Taking taylor expansion of (* t a) in z
1.371 * [taylor]: Taking taylor expansion of t in z
1.371 * [taylor]: Taking taylor expansion of a in z
1.373 * [taylor]: Taking taylor expansion of z in z
1.373 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in z
1.373 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.373 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.373 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.373 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.373 * [taylor]: Taking taylor expansion of z in z
1.374 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.374 * [taylor]: Taking taylor expansion of (* t a) in z
1.374 * [taylor]: Taking taylor expansion of t in z
1.374 * [taylor]: Taking taylor expansion of a in z
1.376 * [taylor]: Taking taylor expansion of z in z
1.376 * [taylor]: Taking taylor expansion of 0 in t
1.376 * [taylor]: Taking taylor expansion of 1 in t
1.376 * [taylor]: Taking taylor expansion of 0 in a
1.379 * [taylor]: Taking taylor expansion of 0 in t
1.379 * [taylor]: Taking taylor expansion of 1 in a
1.379 * [taylor]: Taking taylor expansion of 0 in a
1.382 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* t a)))) in t
1.382 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* t a))) in t
1.382 * [taylor]: Taking taylor expansion of 1/2 in t
1.382 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.382 * [taylor]: Taking taylor expansion of (* t a) in t
1.382 * [taylor]: Taking taylor expansion of t in t
1.382 * [taylor]: Taking taylor expansion of a in t
1.382 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a))) in a
1.382 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
1.382 * [taylor]: Taking taylor expansion of 1/2 in a
1.382 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.382 * [taylor]: Taking taylor expansion of a in a
1.383 * [taylor]: Taking taylor expansion of 0 in a
1.383 * [taylor]: Taking taylor expansion of 0 in a
1.383 * [taylor]: Taking taylor expansion of 0 in a
1.387 * [taylor]: Taking taylor expansion of 0 in t
1.388 * [taylor]: Taking taylor expansion of 0 in a
1.388 * [taylor]: Taking taylor expansion of 0 in a
1.388 * [taylor]: Taking taylor expansion of 0 in a
1.388 * [taylor]: Taking taylor expansion of 0 in a
1.390 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z)) in (z t a) around 0
1.390 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z)) in a
1.390 * [taylor]: Taking taylor expansion of -1 in a
1.390 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in a
1.390 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
1.390 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
1.390 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
1.390 * [taylor]: Taking taylor expansion of (pow z 2) in a
1.390 * [taylor]: Taking taylor expansion of z in a
1.390 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.390 * [taylor]: Taking taylor expansion of (* t a) in a
1.390 * [taylor]: Taking taylor expansion of t in a
1.390 * [taylor]: Taking taylor expansion of a in a
1.391 * [taylor]: Taking taylor expansion of z in a
1.391 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z)) in t
1.391 * [taylor]: Taking taylor expansion of -1 in t
1.391 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in t
1.391 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
1.391 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
1.391 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
1.391 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.391 * [taylor]: Taking taylor expansion of z in t
1.392 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.392 * [taylor]: Taking taylor expansion of (* t a) in t
1.392 * [taylor]: Taking taylor expansion of t in t
1.392 * [taylor]: Taking taylor expansion of a in t
1.393 * [taylor]: Taking taylor expansion of z in t
1.393 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z)) in z
1.393 * [taylor]: Taking taylor expansion of -1 in z
1.393 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in z
1.393 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.393 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.393 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.393 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.393 * [taylor]: Taking taylor expansion of z in z
1.393 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.393 * [taylor]: Taking taylor expansion of (* t a) in z
1.393 * [taylor]: Taking taylor expansion of t in z
1.393 * [taylor]: Taking taylor expansion of a in z
1.395 * [taylor]: Taking taylor expansion of z in z
1.395 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z)) in z
1.395 * [taylor]: Taking taylor expansion of -1 in z
1.395 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) z) in z
1.395 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
1.395 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
1.395 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.395 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.395 * [taylor]: Taking taylor expansion of z in z
1.396 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.396 * [taylor]: Taking taylor expansion of (* t a) in z
1.396 * [taylor]: Taking taylor expansion of t in z
1.396 * [taylor]: Taking taylor expansion of a in z
1.398 * [taylor]: Taking taylor expansion of z in z
1.399 * [taylor]: Taking taylor expansion of 0 in t
1.400 * [taylor]: Taking taylor expansion of -1 in t
1.400 * [taylor]: Taking taylor expansion of 0 in a
1.403 * [taylor]: Taking taylor expansion of 0 in t
1.403 * [taylor]: Taking taylor expansion of -1 in a
1.403 * [taylor]: Taking taylor expansion of 0 in a
1.406 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* t a))) in t
1.406 * [taylor]: Taking taylor expansion of 1/2 in t
1.407 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.407 * [taylor]: Taking taylor expansion of (* t a) in t
1.407 * [taylor]: Taking taylor expansion of t in t
1.407 * [taylor]: Taking taylor expansion of a in t
1.407 * [taylor]: Taking taylor expansion of (/ 1/2 a) in a
1.407 * [taylor]: Taking taylor expansion of 1/2 in a
1.407 * [taylor]: Taking taylor expansion of a in a
1.407 * [taylor]: Taking taylor expansion of 0 in a
1.407 * [taylor]: Taking taylor expansion of 0 in a
1.407 * [taylor]: Taking taylor expansion of 0 in a
1.412 * [taylor]: Taking taylor expansion of 0 in t
1.413 * [taylor]: Taking taylor expansion of 0 in a
1.413 * [taylor]: Taking taylor expansion of 0 in a
1.413 * [taylor]: Taking taylor expansion of 0 in a
1.413 * [taylor]: Taking taylor expansion of 0 in a
1.414 * * * [progress]: simplifying candidates
1.416 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (sqrt (- (* z z) (* t a))))
  (exp (sqrt (- (* z z) (* t a))))
  (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a)))))
  (cbrt (sqrt (- (* z z) (* t a))))
  (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a))))
  (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a)))))
  (sqrt (cbrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt 1)
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (pow (* z z) 3) (pow (* t a) 3)))
  (sqrt (+ (* (* z z) (* z z)) (+ (* (* t a) (* t a)) (* (* z z) (* t a)))))
  (sqrt (- (* (* z z) (* z z)) (* (* t a) (* t a))))
  (sqrt (+ (* z z) (* t a)))
  (/ 1 2)
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (- (+ (log x) (log y)) (- (log (sqrt (- (* z z) (* t a)))) (log z)))
  (- (+ (log x) (log y)) (log (/ (sqrt (- (* z z) (* t a))) z)))
  (- (log (* x y)) (- (log (sqrt (- (* z z) (* t a)))) (log z)))
  (- (log (* x y)) (log (/ (sqrt (- (* z z) (* t a))) z)))
  (log (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (exp (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (* (* (* x x) x) (* (* y y) y)) (/ (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))) (* (* z z) z)))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* (/ (sqrt (- (* z z) (* t a))) z) (/ (sqrt (- (* z z) (* t a))) z)) (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (* (* (* x y) (* x y)) (* x y)) (/ (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))) (* (* z z) z)))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* (/ (sqrt (- (* z z) (* t a))) z) (/ (sqrt (- (* z z) (* t a))) z)) (/ (sqrt (- (* z z) (* t a))) z)))
  (* (cbrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))) (cbrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))))
  (cbrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (* (* (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)) (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))) (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (sqrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (sqrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (- (* x y))
  (- (/ (sqrt (- (* z z) (* t a))) z))
  (/ x (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ y (cbrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ x (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ y (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ x (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ x (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) z))
  (/ x (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) (cbrt z)))
  (/ x (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z)))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) z))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ x (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ x (/ (sqrt 1) (sqrt z)))
  (/ y (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ x (/ (sqrt 1) 1))
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ x (/ 1 (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ x (/ 1 (sqrt z)))
  (/ y (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ x (/ 1 1))
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ x 1)
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ x (sqrt (- (* z z) (* t a))))
  (/ y (/ 1 z))
  (/ 1 (/ (sqrt (- (* z z) (* t a))) z))
  (/ (/ (sqrt (- (* z z) (* t a))) z) (* x y))
  (/ (* x y) (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ (* x y) (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (* x y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ (* x y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1))
  (/ (* x y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z)))
  (/ (* x y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ (* x y) (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (sqrt 1) (sqrt z)))
  (/ (* x y) (/ (sqrt 1) 1))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ (* x y) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ 1 (sqrt z)))
  (/ (* x y) (/ 1 1))
  (/ (* x y) 1)
  (/ (* x y) (sqrt (- (* z z) (* t a))))
  (/ (/ (sqrt (- (* z z) (* t a))) z) y)
  (/ (* x y) (sqrt (- (* z z) (* t a))))
  (/ (exp (* z z)) (exp (* t a)))
  (log (- (* z z) (* t a)))
  (exp (- (* z z) (* t a)))
  (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))
  (cbrt (- (* z z) (* t a)))
  (* (* (- (* z z) (* t a)) (- (* z z) (* t a))) (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (- (pow (* z z) 3) (pow (* t a) 3))
  (+ (* (* z z) (* z z)) (+ (* (* t a) (* t a)) (* (* z z) (* t a))))
  (- (* t a))
  (- (* (* z z) (* z z)) (* (* t a) (* t a)))
  (+ (* z z) (* t a))
  (- (* t a))
  (- (log (sqrt (- (* z z) (* t a)))) (log z))
  (log (/ (sqrt (- (* z z) (* t a))) z))
  (exp (/ (sqrt (- (* z z) (* t a))) z))
  (/ (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))) (* (* z z) z))
  (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z)))
  (cbrt (/ (sqrt (- (* z z) (* t a))) z))
  (* (* (/ (sqrt (- (* z z) (* t a))) z) (/ (sqrt (- (* z z) (* t a))) z)) (/ (sqrt (- (* z z) (* t a))) z))
  (sqrt (/ (sqrt (- (* z z) (* t a))) z))
  (sqrt (/ (sqrt (- (* z z) (* t a))) z))
  (- (sqrt (- (* z z) (* t a))))
  (- z)
  (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z))
  (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z))
  (/ (cbrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1)
  (/ (cbrt (sqrt (- (* z z) (* t a)))) z)
  (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (cbrt (- (* z z) (* t a)))) (cbrt z))
  (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z))
  (/ (sqrt (cbrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1)
  (/ (sqrt (cbrt (- (* z z) (* t a)))) z)
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)
  (/ (sqrt (sqrt (- (* z z) (* t a)))) z)
  (/ (sqrt 1) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* z z) (* t a))) (cbrt z))
  (/ (sqrt 1) (sqrt z))
  (/ (sqrt (- (* z z) (* t a))) (sqrt z))
  (/ (sqrt 1) 1)
  (/ (sqrt (- (* z z) (* t a))) z)
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)
  (/ (sqrt (sqrt (- (* z z) (* t a)))) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* z z) (* t a))) (cbrt z))
  (/ 1 (sqrt z))
  (/ (sqrt (- (* z z) (* t a))) (sqrt z))
  (/ 1 1)
  (/ (sqrt (- (* z z) (* t a))) z)
  (/ 1 z)
  (/ z (sqrt (- (* z z) (* t a))))
  (/ (sqrt (- (* z z) (* t a))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* z z) (* t a))) (sqrt z))
  (/ (sqrt (- (* z z) (* t a))) 1)
  (/ z (cbrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (cbrt (- (* z z) (* t a)))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (- (* z z) (* t a))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (- (* z z) (* t a))))
  (* z (sqrt (+ (* (* z z) (* z z)) (+ (* (* t a) (* t a)) (* (* z z) (* t a))))))
  (* z (sqrt (+ (* z z) (* t a))))
  (- (+ (* +nan.0 (* a t)) (- (* +nan.0 (pow z 2)))))
  (- z (* 1/2 (/ (* a t) z)))
  (- (* 1/2 (/ (* a t) z)) z)
  0
  (* x y)
  (* -1 (* x y))
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
  (- (+ (* +nan.0 (/ (* a t) z)) (- (* +nan.0 z))))
  (- 1 (* 1/2 (/ (* a t) (pow z 2))))
  (- (* 1/2 (/ (* a t) (pow z 2))) 1)
1.428 * * [simplify]: iteration  0 :  210  enodes  (cost  2654 )
1.463 * * [simplify]: iteration  1 :  533  enodes  (cost  2433 )
1.581 * * [simplify]: iteration  2 :  2014  enodes  (cost  2221 )
2.018 * * [simplify]: iteration  done :  5000  enodes  (cost  2221 )
2.019 * [simplify]: Simplified to:
   (log (sqrt (- (* z z) (* t a))))
  (exp (sqrt (- (* z z) (* t a))))
  (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a)))))
  (cbrt (sqrt (- (* z z) (* t a))))
  (pow (sqrt (- (* z z) (* t a))) 3)
  (fabs (cbrt (- (* z z) (* t a))))
  (sqrt (cbrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  1
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (pow z 6) (pow (* t a) 3)))
  (sqrt (+ (pow z 4) (* (* a t) (+ (* z z) (* t a)))))
  (sqrt (- (pow z 4) (* (* t a) (* t a))))
  (sqrt (+ (* z z) (* t a)))
  1/2
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (log (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (log (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (log (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (log (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (log (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (exp (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (pow (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)) 3)
  (pow (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)) 3)
  (pow (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)) 3)
  (pow (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)) 3)
  (* (cbrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))) (cbrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))))
  (cbrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (pow (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)) 3)
  (sqrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (sqrt (/ (* x y) (/ (sqrt (- (* z z) (* t a))) z)))
  (- (* x y))
  (- (/ (sqrt (- (* z z) (* t a))) z))
  (/ x (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ y (cbrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ x (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ y (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ x (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ x (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) z))
  (/ x (/ (fabs (cbrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) (cbrt z)))
  (* (/ x (fabs (cbrt (- (* z z) (* t a))))) (sqrt z))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (fabs (cbrt (- (* z z) (* t a)))))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) z))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (sqrt (sqrt (- (* z z) (* t a)))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (* x (* (cbrt z) (cbrt z)))
  (/ y (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (* x (sqrt z))
  (/ y (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  x
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ x (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ x (sqrt (sqrt (- (* z z) (* t a)))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (* x (* (cbrt z) (cbrt z)))
  (/ y (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (* x (sqrt z))
  (/ y (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  x
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  x
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ x (sqrt (- (* z z) (* t a))))
  (* y z)
  (/ 1 (/ (sqrt (- (* z z) (* t a))) z))
  (/ (/ (sqrt (- (* z z) (* t a))) z) (* x y))
  (/ (* x y) (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ (* x y) (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (* x y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ (* x y) (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))))
  (* (/ (* x y) (fabs (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))
  (* (/ (* x y) (fabs (cbrt (- (* z z) (* t a))))) (sqrt z))
  (/ (* x y) (fabs (cbrt (- (* z z) (* t a)))))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
  (* (* x y) (* (cbrt z) (cbrt z)))
  (* (* x y) (sqrt z))
  (* x y)
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (* x y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
  (* (* x y) (* (cbrt z) (cbrt z)))
  (* (* x y) (sqrt z))
  (* x y)
  (* x y)
  (/ (* x y) (sqrt (- (* z z) (* t a))))
  (/ (/ (sqrt (- (* z z) (* t a))) z) y)
  (/ (* x y) (sqrt (- (* z z) (* t a))))
  (exp (- (* z z) (* t a)))
  (log (- (* z z) (* t a)))
  (exp (- (* z z) (* t a)))
  (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))
  (cbrt (- (* z z) (* t a)))
  (pow (- (* z z) (* t a)) 3)
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (- (pow z 6) (pow (* t a) 3))
  (+ (pow z 4) (* (* a t) (+ (* z z) (* t a))))
  (- (* t a))
  (- (pow z 4) (* (* t a) (* t a)))
  (+ (* z z) (* t a))
  (- (* t a))
  (log (/ (sqrt (- (* z z) (* t a))) z))
  (log (/ (sqrt (- (* z z) (* t a))) z))
  (exp (/ (sqrt (- (* z z) (* t a))) z))
  (pow (/ (sqrt (- (* z z) (* t a))) z) 3)
  (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z)))
  (cbrt (/ (sqrt (- (* z z) (* t a))) z))
  (pow (/ (sqrt (- (* z z) (* t a))) z) 3)
  (sqrt (/ (sqrt (- (* z z) (* t a))) z))
  (sqrt (/ (sqrt (- (* z z) (* t a))) z))
  (- (sqrt (- (* z z) (* t a))))
  (- z)
  (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z))
  (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z))
  (/ (cbrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a)))))
  (/ (cbrt (sqrt (- (* z z) (* t a)))) z)
  (/ (fabs (cbrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (cbrt (- (* z z) (* t a)))) (cbrt z))
  (/ (fabs (cbrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (cbrt (- (* z z) (* t a)))) (sqrt z))
  (fabs (cbrt (- (* z z) (* t a))))
  (/ (sqrt (cbrt (- (* z z) (* t a)))) z)
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (sqrt (sqrt (- (* z z) (* t a))))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* z z) (* t a))) (cbrt z))
  (/ 1 (sqrt z))
  (/ (sqrt (- (* z z) (* t a))) (sqrt z))
  1
  (/ (sqrt (- (* z z) (* t a))) z)
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))
  (sqrt (sqrt (- (* z z) (* t a))))
  (/ (sqrt (sqrt (- (* z z) (* t a)))) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* z z) (* t a))) (cbrt z))
  (/ 1 (sqrt z))
  (/ (sqrt (- (* z z) (* t a))) (sqrt z))
  1
  (/ (sqrt (- (* z z) (* t a))) z)
  (/ 1 z)
  (/ z (sqrt (- (* z z) (* t a))))
  (/ (sqrt (- (* z z) (* t a))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* z z) (* t a))) (sqrt z))
  (sqrt (- (* z z) (* t a)))
  (/ z (cbrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (cbrt (- (* z z) (* t a)))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (- (* z z) (* t a))))
  (/ z (sqrt (sqrt (- (* z z) (* t a)))))
  (/ z (sqrt (- (* z z) (* t a))))
  (* (sqrt (+ (pow z 4) (* (* a t) (+ (* z z) (* t a))))) z)
  (* z (sqrt (+ (* z z) (* t a))))
  (- (* +nan.0 (- (* t a) (* z z))))
  (- z (* 1/2 (/ (* a t) z)))
  (- (* 1/2 (/ (* a t) z)) z)
  0
  (* x y)
  (- (* x y))
  (- (* z z) (* t a))
  (- (* z z) (* t a))
  (- (* z z) (* t a))
  (- (* +nan.0 (- (/ (* a t) z) z)))
  (- 1 (* 1/2 (/ (* a t) (pow z 2))))
  (- (* 1/2 (/ (* a t) (pow z 2))) 1)
2.020 * * * [progress]: adding candidates to table
2.373 * * [progress]: iteration 3 / 4
2.373 * * * [progress]: picking best candidate
2.389 * * * * [pick]: Picked  #<alt (λ (x y z t a) (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))))>
2.389 * * * [progress]: localizing error
2.400 * * * [progress]: generating rewritten candidates
2.400 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.404 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
2.406 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.443 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.465 * * * [progress]: generating series expansions
2.465 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.465 * [approximate]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in (z t a) around 0
2.465 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in a
2.465 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
2.465 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.465 * [taylor]: Taking taylor expansion of z in a
2.465 * [taylor]: Taking taylor expansion of (* t a) in a
2.465 * [taylor]: Taking taylor expansion of t in a
2.465 * [taylor]: Taking taylor expansion of a in a
2.466 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in t
2.466 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
2.467 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.467 * [taylor]: Taking taylor expansion of z in t
2.467 * [taylor]: Taking taylor expansion of (* t a) in t
2.467 * [taylor]: Taking taylor expansion of t in t
2.467 * [taylor]: Taking taylor expansion of a in t
2.467 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
2.468 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
2.468 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.468 * [taylor]: Taking taylor expansion of z in z
2.468 * [taylor]: Taking taylor expansion of (* t a) in z
2.468 * [taylor]: Taking taylor expansion of t in z
2.468 * [taylor]: Taking taylor expansion of a in z
2.468 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2) (* t a))) in z
2.468 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
2.468 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.468 * [taylor]: Taking taylor expansion of z in z
2.468 * [taylor]: Taking taylor expansion of (* t a) in z
2.468 * [taylor]: Taking taylor expansion of t in z
2.469 * [taylor]: Taking taylor expansion of a in z
2.469 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
2.469 * [taylor]: Taking taylor expansion of (- (* t a)) in t
2.469 * [taylor]: Taking taylor expansion of (* t a) in t
2.469 * [taylor]: Taking taylor expansion of t in t
2.469 * [taylor]: Taking taylor expansion of a in t
2.471 * [taylor]: Taking taylor expansion of 0 in a
2.471 * [taylor]: Taking taylor expansion of 0 in t
2.471 * [taylor]: Taking taylor expansion of 0 in a
2.471 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
2.471 * [taylor]: Taking taylor expansion of +nan.0 in a
2.471 * [taylor]: Taking taylor expansion of a in a
2.473 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (* t a)))) in t
2.473 * [taylor]: Taking taylor expansion of 1/2 in t
2.473 * [taylor]: Taking taylor expansion of (sqrt (- (* t a))) in t
2.473 * [taylor]: Taking taylor expansion of (- (* t a)) in t
2.473 * [taylor]: Taking taylor expansion of (* t a) in t
2.473 * [taylor]: Taking taylor expansion of t in t
2.473 * [taylor]: Taking taylor expansion of a in t
2.475 * [taylor]: Taking taylor expansion of (- +nan.0) in a
2.475 * [taylor]: Taking taylor expansion of +nan.0 in a
2.476 * [taylor]: Taking taylor expansion of 0 in a
2.477 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 2)) in a
2.477 * [taylor]: Taking taylor expansion of +nan.0 in a
2.477 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.478 * [taylor]: Taking taylor expansion of a in a
2.480 * [taylor]: Taking taylor expansion of 0 in t
2.480 * [taylor]: Taking taylor expansion of 0 in a
2.482 * [taylor]: Taking taylor expansion of (- (* +nan.0 a)) in a
2.482 * [taylor]: Taking taylor expansion of (* +nan.0 a) in a
2.482 * [taylor]: Taking taylor expansion of +nan.0 in a
2.482 * [taylor]: Taking taylor expansion of a in a
2.483 * [taylor]: Taking taylor expansion of 0 in a
2.484 * [taylor]: Taking taylor expansion of (* +nan.0 (pow a 3)) in a
2.485 * [taylor]: Taking taylor expansion of +nan.0 in a
2.485 * [taylor]: Taking taylor expansion of (pow a 3) in a
2.485 * [taylor]: Taking taylor expansion of a in a
2.486 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
2.486 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
2.486 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.486 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.486 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.486 * [taylor]: Taking taylor expansion of z in a
2.486 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.486 * [taylor]: Taking taylor expansion of (* t a) in a
2.486 * [taylor]: Taking taylor expansion of t in a
2.486 * [taylor]: Taking taylor expansion of a in a
2.487 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
2.487 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.487 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.487 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.487 * [taylor]: Taking taylor expansion of z in t
2.487 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.487 * [taylor]: Taking taylor expansion of (* t a) in t
2.487 * [taylor]: Taking taylor expansion of t in t
2.487 * [taylor]: Taking taylor expansion of a in t
2.488 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.488 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.488 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.488 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.488 * [taylor]: Taking taylor expansion of z in z
2.489 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.489 * [taylor]: Taking taylor expansion of (* t a) in z
2.489 * [taylor]: Taking taylor expansion of t in z
2.489 * [taylor]: Taking taylor expansion of a in z
2.497 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.497 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.497 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.497 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.497 * [taylor]: Taking taylor expansion of z in z
2.497 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.497 * [taylor]: Taking taylor expansion of (* t a) in z
2.497 * [taylor]: Taking taylor expansion of t in z
2.497 * [taylor]: Taking taylor expansion of a in z
2.499 * [taylor]: Taking taylor expansion of 1 in t
2.499 * [taylor]: Taking taylor expansion of 0 in t
2.500 * [taylor]: Taking taylor expansion of 1 in a
2.502 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
2.502 * [taylor]: Taking taylor expansion of -1/2 in t
2.502 * [taylor]: Taking taylor expansion of (* t a) in t
2.502 * [taylor]: Taking taylor expansion of t in t
2.502 * [taylor]: Taking taylor expansion of a in t
2.502 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
2.502 * [taylor]: Taking taylor expansion of -1/2 in a
2.502 * [taylor]: Taking taylor expansion of a in a
2.502 * [taylor]: Taking taylor expansion of 0 in a
2.502 * [taylor]: Taking taylor expansion of 0 in a
2.504 * [taylor]: Taking taylor expansion of 0 in t
2.505 * [taylor]: Taking taylor expansion of 0 in a
2.505 * [taylor]: Taking taylor expansion of 0 in a
2.505 * [taylor]: Taking taylor expansion of 0 in a
2.509 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
2.509 * [taylor]: Taking taylor expansion of -1/8 in t
2.509 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
2.509 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.509 * [taylor]: Taking taylor expansion of t in t
2.509 * [taylor]: Taking taylor expansion of (pow a 2) in t
2.509 * [taylor]: Taking taylor expansion of a in t
2.510 * [taylor]: Taking taylor expansion of 0 in a
2.510 * [taylor]: Taking taylor expansion of 0 in a
2.511 * [taylor]: Taking taylor expansion of 0 in a
2.511 * [taylor]: Taking taylor expansion of 0 in a
2.511 * [taylor]: Taking taylor expansion of 0 in a
2.512 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in (z t a) around 0
2.512 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
2.512 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.512 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.512 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.512 * [taylor]: Taking taylor expansion of z in a
2.512 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.512 * [taylor]: Taking taylor expansion of (* t a) in a
2.512 * [taylor]: Taking taylor expansion of t in a
2.512 * [taylor]: Taking taylor expansion of a in a
2.513 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
2.513 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.513 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.513 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.513 * [taylor]: Taking taylor expansion of z in t
2.513 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.513 * [taylor]: Taking taylor expansion of (* t a) in t
2.513 * [taylor]: Taking taylor expansion of t in t
2.513 * [taylor]: Taking taylor expansion of a in t
2.514 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.514 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.514 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.514 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.514 * [taylor]: Taking taylor expansion of z in z
2.515 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.515 * [taylor]: Taking taylor expansion of (* t a) in z
2.515 * [taylor]: Taking taylor expansion of t in z
2.515 * [taylor]: Taking taylor expansion of a in z
2.517 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.517 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.517 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.517 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.517 * [taylor]: Taking taylor expansion of z in z
2.517 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.517 * [taylor]: Taking taylor expansion of (* t a) in z
2.517 * [taylor]: Taking taylor expansion of t in z
2.518 * [taylor]: Taking taylor expansion of a in z
2.520 * [taylor]: Taking taylor expansion of 1 in t
2.520 * [taylor]: Taking taylor expansion of 0 in t
2.520 * [taylor]: Taking taylor expansion of 1 in a
2.522 * [taylor]: Taking taylor expansion of (/ -1/2 (* t a)) in t
2.522 * [taylor]: Taking taylor expansion of -1/2 in t
2.522 * [taylor]: Taking taylor expansion of (* t a) in t
2.522 * [taylor]: Taking taylor expansion of t in t
2.522 * [taylor]: Taking taylor expansion of a in t
2.522 * [taylor]: Taking taylor expansion of (/ -1/2 a) in a
2.522 * [taylor]: Taking taylor expansion of -1/2 in a
2.522 * [taylor]: Taking taylor expansion of a in a
2.522 * [taylor]: Taking taylor expansion of 0 in a
2.522 * [taylor]: Taking taylor expansion of 0 in a
2.524 * [taylor]: Taking taylor expansion of 0 in t
2.525 * [taylor]: Taking taylor expansion of 0 in a
2.525 * [taylor]: Taking taylor expansion of 0 in a
2.525 * [taylor]: Taking taylor expansion of 0 in a
2.528 * [taylor]: Taking taylor expansion of (/ -1/8 (* (pow t 2) (pow a 2))) in t
2.529 * [taylor]: Taking taylor expansion of -1/8 in t
2.529 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow a 2)) in t
2.529 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.529 * [taylor]: Taking taylor expansion of t in t
2.529 * [taylor]: Taking taylor expansion of (pow a 2) in t
2.529 * [taylor]: Taking taylor expansion of a in t
2.530 * [taylor]: Taking taylor expansion of 0 in a
2.530 * [taylor]: Taking taylor expansion of 0 in a
2.531 * [taylor]: Taking taylor expansion of 0 in a
2.531 * [taylor]: Taking taylor expansion of 0 in a
2.531 * [taylor]: Taking taylor expansion of 0 in a
2.531 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
2.532 * [approximate]: Taking taylor expansion of (- (pow z 2) (* t a)) in (z t a) around 0
2.532 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
2.532 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.532 * [taylor]: Taking taylor expansion of z in a
2.532 * [taylor]: Taking taylor expansion of (* t a) in a
2.532 * [taylor]: Taking taylor expansion of t in a
2.532 * [taylor]: Taking taylor expansion of a in a
2.532 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
2.532 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.532 * [taylor]: Taking taylor expansion of z in t
2.532 * [taylor]: Taking taylor expansion of (* t a) in t
2.532 * [taylor]: Taking taylor expansion of t in t
2.532 * [taylor]: Taking taylor expansion of a in t
2.532 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
2.532 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.532 * [taylor]: Taking taylor expansion of z in z
2.532 * [taylor]: Taking taylor expansion of (* t a) in z
2.532 * [taylor]: Taking taylor expansion of t in z
2.532 * [taylor]: Taking taylor expansion of a in z
2.532 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
2.532 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.532 * [taylor]: Taking taylor expansion of z in z
2.532 * [taylor]: Taking taylor expansion of (* t a) in z
2.532 * [taylor]: Taking taylor expansion of t in z
2.532 * [taylor]: Taking taylor expansion of a in z
2.532 * [taylor]: Taking taylor expansion of (- (* t a)) in t
2.532 * [taylor]: Taking taylor expansion of (* t a) in t
2.532 * [taylor]: Taking taylor expansion of t in t
2.532 * [taylor]: Taking taylor expansion of a in t
2.532 * [taylor]: Taking taylor expansion of 0 in a
2.533 * [taylor]: Taking taylor expansion of 0 in t
2.533 * [taylor]: Taking taylor expansion of 0 in a
2.533 * [taylor]: Taking taylor expansion of (- a) in a
2.533 * [taylor]: Taking taylor expansion of a in a
2.535 * [taylor]: Taking taylor expansion of 1 in t
2.535 * [taylor]: Taking taylor expansion of 1 in a
2.535 * [taylor]: Taking taylor expansion of 0 in a
2.535 * [taylor]: Taking taylor expansion of 0 in a
2.537 * [taylor]: Taking taylor expansion of 0 in t
2.537 * [taylor]: Taking taylor expansion of 0 in a
2.537 * [taylor]: Taking taylor expansion of 0 in a
2.537 * [taylor]: Taking taylor expansion of 0 in a
2.538 * [taylor]: Taking taylor expansion of 0 in a
2.539 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
2.539 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.539 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.539 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.539 * [taylor]: Taking taylor expansion of z in a
2.539 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.539 * [taylor]: Taking taylor expansion of (* t a) in a
2.539 * [taylor]: Taking taylor expansion of t in a
2.539 * [taylor]: Taking taylor expansion of a in a
2.539 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.539 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.539 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.539 * [taylor]: Taking taylor expansion of z in t
2.539 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.539 * [taylor]: Taking taylor expansion of (* t a) in t
2.539 * [taylor]: Taking taylor expansion of t in t
2.539 * [taylor]: Taking taylor expansion of a in t
2.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.540 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.540 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.540 * [taylor]: Taking taylor expansion of z in z
2.540 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.540 * [taylor]: Taking taylor expansion of (* t a) in z
2.540 * [taylor]: Taking taylor expansion of t in z
2.540 * [taylor]: Taking taylor expansion of a in z
2.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.540 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.540 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.540 * [taylor]: Taking taylor expansion of z in z
2.541 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.541 * [taylor]: Taking taylor expansion of (* t a) in z
2.541 * [taylor]: Taking taylor expansion of t in z
2.541 * [taylor]: Taking taylor expansion of a in z
2.541 * [taylor]: Taking taylor expansion of 1 in t
2.542 * [taylor]: Taking taylor expansion of 0 in t
2.542 * [taylor]: Taking taylor expansion of 1 in a
2.544 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t
2.544 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.544 * [taylor]: Taking taylor expansion of (* t a) in t
2.544 * [taylor]: Taking taylor expansion of t in t
2.544 * [taylor]: Taking taylor expansion of a in t
2.544 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
2.544 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.544 * [taylor]: Taking taylor expansion of a in a
2.545 * [taylor]: Taking taylor expansion of 0 in a
2.545 * [taylor]: Taking taylor expansion of 0 in a
2.547 * [taylor]: Taking taylor expansion of 0 in t
2.547 * [taylor]: Taking taylor expansion of 0 in a
2.547 * [taylor]: Taking taylor expansion of 0 in a
2.547 * [taylor]: Taking taylor expansion of 0 in a
2.550 * [taylor]: Taking taylor expansion of 0 in t
2.550 * [taylor]: Taking taylor expansion of 0 in a
2.551 * [taylor]: Taking taylor expansion of 0 in a
2.551 * [taylor]: Taking taylor expansion of 0 in a
2.551 * [taylor]: Taking taylor expansion of 0 in a
2.552 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in (z t a) around 0
2.552 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.552 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.552 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.552 * [taylor]: Taking taylor expansion of z in a
2.552 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.552 * [taylor]: Taking taylor expansion of (* t a) in a
2.552 * [taylor]: Taking taylor expansion of t in a
2.552 * [taylor]: Taking taylor expansion of a in a
2.552 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.552 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.552 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.553 * [taylor]: Taking taylor expansion of z in t
2.553 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.553 * [taylor]: Taking taylor expansion of (* t a) in t
2.553 * [taylor]: Taking taylor expansion of t in t
2.553 * [taylor]: Taking taylor expansion of a in t
2.553 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.553 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.553 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.553 * [taylor]: Taking taylor expansion of z in z
2.554 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.554 * [taylor]: Taking taylor expansion of (* t a) in z
2.554 * [taylor]: Taking taylor expansion of t in z
2.554 * [taylor]: Taking taylor expansion of a in z
2.554 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.554 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.554 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.554 * [taylor]: Taking taylor expansion of z in z
2.554 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.554 * [taylor]: Taking taylor expansion of (* t a) in z
2.554 * [taylor]: Taking taylor expansion of t in z
2.554 * [taylor]: Taking taylor expansion of a in z
2.555 * [taylor]: Taking taylor expansion of 1 in t
2.556 * [taylor]: Taking taylor expansion of 0 in t
2.556 * [taylor]: Taking taylor expansion of 1 in a
2.557 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t
2.557 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.557 * [taylor]: Taking taylor expansion of (* t a) in t
2.557 * [taylor]: Taking taylor expansion of t in t
2.557 * [taylor]: Taking taylor expansion of a in t
2.558 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
2.558 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.558 * [taylor]: Taking taylor expansion of a in a
2.558 * [taylor]: Taking taylor expansion of 0 in a
2.558 * [taylor]: Taking taylor expansion of 0 in a
2.560 * [taylor]: Taking taylor expansion of 0 in t
2.561 * [taylor]: Taking taylor expansion of 0 in a
2.561 * [taylor]: Taking taylor expansion of 0 in a
2.561 * [taylor]: Taking taylor expansion of 0 in a
2.564 * [taylor]: Taking taylor expansion of 0 in t
2.564 * [taylor]: Taking taylor expansion of 0 in a
2.565 * [taylor]: Taking taylor expansion of 0 in a
2.565 * [taylor]: Taking taylor expansion of 0 in a
2.565 * [taylor]: Taking taylor expansion of 0 in a
2.565 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.566 * [approximate]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in (x y z t a) around 0
2.566 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in a
2.566 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
2.566 * [taylor]: Taking taylor expansion of x in a
2.566 * [taylor]: Taking taylor expansion of (* z y) in a
2.566 * [taylor]: Taking taylor expansion of z in a
2.566 * [taylor]: Taking taylor expansion of y in a
2.566 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in a
2.566 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in a
2.566 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
2.566 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.566 * [taylor]: Taking taylor expansion of z in a
2.566 * [taylor]: Taking taylor expansion of (* t a) in a
2.566 * [taylor]: Taking taylor expansion of t in a
2.566 * [taylor]: Taking taylor expansion of a in a
2.567 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in t
2.567 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.567 * [taylor]: Taking taylor expansion of x in t
2.567 * [taylor]: Taking taylor expansion of (* z y) in t
2.567 * [taylor]: Taking taylor expansion of z in t
2.567 * [taylor]: Taking taylor expansion of y in t
2.567 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in t
2.567 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in t
2.567 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
2.567 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.567 * [taylor]: Taking taylor expansion of z in t
2.567 * [taylor]: Taking taylor expansion of (* t a) in t
2.567 * [taylor]: Taking taylor expansion of t in t
2.567 * [taylor]: Taking taylor expansion of a in t
2.568 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in z
2.568 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.568 * [taylor]: Taking taylor expansion of x in z
2.568 * [taylor]: Taking taylor expansion of (* z y) in z
2.568 * [taylor]: Taking taylor expansion of z in z
2.568 * [taylor]: Taking taylor expansion of y in z
2.569 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in z
2.569 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in z
2.569 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
2.569 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.569 * [taylor]: Taking taylor expansion of z in z
2.569 * [taylor]: Taking taylor expansion of (* t a) in z
2.569 * [taylor]: Taking taylor expansion of t in z
2.569 * [taylor]: Taking taylor expansion of a in z
2.569 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
2.570 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.570 * [taylor]: Taking taylor expansion of x in y
2.570 * [taylor]: Taking taylor expansion of (* z y) in y
2.570 * [taylor]: Taking taylor expansion of z in y
2.570 * [taylor]: Taking taylor expansion of y in y
2.570 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
2.570 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
2.570 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
2.570 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.570 * [taylor]: Taking taylor expansion of z in y
2.570 * [taylor]: Taking taylor expansion of (* t a) in y
2.570 * [taylor]: Taking taylor expansion of t in y
2.570 * [taylor]: Taking taylor expansion of a in y
2.571 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
2.571 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.571 * [taylor]: Taking taylor expansion of x in x
2.571 * [taylor]: Taking taylor expansion of (* z y) in x
2.571 * [taylor]: Taking taylor expansion of z in x
2.571 * [taylor]: Taking taylor expansion of y in x
2.571 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
2.571 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
2.571 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
2.571 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.571 * [taylor]: Taking taylor expansion of z in x
2.571 * [taylor]: Taking taylor expansion of (* t a) in x
2.571 * [taylor]: Taking taylor expansion of t in x
2.571 * [taylor]: Taking taylor expansion of a in x
2.573 * [taylor]: Taking taylor expansion of (* (* x (* z y)) (sqrt (/ 1 (- (pow z 2) (* t a))))) in x
2.573 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.573 * [taylor]: Taking taylor expansion of x in x
2.573 * [taylor]: Taking taylor expansion of (* z y) in x
2.573 * [taylor]: Taking taylor expansion of z in x
2.573 * [taylor]: Taking taylor expansion of y in x
2.573 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in x
2.573 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in x
2.573 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in x
2.573 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.573 * [taylor]: Taking taylor expansion of z in x
2.573 * [taylor]: Taking taylor expansion of (* t a) in x
2.573 * [taylor]: Taking taylor expansion of t in x
2.573 * [taylor]: Taking taylor expansion of a in x
2.574 * [taylor]: Taking taylor expansion of 0 in y
2.574 * [taylor]: Taking taylor expansion of 0 in z
2.574 * [taylor]: Taking taylor expansion of 0 in t
2.574 * [taylor]: Taking taylor expansion of 0 in a
2.575 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
2.575 * [taylor]: Taking taylor expansion of (* z y) in y
2.575 * [taylor]: Taking taylor expansion of z in y
2.575 * [taylor]: Taking taylor expansion of y in y
2.575 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
2.575 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
2.575 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
2.575 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.575 * [taylor]: Taking taylor expansion of z in y
2.575 * [taylor]: Taking taylor expansion of (* t a) in y
2.575 * [taylor]: Taking taylor expansion of t in y
2.575 * [taylor]: Taking taylor expansion of a in y
2.577 * [taylor]: Taking taylor expansion of 0 in z
2.577 * [taylor]: Taking taylor expansion of 0 in t
2.577 * [taylor]: Taking taylor expansion of 0 in a
2.577 * [taylor]: Taking taylor expansion of 0 in z
2.577 * [taylor]: Taking taylor expansion of 0 in t
2.577 * [taylor]: Taking taylor expansion of 0 in a
2.577 * [taylor]: Taking taylor expansion of 0 in t
2.577 * [taylor]: Taking taylor expansion of 0 in a
2.577 * [taylor]: Taking taylor expansion of 0 in a
2.577 * [approximate]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in (x y z t a) around 0
2.577 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
2.577 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
2.577 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
2.577 * [taylor]: Taking taylor expansion of x in a
2.577 * [taylor]: Taking taylor expansion of (* z y) in a
2.577 * [taylor]: Taking taylor expansion of z in a
2.577 * [taylor]: Taking taylor expansion of y in a
2.578 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
2.578 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
2.578 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.578 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.578 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.578 * [taylor]: Taking taylor expansion of z in a
2.578 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.578 * [taylor]: Taking taylor expansion of (* t a) in a
2.578 * [taylor]: Taking taylor expansion of t in a
2.578 * [taylor]: Taking taylor expansion of a in a
2.579 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
2.579 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
2.579 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.579 * [taylor]: Taking taylor expansion of x in t
2.579 * [taylor]: Taking taylor expansion of (* z y) in t
2.579 * [taylor]: Taking taylor expansion of z in t
2.579 * [taylor]: Taking taylor expansion of y in t
2.579 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
2.579 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
2.579 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.579 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.579 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.579 * [taylor]: Taking taylor expansion of z in t
2.579 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.579 * [taylor]: Taking taylor expansion of (* t a) in t
2.579 * [taylor]: Taking taylor expansion of t in t
2.579 * [taylor]: Taking taylor expansion of a in t
2.580 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
2.580 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
2.580 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.580 * [taylor]: Taking taylor expansion of x in z
2.580 * [taylor]: Taking taylor expansion of (* z y) in z
2.580 * [taylor]: Taking taylor expansion of z in z
2.580 * [taylor]: Taking taylor expansion of y in z
2.581 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.581 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.581 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.581 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.581 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.581 * [taylor]: Taking taylor expansion of z in z
2.581 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.582 * [taylor]: Taking taylor expansion of (* t a) in z
2.582 * [taylor]: Taking taylor expansion of t in z
2.582 * [taylor]: Taking taylor expansion of a in z
2.584 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
2.584 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
2.584 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.584 * [taylor]: Taking taylor expansion of x in y
2.584 * [taylor]: Taking taylor expansion of (* z y) in y
2.584 * [taylor]: Taking taylor expansion of z in y
2.584 * [taylor]: Taking taylor expansion of y in y
2.590 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.590 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.590 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.590 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.590 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.590 * [taylor]: Taking taylor expansion of z in y
2.590 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.590 * [taylor]: Taking taylor expansion of (* t a) in y
2.590 * [taylor]: Taking taylor expansion of t in y
2.590 * [taylor]: Taking taylor expansion of a in y
2.592 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
2.592 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.592 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.592 * [taylor]: Taking taylor expansion of x in x
2.592 * [taylor]: Taking taylor expansion of (* z y) in x
2.592 * [taylor]: Taking taylor expansion of z in x
2.592 * [taylor]: Taking taylor expansion of y in x
2.592 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
2.592 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
2.592 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
2.593 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.593 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.593 * [taylor]: Taking taylor expansion of z in x
2.593 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.593 * [taylor]: Taking taylor expansion of (* t a) in x
2.593 * [taylor]: Taking taylor expansion of t in x
2.593 * [taylor]: Taking taylor expansion of a in x
2.594 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
2.594 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.594 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.594 * [taylor]: Taking taylor expansion of x in x
2.595 * [taylor]: Taking taylor expansion of (* z y) in x
2.595 * [taylor]: Taking taylor expansion of z in x
2.595 * [taylor]: Taking taylor expansion of y in x
2.595 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
2.595 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
2.595 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
2.595 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.595 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.595 * [taylor]: Taking taylor expansion of z in x
2.595 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.595 * [taylor]: Taking taylor expansion of (* t a) in x
2.595 * [taylor]: Taking taylor expansion of t in x
2.595 * [taylor]: Taking taylor expansion of a in x
2.597 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
2.597 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.597 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.597 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.597 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.597 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.597 * [taylor]: Taking taylor expansion of z in y
2.597 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.597 * [taylor]: Taking taylor expansion of (* t a) in y
2.597 * [taylor]: Taking taylor expansion of t in y
2.597 * [taylor]: Taking taylor expansion of a in y
2.599 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.599 * [taylor]: Taking taylor expansion of (* z y) in y
2.599 * [taylor]: Taking taylor expansion of z in y
2.599 * [taylor]: Taking taylor expansion of y in y
2.600 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
2.600 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.600 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.600 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.600 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.600 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.600 * [taylor]: Taking taylor expansion of z in z
2.600 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.600 * [taylor]: Taking taylor expansion of (* t a) in z
2.600 * [taylor]: Taking taylor expansion of t in z
2.600 * [taylor]: Taking taylor expansion of a in z
2.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.603 * [taylor]: Taking taylor expansion of z in z
2.603 * [taylor]: Taking taylor expansion of 1 in t
2.603 * [taylor]: Taking taylor expansion of 1 in a
2.605 * [taylor]: Taking taylor expansion of 0 in y
2.605 * [taylor]: Taking taylor expansion of 0 in z
2.605 * [taylor]: Taking taylor expansion of 0 in t
2.605 * [taylor]: Taking taylor expansion of 0 in a
2.606 * [taylor]: Taking taylor expansion of 0 in t
2.606 * [taylor]: Taking taylor expansion of 0 in a
2.606 * [taylor]: Taking taylor expansion of 0 in a
2.611 * [taylor]: Taking taylor expansion of 0 in y
2.611 * [taylor]: Taking taylor expansion of 0 in z
2.611 * [taylor]: Taking taylor expansion of 0 in t
2.611 * [taylor]: Taking taylor expansion of 0 in a
2.614 * [taylor]: Taking taylor expansion of 0 in z
2.614 * [taylor]: Taking taylor expansion of 0 in t
2.614 * [taylor]: Taking taylor expansion of 0 in a
2.615 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in (x y z t a) around 0
2.615 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in a
2.615 * [taylor]: Taking taylor expansion of -1 in a
2.615 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in a
2.615 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
2.615 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
2.615 * [taylor]: Taking taylor expansion of x in a
2.615 * [taylor]: Taking taylor expansion of (* z y) in a
2.615 * [taylor]: Taking taylor expansion of z in a
2.615 * [taylor]: Taking taylor expansion of y in a
2.615 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
2.615 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
2.615 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.615 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.615 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.615 * [taylor]: Taking taylor expansion of z in a
2.615 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.615 * [taylor]: Taking taylor expansion of (* t a) in a
2.615 * [taylor]: Taking taylor expansion of t in a
2.615 * [taylor]: Taking taylor expansion of a in a
2.616 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in t
2.616 * [taylor]: Taking taylor expansion of -1 in t
2.616 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in t
2.616 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
2.616 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.617 * [taylor]: Taking taylor expansion of x in t
2.617 * [taylor]: Taking taylor expansion of (* z y) in t
2.617 * [taylor]: Taking taylor expansion of z in t
2.617 * [taylor]: Taking taylor expansion of y in t
2.617 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
2.617 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
2.617 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.617 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.617 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.617 * [taylor]: Taking taylor expansion of z in t
2.617 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.617 * [taylor]: Taking taylor expansion of (* t a) in t
2.617 * [taylor]: Taking taylor expansion of t in t
2.617 * [taylor]: Taking taylor expansion of a in t
2.618 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in z
2.618 * [taylor]: Taking taylor expansion of -1 in z
2.618 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in z
2.618 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
2.618 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.618 * [taylor]: Taking taylor expansion of x in z
2.618 * [taylor]: Taking taylor expansion of (* z y) in z
2.618 * [taylor]: Taking taylor expansion of z in z
2.618 * [taylor]: Taking taylor expansion of y in z
2.619 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.619 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.619 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.619 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.619 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.619 * [taylor]: Taking taylor expansion of z in z
2.619 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.619 * [taylor]: Taking taylor expansion of (* t a) in z
2.619 * [taylor]: Taking taylor expansion of t in z
2.619 * [taylor]: Taking taylor expansion of a in z
2.622 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in y
2.622 * [taylor]: Taking taylor expansion of -1 in y
2.622 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in y
2.622 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
2.622 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.622 * [taylor]: Taking taylor expansion of x in y
2.622 * [taylor]: Taking taylor expansion of (* z y) in y
2.622 * [taylor]: Taking taylor expansion of z in y
2.622 * [taylor]: Taking taylor expansion of y in y
2.623 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.623 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.623 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.623 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.623 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.623 * [taylor]: Taking taylor expansion of z in y
2.623 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.623 * [taylor]: Taking taylor expansion of (* t a) in y
2.623 * [taylor]: Taking taylor expansion of t in y
2.623 * [taylor]: Taking taylor expansion of a in y
2.625 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
2.625 * [taylor]: Taking taylor expansion of -1 in x
2.625 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
2.625 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.625 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.625 * [taylor]: Taking taylor expansion of x in x
2.625 * [taylor]: Taking taylor expansion of (* z y) in x
2.625 * [taylor]: Taking taylor expansion of z in x
2.625 * [taylor]: Taking taylor expansion of y in x
2.625 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
2.625 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
2.625 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
2.625 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.625 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.626 * [taylor]: Taking taylor expansion of z in x
2.626 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.626 * [taylor]: Taking taylor expansion of (* t a) in x
2.626 * [taylor]: Taking taylor expansion of t in x
2.626 * [taylor]: Taking taylor expansion of a in x
2.627 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))))) in x
2.627 * [taylor]: Taking taylor expansion of -1 in x
2.627 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (* z y))) (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))))) in x
2.627 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.627 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.627 * [taylor]: Taking taylor expansion of x in x
2.627 * [taylor]: Taking taylor expansion of (* z y) in x
2.627 * [taylor]: Taking taylor expansion of z in x
2.627 * [taylor]: Taking taylor expansion of y in x
2.628 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in x
2.628 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.628 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.628 * [taylor]: Taking taylor expansion of z in x
2.628 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
2.628 * [taylor]: Taking taylor expansion of (* t a) in x
2.628 * [taylor]: Taking taylor expansion of t in x
2.628 * [taylor]: Taking taylor expansion of a in x
2.630 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y)))) in y
2.630 * [taylor]: Taking taylor expansion of -1 in y
2.630 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
2.630 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.630 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.630 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.630 * [taylor]: Taking taylor expansion of z in y
2.631 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.631 * [taylor]: Taking taylor expansion of (* t a) in y
2.631 * [taylor]: Taking taylor expansion of t in y
2.631 * [taylor]: Taking taylor expansion of a in y
2.632 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.632 * [taylor]: Taking taylor expansion of (* z y) in y
2.632 * [taylor]: Taking taylor expansion of z in y
2.632 * [taylor]: Taking taylor expansion of y in y
2.633 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z))) in z
2.633 * [taylor]: Taking taylor expansion of -1 in z
2.633 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
2.633 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.633 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.633 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.633 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.633 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.633 * [taylor]: Taking taylor expansion of z in z
2.634 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.634 * [taylor]: Taking taylor expansion of (* t a) in z
2.634 * [taylor]: Taking taylor expansion of t in z
2.634 * [taylor]: Taking taylor expansion of a in z
2.637 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.637 * [taylor]: Taking taylor expansion of z in z
2.637 * [taylor]: Taking taylor expansion of -1 in t
2.637 * [taylor]: Taking taylor expansion of -1 in a
2.639 * [taylor]: Taking taylor expansion of 0 in y
2.640 * [taylor]: Taking taylor expansion of 0 in z
2.641 * [taylor]: Taking taylor expansion of 0 in t
2.641 * [taylor]: Taking taylor expansion of 0 in a
2.642 * [taylor]: Taking taylor expansion of 0 in t
2.642 * [taylor]: Taking taylor expansion of 0 in a
2.642 * [taylor]: Taking taylor expansion of 0 in a
2.647 * [taylor]: Taking taylor expansion of 0 in y
2.647 * [taylor]: Taking taylor expansion of 0 in z
2.647 * [taylor]: Taking taylor expansion of 0 in t
2.647 * [taylor]: Taking taylor expansion of 0 in a
2.651 * [taylor]: Taking taylor expansion of 0 in z
2.651 * [taylor]: Taking taylor expansion of 0 in t
2.651 * [taylor]: Taking taylor expansion of 0 in a
2.651 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.651 * [approximate]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in (y z t a) around 0
2.652 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in a
2.652 * [taylor]: Taking taylor expansion of (* z y) in a
2.652 * [taylor]: Taking taylor expansion of z in a
2.652 * [taylor]: Taking taylor expansion of y in a
2.652 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in a
2.652 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in a
2.652 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in a
2.652 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.652 * [taylor]: Taking taylor expansion of z in a
2.652 * [taylor]: Taking taylor expansion of (* t a) in a
2.652 * [taylor]: Taking taylor expansion of t in a
2.652 * [taylor]: Taking taylor expansion of a in a
2.653 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in t
2.653 * [taylor]: Taking taylor expansion of (* z y) in t
2.653 * [taylor]: Taking taylor expansion of z in t
2.653 * [taylor]: Taking taylor expansion of y in t
2.653 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in t
2.653 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in t
2.653 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in t
2.653 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.653 * [taylor]: Taking taylor expansion of z in t
2.653 * [taylor]: Taking taylor expansion of (* t a) in t
2.653 * [taylor]: Taking taylor expansion of t in t
2.653 * [taylor]: Taking taylor expansion of a in t
2.654 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in z
2.654 * [taylor]: Taking taylor expansion of (* z y) in z
2.654 * [taylor]: Taking taylor expansion of z in z
2.654 * [taylor]: Taking taylor expansion of y in z
2.654 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in z
2.654 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in z
2.654 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
2.654 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.654 * [taylor]: Taking taylor expansion of z in z
2.654 * [taylor]: Taking taylor expansion of (* t a) in z
2.654 * [taylor]: Taking taylor expansion of t in z
2.654 * [taylor]: Taking taylor expansion of a in z
2.655 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
2.655 * [taylor]: Taking taylor expansion of (* z y) in y
2.655 * [taylor]: Taking taylor expansion of z in y
2.655 * [taylor]: Taking taylor expansion of y in y
2.655 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
2.655 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
2.655 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
2.655 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.655 * [taylor]: Taking taylor expansion of z in y
2.655 * [taylor]: Taking taylor expansion of (* t a) in y
2.655 * [taylor]: Taking taylor expansion of t in y
2.655 * [taylor]: Taking taylor expansion of a in y
2.657 * [taylor]: Taking taylor expansion of (* (* z y) (sqrt (/ 1 (- (pow z 2) (* t a))))) in y
2.657 * [taylor]: Taking taylor expansion of (* z y) in y
2.657 * [taylor]: Taking taylor expansion of z in y
2.657 * [taylor]: Taking taylor expansion of y in y
2.657 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in y
2.657 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in y
2.657 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in y
2.657 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.657 * [taylor]: Taking taylor expansion of z in y
2.657 * [taylor]: Taking taylor expansion of (* t a) in y
2.657 * [taylor]: Taking taylor expansion of t in y
2.657 * [taylor]: Taking taylor expansion of a in y
2.659 * [taylor]: Taking taylor expansion of 0 in z
2.659 * [taylor]: Taking taylor expansion of 0 in t
2.659 * [taylor]: Taking taylor expansion of 0 in a
2.659 * [taylor]: Taking taylor expansion of (* z (sqrt (/ 1 (- (pow z 2) (* t a))))) in z
2.659 * [taylor]: Taking taylor expansion of z in z
2.659 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (pow z 2) (* t a)))) in z
2.659 * [taylor]: Taking taylor expansion of (/ 1 (- (pow z 2) (* t a))) in z
2.659 * [taylor]: Taking taylor expansion of (- (pow z 2) (* t a)) in z
2.659 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.660 * [taylor]: Taking taylor expansion of z in z
2.660 * [taylor]: Taking taylor expansion of (* t a) in z
2.660 * [taylor]: Taking taylor expansion of t in z
2.660 * [taylor]: Taking taylor expansion of a in z
2.660 * [taylor]: Taking taylor expansion of 0 in t
2.660 * [taylor]: Taking taylor expansion of 0 in a
2.661 * [taylor]: Taking taylor expansion of 0 in t
2.661 * [taylor]: Taking taylor expansion of 0 in a
2.661 * [taylor]: Taking taylor expansion of 0 in a
2.663 * [taylor]: Taking taylor expansion of 0 in z
2.663 * [taylor]: Taking taylor expansion of 0 in t
2.663 * [taylor]: Taking taylor expansion of 0 in a
2.664 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in (y z t a) around 0
2.664 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in a
2.664 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
2.664 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
2.664 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.664 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.664 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.664 * [taylor]: Taking taylor expansion of z in a
2.664 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.664 * [taylor]: Taking taylor expansion of (* t a) in a
2.664 * [taylor]: Taking taylor expansion of t in a
2.664 * [taylor]: Taking taylor expansion of a in a
2.665 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.665 * [taylor]: Taking taylor expansion of (* z y) in a
2.665 * [taylor]: Taking taylor expansion of z in a
2.665 * [taylor]: Taking taylor expansion of y in a
2.665 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in t
2.665 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
2.665 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
2.665 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.665 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.665 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.665 * [taylor]: Taking taylor expansion of z in t
2.665 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.665 * [taylor]: Taking taylor expansion of (* t a) in t
2.665 * [taylor]: Taking taylor expansion of t in t
2.665 * [taylor]: Taking taylor expansion of a in t
2.666 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.666 * [taylor]: Taking taylor expansion of (* z y) in t
2.666 * [taylor]: Taking taylor expansion of z in t
2.666 * [taylor]: Taking taylor expansion of y in t
2.666 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in z
2.666 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.667 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.667 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.667 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.667 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.667 * [taylor]: Taking taylor expansion of z in z
2.667 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.667 * [taylor]: Taking taylor expansion of (* t a) in z
2.667 * [taylor]: Taking taylor expansion of t in z
2.667 * [taylor]: Taking taylor expansion of a in z
2.670 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.670 * [taylor]: Taking taylor expansion of (* z y) in z
2.670 * [taylor]: Taking taylor expansion of z in z
2.670 * [taylor]: Taking taylor expansion of y in z
2.670 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
2.670 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.670 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.670 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.670 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.670 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.670 * [taylor]: Taking taylor expansion of z in y
2.670 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.670 * [taylor]: Taking taylor expansion of (* t a) in y
2.670 * [taylor]: Taking taylor expansion of t in y
2.670 * [taylor]: Taking taylor expansion of a in y
2.672 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.672 * [taylor]: Taking taylor expansion of (* z y) in y
2.672 * [taylor]: Taking taylor expansion of z in y
2.672 * [taylor]: Taking taylor expansion of y in y
2.672 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
2.673 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.673 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.673 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.673 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.673 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.673 * [taylor]: Taking taylor expansion of z in y
2.673 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.673 * [taylor]: Taking taylor expansion of (* t a) in y
2.673 * [taylor]: Taking taylor expansion of t in y
2.673 * [taylor]: Taking taylor expansion of a in y
2.674 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.674 * [taylor]: Taking taylor expansion of (* z y) in y
2.674 * [taylor]: Taking taylor expansion of z in y
2.675 * [taylor]: Taking taylor expansion of y in y
2.675 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
2.675 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.675 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.675 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.675 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.675 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.675 * [taylor]: Taking taylor expansion of z in z
2.676 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.676 * [taylor]: Taking taylor expansion of (* t a) in z
2.676 * [taylor]: Taking taylor expansion of t in z
2.676 * [taylor]: Taking taylor expansion of a in z
2.683 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.683 * [taylor]: Taking taylor expansion of z in z
2.683 * [taylor]: Taking taylor expansion of 1 in t
2.683 * [taylor]: Taking taylor expansion of 1 in a
2.684 * [taylor]: Taking taylor expansion of 0 in z
2.684 * [taylor]: Taking taylor expansion of 0 in t
2.684 * [taylor]: Taking taylor expansion of 0 in a
2.685 * [taylor]: Taking taylor expansion of 0 in t
2.685 * [taylor]: Taking taylor expansion of 0 in a
2.685 * [taylor]: Taking taylor expansion of 0 in a
2.689 * [taylor]: Taking taylor expansion of 0 in z
2.689 * [taylor]: Taking taylor expansion of 0 in t
2.689 * [taylor]: Taking taylor expansion of 0 in a
2.689 * [taylor]: Taking taylor expansion of 0 in t
2.689 * [taylor]: Taking taylor expansion of 0 in a
2.689 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in (y z t a) around 0
2.690 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in a
2.690 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in a
2.690 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in a
2.690 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in a
2.690 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in a
2.690 * [taylor]: Taking taylor expansion of (pow z 2) in a
2.690 * [taylor]: Taking taylor expansion of z in a
2.690 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.690 * [taylor]: Taking taylor expansion of (* t a) in a
2.690 * [taylor]: Taking taylor expansion of t in a
2.690 * [taylor]: Taking taylor expansion of a in a
2.691 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
2.691 * [taylor]: Taking taylor expansion of (* z y) in a
2.691 * [taylor]: Taking taylor expansion of z in a
2.691 * [taylor]: Taking taylor expansion of y in a
2.691 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in t
2.691 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in t
2.691 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in t
2.691 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in t
2.691 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.691 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.691 * [taylor]: Taking taylor expansion of z in t
2.691 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
2.691 * [taylor]: Taking taylor expansion of (* t a) in t
2.691 * [taylor]: Taking taylor expansion of t in t
2.691 * [taylor]: Taking taylor expansion of a in t
2.692 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
2.692 * [taylor]: Taking taylor expansion of (* z y) in t
2.692 * [taylor]: Taking taylor expansion of z in t
2.692 * [taylor]: Taking taylor expansion of y in t
2.692 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in z
2.692 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.692 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.692 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.692 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.692 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.692 * [taylor]: Taking taylor expansion of z in z
2.693 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.693 * [taylor]: Taking taylor expansion of (* t a) in z
2.693 * [taylor]: Taking taylor expansion of t in z
2.693 * [taylor]: Taking taylor expansion of a in z
2.696 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.696 * [taylor]: Taking taylor expansion of (* z y) in z
2.696 * [taylor]: Taking taylor expansion of z in z
2.696 * [taylor]: Taking taylor expansion of y in z
2.696 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
2.696 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.696 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.696 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.696 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.696 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.696 * [taylor]: Taking taylor expansion of z in y
2.696 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.696 * [taylor]: Taking taylor expansion of (* t a) in y
2.696 * [taylor]: Taking taylor expansion of t in y
2.696 * [taylor]: Taking taylor expansion of a in y
2.698 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.698 * [taylor]: Taking taylor expansion of (* z y) in y
2.698 * [taylor]: Taking taylor expansion of z in y
2.698 * [taylor]: Taking taylor expansion of y in y
2.698 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 (* z y))) in y
2.698 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in y
2.698 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in y
2.698 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in y
2.698 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.699 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.699 * [taylor]: Taking taylor expansion of z in y
2.699 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
2.699 * [taylor]: Taking taylor expansion of (* t a) in y
2.699 * [taylor]: Taking taylor expansion of t in y
2.699 * [taylor]: Taking taylor expansion of a in y
2.700 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.700 * [taylor]: Taking taylor expansion of (* z y) in y
2.700 * [taylor]: Taking taylor expansion of z in y
2.700 * [taylor]: Taking taylor expansion of y in y
2.701 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) (/ 1 z)) in z
2.701 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a))))) in z
2.701 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow z 2)) (/ 1 (* t a)))) in z
2.701 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (* t a))) in z
2.701 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.701 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.701 * [taylor]: Taking taylor expansion of z in z
2.702 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.702 * [taylor]: Taking taylor expansion of (* t a) in z
2.702 * [taylor]: Taking taylor expansion of t in z
2.702 * [taylor]: Taking taylor expansion of a in z
2.704 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.704 * [taylor]: Taking taylor expansion of z in z
2.705 * [taylor]: Taking taylor expansion of 1 in t
2.705 * [taylor]: Taking taylor expansion of 1 in a
2.706 * [taylor]: Taking taylor expansion of 0 in z
2.706 * [taylor]: Taking taylor expansion of 0 in t
2.706 * [taylor]: Taking taylor expansion of 0 in a
2.706 * [taylor]: Taking taylor expansion of 0 in t
2.706 * [taylor]: Taking taylor expansion of 0 in a
2.706 * [taylor]: Taking taylor expansion of 0 in a
2.710 * [taylor]: Taking taylor expansion of 0 in z
2.710 * [taylor]: Taking taylor expansion of 0 in t
2.710 * [taylor]: Taking taylor expansion of 0 in a
2.710 * [taylor]: Taking taylor expansion of 0 in t
2.710 * [taylor]: Taking taylor expansion of 0 in a
2.710 * * * [progress]: simplifying candidates
2.714 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (sqrt (- (* z z) (* t a))))
  (exp (sqrt (- (* z z) (* t a))))
  (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a)))))
  (cbrt (sqrt (- (* z z) (* t a))))
  (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a))))
  (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a)))))
  (sqrt (cbrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt 1)
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (pow (* z z) 3) (pow (* t a) 3)))
  (sqrt (+ (* (* z z) (* z z)) (+ (* (* t a) (* t a)) (* (* z z) (* t a)))))
  (sqrt (- (* (* z z) (* z z)) (* (* t a) (* t a))))
  (sqrt (+ (* z z) (* t a)))
  (/ 1 2)
  (sqrt (sqrt (- (* z z) (* t a))))
  (sqrt (sqrt (- (* z z) (* t a))))
  (/ (exp (* z z)) (exp (* t a)))
  (log (- (* z z) (* t a)))
  (exp (- (* z z) (* t a)))
  (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))
  (cbrt (- (* z z) (* t a)))
  (* (* (- (* z z) (* t a)) (- (* z z) (* t a))) (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (sqrt (- (* z z) (* t a)))
  (- (pow (* z z) 3) (pow (* t a) 3))
  (+ (* (* z z) (* z z)) (+ (* (* t a) (* t a)) (* (* z z) (* t a))))
  (- (* t a))
  (- (* (* z z) (* z z)) (* (* t a) (* t a)))
  (+ (* z z) (* t a))
  (- (* t a))
  (* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (+ (log x) (- (log y) (- (log (sqrt (- (* z z) (* t a)))) (log z))))
  (+ (log x) (- (log y) (log (/ (sqrt (- (* z z) (* t a))) z))))
  (+ (log x) (log (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (log (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (exp (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (* (* (* x x) x) (/ (* (* y y) y) (/ (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))) (* (* z z) z))))
  (* (* (* x x) x) (/ (* (* y y) y) (* (* (/ (sqrt (- (* z z) (* t a))) z) (/ (sqrt (- (* z z) (* t a))) z)) (/ (sqrt (- (* z z) (* t a))) z))))
  (* (* (* x x) x) (* (* (/ y (/ (sqrt (- (* z z) (* t a))) z)) (/ y (/ (sqrt (- (* z z) (* t a))) z))) (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (* (cbrt (* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))) (cbrt (* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))))
  (cbrt (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (* (* (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))) (* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))) (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (sqrt (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (sqrt (* x (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (* (sqrt x) (sqrt (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (* (sqrt x) (sqrt (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (* (sqrt x) (/ (sqrt y) (sqrt (/ (sqrt (- (* z z) (* t a))) z))))
  (* (sqrt x) (/ (sqrt y) (sqrt (/ (sqrt (- (* z z) (* t a))) z))))
  (* (sqrt x) (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* (sqrt x) (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* (sqrt x) (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* (sqrt x) (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* x (* (cbrt (/ y (/ (sqrt (- (* z z) (* t a))) z))) (cbrt (/ y (/ (sqrt (- (* z z) (* t a))) z)))))
  (* x (sqrt (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt (/ (sqrt (- (* z z) (* t a))) z))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1)))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1)))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt 1) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt 1) (sqrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt 1) 1)))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)))
  (* x (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (/ 1 1)))
  (* x (/ (* (cbrt y) (cbrt y)) 1))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt (- (* z z) (* t a)))))
  (* x (/ (sqrt y) (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z)))))
  (* x (/ (sqrt y) (sqrt (/ (sqrt (- (* z z) (* t a))) z))))
  (* x (/ (sqrt y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))))
  (* x (/ (sqrt y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z))))
  (* x (/ (sqrt y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1)))
  (* x (/ (sqrt y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))))
  (* x (/ (sqrt y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z))))
  (* x (/ (sqrt y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1)))
  (* x (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))))
  (* x (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* x (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)))
  (* x (/ (sqrt y) (/ (sqrt 1) (* (cbrt z) (cbrt z)))))
  (* x (/ (sqrt y) (/ (sqrt 1) (sqrt z))))
  (* x (/ (sqrt y) (/ (sqrt 1) 1)))
  (* x (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))))
  (* x (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* x (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)))
  (* x (/ (sqrt y) (/ 1 (* (cbrt z) (cbrt z)))))
  (* x (/ (sqrt y) (/ 1 (sqrt z))))
  (* x (/ (sqrt y) (/ 1 1)))
  (* x (/ (sqrt y) 1))
  (* x (/ (sqrt y) (sqrt (- (* z z) (* t a)))))
  (* x (/ 1 (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z)))))
  (* x (/ 1 (sqrt (/ (sqrt (- (* z z) (* t a))) z))))
  (* x (/ 1 (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))))
  (* x (/ 1 (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z))))
  (* x (/ 1 (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1)))
  (* x (/ 1 (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z)))))
  (* x (/ 1 (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z))))
  (* x (/ 1 (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1)))
  (* x (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))))
  (* x (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* x (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)))
  (* x (/ 1 (/ (sqrt 1) (* (cbrt z) (cbrt z)))))
  (* x (/ 1 (/ (sqrt 1) (sqrt z))))
  (* x (/ 1 (/ (sqrt 1) 1)))
  (* x (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z)))))
  (* x (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z))))
  (* x (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) 1)))
  (* x (/ 1 (/ 1 (* (cbrt z) (cbrt z)))))
  (* x (/ 1 (/ 1 (sqrt z))))
  (* x (/ 1 (/ 1 1)))
  (* x (/ 1 1))
  (* x (/ 1 (sqrt (- (* z z) (* t a)))))
  (* x 1)
  (* x y)
  (* x (/ y (sqrt (- (* z z) (* t a)))))
  (* (cbrt x) (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (* (sqrt x) (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (* x y)
  (- (log y) (- (log (sqrt (- (* z z) (* t a)))) (log z)))
  (- (log y) (log (/ (sqrt (- (* z z) (* t a))) z)))
  (log (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (exp (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (* (* y y) y) (/ (* (* (sqrt (- (* z z) (* t a))) (sqrt (- (* z z) (* t a)))) (sqrt (- (* z z) (* t a)))) (* (* z z) z)))
  (/ (* (* y y) y) (* (* (/ (sqrt (- (* z z) (* t a))) z) (/ (sqrt (- (* z z) (* t a))) z)) (/ (sqrt (- (* z z) (* t a))) z)))
  (* (cbrt (/ y (/ (sqrt (- (* z z) (* t a))) z))) (cbrt (/ y (/ (sqrt (- (* z z) (* t a))) z))))
  (cbrt (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (* (* (/ y (/ (sqrt (- (* z z) (* t a))) z)) (/ y (/ (sqrt (- (* z z) (* t a))) z))) (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (sqrt (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (sqrt (/ y (/ (sqrt (- (* z z) (* t a))) z)))
  (- y)
  (- (/ (sqrt (- (* z z) (* t a))) z))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ (cbrt y) (cbrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (cbrt y) (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ (cbrt y) (/ (cbrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1))
  (/ (cbrt y) (/ (cbrt (sqrt (- (* z z) (* t a)))) z))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (sqrt (cbrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z)))
  (/ (cbrt y) (/ (sqrt (cbrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1))
  (/ (cbrt y) (/ (sqrt (cbrt (- (* z z) (* t a)))) z))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (cbrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ (cbrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt 1) (sqrt z)))
  (/ (cbrt y) (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt 1) 1))
  (/ (cbrt y) (/ (sqrt (- (* z z) (* t a))) z))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (cbrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ (cbrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt z)))
  (/ (cbrt y) (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 1))
  (/ (cbrt y) (/ (sqrt (- (* z z) (* t a))) z))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (/ (sqrt (- (* z z) (* t a))) z))
  (/ (* (cbrt y) (cbrt y)) (sqrt (- (* z z) (* t a))))
  (/ (cbrt y) (/ 1 z))
  (/ (sqrt y) (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ (sqrt y) (cbrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (sqrt y) (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (sqrt y) (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ (sqrt y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (sqrt y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ (sqrt y) (/ (cbrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (sqrt y) (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1))
  (/ (sqrt y) (/ (cbrt (sqrt (- (* z z) (* t a)))) z))
  (/ (sqrt y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (sqrt (cbrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (sqrt y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z)))
  (/ (sqrt y) (/ (sqrt (cbrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (sqrt y) (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1))
  (/ (sqrt y) (/ (sqrt (cbrt (- (* z z) (* t a)))) z))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ (sqrt y) (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ (sqrt y) (/ (sqrt 1) (sqrt z)))
  (/ (sqrt y) (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ (sqrt y) (/ (sqrt 1) 1))
  (/ (sqrt y) (/ (sqrt (- (* z z) (* t a))) z))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ (sqrt y) (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ (sqrt y) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ (sqrt y) (/ 1 (sqrt z)))
  (/ (sqrt y) (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ (sqrt y) (/ 1 1))
  (/ (sqrt y) (/ (sqrt (- (* z z) (* t a))) z))
  (/ (sqrt y) 1)
  (/ (sqrt y) (/ (sqrt (- (* z z) (* t a))) z))
  (/ (sqrt y) (sqrt (- (* z z) (* t a))))
  (/ (sqrt y) (/ 1 z))
  (/ 1 (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ y (cbrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ 1 (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ y (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ 1 (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ 1 (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ 1 (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1))
  (/ y (/ (cbrt (sqrt (- (* z z) (* t a)))) z))
  (/ 1 (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) (cbrt z)))
  (/ 1 (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z)))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) (sqrt z)))
  (/ 1 (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1))
  (/ y (/ (sqrt (cbrt (- (* z z) (* t a)))) z))
  (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ 1 (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ 1 (/ (sqrt 1) (sqrt z)))
  (/ y (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ 1 (/ (sqrt 1) 1))
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (cbrt z)))
  (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ 1 (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) z))
  (/ 1 (/ 1 (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (- (* z z) (* t a))) (cbrt z)))
  (/ 1 (/ 1 (sqrt z)))
  (/ y (/ (sqrt (- (* z z) (* t a))) (sqrt z)))
  (/ 1 (/ 1 1))
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ 1 1)
  (/ y (/ (sqrt (- (* z z) (* t a))) z))
  (/ 1 (sqrt (- (* z z) (* t a))))
  (/ y (/ 1 z))
  (/ 1 (/ (sqrt (- (* z z) (* t a))) z))
  (/ (/ (sqrt (- (* z z) (* t a))) z) y)
  (/ y (* (cbrt (/ (sqrt (- (* z z) (* t a))) z)) (cbrt (/ (sqrt (- (* z z) (* t a))) z))))
  (/ y (sqrt (/ (sqrt (- (* z z) (* t a))) z)))
  (/ y (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ y (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) (sqrt z)))
  (/ y (/ (* (cbrt (sqrt (- (* z z) (* t a)))) (cbrt (sqrt (- (* z z) (* t a))))) 1))
  (/ y (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) (sqrt z)))
  (/ y (/ (sqrt (* (cbrt (- (* z z) (* t a))) (cbrt (- (* z z) (* t a))))) 1))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ y (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt 1) (sqrt z)))
  (/ y (/ (sqrt 1) 1))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) (sqrt z)))
  (/ y (/ (sqrt (sqrt (- (* z z) (* t a)))) 1))
  (/ y (/ 1 (* (cbrt z) (cbrt z))))
  (/ y (/ 1 (sqrt z)))
  (/ y (/ 1 1))
  (/ y 1)
  (/ y (sqrt (- (* z z) (* t a))))
  (/ (/ (sqrt (- (* z z) (* t a))) z) (cbrt y))
  (/ (/ (sqrt (- (* z z) (* t a))) z) (sqrt y))
  (/ (/ (sqrt (- (* z z) (* t a))) z) y)
  (/ y (sqrt (- (* z z) (* t a))))
  (- (+ (* +nan.0 (* a t)) (- (* +nan.0 (pow z 2)))))
  (- z (* 1/2 (/ (* a t) z)))
  (- (* 1/2 (/ (* a t) z)) z)
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
  (- (pow z 2) (* a t))
  0
  (* x y)
  (* -1 (* x y))
  0
  y
  (* -1 y)
2.727 * * [simplify]: iteration  0 :  330  enodes  (cost  4875 )
2.787 * * [simplify]: iteration  1 :  827  enodes  (cost  4402 )