3.093 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (+ x (* (- y x) (/ z t))) 0.025 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.028 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.031 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 0.038 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 0.051 * * [simplify]: iteration 5 : 140 enodes (cost 8 ) 0.072 * * [simplify]: iteration 6 : 178 enodes (cost 8 ) 0.099 * * [simplify]: iteration 7 : 212 enodes (cost 8 ) 0.136 * * [simplify]: iteration 8 : 278 enodes (cost 8 ) 0.190 * * [simplify]: iteration 9 : 498 enodes (cost 8 ) 0.410 * * [simplify]: iteration 10 : 1056 enodes (cost 8 ) 1.006 * * [simplify]: iteration 11 : 1524 enodes (cost 8 ) 1.991 * * [simplify]: iteration 12 : 2314 enodes (cost 8 ) 6.202 * * [simplify]: iteration 13 : 3295 enodes (cost 8 ) 8.116 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 8.116 * [simplify]: Simplified to: (fma (- y x) (/ z t) x) 8.119 * * [progress]: iteration 1 / 4 8.119 * * * [progress]: picking best candidate 8.122 * * * * [pick]: Picked # 8.122 * * * [progress]: localizing error 8.128 * * * [progress]: generating rewritten candidates 8.128 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 8.144 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.153 * * * [progress]: generating series expansions 8.153 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 8.153 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x z t) around 0 8.153 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 8.153 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 8.153 * [taylor]: Taking taylor expansion of (- y x) in t 8.153 * [taylor]: Taking taylor expansion of y in t 8.153 * [taylor]: Taking taylor expansion of x in t 8.153 * [taylor]: Taking taylor expansion of z in t 8.153 * [taylor]: Taking taylor expansion of t in t 8.153 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 8.153 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 8.153 * [taylor]: Taking taylor expansion of (- y x) in z 8.153 * [taylor]: Taking taylor expansion of y in z 8.153 * [taylor]: Taking taylor expansion of x in z 8.153 * [taylor]: Taking taylor expansion of z in z 8.153 * [taylor]: Taking taylor expansion of t in z 8.154 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 8.154 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 8.155 * [taylor]: Taking taylor expansion of (- y x) in x 8.155 * [taylor]: Taking taylor expansion of y in x 8.155 * [taylor]: Taking taylor expansion of x in x 8.155 * [taylor]: Taking taylor expansion of z in x 8.155 * [taylor]: Taking taylor expansion of t in x 8.155 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 8.155 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 8.155 * [taylor]: Taking taylor expansion of (- y x) in y 8.155 * [taylor]: Taking taylor expansion of y in y 8.155 * [taylor]: Taking taylor expansion of x in y 8.155 * [taylor]: Taking taylor expansion of z in y 8.155 * [taylor]: Taking taylor expansion of t in y 8.155 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 8.155 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 8.155 * [taylor]: Taking taylor expansion of (- y x) in y 8.155 * [taylor]: Taking taylor expansion of y in y 8.155 * [taylor]: Taking taylor expansion of x in y 8.155 * [taylor]: Taking taylor expansion of z in y 8.155 * [taylor]: Taking taylor expansion of t in y 8.155 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x 8.155 * [taylor]: Taking taylor expansion of -1 in x 8.156 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 8.156 * [taylor]: Taking taylor expansion of (* x z) in x 8.156 * [taylor]: Taking taylor expansion of x in x 8.156 * [taylor]: Taking taylor expansion of z in x 8.156 * [taylor]: Taking taylor expansion of t in x 8.157 * [taylor]: Taking taylor expansion of (/ z t) in x 8.157 * [taylor]: Taking taylor expansion of z in x 8.157 * [taylor]: Taking taylor expansion of t in x 8.157 * [taylor]: Taking taylor expansion of (/ z t) in z 8.157 * [taylor]: Taking taylor expansion of z in z 8.157 * [taylor]: Taking taylor expansion of t in z 8.157 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.157 * [taylor]: Taking taylor expansion of t in t 8.157 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z 8.157 * [taylor]: Taking taylor expansion of -1 in z 8.157 * [taylor]: Taking taylor expansion of (/ z t) in z 8.157 * [taylor]: Taking taylor expansion of z in z 8.157 * [taylor]: Taking taylor expansion of t in z 8.157 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.157 * [taylor]: Taking taylor expansion of -1 in t 8.157 * [taylor]: Taking taylor expansion of t in t 8.159 * [taylor]: Taking taylor expansion of 0 in x 8.159 * [taylor]: Taking taylor expansion of 0 in z 8.159 * [taylor]: Taking taylor expansion of 0 in t 8.159 * [taylor]: Taking taylor expansion of 0 in z 8.159 * [taylor]: Taking taylor expansion of 0 in t 8.160 * [taylor]: Taking taylor expansion of 0 in z 8.160 * [taylor]: Taking taylor expansion of 0 in t 8.160 * [taylor]: Taking taylor expansion of 0 in t 8.160 * [taylor]: Taking taylor expansion of 0 in t 8.162 * [taylor]: Taking taylor expansion of 0 in x 8.162 * [taylor]: Taking taylor expansion of 0 in z 8.162 * [taylor]: Taking taylor expansion of 0 in t 8.162 * [taylor]: Taking taylor expansion of 0 in z 8.162 * [taylor]: Taking taylor expansion of 0 in t 8.163 * [taylor]: Taking taylor expansion of 0 in z 8.163 * [taylor]: Taking taylor expansion of 0 in t 8.164 * [taylor]: Taking taylor expansion of 0 in z 8.164 * [taylor]: Taking taylor expansion of 0 in t 8.164 * [taylor]: Taking taylor expansion of 0 in t 8.164 * [taylor]: Taking taylor expansion of 0 in t 8.164 * [taylor]: Taking taylor expansion of 0 in t 8.164 * [taylor]: Taking taylor expansion of 0 in t 8.165 * [taylor]: Taking taylor expansion of 0 in t 8.165 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0 8.165 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 8.165 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 8.165 * [taylor]: Taking taylor expansion of t in t 8.165 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 8.165 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.165 * [taylor]: Taking taylor expansion of y in t 8.165 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.166 * [taylor]: Taking taylor expansion of x in t 8.166 * [taylor]: Taking taylor expansion of z in t 8.167 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 8.167 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 8.167 * [taylor]: Taking taylor expansion of t in z 8.167 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 8.167 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.167 * [taylor]: Taking taylor expansion of y in z 8.167 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.167 * [taylor]: Taking taylor expansion of x in z 8.167 * [taylor]: Taking taylor expansion of z in z 8.167 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 8.167 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 8.167 * [taylor]: Taking taylor expansion of t in x 8.167 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 8.167 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.167 * [taylor]: Taking taylor expansion of y in x 8.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.167 * [taylor]: Taking taylor expansion of x in x 8.168 * [taylor]: Taking taylor expansion of z in x 8.168 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 8.168 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 8.168 * [taylor]: Taking taylor expansion of t in y 8.168 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.168 * [taylor]: Taking taylor expansion of y in y 8.169 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.169 * [taylor]: Taking taylor expansion of x in y 8.169 * [taylor]: Taking taylor expansion of z in y 8.169 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 8.169 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 8.169 * [taylor]: Taking taylor expansion of t in y 8.169 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.169 * [taylor]: Taking taylor expansion of y in y 8.169 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.169 * [taylor]: Taking taylor expansion of x in y 8.169 * [taylor]: Taking taylor expansion of z in y 8.170 * [taylor]: Taking taylor expansion of (/ t z) in x 8.170 * [taylor]: Taking taylor expansion of t in x 8.170 * [taylor]: Taking taylor expansion of z in x 8.171 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x 8.171 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.171 * [taylor]: Taking taylor expansion of t in x 8.171 * [taylor]: Taking taylor expansion of (* x z) in x 8.171 * [taylor]: Taking taylor expansion of x in x 8.171 * [taylor]: Taking taylor expansion of z in x 8.171 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 8.171 * [taylor]: Taking taylor expansion of (/ t z) in z 8.171 * [taylor]: Taking taylor expansion of t in z 8.172 * [taylor]: Taking taylor expansion of z in z 8.172 * [taylor]: Taking taylor expansion of (- t) in t 8.172 * [taylor]: Taking taylor expansion of t in t 8.172 * [taylor]: Taking taylor expansion of (/ t z) in z 8.172 * [taylor]: Taking taylor expansion of t in z 8.172 * [taylor]: Taking taylor expansion of z in z 8.172 * [taylor]: Taking taylor expansion of t in t 8.173 * [taylor]: Taking taylor expansion of 0 in x 8.174 * [taylor]: Taking taylor expansion of 0 in z 8.174 * [taylor]: Taking taylor expansion of 0 in z 8.175 * [taylor]: Taking taylor expansion of 0 in t 8.176 * [taylor]: Taking taylor expansion of 0 in t 8.178 * [taylor]: Taking taylor expansion of 0 in x 8.178 * [taylor]: Taking taylor expansion of 0 in z 8.179 * [taylor]: Taking taylor expansion of 0 in z 8.179 * [taylor]: Taking taylor expansion of 0 in z 8.179 * [taylor]: Taking taylor expansion of 0 in t 8.179 * [taylor]: Taking taylor expansion of 0 in t 8.180 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x z t) around 0 8.180 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t 8.180 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t 8.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 8.180 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.180 * [taylor]: Taking taylor expansion of x in t 8.180 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.180 * [taylor]: Taking taylor expansion of y in t 8.180 * [taylor]: Taking taylor expansion of t in t 8.180 * [taylor]: Taking taylor expansion of z in t 8.181 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z 8.181 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z 8.181 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 8.181 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.181 * [taylor]: Taking taylor expansion of x in z 8.181 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.181 * [taylor]: Taking taylor expansion of y in z 8.181 * [taylor]: Taking taylor expansion of t in z 8.181 * [taylor]: Taking taylor expansion of z in z 8.181 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x 8.181 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x 8.181 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 8.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.181 * [taylor]: Taking taylor expansion of x in x 8.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.182 * [taylor]: Taking taylor expansion of y in x 8.182 * [taylor]: Taking taylor expansion of t in x 8.182 * [taylor]: Taking taylor expansion of z in x 8.182 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 8.182 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 8.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.182 * [taylor]: Taking taylor expansion of x in y 8.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.182 * [taylor]: Taking taylor expansion of y in y 8.182 * [taylor]: Taking taylor expansion of t in y 8.182 * [taylor]: Taking taylor expansion of z in y 8.183 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 8.183 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 8.183 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.183 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.183 * [taylor]: Taking taylor expansion of x in y 8.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.183 * [taylor]: Taking taylor expansion of y in y 8.183 * [taylor]: Taking taylor expansion of t in y 8.183 * [taylor]: Taking taylor expansion of z in y 8.184 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x 8.184 * [taylor]: Taking taylor expansion of -1 in x 8.184 * [taylor]: Taking taylor expansion of (/ t z) in x 8.184 * [taylor]: Taking taylor expansion of t in x 8.184 * [taylor]: Taking taylor expansion of z in x 8.185 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.185 * [taylor]: Taking taylor expansion of t in x 8.185 * [taylor]: Taking taylor expansion of (* x z) in x 8.185 * [taylor]: Taking taylor expansion of x in x 8.185 * [taylor]: Taking taylor expansion of z in x 8.186 * [taylor]: Taking taylor expansion of (/ t z) in z 8.186 * [taylor]: Taking taylor expansion of t in z 8.186 * [taylor]: Taking taylor expansion of z in z 8.186 * [taylor]: Taking taylor expansion of t in t 8.186 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z 8.186 * [taylor]: Taking taylor expansion of -1 in z 8.186 * [taylor]: Taking taylor expansion of (/ t z) in z 8.186 * [taylor]: Taking taylor expansion of t in z 8.186 * [taylor]: Taking taylor expansion of z in z 8.186 * [taylor]: Taking taylor expansion of (* -1 t) in t 8.186 * [taylor]: Taking taylor expansion of -1 in t 8.186 * [taylor]: Taking taylor expansion of t in t 8.188 * [taylor]: Taking taylor expansion of 0 in x 8.188 * [taylor]: Taking taylor expansion of 0 in z 8.189 * [taylor]: Taking taylor expansion of 0 in z 8.189 * [taylor]: Taking taylor expansion of 0 in t 8.190 * [taylor]: Taking taylor expansion of 0 in t 8.193 * [taylor]: Taking taylor expansion of 0 in x 8.193 * [taylor]: Taking taylor expansion of 0 in z 8.194 * [taylor]: Taking taylor expansion of 0 in z 8.194 * [taylor]: Taking taylor expansion of 0 in z 8.194 * [taylor]: Taking taylor expansion of 0 in t 8.195 * [taylor]: Taking taylor expansion of 0 in t 8.195 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.195 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y z t) around 0 8.195 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t 8.195 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 8.195 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 8.195 * [taylor]: Taking taylor expansion of (* z y) in t 8.195 * [taylor]: Taking taylor expansion of z in t 8.195 * [taylor]: Taking taylor expansion of y in t 8.195 * [taylor]: Taking taylor expansion of t in t 8.195 * [taylor]: Taking taylor expansion of x in t 8.195 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t 8.195 * [taylor]: Taking taylor expansion of (* x z) in t 8.195 * [taylor]: Taking taylor expansion of x in t 8.195 * [taylor]: Taking taylor expansion of z in t 8.195 * [taylor]: Taking taylor expansion of t in t 8.195 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 8.195 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 8.196 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 8.196 * [taylor]: Taking taylor expansion of (* z y) in z 8.196 * [taylor]: Taking taylor expansion of z in z 8.196 * [taylor]: Taking taylor expansion of y in z 8.196 * [taylor]: Taking taylor expansion of t in z 8.196 * [taylor]: Taking taylor expansion of x in z 8.196 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 8.196 * [taylor]: Taking taylor expansion of (* x z) in z 8.196 * [taylor]: Taking taylor expansion of x in z 8.196 * [taylor]: Taking taylor expansion of z in z 8.196 * [taylor]: Taking taylor expansion of t in z 8.196 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y 8.196 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 8.196 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 8.196 * [taylor]: Taking taylor expansion of (* z y) in y 8.196 * [taylor]: Taking taylor expansion of z in y 8.196 * [taylor]: Taking taylor expansion of y in y 8.196 * [taylor]: Taking taylor expansion of t in y 8.197 * [taylor]: Taking taylor expansion of x in y 8.197 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y 8.197 * [taylor]: Taking taylor expansion of (* x z) in y 8.197 * [taylor]: Taking taylor expansion of x in y 8.197 * [taylor]: Taking taylor expansion of z in y 8.197 * [taylor]: Taking taylor expansion of t in y 8.197 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 8.197 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 8.197 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 8.197 * [taylor]: Taking taylor expansion of (* z y) in x 8.197 * [taylor]: Taking taylor expansion of z in x 8.197 * [taylor]: Taking taylor expansion of y in x 8.197 * [taylor]: Taking taylor expansion of t in x 8.197 * [taylor]: Taking taylor expansion of x in x 8.197 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 8.197 * [taylor]: Taking taylor expansion of (* x z) in x 8.197 * [taylor]: Taking taylor expansion of x in x 8.197 * [taylor]: Taking taylor expansion of z in x 8.197 * [taylor]: Taking taylor expansion of t in x 8.197 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 8.198 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 8.198 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 8.198 * [taylor]: Taking taylor expansion of (* z y) in x 8.198 * [taylor]: Taking taylor expansion of z in x 8.198 * [taylor]: Taking taylor expansion of y in x 8.198 * [taylor]: Taking taylor expansion of t in x 8.198 * [taylor]: Taking taylor expansion of x in x 8.198 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 8.198 * [taylor]: Taking taylor expansion of (* x z) in x 8.198 * [taylor]: Taking taylor expansion of x in x 8.198 * [taylor]: Taking taylor expansion of z in x 8.198 * [taylor]: Taking taylor expansion of t in x 8.198 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 8.198 * [taylor]: Taking taylor expansion of (* z y) in y 8.198 * [taylor]: Taking taylor expansion of z in y 8.198 * [taylor]: Taking taylor expansion of y in y 8.198 * [taylor]: Taking taylor expansion of t in y 8.199 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y 8.199 * [taylor]: Taking taylor expansion of 1 in y 8.199 * [taylor]: Taking taylor expansion of (/ z t) in y 8.199 * [taylor]: Taking taylor expansion of z in y 8.199 * [taylor]: Taking taylor expansion of t in y 8.199 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 8.199 * [taylor]: Taking taylor expansion of 1 in z 8.199 * [taylor]: Taking taylor expansion of (/ z t) in z 8.199 * [taylor]: Taking taylor expansion of z in z 8.199 * [taylor]: Taking taylor expansion of t in z 8.200 * [taylor]: Taking taylor expansion of 1 in t 8.200 * [taylor]: Taking taylor expansion of (/ z t) in z 8.200 * [taylor]: Taking taylor expansion of z in z 8.200 * [taylor]: Taking taylor expansion of t in z 8.202 * [taylor]: Taking taylor expansion of 0 in y 8.202 * [taylor]: Taking taylor expansion of 0 in z 8.202 * [taylor]: Taking taylor expansion of 0 in t 8.202 * [taylor]: Taking taylor expansion of 0 in z 8.202 * [taylor]: Taking taylor expansion of 0 in t 8.203 * [taylor]: Taking taylor expansion of 0 in z 8.203 * [taylor]: Taking taylor expansion of 0 in t 8.203 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 8.203 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.203 * [taylor]: Taking taylor expansion of t in t 8.203 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.204 * [taylor]: Taking taylor expansion of t in t 8.204 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y z t) around 0 8.204 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t 8.204 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 8.204 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 8.204 * [taylor]: Taking taylor expansion of t in t 8.204 * [taylor]: Taking taylor expansion of (* z y) in t 8.204 * [taylor]: Taking taylor expansion of z in t 8.204 * [taylor]: Taking taylor expansion of y in t 8.205 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.205 * [taylor]: Taking taylor expansion of x in t 8.205 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 8.205 * [taylor]: Taking taylor expansion of t in t 8.205 * [taylor]: Taking taylor expansion of (* x z) in t 8.205 * [taylor]: Taking taylor expansion of x in t 8.205 * [taylor]: Taking taylor expansion of z in t 8.205 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 8.205 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 8.205 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 8.205 * [taylor]: Taking taylor expansion of t in z 8.205 * [taylor]: Taking taylor expansion of (* z y) in z 8.205 * [taylor]: Taking taylor expansion of z in z 8.205 * [taylor]: Taking taylor expansion of y in z 8.205 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.205 * [taylor]: Taking taylor expansion of x in z 8.205 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 8.205 * [taylor]: Taking taylor expansion of t in z 8.205 * [taylor]: Taking taylor expansion of (* x z) in z 8.205 * [taylor]: Taking taylor expansion of x in z 8.205 * [taylor]: Taking taylor expansion of z in z 8.206 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y 8.206 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 8.206 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.206 * [taylor]: Taking taylor expansion of t in y 8.206 * [taylor]: Taking taylor expansion of (* z y) in y 8.206 * [taylor]: Taking taylor expansion of z in y 8.206 * [taylor]: Taking taylor expansion of y in y 8.206 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.206 * [taylor]: Taking taylor expansion of x in y 8.206 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 8.206 * [taylor]: Taking taylor expansion of t in y 8.206 * [taylor]: Taking taylor expansion of (* x z) in y 8.206 * [taylor]: Taking taylor expansion of x in y 8.206 * [taylor]: Taking taylor expansion of z in y 8.206 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 8.206 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.206 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.206 * [taylor]: Taking taylor expansion of t in x 8.206 * [taylor]: Taking taylor expansion of (* z y) in x 8.206 * [taylor]: Taking taylor expansion of z in x 8.206 * [taylor]: Taking taylor expansion of y in x 8.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.206 * [taylor]: Taking taylor expansion of x in x 8.207 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.207 * [taylor]: Taking taylor expansion of t in x 8.207 * [taylor]: Taking taylor expansion of (* x z) in x 8.207 * [taylor]: Taking taylor expansion of x in x 8.207 * [taylor]: Taking taylor expansion of z in x 8.207 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 8.207 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.207 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.207 * [taylor]: Taking taylor expansion of t in x 8.207 * [taylor]: Taking taylor expansion of (* z y) in x 8.207 * [taylor]: Taking taylor expansion of z in x 8.207 * [taylor]: Taking taylor expansion of y in x 8.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.207 * [taylor]: Taking taylor expansion of x in x 8.208 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.208 * [taylor]: Taking taylor expansion of t in x 8.208 * [taylor]: Taking taylor expansion of (* x z) in x 8.208 * [taylor]: Taking taylor expansion of x in x 8.208 * [taylor]: Taking taylor expansion of z in x 8.208 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y 8.208 * [taylor]: Taking taylor expansion of 1 in y 8.208 * [taylor]: Taking taylor expansion of (/ t z) in y 8.208 * [taylor]: Taking taylor expansion of t in y 8.208 * [taylor]: Taking taylor expansion of z in y 8.210 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.210 * [taylor]: Taking taylor expansion of t in y 8.210 * [taylor]: Taking taylor expansion of (* z y) in y 8.210 * [taylor]: Taking taylor expansion of z in y 8.210 * [taylor]: Taking taylor expansion of y in y 8.210 * [taylor]: Taking taylor expansion of (/ t z) in z 8.210 * [taylor]: Taking taylor expansion of t in z 8.210 * [taylor]: Taking taylor expansion of z in z 8.210 * [taylor]: Taking taylor expansion of t in t 8.211 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 8.211 * [taylor]: Taking taylor expansion of 1 in z 8.211 * [taylor]: Taking taylor expansion of (/ t z) in z 8.211 * [taylor]: Taking taylor expansion of t in z 8.211 * [taylor]: Taking taylor expansion of z in z 8.211 * [taylor]: Taking taylor expansion of (- t) in t 8.211 * [taylor]: Taking taylor expansion of t in t 8.213 * [taylor]: Taking taylor expansion of 0 in y 8.214 * [taylor]: Taking taylor expansion of 0 in z 8.214 * [taylor]: Taking taylor expansion of 0 in z 8.215 * [taylor]: Taking taylor expansion of 0 in t 8.216 * [taylor]: Taking taylor expansion of 1 in t 8.217 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0 8.217 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t 8.217 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 8.217 * [taylor]: Taking taylor expansion of t in t 8.217 * [taylor]: Taking taylor expansion of (* x z) in t 8.217 * [taylor]: Taking taylor expansion of x in t 8.217 * [taylor]: Taking taylor expansion of z in t 8.217 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 8.217 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 8.217 * [taylor]: Taking taylor expansion of t in t 8.217 * [taylor]: Taking taylor expansion of (* z y) in t 8.217 * [taylor]: Taking taylor expansion of z in t 8.217 * [taylor]: Taking taylor expansion of y in t 8.217 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.217 * [taylor]: Taking taylor expansion of x in t 8.217 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 8.217 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 8.217 * [taylor]: Taking taylor expansion of t in z 8.217 * [taylor]: Taking taylor expansion of (* x z) in z 8.217 * [taylor]: Taking taylor expansion of x in z 8.217 * [taylor]: Taking taylor expansion of z in z 8.218 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 8.218 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 8.218 * [taylor]: Taking taylor expansion of t in z 8.218 * [taylor]: Taking taylor expansion of (* z y) in z 8.218 * [taylor]: Taking taylor expansion of z in z 8.218 * [taylor]: Taking taylor expansion of y in z 8.218 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.218 * [taylor]: Taking taylor expansion of x in z 8.218 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y 8.218 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 8.218 * [taylor]: Taking taylor expansion of t in y 8.218 * [taylor]: Taking taylor expansion of (* x z) in y 8.218 * [taylor]: Taking taylor expansion of x in y 8.218 * [taylor]: Taking taylor expansion of z in y 8.218 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 8.218 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.218 * [taylor]: Taking taylor expansion of t in y 8.218 * [taylor]: Taking taylor expansion of (* z y) in y 8.218 * [taylor]: Taking taylor expansion of z in y 8.218 * [taylor]: Taking taylor expansion of y in y 8.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.219 * [taylor]: Taking taylor expansion of x in y 8.219 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 8.219 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.219 * [taylor]: Taking taylor expansion of t in x 8.219 * [taylor]: Taking taylor expansion of (* x z) in x 8.219 * [taylor]: Taking taylor expansion of x in x 8.219 * [taylor]: Taking taylor expansion of z in x 8.219 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.219 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.219 * [taylor]: Taking taylor expansion of t in x 8.219 * [taylor]: Taking taylor expansion of (* z y) in x 8.219 * [taylor]: Taking taylor expansion of z in x 8.219 * [taylor]: Taking taylor expansion of y in x 8.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.219 * [taylor]: Taking taylor expansion of x in x 8.220 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 8.220 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.220 * [taylor]: Taking taylor expansion of t in x 8.220 * [taylor]: Taking taylor expansion of (* x z) in x 8.220 * [taylor]: Taking taylor expansion of x in x 8.220 * [taylor]: Taking taylor expansion of z in x 8.220 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.220 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.220 * [taylor]: Taking taylor expansion of t in x 8.220 * [taylor]: Taking taylor expansion of (* z y) in x 8.220 * [taylor]: Taking taylor expansion of z in x 8.220 * [taylor]: Taking taylor expansion of y in x 8.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.220 * [taylor]: Taking taylor expansion of x in x 8.221 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y 8.221 * [taylor]: Taking taylor expansion of (/ t z) in y 8.221 * [taylor]: Taking taylor expansion of t in y 8.221 * [taylor]: Taking taylor expansion of z in y 8.221 * [taylor]: Taking taylor expansion of 1 in y 8.222 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y 8.222 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.222 * [taylor]: Taking taylor expansion of t in y 8.222 * [taylor]: Taking taylor expansion of (* z y) in y 8.222 * [taylor]: Taking taylor expansion of z in y 8.222 * [taylor]: Taking taylor expansion of y in y 8.223 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 8.223 * [taylor]: Taking taylor expansion of (/ t z) in z 8.223 * [taylor]: Taking taylor expansion of t in z 8.223 * [taylor]: Taking taylor expansion of z in z 8.223 * [taylor]: Taking taylor expansion of (- t) in t 8.223 * [taylor]: Taking taylor expansion of t in t 8.223 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 8.223 * [taylor]: Taking taylor expansion of (/ t z) in z 8.223 * [taylor]: Taking taylor expansion of t in z 8.223 * [taylor]: Taking taylor expansion of z in z 8.223 * [taylor]: Taking taylor expansion of 1 in z 8.223 * [taylor]: Taking taylor expansion of t in t 8.226 * [taylor]: Taking taylor expansion of 0 in y 8.226 * [taylor]: Taking taylor expansion of 0 in z 8.227 * [taylor]: Taking taylor expansion of 0 in z 8.228 * [taylor]: Taking taylor expansion of 0 in t 8.229 * [taylor]: Taking taylor expansion of -1 in t 8.229 * * * [progress]: simplifying candidates 8.230 * [simplify]: Simplifying using # : (expm1 (* (- y x) (/ z t))) (log1p (* (- y x) (/ z t))) (* (- y x) (/ z t)) (+ (log (- y x)) (- (log z) (log t))) (+ (log (- y x)) (log (/ z t))) (log (* (- y x) (/ z t))) (exp (* (- y x) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (/ (* (* z z) z) (* (* t t) t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (/ z t) (/ z t)) (/ z t))) (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t)))) (cbrt (* (- y x) (/ z t))) (* (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* (- y x) (/ z t))) (sqrt (* (- y x) (/ z t))) (sqrt (* (- y x) (/ z t))) (* (- (pow y 3) (pow x 3)) z) (* (+ (* y y) (+ (* x x) (* y x))) t) (* (- (* y y) (* x x)) z) (* (+ y x) t) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (sqrt (/ z t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) 1)) (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (sqrt z) (sqrt t))) (* (- y x) (/ (sqrt z) 1)) (* (- y x) (/ 1 (* (cbrt t) (cbrt t)))) (* (- y x) (/ 1 (sqrt t))) (* (- y x) (/ 1 1)) (* (- y x) 1) (* (- y x) z) (* (cbrt (- y x)) (/ z t)) (* (sqrt (- y x)) (/ z t)) (* (- y x) (/ z t)) (* (- (sqrt y) (sqrt x)) (/ z t)) (* (- y x) (/ z t)) (* (- y x) z) (* (- (pow y 3) (pow x 3)) (/ z t)) (* (- (* y y) (* x x)) (/ z t)) (expm1 (+ x (* (- y x) (/ z t)))) (log1p (+ x (* (- y x) (/ z t)))) (* (exp x) (exp (* (- y x) (/ z t)))) (log (+ x (* (- y x) (/ z t)))) (exp (+ x (* (- y x) (/ z t)))) (* (cbrt (+ x (* (- y x) (/ z t)))) (cbrt (+ x (* (- y x) (/ z t))))) (cbrt (+ x (* (- y x) (/ z t)))) (* (* (+ x (* (- y x) (/ z t))) (+ x (* (- y x) (/ z t)))) (+ x (* (- y x) (/ z t)))) (sqrt (+ x (* (- y x) (/ z t)))) (sqrt (+ x (* (- y x) (/ z t)))) (+ (pow x 3) (pow (* (- y x) (/ z t)) 3)) (+ (* x x) (- (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* x (* (- y x) (/ z t))))) (- (* x x) (* (* (- y x) (/ z t)) (* (- y x) (/ z t)))) (- x (* (- y x) (/ z t))) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 8.233 * * [simplify]: iteration 0 : 119 enodes (cost 705 ) 8.258 * * [simplify]: iteration 1 : 307 enodes (cost 661 ) 8.326 * * [simplify]: iteration 2 : 1099 enodes (cost 603 ) 9.134 * * [simplify]: iteration done : 5000 enodes (cost 576 ) 9.134 * [simplify]: Simplified to: (expm1 (* (- y x) (/ z t))) (log1p (* (- y x) (/ z t))) (/ (* (- y x) z) t) (log (* (- y x) (/ z t))) (log (* (- y x) (/ z t))) (log (* (- y x) (/ z t))) (exp (* (- y x) (/ z t))) (pow (* (- y x) (/ z t)) 3) (pow (* (- y x) (/ z t)) 3) (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t)))) (cbrt (* (- y x) (/ z t))) (pow (* (- y x) (/ z t)) 3) (sqrt (* (- y x) (/ z t))) (sqrt (* (- y x) (/ z t))) (* (- (pow y 3) (pow x 3)) z) (* (fma y y (* x (+ y x))) t) (* (- (* y y) (* x x)) z) (* (+ y x) t) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (sqrt (/ z t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (* (cbrt z) (cbrt z)) (- y x)) (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (sqrt z) (sqrt t))) (* (- y x) (sqrt z)) (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (sqrt t)) (- y x) (- y x) (* (- y x) z) (* (cbrt (- y x)) (/ z t)) (* (sqrt (- y x)) (/ z t)) (/ (* (- y x) z) t) (* (- (sqrt y) (sqrt x)) (/ z t)) (/ (* (- y x) z) t) (* (- y x) z) (* (- (pow y 3) (pow x 3)) (/ z t)) (* (- (* y y) (* x x)) (/ z t)) (expm1 (fma (- y x) (/ z t) x)) (log1p (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (log (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x))) (cbrt (fma (- y x) (/ z t) x)) (pow (fma (- y x) (/ z t) x) 3) (sqrt (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (+ (pow x 3) (pow (* (- y x) (/ z t)) 3)) (fma x x (* (* (- y x) (/ z t)) (- (* (- y x) (/ z t)) x))) (* (fma (- y x) (/ z t) x) (- x (* (- y x) (/ z t)))) (- x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (/ (* (- y x) z) t) (/ (* (- y x) z) t) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) 9.134 * * * [progress]: adding candidates to table 9.272 * * [progress]: iteration 2 / 4 9.272 * * * [progress]: picking best candidate 9.283 * * * * [pick]: Picked # 9.283 * * * [progress]: localizing error 9.293 * * * [progress]: generating rewritten candidates 9.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 9.329 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 9.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 9.330 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 9.334 * * * [progress]: generating series expansions 9.335 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 9.335 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x t z) around 0 9.335 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 9.335 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 9.335 * [taylor]: Taking taylor expansion of (- y x) in z 9.335 * [taylor]: Taking taylor expansion of y in z 9.335 * [taylor]: Taking taylor expansion of x in z 9.335 * [taylor]: Taking taylor expansion of z in z 9.335 * [taylor]: Taking taylor expansion of t in z 9.336 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 9.336 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 9.336 * [taylor]: Taking taylor expansion of (- y x) in t 9.336 * [taylor]: Taking taylor expansion of y in t 9.336 * [taylor]: Taking taylor expansion of x in t 9.336 * [taylor]: Taking taylor expansion of z in t 9.336 * [taylor]: Taking taylor expansion of t in t 9.336 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 9.336 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 9.336 * [taylor]: Taking taylor expansion of (- y x) in x 9.336 * [taylor]: Taking taylor expansion of y in x 9.336 * [taylor]: Taking taylor expansion of x in x 9.336 * [taylor]: Taking taylor expansion of z in x 9.336 * [taylor]: Taking taylor expansion of t in x 9.337 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 9.337 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 9.337 * [taylor]: Taking taylor expansion of (- y x) in y 9.337 * [taylor]: Taking taylor expansion of y in y 9.337 * [taylor]: Taking taylor expansion of x in y 9.337 * [taylor]: Taking taylor expansion of z in y 9.337 * [taylor]: Taking taylor expansion of t in y 9.337 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 9.337 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 9.337 * [taylor]: Taking taylor expansion of (- y x) in y 9.337 * [taylor]: Taking taylor expansion of y in y 9.337 * [taylor]: Taking taylor expansion of x in y 9.337 * [taylor]: Taking taylor expansion of z in y 9.337 * [taylor]: Taking taylor expansion of t in y 9.337 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x 9.337 * [taylor]: Taking taylor expansion of -1 in x 9.337 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 9.337 * [taylor]: Taking taylor expansion of (* x z) in x 9.337 * [taylor]: Taking taylor expansion of x in x 9.337 * [taylor]: Taking taylor expansion of z in x 9.337 * [taylor]: Taking taylor expansion of t in x 9.338 * [taylor]: Taking taylor expansion of (/ z t) in x 9.339 * [taylor]: Taking taylor expansion of z in x 9.339 * [taylor]: Taking taylor expansion of t in x 9.339 * [taylor]: Taking taylor expansion of (/ z t) in t 9.339 * [taylor]: Taking taylor expansion of z in t 9.339 * [taylor]: Taking taylor expansion of t in t 9.339 * [taylor]: Taking taylor expansion of z in z 9.339 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in t 9.339 * [taylor]: Taking taylor expansion of -1 in t 9.339 * [taylor]: Taking taylor expansion of (/ z t) in t 9.339 * [taylor]: Taking taylor expansion of z in t 9.339 * [taylor]: Taking taylor expansion of t in t 9.339 * [taylor]: Taking taylor expansion of (* -1 z) in z 9.339 * [taylor]: Taking taylor expansion of -1 in z 9.339 * [taylor]: Taking taylor expansion of z in z 9.340 * [taylor]: Taking taylor expansion of 0 in x 9.340 * [taylor]: Taking taylor expansion of 0 in t 9.340 * [taylor]: Taking taylor expansion of 0 in t 9.341 * [taylor]: Taking taylor expansion of 0 in t 9.342 * [taylor]: Taking taylor expansion of 0 in z 9.343 * [taylor]: Taking taylor expansion of 0 in z 9.344 * [taylor]: Taking taylor expansion of 0 in x 9.344 * [taylor]: Taking taylor expansion of 0 in t 9.344 * [taylor]: Taking taylor expansion of 0 in t 9.345 * [taylor]: Taking taylor expansion of 0 in t 9.346 * [taylor]: Taking taylor expansion of 0 in t 9.346 * [taylor]: Taking taylor expansion of 0 in z 9.346 * [taylor]: Taking taylor expansion of 0 in z 9.347 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x t z) around 0 9.347 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 9.347 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 9.347 * [taylor]: Taking taylor expansion of t in z 9.347 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 9.347 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.347 * [taylor]: Taking taylor expansion of y in z 9.347 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.347 * [taylor]: Taking taylor expansion of x in z 9.347 * [taylor]: Taking taylor expansion of z in z 9.347 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 9.347 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 9.347 * [taylor]: Taking taylor expansion of t in t 9.347 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 9.347 * [taylor]: Taking taylor expansion of (/ 1 y) in t 9.347 * [taylor]: Taking taylor expansion of y in t 9.347 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.347 * [taylor]: Taking taylor expansion of x in t 9.347 * [taylor]: Taking taylor expansion of z in t 9.348 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 9.348 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 9.348 * [taylor]: Taking taylor expansion of t in x 9.348 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.348 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.348 * [taylor]: Taking taylor expansion of y in x 9.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.348 * [taylor]: Taking taylor expansion of x in x 9.349 * [taylor]: Taking taylor expansion of z in x 9.349 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 9.349 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 9.349 * [taylor]: Taking taylor expansion of t in y 9.349 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.349 * [taylor]: Taking taylor expansion of y in y 9.350 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.350 * [taylor]: Taking taylor expansion of x in y 9.350 * [taylor]: Taking taylor expansion of z in y 9.350 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 9.350 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 9.350 * [taylor]: Taking taylor expansion of t in y 9.350 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.350 * [taylor]: Taking taylor expansion of y in y 9.350 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.350 * [taylor]: Taking taylor expansion of x in y 9.350 * [taylor]: Taking taylor expansion of z in y 9.351 * [taylor]: Taking taylor expansion of (/ t z) in x 9.351 * [taylor]: Taking taylor expansion of t in x 9.351 * [taylor]: Taking taylor expansion of z in x 9.352 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x 9.352 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 9.352 * [taylor]: Taking taylor expansion of t in x 9.352 * [taylor]: Taking taylor expansion of (* x z) in x 9.352 * [taylor]: Taking taylor expansion of x in x 9.352 * [taylor]: Taking taylor expansion of z in x 9.352 * [taylor]: Taking taylor expansion of (- (/ t z)) in t 9.352 * [taylor]: Taking taylor expansion of (/ t z) in t 9.352 * [taylor]: Taking taylor expansion of t in t 9.352 * [taylor]: Taking taylor expansion of z in t 9.352 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.352 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.352 * [taylor]: Taking taylor expansion of z in z 9.353 * [taylor]: Taking taylor expansion of (/ t z) in t 9.353 * [taylor]: Taking taylor expansion of t in t 9.353 * [taylor]: Taking taylor expansion of z in t 9.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.353 * [taylor]: Taking taylor expansion of z in z 9.355 * [taylor]: Taking taylor expansion of 0 in x 9.356 * [taylor]: Taking taylor expansion of 0 in t 9.356 * [taylor]: Taking taylor expansion of 0 in z 9.356 * [taylor]: Taking taylor expansion of 0 in t 9.356 * [taylor]: Taking taylor expansion of 0 in z 9.356 * [taylor]: Taking taylor expansion of 0 in z 9.356 * [taylor]: Taking taylor expansion of 0 in z 9.359 * [taylor]: Taking taylor expansion of 0 in x 9.359 * [taylor]: Taking taylor expansion of 0 in t 9.359 * [taylor]: Taking taylor expansion of 0 in z 9.360 * [taylor]: Taking taylor expansion of 0 in t 9.360 * [taylor]: Taking taylor expansion of 0 in z 9.360 * [taylor]: Taking taylor expansion of 0 in t 9.360 * [taylor]: Taking taylor expansion of 0 in z 9.360 * [taylor]: Taking taylor expansion of 0 in z 9.360 * [taylor]: Taking taylor expansion of 0 in z 9.361 * [taylor]: Taking taylor expansion of 0 in z 9.361 * [taylor]: Taking taylor expansion of 0 in z 9.362 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in (y x t z) around 0 9.362 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in z 9.362 * [taylor]: Taking taylor expansion of -1 in z 9.362 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in z 9.362 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z 9.362 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 9.362 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.362 * [taylor]: Taking taylor expansion of x in z 9.362 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.362 * [taylor]: Taking taylor expansion of y in z 9.362 * [taylor]: Taking taylor expansion of t in z 9.362 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z 9.362 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 9.362 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.362 * [taylor]: Taking taylor expansion of -1 in z 9.363 * [taylor]: Taking taylor expansion of z in z 9.369 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in t 9.369 * [taylor]: Taking taylor expansion of -1 in t 9.369 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in t 9.369 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t 9.369 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 9.369 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.369 * [taylor]: Taking taylor expansion of x in t 9.369 * [taylor]: Taking taylor expansion of (/ 1 y) in t 9.369 * [taylor]: Taking taylor expansion of y in t 9.369 * [taylor]: Taking taylor expansion of t in t 9.369 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in t 9.369 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 9.369 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.369 * [taylor]: Taking taylor expansion of -1 in t 9.370 * [taylor]: Taking taylor expansion of z in t 9.374 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in x 9.374 * [taylor]: Taking taylor expansion of -1 in x 9.374 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in x 9.374 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x 9.374 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.374 * [taylor]: Taking taylor expansion of x in x 9.374 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.374 * [taylor]: Taking taylor expansion of y in x 9.374 * [taylor]: Taking taylor expansion of t in x 9.374 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x 9.374 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 9.374 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.374 * [taylor]: Taking taylor expansion of -1 in x 9.375 * [taylor]: Taking taylor expansion of z in x 9.378 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y 9.378 * [taylor]: Taking taylor expansion of -1 in y 9.378 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y 9.378 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 9.379 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.379 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.379 * [taylor]: Taking taylor expansion of x in y 9.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.379 * [taylor]: Taking taylor expansion of y in y 9.379 * [taylor]: Taking taylor expansion of t in y 9.379 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 9.379 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 9.379 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.379 * [taylor]: Taking taylor expansion of -1 in y 9.380 * [taylor]: Taking taylor expansion of z in y 9.383 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y 9.383 * [taylor]: Taking taylor expansion of -1 in y 9.383 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y 9.383 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 9.383 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.383 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.383 * [taylor]: Taking taylor expansion of x in y 9.383 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.383 * [taylor]: Taking taylor expansion of y in y 9.383 * [taylor]: Taking taylor expansion of t in y 9.383 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 9.383 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 9.383 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.383 * [taylor]: Taking taylor expansion of -1 in y 9.384 * [taylor]: Taking taylor expansion of z in y 9.387 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x 9.387 * [taylor]: Taking taylor expansion of -1 in x 9.387 * [taylor]: Taking taylor expansion of (/ t z) in x 9.387 * [taylor]: Taking taylor expansion of t in x 9.387 * [taylor]: Taking taylor expansion of z in x 9.393 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 9.394 * [taylor]: Taking taylor expansion of t in x 9.394 * [taylor]: Taking taylor expansion of (* x z) in x 9.394 * [taylor]: Taking taylor expansion of x in x 9.394 * [taylor]: Taking taylor expansion of z in x 9.394 * [taylor]: Taking taylor expansion of (/ t z) in t 9.394 * [taylor]: Taking taylor expansion of t in t 9.394 * [taylor]: Taking taylor expansion of z in t 9.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.394 * [taylor]: Taking taylor expansion of z in z 9.395 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in t 9.395 * [taylor]: Taking taylor expansion of -1 in t 9.395 * [taylor]: Taking taylor expansion of (/ t z) in t 9.395 * [taylor]: Taking taylor expansion of t in t 9.395 * [taylor]: Taking taylor expansion of z in t 9.395 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.395 * [taylor]: Taking taylor expansion of -1 in z 9.395 * [taylor]: Taking taylor expansion of z in z 9.399 * [taylor]: Taking taylor expansion of 0 in x 9.400 * [taylor]: Taking taylor expansion of 0 in t 9.400 * [taylor]: Taking taylor expansion of 0 in z 9.400 * [taylor]: Taking taylor expansion of 0 in t 9.401 * [taylor]: Taking taylor expansion of 0 in z 9.401 * [taylor]: Taking taylor expansion of 0 in z 9.401 * [taylor]: Taking taylor expansion of 0 in z 9.407 * [taylor]: Taking taylor expansion of 0 in x 9.407 * [taylor]: Taking taylor expansion of 0 in t 9.407 * [taylor]: Taking taylor expansion of 0 in z 9.408 * [taylor]: Taking taylor expansion of 0 in t 9.408 * [taylor]: Taking taylor expansion of 0 in z 9.409 * [taylor]: Taking taylor expansion of 0 in t 9.409 * [taylor]: Taking taylor expansion of 0 in z 9.409 * [taylor]: Taking taylor expansion of 0 in z 9.409 * [taylor]: Taking taylor expansion of 0 in z 9.409 * [taylor]: Taking taylor expansion of 0 in z 9.410 * [taylor]: Taking taylor expansion of 0 in z 9.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 9.411 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 9.411 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.411 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.411 * [taylor]: Taking taylor expansion of 1/3 in t 9.411 * [taylor]: Taking taylor expansion of (log t) in t 9.411 * [taylor]: Taking taylor expansion of t in t 9.411 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.411 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.411 * [taylor]: Taking taylor expansion of 1/3 in t 9.411 * [taylor]: Taking taylor expansion of (log t) in t 9.411 * [taylor]: Taking taylor expansion of t in t 9.459 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 9.459 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.459 * [taylor]: Taking taylor expansion of 1/3 in t 9.460 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.460 * [taylor]: Taking taylor expansion of t in t 9.460 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.460 * [taylor]: Taking taylor expansion of 1/3 in t 9.460 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.460 * [taylor]: Taking taylor expansion of t in t 9.515 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 9.515 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.516 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.516 * [taylor]: Taking taylor expansion of -1 in t 9.516 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.516 * [taylor]: Taking taylor expansion of 1/3 in t 9.516 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.516 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.516 * [taylor]: Taking taylor expansion of t in t 9.517 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.517 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.517 * [taylor]: Taking taylor expansion of -1 in t 9.518 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.518 * [taylor]: Taking taylor expansion of 1/3 in t 9.518 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.518 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.518 * [taylor]: Taking taylor expansion of t in t 9.584 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 9.584 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 9.584 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.584 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.584 * [taylor]: Taking taylor expansion of 1/3 in t 9.584 * [taylor]: Taking taylor expansion of (log t) in t 9.584 * [taylor]: Taking taylor expansion of t in t 9.585 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.585 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.585 * [taylor]: Taking taylor expansion of 1/3 in t 9.585 * [taylor]: Taking taylor expansion of (log t) in t 9.585 * [taylor]: Taking taylor expansion of t in t 9.636 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 9.636 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.636 * [taylor]: Taking taylor expansion of 1/3 in t 9.636 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.636 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.636 * [taylor]: Taking taylor expansion of t in t 9.637 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.637 * [taylor]: Taking taylor expansion of 1/3 in t 9.637 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.637 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.637 * [taylor]: Taking taylor expansion of t in t 9.692 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 9.692 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.692 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.692 * [taylor]: Taking taylor expansion of -1 in t 9.693 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.693 * [taylor]: Taking taylor expansion of 1/3 in t 9.693 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.693 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.693 * [taylor]: Taking taylor expansion of t in t 9.694 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.694 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.694 * [taylor]: Taking taylor expansion of -1 in t 9.695 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.695 * [taylor]: Taking taylor expansion of 1/3 in t 9.695 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.695 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.695 * [taylor]: Taking taylor expansion of t in t 9.757 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 9.757 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 9.757 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.757 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.757 * [taylor]: Taking taylor expansion of 1/3 in t 9.757 * [taylor]: Taking taylor expansion of (log t) in t 9.757 * [taylor]: Taking taylor expansion of t in t 9.757 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.757 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.757 * [taylor]: Taking taylor expansion of 1/3 in t 9.757 * [taylor]: Taking taylor expansion of (log t) in t 9.757 * [taylor]: Taking taylor expansion of t in t 9.808 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 9.808 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.808 * [taylor]: Taking taylor expansion of 1/3 in t 9.808 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.808 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.808 * [taylor]: Taking taylor expansion of t in t 9.809 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.809 * [taylor]: Taking taylor expansion of 1/3 in t 9.809 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.809 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.809 * [taylor]: Taking taylor expansion of t in t 9.863 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 9.863 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.863 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.863 * [taylor]: Taking taylor expansion of -1 in t 9.864 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.864 * [taylor]: Taking taylor expansion of 1/3 in t 9.864 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.864 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.864 * [taylor]: Taking taylor expansion of t in t 9.865 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.865 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.865 * [taylor]: Taking taylor expansion of -1 in t 9.866 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.866 * [taylor]: Taking taylor expansion of 1/3 in t 9.866 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.866 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.866 * [taylor]: Taking taylor expansion of t in t 9.931 * * * [progress]: simplifying candidates 9.933 * [simplify]: Simplifying using # : (expm1 (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (log1p (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (- (log z) (log (cbrt t)))) (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (log (/ z (cbrt t)))) (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t)))) (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t)))) (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t)))) (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t)))) (log (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (exp (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (/ (* (* z z) z) t)) (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t)))) (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t)) (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t)))) (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t)) (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t)))) (* (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))) (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (- y x) z) (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (sqrt (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (* (cbrt t) (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt 1))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) 1)) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (* (cbrt t) (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt 1))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) 1)) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (* (cbrt t) (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (sqrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt 1))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 1)) (* (/ (- y x) (* (cbrt t) (cbrt t))) 1) (* (/ (- y x) (* (cbrt t) (cbrt t))) z) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))) (* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t))) (* (/ (sqrt (- y x)) (cbrt t)) (/ z (cbrt t))) (* (/ (- y x) (cbrt t)) (/ z (cbrt t))) (* (/ (- (sqrt y) (sqrt x)) (cbrt t)) (/ z (cbrt t))) (* (/ (- y x) (cbrt t)) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ 1 (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) z) (* (- y x) (/ z (cbrt t))) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) 9.938 * * [simplify]: iteration 0 : 155 enodes (cost 1459 ) 9.978 * * [simplify]: iteration 1 : 461 enodes (cost 1403 ) 10.128 * * [simplify]: iteration 2 : 1932 enodes (cost 1075 ) 10.591 * * [simplify]: iteration done : 5000 enodes (cost 1067 ) 10.592 * [simplify]: Simplified to: (expm1 (/ (* (- y x) z) (pow (cbrt t) 3))) (log1p (/ (* (- y x) z) (pow (cbrt t) 3))) (/ (* (- y x) z) (pow (cbrt t) 3)) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (exp (/ (* (- y x) z) (pow (cbrt t) 3))) (* (/ (pow z 3) t) (/ (pow (- y x) 3) (* t t))) (* (/ (pow (- y x) 3) (* t t)) (pow (/ z (cbrt t)) 3)) (* (pow (/ (- y x) (pow t 2/3)) 3) (/ (pow z 3) t)) (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3) (* (pow (/ (- y x) (pow t 2/3)) 3) (/ (pow z 3) t)) (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3) (* (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))) (cbrt (/ (* (- y x) z) (pow (cbrt t) 3)))) (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))) (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3) (sqrt (/ (* (- y x) z) (pow (cbrt t) 3))) (sqrt (/ (* (- y x) z) (pow (cbrt t) 3))) (* (- y x) z) (pow (cbrt t) 3) (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t)))) (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t)))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (cbrt (sqrt t)) (sqrt z))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (cbrt (sqrt t)) (sqrt z))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt (cbrt t)) (sqrt z))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt (cbrt t)) (sqrt z))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (/ (* (- y x) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (pow t 2/3)) (/ (* (- y x) (sqrt (/ z (cbrt t)))) (pow t 2/3)) (/ (/ (* (- y x) (* (cbrt z) (cbrt z))) (pow t 2/3)) (cbrt (pow t 2/3))) (/ (* (- y x) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t)))) (pow t 2/3)) (/ (* (- y x) (* (cbrt z) (cbrt z))) (pow t 2/3)) (/ (* (- y x) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (pow t 2/3))) (/ (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t)))) (pow t 2/3)) (/ (* (- y x) (* (cbrt z) (cbrt z))) (pow t 2/3)) (/ (/ (* (- y x) (sqrt z)) (pow t 2/3)) (cbrt (pow t 2/3))) (/ (* (- y x) (/ (sqrt z) (cbrt (sqrt t)))) (pow t 2/3)) (/ (* (- y x) (sqrt z)) (pow t 2/3)) (/ (* (- y x) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (pow t 2/3)) (/ (* (- y x) (/ (sqrt z) (sqrt (cbrt t)))) (pow t 2/3)) (/ (* (- y x) (sqrt z)) (pow t 2/3)) (/ (/ (- y x) (cbrt (pow t 2/3))) (pow t 2/3)) (/ (- y x) (* (cbrt (sqrt t)) (pow t 2/3))) (/ (- y x) (pow t 2/3)) (/ (- y x) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (pow t 2/3))) (/ (/ (- y x) (sqrt (cbrt t))) (pow t 2/3)) (/ (- y x) (pow t 2/3)) (/ (- y x) (pow t 2/3)) (/ (* (- y x) z) (pow t 2/3)) (* (cbrt (/ (- y x) (pow t 2/3))) (/ z (cbrt t))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (cbrt t) z)) (/ (* (cbrt (- y x)) z) (pow t 2/3)) (/ (* (sqrt (- y x)) z) (pow t 2/3)) (/ (* (- y x) z) (pow t 2/3)) (/ (* (- (sqrt y) (sqrt x)) z) (pow t 2/3)) (/ (* (- y x) z) (pow t 2/3)) (/ (* (- y x) z) (pow (cbrt t) 3)) (/ z (pow (cbrt t) 3)) (/ (* (- y x) z) (pow t 2/3)) (* (- y x) (/ z (cbrt t))) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) 10.593 * * * [progress]: adding candidates to table 10.924 * * [progress]: iteration 3 / 4 10.924 * * * [progress]: picking best candidate 10.933 * * * * [pick]: Picked # 10.933 * * * [progress]: localizing error 10.944 * * * [progress]: generating rewritten candidates 10.944 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 10.946 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 10.947 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 10.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 10.979 * * * [progress]: generating series expansions 10.979 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 10.979 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 10.980 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 10.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 10.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 10.980 * [taylor]: Taking taylor expansion of 1/3 in t 10.980 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 10.980 * [taylor]: Taking taylor expansion of (/ z t) in t 10.980 * [taylor]: Taking taylor expansion of z in t 10.980 * [taylor]: Taking taylor expansion of t in t 10.980 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.980 * [taylor]: Taking taylor expansion of 1/3 in z 10.980 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.980 * [taylor]: Taking taylor expansion of (/ z t) in z 10.980 * [taylor]: Taking taylor expansion of z in z 10.981 * [taylor]: Taking taylor expansion of t in z 10.981 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.981 * [taylor]: Taking taylor expansion of 1/3 in z 10.981 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.981 * [taylor]: Taking taylor expansion of (/ z t) in z 10.981 * [taylor]: Taking taylor expansion of z in z 10.981 * [taylor]: Taking taylor expansion of t in z 10.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 10.982 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 10.982 * [taylor]: Taking taylor expansion of 1/3 in t 10.982 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 10.982 * [taylor]: Taking taylor expansion of (log z) in t 10.982 * [taylor]: Taking taylor expansion of z in t 10.982 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.982 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.982 * [taylor]: Taking taylor expansion of t in t 10.985 * [taylor]: Taking taylor expansion of 0 in t 10.994 * [taylor]: Taking taylor expansion of 0 in t 11.003 * [taylor]: Taking taylor expansion of 0 in t 11.003 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 11.003 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 11.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 11.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 11.003 * [taylor]: Taking taylor expansion of 1/3 in t 11.003 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 11.003 * [taylor]: Taking taylor expansion of (/ t z) in t 11.003 * [taylor]: Taking taylor expansion of t in t 11.003 * [taylor]: Taking taylor expansion of z in t 11.004 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.004 * [taylor]: Taking taylor expansion of 1/3 in z 11.004 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.004 * [taylor]: Taking taylor expansion of (/ t z) in z 11.004 * [taylor]: Taking taylor expansion of t in z 11.004 * [taylor]: Taking taylor expansion of z in z 11.004 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.004 * [taylor]: Taking taylor expansion of 1/3 in z 11.004 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.004 * [taylor]: Taking taylor expansion of (/ t z) in z 11.004 * [taylor]: Taking taylor expansion of t in z 11.004 * [taylor]: Taking taylor expansion of z in z 11.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 11.005 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 11.005 * [taylor]: Taking taylor expansion of 1/3 in t 11.005 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 11.005 * [taylor]: Taking taylor expansion of (log t) in t 11.005 * [taylor]: Taking taylor expansion of t in t 11.005 * [taylor]: Taking taylor expansion of (log z) in t 11.005 * [taylor]: Taking taylor expansion of z in t 11.008 * [taylor]: Taking taylor expansion of 0 in t 11.014 * [taylor]: Taking taylor expansion of 0 in t 11.023 * [taylor]: Taking taylor expansion of 0 in t 11.023 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 11.023 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 11.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 11.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 11.023 * [taylor]: Taking taylor expansion of 1/3 in t 11.023 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 11.023 * [taylor]: Taking taylor expansion of (/ t z) in t 11.023 * [taylor]: Taking taylor expansion of t in t 11.023 * [taylor]: Taking taylor expansion of z in t 11.024 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.024 * [taylor]: Taking taylor expansion of 1/3 in z 11.024 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.024 * [taylor]: Taking taylor expansion of (/ t z) in z 11.024 * [taylor]: Taking taylor expansion of t in z 11.024 * [taylor]: Taking taylor expansion of z in z 11.024 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.025 * [taylor]: Taking taylor expansion of 1/3 in z 11.025 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.025 * [taylor]: Taking taylor expansion of (/ t z) in z 11.025 * [taylor]: Taking taylor expansion of t in z 11.025 * [taylor]: Taking taylor expansion of z in z 11.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 11.025 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 11.025 * [taylor]: Taking taylor expansion of 1/3 in t 11.025 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 11.025 * [taylor]: Taking taylor expansion of (log t) in t 11.025 * [taylor]: Taking taylor expansion of t in t 11.025 * [taylor]: Taking taylor expansion of (log z) in t 11.025 * [taylor]: Taking taylor expansion of z in t 11.028 * [taylor]: Taking taylor expansion of 0 in t 11.034 * [taylor]: Taking taylor expansion of 0 in t 11.043 * [taylor]: Taking taylor expansion of 0 in t 11.043 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 11.043 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 11.043 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 11.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 11.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 11.043 * [taylor]: Taking taylor expansion of 1/3 in t 11.043 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 11.043 * [taylor]: Taking taylor expansion of (/ z t) in t 11.043 * [taylor]: Taking taylor expansion of z in t 11.044 * [taylor]: Taking taylor expansion of t in t 11.044 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 11.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 11.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 11.044 * [taylor]: Taking taylor expansion of 1/3 in z 11.044 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 11.044 * [taylor]: Taking taylor expansion of (/ z t) in z 11.044 * [taylor]: Taking taylor expansion of z in z 11.044 * [taylor]: Taking taylor expansion of t in z 11.045 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 11.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 11.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 11.045 * [taylor]: Taking taylor expansion of 1/3 in z 11.045 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 11.045 * [taylor]: Taking taylor expansion of (/ z t) in z 11.045 * [taylor]: Taking taylor expansion of z in z 11.045 * [taylor]: Taking taylor expansion of t in z 11.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 11.046 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 11.046 * [taylor]: Taking taylor expansion of 1/3 in t 11.046 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 11.046 * [taylor]: Taking taylor expansion of (log z) in t 11.046 * [taylor]: Taking taylor expansion of z in t 11.046 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 11.046 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.046 * [taylor]: Taking taylor expansion of t in t 11.048 * [taylor]: Taking taylor expansion of 0 in t 11.054 * [taylor]: Taking taylor expansion of 0 in t 11.062 * [taylor]: Taking taylor expansion of 0 in t 11.062 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 11.062 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 11.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 11.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 11.062 * [taylor]: Taking taylor expansion of 1/3 in t 11.062 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 11.062 * [taylor]: Taking taylor expansion of (/ t z) in t 11.062 * [taylor]: Taking taylor expansion of t in t 11.062 * [taylor]: Taking taylor expansion of z in t 11.063 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.063 * [taylor]: Taking taylor expansion of 1/3 in z 11.063 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.063 * [taylor]: Taking taylor expansion of (/ t z) in z 11.063 * [taylor]: Taking taylor expansion of t in z 11.063 * [taylor]: Taking taylor expansion of z in z 11.064 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.064 * [taylor]: Taking taylor expansion of 1/3 in z 11.064 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.064 * [taylor]: Taking taylor expansion of (/ t z) in z 11.064 * [taylor]: Taking taylor expansion of t in z 11.064 * [taylor]: Taking taylor expansion of z in z 11.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 11.064 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 11.064 * [taylor]: Taking taylor expansion of 1/3 in t 11.064 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 11.064 * [taylor]: Taking taylor expansion of (log t) in t 11.064 * [taylor]: Taking taylor expansion of t in t 11.065 * [taylor]: Taking taylor expansion of (log z) in t 11.065 * [taylor]: Taking taylor expansion of z in t 11.067 * [taylor]: Taking taylor expansion of 0 in t 11.073 * [taylor]: Taking taylor expansion of 0 in t 11.087 * [taylor]: Taking taylor expansion of 0 in t 11.087 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 11.087 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 11.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 11.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 11.087 * [taylor]: Taking taylor expansion of 1/3 in t 11.087 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 11.087 * [taylor]: Taking taylor expansion of (/ t z) in t 11.087 * [taylor]: Taking taylor expansion of t in t 11.087 * [taylor]: Taking taylor expansion of z in t 11.088 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.088 * [taylor]: Taking taylor expansion of 1/3 in z 11.088 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.088 * [taylor]: Taking taylor expansion of (/ t z) in z 11.088 * [taylor]: Taking taylor expansion of t in z 11.088 * [taylor]: Taking taylor expansion of z in z 11.088 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.089 * [taylor]: Taking taylor expansion of 1/3 in z 11.089 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.089 * [taylor]: Taking taylor expansion of (/ t z) in z 11.089 * [taylor]: Taking taylor expansion of t in z 11.089 * [taylor]: Taking taylor expansion of z in z 11.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 11.089 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 11.089 * [taylor]: Taking taylor expansion of 1/3 in t 11.089 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 11.089 * [taylor]: Taking taylor expansion of (log t) in t 11.089 * [taylor]: Taking taylor expansion of t in t 11.090 * [taylor]: Taking taylor expansion of (log z) in t 11.090 * [taylor]: Taking taylor expansion of z in t 11.092 * [taylor]: Taking taylor expansion of 0 in t 11.098 * [taylor]: Taking taylor expansion of 0 in t 11.107 * [taylor]: Taking taylor expansion of 0 in t 11.107 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 11.107 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 11.107 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 11.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 11.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 11.107 * [taylor]: Taking taylor expansion of 1/3 in t 11.108 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 11.108 * [taylor]: Taking taylor expansion of (/ z t) in t 11.108 * [taylor]: Taking taylor expansion of z in t 11.108 * [taylor]: Taking taylor expansion of t in t 11.108 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 11.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 11.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 11.108 * [taylor]: Taking taylor expansion of 1/3 in z 11.108 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 11.108 * [taylor]: Taking taylor expansion of (/ z t) in z 11.108 * [taylor]: Taking taylor expansion of z in z 11.108 * [taylor]: Taking taylor expansion of t in z 11.109 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 11.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 11.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 11.109 * [taylor]: Taking taylor expansion of 1/3 in z 11.109 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 11.109 * [taylor]: Taking taylor expansion of (/ z t) in z 11.109 * [taylor]: Taking taylor expansion of z in z 11.109 * [taylor]: Taking taylor expansion of t in z 11.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 11.109 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 11.109 * [taylor]: Taking taylor expansion of 1/3 in t 11.109 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 11.110 * [taylor]: Taking taylor expansion of (log z) in t 11.110 * [taylor]: Taking taylor expansion of z in t 11.110 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 11.110 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.110 * [taylor]: Taking taylor expansion of t in t 11.113 * [taylor]: Taking taylor expansion of 0 in t 11.118 * [taylor]: Taking taylor expansion of 0 in t 11.126 * [taylor]: Taking taylor expansion of 0 in t 11.126 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 11.126 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 11.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 11.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 11.126 * [taylor]: Taking taylor expansion of 1/3 in t 11.126 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 11.127 * [taylor]: Taking taylor expansion of (/ t z) in t 11.127 * [taylor]: Taking taylor expansion of t in t 11.127 * [taylor]: Taking taylor expansion of z in t 11.127 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.127 * [taylor]: Taking taylor expansion of 1/3 in z 11.127 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.127 * [taylor]: Taking taylor expansion of (/ t z) in z 11.127 * [taylor]: Taking taylor expansion of t in z 11.127 * [taylor]: Taking taylor expansion of z in z 11.128 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.128 * [taylor]: Taking taylor expansion of 1/3 in z 11.128 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.128 * [taylor]: Taking taylor expansion of (/ t z) in z 11.128 * [taylor]: Taking taylor expansion of t in z 11.128 * [taylor]: Taking taylor expansion of z in z 11.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 11.129 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 11.129 * [taylor]: Taking taylor expansion of 1/3 in t 11.129 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 11.129 * [taylor]: Taking taylor expansion of (log t) in t 11.129 * [taylor]: Taking taylor expansion of t in t 11.129 * [taylor]: Taking taylor expansion of (log z) in t 11.129 * [taylor]: Taking taylor expansion of z in t 11.132 * [taylor]: Taking taylor expansion of 0 in t 11.137 * [taylor]: Taking taylor expansion of 0 in t 11.146 * [taylor]: Taking taylor expansion of 0 in t 11.146 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 11.146 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 11.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 11.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 11.146 * [taylor]: Taking taylor expansion of 1/3 in t 11.146 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 11.146 * [taylor]: Taking taylor expansion of (/ t z) in t 11.146 * [taylor]: Taking taylor expansion of t in t 11.146 * [taylor]: Taking taylor expansion of z in t 11.147 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.147 * [taylor]: Taking taylor expansion of 1/3 in z 11.147 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.147 * [taylor]: Taking taylor expansion of (/ t z) in z 11.147 * [taylor]: Taking taylor expansion of t in z 11.147 * [taylor]: Taking taylor expansion of z in z 11.147 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 11.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 11.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 11.148 * [taylor]: Taking taylor expansion of 1/3 in z 11.148 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 11.148 * [taylor]: Taking taylor expansion of (/ t z) in z 11.148 * [taylor]: Taking taylor expansion of t in z 11.148 * [taylor]: Taking taylor expansion of z in z 11.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 11.148 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 11.148 * [taylor]: Taking taylor expansion of 1/3 in t 11.148 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 11.148 * [taylor]: Taking taylor expansion of (log t) in t 11.148 * [taylor]: Taking taylor expansion of t in t 11.148 * [taylor]: Taking taylor expansion of (log z) in t 11.149 * [taylor]: Taking taylor expansion of z in t 11.151 * [taylor]: Taking taylor expansion of 0 in t 11.157 * [taylor]: Taking taylor expansion of 0 in t 11.166 * [taylor]: Taking taylor expansion of 0 in t 11.167 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 11.167 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0 11.167 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t 11.167 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t 11.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t 11.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t 11.167 * [taylor]: Taking taylor expansion of 1/3 in t 11.167 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t 11.167 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 11.167 * [taylor]: Taking taylor expansion of (pow z 2) in t 11.167 * [taylor]: Taking taylor expansion of z in t 11.167 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.167 * [taylor]: Taking taylor expansion of t in t 11.173 * [taylor]: Taking taylor expansion of (- y x) in t 11.173 * [taylor]: Taking taylor expansion of y in t 11.174 * [taylor]: Taking taylor expansion of x in t 11.174 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z 11.174 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 11.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 11.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 11.174 * [taylor]: Taking taylor expansion of 1/3 in z 11.174 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 11.174 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 11.174 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.174 * [taylor]: Taking taylor expansion of z in z 11.174 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.174 * [taylor]: Taking taylor expansion of t in z 11.175 * [taylor]: Taking taylor expansion of (- y x) in z 11.175 * [taylor]: Taking taylor expansion of y in z 11.175 * [taylor]: Taking taylor expansion of x in z 11.175 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x 11.175 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 11.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 11.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 11.175 * [taylor]: Taking taylor expansion of 1/3 in x 11.175 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 11.175 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 11.175 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.175 * [taylor]: Taking taylor expansion of z in x 11.175 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.175 * [taylor]: Taking taylor expansion of t in x 11.176 * [taylor]: Taking taylor expansion of (- y x) in x 11.176 * [taylor]: Taking taylor expansion of y in x 11.176 * [taylor]: Taking taylor expansion of x in x 11.176 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 11.176 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 11.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 11.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 11.176 * [taylor]: Taking taylor expansion of 1/3 in y 11.176 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 11.176 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 11.176 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.176 * [taylor]: Taking taylor expansion of z in y 11.176 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.176 * [taylor]: Taking taylor expansion of t in y 11.176 * [taylor]: Taking taylor expansion of (- y x) in y 11.176 * [taylor]: Taking taylor expansion of y in y 11.176 * [taylor]: Taking taylor expansion of x in y 11.176 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 11.177 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 11.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 11.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 11.177 * [taylor]: Taking taylor expansion of 1/3 in y 11.177 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 11.177 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 11.177 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.177 * [taylor]: Taking taylor expansion of z in y 11.177 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.177 * [taylor]: Taking taylor expansion of t in y 11.177 * [taylor]: Taking taylor expansion of (- y x) in y 11.177 * [taylor]: Taking taylor expansion of y in y 11.177 * [taylor]: Taking taylor expansion of x in y 11.178 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x 11.178 * [taylor]: Taking taylor expansion of -1 in x 11.178 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x 11.178 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 11.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 11.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 11.178 * [taylor]: Taking taylor expansion of 1/3 in x 11.178 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 11.178 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 11.178 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.178 * [taylor]: Taking taylor expansion of z in x 11.178 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.178 * [taylor]: Taking taylor expansion of t in x 11.178 * [taylor]: Taking taylor expansion of x in x 11.179 * [taylor]: Taking taylor expansion of 0 in z 11.179 * [taylor]: Taking taylor expansion of 0 in t 11.182 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 11.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 11.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 11.182 * [taylor]: Taking taylor expansion of 1/3 in x 11.182 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 11.182 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 11.182 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.182 * [taylor]: Taking taylor expansion of z in x 11.182 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.182 * [taylor]: Taking taylor expansion of t in x 11.182 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 11.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 11.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 11.182 * [taylor]: Taking taylor expansion of 1/3 in z 11.182 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 11.182 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 11.182 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.182 * [taylor]: Taking taylor expansion of z in z 11.182 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.182 * [taylor]: Taking taylor expansion of t in z 11.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 11.184 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 11.184 * [taylor]: Taking taylor expansion of 1/3 in t 11.184 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 11.184 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.184 * [taylor]: Taking taylor expansion of 2 in t 11.184 * [taylor]: Taking taylor expansion of (log z) in t 11.184 * [taylor]: Taking taylor expansion of z in t 11.184 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 11.184 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 11.184 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.184 * [taylor]: Taking taylor expansion of t in t 11.188 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z 11.188 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 11.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 11.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 11.188 * [taylor]: Taking taylor expansion of 1/3 in z 11.188 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 11.188 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 11.188 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.188 * [taylor]: Taking taylor expansion of z in z 11.188 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.188 * [taylor]: Taking taylor expansion of t in z 11.189 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t 11.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 11.190 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 11.190 * [taylor]: Taking taylor expansion of 1/3 in t 11.190 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 11.190 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.190 * [taylor]: Taking taylor expansion of 2 in t 11.190 * [taylor]: Taking taylor expansion of (log z) in t 11.190 * [taylor]: Taking taylor expansion of z in t 11.190 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 11.190 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 11.190 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.190 * [taylor]: Taking taylor expansion of t in t 11.191 * [taylor]: Taking taylor expansion of 0 in t 11.196 * [taylor]: Taking taylor expansion of 0 in x 11.197 * [taylor]: Taking taylor expansion of 0 in z 11.197 * [taylor]: Taking taylor expansion of 0 in t 11.199 * [taylor]: Taking taylor expansion of 0 in z 11.199 * [taylor]: Taking taylor expansion of 0 in t 11.204 * [taylor]: Taking taylor expansion of 0 in z 11.204 * [taylor]: Taking taylor expansion of 0 in t 11.206 * [taylor]: Taking taylor expansion of 0 in t 11.207 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0 11.207 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t 11.207 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 11.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 11.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 11.207 * [taylor]: Taking taylor expansion of 1/3 in t 11.207 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 11.207 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 11.207 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.207 * [taylor]: Taking taylor expansion of t in t 11.207 * [taylor]: Taking taylor expansion of (pow z 2) in t 11.207 * [taylor]: Taking taylor expansion of z in t 11.209 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 11.209 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.209 * [taylor]: Taking taylor expansion of y in t 11.209 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.209 * [taylor]: Taking taylor expansion of x in t 11.209 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z 11.209 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.209 * [taylor]: Taking taylor expansion of 1/3 in z 11.209 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.209 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.209 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.209 * [taylor]: Taking taylor expansion of t in z 11.209 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.209 * [taylor]: Taking taylor expansion of z in z 11.210 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 11.210 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.210 * [taylor]: Taking taylor expansion of y in z 11.210 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.210 * [taylor]: Taking taylor expansion of x in z 11.210 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x 11.210 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.210 * [taylor]: Taking taylor expansion of 1/3 in x 11.210 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.210 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.210 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.210 * [taylor]: Taking taylor expansion of t in x 11.210 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.210 * [taylor]: Taking taylor expansion of z in x 11.211 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 11.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.211 * [taylor]: Taking taylor expansion of y in x 11.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.211 * [taylor]: Taking taylor expansion of x in x 11.211 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 11.212 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.212 * [taylor]: Taking taylor expansion of 1/3 in y 11.212 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.212 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.212 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.212 * [taylor]: Taking taylor expansion of t in y 11.212 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.212 * [taylor]: Taking taylor expansion of z in y 11.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 11.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.212 * [taylor]: Taking taylor expansion of y in y 11.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.213 * [taylor]: Taking taylor expansion of x in y 11.213 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 11.213 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.213 * [taylor]: Taking taylor expansion of 1/3 in y 11.213 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.213 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.213 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.213 * [taylor]: Taking taylor expansion of t in y 11.213 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.213 * [taylor]: Taking taylor expansion of z in y 11.213 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 11.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.213 * [taylor]: Taking taylor expansion of y in y 11.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.214 * [taylor]: Taking taylor expansion of x in y 11.214 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.214 * [taylor]: Taking taylor expansion of 1/3 in x 11.214 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.214 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.214 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.214 * [taylor]: Taking taylor expansion of t in x 11.214 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.214 * [taylor]: Taking taylor expansion of z in x 11.218 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x 11.218 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 11.218 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.218 * [taylor]: Taking taylor expansion of 1/3 in x 11.218 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.218 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.218 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.218 * [taylor]: Taking taylor expansion of t in x 11.218 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.218 * [taylor]: Taking taylor expansion of z in x 11.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.219 * [taylor]: Taking taylor expansion of x in x 11.220 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 11.220 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.220 * [taylor]: Taking taylor expansion of 1/3 in z 11.220 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.220 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.220 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.220 * [taylor]: Taking taylor expansion of t in z 11.220 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.220 * [taylor]: Taking taylor expansion of z in z 11.221 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 11.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.221 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.221 * [taylor]: Taking taylor expansion of 1/3 in t 11.221 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.221 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.221 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.221 * [taylor]: Taking taylor expansion of t in t 11.222 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.222 * [taylor]: Taking taylor expansion of 2 in t 11.222 * [taylor]: Taking taylor expansion of (log z) in t 11.222 * [taylor]: Taking taylor expansion of z in t 11.223 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.223 * [taylor]: Taking taylor expansion of 1/3 in z 11.223 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.223 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.223 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.223 * [taylor]: Taking taylor expansion of t in z 11.223 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.223 * [taylor]: Taking taylor expansion of z in z 11.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.224 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.224 * [taylor]: Taking taylor expansion of 1/3 in t 11.224 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.224 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.224 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.224 * [taylor]: Taking taylor expansion of t in t 11.224 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.224 * [taylor]: Taking taylor expansion of 2 in t 11.224 * [taylor]: Taking taylor expansion of (log z) in t 11.224 * [taylor]: Taking taylor expansion of z in t 11.230 * [taylor]: Taking taylor expansion of 0 in x 11.233 * [taylor]: Taking taylor expansion of 0 in z 11.233 * [taylor]: Taking taylor expansion of 0 in t 11.235 * [taylor]: Taking taylor expansion of 0 in z 11.235 * [taylor]: Taking taylor expansion of 0 in t 11.238 * [taylor]: Taking taylor expansion of 0 in t 11.241 * [taylor]: Taking taylor expansion of 0 in t 11.249 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0 11.249 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t 11.249 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 11.249 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.249 * [taylor]: Taking taylor expansion of x in t 11.249 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.249 * [taylor]: Taking taylor expansion of y in t 11.249 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 11.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 11.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 11.249 * [taylor]: Taking taylor expansion of 1/3 in t 11.249 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 11.249 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 11.249 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.249 * [taylor]: Taking taylor expansion of t in t 11.249 * [taylor]: Taking taylor expansion of (pow z 2) in t 11.249 * [taylor]: Taking taylor expansion of z in t 11.250 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 11.250 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 11.250 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.250 * [taylor]: Taking taylor expansion of x in z 11.250 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.250 * [taylor]: Taking taylor expansion of y in z 11.250 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.250 * [taylor]: Taking taylor expansion of 1/3 in z 11.250 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.250 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.250 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.250 * [taylor]: Taking taylor expansion of t in z 11.250 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.250 * [taylor]: Taking taylor expansion of z in z 11.251 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 11.251 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 11.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.251 * [taylor]: Taking taylor expansion of x in x 11.252 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.252 * [taylor]: Taking taylor expansion of y in x 11.252 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.252 * [taylor]: Taking taylor expansion of 1/3 in x 11.252 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.252 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.252 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.252 * [taylor]: Taking taylor expansion of t in x 11.252 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.252 * [taylor]: Taking taylor expansion of z in x 11.252 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 11.252 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 11.252 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.253 * [taylor]: Taking taylor expansion of x in y 11.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.253 * [taylor]: Taking taylor expansion of y in y 11.253 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.253 * [taylor]: Taking taylor expansion of 1/3 in y 11.253 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.253 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.253 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.253 * [taylor]: Taking taylor expansion of t in y 11.253 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.253 * [taylor]: Taking taylor expansion of z in y 11.254 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 11.254 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 11.254 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.254 * [taylor]: Taking taylor expansion of x in y 11.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.254 * [taylor]: Taking taylor expansion of y in y 11.254 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.254 * [taylor]: Taking taylor expansion of 1/3 in y 11.254 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.254 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.254 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.254 * [taylor]: Taking taylor expansion of t in y 11.254 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.254 * [taylor]: Taking taylor expansion of z in y 11.255 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 11.255 * [taylor]: Taking taylor expansion of -1 in x 11.255 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.256 * [taylor]: Taking taylor expansion of 1/3 in x 11.256 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.256 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.256 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.256 * [taylor]: Taking taylor expansion of t in x 11.256 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.256 * [taylor]: Taking taylor expansion of z in x 11.259 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 11.259 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.259 * [taylor]: Taking taylor expansion of 1/3 in x 11.259 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.259 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.259 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.259 * [taylor]: Taking taylor expansion of t in x 11.259 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.259 * [taylor]: Taking taylor expansion of z in x 11.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.260 * [taylor]: Taking taylor expansion of x in x 11.260 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.260 * [taylor]: Taking taylor expansion of 1/3 in z 11.261 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.261 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.261 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.261 * [taylor]: Taking taylor expansion of t in z 11.261 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.261 * [taylor]: Taking taylor expansion of z in z 11.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.262 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.262 * [taylor]: Taking taylor expansion of 1/3 in t 11.262 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.262 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.262 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.262 * [taylor]: Taking taylor expansion of t in t 11.262 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.263 * [taylor]: Taking taylor expansion of 2 in t 11.263 * [taylor]: Taking taylor expansion of (log z) in t 11.263 * [taylor]: Taking taylor expansion of z in t 11.264 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 11.264 * [taylor]: Taking taylor expansion of -1 in z 11.264 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.264 * [taylor]: Taking taylor expansion of 1/3 in z 11.264 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.264 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.264 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.264 * [taylor]: Taking taylor expansion of t in z 11.264 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.264 * [taylor]: Taking taylor expansion of z in z 11.265 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 11.265 * [taylor]: Taking taylor expansion of -1 in t 11.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.265 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.265 * [taylor]: Taking taylor expansion of 1/3 in t 11.265 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.265 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.265 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.265 * [taylor]: Taking taylor expansion of t in t 11.265 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.265 * [taylor]: Taking taylor expansion of 2 in t 11.266 * [taylor]: Taking taylor expansion of (log z) in t 11.266 * [taylor]: Taking taylor expansion of z in t 11.271 * [taylor]: Taking taylor expansion of 0 in x 11.279 * [taylor]: Taking taylor expansion of 0 in z 11.279 * [taylor]: Taking taylor expansion of 0 in t 11.281 * [taylor]: Taking taylor expansion of 0 in z 11.281 * [taylor]: Taking taylor expansion of 0 in t 11.284 * [taylor]: Taking taylor expansion of 0 in t 11.287 * [taylor]: Taking taylor expansion of 0 in t 11.295 * * * [progress]: simplifying candidates 11.296 * [simplify]: Simplifying using # : (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t))))) (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t))))) (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t)))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x)) (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))))) (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z)))))))) 11.302 * * [simplify]: iteration 0 : 166 enodes (cost 1441 ) 11.329 * * [simplify]: iteration 1 : 349 enodes (cost 1351 ) 11.396 * * [simplify]: iteration 2 : 902 enodes (cost 1239 ) 11.666 * * [simplify]: iteration 3 : 2777 enodes (cost 1214 ) 12.287 * * [simplify]: iteration done : 5001 enodes (cost 1214 ) 12.292 * [simplify]: Simplified to: (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (* (exp (* 2/3 (- (log z) (log t)))) (- y x)) (* (exp (* 2/3 (- (log z) (log t)))) (- y x)) (* (- y x) (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z)))))) 12.293 * * * [progress]: adding candidates to table 12.643 * * [progress]: iteration 4 / 4 12.643 * * * [progress]: picking best candidate 12.654 * * * * [pick]: Picked # 12.655 * * * [progress]: localizing error 12.670 * * * [progress]: generating rewritten candidates 12.670 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 12.672 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 12.674 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 12.703 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 12.708 * * * [progress]: generating series expansions 12.708 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 12.708 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 12.709 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 12.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 12.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 12.709 * [taylor]: Taking taylor expansion of 1/3 in t 12.709 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 12.709 * [taylor]: Taking taylor expansion of (/ z t) in t 12.709 * [taylor]: Taking taylor expansion of z in t 12.709 * [taylor]: Taking taylor expansion of t in t 12.709 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.709 * [taylor]: Taking taylor expansion of 1/3 in z 12.709 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.710 * [taylor]: Taking taylor expansion of (/ z t) in z 12.710 * [taylor]: Taking taylor expansion of z in z 12.710 * [taylor]: Taking taylor expansion of t in z 12.710 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.710 * [taylor]: Taking taylor expansion of 1/3 in z 12.710 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.710 * [taylor]: Taking taylor expansion of (/ z t) in z 12.710 * [taylor]: Taking taylor expansion of z in z 12.710 * [taylor]: Taking taylor expansion of t in z 12.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 12.711 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 12.711 * [taylor]: Taking taylor expansion of 1/3 in t 12.711 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 12.711 * [taylor]: Taking taylor expansion of (log z) in t 12.711 * [taylor]: Taking taylor expansion of z in t 12.711 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 12.711 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.711 * [taylor]: Taking taylor expansion of t in t 12.714 * [taylor]: Taking taylor expansion of 0 in t 12.719 * [taylor]: Taking taylor expansion of 0 in t 12.727 * [taylor]: Taking taylor expansion of 0 in t 12.727 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 12.727 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 12.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 12.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 12.728 * [taylor]: Taking taylor expansion of 1/3 in t 12.728 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 12.728 * [taylor]: Taking taylor expansion of (/ t z) in t 12.728 * [taylor]: Taking taylor expansion of t in t 12.728 * [taylor]: Taking taylor expansion of z in t 12.728 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.728 * [taylor]: Taking taylor expansion of 1/3 in z 12.728 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.728 * [taylor]: Taking taylor expansion of (/ t z) in z 12.728 * [taylor]: Taking taylor expansion of t in z 12.728 * [taylor]: Taking taylor expansion of z in z 12.729 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.729 * [taylor]: Taking taylor expansion of 1/3 in z 12.729 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.729 * [taylor]: Taking taylor expansion of (/ t z) in z 12.729 * [taylor]: Taking taylor expansion of t in z 12.729 * [taylor]: Taking taylor expansion of z in z 12.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 12.729 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 12.729 * [taylor]: Taking taylor expansion of 1/3 in t 12.729 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 12.729 * [taylor]: Taking taylor expansion of (log t) in t 12.729 * [taylor]: Taking taylor expansion of t in t 12.730 * [taylor]: Taking taylor expansion of (log z) in t 12.730 * [taylor]: Taking taylor expansion of z in t 12.733 * [taylor]: Taking taylor expansion of 0 in t 12.738 * [taylor]: Taking taylor expansion of 0 in t 12.747 * [taylor]: Taking taylor expansion of 0 in t 12.747 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 12.747 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 12.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 12.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 12.747 * [taylor]: Taking taylor expansion of 1/3 in t 12.747 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 12.747 * [taylor]: Taking taylor expansion of (/ t z) in t 12.747 * [taylor]: Taking taylor expansion of t in t 12.747 * [taylor]: Taking taylor expansion of z in t 12.748 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.748 * [taylor]: Taking taylor expansion of 1/3 in z 12.748 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.748 * [taylor]: Taking taylor expansion of (/ t z) in z 12.748 * [taylor]: Taking taylor expansion of t in z 12.748 * [taylor]: Taking taylor expansion of z in z 12.749 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.749 * [taylor]: Taking taylor expansion of 1/3 in z 12.749 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.749 * [taylor]: Taking taylor expansion of (/ t z) in z 12.749 * [taylor]: Taking taylor expansion of t in z 12.749 * [taylor]: Taking taylor expansion of z in z 12.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 12.749 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 12.749 * [taylor]: Taking taylor expansion of 1/3 in t 12.749 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 12.749 * [taylor]: Taking taylor expansion of (log t) in t 12.749 * [taylor]: Taking taylor expansion of t in t 12.750 * [taylor]: Taking taylor expansion of (log z) in t 12.750 * [taylor]: Taking taylor expansion of z in t 12.753 * [taylor]: Taking taylor expansion of 0 in t 12.758 * [taylor]: Taking taylor expansion of 0 in t 12.767 * [taylor]: Taking taylor expansion of 0 in t 12.767 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 12.767 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 12.767 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 12.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 12.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 12.767 * [taylor]: Taking taylor expansion of 1/3 in t 12.767 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 12.767 * [taylor]: Taking taylor expansion of (/ z t) in t 12.767 * [taylor]: Taking taylor expansion of z in t 12.767 * [taylor]: Taking taylor expansion of t in t 12.768 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.768 * [taylor]: Taking taylor expansion of 1/3 in z 12.768 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.768 * [taylor]: Taking taylor expansion of (/ z t) in z 12.768 * [taylor]: Taking taylor expansion of z in z 12.768 * [taylor]: Taking taylor expansion of t in z 12.768 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.768 * [taylor]: Taking taylor expansion of 1/3 in z 12.769 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.769 * [taylor]: Taking taylor expansion of (/ z t) in z 12.769 * [taylor]: Taking taylor expansion of z in z 12.769 * [taylor]: Taking taylor expansion of t in z 12.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 12.769 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 12.769 * [taylor]: Taking taylor expansion of 1/3 in t 12.769 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 12.769 * [taylor]: Taking taylor expansion of (log z) in t 12.769 * [taylor]: Taking taylor expansion of z in t 12.769 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 12.769 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.769 * [taylor]: Taking taylor expansion of t in t 12.772 * [taylor]: Taking taylor expansion of 0 in t 12.777 * [taylor]: Taking taylor expansion of 0 in t 12.791 * [taylor]: Taking taylor expansion of 0 in t 12.791 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 12.791 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 12.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 12.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 12.791 * [taylor]: Taking taylor expansion of 1/3 in t 12.791 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 12.791 * [taylor]: Taking taylor expansion of (/ t z) in t 12.791 * [taylor]: Taking taylor expansion of t in t 12.792 * [taylor]: Taking taylor expansion of z in t 12.792 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.792 * [taylor]: Taking taylor expansion of 1/3 in z 12.792 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.792 * [taylor]: Taking taylor expansion of (/ t z) in z 12.792 * [taylor]: Taking taylor expansion of t in z 12.792 * [taylor]: Taking taylor expansion of z in z 12.793 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.793 * [taylor]: Taking taylor expansion of 1/3 in z 12.793 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.793 * [taylor]: Taking taylor expansion of (/ t z) in z 12.793 * [taylor]: Taking taylor expansion of t in z 12.793 * [taylor]: Taking taylor expansion of z in z 12.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 12.793 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 12.793 * [taylor]: Taking taylor expansion of 1/3 in t 12.793 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 12.793 * [taylor]: Taking taylor expansion of (log t) in t 12.793 * [taylor]: Taking taylor expansion of t in t 12.794 * [taylor]: Taking taylor expansion of (log z) in t 12.794 * [taylor]: Taking taylor expansion of z in t 12.796 * [taylor]: Taking taylor expansion of 0 in t 12.802 * [taylor]: Taking taylor expansion of 0 in t 12.811 * [taylor]: Taking taylor expansion of 0 in t 12.811 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 12.811 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 12.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 12.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 12.811 * [taylor]: Taking taylor expansion of 1/3 in t 12.811 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 12.811 * [taylor]: Taking taylor expansion of (/ t z) in t 12.811 * [taylor]: Taking taylor expansion of t in t 12.811 * [taylor]: Taking taylor expansion of z in t 12.812 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.812 * [taylor]: Taking taylor expansion of 1/3 in z 12.812 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.812 * [taylor]: Taking taylor expansion of (/ t z) in z 12.812 * [taylor]: Taking taylor expansion of t in z 12.812 * [taylor]: Taking taylor expansion of z in z 12.812 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.812 * [taylor]: Taking taylor expansion of 1/3 in z 12.812 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.812 * [taylor]: Taking taylor expansion of (/ t z) in z 12.812 * [taylor]: Taking taylor expansion of t in z 12.812 * [taylor]: Taking taylor expansion of z in z 12.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 12.813 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 12.813 * [taylor]: Taking taylor expansion of 1/3 in t 12.813 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 12.813 * [taylor]: Taking taylor expansion of (log t) in t 12.813 * [taylor]: Taking taylor expansion of t in t 12.813 * [taylor]: Taking taylor expansion of (log z) in t 12.813 * [taylor]: Taking taylor expansion of z in t 12.816 * [taylor]: Taking taylor expansion of 0 in t 12.822 * [taylor]: Taking taylor expansion of 0 in t 12.830 * [taylor]: Taking taylor expansion of 0 in t 12.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 12.831 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0 12.831 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t 12.831 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t 12.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t 12.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t 12.831 * [taylor]: Taking taylor expansion of 1/3 in t 12.831 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t 12.831 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 12.831 * [taylor]: Taking taylor expansion of (pow z 2) in t 12.831 * [taylor]: Taking taylor expansion of z in t 12.831 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.831 * [taylor]: Taking taylor expansion of t in t 12.832 * [taylor]: Taking taylor expansion of (- y x) in t 12.832 * [taylor]: Taking taylor expansion of y in t 12.832 * [taylor]: Taking taylor expansion of x in t 12.832 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z 12.832 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 12.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 12.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 12.832 * [taylor]: Taking taylor expansion of 1/3 in z 12.832 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 12.832 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 12.832 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.832 * [taylor]: Taking taylor expansion of z in z 12.832 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.832 * [taylor]: Taking taylor expansion of t in z 12.834 * [taylor]: Taking taylor expansion of (- y x) in z 12.834 * [taylor]: Taking taylor expansion of y in z 12.834 * [taylor]: Taking taylor expansion of x in z 12.834 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x 12.834 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 12.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 12.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 12.834 * [taylor]: Taking taylor expansion of 1/3 in x 12.834 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 12.834 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 12.834 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.834 * [taylor]: Taking taylor expansion of z in x 12.834 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.834 * [taylor]: Taking taylor expansion of t in x 12.834 * [taylor]: Taking taylor expansion of (- y x) in x 12.834 * [taylor]: Taking taylor expansion of y in x 12.834 * [taylor]: Taking taylor expansion of x in x 12.834 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 12.834 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 12.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 12.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 12.834 * [taylor]: Taking taylor expansion of 1/3 in y 12.834 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 12.834 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 12.834 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.835 * [taylor]: Taking taylor expansion of z in y 12.835 * [taylor]: Taking taylor expansion of (pow t 2) in y 12.835 * [taylor]: Taking taylor expansion of t in y 12.835 * [taylor]: Taking taylor expansion of (- y x) in y 12.835 * [taylor]: Taking taylor expansion of y in y 12.835 * [taylor]: Taking taylor expansion of x in y 12.835 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 12.835 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 12.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 12.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 12.835 * [taylor]: Taking taylor expansion of 1/3 in y 12.835 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 12.835 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 12.835 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.835 * [taylor]: Taking taylor expansion of z in y 12.835 * [taylor]: Taking taylor expansion of (pow t 2) in y 12.835 * [taylor]: Taking taylor expansion of t in y 12.836 * [taylor]: Taking taylor expansion of (- y x) in y 12.836 * [taylor]: Taking taylor expansion of y in y 12.836 * [taylor]: Taking taylor expansion of x in y 12.836 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x 12.836 * [taylor]: Taking taylor expansion of -1 in x 12.836 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x 12.836 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 12.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 12.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 12.836 * [taylor]: Taking taylor expansion of 1/3 in x 12.836 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 12.836 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 12.836 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.836 * [taylor]: Taking taylor expansion of z in x 12.836 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.836 * [taylor]: Taking taylor expansion of t in x 12.837 * [taylor]: Taking taylor expansion of x in x 12.837 * [taylor]: Taking taylor expansion of 0 in z 12.837 * [taylor]: Taking taylor expansion of 0 in t 12.840 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 12.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 12.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 12.840 * [taylor]: Taking taylor expansion of 1/3 in x 12.840 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 12.840 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 12.840 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.840 * [taylor]: Taking taylor expansion of z in x 12.840 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.840 * [taylor]: Taking taylor expansion of t in x 12.841 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 12.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 12.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 12.841 * [taylor]: Taking taylor expansion of 1/3 in z 12.841 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 12.841 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 12.841 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.841 * [taylor]: Taking taylor expansion of z in z 12.841 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.841 * [taylor]: Taking taylor expansion of t in z 12.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 12.842 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 12.842 * [taylor]: Taking taylor expansion of 1/3 in t 12.842 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 12.842 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 12.842 * [taylor]: Taking taylor expansion of 2 in t 12.842 * [taylor]: Taking taylor expansion of (log z) in t 12.842 * [taylor]: Taking taylor expansion of z in t 12.842 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 12.842 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 12.842 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.842 * [taylor]: Taking taylor expansion of t in t 12.846 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z 12.846 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 12.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 12.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 12.846 * [taylor]: Taking taylor expansion of 1/3 in z 12.847 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 12.847 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 12.847 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.847 * [taylor]: Taking taylor expansion of z in z 12.847 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.847 * [taylor]: Taking taylor expansion of t in z 12.848 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t 12.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 12.848 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 12.848 * [taylor]: Taking taylor expansion of 1/3 in t 12.848 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 12.848 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 12.848 * [taylor]: Taking taylor expansion of 2 in t 12.848 * [taylor]: Taking taylor expansion of (log z) in t 12.848 * [taylor]: Taking taylor expansion of z in t 12.848 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 12.848 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 12.848 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.848 * [taylor]: Taking taylor expansion of t in t 12.850 * [taylor]: Taking taylor expansion of 0 in t 12.854 * [taylor]: Taking taylor expansion of 0 in x 12.854 * [taylor]: Taking taylor expansion of 0 in z 12.854 * [taylor]: Taking taylor expansion of 0 in t 12.856 * [taylor]: Taking taylor expansion of 0 in z 12.856 * [taylor]: Taking taylor expansion of 0 in t 12.861 * [taylor]: Taking taylor expansion of 0 in z 12.861 * [taylor]: Taking taylor expansion of 0 in t 12.864 * [taylor]: Taking taylor expansion of 0 in t 12.864 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0 12.864 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t 12.865 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 12.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 12.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 12.865 * [taylor]: Taking taylor expansion of 1/3 in t 12.865 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 12.865 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 12.865 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.865 * [taylor]: Taking taylor expansion of t in t 12.865 * [taylor]: Taking taylor expansion of (pow z 2) in t 12.865 * [taylor]: Taking taylor expansion of z in t 12.866 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 12.866 * [taylor]: Taking taylor expansion of (/ 1 y) in t 12.866 * [taylor]: Taking taylor expansion of y in t 12.866 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.866 * [taylor]: Taking taylor expansion of x in t 12.866 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z 12.866 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 12.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 12.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 12.866 * [taylor]: Taking taylor expansion of 1/3 in z 12.866 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 12.866 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 12.866 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.866 * [taylor]: Taking taylor expansion of t in z 12.866 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.866 * [taylor]: Taking taylor expansion of z in z 12.867 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 12.867 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.867 * [taylor]: Taking taylor expansion of y in z 12.867 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.867 * [taylor]: Taking taylor expansion of x in z 12.867 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x 12.867 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 12.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 12.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 12.867 * [taylor]: Taking taylor expansion of 1/3 in x 12.867 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 12.867 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 12.867 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.867 * [taylor]: Taking taylor expansion of t in x 12.867 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.867 * [taylor]: Taking taylor expansion of z in x 12.868 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 12.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.868 * [taylor]: Taking taylor expansion of y in x 12.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.868 * [taylor]: Taking taylor expansion of x in x 12.868 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 12.868 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 12.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 12.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 12.868 * [taylor]: Taking taylor expansion of 1/3 in y 12.868 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 12.868 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 12.868 * [taylor]: Taking taylor expansion of (pow t 2) in y 12.868 * [taylor]: Taking taylor expansion of t in y 12.868 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.868 * [taylor]: Taking taylor expansion of z in y 12.869 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 12.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.869 * [taylor]: Taking taylor expansion of y in y 12.869 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.869 * [taylor]: Taking taylor expansion of x in y 12.869 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 12.869 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 12.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 12.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 12.869 * [taylor]: Taking taylor expansion of 1/3 in y 12.869 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 12.869 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 12.869 * [taylor]: Taking taylor expansion of (pow t 2) in y 12.870 * [taylor]: Taking taylor expansion of t in y 12.870 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.870 * [taylor]: Taking taylor expansion of z in y 12.870 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 12.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.870 * [taylor]: Taking taylor expansion of y in y 12.870 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.870 * [taylor]: Taking taylor expansion of x in y 12.871 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 12.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 12.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 12.871 * [taylor]: Taking taylor expansion of 1/3 in x 12.871 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 12.871 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 12.871 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.871 * [taylor]: Taking taylor expansion of t in x 12.871 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.871 * [taylor]: Taking taylor expansion of z in x 12.875 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x 12.875 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 12.875 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 12.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 12.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 12.875 * [taylor]: Taking taylor expansion of 1/3 in x 12.875 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 12.875 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 12.875 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.875 * [taylor]: Taking taylor expansion of t in x 12.875 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.875 * [taylor]: Taking taylor expansion of z in x 12.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.875 * [taylor]: Taking taylor expansion of x in x 12.876 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 12.876 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 12.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 12.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 12.876 * [taylor]: Taking taylor expansion of 1/3 in z 12.876 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 12.876 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 12.876 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.876 * [taylor]: Taking taylor expansion of t in z 12.876 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.876 * [taylor]: Taking taylor expansion of z in z 12.877 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 12.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 12.877 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 12.877 * [taylor]: Taking taylor expansion of 1/3 in t 12.877 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 12.877 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 12.877 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.877 * [taylor]: Taking taylor expansion of t in t 12.878 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 12.878 * [taylor]: Taking taylor expansion of 2 in t 12.878 * [taylor]: Taking taylor expansion of (log z) in t 12.878 * [taylor]: Taking taylor expansion of z in t 12.883 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 12.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 12.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 12.884 * [taylor]: Taking taylor expansion of 1/3 in z 12.884 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 12.884 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 12.884 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.884 * [taylor]: Taking taylor expansion of t in z 12.884 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.884 * [taylor]: Taking taylor expansion of z in z 12.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 12.885 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 12.885 * [taylor]: Taking taylor expansion of 1/3 in t 12.885 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 12.885 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 12.885 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.885 * [taylor]: Taking taylor expansion of t in t 12.885 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 12.886 * [taylor]: Taking taylor expansion of 2 in t 12.886 * [taylor]: Taking taylor expansion of (log z) in t 12.886 * [taylor]: Taking taylor expansion of z in t 12.891 * [taylor]: Taking taylor expansion of 0 in x 12.894 * [taylor]: Taking taylor expansion of 0 in z 12.894 * [taylor]: Taking taylor expansion of 0 in t 12.896 * [taylor]: Taking taylor expansion of 0 in z 12.896 * [taylor]: Taking taylor expansion of 0 in t 12.899 * [taylor]: Taking taylor expansion of 0 in t 12.902 * [taylor]: Taking taylor expansion of 0 in t 12.909 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0 12.910 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t 12.910 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 12.910 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.910 * [taylor]: Taking taylor expansion of x in t 12.910 * [taylor]: Taking taylor expansion of (/ 1 y) in t 12.910 * [taylor]: Taking taylor expansion of y in t 12.910 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 12.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 12.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 12.910 * [taylor]: Taking taylor expansion of 1/3 in t 12.910 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 12.910 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 12.910 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.910 * [taylor]: Taking taylor expansion of t in t 12.910 * [taylor]: Taking taylor expansion of (pow z 2) in t 12.910 * [taylor]: Taking taylor expansion of z in t 12.911 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 12.911 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 12.911 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.911 * [taylor]: Taking taylor expansion of x in z 12.911 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.911 * [taylor]: Taking taylor expansion of y in z 12.911 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 12.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 12.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 12.911 * [taylor]: Taking taylor expansion of 1/3 in z 12.911 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 12.911 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 12.911 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.911 * [taylor]: Taking taylor expansion of t in z 12.911 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.911 * [taylor]: Taking taylor expansion of z in z 12.912 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 12.912 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 12.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.912 * [taylor]: Taking taylor expansion of x in x 12.913 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.913 * [taylor]: Taking taylor expansion of y in x 12.913 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 12.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 12.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 12.913 * [taylor]: Taking taylor expansion of 1/3 in x 12.913 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 12.913 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 12.913 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.913 * [taylor]: Taking taylor expansion of t in x 12.913 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.913 * [taylor]: Taking taylor expansion of z in x 12.913 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 12.913 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 12.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.913 * [taylor]: Taking taylor expansion of x in y 12.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.914 * [taylor]: Taking taylor expansion of y in y 12.914 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 12.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 12.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 12.914 * [taylor]: Taking taylor expansion of 1/3 in y 12.914 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 12.914 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 12.914 * [taylor]: Taking taylor expansion of (pow t 2) in y 12.914 * [taylor]: Taking taylor expansion of t in y 12.914 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.914 * [taylor]: Taking taylor expansion of z in y 12.914 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 12.915 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 12.915 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.915 * [taylor]: Taking taylor expansion of x in y 12.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.915 * [taylor]: Taking taylor expansion of y in y 12.915 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 12.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 12.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 12.915 * [taylor]: Taking taylor expansion of 1/3 in y 12.915 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 12.915 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 12.915 * [taylor]: Taking taylor expansion of (pow t 2) in y 12.915 * [taylor]: Taking taylor expansion of t in y 12.915 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.915 * [taylor]: Taking taylor expansion of z in y 12.916 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 12.916 * [taylor]: Taking taylor expansion of -1 in x 12.916 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 12.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 12.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 12.917 * [taylor]: Taking taylor expansion of 1/3 in x 12.917 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 12.917 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 12.917 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.917 * [taylor]: Taking taylor expansion of t in x 12.917 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.917 * [taylor]: Taking taylor expansion of z in x 12.920 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 12.920 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 12.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 12.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 12.920 * [taylor]: Taking taylor expansion of 1/3 in x 12.920 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 12.920 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 12.920 * [taylor]: Taking taylor expansion of (pow t 2) in x 12.920 * [taylor]: Taking taylor expansion of t in x 12.921 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.921 * [taylor]: Taking taylor expansion of z in x 12.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.921 * [taylor]: Taking taylor expansion of x in x 12.922 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 12.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 12.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 12.922 * [taylor]: Taking taylor expansion of 1/3 in z 12.922 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 12.922 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 12.922 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.922 * [taylor]: Taking taylor expansion of t in z 12.922 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.922 * [taylor]: Taking taylor expansion of z in z 12.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 12.923 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 12.923 * [taylor]: Taking taylor expansion of 1/3 in t 12.923 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 12.923 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 12.923 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.923 * [taylor]: Taking taylor expansion of t in t 12.923 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 12.923 * [taylor]: Taking taylor expansion of 2 in t 12.923 * [taylor]: Taking taylor expansion of (log z) in t 12.923 * [taylor]: Taking taylor expansion of z in t 12.924 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 12.924 * [taylor]: Taking taylor expansion of -1 in z 12.924 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 12.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 12.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 12.924 * [taylor]: Taking taylor expansion of 1/3 in z 12.924 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 12.924 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 12.924 * [taylor]: Taking taylor expansion of (pow t 2) in z 12.924 * [taylor]: Taking taylor expansion of t in z 12.924 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.924 * [taylor]: Taking taylor expansion of z in z 12.926 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 12.926 * [taylor]: Taking taylor expansion of -1 in t 12.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 12.926 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 12.926 * [taylor]: Taking taylor expansion of 1/3 in t 12.926 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 12.926 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 12.926 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.926 * [taylor]: Taking taylor expansion of t in t 12.926 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 12.926 * [taylor]: Taking taylor expansion of 2 in t 12.926 * [taylor]: Taking taylor expansion of (log z) in t 12.926 * [taylor]: Taking taylor expansion of z in t 12.932 * [taylor]: Taking taylor expansion of 0 in x 12.935 * [taylor]: Taking taylor expansion of 0 in z 12.935 * [taylor]: Taking taylor expansion of 0 in t 12.937 * [taylor]: Taking taylor expansion of 0 in z 12.937 * [taylor]: Taking taylor expansion of 0 in t 12.940 * [taylor]: Taking taylor expansion of 0 in t 12.943 * [taylor]: Taking taylor expansion of 0 in t 12.951 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 12.951 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 12.951 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 12.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 12.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 12.951 * [taylor]: Taking taylor expansion of 1/3 in t 12.951 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 12.951 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.951 * [taylor]: Taking taylor expansion of t in t 12.952 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 12.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 12.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 12.952 * [taylor]: Taking taylor expansion of 1/3 in t 12.952 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 12.952 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.952 * [taylor]: Taking taylor expansion of t in t 13.007 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 13.007 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 13.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 13.007 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 13.007 * [taylor]: Taking taylor expansion of 1/3 in t 13.007 * [taylor]: Taking taylor expansion of (log t) in t 13.007 * [taylor]: Taking taylor expansion of t in t 13.007 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 13.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 13.007 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 13.007 * [taylor]: Taking taylor expansion of 1/3 in t 13.007 * [taylor]: Taking taylor expansion of (log t) in t 13.007 * [taylor]: Taking taylor expansion of t in t 13.060 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in (t) around 0 13.060 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in t 13.060 * [taylor]: Taking taylor expansion of (cbrt -1) in t 13.060 * [taylor]: Taking taylor expansion of -1 in t 13.061 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 13.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 13.061 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 13.061 * [taylor]: Taking taylor expansion of 1/3 in t 13.061 * [taylor]: Taking taylor expansion of (log t) in t 13.061 * [taylor]: Taking taylor expansion of t in t 13.062 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in t 13.062 * [taylor]: Taking taylor expansion of (cbrt -1) in t 13.062 * [taylor]: Taking taylor expansion of -1 in t 13.063 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 13.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 13.063 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 13.063 * [taylor]: Taking taylor expansion of 1/3 in t 13.063 * [taylor]: Taking taylor expansion of (log t) in t 13.063 * [taylor]: Taking taylor expansion of t in t 13.126 * * * [progress]: simplifying candidates 13.128 * [simplify]: Simplifying using # : (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t))))) (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t))))) (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t)))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (expm1 (cbrt (/ 1 t))) (log1p (cbrt (/ 1 t))) (log (cbrt (/ 1 t))) (exp (cbrt (/ 1 t))) (cbrt (* (cbrt (/ 1 t)) (cbrt (/ 1 t)))) (cbrt (cbrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt 1) (cbrt t))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (sqrt t))) (cbrt (/ (cbrt 1) (sqrt t))) (cbrt (/ (* (cbrt 1) (cbrt 1)) 1)) (cbrt (/ (cbrt 1) t)) (cbrt (/ (sqrt 1) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt 1) (cbrt t))) (cbrt (/ (sqrt 1) (sqrt t))) (cbrt (/ (sqrt 1) (sqrt t))) (cbrt (/ (sqrt 1) 1)) (cbrt (/ (sqrt 1) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ 1 t)) (cbrt 1) (cbrt (/ 1 t)) (cbrt 1) (cbrt (/ 1 t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt (/ 1 t))) (cbrt (cbrt (/ 1 t)))) (cbrt (cbrt (/ 1 t))) (* (* (cbrt (/ 1 t)) (cbrt (/ 1 t))) (cbrt (/ 1 t))) (sqrt (cbrt (/ 1 t))) (sqrt (cbrt (/ 1 t))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x)) (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))))) (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z)))))))) (pow t -1/3) (pow (/ 1 t) 1/3) (* (pow (/ -1 t) 1/3) (cbrt -1)) 13.135 * * [simplify]: iteration 0 : 210 enodes (cost 1425 ) 13.170 * * [simplify]: iteration 1 : 416 enodes (cost 1310 ) 13.249 * * [simplify]: iteration 2 : 1030 enodes (cost 1196 ) 13.570 * * [simplify]: iteration 3 : 3102 enodes (cost 1174 ) 14.205 * * [simplify]: iteration done : 5000 enodes (cost 1174 ) 14.206 * [simplify]: Simplified to: (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (expm1 (cbrt (/ 1 t))) (log1p (cbrt (/ 1 t))) (log (cbrt (/ 1 t))) (exp (cbrt (/ 1 t))) (cbrt (pow (/ 1 t) 2/3)) (cbrt (cbrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) 1 (cbrt (/ 1 t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) 1 (cbrt (/ 1 t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) 1 (cbrt (/ 1 t)) 1 (cbrt (/ 1 t)) 1 (cbrt (/ 1 t)) 1 (cbrt t) (* (cbrt (cbrt (/ 1 t))) (cbrt (cbrt (/ 1 t)))) (cbrt (cbrt (/ 1 t))) (/ 1 t) (sqrt (cbrt (/ 1 t))) (sqrt (cbrt (/ 1 t))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (* (exp (* 2/3 (- (log z) (log t)))) (- y x)) (* (exp (* 2/3 (- (log z) (log t)))) (- y x)) (* (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- y x)) (pow t -1/3) (cbrt (/ 1 t)) (* (cbrt (/ -1 t)) (cbrt -1)) 14.206 * * * [progress]: adding candidates to table 14.589 * [progress]: [Phase 3 of 3] Extracting. 14.589 * * [regime]: Finding splitpoints for: (# # # # # # #) 14.591 * * * [regime-changes]: Trying 6 branch expressions: ((/ z t) (+ x (* (- y x) (/ z t))) t z y x) 14.591 * * * * [regimes]: Trying to branch on (/ z t) from (# # # # # # #) 14.617 * * * * [regimes]: Trying to branch on (+ x (* (- y x) (/ z t))) from (# # # # # # #) 14.653 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 14.683 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 14.717 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 14.761 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 14.802 * * * [regime]: Found split indices: #