3.260 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (+ x (* (- y x) (/ z t))) 0.022 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.025 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.028 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 0.036 * * [simplify]: iteration 4 : 100 enodes (cost 8 ) 0.049 * * [simplify]: iteration 5 : 147 enodes (cost 8 ) 0.072 * * [simplify]: iteration 6 : 186 enodes (cost 8 ) 0.098 * * [simplify]: iteration 7 : 271 enodes (cost 8 ) 0.144 * * [simplify]: iteration 8 : 436 enodes (cost 8 ) 0.248 * * [simplify]: iteration 9 : 699 enodes (cost 8 ) 0.566 * * [simplify]: iteration 10 : 1402 enodes (cost 8 ) 1.732 * * [simplify]: iteration 11 : 2201 enodes (cost 8 ) 4.385 * * [simplify]: iteration 12 : 3227 enodes (cost 8 ) 10.576 * * [simplify]: iteration 13 : 4702 enodes (cost 8 ) 21.569 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 21.570 * [simplify]: Simplified to: (fma (- y x) (/ z t) x) 21.572 * * [progress]: iteration 1 / 4 21.572 * * * [progress]: picking best candidate 21.575 * * * * [pick]: Picked # 21.575 * * * [progress]: localizing error 21.585 * * * [progress]: generating rewritten candidates 21.585 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 21.600 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 21.604 * * * [progress]: generating series expansions 21.604 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 21.604 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x z t) around 0 21.604 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 21.604 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 21.604 * [taylor]: Taking taylor expansion of (- y x) in t 21.604 * [taylor]: Taking taylor expansion of y in t 21.604 * [taylor]: Taking taylor expansion of x in t 21.604 * [taylor]: Taking taylor expansion of z in t 21.604 * [taylor]: Taking taylor expansion of t in t 21.604 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 21.604 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 21.604 * [taylor]: Taking taylor expansion of (- y x) in z 21.604 * [taylor]: Taking taylor expansion of y in z 21.604 * [taylor]: Taking taylor expansion of x in z 21.604 * [taylor]: Taking taylor expansion of z in z 21.604 * [taylor]: Taking taylor expansion of t in z 21.605 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 21.605 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 21.606 * [taylor]: Taking taylor expansion of (- y x) in x 21.606 * [taylor]: Taking taylor expansion of y in x 21.606 * [taylor]: Taking taylor expansion of x in x 21.606 * [taylor]: Taking taylor expansion of z in x 21.606 * [taylor]: Taking taylor expansion of t in x 21.606 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 21.606 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 21.606 * [taylor]: Taking taylor expansion of (- y x) in y 21.606 * [taylor]: Taking taylor expansion of y in y 21.606 * [taylor]: Taking taylor expansion of x in y 21.606 * [taylor]: Taking taylor expansion of z in y 21.606 * [taylor]: Taking taylor expansion of t in y 21.606 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 21.606 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 21.606 * [taylor]: Taking taylor expansion of (- y x) in y 21.606 * [taylor]: Taking taylor expansion of y in y 21.606 * [taylor]: Taking taylor expansion of x in y 21.606 * [taylor]: Taking taylor expansion of z in y 21.606 * [taylor]: Taking taylor expansion of t in y 21.606 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x 21.606 * [taylor]: Taking taylor expansion of -1 in x 21.606 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 21.606 * [taylor]: Taking taylor expansion of (* x z) in x 21.606 * [taylor]: Taking taylor expansion of x in x 21.606 * [taylor]: Taking taylor expansion of z in x 21.606 * [taylor]: Taking taylor expansion of t in x 21.607 * [taylor]: Taking taylor expansion of (/ z t) in x 21.607 * [taylor]: Taking taylor expansion of z in x 21.607 * [taylor]: Taking taylor expansion of t in x 21.608 * [taylor]: Taking taylor expansion of (/ z t) in z 21.608 * [taylor]: Taking taylor expansion of z in z 21.608 * [taylor]: Taking taylor expansion of t in z 21.608 * [taylor]: Taking taylor expansion of (/ 1 t) in t 21.608 * [taylor]: Taking taylor expansion of t in t 21.608 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z 21.608 * [taylor]: Taking taylor expansion of -1 in z 21.608 * [taylor]: Taking taylor expansion of (/ z t) in z 21.608 * [taylor]: Taking taylor expansion of z in z 21.608 * [taylor]: Taking taylor expansion of t in z 21.608 * [taylor]: Taking taylor expansion of (/ -1 t) in t 21.608 * [taylor]: Taking taylor expansion of -1 in t 21.608 * [taylor]: Taking taylor expansion of t in t 21.609 * [taylor]: Taking taylor expansion of 0 in x 21.609 * [taylor]: Taking taylor expansion of 0 in z 21.609 * [taylor]: Taking taylor expansion of 0 in t 21.609 * [taylor]: Taking taylor expansion of 0 in z 21.609 * [taylor]: Taking taylor expansion of 0 in t 21.610 * [taylor]: Taking taylor expansion of 0 in z 21.610 * [taylor]: Taking taylor expansion of 0 in t 21.610 * [taylor]: Taking taylor expansion of 0 in t 21.611 * [taylor]: Taking taylor expansion of 0 in t 21.613 * [taylor]: Taking taylor expansion of 0 in x 21.613 * [taylor]: Taking taylor expansion of 0 in z 21.613 * [taylor]: Taking taylor expansion of 0 in t 21.613 * [taylor]: Taking taylor expansion of 0 in z 21.613 * [taylor]: Taking taylor expansion of 0 in t 21.613 * [taylor]: Taking taylor expansion of 0 in z 21.613 * [taylor]: Taking taylor expansion of 0 in t 21.615 * [taylor]: Taking taylor expansion of 0 in z 21.615 * [taylor]: Taking taylor expansion of 0 in t 21.615 * [taylor]: Taking taylor expansion of 0 in t 21.615 * [taylor]: Taking taylor expansion of 0 in t 21.615 * [taylor]: Taking taylor expansion of 0 in t 21.615 * [taylor]: Taking taylor expansion of 0 in t 21.615 * [taylor]: Taking taylor expansion of 0 in t 21.616 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0 21.616 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 21.616 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 21.616 * [taylor]: Taking taylor expansion of t in t 21.616 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 21.616 * [taylor]: Taking taylor expansion of (/ 1 y) in t 21.616 * [taylor]: Taking taylor expansion of y in t 21.616 * [taylor]: Taking taylor expansion of (/ 1 x) in t 21.616 * [taylor]: Taking taylor expansion of x in t 21.616 * [taylor]: Taking taylor expansion of z in t 21.617 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 21.617 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 21.617 * [taylor]: Taking taylor expansion of t in z 21.617 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 21.617 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.617 * [taylor]: Taking taylor expansion of y in z 21.617 * [taylor]: Taking taylor expansion of (/ 1 x) in z 21.617 * [taylor]: Taking taylor expansion of x in z 21.617 * [taylor]: Taking taylor expansion of z in z 21.618 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 21.618 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 21.618 * [taylor]: Taking taylor expansion of t in x 21.618 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 21.618 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.618 * [taylor]: Taking taylor expansion of y in x 21.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.618 * [taylor]: Taking taylor expansion of x in x 21.618 * [taylor]: Taking taylor expansion of z in x 21.619 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 21.619 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 21.619 * [taylor]: Taking taylor expansion of t in y 21.619 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 21.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.619 * [taylor]: Taking taylor expansion of y in y 21.619 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.619 * [taylor]: Taking taylor expansion of x in y 21.619 * [taylor]: Taking taylor expansion of z in y 21.619 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 21.619 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 21.619 * [taylor]: Taking taylor expansion of t in y 21.619 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 21.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.619 * [taylor]: Taking taylor expansion of y in y 21.620 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.620 * [taylor]: Taking taylor expansion of x in y 21.620 * [taylor]: Taking taylor expansion of z in y 21.620 * [taylor]: Taking taylor expansion of (/ t z) in x 21.620 * [taylor]: Taking taylor expansion of t in x 21.620 * [taylor]: Taking taylor expansion of z in x 21.621 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x 21.621 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 21.621 * [taylor]: Taking taylor expansion of t in x 21.621 * [taylor]: Taking taylor expansion of (* x z) in x 21.621 * [taylor]: Taking taylor expansion of x in x 21.621 * [taylor]: Taking taylor expansion of z in x 21.622 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 21.622 * [taylor]: Taking taylor expansion of (/ t z) in z 21.622 * [taylor]: Taking taylor expansion of t in z 21.622 * [taylor]: Taking taylor expansion of z in z 21.622 * [taylor]: Taking taylor expansion of (- t) in t 21.622 * [taylor]: Taking taylor expansion of t in t 21.622 * [taylor]: Taking taylor expansion of (/ t z) in z 21.622 * [taylor]: Taking taylor expansion of t in z 21.622 * [taylor]: Taking taylor expansion of z in z 21.622 * [taylor]: Taking taylor expansion of t in t 21.624 * [taylor]: Taking taylor expansion of 0 in x 21.625 * [taylor]: Taking taylor expansion of 0 in z 21.625 * [taylor]: Taking taylor expansion of 0 in z 21.626 * [taylor]: Taking taylor expansion of 0 in t 21.626 * [taylor]: Taking taylor expansion of 0 in t 21.628 * [taylor]: Taking taylor expansion of 0 in x 21.628 * [taylor]: Taking taylor expansion of 0 in z 21.629 * [taylor]: Taking taylor expansion of 0 in z 21.629 * [taylor]: Taking taylor expansion of 0 in z 21.629 * [taylor]: Taking taylor expansion of 0 in t 21.629 * [taylor]: Taking taylor expansion of 0 in t 21.630 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x z t) around 0 21.630 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t 21.630 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t 21.630 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 21.630 * [taylor]: Taking taylor expansion of (/ 1 x) in t 21.630 * [taylor]: Taking taylor expansion of x in t 21.630 * [taylor]: Taking taylor expansion of (/ 1 y) in t 21.630 * [taylor]: Taking taylor expansion of y in t 21.630 * [taylor]: Taking taylor expansion of t in t 21.630 * [taylor]: Taking taylor expansion of z in t 21.631 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z 21.631 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z 21.631 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 21.631 * [taylor]: Taking taylor expansion of (/ 1 x) in z 21.631 * [taylor]: Taking taylor expansion of x in z 21.631 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.631 * [taylor]: Taking taylor expansion of y in z 21.631 * [taylor]: Taking taylor expansion of t in z 21.631 * [taylor]: Taking taylor expansion of z in z 21.632 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x 21.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x 21.632 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 21.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.632 * [taylor]: Taking taylor expansion of x in x 21.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.632 * [taylor]: Taking taylor expansion of y in x 21.632 * [taylor]: Taking taylor expansion of t in x 21.632 * [taylor]: Taking taylor expansion of z in x 21.632 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 21.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 21.632 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 21.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.632 * [taylor]: Taking taylor expansion of x in y 21.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.632 * [taylor]: Taking taylor expansion of y in y 21.633 * [taylor]: Taking taylor expansion of t in y 21.633 * [taylor]: Taking taylor expansion of z in y 21.633 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 21.633 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 21.633 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 21.633 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.633 * [taylor]: Taking taylor expansion of x in y 21.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.633 * [taylor]: Taking taylor expansion of y in y 21.634 * [taylor]: Taking taylor expansion of t in y 21.634 * [taylor]: Taking taylor expansion of z in y 21.634 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x 21.634 * [taylor]: Taking taylor expansion of -1 in x 21.634 * [taylor]: Taking taylor expansion of (/ t z) in x 21.634 * [taylor]: Taking taylor expansion of t in x 21.634 * [taylor]: Taking taylor expansion of z in x 21.635 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 21.635 * [taylor]: Taking taylor expansion of t in x 21.635 * [taylor]: Taking taylor expansion of (* x z) in x 21.635 * [taylor]: Taking taylor expansion of x in x 21.635 * [taylor]: Taking taylor expansion of z in x 21.636 * [taylor]: Taking taylor expansion of (/ t z) in z 21.636 * [taylor]: Taking taylor expansion of t in z 21.636 * [taylor]: Taking taylor expansion of z in z 21.636 * [taylor]: Taking taylor expansion of t in t 21.636 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z 21.636 * [taylor]: Taking taylor expansion of -1 in z 21.636 * [taylor]: Taking taylor expansion of (/ t z) in z 21.636 * [taylor]: Taking taylor expansion of t in z 21.636 * [taylor]: Taking taylor expansion of z in z 21.636 * [taylor]: Taking taylor expansion of (* -1 t) in t 21.636 * [taylor]: Taking taylor expansion of -1 in t 21.636 * [taylor]: Taking taylor expansion of t in t 21.638 * [taylor]: Taking taylor expansion of 0 in x 21.639 * [taylor]: Taking taylor expansion of 0 in z 21.639 * [taylor]: Taking taylor expansion of 0 in z 21.640 * [taylor]: Taking taylor expansion of 0 in t 21.640 * [taylor]: Taking taylor expansion of 0 in t 21.643 * [taylor]: Taking taylor expansion of 0 in x 21.643 * [taylor]: Taking taylor expansion of 0 in z 21.643 * [taylor]: Taking taylor expansion of 0 in z 21.644 * [taylor]: Taking taylor expansion of 0 in z 21.644 * [taylor]: Taking taylor expansion of 0 in t 21.644 * [taylor]: Taking taylor expansion of 0 in t 21.645 * * * * [progress]: [ 2 / 2 ] generating series at (2) 21.645 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y z t) around 0 21.645 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t 21.645 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 21.645 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 21.645 * [taylor]: Taking taylor expansion of (* z y) in t 21.645 * [taylor]: Taking taylor expansion of z in t 21.645 * [taylor]: Taking taylor expansion of y in t 21.645 * [taylor]: Taking taylor expansion of t in t 21.645 * [taylor]: Taking taylor expansion of x in t 21.645 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t 21.645 * [taylor]: Taking taylor expansion of (* x z) in t 21.645 * [taylor]: Taking taylor expansion of x in t 21.645 * [taylor]: Taking taylor expansion of z in t 21.645 * [taylor]: Taking taylor expansion of t in t 21.645 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 21.645 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 21.645 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 21.645 * [taylor]: Taking taylor expansion of (* z y) in z 21.645 * [taylor]: Taking taylor expansion of z in z 21.645 * [taylor]: Taking taylor expansion of y in z 21.645 * [taylor]: Taking taylor expansion of t in z 21.645 * [taylor]: Taking taylor expansion of x in z 21.645 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 21.645 * [taylor]: Taking taylor expansion of (* x z) in z 21.646 * [taylor]: Taking taylor expansion of x in z 21.646 * [taylor]: Taking taylor expansion of z in z 21.646 * [taylor]: Taking taylor expansion of t in z 21.646 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y 21.646 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 21.646 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 21.646 * [taylor]: Taking taylor expansion of (* z y) in y 21.646 * [taylor]: Taking taylor expansion of z in y 21.646 * [taylor]: Taking taylor expansion of y in y 21.646 * [taylor]: Taking taylor expansion of t in y 21.646 * [taylor]: Taking taylor expansion of x in y 21.646 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y 21.646 * [taylor]: Taking taylor expansion of (* x z) in y 21.646 * [taylor]: Taking taylor expansion of x in y 21.646 * [taylor]: Taking taylor expansion of z in y 21.646 * [taylor]: Taking taylor expansion of t in y 21.646 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 21.646 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 21.646 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 21.646 * [taylor]: Taking taylor expansion of (* z y) in x 21.646 * [taylor]: Taking taylor expansion of z in x 21.647 * [taylor]: Taking taylor expansion of y in x 21.647 * [taylor]: Taking taylor expansion of t in x 21.647 * [taylor]: Taking taylor expansion of x in x 21.647 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 21.647 * [taylor]: Taking taylor expansion of (* x z) in x 21.647 * [taylor]: Taking taylor expansion of x in x 21.647 * [taylor]: Taking taylor expansion of z in x 21.647 * [taylor]: Taking taylor expansion of t in x 21.647 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 21.647 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 21.647 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 21.647 * [taylor]: Taking taylor expansion of (* z y) in x 21.647 * [taylor]: Taking taylor expansion of z in x 21.647 * [taylor]: Taking taylor expansion of y in x 21.647 * [taylor]: Taking taylor expansion of t in x 21.647 * [taylor]: Taking taylor expansion of x in x 21.647 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 21.647 * [taylor]: Taking taylor expansion of (* x z) in x 21.647 * [taylor]: Taking taylor expansion of x in x 21.647 * [taylor]: Taking taylor expansion of z in x 21.647 * [taylor]: Taking taylor expansion of t in x 21.648 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 21.648 * [taylor]: Taking taylor expansion of (* z y) in y 21.648 * [taylor]: Taking taylor expansion of z in y 21.648 * [taylor]: Taking taylor expansion of y in y 21.648 * [taylor]: Taking taylor expansion of t in y 21.649 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y 21.649 * [taylor]: Taking taylor expansion of 1 in y 21.649 * [taylor]: Taking taylor expansion of (/ z t) in y 21.649 * [taylor]: Taking taylor expansion of z in y 21.649 * [taylor]: Taking taylor expansion of t in y 21.649 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 21.649 * [taylor]: Taking taylor expansion of 1 in z 21.649 * [taylor]: Taking taylor expansion of (/ z t) in z 21.649 * [taylor]: Taking taylor expansion of z in z 21.649 * [taylor]: Taking taylor expansion of t in z 21.649 * [taylor]: Taking taylor expansion of 1 in t 21.649 * [taylor]: Taking taylor expansion of (/ z t) in z 21.649 * [taylor]: Taking taylor expansion of z in z 21.649 * [taylor]: Taking taylor expansion of t in z 21.651 * [taylor]: Taking taylor expansion of 0 in y 21.651 * [taylor]: Taking taylor expansion of 0 in z 21.651 * [taylor]: Taking taylor expansion of 0 in t 21.651 * [taylor]: Taking taylor expansion of 0 in z 21.651 * [taylor]: Taking taylor expansion of 0 in t 21.652 * [taylor]: Taking taylor expansion of 0 in z 21.652 * [taylor]: Taking taylor expansion of 0 in t 21.652 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 21.652 * [taylor]: Taking taylor expansion of (/ 1 t) in t 21.652 * [taylor]: Taking taylor expansion of t in t 21.653 * [taylor]: Taking taylor expansion of (/ 1 t) in t 21.653 * [taylor]: Taking taylor expansion of t in t 21.653 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y z t) around 0 21.653 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t 21.653 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 21.653 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 21.653 * [taylor]: Taking taylor expansion of t in t 21.653 * [taylor]: Taking taylor expansion of (* z y) in t 21.653 * [taylor]: Taking taylor expansion of z in t 21.653 * [taylor]: Taking taylor expansion of y in t 21.654 * [taylor]: Taking taylor expansion of (/ 1 x) in t 21.654 * [taylor]: Taking taylor expansion of x in t 21.654 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 21.654 * [taylor]: Taking taylor expansion of t in t 21.654 * [taylor]: Taking taylor expansion of (* x z) in t 21.654 * [taylor]: Taking taylor expansion of x in t 21.654 * [taylor]: Taking taylor expansion of z in t 21.654 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 21.654 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 21.654 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 21.654 * [taylor]: Taking taylor expansion of t in z 21.654 * [taylor]: Taking taylor expansion of (* z y) in z 21.654 * [taylor]: Taking taylor expansion of z in z 21.654 * [taylor]: Taking taylor expansion of y in z 21.654 * [taylor]: Taking taylor expansion of (/ 1 x) in z 21.654 * [taylor]: Taking taylor expansion of x in z 21.654 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 21.654 * [taylor]: Taking taylor expansion of t in z 21.654 * [taylor]: Taking taylor expansion of (* x z) in z 21.654 * [taylor]: Taking taylor expansion of x in z 21.654 * [taylor]: Taking taylor expansion of z in z 21.655 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y 21.655 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 21.655 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 21.655 * [taylor]: Taking taylor expansion of t in y 21.655 * [taylor]: Taking taylor expansion of (* z y) in y 21.655 * [taylor]: Taking taylor expansion of z in y 21.655 * [taylor]: Taking taylor expansion of y in y 21.655 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.655 * [taylor]: Taking taylor expansion of x in y 21.655 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 21.655 * [taylor]: Taking taylor expansion of t in y 21.655 * [taylor]: Taking taylor expansion of (* x z) in y 21.655 * [taylor]: Taking taylor expansion of x in y 21.655 * [taylor]: Taking taylor expansion of z in y 21.655 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 21.655 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 21.655 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 21.655 * [taylor]: Taking taylor expansion of t in x 21.655 * [taylor]: Taking taylor expansion of (* z y) in x 21.655 * [taylor]: Taking taylor expansion of z in x 21.655 * [taylor]: Taking taylor expansion of y in x 21.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.655 * [taylor]: Taking taylor expansion of x in x 21.656 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 21.656 * [taylor]: Taking taylor expansion of t in x 21.656 * [taylor]: Taking taylor expansion of (* x z) in x 21.656 * [taylor]: Taking taylor expansion of x in x 21.656 * [taylor]: Taking taylor expansion of z in x 21.656 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 21.656 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 21.656 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 21.656 * [taylor]: Taking taylor expansion of t in x 21.656 * [taylor]: Taking taylor expansion of (* z y) in x 21.656 * [taylor]: Taking taylor expansion of z in x 21.656 * [taylor]: Taking taylor expansion of y in x 21.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.656 * [taylor]: Taking taylor expansion of x in x 21.656 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 21.656 * [taylor]: Taking taylor expansion of t in x 21.656 * [taylor]: Taking taylor expansion of (* x z) in x 21.657 * [taylor]: Taking taylor expansion of x in x 21.657 * [taylor]: Taking taylor expansion of z in x 21.657 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y 21.657 * [taylor]: Taking taylor expansion of 1 in y 21.657 * [taylor]: Taking taylor expansion of (/ t z) in y 21.657 * [taylor]: Taking taylor expansion of t in y 21.657 * [taylor]: Taking taylor expansion of z in y 21.662 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 21.662 * [taylor]: Taking taylor expansion of t in y 21.662 * [taylor]: Taking taylor expansion of (* z y) in y 21.662 * [taylor]: Taking taylor expansion of z in y 21.662 * [taylor]: Taking taylor expansion of y in y 21.662 * [taylor]: Taking taylor expansion of (/ t z) in z 21.662 * [taylor]: Taking taylor expansion of t in z 21.662 * [taylor]: Taking taylor expansion of z in z 21.662 * [taylor]: Taking taylor expansion of t in t 21.662 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 21.662 * [taylor]: Taking taylor expansion of 1 in z 21.662 * [taylor]: Taking taylor expansion of (/ t z) in z 21.662 * [taylor]: Taking taylor expansion of t in z 21.662 * [taylor]: Taking taylor expansion of z in z 21.662 * [taylor]: Taking taylor expansion of (- t) in t 21.662 * [taylor]: Taking taylor expansion of t in t 21.665 * [taylor]: Taking taylor expansion of 0 in y 21.665 * [taylor]: Taking taylor expansion of 0 in z 21.666 * [taylor]: Taking taylor expansion of 0 in z 21.666 * [taylor]: Taking taylor expansion of 0 in t 21.667 * [taylor]: Taking taylor expansion of 1 in t 21.668 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0 21.668 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t 21.668 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 21.669 * [taylor]: Taking taylor expansion of t in t 21.669 * [taylor]: Taking taylor expansion of (* x z) in t 21.669 * [taylor]: Taking taylor expansion of x in t 21.669 * [taylor]: Taking taylor expansion of z in t 21.669 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 21.669 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 21.669 * [taylor]: Taking taylor expansion of t in t 21.669 * [taylor]: Taking taylor expansion of (* z y) in t 21.669 * [taylor]: Taking taylor expansion of z in t 21.669 * [taylor]: Taking taylor expansion of y in t 21.669 * [taylor]: Taking taylor expansion of (/ 1 x) in t 21.669 * [taylor]: Taking taylor expansion of x in t 21.669 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 21.669 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 21.669 * [taylor]: Taking taylor expansion of t in z 21.669 * [taylor]: Taking taylor expansion of (* x z) in z 21.669 * [taylor]: Taking taylor expansion of x in z 21.669 * [taylor]: Taking taylor expansion of z in z 21.669 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 21.669 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 21.669 * [taylor]: Taking taylor expansion of t in z 21.669 * [taylor]: Taking taylor expansion of (* z y) in z 21.669 * [taylor]: Taking taylor expansion of z in z 21.669 * [taylor]: Taking taylor expansion of y in z 21.670 * [taylor]: Taking taylor expansion of (/ 1 x) in z 21.670 * [taylor]: Taking taylor expansion of x in z 21.670 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y 21.670 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 21.670 * [taylor]: Taking taylor expansion of t in y 21.670 * [taylor]: Taking taylor expansion of (* x z) in y 21.670 * [taylor]: Taking taylor expansion of x in y 21.670 * [taylor]: Taking taylor expansion of z in y 21.670 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 21.670 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 21.670 * [taylor]: Taking taylor expansion of t in y 21.670 * [taylor]: Taking taylor expansion of (* z y) in y 21.670 * [taylor]: Taking taylor expansion of z in y 21.670 * [taylor]: Taking taylor expansion of y in y 21.670 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.670 * [taylor]: Taking taylor expansion of x in y 21.670 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 21.670 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 21.670 * [taylor]: Taking taylor expansion of t in x 21.670 * [taylor]: Taking taylor expansion of (* x z) in x 21.670 * [taylor]: Taking taylor expansion of x in x 21.670 * [taylor]: Taking taylor expansion of z in x 21.671 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 21.671 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 21.671 * [taylor]: Taking taylor expansion of t in x 21.671 * [taylor]: Taking taylor expansion of (* z y) in x 21.671 * [taylor]: Taking taylor expansion of z in x 21.671 * [taylor]: Taking taylor expansion of y in x 21.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.671 * [taylor]: Taking taylor expansion of x in x 21.671 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 21.671 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 21.671 * [taylor]: Taking taylor expansion of t in x 21.671 * [taylor]: Taking taylor expansion of (* x z) in x 21.671 * [taylor]: Taking taylor expansion of x in x 21.671 * [taylor]: Taking taylor expansion of z in x 21.672 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 21.672 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 21.672 * [taylor]: Taking taylor expansion of t in x 21.672 * [taylor]: Taking taylor expansion of (* z y) in x 21.672 * [taylor]: Taking taylor expansion of z in x 21.672 * [taylor]: Taking taylor expansion of y in x 21.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.672 * [taylor]: Taking taylor expansion of x in x 21.673 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y 21.673 * [taylor]: Taking taylor expansion of (/ t z) in y 21.673 * [taylor]: Taking taylor expansion of t in y 21.673 * [taylor]: Taking taylor expansion of z in y 21.673 * [taylor]: Taking taylor expansion of 1 in y 21.674 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y 21.674 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 21.674 * [taylor]: Taking taylor expansion of t in y 21.674 * [taylor]: Taking taylor expansion of (* z y) in y 21.674 * [taylor]: Taking taylor expansion of z in y 21.674 * [taylor]: Taking taylor expansion of y in y 21.675 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 21.675 * [taylor]: Taking taylor expansion of (/ t z) in z 21.675 * [taylor]: Taking taylor expansion of t in z 21.675 * [taylor]: Taking taylor expansion of z in z 21.675 * [taylor]: Taking taylor expansion of (- t) in t 21.675 * [taylor]: Taking taylor expansion of t in t 21.675 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 21.675 * [taylor]: Taking taylor expansion of (/ t z) in z 21.675 * [taylor]: Taking taylor expansion of t in z 21.675 * [taylor]: Taking taylor expansion of z in z 21.675 * [taylor]: Taking taylor expansion of 1 in z 21.675 * [taylor]: Taking taylor expansion of t in t 21.678 * [taylor]: Taking taylor expansion of 0 in y 21.679 * [taylor]: Taking taylor expansion of 0 in z 21.679 * [taylor]: Taking taylor expansion of 0 in z 21.680 * [taylor]: Taking taylor expansion of 0 in t 21.681 * [taylor]: Taking taylor expansion of -1 in t 21.682 * * * [progress]: simplifying candidates 21.683 * [simplify]: Simplifying using # : (expm1 (* (- y x) (/ z t))) (log1p (* (- y x) (/ z t))) (* (- y x) (/ z t)) (+ (log (- y x)) (- (log z) (log t))) (+ (log (- y x)) (log (/ z t))) (log (* (- y x) (/ z t))) (exp (* (- y x) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (/ (* (* z z) z) (* (* t t) t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (/ z t) (/ z t)) (/ z t))) (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t)))) (cbrt (* (- y x) (/ z t))) (* (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* (- y x) (/ z t))) (sqrt (* (- y x) (/ z t))) (sqrt (* (- y x) (/ z t))) (* (- (pow y 3) (pow x 3)) z) (* (+ (* y y) (+ (* x x) (* y x))) t) (* (- (* y y) (* x x)) z) (* (+ y x) t) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (sqrt (/ z t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) 1)) (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (sqrt z) (sqrt t))) (* (- y x) (/ (sqrt z) 1)) (* (- y x) (/ 1 (* (cbrt t) (cbrt t)))) (* (- y x) (/ 1 (sqrt t))) (* (- y x) (/ 1 1)) (* (- y x) 1) (* (- y x) z) (* (cbrt (- y x)) (/ z t)) (* (sqrt (- y x)) (/ z t)) (* (- y x) (/ z t)) (* (- (sqrt y) (sqrt x)) (/ z t)) (* (- y x) (/ z t)) (* (- y x) z) (* (- (pow y 3) (pow x 3)) (/ z t)) (* (- (* y y) (* x x)) (/ z t)) (expm1 (+ x (* (- y x) (/ z t)))) (log1p (+ x (* (- y x) (/ z t)))) (* (exp x) (exp (* (- y x) (/ z t)))) (log (+ x (* (- y x) (/ z t)))) (exp (+ x (* (- y x) (/ z t)))) (* (cbrt (+ x (* (- y x) (/ z t)))) (cbrt (+ x (* (- y x) (/ z t))))) (cbrt (+ x (* (- y x) (/ z t)))) (* (* (+ x (* (- y x) (/ z t))) (+ x (* (- y x) (/ z t)))) (+ x (* (- y x) (/ z t)))) (sqrt (+ x (* (- y x) (/ z t)))) (sqrt (+ x (* (- y x) (/ z t)))) (+ (pow x 3) (pow (* (- y x) (/ z t)) 3)) (+ (* x x) (- (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* x (* (- y x) (/ z t))))) (- (* x x) (* (* (- y x) (/ z t)) (* (- y x) (/ z t)))) (- x (* (- y x) (/ z t))) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 21.685 * * [simplify]: iteration 0 : 119 enodes (cost 705 ) 21.705 * * [simplify]: iteration 1 : 309 enodes (cost 661 ) 21.775 * * [simplify]: iteration 2 : 1205 enodes (cost 603 ) 22.159 * * [simplify]: iteration done : 5001 enodes (cost 576 ) 22.159 * [simplify]: Simplified to: (expm1 (* (- y x) (/ z t))) (log1p (* (- y x) (/ z t))) (* (- y x) (/ z t)) (log (* (- y x) (/ z t))) (log (* (- y x) (/ z t))) (log (* (- y x) (/ z t))) (exp (* (- y x) (/ z t))) (pow (* (- y x) (/ z t)) 3) (pow (* (- y x) (/ z t)) 3) (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t)))) (cbrt (* (- y x) (/ z t))) (pow (* (- y x) (/ z t)) 3) (sqrt (* (- y x) (/ z t))) (sqrt (* (- y x) (/ z t))) (* (- (pow y 3) (pow x 3)) z) (* (fma y y (* x (+ y x))) t) (* (- (* y y) (* x x)) z) (* (+ y x) t) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (sqrt (/ z t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (* (cbrt z) (cbrt z)) (- y x)) (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (sqrt z) (sqrt t))) (* (- y x) (sqrt z)) (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (sqrt t)) (- y x) (- y x) (* (- y x) z) (* (cbrt (- y x)) (/ z t)) (* (sqrt (- y x)) (/ z t)) (* (- y x) (/ z t)) (* (- (sqrt y) (sqrt x)) (/ z t)) (* (- y x) (/ z t)) (* (- y x) z) (* (- (pow y 3) (pow x 3)) (/ z t)) (* (- (* y y) (* x x)) (/ z t)) (expm1 (fma (- y x) (/ z t) x)) (log1p (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (log (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x))) (cbrt (fma (- y x) (/ z t) x)) (pow (fma (- y x) (/ z t) x) 3) (sqrt (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (+ (pow x 3) (pow (* (- y x) (/ z t)) 3)) (fma x x (* (* (- y x) (/ z t)) (- (* (- y x) (/ z t)) x))) (* (fma (- y x) (/ z t) x) (- x (* (- y x) (/ z t)))) (- x (* (- y x) (/ z t))) (* (- y x) (/ z t)) (* (- y x) (/ z t)) (* (- y x) (/ z t)) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) 22.160 * * * [progress]: adding candidates to table 22.295 * * [progress]: iteration 2 / 4 22.295 * * * [progress]: picking best candidate 22.306 * * * * [pick]: Picked # 22.306 * * * [progress]: localizing error 22.317 * * * [progress]: generating rewritten candidates 22.317 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 22.351 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 22.352 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 22.353 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 22.356 * * * [progress]: generating series expansions 22.357 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 22.357 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x t z) around 0 22.357 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 22.357 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 22.357 * [taylor]: Taking taylor expansion of (- y x) in z 22.357 * [taylor]: Taking taylor expansion of y in z 22.357 * [taylor]: Taking taylor expansion of x in z 22.357 * [taylor]: Taking taylor expansion of z in z 22.357 * [taylor]: Taking taylor expansion of t in z 22.358 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 22.358 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 22.358 * [taylor]: Taking taylor expansion of (- y x) in t 22.358 * [taylor]: Taking taylor expansion of y in t 22.358 * [taylor]: Taking taylor expansion of x in t 22.358 * [taylor]: Taking taylor expansion of z in t 22.358 * [taylor]: Taking taylor expansion of t in t 22.358 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 22.358 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 22.358 * [taylor]: Taking taylor expansion of (- y x) in x 22.358 * [taylor]: Taking taylor expansion of y in x 22.358 * [taylor]: Taking taylor expansion of x in x 22.358 * [taylor]: Taking taylor expansion of z in x 22.358 * [taylor]: Taking taylor expansion of t in x 22.359 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 22.359 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 22.359 * [taylor]: Taking taylor expansion of (- y x) in y 22.359 * [taylor]: Taking taylor expansion of y in y 22.359 * [taylor]: Taking taylor expansion of x in y 22.359 * [taylor]: Taking taylor expansion of z in y 22.359 * [taylor]: Taking taylor expansion of t in y 22.359 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 22.359 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 22.359 * [taylor]: Taking taylor expansion of (- y x) in y 22.359 * [taylor]: Taking taylor expansion of y in y 22.359 * [taylor]: Taking taylor expansion of x in y 22.359 * [taylor]: Taking taylor expansion of z in y 22.359 * [taylor]: Taking taylor expansion of t in y 22.359 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x 22.359 * [taylor]: Taking taylor expansion of -1 in x 22.359 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 22.359 * [taylor]: Taking taylor expansion of (* x z) in x 22.359 * [taylor]: Taking taylor expansion of x in x 22.359 * [taylor]: Taking taylor expansion of z in x 22.360 * [taylor]: Taking taylor expansion of t in x 22.361 * [taylor]: Taking taylor expansion of (/ z t) in x 22.361 * [taylor]: Taking taylor expansion of z in x 22.361 * [taylor]: Taking taylor expansion of t in x 22.361 * [taylor]: Taking taylor expansion of (/ z t) in t 22.361 * [taylor]: Taking taylor expansion of z in t 22.361 * [taylor]: Taking taylor expansion of t in t 22.361 * [taylor]: Taking taylor expansion of z in z 22.361 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in t 22.361 * [taylor]: Taking taylor expansion of -1 in t 22.361 * [taylor]: Taking taylor expansion of (/ z t) in t 22.361 * [taylor]: Taking taylor expansion of z in t 22.361 * [taylor]: Taking taylor expansion of t in t 22.361 * [taylor]: Taking taylor expansion of (* -1 z) in z 22.361 * [taylor]: Taking taylor expansion of -1 in z 22.361 * [taylor]: Taking taylor expansion of z in z 22.362 * [taylor]: Taking taylor expansion of 0 in x 22.362 * [taylor]: Taking taylor expansion of 0 in t 22.362 * [taylor]: Taking taylor expansion of 0 in t 22.363 * [taylor]: Taking taylor expansion of 0 in t 22.364 * [taylor]: Taking taylor expansion of 0 in z 22.365 * [taylor]: Taking taylor expansion of 0 in z 22.366 * [taylor]: Taking taylor expansion of 0 in x 22.367 * [taylor]: Taking taylor expansion of 0 in t 22.367 * [taylor]: Taking taylor expansion of 0 in t 22.367 * [taylor]: Taking taylor expansion of 0 in t 22.368 * [taylor]: Taking taylor expansion of 0 in t 22.368 * [taylor]: Taking taylor expansion of 0 in z 22.368 * [taylor]: Taking taylor expansion of 0 in z 22.369 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x t z) around 0 22.369 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 22.369 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 22.369 * [taylor]: Taking taylor expansion of t in z 22.369 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 22.369 * [taylor]: Taking taylor expansion of (/ 1 y) in z 22.369 * [taylor]: Taking taylor expansion of y in z 22.369 * [taylor]: Taking taylor expansion of (/ 1 x) in z 22.369 * [taylor]: Taking taylor expansion of x in z 22.369 * [taylor]: Taking taylor expansion of z in z 22.369 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 22.369 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 22.369 * [taylor]: Taking taylor expansion of t in t 22.369 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 22.369 * [taylor]: Taking taylor expansion of (/ 1 y) in t 22.369 * [taylor]: Taking taylor expansion of y in t 22.369 * [taylor]: Taking taylor expansion of (/ 1 x) in t 22.369 * [taylor]: Taking taylor expansion of x in t 22.369 * [taylor]: Taking taylor expansion of z in t 22.370 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 22.370 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 22.370 * [taylor]: Taking taylor expansion of t in x 22.370 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 22.370 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.370 * [taylor]: Taking taylor expansion of y in x 22.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.370 * [taylor]: Taking taylor expansion of x in x 22.371 * [taylor]: Taking taylor expansion of z in x 22.372 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 22.372 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 22.372 * [taylor]: Taking taylor expansion of t in y 22.372 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 22.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.372 * [taylor]: Taking taylor expansion of y in y 22.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.372 * [taylor]: Taking taylor expansion of x in y 22.372 * [taylor]: Taking taylor expansion of z in y 22.372 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 22.372 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 22.372 * [taylor]: Taking taylor expansion of t in y 22.372 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 22.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.372 * [taylor]: Taking taylor expansion of y in y 22.373 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.373 * [taylor]: Taking taylor expansion of x in y 22.373 * [taylor]: Taking taylor expansion of z in y 22.373 * [taylor]: Taking taylor expansion of (/ t z) in x 22.373 * [taylor]: Taking taylor expansion of t in x 22.373 * [taylor]: Taking taylor expansion of z in x 22.374 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x 22.374 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 22.374 * [taylor]: Taking taylor expansion of t in x 22.374 * [taylor]: Taking taylor expansion of (* x z) in x 22.374 * [taylor]: Taking taylor expansion of x in x 22.374 * [taylor]: Taking taylor expansion of z in x 22.375 * [taylor]: Taking taylor expansion of (- (/ t z)) in t 22.375 * [taylor]: Taking taylor expansion of (/ t z) in t 22.375 * [taylor]: Taking taylor expansion of t in t 22.375 * [taylor]: Taking taylor expansion of z in t 22.375 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 22.375 * [taylor]: Taking taylor expansion of (/ 1 z) in z 22.375 * [taylor]: Taking taylor expansion of z in z 22.375 * [taylor]: Taking taylor expansion of (/ t z) in t 22.375 * [taylor]: Taking taylor expansion of t in t 22.375 * [taylor]: Taking taylor expansion of z in t 22.375 * [taylor]: Taking taylor expansion of (/ 1 z) in z 22.375 * [taylor]: Taking taylor expansion of z in z 22.377 * [taylor]: Taking taylor expansion of 0 in x 22.378 * [taylor]: Taking taylor expansion of 0 in t 22.378 * [taylor]: Taking taylor expansion of 0 in z 22.378 * [taylor]: Taking taylor expansion of 0 in t 22.378 * [taylor]: Taking taylor expansion of 0 in z 22.378 * [taylor]: Taking taylor expansion of 0 in z 22.378 * [taylor]: Taking taylor expansion of 0 in z 22.381 * [taylor]: Taking taylor expansion of 0 in x 22.381 * [taylor]: Taking taylor expansion of 0 in t 22.381 * [taylor]: Taking taylor expansion of 0 in z 22.382 * [taylor]: Taking taylor expansion of 0 in t 22.382 * [taylor]: Taking taylor expansion of 0 in z 22.383 * [taylor]: Taking taylor expansion of 0 in t 22.383 * [taylor]: Taking taylor expansion of 0 in z 22.383 * [taylor]: Taking taylor expansion of 0 in z 22.383 * [taylor]: Taking taylor expansion of 0 in z 22.383 * [taylor]: Taking taylor expansion of 0 in z 22.383 * [taylor]: Taking taylor expansion of 0 in z 22.384 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in (y x t z) around 0 22.384 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in z 22.384 * [taylor]: Taking taylor expansion of -1 in z 22.384 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in z 22.384 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z 22.384 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 22.384 * [taylor]: Taking taylor expansion of (/ 1 x) in z 22.384 * [taylor]: Taking taylor expansion of x in z 22.384 * [taylor]: Taking taylor expansion of (/ 1 y) in z 22.384 * [taylor]: Taking taylor expansion of y in z 22.384 * [taylor]: Taking taylor expansion of t in z 22.384 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z 22.384 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 22.384 * [taylor]: Taking taylor expansion of (cbrt -1) in z 22.384 * [taylor]: Taking taylor expansion of -1 in z 22.385 * [taylor]: Taking taylor expansion of z in z 22.391 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in t 22.391 * [taylor]: Taking taylor expansion of -1 in t 22.391 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in t 22.391 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t 22.391 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 22.391 * [taylor]: Taking taylor expansion of (/ 1 x) in t 22.391 * [taylor]: Taking taylor expansion of x in t 22.391 * [taylor]: Taking taylor expansion of (/ 1 y) in t 22.391 * [taylor]: Taking taylor expansion of y in t 22.391 * [taylor]: Taking taylor expansion of t in t 22.391 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in t 22.391 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 22.391 * [taylor]: Taking taylor expansion of (cbrt -1) in t 22.391 * [taylor]: Taking taylor expansion of -1 in t 22.392 * [taylor]: Taking taylor expansion of z in t 22.396 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in x 22.396 * [taylor]: Taking taylor expansion of -1 in x 22.396 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in x 22.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x 22.396 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 22.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.396 * [taylor]: Taking taylor expansion of x in x 22.396 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.396 * [taylor]: Taking taylor expansion of y in x 22.396 * [taylor]: Taking taylor expansion of t in x 22.396 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x 22.396 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 22.396 * [taylor]: Taking taylor expansion of (cbrt -1) in x 22.396 * [taylor]: Taking taylor expansion of -1 in x 22.397 * [taylor]: Taking taylor expansion of z in x 22.400 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y 22.400 * [taylor]: Taking taylor expansion of -1 in y 22.400 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y 22.400 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 22.400 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 22.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.400 * [taylor]: Taking taylor expansion of x in y 22.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.400 * [taylor]: Taking taylor expansion of y in y 22.401 * [taylor]: Taking taylor expansion of t in y 22.401 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 22.401 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 22.401 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.401 * [taylor]: Taking taylor expansion of -1 in y 22.401 * [taylor]: Taking taylor expansion of z in y 22.405 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y 22.405 * [taylor]: Taking taylor expansion of -1 in y 22.405 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y 22.405 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 22.405 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 22.405 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.405 * [taylor]: Taking taylor expansion of x in y 22.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.405 * [taylor]: Taking taylor expansion of y in y 22.405 * [taylor]: Taking taylor expansion of t in y 22.405 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 22.405 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 22.405 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.405 * [taylor]: Taking taylor expansion of -1 in y 22.406 * [taylor]: Taking taylor expansion of z in y 22.409 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x 22.410 * [taylor]: Taking taylor expansion of -1 in x 22.410 * [taylor]: Taking taylor expansion of (/ t z) in x 22.410 * [taylor]: Taking taylor expansion of t in x 22.410 * [taylor]: Taking taylor expansion of z in x 22.412 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 22.412 * [taylor]: Taking taylor expansion of t in x 22.412 * [taylor]: Taking taylor expansion of (* x z) in x 22.412 * [taylor]: Taking taylor expansion of x in x 22.412 * [taylor]: Taking taylor expansion of z in x 22.413 * [taylor]: Taking taylor expansion of (/ t z) in t 22.413 * [taylor]: Taking taylor expansion of t in t 22.413 * [taylor]: Taking taylor expansion of z in t 22.413 * [taylor]: Taking taylor expansion of (/ 1 z) in z 22.413 * [taylor]: Taking taylor expansion of z in z 22.413 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in t 22.413 * [taylor]: Taking taylor expansion of -1 in t 22.413 * [taylor]: Taking taylor expansion of (/ t z) in t 22.413 * [taylor]: Taking taylor expansion of t in t 22.413 * [taylor]: Taking taylor expansion of z in t 22.413 * [taylor]: Taking taylor expansion of (/ -1 z) in z 22.413 * [taylor]: Taking taylor expansion of -1 in z 22.413 * [taylor]: Taking taylor expansion of z in z 22.418 * [taylor]: Taking taylor expansion of 0 in x 22.419 * [taylor]: Taking taylor expansion of 0 in t 22.419 * [taylor]: Taking taylor expansion of 0 in z 22.419 * [taylor]: Taking taylor expansion of 0 in t 22.419 * [taylor]: Taking taylor expansion of 0 in z 22.420 * [taylor]: Taking taylor expansion of 0 in z 22.420 * [taylor]: Taking taylor expansion of 0 in z 22.426 * [taylor]: Taking taylor expansion of 0 in x 22.426 * [taylor]: Taking taylor expansion of 0 in t 22.426 * [taylor]: Taking taylor expansion of 0 in z 22.427 * [taylor]: Taking taylor expansion of 0 in t 22.427 * [taylor]: Taking taylor expansion of 0 in z 22.428 * [taylor]: Taking taylor expansion of 0 in t 22.428 * [taylor]: Taking taylor expansion of 0 in z 22.428 * [taylor]: Taking taylor expansion of 0 in z 22.428 * [taylor]: Taking taylor expansion of 0 in z 22.428 * [taylor]: Taking taylor expansion of 0 in z 22.429 * [taylor]: Taking taylor expansion of 0 in z 22.429 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 22.429 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 22.429 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 22.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 22.429 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 22.429 * [taylor]: Taking taylor expansion of 1/3 in t 22.429 * [taylor]: Taking taylor expansion of (log t) in t 22.429 * [taylor]: Taking taylor expansion of t in t 22.433 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 22.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 22.433 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 22.433 * [taylor]: Taking taylor expansion of 1/3 in t 22.433 * [taylor]: Taking taylor expansion of (log t) in t 22.433 * [taylor]: Taking taylor expansion of t in t 22.482 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 22.482 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.482 * [taylor]: Taking taylor expansion of 1/3 in t 22.482 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.482 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.482 * [taylor]: Taking taylor expansion of t in t 22.483 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.483 * [taylor]: Taking taylor expansion of 1/3 in t 22.483 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.483 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.483 * [taylor]: Taking taylor expansion of t in t 22.537 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 22.537 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 22.537 * [taylor]: Taking taylor expansion of (cbrt -1) in t 22.537 * [taylor]: Taking taylor expansion of -1 in t 22.538 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.538 * [taylor]: Taking taylor expansion of 1/3 in t 22.538 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.538 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.538 * [taylor]: Taking taylor expansion of t in t 22.539 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 22.539 * [taylor]: Taking taylor expansion of (cbrt -1) in t 22.539 * [taylor]: Taking taylor expansion of -1 in t 22.540 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.540 * [taylor]: Taking taylor expansion of 1/3 in t 22.540 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.540 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.540 * [taylor]: Taking taylor expansion of t in t 22.605 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 22.605 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 22.605 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 22.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 22.605 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 22.605 * [taylor]: Taking taylor expansion of 1/3 in t 22.605 * [taylor]: Taking taylor expansion of (log t) in t 22.605 * [taylor]: Taking taylor expansion of t in t 22.606 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 22.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 22.606 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 22.606 * [taylor]: Taking taylor expansion of 1/3 in t 22.606 * [taylor]: Taking taylor expansion of (log t) in t 22.606 * [taylor]: Taking taylor expansion of t in t 22.658 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 22.658 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.658 * [taylor]: Taking taylor expansion of 1/3 in t 22.658 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.658 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.658 * [taylor]: Taking taylor expansion of t in t 22.659 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.659 * [taylor]: Taking taylor expansion of 1/3 in t 22.659 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.659 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.659 * [taylor]: Taking taylor expansion of t in t 22.711 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 22.711 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 22.711 * [taylor]: Taking taylor expansion of (cbrt -1) in t 22.711 * [taylor]: Taking taylor expansion of -1 in t 22.712 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.712 * [taylor]: Taking taylor expansion of 1/3 in t 22.712 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.712 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.712 * [taylor]: Taking taylor expansion of t in t 22.713 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 22.713 * [taylor]: Taking taylor expansion of (cbrt -1) in t 22.713 * [taylor]: Taking taylor expansion of -1 in t 22.713 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.713 * [taylor]: Taking taylor expansion of 1/3 in t 22.713 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.714 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.714 * [taylor]: Taking taylor expansion of t in t 22.782 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 22.782 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 22.782 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 22.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 22.782 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 22.782 * [taylor]: Taking taylor expansion of 1/3 in t 22.782 * [taylor]: Taking taylor expansion of (log t) in t 22.782 * [taylor]: Taking taylor expansion of t in t 22.783 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 22.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 22.783 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 22.783 * [taylor]: Taking taylor expansion of 1/3 in t 22.783 * [taylor]: Taking taylor expansion of (log t) in t 22.783 * [taylor]: Taking taylor expansion of t in t 22.838 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 22.839 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.839 * [taylor]: Taking taylor expansion of 1/3 in t 22.839 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.839 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.839 * [taylor]: Taking taylor expansion of t in t 22.840 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.840 * [taylor]: Taking taylor expansion of 1/3 in t 22.840 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.840 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.840 * [taylor]: Taking taylor expansion of t in t 22.898 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 22.898 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 22.898 * [taylor]: Taking taylor expansion of (cbrt -1) in t 22.898 * [taylor]: Taking taylor expansion of -1 in t 22.899 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.899 * [taylor]: Taking taylor expansion of 1/3 in t 22.899 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.899 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.899 * [taylor]: Taking taylor expansion of t in t 22.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 22.900 * [taylor]: Taking taylor expansion of (cbrt -1) in t 22.900 * [taylor]: Taking taylor expansion of -1 in t 22.900 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 22.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 22.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 22.900 * [taylor]: Taking taylor expansion of 1/3 in t 22.901 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 22.901 * [taylor]: Taking taylor expansion of (/ 1 t) in t 22.901 * [taylor]: Taking taylor expansion of t in t 22.970 * * * [progress]: simplifying candidates 22.971 * [simplify]: Simplifying using # : (expm1 (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (log1p (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (- (log z) (log (cbrt t)))) (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (log (/ z (cbrt t)))) (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t)))) (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t)))) (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t)))) (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t)))) (log (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (exp (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (/ (* (* z z) z) t)) (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t)))) (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t)) (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t)))) (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t)) (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t)))) (* (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))) (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (- y x) z) (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t)))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (sqrt (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (* (cbrt t) (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt 1))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) 1)) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (* (cbrt t) (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt 1))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) 1)) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (* (cbrt t) (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (sqrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt 1))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (sqrt (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 1)) (* (/ (- y x) (* (cbrt t) (cbrt t))) 1) (* (/ (- y x) (* (cbrt t) (cbrt t))) z) (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))) (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t))) (* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t))) (* (/ (sqrt (- y x)) (cbrt t)) (/ z (cbrt t))) (* (/ (- y x) (cbrt t)) (/ z (cbrt t))) (* (/ (- (sqrt y) (sqrt x)) (cbrt t)) (/ z (cbrt t))) (* (/ (- y x) (cbrt t)) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ 1 (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) z) (* (- y x) (/ z (cbrt t))) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) 22.976 * * [simplify]: iteration 0 : 155 enodes (cost 1459 ) 23.006 * * [simplify]: iteration 1 : 466 enodes (cost 1409 ) 23.128 * * [simplify]: iteration 2 : 2161 enodes (cost 1075 ) 23.731 * * [simplify]: iteration done : 5000 enodes (cost 1067 ) 23.732 * [simplify]: Simplified to: (expm1 (/ (* (- y x) z) (pow (cbrt t) 3))) (log1p (/ (* (- y x) z) (pow (cbrt t) 3))) (/ (* (- y x) z) (pow (cbrt t) 3)) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (log (/ (* (- y x) z) (pow (cbrt t) 3))) (exp (/ (* (- y x) z) (pow (cbrt t) 3))) (* (/ (pow z 3) t) (/ (pow (- y x) 3) (* t t))) (* (/ (pow (- y x) 3) (* t t)) (pow (/ z (cbrt t)) 3)) (/ (pow (/ (- y x) (pow t 2/3)) 3) (/ t (pow z 3))) (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3) (/ (pow (/ (- y x) (pow t 2/3)) 3) (/ t (pow z 3))) (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3) (* (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))) (cbrt (/ (* (- y x) z) (pow (cbrt t) 3)))) (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))) (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3) (sqrt (/ (* (- y x) z) (pow (cbrt t) 3))) (sqrt (/ (* (- y x) z) (pow (cbrt t) 3))) (* (- y x) z) (pow (cbrt t) 3) (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t)))) (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t)))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (cbrt (sqrt t)) (sqrt z))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (cbrt (sqrt t)) (sqrt z))) (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (sqrt (cbrt t)))) (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t)))) (/ (* (- y x) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t))))) (pow t 2/3)) (/ (* (- y x) (sqrt (/ z (cbrt t)))) (pow t 2/3)) (/ (- y x) (/ (pow t 2/3) (/ (* (cbrt z) (cbrt z)) (cbrt (pow t 2/3))))) (/ (* (- y x) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t)))) (pow t 2/3)) (/ (* (- y x) (* (cbrt z) (cbrt z))) (pow t 2/3)) (/ (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (pow t 2/3)) (/ (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t)))) (pow t 2/3)) (/ (* (- y x) (* (cbrt z) (cbrt z))) (pow t 2/3)) (/ (/ (- y x) (/ (pow t 2/3) (sqrt z))) (cbrt (pow t 2/3))) (/ (/ (- y x) (/ (pow t 2/3) (sqrt z))) (cbrt (sqrt t))) (/ (- y x) (/ (pow t 2/3) (sqrt z))) (/ (* (- y x) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (pow t 2/3)) (/ (* (- y x) (/ (sqrt z) (sqrt (cbrt t)))) (pow t 2/3)) (/ (- y x) (/ (pow t 2/3) (sqrt z))) (/ (/ (- y x) (cbrt (pow t 2/3))) (pow t 2/3)) (/ (/ (- y x) (cbrt (sqrt t))) (pow t 2/3)) (/ (- y x) (pow t 2/3)) (/ (/ (- y x) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (pow t 2/3)) (/ (/ (- y x) (pow t 2/3)) (sqrt (cbrt t))) (/ (- y x) (pow t 2/3)) (/ (- y x) (pow t 2/3)) (/ (* (- y x) z) (pow t 2/3)) (* (cbrt (/ (- y x) (pow t 2/3))) (/ z (cbrt t))) (/ (sqrt (/ (- y x) (pow t 2/3))) (/ (cbrt t) z)) (/ (* (cbrt (- y x)) z) (pow t 2/3)) (/ (* (sqrt (- y x)) z) (pow t 2/3)) (/ (* (- y x) z) (pow t 2/3)) (/ (* (- (sqrt y) (sqrt x)) z) (pow t 2/3)) (/ (* (- y x) z) (pow t 2/3)) (/ (* (- y x) z) (pow (cbrt t) 3)) (/ z (pow (cbrt t) 3)) (/ (* (- y x) z) (pow t 2/3)) (* (/ (- y x) (cbrt t)) z) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) 23.733 * * * [progress]: adding candidates to table 24.060 * * [progress]: iteration 3 / 4 24.061 * * * [progress]: picking best candidate 24.071 * * * * [pick]: Picked # 24.071 * * * [progress]: localizing error 24.081 * * * [progress]: generating rewritten candidates 24.081 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 24.083 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 24.084 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 24.086 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 24.120 * * * [progress]: generating series expansions 24.120 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 24.120 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 24.120 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 24.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 24.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 24.120 * [taylor]: Taking taylor expansion of 1/3 in t 24.120 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 24.120 * [taylor]: Taking taylor expansion of (/ z t) in t 24.120 * [taylor]: Taking taylor expansion of z in t 24.120 * [taylor]: Taking taylor expansion of t in t 24.121 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 24.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 24.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 24.121 * [taylor]: Taking taylor expansion of 1/3 in z 24.121 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 24.121 * [taylor]: Taking taylor expansion of (/ z t) in z 24.121 * [taylor]: Taking taylor expansion of z in z 24.121 * [taylor]: Taking taylor expansion of t in z 24.122 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 24.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 24.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 24.122 * [taylor]: Taking taylor expansion of 1/3 in z 24.122 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 24.122 * [taylor]: Taking taylor expansion of (/ z t) in z 24.122 * [taylor]: Taking taylor expansion of z in z 24.122 * [taylor]: Taking taylor expansion of t in z 24.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 24.122 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 24.122 * [taylor]: Taking taylor expansion of 1/3 in t 24.122 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 24.122 * [taylor]: Taking taylor expansion of (log z) in t 24.122 * [taylor]: Taking taylor expansion of z in t 24.122 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 24.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.122 * [taylor]: Taking taylor expansion of t in t 24.125 * [taylor]: Taking taylor expansion of 0 in t 24.131 * [taylor]: Taking taylor expansion of 0 in t 24.139 * [taylor]: Taking taylor expansion of 0 in t 24.140 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 24.140 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 24.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 24.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 24.140 * [taylor]: Taking taylor expansion of 1/3 in t 24.140 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 24.140 * [taylor]: Taking taylor expansion of (/ t z) in t 24.140 * [taylor]: Taking taylor expansion of t in t 24.140 * [taylor]: Taking taylor expansion of z in t 24.140 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.140 * [taylor]: Taking taylor expansion of 1/3 in z 24.140 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.140 * [taylor]: Taking taylor expansion of (/ t z) in z 24.140 * [taylor]: Taking taylor expansion of t in z 24.140 * [taylor]: Taking taylor expansion of z in z 24.141 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.141 * [taylor]: Taking taylor expansion of 1/3 in z 24.141 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.141 * [taylor]: Taking taylor expansion of (/ t z) in z 24.141 * [taylor]: Taking taylor expansion of t in z 24.141 * [taylor]: Taking taylor expansion of z in z 24.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 24.142 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 24.142 * [taylor]: Taking taylor expansion of 1/3 in t 24.142 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 24.142 * [taylor]: Taking taylor expansion of (log t) in t 24.142 * [taylor]: Taking taylor expansion of t in t 24.142 * [taylor]: Taking taylor expansion of (log z) in t 24.142 * [taylor]: Taking taylor expansion of z in t 24.145 * [taylor]: Taking taylor expansion of 0 in t 24.151 * [taylor]: Taking taylor expansion of 0 in t 24.160 * [taylor]: Taking taylor expansion of 0 in t 24.160 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 24.160 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 24.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 24.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 24.161 * [taylor]: Taking taylor expansion of 1/3 in t 24.161 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 24.161 * [taylor]: Taking taylor expansion of (/ t z) in t 24.161 * [taylor]: Taking taylor expansion of t in t 24.161 * [taylor]: Taking taylor expansion of z in t 24.161 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.161 * [taylor]: Taking taylor expansion of 1/3 in z 24.161 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.161 * [taylor]: Taking taylor expansion of (/ t z) in z 24.161 * [taylor]: Taking taylor expansion of t in z 24.161 * [taylor]: Taking taylor expansion of z in z 24.162 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.162 * [taylor]: Taking taylor expansion of 1/3 in z 24.162 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.162 * [taylor]: Taking taylor expansion of (/ t z) in z 24.162 * [taylor]: Taking taylor expansion of t in z 24.162 * [taylor]: Taking taylor expansion of z in z 24.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 24.163 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 24.163 * [taylor]: Taking taylor expansion of 1/3 in t 24.163 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 24.163 * [taylor]: Taking taylor expansion of (log t) in t 24.163 * [taylor]: Taking taylor expansion of t in t 24.163 * [taylor]: Taking taylor expansion of (log z) in t 24.163 * [taylor]: Taking taylor expansion of z in t 24.166 * [taylor]: Taking taylor expansion of 0 in t 24.172 * [taylor]: Taking taylor expansion of 0 in t 24.181 * [taylor]: Taking taylor expansion of 0 in t 24.181 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 24.181 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 24.181 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 24.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 24.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 24.181 * [taylor]: Taking taylor expansion of 1/3 in t 24.181 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 24.181 * [taylor]: Taking taylor expansion of (/ z t) in t 24.181 * [taylor]: Taking taylor expansion of z in t 24.181 * [taylor]: Taking taylor expansion of t in t 24.182 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 24.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 24.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 24.182 * [taylor]: Taking taylor expansion of 1/3 in z 24.182 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 24.182 * [taylor]: Taking taylor expansion of (/ z t) in z 24.182 * [taylor]: Taking taylor expansion of z in z 24.182 * [taylor]: Taking taylor expansion of t in z 24.182 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 24.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 24.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 24.182 * [taylor]: Taking taylor expansion of 1/3 in z 24.182 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 24.182 * [taylor]: Taking taylor expansion of (/ z t) in z 24.182 * [taylor]: Taking taylor expansion of z in z 24.182 * [taylor]: Taking taylor expansion of t in z 24.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 24.183 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 24.183 * [taylor]: Taking taylor expansion of 1/3 in t 24.183 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 24.183 * [taylor]: Taking taylor expansion of (log z) in t 24.183 * [taylor]: Taking taylor expansion of z in t 24.183 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 24.183 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.183 * [taylor]: Taking taylor expansion of t in t 24.186 * [taylor]: Taking taylor expansion of 0 in t 24.191 * [taylor]: Taking taylor expansion of 0 in t 24.200 * [taylor]: Taking taylor expansion of 0 in t 24.201 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 24.201 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 24.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 24.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 24.201 * [taylor]: Taking taylor expansion of 1/3 in t 24.201 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 24.201 * [taylor]: Taking taylor expansion of (/ t z) in t 24.201 * [taylor]: Taking taylor expansion of t in t 24.201 * [taylor]: Taking taylor expansion of z in t 24.206 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.206 * [taylor]: Taking taylor expansion of 1/3 in z 24.206 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.206 * [taylor]: Taking taylor expansion of (/ t z) in z 24.206 * [taylor]: Taking taylor expansion of t in z 24.206 * [taylor]: Taking taylor expansion of z in z 24.207 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.207 * [taylor]: Taking taylor expansion of 1/3 in z 24.207 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.207 * [taylor]: Taking taylor expansion of (/ t z) in z 24.207 * [taylor]: Taking taylor expansion of t in z 24.207 * [taylor]: Taking taylor expansion of z in z 24.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 24.208 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 24.208 * [taylor]: Taking taylor expansion of 1/3 in t 24.208 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 24.208 * [taylor]: Taking taylor expansion of (log t) in t 24.208 * [taylor]: Taking taylor expansion of t in t 24.208 * [taylor]: Taking taylor expansion of (log z) in t 24.208 * [taylor]: Taking taylor expansion of z in t 24.211 * [taylor]: Taking taylor expansion of 0 in t 24.218 * [taylor]: Taking taylor expansion of 0 in t 24.227 * [taylor]: Taking taylor expansion of 0 in t 24.227 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 24.227 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 24.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 24.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 24.227 * [taylor]: Taking taylor expansion of 1/3 in t 24.227 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 24.227 * [taylor]: Taking taylor expansion of (/ t z) in t 24.227 * [taylor]: Taking taylor expansion of t in t 24.227 * [taylor]: Taking taylor expansion of z in t 24.228 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.228 * [taylor]: Taking taylor expansion of 1/3 in z 24.228 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.228 * [taylor]: Taking taylor expansion of (/ t z) in z 24.228 * [taylor]: Taking taylor expansion of t in z 24.228 * [taylor]: Taking taylor expansion of z in z 24.228 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.228 * [taylor]: Taking taylor expansion of 1/3 in z 24.228 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.228 * [taylor]: Taking taylor expansion of (/ t z) in z 24.228 * [taylor]: Taking taylor expansion of t in z 24.228 * [taylor]: Taking taylor expansion of z in z 24.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 24.229 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 24.229 * [taylor]: Taking taylor expansion of 1/3 in t 24.229 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 24.229 * [taylor]: Taking taylor expansion of (log t) in t 24.229 * [taylor]: Taking taylor expansion of t in t 24.229 * [taylor]: Taking taylor expansion of (log z) in t 24.229 * [taylor]: Taking taylor expansion of z in t 24.232 * [taylor]: Taking taylor expansion of 0 in t 24.238 * [taylor]: Taking taylor expansion of 0 in t 24.247 * [taylor]: Taking taylor expansion of 0 in t 24.248 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 24.248 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 24.248 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 24.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 24.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 24.248 * [taylor]: Taking taylor expansion of 1/3 in t 24.248 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 24.248 * [taylor]: Taking taylor expansion of (/ z t) in t 24.248 * [taylor]: Taking taylor expansion of z in t 24.248 * [taylor]: Taking taylor expansion of t in t 24.248 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 24.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 24.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 24.248 * [taylor]: Taking taylor expansion of 1/3 in z 24.248 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 24.248 * [taylor]: Taking taylor expansion of (/ z t) in z 24.249 * [taylor]: Taking taylor expansion of z in z 24.249 * [taylor]: Taking taylor expansion of t in z 24.249 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 24.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 24.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 24.249 * [taylor]: Taking taylor expansion of 1/3 in z 24.249 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 24.249 * [taylor]: Taking taylor expansion of (/ z t) in z 24.249 * [taylor]: Taking taylor expansion of z in z 24.249 * [taylor]: Taking taylor expansion of t in z 24.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 24.250 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 24.250 * [taylor]: Taking taylor expansion of 1/3 in t 24.250 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 24.250 * [taylor]: Taking taylor expansion of (log z) in t 24.250 * [taylor]: Taking taylor expansion of z in t 24.250 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 24.250 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.250 * [taylor]: Taking taylor expansion of t in t 24.253 * [taylor]: Taking taylor expansion of 0 in t 24.259 * [taylor]: Taking taylor expansion of 0 in t 24.267 * [taylor]: Taking taylor expansion of 0 in t 24.267 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 24.268 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 24.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 24.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 24.268 * [taylor]: Taking taylor expansion of 1/3 in t 24.268 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 24.268 * [taylor]: Taking taylor expansion of (/ t z) in t 24.268 * [taylor]: Taking taylor expansion of t in t 24.268 * [taylor]: Taking taylor expansion of z in t 24.268 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.268 * [taylor]: Taking taylor expansion of 1/3 in z 24.268 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.268 * [taylor]: Taking taylor expansion of (/ t z) in z 24.268 * [taylor]: Taking taylor expansion of t in z 24.268 * [taylor]: Taking taylor expansion of z in z 24.269 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.269 * [taylor]: Taking taylor expansion of 1/3 in z 24.269 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.269 * [taylor]: Taking taylor expansion of (/ t z) in z 24.269 * [taylor]: Taking taylor expansion of t in z 24.269 * [taylor]: Taking taylor expansion of z in z 24.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 24.269 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 24.269 * [taylor]: Taking taylor expansion of 1/3 in t 24.269 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 24.269 * [taylor]: Taking taylor expansion of (log t) in t 24.269 * [taylor]: Taking taylor expansion of t in t 24.270 * [taylor]: Taking taylor expansion of (log z) in t 24.270 * [taylor]: Taking taylor expansion of z in t 24.273 * [taylor]: Taking taylor expansion of 0 in t 24.279 * [taylor]: Taking taylor expansion of 0 in t 24.293 * [taylor]: Taking taylor expansion of 0 in t 24.293 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 24.293 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 24.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 24.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 24.293 * [taylor]: Taking taylor expansion of 1/3 in t 24.293 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 24.293 * [taylor]: Taking taylor expansion of (/ t z) in t 24.293 * [taylor]: Taking taylor expansion of t in t 24.293 * [taylor]: Taking taylor expansion of z in t 24.294 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.294 * [taylor]: Taking taylor expansion of 1/3 in z 24.294 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.294 * [taylor]: Taking taylor expansion of (/ t z) in z 24.294 * [taylor]: Taking taylor expansion of t in z 24.294 * [taylor]: Taking taylor expansion of z in z 24.295 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 24.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 24.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 24.295 * [taylor]: Taking taylor expansion of 1/3 in z 24.295 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 24.295 * [taylor]: Taking taylor expansion of (/ t z) in z 24.295 * [taylor]: Taking taylor expansion of t in z 24.295 * [taylor]: Taking taylor expansion of z in z 24.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 24.295 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 24.295 * [taylor]: Taking taylor expansion of 1/3 in t 24.295 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 24.295 * [taylor]: Taking taylor expansion of (log t) in t 24.295 * [taylor]: Taking taylor expansion of t in t 24.296 * [taylor]: Taking taylor expansion of (log z) in t 24.296 * [taylor]: Taking taylor expansion of z in t 24.299 * [taylor]: Taking taylor expansion of 0 in t 24.305 * [taylor]: Taking taylor expansion of 0 in t 24.314 * [taylor]: Taking taylor expansion of 0 in t 24.315 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 24.315 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0 24.315 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t 24.315 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t 24.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t 24.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t 24.315 * [taylor]: Taking taylor expansion of 1/3 in t 24.315 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t 24.315 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 24.315 * [taylor]: Taking taylor expansion of (pow z 2) in t 24.315 * [taylor]: Taking taylor expansion of z in t 24.315 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.315 * [taylor]: Taking taylor expansion of t in t 24.316 * [taylor]: Taking taylor expansion of (- y x) in t 24.316 * [taylor]: Taking taylor expansion of y in t 24.316 * [taylor]: Taking taylor expansion of x in t 24.316 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z 24.316 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 24.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 24.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 24.316 * [taylor]: Taking taylor expansion of 1/3 in z 24.316 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 24.316 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 24.316 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.316 * [taylor]: Taking taylor expansion of z in z 24.316 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.316 * [taylor]: Taking taylor expansion of t in z 24.317 * [taylor]: Taking taylor expansion of (- y x) in z 24.317 * [taylor]: Taking taylor expansion of y in z 24.317 * [taylor]: Taking taylor expansion of x in z 24.317 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x 24.317 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 24.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 24.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 24.318 * [taylor]: Taking taylor expansion of 1/3 in x 24.318 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 24.318 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 24.318 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.318 * [taylor]: Taking taylor expansion of z in x 24.318 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.318 * [taylor]: Taking taylor expansion of t in x 24.318 * [taylor]: Taking taylor expansion of (- y x) in x 24.318 * [taylor]: Taking taylor expansion of y in x 24.318 * [taylor]: Taking taylor expansion of x in x 24.318 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 24.318 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 24.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 24.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 24.318 * [taylor]: Taking taylor expansion of 1/3 in y 24.318 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 24.318 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 24.318 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.318 * [taylor]: Taking taylor expansion of z in y 24.318 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.318 * [taylor]: Taking taylor expansion of t in y 24.319 * [taylor]: Taking taylor expansion of (- y x) in y 24.319 * [taylor]: Taking taylor expansion of y in y 24.319 * [taylor]: Taking taylor expansion of x in y 24.319 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 24.319 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 24.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 24.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 24.319 * [taylor]: Taking taylor expansion of 1/3 in y 24.319 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 24.319 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 24.319 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.319 * [taylor]: Taking taylor expansion of z in y 24.319 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.319 * [taylor]: Taking taylor expansion of t in y 24.320 * [taylor]: Taking taylor expansion of (- y x) in y 24.320 * [taylor]: Taking taylor expansion of y in y 24.320 * [taylor]: Taking taylor expansion of x in y 24.320 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x 24.320 * [taylor]: Taking taylor expansion of -1 in x 24.320 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x 24.320 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 24.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 24.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 24.320 * [taylor]: Taking taylor expansion of 1/3 in x 24.320 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 24.320 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 24.320 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.320 * [taylor]: Taking taylor expansion of z in x 24.320 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.320 * [taylor]: Taking taylor expansion of t in x 24.321 * [taylor]: Taking taylor expansion of x in x 24.321 * [taylor]: Taking taylor expansion of 0 in z 24.321 * [taylor]: Taking taylor expansion of 0 in t 24.324 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 24.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 24.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 24.324 * [taylor]: Taking taylor expansion of 1/3 in x 24.324 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 24.324 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 24.324 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.324 * [taylor]: Taking taylor expansion of z in x 24.324 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.324 * [taylor]: Taking taylor expansion of t in x 24.325 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 24.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 24.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 24.325 * [taylor]: Taking taylor expansion of 1/3 in z 24.325 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 24.325 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 24.325 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.325 * [taylor]: Taking taylor expansion of z in z 24.325 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.325 * [taylor]: Taking taylor expansion of t in z 24.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 24.326 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 24.326 * [taylor]: Taking taylor expansion of 1/3 in t 24.326 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 24.326 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 24.326 * [taylor]: Taking taylor expansion of 2 in t 24.326 * [taylor]: Taking taylor expansion of (log z) in t 24.326 * [taylor]: Taking taylor expansion of z in t 24.326 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 24.326 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 24.326 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.326 * [taylor]: Taking taylor expansion of t in t 24.330 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z 24.330 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 24.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 24.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 24.330 * [taylor]: Taking taylor expansion of 1/3 in z 24.331 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 24.331 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 24.331 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.331 * [taylor]: Taking taylor expansion of z in z 24.331 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.331 * [taylor]: Taking taylor expansion of t in z 24.332 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t 24.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 24.332 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 24.332 * [taylor]: Taking taylor expansion of 1/3 in t 24.332 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 24.332 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 24.332 * [taylor]: Taking taylor expansion of 2 in t 24.332 * [taylor]: Taking taylor expansion of (log z) in t 24.332 * [taylor]: Taking taylor expansion of z in t 24.332 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 24.332 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 24.332 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.332 * [taylor]: Taking taylor expansion of t in t 24.334 * [taylor]: Taking taylor expansion of 0 in t 24.338 * [taylor]: Taking taylor expansion of 0 in x 24.338 * [taylor]: Taking taylor expansion of 0 in z 24.338 * [taylor]: Taking taylor expansion of 0 in t 24.340 * [taylor]: Taking taylor expansion of 0 in z 24.340 * [taylor]: Taking taylor expansion of 0 in t 24.345 * [taylor]: Taking taylor expansion of 0 in z 24.345 * [taylor]: Taking taylor expansion of 0 in t 24.348 * [taylor]: Taking taylor expansion of 0 in t 24.349 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0 24.349 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t 24.349 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 24.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 24.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 24.349 * [taylor]: Taking taylor expansion of 1/3 in t 24.349 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 24.349 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 24.349 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.349 * [taylor]: Taking taylor expansion of t in t 24.349 * [taylor]: Taking taylor expansion of (pow z 2) in t 24.349 * [taylor]: Taking taylor expansion of z in t 24.350 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 24.350 * [taylor]: Taking taylor expansion of (/ 1 y) in t 24.350 * [taylor]: Taking taylor expansion of y in t 24.350 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.350 * [taylor]: Taking taylor expansion of x in t 24.350 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z 24.350 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 24.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 24.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 24.350 * [taylor]: Taking taylor expansion of 1/3 in z 24.351 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 24.351 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 24.351 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.351 * [taylor]: Taking taylor expansion of t in z 24.351 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.351 * [taylor]: Taking taylor expansion of z in z 24.352 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 24.352 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.352 * [taylor]: Taking taylor expansion of y in z 24.352 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.352 * [taylor]: Taking taylor expansion of x in z 24.352 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x 24.352 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 24.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 24.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 24.352 * [taylor]: Taking taylor expansion of 1/3 in x 24.352 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 24.352 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 24.352 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.352 * [taylor]: Taking taylor expansion of t in x 24.352 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.352 * [taylor]: Taking taylor expansion of z in x 24.352 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 24.352 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.353 * [taylor]: Taking taylor expansion of y in x 24.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.353 * [taylor]: Taking taylor expansion of x in x 24.353 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 24.353 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 24.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 24.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 24.353 * [taylor]: Taking taylor expansion of 1/3 in y 24.353 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 24.353 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 24.353 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.353 * [taylor]: Taking taylor expansion of t in y 24.353 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.353 * [taylor]: Taking taylor expansion of z in y 24.354 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 24.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.354 * [taylor]: Taking taylor expansion of y in y 24.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.354 * [taylor]: Taking taylor expansion of x in y 24.354 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 24.354 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 24.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 24.354 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 24.354 * [taylor]: Taking taylor expansion of 1/3 in y 24.354 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 24.354 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 24.354 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.354 * [taylor]: Taking taylor expansion of t in y 24.354 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.354 * [taylor]: Taking taylor expansion of z in y 24.355 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 24.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.355 * [taylor]: Taking taylor expansion of y in y 24.355 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.355 * [taylor]: Taking taylor expansion of x in y 24.356 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 24.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 24.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 24.356 * [taylor]: Taking taylor expansion of 1/3 in x 24.356 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 24.356 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 24.356 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.356 * [taylor]: Taking taylor expansion of t in x 24.356 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.356 * [taylor]: Taking taylor expansion of z in x 24.359 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x 24.359 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 24.359 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 24.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 24.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 24.359 * [taylor]: Taking taylor expansion of 1/3 in x 24.359 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 24.359 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 24.359 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.359 * [taylor]: Taking taylor expansion of t in x 24.359 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.359 * [taylor]: Taking taylor expansion of z in x 24.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.360 * [taylor]: Taking taylor expansion of x in x 24.360 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 24.360 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 24.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 24.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 24.361 * [taylor]: Taking taylor expansion of 1/3 in z 24.361 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 24.361 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 24.361 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.361 * [taylor]: Taking taylor expansion of t in z 24.361 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.361 * [taylor]: Taking taylor expansion of z in z 24.362 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 24.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 24.362 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 24.362 * [taylor]: Taking taylor expansion of 1/3 in t 24.362 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 24.362 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 24.362 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.362 * [taylor]: Taking taylor expansion of t in t 24.362 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 24.362 * [taylor]: Taking taylor expansion of 2 in t 24.362 * [taylor]: Taking taylor expansion of (log z) in t 24.362 * [taylor]: Taking taylor expansion of z in t 24.363 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 24.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 24.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 24.364 * [taylor]: Taking taylor expansion of 1/3 in z 24.364 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 24.364 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 24.364 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.364 * [taylor]: Taking taylor expansion of t in z 24.364 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.364 * [taylor]: Taking taylor expansion of z in z 24.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 24.365 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 24.365 * [taylor]: Taking taylor expansion of 1/3 in t 24.365 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 24.365 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 24.365 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.365 * [taylor]: Taking taylor expansion of t in t 24.365 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 24.365 * [taylor]: Taking taylor expansion of 2 in t 24.365 * [taylor]: Taking taylor expansion of (log z) in t 24.365 * [taylor]: Taking taylor expansion of z in t 24.371 * [taylor]: Taking taylor expansion of 0 in x 24.374 * [taylor]: Taking taylor expansion of 0 in z 24.374 * [taylor]: Taking taylor expansion of 0 in t 24.376 * [taylor]: Taking taylor expansion of 0 in z 24.376 * [taylor]: Taking taylor expansion of 0 in t 24.379 * [taylor]: Taking taylor expansion of 0 in t 24.382 * [taylor]: Taking taylor expansion of 0 in t 24.395 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0 24.395 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t 24.395 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 24.395 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.395 * [taylor]: Taking taylor expansion of x in t 24.395 * [taylor]: Taking taylor expansion of (/ 1 y) in t 24.395 * [taylor]: Taking taylor expansion of y in t 24.395 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 24.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 24.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 24.395 * [taylor]: Taking taylor expansion of 1/3 in t 24.395 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 24.395 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 24.395 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.395 * [taylor]: Taking taylor expansion of t in t 24.395 * [taylor]: Taking taylor expansion of (pow z 2) in t 24.395 * [taylor]: Taking taylor expansion of z in t 24.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 24.396 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 24.396 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.396 * [taylor]: Taking taylor expansion of x in z 24.396 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.396 * [taylor]: Taking taylor expansion of y in z 24.396 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 24.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 24.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 24.396 * [taylor]: Taking taylor expansion of 1/3 in z 24.396 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 24.396 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 24.396 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.396 * [taylor]: Taking taylor expansion of t in z 24.396 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.396 * [taylor]: Taking taylor expansion of z in z 24.397 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 24.397 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 24.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.397 * [taylor]: Taking taylor expansion of x in x 24.398 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.398 * [taylor]: Taking taylor expansion of y in x 24.398 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 24.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 24.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 24.398 * [taylor]: Taking taylor expansion of 1/3 in x 24.398 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 24.398 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 24.398 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.398 * [taylor]: Taking taylor expansion of t in x 24.398 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.398 * [taylor]: Taking taylor expansion of z in x 24.398 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 24.399 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 24.399 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.399 * [taylor]: Taking taylor expansion of x in y 24.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.399 * [taylor]: Taking taylor expansion of y in y 24.399 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 24.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 24.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 24.399 * [taylor]: Taking taylor expansion of 1/3 in y 24.399 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 24.399 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 24.399 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.399 * [taylor]: Taking taylor expansion of t in y 24.399 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.399 * [taylor]: Taking taylor expansion of z in y 24.400 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 24.400 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 24.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.400 * [taylor]: Taking taylor expansion of x in y 24.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.400 * [taylor]: Taking taylor expansion of y in y 24.400 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 24.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 24.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 24.400 * [taylor]: Taking taylor expansion of 1/3 in y 24.400 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 24.400 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 24.400 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.400 * [taylor]: Taking taylor expansion of t in y 24.400 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.400 * [taylor]: Taking taylor expansion of z in y 24.401 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 24.401 * [taylor]: Taking taylor expansion of -1 in x 24.402 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 24.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 24.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 24.402 * [taylor]: Taking taylor expansion of 1/3 in x 24.402 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 24.402 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 24.402 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.402 * [taylor]: Taking taylor expansion of t in x 24.402 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.402 * [taylor]: Taking taylor expansion of z in x 24.406 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 24.406 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 24.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 24.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 24.406 * [taylor]: Taking taylor expansion of 1/3 in x 24.406 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 24.406 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 24.406 * [taylor]: Taking taylor expansion of (pow t 2) in x 24.406 * [taylor]: Taking taylor expansion of t in x 24.406 * [taylor]: Taking taylor expansion of (pow z 2) in x 24.406 * [taylor]: Taking taylor expansion of z in x 24.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.406 * [taylor]: Taking taylor expansion of x in x 24.407 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 24.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 24.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 24.407 * [taylor]: Taking taylor expansion of 1/3 in z 24.407 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 24.407 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 24.407 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.407 * [taylor]: Taking taylor expansion of t in z 24.407 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.407 * [taylor]: Taking taylor expansion of z in z 24.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 24.408 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 24.408 * [taylor]: Taking taylor expansion of 1/3 in t 24.408 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 24.408 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 24.408 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.408 * [taylor]: Taking taylor expansion of t in t 24.409 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 24.409 * [taylor]: Taking taylor expansion of 2 in t 24.409 * [taylor]: Taking taylor expansion of (log z) in t 24.409 * [taylor]: Taking taylor expansion of z in t 24.410 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 24.410 * [taylor]: Taking taylor expansion of -1 in z 24.410 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 24.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 24.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 24.410 * [taylor]: Taking taylor expansion of 1/3 in z 24.410 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 24.410 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 24.410 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.410 * [taylor]: Taking taylor expansion of t in z 24.410 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.410 * [taylor]: Taking taylor expansion of z in z 24.411 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 24.411 * [taylor]: Taking taylor expansion of -1 in t 24.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 24.411 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 24.411 * [taylor]: Taking taylor expansion of 1/3 in t 24.411 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 24.411 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 24.411 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.411 * [taylor]: Taking taylor expansion of t in t 24.412 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 24.412 * [taylor]: Taking taylor expansion of 2 in t 24.412 * [taylor]: Taking taylor expansion of (log z) in t 24.412 * [taylor]: Taking taylor expansion of z in t 24.418 * [taylor]: Taking taylor expansion of 0 in x 24.421 * [taylor]: Taking taylor expansion of 0 in z 24.421 * [taylor]: Taking taylor expansion of 0 in t 24.424 * [taylor]: Taking taylor expansion of 0 in z 24.424 * [taylor]: Taking taylor expansion of 0 in t 24.427 * [taylor]: Taking taylor expansion of 0 in t 24.430 * [taylor]: Taking taylor expansion of 0 in t 24.437 * * * [progress]: simplifying candidates 24.439 * [simplify]: Simplifying using # : (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t))))) (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t))))) (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t)))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x)) (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))))) (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z)))))))) 24.444 * * [simplify]: iteration 0 : 166 enodes (cost 1441 ) 24.476 * * [simplify]: iteration 1 : 349 enodes (cost 1351 ) 24.540 * * [simplify]: iteration 2 : 938 enodes (cost 1239 ) 24.763 * * [simplify]: iteration 3 : 2911 enodes (cost 1214 ) 25.465 * * [simplify]: iteration done : 5001 enodes (cost 1214 ) 25.466 * [simplify]: Simplified to: (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (- y x) (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z)))))) 25.467 * * * [progress]: adding candidates to table 25.827 * * [progress]: iteration 4 / 4 25.828 * * * [progress]: picking best candidate 25.840 * * * * [pick]: Picked # 25.840 * * * [progress]: localizing error 25.855 * * * [progress]: generating rewritten candidates 25.855 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 25.857 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 25.858 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 25.885 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 25.891 * * * [progress]: generating series expansions 25.891 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 25.891 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 25.891 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 25.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 25.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 25.891 * [taylor]: Taking taylor expansion of 1/3 in t 25.891 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 25.891 * [taylor]: Taking taylor expansion of (/ z t) in t 25.891 * [taylor]: Taking taylor expansion of z in t 25.891 * [taylor]: Taking taylor expansion of t in t 25.892 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 25.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 25.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 25.892 * [taylor]: Taking taylor expansion of 1/3 in z 25.892 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 25.892 * [taylor]: Taking taylor expansion of (/ z t) in z 25.892 * [taylor]: Taking taylor expansion of z in z 25.892 * [taylor]: Taking taylor expansion of t in z 25.892 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 25.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 25.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 25.892 * [taylor]: Taking taylor expansion of 1/3 in z 25.892 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 25.892 * [taylor]: Taking taylor expansion of (/ z t) in z 25.892 * [taylor]: Taking taylor expansion of z in z 25.893 * [taylor]: Taking taylor expansion of t in z 25.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 25.893 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 25.893 * [taylor]: Taking taylor expansion of 1/3 in t 25.893 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 25.893 * [taylor]: Taking taylor expansion of (log z) in t 25.893 * [taylor]: Taking taylor expansion of z in t 25.893 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 25.893 * [taylor]: Taking taylor expansion of (/ 1 t) in t 25.893 * [taylor]: Taking taylor expansion of t in t 25.896 * [taylor]: Taking taylor expansion of 0 in t 25.905 * [taylor]: Taking taylor expansion of 0 in t 25.914 * [taylor]: Taking taylor expansion of 0 in t 25.914 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 25.914 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 25.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 25.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 25.914 * [taylor]: Taking taylor expansion of 1/3 in t 25.914 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 25.914 * [taylor]: Taking taylor expansion of (/ t z) in t 25.914 * [taylor]: Taking taylor expansion of t in t 25.914 * [taylor]: Taking taylor expansion of z in t 25.914 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 25.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 25.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 25.914 * [taylor]: Taking taylor expansion of 1/3 in z 25.914 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 25.914 * [taylor]: Taking taylor expansion of (/ t z) in z 25.915 * [taylor]: Taking taylor expansion of t in z 25.915 * [taylor]: Taking taylor expansion of z in z 25.915 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 25.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 25.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 25.915 * [taylor]: Taking taylor expansion of 1/3 in z 25.915 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 25.915 * [taylor]: Taking taylor expansion of (/ t z) in z 25.915 * [taylor]: Taking taylor expansion of t in z 25.915 * [taylor]: Taking taylor expansion of z in z 25.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 25.916 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 25.916 * [taylor]: Taking taylor expansion of 1/3 in t 25.916 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 25.916 * [taylor]: Taking taylor expansion of (log t) in t 25.916 * [taylor]: Taking taylor expansion of t in t 25.916 * [taylor]: Taking taylor expansion of (log z) in t 25.916 * [taylor]: Taking taylor expansion of z in t 25.919 * [taylor]: Taking taylor expansion of 0 in t 25.925 * [taylor]: Taking taylor expansion of 0 in t 25.933 * [taylor]: Taking taylor expansion of 0 in t 25.934 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 25.934 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 25.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 25.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 25.934 * [taylor]: Taking taylor expansion of 1/3 in t 25.934 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 25.934 * [taylor]: Taking taylor expansion of (/ t z) in t 25.934 * [taylor]: Taking taylor expansion of t in t 25.934 * [taylor]: Taking taylor expansion of z in t 25.934 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 25.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 25.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 25.934 * [taylor]: Taking taylor expansion of 1/3 in z 25.935 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 25.935 * [taylor]: Taking taylor expansion of (/ t z) in z 25.935 * [taylor]: Taking taylor expansion of t in z 25.935 * [taylor]: Taking taylor expansion of z in z 25.935 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 25.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 25.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 25.935 * [taylor]: Taking taylor expansion of 1/3 in z 25.935 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 25.935 * [taylor]: Taking taylor expansion of (/ t z) in z 25.935 * [taylor]: Taking taylor expansion of t in z 25.935 * [taylor]: Taking taylor expansion of z in z 25.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 25.936 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 25.936 * [taylor]: Taking taylor expansion of 1/3 in t 25.936 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 25.936 * [taylor]: Taking taylor expansion of (log t) in t 25.936 * [taylor]: Taking taylor expansion of t in t 25.936 * [taylor]: Taking taylor expansion of (log z) in t 25.936 * [taylor]: Taking taylor expansion of z in t 25.939 * [taylor]: Taking taylor expansion of 0 in t 25.945 * [taylor]: Taking taylor expansion of 0 in t 25.954 * [taylor]: Taking taylor expansion of 0 in t 25.955 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 25.955 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 25.955 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 25.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 25.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 25.955 * [taylor]: Taking taylor expansion of 1/3 in t 25.955 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 25.955 * [taylor]: Taking taylor expansion of (/ z t) in t 25.955 * [taylor]: Taking taylor expansion of z in t 25.955 * [taylor]: Taking taylor expansion of t in t 25.956 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 25.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 25.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 25.956 * [taylor]: Taking taylor expansion of 1/3 in z 25.956 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 25.956 * [taylor]: Taking taylor expansion of (/ z t) in z 25.956 * [taylor]: Taking taylor expansion of z in z 25.956 * [taylor]: Taking taylor expansion of t in z 25.956 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 25.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 25.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 25.956 * [taylor]: Taking taylor expansion of 1/3 in z 25.956 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 25.956 * [taylor]: Taking taylor expansion of (/ z t) in z 25.956 * [taylor]: Taking taylor expansion of z in z 25.956 * [taylor]: Taking taylor expansion of t in z 25.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 25.957 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 25.957 * [taylor]: Taking taylor expansion of 1/3 in t 25.957 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 25.957 * [taylor]: Taking taylor expansion of (log z) in t 25.957 * [taylor]: Taking taylor expansion of z in t 25.957 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 25.957 * [taylor]: Taking taylor expansion of (/ 1 t) in t 25.957 * [taylor]: Taking taylor expansion of t in t 25.960 * [taylor]: Taking taylor expansion of 0 in t 25.966 * [taylor]: Taking taylor expansion of 0 in t 25.974 * [taylor]: Taking taylor expansion of 0 in t 25.974 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 25.974 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 25.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 25.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 25.974 * [taylor]: Taking taylor expansion of 1/3 in t 25.974 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 25.974 * [taylor]: Taking taylor expansion of (/ t z) in t 25.974 * [taylor]: Taking taylor expansion of t in t 25.974 * [taylor]: Taking taylor expansion of z in t 25.975 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 25.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 25.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 25.975 * [taylor]: Taking taylor expansion of 1/3 in z 25.975 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 25.975 * [taylor]: Taking taylor expansion of (/ t z) in z 25.975 * [taylor]: Taking taylor expansion of t in z 25.975 * [taylor]: Taking taylor expansion of z in z 25.976 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 25.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 25.976 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 25.976 * [taylor]: Taking taylor expansion of 1/3 in z 25.976 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 25.976 * [taylor]: Taking taylor expansion of (/ t z) in z 25.976 * [taylor]: Taking taylor expansion of t in z 25.976 * [taylor]: Taking taylor expansion of z in z 25.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 25.976 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 25.976 * [taylor]: Taking taylor expansion of 1/3 in t 25.976 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 25.976 * [taylor]: Taking taylor expansion of (log t) in t 25.976 * [taylor]: Taking taylor expansion of t in t 25.977 * [taylor]: Taking taylor expansion of (log z) in t 25.977 * [taylor]: Taking taylor expansion of z in t 25.979 * [taylor]: Taking taylor expansion of 0 in t 25.990 * [taylor]: Taking taylor expansion of 0 in t 25.999 * [taylor]: Taking taylor expansion of 0 in t 26.000 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 26.000 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 26.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 26.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 26.000 * [taylor]: Taking taylor expansion of 1/3 in t 26.000 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 26.000 * [taylor]: Taking taylor expansion of (/ t z) in t 26.000 * [taylor]: Taking taylor expansion of t in t 26.000 * [taylor]: Taking taylor expansion of z in t 26.000 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 26.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 26.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 26.001 * [taylor]: Taking taylor expansion of 1/3 in z 26.001 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 26.001 * [taylor]: Taking taylor expansion of (/ t z) in z 26.001 * [taylor]: Taking taylor expansion of t in z 26.001 * [taylor]: Taking taylor expansion of z in z 26.001 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 26.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 26.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 26.001 * [taylor]: Taking taylor expansion of 1/3 in z 26.001 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 26.001 * [taylor]: Taking taylor expansion of (/ t z) in z 26.001 * [taylor]: Taking taylor expansion of t in z 26.001 * [taylor]: Taking taylor expansion of z in z 26.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 26.002 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 26.002 * [taylor]: Taking taylor expansion of 1/3 in t 26.002 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 26.002 * [taylor]: Taking taylor expansion of (log t) in t 26.002 * [taylor]: Taking taylor expansion of t in t 26.002 * [taylor]: Taking taylor expansion of (log z) in t 26.002 * [taylor]: Taking taylor expansion of z in t 26.005 * [taylor]: Taking taylor expansion of 0 in t 26.011 * [taylor]: Taking taylor expansion of 0 in t 26.020 * [taylor]: Taking taylor expansion of 0 in t 26.020 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 26.020 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0 26.020 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t 26.020 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t 26.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t 26.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t 26.021 * [taylor]: Taking taylor expansion of 1/3 in t 26.021 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t 26.021 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 26.021 * [taylor]: Taking taylor expansion of (pow z 2) in t 26.021 * [taylor]: Taking taylor expansion of z in t 26.021 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.021 * [taylor]: Taking taylor expansion of t in t 26.022 * [taylor]: Taking taylor expansion of (- y x) in t 26.022 * [taylor]: Taking taylor expansion of y in t 26.022 * [taylor]: Taking taylor expansion of x in t 26.022 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z 26.022 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 26.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 26.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 26.022 * [taylor]: Taking taylor expansion of 1/3 in z 26.022 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 26.022 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 26.022 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.022 * [taylor]: Taking taylor expansion of z in z 26.022 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.022 * [taylor]: Taking taylor expansion of t in z 26.023 * [taylor]: Taking taylor expansion of (- y x) in z 26.023 * [taylor]: Taking taylor expansion of y in z 26.023 * [taylor]: Taking taylor expansion of x in z 26.023 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x 26.023 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 26.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 26.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 26.023 * [taylor]: Taking taylor expansion of 1/3 in x 26.023 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 26.023 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 26.023 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.023 * [taylor]: Taking taylor expansion of z in x 26.023 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.023 * [taylor]: Taking taylor expansion of t in x 26.024 * [taylor]: Taking taylor expansion of (- y x) in x 26.024 * [taylor]: Taking taylor expansion of y in x 26.024 * [taylor]: Taking taylor expansion of x in x 26.024 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 26.024 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 26.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 26.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 26.024 * [taylor]: Taking taylor expansion of 1/3 in y 26.024 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 26.024 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 26.024 * [taylor]: Taking taylor expansion of (pow z 2) in y 26.024 * [taylor]: Taking taylor expansion of z in y 26.024 * [taylor]: Taking taylor expansion of (pow t 2) in y 26.024 * [taylor]: Taking taylor expansion of t in y 26.024 * [taylor]: Taking taylor expansion of (- y x) in y 26.024 * [taylor]: Taking taylor expansion of y in y 26.024 * [taylor]: Taking taylor expansion of x in y 26.024 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 26.024 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 26.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 26.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 26.024 * [taylor]: Taking taylor expansion of 1/3 in y 26.024 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 26.024 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 26.024 * [taylor]: Taking taylor expansion of (pow z 2) in y 26.024 * [taylor]: Taking taylor expansion of z in y 26.024 * [taylor]: Taking taylor expansion of (pow t 2) in y 26.025 * [taylor]: Taking taylor expansion of t in y 26.025 * [taylor]: Taking taylor expansion of (- y x) in y 26.025 * [taylor]: Taking taylor expansion of y in y 26.025 * [taylor]: Taking taylor expansion of x in y 26.025 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x 26.025 * [taylor]: Taking taylor expansion of -1 in x 26.025 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x 26.025 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 26.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 26.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 26.025 * [taylor]: Taking taylor expansion of 1/3 in x 26.025 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 26.025 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 26.025 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.025 * [taylor]: Taking taylor expansion of z in x 26.025 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.025 * [taylor]: Taking taylor expansion of t in x 26.026 * [taylor]: Taking taylor expansion of x in x 26.026 * [taylor]: Taking taylor expansion of 0 in z 26.027 * [taylor]: Taking taylor expansion of 0 in t 26.029 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 26.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 26.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 26.029 * [taylor]: Taking taylor expansion of 1/3 in x 26.029 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 26.029 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 26.029 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.029 * [taylor]: Taking taylor expansion of z in x 26.029 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.029 * [taylor]: Taking taylor expansion of t in x 26.030 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 26.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 26.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 26.030 * [taylor]: Taking taylor expansion of 1/3 in z 26.030 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 26.030 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 26.030 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.030 * [taylor]: Taking taylor expansion of z in z 26.030 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.030 * [taylor]: Taking taylor expansion of t in z 26.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 26.031 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 26.031 * [taylor]: Taking taylor expansion of 1/3 in t 26.031 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 26.031 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 26.031 * [taylor]: Taking taylor expansion of 2 in t 26.031 * [taylor]: Taking taylor expansion of (log z) in t 26.031 * [taylor]: Taking taylor expansion of z in t 26.031 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 26.031 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 26.031 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.031 * [taylor]: Taking taylor expansion of t in t 26.035 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z 26.036 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 26.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 26.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 26.036 * [taylor]: Taking taylor expansion of 1/3 in z 26.036 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 26.036 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 26.036 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.036 * [taylor]: Taking taylor expansion of z in z 26.036 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.036 * [taylor]: Taking taylor expansion of t in z 26.037 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t 26.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 26.037 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 26.037 * [taylor]: Taking taylor expansion of 1/3 in t 26.037 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 26.037 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 26.037 * [taylor]: Taking taylor expansion of 2 in t 26.037 * [taylor]: Taking taylor expansion of (log z) in t 26.037 * [taylor]: Taking taylor expansion of z in t 26.037 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 26.037 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 26.037 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.037 * [taylor]: Taking taylor expansion of t in t 26.039 * [taylor]: Taking taylor expansion of 0 in t 26.043 * [taylor]: Taking taylor expansion of 0 in x 26.043 * [taylor]: Taking taylor expansion of 0 in z 26.043 * [taylor]: Taking taylor expansion of 0 in t 26.045 * [taylor]: Taking taylor expansion of 0 in z 26.045 * [taylor]: Taking taylor expansion of 0 in t 26.050 * [taylor]: Taking taylor expansion of 0 in z 26.050 * [taylor]: Taking taylor expansion of 0 in t 26.052 * [taylor]: Taking taylor expansion of 0 in t 26.053 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0 26.053 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t 26.053 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 26.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 26.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 26.053 * [taylor]: Taking taylor expansion of 1/3 in t 26.053 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 26.053 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 26.053 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.053 * [taylor]: Taking taylor expansion of t in t 26.053 * [taylor]: Taking taylor expansion of (pow z 2) in t 26.053 * [taylor]: Taking taylor expansion of z in t 26.054 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 26.054 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.054 * [taylor]: Taking taylor expansion of y in t 26.054 * [taylor]: Taking taylor expansion of (/ 1 x) in t 26.054 * [taylor]: Taking taylor expansion of x in t 26.054 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z 26.054 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 26.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 26.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 26.055 * [taylor]: Taking taylor expansion of 1/3 in z 26.055 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 26.055 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 26.055 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.055 * [taylor]: Taking taylor expansion of t in z 26.055 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.055 * [taylor]: Taking taylor expansion of z in z 26.056 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 26.056 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.056 * [taylor]: Taking taylor expansion of y in z 26.056 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.056 * [taylor]: Taking taylor expansion of x in z 26.056 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x 26.056 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 26.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 26.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 26.056 * [taylor]: Taking taylor expansion of 1/3 in x 26.056 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 26.056 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 26.056 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.056 * [taylor]: Taking taylor expansion of t in x 26.056 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.056 * [taylor]: Taking taylor expansion of z in x 26.056 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 26.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.056 * [taylor]: Taking taylor expansion of y in x 26.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.057 * [taylor]: Taking taylor expansion of x in x 26.057 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 26.057 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 26.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 26.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 26.057 * [taylor]: Taking taylor expansion of 1/3 in y 26.057 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 26.057 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 26.057 * [taylor]: Taking taylor expansion of (pow t 2) in y 26.057 * [taylor]: Taking taylor expansion of t in y 26.057 * [taylor]: Taking taylor expansion of (pow z 2) in y 26.057 * [taylor]: Taking taylor expansion of z in y 26.058 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 26.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.058 * [taylor]: Taking taylor expansion of y in y 26.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.058 * [taylor]: Taking taylor expansion of x in y 26.058 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 26.058 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 26.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 26.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 26.058 * [taylor]: Taking taylor expansion of 1/3 in y 26.058 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 26.058 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 26.058 * [taylor]: Taking taylor expansion of (pow t 2) in y 26.058 * [taylor]: Taking taylor expansion of t in y 26.058 * [taylor]: Taking taylor expansion of (pow z 2) in y 26.058 * [taylor]: Taking taylor expansion of z in y 26.059 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 26.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.059 * [taylor]: Taking taylor expansion of y in y 26.059 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.059 * [taylor]: Taking taylor expansion of x in y 26.060 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 26.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 26.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 26.060 * [taylor]: Taking taylor expansion of 1/3 in x 26.060 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 26.060 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 26.060 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.060 * [taylor]: Taking taylor expansion of t in x 26.060 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.060 * [taylor]: Taking taylor expansion of z in x 26.063 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x 26.063 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 26.064 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 26.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 26.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 26.064 * [taylor]: Taking taylor expansion of 1/3 in x 26.064 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 26.064 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 26.064 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.064 * [taylor]: Taking taylor expansion of t in x 26.064 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.064 * [taylor]: Taking taylor expansion of z in x 26.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.064 * [taylor]: Taking taylor expansion of x in x 26.065 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 26.065 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 26.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 26.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 26.065 * [taylor]: Taking taylor expansion of 1/3 in z 26.065 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 26.065 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 26.065 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.065 * [taylor]: Taking taylor expansion of t in z 26.065 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.065 * [taylor]: Taking taylor expansion of z in z 26.066 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 26.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 26.066 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 26.066 * [taylor]: Taking taylor expansion of 1/3 in t 26.066 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 26.066 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 26.066 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.066 * [taylor]: Taking taylor expansion of t in t 26.067 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 26.067 * [taylor]: Taking taylor expansion of 2 in t 26.067 * [taylor]: Taking taylor expansion of (log z) in t 26.067 * [taylor]: Taking taylor expansion of z in t 26.068 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 26.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 26.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 26.068 * [taylor]: Taking taylor expansion of 1/3 in z 26.068 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 26.068 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 26.068 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.068 * [taylor]: Taking taylor expansion of t in z 26.068 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.068 * [taylor]: Taking taylor expansion of z in z 26.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 26.069 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 26.069 * [taylor]: Taking taylor expansion of 1/3 in t 26.069 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 26.069 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 26.069 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.069 * [taylor]: Taking taylor expansion of t in t 26.069 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 26.069 * [taylor]: Taking taylor expansion of 2 in t 26.069 * [taylor]: Taking taylor expansion of (log z) in t 26.069 * [taylor]: Taking taylor expansion of z in t 26.080 * [taylor]: Taking taylor expansion of 0 in x 26.083 * [taylor]: Taking taylor expansion of 0 in z 26.083 * [taylor]: Taking taylor expansion of 0 in t 26.085 * [taylor]: Taking taylor expansion of 0 in z 26.085 * [taylor]: Taking taylor expansion of 0 in t 26.088 * [taylor]: Taking taylor expansion of 0 in t 26.091 * [taylor]: Taking taylor expansion of 0 in t 26.098 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0 26.098 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t 26.099 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 26.099 * [taylor]: Taking taylor expansion of (/ 1 x) in t 26.099 * [taylor]: Taking taylor expansion of x in t 26.099 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.099 * [taylor]: Taking taylor expansion of y in t 26.099 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 26.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 26.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 26.099 * [taylor]: Taking taylor expansion of 1/3 in t 26.099 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 26.099 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 26.099 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.099 * [taylor]: Taking taylor expansion of t in t 26.099 * [taylor]: Taking taylor expansion of (pow z 2) in t 26.099 * [taylor]: Taking taylor expansion of z in t 26.100 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 26.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 26.100 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.100 * [taylor]: Taking taylor expansion of x in z 26.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.100 * [taylor]: Taking taylor expansion of y in z 26.100 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 26.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 26.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 26.100 * [taylor]: Taking taylor expansion of 1/3 in z 26.100 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 26.100 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 26.100 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.100 * [taylor]: Taking taylor expansion of t in z 26.100 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.100 * [taylor]: Taking taylor expansion of z in z 26.101 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 26.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 26.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.101 * [taylor]: Taking taylor expansion of x in x 26.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.102 * [taylor]: Taking taylor expansion of y in x 26.102 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 26.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 26.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 26.102 * [taylor]: Taking taylor expansion of 1/3 in x 26.102 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 26.102 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 26.102 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.102 * [taylor]: Taking taylor expansion of t in x 26.102 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.102 * [taylor]: Taking taylor expansion of z in x 26.102 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 26.102 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 26.102 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.102 * [taylor]: Taking taylor expansion of x in y 26.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.102 * [taylor]: Taking taylor expansion of y in y 26.103 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 26.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 26.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 26.103 * [taylor]: Taking taylor expansion of 1/3 in y 26.103 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 26.103 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 26.103 * [taylor]: Taking taylor expansion of (pow t 2) in y 26.103 * [taylor]: Taking taylor expansion of t in y 26.103 * [taylor]: Taking taylor expansion of (pow z 2) in y 26.103 * [taylor]: Taking taylor expansion of z in y 26.103 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 26.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 26.103 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.103 * [taylor]: Taking taylor expansion of x in y 26.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.103 * [taylor]: Taking taylor expansion of y in y 26.104 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 26.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 26.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 26.104 * [taylor]: Taking taylor expansion of 1/3 in y 26.104 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 26.104 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 26.104 * [taylor]: Taking taylor expansion of (pow t 2) in y 26.104 * [taylor]: Taking taylor expansion of t in y 26.104 * [taylor]: Taking taylor expansion of (pow z 2) in y 26.104 * [taylor]: Taking taylor expansion of z in y 26.105 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 26.105 * [taylor]: Taking taylor expansion of -1 in x 26.105 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 26.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 26.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 26.105 * [taylor]: Taking taylor expansion of 1/3 in x 26.105 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 26.105 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 26.105 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.105 * [taylor]: Taking taylor expansion of t in x 26.105 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.105 * [taylor]: Taking taylor expansion of z in x 26.109 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 26.109 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 26.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 26.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 26.109 * [taylor]: Taking taylor expansion of 1/3 in x 26.109 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 26.109 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 26.109 * [taylor]: Taking taylor expansion of (pow t 2) in x 26.109 * [taylor]: Taking taylor expansion of t in x 26.109 * [taylor]: Taking taylor expansion of (pow z 2) in x 26.109 * [taylor]: Taking taylor expansion of z in x 26.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.110 * [taylor]: Taking taylor expansion of x in x 26.110 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 26.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 26.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 26.110 * [taylor]: Taking taylor expansion of 1/3 in z 26.110 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 26.110 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 26.110 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.110 * [taylor]: Taking taylor expansion of t in z 26.110 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.110 * [taylor]: Taking taylor expansion of z in z 26.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 26.111 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 26.111 * [taylor]: Taking taylor expansion of 1/3 in t 26.111 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 26.111 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 26.112 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.112 * [taylor]: Taking taylor expansion of t in t 26.112 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 26.112 * [taylor]: Taking taylor expansion of 2 in t 26.112 * [taylor]: Taking taylor expansion of (log z) in t 26.112 * [taylor]: Taking taylor expansion of z in t 26.113 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 26.113 * [taylor]: Taking taylor expansion of -1 in z 26.113 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 26.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 26.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 26.113 * [taylor]: Taking taylor expansion of 1/3 in z 26.113 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 26.113 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 26.113 * [taylor]: Taking taylor expansion of (pow t 2) in z 26.113 * [taylor]: Taking taylor expansion of t in z 26.113 * [taylor]: Taking taylor expansion of (pow z 2) in z 26.113 * [taylor]: Taking taylor expansion of z in z 26.115 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 26.115 * [taylor]: Taking taylor expansion of -1 in t 26.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 26.115 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 26.115 * [taylor]: Taking taylor expansion of 1/3 in t 26.115 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 26.115 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 26.115 * [taylor]: Taking taylor expansion of (pow t 2) in t 26.115 * [taylor]: Taking taylor expansion of t in t 26.115 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 26.115 * [taylor]: Taking taylor expansion of 2 in t 26.115 * [taylor]: Taking taylor expansion of (log z) in t 26.115 * [taylor]: Taking taylor expansion of z in t 26.121 * [taylor]: Taking taylor expansion of 0 in x 26.124 * [taylor]: Taking taylor expansion of 0 in z 26.124 * [taylor]: Taking taylor expansion of 0 in t 26.126 * [taylor]: Taking taylor expansion of 0 in z 26.126 * [taylor]: Taking taylor expansion of 0 in t 26.129 * [taylor]: Taking taylor expansion of 0 in t 26.132 * [taylor]: Taking taylor expansion of 0 in t 26.140 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 26.140 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 26.140 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 26.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 26.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 26.140 * [taylor]: Taking taylor expansion of 1/3 in t 26.140 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 26.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t 26.140 * [taylor]: Taking taylor expansion of t in t 26.141 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 26.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 26.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 26.141 * [taylor]: Taking taylor expansion of 1/3 in t 26.141 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 26.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t 26.141 * [taylor]: Taking taylor expansion of t in t 26.197 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 26.197 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 26.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 26.197 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 26.197 * [taylor]: Taking taylor expansion of 1/3 in t 26.197 * [taylor]: Taking taylor expansion of (log t) in t 26.197 * [taylor]: Taking taylor expansion of t in t 26.198 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 26.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 26.198 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 26.198 * [taylor]: Taking taylor expansion of 1/3 in t 26.198 * [taylor]: Taking taylor expansion of (log t) in t 26.198 * [taylor]: Taking taylor expansion of t in t 26.251 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in (t) around 0 26.251 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in t 26.251 * [taylor]: Taking taylor expansion of (cbrt -1) in t 26.251 * [taylor]: Taking taylor expansion of -1 in t 26.252 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 26.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 26.252 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 26.252 * [taylor]: Taking taylor expansion of 1/3 in t 26.252 * [taylor]: Taking taylor expansion of (log t) in t 26.252 * [taylor]: Taking taylor expansion of t in t 26.252 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow t 1/3)) in t 26.252 * [taylor]: Taking taylor expansion of (cbrt -1) in t 26.253 * [taylor]: Taking taylor expansion of -1 in t 26.253 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 26.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 26.253 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 26.253 * [taylor]: Taking taylor expansion of 1/3 in t 26.253 * [taylor]: Taking taylor expansion of (log t) in t 26.253 * [taylor]: Taking taylor expansion of t in t 26.318 * * * [progress]: simplifying candidates 26.320 * [simplify]: Simplifying using # : (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t))))) (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t))))) (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t)))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (expm1 (cbrt (/ 1 t))) (log1p (cbrt (/ 1 t))) (log (cbrt (/ 1 t))) (exp (cbrt (/ 1 t))) (cbrt (* (cbrt (/ 1 t)) (cbrt (/ 1 t)))) (cbrt (cbrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt 1) (cbrt t))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (sqrt t))) (cbrt (/ (cbrt 1) (sqrt t))) (cbrt (/ (* (cbrt 1) (cbrt 1)) 1)) (cbrt (/ (cbrt 1) t)) (cbrt (/ (sqrt 1) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt 1) (cbrt t))) (cbrt (/ (sqrt 1) (sqrt t))) (cbrt (/ (sqrt 1) (sqrt t))) (cbrt (/ (sqrt 1) 1)) (cbrt (/ (sqrt 1) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ 1 t)) (cbrt 1) (cbrt (/ 1 t)) (cbrt 1) (cbrt (/ 1 t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt (/ 1 t))) (cbrt (cbrt (/ 1 t)))) (cbrt (cbrt (/ 1 t))) (* (* (cbrt (/ 1 t)) (cbrt (/ 1 t))) (cbrt (/ 1 t))) (sqrt (cbrt (/ 1 t))) (sqrt (cbrt (/ 1 t))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x)) (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))))) (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z)))))))) (pow t -1/3) (pow (/ 1 t) 1/3) (* (pow (/ -1 t) 1/3) (cbrt -1)) 26.326 * * [simplify]: iteration 0 : 210 enodes (cost 1425 ) 26.359 * * [simplify]: iteration 1 : 416 enodes (cost 1318 ) 26.440 * * [simplify]: iteration 2 : 1086 enodes (cost 1196 ) 26.739 * * [simplify]: iteration 3 : 3314 enodes (cost 1174 ) 27.597 * * [simplify]: iteration done : 5000 enodes (cost 1174 ) 27.597 * [simplify]: Simplified to: (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (cbrt (/ z t)) 6) (pow (- y x) 3)) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (expm1 (cbrt (/ 1 t))) (log1p (cbrt (/ 1 t))) (- (* 1/3 (log t))) (exp (cbrt (/ 1 t))) (cbrt (pow (/ 1 t) 2/3)) (cbrt (cbrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (sqrt (/ 1 t))) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) 1 (cbrt (/ 1 t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) 1 (cbrt (/ 1 t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t))) 1 (cbrt (/ 1 t)) 1 (cbrt (/ 1 t)) 1 (cbrt (/ 1 t)) 1 (cbrt t) (* (cbrt (cbrt (/ 1 t))) (cbrt (cbrt (/ 1 t)))) (cbrt (cbrt (/ 1 t))) (/ 1 t) (sqrt (cbrt (/ 1 t))) (sqrt (cbrt (/ 1 t))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- y x)) (pow t -1/3) (cbrt (/ 1 t)) (* (cbrt (/ -1 t)) (cbrt -1)) 27.598 * * * [progress]: adding candidates to table 27.999 * [progress]: [Phase 3 of 3] Extracting. 27.999 * * [regime]: Finding splitpoints for: (# # # # # # #) 28.001 * * * [regime-changes]: Trying 6 branch expressions: ((/ z t) (+ x (* (- y x) (/ z t))) t z y x) 28.001 * * * * [regimes]: Trying to branch on (/ z t) from (# # # # # # #) 28.029 * * * * [regimes]: Trying to branch on (+ x (* (- y x) (/ z t))) from (# # # # # # #) 28.066 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 28.097 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 28.134 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 28.179 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 28.221 * * * [regime]: Found split indices: #