29.109 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.330 * * * [progress]: [2/2] Setting up program. 1.335 * [progress]: [Phase 2 of 3] Improving. 1.335 * [simplify]: Simplifying using # : (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) 1.337 * * [simplify]: iteration 0 : 26 enodes (cost 7 ) 1.338 * * [simplify]: iteration 1 : 57 enodes (cost 6 ) 1.340 * * [simplify]: iteration 2 : 95 enodes (cost 6 ) 1.342 * * [simplify]: iteration 3 : 116 enodes (cost 6 ) 1.343 * * [simplify]: iteration 4 : 118 enodes (cost 6 ) 1.345 * * [simplify]: iteration 5 : 118 enodes (cost 6 ) 1.345 * [simplify]: Simplified to: (+ (* y z) (+ x (* a (+ t (* z b))))) 1.351 * * [progress]: iteration 1 / 4 1.351 * * * [progress]: picking best candidate 1.359 * * * * [pick]: Picked # 1.360 * * * [progress]: localizing error 1.370 * * * [progress]: generating rewritten candidates 1.370 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.375 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.377 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.385 * * * [progress]: generating series expansions 1.385 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.385 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0 1.385 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.385 * [taylor]: Taking taylor expansion of a in b 1.385 * [taylor]: Taking taylor expansion of (* z b) in b 1.385 * [taylor]: Taking taylor expansion of z in b 1.385 * [taylor]: Taking taylor expansion of b in b 1.385 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.385 * [taylor]: Taking taylor expansion of a in z 1.385 * [taylor]: Taking taylor expansion of (* z b) in z 1.385 * [taylor]: Taking taylor expansion of z in z 1.385 * [taylor]: Taking taylor expansion of b in z 1.385 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.386 * [taylor]: Taking taylor expansion of a in a 1.386 * [taylor]: Taking taylor expansion of (* z b) in a 1.386 * [taylor]: Taking taylor expansion of z in a 1.386 * [taylor]: Taking taylor expansion of b in a 1.386 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.386 * [taylor]: Taking taylor expansion of a in a 1.386 * [taylor]: Taking taylor expansion of (* z b) in a 1.386 * [taylor]: Taking taylor expansion of z in a 1.386 * [taylor]: Taking taylor expansion of b in a 1.386 * [taylor]: Taking taylor expansion of 0 in z 1.386 * [taylor]: Taking taylor expansion of 0 in b 1.386 * [taylor]: Taking taylor expansion of (* z b) in z 1.386 * [taylor]: Taking taylor expansion of z in z 1.386 * [taylor]: Taking taylor expansion of b in z 1.386 * [taylor]: Taking taylor expansion of 0 in b 1.386 * [taylor]: Taking taylor expansion of 0 in b 1.386 * [taylor]: Taking taylor expansion of 0 in z 1.386 * [taylor]: Taking taylor expansion of 0 in b 1.386 * [taylor]: Taking taylor expansion of b in b 1.386 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0 1.386 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.386 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.386 * [taylor]: Taking taylor expansion of a in b 1.386 * [taylor]: Taking taylor expansion of (* z b) in b 1.386 * [taylor]: Taking taylor expansion of z in b 1.386 * [taylor]: Taking taylor expansion of b in b 1.386 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.386 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.387 * [taylor]: Taking taylor expansion of a in z 1.387 * [taylor]: Taking taylor expansion of (* z b) in z 1.387 * [taylor]: Taking taylor expansion of z in z 1.387 * [taylor]: Taking taylor expansion of b in z 1.387 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.387 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.387 * [taylor]: Taking taylor expansion of a in a 1.387 * [taylor]: Taking taylor expansion of (* z b) in a 1.387 * [taylor]: Taking taylor expansion of z in a 1.387 * [taylor]: Taking taylor expansion of b in a 1.387 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.387 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.387 * [taylor]: Taking taylor expansion of a in a 1.387 * [taylor]: Taking taylor expansion of (* z b) in a 1.387 * [taylor]: Taking taylor expansion of z in a 1.387 * [taylor]: Taking taylor expansion of b in a 1.387 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.387 * [taylor]: Taking taylor expansion of (* z b) in z 1.387 * [taylor]: Taking taylor expansion of z in z 1.387 * [taylor]: Taking taylor expansion of b in z 1.387 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.387 * [taylor]: Taking taylor expansion of b in b 1.387 * [taylor]: Taking taylor expansion of 0 in z 1.388 * [taylor]: Taking taylor expansion of 0 in b 1.388 * [taylor]: Taking taylor expansion of 0 in z 1.388 * [taylor]: Taking taylor expansion of 0 in b 1.388 * [taylor]: Taking taylor expansion of 0 in b 1.388 * [taylor]: Taking taylor expansion of 0 in z 1.388 * [taylor]: Taking taylor expansion of 0 in b 1.388 * [taylor]: Taking taylor expansion of 0 in b 1.388 * [taylor]: Taking taylor expansion of 0 in b 1.389 * [approximate]: Taking taylor expansion of (/ -1 (* a (* z b))) in (a z b) around 0 1.389 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in b 1.389 * [taylor]: Taking taylor expansion of -1 in b 1.389 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.389 * [taylor]: Taking taylor expansion of a in b 1.389 * [taylor]: Taking taylor expansion of (* z b) in b 1.389 * [taylor]: Taking taylor expansion of z in b 1.389 * [taylor]: Taking taylor expansion of b in b 1.389 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in z 1.389 * [taylor]: Taking taylor expansion of -1 in z 1.389 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.389 * [taylor]: Taking taylor expansion of a in z 1.389 * [taylor]: Taking taylor expansion of (* z b) in z 1.389 * [taylor]: Taking taylor expansion of z in z 1.389 * [taylor]: Taking taylor expansion of b in z 1.389 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a 1.389 * [taylor]: Taking taylor expansion of -1 in a 1.389 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.389 * [taylor]: Taking taylor expansion of a in a 1.389 * [taylor]: Taking taylor expansion of (* z b) in a 1.389 * [taylor]: Taking taylor expansion of z in a 1.389 * [taylor]: Taking taylor expansion of b in a 1.389 * [taylor]: Taking taylor expansion of (/ -1 (* a (* z b))) in a 1.389 * [taylor]: Taking taylor expansion of -1 in a 1.389 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.389 * [taylor]: Taking taylor expansion of a in a 1.389 * [taylor]: Taking taylor expansion of (* z b) in a 1.389 * [taylor]: Taking taylor expansion of z in a 1.389 * [taylor]: Taking taylor expansion of b in a 1.390 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z 1.390 * [taylor]: Taking taylor expansion of -1 in z 1.390 * [taylor]: Taking taylor expansion of (* z b) in z 1.390 * [taylor]: Taking taylor expansion of z in z 1.390 * [taylor]: Taking taylor expansion of b in z 1.390 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.390 * [taylor]: Taking taylor expansion of -1 in b 1.390 * [taylor]: Taking taylor expansion of b in b 1.390 * [taylor]: Taking taylor expansion of 0 in z 1.390 * [taylor]: Taking taylor expansion of 0 in b 1.390 * [taylor]: Taking taylor expansion of 0 in z 1.390 * [taylor]: Taking taylor expansion of 0 in b 1.390 * [taylor]: Taking taylor expansion of 0 in b 1.391 * [taylor]: Taking taylor expansion of 0 in z 1.391 * [taylor]: Taking taylor expansion of 0 in b 1.391 * [taylor]: Taking taylor expansion of 0 in b 1.391 * [taylor]: Taking taylor expansion of 0 in b 1.391 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.391 * [approximate]: Taking taylor expansion of (+ (* z y) x) in (x y z) around 0 1.391 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 1.391 * [taylor]: Taking taylor expansion of (* z y) in z 1.391 * [taylor]: Taking taylor expansion of z in z 1.391 * [taylor]: Taking taylor expansion of y in z 1.391 * [taylor]: Taking taylor expansion of x in z 1.391 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 1.391 * [taylor]: Taking taylor expansion of (* z y) in y 1.391 * [taylor]: Taking taylor expansion of z in y 1.391 * [taylor]: Taking taylor expansion of y in y 1.391 * [taylor]: Taking taylor expansion of x in y 1.391 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 1.391 * [taylor]: Taking taylor expansion of (* z y) in x 1.391 * [taylor]: Taking taylor expansion of z in x 1.391 * [taylor]: Taking taylor expansion of y in x 1.391 * [taylor]: Taking taylor expansion of x in x 1.391 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 1.391 * [taylor]: Taking taylor expansion of (* z y) in x 1.391 * [taylor]: Taking taylor expansion of z in x 1.391 * [taylor]: Taking taylor expansion of y in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of (* z y) in y 1.392 * [taylor]: Taking taylor expansion of z in y 1.392 * [taylor]: Taking taylor expansion of y in y 1.392 * [taylor]: Taking taylor expansion of 0 in z 1.392 * [taylor]: Taking taylor expansion of 1 in y 1.392 * [taylor]: Taking taylor expansion of 1 in z 1.392 * [taylor]: Taking taylor expansion of z in z 1.392 * [taylor]: Taking taylor expansion of 0 in y 1.392 * [taylor]: Taking taylor expansion of 0 in z 1.392 * [taylor]: Taking taylor expansion of 0 in z 1.392 * [taylor]: Taking taylor expansion of 0 in z 1.392 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in (x y z) around 0 1.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 1.392 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.392 * [taylor]: Taking taylor expansion of (* z y) in z 1.392 * [taylor]: Taking taylor expansion of z in z 1.392 * [taylor]: Taking taylor expansion of y in z 1.392 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.392 * [taylor]: Taking taylor expansion of x in z 1.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 1.392 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.392 * [taylor]: Taking taylor expansion of (* z y) in y 1.392 * [taylor]: Taking taylor expansion of z in y 1.392 * [taylor]: Taking taylor expansion of y in y 1.392 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.392 * [taylor]: Taking taylor expansion of x in y 1.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 1.393 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.393 * [taylor]: Taking taylor expansion of (* z y) in x 1.393 * [taylor]: Taking taylor expansion of z in x 1.393 * [taylor]: Taking taylor expansion of y in x 1.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 1.393 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.393 * [taylor]: Taking taylor expansion of (* z y) in x 1.393 * [taylor]: Taking taylor expansion of z in x 1.393 * [taylor]: Taking taylor expansion of y in x 1.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of 1 in y 1.393 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.393 * [taylor]: Taking taylor expansion of (* z y) in y 1.393 * [taylor]: Taking taylor expansion of z in y 1.393 * [taylor]: Taking taylor expansion of y in y 1.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.393 * [taylor]: Taking taylor expansion of z in z 1.393 * [taylor]: Taking taylor expansion of 1 in z 1.393 * [taylor]: Taking taylor expansion of 0 in y 1.393 * [taylor]: Taking taylor expansion of 0 in z 1.393 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in y 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in y 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.395 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in (x y z) around 0 1.395 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in z 1.395 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.395 * [taylor]: Taking taylor expansion of (* z y) in z 1.395 * [taylor]: Taking taylor expansion of z in z 1.395 * [taylor]: Taking taylor expansion of y in z 1.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.395 * [taylor]: Taking taylor expansion of x in z 1.395 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y 1.395 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.395 * [taylor]: Taking taylor expansion of (* z y) in y 1.395 * [taylor]: Taking taylor expansion of z in y 1.395 * [taylor]: Taking taylor expansion of y in y 1.395 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.395 * [taylor]: Taking taylor expansion of x in y 1.395 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 1.395 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.395 * [taylor]: Taking taylor expansion of (* z y) in x 1.395 * [taylor]: Taking taylor expansion of z in x 1.395 * [taylor]: Taking taylor expansion of y in x 1.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.395 * [taylor]: Taking taylor expansion of x in x 1.395 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 1.395 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.395 * [taylor]: Taking taylor expansion of (* z y) in x 1.395 * [taylor]: Taking taylor expansion of z in x 1.395 * [taylor]: Taking taylor expansion of y in x 1.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.395 * [taylor]: Taking taylor expansion of x in x 1.395 * [taylor]: Taking taylor expansion of (neg 1) in y 1.395 * [taylor]: Taking taylor expansion of 1 in y 1.396 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.396 * [taylor]: Taking taylor expansion of (* z y) in y 1.396 * [taylor]: Taking taylor expansion of z in y 1.396 * [taylor]: Taking taylor expansion of y in y 1.396 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.396 * [taylor]: Taking taylor expansion of z in z 1.396 * [taylor]: Taking taylor expansion of (neg 1) in z 1.396 * [taylor]: Taking taylor expansion of 1 in z 1.396 * [taylor]: Taking taylor expansion of 0 in y 1.396 * [taylor]: Taking taylor expansion of 0 in z 1.396 * [taylor]: Taking taylor expansion of 0 in z 1.396 * [taylor]: Taking taylor expansion of 0 in y 1.396 * [taylor]: Taking taylor expansion of 0 in z 1.396 * [taylor]: Taking taylor expansion of 0 in z 1.396 * [taylor]: Taking taylor expansion of 0 in z 1.397 * [taylor]: Taking taylor expansion of 0 in y 1.397 * [taylor]: Taking taylor expansion of 0 in z 1.397 * [taylor]: Taking taylor expansion of 0 in z 1.397 * [taylor]: Taking taylor expansion of 0 in z 1.397 * [taylor]: Taking taylor expansion of 0 in z 1.397 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.397 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in (x y z t a) around 0 1.397 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in a 1.397 * [taylor]: Taking taylor expansion of (* z y) in a 1.397 * [taylor]: Taking taylor expansion of z in a 1.397 * [taylor]: Taking taylor expansion of y in a 1.397 * [taylor]: Taking taylor expansion of (+ x (* t a)) in a 1.397 * [taylor]: Taking taylor expansion of x in a 1.397 * [taylor]: Taking taylor expansion of (* t a) in a 1.397 * [taylor]: Taking taylor expansion of t in a 1.397 * [taylor]: Taking taylor expansion of a in a 1.397 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in t 1.397 * [taylor]: Taking taylor expansion of (* z y) in t 1.398 * [taylor]: Taking taylor expansion of z in t 1.398 * [taylor]: Taking taylor expansion of y in t 1.398 * [taylor]: Taking taylor expansion of (+ x (* t a)) in t 1.398 * [taylor]: Taking taylor expansion of x in t 1.398 * [taylor]: Taking taylor expansion of (* t a) in t 1.398 * [taylor]: Taking taylor expansion of t in t 1.398 * [taylor]: Taking taylor expansion of a in t 1.398 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in z 1.398 * [taylor]: Taking taylor expansion of (* z y) in z 1.398 * [taylor]: Taking taylor expansion of z in z 1.398 * [taylor]: Taking taylor expansion of y in z 1.398 * [taylor]: Taking taylor expansion of (+ x (* t a)) in z 1.398 * [taylor]: Taking taylor expansion of x in z 1.398 * [taylor]: Taking taylor expansion of (* t a) in z 1.398 * [taylor]: Taking taylor expansion of t in z 1.398 * [taylor]: Taking taylor expansion of a in z 1.398 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in y 1.398 * [taylor]: Taking taylor expansion of (* z y) in y 1.398 * [taylor]: Taking taylor expansion of z in y 1.398 * [taylor]: Taking taylor expansion of y in y 1.398 * [taylor]: Taking taylor expansion of (+ x (* t a)) in y 1.398 * [taylor]: Taking taylor expansion of x in y 1.398 * [taylor]: Taking taylor expansion of (* t a) in y 1.398 * [taylor]: Taking taylor expansion of t in y 1.398 * [taylor]: Taking taylor expansion of a in y 1.398 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x 1.398 * [taylor]: Taking taylor expansion of (* z y) in x 1.398 * [taylor]: Taking taylor expansion of z in x 1.398 * [taylor]: Taking taylor expansion of y in x 1.398 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of (* t a) in x 1.398 * [taylor]: Taking taylor expansion of t in x 1.398 * [taylor]: Taking taylor expansion of a in x 1.398 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* t a))) in x 1.398 * [taylor]: Taking taylor expansion of (* z y) in x 1.398 * [taylor]: Taking taylor expansion of z in x 1.398 * [taylor]: Taking taylor expansion of y in x 1.398 * [taylor]: Taking taylor expansion of (+ x (* t a)) in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of (* t a) in x 1.398 * [taylor]: Taking taylor expansion of t in x 1.398 * [taylor]: Taking taylor expansion of a in x 1.398 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y 1.398 * [taylor]: Taking taylor expansion of (* z y) in y 1.398 * [taylor]: Taking taylor expansion of z in y 1.398 * [taylor]: Taking taylor expansion of y in y 1.398 * [taylor]: Taking taylor expansion of (* t a) in y 1.398 * [taylor]: Taking taylor expansion of t in y 1.398 * [taylor]: Taking taylor expansion of a in y 1.398 * [taylor]: Taking taylor expansion of (* t a) in z 1.398 * [taylor]: Taking taylor expansion of t in z 1.399 * [taylor]: Taking taylor expansion of a in z 1.399 * [taylor]: Taking taylor expansion of (* t a) in t 1.399 * [taylor]: Taking taylor expansion of t in t 1.399 * [taylor]: Taking taylor expansion of a in t 1.399 * [taylor]: Taking taylor expansion of 0 in a 1.399 * [taylor]: Taking taylor expansion of 1 in y 1.399 * [taylor]: Taking taylor expansion of 1 in z 1.399 * [taylor]: Taking taylor expansion of 1 in t 1.399 * [taylor]: Taking taylor expansion of 1 in a 1.399 * [taylor]: Taking taylor expansion of z in z 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [taylor]: Taking taylor expansion of 0 in a 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [taylor]: Taking taylor expansion of 0 in a 1.399 * [taylor]: Taking taylor expansion of a in a 1.399 * [taylor]: Taking taylor expansion of 0 in y 1.399 * [taylor]: Taking taylor expansion of 0 in z 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [taylor]: Taking taylor expansion of 0 in a 1.399 * [taylor]: Taking taylor expansion of 0 in z 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.400 * [taylor]: Taking taylor expansion of 0 in a 1.400 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in (x y z t a) around 0 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in a 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 1.400 * [taylor]: Taking taylor expansion of (* z y) in a 1.400 * [taylor]: Taking taylor expansion of z in a 1.400 * [taylor]: Taking taylor expansion of y in a 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in a 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.400 * [taylor]: Taking taylor expansion of (* t a) in a 1.400 * [taylor]: Taking taylor expansion of t in a 1.400 * [taylor]: Taking taylor expansion of a in a 1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.400 * [taylor]: Taking taylor expansion of x in a 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in t 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 1.400 * [taylor]: Taking taylor expansion of (* z y) in t 1.400 * [taylor]: Taking taylor expansion of z in t 1.400 * [taylor]: Taking taylor expansion of y in t 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in t 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.400 * [taylor]: Taking taylor expansion of (* t a) in t 1.400 * [taylor]: Taking taylor expansion of t in t 1.400 * [taylor]: Taking taylor expansion of a in t 1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.400 * [taylor]: Taking taylor expansion of x in t 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in z 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.400 * [taylor]: Taking taylor expansion of (* z y) in z 1.400 * [taylor]: Taking taylor expansion of z in z 1.400 * [taylor]: Taking taylor expansion of y in z 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in z 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.401 * [taylor]: Taking taylor expansion of (* t a) in z 1.401 * [taylor]: Taking taylor expansion of t in z 1.401 * [taylor]: Taking taylor expansion of a in z 1.401 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.401 * [taylor]: Taking taylor expansion of x in z 1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in y 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.401 * [taylor]: Taking taylor expansion of (* z y) in y 1.401 * [taylor]: Taking taylor expansion of z in y 1.401 * [taylor]: Taking taylor expansion of y in y 1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in y 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.401 * [taylor]: Taking taylor expansion of (* t a) in y 1.401 * [taylor]: Taking taylor expansion of t in y 1.401 * [taylor]: Taking taylor expansion of a in y 1.401 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.401 * [taylor]: Taking taylor expansion of x in y 1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.401 * [taylor]: Taking taylor expansion of (* z y) in x 1.401 * [taylor]: Taking taylor expansion of z in x 1.401 * [taylor]: Taking taylor expansion of y in x 1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.401 * [taylor]: Taking taylor expansion of (* t a) in x 1.401 * [taylor]: Taking taylor expansion of t in x 1.401 * [taylor]: Taking taylor expansion of a in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.401 * [taylor]: Taking taylor expansion of x in x 1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* t a)) (/ 1 x))) in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.401 * [taylor]: Taking taylor expansion of (* z y) in x 1.401 * [taylor]: Taking taylor expansion of z in x 1.401 * [taylor]: Taking taylor expansion of y in x 1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (/ 1 x)) in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.401 * [taylor]: Taking taylor expansion of (* t a) in x 1.401 * [taylor]: Taking taylor expansion of t in x 1.401 * [taylor]: Taking taylor expansion of a in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.401 * [taylor]: Taking taylor expansion of x in x 1.402 * [taylor]: Taking taylor expansion of 1 in y 1.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y 1.402 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.402 * [taylor]: Taking taylor expansion of (* z y) in y 1.402 * [taylor]: Taking taylor expansion of z in y 1.402 * [taylor]: Taking taylor expansion of y in y 1.402 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.402 * [taylor]: Taking taylor expansion of (* t a) in y 1.402 * [taylor]: Taking taylor expansion of t in y 1.402 * [taylor]: Taking taylor expansion of a in y 1.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.402 * [taylor]: Taking taylor expansion of z in z 1.402 * [taylor]: Taking taylor expansion of 1 in t 1.402 * [taylor]: Taking taylor expansion of 1 in z 1.402 * [taylor]: Taking taylor expansion of 0 in y 1.402 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.402 * [taylor]: Taking taylor expansion of (* t a) in z 1.402 * [taylor]: Taking taylor expansion of t in z 1.402 * [taylor]: Taking taylor expansion of a in z 1.403 * [taylor]: Taking taylor expansion of 0 in z 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 1 in t 1.403 * [taylor]: Taking taylor expansion of 1 in a 1.403 * [taylor]: Taking taylor expansion of 0 in y 1.403 * [taylor]: Taking taylor expansion of 0 in z 1.403 * [taylor]: Taking taylor expansion of 0 in z 1.403 * [taylor]: Taking taylor expansion of 0 in z 1.403 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.403 * [taylor]: Taking taylor expansion of (* t a) in t 1.403 * [taylor]: Taking taylor expansion of t in t 1.403 * [taylor]: Taking taylor expansion of a in t 1.403 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.403 * [taylor]: Taking taylor expansion of a in a 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.404 * [taylor]: Taking taylor expansion of 0 in t 1.404 * [taylor]: Taking taylor expansion of 0 in t 1.404 * [taylor]: Taking taylor expansion of 0 in a 1.404 * [taylor]: Taking taylor expansion of 1 in a 1.404 * [taylor]: Taking taylor expansion of 0 in a 1.404 * [taylor]: Taking taylor expansion of 0 in y 1.404 * [taylor]: Taking taylor expansion of 0 in z 1.404 * [taylor]: Taking taylor expansion of 0 in z 1.404 * [taylor]: Taking taylor expansion of 0 in z 1.405 * [taylor]: Taking taylor expansion of 0 in z 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in a 1.405 * [taylor]: Taking taylor expansion of 0 in a 1.405 * [taylor]: Taking taylor expansion of 0 in a 1.405 * [taylor]: Taking taylor expansion of 0 in a 1.405 * [taylor]: Taking taylor expansion of 0 in a 1.405 * [taylor]: Taking taylor expansion of 0 in a 1.405 * [taylor]: Taking taylor expansion of 0 in a 1.406 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in (x y z t a) around 0 1.406 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in a 1.406 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 1.406 * [taylor]: Taking taylor expansion of (* z y) in a 1.406 * [taylor]: Taking taylor expansion of z in a 1.406 * [taylor]: Taking taylor expansion of y in a 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.406 * [taylor]: Taking taylor expansion of (* t a) in a 1.406 * [taylor]: Taking taylor expansion of t in a 1.406 * [taylor]: Taking taylor expansion of a in a 1.406 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.406 * [taylor]: Taking taylor expansion of x in a 1.406 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in t 1.406 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 1.406 * [taylor]: Taking taylor expansion of (* z y) in t 1.406 * [taylor]: Taking taylor expansion of z in t 1.406 * [taylor]: Taking taylor expansion of y in t 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.406 * [taylor]: Taking taylor expansion of (* t a) in t 1.406 * [taylor]: Taking taylor expansion of t in t 1.406 * [taylor]: Taking taylor expansion of a in t 1.406 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.406 * [taylor]: Taking taylor expansion of x in t 1.406 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in z 1.406 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.406 * [taylor]: Taking taylor expansion of (* z y) in z 1.406 * [taylor]: Taking taylor expansion of z in z 1.406 * [taylor]: Taking taylor expansion of y in z 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.407 * [taylor]: Taking taylor expansion of (* t a) in z 1.407 * [taylor]: Taking taylor expansion of t in z 1.407 * [taylor]: Taking taylor expansion of a in z 1.407 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.407 * [taylor]: Taking taylor expansion of x in z 1.407 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in y 1.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.407 * [taylor]: Taking taylor expansion of (* z y) in y 1.407 * [taylor]: Taking taylor expansion of z in y 1.407 * [taylor]: Taking taylor expansion of y in y 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.407 * [taylor]: Taking taylor expansion of (* t a) in y 1.407 * [taylor]: Taking taylor expansion of t in y 1.407 * [taylor]: Taking taylor expansion of a in y 1.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.407 * [taylor]: Taking taylor expansion of x in y 1.407 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x 1.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.407 * [taylor]: Taking taylor expansion of (* z y) in x 1.407 * [taylor]: Taking taylor expansion of z in x 1.407 * [taylor]: Taking taylor expansion of y in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.407 * [taylor]: Taking taylor expansion of (* t a) in x 1.407 * [taylor]: Taking taylor expansion of t in x 1.407 * [taylor]: Taking taylor expansion of a in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.407 * [taylor]: Taking taylor expansion of x in x 1.407 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* t a))) (/ 1 x)) in x 1.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.407 * [taylor]: Taking taylor expansion of (* z y) in x 1.407 * [taylor]: Taking taylor expansion of z in x 1.407 * [taylor]: Taking taylor expansion of y in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 1.407 * [taylor]: Taking taylor expansion of (* t a) in x 1.407 * [taylor]: Taking taylor expansion of t in x 1.407 * [taylor]: Taking taylor expansion of a in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.407 * [taylor]: Taking taylor expansion of x in x 1.408 * [taylor]: Taking taylor expansion of (neg 1) in y 1.408 * [taylor]: Taking taylor expansion of 1 in y 1.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y 1.408 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.408 * [taylor]: Taking taylor expansion of (* z y) in y 1.408 * [taylor]: Taking taylor expansion of z in y 1.408 * [taylor]: Taking taylor expansion of y in y 1.408 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.408 * [taylor]: Taking taylor expansion of (* t a) in y 1.408 * [taylor]: Taking taylor expansion of t in y 1.408 * [taylor]: Taking taylor expansion of a in y 1.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.408 * [taylor]: Taking taylor expansion of z in z 1.408 * [taylor]: Taking taylor expansion of 1 in t 1.408 * [taylor]: Taking taylor expansion of (neg 1) in z 1.408 * [taylor]: Taking taylor expansion of 1 in z 1.408 * [taylor]: Taking taylor expansion of 0 in y 1.409 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.409 * [taylor]: Taking taylor expansion of (* t a) in z 1.409 * [taylor]: Taking taylor expansion of t in z 1.409 * [taylor]: Taking taylor expansion of a in z 1.409 * [taylor]: Taking taylor expansion of 0 in z 1.409 * [taylor]: Taking taylor expansion of 0 in t 1.409 * [taylor]: Taking taylor expansion of (neg 1) in t 1.409 * [taylor]: Taking taylor expansion of 1 in t 1.409 * [taylor]: Taking taylor expansion of 1 in a 1.409 * [taylor]: Taking taylor expansion of 0 in y 1.409 * [taylor]: Taking taylor expansion of 0 in z 1.409 * [taylor]: Taking taylor expansion of 0 in z 1.409 * [taylor]: Taking taylor expansion of 0 in z 1.409 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.409 * [taylor]: Taking taylor expansion of (* t a) in t 1.409 * [taylor]: Taking taylor expansion of t in t 1.409 * [taylor]: Taking taylor expansion of a in t 1.410 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.410 * [taylor]: Taking taylor expansion of a in a 1.410 * [taylor]: Taking taylor expansion of 0 in t 1.410 * [taylor]: Taking taylor expansion of 0 in t 1.410 * [taylor]: Taking taylor expansion of 0 in t 1.410 * [taylor]: Taking taylor expansion of 0 in a 1.410 * [taylor]: Taking taylor expansion of (neg 1) in a 1.410 * [taylor]: Taking taylor expansion of 1 in a 1.410 * [taylor]: Taking taylor expansion of 0 in a 1.410 * [taylor]: Taking taylor expansion of 0 in y 1.410 * [taylor]: Taking taylor expansion of 0 in z 1.410 * [taylor]: Taking taylor expansion of 0 in z 1.411 * [taylor]: Taking taylor expansion of 0 in z 1.411 * [taylor]: Taking taylor expansion of 0 in z 1.411 * [taylor]: Taking taylor expansion of 0 in t 1.411 * [taylor]: Taking taylor expansion of 0 in t 1.411 * [taylor]: Taking taylor expansion of 0 in t 1.411 * [taylor]: Taking taylor expansion of 0 in t 1.411 * [taylor]: Taking taylor expansion of 0 in t 1.411 * [taylor]: Taking taylor expansion of 0 in t 1.411 * [taylor]: Taking taylor expansion of 0 in t 1.411 * [taylor]: Taking taylor expansion of 0 in a 1.411 * [taylor]: Taking taylor expansion of 0 in a 1.411 * [taylor]: Taking taylor expansion of 0 in a 1.411 * [taylor]: Taking taylor expansion of 0 in a 1.411 * [taylor]: Taking taylor expansion of 0 in a 1.411 * [taylor]: Taking taylor expansion of 0 in a 1.411 * [taylor]: Taking taylor expansion of 0 in a 1.412 * * * [progress]: simplifying candidates 1.412 * [simplify]: Simplifying using # : (* (* a z) b) (* (* a z) b) (+ (+ (log a) (log z)) (log b)) (+ (log (* a z)) (log b)) (log (* (* a z) b)) (exp (* (* a z) b)) (* (* (* (* a a) a) (* (* z z) z)) (* (* b b) b)) (* (* (* (* a z) (* a z)) (* a z)) (* (* b b) b)) (* (cbrt (* (* a z) b)) (cbrt (* (* a z) b))) (cbrt (* (* a z) b)) (* (* (* (* a z) b) (* (* a z) b)) (* (* a z) b)) (sqrt (* (* a z) b)) (sqrt (* (* a z) b)) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (sqrt b)) (* (* a z) 1) (* z b) (* (exp x) (exp (* y z))) (log (+ x (* y z))) (exp (+ x (* y z))) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))) (cbrt (+ x (* y z))) (* (* (+ x (* y z)) (+ x (* y z))) (+ x (* y z))) (sqrt (+ x (* y z))) (sqrt (+ x (* y z))) (+ (pow x 3) (pow (* y z) 3)) (+ (* x x) (- (* (* y z) (* y z)) (* x (* y z)))) (- (* x x) (* (* y z) (* y z))) (- x (* y z)) (* (* (exp x) (exp (* y z))) (exp (* t a))) (* (exp (+ x (* y z))) (exp (* t a))) (log (+ (+ x (* y z)) (* t a))) (exp (+ (+ x (* y z)) (* t a))) (* (cbrt (+ (+ x (* y z)) (* t a))) (cbrt (+ (+ x (* y z)) (* t a)))) (cbrt (+ (+ x (* y z)) (* t a))) (* (* (+ (+ x (* y z)) (* t a)) (+ (+ x (* y z)) (* t a))) (+ (+ x (* y z)) (* t a))) (sqrt (+ (+ x (* y z)) (* t a))) (sqrt (+ (+ x (* y z)) (* t a))) (+ (pow (+ x (* y z)) 3) (pow (* t a) 3)) (+ (* (+ x (* y z)) (+ x (* y z))) (- (* (* t a) (* t a)) (* (+ x (* y z)) (* t a)))) (- (* (+ x (* y z)) (+ x (* y z))) (* (* t a) (* t a))) (- (+ x (* y z)) (* t a)) (+ (* y z) (* t a)) 0 (* a (* z b)) (* a (* z b)) x (+ (* z y) x) (+ (* z y) x) x (+ (* z y) (+ x (* a t))) (+ (* z y) (+ x (* a t))) 1.416 * * [simplify]: iteration 0 : 262 enodes (cost 221 ) 1.421 * * [simplify]: iteration 1 : 1167 enodes (cost 197 ) 1.445 * * [simplify]: iteration 2 : 5001 enodes (cost 197 ) 1.446 * [simplify]: Simplified to: (* a (* z b)) (* a (* z b)) (log (* (* a z) b)) (log (* (* a z) b)) (log (* (* a z) b)) (exp (* (* a z) b)) (pow (* a (* z b)) 3) (pow (* a (* z b)) 3) (* (cbrt (* (* a z) b)) (cbrt (* (* a z) b))) (cbrt (* (* a z) b)) (pow (* a (* z b)) 3) (sqrt (* (* a z) b)) (sqrt (* (* a z) b)) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (sqrt b)) (* a z) (* z b) (exp (+ x (* y z))) (log (+ x (* y z))) (exp (+ x (* y z))) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))) (cbrt (+ x (* y z))) (pow (+ x (* y z)) 3) (sqrt (+ x (* y z))) (sqrt (+ x (* y z))) (+ (pow x 3) (pow (* y z) 3)) (+ (* (* y z) (- (* y z) x)) (* x x)) (- (* x x) (* (* y z) (* y z))) (- x (* y z)) (exp (+ (+ x (* y z)) (* t a))) (exp (+ (+ x (* y z)) (* t a))) (log (+ (+ x (* y z)) (* t a))) (exp (+ (+ x (* y z)) (* t a))) (* (cbrt (+ (+ x (* y z)) (* t a))) (cbrt (+ (+ x (* y z)) (* t a)))) (cbrt (+ (+ x (* y z)) (* t a))) (pow (+ (* z y) (+ x (* a t))) 3) (sqrt (+ (+ x (* y z)) (* t a))) (sqrt (+ (+ x (* y z)) (* t a))) (+ (pow (+ x (* y z)) 3) (pow (* t a) 3)) (+ (* (* t a) (- (* t a) (+ x (* y z)))) (* (+ x (* y z)) (+ x (* y z)))) (- (* (+ x (* y z)) (+ x (* y z))) (* (* t a) (* t a))) (- (+ x (* y z)) (* t a)) (+ (* y z) (* t a)) 0 (* a (* z b)) (* a (* z b)) x (+ (* z y) x) (+ (* z y) x) x (+ (* z y) (+ x (* a t))) (+ (* z y) (+ x (* a t))) 1.447 * * * [progress]: adding candidates to table 1.500 * * [progress]: iteration 2 / 4 1.500 * * * [progress]: picking best candidate 1.527 * * * * [pick]: Picked # 1.527 * * * [progress]: localizing error 1.541 * * * [progress]: generating rewritten candidates 1.541 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.552 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.563 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2) 1.568 * * * [progress]: generating series expansions 1.568 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.568 * [approximate]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in (a z b) around 0 1.568 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in b 1.568 * [taylor]: Taking taylor expansion of (* a z) in b 1.568 * [taylor]: Taking taylor expansion of a in b 1.568 * [taylor]: Taking taylor expansion of z in b 1.568 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 1.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 1.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 1.568 * [taylor]: Taking taylor expansion of 1/3 in b 1.568 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 1.568 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.568 * [taylor]: Taking taylor expansion of b in b 1.568 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in z 1.568 * [taylor]: Taking taylor expansion of (* a z) in z 1.568 * [taylor]: Taking taylor expansion of a in z 1.568 * [taylor]: Taking taylor expansion of z in z 1.568 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z 1.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z 1.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z 1.568 * [taylor]: Taking taylor expansion of 1/3 in z 1.568 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z 1.568 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.568 * [taylor]: Taking taylor expansion of b in z 1.568 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a 1.569 * [taylor]: Taking taylor expansion of (* a z) in a 1.569 * [taylor]: Taking taylor expansion of a in a 1.569 * [taylor]: Taking taylor expansion of z in a 1.569 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a 1.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a 1.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a 1.569 * [taylor]: Taking taylor expansion of 1/3 in a 1.569 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a 1.569 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.569 * [taylor]: Taking taylor expansion of b in a 1.569 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a 1.569 * [taylor]: Taking taylor expansion of (* a z) in a 1.569 * [taylor]: Taking taylor expansion of a in a 1.569 * [taylor]: Taking taylor expansion of z in a 1.569 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a 1.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a 1.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a 1.569 * [taylor]: Taking taylor expansion of 1/3 in a 1.569 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a 1.569 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.569 * [taylor]: Taking taylor expansion of b in a 1.569 * [taylor]: Taking taylor expansion of 0 in z 1.569 * [taylor]: Taking taylor expansion of 0 in b 1.570 * [taylor]: Taking taylor expansion of (* z (pow (pow b 2) 1/3)) in z 1.570 * [taylor]: Taking taylor expansion of z in z 1.570 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z 1.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z 1.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z 1.570 * [taylor]: Taking taylor expansion of 1/3 in z 1.570 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z 1.570 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.570 * [taylor]: Taking taylor expansion of b in z 1.570 * [taylor]: Taking taylor expansion of 0 in b 1.570 * [taylor]: Taking taylor expansion of 0 in b 1.571 * [taylor]: Taking taylor expansion of 0 in z 1.571 * [taylor]: Taking taylor expansion of 0 in b 1.571 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 1.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 1.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 1.571 * [taylor]: Taking taylor expansion of 1/3 in b 1.571 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 1.571 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.571 * [taylor]: Taking taylor expansion of b in b 1.572 * [taylor]: Taking taylor expansion of 0 in b 1.573 * [taylor]: Taking taylor expansion of 0 in z 1.573 * [taylor]: Taking taylor expansion of 0 in b 1.573 * [taylor]: Taking taylor expansion of 0 in b 1.573 * [approximate]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0 1.573 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b 1.573 * [taylor]: Taking taylor expansion of (* a z) in b 1.573 * [taylor]: Taking taylor expansion of a in b 1.573 * [taylor]: Taking taylor expansion of z in b 1.573 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.573 * [taylor]: Taking taylor expansion of 1/3 in b 1.573 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.573 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.573 * [taylor]: Taking taylor expansion of b in b 1.573 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z 1.574 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z 1.574 * [taylor]: Taking taylor expansion of (* a z) in z 1.574 * [taylor]: Taking taylor expansion of a in z 1.574 * [taylor]: Taking taylor expansion of z in z 1.574 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.574 * [taylor]: Taking taylor expansion of 1/3 in z 1.574 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.574 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.574 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.574 * [taylor]: Taking taylor expansion of b in z 1.574 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.574 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a 1.574 * [taylor]: Taking taylor expansion of (* a z) in a 1.574 * [taylor]: Taking taylor expansion of a in a 1.574 * [taylor]: Taking taylor expansion of z in a 1.574 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.574 * [taylor]: Taking taylor expansion of 1/3 in a 1.574 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.574 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.574 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.574 * [taylor]: Taking taylor expansion of b in a 1.575 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.575 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a 1.575 * [taylor]: Taking taylor expansion of (* a z) in a 1.575 * [taylor]: Taking taylor expansion of a in a 1.575 * [taylor]: Taking taylor expansion of z in a 1.575 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.575 * [taylor]: Taking taylor expansion of 1/3 in a 1.575 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.575 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.575 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.575 * [taylor]: Taking taylor expansion of b in a 1.575 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow b 2)) 1/3)) in z 1.575 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.575 * [taylor]: Taking taylor expansion of z in z 1.575 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.575 * [taylor]: Taking taylor expansion of 1/3 in z 1.575 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.575 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.575 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.575 * [taylor]: Taking taylor expansion of b in z 1.576 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.576 * [taylor]: Taking taylor expansion of 1/3 in b 1.576 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.576 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.576 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.576 * [taylor]: Taking taylor expansion of b in b 1.577 * [taylor]: Taking taylor expansion of 0 in z 1.577 * [taylor]: Taking taylor expansion of 0 in b 1.579 * [taylor]: Taking taylor expansion of 0 in z 1.579 * [taylor]: Taking taylor expansion of 0 in b 1.580 * [taylor]: Taking taylor expansion of 0 in b 1.581 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0 1.581 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b 1.581 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in b 1.581 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 1.581 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.581 * [taylor]: Taking taylor expansion of -1 in b 1.581 * [taylor]: Taking taylor expansion of (* a z) in b 1.581 * [taylor]: Taking taylor expansion of a in b 1.581 * [taylor]: Taking taylor expansion of z in b 1.581 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.581 * [taylor]: Taking taylor expansion of 1/3 in b 1.581 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.581 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.581 * [taylor]: Taking taylor expansion of b in b 1.581 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z 1.582 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in z 1.582 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.582 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.582 * [taylor]: Taking taylor expansion of -1 in z 1.582 * [taylor]: Taking taylor expansion of (* a z) in z 1.582 * [taylor]: Taking taylor expansion of a in z 1.582 * [taylor]: Taking taylor expansion of z in z 1.582 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.582 * [taylor]: Taking taylor expansion of 1/3 in z 1.582 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.582 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.582 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.582 * [taylor]: Taking taylor expansion of b in z 1.583 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.583 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a 1.583 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 1.583 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.583 * [taylor]: Taking taylor expansion of -1 in a 1.583 * [taylor]: Taking taylor expansion of (* a z) in a 1.583 * [taylor]: Taking taylor expansion of a in a 1.583 * [taylor]: Taking taylor expansion of z in a 1.583 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.583 * [taylor]: Taking taylor expansion of 1/3 in a 1.583 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.583 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.583 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.583 * [taylor]: Taking taylor expansion of b in a 1.583 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.583 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a 1.583 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 1.583 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.583 * [taylor]: Taking taylor expansion of -1 in a 1.584 * [taylor]: Taking taylor expansion of (* a z) in a 1.584 * [taylor]: Taking taylor expansion of a in a 1.584 * [taylor]: Taking taylor expansion of z in a 1.584 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.584 * [taylor]: Taking taylor expansion of 1/3 in a 1.584 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.584 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.584 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.584 * [taylor]: Taking taylor expansion of b in a 1.584 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow b 2)) 1/3)) in z 1.585 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z 1.585 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.585 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.585 * [taylor]: Taking taylor expansion of -1 in z 1.585 * [taylor]: Taking taylor expansion of z in z 1.585 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.585 * [taylor]: Taking taylor expansion of 1/3 in z 1.585 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.585 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.585 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.585 * [taylor]: Taking taylor expansion of b in z 1.585 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b 1.586 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 1.586 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.586 * [taylor]: Taking taylor expansion of -1 in b 1.586 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.586 * [taylor]: Taking taylor expansion of 1/3 in b 1.586 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.586 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.586 * [taylor]: Taking taylor expansion of b in b 1.587 * [taylor]: Taking taylor expansion of 0 in z 1.588 * [taylor]: Taking taylor expansion of 0 in b 1.590 * [taylor]: Taking taylor expansion of 0 in z 1.590 * [taylor]: Taking taylor expansion of 0 in b 1.592 * [taylor]: Taking taylor expansion of 0 in b 1.593 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.593 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0 1.593 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.593 * [taylor]: Taking taylor expansion of a in b 1.593 * [taylor]: Taking taylor expansion of (* z b) in b 1.593 * [taylor]: Taking taylor expansion of z in b 1.593 * [taylor]: Taking taylor expansion of b in b 1.593 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.593 * [taylor]: Taking taylor expansion of a in z 1.593 * [taylor]: Taking taylor expansion of (* z b) in z 1.593 * [taylor]: Taking taylor expansion of z in z 1.593 * [taylor]: Taking taylor expansion of b in z 1.593 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.593 * [taylor]: Taking taylor expansion of a in a 1.593 * [taylor]: Taking taylor expansion of (* z b) in a 1.593 * [taylor]: Taking taylor expansion of z in a 1.593 * [taylor]: Taking taylor expansion of b in a 1.593 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.593 * [taylor]: Taking taylor expansion of a in a 1.593 * [taylor]: Taking taylor expansion of (* z b) in a 1.593 * [taylor]: Taking taylor expansion of z in a 1.593 * [taylor]: Taking taylor expansion of b in a 1.593 * [taylor]: Taking taylor expansion of 0 in z 1.593 * [taylor]: Taking taylor expansion of 0 in b 1.593 * [taylor]: Taking taylor expansion of (* z b) in z 1.593 * [taylor]: Taking taylor expansion of z in z 1.593 * [taylor]: Taking taylor expansion of b in z 1.594 * [taylor]: Taking taylor expansion of 0 in b 1.594 * [taylor]: Taking taylor expansion of 0 in b 1.594 * [taylor]: Taking taylor expansion of 0 in z 1.594 * [taylor]: Taking taylor expansion of 0 in b 1.594 * [taylor]: Taking taylor expansion of b in b 1.594 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0 1.594 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.594 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.594 * [taylor]: Taking taylor expansion of a in b 1.594 * [taylor]: Taking taylor expansion of (* z b) in b 1.594 * [taylor]: Taking taylor expansion of z in b 1.594 * [taylor]: Taking taylor expansion of b in b 1.594 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.594 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.594 * [taylor]: Taking taylor expansion of a in z 1.594 * [taylor]: Taking taylor expansion of (* z b) in z 1.594 * [taylor]: Taking taylor expansion of z in z 1.594 * [taylor]: Taking taylor expansion of b in z 1.594 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.594 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.594 * [taylor]: Taking taylor expansion of a in a 1.594 * [taylor]: Taking taylor expansion of (* z b) in a 1.594 * [taylor]: Taking taylor expansion of z in a 1.594 * [taylor]: Taking taylor expansion of b in a 1.595 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.595 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.595 * [taylor]: Taking taylor expansion of a in a 1.595 * [taylor]: Taking taylor expansion of (* z b) in a 1.595 * [taylor]: Taking taylor expansion of z in a 1.595 * [taylor]: Taking taylor expansion of b in a 1.595 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.595 * [taylor]: Taking taylor expansion of (* z b) in z 1.595 * [taylor]: Taking taylor expansion of z in z 1.595 * [taylor]: Taking taylor expansion of b in z 1.595 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.595 * [taylor]: Taking taylor expansion of b in b 1.595 * [taylor]: Taking taylor expansion of 0 in z 1.595 * [taylor]: Taking taylor expansion of 0 in b 1.595 * [taylor]: Taking taylor expansion of 0 in z 1.595 * [taylor]: Taking taylor expansion of 0 in b 1.596 * [taylor]: Taking taylor expansion of 0 in b 1.596 * [taylor]: Taking taylor expansion of 0 in z 1.596 * [taylor]: Taking taylor expansion of 0 in b 1.596 * [taylor]: Taking taylor expansion of 0 in b 1.596 * [taylor]: Taking taylor expansion of 0 in b 1.597 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in (a z b) around 0 1.597 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in b 1.597 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b 1.597 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.597 * [taylor]: Taking taylor expansion of -1 in b 1.597 * [taylor]: Taking taylor expansion of (* b (* z a)) in b 1.597 * [taylor]: Taking taylor expansion of b in b 1.597 * [taylor]: Taking taylor expansion of (* z a) in b 1.597 * [taylor]: Taking taylor expansion of z in b 1.597 * [taylor]: Taking taylor expansion of a in b 1.597 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in z 1.597 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 1.597 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.597 * [taylor]: Taking taylor expansion of -1 in z 1.597 * [taylor]: Taking taylor expansion of (* b (* z a)) in z 1.597 * [taylor]: Taking taylor expansion of b in z 1.597 * [taylor]: Taking taylor expansion of (* z a) in z 1.597 * [taylor]: Taking taylor expansion of z in z 1.597 * [taylor]: Taking taylor expansion of a in z 1.598 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a 1.598 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a 1.598 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.598 * [taylor]: Taking taylor expansion of -1 in a 1.598 * [taylor]: Taking taylor expansion of (* b (* z a)) in a 1.598 * [taylor]: Taking taylor expansion of b in a 1.598 * [taylor]: Taking taylor expansion of (* z a) in a 1.598 * [taylor]: Taking taylor expansion of z in a 1.598 * [taylor]: Taking taylor expansion of a in a 1.598 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a 1.598 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a 1.599 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.599 * [taylor]: Taking taylor expansion of -1 in a 1.599 * [taylor]: Taking taylor expansion of (* b (* z a)) in a 1.599 * [taylor]: Taking taylor expansion of b in a 1.599 * [taylor]: Taking taylor expansion of (* z a) in a 1.599 * [taylor]: Taking taylor expansion of z in a 1.599 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z 1.599 * [taylor]: Taking taylor expansion of -1 in z 1.599 * [taylor]: Taking taylor expansion of (* z b) in z 1.599 * [taylor]: Taking taylor expansion of z in z 1.599 * [taylor]: Taking taylor expansion of b in z 1.599 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.599 * [taylor]: Taking taylor expansion of -1 in b 1.599 * [taylor]: Taking taylor expansion of b in b 1.600 * [taylor]: Taking taylor expansion of 0 in z 1.600 * [taylor]: Taking taylor expansion of 0 in b 1.600 * [taylor]: Taking taylor expansion of 0 in z 1.600 * [taylor]: Taking taylor expansion of 0 in b 1.601 * [taylor]: Taking taylor expansion of 0 in b 1.601 * [taylor]: Taking taylor expansion of 0 in z 1.601 * [taylor]: Taking taylor expansion of 0 in b 1.601 * [taylor]: Taking taylor expansion of 0 in b 1.601 * [taylor]: Taking taylor expansion of 0 in b 1.602 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.602 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0 1.602 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 1.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 1.602 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 1.602 * [taylor]: Taking taylor expansion of 1/3 in b 1.602 * [taylor]: Taking taylor expansion of (log b) in b 1.602 * [taylor]: Taking taylor expansion of b in b 1.602 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 1.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 1.602 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 1.602 * [taylor]: Taking taylor expansion of 1/3 in b 1.602 * [taylor]: Taking taylor expansion of (log b) in b 1.602 * [taylor]: Taking taylor expansion of b in b 1.608 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0 1.608 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.608 * [taylor]: Taking taylor expansion of 1/3 in b 1.608 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.608 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.608 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.609 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.609 * [taylor]: Taking taylor expansion of 1/3 in b 1.609 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.609 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.615 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0 1.615 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 1.615 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.615 * [taylor]: Taking taylor expansion of -1 in b 1.615 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.615 * [taylor]: Taking taylor expansion of 1/3 in b 1.615 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.615 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.615 * [taylor]: Taking taylor expansion of b in b 1.615 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 1.615 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.615 * [taylor]: Taking taylor expansion of -1 in b 1.615 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.616 * [taylor]: Taking taylor expansion of 1/3 in b 1.616 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.616 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.616 * [taylor]: Taking taylor expansion of b in b 1.623 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2) 1.624 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0 1.624 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 1.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 1.624 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 1.624 * [taylor]: Taking taylor expansion of 1/3 in b 1.624 * [taylor]: Taking taylor expansion of (log b) in b 1.624 * [taylor]: Taking taylor expansion of b in b 1.624 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 1.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 1.624 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 1.624 * [taylor]: Taking taylor expansion of 1/3 in b 1.624 * [taylor]: Taking taylor expansion of (log b) in b 1.624 * [taylor]: Taking taylor expansion of b in b 1.630 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0 1.630 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.630 * [taylor]: Taking taylor expansion of 1/3 in b 1.630 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.630 * [taylor]: Taking taylor expansion of b in b 1.630 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.630 * [taylor]: Taking taylor expansion of 1/3 in b 1.630 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.630 * [taylor]: Taking taylor expansion of b in b 1.639 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0 1.639 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 1.639 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.639 * [taylor]: Taking taylor expansion of -1 in b 1.639 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.639 * [taylor]: Taking taylor expansion of 1/3 in b 1.639 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.639 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.639 * [taylor]: Taking taylor expansion of b in b 1.639 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 1.639 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.639 * [taylor]: Taking taylor expansion of -1 in b 1.639 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.640 * [taylor]: Taking taylor expansion of 1/3 in b 1.640 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.640 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.640 * [taylor]: Taking taylor expansion of b in b 1.647 * * * [progress]: simplifying candidates 1.648 * [simplify]: Simplifying using # : (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (log (* (* a z) (* (cbrt b) (cbrt b)))) (exp (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* a a) a) (* (* z z) z)) (* b b)) (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (* (* a z) (* a z)) (* a z)) (* b b)) (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b))))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (cbrt b)) (* z (* (cbrt b) (cbrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)) (+ (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (log (cbrt b))) (+ (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (log (cbrt b))) (+ (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (log (cbrt b))) (+ (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (log (cbrt b))) (+ (log (* (* a z) (* (cbrt b) (cbrt b)))) (log (cbrt b))) (log (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (exp (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (* (* (* (* (* a a) a) (* (* z z) z)) (* b b)) b) (* (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) b) (* (* (* (* (* a z) (* a z)) (* a z)) (* b b)) b) (* (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) b) (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) b) (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt (sqrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt 1)) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (sqrt (cbrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) 1) (* (* (cbrt b) (cbrt b)) (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) (cbrt 1) (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) (* (* (cbrt b) (cbrt b)) (cbrt b)) (sqrt (cbrt b)) (sqrt (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) (cbrt 1) (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) (* (* (cbrt b) (cbrt b)) (cbrt b)) (sqrt (cbrt b)) (sqrt (cbrt b)) (* (exp (* 1/3 (+ (log 1) (* 2 (log b))))) (* a z)) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 b)))))))) (* (pow (cbrt -1) 2) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 b))))))))) 0 (* a (* z b)) (* a (* z b)) (exp (* 1/3 (+ (log 1) (log b)))) (exp (* 1/3 (- (log 1) (log (/ 1 b))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 b)))))) (exp (* 1/3 (+ (log 1) (log b)))) (exp (* 1/3 (- (log 1) (log (/ 1 b))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 b)))))) 1.653 * * [simplify]: iteration 0 : 308 enodes (cost 573 ) 1.660 * * [simplify]: iteration 1 : 1316 enodes (cost 444 ) 1.689 * * [simplify]: iteration 2 : 5001 enodes (cost 385 ) 1.691 * [simplify]: Simplified to: (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (exp (* (* a z) (* (cbrt b) (cbrt b)))) (* b (* b (pow (* a z) 3))) (* b (* b (pow (* a z) 3))) (* b (* b (pow (* a z) 3))) (* b (* b (pow (* a z) 3))) (* (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b))))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (* b (* b (pow (* a z) 3))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (cbrt b)) (* z (* (cbrt b) (cbrt b))) (* b (* a z)) (* b (* a z)) (* b (* a z)) (* b (* a z)) (* b (* a z)) (+ (* 3 (log (cbrt b))) (log (* a z))) (+ (* 3 (log (cbrt b))) (log (* a z))) (+ (* 3 (log (cbrt b))) (log (* a z))) (+ (* 3 (log (cbrt b))) (log (* a z))) (+ (* 3 (log (cbrt b))) (log (* a z))) (+ (* 3 (log (cbrt b))) (log (* a z))) (pow (exp (pow (cbrt b) 3)) (* a z)) (* (* (* b (pow (* a z) 3)) b) b) (* (* (* b (pow (* a z) 3)) b) b) (* (* (* b (pow (* a z) 3)) b) b) (* (* (* b (pow (* a z) 3)) b) b) (* (* (* b (pow (* a z) 3)) b) b) (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (* (* (* b (pow (* a z) 3)) b) b) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt (sqrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt 1)) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (sqrt (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) b (log (cbrt b)) (exp (cbrt b)) (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) (cbrt 1) (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) b (sqrt (cbrt b)) (sqrt (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) (cbrt 1) (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) b (sqrt (cbrt b)) (sqrt (cbrt b)) (* (* (* a z) (pow 1 1/3)) (pow b 2/3)) (* (* (* a z) (pow 1 1/3)) (pow b 2/3)) (* (pow (cbrt -1) 2) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 b))))))))) 0 (* b (* a z)) (* b (* a z)) (pow b 1/3) (pow b 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 b)))))) (pow b 1/3) (pow b 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 b)))))) 1.692 * * * [progress]: adding candidates to table 1.759 * * [progress]: iteration 3 / 4 1.759 * * * [progress]: picking best candidate 1.778 * * * * [pick]: Picked # 1.778 * * * [progress]: localizing error 1.801 * * * [progress]: generating rewritten candidates 1.802 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.812 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.822 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.831 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 1.841 * * * [progress]: generating series expansions 1.841 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.841 * [approximate]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in (a z b) around 0 1.841 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in b 1.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in b 1.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in b 1.841 * [taylor]: Taking taylor expansion of 1/3 in b 1.841 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in b 1.841 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.841 * [taylor]: Taking taylor expansion of a in b 1.841 * [taylor]: Taking taylor expansion of (* z b) in b 1.841 * [taylor]: Taking taylor expansion of z in b 1.842 * [taylor]: Taking taylor expansion of b in b 1.842 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in z 1.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in z 1.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in z 1.842 * [taylor]: Taking taylor expansion of 1/3 in z 1.842 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in z 1.842 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.842 * [taylor]: Taking taylor expansion of a in z 1.842 * [taylor]: Taking taylor expansion of (* z b) in z 1.842 * [taylor]: Taking taylor expansion of z in z 1.842 * [taylor]: Taking taylor expansion of b in z 1.842 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in a 1.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in a 1.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in a 1.842 * [taylor]: Taking taylor expansion of 1/3 in a 1.842 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in a 1.842 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.842 * [taylor]: Taking taylor expansion of a in a 1.842 * [taylor]: Taking taylor expansion of (* z b) in a 1.842 * [taylor]: Taking taylor expansion of z in a 1.842 * [taylor]: Taking taylor expansion of b in a 1.843 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in a 1.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in a 1.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in a 1.843 * [taylor]: Taking taylor expansion of 1/3 in a 1.843 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in a 1.843 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.843 * [taylor]: Taking taylor expansion of a in a 1.843 * [taylor]: Taking taylor expansion of (* z b) in a 1.843 * [taylor]: Taking taylor expansion of z in a 1.843 * [taylor]: Taking taylor expansion of b in a 1.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (* z b))))) in z 1.843 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (* z b)))) in z 1.843 * [taylor]: Taking taylor expansion of 1/3 in z 1.843 * [taylor]: Taking taylor expansion of (+ (log a) (log (* z b))) in z 1.843 * [taylor]: Taking taylor expansion of (log a) in z 1.843 * [taylor]: Taking taylor expansion of a in z 1.843 * [taylor]: Taking taylor expansion of (log (* z b)) in z 1.843 * [taylor]: Taking taylor expansion of (* z b) in z 1.843 * [taylor]: Taking taylor expansion of z in z 1.843 * [taylor]: Taking taylor expansion of b in z 1.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log z) (log b))))) in b 1.843 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log z) (log b)))) in b 1.844 * [taylor]: Taking taylor expansion of 1/3 in b 1.844 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log z) (log b))) in b 1.844 * [taylor]: Taking taylor expansion of (log a) in b 1.844 * [taylor]: Taking taylor expansion of a in b 1.844 * [taylor]: Taking taylor expansion of (+ (log z) (log b)) in b 1.844 * [taylor]: Taking taylor expansion of (log z) in b 1.844 * [taylor]: Taking taylor expansion of z in b 1.844 * [taylor]: Taking taylor expansion of (log b) in b 1.844 * [taylor]: Taking taylor expansion of b in b 1.844 * [taylor]: Taking taylor expansion of 0 in z 1.845 * [taylor]: Taking taylor expansion of 0 in b 1.845 * [taylor]: Taking taylor expansion of 0 in b 1.846 * [taylor]: Taking taylor expansion of 0 in z 1.846 * [taylor]: Taking taylor expansion of 0 in b 1.846 * [taylor]: Taking taylor expansion of 0 in b 1.847 * [taylor]: Taking taylor expansion of 0 in b 1.847 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in (a z b) around 0 1.847 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in b 1.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in b 1.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in b 1.847 * [taylor]: Taking taylor expansion of 1/3 in b 1.847 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in b 1.847 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.847 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.847 * [taylor]: Taking taylor expansion of a in b 1.847 * [taylor]: Taking taylor expansion of (* z b) in b 1.847 * [taylor]: Taking taylor expansion of z in b 1.847 * [taylor]: Taking taylor expansion of b in b 1.848 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in z 1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in z 1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in z 1.848 * [taylor]: Taking taylor expansion of 1/3 in z 1.848 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in z 1.848 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.848 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.848 * [taylor]: Taking taylor expansion of a in z 1.848 * [taylor]: Taking taylor expansion of (* z b) in z 1.848 * [taylor]: Taking taylor expansion of z in z 1.848 * [taylor]: Taking taylor expansion of b in z 1.848 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.848 * [taylor]: Taking taylor expansion of 1/3 in a 1.848 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.848 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.848 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.848 * [taylor]: Taking taylor expansion of a in a 1.848 * [taylor]: Taking taylor expansion of (* z b) in a 1.848 * [taylor]: Taking taylor expansion of z in a 1.848 * [taylor]: Taking taylor expansion of b in a 1.849 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.849 * [taylor]: Taking taylor expansion of 1/3 in a 1.849 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.849 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.849 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.849 * [taylor]: Taking taylor expansion of a in a 1.849 * [taylor]: Taking taylor expansion of (* z b) in a 1.849 * [taylor]: Taking taylor expansion of z in a 1.849 * [taylor]: Taking taylor expansion of b in a 1.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) in z 1.849 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z b))) (log a))) in z 1.849 * [taylor]: Taking taylor expansion of 1/3 in z 1.849 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z b))) (log a)) in z 1.849 * [taylor]: Taking taylor expansion of (log (/ 1 (* z b))) in z 1.849 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.849 * [taylor]: Taking taylor expansion of (* z b) in z 1.849 * [taylor]: Taking taylor expansion of z in z 1.849 * [taylor]: Taking taylor expansion of b in z 1.849 * [taylor]: Taking taylor expansion of (log a) in z 1.849 * [taylor]: Taking taylor expansion of a in z 1.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a))))) in b 1.850 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))) in b 1.850 * [taylor]: Taking taylor expansion of 1/3 in b 1.850 * [taylor]: Taking taylor expansion of (- (log (/ 1 b)) (+ (log z) (log a))) in b 1.850 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.850 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.850 * [taylor]: Taking taylor expansion of b in b 1.850 * [taylor]: Taking taylor expansion of (+ (log z) (log a)) in b 1.850 * [taylor]: Taking taylor expansion of (log z) in b 1.850 * [taylor]: Taking taylor expansion of z in b 1.850 * [taylor]: Taking taylor expansion of (log a) in b 1.850 * [taylor]: Taking taylor expansion of a in b 1.851 * [taylor]: Taking taylor expansion of 0 in z 1.851 * [taylor]: Taking taylor expansion of 0 in b 1.851 * [taylor]: Taking taylor expansion of 0 in b 1.853 * [taylor]: Taking taylor expansion of 0 in z 1.853 * [taylor]: Taking taylor expansion of 0 in b 1.853 * [taylor]: Taking taylor expansion of 0 in b 1.853 * [taylor]: Taking taylor expansion of 0 in b 1.854 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in (a z b) around 0 1.854 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in b 1.854 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.854 * [taylor]: Taking taylor expansion of -1 in b 1.854 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in b 1.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in b 1.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in b 1.854 * [taylor]: Taking taylor expansion of 1/3 in b 1.854 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in b 1.854 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.854 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.854 * [taylor]: Taking taylor expansion of a in b 1.854 * [taylor]: Taking taylor expansion of (* z b) in b 1.854 * [taylor]: Taking taylor expansion of z in b 1.854 * [taylor]: Taking taylor expansion of b in b 1.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in z 1.855 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.855 * [taylor]: Taking taylor expansion of -1 in z 1.855 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in z 1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in z 1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in z 1.855 * [taylor]: Taking taylor expansion of 1/3 in z 1.855 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in z 1.855 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.855 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.855 * [taylor]: Taking taylor expansion of a in z 1.855 * [taylor]: Taking taylor expansion of (* z b) in z 1.855 * [taylor]: Taking taylor expansion of z in z 1.855 * [taylor]: Taking taylor expansion of b in z 1.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in a 1.855 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.855 * [taylor]: Taking taylor expansion of -1 in a 1.855 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.855 * [taylor]: Taking taylor expansion of 1/3 in a 1.855 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.855 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.855 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.855 * [taylor]: Taking taylor expansion of a in a 1.855 * [taylor]: Taking taylor expansion of (* z b) in a 1.855 * [taylor]: Taking taylor expansion of z in a 1.856 * [taylor]: Taking taylor expansion of b in a 1.856 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in a 1.856 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.856 * [taylor]: Taking taylor expansion of -1 in a 1.856 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.856 * [taylor]: Taking taylor expansion of 1/3 in a 1.856 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.856 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.856 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.856 * [taylor]: Taking taylor expansion of a in a 1.856 * [taylor]: Taking taylor expansion of (* z b) in a 1.856 * [taylor]: Taking taylor expansion of z in a 1.856 * [taylor]: Taking taylor expansion of b in a 1.857 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) (cbrt -1)) in z 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) in z 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z b))) (log a))) in z 1.857 * [taylor]: Taking taylor expansion of 1/3 in z 1.857 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z b))) (log a)) in z 1.857 * [taylor]: Taking taylor expansion of (log (/ 1 (* z b))) in z 1.857 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.857 * [taylor]: Taking taylor expansion of (* z b) in z 1.857 * [taylor]: Taking taylor expansion of z in z 1.857 * [taylor]: Taking taylor expansion of b in z 1.857 * [taylor]: Taking taylor expansion of (log a) in z 1.857 * [taylor]: Taking taylor expansion of a in z 1.857 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.857 * [taylor]: Taking taylor expansion of -1 in z 1.857 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))))) in b 1.857 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.857 * [taylor]: Taking taylor expansion of -1 in b 1.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a))))) in b 1.858 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))) in b 1.858 * [taylor]: Taking taylor expansion of 1/3 in b 1.858 * [taylor]: Taking taylor expansion of (- (log (/ 1 b)) (+ (log z) (log a))) in b 1.858 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.858 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.858 * [taylor]: Taking taylor expansion of b in b 1.858 * [taylor]: Taking taylor expansion of (+ (log z) (log a)) in b 1.858 * [taylor]: Taking taylor expansion of (log z) in b 1.858 * [taylor]: Taking taylor expansion of z in b 1.858 * [taylor]: Taking taylor expansion of (log a) in b 1.858 * [taylor]: Taking taylor expansion of a in b 1.859 * [taylor]: Taking taylor expansion of 0 in z 1.859 * [taylor]: Taking taylor expansion of 0 in b 1.860 * [taylor]: Taking taylor expansion of 0 in b 1.861 * [taylor]: Taking taylor expansion of 0 in z 1.861 * [taylor]: Taking taylor expansion of 0 in b 1.861 * [taylor]: Taking taylor expansion of 0 in b 1.862 * [taylor]: Taking taylor expansion of 0 in b 1.863 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.863 * [approximate]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in (a z b) around 0 1.863 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in b 1.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in b 1.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in b 1.863 * [taylor]: Taking taylor expansion of 1/3 in b 1.863 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in b 1.863 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.863 * [taylor]: Taking taylor expansion of a in b 1.863 * [taylor]: Taking taylor expansion of (* z b) in b 1.863 * [taylor]: Taking taylor expansion of z in b 1.863 * [taylor]: Taking taylor expansion of b in b 1.863 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in z 1.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in z 1.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in z 1.863 * [taylor]: Taking taylor expansion of 1/3 in z 1.863 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in z 1.863 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.863 * [taylor]: Taking taylor expansion of a in z 1.863 * [taylor]: Taking taylor expansion of (* z b) in z 1.863 * [taylor]: Taking taylor expansion of z in z 1.863 * [taylor]: Taking taylor expansion of b in z 1.864 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in a 1.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in a 1.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in a 1.864 * [taylor]: Taking taylor expansion of 1/3 in a 1.864 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in a 1.864 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.864 * [taylor]: Taking taylor expansion of a in a 1.864 * [taylor]: Taking taylor expansion of (* z b) in a 1.864 * [taylor]: Taking taylor expansion of z in a 1.864 * [taylor]: Taking taylor expansion of b in a 1.864 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in a 1.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in a 1.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in a 1.864 * [taylor]: Taking taylor expansion of 1/3 in a 1.864 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in a 1.864 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.864 * [taylor]: Taking taylor expansion of a in a 1.864 * [taylor]: Taking taylor expansion of (* z b) in a 1.864 * [taylor]: Taking taylor expansion of z in a 1.864 * [taylor]: Taking taylor expansion of b in a 1.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (* z b))))) in z 1.864 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (* z b)))) in z 1.864 * [taylor]: Taking taylor expansion of 1/3 in z 1.864 * [taylor]: Taking taylor expansion of (+ (log a) (log (* z b))) in z 1.864 * [taylor]: Taking taylor expansion of (log a) in z 1.864 * [taylor]: Taking taylor expansion of a in z 1.865 * [taylor]: Taking taylor expansion of (log (* z b)) in z 1.865 * [taylor]: Taking taylor expansion of (* z b) in z 1.865 * [taylor]: Taking taylor expansion of z in z 1.865 * [taylor]: Taking taylor expansion of b in z 1.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log z) (log b))))) in b 1.865 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log z) (log b)))) in b 1.865 * [taylor]: Taking taylor expansion of 1/3 in b 1.865 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log z) (log b))) in b 1.865 * [taylor]: Taking taylor expansion of (log a) in b 1.865 * [taylor]: Taking taylor expansion of a in b 1.865 * [taylor]: Taking taylor expansion of (+ (log z) (log b)) in b 1.865 * [taylor]: Taking taylor expansion of (log z) in b 1.865 * [taylor]: Taking taylor expansion of z in b 1.865 * [taylor]: Taking taylor expansion of (log b) in b 1.865 * [taylor]: Taking taylor expansion of b in b 1.866 * [taylor]: Taking taylor expansion of 0 in z 1.866 * [taylor]: Taking taylor expansion of 0 in b 1.866 * [taylor]: Taking taylor expansion of 0 in b 1.867 * [taylor]: Taking taylor expansion of 0 in z 1.867 * [taylor]: Taking taylor expansion of 0 in b 1.867 * [taylor]: Taking taylor expansion of 0 in b 1.868 * [taylor]: Taking taylor expansion of 0 in b 1.868 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in (a z b) around 0 1.868 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in b 1.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in b 1.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in b 1.868 * [taylor]: Taking taylor expansion of 1/3 in b 1.868 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in b 1.868 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.868 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.869 * [taylor]: Taking taylor expansion of a in b 1.869 * [taylor]: Taking taylor expansion of (* z b) in b 1.869 * [taylor]: Taking taylor expansion of z in b 1.869 * [taylor]: Taking taylor expansion of b in b 1.869 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in z 1.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in z 1.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in z 1.869 * [taylor]: Taking taylor expansion of 1/3 in z 1.869 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in z 1.869 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.869 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.869 * [taylor]: Taking taylor expansion of a in z 1.869 * [taylor]: Taking taylor expansion of (* z b) in z 1.869 * [taylor]: Taking taylor expansion of z in z 1.869 * [taylor]: Taking taylor expansion of b in z 1.869 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.869 * [taylor]: Taking taylor expansion of 1/3 in a 1.869 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.869 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.869 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.869 * [taylor]: Taking taylor expansion of a in a 1.869 * [taylor]: Taking taylor expansion of (* z b) in a 1.870 * [taylor]: Taking taylor expansion of z in a 1.870 * [taylor]: Taking taylor expansion of b in a 1.870 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.870 * [taylor]: Taking taylor expansion of 1/3 in a 1.870 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.870 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.870 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.870 * [taylor]: Taking taylor expansion of a in a 1.870 * [taylor]: Taking taylor expansion of (* z b) in a 1.870 * [taylor]: Taking taylor expansion of z in a 1.870 * [taylor]: Taking taylor expansion of b in a 1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) in z 1.871 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z b))) (log a))) in z 1.871 * [taylor]: Taking taylor expansion of 1/3 in z 1.871 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z b))) (log a)) in z 1.871 * [taylor]: Taking taylor expansion of (log (/ 1 (* z b))) in z 1.871 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.871 * [taylor]: Taking taylor expansion of (* z b) in z 1.871 * [taylor]: Taking taylor expansion of z in z 1.871 * [taylor]: Taking taylor expansion of b in z 1.871 * [taylor]: Taking taylor expansion of (log a) in z 1.871 * [taylor]: Taking taylor expansion of a in z 1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a))))) in b 1.871 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))) in b 1.871 * [taylor]: Taking taylor expansion of 1/3 in b 1.871 * [taylor]: Taking taylor expansion of (- (log (/ 1 b)) (+ (log z) (log a))) in b 1.871 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.871 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.871 * [taylor]: Taking taylor expansion of b in b 1.871 * [taylor]: Taking taylor expansion of (+ (log z) (log a)) in b 1.871 * [taylor]: Taking taylor expansion of (log z) in b 1.871 * [taylor]: Taking taylor expansion of z in b 1.871 * [taylor]: Taking taylor expansion of (log a) in b 1.871 * [taylor]: Taking taylor expansion of a in b 1.872 * [taylor]: Taking taylor expansion of 0 in z 1.872 * [taylor]: Taking taylor expansion of 0 in b 1.873 * [taylor]: Taking taylor expansion of 0 in b 1.874 * [taylor]: Taking taylor expansion of 0 in z 1.874 * [taylor]: Taking taylor expansion of 0 in b 1.874 * [taylor]: Taking taylor expansion of 0 in b 1.875 * [taylor]: Taking taylor expansion of 0 in b 1.875 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in (a z b) around 0 1.875 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in b 1.875 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.875 * [taylor]: Taking taylor expansion of -1 in b 1.876 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in b 1.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in b 1.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in b 1.876 * [taylor]: Taking taylor expansion of 1/3 in b 1.876 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in b 1.876 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.876 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.876 * [taylor]: Taking taylor expansion of a in b 1.876 * [taylor]: Taking taylor expansion of (* z b) in b 1.876 * [taylor]: Taking taylor expansion of z in b 1.876 * [taylor]: Taking taylor expansion of b in b 1.876 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in z 1.876 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.876 * [taylor]: Taking taylor expansion of -1 in z 1.876 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in z 1.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in z 1.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in z 1.876 * [taylor]: Taking taylor expansion of 1/3 in z 1.876 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in z 1.876 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.876 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.876 * [taylor]: Taking taylor expansion of a in z 1.876 * [taylor]: Taking taylor expansion of (* z b) in z 1.876 * [taylor]: Taking taylor expansion of z in z 1.876 * [taylor]: Taking taylor expansion of b in z 1.877 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in a 1.877 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.877 * [taylor]: Taking taylor expansion of -1 in a 1.877 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.877 * [taylor]: Taking taylor expansion of 1/3 in a 1.877 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.877 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.877 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.877 * [taylor]: Taking taylor expansion of a in a 1.877 * [taylor]: Taking taylor expansion of (* z b) in a 1.877 * [taylor]: Taking taylor expansion of z in a 1.877 * [taylor]: Taking taylor expansion of b in a 1.877 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in a 1.877 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.877 * [taylor]: Taking taylor expansion of -1 in a 1.877 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.878 * [taylor]: Taking taylor expansion of 1/3 in a 1.878 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.878 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.878 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.878 * [taylor]: Taking taylor expansion of a in a 1.878 * [taylor]: Taking taylor expansion of (* z b) in a 1.878 * [taylor]: Taking taylor expansion of z in a 1.878 * [taylor]: Taking taylor expansion of b in a 1.878 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) (cbrt -1)) in z 1.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) in z 1.878 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z b))) (log a))) in z 1.878 * [taylor]: Taking taylor expansion of 1/3 in z 1.878 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z b))) (log a)) in z 1.878 * [taylor]: Taking taylor expansion of (log (/ 1 (* z b))) in z 1.878 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.878 * [taylor]: Taking taylor expansion of (* z b) in z 1.878 * [taylor]: Taking taylor expansion of z in z 1.878 * [taylor]: Taking taylor expansion of b in z 1.878 * [taylor]: Taking taylor expansion of (log a) in z 1.878 * [taylor]: Taking taylor expansion of a in z 1.879 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.879 * [taylor]: Taking taylor expansion of -1 in z 1.879 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))))) in b 1.879 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.879 * [taylor]: Taking taylor expansion of -1 in b 1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a))))) in b 1.879 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))) in b 1.879 * [taylor]: Taking taylor expansion of 1/3 in b 1.879 * [taylor]: Taking taylor expansion of (- (log (/ 1 b)) (+ (log z) (log a))) in b 1.879 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.879 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.879 * [taylor]: Taking taylor expansion of b in b 1.879 * [taylor]: Taking taylor expansion of (+ (log z) (log a)) in b 1.879 * [taylor]: Taking taylor expansion of (log z) in b 1.879 * [taylor]: Taking taylor expansion of z in b 1.879 * [taylor]: Taking taylor expansion of (log a) in b 1.879 * [taylor]: Taking taylor expansion of a in b 1.880 * [taylor]: Taking taylor expansion of 0 in z 1.881 * [taylor]: Taking taylor expansion of 0 in b 1.881 * [taylor]: Taking taylor expansion of 0 in b 1.883 * [taylor]: Taking taylor expansion of 0 in z 1.883 * [taylor]: Taking taylor expansion of 0 in b 1.883 * [taylor]: Taking taylor expansion of 0 in b 1.884 * [taylor]: Taking taylor expansion of 0 in b 1.884 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.884 * [approximate]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in (a z b) around 0 1.884 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in b 1.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in b 1.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in b 1.884 * [taylor]: Taking taylor expansion of 1/3 in b 1.884 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in b 1.884 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.884 * [taylor]: Taking taylor expansion of a in b 1.884 * [taylor]: Taking taylor expansion of (* z b) in b 1.884 * [taylor]: Taking taylor expansion of z in b 1.884 * [taylor]: Taking taylor expansion of b in b 1.885 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in z 1.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in z 1.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in z 1.885 * [taylor]: Taking taylor expansion of 1/3 in z 1.885 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in z 1.885 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.885 * [taylor]: Taking taylor expansion of a in z 1.885 * [taylor]: Taking taylor expansion of (* z b) in z 1.885 * [taylor]: Taking taylor expansion of z in z 1.885 * [taylor]: Taking taylor expansion of b in z 1.885 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in a 1.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in a 1.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in a 1.885 * [taylor]: Taking taylor expansion of 1/3 in a 1.885 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in a 1.885 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.885 * [taylor]: Taking taylor expansion of a in a 1.885 * [taylor]: Taking taylor expansion of (* z b) in a 1.885 * [taylor]: Taking taylor expansion of z in a 1.885 * [taylor]: Taking taylor expansion of b in a 1.885 * [taylor]: Taking taylor expansion of (pow (* a (* z b)) 1/3) in a 1.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (* z b))))) in a 1.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (* z b)))) in a 1.886 * [taylor]: Taking taylor expansion of 1/3 in a 1.886 * [taylor]: Taking taylor expansion of (log (* a (* z b))) in a 1.886 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.886 * [taylor]: Taking taylor expansion of a in a 1.886 * [taylor]: Taking taylor expansion of (* z b) in a 1.886 * [taylor]: Taking taylor expansion of z in a 1.886 * [taylor]: Taking taylor expansion of b in a 1.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (* z b))))) in z 1.886 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (* z b)))) in z 1.886 * [taylor]: Taking taylor expansion of 1/3 in z 1.886 * [taylor]: Taking taylor expansion of (+ (log a) (log (* z b))) in z 1.886 * [taylor]: Taking taylor expansion of (log a) in z 1.886 * [taylor]: Taking taylor expansion of a in z 1.886 * [taylor]: Taking taylor expansion of (log (* z b)) in z 1.886 * [taylor]: Taking taylor expansion of (* z b) in z 1.886 * [taylor]: Taking taylor expansion of z in z 1.886 * [taylor]: Taking taylor expansion of b in z 1.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log z) (log b))))) in b 1.886 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log z) (log b)))) in b 1.886 * [taylor]: Taking taylor expansion of 1/3 in b 1.886 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log z) (log b))) in b 1.886 * [taylor]: Taking taylor expansion of (log a) in b 1.886 * [taylor]: Taking taylor expansion of a in b 1.886 * [taylor]: Taking taylor expansion of (+ (log z) (log b)) in b 1.886 * [taylor]: Taking taylor expansion of (log z) in b 1.886 * [taylor]: Taking taylor expansion of z in b 1.886 * [taylor]: Taking taylor expansion of (log b) in b 1.887 * [taylor]: Taking taylor expansion of b in b 1.887 * [taylor]: Taking taylor expansion of 0 in z 1.887 * [taylor]: Taking taylor expansion of 0 in b 1.888 * [taylor]: Taking taylor expansion of 0 in b 1.889 * [taylor]: Taking taylor expansion of 0 in z 1.889 * [taylor]: Taking taylor expansion of 0 in b 1.889 * [taylor]: Taking taylor expansion of 0 in b 1.890 * [taylor]: Taking taylor expansion of 0 in b 1.890 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in (a z b) around 0 1.890 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in b 1.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in b 1.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in b 1.890 * [taylor]: Taking taylor expansion of 1/3 in b 1.890 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in b 1.890 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.890 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.890 * [taylor]: Taking taylor expansion of a in b 1.890 * [taylor]: Taking taylor expansion of (* z b) in b 1.890 * [taylor]: Taking taylor expansion of z in b 1.890 * [taylor]: Taking taylor expansion of b in b 1.892 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in z 1.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in z 1.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in z 1.892 * [taylor]: Taking taylor expansion of 1/3 in z 1.892 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in z 1.892 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.892 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.892 * [taylor]: Taking taylor expansion of a in z 1.892 * [taylor]: Taking taylor expansion of (* z b) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.892 * [taylor]: Taking taylor expansion of b in z 1.893 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.893 * [taylor]: Taking taylor expansion of 1/3 in a 1.893 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.893 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.893 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.893 * [taylor]: Taking taylor expansion of a in a 1.893 * [taylor]: Taking taylor expansion of (* z b) in a 1.893 * [taylor]: Taking taylor expansion of z in a 1.893 * [taylor]: Taking taylor expansion of b in a 1.893 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.893 * [taylor]: Taking taylor expansion of 1/3 in a 1.893 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.893 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.893 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.893 * [taylor]: Taking taylor expansion of a in a 1.893 * [taylor]: Taking taylor expansion of (* z b) in a 1.893 * [taylor]: Taking taylor expansion of z in a 1.893 * [taylor]: Taking taylor expansion of b in a 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) in z 1.894 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z b))) (log a))) in z 1.894 * [taylor]: Taking taylor expansion of 1/3 in z 1.894 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z b))) (log a)) in z 1.894 * [taylor]: Taking taylor expansion of (log (/ 1 (* z b))) in z 1.894 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.894 * [taylor]: Taking taylor expansion of (* z b) in z 1.894 * [taylor]: Taking taylor expansion of z in z 1.894 * [taylor]: Taking taylor expansion of b in z 1.894 * [taylor]: Taking taylor expansion of (log a) in z 1.894 * [taylor]: Taking taylor expansion of a in z 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a))))) in b 1.894 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))) in b 1.894 * [taylor]: Taking taylor expansion of 1/3 in b 1.894 * [taylor]: Taking taylor expansion of (- (log (/ 1 b)) (+ (log z) (log a))) in b 1.894 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.894 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.894 * [taylor]: Taking taylor expansion of b in b 1.894 * [taylor]: Taking taylor expansion of (+ (log z) (log a)) in b 1.894 * [taylor]: Taking taylor expansion of (log z) in b 1.894 * [taylor]: Taking taylor expansion of z in b 1.894 * [taylor]: Taking taylor expansion of (log a) in b 1.894 * [taylor]: Taking taylor expansion of a in b 1.895 * [taylor]: Taking taylor expansion of 0 in z 1.895 * [taylor]: Taking taylor expansion of 0 in b 1.896 * [taylor]: Taking taylor expansion of 0 in b 1.897 * [taylor]: Taking taylor expansion of 0 in z 1.897 * [taylor]: Taking taylor expansion of 0 in b 1.897 * [taylor]: Taking taylor expansion of 0 in b 1.898 * [taylor]: Taking taylor expansion of 0 in b 1.898 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in (a z b) around 0 1.898 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in b 1.898 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.898 * [taylor]: Taking taylor expansion of -1 in b 1.899 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in b 1.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in b 1.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in b 1.899 * [taylor]: Taking taylor expansion of 1/3 in b 1.899 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in b 1.899 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 1.899 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 1.899 * [taylor]: Taking taylor expansion of a in b 1.899 * [taylor]: Taking taylor expansion of (* z b) in b 1.899 * [taylor]: Taking taylor expansion of z in b 1.899 * [taylor]: Taking taylor expansion of b in b 1.899 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in z 1.899 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.899 * [taylor]: Taking taylor expansion of -1 in z 1.899 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in z 1.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in z 1.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in z 1.899 * [taylor]: Taking taylor expansion of 1/3 in z 1.899 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in z 1.899 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 1.899 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 1.899 * [taylor]: Taking taylor expansion of a in z 1.899 * [taylor]: Taking taylor expansion of (* z b) in z 1.899 * [taylor]: Taking taylor expansion of z in z 1.899 * [taylor]: Taking taylor expansion of b in z 1.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in a 1.900 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.900 * [taylor]: Taking taylor expansion of -1 in a 1.900 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.900 * [taylor]: Taking taylor expansion of 1/3 in a 1.900 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.900 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.900 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.900 * [taylor]: Taking taylor expansion of a in a 1.900 * [taylor]: Taking taylor expansion of (* z b) in a 1.900 * [taylor]: Taking taylor expansion of z in a 1.900 * [taylor]: Taking taylor expansion of b in a 1.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* a (* z b))) 1/3)) in a 1.900 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.900 * [taylor]: Taking taylor expansion of -1 in a 1.900 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a (* z b))) 1/3) in a 1.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* a (* z b)))))) in a 1.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* a (* z b))))) in a 1.901 * [taylor]: Taking taylor expansion of 1/3 in a 1.901 * [taylor]: Taking taylor expansion of (log (/ 1 (* a (* z b)))) in a 1.901 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 1.901 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 1.901 * [taylor]: Taking taylor expansion of a in a 1.901 * [taylor]: Taking taylor expansion of (* z b) in a 1.901 * [taylor]: Taking taylor expansion of z in a 1.901 * [taylor]: Taking taylor expansion of b in a 1.901 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) (cbrt -1)) in z 1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z b))) (log a)))) in z 1.901 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z b))) (log a))) in z 1.901 * [taylor]: Taking taylor expansion of 1/3 in z 1.901 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z b))) (log a)) in z 1.901 * [taylor]: Taking taylor expansion of (log (/ 1 (* z b))) in z 1.901 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 1.901 * [taylor]: Taking taylor expansion of (* z b) in z 1.901 * [taylor]: Taking taylor expansion of z in z 1.901 * [taylor]: Taking taylor expansion of b in z 1.901 * [taylor]: Taking taylor expansion of (log a) in z 1.901 * [taylor]: Taking taylor expansion of a in z 1.902 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.902 * [taylor]: Taking taylor expansion of -1 in z 1.902 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))))) in b 1.902 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.902 * [taylor]: Taking taylor expansion of -1 in b 1.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a))))) in b 1.902 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 b)) (+ (log z) (log a)))) in b 1.902 * [taylor]: Taking taylor expansion of 1/3 in b 1.902 * [taylor]: Taking taylor expansion of (- (log (/ 1 b)) (+ (log z) (log a))) in b 1.902 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.902 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.902 * [taylor]: Taking taylor expansion of b in b 1.902 * [taylor]: Taking taylor expansion of (+ (log z) (log a)) in b 1.902 * [taylor]: Taking taylor expansion of (log z) in b 1.902 * [taylor]: Taking taylor expansion of z in b 1.902 * [taylor]: Taking taylor expansion of (log a) in b 1.902 * [taylor]: Taking taylor expansion of a in b 1.903 * [taylor]: Taking taylor expansion of 0 in z 1.903 * [taylor]: Taking taylor expansion of 0 in b 1.904 * [taylor]: Taking taylor expansion of 0 in b 1.906 * [taylor]: Taking taylor expansion of 0 in z 1.906 * [taylor]: Taking taylor expansion of 0 in b 1.906 * [taylor]: Taking taylor expansion of 0 in b 1.907 * [taylor]: Taking taylor expansion of 0 in b 1.907 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 1.907 * [approximate]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in (a z b) around 0 1.907 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in b 1.907 * [taylor]: Taking taylor expansion of (* a z) in b 1.907 * [taylor]: Taking taylor expansion of a in b 1.907 * [taylor]: Taking taylor expansion of z in b 1.907 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 1.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 1.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 1.907 * [taylor]: Taking taylor expansion of 1/3 in b 1.907 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 1.907 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.907 * [taylor]: Taking taylor expansion of b in b 1.908 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in z 1.908 * [taylor]: Taking taylor expansion of (* a z) in z 1.908 * [taylor]: Taking taylor expansion of a in z 1.908 * [taylor]: Taking taylor expansion of z in z 1.908 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z 1.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z 1.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z 1.908 * [taylor]: Taking taylor expansion of 1/3 in z 1.908 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z 1.908 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.908 * [taylor]: Taking taylor expansion of b in z 1.908 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a 1.908 * [taylor]: Taking taylor expansion of (* a z) in a 1.908 * [taylor]: Taking taylor expansion of a in a 1.908 * [taylor]: Taking taylor expansion of z in a 1.908 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a 1.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a 1.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a 1.908 * [taylor]: Taking taylor expansion of 1/3 in a 1.908 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a 1.908 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.908 * [taylor]: Taking taylor expansion of b in a 1.908 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a 1.908 * [taylor]: Taking taylor expansion of (* a z) in a 1.908 * [taylor]: Taking taylor expansion of a in a 1.908 * [taylor]: Taking taylor expansion of z in a 1.908 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a 1.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a 1.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a 1.908 * [taylor]: Taking taylor expansion of 1/3 in a 1.908 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a 1.908 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.908 * [taylor]: Taking taylor expansion of b in a 1.909 * [taylor]: Taking taylor expansion of 0 in z 1.909 * [taylor]: Taking taylor expansion of 0 in b 1.909 * [taylor]: Taking taylor expansion of (* z (pow (pow b 2) 1/3)) in z 1.909 * [taylor]: Taking taylor expansion of z in z 1.909 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z 1.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z 1.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z 1.909 * [taylor]: Taking taylor expansion of 1/3 in z 1.909 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z 1.909 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.909 * [taylor]: Taking taylor expansion of b in z 1.910 * [taylor]: Taking taylor expansion of 0 in b 1.910 * [taylor]: Taking taylor expansion of 0 in b 1.910 * [taylor]: Taking taylor expansion of 0 in z 1.910 * [taylor]: Taking taylor expansion of 0 in b 1.911 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 1.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 1.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 1.911 * [taylor]: Taking taylor expansion of 1/3 in b 1.911 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 1.911 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.911 * [taylor]: Taking taylor expansion of b in b 1.911 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [taylor]: Taking taylor expansion of 0 in z 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [approximate]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0 1.912 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b 1.912 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b 1.912 * [taylor]: Taking taylor expansion of (* a z) in b 1.912 * [taylor]: Taking taylor expansion of a in b 1.912 * [taylor]: Taking taylor expansion of z in b 1.913 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.913 * [taylor]: Taking taylor expansion of 1/3 in b 1.913 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.913 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.913 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.913 * [taylor]: Taking taylor expansion of b in b 1.913 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z 1.913 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z 1.913 * [taylor]: Taking taylor expansion of (* a z) in z 1.913 * [taylor]: Taking taylor expansion of a in z 1.913 * [taylor]: Taking taylor expansion of z in z 1.913 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.913 * [taylor]: Taking taylor expansion of 1/3 in z 1.913 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.913 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.913 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.913 * [taylor]: Taking taylor expansion of b in z 1.913 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.913 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a 1.913 * [taylor]: Taking taylor expansion of (* a z) in a 1.913 * [taylor]: Taking taylor expansion of a in a 1.913 * [taylor]: Taking taylor expansion of z in a 1.914 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.914 * [taylor]: Taking taylor expansion of 1/3 in a 1.914 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.914 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.914 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.914 * [taylor]: Taking taylor expansion of b in a 1.914 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.914 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a 1.914 * [taylor]: Taking taylor expansion of (* a z) in a 1.914 * [taylor]: Taking taylor expansion of a in a 1.914 * [taylor]: Taking taylor expansion of z in a 1.914 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.914 * [taylor]: Taking taylor expansion of 1/3 in a 1.914 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.914 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.914 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.914 * [taylor]: Taking taylor expansion of b in a 1.915 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow b 2)) 1/3)) in z 1.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.915 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.915 * [taylor]: Taking taylor expansion of 1/3 in z 1.915 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.915 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.915 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.915 * [taylor]: Taking taylor expansion of b in z 1.915 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.915 * [taylor]: Taking taylor expansion of 1/3 in b 1.915 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.915 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.915 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.915 * [taylor]: Taking taylor expansion of b in b 1.916 * [taylor]: Taking taylor expansion of 0 in z 1.917 * [taylor]: Taking taylor expansion of 0 in b 1.918 * [taylor]: Taking taylor expansion of 0 in z 1.918 * [taylor]: Taking taylor expansion of 0 in b 1.919 * [taylor]: Taking taylor expansion of 0 in b 1.920 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0 1.920 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b 1.920 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in b 1.920 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 1.920 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.920 * [taylor]: Taking taylor expansion of -1 in b 1.920 * [taylor]: Taking taylor expansion of (* a z) in b 1.920 * [taylor]: Taking taylor expansion of a in b 1.920 * [taylor]: Taking taylor expansion of z in b 1.921 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.921 * [taylor]: Taking taylor expansion of 1/3 in b 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.921 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.921 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.921 * [taylor]: Taking taylor expansion of b in b 1.921 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z 1.921 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in z 1.921 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.921 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.921 * [taylor]: Taking taylor expansion of -1 in z 1.921 * [taylor]: Taking taylor expansion of (* a z) in z 1.921 * [taylor]: Taking taylor expansion of a in z 1.921 * [taylor]: Taking taylor expansion of z in z 1.921 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.921 * [taylor]: Taking taylor expansion of 1/3 in z 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.922 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.922 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.922 * [taylor]: Taking taylor expansion of b in z 1.922 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.922 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a 1.922 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 1.922 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.922 * [taylor]: Taking taylor expansion of -1 in a 1.922 * [taylor]: Taking taylor expansion of (* a z) in a 1.922 * [taylor]: Taking taylor expansion of a in a 1.922 * [taylor]: Taking taylor expansion of z in a 1.922 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.922 * [taylor]: Taking taylor expansion of 1/3 in a 1.922 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.922 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.922 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.922 * [taylor]: Taking taylor expansion of b in a 1.923 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 1.923 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a 1.923 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 1.923 * [taylor]: Taking taylor expansion of (cbrt -1) in a 1.923 * [taylor]: Taking taylor expansion of -1 in a 1.923 * [taylor]: Taking taylor expansion of (* a z) in a 1.923 * [taylor]: Taking taylor expansion of a in a 1.923 * [taylor]: Taking taylor expansion of z in a 1.923 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 1.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 1.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 1.923 * [taylor]: Taking taylor expansion of 1/3 in a 1.923 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 1.923 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.923 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.923 * [taylor]: Taking taylor expansion of b in a 1.924 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow b 2)) 1/3)) in z 1.924 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z 1.924 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.924 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.924 * [taylor]: Taking taylor expansion of -1 in z 1.924 * [taylor]: Taking taylor expansion of z in z 1.924 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 1.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 1.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 1.924 * [taylor]: Taking taylor expansion of 1/3 in z 1.924 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 1.924 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 1.924 * [taylor]: Taking taylor expansion of (pow b 2) in z 1.924 * [taylor]: Taking taylor expansion of b in z 1.925 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b 1.925 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 1.925 * [taylor]: Taking taylor expansion of (cbrt -1) in b 1.925 * [taylor]: Taking taylor expansion of -1 in b 1.925 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 1.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 1.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 1.925 * [taylor]: Taking taylor expansion of 1/3 in b 1.925 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 1.925 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.925 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.925 * [taylor]: Taking taylor expansion of b in b 1.927 * [taylor]: Taking taylor expansion of 0 in z 1.927 * [taylor]: Taking taylor expansion of 0 in b 1.929 * [taylor]: Taking taylor expansion of 0 in z 1.929 * [taylor]: Taking taylor expansion of 0 in b 1.931 * [taylor]: Taking taylor expansion of 0 in b 1.932 * * * [progress]: simplifying candidates 1.933 * [simplify]: Simplifying using # : (log (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (exp (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (cbrt b)) (* (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (log (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (exp (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (cbrt b)) (* (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (log (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (exp (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (cbrt b)) (* (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (log (* (* a z) (* (cbrt b) (cbrt b)))) (exp (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* a a) a) (* (* z z) z)) (* b b)) (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (* (* a z) (* a z)) (* a z)) (* b b)) (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b))))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (cbrt b)) (* z (* (cbrt b) (cbrt b))) (exp (* 1/3 (+ (log a) (+ (log 1) (+ (log z) (log b)))))) (exp (* 1/3 (- (log 1) (+ (log (/ 1 b)) (+ (log (/ 1 z)) (log (/ 1 a))))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (log (/ -1 b)) (+ (log (/ -1 z)) (log (/ -1 a)))))))) (exp (* 1/3 (+ (log a) (+ (log 1) (+ (log z) (log b)))))) (exp (* 1/3 (- (log 1) (+ (log (/ 1 b)) (+ (log (/ 1 z)) (log (/ 1 a))))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (log (/ -1 b)) (+ (log (/ -1 z)) (log (/ -1 a)))))))) (exp (* 1/3 (+ (log a) (+ (log 1) (+ (log z) (log b)))))) (exp (* 1/3 (- (log 1) (+ (log (/ 1 b)) (+ (log (/ 1 z)) (log (/ 1 a))))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (log (/ -1 b)) (+ (log (/ -1 z)) (log (/ -1 a)))))))) (* (exp (* 1/3 (+ (log 1) (* 2 (log b))))) (* a z)) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 b)))))))) (* (pow (cbrt -1) 2) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 b))))))))) 1.937 * * [simplify]: iteration 0 : 269 enodes (cost 587 ) 1.942 * * [simplify]: iteration 1 : 938 enodes (cost 497 ) 1.961 * * [simplify]: iteration 2 : 4352 enodes (cost 444 ) 2.026 * * [simplify]: iteration 3 : 5001 enodes (cost 432 ) 2.029 * [simplify]: Simplified to: (log (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (exp (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (cbrt b)) (* (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* b z) a) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (log (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (exp (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (cbrt b)) (* (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* b z) a) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (log (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (exp (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (cbrt b)) (* (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))))) (cbrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* b z) a) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (sqrt (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (exp (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (pow (* a z) 3) b) b) (* (* (pow (* a z) 3) b) b) (* (* (pow (* a z) 3) b) b) (* (* (pow (* a z) 3) b) b) (* (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b))))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (pow (* a z) 3) b) b) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (cbrt b)) (* z (* (cbrt b) (cbrt b))) (pow (exp 1/3) (+ (log b) (log (* a z)))) (pow (exp 1/3) (+ (log b) (log (* a z)))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (log (/ -1 b)) (+ (log (/ -1 z)) (log (/ -1 a)))))))) (pow (exp 1/3) (+ (log b) (log (* a z)))) (pow (exp 1/3) (+ (log b) (log (* a z)))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (log (/ -1 b)) (+ (log (/ -1 z)) (log (/ -1 a)))))))) (pow (exp 1/3) (+ (log b) (log (* a z)))) (pow (exp 1/3) (+ (log b) (log (* a z)))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (+ (log (/ -1 b)) (+ (log (/ -1 z)) (log (/ -1 a)))))))) (* (pow b 2/3) (* a z)) (* (pow b 2/3) (* a z)) (* (pow (cbrt -1) 2) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 b))))))))) 2.029 * * * [progress]: adding candidates to table 2.097 * * [progress]: iteration 4 / 4 2.097 * * * [progress]: picking best candidate 2.110 * * * * [pick]: Picked # 2.111 * * * [progress]: localizing error 2.133 * * * [progress]: generating rewritten candidates 2.133 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 2.142 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 2.165 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 2.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 2.173 * * * [progress]: generating series expansions 2.173 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 2.173 * [approximate]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in (a z b) around 0 2.173 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in b 2.173 * [taylor]: Taking taylor expansion of (* a z) in b 2.173 * [taylor]: Taking taylor expansion of a in b 2.173 * [taylor]: Taking taylor expansion of z in b 2.173 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 2.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 2.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 2.173 * [taylor]: Taking taylor expansion of 1/3 in b 2.173 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 2.173 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.173 * [taylor]: Taking taylor expansion of b in b 2.174 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in z 2.174 * [taylor]: Taking taylor expansion of (* a z) in z 2.174 * [taylor]: Taking taylor expansion of a in z 2.174 * [taylor]: Taking taylor expansion of z in z 2.174 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z 2.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z 2.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z 2.174 * [taylor]: Taking taylor expansion of 1/3 in z 2.174 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z 2.174 * [taylor]: Taking taylor expansion of (pow b 2) in z 2.174 * [taylor]: Taking taylor expansion of b in z 2.174 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a 2.174 * [taylor]: Taking taylor expansion of (* a z) in a 2.174 * [taylor]: Taking taylor expansion of a in a 2.174 * [taylor]: Taking taylor expansion of z in a 2.174 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a 2.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a 2.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a 2.174 * [taylor]: Taking taylor expansion of 1/3 in a 2.174 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a 2.174 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.174 * [taylor]: Taking taylor expansion of b in a 2.174 * [taylor]: Taking taylor expansion of (* (* a z) (pow (pow b 2) 1/3)) in a 2.174 * [taylor]: Taking taylor expansion of (* a z) in a 2.174 * [taylor]: Taking taylor expansion of a in a 2.174 * [taylor]: Taking taylor expansion of z in a 2.174 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in a 2.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in a 2.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in a 2.174 * [taylor]: Taking taylor expansion of 1/3 in a 2.174 * [taylor]: Taking taylor expansion of (log (pow b 2)) in a 2.174 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.175 * [taylor]: Taking taylor expansion of b in a 2.175 * [taylor]: Taking taylor expansion of 0 in z 2.175 * [taylor]: Taking taylor expansion of 0 in b 2.175 * [taylor]: Taking taylor expansion of (* z (pow (pow b 2) 1/3)) in z 2.175 * [taylor]: Taking taylor expansion of z in z 2.175 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in z 2.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in z 2.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in z 2.175 * [taylor]: Taking taylor expansion of 1/3 in z 2.175 * [taylor]: Taking taylor expansion of (log (pow b 2)) in z 2.175 * [taylor]: Taking taylor expansion of (pow b 2) in z 2.175 * [taylor]: Taking taylor expansion of b in z 2.176 * [taylor]: Taking taylor expansion of 0 in b 2.176 * [taylor]: Taking taylor expansion of 0 in b 2.176 * [taylor]: Taking taylor expansion of 0 in z 2.176 * [taylor]: Taking taylor expansion of 0 in b 2.177 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 2.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 2.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 2.177 * [taylor]: Taking taylor expansion of 1/3 in b 2.177 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 2.177 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.177 * [taylor]: Taking taylor expansion of b in b 2.177 * [taylor]: Taking taylor expansion of 0 in b 2.178 * [taylor]: Taking taylor expansion of 0 in z 2.178 * [taylor]: Taking taylor expansion of 0 in b 2.178 * [taylor]: Taking taylor expansion of 0 in b 2.179 * [approximate]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0 2.179 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b 2.179 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in b 2.179 * [taylor]: Taking taylor expansion of (* a z) in b 2.179 * [taylor]: Taking taylor expansion of a in b 2.179 * [taylor]: Taking taylor expansion of z in b 2.179 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.179 * [taylor]: Taking taylor expansion of 1/3 in b 2.179 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.179 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.179 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.179 * [taylor]: Taking taylor expansion of b in b 2.179 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z 2.179 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in z 2.179 * [taylor]: Taking taylor expansion of (* a z) in z 2.179 * [taylor]: Taking taylor expansion of a in z 2.179 * [taylor]: Taking taylor expansion of z in z 2.179 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 2.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 2.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 2.179 * [taylor]: Taking taylor expansion of 1/3 in z 2.179 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 2.179 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 2.179 * [taylor]: Taking taylor expansion of (pow b 2) in z 2.179 * [taylor]: Taking taylor expansion of b in z 2.180 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 2.180 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a 2.180 * [taylor]: Taking taylor expansion of (* a z) in a 2.180 * [taylor]: Taking taylor expansion of a in a 2.180 * [taylor]: Taking taylor expansion of z in a 2.180 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 2.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 2.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 2.180 * [taylor]: Taking taylor expansion of 1/3 in a 2.180 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 2.180 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 2.180 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.180 * [taylor]: Taking taylor expansion of b in a 2.180 * [taylor]: Taking taylor expansion of (* (/ 1 (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 2.180 * [taylor]: Taking taylor expansion of (/ 1 (* a z)) in a 2.180 * [taylor]: Taking taylor expansion of (* a z) in a 2.180 * [taylor]: Taking taylor expansion of a in a 2.180 * [taylor]: Taking taylor expansion of z in a 2.180 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 2.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 2.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 2.180 * [taylor]: Taking taylor expansion of 1/3 in a 2.180 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 2.180 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 2.180 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.180 * [taylor]: Taking taylor expansion of b in a 2.181 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow b 2)) 1/3)) in z 2.181 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.181 * [taylor]: Taking taylor expansion of z in z 2.181 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 2.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 2.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 2.181 * [taylor]: Taking taylor expansion of 1/3 in z 2.181 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 2.181 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 2.181 * [taylor]: Taking taylor expansion of (pow b 2) in z 2.181 * [taylor]: Taking taylor expansion of b in z 2.181 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.181 * [taylor]: Taking taylor expansion of 1/3 in b 2.181 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.181 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.181 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.181 * [taylor]: Taking taylor expansion of b in b 2.182 * [taylor]: Taking taylor expansion of 0 in z 2.183 * [taylor]: Taking taylor expansion of 0 in b 2.184 * [taylor]: Taking taylor expansion of 0 in z 2.184 * [taylor]: Taking taylor expansion of 0 in b 2.185 * [taylor]: Taking taylor expansion of 0 in b 2.186 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in (a z b) around 0 2.186 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in b 2.186 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in b 2.186 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 2.186 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.186 * [taylor]: Taking taylor expansion of -1 in b 2.186 * [taylor]: Taking taylor expansion of (* a z) in b 2.186 * [taylor]: Taking taylor expansion of a in b 2.186 * [taylor]: Taking taylor expansion of z in b 2.187 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.187 * [taylor]: Taking taylor expansion of 1/3 in b 2.187 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.187 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.187 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.187 * [taylor]: Taking taylor expansion of b in b 2.187 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in z 2.187 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in z 2.187 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.187 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.187 * [taylor]: Taking taylor expansion of -1 in z 2.187 * [taylor]: Taking taylor expansion of (* a z) in z 2.187 * [taylor]: Taking taylor expansion of a in z 2.187 * [taylor]: Taking taylor expansion of z in z 2.188 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 2.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 2.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 2.188 * [taylor]: Taking taylor expansion of 1/3 in z 2.188 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 2.188 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 2.188 * [taylor]: Taking taylor expansion of (pow b 2) in z 2.188 * [taylor]: Taking taylor expansion of b in z 2.188 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 2.188 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a 2.188 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 2.188 * [taylor]: Taking taylor expansion of (cbrt -1) in a 2.188 * [taylor]: Taking taylor expansion of -1 in a 2.188 * [taylor]: Taking taylor expansion of (* a z) in a 2.188 * [taylor]: Taking taylor expansion of a in a 2.188 * [taylor]: Taking taylor expansion of z in a 2.188 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 2.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 2.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 2.189 * [taylor]: Taking taylor expansion of 1/3 in a 2.189 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 2.189 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 2.189 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.189 * [taylor]: Taking taylor expansion of b in a 2.189 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* a z)) (pow (/ 1 (pow b 2)) 1/3)) in a 2.189 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* a z)) in a 2.189 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 2.189 * [taylor]: Taking taylor expansion of (cbrt -1) in a 2.189 * [taylor]: Taking taylor expansion of -1 in a 2.189 * [taylor]: Taking taylor expansion of (* a z) in a 2.189 * [taylor]: Taking taylor expansion of a in a 2.189 * [taylor]: Taking taylor expansion of z in a 2.189 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in a 2.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in a 2.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in a 2.189 * [taylor]: Taking taylor expansion of 1/3 in a 2.189 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in a 2.189 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 2.189 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.189 * [taylor]: Taking taylor expansion of b in a 2.190 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow b 2)) 1/3)) in z 2.190 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z 2.190 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.190 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.190 * [taylor]: Taking taylor expansion of -1 in z 2.190 * [taylor]: Taking taylor expansion of z in z 2.190 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in z 2.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in z 2.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in z 2.190 * [taylor]: Taking taylor expansion of 1/3 in z 2.190 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in z 2.190 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in z 2.190 * [taylor]: Taking taylor expansion of (pow b 2) in z 2.191 * [taylor]: Taking taylor expansion of b in z 2.191 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b 2.191 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 2.191 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.191 * [taylor]: Taking taylor expansion of -1 in b 2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.191 * [taylor]: Taking taylor expansion of 1/3 in b 2.191 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.191 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.191 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.191 * [taylor]: Taking taylor expansion of b in b 2.193 * [taylor]: Taking taylor expansion of 0 in z 2.194 * [taylor]: Taking taylor expansion of 0 in b 2.196 * [taylor]: Taking taylor expansion of 0 in z 2.196 * [taylor]: Taking taylor expansion of 0 in b 2.197 * [taylor]: Taking taylor expansion of 0 in b 2.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.199 * [approximate]: Taking taylor expansion of (* a (* z b)) in (a z b) around 0 2.199 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 2.199 * [taylor]: Taking taylor expansion of a in b 2.199 * [taylor]: Taking taylor expansion of (* z b) in b 2.199 * [taylor]: Taking taylor expansion of z in b 2.199 * [taylor]: Taking taylor expansion of b in b 2.199 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 2.199 * [taylor]: Taking taylor expansion of a in z 2.199 * [taylor]: Taking taylor expansion of (* z b) in z 2.199 * [taylor]: Taking taylor expansion of z in z 2.199 * [taylor]: Taking taylor expansion of b in z 2.199 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 2.199 * [taylor]: Taking taylor expansion of a in a 2.199 * [taylor]: Taking taylor expansion of (* z b) in a 2.199 * [taylor]: Taking taylor expansion of z in a 2.199 * [taylor]: Taking taylor expansion of b in a 2.199 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 2.199 * [taylor]: Taking taylor expansion of a in a 2.199 * [taylor]: Taking taylor expansion of (* z b) in a 2.199 * [taylor]: Taking taylor expansion of z in a 2.199 * [taylor]: Taking taylor expansion of b in a 2.199 * [taylor]: Taking taylor expansion of 0 in z 2.199 * [taylor]: Taking taylor expansion of 0 in b 2.199 * [taylor]: Taking taylor expansion of (* z b) in z 2.199 * [taylor]: Taking taylor expansion of z in z 2.199 * [taylor]: Taking taylor expansion of b in z 2.199 * [taylor]: Taking taylor expansion of 0 in b 2.199 * [taylor]: Taking taylor expansion of 0 in b 2.200 * [taylor]: Taking taylor expansion of 0 in z 2.200 * [taylor]: Taking taylor expansion of 0 in b 2.200 * [taylor]: Taking taylor expansion of b in b 2.200 * [approximate]: Taking taylor expansion of (/ 1 (* a (* z b))) in (a z b) around 0 2.200 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in b 2.200 * [taylor]: Taking taylor expansion of (* a (* z b)) in b 2.200 * [taylor]: Taking taylor expansion of a in b 2.200 * [taylor]: Taking taylor expansion of (* z b) in b 2.200 * [taylor]: Taking taylor expansion of z in b 2.200 * [taylor]: Taking taylor expansion of b in b 2.200 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in z 2.200 * [taylor]: Taking taylor expansion of (* a (* z b)) in z 2.200 * [taylor]: Taking taylor expansion of a in z 2.200 * [taylor]: Taking taylor expansion of (* z b) in z 2.200 * [taylor]: Taking taylor expansion of z in z 2.200 * [taylor]: Taking taylor expansion of b in z 2.200 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 2.200 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 2.200 * [taylor]: Taking taylor expansion of a in a 2.200 * [taylor]: Taking taylor expansion of (* z b) in a 2.200 * [taylor]: Taking taylor expansion of z in a 2.200 * [taylor]: Taking taylor expansion of b in a 2.201 * [taylor]: Taking taylor expansion of (/ 1 (* a (* z b))) in a 2.201 * [taylor]: Taking taylor expansion of (* a (* z b)) in a 2.201 * [taylor]: Taking taylor expansion of a in a 2.201 * [taylor]: Taking taylor expansion of (* z b) in a 2.201 * [taylor]: Taking taylor expansion of z in a 2.201 * [taylor]: Taking taylor expansion of b in a 2.201 * [taylor]: Taking taylor expansion of (/ 1 (* z b)) in z 2.201 * [taylor]: Taking taylor expansion of (* z b) in z 2.201 * [taylor]: Taking taylor expansion of z in z 2.201 * [taylor]: Taking taylor expansion of b in z 2.201 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.201 * [taylor]: Taking taylor expansion of b in b 2.201 * [taylor]: Taking taylor expansion of 0 in z 2.201 * [taylor]: Taking taylor expansion of 0 in b 2.201 * [taylor]: Taking taylor expansion of 0 in z 2.201 * [taylor]: Taking taylor expansion of 0 in b 2.202 * [taylor]: Taking taylor expansion of 0 in b 2.202 * [taylor]: Taking taylor expansion of 0 in z 2.202 * [taylor]: Taking taylor expansion of 0 in b 2.202 * [taylor]: Taking taylor expansion of 0 in b 2.202 * [taylor]: Taking taylor expansion of 0 in b 2.203 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in (a z b) around 0 2.203 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in b 2.203 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in b 2.203 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.203 * [taylor]: Taking taylor expansion of -1 in b 2.203 * [taylor]: Taking taylor expansion of (* b (* z a)) in b 2.203 * [taylor]: Taking taylor expansion of b in b 2.203 * [taylor]: Taking taylor expansion of (* z a) in b 2.203 * [taylor]: Taking taylor expansion of z in b 2.203 * [taylor]: Taking taylor expansion of a in b 2.203 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in z 2.204 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 2.204 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.204 * [taylor]: Taking taylor expansion of -1 in z 2.204 * [taylor]: Taking taylor expansion of (* b (* z a)) in z 2.204 * [taylor]: Taking taylor expansion of b in z 2.204 * [taylor]: Taking taylor expansion of (* z a) in z 2.204 * [taylor]: Taking taylor expansion of z in z 2.204 * [taylor]: Taking taylor expansion of a in z 2.204 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a 2.204 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a 2.204 * [taylor]: Taking taylor expansion of (cbrt -1) in a 2.204 * [taylor]: Taking taylor expansion of -1 in a 2.204 * [taylor]: Taking taylor expansion of (* b (* z a)) in a 2.204 * [taylor]: Taking taylor expansion of b in a 2.204 * [taylor]: Taking taylor expansion of (* z a) in a 2.204 * [taylor]: Taking taylor expansion of z in a 2.204 * [taylor]: Taking taylor expansion of a in a 2.205 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* b (* z a))) in a 2.205 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a 2.205 * [taylor]: Taking taylor expansion of (cbrt -1) in a 2.205 * [taylor]: Taking taylor expansion of -1 in a 2.205 * [taylor]: Taking taylor expansion of (* b (* z a)) in a 2.205 * [taylor]: Taking taylor expansion of b in a 2.205 * [taylor]: Taking taylor expansion of (* z a) in a 2.205 * [taylor]: Taking taylor expansion of z in a 2.205 * [taylor]: Taking taylor expansion of a in a 2.205 * [taylor]: Taking taylor expansion of (/ -1 (* z b)) in z 2.205 * [taylor]: Taking taylor expansion of -1 in z 2.205 * [taylor]: Taking taylor expansion of (* z b) in z 2.205 * [taylor]: Taking taylor expansion of z in z 2.205 * [taylor]: Taking taylor expansion of b in z 2.206 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.206 * [taylor]: Taking taylor expansion of -1 in b 2.206 * [taylor]: Taking taylor expansion of b in b 2.206 * [taylor]: Taking taylor expansion of 0 in z 2.206 * [taylor]: Taking taylor expansion of 0 in b 2.207 * [taylor]: Taking taylor expansion of 0 in z 2.207 * [taylor]: Taking taylor expansion of 0 in b 2.207 * [taylor]: Taking taylor expansion of 0 in b 2.208 * [taylor]: Taking taylor expansion of 0 in z 2.208 * [taylor]: Taking taylor expansion of 0 in b 2.208 * [taylor]: Taking taylor expansion of 0 in b 2.208 * [taylor]: Taking taylor expansion of 0 in b 2.211 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 2.211 * [approximate]: Taking taylor expansion of (pow b 1/9) in (b) around 0 2.211 * [taylor]: Taking taylor expansion of (pow b 1/9) in b 2.211 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b 2.211 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b 2.211 * [taylor]: Taking taylor expansion of 1/9 in b 2.211 * [taylor]: Taking taylor expansion of (log b) in b 2.211 * [taylor]: Taking taylor expansion of b in b 2.211 * [taylor]: Taking taylor expansion of (pow b 1/9) in b 2.211 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b 2.211 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b 2.211 * [taylor]: Taking taylor expansion of 1/9 in b 2.211 * [taylor]: Taking taylor expansion of (log b) in b 2.211 * [taylor]: Taking taylor expansion of b in b 2.217 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/9) in (b) around 0 2.217 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.217 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.217 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.217 * [taylor]: Taking taylor expansion of 1/9 in b 2.217 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.217 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.217 * [taylor]: Taking taylor expansion of b in b 2.217 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.217 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.218 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.218 * [taylor]: Taking taylor expansion of 1/9 in b 2.218 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.218 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.218 * [taylor]: Taking taylor expansion of b in b 2.224 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in (b) around 0 2.224 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b 2.224 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b 2.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b 2.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b 2.224 * [taylor]: Taking taylor expansion of 1/3 in b 2.224 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b 2.224 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.224 * [taylor]: Taking taylor expansion of -1 in b 2.224 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.224 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.224 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.224 * [taylor]: Taking taylor expansion of 1/9 in b 2.224 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.224 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.224 * [taylor]: Taking taylor expansion of b in b 2.225 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b 2.225 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b 2.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b 2.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b 2.225 * [taylor]: Taking taylor expansion of 1/3 in b 2.225 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b 2.225 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.225 * [taylor]: Taking taylor expansion of -1 in b 2.225 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.225 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.225 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.225 * [taylor]: Taking taylor expansion of 1/9 in b 2.225 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.225 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.225 * [taylor]: Taking taylor expansion of b in b 2.241 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 2.241 * [approximate]: Taking taylor expansion of (pow b 1/9) in (b) around 0 2.241 * [taylor]: Taking taylor expansion of (pow b 1/9) in b 2.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b 2.241 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b 2.241 * [taylor]: Taking taylor expansion of 1/9 in b 2.241 * [taylor]: Taking taylor expansion of (log b) in b 2.241 * [taylor]: Taking taylor expansion of b in b 2.241 * [taylor]: Taking taylor expansion of (pow b 1/9) in b 2.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b 2.241 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b 2.241 * [taylor]: Taking taylor expansion of 1/9 in b 2.241 * [taylor]: Taking taylor expansion of (log b) in b 2.241 * [taylor]: Taking taylor expansion of b in b 2.248 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/9) in (b) around 0 2.248 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.248 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.248 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.248 * [taylor]: Taking taylor expansion of 1/9 in b 2.248 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.248 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.248 * [taylor]: Taking taylor expansion of b in b 2.248 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.248 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.248 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.248 * [taylor]: Taking taylor expansion of 1/9 in b 2.248 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.248 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.248 * [taylor]: Taking taylor expansion of b in b 2.255 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in (b) around 0 2.255 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b 2.255 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b 2.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b 2.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b 2.255 * [taylor]: Taking taylor expansion of 1/3 in b 2.255 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b 2.255 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.255 * [taylor]: Taking taylor expansion of -1 in b 2.255 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.255 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.255 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.255 * [taylor]: Taking taylor expansion of 1/9 in b 2.255 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.255 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.255 * [taylor]: Taking taylor expansion of b in b 2.255 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b 2.255 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b 2.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b 2.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b 2.255 * [taylor]: Taking taylor expansion of 1/3 in b 2.255 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b 2.255 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.255 * [taylor]: Taking taylor expansion of -1 in b 2.256 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b 2.256 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b 2.256 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b 2.256 * [taylor]: Taking taylor expansion of 1/9 in b 2.256 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.256 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.256 * [taylor]: Taking taylor expansion of b in b 2.271 * * * [progress]: simplifying candidates 2.273 * [simplify]: Simplifying using # : (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (log (* (* a z) (* (cbrt b) (cbrt b)))) (exp (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* a a) a) (* (* z z) z)) (* b b)) (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (* (* a z) (* a z)) (* a z)) (* b b)) (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b))))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (cbrt b)) (* z (* (cbrt b) (cbrt b))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (+ (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (+ (log (cbrt (cbrt b))) (log (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (log (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (+ (log a) (log z)) (+ (log (cbrt b)) (log (cbrt b)))) (log (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (+ (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (+ (+ (log (cbrt (cbrt b))) (log (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (+ (log (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (+ (log a) (log z)) (log (* (cbrt b) (cbrt b)))) (log (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (+ (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (+ (log (cbrt (cbrt b))) (log (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (+ (log (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (log (* a z)) (+ (log (cbrt b)) (log (cbrt b)))) (log (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (+ (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (+ (+ (log (cbrt (cbrt b))) (log (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (+ (log (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (+ (log (* a z)) (log (* (cbrt b) (cbrt b)))) (log (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (+ (log (* (* a z) (* (cbrt b) (cbrt b)))) (+ (+ (log (cbrt (cbrt b))) (log (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (log (* (* a z) (* (cbrt b) (cbrt b)))) (+ (log (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (log (cbrt (cbrt b))))) (+ (log (* (* a z) (* (cbrt b) (cbrt b)))) (log (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (log (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (exp (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* (* (* a a) a) (* (* z z) z)) (* b b)) (* (* (cbrt b) (cbrt b)) (cbrt b))) (* (* (* (* (* a a) a) (* (* z z) z)) (* b b)) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt b))) (* (* (* (* (* a a) a) (* (* z z) z)) (* b b)) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (cbrt b) (cbrt b)) (cbrt b))) (* (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt b))) (* (* (* (* (* a a) a) (* (* z z) z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* (* (* a z) (* a z)) (* a z)) (* b b)) (* (* (cbrt b) (cbrt b)) (cbrt b))) (* (* (* (* (* a z) (* a z)) (* a z)) (* b b)) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt b))) (* (* (* (* (* a z) (* a z)) (* a z)) (* b b)) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (cbrt b) (cbrt b)) (cbrt b))) (* (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt b))) (* (* (* (* (* a z) (* a z)) (* a z)) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (cbrt b) (cbrt b)) (cbrt b))) (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt b))) (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (* (cbrt b) (cbrt b)))) (* (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))) (log (cbrt (cbrt b))) (exp (cbrt (cbrt b))) (cbrt (cbrt (* (cbrt b) (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt 1)) (cbrt (cbrt b)) (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt 1) (cbrt (cbrt b)) (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))) (sqrt (cbrt (cbrt b))) (sqrt (cbrt (cbrt b))) (log (cbrt (cbrt b))) (exp (cbrt (cbrt b))) (cbrt (cbrt (* (cbrt b) (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt 1)) (cbrt (cbrt b)) (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt 1) (cbrt (cbrt b)) (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))) (sqrt (cbrt (cbrt b))) (sqrt (cbrt (cbrt b))) (* (exp (* 1/3 (+ (log 1) (* 2 (log b))))) (* a z)) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 b)))))))) (* (pow (cbrt -1) 2) (* a (* z (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 b))))))))) 0 (* a (* z b)) (* a (* z b)) (exp (* 1/9 (+ (log 1) (log b)))) (exp (* 1/9 (- (log 1) (log (/ 1 b))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 b)))))) (exp (* 1/9 (+ (log 1) (log b)))) (exp (* 1/9 (- (log 1) (log (/ 1 b))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 b)))))) 2.281 * * [simplify]: iteration 0 : 458 enodes (cost 1432 ) 2.289 * * [simplify]: iteration 1 : 1870 enodes (cost 913 ) 2.331 * * [simplify]: iteration 2 : 5002 enodes (cost 646 ) 2.335 * [simplify]: Simplified to: (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (* (* a z) (* (cbrt b) (cbrt b))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (+ (* 2 (log (cbrt b))) (log (* a z))) (exp (* (* a z) (* (cbrt b) (cbrt b)))) (* b (* b (pow (* a z) 3))) (* b (* b (pow (* a z) 3))) (* b (* b (pow (* a z) 3))) (* b (* b (pow (* a z) 3))) (* (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (cbrt (* (* a z) (* (cbrt b) (cbrt b))))) (cbrt (* (* a z) (* (cbrt b) (cbrt b)))) (* b (* b (pow (* a z) 3))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (sqrt (* (* a z) (* (cbrt b) (cbrt b)))) (* (* a z) (cbrt b)) (* z (* (cbrt b) (cbrt b))) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (* a (* z b)) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (+ (log (* (* a z) (pow (cbrt (cbrt b)) 3))) (* 2 (log (cbrt b)))) (pow (exp (* (* a z) (cbrt b))) (* (pow (cbrt (cbrt b)) 3) (cbrt b))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (* b b) (* b (pow (* a z) 3))) (* (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))))) (cbrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* b b) (* b (pow (* a z) 3))) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (sqrt (* (* (* a z) (* (cbrt b) (cbrt b))) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b))))) (* (* (* a z) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) b (log (cbrt (cbrt b))) (exp (cbrt (cbrt b))) (cbrt (cbrt (* (cbrt b) (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt 1)) (cbrt (cbrt b)) (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt 1) (cbrt (cbrt b)) (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt b) (sqrt (cbrt (cbrt b))) (sqrt (cbrt (cbrt b))) (log (cbrt (cbrt b))) (exp (cbrt (cbrt b))) (cbrt (cbrt (* (cbrt b) (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt (sqrt b))) (cbrt (cbrt 1)) (cbrt (cbrt b)) (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt (sqrt (cbrt b))) (cbrt 1) (cbrt (cbrt b)) (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b)))) (cbrt (cbrt (cbrt b))) (cbrt b) (sqrt (cbrt (cbrt b))) (sqrt (cbrt (cbrt b))) (* (* (* a z) (pow 1 1/3)) (pow b 2/3)) (* (* (* a z) (pow 1 1/3)) (pow b 2/3)) (* (* (pow (cbrt -1) 2) (pow (exp 1/3) (+ (* -2 (log (/ -1 b))) 0))) (* a z)) 0 (* a (* z b)) (* a (* z b)) (pow b 1/9) (pow b 1/9) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 b)))))) (pow b 1/9) (pow b 1/9) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 b)))))) 2.336 * * * [progress]: adding candidates to table 2.411 * [progress]: [Phase 3 of 3] Extracting. 2.411 * * [regime]: Finding splitpoints for: (# # # # # #) 2.414 * * * [regime-changes]: Trying 7 branch expressions: ((+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) b a t z y x) 2.414 * * * * [regimes]: Trying to branch on (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) from (# # # # # #) 2.510 * * * * [regimes]: Trying to branch on b from (# # # # # #) 2.607 * * * * [regimes]: Trying to branch on a from (# # # # # #) 2.700 * * * * [regimes]: Trying to branch on t from (# # # # # #) 2.800 * * * * [regimes]: Trying to branch on z from (# # # # # #) 2.890 * * * * [regimes]: Trying to branch on y from (# # # # # #) 2.980 * * * * [regimes]: Trying to branch on x from (# # # # # #) 3.069 * * * [regime]: Found split indices: #