6.797 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (+ x (* (- y z) (- t x))) 0.025 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.027 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.031 * * [simplify]: iteration 3 : 71 enodes (cost 9 ) 0.042 * * [simplify]: iteration 4 : 179 enodes (cost 9 ) 0.078 * * [simplify]: iteration 5 : 395 enodes (cost 9 ) 0.169 * * [simplify]: iteration 6 : 721 enodes (cost 9 ) 0.361 * * [simplify]: iteration 7 : 1510 enodes (cost 9 ) 0.923 * * [simplify]: iteration 8 : 2502 enodes (cost 9 ) 2.354 * * [simplify]: iteration 9 : 3510 enodes (cost 9 ) 5.720 * * [simplify]: iteration 10 : 4339 enodes (cost 9 ) 12.549 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 12.549 * [simplify]: Simplified to: (+ x (* (- y z) (- t x))) 12.549 * * [progress]: iteration 1 / 4 12.549 * * * [progress]: picking best candidate 12.551 * * * * [pick]: Picked # 12.551 * * * [progress]: localizing error 12.557 * * * [progress]: generating rewritten candidates 12.557 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 12.576 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 12.581 * * * [progress]: generating series expansions 12.581 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 12.581 * [approximate]: Taking taylor expansion of (* (- y z) (- t x)) in (y z t x) around 0 12.581 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x 12.581 * [taylor]: Taking taylor expansion of (- y z) in x 12.581 * [taylor]: Taking taylor expansion of y in x 12.581 * [taylor]: Taking taylor expansion of z in x 12.581 * [taylor]: Taking taylor expansion of (- t x) in x 12.581 * [taylor]: Taking taylor expansion of t in x 12.581 * [taylor]: Taking taylor expansion of x in x 12.581 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t 12.581 * [taylor]: Taking taylor expansion of (- y z) in t 12.581 * [taylor]: Taking taylor expansion of y in t 12.581 * [taylor]: Taking taylor expansion of z in t 12.581 * [taylor]: Taking taylor expansion of (- t x) in t 12.581 * [taylor]: Taking taylor expansion of t in t 12.581 * [taylor]: Taking taylor expansion of x in t 12.581 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z 12.581 * [taylor]: Taking taylor expansion of (- y z) in z 12.581 * [taylor]: Taking taylor expansion of y in z 12.581 * [taylor]: Taking taylor expansion of z in z 12.581 * [taylor]: Taking taylor expansion of (- t x) in z 12.581 * [taylor]: Taking taylor expansion of t in z 12.581 * [taylor]: Taking taylor expansion of x in z 12.581 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y 12.581 * [taylor]: Taking taylor expansion of (- y z) in y 12.581 * [taylor]: Taking taylor expansion of y in y 12.581 * [taylor]: Taking taylor expansion of z in y 12.582 * [taylor]: Taking taylor expansion of (- t x) in y 12.582 * [taylor]: Taking taylor expansion of t in y 12.582 * [taylor]: Taking taylor expansion of x in y 12.582 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y 12.582 * [taylor]: Taking taylor expansion of (- y z) in y 12.582 * [taylor]: Taking taylor expansion of y in y 12.582 * [taylor]: Taking taylor expansion of z in y 12.582 * [taylor]: Taking taylor expansion of (- t x) in y 12.582 * [taylor]: Taking taylor expansion of t in y 12.582 * [taylor]: Taking taylor expansion of x in y 12.582 * [taylor]: Taking taylor expansion of (* -1 (* z (- t x))) in z 12.582 * [taylor]: Taking taylor expansion of -1 in z 12.582 * [taylor]: Taking taylor expansion of (* z (- t x)) in z 12.582 * [taylor]: Taking taylor expansion of z in z 12.582 * [taylor]: Taking taylor expansion of (- t x) in z 12.582 * [taylor]: Taking taylor expansion of t in z 12.582 * [taylor]: Taking taylor expansion of x in z 12.582 * [taylor]: Taking taylor expansion of 0 in t 12.582 * [taylor]: Taking taylor expansion of 0 in x 12.584 * [taylor]: Taking taylor expansion of (- t x) in z 12.584 * [taylor]: Taking taylor expansion of t in z 12.584 * [taylor]: Taking taylor expansion of x in z 12.584 * [taylor]: Taking taylor expansion of (- t x) in t 12.584 * [taylor]: Taking taylor expansion of t in t 12.584 * [taylor]: Taking taylor expansion of x in t 12.584 * [taylor]: Taking taylor expansion of (- x) in x 12.584 * [taylor]: Taking taylor expansion of x in x 12.585 * [taylor]: Taking taylor expansion of (- x t) in t 12.585 * [taylor]: Taking taylor expansion of x in t 12.585 * [taylor]: Taking taylor expansion of t in t 12.585 * [taylor]: Taking taylor expansion of x in x 12.585 * [taylor]: Taking taylor expansion of 0 in x 12.587 * [taylor]: Taking taylor expansion of 0 in z 12.587 * [taylor]: Taking taylor expansion of 0 in t 12.587 * [taylor]: Taking taylor expansion of 0 in x 12.587 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in (y z t x) around 0 12.587 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x 12.587 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 12.587 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.587 * [taylor]: Taking taylor expansion of y in x 12.587 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.587 * [taylor]: Taking taylor expansion of z in x 12.587 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x 12.587 * [taylor]: Taking taylor expansion of (/ 1 t) in x 12.587 * [taylor]: Taking taylor expansion of t in x 12.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.587 * [taylor]: Taking taylor expansion of x in x 12.587 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t 12.587 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 12.587 * [taylor]: Taking taylor expansion of (/ 1 y) in t 12.587 * [taylor]: Taking taylor expansion of y in t 12.587 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.587 * [taylor]: Taking taylor expansion of z in t 12.587 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t 12.587 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.587 * [taylor]: Taking taylor expansion of t in t 12.588 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.588 * [taylor]: Taking taylor expansion of x in t 12.588 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z 12.588 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 12.588 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.588 * [taylor]: Taking taylor expansion of y in z 12.588 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.588 * [taylor]: Taking taylor expansion of z in z 12.588 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z 12.588 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.588 * [taylor]: Taking taylor expansion of t in z 12.588 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.588 * [taylor]: Taking taylor expansion of x in z 12.588 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y 12.588 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 12.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.588 * [taylor]: Taking taylor expansion of y in y 12.589 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.589 * [taylor]: Taking taylor expansion of z in y 12.589 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y 12.589 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.589 * [taylor]: Taking taylor expansion of t in y 12.589 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.589 * [taylor]: Taking taylor expansion of x in y 12.589 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y 12.589 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 12.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.589 * [taylor]: Taking taylor expansion of y in y 12.589 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.589 * [taylor]: Taking taylor expansion of z in y 12.589 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y 12.589 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.589 * [taylor]: Taking taylor expansion of t in y 12.589 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.589 * [taylor]: Taking taylor expansion of x in y 12.590 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z 12.590 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.590 * [taylor]: Taking taylor expansion of t in z 12.590 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.590 * [taylor]: Taking taylor expansion of x in z 12.591 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z 12.591 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 12.591 * [taylor]: Taking taylor expansion of (* x z) in z 12.591 * [taylor]: Taking taylor expansion of x in z 12.591 * [taylor]: Taking taylor expansion of z in z 12.592 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 12.592 * [taylor]: Taking taylor expansion of (* t z) in z 12.592 * [taylor]: Taking taylor expansion of t in z 12.592 * [taylor]: Taking taylor expansion of z in z 12.592 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 12.592 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.592 * [taylor]: Taking taylor expansion of x in t 12.592 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.592 * [taylor]: Taking taylor expansion of t in t 12.593 * [taylor]: Taking taylor expansion of -1 in x 12.593 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t 12.593 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.593 * [taylor]: Taking taylor expansion of t in t 12.593 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.593 * [taylor]: Taking taylor expansion of x in t 12.594 * [taylor]: Taking taylor expansion of 1 in x 12.596 * [taylor]: Taking taylor expansion of 0 in z 12.597 * [taylor]: Taking taylor expansion of 0 in t 12.598 * [taylor]: Taking taylor expansion of 0 in t 12.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.598 * [taylor]: Taking taylor expansion of x in x 12.599 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.599 * [taylor]: Taking taylor expansion of x in x 12.600 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t x) around 0 12.600 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x 12.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x 12.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.600 * [taylor]: Taking taylor expansion of x in x 12.601 * [taylor]: Taking taylor expansion of (/ 1 t) in x 12.601 * [taylor]: Taking taylor expansion of t in x 12.601 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 12.601 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.601 * [taylor]: Taking taylor expansion of z in x 12.601 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.601 * [taylor]: Taking taylor expansion of y in x 12.601 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t 12.601 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 12.601 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.601 * [taylor]: Taking taylor expansion of x in t 12.601 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.601 * [taylor]: Taking taylor expansion of t in t 12.601 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 12.601 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.601 * [taylor]: Taking taylor expansion of z in t 12.601 * [taylor]: Taking taylor expansion of (/ 1 y) in t 12.601 * [taylor]: Taking taylor expansion of y in t 12.601 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z 12.601 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z 12.601 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.601 * [taylor]: Taking taylor expansion of x in z 12.601 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.601 * [taylor]: Taking taylor expansion of t in z 12.601 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 12.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.601 * [taylor]: Taking taylor expansion of z in z 12.602 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.602 * [taylor]: Taking taylor expansion of y in z 12.602 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y 12.602 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.602 * [taylor]: Taking taylor expansion of x in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.602 * [taylor]: Taking taylor expansion of t in y 12.602 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.602 * [taylor]: Taking taylor expansion of z in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.602 * [taylor]: Taking taylor expansion of y in y 12.602 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y 12.602 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.602 * [taylor]: Taking taylor expansion of x in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.602 * [taylor]: Taking taylor expansion of t in y 12.602 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.602 * [taylor]: Taking taylor expansion of z in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.602 * [taylor]: Taking taylor expansion of y in y 12.603 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in z 12.603 * [taylor]: Taking taylor expansion of -1 in z 12.603 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z 12.603 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.603 * [taylor]: Taking taylor expansion of x in z 12.603 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.603 * [taylor]: Taking taylor expansion of t in z 12.605 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z 12.605 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 12.605 * [taylor]: Taking taylor expansion of (* x z) in z 12.605 * [taylor]: Taking taylor expansion of x in z 12.605 * [taylor]: Taking taylor expansion of z in z 12.605 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 12.606 * [taylor]: Taking taylor expansion of (* t z) in z 12.606 * [taylor]: Taking taylor expansion of t in z 12.606 * [taylor]: Taking taylor expansion of z in z 12.606 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 12.606 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.606 * [taylor]: Taking taylor expansion of x in t 12.606 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.606 * [taylor]: Taking taylor expansion of t in t 12.607 * [taylor]: Taking taylor expansion of -1 in x 12.607 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in t 12.607 * [taylor]: Taking taylor expansion of -1 in t 12.607 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 12.607 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.607 * [taylor]: Taking taylor expansion of x in t 12.607 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.607 * [taylor]: Taking taylor expansion of t in t 12.608 * [taylor]: Taking taylor expansion of 1 in x 12.610 * [taylor]: Taking taylor expansion of 0 in z 12.611 * [taylor]: Taking taylor expansion of 0 in t 12.612 * [taylor]: Taking taylor expansion of 0 in t 12.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.613 * [taylor]: Taking taylor expansion of x in x 12.614 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.614 * [taylor]: Taking taylor expansion of x in x 12.615 * * * * [progress]: [ 2 / 2 ] generating series at (2) 12.615 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y z t) around 0 12.615 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t 12.615 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t 12.615 * [taylor]: Taking taylor expansion of (* x z) in t 12.615 * [taylor]: Taking taylor expansion of x in t 12.615 * [taylor]: Taking taylor expansion of z in t 12.615 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 12.615 * [taylor]: Taking taylor expansion of x in t 12.615 * [taylor]: Taking taylor expansion of (* t y) in t 12.615 * [taylor]: Taking taylor expansion of t in t 12.616 * [taylor]: Taking taylor expansion of y in t 12.616 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 12.616 * [taylor]: Taking taylor expansion of (* t z) in t 12.616 * [taylor]: Taking taylor expansion of t in t 12.616 * [taylor]: Taking taylor expansion of z in t 12.616 * [taylor]: Taking taylor expansion of (* x y) in t 12.616 * [taylor]: Taking taylor expansion of x in t 12.616 * [taylor]: Taking taylor expansion of y in t 12.616 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z 12.616 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z 12.616 * [taylor]: Taking taylor expansion of (* x z) in z 12.616 * [taylor]: Taking taylor expansion of x in z 12.616 * [taylor]: Taking taylor expansion of z in z 12.616 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 12.616 * [taylor]: Taking taylor expansion of x in z 12.616 * [taylor]: Taking taylor expansion of (* t y) in z 12.616 * [taylor]: Taking taylor expansion of t in z 12.616 * [taylor]: Taking taylor expansion of y in z 12.616 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 12.616 * [taylor]: Taking taylor expansion of (* t z) in z 12.616 * [taylor]: Taking taylor expansion of t in z 12.616 * [taylor]: Taking taylor expansion of z in z 12.616 * [taylor]: Taking taylor expansion of (* x y) in z 12.616 * [taylor]: Taking taylor expansion of x in z 12.616 * [taylor]: Taking taylor expansion of y in z 12.616 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y 12.616 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y 12.616 * [taylor]: Taking taylor expansion of (* x z) in y 12.616 * [taylor]: Taking taylor expansion of x in y 12.616 * [taylor]: Taking taylor expansion of z in y 12.616 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 12.616 * [taylor]: Taking taylor expansion of x in y 12.616 * [taylor]: Taking taylor expansion of (* t y) in y 12.616 * [taylor]: Taking taylor expansion of t in y 12.616 * [taylor]: Taking taylor expansion of y in y 12.616 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 12.616 * [taylor]: Taking taylor expansion of (* t z) in y 12.616 * [taylor]: Taking taylor expansion of t in y 12.616 * [taylor]: Taking taylor expansion of z in y 12.616 * [taylor]: Taking taylor expansion of (* x y) in y 12.616 * [taylor]: Taking taylor expansion of x in y 12.616 * [taylor]: Taking taylor expansion of y in y 12.616 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 12.616 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 12.616 * [taylor]: Taking taylor expansion of (* x z) in x 12.616 * [taylor]: Taking taylor expansion of x in x 12.616 * [taylor]: Taking taylor expansion of z in x 12.616 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 12.616 * [taylor]: Taking taylor expansion of x in x 12.616 * [taylor]: Taking taylor expansion of (* t y) in x 12.616 * [taylor]: Taking taylor expansion of t in x 12.616 * [taylor]: Taking taylor expansion of y in x 12.616 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 12.616 * [taylor]: Taking taylor expansion of (* t z) in x 12.616 * [taylor]: Taking taylor expansion of t in x 12.616 * [taylor]: Taking taylor expansion of z in x 12.616 * [taylor]: Taking taylor expansion of (* x y) in x 12.616 * [taylor]: Taking taylor expansion of x in x 12.616 * [taylor]: Taking taylor expansion of y in x 12.616 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 12.617 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 12.617 * [taylor]: Taking taylor expansion of (* x z) in x 12.617 * [taylor]: Taking taylor expansion of x in x 12.617 * [taylor]: Taking taylor expansion of z in x 12.617 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 12.617 * [taylor]: Taking taylor expansion of x in x 12.617 * [taylor]: Taking taylor expansion of (* t y) in x 12.617 * [taylor]: Taking taylor expansion of t in x 12.617 * [taylor]: Taking taylor expansion of y in x 12.617 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 12.617 * [taylor]: Taking taylor expansion of (* t z) in x 12.617 * [taylor]: Taking taylor expansion of t in x 12.617 * [taylor]: Taking taylor expansion of z in x 12.617 * [taylor]: Taking taylor expansion of (* x y) in x 12.617 * [taylor]: Taking taylor expansion of x in x 12.617 * [taylor]: Taking taylor expansion of y in x 12.617 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y 12.617 * [taylor]: Taking taylor expansion of (* t y) in y 12.617 * [taylor]: Taking taylor expansion of t in y 12.617 * [taylor]: Taking taylor expansion of y in y 12.617 * [taylor]: Taking taylor expansion of (* t z) in y 12.617 * [taylor]: Taking taylor expansion of t in y 12.617 * [taylor]: Taking taylor expansion of z in y 12.617 * [taylor]: Taking taylor expansion of (- (* t z)) in z 12.617 * [taylor]: Taking taylor expansion of (* t z) in z 12.617 * [taylor]: Taking taylor expansion of t in z 12.617 * [taylor]: Taking taylor expansion of z in z 12.618 * [taylor]: Taking taylor expansion of 0 in t 12.618 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y 12.619 * [taylor]: Taking taylor expansion of (+ z 1) in y 12.619 * [taylor]: Taking taylor expansion of z in y 12.619 * [taylor]: Taking taylor expansion of 1 in y 12.619 * [taylor]: Taking taylor expansion of y in y 12.619 * [taylor]: Taking taylor expansion of (+ z 1) in z 12.619 * [taylor]: Taking taylor expansion of z in z 12.619 * [taylor]: Taking taylor expansion of 1 in z 12.619 * [taylor]: Taking taylor expansion of 1 in t 12.620 * [taylor]: Taking taylor expansion of t in z 12.620 * [taylor]: Taking taylor expansion of t in t 12.620 * [taylor]: Taking taylor expansion of (- t) in t 12.620 * [taylor]: Taking taylor expansion of t in t 12.623 * [taylor]: Taking taylor expansion of 0 in y 12.623 * [taylor]: Taking taylor expansion of 0 in z 12.623 * [taylor]: Taking taylor expansion of 0 in t 12.624 * [taylor]: Taking taylor expansion of -1 in z 12.624 * [taylor]: Taking taylor expansion of -1 in t 12.625 * [taylor]: Taking taylor expansion of 0 in z 12.625 * [taylor]: Taking taylor expansion of 0 in t 12.625 * [taylor]: Taking taylor expansion of 1 in t 12.626 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y z t) around 0 12.626 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 12.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t 12.626 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 12.626 * [taylor]: Taking taylor expansion of (* t y) in t 12.626 * [taylor]: Taking taylor expansion of t in t 12.626 * [taylor]: Taking taylor expansion of y in t 12.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t 12.626 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 12.626 * [taylor]: Taking taylor expansion of (* x z) in t 12.626 * [taylor]: Taking taylor expansion of x in t 12.626 * [taylor]: Taking taylor expansion of z in t 12.626 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.626 * [taylor]: Taking taylor expansion of x in t 12.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 12.626 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 12.626 * [taylor]: Taking taylor expansion of (* t z) in t 12.626 * [taylor]: Taking taylor expansion of t in t 12.626 * [taylor]: Taking taylor expansion of z in t 12.627 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 12.627 * [taylor]: Taking taylor expansion of (* x y) in t 12.627 * [taylor]: Taking taylor expansion of x in t 12.627 * [taylor]: Taking taylor expansion of y in t 12.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 12.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z 12.627 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 12.627 * [taylor]: Taking taylor expansion of (* t y) in z 12.627 * [taylor]: Taking taylor expansion of t in z 12.627 * [taylor]: Taking taylor expansion of y in z 12.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z 12.627 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 12.627 * [taylor]: Taking taylor expansion of (* x z) in z 12.627 * [taylor]: Taking taylor expansion of x in z 12.627 * [taylor]: Taking taylor expansion of z in z 12.627 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.627 * [taylor]: Taking taylor expansion of x in z 12.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 12.627 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 12.627 * [taylor]: Taking taylor expansion of (* t z) in z 12.627 * [taylor]: Taking taylor expansion of t in z 12.627 * [taylor]: Taking taylor expansion of z in z 12.628 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 12.628 * [taylor]: Taking taylor expansion of (* x y) in z 12.628 * [taylor]: Taking taylor expansion of x in z 12.628 * [taylor]: Taking taylor expansion of y in z 12.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 12.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y 12.628 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 12.628 * [taylor]: Taking taylor expansion of (* t y) in y 12.628 * [taylor]: Taking taylor expansion of t in y 12.628 * [taylor]: Taking taylor expansion of y in y 12.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y 12.628 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 12.628 * [taylor]: Taking taylor expansion of (* x z) in y 12.628 * [taylor]: Taking taylor expansion of x in y 12.628 * [taylor]: Taking taylor expansion of z in y 12.628 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.628 * [taylor]: Taking taylor expansion of x in y 12.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 12.629 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 12.629 * [taylor]: Taking taylor expansion of (* t z) in y 12.629 * [taylor]: Taking taylor expansion of t in y 12.629 * [taylor]: Taking taylor expansion of z in y 12.629 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.629 * [taylor]: Taking taylor expansion of (* x y) in y 12.629 * [taylor]: Taking taylor expansion of x in y 12.629 * [taylor]: Taking taylor expansion of y in y 12.629 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 12.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 12.629 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 12.629 * [taylor]: Taking taylor expansion of (* t y) in x 12.629 * [taylor]: Taking taylor expansion of t in x 12.629 * [taylor]: Taking taylor expansion of y in x 12.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 12.629 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.629 * [taylor]: Taking taylor expansion of (* x z) in x 12.629 * [taylor]: Taking taylor expansion of x in x 12.629 * [taylor]: Taking taylor expansion of z in x 12.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.630 * [taylor]: Taking taylor expansion of x in x 12.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 12.630 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 12.630 * [taylor]: Taking taylor expansion of (* t z) in x 12.630 * [taylor]: Taking taylor expansion of t in x 12.630 * [taylor]: Taking taylor expansion of z in x 12.630 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.630 * [taylor]: Taking taylor expansion of (* x y) in x 12.630 * [taylor]: Taking taylor expansion of x in x 12.630 * [taylor]: Taking taylor expansion of y in x 12.630 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 12.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 12.631 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 12.631 * [taylor]: Taking taylor expansion of (* t y) in x 12.631 * [taylor]: Taking taylor expansion of t in x 12.631 * [taylor]: Taking taylor expansion of y in x 12.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 12.631 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.631 * [taylor]: Taking taylor expansion of (* x z) in x 12.631 * [taylor]: Taking taylor expansion of x in x 12.631 * [taylor]: Taking taylor expansion of z in x 12.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.631 * [taylor]: Taking taylor expansion of x in x 12.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 12.631 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 12.631 * [taylor]: Taking taylor expansion of (* t z) in x 12.631 * [taylor]: Taking taylor expansion of t in x 12.631 * [taylor]: Taking taylor expansion of z in x 12.631 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.631 * [taylor]: Taking taylor expansion of (* x y) in x 12.632 * [taylor]: Taking taylor expansion of x in x 12.632 * [taylor]: Taking taylor expansion of y in x 12.632 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y 12.632 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y 12.632 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.632 * [taylor]: Taking taylor expansion of z in y 12.632 * [taylor]: Taking taylor expansion of 1 in y 12.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.632 * [taylor]: Taking taylor expansion of y in y 12.633 * [taylor]: Taking taylor expansion of -1 in z 12.635 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y 12.635 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 12.635 * [taylor]: Taking taylor expansion of (* t y) in y 12.635 * [taylor]: Taking taylor expansion of t in y 12.635 * [taylor]: Taking taylor expansion of y in y 12.635 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 12.635 * [taylor]: Taking taylor expansion of (* t z) in y 12.635 * [taylor]: Taking taylor expansion of t in y 12.635 * [taylor]: Taking taylor expansion of z in y 12.635 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.635 * [taylor]: Taking taylor expansion of t in z 12.636 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 12.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.636 * [taylor]: Taking taylor expansion of z in z 12.637 * [taylor]: Taking taylor expansion of 1 in z 12.637 * [taylor]: Taking taylor expansion of 1 in t 12.637 * [taylor]: Taking taylor expansion of -1 in t 12.640 * [taylor]: Taking taylor expansion of 0 in y 12.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 12.641 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 12.641 * [taylor]: Taking taylor expansion of (* t z) in z 12.641 * [taylor]: Taking taylor expansion of t in z 12.641 * [taylor]: Taking taylor expansion of z in z 12.641 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 12.641 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.641 * [taylor]: Taking taylor expansion of t in t 12.643 * [taylor]: Taking taylor expansion of 0 in z 12.643 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.643 * [taylor]: Taking taylor expansion of t in t 12.644 * [taylor]: Taking taylor expansion of 1 in t 12.644 * [taylor]: Taking taylor expansion of 0 in t 12.645 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y z t) around 0 12.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t 12.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 12.645 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 12.645 * [taylor]: Taking taylor expansion of (* x z) in t 12.645 * [taylor]: Taking taylor expansion of x in t 12.645 * [taylor]: Taking taylor expansion of z in t 12.645 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 12.645 * [taylor]: Taking taylor expansion of (* t y) in t 12.645 * [taylor]: Taking taylor expansion of t in t 12.645 * [taylor]: Taking taylor expansion of y in t 12.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t 12.645 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 12.646 * [taylor]: Taking taylor expansion of (* t z) in t 12.646 * [taylor]: Taking taylor expansion of t in t 12.646 * [taylor]: Taking taylor expansion of z in t 12.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t 12.646 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 12.646 * [taylor]: Taking taylor expansion of (* x y) in t 12.646 * [taylor]: Taking taylor expansion of x in t 12.646 * [taylor]: Taking taylor expansion of y in t 12.646 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.646 * [taylor]: Taking taylor expansion of x in t 12.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z 12.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z 12.646 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 12.646 * [taylor]: Taking taylor expansion of (* x z) in z 12.646 * [taylor]: Taking taylor expansion of x in z 12.646 * [taylor]: Taking taylor expansion of z in z 12.646 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 12.646 * [taylor]: Taking taylor expansion of (* t y) in z 12.646 * [taylor]: Taking taylor expansion of t in z 12.646 * [taylor]: Taking taylor expansion of y in z 12.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z 12.647 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 12.647 * [taylor]: Taking taylor expansion of (* t z) in z 12.647 * [taylor]: Taking taylor expansion of t in z 12.647 * [taylor]: Taking taylor expansion of z in z 12.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z 12.647 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 12.647 * [taylor]: Taking taylor expansion of (* x y) in z 12.647 * [taylor]: Taking taylor expansion of x in z 12.647 * [taylor]: Taking taylor expansion of y in z 12.647 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.647 * [taylor]: Taking taylor expansion of x in z 12.647 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y 12.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y 12.647 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 12.647 * [taylor]: Taking taylor expansion of (* x z) in y 12.647 * [taylor]: Taking taylor expansion of x in y 12.647 * [taylor]: Taking taylor expansion of z in y 12.647 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 12.647 * [taylor]: Taking taylor expansion of (* t y) in y 12.647 * [taylor]: Taking taylor expansion of t in y 12.647 * [taylor]: Taking taylor expansion of y in y 12.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y 12.648 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 12.648 * [taylor]: Taking taylor expansion of (* t z) in y 12.648 * [taylor]: Taking taylor expansion of t in y 12.648 * [taylor]: Taking taylor expansion of z in y 12.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 12.648 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.648 * [taylor]: Taking taylor expansion of (* x y) in y 12.648 * [taylor]: Taking taylor expansion of x in y 12.648 * [taylor]: Taking taylor expansion of y in y 12.648 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.648 * [taylor]: Taking taylor expansion of x in y 12.648 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 12.648 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.648 * [taylor]: Taking taylor expansion of (* x z) in x 12.648 * [taylor]: Taking taylor expansion of x in x 12.648 * [taylor]: Taking taylor expansion of z in x 12.649 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 12.649 * [taylor]: Taking taylor expansion of (* t y) in x 12.649 * [taylor]: Taking taylor expansion of t in x 12.649 * [taylor]: Taking taylor expansion of y in x 12.649 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 12.649 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 12.649 * [taylor]: Taking taylor expansion of (* t z) in x 12.649 * [taylor]: Taking taylor expansion of t in x 12.649 * [taylor]: Taking taylor expansion of z in x 12.649 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.649 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.649 * [taylor]: Taking taylor expansion of (* x y) in x 12.649 * [taylor]: Taking taylor expansion of x in x 12.649 * [taylor]: Taking taylor expansion of y in x 12.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.649 * [taylor]: Taking taylor expansion of x in x 12.650 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 12.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 12.650 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.650 * [taylor]: Taking taylor expansion of (* x z) in x 12.650 * [taylor]: Taking taylor expansion of x in x 12.650 * [taylor]: Taking taylor expansion of z in x 12.650 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 12.650 * [taylor]: Taking taylor expansion of (* t y) in x 12.650 * [taylor]: Taking taylor expansion of t in x 12.650 * [taylor]: Taking taylor expansion of y in x 12.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 12.650 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 12.650 * [taylor]: Taking taylor expansion of (* t z) in x 12.650 * [taylor]: Taking taylor expansion of t in x 12.650 * [taylor]: Taking taylor expansion of z in x 12.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 12.650 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.650 * [taylor]: Taking taylor expansion of (* x y) in x 12.650 * [taylor]: Taking taylor expansion of x in x 12.650 * [taylor]: Taking taylor expansion of y in x 12.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.651 * [taylor]: Taking taylor expansion of x in x 12.651 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y 12.651 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.651 * [taylor]: Taking taylor expansion of z in y 12.651 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 12.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.651 * [taylor]: Taking taylor expansion of y in y 12.652 * [taylor]: Taking taylor expansion of 1 in y 12.652 * [taylor]: Taking taylor expansion of -1 in z 12.657 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y 12.657 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 12.657 * [taylor]: Taking taylor expansion of (* t y) in y 12.657 * [taylor]: Taking taylor expansion of t in y 12.657 * [taylor]: Taking taylor expansion of y in y 12.657 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 12.657 * [taylor]: Taking taylor expansion of (* t z) in y 12.657 * [taylor]: Taking taylor expansion of t in y 12.657 * [taylor]: Taking taylor expansion of z in y 12.657 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.657 * [taylor]: Taking taylor expansion of t in z 12.658 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z 12.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.658 * [taylor]: Taking taylor expansion of z in z 12.658 * [taylor]: Taking taylor expansion of 1 in z 12.659 * [taylor]: Taking taylor expansion of 1 in t 12.659 * [taylor]: Taking taylor expansion of -1 in t 12.662 * [taylor]: Taking taylor expansion of 0 in y 12.663 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 12.663 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 12.663 * [taylor]: Taking taylor expansion of (* t z) in z 12.663 * [taylor]: Taking taylor expansion of t in z 12.663 * [taylor]: Taking taylor expansion of z in z 12.663 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 12.663 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.663 * [taylor]: Taking taylor expansion of t in t 12.665 * [taylor]: Taking taylor expansion of 0 in z 12.665 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.665 * [taylor]: Taking taylor expansion of t in t 12.666 * [taylor]: Taking taylor expansion of -1 in t 12.666 * [taylor]: Taking taylor expansion of 0 in t 12.667 * * * [progress]: simplifying candidates 12.667 * [simplify]: Simplifying using # : (* (- y z) (- t x)) (+ (log (- y z)) (log (- t x))) (log (* (- y z) (- t x))) (exp (* (- y z) (- t x))) (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t x) (- t x)) (- t x))) (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x)))) (cbrt (* (- y z) (- t x))) (* (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* (- y z) (- t x))) (sqrt (* (- y z) (- t x))) (sqrt (* (- y z) (- t x))) (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3))) (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* x x) (* t x)))) (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x))) (* (+ (* y y) (+ (* z z) (* y z))) (+ t x)) (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3))) (* (+ y z) (+ (* t t) (+ (* x x) (* t x)))) (* (- (* y y) (* z z)) (- (* t t) (* x x))) (* (+ y z) (+ t x)) (* (sqrt (- y z)) (sqrt (- t x))) (* (sqrt (- y z)) (sqrt (- t x))) (* (- y z) t) (* (- y z) (- x)) (* (- y z) t) (* (- y z) (- x)) (* t (- y z)) (* (- x) (- y z)) (* t (- y z)) (* (- x) (- y z)) (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (* (- y z) (sqrt (- t x))) (* (- y z) 1) (* (- y z) (+ (sqrt t) (sqrt x))) (* (- y z) 1) (* (cbrt (- y z)) (- t x)) (* (sqrt (- y z)) (- t x)) (* (- y z) (- t x)) (* (- (sqrt y) (sqrt z)) (- t x)) (* (- y z) (- t x)) (* (- y z) (- (pow t 3) (pow x 3))) (* (- y z) (- (* t t) (* x x))) (* (- (pow y 3) (pow z 3)) (- t x)) (* (- (* y y) (* z z)) (- t x)) (* (exp x) (exp (* (- y z) (- t x)))) (log (+ x (* (- y z) (- t x)))) (exp (+ x (* (- y z) (- t x)))) (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x))))) (cbrt (+ x (* (- y z) (- t x)))) (* (* (+ x (* (- y z) (- t x))) (+ x (* (- y z) (- t x)))) (+ x (* (- y z) (- t x)))) (sqrt (+ x (* (- y z) (- t x)))) (sqrt (+ x (* (- y z) (- t x)))) (+ (pow x 3) (pow (* (- y z) (- t x)) 3)) (+ (* x x) (- (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* x (* (- y z) (- t x))))) (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x)))) (- x (* (- y z) (- t x))) (+ x (* (- y z) t)) (+ x (* (- y z) t)) (+ x (* t (- y z))) (+ x (* t (- y z))) 0 (- (* x z) (+ (* t z) (* x y))) (- (* x z) (+ (* t z) (* x y))) (- (+ (* x z) x) (* x y)) (- (+ (* x z) (* t y)) (* t z)) (- (+ (* x z) (* t y)) (* t z)) 12.670 * * [simplify]: iteration 0 : 110 enodes (cost 687 ) 12.687 * * [simplify]: iteration 1 : 292 enodes (cost 651 ) 12.742 * * [simplify]: iteration 2 : 1101 enodes (cost 611 ) 13.050 * * [simplify]: iteration 3 : 4903 enodes (cost 609 ) 14.528 * * [simplify]: iteration done : 5000 enodes (cost 609 ) 14.528 * [simplify]: Simplified to: (* (- y z) (- t x)) (log (* (- y z) (- t x))) (log (* (- y z) (- t x))) (exp (* (- y z) (- t x))) (pow (* (- y z) (- t x)) 3) (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x)))) (cbrt (* (- y z) (- t x))) (pow (* (- y z) (- t x)) 3) (sqrt (* (- y z) (- t x))) (sqrt (* (- y z) (- t x))) (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3))) (* (+ (* y y) (* z (+ y z))) (+ (* x (+ t x)) (* t t))) (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x))) (* (+ (* y y) (* z (+ y z))) (+ t x)) (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3))) (* (+ y z) (+ (* x (+ t x)) (* t t))) (* (- (* y y) (* z z)) (- (* t t) (* x x))) (* (+ y z) (+ t x)) (* (sqrt (- y z)) (sqrt (- t x))) (* (sqrt (- y z)) (sqrt (- t x))) (* t (- y z)) (* (- y z) (- x)) (* t (- y z)) (* (- y z) (- x)) (* t (- y z)) (* (- y z) (- x)) (* t (- y z)) (* (- y z) (- x)) (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (* (- y z) (sqrt (- t x))) (- y z) (* (- y z) (+ (sqrt t) (sqrt x))) (- y z) (* (cbrt (- y z)) (- t x)) (* (sqrt (- y z)) (- t x)) (* (- y z) (- t x)) (* (- (sqrt y) (sqrt z)) (- t x)) (* (- y z) (- t x)) (* (- y z) (- (pow t 3) (pow x 3))) (* (- y z) (- (* t t) (* x x))) (* (- (pow y 3) (pow z 3)) (- t x)) (* (- (* y y) (* z z)) (- t x)) (exp (+ x (* (- y z) (- t x)))) (log (+ x (* (- y z) (- t x)))) (exp (+ x (* (- y z) (- t x)))) (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x))))) (cbrt (+ x (* (- y z) (- t x)))) (pow (+ x (* (- y z) (- t x))) 3) (sqrt (+ x (* (- y z) (- t x)))) (sqrt (+ x (* (- y z) (- t x)))) (+ (pow x 3) (pow (* (- y z) (- t x)) 3)) (+ (* (* (- y z) (- t x)) (- (* (- y z) (- t x)) x)) (* x x)) (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x)))) (- x (* (- y z) (- t x))) (+ x (* t (- y z))) (+ x (* t (- y z))) (+ x (* t (- y z))) (+ x (* t (- y z))) 0 (- (* z (- x t)) (* x y)) (- (* z (- x t)) (* x y)) (+ x (* x (- z y))) (+ (* x z) (* t (- y z))) (+ (* x z) (* t (- y z))) 14.529 * * * [progress]: adding candidates to table 14.634 * * [progress]: iteration 2 / 4 14.634 * * * [progress]: picking best candidate 14.642 * * * * [pick]: Picked # 14.643 * * * [progress]: localizing error 14.651 * * * [progress]: generating rewritten candidates 14.651 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 14.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 14.674 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 14.677 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 14.689 * * * [progress]: generating series expansions 14.689 * * * * [progress]: [ 1 / 4 ] generating series at (2) 14.689 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x t y z) around 0 14.689 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z 14.689 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z 14.689 * [taylor]: Taking taylor expansion of (* x z) in z 14.689 * [taylor]: Taking taylor expansion of x in z 14.689 * [taylor]: Taking taylor expansion of z in z 14.689 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 14.689 * [taylor]: Taking taylor expansion of x in z 14.689 * [taylor]: Taking taylor expansion of (* t y) in z 14.689 * [taylor]: Taking taylor expansion of t in z 14.689 * [taylor]: Taking taylor expansion of y in z 14.689 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 14.689 * [taylor]: Taking taylor expansion of (* t z) in z 14.689 * [taylor]: Taking taylor expansion of t in z 14.689 * [taylor]: Taking taylor expansion of z in z 14.689 * [taylor]: Taking taylor expansion of (* x y) in z 14.689 * [taylor]: Taking taylor expansion of x in z 14.689 * [taylor]: Taking taylor expansion of y in z 14.689 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y 14.689 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y 14.689 * [taylor]: Taking taylor expansion of (* x z) in y 14.689 * [taylor]: Taking taylor expansion of x in y 14.689 * [taylor]: Taking taylor expansion of z in y 14.689 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 14.689 * [taylor]: Taking taylor expansion of x in y 14.689 * [taylor]: Taking taylor expansion of (* t y) in y 14.689 * [taylor]: Taking taylor expansion of t in y 14.689 * [taylor]: Taking taylor expansion of y in y 14.689 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 14.689 * [taylor]: Taking taylor expansion of (* t z) in y 14.689 * [taylor]: Taking taylor expansion of t in y 14.689 * [taylor]: Taking taylor expansion of z in y 14.689 * [taylor]: Taking taylor expansion of (* x y) in y 14.689 * [taylor]: Taking taylor expansion of x in y 14.689 * [taylor]: Taking taylor expansion of y in y 14.690 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t 14.690 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t 14.690 * [taylor]: Taking taylor expansion of (* x z) in t 14.690 * [taylor]: Taking taylor expansion of x in t 14.690 * [taylor]: Taking taylor expansion of z in t 14.690 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 14.690 * [taylor]: Taking taylor expansion of x in t 14.690 * [taylor]: Taking taylor expansion of (* t y) in t 14.690 * [taylor]: Taking taylor expansion of t in t 14.690 * [taylor]: Taking taylor expansion of y in t 14.690 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 14.690 * [taylor]: Taking taylor expansion of (* t z) in t 14.690 * [taylor]: Taking taylor expansion of t in t 14.690 * [taylor]: Taking taylor expansion of z in t 14.690 * [taylor]: Taking taylor expansion of (* x y) in t 14.690 * [taylor]: Taking taylor expansion of x in t 14.690 * [taylor]: Taking taylor expansion of y in t 14.690 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 14.690 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 14.690 * [taylor]: Taking taylor expansion of (* x z) in x 14.690 * [taylor]: Taking taylor expansion of x in x 14.690 * [taylor]: Taking taylor expansion of z in x 14.690 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 14.690 * [taylor]: Taking taylor expansion of x in x 14.690 * [taylor]: Taking taylor expansion of (* t y) in x 14.690 * [taylor]: Taking taylor expansion of t in x 14.690 * [taylor]: Taking taylor expansion of y in x 14.690 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 14.690 * [taylor]: Taking taylor expansion of (* t z) in x 14.690 * [taylor]: Taking taylor expansion of t in x 14.690 * [taylor]: Taking taylor expansion of z in x 14.690 * [taylor]: Taking taylor expansion of (* x y) in x 14.690 * [taylor]: Taking taylor expansion of x in x 14.690 * [taylor]: Taking taylor expansion of y in x 14.690 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 14.690 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 14.690 * [taylor]: Taking taylor expansion of (* x z) in x 14.690 * [taylor]: Taking taylor expansion of x in x 14.690 * [taylor]: Taking taylor expansion of z in x 14.690 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 14.690 * [taylor]: Taking taylor expansion of x in x 14.690 * [taylor]: Taking taylor expansion of (* t y) in x 14.690 * [taylor]: Taking taylor expansion of t in x 14.690 * [taylor]: Taking taylor expansion of y in x 14.690 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 14.690 * [taylor]: Taking taylor expansion of (* t z) in x 14.690 * [taylor]: Taking taylor expansion of t in x 14.690 * [taylor]: Taking taylor expansion of z in x 14.690 * [taylor]: Taking taylor expansion of (* x y) in x 14.690 * [taylor]: Taking taylor expansion of x in x 14.690 * [taylor]: Taking taylor expansion of y in x 14.691 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t 14.691 * [taylor]: Taking taylor expansion of (* t y) in t 14.691 * [taylor]: Taking taylor expansion of t in t 14.691 * [taylor]: Taking taylor expansion of y in t 14.691 * [taylor]: Taking taylor expansion of (* t z) in t 14.691 * [taylor]: Taking taylor expansion of t in t 14.691 * [taylor]: Taking taylor expansion of z in t 14.691 * [taylor]: Taking taylor expansion of 0 in y 14.691 * [taylor]: Taking taylor expansion of 0 in z 14.692 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in t 14.692 * [taylor]: Taking taylor expansion of (+ z 1) in t 14.692 * [taylor]: Taking taylor expansion of z in t 14.692 * [taylor]: Taking taylor expansion of 1 in t 14.692 * [taylor]: Taking taylor expansion of y in t 14.693 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y 14.693 * [taylor]: Taking taylor expansion of (+ z 1) in y 14.693 * [taylor]: Taking taylor expansion of z in y 14.693 * [taylor]: Taking taylor expansion of 1 in y 14.693 * [taylor]: Taking taylor expansion of y in y 14.693 * [taylor]: Taking taylor expansion of (+ z 1) in z 14.693 * [taylor]: Taking taylor expansion of z in z 14.693 * [taylor]: Taking taylor expansion of 1 in z 14.694 * [taylor]: Taking taylor expansion of (- y z) in y 14.694 * [taylor]: Taking taylor expansion of y in y 14.694 * [taylor]: Taking taylor expansion of z in y 14.696 * [taylor]: Taking taylor expansion of (- z) in z 14.696 * [taylor]: Taking taylor expansion of z in z 14.697 * [taylor]: Taking taylor expansion of 0 in z 14.699 * [taylor]: Taking taylor expansion of 0 in t 14.699 * [taylor]: Taking taylor expansion of 0 in y 14.699 * [taylor]: Taking taylor expansion of 0 in z 14.700 * [taylor]: Taking taylor expansion of 0 in y 14.700 * [taylor]: Taking taylor expansion of 0 in z 14.702 * [taylor]: Taking taylor expansion of 0 in y 14.702 * [taylor]: Taking taylor expansion of 0 in z 14.702 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x t y z) around 0 14.702 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 14.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z 14.702 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 14.702 * [taylor]: Taking taylor expansion of (* t y) in z 14.702 * [taylor]: Taking taylor expansion of t in z 14.702 * [taylor]: Taking taylor expansion of y in z 14.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z 14.702 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 14.702 * [taylor]: Taking taylor expansion of (* x z) in z 14.702 * [taylor]: Taking taylor expansion of x in z 14.702 * [taylor]: Taking taylor expansion of z in z 14.703 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.703 * [taylor]: Taking taylor expansion of x in z 14.703 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 14.703 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 14.703 * [taylor]: Taking taylor expansion of (* t z) in z 14.703 * [taylor]: Taking taylor expansion of t in z 14.703 * [taylor]: Taking taylor expansion of z in z 14.703 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 14.703 * [taylor]: Taking taylor expansion of (* x y) in z 14.703 * [taylor]: Taking taylor expansion of x in z 14.703 * [taylor]: Taking taylor expansion of y in z 14.703 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 14.703 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y 14.703 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 14.703 * [taylor]: Taking taylor expansion of (* t y) in y 14.703 * [taylor]: Taking taylor expansion of t in y 14.703 * [taylor]: Taking taylor expansion of y in y 14.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y 14.704 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 14.704 * [taylor]: Taking taylor expansion of (* x z) in y 14.704 * [taylor]: Taking taylor expansion of x in y 14.704 * [taylor]: Taking taylor expansion of z in y 14.704 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.704 * [taylor]: Taking taylor expansion of x in y 14.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 14.704 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 14.704 * [taylor]: Taking taylor expansion of (* t z) in y 14.704 * [taylor]: Taking taylor expansion of t in y 14.704 * [taylor]: Taking taylor expansion of z in y 14.704 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.704 * [taylor]: Taking taylor expansion of (* x y) in y 14.704 * [taylor]: Taking taylor expansion of x in y 14.704 * [taylor]: Taking taylor expansion of y in y 14.704 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 14.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t 14.704 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.704 * [taylor]: Taking taylor expansion of (* t y) in t 14.704 * [taylor]: Taking taylor expansion of t in t 14.704 * [taylor]: Taking taylor expansion of y in t 14.705 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t 14.705 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 14.705 * [taylor]: Taking taylor expansion of (* x z) in t 14.705 * [taylor]: Taking taylor expansion of x in t 14.705 * [taylor]: Taking taylor expansion of z in t 14.705 * [taylor]: Taking taylor expansion of (/ 1 x) in t 14.705 * [taylor]: Taking taylor expansion of x in t 14.705 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 14.705 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.705 * [taylor]: Taking taylor expansion of (* t z) in t 14.705 * [taylor]: Taking taylor expansion of t in t 14.705 * [taylor]: Taking taylor expansion of z in t 14.705 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 14.705 * [taylor]: Taking taylor expansion of (* x y) in t 14.705 * [taylor]: Taking taylor expansion of x in t 14.705 * [taylor]: Taking taylor expansion of y in t 14.705 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 14.705 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 14.705 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.705 * [taylor]: Taking taylor expansion of (* t y) in x 14.705 * [taylor]: Taking taylor expansion of t in x 14.705 * [taylor]: Taking taylor expansion of y in x 14.706 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 14.706 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.706 * [taylor]: Taking taylor expansion of (* x z) in x 14.706 * [taylor]: Taking taylor expansion of x in x 14.706 * [taylor]: Taking taylor expansion of z in x 14.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.706 * [taylor]: Taking taylor expansion of x in x 14.706 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 14.706 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.706 * [taylor]: Taking taylor expansion of (* t z) in x 14.706 * [taylor]: Taking taylor expansion of t in x 14.706 * [taylor]: Taking taylor expansion of z in x 14.706 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.706 * [taylor]: Taking taylor expansion of (* x y) in x 14.706 * [taylor]: Taking taylor expansion of x in x 14.706 * [taylor]: Taking taylor expansion of y in x 14.707 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 14.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 14.707 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.707 * [taylor]: Taking taylor expansion of (* t y) in x 14.707 * [taylor]: Taking taylor expansion of t in x 14.707 * [taylor]: Taking taylor expansion of y in x 14.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 14.707 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.707 * [taylor]: Taking taylor expansion of (* x z) in x 14.707 * [taylor]: Taking taylor expansion of x in x 14.707 * [taylor]: Taking taylor expansion of z in x 14.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.707 * [taylor]: Taking taylor expansion of x in x 14.708 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 14.708 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.708 * [taylor]: Taking taylor expansion of (* t z) in x 14.708 * [taylor]: Taking taylor expansion of t in x 14.708 * [taylor]: Taking taylor expansion of z in x 14.708 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.708 * [taylor]: Taking taylor expansion of (* x y) in x 14.708 * [taylor]: Taking taylor expansion of x in x 14.708 * [taylor]: Taking taylor expansion of y in x 14.708 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in t 14.708 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t 14.708 * [taylor]: Taking taylor expansion of (/ 1 z) in t 14.708 * [taylor]: Taking taylor expansion of z in t 14.708 * [taylor]: Taking taylor expansion of 1 in t 14.708 * [taylor]: Taking taylor expansion of (/ 1 y) in t 14.708 * [taylor]: Taking taylor expansion of y in t 14.710 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 14.710 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.710 * [taylor]: Taking taylor expansion of (* t y) in t 14.710 * [taylor]: Taking taylor expansion of t in t 14.710 * [taylor]: Taking taylor expansion of y in t 14.711 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.711 * [taylor]: Taking taylor expansion of (* t z) in t 14.711 * [taylor]: Taking taylor expansion of t in t 14.711 * [taylor]: Taking taylor expansion of z in t 14.711 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.711 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.711 * [taylor]: Taking taylor expansion of y in y 14.712 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.712 * [taylor]: Taking taylor expansion of z in y 14.712 * [taylor]: Taking taylor expansion of 1 in z 14.712 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y 14.712 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y 14.712 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.712 * [taylor]: Taking taylor expansion of z in y 14.712 * [taylor]: Taking taylor expansion of 1 in y 14.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.712 * [taylor]: Taking taylor expansion of y in y 14.713 * [taylor]: Taking taylor expansion of -1 in z 14.716 * [taylor]: Taking taylor expansion of 0 in t 14.718 * [taylor]: Taking taylor expansion of 0 in y 14.719 * [taylor]: Taking taylor expansion of 0 in y 14.719 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.719 * [taylor]: Taking taylor expansion of z in z 14.721 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 14.721 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.721 * [taylor]: Taking taylor expansion of z in z 14.721 * [taylor]: Taking taylor expansion of 1 in z 14.722 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x t y z) around 0 14.722 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z 14.722 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z 14.722 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 14.722 * [taylor]: Taking taylor expansion of (* x z) in z 14.722 * [taylor]: Taking taylor expansion of x in z 14.722 * [taylor]: Taking taylor expansion of z in z 14.722 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 14.722 * [taylor]: Taking taylor expansion of (* t y) in z 14.722 * [taylor]: Taking taylor expansion of t in z 14.722 * [taylor]: Taking taylor expansion of y in z 14.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z 14.723 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 14.723 * [taylor]: Taking taylor expansion of (* t z) in z 14.723 * [taylor]: Taking taylor expansion of t in z 14.723 * [taylor]: Taking taylor expansion of z in z 14.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z 14.723 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 14.723 * [taylor]: Taking taylor expansion of (* x y) in z 14.723 * [taylor]: Taking taylor expansion of x in z 14.723 * [taylor]: Taking taylor expansion of y in z 14.723 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.723 * [taylor]: Taking taylor expansion of x in z 14.723 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y 14.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y 14.723 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 14.723 * [taylor]: Taking taylor expansion of (* x z) in y 14.723 * [taylor]: Taking taylor expansion of x in y 14.723 * [taylor]: Taking taylor expansion of z in y 14.723 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 14.723 * [taylor]: Taking taylor expansion of (* t y) in y 14.723 * [taylor]: Taking taylor expansion of t in y 14.723 * [taylor]: Taking taylor expansion of y in y 14.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y 14.724 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 14.724 * [taylor]: Taking taylor expansion of (* t z) in y 14.724 * [taylor]: Taking taylor expansion of t in y 14.724 * [taylor]: Taking taylor expansion of z in y 14.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 14.724 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.724 * [taylor]: Taking taylor expansion of (* x y) in y 14.724 * [taylor]: Taking taylor expansion of x in y 14.724 * [taylor]: Taking taylor expansion of y in y 14.724 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.724 * [taylor]: Taking taylor expansion of x in y 14.724 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t 14.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 14.724 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 14.724 * [taylor]: Taking taylor expansion of (* x z) in t 14.724 * [taylor]: Taking taylor expansion of x in t 14.724 * [taylor]: Taking taylor expansion of z in t 14.724 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.724 * [taylor]: Taking taylor expansion of (* t y) in t 14.724 * [taylor]: Taking taylor expansion of t in t 14.724 * [taylor]: Taking taylor expansion of y in t 14.725 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t 14.725 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.725 * [taylor]: Taking taylor expansion of (* t z) in t 14.725 * [taylor]: Taking taylor expansion of t in t 14.725 * [taylor]: Taking taylor expansion of z in t 14.725 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t 14.725 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 14.725 * [taylor]: Taking taylor expansion of (* x y) in t 14.725 * [taylor]: Taking taylor expansion of x in t 14.725 * [taylor]: Taking taylor expansion of y in t 14.725 * [taylor]: Taking taylor expansion of (/ 1 x) in t 14.725 * [taylor]: Taking taylor expansion of x in t 14.725 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 14.725 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 14.725 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.725 * [taylor]: Taking taylor expansion of (* x z) in x 14.725 * [taylor]: Taking taylor expansion of x in x 14.725 * [taylor]: Taking taylor expansion of z in x 14.726 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.726 * [taylor]: Taking taylor expansion of (* t y) in x 14.726 * [taylor]: Taking taylor expansion of t in x 14.726 * [taylor]: Taking taylor expansion of y in x 14.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 14.726 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.726 * [taylor]: Taking taylor expansion of (* t z) in x 14.726 * [taylor]: Taking taylor expansion of t in x 14.726 * [taylor]: Taking taylor expansion of z in x 14.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 14.726 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.726 * [taylor]: Taking taylor expansion of (* x y) in x 14.726 * [taylor]: Taking taylor expansion of x in x 14.726 * [taylor]: Taking taylor expansion of y in x 14.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.726 * [taylor]: Taking taylor expansion of x in x 14.727 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 14.727 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 14.727 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.727 * [taylor]: Taking taylor expansion of (* x z) in x 14.727 * [taylor]: Taking taylor expansion of x in x 14.727 * [taylor]: Taking taylor expansion of z in x 14.727 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.727 * [taylor]: Taking taylor expansion of (* t y) in x 14.727 * [taylor]: Taking taylor expansion of t in x 14.727 * [taylor]: Taking taylor expansion of y in x 14.727 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 14.727 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.727 * [taylor]: Taking taylor expansion of (* t z) in x 14.727 * [taylor]: Taking taylor expansion of t in x 14.727 * [taylor]: Taking taylor expansion of z in x 14.727 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 14.727 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.727 * [taylor]: Taking taylor expansion of (* x y) in x 14.727 * [taylor]: Taking taylor expansion of x in x 14.727 * [taylor]: Taking taylor expansion of y in x 14.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.728 * [taylor]: Taking taylor expansion of x in x 14.728 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in t 14.728 * [taylor]: Taking taylor expansion of (/ 1 z) in t 14.728 * [taylor]: Taking taylor expansion of z in t 14.728 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t 14.728 * [taylor]: Taking taylor expansion of (/ 1 y) in t 14.728 * [taylor]: Taking taylor expansion of y in t 14.728 * [taylor]: Taking taylor expansion of 1 in t 14.730 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 14.730 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.730 * [taylor]: Taking taylor expansion of (* t y) in t 14.730 * [taylor]: Taking taylor expansion of t in t 14.730 * [taylor]: Taking taylor expansion of y in t 14.731 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.731 * [taylor]: Taking taylor expansion of (* t z) in t 14.731 * [taylor]: Taking taylor expansion of t in t 14.731 * [taylor]: Taking taylor expansion of z in t 14.731 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.731 * [taylor]: Taking taylor expansion of y in y 14.731 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.731 * [taylor]: Taking taylor expansion of z in y 14.732 * [taylor]: Taking taylor expansion of 1 in z 14.732 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y 14.732 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.732 * [taylor]: Taking taylor expansion of z in y 14.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 14.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.732 * [taylor]: Taking taylor expansion of y in y 14.732 * [taylor]: Taking taylor expansion of 1 in y 14.733 * [taylor]: Taking taylor expansion of -1 in z 14.736 * [taylor]: Taking taylor expansion of 0 in t 14.738 * [taylor]: Taking taylor expansion of 0 in y 14.739 * [taylor]: Taking taylor expansion of 0 in y 14.739 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.739 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.739 * [taylor]: Taking taylor expansion of z in z 14.741 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z 14.741 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.741 * [taylor]: Taking taylor expansion of z in z 14.741 * [taylor]: Taking taylor expansion of 1 in z 14.742 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 14.742 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (x y z) around 0 14.742 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z 14.742 * [taylor]: Taking taylor expansion of -1 in z 14.742 * [taylor]: Taking taylor expansion of (* (- y z) x) in z 14.742 * [taylor]: Taking taylor expansion of (- y z) in z 14.742 * [taylor]: Taking taylor expansion of y in z 14.742 * [taylor]: Taking taylor expansion of z in z 14.742 * [taylor]: Taking taylor expansion of x in z 14.742 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y 14.742 * [taylor]: Taking taylor expansion of -1 in y 14.742 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 14.742 * [taylor]: Taking taylor expansion of (- y z) in y 14.742 * [taylor]: Taking taylor expansion of y in y 14.742 * [taylor]: Taking taylor expansion of z in y 14.742 * [taylor]: Taking taylor expansion of x in y 14.742 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x 14.742 * [taylor]: Taking taylor expansion of -1 in x 14.742 * [taylor]: Taking taylor expansion of (* (- y z) x) in x 14.742 * [taylor]: Taking taylor expansion of (- y z) in x 14.742 * [taylor]: Taking taylor expansion of y in x 14.742 * [taylor]: Taking taylor expansion of z in x 14.742 * [taylor]: Taking taylor expansion of x in x 14.742 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x 14.742 * [taylor]: Taking taylor expansion of -1 in x 14.742 * [taylor]: Taking taylor expansion of (* (- y z) x) in x 14.742 * [taylor]: Taking taylor expansion of (- y z) in x 14.742 * [taylor]: Taking taylor expansion of y in x 14.742 * [taylor]: Taking taylor expansion of z in x 14.742 * [taylor]: Taking taylor expansion of x in x 14.743 * [taylor]: Taking taylor expansion of 0 in y 14.743 * [taylor]: Taking taylor expansion of 0 in z 14.744 * [taylor]: Taking taylor expansion of (- z y) in y 14.744 * [taylor]: Taking taylor expansion of z in y 14.744 * [taylor]: Taking taylor expansion of y in y 14.744 * [taylor]: Taking taylor expansion of z in z 14.744 * [taylor]: Taking taylor expansion of 0 in z 14.745 * [taylor]: Taking taylor expansion of 0 in y 14.745 * [taylor]: Taking taylor expansion of 0 in z 14.746 * [taylor]: Taking taylor expansion of -1 in z 14.746 * [taylor]: Taking taylor expansion of 0 in z 14.748 * [taylor]: Taking taylor expansion of 0 in y 14.748 * [taylor]: Taking taylor expansion of 0 in z 14.748 * [taylor]: Taking taylor expansion of 0 in z 14.748 * [taylor]: Taking taylor expansion of 0 in z 14.748 * [taylor]: Taking taylor expansion of 0 in z 14.749 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (x y z) around 0 14.749 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z 14.749 * [taylor]: Taking taylor expansion of -1 in z 14.749 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z 14.749 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 14.749 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.749 * [taylor]: Taking taylor expansion of y in z 14.749 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.749 * [taylor]: Taking taylor expansion of z in z 14.749 * [taylor]: Taking taylor expansion of x in z 14.750 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y 14.750 * [taylor]: Taking taylor expansion of -1 in y 14.750 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 14.750 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.750 * [taylor]: Taking taylor expansion of y in y 14.750 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.750 * [taylor]: Taking taylor expansion of z in y 14.750 * [taylor]: Taking taylor expansion of x in y 14.750 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x 14.750 * [taylor]: Taking taylor expansion of -1 in x 14.750 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 14.750 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 14.750 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.750 * [taylor]: Taking taylor expansion of y in x 14.750 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.750 * [taylor]: Taking taylor expansion of z in x 14.750 * [taylor]: Taking taylor expansion of x in x 14.751 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x 14.751 * [taylor]: Taking taylor expansion of -1 in x 14.751 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 14.751 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 14.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.751 * [taylor]: Taking taylor expansion of y in x 14.751 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.751 * [taylor]: Taking taylor expansion of z in x 14.751 * [taylor]: Taking taylor expansion of x in x 14.751 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 z))) in y 14.751 * [taylor]: Taking taylor expansion of -1 in y 14.751 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.751 * [taylor]: Taking taylor expansion of y in y 14.751 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.751 * [taylor]: Taking taylor expansion of z in y 14.752 * [taylor]: Taking taylor expansion of -1 in z 14.753 * [taylor]: Taking taylor expansion of 0 in y 14.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.754 * [taylor]: Taking taylor expansion of z in z 14.756 * [taylor]: Taking taylor expansion of 0 in y 14.757 * [taylor]: Taking taylor expansion of 0 in z 14.758 * [taylor]: Taking taylor expansion of 0 in z 14.761 * [taylor]: Taking taylor expansion of 0 in y 14.761 * [taylor]: Taking taylor expansion of 0 in z 14.761 * [taylor]: Taking taylor expansion of 0 in z 14.763 * [taylor]: Taking taylor expansion of 0 in z 14.764 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (x y z) around 0 14.764 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z 14.764 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 14.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.764 * [taylor]: Taking taylor expansion of z in z 14.764 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.764 * [taylor]: Taking taylor expansion of y in z 14.764 * [taylor]: Taking taylor expansion of x in z 14.765 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 14.765 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 14.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.765 * [taylor]: Taking taylor expansion of z in y 14.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.765 * [taylor]: Taking taylor expansion of y in y 14.765 * [taylor]: Taking taylor expansion of x in y 14.766 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 14.766 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 14.766 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.766 * [taylor]: Taking taylor expansion of z in x 14.766 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.766 * [taylor]: Taking taylor expansion of y in x 14.766 * [taylor]: Taking taylor expansion of x in x 14.766 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 14.766 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 14.766 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.766 * [taylor]: Taking taylor expansion of z in x 14.766 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.766 * [taylor]: Taking taylor expansion of y in x 14.766 * [taylor]: Taking taylor expansion of x in x 14.766 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 14.766 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.766 * [taylor]: Taking taylor expansion of z in y 14.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.766 * [taylor]: Taking taylor expansion of y in y 14.767 * [taylor]: Taking taylor expansion of -1 in z 14.768 * [taylor]: Taking taylor expansion of 0 in y 14.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.769 * [taylor]: Taking taylor expansion of z in z 14.771 * [taylor]: Taking taylor expansion of 0 in y 14.771 * [taylor]: Taking taylor expansion of 0 in z 14.772 * [taylor]: Taking taylor expansion of 0 in z 14.774 * [taylor]: Taking taylor expansion of 0 in y 14.774 * [taylor]: Taking taylor expansion of 0 in z 14.774 * [taylor]: Taking taylor expansion of 0 in z 14.775 * [taylor]: Taking taylor expansion of 0 in z 14.776 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 14.776 * [approximate]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in (x t y z) around 0 14.776 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in z 14.776 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 14.776 * [taylor]: Taking taylor expansion of x in z 14.776 * [taylor]: Taking taylor expansion of (* t y) in z 14.776 * [taylor]: Taking taylor expansion of t in z 14.776 * [taylor]: Taking taylor expansion of y in z 14.776 * [taylor]: Taking taylor expansion of (* t z) in z 14.776 * [taylor]: Taking taylor expansion of t in z 14.776 * [taylor]: Taking taylor expansion of z in z 14.776 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in y 14.776 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 14.776 * [taylor]: Taking taylor expansion of x in y 14.776 * [taylor]: Taking taylor expansion of (* t y) in y 14.776 * [taylor]: Taking taylor expansion of t in y 14.776 * [taylor]: Taking taylor expansion of y in y 14.776 * [taylor]: Taking taylor expansion of (* t z) in y 14.776 * [taylor]: Taking taylor expansion of t in y 14.776 * [taylor]: Taking taylor expansion of z in y 14.776 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in t 14.776 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 14.776 * [taylor]: Taking taylor expansion of x in t 14.776 * [taylor]: Taking taylor expansion of (* t y) in t 14.776 * [taylor]: Taking taylor expansion of t in t 14.776 * [taylor]: Taking taylor expansion of y in t 14.776 * [taylor]: Taking taylor expansion of (* t z) in t 14.776 * [taylor]: Taking taylor expansion of t in t 14.776 * [taylor]: Taking taylor expansion of z in t 14.776 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x 14.776 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 14.776 * [taylor]: Taking taylor expansion of x in x 14.776 * [taylor]: Taking taylor expansion of (* t y) in x 14.776 * [taylor]: Taking taylor expansion of t in x 14.776 * [taylor]: Taking taylor expansion of y in x 14.776 * [taylor]: Taking taylor expansion of (* t z) in x 14.777 * [taylor]: Taking taylor expansion of t in x 14.777 * [taylor]: Taking taylor expansion of z in x 14.777 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x 14.777 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 14.777 * [taylor]: Taking taylor expansion of x in x 14.777 * [taylor]: Taking taylor expansion of (* t y) in x 14.777 * [taylor]: Taking taylor expansion of t in x 14.777 * [taylor]: Taking taylor expansion of y in x 14.777 * [taylor]: Taking taylor expansion of (* t z) in x 14.777 * [taylor]: Taking taylor expansion of t in x 14.777 * [taylor]: Taking taylor expansion of z in x 14.777 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t 14.777 * [taylor]: Taking taylor expansion of (* t y) in t 14.777 * [taylor]: Taking taylor expansion of t in t 14.777 * [taylor]: Taking taylor expansion of y in t 14.777 * [taylor]: Taking taylor expansion of (* t z) in t 14.777 * [taylor]: Taking taylor expansion of t in t 14.777 * [taylor]: Taking taylor expansion of z in t 14.777 * [taylor]: Taking taylor expansion of 0 in y 14.778 * [taylor]: Taking taylor expansion of 0 in z 14.778 * [taylor]: Taking taylor expansion of 1 in t 14.778 * [taylor]: Taking taylor expansion of 1 in y 14.778 * [taylor]: Taking taylor expansion of 1 in z 14.779 * [taylor]: Taking taylor expansion of (- y z) in y 14.779 * [taylor]: Taking taylor expansion of y in y 14.779 * [taylor]: Taking taylor expansion of z in y 14.779 * [taylor]: Taking taylor expansion of (- z) in z 14.779 * [taylor]: Taking taylor expansion of z in z 14.779 * [taylor]: Taking taylor expansion of 0 in z 14.781 * [taylor]: Taking taylor expansion of 0 in t 14.781 * [taylor]: Taking taylor expansion of 0 in y 14.781 * [taylor]: Taking taylor expansion of 0 in z 14.781 * [taylor]: Taking taylor expansion of 0 in y 14.781 * [taylor]: Taking taylor expansion of 0 in z 14.784 * [taylor]: Taking taylor expansion of 0 in y 14.784 * [taylor]: Taking taylor expansion of 0 in z 14.785 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in (x t y z) around 0 14.785 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in z 14.785 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in z 14.785 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 14.785 * [taylor]: Taking taylor expansion of (* t y) in z 14.785 * [taylor]: Taking taylor expansion of t in z 14.785 * [taylor]: Taking taylor expansion of y in z 14.785 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.785 * [taylor]: Taking taylor expansion of x in z 14.785 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 14.785 * [taylor]: Taking taylor expansion of (* t z) in z 14.785 * [taylor]: Taking taylor expansion of t in z 14.785 * [taylor]: Taking taylor expansion of z in z 14.785 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in y 14.785 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y 14.785 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 14.785 * [taylor]: Taking taylor expansion of (* t y) in y 14.785 * [taylor]: Taking taylor expansion of t in y 14.785 * [taylor]: Taking taylor expansion of y in y 14.786 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.786 * [taylor]: Taking taylor expansion of x in y 14.786 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 14.786 * [taylor]: Taking taylor expansion of (* t z) in y 14.786 * [taylor]: Taking taylor expansion of t in y 14.786 * [taylor]: Taking taylor expansion of z in y 14.786 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in t 14.786 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t 14.786 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.786 * [taylor]: Taking taylor expansion of (* t y) in t 14.786 * [taylor]: Taking taylor expansion of t in t 14.786 * [taylor]: Taking taylor expansion of y in t 14.786 * [taylor]: Taking taylor expansion of (/ 1 x) in t 14.786 * [taylor]: Taking taylor expansion of x in t 14.786 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.786 * [taylor]: Taking taylor expansion of (* t z) in t 14.786 * [taylor]: Taking taylor expansion of t in t 14.786 * [taylor]: Taking taylor expansion of z in t 14.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x 14.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 14.787 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.787 * [taylor]: Taking taylor expansion of (* t y) in x 14.787 * [taylor]: Taking taylor expansion of t in x 14.787 * [taylor]: Taking taylor expansion of y in x 14.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.787 * [taylor]: Taking taylor expansion of x in x 14.787 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.787 * [taylor]: Taking taylor expansion of (* t z) in x 14.787 * [taylor]: Taking taylor expansion of t in x 14.787 * [taylor]: Taking taylor expansion of z in x 14.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x 14.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 14.787 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.787 * [taylor]: Taking taylor expansion of (* t y) in x 14.787 * [taylor]: Taking taylor expansion of t in x 14.787 * [taylor]: Taking taylor expansion of y in x 14.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.787 * [taylor]: Taking taylor expansion of x in x 14.788 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.788 * [taylor]: Taking taylor expansion of (* t z) in x 14.788 * [taylor]: Taking taylor expansion of t in x 14.788 * [taylor]: Taking taylor expansion of z in x 14.788 * [taylor]: Taking taylor expansion of 1 in t 14.789 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 14.789 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.789 * [taylor]: Taking taylor expansion of (* t y) in t 14.789 * [taylor]: Taking taylor expansion of t in t 14.789 * [taylor]: Taking taylor expansion of y in t 14.789 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.789 * [taylor]: Taking taylor expansion of (* t z) in t 14.789 * [taylor]: Taking taylor expansion of t in t 14.789 * [taylor]: Taking taylor expansion of z in t 14.790 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.790 * [taylor]: Taking taylor expansion of y in y 14.790 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.790 * [taylor]: Taking taylor expansion of z in y 14.790 * [taylor]: Taking taylor expansion of 1 in z 14.790 * [taylor]: Taking taylor expansion of 1 in y 14.792 * [taylor]: Taking taylor expansion of 0 in t 14.793 * [taylor]: Taking taylor expansion of 0 in y 14.793 * [taylor]: Taking taylor expansion of 0 in y 14.794 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.794 * [taylor]: Taking taylor expansion of z in z 14.795 * [taylor]: Taking taylor expansion of 1 in z 14.797 * [taylor]: Taking taylor expansion of 0 in t 14.797 * [taylor]: Taking taylor expansion of 0 in y 14.799 * [taylor]: Taking taylor expansion of 0 in y 14.799 * [taylor]: Taking taylor expansion of 0 in y 14.799 * [taylor]: Taking taylor expansion of 0 in z 14.799 * [taylor]: Taking taylor expansion of 0 in z 14.800 * [taylor]: Taking taylor expansion of 0 in z 14.800 * [taylor]: Taking taylor expansion of 0 in z 14.801 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in (x t y z) around 0 14.801 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in z 14.801 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 14.801 * [taylor]: Taking taylor expansion of (* t y) in z 14.801 * [taylor]: Taking taylor expansion of t in z 14.801 * [taylor]: Taking taylor expansion of y in z 14.801 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in z 14.801 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 14.801 * [taylor]: Taking taylor expansion of (* t z) in z 14.801 * [taylor]: Taking taylor expansion of t in z 14.801 * [taylor]: Taking taylor expansion of z in z 14.802 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.802 * [taylor]: Taking taylor expansion of x in z 14.802 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in y 14.802 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 14.802 * [taylor]: Taking taylor expansion of (* t y) in y 14.802 * [taylor]: Taking taylor expansion of t in y 14.802 * [taylor]: Taking taylor expansion of y in y 14.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in y 14.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 14.802 * [taylor]: Taking taylor expansion of (* t z) in y 14.802 * [taylor]: Taking taylor expansion of t in y 14.802 * [taylor]: Taking taylor expansion of z in y 14.802 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.802 * [taylor]: Taking taylor expansion of x in y 14.802 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in t 14.802 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.802 * [taylor]: Taking taylor expansion of (* t y) in t 14.802 * [taylor]: Taking taylor expansion of t in t 14.802 * [taylor]: Taking taylor expansion of y in t 14.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in t 14.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.803 * [taylor]: Taking taylor expansion of (* t z) in t 14.803 * [taylor]: Taking taylor expansion of t in t 14.803 * [taylor]: Taking taylor expansion of z in t 14.803 * [taylor]: Taking taylor expansion of (/ 1 x) in t 14.803 * [taylor]: Taking taylor expansion of x in t 14.803 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x 14.803 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.803 * [taylor]: Taking taylor expansion of (* t y) in x 14.803 * [taylor]: Taking taylor expansion of t in x 14.803 * [taylor]: Taking taylor expansion of y in x 14.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x 14.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.803 * [taylor]: Taking taylor expansion of (* t z) in x 14.803 * [taylor]: Taking taylor expansion of t in x 14.803 * [taylor]: Taking taylor expansion of z in x 14.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.803 * [taylor]: Taking taylor expansion of x in x 14.804 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x 14.804 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 14.804 * [taylor]: Taking taylor expansion of (* t y) in x 14.804 * [taylor]: Taking taylor expansion of t in x 14.804 * [taylor]: Taking taylor expansion of y in x 14.804 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x 14.804 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 14.804 * [taylor]: Taking taylor expansion of (* t z) in x 14.804 * [taylor]: Taking taylor expansion of t in x 14.804 * [taylor]: Taking taylor expansion of z in x 14.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.804 * [taylor]: Taking taylor expansion of x in x 14.805 * [taylor]: Taking taylor expansion of -1 in t 14.805 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 14.806 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 14.806 * [taylor]: Taking taylor expansion of (* t y) in t 14.806 * [taylor]: Taking taylor expansion of t in t 14.806 * [taylor]: Taking taylor expansion of y in t 14.806 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 14.806 * [taylor]: Taking taylor expansion of (* t z) in t 14.806 * [taylor]: Taking taylor expansion of t in t 14.806 * [taylor]: Taking taylor expansion of z in t 14.806 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.806 * [taylor]: Taking taylor expansion of y in y 14.807 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.807 * [taylor]: Taking taylor expansion of z in y 14.807 * [taylor]: Taking taylor expansion of 1 in z 14.807 * [taylor]: Taking taylor expansion of -1 in y 14.808 * [taylor]: Taking taylor expansion of 0 in t 14.810 * [taylor]: Taking taylor expansion of 0 in y 14.810 * [taylor]: Taking taylor expansion of 0 in y 14.810 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.811 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.811 * [taylor]: Taking taylor expansion of z in z 14.811 * [taylor]: Taking taylor expansion of -1 in z 14.813 * [taylor]: Taking taylor expansion of 0 in t 14.813 * [taylor]: Taking taylor expansion of 0 in y 14.815 * [taylor]: Taking taylor expansion of 0 in y 14.815 * [taylor]: Taking taylor expansion of 0 in y 14.815 * [taylor]: Taking taylor expansion of 0 in z 14.815 * [taylor]: Taking taylor expansion of 0 in z 14.816 * [taylor]: Taking taylor expansion of 0 in z 14.817 * [taylor]: Taking taylor expansion of 0 in z 14.818 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 14.818 * [approximate]: Taking taylor expansion of (* (- y z) t) in (t y z) around 0 14.818 * [taylor]: Taking taylor expansion of (* (- y z) t) in z 14.818 * [taylor]: Taking taylor expansion of (- y z) in z 14.818 * [taylor]: Taking taylor expansion of y in z 14.818 * [taylor]: Taking taylor expansion of z in z 14.818 * [taylor]: Taking taylor expansion of t in z 14.818 * [taylor]: Taking taylor expansion of (* (- y z) t) in y 14.818 * [taylor]: Taking taylor expansion of (- y z) in y 14.818 * [taylor]: Taking taylor expansion of y in y 14.818 * [taylor]: Taking taylor expansion of z in y 14.818 * [taylor]: Taking taylor expansion of t in y 14.818 * [taylor]: Taking taylor expansion of (* (- y z) t) in t 14.818 * [taylor]: Taking taylor expansion of (- y z) in t 14.818 * [taylor]: Taking taylor expansion of y in t 14.818 * [taylor]: Taking taylor expansion of z in t 14.818 * [taylor]: Taking taylor expansion of t in t 14.818 * [taylor]: Taking taylor expansion of (* (- y z) t) in t 14.818 * [taylor]: Taking taylor expansion of (- y z) in t 14.818 * [taylor]: Taking taylor expansion of y in t 14.818 * [taylor]: Taking taylor expansion of z in t 14.818 * [taylor]: Taking taylor expansion of t in t 14.818 * [taylor]: Taking taylor expansion of 0 in y 14.818 * [taylor]: Taking taylor expansion of 0 in z 14.819 * [taylor]: Taking taylor expansion of (- y z) in y 14.819 * [taylor]: Taking taylor expansion of y in y 14.819 * [taylor]: Taking taylor expansion of z in y 14.819 * [taylor]: Taking taylor expansion of (- z) in z 14.819 * [taylor]: Taking taylor expansion of z in z 14.819 * [taylor]: Taking taylor expansion of 0 in z 14.820 * [taylor]: Taking taylor expansion of 0 in y 14.820 * [taylor]: Taking taylor expansion of 0 in z 14.821 * [taylor]: Taking taylor expansion of 1 in z 14.821 * [taylor]: Taking taylor expansion of 0 in z 14.822 * [taylor]: Taking taylor expansion of 0 in y 14.822 * [taylor]: Taking taylor expansion of 0 in z 14.822 * [taylor]: Taking taylor expansion of 0 in z 14.822 * [taylor]: Taking taylor expansion of 0 in z 14.823 * [taylor]: Taking taylor expansion of 0 in z 14.823 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (t y z) around 0 14.823 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z 14.823 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 14.823 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.823 * [taylor]: Taking taylor expansion of y in z 14.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.823 * [taylor]: Taking taylor expansion of z in z 14.823 * [taylor]: Taking taylor expansion of t in z 14.824 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y 14.824 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.824 * [taylor]: Taking taylor expansion of y in y 14.824 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.824 * [taylor]: Taking taylor expansion of z in y 14.824 * [taylor]: Taking taylor expansion of t in y 14.824 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t 14.824 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 14.824 * [taylor]: Taking taylor expansion of (/ 1 y) in t 14.824 * [taylor]: Taking taylor expansion of y in t 14.824 * [taylor]: Taking taylor expansion of (/ 1 z) in t 14.824 * [taylor]: Taking taylor expansion of z in t 14.824 * [taylor]: Taking taylor expansion of t in t 14.825 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t 14.825 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 14.825 * [taylor]: Taking taylor expansion of (/ 1 y) in t 14.825 * [taylor]: Taking taylor expansion of y in t 14.825 * [taylor]: Taking taylor expansion of (/ 1 z) in t 14.825 * [taylor]: Taking taylor expansion of z in t 14.825 * [taylor]: Taking taylor expansion of t in t 14.825 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 14.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.825 * [taylor]: Taking taylor expansion of y in y 14.825 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.825 * [taylor]: Taking taylor expansion of z in y 14.826 * [taylor]: Taking taylor expansion of 1 in z 14.827 * [taylor]: Taking taylor expansion of 0 in y 14.827 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.827 * [taylor]: Taking taylor expansion of z in z 14.829 * [taylor]: Taking taylor expansion of 0 in y 14.829 * [taylor]: Taking taylor expansion of 0 in z 14.830 * [taylor]: Taking taylor expansion of 0 in z 14.833 * [taylor]: Taking taylor expansion of 0 in y 14.833 * [taylor]: Taking taylor expansion of 0 in z 14.833 * [taylor]: Taking taylor expansion of 0 in z 14.834 * [taylor]: Taking taylor expansion of 0 in z 14.835 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (t y z) around 0 14.835 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z 14.835 * [taylor]: Taking taylor expansion of -1 in z 14.835 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z 14.835 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 14.835 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.835 * [taylor]: Taking taylor expansion of z in z 14.835 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.835 * [taylor]: Taking taylor expansion of y in z 14.835 * [taylor]: Taking taylor expansion of t in z 14.836 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y 14.836 * [taylor]: Taking taylor expansion of -1 in y 14.836 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y 14.836 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 14.836 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.836 * [taylor]: Taking taylor expansion of z in y 14.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.836 * [taylor]: Taking taylor expansion of y in y 14.836 * [taylor]: Taking taylor expansion of t in y 14.837 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t 14.837 * [taylor]: Taking taylor expansion of -1 in t 14.837 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t 14.837 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 14.837 * [taylor]: Taking taylor expansion of (/ 1 z) in t 14.837 * [taylor]: Taking taylor expansion of z in t 14.837 * [taylor]: Taking taylor expansion of (/ 1 y) in t 14.837 * [taylor]: Taking taylor expansion of y in t 14.837 * [taylor]: Taking taylor expansion of t in t 14.837 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t 14.837 * [taylor]: Taking taylor expansion of -1 in t 14.837 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t 14.837 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 14.837 * [taylor]: Taking taylor expansion of (/ 1 z) in t 14.837 * [taylor]: Taking taylor expansion of z in t 14.837 * [taylor]: Taking taylor expansion of (/ 1 y) in t 14.837 * [taylor]: Taking taylor expansion of y in t 14.837 * [taylor]: Taking taylor expansion of t in t 14.837 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 y))) in y 14.837 * [taylor]: Taking taylor expansion of -1 in y 14.837 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 14.837 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.837 * [taylor]: Taking taylor expansion of z in y 14.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.838 * [taylor]: Taking taylor expansion of y in y 14.838 * [taylor]: Taking taylor expansion of 1 in z 14.840 * [taylor]: Taking taylor expansion of 0 in y 14.841 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 14.841 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.841 * [taylor]: Taking taylor expansion of z in z 14.843 * [taylor]: Taking taylor expansion of 0 in y 14.844 * [taylor]: Taking taylor expansion of 0 in z 14.845 * [taylor]: Taking taylor expansion of 0 in z 14.848 * [taylor]: Taking taylor expansion of 0 in y 14.848 * [taylor]: Taking taylor expansion of 0 in z 14.848 * [taylor]: Taking taylor expansion of 0 in z 14.850 * [taylor]: Taking taylor expansion of 0 in z 14.851 * * * [progress]: simplifying candidates 14.852 * [simplify]: Simplifying using # : (* (* (exp x) (exp (* t (- y z)))) (exp (* (- x) (- y z)))) (* (exp (+ x (* t (- y z)))) (exp (* (- x) (- y z)))) (log (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (exp (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (* (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z))))) (cbrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (* (* (+ (+ x (* t (- y z))) (* (- x) (- y z))) (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (sqrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (sqrt (+ (+ x (* t (- y z))) (* (- x) (- y z)))) (+ (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (* (- x) (- (pow y 3) (pow z 3))))) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (+ (* y y) (+ (* z z) (* y z)))) (+ (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ y z)) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (* (- x) (- (* y y) (* z z))))) (* (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (+ y z)) (+ (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ (* y y) (+ (* z z) (* y z)))) (* (- x (* t (- y z))) (* (- x) (- (pow y 3) (pow z 3))))) (* (- x (* t (- y z))) (+ (* y y) (+ (* z z) (* y z)))) (+ (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* (- x) (- (* y y) (* z z))))) (* (- x (* t (- y z))) (+ y z)) (+ (pow (+ x (* t (- y z))) 3) (pow (* (- x) (- y z)) 3)) (+ (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (- (* (* (- x) (- y z)) (* (- x) (- y z))) (* (+ x (* t (- y z))) (* (- x) (- y z))))) (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* (- x) (- y z)) (* (- x) (- y z)))) (- (+ x (* t (- y z))) (* (- x) (- y z))) (+ (+ x (* t (- y z))) (* (- x) y)) (+ (+ x (* t (- y z))) (* (- x) y)) (+ (+ x (* t (- y z))) (* y (- x))) (+ (+ x (* t (- y z))) (* y (- x))) (+ (* t (- y z)) (* (- x) (- y z))) (* (- x) (- y z)) (+ (log (- x)) (log (- y z))) (log (* (- x) (- y z))) (exp (* (- x) (- y z))) (* (* (* (- x) (- x)) (- x)) (* (* (- y z) (- y z)) (- y z))) (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z)))) (cbrt (* (- x) (- y z))) (* (* (* (- x) (- y z)) (* (- x) (- y z))) (* (- x) (- y z))) (sqrt (* (- x) (- y z))) (sqrt (* (- x) (- y z))) (* (sqrt (- x)) (sqrt (- y z))) (* (sqrt (- x)) (sqrt (- y z))) (* x (- y z)) (* (- x) y) (* (- x) (- z)) (* (- x) y) (* (- x) (- z)) (* y (- x)) (* (- z) (- x)) (* y (- x)) (* (- z) (- x)) (* (- x) (* (cbrt (- y z)) (cbrt (- y z)))) (* (- x) (sqrt (- y z))) (* (- x) 1) (* (- x) (+ (sqrt y) (sqrt z))) (* (- x) 1) (* (cbrt (- x)) (- y z)) (* (sqrt (- x)) (- y z)) (* (- x) (- y z)) (* x (- y z)) (* (cbrt x) (- y z)) (* (sqrt x) (- y z)) (* x (- y z)) (* (- (cbrt x)) (- y z)) (* (- (sqrt x)) (- y z)) (* (- x) (- y z)) (* (- x) (- (pow y 3) (pow z 3))) (* (- x) (- (* y y) (* z z))) (* (exp x) (exp (* t (- y z)))) (log (+ x (* t (- y z)))) (exp (+ x (* t (- y z)))) (* (cbrt (+ x (* t (- y z)))) (cbrt (+ x (* t (- y z))))) (cbrt (+ x (* t (- y z)))) (* (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (+ x (* t (- y z)))) (sqrt (+ x (* t (- y z)))) (sqrt (+ x (* t (- y z)))) (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (- (* x x) (* (* t (- y z)) (* t (- y z)))) (- x (* t (- y z))) (+ x (* t y)) (+ x (* t y)) (+ x (* y t)) (+ x (* y t)) (* t (- y z)) (+ (log t) (log (- y z))) (log (* t (- y z))) (exp (* t (- y z))) (* (* (* t t) t) (* (* (- y z) (- y z)) (- y z))) (* (cbrt (* t (- y z))) (cbrt (* t (- y z)))) (cbrt (* t (- y z))) (* (* (* t (- y z)) (* t (- y z))) (* t (- y z))) (sqrt (* t (- y z))) (sqrt (* t (- y z))) (* (sqrt t) (sqrt (- y z))) (* (sqrt t) (sqrt (- y z))) (* t y) (* t (- z)) (* t y) (* t (- z)) (* y t) (* (- z) t) (* y t) (* (- z) t) (* t (* (cbrt (- y z)) (cbrt (- y z)))) (* t (sqrt (- y z))) (* t 1) (* t (+ (sqrt y) (sqrt z))) (* t 1) (* (cbrt t) (- y z)) (* (sqrt t) (- y z)) (* t (- y z)) (* t (- (pow y 3) (pow z 3))) (* t (- (* y y) (* z z))) x (- (+ (* x z) (* t y)) (* t z)) (- (+ (* x z) (* t y)) (* t z)) (- (* x z) (* x y)) (- (* x z) (* x y)) (- (* x z) (* x y)) x (- (+ x (* t y)) (* t z)) (- (+ x (* t y)) (* t z)) (- (* t y) (* t z)) (- (* t y) (* t z)) (- (* t y) (* t z)) 14.856 * * [simplify]: iteration 0 : 159 enodes (cost 1355 ) 14.885 * * [simplify]: iteration 1 : 477 enodes (cost 1180 ) 14.986 * * [simplify]: iteration 2 : 2086 enodes (cost 1118 ) 15.516 * * [simplify]: iteration done : 5000 enodes (cost 1112 ) 15.517 * [simplify]: Simplified to: (exp (+ (* (- y z) (- t x)) x)) (exp (+ (* (- y z) (- t x)) x)) (log (+ (* (- y z) (- t x)) x)) (exp (+ (* (- y z) (- t x)) x)) (* (cbrt (+ (* (- y z) (- t x)) x)) (cbrt (+ (* (- y z) (- t x)) x))) (cbrt (+ (* (- y z) (- t x)) x)) (pow (+ (* (- y z) (- t x)) x) 3) (sqrt (+ (* (- y z) (- t x)) x)) (sqrt (+ (* (- y z) (- t x)) x)) (- (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* z (+ y z)) (* y y))) (* (* x (- (pow y 3) (pow z 3))) (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)))) (* (+ (* z (+ y z)) (* y y)) (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x))) (- (* (+ (pow x 3) (pow (* t (- y z)) 3)) (+ y z)) (* (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)) (* x (- (* y y) (* z z))))) (* (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)) (+ y z)) (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ (* z (+ y z)) (* y y))) (* (- x (* t (- y z))) (* x (- (pow y 3) (pow z 3))))) (* (+ (* z (+ y z)) (* y y)) (- x (* t (- y z)))) (- (* (- (* x x) (* (* t (- y z)) (* t (- y z)))) (+ y z)) (* (- x (* t (- y z))) (* x (- (* y y) (* z z))))) (* (- x (* t (- y z))) (+ y z)) (- (pow (+ x (* t (- y z))) 3) (pow (* x (- y z)) 3)) (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x (- y z)) (- (* (- x) (- y z)) (+ x (* t (- y z)))))) (* (+ x (* (- y z) (- t (- x)))) (+ (* (- y z) (- t x)) x)) (+ x (* (- y z) (- t (- x)))) (- (+ x (* t (- y z))) (* x y)) (- (+ x (* t (- y z))) (* x y)) (- (+ x (* t (- y z))) (* x y)) (- (+ x (* t (- y z))) (* x y)) (* (- y z) (- t x)) (* (- x) (- y z)) (log (* (- x) (- y z))) (log (* (- x) (- y z))) (exp (* (- x) (- y z))) (pow (* (- x) (- y z)) 3) (* (cbrt (* (- x) (- y z))) (cbrt (* (- x) (- y z)))) (cbrt (* (- x) (- y z))) (pow (* (- x) (- y z)) 3) (sqrt (* (- x) (- y z))) (sqrt (* (- x) (- y z))) (* (sqrt (- x)) (sqrt (- y z))) (* (sqrt (- x)) (sqrt (- y z))) (* x (- y z)) (* (- x) y) (* (- x) (- z)) (* (- x) y) (* (- x) (- z)) (* (- x) y) (* (- x) (- z)) (* (- x) y) (* (- x) (- z)) (* (- x) (* (cbrt (- y z)) (cbrt (- y z)))) (* (- x) (sqrt (- y z))) (- x) (* (- x) (+ (sqrt y) (sqrt z))) (- x) (* (cbrt (- x)) (- y z)) (* (sqrt (- x)) (- y z)) (* (- x) (- y z)) (* x (- y z)) (* (cbrt x) (- y z)) (* (sqrt x) (- y z)) (* x (- y z)) (* (- (cbrt x)) (- y z)) (* (- (sqrt x)) (- y z)) (* (- x) (- y z)) (* (- x) (- (pow y 3) (pow z 3))) (* (- x) (- (* y y) (* z z))) (exp (+ x (* t (- y z)))) (log (+ x (* t (- y z)))) (exp (+ x (* t (- y z)))) (* (cbrt (+ x (* t (- y z)))) (cbrt (+ x (* t (- y z))))) (cbrt (+ x (* t (- y z)))) (pow (+ x (* t (- y z))) 3) (sqrt (+ x (* t (- y z)))) (sqrt (+ x (* t (- y z)))) (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* (* t (- y z)) (- (* t (- y z)) x)) (* x x)) (- (* x x) (* (* t (- y z)) (* t (- y z)))) (- x (* t (- y z))) (+ x (* t y)) (+ x (* t y)) (+ x (* t y)) (+ x (* t y)) (* t (- y z)) (log (* t (- y z))) (log (* t (- y z))) (exp (* t (- y z))) (pow (* t (- y z)) 3) (* (cbrt (* t (- y z))) (cbrt (* t (- y z)))) (cbrt (* t (- y z))) (pow (* t (- y z)) 3) (sqrt (* t (- y z))) (sqrt (* t (- y z))) (* (sqrt t) (sqrt (- y z))) (* (sqrt t) (sqrt (- y z))) (* t y) (* t (- z)) (* t y) (* t (- z)) (* t y) (* t (- z)) (* t y) (* t (- z)) (* t (* (cbrt (- y z)) (cbrt (- y z)))) (* t (sqrt (- y z))) t (* t (+ (sqrt y) (sqrt z))) t (* (cbrt t) (- y z)) (* (sqrt t) (- y z)) (* t (- y z)) (* t (- (pow y 3) (pow z 3))) (* t (- (* y y) (* z z))) x (+ (* x z) (* t (- y z))) (+ (* x z) (* t (- y z))) (* x (- z y)) (* x (- z y)) (* x (- z y)) x (+ x (* t (- y z))) (+ x (* t (- y z))) (* t (- y z)) (* t (- y z)) (* t (- y z)) 15.517 * * * [progress]: adding candidates to table 15.727 * * [progress]: iteration 3 / 4 15.727 * * * [progress]: picking best candidate 15.737 * * * * [pick]: Picked # 15.737 * * * [progress]: localizing error 15.750 * * * [progress]: generating rewritten candidates 15.750 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 15.789 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 15.798 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 15.801 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 15.815 * * * [progress]: generating series expansions 15.815 * * * * [progress]: [ 1 / 4 ] generating series at (2) 15.815 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x t y z) around 0 15.815 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z 15.815 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z 15.815 * [taylor]: Taking taylor expansion of (* x z) in z 15.815 * [taylor]: Taking taylor expansion of x in z 15.815 * [taylor]: Taking taylor expansion of z in z 15.815 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 15.815 * [taylor]: Taking taylor expansion of x in z 15.815 * [taylor]: Taking taylor expansion of (* t y) in z 15.815 * [taylor]: Taking taylor expansion of t in z 15.815 * [taylor]: Taking taylor expansion of y in z 15.815 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 15.815 * [taylor]: Taking taylor expansion of (* t z) in z 15.815 * [taylor]: Taking taylor expansion of t in z 15.815 * [taylor]: Taking taylor expansion of z in z 15.815 * [taylor]: Taking taylor expansion of (* x y) in z 15.815 * [taylor]: Taking taylor expansion of x in z 15.815 * [taylor]: Taking taylor expansion of y in z 15.815 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y 15.815 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y 15.815 * [taylor]: Taking taylor expansion of (* x z) in y 15.815 * [taylor]: Taking taylor expansion of x in y 15.815 * [taylor]: Taking taylor expansion of z in y 15.815 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 15.815 * [taylor]: Taking taylor expansion of x in y 15.816 * [taylor]: Taking taylor expansion of (* t y) in y 15.816 * [taylor]: Taking taylor expansion of t in y 15.816 * [taylor]: Taking taylor expansion of y in y 15.816 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 15.816 * [taylor]: Taking taylor expansion of (* t z) in y 15.816 * [taylor]: Taking taylor expansion of t in y 15.816 * [taylor]: Taking taylor expansion of z in y 15.816 * [taylor]: Taking taylor expansion of (* x y) in y 15.816 * [taylor]: Taking taylor expansion of x in y 15.816 * [taylor]: Taking taylor expansion of y in y 15.816 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t 15.816 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t 15.816 * [taylor]: Taking taylor expansion of (* x z) in t 15.816 * [taylor]: Taking taylor expansion of x in t 15.816 * [taylor]: Taking taylor expansion of z in t 15.816 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 15.816 * [taylor]: Taking taylor expansion of x in t 15.816 * [taylor]: Taking taylor expansion of (* t y) in t 15.816 * [taylor]: Taking taylor expansion of t in t 15.816 * [taylor]: Taking taylor expansion of y in t 15.816 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 15.816 * [taylor]: Taking taylor expansion of (* t z) in t 15.816 * [taylor]: Taking taylor expansion of t in t 15.816 * [taylor]: Taking taylor expansion of z in t 15.816 * [taylor]: Taking taylor expansion of (* x y) in t 15.816 * [taylor]: Taking taylor expansion of x in t 15.816 * [taylor]: Taking taylor expansion of y in t 15.816 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 15.816 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 15.816 * [taylor]: Taking taylor expansion of (* x z) in x 15.816 * [taylor]: Taking taylor expansion of x in x 15.816 * [taylor]: Taking taylor expansion of z in x 15.816 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 15.816 * [taylor]: Taking taylor expansion of x in x 15.816 * [taylor]: Taking taylor expansion of (* t y) in x 15.816 * [taylor]: Taking taylor expansion of t in x 15.816 * [taylor]: Taking taylor expansion of y in x 15.816 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 15.816 * [taylor]: Taking taylor expansion of (* t z) in x 15.816 * [taylor]: Taking taylor expansion of t in x 15.816 * [taylor]: Taking taylor expansion of z in x 15.816 * [taylor]: Taking taylor expansion of (* x y) in x 15.816 * [taylor]: Taking taylor expansion of x in x 15.816 * [taylor]: Taking taylor expansion of y in x 15.816 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 15.816 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 15.816 * [taylor]: Taking taylor expansion of (* x z) in x 15.816 * [taylor]: Taking taylor expansion of x in x 15.816 * [taylor]: Taking taylor expansion of z in x 15.816 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 15.816 * [taylor]: Taking taylor expansion of x in x 15.816 * [taylor]: Taking taylor expansion of (* t y) in x 15.816 * [taylor]: Taking taylor expansion of t in x 15.816 * [taylor]: Taking taylor expansion of y in x 15.816 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 15.816 * [taylor]: Taking taylor expansion of (* t z) in x 15.816 * [taylor]: Taking taylor expansion of t in x 15.816 * [taylor]: Taking taylor expansion of z in x 15.816 * [taylor]: Taking taylor expansion of (* x y) in x 15.816 * [taylor]: Taking taylor expansion of x in x 15.816 * [taylor]: Taking taylor expansion of y in x 15.817 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t 15.817 * [taylor]: Taking taylor expansion of (* t y) in t 15.817 * [taylor]: Taking taylor expansion of t in t 15.817 * [taylor]: Taking taylor expansion of y in t 15.817 * [taylor]: Taking taylor expansion of (* t z) in t 15.817 * [taylor]: Taking taylor expansion of t in t 15.817 * [taylor]: Taking taylor expansion of z in t 15.820 * [taylor]: Taking taylor expansion of 0 in y 15.821 * [taylor]: Taking taylor expansion of 0 in z 15.822 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in t 15.822 * [taylor]: Taking taylor expansion of (+ z 1) in t 15.822 * [taylor]: Taking taylor expansion of z in t 15.822 * [taylor]: Taking taylor expansion of 1 in t 15.822 * [taylor]: Taking taylor expansion of y in t 15.822 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y 15.822 * [taylor]: Taking taylor expansion of (+ z 1) in y 15.822 * [taylor]: Taking taylor expansion of z in y 15.822 * [taylor]: Taking taylor expansion of 1 in y 15.822 * [taylor]: Taking taylor expansion of y in y 15.822 * [taylor]: Taking taylor expansion of (+ z 1) in z 15.822 * [taylor]: Taking taylor expansion of z in z 15.822 * [taylor]: Taking taylor expansion of 1 in z 15.823 * [taylor]: Taking taylor expansion of (- y z) in y 15.823 * [taylor]: Taking taylor expansion of y in y 15.823 * [taylor]: Taking taylor expansion of z in y 15.823 * [taylor]: Taking taylor expansion of (- z) in z 15.823 * [taylor]: Taking taylor expansion of z in z 15.823 * [taylor]: Taking taylor expansion of 0 in z 15.826 * [taylor]: Taking taylor expansion of 0 in t 15.826 * [taylor]: Taking taylor expansion of 0 in y 15.826 * [taylor]: Taking taylor expansion of 0 in z 15.827 * [taylor]: Taking taylor expansion of 0 in y 15.827 * [taylor]: Taking taylor expansion of 0 in z 15.828 * [taylor]: Taking taylor expansion of 0 in y 15.828 * [taylor]: Taking taylor expansion of 0 in z 15.829 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x t y z) around 0 15.829 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 15.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z 15.829 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 15.829 * [taylor]: Taking taylor expansion of (* t y) in z 15.829 * [taylor]: Taking taylor expansion of t in z 15.829 * [taylor]: Taking taylor expansion of y in z 15.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z 15.829 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 15.829 * [taylor]: Taking taylor expansion of (* x z) in z 15.829 * [taylor]: Taking taylor expansion of x in z 15.829 * [taylor]: Taking taylor expansion of z in z 15.829 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.829 * [taylor]: Taking taylor expansion of x in z 15.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 15.830 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 15.830 * [taylor]: Taking taylor expansion of (* t z) in z 15.830 * [taylor]: Taking taylor expansion of t in z 15.830 * [taylor]: Taking taylor expansion of z in z 15.830 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 15.830 * [taylor]: Taking taylor expansion of (* x y) in z 15.830 * [taylor]: Taking taylor expansion of x in z 15.830 * [taylor]: Taking taylor expansion of y in z 15.830 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 15.830 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y 15.830 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 15.830 * [taylor]: Taking taylor expansion of (* t y) in y 15.830 * [taylor]: Taking taylor expansion of t in y 15.830 * [taylor]: Taking taylor expansion of y in y 15.830 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y 15.830 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 15.830 * [taylor]: Taking taylor expansion of (* x z) in y 15.830 * [taylor]: Taking taylor expansion of x in y 15.830 * [taylor]: Taking taylor expansion of z in y 15.831 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.831 * [taylor]: Taking taylor expansion of x in y 15.831 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 15.831 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 15.831 * [taylor]: Taking taylor expansion of (* t z) in y 15.831 * [taylor]: Taking taylor expansion of t in y 15.831 * [taylor]: Taking taylor expansion of z in y 15.831 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 15.831 * [taylor]: Taking taylor expansion of (* x y) in y 15.831 * [taylor]: Taking taylor expansion of x in y 15.831 * [taylor]: Taking taylor expansion of y in y 15.831 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 15.831 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t 15.831 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.831 * [taylor]: Taking taylor expansion of (* t y) in t 15.831 * [taylor]: Taking taylor expansion of t in t 15.831 * [taylor]: Taking taylor expansion of y in t 15.831 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t 15.831 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 15.832 * [taylor]: Taking taylor expansion of (* x z) in t 15.832 * [taylor]: Taking taylor expansion of x in t 15.832 * [taylor]: Taking taylor expansion of z in t 15.832 * [taylor]: Taking taylor expansion of (/ 1 x) in t 15.832 * [taylor]: Taking taylor expansion of x in t 15.832 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 15.832 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.832 * [taylor]: Taking taylor expansion of (* t z) in t 15.832 * [taylor]: Taking taylor expansion of t in t 15.832 * [taylor]: Taking taylor expansion of z in t 15.832 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 15.832 * [taylor]: Taking taylor expansion of (* x y) in t 15.832 * [taylor]: Taking taylor expansion of x in t 15.832 * [taylor]: Taking taylor expansion of y in t 15.832 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 15.832 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 15.832 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.832 * [taylor]: Taking taylor expansion of (* t y) in x 15.832 * [taylor]: Taking taylor expansion of t in x 15.832 * [taylor]: Taking taylor expansion of y in x 15.832 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 15.832 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 15.832 * [taylor]: Taking taylor expansion of (* x z) in x 15.832 * [taylor]: Taking taylor expansion of x in x 15.832 * [taylor]: Taking taylor expansion of z in x 15.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.833 * [taylor]: Taking taylor expansion of x in x 15.833 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 15.833 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.833 * [taylor]: Taking taylor expansion of (* t z) in x 15.833 * [taylor]: Taking taylor expansion of t in x 15.833 * [taylor]: Taking taylor expansion of z in x 15.833 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.833 * [taylor]: Taking taylor expansion of (* x y) in x 15.833 * [taylor]: Taking taylor expansion of x in x 15.833 * [taylor]: Taking taylor expansion of y in x 15.833 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 15.834 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 15.834 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.834 * [taylor]: Taking taylor expansion of (* t y) in x 15.834 * [taylor]: Taking taylor expansion of t in x 15.834 * [taylor]: Taking taylor expansion of y in x 15.834 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 15.834 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 15.834 * [taylor]: Taking taylor expansion of (* x z) in x 15.834 * [taylor]: Taking taylor expansion of x in x 15.834 * [taylor]: Taking taylor expansion of z in x 15.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.834 * [taylor]: Taking taylor expansion of x in x 15.834 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 15.834 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.834 * [taylor]: Taking taylor expansion of (* t z) in x 15.834 * [taylor]: Taking taylor expansion of t in x 15.834 * [taylor]: Taking taylor expansion of z in x 15.834 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.834 * [taylor]: Taking taylor expansion of (* x y) in x 15.834 * [taylor]: Taking taylor expansion of x in x 15.834 * [taylor]: Taking taylor expansion of y in x 15.835 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in t 15.835 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t 15.835 * [taylor]: Taking taylor expansion of (/ 1 z) in t 15.835 * [taylor]: Taking taylor expansion of z in t 15.835 * [taylor]: Taking taylor expansion of 1 in t 15.835 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.835 * [taylor]: Taking taylor expansion of y in t 15.837 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 15.837 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.837 * [taylor]: Taking taylor expansion of (* t y) in t 15.837 * [taylor]: Taking taylor expansion of t in t 15.837 * [taylor]: Taking taylor expansion of y in t 15.838 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.838 * [taylor]: Taking taylor expansion of (* t z) in t 15.838 * [taylor]: Taking taylor expansion of t in t 15.838 * [taylor]: Taking taylor expansion of z in t 15.838 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.838 * [taylor]: Taking taylor expansion of y in y 15.838 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.838 * [taylor]: Taking taylor expansion of z in y 15.839 * [taylor]: Taking taylor expansion of 1 in z 15.839 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y 15.839 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y 15.839 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.839 * [taylor]: Taking taylor expansion of z in y 15.839 * [taylor]: Taking taylor expansion of 1 in y 15.839 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.839 * [taylor]: Taking taylor expansion of y in y 15.840 * [taylor]: Taking taylor expansion of -1 in z 15.843 * [taylor]: Taking taylor expansion of 0 in t 15.845 * [taylor]: Taking taylor expansion of 0 in y 15.845 * [taylor]: Taking taylor expansion of 0 in y 15.846 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.846 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.846 * [taylor]: Taking taylor expansion of z in z 15.847 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 15.847 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.847 * [taylor]: Taking taylor expansion of z in z 15.848 * [taylor]: Taking taylor expansion of 1 in z 15.849 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y))))) in (x t y z) around 0 15.849 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y))))) in z 15.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z 15.849 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 15.849 * [taylor]: Taking taylor expansion of (* x z) in z 15.849 * [taylor]: Taking taylor expansion of x in z 15.849 * [taylor]: Taking taylor expansion of z in z 15.849 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 15.849 * [taylor]: Taking taylor expansion of (* t y) in z 15.849 * [taylor]: Taking taylor expansion of t in z 15.849 * [taylor]: Taking taylor expansion of y in z 15.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y)))) in z 15.849 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 15.849 * [taylor]: Taking taylor expansion of (* t z) in z 15.849 * [taylor]: Taking taylor expansion of t in z 15.849 * [taylor]: Taking taylor expansion of z in z 15.850 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in z 15.850 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.850 * [taylor]: Taking taylor expansion of x in z 15.850 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 15.850 * [taylor]: Taking taylor expansion of (* x y) in z 15.850 * [taylor]: Taking taylor expansion of x in z 15.850 * [taylor]: Taking taylor expansion of y in z 15.850 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y))))) in y 15.850 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y 15.850 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 15.850 * [taylor]: Taking taylor expansion of (* x z) in y 15.850 * [taylor]: Taking taylor expansion of x in y 15.850 * [taylor]: Taking taylor expansion of z in y 15.850 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 15.850 * [taylor]: Taking taylor expansion of (* t y) in y 15.850 * [taylor]: Taking taylor expansion of t in y 15.850 * [taylor]: Taking taylor expansion of y in y 15.850 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y)))) in y 15.850 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 15.850 * [taylor]: Taking taylor expansion of (* t z) in y 15.850 * [taylor]: Taking taylor expansion of t in y 15.850 * [taylor]: Taking taylor expansion of z in y 15.850 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 15.850 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.850 * [taylor]: Taking taylor expansion of x in y 15.850 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 15.850 * [taylor]: Taking taylor expansion of (* x y) in y 15.850 * [taylor]: Taking taylor expansion of x in y 15.850 * [taylor]: Taking taylor expansion of y in y 15.851 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y))))) in t 15.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 15.851 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 15.851 * [taylor]: Taking taylor expansion of (* x z) in t 15.851 * [taylor]: Taking taylor expansion of x in t 15.851 * [taylor]: Taking taylor expansion of z in t 15.851 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.851 * [taylor]: Taking taylor expansion of (* t y) in t 15.851 * [taylor]: Taking taylor expansion of t in t 15.851 * [taylor]: Taking taylor expansion of y in t 15.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y)))) in t 15.851 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.851 * [taylor]: Taking taylor expansion of (* t z) in t 15.851 * [taylor]: Taking taylor expansion of t in t 15.851 * [taylor]: Taking taylor expansion of z in t 15.852 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in t 15.852 * [taylor]: Taking taylor expansion of (/ 1 x) in t 15.852 * [taylor]: Taking taylor expansion of x in t 15.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 15.852 * [taylor]: Taking taylor expansion of (* x y) in t 15.852 * [taylor]: Taking taylor expansion of x in t 15.852 * [taylor]: Taking taylor expansion of y in t 15.852 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y))))) in x 15.852 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 15.852 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 15.852 * [taylor]: Taking taylor expansion of (* x z) in x 15.852 * [taylor]: Taking taylor expansion of x in x 15.852 * [taylor]: Taking taylor expansion of z in x 15.852 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.852 * [taylor]: Taking taylor expansion of (* t y) in x 15.852 * [taylor]: Taking taylor expansion of t in x 15.852 * [taylor]: Taking taylor expansion of y in x 15.852 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y)))) in x 15.852 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.852 * [taylor]: Taking taylor expansion of (* t z) in x 15.852 * [taylor]: Taking taylor expansion of t in x 15.852 * [taylor]: Taking taylor expansion of z in x 15.853 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 15.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.853 * [taylor]: Taking taylor expansion of x in x 15.853 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.853 * [taylor]: Taking taylor expansion of (* x y) in x 15.853 * [taylor]: Taking taylor expansion of x in x 15.853 * [taylor]: Taking taylor expansion of y in x 15.853 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y))))) in x 15.853 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 15.853 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 15.853 * [taylor]: Taking taylor expansion of (* x z) in x 15.853 * [taylor]: Taking taylor expansion of x in x 15.853 * [taylor]: Taking taylor expansion of z in x 15.854 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.854 * [taylor]: Taking taylor expansion of (* t y) in x 15.854 * [taylor]: Taking taylor expansion of t in x 15.854 * [taylor]: Taking taylor expansion of y in x 15.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 x) (/ 1 (* x y)))) in x 15.854 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.854 * [taylor]: Taking taylor expansion of (* t z) in x 15.854 * [taylor]: Taking taylor expansion of t in x 15.854 * [taylor]: Taking taylor expansion of z in x 15.854 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 15.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.854 * [taylor]: Taking taylor expansion of x in x 15.854 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.854 * [taylor]: Taking taylor expansion of (* x y) in x 15.854 * [taylor]: Taking taylor expansion of x in x 15.854 * [taylor]: Taking taylor expansion of y in x 15.855 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in t 15.855 * [taylor]: Taking taylor expansion of (/ 1 z) in t 15.855 * [taylor]: Taking taylor expansion of z in t 15.855 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t 15.855 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.855 * [taylor]: Taking taylor expansion of y in t 15.855 * [taylor]: Taking taylor expansion of 1 in t 15.857 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 15.857 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.857 * [taylor]: Taking taylor expansion of (* t y) in t 15.857 * [taylor]: Taking taylor expansion of t in t 15.857 * [taylor]: Taking taylor expansion of y in t 15.857 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.857 * [taylor]: Taking taylor expansion of (* t z) in t 15.857 * [taylor]: Taking taylor expansion of t in t 15.857 * [taylor]: Taking taylor expansion of z in t 15.858 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.858 * [taylor]: Taking taylor expansion of y in y 15.858 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.858 * [taylor]: Taking taylor expansion of z in y 15.858 * [taylor]: Taking taylor expansion of 1 in z 15.859 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y 15.859 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.859 * [taylor]: Taking taylor expansion of z in y 15.859 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 15.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.859 * [taylor]: Taking taylor expansion of y in y 15.859 * [taylor]: Taking taylor expansion of 1 in y 15.860 * [taylor]: Taking taylor expansion of -1 in z 15.863 * [taylor]: Taking taylor expansion of 0 in t 15.865 * [taylor]: Taking taylor expansion of 0 in y 15.865 * [taylor]: Taking taylor expansion of 0 in y 15.866 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.866 * [taylor]: Taking taylor expansion of z in z 15.867 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z 15.867 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.867 * [taylor]: Taking taylor expansion of z in z 15.868 * [taylor]: Taking taylor expansion of 1 in z 15.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 15.868 * [approximate]: Taking taylor expansion of (* (- y z) t) in (t y z) around 0 15.868 * [taylor]: Taking taylor expansion of (* (- y z) t) in z 15.868 * [taylor]: Taking taylor expansion of (- y z) in z 15.868 * [taylor]: Taking taylor expansion of y in z 15.869 * [taylor]: Taking taylor expansion of z in z 15.869 * [taylor]: Taking taylor expansion of t in z 15.869 * [taylor]: Taking taylor expansion of (* (- y z) t) in y 15.869 * [taylor]: Taking taylor expansion of (- y z) in y 15.869 * [taylor]: Taking taylor expansion of y in y 15.869 * [taylor]: Taking taylor expansion of z in y 15.869 * [taylor]: Taking taylor expansion of t in y 15.869 * [taylor]: Taking taylor expansion of (* (- y z) t) in t 15.869 * [taylor]: Taking taylor expansion of (- y z) in t 15.869 * [taylor]: Taking taylor expansion of y in t 15.869 * [taylor]: Taking taylor expansion of z in t 15.869 * [taylor]: Taking taylor expansion of t in t 15.869 * [taylor]: Taking taylor expansion of (* (- y z) t) in t 15.869 * [taylor]: Taking taylor expansion of (- y z) in t 15.869 * [taylor]: Taking taylor expansion of y in t 15.869 * [taylor]: Taking taylor expansion of z in t 15.869 * [taylor]: Taking taylor expansion of t in t 15.869 * [taylor]: Taking taylor expansion of 0 in y 15.869 * [taylor]: Taking taylor expansion of 0 in z 15.870 * [taylor]: Taking taylor expansion of (- y z) in y 15.870 * [taylor]: Taking taylor expansion of y in y 15.870 * [taylor]: Taking taylor expansion of z in y 15.870 * [taylor]: Taking taylor expansion of (- z) in z 15.870 * [taylor]: Taking taylor expansion of z in z 15.870 * [taylor]: Taking taylor expansion of 0 in z 15.871 * [taylor]: Taking taylor expansion of 0 in y 15.871 * [taylor]: Taking taylor expansion of 0 in z 15.871 * [taylor]: Taking taylor expansion of 1 in z 15.872 * [taylor]: Taking taylor expansion of 0 in z 15.873 * [taylor]: Taking taylor expansion of 0 in y 15.873 * [taylor]: Taking taylor expansion of 0 in z 15.873 * [taylor]: Taking taylor expansion of 0 in z 15.873 * [taylor]: Taking taylor expansion of 0 in z 15.873 * [taylor]: Taking taylor expansion of 0 in z 15.874 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (t y z) around 0 15.874 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z 15.874 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 15.874 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.874 * [taylor]: Taking taylor expansion of y in z 15.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.874 * [taylor]: Taking taylor expansion of z in z 15.874 * [taylor]: Taking taylor expansion of t in z 15.874 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y 15.874 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.874 * [taylor]: Taking taylor expansion of y in y 15.875 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.875 * [taylor]: Taking taylor expansion of z in y 15.875 * [taylor]: Taking taylor expansion of t in y 15.875 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t 15.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 15.875 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.875 * [taylor]: Taking taylor expansion of y in t 15.875 * [taylor]: Taking taylor expansion of (/ 1 z) in t 15.875 * [taylor]: Taking taylor expansion of z in t 15.875 * [taylor]: Taking taylor expansion of t in t 15.875 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t 15.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 15.875 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.875 * [taylor]: Taking taylor expansion of y in t 15.875 * [taylor]: Taking taylor expansion of (/ 1 z) in t 15.876 * [taylor]: Taking taylor expansion of z in t 15.876 * [taylor]: Taking taylor expansion of t in t 15.876 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.876 * [taylor]: Taking taylor expansion of y in y 15.876 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.876 * [taylor]: Taking taylor expansion of z in y 15.876 * [taylor]: Taking taylor expansion of 1 in z 15.877 * [taylor]: Taking taylor expansion of 0 in y 15.878 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.878 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.878 * [taylor]: Taking taylor expansion of z in z 15.880 * [taylor]: Taking taylor expansion of 0 in y 15.880 * [taylor]: Taking taylor expansion of 0 in z 15.881 * [taylor]: Taking taylor expansion of 0 in z 15.884 * [taylor]: Taking taylor expansion of 0 in y 15.884 * [taylor]: Taking taylor expansion of 0 in z 15.884 * [taylor]: Taking taylor expansion of 0 in z 15.885 * [taylor]: Taking taylor expansion of 0 in z 15.886 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (t y z) around 0 15.886 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z 15.886 * [taylor]: Taking taylor expansion of -1 in z 15.886 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z 15.886 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 15.886 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.886 * [taylor]: Taking taylor expansion of z in z 15.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.886 * [taylor]: Taking taylor expansion of y in z 15.886 * [taylor]: Taking taylor expansion of t in z 15.887 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y 15.887 * [taylor]: Taking taylor expansion of -1 in y 15.887 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y 15.887 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 15.887 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.887 * [taylor]: Taking taylor expansion of z in y 15.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.887 * [taylor]: Taking taylor expansion of y in y 15.887 * [taylor]: Taking taylor expansion of t in y 15.888 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t 15.888 * [taylor]: Taking taylor expansion of -1 in t 15.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t 15.888 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 15.888 * [taylor]: Taking taylor expansion of (/ 1 z) in t 15.888 * [taylor]: Taking taylor expansion of z in t 15.888 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.888 * [taylor]: Taking taylor expansion of y in t 15.888 * [taylor]: Taking taylor expansion of t in t 15.888 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t 15.888 * [taylor]: Taking taylor expansion of -1 in t 15.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t 15.888 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 15.888 * [taylor]: Taking taylor expansion of (/ 1 z) in t 15.888 * [taylor]: Taking taylor expansion of z in t 15.888 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.888 * [taylor]: Taking taylor expansion of y in t 15.888 * [taylor]: Taking taylor expansion of t in t 15.888 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 y))) in y 15.888 * [taylor]: Taking taylor expansion of -1 in y 15.888 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 15.888 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.888 * [taylor]: Taking taylor expansion of z in y 15.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.888 * [taylor]: Taking taylor expansion of y in y 15.889 * [taylor]: Taking taylor expansion of 1 in z 15.891 * [taylor]: Taking taylor expansion of 0 in y 15.892 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.892 * [taylor]: Taking taylor expansion of z in z 15.894 * [taylor]: Taking taylor expansion of 0 in y 15.894 * [taylor]: Taking taylor expansion of 0 in z 15.896 * [taylor]: Taking taylor expansion of 0 in z 15.899 * [taylor]: Taking taylor expansion of 0 in y 15.899 * [taylor]: Taking taylor expansion of 0 in z 15.899 * [taylor]: Taking taylor expansion of 0 in z 15.901 * [taylor]: Taking taylor expansion of 0 in z 15.902 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 15.902 * [approximate]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in (x t y z) around 0 15.902 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in z 15.902 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 15.902 * [taylor]: Taking taylor expansion of x in z 15.902 * [taylor]: Taking taylor expansion of (* t y) in z 15.902 * [taylor]: Taking taylor expansion of t in z 15.902 * [taylor]: Taking taylor expansion of y in z 15.902 * [taylor]: Taking taylor expansion of (* t z) in z 15.902 * [taylor]: Taking taylor expansion of t in z 15.902 * [taylor]: Taking taylor expansion of z in z 15.902 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in y 15.902 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 15.902 * [taylor]: Taking taylor expansion of x in y 15.902 * [taylor]: Taking taylor expansion of (* t y) in y 15.902 * [taylor]: Taking taylor expansion of t in y 15.902 * [taylor]: Taking taylor expansion of y in y 15.902 * [taylor]: Taking taylor expansion of (* t z) in y 15.902 * [taylor]: Taking taylor expansion of t in y 15.902 * [taylor]: Taking taylor expansion of z in y 15.902 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in t 15.903 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 15.903 * [taylor]: Taking taylor expansion of x in t 15.903 * [taylor]: Taking taylor expansion of (* t y) in t 15.903 * [taylor]: Taking taylor expansion of t in t 15.903 * [taylor]: Taking taylor expansion of y in t 15.903 * [taylor]: Taking taylor expansion of (* t z) in t 15.903 * [taylor]: Taking taylor expansion of t in t 15.903 * [taylor]: Taking taylor expansion of z in t 15.903 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x 15.903 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 15.903 * [taylor]: Taking taylor expansion of x in x 15.903 * [taylor]: Taking taylor expansion of (* t y) in x 15.903 * [taylor]: Taking taylor expansion of t in x 15.903 * [taylor]: Taking taylor expansion of y in x 15.903 * [taylor]: Taking taylor expansion of (* t z) in x 15.903 * [taylor]: Taking taylor expansion of t in x 15.903 * [taylor]: Taking taylor expansion of z in x 15.903 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (* t z)) in x 15.903 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 15.903 * [taylor]: Taking taylor expansion of x in x 15.903 * [taylor]: Taking taylor expansion of (* t y) in x 15.903 * [taylor]: Taking taylor expansion of t in x 15.903 * [taylor]: Taking taylor expansion of y in x 15.903 * [taylor]: Taking taylor expansion of (* t z) in x 15.903 * [taylor]: Taking taylor expansion of t in x 15.903 * [taylor]: Taking taylor expansion of z in x 15.903 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t 15.903 * [taylor]: Taking taylor expansion of (* t y) in t 15.903 * [taylor]: Taking taylor expansion of t in t 15.903 * [taylor]: Taking taylor expansion of y in t 15.903 * [taylor]: Taking taylor expansion of (* t z) in t 15.903 * [taylor]: Taking taylor expansion of t in t 15.903 * [taylor]: Taking taylor expansion of z in t 15.904 * [taylor]: Taking taylor expansion of 0 in y 15.904 * [taylor]: Taking taylor expansion of 0 in z 15.905 * [taylor]: Taking taylor expansion of 1 in t 15.905 * [taylor]: Taking taylor expansion of 1 in y 15.905 * [taylor]: Taking taylor expansion of 1 in z 15.907 * [taylor]: Taking taylor expansion of (- y z) in y 15.907 * [taylor]: Taking taylor expansion of y in y 15.907 * [taylor]: Taking taylor expansion of z in y 15.907 * [taylor]: Taking taylor expansion of (- z) in z 15.907 * [taylor]: Taking taylor expansion of z in z 15.908 * [taylor]: Taking taylor expansion of 0 in z 15.909 * [taylor]: Taking taylor expansion of 0 in t 15.909 * [taylor]: Taking taylor expansion of 0 in y 15.909 * [taylor]: Taking taylor expansion of 0 in z 15.909 * [taylor]: Taking taylor expansion of 0 in y 15.909 * [taylor]: Taking taylor expansion of 0 in z 15.910 * [taylor]: Taking taylor expansion of 0 in y 15.910 * [taylor]: Taking taylor expansion of 0 in z 15.911 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in (x t y z) around 0 15.911 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in z 15.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in z 15.911 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 15.911 * [taylor]: Taking taylor expansion of (* t y) in z 15.911 * [taylor]: Taking taylor expansion of t in z 15.911 * [taylor]: Taking taylor expansion of y in z 15.911 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.911 * [taylor]: Taking taylor expansion of x in z 15.911 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 15.911 * [taylor]: Taking taylor expansion of (* t z) in z 15.911 * [taylor]: Taking taylor expansion of t in z 15.911 * [taylor]: Taking taylor expansion of z in z 15.911 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in y 15.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y 15.911 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 15.911 * [taylor]: Taking taylor expansion of (* t y) in y 15.911 * [taylor]: Taking taylor expansion of t in y 15.911 * [taylor]: Taking taylor expansion of y in y 15.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.912 * [taylor]: Taking taylor expansion of x in y 15.912 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 15.912 * [taylor]: Taking taylor expansion of (* t z) in y 15.912 * [taylor]: Taking taylor expansion of t in y 15.912 * [taylor]: Taking taylor expansion of z in y 15.912 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in t 15.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t 15.912 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.912 * [taylor]: Taking taylor expansion of (* t y) in t 15.912 * [taylor]: Taking taylor expansion of t in t 15.912 * [taylor]: Taking taylor expansion of y in t 15.912 * [taylor]: Taking taylor expansion of (/ 1 x) in t 15.912 * [taylor]: Taking taylor expansion of x in t 15.912 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.912 * [taylor]: Taking taylor expansion of (* t z) in t 15.912 * [taylor]: Taking taylor expansion of t in t 15.912 * [taylor]: Taking taylor expansion of z in t 15.913 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x 15.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 15.913 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.913 * [taylor]: Taking taylor expansion of (* t y) in x 15.913 * [taylor]: Taking taylor expansion of t in x 15.913 * [taylor]: Taking taylor expansion of y in x 15.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.913 * [taylor]: Taking taylor expansion of x in x 15.913 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.913 * [taylor]: Taking taylor expansion of (* t z) in x 15.913 * [taylor]: Taking taylor expansion of t in x 15.913 * [taylor]: Taking taylor expansion of z in x 15.913 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (/ 1 (* t z))) in x 15.913 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 15.913 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.913 * [taylor]: Taking taylor expansion of (* t y) in x 15.913 * [taylor]: Taking taylor expansion of t in x 15.913 * [taylor]: Taking taylor expansion of y in x 15.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.913 * [taylor]: Taking taylor expansion of x in x 15.914 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.914 * [taylor]: Taking taylor expansion of (* t z) in x 15.914 * [taylor]: Taking taylor expansion of t in x 15.914 * [taylor]: Taking taylor expansion of z in x 15.914 * [taylor]: Taking taylor expansion of 1 in t 15.915 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 15.915 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.915 * [taylor]: Taking taylor expansion of (* t y) in t 15.915 * [taylor]: Taking taylor expansion of t in t 15.915 * [taylor]: Taking taylor expansion of y in t 15.915 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.915 * [taylor]: Taking taylor expansion of (* t z) in t 15.915 * [taylor]: Taking taylor expansion of t in t 15.915 * [taylor]: Taking taylor expansion of z in t 15.916 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.916 * [taylor]: Taking taylor expansion of y in y 15.916 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.916 * [taylor]: Taking taylor expansion of z in y 15.916 * [taylor]: Taking taylor expansion of 1 in z 15.916 * [taylor]: Taking taylor expansion of 1 in y 15.918 * [taylor]: Taking taylor expansion of 0 in t 15.919 * [taylor]: Taking taylor expansion of 0 in y 15.919 * [taylor]: Taking taylor expansion of 0 in y 15.920 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.920 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.920 * [taylor]: Taking taylor expansion of z in z 15.921 * [taylor]: Taking taylor expansion of 1 in z 15.923 * [taylor]: Taking taylor expansion of 0 in t 15.923 * [taylor]: Taking taylor expansion of 0 in y 15.925 * [taylor]: Taking taylor expansion of 0 in y 15.925 * [taylor]: Taking taylor expansion of 0 in y 15.925 * [taylor]: Taking taylor expansion of 0 in z 15.925 * [taylor]: Taking taylor expansion of 0 in z 15.926 * [taylor]: Taking taylor expansion of 0 in z 15.926 * [taylor]: Taking taylor expansion of 0 in z 15.927 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in (x t y z) around 0 15.927 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in z 15.927 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 15.927 * [taylor]: Taking taylor expansion of (* t y) in z 15.927 * [taylor]: Taking taylor expansion of t in z 15.927 * [taylor]: Taking taylor expansion of y in z 15.927 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in z 15.927 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 15.927 * [taylor]: Taking taylor expansion of (* t z) in z 15.927 * [taylor]: Taking taylor expansion of t in z 15.927 * [taylor]: Taking taylor expansion of z in z 15.927 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.927 * [taylor]: Taking taylor expansion of x in z 15.928 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in y 15.928 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 15.928 * [taylor]: Taking taylor expansion of (* t y) in y 15.928 * [taylor]: Taking taylor expansion of t in y 15.928 * [taylor]: Taking taylor expansion of y in y 15.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in y 15.928 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 15.928 * [taylor]: Taking taylor expansion of (* t z) in y 15.928 * [taylor]: Taking taylor expansion of t in y 15.928 * [taylor]: Taking taylor expansion of z in y 15.928 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.928 * [taylor]: Taking taylor expansion of x in y 15.928 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in t 15.928 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.928 * [taylor]: Taking taylor expansion of (* t y) in t 15.928 * [taylor]: Taking taylor expansion of t in t 15.928 * [taylor]: Taking taylor expansion of y in t 15.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in t 15.928 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.929 * [taylor]: Taking taylor expansion of (* t z) in t 15.929 * [taylor]: Taking taylor expansion of t in t 15.929 * [taylor]: Taking taylor expansion of z in t 15.929 * [taylor]: Taking taylor expansion of (/ 1 x) in t 15.929 * [taylor]: Taking taylor expansion of x in t 15.929 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x 15.929 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.929 * [taylor]: Taking taylor expansion of (* t y) in x 15.929 * [taylor]: Taking taylor expansion of t in x 15.929 * [taylor]: Taking taylor expansion of y in x 15.929 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x 15.929 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.929 * [taylor]: Taking taylor expansion of (* t z) in x 15.929 * [taylor]: Taking taylor expansion of t in x 15.929 * [taylor]: Taking taylor expansion of z in x 15.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.929 * [taylor]: Taking taylor expansion of x in x 15.930 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (/ 1 x))) in x 15.930 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.930 * [taylor]: Taking taylor expansion of (* t y) in x 15.930 * [taylor]: Taking taylor expansion of t in x 15.930 * [taylor]: Taking taylor expansion of y in x 15.930 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in x 15.930 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.930 * [taylor]: Taking taylor expansion of (* t z) in x 15.930 * [taylor]: Taking taylor expansion of t in x 15.930 * [taylor]: Taking taylor expansion of z in x 15.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.930 * [taylor]: Taking taylor expansion of x in x 15.931 * [taylor]: Taking taylor expansion of -1 in t 15.932 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 15.932 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.932 * [taylor]: Taking taylor expansion of (* t y) in t 15.932 * [taylor]: Taking taylor expansion of t in t 15.932 * [taylor]: Taking taylor expansion of y in t 15.932 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.932 * [taylor]: Taking taylor expansion of (* t z) in t 15.932 * [taylor]: Taking taylor expansion of t in t 15.932 * [taylor]: Taking taylor expansion of z in t 15.932 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.932 * [taylor]: Taking taylor expansion of y in y 15.933 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.933 * [taylor]: Taking taylor expansion of z in y 15.933 * [taylor]: Taking taylor expansion of 1 in z 15.933 * [taylor]: Taking taylor expansion of -1 in y 15.934 * [taylor]: Taking taylor expansion of 0 in t 15.936 * [taylor]: Taking taylor expansion of 0 in y 15.936 * [taylor]: Taking taylor expansion of 0 in y 15.937 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.937 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.937 * [taylor]: Taking taylor expansion of z in z 15.937 * [taylor]: Taking taylor expansion of -1 in z 15.939 * [taylor]: Taking taylor expansion of 0 in t 15.939 * [taylor]: Taking taylor expansion of 0 in y 15.941 * [taylor]: Taking taylor expansion of 0 in y 15.941 * [taylor]: Taking taylor expansion of 0 in y 15.941 * [taylor]: Taking taylor expansion of 0 in z 15.941 * [taylor]: Taking taylor expansion of 0 in z 15.942 * [taylor]: Taking taylor expansion of 0 in z 15.942 * [taylor]: Taking taylor expansion of 0 in z 15.943 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 15.944 * [approximate]: Taking taylor expansion of (- (+ x (* t y)) (+ (* t z) (* x y))) in (x t y z) around 0 15.944 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (+ (* t z) (* x y))) in z 15.944 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 15.944 * [taylor]: Taking taylor expansion of x in z 15.944 * [taylor]: Taking taylor expansion of (* t y) in z 15.944 * [taylor]: Taking taylor expansion of t in z 15.944 * [taylor]: Taking taylor expansion of y in z 15.944 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 15.944 * [taylor]: Taking taylor expansion of (* t z) in z 15.944 * [taylor]: Taking taylor expansion of t in z 15.944 * [taylor]: Taking taylor expansion of z in z 15.944 * [taylor]: Taking taylor expansion of (* x y) in z 15.944 * [taylor]: Taking taylor expansion of x in z 15.944 * [taylor]: Taking taylor expansion of y in z 15.944 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (+ (* t z) (* x y))) in y 15.944 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 15.944 * [taylor]: Taking taylor expansion of x in y 15.944 * [taylor]: Taking taylor expansion of (* t y) in y 15.944 * [taylor]: Taking taylor expansion of t in y 15.944 * [taylor]: Taking taylor expansion of y in y 15.944 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 15.944 * [taylor]: Taking taylor expansion of (* t z) in y 15.944 * [taylor]: Taking taylor expansion of t in y 15.944 * [taylor]: Taking taylor expansion of z in y 15.944 * [taylor]: Taking taylor expansion of (* x y) in y 15.944 * [taylor]: Taking taylor expansion of x in y 15.944 * [taylor]: Taking taylor expansion of y in y 15.944 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (+ (* t z) (* x y))) in t 15.944 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 15.944 * [taylor]: Taking taylor expansion of x in t 15.944 * [taylor]: Taking taylor expansion of (* t y) in t 15.944 * [taylor]: Taking taylor expansion of t in t 15.944 * [taylor]: Taking taylor expansion of y in t 15.944 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 15.944 * [taylor]: Taking taylor expansion of (* t z) in t 15.944 * [taylor]: Taking taylor expansion of t in t 15.944 * [taylor]: Taking taylor expansion of z in t 15.944 * [taylor]: Taking taylor expansion of (* x y) in t 15.944 * [taylor]: Taking taylor expansion of x in t 15.944 * [taylor]: Taking taylor expansion of y in t 15.944 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (+ (* t z) (* x y))) in x 15.944 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 15.944 * [taylor]: Taking taylor expansion of x in x 15.944 * [taylor]: Taking taylor expansion of (* t y) in x 15.944 * [taylor]: Taking taylor expansion of t in x 15.944 * [taylor]: Taking taylor expansion of y in x 15.944 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 15.944 * [taylor]: Taking taylor expansion of (* t z) in x 15.944 * [taylor]: Taking taylor expansion of t in x 15.944 * [taylor]: Taking taylor expansion of z in x 15.944 * [taylor]: Taking taylor expansion of (* x y) in x 15.944 * [taylor]: Taking taylor expansion of x in x 15.944 * [taylor]: Taking taylor expansion of y in x 15.944 * [taylor]: Taking taylor expansion of (- (+ x (* t y)) (+ (* t z) (* x y))) in x 15.944 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 15.944 * [taylor]: Taking taylor expansion of x in x 15.944 * [taylor]: Taking taylor expansion of (* t y) in x 15.944 * [taylor]: Taking taylor expansion of t in x 15.944 * [taylor]: Taking taylor expansion of y in x 15.944 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 15.944 * [taylor]: Taking taylor expansion of (* t z) in x 15.945 * [taylor]: Taking taylor expansion of t in x 15.945 * [taylor]: Taking taylor expansion of z in x 15.945 * [taylor]: Taking taylor expansion of (* x y) in x 15.945 * [taylor]: Taking taylor expansion of x in x 15.945 * [taylor]: Taking taylor expansion of y in x 15.945 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t 15.945 * [taylor]: Taking taylor expansion of (* t y) in t 15.945 * [taylor]: Taking taylor expansion of t in t 15.945 * [taylor]: Taking taylor expansion of y in t 15.945 * [taylor]: Taking taylor expansion of (* t z) in t 15.945 * [taylor]: Taking taylor expansion of t in t 15.945 * [taylor]: Taking taylor expansion of z in t 15.945 * [taylor]: Taking taylor expansion of 0 in y 15.945 * [taylor]: Taking taylor expansion of 0 in z 15.946 * [taylor]: Taking taylor expansion of (- 1 y) in t 15.946 * [taylor]: Taking taylor expansion of 1 in t 15.946 * [taylor]: Taking taylor expansion of y in t 15.946 * [taylor]: Taking taylor expansion of (- 1 y) in y 15.946 * [taylor]: Taking taylor expansion of 1 in y 15.946 * [taylor]: Taking taylor expansion of y in y 15.947 * [taylor]: Taking taylor expansion of 1 in z 15.947 * [taylor]: Taking taylor expansion of (- y z) in y 15.947 * [taylor]: Taking taylor expansion of y in y 15.947 * [taylor]: Taking taylor expansion of z in y 15.947 * [taylor]: Taking taylor expansion of (- z) in z 15.947 * [taylor]: Taking taylor expansion of z in z 15.948 * [taylor]: Taking taylor expansion of 0 in z 15.950 * [taylor]: Taking taylor expansion of 0 in t 15.950 * [taylor]: Taking taylor expansion of 0 in y 15.950 * [taylor]: Taking taylor expansion of 0 in z 15.950 * [taylor]: Taking taylor expansion of 0 in y 15.950 * [taylor]: Taking taylor expansion of 0 in z 15.952 * [taylor]: Taking taylor expansion of 0 in y 15.952 * [taylor]: Taking taylor expansion of 0 in z 15.952 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x t y z) around 0 15.952 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 15.952 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in z 15.952 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 15.952 * [taylor]: Taking taylor expansion of (* t y) in z 15.952 * [taylor]: Taking taylor expansion of t in z 15.952 * [taylor]: Taking taylor expansion of y in z 15.952 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.952 * [taylor]: Taking taylor expansion of x in z 15.952 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 15.952 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 15.952 * [taylor]: Taking taylor expansion of (* t z) in z 15.952 * [taylor]: Taking taylor expansion of t in z 15.952 * [taylor]: Taking taylor expansion of z in z 15.953 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 15.953 * [taylor]: Taking taylor expansion of (* x y) in z 15.953 * [taylor]: Taking taylor expansion of x in z 15.953 * [taylor]: Taking taylor expansion of y in z 15.953 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 15.953 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y 15.953 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 15.953 * [taylor]: Taking taylor expansion of (* t y) in y 15.953 * [taylor]: Taking taylor expansion of t in y 15.953 * [taylor]: Taking taylor expansion of y in y 15.953 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.953 * [taylor]: Taking taylor expansion of x in y 15.953 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 15.953 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 15.953 * [taylor]: Taking taylor expansion of (* t z) in y 15.953 * [taylor]: Taking taylor expansion of t in y 15.953 * [taylor]: Taking taylor expansion of z in y 15.953 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 15.953 * [taylor]: Taking taylor expansion of (* x y) in y 15.953 * [taylor]: Taking taylor expansion of x in y 15.953 * [taylor]: Taking taylor expansion of y in y 15.954 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 15.954 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t 15.954 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.954 * [taylor]: Taking taylor expansion of (* t y) in t 15.954 * [taylor]: Taking taylor expansion of t in t 15.954 * [taylor]: Taking taylor expansion of y in t 15.954 * [taylor]: Taking taylor expansion of (/ 1 x) in t 15.954 * [taylor]: Taking taylor expansion of x in t 15.954 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 15.954 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.954 * [taylor]: Taking taylor expansion of (* t z) in t 15.954 * [taylor]: Taking taylor expansion of t in t 15.954 * [taylor]: Taking taylor expansion of z in t 15.954 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 15.954 * [taylor]: Taking taylor expansion of (* x y) in t 15.955 * [taylor]: Taking taylor expansion of x in t 15.955 * [taylor]: Taking taylor expansion of y in t 15.955 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 15.955 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 15.955 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.955 * [taylor]: Taking taylor expansion of (* t y) in x 15.955 * [taylor]: Taking taylor expansion of t in x 15.955 * [taylor]: Taking taylor expansion of y in x 15.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.955 * [taylor]: Taking taylor expansion of x in x 15.955 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 15.955 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.955 * [taylor]: Taking taylor expansion of (* t z) in x 15.955 * [taylor]: Taking taylor expansion of t in x 15.955 * [taylor]: Taking taylor expansion of z in x 15.955 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.955 * [taylor]: Taking taylor expansion of (* x y) in x 15.955 * [taylor]: Taking taylor expansion of x in x 15.955 * [taylor]: Taking taylor expansion of y in x 15.956 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (/ 1 x)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 15.956 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 15.956 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.956 * [taylor]: Taking taylor expansion of (* t y) in x 15.956 * [taylor]: Taking taylor expansion of t in x 15.956 * [taylor]: Taking taylor expansion of y in x 15.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.956 * [taylor]: Taking taylor expansion of x in x 15.956 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 15.956 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.956 * [taylor]: Taking taylor expansion of (* t z) in x 15.956 * [taylor]: Taking taylor expansion of t in x 15.956 * [taylor]: Taking taylor expansion of z in x 15.956 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.956 * [taylor]: Taking taylor expansion of (* x y) in x 15.956 * [taylor]: Taking taylor expansion of x in x 15.956 * [taylor]: Taking taylor expansion of y in x 15.957 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in t 15.957 * [taylor]: Taking taylor expansion of 1 in t 15.957 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.957 * [taylor]: Taking taylor expansion of y in t 15.958 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 15.958 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.958 * [taylor]: Taking taylor expansion of (* t y) in t 15.958 * [taylor]: Taking taylor expansion of t in t 15.958 * [taylor]: Taking taylor expansion of y in t 15.959 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.959 * [taylor]: Taking taylor expansion of (* t z) in t 15.959 * [taylor]: Taking taylor expansion of t in t 15.959 * [taylor]: Taking taylor expansion of z in t 15.959 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.959 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.959 * [taylor]: Taking taylor expansion of y in y 15.959 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.959 * [taylor]: Taking taylor expansion of z in y 15.960 * [taylor]: Taking taylor expansion of 1 in z 15.960 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 15.960 * [taylor]: Taking taylor expansion of 1 in y 15.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.960 * [taylor]: Taking taylor expansion of y in y 15.960 * [taylor]: Taking taylor expansion of -1 in z 15.963 * [taylor]: Taking taylor expansion of 0 in t 15.964 * [taylor]: Taking taylor expansion of 0 in y 15.965 * [taylor]: Taking taylor expansion of 0 in y 15.966 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.966 * [taylor]: Taking taylor expansion of z in z 15.967 * [taylor]: Taking taylor expansion of 1 in z 15.968 * [approximate]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x t y z) around 0 15.968 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z 15.968 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 15.968 * [taylor]: Taking taylor expansion of (* t y) in z 15.968 * [taylor]: Taking taylor expansion of t in z 15.968 * [taylor]: Taking taylor expansion of y in z 15.968 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z 15.968 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 15.968 * [taylor]: Taking taylor expansion of (* t z) in z 15.968 * [taylor]: Taking taylor expansion of t in z 15.968 * [taylor]: Taking taylor expansion of z in z 15.968 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z 15.968 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 15.968 * [taylor]: Taking taylor expansion of (* x y) in z 15.968 * [taylor]: Taking taylor expansion of x in z 15.968 * [taylor]: Taking taylor expansion of y in z 15.968 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.968 * [taylor]: Taking taylor expansion of x in z 15.968 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y 15.968 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 15.968 * [taylor]: Taking taylor expansion of (* t y) in y 15.968 * [taylor]: Taking taylor expansion of t in y 15.968 * [taylor]: Taking taylor expansion of y in y 15.969 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y 15.969 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 15.969 * [taylor]: Taking taylor expansion of (* t z) in y 15.969 * [taylor]: Taking taylor expansion of t in y 15.969 * [taylor]: Taking taylor expansion of z in y 15.969 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 15.969 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 15.969 * [taylor]: Taking taylor expansion of (* x y) in y 15.969 * [taylor]: Taking taylor expansion of x in y 15.969 * [taylor]: Taking taylor expansion of y in y 15.969 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.969 * [taylor]: Taking taylor expansion of x in y 15.969 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t 15.969 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.969 * [taylor]: Taking taylor expansion of (* t y) in t 15.969 * [taylor]: Taking taylor expansion of t in t 15.969 * [taylor]: Taking taylor expansion of y in t 15.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t 15.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.970 * [taylor]: Taking taylor expansion of (* t z) in t 15.970 * [taylor]: Taking taylor expansion of t in t 15.970 * [taylor]: Taking taylor expansion of z in t 15.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t 15.970 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 15.970 * [taylor]: Taking taylor expansion of (* x y) in t 15.970 * [taylor]: Taking taylor expansion of x in t 15.970 * [taylor]: Taking taylor expansion of y in t 15.970 * [taylor]: Taking taylor expansion of (/ 1 x) in t 15.970 * [taylor]: Taking taylor expansion of x in t 15.970 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 15.970 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.970 * [taylor]: Taking taylor expansion of (* t y) in x 15.970 * [taylor]: Taking taylor expansion of t in x 15.970 * [taylor]: Taking taylor expansion of y in x 15.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 15.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.970 * [taylor]: Taking taylor expansion of (* t z) in x 15.970 * [taylor]: Taking taylor expansion of t in x 15.970 * [taylor]: Taking taylor expansion of z in x 15.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 15.971 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.971 * [taylor]: Taking taylor expansion of (* x y) in x 15.971 * [taylor]: Taking taylor expansion of x in x 15.971 * [taylor]: Taking taylor expansion of y in x 15.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.971 * [taylor]: Taking taylor expansion of x in x 15.971 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 15.971 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 15.971 * [taylor]: Taking taylor expansion of (* t y) in x 15.971 * [taylor]: Taking taylor expansion of t in x 15.971 * [taylor]: Taking taylor expansion of y in x 15.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 15.971 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 15.971 * [taylor]: Taking taylor expansion of (* t z) in x 15.971 * [taylor]: Taking taylor expansion of t in x 15.971 * [taylor]: Taking taylor expansion of z in x 15.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 15.971 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 15.972 * [taylor]: Taking taylor expansion of (* x y) in x 15.972 * [taylor]: Taking taylor expansion of x in x 15.972 * [taylor]: Taking taylor expansion of y in x 15.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.972 * [taylor]: Taking taylor expansion of x in x 15.972 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in t 15.972 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t 15.972 * [taylor]: Taking taylor expansion of (/ 1 y) in t 15.972 * [taylor]: Taking taylor expansion of y in t 15.972 * [taylor]: Taking taylor expansion of 1 in t 15.974 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 15.974 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 15.974 * [taylor]: Taking taylor expansion of (* t y) in t 15.974 * [taylor]: Taking taylor expansion of t in t 15.974 * [taylor]: Taking taylor expansion of y in t 15.974 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 15.974 * [taylor]: Taking taylor expansion of (* t z) in t 15.974 * [taylor]: Taking taylor expansion of t in t 15.974 * [taylor]: Taking taylor expansion of z in t 15.975 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 15.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.975 * [taylor]: Taking taylor expansion of y in y 15.975 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.975 * [taylor]: Taking taylor expansion of z in y 15.975 * [taylor]: Taking taylor expansion of 1 in z 15.975 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 15.975 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 15.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.975 * [taylor]: Taking taylor expansion of y in y 15.976 * [taylor]: Taking taylor expansion of 1 in y 15.976 * [taylor]: Taking taylor expansion of -1 in z 15.979 * [taylor]: Taking taylor expansion of 0 in t 15.980 * [taylor]: Taking taylor expansion of 0 in y 15.981 * [taylor]: Taking taylor expansion of 0 in y 15.981 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.981 * [taylor]: Taking taylor expansion of z in z 15.983 * [taylor]: Taking taylor expansion of -1 in z 15.983 * * * [progress]: simplifying candidates 15.984 * [simplify]: Simplifying using # : (* (/ (* (exp x) (exp (* t (- y z)))) (exp (* x y))) (exp (* (- x) (- z)))) (* (/ (exp (+ x (* t (- y z)))) (exp (* x y))) (exp (* (- x) (- z)))) (* (exp (- (+ x (* t (- y z))) (* x y))) (exp (* (- x) (- z)))) (log (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (exp (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (* (cbrt (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (cbrt (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z))))) (cbrt (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (* (* (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z))) (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (sqrt (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (sqrt (+ (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z)))) (+ (pow (- (+ x (* t (- y z))) (* x y)) 3) (pow (* (- x) (- z)) 3)) (+ (* (- (+ x (* t (- y z))) (* x y)) (- (+ x (* t (- y z))) (* x y))) (- (* (* (- x) (- z)) (* (- x) (- z))) (* (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z))))) (- (* (- (+ x (* t (- y z))) (* x y)) (- (+ x (* t (- y z))) (* x y))) (* (* (- x) (- z)) (* (- x) (- z)))) (- (- (+ x (* t (- y z))) (* x y)) (* (- x) (- z))) (+ (- (* x y)) (* (- x) (- z))) (+ (- (* t (- y z)) (* x y)) (* (- x) (- z))) (+ (- (* x y)) (* (- x) (- z))) (- (* x y) (* (- x) (- z))) (* t (- y z)) (+ (log t) (log (- y z))) (log (* t (- y z))) (exp (* t (- y z))) (* (* (* t t) t) (* (* (- y z) (- y z)) (- y z))) (* (cbrt (* t (- y z))) (cbrt (* t (- y z)))) (cbrt (* t (- y z))) (* (* (* t (- y z)) (* t (- y z))) (* t (- y z))) (sqrt (* t (- y z))) (sqrt (* t (- y z))) (* (sqrt t) (sqrt (- y z))) (* (sqrt t) (sqrt (- y z))) (* t y) (* t (- z)) (* t y) (* t (- z)) (* y t) (* (- z) t) (* y t) (* (- z) t) (* t (* (cbrt (- y z)) (cbrt (- y z)))) (* t (sqrt (- y z))) (* t 1) (* t (+ (sqrt y) (sqrt z))) (* t 1) (* (cbrt t) (- y z)) (* (sqrt t) (- y z)) (* t (- y z)) (* t (- (pow y 3) (pow z 3))) (* t (- (* y y) (* z z))) (* (exp x) (exp (* t (- y z)))) (log (+ x (* t (- y z)))) (exp (+ x (* t (- y z)))) (* (cbrt (+ x (* t (- y z)))) (cbrt (+ x (* t (- y z))))) (cbrt (+ x (* t (- y z)))) (* (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (+ x (* t (- y z)))) (sqrt (+ x (* t (- y z)))) (sqrt (+ x (* t (- y z)))) (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* x x) (- (* (* t (- y z)) (* t (- y z))) (* x (* t (- y z))))) (- (* x x) (* (* t (- y z)) (* t (- y z)))) (- x (* t (- y z))) (+ x (* t y)) (+ x (* t y)) (+ x (* y t)) (+ x (* y t)) (/ (* (exp x) (exp (* t (- y z)))) (exp (* x y))) (/ (exp (+ x (* t (- y z)))) (exp (* x y))) (log (- (+ x (* t (- y z))) (* x y))) (exp (- (+ x (* t (- y z))) (* x y))) (* (cbrt (- (+ x (* t (- y z))) (* x y))) (cbrt (- (+ x (* t (- y z))) (* x y)))) (cbrt (- (+ x (* t (- y z))) (* x y))) (* (* (- (+ x (* t (- y z))) (* x y)) (- (+ x (* t (- y z))) (* x y))) (- (+ x (* t (- y z))) (* x y))) (sqrt (- (+ x (* t (- y z))) (* x y))) (sqrt (- (+ x (* t (- y z))) (* x y))) (- (pow (+ x (* t (- y z))) 3) (pow (* x y) 3)) (+ (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (+ (* (* x y) (* x y)) (* (+ x (* t (- y z))) (* x y)))) (- (* x y)) (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x y) (* x y))) (+ (+ x (* t (- y z))) (* x y)) (- (* t (- y z)) (* x y)) (- (* x y)) x (- (+ (* x z) (* t y)) (* t z)) (- (+ (* x z) (* t y)) (* t z)) (- (* t y) (* t z)) (- (* t y) (* t z)) (- (* t y) (* t z)) x (- (+ x (* t y)) (* t z)) (- (+ x (* t y)) (* t z)) x (- (* t y) (+ (* t z) (* x y))) (- (* t y) (+ (* t z) (* x y))) 15.988 * * [simplify]: iteration 0 : 129 enodes (cost 1105 ) 16.011 * * [simplify]: iteration 1 : 356 enodes (cost 1010 ) 16.082 * * [simplify]: iteration 2 : 1428 enodes (cost 916 ) 16.488 * * [simplify]: iteration done : 5000 enodes (cost 839 ) 16.489 * [simplify]: Simplified to: (exp (+ x (* (- y z) (+ t (- x))))) (exp (+ x (* (- y z) (+ t (- x))))) (exp (+ x (* (- y z) (+ t (- x))))) (log (+ x (* (- y z) (+ t (- x))))) (exp (+ x (* (- y z) (+ t (- x))))) (* (cbrt (+ x (* (- y z) (+ t (- x))))) (cbrt (+ x (* (- y z) (+ t (- x)))))) (cbrt (+ x (* (- y z) (+ t (- x))))) (pow (+ x (* (- y z) (+ t (- x)))) 3) (sqrt (+ x (* (- y z) (+ t (- x))))) (sqrt (+ x (* (- y z) (+ t (- x))))) (- (pow (- (+ x (* t (- y z))) (* x y)) 3) (pow (* x (- z)) 3)) (+ (* (* x x) (* z z)) (* (- (+ x (* t (- y z))) (* x y)) (+ (+ x (* t (- y z))) (* (- x) (+ y z))))) (* (+ (+ x (* t (- y z))) (* (- x) (+ y z))) (+ x (* (- y z) (+ t (- x))))) (+ (+ x (* t (- y z))) (* (- x) (+ y z))) (* (- x) (- y z)) (* (- y z) (+ t (- x))) (* (- x) (- y z)) (* x (- y z)) (* t (- y z)) (log (* t (- y z))) (log (* t (- y z))) (exp (* t (- y z))) (pow (* t (- y z)) 3) (* (cbrt (* t (- y z))) (cbrt (* t (- y z)))) (cbrt (* t (- y z))) (pow (* t (- y z)) 3) (sqrt (* t (- y z))) (sqrt (* t (- y z))) (* (sqrt t) (sqrt (- y z))) (* (sqrt t) (sqrt (- y z))) (* t y) (* (- z) t) (* t y) (* (- z) t) (* t y) (* (- z) t) (* t y) (* (- z) t) (* t (* (cbrt (- y z)) (cbrt (- y z)))) (* t (sqrt (- y z))) t (* t (+ (sqrt y) (sqrt z))) t (* (cbrt t) (- y z)) (* (sqrt t) (- y z)) (* t (- y z)) (* t (- (pow y 3) (pow z 3))) (* t (- (* y y) (* z z))) (exp (+ x (* t (- y z)))) (log (+ x (* t (- y z)))) (exp (+ x (* t (- y z)))) (* (cbrt (+ x (* t (- y z)))) (cbrt (+ x (* t (- y z))))) (cbrt (+ x (* t (- y z)))) (pow (+ x (* t (- y z))) 3) (sqrt (+ x (* t (- y z)))) (sqrt (+ x (* t (- y z)))) (+ (pow x 3) (pow (* t (- y z)) 3)) (+ (* x x) (* (* t (- y z)) (- (* t (- y z)) x))) (- (* x x) (* (* t (- y z)) (* t (- y z)))) (- x (* t (- y z))) (+ x (* y t)) (+ x (* y t)) (+ x (* y t)) (+ x (* y t)) (exp (- (+ x (* t (- y z))) (* x y))) (exp (- (+ x (* t (- y z))) (* x y))) (log (- (+ x (* t (- y z))) (* x y))) (exp (- (+ x (* t (- y z))) (* x y))) (* (cbrt (- (+ x (* t (- y z))) (* x y))) (cbrt (- (+ x (* t (- y z))) (* x y)))) (cbrt (- (+ x (* t (- y z))) (* x y))) (pow (- (+ x (* t (- y z))) (* x y)) 3) (sqrt (- (+ x (* t (- y z))) (* x y))) (sqrt (- (+ x (* t (- y z))) (* x y))) (- (pow (+ x (* t (- y z))) 3) (pow (* x y) 3)) (+ (* (+ (+ x (* t (- y z))) (* x y)) (+ x (* t (- y z)))) (* (* x y) (* x y))) (- (* x y)) (- (* (+ x (* t (- y z))) (+ x (* t (- y z)))) (* (* x y) (* x y))) (+ (+ x (* t (- y z))) (* x y)) (- (* t (- y z)) (* x y)) (- (* x y)) x (+ (* x z) (* t (- y z))) (+ (* x z) (* t (- y z))) (* t (- y z)) (* t (- y z)) (* t (- y z)) x (+ x (* t (- y z))) (+ x (* t (- y z))) x (- (* t (- y z)) (* x y)) (- (* t (- y z)) (* x y)) 16.489 * * * [progress]: adding candidates to table 16.661 * * [progress]: iteration 4 / 4 16.661 * * * [progress]: picking best candidate 16.669 * * * * [pick]: Picked # 16.669 * * * [progress]: localizing error 16.681 * * * [progress]: generating rewritten candidates 16.681 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 16.682 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 16.683 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 16.685 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 16.701 * * * [progress]: generating series expansions 16.701 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 16.701 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0 16.701 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 16.701 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.701 * [taylor]: Taking taylor expansion of -1 in x 16.702 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.702 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.702 * [taylor]: Taking taylor expansion of 1/3 in x 16.703 * [taylor]: Taking taylor expansion of (log x) in x 16.703 * [taylor]: Taking taylor expansion of x in x 16.706 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 16.706 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.706 * [taylor]: Taking taylor expansion of -1 in x 16.707 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.707 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.707 * [taylor]: Taking taylor expansion of 1/3 in x 16.707 * [taylor]: Taking taylor expansion of (log x) in x 16.707 * [taylor]: Taking taylor expansion of x in x 16.768 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 16.768 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.768 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.769 * [taylor]: Taking taylor expansion of -1 in x 16.769 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.769 * [taylor]: Taking taylor expansion of 1/3 in x 16.769 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.769 * [taylor]: Taking taylor expansion of x in x 16.770 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.770 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.770 * [taylor]: Taking taylor expansion of -1 in x 16.771 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.771 * [taylor]: Taking taylor expansion of 1/3 in x 16.771 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.771 * [taylor]: Taking taylor expansion of x in x 16.837 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 16.837 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.837 * [taylor]: Taking taylor expansion of 1/3 in x 16.837 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.837 * [taylor]: Taking taylor expansion of x in x 16.838 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.838 * [taylor]: Taking taylor expansion of 1/3 in x 16.838 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.838 * [taylor]: Taking taylor expansion of x in x 16.891 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 16.891 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0 16.891 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 16.891 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.891 * [taylor]: Taking taylor expansion of -1 in x 16.892 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.892 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.892 * [taylor]: Taking taylor expansion of 1/3 in x 16.892 * [taylor]: Taking taylor expansion of (log x) in x 16.892 * [taylor]: Taking taylor expansion of x in x 16.893 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 16.893 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.893 * [taylor]: Taking taylor expansion of -1 in x 16.893 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.893 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.893 * [taylor]: Taking taylor expansion of 1/3 in x 16.893 * [taylor]: Taking taylor expansion of (log x) in x 16.893 * [taylor]: Taking taylor expansion of x in x 16.953 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 16.953 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.953 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.953 * [taylor]: Taking taylor expansion of -1 in x 16.954 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.954 * [taylor]: Taking taylor expansion of 1/3 in x 16.954 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.954 * [taylor]: Taking taylor expansion of x in x 16.955 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.955 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.955 * [taylor]: Taking taylor expansion of -1 in x 16.956 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.956 * [taylor]: Taking taylor expansion of 1/3 in x 16.956 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.956 * [taylor]: Taking taylor expansion of x in x 17.022 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 17.022 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.022 * [taylor]: Taking taylor expansion of 1/3 in x 17.022 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.022 * [taylor]: Taking taylor expansion of x in x 17.023 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.023 * [taylor]: Taking taylor expansion of 1/3 in x 17.023 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.023 * [taylor]: Taking taylor expansion of x in x 17.076 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 17.076 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0 17.076 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 17.076 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.076 * [taylor]: Taking taylor expansion of -1 in x 17.077 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.077 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.077 * [taylor]: Taking taylor expansion of 1/3 in x 17.077 * [taylor]: Taking taylor expansion of (log x) in x 17.077 * [taylor]: Taking taylor expansion of x in x 17.084 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 17.084 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.084 * [taylor]: Taking taylor expansion of -1 in x 17.085 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.085 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.085 * [taylor]: Taking taylor expansion of 1/3 in x 17.085 * [taylor]: Taking taylor expansion of (log x) in x 17.085 * [taylor]: Taking taylor expansion of x in x 17.145 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 17.145 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.145 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.145 * [taylor]: Taking taylor expansion of -1 in x 17.146 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.146 * [taylor]: Taking taylor expansion of 1/3 in x 17.146 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.146 * [taylor]: Taking taylor expansion of x in x 17.147 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.147 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.147 * [taylor]: Taking taylor expansion of -1 in x 17.148 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.148 * [taylor]: Taking taylor expansion of 1/3 in x 17.148 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.148 * [taylor]: Taking taylor expansion of x in x 17.216 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 17.216 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.216 * [taylor]: Taking taylor expansion of 1/3 in x 17.216 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.216 * [taylor]: Taking taylor expansion of x in x 17.217 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.217 * [taylor]: Taking taylor expansion of 1/3 in x 17.217 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.217 * [taylor]: Taking taylor expansion of x in x 17.277 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 17.277 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) in (x) around 0 17.277 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) in x 17.277 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 17.277 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.277 * [taylor]: Taking taylor expansion of -1 in x 17.278 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 17.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 17.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 17.278 * [taylor]: Taking taylor expansion of 1/3 in x 17.278 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 17.278 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.278 * [taylor]: Taking taylor expansion of x in x 17.279 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) in x 17.279 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 17.279 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.279 * [taylor]: Taking taylor expansion of -1 in x 17.280 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 17.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 17.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 17.280 * [taylor]: Taking taylor expansion of 1/3 in x 17.280 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 17.280 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.280 * [taylor]: Taking taylor expansion of x in x 17.355 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 17.355 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 17.355 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 17.356 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.356 * [taylor]: Taking taylor expansion of -1 in x 17.356 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 17.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 17.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 17.356 * [taylor]: Taking taylor expansion of 1/3 in x 17.356 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 17.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.356 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.356 * [taylor]: Taking taylor expansion of x in x 17.357 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 17.357 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 17.357 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.357 * [taylor]: Taking taylor expansion of -1 in x 17.358 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 17.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 17.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 17.358 * [taylor]: Taking taylor expansion of 1/3 in x 17.358 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 17.358 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.358 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.358 * [taylor]: Taking taylor expansion of x in x 17.441 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 17.441 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 17.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 17.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 17.441 * [taylor]: Taking taylor expansion of 1/3 in x 17.441 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 17.441 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.441 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.441 * [taylor]: Taking taylor expansion of x in x 17.442 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 17.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 17.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 17.442 * [taylor]: Taking taylor expansion of 1/3 in x 17.442 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 17.442 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 17.442 * [taylor]: Taking taylor expansion of (pow x 2) in x 17.442 * [taylor]: Taking taylor expansion of x in x 17.504 * * * [progress]: simplifying candidates 17.506 * [simplify]: Simplifying using # : (log (cbrt (- x))) (exp (cbrt (- x))) (cbrt (* (cbrt (- x)) (cbrt (- x)))) (cbrt (cbrt (- x))) (cbrt (sqrt (- x))) (cbrt (sqrt (- x))) (cbrt 1) (cbrt (- x)) (cbrt -1) (cbrt x) (cbrt (- (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt (- 1)) (cbrt x) (cbrt (* (cbrt x) (cbrt x))) (cbrt (- (cbrt x))) (cbrt (sqrt x)) (cbrt (- (sqrt x))) (cbrt 1) (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (cbrt (cbrt (- x))) (* (* (cbrt (- x)) (cbrt (- x))) (cbrt (- x))) (sqrt (cbrt (- x))) (sqrt (cbrt (- x))) (log (cbrt (- x))) (exp (cbrt (- x))) (cbrt (* (cbrt (- x)) (cbrt (- x)))) (cbrt (cbrt (- x))) (cbrt (sqrt (- x))) (cbrt (sqrt (- x))) (cbrt 1) (cbrt (- x)) (cbrt -1) (cbrt x) (cbrt (- (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt (- 1)) (cbrt x) (cbrt (* (cbrt x) (cbrt x))) (cbrt (- (cbrt x))) (cbrt (sqrt x)) (cbrt (- (sqrt x))) (cbrt 1) (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (cbrt (cbrt (- x))) (* (* (cbrt (- x)) (cbrt (- x))) (cbrt (- x))) (sqrt (cbrt (- x))) (sqrt (cbrt (- x))) (log (cbrt (- x))) (exp (cbrt (- x))) (cbrt (* (cbrt (- x)) (cbrt (- x)))) (cbrt (cbrt (- x))) (cbrt (sqrt (- x))) (cbrt (sqrt (- x))) (cbrt 1) (cbrt (- x)) (cbrt -1) (cbrt x) (cbrt (- (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt (- 1)) (cbrt x) (cbrt (* (cbrt x) (cbrt x))) (cbrt (- (cbrt x))) (cbrt (sqrt x)) (cbrt (- (sqrt x))) (cbrt 1) (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (cbrt (cbrt (- x))) (* (* (cbrt (- x)) (cbrt (- x))) (cbrt (- x))) (sqrt (cbrt (- x))) (sqrt (cbrt (- x))) (+ 1/3 1/3) (+ 1 1) (* (- x) (- x)) (* (cbrt (- x)) (cbrt (- x))) (+ 1 1) (+ (log (cbrt (- x))) (log (cbrt (- x)))) (log (* (cbrt (- x)) (cbrt (- x)))) (exp (* (cbrt (- x)) (cbrt (- x)))) (* (- x) (- x)) (* (cbrt (* (cbrt (- x)) (cbrt (- x)))) (cbrt (* (cbrt (- x)) (cbrt (- x))))) (cbrt (* (cbrt (- x)) (cbrt (- x)))) (* (* (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (- x)) (cbrt (- x)))) (* (cbrt (- x)) (cbrt (- x)))) (sqrt (* (cbrt (- x)) (cbrt (- x)))) (sqrt (* (cbrt (- x)) (cbrt (- x)))) (* (cbrt (* (cbrt (- x)) (cbrt (- x)))) (cbrt (* (cbrt (- x)) (cbrt (- x))))) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x)) (cbrt (- x))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x)) (cbrt (- x))) (* (cbrt -1) (cbrt -1)) (* (cbrt x) (cbrt x)) (* (cbrt (- (* (cbrt x) (cbrt x)))) (cbrt (- (* (cbrt x) (cbrt x))))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (- 1)) (cbrt (- 1))) (* (cbrt x) (cbrt x)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (- (cbrt x))) (cbrt (- (cbrt x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x)) (cbrt (- x))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x)) (cbrt (- x))) (* (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x)))) (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x)))) (* 1 1) (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) (* (cbrt (sqrt (- x))) (sqrt (cbrt (- x)))) (* (cbrt (sqrt (- x))) (sqrt (cbrt (- x)))) (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x)))) (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x)))) (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x)))) (* (sqrt (cbrt (- x))) (sqrt (cbrt (- x)))) (* 2 1/3) (* 2 1) (* (cbrt (- x)) (cbrt (* (cbrt (- x)) (cbrt (- x))))) (* (cbrt (- x)) (cbrt (sqrt (- x)))) (* (cbrt (- x)) (cbrt 1)) (* (cbrt (- x)) (cbrt -1)) (* (cbrt (- x)) (cbrt (- (* (cbrt x) (cbrt x))))) (* (cbrt (- x)) (cbrt (- (sqrt x)))) (* (cbrt (- x)) (cbrt (- 1))) (* (cbrt (- x)) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (- x)) (cbrt (sqrt x))) (* (cbrt (- x)) (cbrt 1)) (* (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x))))) (* (cbrt (- x)) (sqrt (cbrt (- x)))) (* (cbrt (- x)) 1) (* (cbrt (cbrt (- x))) (cbrt (- x))) (* (cbrt (sqrt (- x))) (cbrt (- x))) (* (cbrt (- x)) (cbrt (- x))) (* (cbrt x) (cbrt (- x))) (* (cbrt (cbrt x)) (cbrt (- x))) (* (cbrt (sqrt x)) (cbrt (- x))) (* (cbrt x) (cbrt (- x))) (* (cbrt (- (cbrt x))) (cbrt (- x))) (* (cbrt (- (sqrt x))) (cbrt (- x))) (* (cbrt (- x)) (cbrt (- x))) (* (cbrt (cbrt (- x))) (cbrt (- x))) (* (sqrt (cbrt (- x))) (cbrt (- x))) (* (cbrt (- x)) (cbrt (- x))) (* (cbrt -1) (pow x 1/3)) (* (cbrt -1) (pow x 1/3)) (pow (/ -1 x) -1/3) (* (cbrt -1) (pow x 1/3)) (* (cbrt -1) (pow x 1/3)) (pow (/ -1 x) -1/3) (* (cbrt -1) (pow x 1/3)) (* (cbrt -1) (pow x 1/3)) (pow (/ -1 x) -1/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) (pow (/ -1 x) -2/3) 17.509 * * [simplify]: iteration 0 : 91 enodes (cost 1056 ) 17.525 * * [simplify]: iteration 1 : 154 enodes (cost 970 ) 17.569 * * [simplify]: iteration 2 : 576 enodes (cost 885 ) 17.822 * * [simplify]: iteration 3 : 2127 enodes (cost 840 ) 18.893 * * [simplify]: iteration done : 5000 enodes (cost 840 ) 18.893 * [simplify]: Simplified to: (log (cbrt (- x))) (exp (cbrt (- x))) (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (cbrt (- x))) (cbrt (sqrt (- x))) (cbrt (sqrt (- x))) 1 (cbrt (- x)) (cbrt -1) (cbrt x) (cbrt (- (pow x 2/3))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt -1) (cbrt x) (cbrt (pow x 2/3)) (cbrt (- (cbrt x))) (cbrt (sqrt x)) (cbrt (- (sqrt x))) 1 (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (cbrt (cbrt (- x))) (- x) (sqrt (cbrt (- x))) (sqrt (cbrt (- x))) (log (cbrt (- x))) (exp (cbrt (- x))) (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (cbrt (- x))) (cbrt (sqrt (- x))) (cbrt (sqrt (- x))) 1 (cbrt (- x)) (cbrt -1) (cbrt x) (cbrt (- (pow x 2/3))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt -1) (cbrt x) (cbrt (pow x 2/3)) (cbrt (- (cbrt x))) (cbrt (sqrt x)) (cbrt (- (sqrt x))) 1 (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (cbrt (cbrt (- x))) (- x) (sqrt (cbrt (- x))) (sqrt (cbrt (- x))) (log (cbrt (- x))) (exp (cbrt (- x))) (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (cbrt (- x))) (cbrt (sqrt (- x))) (cbrt (sqrt (- x))) 1 (cbrt (- x)) (cbrt -1) (cbrt x) (cbrt (- (pow x 2/3))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt -1) (cbrt x) (cbrt (pow x 2/3)) (cbrt (- (cbrt x))) (cbrt (sqrt x)) (cbrt (- (sqrt x))) 1 (cbrt (- x)) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (cbrt (cbrt (- x))) (- x) (sqrt (cbrt (- x))) (sqrt (cbrt (- x))) 2/3 2 (* x x) (pow (sqrt (cbrt (- x))) 4) 2 (* 2 (log (cbrt (- x)))) (* 2 (log (cbrt (- x)))) (exp (pow (sqrt (cbrt (- x))) 4)) (* x x) (* (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (pow (sqrt (cbrt (- x))) 4))) (cbrt (pow (sqrt (cbrt (- x))) 4)) (* x x) (fabs (cbrt (- x))) (fabs (cbrt (- x))) (* (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (pow (sqrt (cbrt (- x))) 4))) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) 1 (pow (sqrt (cbrt (- x))) 4) 1 (pow (sqrt (cbrt (- x))) 4) (pow (cbrt -1) 2) (pow x 2/3) (* (cbrt (- (pow x 2/3))) (cbrt (- (pow x 2/3)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (pow (cbrt -1) 2) (pow x 2/3) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (* (cbrt (- (cbrt x))) (cbrt (- (cbrt x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (- (sqrt x))) (cbrt (- (sqrt x)))) 1 (pow (sqrt (cbrt (- x))) 4) 1 (pow (sqrt (cbrt (- x))) 4) (pow (cbrt (cbrt (- x))) 4) (* (cbrt (cbrt (- x))) (cbrt (cbrt (- x)))) (cbrt (- x)) (cbrt (- x)) 1 (pow (sqrt (cbrt (- x))) 4) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) (* (cbrt (sqrt (- x))) (cbrt (sqrt (- x)))) (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x)))) (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x)))) (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x)))) (* (sqrt (cbrt (- x))) (cbrt (sqrt (- x)))) (cbrt (- x)) (cbrt (- x)) 2/3 2 (* (cbrt (pow (sqrt (cbrt (- x))) 4)) (cbrt (- x))) (* (cbrt (sqrt (- x))) (cbrt (- x))) (cbrt (- x)) (* (cbrt -1) (cbrt (- x))) (* (cbrt (- (pow x 2/3))) (cbrt (- x))) (* (cbrt (- (sqrt x))) (cbrt (- x))) (* (cbrt -1) (cbrt (- x))) (* (cbrt (pow x 2/3)) (cbrt (- x))) (* (cbrt (- x)) (cbrt (sqrt x))) (cbrt (- x)) (* (pow (cbrt (cbrt (- x))) 4) (cbrt (cbrt (- x)))) (pow (sqrt (cbrt (- x))) 3) (cbrt (- x)) (pow (cbrt (cbrt (- x))) 4) (* (cbrt (sqrt (- x))) (cbrt (- x))) (pow (sqrt (cbrt (- x))) 4) (* (cbrt x) (cbrt (- x))) (* (cbrt (cbrt x)) (cbrt (- x))) (* (cbrt (- x)) (cbrt (sqrt x))) (* (cbrt x) (cbrt (- x))) (* (cbrt (- (cbrt x))) (cbrt (- x))) (* (cbrt (- (sqrt x))) (cbrt (- x))) (pow (sqrt (cbrt (- x))) 4) (pow (cbrt (cbrt (- x))) 4) (pow (sqrt (cbrt (- x))) 3) (pow (sqrt (cbrt (- x))) 4) (* (cbrt x) (cbrt -1)) (* (cbrt x) (cbrt -1)) (pow (/ -1 x) -1/3) (* (cbrt x) (cbrt -1)) (* (cbrt x) (cbrt -1)) (pow (/ -1 x) -1/3) (* (cbrt x) (cbrt -1)) (* (cbrt x) (cbrt -1)) (pow (/ -1 x) -1/3) (* (pow (cbrt -1) 2) (cbrt (pow x 2))) (* (pow (cbrt -1) 2) (cbrt (pow x 2))) (pow (/ -1 x) -2/3) 18.894 * * * [progress]: adding candidates to table 19.277 * [progress]: [Phase 3 of 3] Extracting. 19.278 * * [regime]: Finding splitpoints for: (# # # #) 19.279 * * * [regime-changes]: Trying 5 branch expressions: ((- y z) t z y x) 19.279 * * * * [regimes]: Trying to branch on (- y z) from (# # # #) 19.300 * * * * [regimes]: Trying to branch on t from (# # # #) 19.324 * * * * [regimes]: Trying to branch on z from (# # # #) 19.345 * * * * [regimes]: Trying to branch on y from (# # # #) 19.367 * * * * [regimes]: Trying to branch on x from (# # # #) 19.391 * * * [regime]: Found split indices: #