24.362 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (+ (* (/ x y) (- z t)) t) 0.022 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.025 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 0.029 * * [simplify]: iteration 3 : 48 enodes (cost 9 ) 0.035 * * [simplify]: iteration 4 : 72 enodes (cost 9 ) 0.048 * * [simplify]: iteration 5 : 94 enodes (cost 9 ) 0.061 * * [simplify]: iteration 6 : 113 enodes (cost 9 ) 0.077 * * [simplify]: iteration 7 : 135 enodes (cost 9 ) 0.102 * * [simplify]: iteration 8 : 181 enodes (cost 9 ) 0.132 * * [simplify]: iteration 9 : 247 enodes (cost 9 ) 0.193 * * [simplify]: iteration 10 : 330 enodes (cost 9 ) 0.252 * * [simplify]: iteration 11 : 360 enodes (cost 9 ) 0.308 * * [simplify]: iteration 12 : 413 enodes (cost 9 ) 0.385 * * [simplify]: iteration 13 : 467 enodes (cost 9 ) 0.465 * * [simplify]: iteration 14 : 483 enodes (cost 9 ) 0.536 * * [simplify]: iteration 15 : 519 enodes (cost 9 ) 0.632 * * [simplify]: iteration 16 : 633 enodes (cost 9 ) 0.812 * * [simplify]: iteration 17 : 863 enodes (cost 9 ) 1.119 * * [simplify]: iteration 18 : 1173 enodes (cost 9 ) 1.702 * * [simplify]: iteration 19 : 1772 enodes (cost 9 ) 2.941 * * [simplify]: iteration 20 : 2373 enodes (cost 9 ) 3.782 * * [simplify]: iteration 21 : 2433 enodes (cost 9 ) 4.195 * * [simplify]: iteration done : 2433 enodes (cost 9 ) 4.195 * [simplify]: Simplified to: (+ (* (/ x y) (- z t)) t) 4.195 * * [progress]: iteration 1 / 4 4.195 * * * [progress]: picking best candidate 4.197 * * * * [pick]: Picked # 4.197 * * * [progress]: localizing error 4.203 * * * [progress]: generating rewritten candidates 4.203 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.222 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.231 * * * [progress]: generating series expansions 4.231 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.231 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 4.231 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 4.231 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 4.231 * [taylor]: Taking taylor expansion of x in t 4.231 * [taylor]: Taking taylor expansion of (- z t) in t 4.231 * [taylor]: Taking taylor expansion of z in t 4.231 * [taylor]: Taking taylor expansion of t in t 4.231 * [taylor]: Taking taylor expansion of y in t 4.232 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 4.232 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 4.232 * [taylor]: Taking taylor expansion of x in z 4.232 * [taylor]: Taking taylor expansion of (- z t) in z 4.232 * [taylor]: Taking taylor expansion of z in z 4.232 * [taylor]: Taking taylor expansion of t in z 4.232 * [taylor]: Taking taylor expansion of y in z 4.232 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 4.232 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 4.232 * [taylor]: Taking taylor expansion of x in y 4.232 * [taylor]: Taking taylor expansion of (- z t) in y 4.232 * [taylor]: Taking taylor expansion of z in y 4.232 * [taylor]: Taking taylor expansion of t in y 4.232 * [taylor]: Taking taylor expansion of y in y 4.232 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 4.232 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 4.232 * [taylor]: Taking taylor expansion of x in x 4.232 * [taylor]: Taking taylor expansion of (- z t) in x 4.232 * [taylor]: Taking taylor expansion of z in x 4.232 * [taylor]: Taking taylor expansion of t in x 4.232 * [taylor]: Taking taylor expansion of y in x 4.233 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 4.233 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 4.233 * [taylor]: Taking taylor expansion of x in x 4.233 * [taylor]: Taking taylor expansion of (- z t) in x 4.233 * [taylor]: Taking taylor expansion of z in x 4.233 * [taylor]: Taking taylor expansion of t in x 4.233 * [taylor]: Taking taylor expansion of y in x 4.234 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 4.234 * [taylor]: Taking taylor expansion of (- z t) in y 4.234 * [taylor]: Taking taylor expansion of z in y 4.234 * [taylor]: Taking taylor expansion of t in y 4.234 * [taylor]: Taking taylor expansion of y in y 4.234 * [taylor]: Taking taylor expansion of (- z t) in z 4.234 * [taylor]: Taking taylor expansion of z in z 4.234 * [taylor]: Taking taylor expansion of t in z 4.234 * [taylor]: Taking taylor expansion of (- t) in t 4.234 * [taylor]: Taking taylor expansion of t in t 4.236 * [taylor]: Taking taylor expansion of 0 in y 4.237 * [taylor]: Taking taylor expansion of 0 in z 4.237 * [taylor]: Taking taylor expansion of 0 in t 4.237 * [taylor]: Taking taylor expansion of 1 in t 4.239 * [taylor]: Taking taylor expansion of 0 in y 4.239 * [taylor]: Taking taylor expansion of 0 in z 4.239 * [taylor]: Taking taylor expansion of 0 in t 4.240 * [taylor]: Taking taylor expansion of 0 in z 4.240 * [taylor]: Taking taylor expansion of 0 in t 4.240 * [taylor]: Taking taylor expansion of 0 in t 4.241 * [taylor]: Taking taylor expansion of 0 in t 4.241 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 4.241 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 4.241 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 4.241 * [taylor]: Taking taylor expansion of y in t 4.241 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 4.241 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.241 * [taylor]: Taking taylor expansion of z in t 4.241 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.241 * [taylor]: Taking taylor expansion of t in t 4.241 * [taylor]: Taking taylor expansion of x in t 4.242 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 4.242 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 4.242 * [taylor]: Taking taylor expansion of y in z 4.242 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 4.242 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.242 * [taylor]: Taking taylor expansion of z in z 4.242 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.242 * [taylor]: Taking taylor expansion of t in z 4.242 * [taylor]: Taking taylor expansion of x in z 4.243 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 4.243 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 4.243 * [taylor]: Taking taylor expansion of y in y 4.243 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 4.243 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.243 * [taylor]: Taking taylor expansion of z in y 4.243 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.243 * [taylor]: Taking taylor expansion of t in y 4.243 * [taylor]: Taking taylor expansion of x in y 4.244 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 4.244 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 4.244 * [taylor]: Taking taylor expansion of y in x 4.244 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 4.244 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.244 * [taylor]: Taking taylor expansion of z in x 4.244 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.244 * [taylor]: Taking taylor expansion of t in x 4.244 * [taylor]: Taking taylor expansion of x in x 4.244 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 4.244 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 4.244 * [taylor]: Taking taylor expansion of y in x 4.244 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 4.244 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.244 * [taylor]: Taking taylor expansion of z in x 4.244 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.244 * [taylor]: Taking taylor expansion of t in x 4.244 * [taylor]: Taking taylor expansion of x in x 4.245 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 4.245 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 4.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.245 * [taylor]: Taking taylor expansion of z in y 4.245 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.245 * [taylor]: Taking taylor expansion of t in y 4.245 * [taylor]: Taking taylor expansion of y in y 4.246 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 4.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.246 * [taylor]: Taking taylor expansion of z in z 4.246 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.246 * [taylor]: Taking taylor expansion of t in z 4.246 * [taylor]: Taking taylor expansion of 1 in t 4.248 * [taylor]: Taking taylor expansion of 0 in y 4.248 * [taylor]: Taking taylor expansion of 0 in z 4.249 * [taylor]: Taking taylor expansion of 0 in z 4.249 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 4.249 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.249 * [taylor]: Taking taylor expansion of t in t 4.252 * [taylor]: Taking taylor expansion of 0 in y 4.252 * [taylor]: Taking taylor expansion of 0 in z 4.252 * [taylor]: Taking taylor expansion of 0 in z 4.253 * [taylor]: Taking taylor expansion of 0 in z 4.253 * [taylor]: Taking taylor expansion of 0 in t 4.253 * [taylor]: Taking taylor expansion of 0 in t 4.254 * [taylor]: Taking taylor expansion of 0 in t 4.257 * [taylor]: Taking taylor expansion of 0 in y 4.257 * [taylor]: Taking taylor expansion of 0 in z 4.257 * [taylor]: Taking taylor expansion of 0 in z 4.257 * [taylor]: Taking taylor expansion of 0 in z 4.259 * [taylor]: Taking taylor expansion of 0 in z 4.259 * [taylor]: Taking taylor expansion of 0 in t 4.259 * [taylor]: Taking taylor expansion of 0 in t 4.259 * [taylor]: Taking taylor expansion of 0 in t 4.259 * [taylor]: Taking taylor expansion of 0 in t 4.259 * [taylor]: Taking taylor expansion of 0 in t 4.260 * [taylor]: Taking taylor expansion of 0 in t 4.261 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 4.261 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 4.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 4.261 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 4.261 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.261 * [taylor]: Taking taylor expansion of t in t 4.262 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.262 * [taylor]: Taking taylor expansion of z in t 4.262 * [taylor]: Taking taylor expansion of y in t 4.262 * [taylor]: Taking taylor expansion of x in t 4.262 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 4.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 4.262 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 4.262 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.262 * [taylor]: Taking taylor expansion of t in z 4.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.262 * [taylor]: Taking taylor expansion of z in z 4.262 * [taylor]: Taking taylor expansion of y in z 4.262 * [taylor]: Taking taylor expansion of x in z 4.263 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 4.263 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 4.263 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 4.263 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.263 * [taylor]: Taking taylor expansion of t in y 4.263 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.263 * [taylor]: Taking taylor expansion of z in y 4.263 * [taylor]: Taking taylor expansion of y in y 4.263 * [taylor]: Taking taylor expansion of x in y 4.264 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 4.264 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 4.264 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 4.264 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.264 * [taylor]: Taking taylor expansion of t in x 4.264 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.264 * [taylor]: Taking taylor expansion of z in x 4.264 * [taylor]: Taking taylor expansion of y in x 4.264 * [taylor]: Taking taylor expansion of x in x 4.265 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 4.265 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 4.265 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 4.265 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.265 * [taylor]: Taking taylor expansion of t in x 4.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.265 * [taylor]: Taking taylor expansion of z in x 4.265 * [taylor]: Taking taylor expansion of y in x 4.265 * [taylor]: Taking taylor expansion of x in x 4.265 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 4.265 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 4.265 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.265 * [taylor]: Taking taylor expansion of t in y 4.265 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.265 * [taylor]: Taking taylor expansion of z in y 4.265 * [taylor]: Taking taylor expansion of y in y 4.266 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 4.266 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.266 * [taylor]: Taking taylor expansion of t in z 4.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.266 * [taylor]: Taking taylor expansion of z in z 4.267 * [taylor]: Taking taylor expansion of -1 in t 4.268 * [taylor]: Taking taylor expansion of 0 in y 4.268 * [taylor]: Taking taylor expansion of 0 in z 4.269 * [taylor]: Taking taylor expansion of 0 in z 4.270 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.270 * [taylor]: Taking taylor expansion of t in t 4.272 * [taylor]: Taking taylor expansion of 0 in y 4.272 * [taylor]: Taking taylor expansion of 0 in z 4.272 * [taylor]: Taking taylor expansion of 0 in z 4.273 * [taylor]: Taking taylor expansion of 0 in z 4.273 * [taylor]: Taking taylor expansion of 0 in t 4.273 * [taylor]: Taking taylor expansion of 0 in t 4.274 * [taylor]: Taking taylor expansion of 0 in t 4.277 * [taylor]: Taking taylor expansion of 0 in y 4.277 * [taylor]: Taking taylor expansion of 0 in z 4.277 * [taylor]: Taking taylor expansion of 0 in z 4.277 * [taylor]: Taking taylor expansion of 0 in z 4.279 * [taylor]: Taking taylor expansion of 0 in z 4.279 * [taylor]: Taking taylor expansion of 0 in t 4.279 * [taylor]: Taking taylor expansion of 0 in t 4.279 * [taylor]: Taking taylor expansion of 0 in t 4.279 * [taylor]: Taking taylor expansion of 0 in t 4.279 * [taylor]: Taking taylor expansion of 0 in t 4.280 * [taylor]: Taking taylor expansion of 0 in t 4.281 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.281 * [approximate]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in (x y z t) around 0 4.281 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in t 4.281 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in t 4.281 * [taylor]: Taking taylor expansion of t in t 4.281 * [taylor]: Taking taylor expansion of (/ (* x z) y) in t 4.281 * [taylor]: Taking taylor expansion of (* x z) in t 4.281 * [taylor]: Taking taylor expansion of x in t 4.281 * [taylor]: Taking taylor expansion of z in t 4.281 * [taylor]: Taking taylor expansion of y in t 4.281 * [taylor]: Taking taylor expansion of (/ (* t x) y) in t 4.281 * [taylor]: Taking taylor expansion of (* t x) in t 4.281 * [taylor]: Taking taylor expansion of t in t 4.281 * [taylor]: Taking taylor expansion of x in t 4.281 * [taylor]: Taking taylor expansion of y in t 4.282 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in z 4.282 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in z 4.282 * [taylor]: Taking taylor expansion of t in z 4.282 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 4.282 * [taylor]: Taking taylor expansion of (* x z) in z 4.282 * [taylor]: Taking taylor expansion of x in z 4.282 * [taylor]: Taking taylor expansion of z in z 4.282 * [taylor]: Taking taylor expansion of y in z 4.282 * [taylor]: Taking taylor expansion of (/ (* t x) y) in z 4.282 * [taylor]: Taking taylor expansion of (* t x) in z 4.282 * [taylor]: Taking taylor expansion of t in z 4.282 * [taylor]: Taking taylor expansion of x in z 4.282 * [taylor]: Taking taylor expansion of y in z 4.282 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in y 4.282 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in y 4.282 * [taylor]: Taking taylor expansion of t in y 4.282 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 4.282 * [taylor]: Taking taylor expansion of (* x z) in y 4.282 * [taylor]: Taking taylor expansion of x in y 4.282 * [taylor]: Taking taylor expansion of z in y 4.282 * [taylor]: Taking taylor expansion of y in y 4.282 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y 4.282 * [taylor]: Taking taylor expansion of (* t x) in y 4.282 * [taylor]: Taking taylor expansion of t in y 4.282 * [taylor]: Taking taylor expansion of x in y 4.282 * [taylor]: Taking taylor expansion of y in y 4.283 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x 4.283 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x 4.283 * [taylor]: Taking taylor expansion of t in x 4.283 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 4.283 * [taylor]: Taking taylor expansion of (* x z) in x 4.283 * [taylor]: Taking taylor expansion of x in x 4.283 * [taylor]: Taking taylor expansion of z in x 4.283 * [taylor]: Taking taylor expansion of y in x 4.283 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x 4.283 * [taylor]: Taking taylor expansion of (* t x) in x 4.283 * [taylor]: Taking taylor expansion of t in x 4.283 * [taylor]: Taking taylor expansion of x in x 4.283 * [taylor]: Taking taylor expansion of y in x 4.283 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x 4.283 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x 4.283 * [taylor]: Taking taylor expansion of t in x 4.283 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 4.283 * [taylor]: Taking taylor expansion of (* x z) in x 4.283 * [taylor]: Taking taylor expansion of x in x 4.283 * [taylor]: Taking taylor expansion of z in x 4.283 * [taylor]: Taking taylor expansion of y in x 4.284 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x 4.284 * [taylor]: Taking taylor expansion of (* t x) in x 4.284 * [taylor]: Taking taylor expansion of t in x 4.284 * [taylor]: Taking taylor expansion of x in x 4.284 * [taylor]: Taking taylor expansion of y in x 4.284 * [taylor]: Taking taylor expansion of t in y 4.284 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 4.284 * [taylor]: Taking taylor expansion of (/ z y) in y 4.284 * [taylor]: Taking taylor expansion of z in y 4.284 * [taylor]: Taking taylor expansion of y in y 4.284 * [taylor]: Taking taylor expansion of (/ t y) in y 4.285 * [taylor]: Taking taylor expansion of t in y 4.285 * [taylor]: Taking taylor expansion of y in y 4.285 * [taylor]: Taking taylor expansion of (- z t) in z 4.285 * [taylor]: Taking taylor expansion of z in z 4.285 * [taylor]: Taking taylor expansion of t in z 4.285 * [taylor]: Taking taylor expansion of (- t) in t 4.285 * [taylor]: Taking taylor expansion of t in t 4.285 * [taylor]: Taking taylor expansion of t in z 4.285 * [taylor]: Taking taylor expansion of t in t 4.287 * [taylor]: Taking taylor expansion of 0 in y 4.288 * [taylor]: Taking taylor expansion of 0 in z 4.288 * [taylor]: Taking taylor expansion of 0 in t 4.288 * [taylor]: Taking taylor expansion of 0 in z 4.288 * [taylor]: Taking taylor expansion of 0 in t 4.289 * [taylor]: Taking taylor expansion of 1 in t 4.289 * [taylor]: Taking taylor expansion of 0 in t 4.290 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in (x y z t) around 0 4.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in t 4.290 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t 4.290 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.290 * [taylor]: Taking taylor expansion of t in t 4.290 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t 4.290 * [taylor]: Taking taylor expansion of y in t 4.290 * [taylor]: Taking taylor expansion of (* x z) in t 4.290 * [taylor]: Taking taylor expansion of x in t 4.290 * [taylor]: Taking taylor expansion of z in t 4.290 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t 4.290 * [taylor]: Taking taylor expansion of y in t 4.290 * [taylor]: Taking taylor expansion of (* t x) in t 4.290 * [taylor]: Taking taylor expansion of t in t 4.290 * [taylor]: Taking taylor expansion of x in t 4.291 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in z 4.291 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z 4.291 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.291 * [taylor]: Taking taylor expansion of t in z 4.291 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 4.291 * [taylor]: Taking taylor expansion of y in z 4.291 * [taylor]: Taking taylor expansion of (* x z) in z 4.291 * [taylor]: Taking taylor expansion of x in z 4.291 * [taylor]: Taking taylor expansion of z in z 4.291 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z 4.291 * [taylor]: Taking taylor expansion of y in z 4.291 * [taylor]: Taking taylor expansion of (* t x) in z 4.291 * [taylor]: Taking taylor expansion of t in z 4.291 * [taylor]: Taking taylor expansion of x in z 4.291 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in y 4.291 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y 4.291 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.291 * [taylor]: Taking taylor expansion of t in y 4.291 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 4.291 * [taylor]: Taking taylor expansion of y in y 4.291 * [taylor]: Taking taylor expansion of (* x z) in y 4.291 * [taylor]: Taking taylor expansion of x in y 4.291 * [taylor]: Taking taylor expansion of z in y 4.291 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y 4.291 * [taylor]: Taking taylor expansion of y in y 4.291 * [taylor]: Taking taylor expansion of (* t x) in y 4.291 * [taylor]: Taking taylor expansion of t in y 4.292 * [taylor]: Taking taylor expansion of x in y 4.292 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x 4.292 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 4.292 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.292 * [taylor]: Taking taylor expansion of t in x 4.292 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 4.292 * [taylor]: Taking taylor expansion of y in x 4.292 * [taylor]: Taking taylor expansion of (* x z) in x 4.292 * [taylor]: Taking taylor expansion of x in x 4.292 * [taylor]: Taking taylor expansion of z in x 4.292 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 4.292 * [taylor]: Taking taylor expansion of y in x 4.292 * [taylor]: Taking taylor expansion of (* t x) in x 4.292 * [taylor]: Taking taylor expansion of t in x 4.292 * [taylor]: Taking taylor expansion of x in x 4.292 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x 4.292 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 4.292 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.292 * [taylor]: Taking taylor expansion of t in x 4.292 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 4.292 * [taylor]: Taking taylor expansion of y in x 4.293 * [taylor]: Taking taylor expansion of (* x z) in x 4.293 * [taylor]: Taking taylor expansion of x in x 4.293 * [taylor]: Taking taylor expansion of z in x 4.293 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 4.293 * [taylor]: Taking taylor expansion of y in x 4.293 * [taylor]: Taking taylor expansion of (* t x) in x 4.293 * [taylor]: Taking taylor expansion of t in x 4.293 * [taylor]: Taking taylor expansion of x in x 4.293 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 4.293 * [taylor]: Taking taylor expansion of (/ y z) in y 4.293 * [taylor]: Taking taylor expansion of y in y 4.293 * [taylor]: Taking taylor expansion of z in y 4.293 * [taylor]: Taking taylor expansion of (/ y t) in y 4.294 * [taylor]: Taking taylor expansion of y in y 4.294 * [taylor]: Taking taylor expansion of t in y 4.295 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.295 * [taylor]: Taking taylor expansion of t in y 4.295 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.295 * [taylor]: Taking taylor expansion of t in z 4.295 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 4.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.295 * [taylor]: Taking taylor expansion of z in z 4.295 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.295 * [taylor]: Taking taylor expansion of t in z 4.296 * [taylor]: Taking taylor expansion of 1 in t 4.298 * [taylor]: Taking taylor expansion of 0 in y 4.298 * [taylor]: Taking taylor expansion of 0 in z 4.298 * [taylor]: Taking taylor expansion of 0 in z 4.299 * [taylor]: Taking taylor expansion of 0 in z 4.299 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.299 * [taylor]: Taking taylor expansion of t in t 4.299 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 4.299 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.299 * [taylor]: Taking taylor expansion of t in t 4.303 * [approximate]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in (x y z t) around 0 4.303 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in t 4.303 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t 4.303 * [taylor]: Taking taylor expansion of y in t 4.303 * [taylor]: Taking taylor expansion of (* t x) in t 4.303 * [taylor]: Taking taylor expansion of t in t 4.303 * [taylor]: Taking taylor expansion of x in t 4.304 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t 4.304 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.304 * [taylor]: Taking taylor expansion of t in t 4.304 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t 4.304 * [taylor]: Taking taylor expansion of y in t 4.304 * [taylor]: Taking taylor expansion of (* x z) in t 4.304 * [taylor]: Taking taylor expansion of x in t 4.304 * [taylor]: Taking taylor expansion of z in t 4.304 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in z 4.304 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z 4.304 * [taylor]: Taking taylor expansion of y in z 4.304 * [taylor]: Taking taylor expansion of (* t x) in z 4.304 * [taylor]: Taking taylor expansion of t in z 4.304 * [taylor]: Taking taylor expansion of x in z 4.304 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z 4.304 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.304 * [taylor]: Taking taylor expansion of t in z 4.304 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 4.304 * [taylor]: Taking taylor expansion of y in z 4.304 * [taylor]: Taking taylor expansion of (* x z) in z 4.304 * [taylor]: Taking taylor expansion of x in z 4.304 * [taylor]: Taking taylor expansion of z in z 4.305 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in y 4.305 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y 4.305 * [taylor]: Taking taylor expansion of y in y 4.305 * [taylor]: Taking taylor expansion of (* t x) in y 4.305 * [taylor]: Taking taylor expansion of t in y 4.305 * [taylor]: Taking taylor expansion of x in y 4.305 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y 4.305 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.305 * [taylor]: Taking taylor expansion of t in y 4.305 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 4.305 * [taylor]: Taking taylor expansion of y in y 4.305 * [taylor]: Taking taylor expansion of (* x z) in y 4.305 * [taylor]: Taking taylor expansion of x in y 4.305 * [taylor]: Taking taylor expansion of z in y 4.305 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x 4.305 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 4.305 * [taylor]: Taking taylor expansion of y in x 4.305 * [taylor]: Taking taylor expansion of (* t x) in x 4.305 * [taylor]: Taking taylor expansion of t in x 4.305 * [taylor]: Taking taylor expansion of x in x 4.305 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 4.305 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.305 * [taylor]: Taking taylor expansion of t in x 4.306 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 4.306 * [taylor]: Taking taylor expansion of y in x 4.306 * [taylor]: Taking taylor expansion of (* x z) in x 4.306 * [taylor]: Taking taylor expansion of x in x 4.306 * [taylor]: Taking taylor expansion of z in x 4.306 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x 4.306 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 4.306 * [taylor]: Taking taylor expansion of y in x 4.306 * [taylor]: Taking taylor expansion of (* t x) in x 4.306 * [taylor]: Taking taylor expansion of t in x 4.306 * [taylor]: Taking taylor expansion of x in x 4.306 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 4.306 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.306 * [taylor]: Taking taylor expansion of t in x 4.306 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 4.306 * [taylor]: Taking taylor expansion of y in x 4.306 * [taylor]: Taking taylor expansion of (* x z) in x 4.306 * [taylor]: Taking taylor expansion of x in x 4.306 * [taylor]: Taking taylor expansion of z in x 4.307 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 4.307 * [taylor]: Taking taylor expansion of (/ y t) in y 4.307 * [taylor]: Taking taylor expansion of y in y 4.307 * [taylor]: Taking taylor expansion of t in y 4.307 * [taylor]: Taking taylor expansion of (/ y z) in y 4.307 * [taylor]: Taking taylor expansion of y in y 4.307 * [taylor]: Taking taylor expansion of z in y 4.308 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 4.308 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.308 * [taylor]: Taking taylor expansion of t in y 4.308 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 4.308 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.308 * [taylor]: Taking taylor expansion of t in z 4.308 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 4.308 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.308 * [taylor]: Taking taylor expansion of t in z 4.308 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.308 * [taylor]: Taking taylor expansion of z in z 4.309 * [taylor]: Taking taylor expansion of -1 in t 4.311 * [taylor]: Taking taylor expansion of 0 in y 4.311 * [taylor]: Taking taylor expansion of 0 in z 4.312 * [taylor]: Taking taylor expansion of 0 in z 4.312 * [taylor]: Taking taylor expansion of 0 in z 4.313 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 4.313 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.313 * [taylor]: Taking taylor expansion of t in t 4.314 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.314 * [taylor]: Taking taylor expansion of t in t 4.315 * * * [progress]: simplifying candidates 4.316 * [simplify]: Simplifying using # : (* (/ x y) (- z t)) (+ (- (log x) (log y)) (log (- z t))) (+ (log (/ x y)) (log (- z t))) (log (* (/ x y) (- z t))) (exp (* (/ x y) (- z t))) (* (/ (* (* x x) x) (* (* y y) y)) (* (* (- z t) (- z t)) (- z t))) (* (* (* (/ x y) (/ x y)) (/ x y)) (* (* (- z t) (- z t)) (- z t))) (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))) (* (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (* x (- (pow z 3) (pow t 3))) (* y (+ (* z z) (+ (* t t) (* z t)))) (* x (- (* z z) (* t t))) (* y (+ z t)) (* (sqrt (/ x y)) (sqrt (- z t))) (* (sqrt (/ x y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ x y) z) (* (/ x y) (- t)) (* (/ x y) z) (* (/ x y) (- t)) (* z (/ x y)) (* (- t) (/ x y)) (* z (/ x y)) (* (- t) (/ x y)) (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (* (/ x y) (sqrt (- z t))) (* (/ x y) 1) (* (/ x y) (+ (sqrt z) (sqrt t))) (* (/ x y) 1) (* (cbrt (/ x y)) (- z t)) (* (sqrt (/ x y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (sqrt y)) (- z t)) (* (/ (cbrt x) y) (- z t)) (* (/ (sqrt x) (cbrt y)) (- z t)) (* (/ (sqrt x) (sqrt y)) (- z t)) (* (/ (sqrt x) y) (- z t)) (* (/ x (cbrt y)) (- z t)) (* (/ x (sqrt y)) (- z t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (* (/ 1 y) (- z t)) (* (/ x y) (- (pow z 3) (pow t 3))) (* (/ x y) (- (* z z) (* t t))) (* x (- z t)) (* (exp (* (/ x y) (- z t))) (exp t)) (log (+ (* (/ x y) (- z t)) t)) (exp (+ (* (/ x y) (- z t)) t)) (* (cbrt (+ (* (/ x y) (- z t)) t)) (cbrt (+ (* (/ x y) (- z t)) t))) (cbrt (+ (* (/ x y) (- z t)) t)) (* (* (+ (* (/ x y) (- z t)) t) (+ (* (/ x y) (- z t)) t)) (+ (* (/ x y) (- z t)) t)) (sqrt (+ (* (/ x y) (- z t)) t)) (sqrt (+ (* (/ x y) (- z t)) t)) (+ (pow (* (/ x y) (- z t)) 3) (pow t 3)) (+ (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (- (* t t) (* (* (/ x y) (- z t)) t))) (- (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* t t)) (- (* (/ x y) (- z t)) t) (+ (* (/ x y) (- t)) t) (+ (* (/ x y) (- t)) t) (+ (* (- t) (/ x y)) t) (+ (* (- t) (/ x y)) t) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 4.319 * * [simplify]: iteration 0 : 120 enodes (cost 727 ) 4.339 * * [simplify]: iteration 1 : 313 enodes (cost 701 ) 4.440 * * [simplify]: iteration 2 : 1010 enodes (cost 625 ) 5.298 * * [simplify]: iteration 3 : 3823 enodes (cost 619 ) 6.599 * * [simplify]: iteration done : 5000 enodes (cost 619 ) 6.599 * [simplify]: Simplified to: (* (/ x y) (- z t)) (log (* (/ x y) (- z t))) (log (* (/ x y) (- z t))) (log (* (/ x y) (- z t))) (exp (* (/ x y) (- z t))) (pow (* (/ x y) (- z t)) 3) (pow (* (/ x y) (- z t)) 3) (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))) (pow (* (/ x y) (- z t)) 3) (sqrt (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (* x (- (pow z 3) (pow t 3))) (* (+ (* z z) (* t (+ z t))) y) (* (+ z t) (* x (- z t))) (* y (+ z t)) (* (sqrt (/ x y)) (sqrt (- z t))) (* (sqrt (/ x y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (/ (* x z) y) (- (/ (* t x) y)) (/ (* x z) y) (- (/ (* t x) y)) (/ (* x z) y) (- (/ (* t x) y)) (/ (* x z) y) (- (/ (* t x) y)) (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (* (/ x y) (sqrt (- z t))) (/ x y) (* (/ x y) (+ (sqrt z) (sqrt t))) (/ x y) (* (cbrt (/ x y)) (- z t)) (* (sqrt (/ x y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (sqrt y)) (- z t)) (* (/ (cbrt x) y) (- z t)) (* (/ (sqrt x) (cbrt y)) (- z t)) (* (/ (sqrt x) (sqrt y)) (- z t)) (* (/ (sqrt x) y) (- z t)) (* (/ x (cbrt y)) (- z t)) (* (/ x (sqrt y)) (- z t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (/ (- z t) y) (* (/ x y) (- (pow z 3) (pow t 3))) (* (/ x y) (- (* z z) (* t t))) (* x (- z t)) (exp (+ (* (/ x y) (- z t)) t)) (log (+ (* (/ x y) (- z t)) t)) (exp (+ (* (/ x y) (- z t)) t)) (* (cbrt (+ (* (/ x y) (- z t)) t)) (cbrt (+ (* (/ x y) (- z t)) t))) (cbrt (+ (* (/ x y) (- z t)) t)) (pow (+ (* (/ x y) (- z t)) t) 3) (sqrt (+ (* (/ x y) (- z t)) t)) (sqrt (+ (* (/ x y) (- z t)) t)) (+ (pow (* (/ x y) (- z t)) 3) (pow t 3)) (+ (* (* (/ x y) (- z t)) (- (* (/ x y) (- z t)) t)) (* t t)) (- (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* t t)) (- (* (/ x y) (- z t)) t) (- t (* (/ x y) t)) (- t (* (/ x y) t)) (- t (* (/ x y) t)) (- t (* (/ x y) t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (+ (* (/ x y) (- z t)) t) (+ (* (/ x y) (- z t)) t) 6.600 * * * [progress]: adding candidates to table 6.712 * * [progress]: iteration 2 / 4 6.712 * * * [progress]: picking best candidate 6.725 * * * * [pick]: Picked # 6.725 * * * [progress]: localizing error 6.741 * * * [progress]: generating rewritten candidates 6.741 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.803 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 6.803 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 6.804 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 6.808 * * * [progress]: generating series expansions 6.808 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.809 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 6.809 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 6.809 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 6.809 * [taylor]: Taking taylor expansion of x in t 6.809 * [taylor]: Taking taylor expansion of (- z t) in t 6.809 * [taylor]: Taking taylor expansion of z in t 6.809 * [taylor]: Taking taylor expansion of t in t 6.809 * [taylor]: Taking taylor expansion of y in t 6.809 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 6.809 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 6.809 * [taylor]: Taking taylor expansion of x in z 6.809 * [taylor]: Taking taylor expansion of (- z t) in z 6.809 * [taylor]: Taking taylor expansion of z in z 6.809 * [taylor]: Taking taylor expansion of t in z 6.809 * [taylor]: Taking taylor expansion of y in z 6.809 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 6.809 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 6.809 * [taylor]: Taking taylor expansion of x in y 6.809 * [taylor]: Taking taylor expansion of (- z t) in y 6.809 * [taylor]: Taking taylor expansion of z in y 6.809 * [taylor]: Taking taylor expansion of t in y 6.810 * [taylor]: Taking taylor expansion of y in y 6.810 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 6.810 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 6.810 * [taylor]: Taking taylor expansion of x in x 6.810 * [taylor]: Taking taylor expansion of (- z t) in x 6.810 * [taylor]: Taking taylor expansion of z in x 6.810 * [taylor]: Taking taylor expansion of t in x 6.810 * [taylor]: Taking taylor expansion of y in x 6.811 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 6.811 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 6.811 * [taylor]: Taking taylor expansion of x in x 6.811 * [taylor]: Taking taylor expansion of (- z t) in x 6.811 * [taylor]: Taking taylor expansion of z in x 6.811 * [taylor]: Taking taylor expansion of t in x 6.811 * [taylor]: Taking taylor expansion of y in x 6.812 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 6.812 * [taylor]: Taking taylor expansion of (- z t) in y 6.812 * [taylor]: Taking taylor expansion of z in y 6.812 * [taylor]: Taking taylor expansion of t in y 6.812 * [taylor]: Taking taylor expansion of y in y 6.812 * [taylor]: Taking taylor expansion of (- z t) in z 6.812 * [taylor]: Taking taylor expansion of z in z 6.812 * [taylor]: Taking taylor expansion of t in z 6.812 * [taylor]: Taking taylor expansion of (- t) in t 6.812 * [taylor]: Taking taylor expansion of t in t 6.813 * [taylor]: Taking taylor expansion of 0 in y 6.814 * [taylor]: Taking taylor expansion of 0 in z 6.814 * [taylor]: Taking taylor expansion of 0 in t 6.815 * [taylor]: Taking taylor expansion of 1 in t 6.816 * [taylor]: Taking taylor expansion of 0 in y 6.816 * [taylor]: Taking taylor expansion of 0 in z 6.816 * [taylor]: Taking taylor expansion of 0 in t 6.821 * [taylor]: Taking taylor expansion of 0 in z 6.821 * [taylor]: Taking taylor expansion of 0 in t 6.821 * [taylor]: Taking taylor expansion of 0 in t 6.821 * [taylor]: Taking taylor expansion of 0 in t 6.822 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 6.822 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 6.822 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 6.822 * [taylor]: Taking taylor expansion of y in t 6.822 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 6.822 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.822 * [taylor]: Taking taylor expansion of z in t 6.822 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.822 * [taylor]: Taking taylor expansion of t in t 6.823 * [taylor]: Taking taylor expansion of x in t 6.823 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 6.823 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 6.823 * [taylor]: Taking taylor expansion of y in z 6.823 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.823 * [taylor]: Taking taylor expansion of z in z 6.823 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.823 * [taylor]: Taking taylor expansion of t in z 6.823 * [taylor]: Taking taylor expansion of x in z 6.824 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 6.824 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 6.824 * [taylor]: Taking taylor expansion of y in y 6.824 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.824 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.824 * [taylor]: Taking taylor expansion of z in y 6.824 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.824 * [taylor]: Taking taylor expansion of t in y 6.824 * [taylor]: Taking taylor expansion of x in y 6.825 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 6.825 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 6.825 * [taylor]: Taking taylor expansion of y in x 6.825 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.825 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.825 * [taylor]: Taking taylor expansion of z in x 6.825 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.825 * [taylor]: Taking taylor expansion of t in x 6.825 * [taylor]: Taking taylor expansion of x in x 6.825 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 6.825 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 6.825 * [taylor]: Taking taylor expansion of y in x 6.825 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.825 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.825 * [taylor]: Taking taylor expansion of z in x 6.825 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.825 * [taylor]: Taking taylor expansion of t in x 6.826 * [taylor]: Taking taylor expansion of x in x 6.826 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 6.826 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.826 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.826 * [taylor]: Taking taylor expansion of z in y 6.826 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.826 * [taylor]: Taking taylor expansion of t in y 6.826 * [taylor]: Taking taylor expansion of y in y 6.827 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.827 * [taylor]: Taking taylor expansion of z in z 6.827 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.827 * [taylor]: Taking taylor expansion of t in z 6.827 * [taylor]: Taking taylor expansion of 1 in t 6.829 * [taylor]: Taking taylor expansion of 0 in y 6.829 * [taylor]: Taking taylor expansion of 0 in z 6.830 * [taylor]: Taking taylor expansion of 0 in z 6.830 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.830 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.830 * [taylor]: Taking taylor expansion of t in t 6.833 * [taylor]: Taking taylor expansion of 0 in y 6.833 * [taylor]: Taking taylor expansion of 0 in z 6.833 * [taylor]: Taking taylor expansion of 0 in z 6.834 * [taylor]: Taking taylor expansion of 0 in z 6.834 * [taylor]: Taking taylor expansion of 0 in t 6.834 * [taylor]: Taking taylor expansion of 0 in t 6.835 * [taylor]: Taking taylor expansion of 0 in t 6.838 * [taylor]: Taking taylor expansion of 0 in y 6.838 * [taylor]: Taking taylor expansion of 0 in z 6.838 * [taylor]: Taking taylor expansion of 0 in z 6.838 * [taylor]: Taking taylor expansion of 0 in z 6.839 * [taylor]: Taking taylor expansion of 0 in z 6.839 * [taylor]: Taking taylor expansion of 0 in t 6.839 * [taylor]: Taking taylor expansion of 0 in t 6.839 * [taylor]: Taking taylor expansion of 0 in t 6.839 * [taylor]: Taking taylor expansion of 0 in t 6.839 * [taylor]: Taking taylor expansion of 0 in t 6.840 * [taylor]: Taking taylor expansion of 0 in t 6.842 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 6.842 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 6.842 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 6.842 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 6.842 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.842 * [taylor]: Taking taylor expansion of t in t 6.843 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.843 * [taylor]: Taking taylor expansion of z in t 6.843 * [taylor]: Taking taylor expansion of y in t 6.843 * [taylor]: Taking taylor expansion of x in t 6.843 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 6.843 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 6.843 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.843 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.843 * [taylor]: Taking taylor expansion of t in z 6.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.843 * [taylor]: Taking taylor expansion of z in z 6.843 * [taylor]: Taking taylor expansion of y in z 6.843 * [taylor]: Taking taylor expansion of x in z 6.844 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 6.844 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 6.844 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.844 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.844 * [taylor]: Taking taylor expansion of t in y 6.844 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.844 * [taylor]: Taking taylor expansion of z in y 6.844 * [taylor]: Taking taylor expansion of y in y 6.844 * [taylor]: Taking taylor expansion of x in y 6.845 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 6.845 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 6.845 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.845 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.845 * [taylor]: Taking taylor expansion of t in x 6.845 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.845 * [taylor]: Taking taylor expansion of z in x 6.845 * [taylor]: Taking taylor expansion of y in x 6.845 * [taylor]: Taking taylor expansion of x in x 6.845 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 6.845 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 6.845 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.845 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.845 * [taylor]: Taking taylor expansion of t in x 6.846 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.846 * [taylor]: Taking taylor expansion of z in x 6.846 * [taylor]: Taking taylor expansion of y in x 6.846 * [taylor]: Taking taylor expansion of x in x 6.846 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 6.846 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.846 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.846 * [taylor]: Taking taylor expansion of t in y 6.846 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.846 * [taylor]: Taking taylor expansion of z in y 6.846 * [taylor]: Taking taylor expansion of y in y 6.847 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.847 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.847 * [taylor]: Taking taylor expansion of t in z 6.847 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.847 * [taylor]: Taking taylor expansion of z in z 6.848 * [taylor]: Taking taylor expansion of -1 in t 6.849 * [taylor]: Taking taylor expansion of 0 in y 6.849 * [taylor]: Taking taylor expansion of 0 in z 6.850 * [taylor]: Taking taylor expansion of 0 in z 6.851 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.851 * [taylor]: Taking taylor expansion of t in t 6.853 * [taylor]: Taking taylor expansion of 0 in y 6.853 * [taylor]: Taking taylor expansion of 0 in z 6.853 * [taylor]: Taking taylor expansion of 0 in z 6.854 * [taylor]: Taking taylor expansion of 0 in z 6.854 * [taylor]: Taking taylor expansion of 0 in t 6.854 * [taylor]: Taking taylor expansion of 0 in t 6.855 * [taylor]: Taking taylor expansion of 0 in t 6.859 * [taylor]: Taking taylor expansion of 0 in y 6.859 * [taylor]: Taking taylor expansion of 0 in z 6.859 * [taylor]: Taking taylor expansion of 0 in z 6.859 * [taylor]: Taking taylor expansion of 0 in z 6.860 * [taylor]: Taking taylor expansion of 0 in z 6.860 * [taylor]: Taking taylor expansion of 0 in t 6.860 * [taylor]: Taking taylor expansion of 0 in t 6.860 * [taylor]: Taking taylor expansion of 0 in t 6.860 * [taylor]: Taking taylor expansion of 0 in t 6.860 * [taylor]: Taking taylor expansion of 0 in t 6.861 * [taylor]: Taking taylor expansion of 0 in t 6.862 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 6.862 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.862 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.862 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.862 * [taylor]: Taking taylor expansion of 1/3 in x 6.862 * [taylor]: Taking taylor expansion of (log x) in x 6.862 * [taylor]: Taking taylor expansion of x in x 6.863 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.863 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.863 * [taylor]: Taking taylor expansion of 1/3 in x 6.863 * [taylor]: Taking taylor expansion of (log x) in x 6.863 * [taylor]: Taking taylor expansion of x in x 6.916 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.916 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.916 * [taylor]: Taking taylor expansion of 1/3 in x 6.916 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.916 * [taylor]: Taking taylor expansion of x in x 6.917 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.917 * [taylor]: Taking taylor expansion of 1/3 in x 6.917 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.917 * [taylor]: Taking taylor expansion of x in x 6.969 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.969 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.969 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.969 * [taylor]: Taking taylor expansion of -1 in x 6.970 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.970 * [taylor]: Taking taylor expansion of 1/3 in x 6.970 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.970 * [taylor]: Taking taylor expansion of x in x 6.971 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.971 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.971 * [taylor]: Taking taylor expansion of -1 in x 6.972 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.972 * [taylor]: Taking taylor expansion of 1/3 in x 6.972 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.972 * [taylor]: Taking taylor expansion of x in x 7.038 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 7.038 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.038 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.038 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.038 * [taylor]: Taking taylor expansion of 1/3 in x 7.038 * [taylor]: Taking taylor expansion of (log x) in x 7.038 * [taylor]: Taking taylor expansion of x in x 7.038 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.038 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.039 * [taylor]: Taking taylor expansion of 1/3 in x 7.039 * [taylor]: Taking taylor expansion of (log x) in x 7.039 * [taylor]: Taking taylor expansion of x in x 7.089 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.089 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.089 * [taylor]: Taking taylor expansion of 1/3 in x 7.089 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.089 * [taylor]: Taking taylor expansion of x in x 7.090 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.090 * [taylor]: Taking taylor expansion of 1/3 in x 7.090 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.090 * [taylor]: Taking taylor expansion of x in x 7.143 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.144 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.144 * [taylor]: Taking taylor expansion of -1 in x 7.144 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.144 * [taylor]: Taking taylor expansion of 1/3 in x 7.144 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.144 * [taylor]: Taking taylor expansion of x in x 7.145 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.145 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.145 * [taylor]: Taking taylor expansion of -1 in x 7.146 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.146 * [taylor]: Taking taylor expansion of 1/3 in x 7.146 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.146 * [taylor]: Taking taylor expansion of x in x 7.211 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 7.211 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.211 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.211 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.211 * [taylor]: Taking taylor expansion of 1/3 in x 7.211 * [taylor]: Taking taylor expansion of (log x) in x 7.211 * [taylor]: Taking taylor expansion of x in x 7.211 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.211 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.211 * [taylor]: Taking taylor expansion of 1/3 in x 7.211 * [taylor]: Taking taylor expansion of (log x) in x 7.211 * [taylor]: Taking taylor expansion of x in x 7.260 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.260 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.260 * [taylor]: Taking taylor expansion of 1/3 in x 7.260 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.260 * [taylor]: Taking taylor expansion of x in x 7.261 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.261 * [taylor]: Taking taylor expansion of 1/3 in x 7.261 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.261 * [taylor]: Taking taylor expansion of x in x 7.318 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.318 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.318 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.318 * [taylor]: Taking taylor expansion of -1 in x 7.319 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.319 * [taylor]: Taking taylor expansion of 1/3 in x 7.319 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.319 * [taylor]: Taking taylor expansion of x in x 7.320 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.320 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.320 * [taylor]: Taking taylor expansion of -1 in x 7.320 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.320 * [taylor]: Taking taylor expansion of 1/3 in x 7.320 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.320 * [taylor]: Taking taylor expansion of x in x 7.386 * * * [progress]: simplifying candidates 7.388 * [simplify]: Simplifying using # : (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (log (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (exp (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* x x) (* y y)) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t))))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (+ (* z z) (+ (* t t) (* z t)))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) (cbrt y)) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (+ z t)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- z t))) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt x) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt x) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt x) (- z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) (cbrt y)) (- z t))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 7.394 * * [simplify]: iteration 0 : 168 enodes (cost 2312 ) 7.433 * * [simplify]: iteration 1 : 585 enodes (cost 2242 ) 7.639 * * [simplify]: iteration 2 : 2645 enodes (cost 1212 ) 8.312 * * [simplify]: iteration done : 5000 enodes (cost 1208 ) 8.313 * [simplify]: Simplified to: (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (log (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (exp (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (* (* (/ (* x x) (* y y)) (/ x y)) (pow (- z t) 3)) (* (/ (* x x) (* y y)) (pow (* (/ (cbrt x) (cbrt y)) (- z t)) 3)) (* (/ (* x x) (* y y)) (pow (* (/ (cbrt x) (cbrt y)) (- z t)) 3)) (* (* (/ (* x x) (pow (* (cbrt y) (cbrt y)) 3)) (/ x y)) (pow (- z t) 3)) (* (/ (* x x) (pow (* (cbrt y) (cbrt y)) 3)) (pow (* (/ (cbrt x) (cbrt y)) (- z t)) 3)) (* (/ (* x x) (pow (* (cbrt y) (cbrt y)) 3)) (pow (* (/ (cbrt x) (cbrt y)) (- z t)) 3)) (/ (pow (pow x 2/3) 3) (/ (* y y) (* (/ x y) (pow (- z t) 3)))) (/ (pow (pow x 2/3) 3) (/ (* y y) (pow (* (/ (cbrt x) (cbrt y)) (- z t)) 3))) (/ (pow (pow x 2/3) 3) (/ (* y y) (pow (* (/ (cbrt x) (cbrt y)) (- z t)) 3))) (* (pow (/ (pow x 2/3) (* (cbrt y) (cbrt y))) 3) (* (/ x y) (pow (- z t) 3))) (pow (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) 3) (pow (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) 3) (* (pow (/ (pow x 2/3) (* (cbrt y) (cbrt y))) 3) (* (/ x y) (pow (- z t) 3))) (pow (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) 3) (pow (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) 3) (* (cbrt (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (cbrt (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)))) (cbrt (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (pow (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) 3) (sqrt (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (sqrt (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t))) (* (- (pow z 3) (pow t 3)) (pow (cbrt x) 3)) (* (+ (* z z) (* t (+ z t))) (pow (cbrt y) 3)) (* (- (* z z) (* t t)) (pow (cbrt x) 3)) (* (pow (cbrt y) 3) (+ z t)) (* (/ (pow (cbrt x) 3) (cbrt y)) (- (pow z 3) (pow t 3))) (* (* (cbrt y) (cbrt y)) (+ (* z z) (* t (+ z t)))) (* (- (* z z) (* t t)) (/ (pow (cbrt x) 3) (cbrt y))) (* (* (cbrt y) (cbrt y)) (+ z t)) (* (- z t) (pow (cbrt x) 3)) (pow (cbrt y) 3) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (- t) (pow (/ (cbrt x) (cbrt y)) 3)) (pow (/ (cbrt x) (cbrt y)) 3) (* (/ (cbrt x) (cbrt y)) (* (- z t) (cbrt (/ (pow x 2/3) (* (cbrt y) (cbrt y)))))) (* (fabs (/ (cbrt x) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (- z t) (/ (pow x 2/3) (* (cbrt y) (cbrt y)))) (* (pow (/ (cbrt x) (cbrt y)) 3) (- z t)) (/ (* (cbrt x) (- z t)) (pow (cbrt y) 3)) (* (/ (pow (cbrt x) 3) (* (cbrt y) (cbrt y))) (- (pow z 3) (pow t 3))) (/ (* (- (* z z) (* t t)) (pow (cbrt x) 3)) (* (cbrt y) (cbrt y))) (* (pow (/ (cbrt x) (cbrt y)) 3) (- (pow z 3) (pow t 3))) (* (pow (/ (cbrt x) (cbrt y)) 3) (- (* z z) (* t t))) (* (/ (pow (cbrt x) 3) (* (cbrt y) (cbrt y))) (- z t)) (* (/ (pow (cbrt x) 3) (cbrt y)) (- z t)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 8.314 * * * [progress]: adding candidates to table 8.588 * * [progress]: iteration 3 / 4 8.588 * * * [progress]: picking best candidate 8.601 * * * * [pick]: Picked # 8.601 * * * [progress]: localizing error 8.620 * * * [progress]: generating rewritten candidates 8.620 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 8.627 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 1) 8.627 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 8.628 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2) 8.629 * * * [progress]: generating series expansions 8.629 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 8.629 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 8.629 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 8.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 8.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 8.629 * [taylor]: Taking taylor expansion of 1/3 in y 8.629 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 8.629 * [taylor]: Taking taylor expansion of (/ x y) in y 8.629 * [taylor]: Taking taylor expansion of x in y 8.629 * [taylor]: Taking taylor expansion of y in y 8.630 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 8.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 8.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 8.631 * [taylor]: Taking taylor expansion of 1/3 in x 8.631 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 8.631 * [taylor]: Taking taylor expansion of (/ x y) in x 8.631 * [taylor]: Taking taylor expansion of x in x 8.631 * [taylor]: Taking taylor expansion of y in x 8.631 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 8.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 8.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 8.631 * [taylor]: Taking taylor expansion of 1/3 in x 8.631 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 8.631 * [taylor]: Taking taylor expansion of (/ x y) in x 8.631 * [taylor]: Taking taylor expansion of x in x 8.631 * [taylor]: Taking taylor expansion of y in x 8.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 8.632 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 8.632 * [taylor]: Taking taylor expansion of 1/3 in y 8.632 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 8.632 * [taylor]: Taking taylor expansion of (log x) in y 8.632 * [taylor]: Taking taylor expansion of x in y 8.632 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.632 * [taylor]: Taking taylor expansion of y in y 8.635 * [taylor]: Taking taylor expansion of 0 in y 8.641 * [taylor]: Taking taylor expansion of 0 in y 8.649 * [taylor]: Taking taylor expansion of 0 in y 8.650 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 8.650 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 8.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 8.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 8.650 * [taylor]: Taking taylor expansion of 1/3 in y 8.650 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 8.650 * [taylor]: Taking taylor expansion of (/ y x) in y 8.650 * [taylor]: Taking taylor expansion of y in y 8.650 * [taylor]: Taking taylor expansion of x in y 8.650 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 8.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 8.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 8.650 * [taylor]: Taking taylor expansion of 1/3 in x 8.650 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 8.650 * [taylor]: Taking taylor expansion of (/ y x) in x 8.650 * [taylor]: Taking taylor expansion of y in x 8.650 * [taylor]: Taking taylor expansion of x in x 8.651 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 8.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 8.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 8.651 * [taylor]: Taking taylor expansion of 1/3 in x 8.651 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 8.651 * [taylor]: Taking taylor expansion of (/ y x) in x 8.651 * [taylor]: Taking taylor expansion of y in x 8.651 * [taylor]: Taking taylor expansion of x in x 8.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 8.652 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 8.652 * [taylor]: Taking taylor expansion of 1/3 in y 8.652 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 8.652 * [taylor]: Taking taylor expansion of (log y) in y 8.652 * [taylor]: Taking taylor expansion of y in y 8.652 * [taylor]: Taking taylor expansion of (log x) in y 8.652 * [taylor]: Taking taylor expansion of x in y 8.658 * [taylor]: Taking taylor expansion of 0 in y 8.664 * [taylor]: Taking taylor expansion of 0 in y 8.673 * [taylor]: Taking taylor expansion of 0 in y 8.674 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 8.674 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 8.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 8.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 8.674 * [taylor]: Taking taylor expansion of 1/3 in y 8.674 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 8.674 * [taylor]: Taking taylor expansion of (/ y x) in y 8.674 * [taylor]: Taking taylor expansion of y in y 8.674 * [taylor]: Taking taylor expansion of x in y 8.674 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 8.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 8.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 8.674 * [taylor]: Taking taylor expansion of 1/3 in x 8.674 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 8.674 * [taylor]: Taking taylor expansion of (/ y x) in x 8.674 * [taylor]: Taking taylor expansion of y in x 8.674 * [taylor]: Taking taylor expansion of x in x 8.675 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 8.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 8.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 8.675 * [taylor]: Taking taylor expansion of 1/3 in x 8.675 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 8.675 * [taylor]: Taking taylor expansion of (/ y x) in x 8.675 * [taylor]: Taking taylor expansion of y in x 8.675 * [taylor]: Taking taylor expansion of x in x 8.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 8.675 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 8.675 * [taylor]: Taking taylor expansion of 1/3 in y 8.675 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 8.675 * [taylor]: Taking taylor expansion of (log y) in y 8.676 * [taylor]: Taking taylor expansion of y in y 8.676 * [taylor]: Taking taylor expansion of (log x) in y 8.676 * [taylor]: Taking taylor expansion of x in y 8.678 * [taylor]: Taking taylor expansion of 0 in y 8.685 * [taylor]: Taking taylor expansion of 0 in y 8.694 * [taylor]: Taking taylor expansion of 0 in y 8.694 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 1) 8.694 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.694 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.694 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.694 * [taylor]: Taking taylor expansion of 1/3 in x 8.694 * [taylor]: Taking taylor expansion of (log x) in x 8.694 * [taylor]: Taking taylor expansion of x in x 8.695 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.695 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.695 * [taylor]: Taking taylor expansion of 1/3 in x 8.695 * [taylor]: Taking taylor expansion of (log x) in x 8.695 * [taylor]: Taking taylor expansion of x in x 8.749 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.749 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.749 * [taylor]: Taking taylor expansion of 1/3 in x 8.749 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.749 * [taylor]: Taking taylor expansion of x in x 8.751 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.751 * [taylor]: Taking taylor expansion of 1/3 in x 8.751 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.751 * [taylor]: Taking taylor expansion of x in x 8.805 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.805 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.805 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.805 * [taylor]: Taking taylor expansion of -1 in x 8.806 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.806 * [taylor]: Taking taylor expansion of 1/3 in x 8.806 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.806 * [taylor]: Taking taylor expansion of x in x 8.807 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.807 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.807 * [taylor]: Taking taylor expansion of -1 in x 8.808 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.808 * [taylor]: Taking taylor expansion of 1/3 in x 8.808 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.808 * [taylor]: Taking taylor expansion of x in x 8.876 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 8.876 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.876 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.876 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.876 * [taylor]: Taking taylor expansion of 1/3 in x 8.876 * [taylor]: Taking taylor expansion of (log x) in x 8.876 * [taylor]: Taking taylor expansion of x in x 8.877 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.877 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.877 * [taylor]: Taking taylor expansion of 1/3 in x 8.877 * [taylor]: Taking taylor expansion of (log x) in x 8.877 * [taylor]: Taking taylor expansion of x in x 8.931 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.931 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.931 * [taylor]: Taking taylor expansion of 1/3 in x 8.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.931 * [taylor]: Taking taylor expansion of x in x 8.932 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.932 * [taylor]: Taking taylor expansion of 1/3 in x 8.932 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.933 * [taylor]: Taking taylor expansion of x in x 8.990 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.990 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.990 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.990 * [taylor]: Taking taylor expansion of -1 in x 8.990 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.991 * [taylor]: Taking taylor expansion of 1/3 in x 8.991 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.991 * [taylor]: Taking taylor expansion of x in x 8.991 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.991 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.991 * [taylor]: Taking taylor expansion of -1 in x 8.992 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.992 * [taylor]: Taking taylor expansion of 1/3 in x 8.992 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.992 * [taylor]: Taking taylor expansion of x in x 9.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2) 9.057 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 9.057 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.057 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.057 * [taylor]: Taking taylor expansion of 1/3 in x 9.057 * [taylor]: Taking taylor expansion of (log x) in x 9.057 * [taylor]: Taking taylor expansion of x in x 9.058 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.058 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.058 * [taylor]: Taking taylor expansion of 1/3 in x 9.058 * [taylor]: Taking taylor expansion of (log x) in x 9.058 * [taylor]: Taking taylor expansion of x in x 9.107 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 9.107 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.107 * [taylor]: Taking taylor expansion of 1/3 in x 9.107 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.107 * [taylor]: Taking taylor expansion of x in x 9.108 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.108 * [taylor]: Taking taylor expansion of 1/3 in x 9.108 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.108 * [taylor]: Taking taylor expansion of x in x 9.167 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 9.167 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.167 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.167 * [taylor]: Taking taylor expansion of -1 in x 9.168 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.168 * [taylor]: Taking taylor expansion of 1/3 in x 9.168 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.168 * [taylor]: Taking taylor expansion of x in x 9.169 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.169 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.169 * [taylor]: Taking taylor expansion of -1 in x 9.170 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.170 * [taylor]: Taking taylor expansion of 1/3 in x 9.170 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.170 * [taylor]: Taking taylor expansion of x in x 9.242 * * * [progress]: simplifying candidates 9.243 * [simplify]: Simplifying using # : (log (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (exp (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (cbrt (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))))) (cbrt (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (* (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (sqrt (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))))) (sqrt (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (sqrt (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (sqrt (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (sqrt (/ (cbrt x) (cbrt y))) (sqrt (/ (cbrt x) (cbrt y))) (sqrt 1) (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (/ 1 (* (cbrt y) (cbrt y)))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt y) (cbrt y))) (/ 1 2) (sqrt (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (sqrt (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (exp (* 1/3 (- (log x) (log y)))) (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 x))))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 9.245 * * [simplify]: iteration 0 : 67 enodes (cost 477 ) 9.256 * * [simplify]: iteration 1 : 116 enodes (cost 424 ) 9.280 * * [simplify]: iteration 2 : 243 enodes (cost 324 ) 9.332 * * [simplify]: iteration 3 : 587 enodes (cost 312 ) 9.754 * * [simplify]: iteration 4 : 1790 enodes (cost 303 ) 10.959 * * [simplify]: iteration done : 5000 enodes (cost 303 ) 10.960 * [simplify]: Simplified to: (log (fabs (/ (cbrt x) (cbrt y)))) (exp (fabs (/ (cbrt x) (cbrt y)))) (* (cbrt (fabs (/ (cbrt x) (cbrt y)))) (cbrt (fabs (/ (cbrt x) (cbrt y))))) (cbrt (fabs (/ (cbrt x) (cbrt y)))) (pow (fabs (/ (cbrt x) (cbrt y))) 3) (fabs (cbrt (/ (pow x 2/3) (* (cbrt y) (cbrt y))))) (sqrt (cbrt (/ (pow x 2/3) (* (cbrt y) (cbrt y))))) (sqrt (fabs (/ (cbrt x) (cbrt y)))) (sqrt (fabs (/ (cbrt x) (cbrt y)))) (sqrt (/ (cbrt x) (cbrt y))) (sqrt (/ (cbrt x) (cbrt y))) 1 (fabs (/ (cbrt x) (cbrt y))) (fabs (cbrt x)) (sqrt (/ 1 (* (cbrt y) (cbrt y)))) (fabs (cbrt x)) (fabs (cbrt y)) 1/2 (sqrt (fabs (/ (cbrt x) (cbrt y)))) (sqrt (fabs (/ (cbrt x) (cbrt y)))) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (cbrt (/ x y)) (cbrt (/ x y)) (cbrt (/ -1 (* (/ -1 x) y))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 10.960 * * * [progress]: adding candidates to table 11.189 * * [progress]: iteration 4 / 4 11.189 * * * [progress]: picking best candidate 11.198 * * * * [pick]: Picked # 11.198 * * * [progress]: localizing error 11.217 * * * [progress]: generating rewritten candidates 11.217 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 11.292 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 11.294 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 11.296 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1) 11.302 * * * [progress]: generating series expansions 11.302 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 11.302 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 11.302 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 11.302 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 11.302 * [taylor]: Taking taylor expansion of x in t 11.302 * [taylor]: Taking taylor expansion of (- z t) in t 11.302 * [taylor]: Taking taylor expansion of z in t 11.302 * [taylor]: Taking taylor expansion of t in t 11.302 * [taylor]: Taking taylor expansion of y in t 11.303 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 11.303 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 11.303 * [taylor]: Taking taylor expansion of x in z 11.303 * [taylor]: Taking taylor expansion of (- z t) in z 11.303 * [taylor]: Taking taylor expansion of z in z 11.303 * [taylor]: Taking taylor expansion of t in z 11.303 * [taylor]: Taking taylor expansion of y in z 11.303 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 11.303 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 11.303 * [taylor]: Taking taylor expansion of x in y 11.303 * [taylor]: Taking taylor expansion of (- z t) in y 11.303 * [taylor]: Taking taylor expansion of z in y 11.303 * [taylor]: Taking taylor expansion of t in y 11.303 * [taylor]: Taking taylor expansion of y in y 11.303 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 11.303 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 11.303 * [taylor]: Taking taylor expansion of x in x 11.303 * [taylor]: Taking taylor expansion of (- z t) in x 11.303 * [taylor]: Taking taylor expansion of z in x 11.303 * [taylor]: Taking taylor expansion of t in x 11.303 * [taylor]: Taking taylor expansion of y in x 11.304 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 11.304 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 11.304 * [taylor]: Taking taylor expansion of x in x 11.304 * [taylor]: Taking taylor expansion of (- z t) in x 11.304 * [taylor]: Taking taylor expansion of z in x 11.304 * [taylor]: Taking taylor expansion of t in x 11.304 * [taylor]: Taking taylor expansion of y in x 11.305 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 11.305 * [taylor]: Taking taylor expansion of (- z t) in y 11.305 * [taylor]: Taking taylor expansion of z in y 11.305 * [taylor]: Taking taylor expansion of t in y 11.305 * [taylor]: Taking taylor expansion of y in y 11.305 * [taylor]: Taking taylor expansion of (- z t) in z 11.305 * [taylor]: Taking taylor expansion of z in z 11.305 * [taylor]: Taking taylor expansion of t in z 11.305 * [taylor]: Taking taylor expansion of (- t) in t 11.305 * [taylor]: Taking taylor expansion of t in t 11.311 * [taylor]: Taking taylor expansion of 0 in y 11.312 * [taylor]: Taking taylor expansion of 0 in z 11.312 * [taylor]: Taking taylor expansion of 0 in t 11.312 * [taylor]: Taking taylor expansion of 1 in t 11.314 * [taylor]: Taking taylor expansion of 0 in y 11.314 * [taylor]: Taking taylor expansion of 0 in z 11.314 * [taylor]: Taking taylor expansion of 0 in t 11.315 * [taylor]: Taking taylor expansion of 0 in z 11.315 * [taylor]: Taking taylor expansion of 0 in t 11.315 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in t 11.317 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 11.317 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 11.317 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 11.317 * [taylor]: Taking taylor expansion of y in t 11.317 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 11.317 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.317 * [taylor]: Taking taylor expansion of z in t 11.317 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.317 * [taylor]: Taking taylor expansion of t in t 11.317 * [taylor]: Taking taylor expansion of x in t 11.318 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 11.318 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 11.318 * [taylor]: Taking taylor expansion of y in z 11.318 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.318 * [taylor]: Taking taylor expansion of z in z 11.318 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.318 * [taylor]: Taking taylor expansion of t in z 11.318 * [taylor]: Taking taylor expansion of x in z 11.318 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 11.318 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 11.318 * [taylor]: Taking taylor expansion of y in y 11.318 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 11.318 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.318 * [taylor]: Taking taylor expansion of z in y 11.319 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.319 * [taylor]: Taking taylor expansion of t in y 11.319 * [taylor]: Taking taylor expansion of x in y 11.320 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 11.320 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 11.320 * [taylor]: Taking taylor expansion of y in x 11.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.320 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.320 * [taylor]: Taking taylor expansion of z in x 11.320 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.320 * [taylor]: Taking taylor expansion of t in x 11.320 * [taylor]: Taking taylor expansion of x in x 11.320 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 11.320 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 11.320 * [taylor]: Taking taylor expansion of y in x 11.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.320 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.320 * [taylor]: Taking taylor expansion of z in x 11.320 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.320 * [taylor]: Taking taylor expansion of t in x 11.320 * [taylor]: Taking taylor expansion of x in x 11.320 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 11.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 11.320 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.320 * [taylor]: Taking taylor expansion of z in y 11.320 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.321 * [taylor]: Taking taylor expansion of t in y 11.321 * [taylor]: Taking taylor expansion of y in y 11.321 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.322 * [taylor]: Taking taylor expansion of z in z 11.322 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.322 * [taylor]: Taking taylor expansion of t in z 11.322 * [taylor]: Taking taylor expansion of 1 in t 11.323 * [taylor]: Taking taylor expansion of 0 in y 11.323 * [taylor]: Taking taylor expansion of 0 in z 11.324 * [taylor]: Taking taylor expansion of 0 in z 11.325 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.325 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.325 * [taylor]: Taking taylor expansion of t in t 11.327 * [taylor]: Taking taylor expansion of 0 in y 11.327 * [taylor]: Taking taylor expansion of 0 in z 11.328 * [taylor]: Taking taylor expansion of 0 in z 11.329 * [taylor]: Taking taylor expansion of 0 in z 11.329 * [taylor]: Taking taylor expansion of 0 in t 11.329 * [taylor]: Taking taylor expansion of 0 in t 11.330 * [taylor]: Taking taylor expansion of 0 in t 11.333 * [taylor]: Taking taylor expansion of 0 in y 11.333 * [taylor]: Taking taylor expansion of 0 in z 11.333 * [taylor]: Taking taylor expansion of 0 in z 11.333 * [taylor]: Taking taylor expansion of 0 in z 11.334 * [taylor]: Taking taylor expansion of 0 in z 11.334 * [taylor]: Taking taylor expansion of 0 in t 11.334 * [taylor]: Taking taylor expansion of 0 in t 11.334 * [taylor]: Taking taylor expansion of 0 in t 11.334 * [taylor]: Taking taylor expansion of 0 in t 11.334 * [taylor]: Taking taylor expansion of 0 in t 11.335 * [taylor]: Taking taylor expansion of 0 in t 11.337 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 11.337 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 11.337 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 11.337 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 11.337 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.337 * [taylor]: Taking taylor expansion of t in t 11.338 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.338 * [taylor]: Taking taylor expansion of z in t 11.338 * [taylor]: Taking taylor expansion of y in t 11.338 * [taylor]: Taking taylor expansion of x in t 11.338 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 11.338 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 11.338 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.338 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.338 * [taylor]: Taking taylor expansion of t in z 11.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.338 * [taylor]: Taking taylor expansion of z in z 11.338 * [taylor]: Taking taylor expansion of y in z 11.338 * [taylor]: Taking taylor expansion of x in z 11.339 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 11.339 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 11.339 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 11.339 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.339 * [taylor]: Taking taylor expansion of t in y 11.339 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.339 * [taylor]: Taking taylor expansion of z in y 11.339 * [taylor]: Taking taylor expansion of y in y 11.339 * [taylor]: Taking taylor expansion of x in y 11.340 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 11.340 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 11.340 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.340 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.340 * [taylor]: Taking taylor expansion of t in x 11.340 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.340 * [taylor]: Taking taylor expansion of z in x 11.340 * [taylor]: Taking taylor expansion of y in x 11.340 * [taylor]: Taking taylor expansion of x in x 11.341 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 11.341 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 11.341 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.341 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.341 * [taylor]: Taking taylor expansion of t in x 11.341 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.341 * [taylor]: Taking taylor expansion of z in x 11.341 * [taylor]: Taking taylor expansion of y in x 11.341 * [taylor]: Taking taylor expansion of x in x 11.341 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 11.341 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 11.341 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.341 * [taylor]: Taking taylor expansion of t in y 11.341 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.341 * [taylor]: Taking taylor expansion of z in y 11.341 * [taylor]: Taking taylor expansion of y in y 11.342 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.342 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.342 * [taylor]: Taking taylor expansion of t in z 11.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.342 * [taylor]: Taking taylor expansion of z in z 11.343 * [taylor]: Taking taylor expansion of -1 in t 11.344 * [taylor]: Taking taylor expansion of 0 in y 11.344 * [taylor]: Taking taylor expansion of 0 in z 11.345 * [taylor]: Taking taylor expansion of 0 in z 11.346 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.346 * [taylor]: Taking taylor expansion of t in t 11.348 * [taylor]: Taking taylor expansion of 0 in y 11.348 * [taylor]: Taking taylor expansion of 0 in z 11.348 * [taylor]: Taking taylor expansion of 0 in z 11.349 * [taylor]: Taking taylor expansion of 0 in z 11.349 * [taylor]: Taking taylor expansion of 0 in t 11.349 * [taylor]: Taking taylor expansion of 0 in t 11.350 * [taylor]: Taking taylor expansion of 0 in t 11.353 * [taylor]: Taking taylor expansion of 0 in y 11.353 * [taylor]: Taking taylor expansion of 0 in z 11.353 * [taylor]: Taking taylor expansion of 0 in z 11.353 * [taylor]: Taking taylor expansion of 0 in z 11.354 * [taylor]: Taking taylor expansion of 0 in z 11.354 * [taylor]: Taking taylor expansion of 0 in t 11.354 * [taylor]: Taking taylor expansion of 0 in t 11.354 * [taylor]: Taking taylor expansion of 0 in t 11.354 * [taylor]: Taking taylor expansion of 0 in t 11.355 * [taylor]: Taking taylor expansion of 0 in t 11.356 * [taylor]: Taking taylor expansion of 0 in t 11.357 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 11.357 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 3) in (x) around 0 11.357 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 11.357 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 11.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 11.357 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 11.357 * [taylor]: Taking taylor expansion of 1/3 in x 11.357 * [taylor]: Taking taylor expansion of (log x) in x 11.357 * [taylor]: Taking taylor expansion of x in x 11.358 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 11.358 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 11.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 11.358 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 11.358 * [taylor]: Taking taylor expansion of 1/3 in x 11.358 * [taylor]: Taking taylor expansion of (log x) in x 11.358 * [taylor]: Taking taylor expansion of x in x 11.435 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in (x) around 0 11.435 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 11.435 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.435 * [taylor]: Taking taylor expansion of 1/3 in x 11.435 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.435 * [taylor]: Taking taylor expansion of x in x 11.436 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 11.436 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.436 * [taylor]: Taking taylor expansion of 1/3 in x 11.436 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.436 * [taylor]: Taking taylor expansion of x in x 11.502 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in (x) around 0 11.502 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 11.502 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 11.502 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.502 * [taylor]: Taking taylor expansion of -1 in x 11.503 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.503 * [taylor]: Taking taylor expansion of 1/3 in x 11.503 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.503 * [taylor]: Taking taylor expansion of x in x 11.504 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 11.504 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 11.504 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.504 * [taylor]: Taking taylor expansion of -1 in x 11.505 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.505 * [taylor]: Taking taylor expansion of 1/3 in x 11.505 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.505 * [taylor]: Taking taylor expansion of x in x 11.597 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 11.597 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 11.597 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 11.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 11.597 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 11.597 * [taylor]: Taking taylor expansion of 1/3 in x 11.598 * [taylor]: Taking taylor expansion of (log x) in x 11.598 * [taylor]: Taking taylor expansion of x in x 11.598 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 11.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 11.598 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 11.598 * [taylor]: Taking taylor expansion of 1/3 in x 11.598 * [taylor]: Taking taylor expansion of (log x) in x 11.598 * [taylor]: Taking taylor expansion of x in x 11.655 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 11.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.655 * [taylor]: Taking taylor expansion of 1/3 in x 11.655 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.655 * [taylor]: Taking taylor expansion of x in x 11.656 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.656 * [taylor]: Taking taylor expansion of 1/3 in x 11.656 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.656 * [taylor]: Taking taylor expansion of x in x 11.709 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 11.709 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 11.709 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.709 * [taylor]: Taking taylor expansion of -1 in x 11.709 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.709 * [taylor]: Taking taylor expansion of 1/3 in x 11.709 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.709 * [taylor]: Taking taylor expansion of x in x 11.710 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 11.710 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.710 * [taylor]: Taking taylor expansion of -1 in x 11.711 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.711 * [taylor]: Taking taylor expansion of 1/3 in x 11.711 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.711 * [taylor]: Taking taylor expansion of x in x 11.780 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1) 11.780 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 11.780 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 11.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 11.780 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 11.780 * [taylor]: Taking taylor expansion of 1/3 in x 11.780 * [taylor]: Taking taylor expansion of (log x) in x 11.780 * [taylor]: Taking taylor expansion of x in x 11.781 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 11.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 11.781 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 11.781 * [taylor]: Taking taylor expansion of 1/3 in x 11.781 * [taylor]: Taking taylor expansion of (log x) in x 11.781 * [taylor]: Taking taylor expansion of x in x 11.835 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 11.835 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.835 * [taylor]: Taking taylor expansion of 1/3 in x 11.835 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.835 * [taylor]: Taking taylor expansion of x in x 11.836 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.836 * [taylor]: Taking taylor expansion of 1/3 in x 11.836 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.836 * [taylor]: Taking taylor expansion of x in x 11.896 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 11.896 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 11.896 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.896 * [taylor]: Taking taylor expansion of -1 in x 11.897 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.897 * [taylor]: Taking taylor expansion of 1/3 in x 11.897 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.897 * [taylor]: Taking taylor expansion of x in x 11.898 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 11.898 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.898 * [taylor]: Taking taylor expansion of -1 in x 11.899 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.899 * [taylor]: Taking taylor expansion of 1/3 in x 11.899 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.899 * [taylor]: Taking taylor expansion of x in x 11.971 * * * [progress]: simplifying candidates 11.973 * [simplify]: Simplifying using # : (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (log (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (exp (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* x x) (* y y)) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt (pow (cbrt x) 3)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t))))) (* (* (cbrt x) (cbrt x)) (* (cbrt (pow (cbrt x) 3)) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (+ (* z z) (+ (* t t) (* z t)))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (+ z t)) (* (* (cbrt x) (cbrt x)) (* (cbrt (pow (cbrt x) 3)) (- z t))) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (cbrt x) 3)) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (cbrt x) 3)) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (cbrt x) 3)) (- z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (log (cbrt x)) 3) (* (log (cbrt x)) 3) (* 1/3 3) (* 1 3) (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (log (pow (cbrt x) 3)) (exp (pow (cbrt x) 3)) (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3)) (* (* (pow (cbrt x) 3) (pow (cbrt x) 3)) (pow (cbrt x) 3)) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (sqrt (pow (cbrt x) 3)) (sqrt (pow (cbrt x) 3)) (pow (cbrt x) (/ 3 2)) (pow (cbrt x) (/ 3 2)) (log (cbrt (pow (cbrt x) 3))) (exp (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt 1) (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) (/ 3 2))) (cbrt (pow (cbrt x) (/ 3 2))) (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (* (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) x x x (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 11.981 * * [simplify]: iteration 0 : 212 enodes (cost 2992 ) 12.050 * * [simplify]: iteration 1 : 689 enodes (cost 2265 ) 12.330 * * [simplify]: iteration 2 : 3064 enodes (cost 1290 ) 13.165 * * [simplify]: iteration done : 5000 enodes (cost 1235 ) 13.166 * [simplify]: Simplified to: (/ (* x (- z t)) (pow (cbrt y) 3)) (/ (* x (- z t)) (pow (cbrt y) 3)) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (log (/ (* x (- z t)) (pow (cbrt y) 3))) (exp (/ (* x (- z t)) (pow (cbrt y) 3))) (* (pow (- z t) 3) (* (/ (* x x) (* y y)) (/ x y))) (/ (* x x) (/ (* y y) (pow (* (- z t) (/ (cbrt x) (cbrt y))) 3))) (/ (* x x) (/ (* y y) (pow (* (- z t) (/ (cbrt x) (cbrt y))) 3))) (* (/ (* x (pow (- z t) 3)) y) (/ (* x x) (pow (* (cbrt y) (cbrt y)) 3))) (pow (/ (* x (- z t)) (pow (cbrt y) 3)) 3) (pow (/ (* x (- z t)) (pow (cbrt y) 3)) 3) (* (pow (- z t) 3) (* (/ (* x x) (* y y)) (/ x y))) (/ (* x x) (/ (* y y) (pow (* (- z t) (/ (cbrt x) (cbrt y))) 3))) (/ (* x x) (/ (* y y) (pow (* (- z t) (/ (cbrt x) (cbrt y))) 3))) (* (/ (* x (pow (- z t) 3)) y) (/ (* x x) (pow (* (cbrt y) (cbrt y)) 3))) (pow (/ (* x (- z t)) (pow (cbrt y) 3)) 3) (pow (/ (* x (- z t)) (pow (cbrt y) 3)) 3) (* (/ (* x (pow (- z t) 3)) y) (/ (* x x) (pow (* (cbrt y) (cbrt y)) 3))) (pow (/ (* x (- z t)) (pow (cbrt y) 3)) 3) (pow (/ (* x (- z t)) (pow (cbrt y) 3)) 3) (* (cbrt (/ (* x (- z t)) (pow (cbrt y) 3))) (cbrt (/ (* x (- z t)) (pow (cbrt y) 3)))) (cbrt (/ (* x (- z t)) (pow (cbrt y) 3))) (pow (/ (* x (- z t)) (pow (cbrt y) 3)) 3) (sqrt (/ (* x (- z t)) (pow (cbrt y) 3))) (sqrt (/ (* x (- z t)) (pow (cbrt y) 3))) (* x (- (pow z 3) (pow t 3))) (* (pow (cbrt y) 3) (+ (* z z) (* t (+ z t)))) (* x (- (* z z) (* t t))) (* (+ z t) (pow (cbrt y) 3)) (* (/ x (cbrt y)) (- (pow z 3) (pow t 3))) (* (+ (* z z) (* t (+ z t))) (* (cbrt y) (cbrt y))) (/ (* x (- (* z z) (* t t))) (cbrt y)) (* (* (cbrt y) (cbrt y)) (+ z t)) (* x (- z t)) (pow (cbrt y) 3) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (* z (/ x (pow (cbrt y) 3))) (* (- t) (/ x (pow (cbrt y) 3))) (/ x (pow (cbrt y) 3)) (* (/ (cbrt x) (cbrt y)) (* (- z t) (cbrt (/ (/ (pow x 2/3) (cbrt y)) (cbrt y))))) (* (fabs (/ (cbrt x) (cbrt y))) (* (- z t) (/ (cbrt x) (cbrt y)))) (/ (/ (* (pow x 2/3) (- z t)) (cbrt y)) (cbrt y)) (/ (* x (- z t)) (pow (cbrt y) 3)) (/ (* (cbrt x) (- z t)) (pow (cbrt y) 3)) (/ (* x (- (pow z 3) (pow t 3))) (* (cbrt y) (cbrt y))) (/ (* x (- (* z z) (* t t))) (* (cbrt y) (cbrt y))) (/ (* x (- (pow z 3) (pow t 3))) (pow (cbrt y) 3)) (* (- (* z z) (* t t)) (/ x (pow (cbrt y) 3))) (/ (* x (- z t)) (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) (- z t)) (log x) (log x) 1 3 (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (cbrt x) (pow x 2/3) (cbrt x) (sqrt x) (sqrt x) 1 x (pow x 2/3) (cbrt x) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) 1 x (pow x 2/3) (log x) (exp x) (pow x 2/3) (cbrt x) (pow x 3) (pow x 2/3) (cbrt x) (sqrt x) (sqrt x) 1 x (pow x 2/3) (cbrt x) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) 1 x (pow x 2/3) (sqrt x) (sqrt x) (pow (cbrt x) 3/2) (pow (cbrt x) 3/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow (cbrt x) 3/2)) (cbrt (pow (cbrt x) 3/2)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) x x x (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 13.167 * * * [progress]: adding candidates to table 13.456 * [progress]: [Phase 3 of 3] Extracting. 13.456 * * [regime]: Finding splitpoints for: (# # # # # # #) 13.457 * * * [regime-changes]: Trying 6 branch expressions: ((/ x y) (+ (* (/ x y) (- z t)) t) t z y x) 13.458 * * * * [regimes]: Trying to branch on (/ x y) from (# # # # # # #) 13.488 * * * * [regimes]: Trying to branch on (/ x y) from (# #) 13.503 * * * * [regimes]: Trying to branch on (+ (* (/ x y) (- z t)) t) from (# # # # # # #) 13.533 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 13.564 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 13.591 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 13.621 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 13.652 * * * [regime]: Found split indices: #