82.998 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 4.508 * * * [progress]: [2/2] Setting up program. 4.515 * [progress]: [Phase 2 of 3] Improving. 4.516 * [simplify]: Simplifying using # : (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)) 4.520 * * [simplify]: iteration 0 : 37 enodes (cost 9 ) 4.522 * * [simplify]: iteration 1 : 94 enodes (cost 9 ) 4.526 * * [simplify]: iteration 2 : 287 enodes (cost 9 ) 4.534 * * [simplify]: iteration 3 : 741 enodes (cost 9 ) 4.551 * * [simplify]: iteration 4 : 1662 enodes (cost 9 ) 4.586 * * [simplify]: iteration 5 : 4195 enodes (cost 9 ) 4.664 * * [simplify]: iteration 6 : 5001 enodes (cost 9 ) 4.665 * [simplify]: Simplified to: (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)) 4.665 * * [progress]: iteration 1 / 4 4.665 * * * [progress]: picking best candidate 4.672 * * * * [pick]: Picked # 4.672 * * * [progress]: localizing error 4.686 * * * [progress]: generating rewritten candidates 4.686 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.696 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 4.702 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 4.707 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 4.713 * * * [progress]: generating series expansions 4.713 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.713 * [approximate]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in (x y z t a b c) around 0 4.713 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in c 4.713 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in c 4.713 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in c 4.713 * [taylor]: Taking taylor expansion of b in c 4.714 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in c 4.714 * [taylor]: Taking taylor expansion of 9.0 in c 4.714 * [taylor]: Taking taylor expansion of (* x y) in c 4.714 * [taylor]: Taking taylor expansion of x in c 4.714 * [taylor]: Taking taylor expansion of y in c 4.714 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in c 4.714 * [taylor]: Taking taylor expansion of 4.0 in c 4.714 * [taylor]: Taking taylor expansion of (* t (* z a)) in c 4.714 * [taylor]: Taking taylor expansion of t in c 4.714 * [taylor]: Taking taylor expansion of (* z a) in c 4.714 * [taylor]: Taking taylor expansion of z in c 4.714 * [taylor]: Taking taylor expansion of a in c 4.714 * [taylor]: Taking taylor expansion of (* z c) in c 4.714 * [taylor]: Taking taylor expansion of z in c 4.714 * [taylor]: Taking taylor expansion of c in c 4.714 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in b 4.714 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in b 4.714 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in b 4.714 * [taylor]: Taking taylor expansion of b in b 4.714 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in b 4.714 * [taylor]: Taking taylor expansion of 9.0 in b 4.714 * [taylor]: Taking taylor expansion of (* x y) in b 4.714 * [taylor]: Taking taylor expansion of x in b 4.714 * [taylor]: Taking taylor expansion of y in b 4.714 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in b 4.714 * [taylor]: Taking taylor expansion of 4.0 in b 4.714 * [taylor]: Taking taylor expansion of (* t (* z a)) in b 4.714 * [taylor]: Taking taylor expansion of t in b 4.714 * [taylor]: Taking taylor expansion of (* z a) in b 4.714 * [taylor]: Taking taylor expansion of z in b 4.714 * [taylor]: Taking taylor expansion of a in b 4.714 * [taylor]: Taking taylor expansion of (* z c) in b 4.714 * [taylor]: Taking taylor expansion of z in b 4.714 * [taylor]: Taking taylor expansion of c in b 4.715 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in a 4.715 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in a 4.715 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in a 4.715 * [taylor]: Taking taylor expansion of b in a 4.715 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in a 4.715 * [taylor]: Taking taylor expansion of 9.0 in a 4.715 * [taylor]: Taking taylor expansion of (* x y) in a 4.715 * [taylor]: Taking taylor expansion of x in a 4.715 * [taylor]: Taking taylor expansion of y in a 4.715 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in a 4.715 * [taylor]: Taking taylor expansion of 4.0 in a 4.715 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.715 * [taylor]: Taking taylor expansion of t in a 4.715 * [taylor]: Taking taylor expansion of (* z a) in a 4.715 * [taylor]: Taking taylor expansion of z in a 4.715 * [taylor]: Taking taylor expansion of a in a 4.715 * [taylor]: Taking taylor expansion of (* z c) in a 4.715 * [taylor]: Taking taylor expansion of z in a 4.715 * [taylor]: Taking taylor expansion of c in a 4.715 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in t 4.715 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in t 4.715 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in t 4.715 * [taylor]: Taking taylor expansion of b in t 4.715 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in t 4.715 * [taylor]: Taking taylor expansion of 9.0 in t 4.715 * [taylor]: Taking taylor expansion of (* x y) in t 4.715 * [taylor]: Taking taylor expansion of x in t 4.715 * [taylor]: Taking taylor expansion of y in t 4.715 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in t 4.716 * [taylor]: Taking taylor expansion of 4.0 in t 4.716 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.716 * [taylor]: Taking taylor expansion of t in t 4.716 * [taylor]: Taking taylor expansion of (* z a) in t 4.716 * [taylor]: Taking taylor expansion of z in t 4.716 * [taylor]: Taking taylor expansion of a in t 4.716 * [taylor]: Taking taylor expansion of (* z c) in t 4.716 * [taylor]: Taking taylor expansion of z in t 4.716 * [taylor]: Taking taylor expansion of c in t 4.716 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in z 4.716 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in z 4.716 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in z 4.716 * [taylor]: Taking taylor expansion of b in z 4.716 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in z 4.716 * [taylor]: Taking taylor expansion of 9.0 in z 4.716 * [taylor]: Taking taylor expansion of (* x y) in z 4.716 * [taylor]: Taking taylor expansion of x in z 4.716 * [taylor]: Taking taylor expansion of y in z 4.716 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in z 4.716 * [taylor]: Taking taylor expansion of 4.0 in z 4.716 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.716 * [taylor]: Taking taylor expansion of t in z 4.716 * [taylor]: Taking taylor expansion of (* z a) in z 4.716 * [taylor]: Taking taylor expansion of z in z 4.716 * [taylor]: Taking taylor expansion of a in z 4.716 * [taylor]: Taking taylor expansion of (* z c) in z 4.716 * [taylor]: Taking taylor expansion of z in z 4.716 * [taylor]: Taking taylor expansion of c in z 4.716 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in y 4.716 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in y 4.716 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in y 4.716 * [taylor]: Taking taylor expansion of b in y 4.716 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in y 4.716 * [taylor]: Taking taylor expansion of 9.0 in y 4.716 * [taylor]: Taking taylor expansion of (* x y) in y 4.716 * [taylor]: Taking taylor expansion of x in y 4.717 * [taylor]: Taking taylor expansion of y in y 4.717 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in y 4.717 * [taylor]: Taking taylor expansion of 4.0 in y 4.717 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.717 * [taylor]: Taking taylor expansion of t in y 4.717 * [taylor]: Taking taylor expansion of (* z a) in y 4.717 * [taylor]: Taking taylor expansion of z in y 4.717 * [taylor]: Taking taylor expansion of a in y 4.717 * [taylor]: Taking taylor expansion of (* z c) in y 4.717 * [taylor]: Taking taylor expansion of z in y 4.717 * [taylor]: Taking taylor expansion of c in y 4.717 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in x 4.717 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in x 4.717 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in x 4.717 * [taylor]: Taking taylor expansion of b in x 4.717 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in x 4.717 * [taylor]: Taking taylor expansion of 9.0 in x 4.717 * [taylor]: Taking taylor expansion of (* x y) in x 4.717 * [taylor]: Taking taylor expansion of x in x 4.717 * [taylor]: Taking taylor expansion of y in x 4.717 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in x 4.717 * [taylor]: Taking taylor expansion of 4.0 in x 4.717 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.717 * [taylor]: Taking taylor expansion of t in x 4.717 * [taylor]: Taking taylor expansion of (* z a) in x 4.717 * [taylor]: Taking taylor expansion of z in x 4.717 * [taylor]: Taking taylor expansion of a in x 4.717 * [taylor]: Taking taylor expansion of (* z c) in x 4.717 * [taylor]: Taking taylor expansion of z in x 4.717 * [taylor]: Taking taylor expansion of c in x 4.718 * [taylor]: Taking taylor expansion of (/ (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) (* z c)) in x 4.718 * [taylor]: Taking taylor expansion of (- (+ b (* 9.0 (* x y))) (* 4.0 (* t (* z a)))) in x 4.718 * [taylor]: Taking taylor expansion of (+ b (* 9.0 (* x y))) in x 4.718 * [taylor]: Taking taylor expansion of b in x 4.718 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in x 4.718 * [taylor]: Taking taylor expansion of 9.0 in x 4.718 * [taylor]: Taking taylor expansion of (* x y) in x 4.718 * [taylor]: Taking taylor expansion of x in x 4.718 * [taylor]: Taking taylor expansion of y in x 4.718 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in x 4.718 * [taylor]: Taking taylor expansion of 4.0 in x 4.718 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.718 * [taylor]: Taking taylor expansion of t in x 4.718 * [taylor]: Taking taylor expansion of (* z a) in x 4.718 * [taylor]: Taking taylor expansion of z in x 4.718 * [taylor]: Taking taylor expansion of a in x 4.718 * [taylor]: Taking taylor expansion of (* z c) in x 4.718 * [taylor]: Taking taylor expansion of z in x 4.718 * [taylor]: Taking taylor expansion of c in x 4.718 * [taylor]: Taking taylor expansion of (/ (- b (* 4.0 (* t (* z a)))) (* z c)) in y 4.718 * [taylor]: Taking taylor expansion of (- b (* 4.0 (* t (* z a)))) in y 4.718 * [taylor]: Taking taylor expansion of b in y 4.718 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in y 4.718 * [taylor]: Taking taylor expansion of 4.0 in y 4.718 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.718 * [taylor]: Taking taylor expansion of t in y 4.718 * [taylor]: Taking taylor expansion of (* z a) in y 4.718 * [taylor]: Taking taylor expansion of z in y 4.718 * [taylor]: Taking taylor expansion of a in y 4.718 * [taylor]: Taking taylor expansion of (* z c) in y 4.718 * [taylor]: Taking taylor expansion of z in y 4.718 * [taylor]: Taking taylor expansion of c in y 4.719 * [taylor]: Taking taylor expansion of (/ (- b (* 4.0 (* t (* z a)))) (* z c)) in z 4.719 * [taylor]: Taking taylor expansion of (- b (* 4.0 (* t (* z a)))) in z 4.719 * [taylor]: Taking taylor expansion of b in z 4.719 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in z 4.719 * [taylor]: Taking taylor expansion of 4.0 in z 4.719 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.719 * [taylor]: Taking taylor expansion of t in z 4.719 * [taylor]: Taking taylor expansion of (* z a) in z 4.719 * [taylor]: Taking taylor expansion of z in z 4.719 * [taylor]: Taking taylor expansion of a in z 4.719 * [taylor]: Taking taylor expansion of (* z c) in z 4.719 * [taylor]: Taking taylor expansion of z in z 4.719 * [taylor]: Taking taylor expansion of c in z 4.719 * [taylor]: Taking taylor expansion of (/ b c) in t 4.719 * [taylor]: Taking taylor expansion of b in t 4.719 * [taylor]: Taking taylor expansion of c in t 4.719 * [taylor]: Taking taylor expansion of (/ b c) in a 4.719 * [taylor]: Taking taylor expansion of b in a 4.719 * [taylor]: Taking taylor expansion of c in a 4.719 * [taylor]: Taking taylor expansion of (/ b c) in b 4.719 * [taylor]: Taking taylor expansion of b in b 4.719 * [taylor]: Taking taylor expansion of c in b 4.719 * [taylor]: Taking taylor expansion of (* 9.0 (/ y (* z c))) in y 4.720 * [taylor]: Taking taylor expansion of 9.0 in y 4.720 * [taylor]: Taking taylor expansion of (/ y (* z c)) in y 4.720 * [taylor]: Taking taylor expansion of y in y 4.720 * [taylor]: Taking taylor expansion of (* z c) in y 4.720 * [taylor]: Taking taylor expansion of z in y 4.720 * [taylor]: Taking taylor expansion of c in y 4.720 * [taylor]: Taking taylor expansion of 0 in z 4.720 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (* t a) c))) in t 4.720 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* t a) c)) in t 4.720 * [taylor]: Taking taylor expansion of 4.0 in t 4.720 * [taylor]: Taking taylor expansion of (/ (* t a) c) in t 4.720 * [taylor]: Taking taylor expansion of (* t a) in t 4.720 * [taylor]: Taking taylor expansion of t in t 4.720 * [taylor]: Taking taylor expansion of a in t 4.720 * [taylor]: Taking taylor expansion of c in t 4.720 * [taylor]: Taking taylor expansion of 0 in a 4.720 * [taylor]: Taking taylor expansion of 0 in b 4.720 * [taylor]: Taking taylor expansion of 0 in c 4.721 * [taylor]: Taking taylor expansion of 0 in b 4.721 * [taylor]: Taking taylor expansion of 0 in c 4.721 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.721 * [taylor]: Taking taylor expansion of c in c 4.721 * [taylor]: Taking taylor expansion of 0 in y 4.721 * [taylor]: Taking taylor expansion of 0 in z 4.721 * [taylor]: Taking taylor expansion of (/ 9.0 (* z c)) in z 4.721 * [taylor]: Taking taylor expansion of 9.0 in z 4.721 * [taylor]: Taking taylor expansion of (* z c) in z 4.721 * [taylor]: Taking taylor expansion of z in z 4.721 * [taylor]: Taking taylor expansion of c in z 4.721 * [taylor]: Taking taylor expansion of (/ 9.0 c) in t 4.721 * [taylor]: Taking taylor expansion of 9.0 in t 4.721 * [taylor]: Taking taylor expansion of c in t 4.721 * [taylor]: Taking taylor expansion of (/ 9.0 c) in a 4.721 * [taylor]: Taking taylor expansion of 9.0 in a 4.721 * [taylor]: Taking taylor expansion of c in a 4.721 * [taylor]: Taking taylor expansion of (/ 9.0 c) in b 4.721 * [taylor]: Taking taylor expansion of 9.0 in b 4.721 * [taylor]: Taking taylor expansion of c in b 4.722 * [taylor]: Taking taylor expansion of (/ 9.0 c) in c 4.722 * [taylor]: Taking taylor expansion of 9.0 in c 4.722 * [taylor]: Taking taylor expansion of c in c 4.722 * [taylor]: Taking taylor expansion of 0 in z 4.722 * [taylor]: Taking taylor expansion of 0 in t 4.722 * [taylor]: Taking taylor expansion of 0 in a 4.722 * [taylor]: Taking taylor expansion of 0 in b 4.722 * [taylor]: Taking taylor expansion of 0 in c 4.722 * [taylor]: Taking taylor expansion of 0 in t 4.722 * [taylor]: Taking taylor expansion of 0 in a 4.722 * [taylor]: Taking taylor expansion of 0 in b 4.722 * [taylor]: Taking taylor expansion of 0 in c 4.722 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ a c))) in a 4.722 * [taylor]: Taking taylor expansion of (* 4.0 (/ a c)) in a 4.723 * [taylor]: Taking taylor expansion of 4.0 in a 4.723 * [taylor]: Taking taylor expansion of (/ a c) in a 4.723 * [taylor]: Taking taylor expansion of a in a 4.723 * [taylor]: Taking taylor expansion of c in a 4.723 * [taylor]: Taking taylor expansion of 0 in a 4.723 * [taylor]: Taking taylor expansion of 0 in b 4.723 * [taylor]: Taking taylor expansion of 0 in c 4.723 * [taylor]: Taking taylor expansion of 0 in b 4.723 * [taylor]: Taking taylor expansion of 0 in c 4.723 * [taylor]: Taking taylor expansion of 0 in b 4.723 * [taylor]: Taking taylor expansion of 0 in c 4.723 * [taylor]: Taking taylor expansion of 0 in c 4.723 * [taylor]: Taking taylor expansion of 0 in c 4.723 * [taylor]: Taking taylor expansion of 0 in c 4.724 * [taylor]: Taking taylor expansion of 0 in y 4.724 * [taylor]: Taking taylor expansion of 0 in z 4.724 * [taylor]: Taking taylor expansion of 0 in z 4.724 * [taylor]: Taking taylor expansion of 0 in z 4.724 * [taylor]: Taking taylor expansion of 0 in z 4.724 * [taylor]: Taking taylor expansion of 0 in t 4.724 * [taylor]: Taking taylor expansion of 0 in a 4.725 * [taylor]: Taking taylor expansion of 0 in b 4.725 * [taylor]: Taking taylor expansion of 0 in c 4.725 * [taylor]: Taking taylor expansion of 0 in t 4.725 * [taylor]: Taking taylor expansion of 0 in a 4.725 * [taylor]: Taking taylor expansion of 0 in b 4.725 * [taylor]: Taking taylor expansion of 0 in c 4.725 * [taylor]: Taking taylor expansion of 0 in t 4.725 * [taylor]: Taking taylor expansion of 0 in a 4.725 * [taylor]: Taking taylor expansion of 0 in b 4.725 * [taylor]: Taking taylor expansion of 0 in c 4.725 * [taylor]: Taking taylor expansion of 0 in t 4.725 * [taylor]: Taking taylor expansion of 0 in a 4.725 * [taylor]: Taking taylor expansion of 0 in b 4.725 * [taylor]: Taking taylor expansion of 0 in c 4.725 * [taylor]: Taking taylor expansion of 0 in t 4.725 * [taylor]: Taking taylor expansion of 0 in a 4.725 * [taylor]: Taking taylor expansion of 0 in b 4.725 * [taylor]: Taking taylor expansion of 0 in c 4.725 * [taylor]: Taking taylor expansion of 0 in a 4.725 * [taylor]: Taking taylor expansion of 0 in b 4.725 * [taylor]: Taking taylor expansion of 0 in c 4.725 * [taylor]: Taking taylor expansion of 0 in a 4.725 * [taylor]: Taking taylor expansion of 0 in b 4.725 * [taylor]: Taking taylor expansion of 0 in c 4.726 * [taylor]: Taking taylor expansion of 0 in a 4.726 * [taylor]: Taking taylor expansion of 0 in b 4.726 * [taylor]: Taking taylor expansion of 0 in c 4.726 * [taylor]: Taking taylor expansion of 0 in a 4.726 * [taylor]: Taking taylor expansion of 0 in b 4.726 * [taylor]: Taking taylor expansion of 0 in c 4.726 * [taylor]: Taking taylor expansion of 0 in a 4.726 * [taylor]: Taking taylor expansion of 0 in b 4.726 * [taylor]: Taking taylor expansion of 0 in c 4.726 * [taylor]: Taking taylor expansion of 0 in b 4.726 * [taylor]: Taking taylor expansion of 0 in c 4.726 * [taylor]: Taking taylor expansion of 0 in b 4.726 * [taylor]: Taking taylor expansion of 0 in c 4.726 * [taylor]: Taking taylor expansion of 0 in b 4.726 * [taylor]: Taking taylor expansion of 0 in c 4.726 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 c))) in b 4.726 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 c)) in b 4.726 * [taylor]: Taking taylor expansion of 4.0 in b 4.726 * [taylor]: Taking taylor expansion of (/ 1 c) in b 4.726 * [taylor]: Taking taylor expansion of c in b 4.726 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 c))) in c 4.726 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 c)) in c 4.726 * [taylor]: Taking taylor expansion of 4.0 in c 4.726 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.726 * [taylor]: Taking taylor expansion of c in c 4.727 * [approximate]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in (x y z t a b c) around 0 4.727 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in c 4.727 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in c 4.727 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in c 4.727 * [taylor]: Taking taylor expansion of (/ 1 b) in c 4.727 * [taylor]: Taking taylor expansion of b in c 4.727 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in c 4.727 * [taylor]: Taking taylor expansion of 9.0 in c 4.727 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in c 4.727 * [taylor]: Taking taylor expansion of (* x y) in c 4.727 * [taylor]: Taking taylor expansion of x in c 4.727 * [taylor]: Taking taylor expansion of y in c 4.727 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in c 4.727 * [taylor]: Taking taylor expansion of 4.0 in c 4.727 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in c 4.727 * [taylor]: Taking taylor expansion of (* t (* z a)) in c 4.727 * [taylor]: Taking taylor expansion of t in c 4.727 * [taylor]: Taking taylor expansion of (* z a) in c 4.727 * [taylor]: Taking taylor expansion of z in c 4.727 * [taylor]: Taking taylor expansion of a in c 4.727 * [taylor]: Taking taylor expansion of (* z c) in c 4.728 * [taylor]: Taking taylor expansion of z in c 4.728 * [taylor]: Taking taylor expansion of c in c 4.728 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in b 4.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in b 4.728 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in b 4.728 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.728 * [taylor]: Taking taylor expansion of b in b 4.728 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in b 4.728 * [taylor]: Taking taylor expansion of 9.0 in b 4.728 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 4.728 * [taylor]: Taking taylor expansion of (* x y) in b 4.728 * [taylor]: Taking taylor expansion of x in b 4.728 * [taylor]: Taking taylor expansion of y in b 4.728 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in b 4.728 * [taylor]: Taking taylor expansion of 4.0 in b 4.728 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in b 4.728 * [taylor]: Taking taylor expansion of (* t (* z a)) in b 4.728 * [taylor]: Taking taylor expansion of t in b 4.728 * [taylor]: Taking taylor expansion of (* z a) in b 4.728 * [taylor]: Taking taylor expansion of z in b 4.728 * [taylor]: Taking taylor expansion of a in b 4.728 * [taylor]: Taking taylor expansion of (* z c) in b 4.728 * [taylor]: Taking taylor expansion of z in b 4.728 * [taylor]: Taking taylor expansion of c in b 4.728 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in a 4.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in a 4.728 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in a 4.728 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.728 * [taylor]: Taking taylor expansion of b in a 4.728 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in a 4.728 * [taylor]: Taking taylor expansion of 9.0 in a 4.728 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 4.728 * [taylor]: Taking taylor expansion of (* x y) in a 4.728 * [taylor]: Taking taylor expansion of x in a 4.728 * [taylor]: Taking taylor expansion of y in a 4.728 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in a 4.728 * [taylor]: Taking taylor expansion of 4.0 in a 4.728 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in a 4.728 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.728 * [taylor]: Taking taylor expansion of t in a 4.728 * [taylor]: Taking taylor expansion of (* z a) in a 4.728 * [taylor]: Taking taylor expansion of z in a 4.728 * [taylor]: Taking taylor expansion of a in a 4.728 * [taylor]: Taking taylor expansion of (* z c) in a 4.728 * [taylor]: Taking taylor expansion of z in a 4.728 * [taylor]: Taking taylor expansion of c in a 4.728 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in t 4.729 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in t 4.729 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in t 4.729 * [taylor]: Taking taylor expansion of (/ 1 b) in t 4.729 * [taylor]: Taking taylor expansion of b in t 4.729 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in t 4.729 * [taylor]: Taking taylor expansion of 9.0 in t 4.729 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 4.729 * [taylor]: Taking taylor expansion of (* x y) in t 4.729 * [taylor]: Taking taylor expansion of x in t 4.729 * [taylor]: Taking taylor expansion of y in t 4.729 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in t 4.729 * [taylor]: Taking taylor expansion of 4.0 in t 4.729 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in t 4.729 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.729 * [taylor]: Taking taylor expansion of t in t 4.729 * [taylor]: Taking taylor expansion of (* z a) in t 4.729 * [taylor]: Taking taylor expansion of z in t 4.729 * [taylor]: Taking taylor expansion of a in t 4.729 * [taylor]: Taking taylor expansion of (* z c) in t 4.729 * [taylor]: Taking taylor expansion of z in t 4.729 * [taylor]: Taking taylor expansion of c in t 4.729 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in z 4.729 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in z 4.729 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in z 4.729 * [taylor]: Taking taylor expansion of (/ 1 b) in z 4.729 * [taylor]: Taking taylor expansion of b in z 4.729 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in z 4.729 * [taylor]: Taking taylor expansion of 9.0 in z 4.729 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 4.729 * [taylor]: Taking taylor expansion of (* x y) in z 4.729 * [taylor]: Taking taylor expansion of x in z 4.729 * [taylor]: Taking taylor expansion of y in z 4.729 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in z 4.729 * [taylor]: Taking taylor expansion of 4.0 in z 4.729 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in z 4.729 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.729 * [taylor]: Taking taylor expansion of t in z 4.729 * [taylor]: Taking taylor expansion of (* z a) in z 4.729 * [taylor]: Taking taylor expansion of z in z 4.729 * [taylor]: Taking taylor expansion of a in z 4.729 * [taylor]: Taking taylor expansion of (* z c) in z 4.729 * [taylor]: Taking taylor expansion of z in z 4.729 * [taylor]: Taking taylor expansion of c in z 4.729 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in y 4.730 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in y 4.730 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in y 4.730 * [taylor]: Taking taylor expansion of (/ 1 b) in y 4.730 * [taylor]: Taking taylor expansion of b in y 4.730 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in y 4.730 * [taylor]: Taking taylor expansion of 9.0 in y 4.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.730 * [taylor]: Taking taylor expansion of (* x y) in y 4.730 * [taylor]: Taking taylor expansion of x in y 4.730 * [taylor]: Taking taylor expansion of y in y 4.730 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in y 4.730 * [taylor]: Taking taylor expansion of 4.0 in y 4.730 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in y 4.730 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.730 * [taylor]: Taking taylor expansion of t in y 4.730 * [taylor]: Taking taylor expansion of (* z a) in y 4.730 * [taylor]: Taking taylor expansion of z in y 4.730 * [taylor]: Taking taylor expansion of a in y 4.730 * [taylor]: Taking taylor expansion of (* z c) in y 4.730 * [taylor]: Taking taylor expansion of z in y 4.730 * [taylor]: Taking taylor expansion of c in y 4.730 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in x 4.730 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in x 4.730 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in x 4.730 * [taylor]: Taking taylor expansion of (/ 1 b) in x 4.730 * [taylor]: Taking taylor expansion of b in x 4.730 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.730 * [taylor]: Taking taylor expansion of 9.0 in x 4.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.730 * [taylor]: Taking taylor expansion of (* x y) in x 4.730 * [taylor]: Taking taylor expansion of x in x 4.730 * [taylor]: Taking taylor expansion of y in x 4.730 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.730 * [taylor]: Taking taylor expansion of 4.0 in x 4.730 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.730 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.730 * [taylor]: Taking taylor expansion of t in x 4.730 * [taylor]: Taking taylor expansion of (* z a) in x 4.730 * [taylor]: Taking taylor expansion of z in x 4.730 * [taylor]: Taking taylor expansion of a in x 4.730 * [taylor]: Taking taylor expansion of (* z c) in x 4.730 * [taylor]: Taking taylor expansion of z in x 4.730 * [taylor]: Taking taylor expansion of c in x 4.730 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) (* z c)) in x 4.730 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) (* 4.0 (/ 1 (* t (* z a))))) in x 4.730 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 9.0 (/ 1 (* x y)))) in x 4.730 * [taylor]: Taking taylor expansion of (/ 1 b) in x 4.731 * [taylor]: Taking taylor expansion of b in x 4.731 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.731 * [taylor]: Taking taylor expansion of 9.0 in x 4.731 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.731 * [taylor]: Taking taylor expansion of (* x y) in x 4.731 * [taylor]: Taking taylor expansion of x in x 4.731 * [taylor]: Taking taylor expansion of y in x 4.731 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.731 * [taylor]: Taking taylor expansion of 4.0 in x 4.731 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.731 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.731 * [taylor]: Taking taylor expansion of t in x 4.731 * [taylor]: Taking taylor expansion of (* z a) in x 4.731 * [taylor]: Taking taylor expansion of z in x 4.731 * [taylor]: Taking taylor expansion of a in x 4.731 * [taylor]: Taking taylor expansion of (* z c) in x 4.731 * [taylor]: Taking taylor expansion of z in x 4.731 * [taylor]: Taking taylor expansion of c in x 4.731 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) y)) in y 4.731 * [taylor]: Taking taylor expansion of 9.0 in y 4.731 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 4.731 * [taylor]: Taking taylor expansion of (* z c) in y 4.731 * [taylor]: Taking taylor expansion of z in y 4.731 * [taylor]: Taking taylor expansion of c in y 4.731 * [taylor]: Taking taylor expansion of y in y 4.731 * [taylor]: Taking taylor expansion of (* 9.0 (* z c)) in z 4.731 * [taylor]: Taking taylor expansion of 9.0 in z 4.731 * [taylor]: Taking taylor expansion of (* z c) in z 4.731 * [taylor]: Taking taylor expansion of z in z 4.731 * [taylor]: Taking taylor expansion of c in z 4.732 * [taylor]: Taking taylor expansion of (- (/ (* z c) b) (* 4.0 (/ c (* t a)))) in y 4.732 * [taylor]: Taking taylor expansion of (/ (* z c) b) in y 4.732 * [taylor]: Taking taylor expansion of (* z c) in y 4.732 * [taylor]: Taking taylor expansion of z in y 4.732 * [taylor]: Taking taylor expansion of c in y 4.732 * [taylor]: Taking taylor expansion of b in y 4.732 * [taylor]: Taking taylor expansion of (* 4.0 (/ c (* t a))) in y 4.732 * [taylor]: Taking taylor expansion of 4.0 in y 4.732 * [taylor]: Taking taylor expansion of (/ c (* t a)) in y 4.732 * [taylor]: Taking taylor expansion of c in y 4.732 * [taylor]: Taking taylor expansion of (* t a) in y 4.732 * [taylor]: Taking taylor expansion of t in y 4.732 * [taylor]: Taking taylor expansion of a in y 4.732 * [taylor]: Taking taylor expansion of 0 in z 4.732 * [taylor]: Taking taylor expansion of 0 in t 4.733 * [taylor]: Taking taylor expansion of 0 in y 4.733 * [taylor]: Taking taylor expansion of (- (/ (* z c) b) (* 4.0 (/ c (* t a)))) in z 4.733 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 4.733 * [taylor]: Taking taylor expansion of (* z c) in z 4.733 * [taylor]: Taking taylor expansion of z in z 4.733 * [taylor]: Taking taylor expansion of c in z 4.733 * [taylor]: Taking taylor expansion of b in z 4.733 * [taylor]: Taking taylor expansion of (* 4.0 (/ c (* t a))) in z 4.733 * [taylor]: Taking taylor expansion of 4.0 in z 4.733 * [taylor]: Taking taylor expansion of (/ c (* t a)) in z 4.733 * [taylor]: Taking taylor expansion of c in z 4.733 * [taylor]: Taking taylor expansion of (* t a) in z 4.733 * [taylor]: Taking taylor expansion of t in z 4.733 * [taylor]: Taking taylor expansion of a in z 4.733 * [taylor]: Taking taylor expansion of 0 in z 4.733 * [taylor]: Taking taylor expansion of 0 in t 4.734 * [taylor]: Taking taylor expansion of (* 9.0 c) in t 4.734 * [taylor]: Taking taylor expansion of 9.0 in t 4.734 * [taylor]: Taking taylor expansion of c in t 4.734 * [taylor]: Taking taylor expansion of 0 in a 4.734 * [taylor]: Taking taylor expansion of 0 in y 4.734 * [taylor]: Taking taylor expansion of 0 in z 4.735 * [taylor]: Taking taylor expansion of 0 in z 4.735 * [taylor]: Taking taylor expansion of 0 in z 4.735 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ c (* t a)))) in t 4.735 * [taylor]: Taking taylor expansion of (* 4.0 (/ c (* t a))) in t 4.735 * [taylor]: Taking taylor expansion of 4.0 in t 4.735 * [taylor]: Taking taylor expansion of (/ c (* t a)) in t 4.735 * [taylor]: Taking taylor expansion of c in t 4.735 * [taylor]: Taking taylor expansion of (* t a) in t 4.735 * [taylor]: Taking taylor expansion of t in t 4.735 * [taylor]: Taking taylor expansion of a in t 4.735 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ c a))) in a 4.735 * [taylor]: Taking taylor expansion of (* 4.0 (/ c a)) in a 4.735 * [taylor]: Taking taylor expansion of 4.0 in a 4.735 * [taylor]: Taking taylor expansion of (/ c a) in a 4.735 * [taylor]: Taking taylor expansion of c in a 4.735 * [taylor]: Taking taylor expansion of a in a 4.735 * [taylor]: Taking taylor expansion of (neg (* 4.0 c)) in b 4.735 * [taylor]: Taking taylor expansion of (* 4.0 c) in b 4.735 * [taylor]: Taking taylor expansion of 4.0 in b 4.735 * [taylor]: Taking taylor expansion of c in b 4.735 * [taylor]: Taking taylor expansion of 0 in t 4.735 * [taylor]: Taking taylor expansion of 0 in t 4.736 * [taylor]: Taking taylor expansion of 0 in t 4.736 * [taylor]: Taking taylor expansion of 0 in a 4.736 * [taylor]: Taking taylor expansion of (* 9.0 c) in a 4.736 * [taylor]: Taking taylor expansion of 9.0 in a 4.736 * [taylor]: Taking taylor expansion of c in a 4.736 * [taylor]: Taking taylor expansion of 0 in a 4.736 * [taylor]: Taking taylor expansion of 0 in b 4.737 * [taylor]: Taking taylor expansion of 0 in y 4.737 * [taylor]: Taking taylor expansion of 0 in z 4.737 * [taylor]: Taking taylor expansion of 0 in z 4.737 * [taylor]: Taking taylor expansion of 0 in z 4.737 * [taylor]: Taking taylor expansion of 0 in z 4.738 * [taylor]: Taking taylor expansion of 0 in t 4.738 * [taylor]: Taking taylor expansion of 0 in t 4.738 * [taylor]: Taking taylor expansion of 0 in t 4.738 * [taylor]: Taking taylor expansion of (/ c b) in t 4.738 * [taylor]: Taking taylor expansion of c in t 4.738 * [taylor]: Taking taylor expansion of b in t 4.738 * [taylor]: Taking taylor expansion of 0 in t 4.738 * [taylor]: Taking taylor expansion of 0 in t 4.738 * [taylor]: Taking taylor expansion of 0 in t 4.738 * [taylor]: Taking taylor expansion of 0 in a 4.738 * [taylor]: Taking taylor expansion of 0 in a 4.738 * [taylor]: Taking taylor expansion of 0 in a 4.738 * [taylor]: Taking taylor expansion of 0 in a 4.738 * [taylor]: Taking taylor expansion of 0 in a 4.738 * [taylor]: Taking taylor expansion of 0 in a 4.738 * [taylor]: Taking taylor expansion of 0 in a 4.739 * [taylor]: Taking taylor expansion of 0 in b 4.739 * [taylor]: Taking taylor expansion of 0 in b 4.739 * [taylor]: Taking taylor expansion of (* 9.0 c) in b 4.739 * [taylor]: Taking taylor expansion of 9.0 in b 4.739 * [taylor]: Taking taylor expansion of c in b 4.739 * [taylor]: Taking taylor expansion of 0 in b 4.739 * [taylor]: Taking taylor expansion of 0 in b 4.739 * [taylor]: Taking taylor expansion of (neg (* 4.0 c)) in c 4.739 * [taylor]: Taking taylor expansion of (* 4.0 c) in c 4.739 * [taylor]: Taking taylor expansion of 4.0 in c 4.739 * [taylor]: Taking taylor expansion of c in c 4.739 * [taylor]: Taking taylor expansion of 0 in c 4.741 * [taylor]: Taking taylor expansion of 0 in y 4.741 * [taylor]: Taking taylor expansion of 0 in z 4.741 * [taylor]: Taking taylor expansion of 0 in z 4.741 * [taylor]: Taking taylor expansion of 0 in z 4.741 * [taylor]: Taking taylor expansion of 0 in z 4.741 * [taylor]: Taking taylor expansion of 0 in z 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in t 4.742 * [taylor]: Taking taylor expansion of 0 in a 4.742 * [taylor]: Taking taylor expansion of 0 in a 4.742 * [taylor]: Taking taylor expansion of 0 in a 4.742 * [taylor]: Taking taylor expansion of (/ c b) in a 4.742 * [taylor]: Taking taylor expansion of c in a 4.742 * [taylor]: Taking taylor expansion of b in a 4.742 * [taylor]: Taking taylor expansion of 0 in a 4.742 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in a 4.743 * [taylor]: Taking taylor expansion of 0 in b 4.743 * [taylor]: Taking taylor expansion of 0 in b 4.743 * [taylor]: Taking taylor expansion of 0 in b 4.743 * [taylor]: Taking taylor expansion of 0 in b 4.743 * [taylor]: Taking taylor expansion of 0 in b 4.743 * [taylor]: Taking taylor expansion of 0 in b 4.743 * [taylor]: Taking taylor expansion of 0 in b 4.744 * [taylor]: Taking taylor expansion of 0 in b 4.744 * [taylor]: Taking taylor expansion of 0 in b 4.744 * [taylor]: Taking taylor expansion of 0 in b 4.744 * [taylor]: Taking taylor expansion of 0 in b 4.744 * [taylor]: Taking taylor expansion of 0 in b 4.744 * [taylor]: Taking taylor expansion of 0 in c 4.744 * [taylor]: Taking taylor expansion of 0 in c 4.744 * [taylor]: Taking taylor expansion of (* 9.0 c) in c 4.744 * [taylor]: Taking taylor expansion of 9.0 in c 4.744 * [taylor]: Taking taylor expansion of c in c 4.744 * [taylor]: Taking taylor expansion of 0 in c 4.745 * [approximate]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in (x y z t a b c) around 0 4.745 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in c 4.745 * [taylor]: Taking taylor expansion of z in c 4.745 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in c 4.745 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in c 4.745 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in c 4.745 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in c 4.745 * [taylor]: Taking taylor expansion of 4.0 in c 4.745 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in c 4.745 * [taylor]: Taking taylor expansion of (* t (* z a)) in c 4.745 * [taylor]: Taking taylor expansion of t in c 4.745 * [taylor]: Taking taylor expansion of (* z a) in c 4.745 * [taylor]: Taking taylor expansion of z in c 4.745 * [taylor]: Taking taylor expansion of a in c 4.745 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in c 4.745 * [taylor]: Taking taylor expansion of 9.0 in c 4.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in c 4.745 * [taylor]: Taking taylor expansion of (* x y) in c 4.745 * [taylor]: Taking taylor expansion of x in c 4.745 * [taylor]: Taking taylor expansion of y in c 4.745 * [taylor]: Taking taylor expansion of (/ 1 b) in c 4.745 * [taylor]: Taking taylor expansion of b in c 4.745 * [taylor]: Taking taylor expansion of c in c 4.745 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in b 4.745 * [taylor]: Taking taylor expansion of z in b 4.745 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in b 4.745 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in b 4.745 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in b 4.745 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in b 4.745 * [taylor]: Taking taylor expansion of 4.0 in b 4.745 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in b 4.745 * [taylor]: Taking taylor expansion of (* t (* z a)) in b 4.745 * [taylor]: Taking taylor expansion of t in b 4.745 * [taylor]: Taking taylor expansion of (* z a) in b 4.745 * [taylor]: Taking taylor expansion of z in b 4.746 * [taylor]: Taking taylor expansion of a in b 4.746 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in b 4.746 * [taylor]: Taking taylor expansion of 9.0 in b 4.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 4.746 * [taylor]: Taking taylor expansion of (* x y) in b 4.746 * [taylor]: Taking taylor expansion of x in b 4.746 * [taylor]: Taking taylor expansion of y in b 4.746 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.746 * [taylor]: Taking taylor expansion of b in b 4.746 * [taylor]: Taking taylor expansion of c in b 4.746 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in a 4.746 * [taylor]: Taking taylor expansion of z in a 4.746 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in a 4.746 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in a 4.746 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in a 4.746 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in a 4.746 * [taylor]: Taking taylor expansion of 4.0 in a 4.746 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in a 4.746 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.746 * [taylor]: Taking taylor expansion of t in a 4.746 * [taylor]: Taking taylor expansion of (* z a) in a 4.746 * [taylor]: Taking taylor expansion of z in a 4.746 * [taylor]: Taking taylor expansion of a in a 4.746 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in a 4.746 * [taylor]: Taking taylor expansion of 9.0 in a 4.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 4.746 * [taylor]: Taking taylor expansion of (* x y) in a 4.746 * [taylor]: Taking taylor expansion of x in a 4.746 * [taylor]: Taking taylor expansion of y in a 4.746 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.746 * [taylor]: Taking taylor expansion of b in a 4.746 * [taylor]: Taking taylor expansion of c in a 4.746 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in t 4.746 * [taylor]: Taking taylor expansion of z in t 4.746 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in t 4.746 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in t 4.746 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in t 4.746 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in t 4.746 * [taylor]: Taking taylor expansion of 4.0 in t 4.746 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in t 4.746 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.746 * [taylor]: Taking taylor expansion of t in t 4.746 * [taylor]: Taking taylor expansion of (* z a) in t 4.746 * [taylor]: Taking taylor expansion of z in t 4.746 * [taylor]: Taking taylor expansion of a in t 4.747 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in t 4.747 * [taylor]: Taking taylor expansion of 9.0 in t 4.747 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 4.747 * [taylor]: Taking taylor expansion of (* x y) in t 4.747 * [taylor]: Taking taylor expansion of x in t 4.747 * [taylor]: Taking taylor expansion of y in t 4.747 * [taylor]: Taking taylor expansion of (/ 1 b) in t 4.747 * [taylor]: Taking taylor expansion of b in t 4.747 * [taylor]: Taking taylor expansion of c in t 4.747 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in z 4.747 * [taylor]: Taking taylor expansion of z in z 4.747 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in z 4.747 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in z 4.747 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in z 4.747 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in z 4.747 * [taylor]: Taking taylor expansion of 4.0 in z 4.747 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in z 4.747 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.747 * [taylor]: Taking taylor expansion of t in z 4.747 * [taylor]: Taking taylor expansion of (* z a) in z 4.747 * [taylor]: Taking taylor expansion of z in z 4.747 * [taylor]: Taking taylor expansion of a in z 4.747 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in z 4.747 * [taylor]: Taking taylor expansion of 9.0 in z 4.747 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 4.747 * [taylor]: Taking taylor expansion of (* x y) in z 4.747 * [taylor]: Taking taylor expansion of x in z 4.747 * [taylor]: Taking taylor expansion of y in z 4.747 * [taylor]: Taking taylor expansion of (/ 1 b) in z 4.747 * [taylor]: Taking taylor expansion of b in z 4.747 * [taylor]: Taking taylor expansion of c in z 4.747 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in y 4.747 * [taylor]: Taking taylor expansion of z in y 4.747 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in y 4.747 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in y 4.747 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in y 4.747 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in y 4.747 * [taylor]: Taking taylor expansion of 4.0 in y 4.747 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in y 4.747 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.747 * [taylor]: Taking taylor expansion of t in y 4.747 * [taylor]: Taking taylor expansion of (* z a) in y 4.747 * [taylor]: Taking taylor expansion of z in y 4.747 * [taylor]: Taking taylor expansion of a in y 4.748 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in y 4.748 * [taylor]: Taking taylor expansion of 9.0 in y 4.748 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.748 * [taylor]: Taking taylor expansion of (* x y) in y 4.748 * [taylor]: Taking taylor expansion of x in y 4.748 * [taylor]: Taking taylor expansion of y in y 4.748 * [taylor]: Taking taylor expansion of (/ 1 b) in y 4.748 * [taylor]: Taking taylor expansion of b in y 4.748 * [taylor]: Taking taylor expansion of c in y 4.748 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in x 4.748 * [taylor]: Taking taylor expansion of z in x 4.748 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in x 4.748 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in x 4.748 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in x 4.748 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.748 * [taylor]: Taking taylor expansion of 4.0 in x 4.748 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.748 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.748 * [taylor]: Taking taylor expansion of t in x 4.748 * [taylor]: Taking taylor expansion of (* z a) in x 4.748 * [taylor]: Taking taylor expansion of z in x 4.748 * [taylor]: Taking taylor expansion of a in x 4.748 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.748 * [taylor]: Taking taylor expansion of 9.0 in x 4.748 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.748 * [taylor]: Taking taylor expansion of (* x y) in x 4.748 * [taylor]: Taking taylor expansion of x in x 4.748 * [taylor]: Taking taylor expansion of y in x 4.748 * [taylor]: Taking taylor expansion of (/ 1 b) in x 4.748 * [taylor]: Taking taylor expansion of b in x 4.748 * [taylor]: Taking taylor expansion of c in x 4.748 * [taylor]: Taking taylor expansion of (* z (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c)) in x 4.748 * [taylor]: Taking taylor expansion of z in x 4.748 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) c) in x 4.748 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) (/ 1 b)) in x 4.748 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in x 4.748 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.748 * [taylor]: Taking taylor expansion of 4.0 in x 4.748 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.748 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.748 * [taylor]: Taking taylor expansion of t in x 4.748 * [taylor]: Taking taylor expansion of (* z a) in x 4.748 * [taylor]: Taking taylor expansion of z in x 4.748 * [taylor]: Taking taylor expansion of a in x 4.749 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.749 * [taylor]: Taking taylor expansion of 9.0 in x 4.749 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.749 * [taylor]: Taking taylor expansion of (* x y) in x 4.749 * [taylor]: Taking taylor expansion of x in x 4.749 * [taylor]: Taking taylor expansion of y in x 4.749 * [taylor]: Taking taylor expansion of (/ 1 b) in x 4.749 * [taylor]: Taking taylor expansion of b in x 4.749 * [taylor]: Taking taylor expansion of c in x 4.749 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) y)) in y 4.749 * [taylor]: Taking taylor expansion of 9.0 in y 4.749 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 4.749 * [taylor]: Taking taylor expansion of (* z c) in y 4.749 * [taylor]: Taking taylor expansion of z in y 4.749 * [taylor]: Taking taylor expansion of c in y 4.749 * [taylor]: Taking taylor expansion of y in y 4.749 * [taylor]: Taking taylor expansion of (* 9.0 (* z c)) in z 4.749 * [taylor]: Taking taylor expansion of 9.0 in z 4.749 * [taylor]: Taking taylor expansion of (* z c) in z 4.749 * [taylor]: Taking taylor expansion of z in z 4.749 * [taylor]: Taking taylor expansion of c in z 4.750 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ c (* t a))) (/ (* z c) b)) in y 4.750 * [taylor]: Taking taylor expansion of (* 4.0 (/ c (* t a))) in y 4.750 * [taylor]: Taking taylor expansion of 4.0 in y 4.750 * [taylor]: Taking taylor expansion of (/ c (* t a)) in y 4.750 * [taylor]: Taking taylor expansion of c in y 4.750 * [taylor]: Taking taylor expansion of (* t a) in y 4.750 * [taylor]: Taking taylor expansion of t in y 4.750 * [taylor]: Taking taylor expansion of a in y 4.750 * [taylor]: Taking taylor expansion of (/ (* z c) b) in y 4.750 * [taylor]: Taking taylor expansion of (* z c) in y 4.750 * [taylor]: Taking taylor expansion of z in y 4.750 * [taylor]: Taking taylor expansion of c in y 4.750 * [taylor]: Taking taylor expansion of b in y 4.750 * [taylor]: Taking taylor expansion of 0 in z 4.750 * [taylor]: Taking taylor expansion of 0 in t 4.751 * [taylor]: Taking taylor expansion of 0 in y 4.751 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ c (* t a))) (/ (* z c) b)) in z 4.751 * [taylor]: Taking taylor expansion of (* 4.0 (/ c (* t a))) in z 4.751 * [taylor]: Taking taylor expansion of 4.0 in z 4.751 * [taylor]: Taking taylor expansion of (/ c (* t a)) in z 4.751 * [taylor]: Taking taylor expansion of c in z 4.751 * [taylor]: Taking taylor expansion of (* t a) in z 4.751 * [taylor]: Taking taylor expansion of t in z 4.751 * [taylor]: Taking taylor expansion of a in z 4.751 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 4.751 * [taylor]: Taking taylor expansion of (* z c) in z 4.751 * [taylor]: Taking taylor expansion of z in z 4.751 * [taylor]: Taking taylor expansion of c in z 4.751 * [taylor]: Taking taylor expansion of b in z 4.751 * [taylor]: Taking taylor expansion of 0 in z 4.751 * [taylor]: Taking taylor expansion of 0 in t 4.752 * [taylor]: Taking taylor expansion of (* 9.0 c) in t 4.752 * [taylor]: Taking taylor expansion of 9.0 in t 4.752 * [taylor]: Taking taylor expansion of c in t 4.752 * [taylor]: Taking taylor expansion of 0 in a 4.755 * [taylor]: Taking taylor expansion of 0 in y 4.755 * [taylor]: Taking taylor expansion of 0 in z 4.755 * [taylor]: Taking taylor expansion of 0 in z 4.755 * [taylor]: Taking taylor expansion of 0 in z 4.755 * [taylor]: Taking taylor expansion of (* 4.0 (/ c (* t a))) in t 4.755 * [taylor]: Taking taylor expansion of 4.0 in t 4.755 * [taylor]: Taking taylor expansion of (/ c (* t a)) in t 4.755 * [taylor]: Taking taylor expansion of c in t 4.755 * [taylor]: Taking taylor expansion of (* t a) in t 4.755 * [taylor]: Taking taylor expansion of t in t 4.755 * [taylor]: Taking taylor expansion of a in t 4.755 * [taylor]: Taking taylor expansion of (* 4.0 (/ c a)) in a 4.755 * [taylor]: Taking taylor expansion of 4.0 in a 4.755 * [taylor]: Taking taylor expansion of (/ c a) in a 4.755 * [taylor]: Taking taylor expansion of c in a 4.755 * [taylor]: Taking taylor expansion of a in a 4.756 * [taylor]: Taking taylor expansion of (* 4.0 c) in b 4.756 * [taylor]: Taking taylor expansion of 4.0 in b 4.756 * [taylor]: Taking taylor expansion of c in b 4.756 * [taylor]: Taking taylor expansion of 0 in t 4.756 * [taylor]: Taking taylor expansion of 0 in t 4.756 * [taylor]: Taking taylor expansion of 0 in t 4.756 * [taylor]: Taking taylor expansion of 0 in a 4.756 * [taylor]: Taking taylor expansion of (* 9.0 c) in a 4.756 * [taylor]: Taking taylor expansion of 9.0 in a 4.756 * [taylor]: Taking taylor expansion of c in a 4.756 * [taylor]: Taking taylor expansion of 0 in a 4.756 * [taylor]: Taking taylor expansion of 0 in b 4.757 * [taylor]: Taking taylor expansion of 0 in y 4.757 * [taylor]: Taking taylor expansion of 0 in z 4.757 * [taylor]: Taking taylor expansion of 0 in z 4.757 * [taylor]: Taking taylor expansion of 0 in z 4.758 * [taylor]: Taking taylor expansion of 0 in z 4.758 * [taylor]: Taking taylor expansion of 0 in t 4.758 * [taylor]: Taking taylor expansion of 0 in t 4.758 * [taylor]: Taking taylor expansion of 0 in t 4.758 * [taylor]: Taking taylor expansion of (neg (/ c b)) in t 4.758 * [taylor]: Taking taylor expansion of (/ c b) in t 4.758 * [taylor]: Taking taylor expansion of c in t 4.758 * [taylor]: Taking taylor expansion of b in t 4.758 * [taylor]: Taking taylor expansion of 0 in t 4.758 * [taylor]: Taking taylor expansion of 0 in t 4.758 * [taylor]: Taking taylor expansion of 0 in t 4.758 * [taylor]: Taking taylor expansion of 0 in a 4.758 * [taylor]: Taking taylor expansion of 0 in a 4.758 * [taylor]: Taking taylor expansion of 0 in a 4.759 * [taylor]: Taking taylor expansion of 0 in a 4.759 * [taylor]: Taking taylor expansion of 0 in a 4.759 * [taylor]: Taking taylor expansion of 0 in a 4.759 * [taylor]: Taking taylor expansion of 0 in a 4.759 * [taylor]: Taking taylor expansion of 0 in b 4.759 * [taylor]: Taking taylor expansion of 0 in b 4.759 * [taylor]: Taking taylor expansion of (* 9.0 c) in b 4.759 * [taylor]: Taking taylor expansion of 9.0 in b 4.759 * [taylor]: Taking taylor expansion of c in b 4.759 * [taylor]: Taking taylor expansion of 0 in b 4.759 * [taylor]: Taking taylor expansion of 0 in b 4.759 * [taylor]: Taking taylor expansion of (* 4.0 c) in c 4.759 * [taylor]: Taking taylor expansion of 4.0 in c 4.759 * [taylor]: Taking taylor expansion of c in c 4.759 * [taylor]: Taking taylor expansion of 0 in c 4.761 * [taylor]: Taking taylor expansion of 0 in y 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.762 * [taylor]: Taking taylor expansion of 0 in z 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.762 * [taylor]: Taking taylor expansion of 0 in t 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of (neg (/ c b)) in a 4.763 * [taylor]: Taking taylor expansion of (/ c b) in a 4.763 * [taylor]: Taking taylor expansion of c in a 4.763 * [taylor]: Taking taylor expansion of b in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in a 4.763 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.764 * [taylor]: Taking taylor expansion of 0 in b 4.765 * [taylor]: Taking taylor expansion of 0 in c 4.765 * [taylor]: Taking taylor expansion of 0 in c 4.765 * [taylor]: Taking taylor expansion of (* 9.0 c) in c 4.765 * [taylor]: Taking taylor expansion of 9.0 in c 4.765 * [taylor]: Taking taylor expansion of c in c 4.765 * [taylor]: Taking taylor expansion of 0 in c 4.765 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 4.765 * [approximate]: Taking taylor expansion of (* 4.0 (* t (* z a))) in (z t a) around 0 4.765 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in a 4.765 * [taylor]: Taking taylor expansion of 4.0 in a 4.765 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.765 * [taylor]: Taking taylor expansion of t in a 4.765 * [taylor]: Taking taylor expansion of (* z a) in a 4.765 * [taylor]: Taking taylor expansion of z in a 4.765 * [taylor]: Taking taylor expansion of a in a 4.765 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in t 4.765 * [taylor]: Taking taylor expansion of 4.0 in t 4.765 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.765 * [taylor]: Taking taylor expansion of t in t 4.765 * [taylor]: Taking taylor expansion of (* z a) in t 4.765 * [taylor]: Taking taylor expansion of z in t 4.765 * [taylor]: Taking taylor expansion of a in t 4.765 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in z 4.765 * [taylor]: Taking taylor expansion of 4.0 in z 4.765 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.765 * [taylor]: Taking taylor expansion of t in z 4.765 * [taylor]: Taking taylor expansion of (* z a) in z 4.765 * [taylor]: Taking taylor expansion of z in z 4.765 * [taylor]: Taking taylor expansion of a in z 4.765 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in z 4.765 * [taylor]: Taking taylor expansion of 4.0 in z 4.765 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.765 * [taylor]: Taking taylor expansion of t in z 4.765 * [taylor]: Taking taylor expansion of (* z a) in z 4.765 * [taylor]: Taking taylor expansion of z in z 4.765 * [taylor]: Taking taylor expansion of a in z 4.766 * [taylor]: Taking taylor expansion of 0 in t 4.766 * [taylor]: Taking taylor expansion of 0 in a 4.766 * [taylor]: Taking taylor expansion of (* 4.0 (* t a)) in t 4.766 * [taylor]: Taking taylor expansion of 4.0 in t 4.766 * [taylor]: Taking taylor expansion of (* t a) in t 4.766 * [taylor]: Taking taylor expansion of t in t 4.766 * [taylor]: Taking taylor expansion of a in t 4.766 * [taylor]: Taking taylor expansion of 0 in a 4.766 * [taylor]: Taking taylor expansion of 0 in a 4.766 * [taylor]: Taking taylor expansion of 0 in t 4.766 * [taylor]: Taking taylor expansion of 0 in a 4.766 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 4.766 * [taylor]: Taking taylor expansion of 4.0 in a 4.766 * [taylor]: Taking taylor expansion of a in a 4.766 * [approximate]: Taking taylor expansion of (/ 4.0 (* t (* z a))) in (z t a) around 0 4.766 * [taylor]: Taking taylor expansion of (/ 4.0 (* t (* z a))) in a 4.766 * [taylor]: Taking taylor expansion of 4.0 in a 4.766 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.766 * [taylor]: Taking taylor expansion of t in a 4.766 * [taylor]: Taking taylor expansion of (* z a) in a 4.766 * [taylor]: Taking taylor expansion of z in a 4.766 * [taylor]: Taking taylor expansion of a in a 4.766 * [taylor]: Taking taylor expansion of (/ 4.0 (* t (* z a))) in t 4.766 * [taylor]: Taking taylor expansion of 4.0 in t 4.766 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.767 * [taylor]: Taking taylor expansion of t in t 4.767 * [taylor]: Taking taylor expansion of (* z a) in t 4.767 * [taylor]: Taking taylor expansion of z in t 4.767 * [taylor]: Taking taylor expansion of a in t 4.767 * [taylor]: Taking taylor expansion of (/ 4.0 (* t (* z a))) in z 4.767 * [taylor]: Taking taylor expansion of 4.0 in z 4.767 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.767 * [taylor]: Taking taylor expansion of t in z 4.767 * [taylor]: Taking taylor expansion of (* z a) in z 4.767 * [taylor]: Taking taylor expansion of z in z 4.767 * [taylor]: Taking taylor expansion of a in z 4.767 * [taylor]: Taking taylor expansion of (/ 4.0 (* t (* z a))) in z 4.767 * [taylor]: Taking taylor expansion of 4.0 in z 4.767 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.767 * [taylor]: Taking taylor expansion of t in z 4.767 * [taylor]: Taking taylor expansion of (* z a) in z 4.767 * [taylor]: Taking taylor expansion of z in z 4.767 * [taylor]: Taking taylor expansion of a in z 4.767 * [taylor]: Taking taylor expansion of (/ 4.0 (* t a)) in t 4.767 * [taylor]: Taking taylor expansion of 4.0 in t 4.767 * [taylor]: Taking taylor expansion of (* t a) in t 4.767 * [taylor]: Taking taylor expansion of t in t 4.767 * [taylor]: Taking taylor expansion of a in t 4.767 * [taylor]: Taking taylor expansion of (/ 4.0 a) in a 4.767 * [taylor]: Taking taylor expansion of 4.0 in a 4.767 * [taylor]: Taking taylor expansion of a in a 4.767 * [taylor]: Taking taylor expansion of 0 in t 4.768 * [taylor]: Taking taylor expansion of 0 in a 4.768 * [taylor]: Taking taylor expansion of 0 in t 4.768 * [taylor]: Taking taylor expansion of 0 in a 4.768 * [taylor]: Taking taylor expansion of 0 in a 4.768 * [taylor]: Taking taylor expansion of 0 in t 4.768 * [taylor]: Taking taylor expansion of 0 in a 4.768 * [taylor]: Taking taylor expansion of 0 in a 4.768 * [taylor]: Taking taylor expansion of 0 in a 4.769 * [approximate]: Taking taylor expansion of (/ -4.0 (* t (* z a))) in (z t a) around 0 4.769 * [taylor]: Taking taylor expansion of (/ -4.0 (* t (* z a))) in a 4.769 * [taylor]: Taking taylor expansion of -4.0 in a 4.769 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.769 * [taylor]: Taking taylor expansion of t in a 4.769 * [taylor]: Taking taylor expansion of (* z a) in a 4.769 * [taylor]: Taking taylor expansion of z in a 4.769 * [taylor]: Taking taylor expansion of a in a 4.769 * [taylor]: Taking taylor expansion of (/ -4.0 (* t (* z a))) in t 4.769 * [taylor]: Taking taylor expansion of -4.0 in t 4.769 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.769 * [taylor]: Taking taylor expansion of t in t 4.769 * [taylor]: Taking taylor expansion of (* z a) in t 4.769 * [taylor]: Taking taylor expansion of z in t 4.769 * [taylor]: Taking taylor expansion of a in t 4.769 * [taylor]: Taking taylor expansion of (/ -4.0 (* t (* z a))) in z 4.769 * [taylor]: Taking taylor expansion of -4.0 in z 4.769 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.769 * [taylor]: Taking taylor expansion of t in z 4.769 * [taylor]: Taking taylor expansion of (* z a) in z 4.769 * [taylor]: Taking taylor expansion of z in z 4.769 * [taylor]: Taking taylor expansion of a in z 4.769 * [taylor]: Taking taylor expansion of (/ -4.0 (* t (* z a))) in z 4.769 * [taylor]: Taking taylor expansion of -4.0 in z 4.769 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.769 * [taylor]: Taking taylor expansion of t in z 4.769 * [taylor]: Taking taylor expansion of (* z a) in z 4.769 * [taylor]: Taking taylor expansion of z in z 4.769 * [taylor]: Taking taylor expansion of a in z 4.770 * [taylor]: Taking taylor expansion of (/ -4.0 (* t a)) in t 4.770 * [taylor]: Taking taylor expansion of -4.0 in t 4.770 * [taylor]: Taking taylor expansion of (* t a) in t 4.770 * [taylor]: Taking taylor expansion of t in t 4.770 * [taylor]: Taking taylor expansion of a in t 4.770 * [taylor]: Taking taylor expansion of (/ -4.0 a) in a 4.770 * [taylor]: Taking taylor expansion of -4.0 in a 4.770 * [taylor]: Taking taylor expansion of a in a 4.770 * [taylor]: Taking taylor expansion of 0 in t 4.770 * [taylor]: Taking taylor expansion of 0 in a 4.770 * [taylor]: Taking taylor expansion of 0 in t 4.770 * [taylor]: Taking taylor expansion of 0 in a 4.770 * [taylor]: Taking taylor expansion of 0 in a 4.771 * [taylor]: Taking taylor expansion of 0 in t 4.771 * [taylor]: Taking taylor expansion of 0 in a 4.771 * [taylor]: Taking taylor expansion of 0 in a 4.771 * [taylor]: Taking taylor expansion of 0 in a 4.771 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 4.771 * [approximate]: Taking taylor expansion of (- (* 9.0 (* x y)) (* 4.0 (* t (* z a)))) in (x y z t a) around 0 4.771 * [taylor]: Taking taylor expansion of (- (* 9.0 (* x y)) (* 4.0 (* t (* z a)))) in a 4.771 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in a 4.771 * [taylor]: Taking taylor expansion of 9.0 in a 4.771 * [taylor]: Taking taylor expansion of (* x y) in a 4.771 * [taylor]: Taking taylor expansion of x in a 4.771 * [taylor]: Taking taylor expansion of y in a 4.771 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in a 4.771 * [taylor]: Taking taylor expansion of 4.0 in a 4.771 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.771 * [taylor]: Taking taylor expansion of t in a 4.771 * [taylor]: Taking taylor expansion of (* z a) in a 4.771 * [taylor]: Taking taylor expansion of z in a 4.771 * [taylor]: Taking taylor expansion of a in a 4.771 * [taylor]: Taking taylor expansion of (- (* 9.0 (* x y)) (* 4.0 (* t (* z a)))) in t 4.771 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in t 4.771 * [taylor]: Taking taylor expansion of 9.0 in t 4.771 * [taylor]: Taking taylor expansion of (* x y) in t 4.772 * [taylor]: Taking taylor expansion of x in t 4.772 * [taylor]: Taking taylor expansion of y in t 4.772 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in t 4.772 * [taylor]: Taking taylor expansion of 4.0 in t 4.772 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.772 * [taylor]: Taking taylor expansion of t in t 4.772 * [taylor]: Taking taylor expansion of (* z a) in t 4.772 * [taylor]: Taking taylor expansion of z in t 4.772 * [taylor]: Taking taylor expansion of a in t 4.772 * [taylor]: Taking taylor expansion of (- (* 9.0 (* x y)) (* 4.0 (* t (* z a)))) in z 4.772 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in z 4.772 * [taylor]: Taking taylor expansion of 9.0 in z 4.772 * [taylor]: Taking taylor expansion of (* x y) in z 4.772 * [taylor]: Taking taylor expansion of x in z 4.772 * [taylor]: Taking taylor expansion of y in z 4.772 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in z 4.772 * [taylor]: Taking taylor expansion of 4.0 in z 4.772 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.772 * [taylor]: Taking taylor expansion of t in z 4.772 * [taylor]: Taking taylor expansion of (* z a) in z 4.772 * [taylor]: Taking taylor expansion of z in z 4.772 * [taylor]: Taking taylor expansion of a in z 4.772 * [taylor]: Taking taylor expansion of (- (* 9.0 (* x y)) (* 4.0 (* t (* z a)))) in y 4.772 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in y 4.772 * [taylor]: Taking taylor expansion of 9.0 in y 4.772 * [taylor]: Taking taylor expansion of (* x y) in y 4.772 * [taylor]: Taking taylor expansion of x in y 4.772 * [taylor]: Taking taylor expansion of y in y 4.772 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in y 4.772 * [taylor]: Taking taylor expansion of 4.0 in y 4.772 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.772 * [taylor]: Taking taylor expansion of t in y 4.772 * [taylor]: Taking taylor expansion of (* z a) in y 4.772 * [taylor]: Taking taylor expansion of z in y 4.772 * [taylor]: Taking taylor expansion of a in y 4.772 * [taylor]: Taking taylor expansion of (- (* 9.0 (* x y)) (* 4.0 (* t (* z a)))) in x 4.772 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in x 4.772 * [taylor]: Taking taylor expansion of 9.0 in x 4.772 * [taylor]: Taking taylor expansion of (* x y) in x 4.772 * [taylor]: Taking taylor expansion of x in x 4.772 * [taylor]: Taking taylor expansion of y in x 4.772 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in x 4.772 * [taylor]: Taking taylor expansion of 4.0 in x 4.772 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.772 * [taylor]: Taking taylor expansion of t in x 4.772 * [taylor]: Taking taylor expansion of (* z a) in x 4.772 * [taylor]: Taking taylor expansion of z in x 4.772 * [taylor]: Taking taylor expansion of a in x 4.772 * [taylor]: Taking taylor expansion of (- (* 9.0 (* x y)) (* 4.0 (* t (* z a)))) in x 4.772 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in x 4.772 * [taylor]: Taking taylor expansion of 9.0 in x 4.772 * [taylor]: Taking taylor expansion of (* x y) in x 4.772 * [taylor]: Taking taylor expansion of x in x 4.772 * [taylor]: Taking taylor expansion of y in x 4.772 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in x 4.772 * [taylor]: Taking taylor expansion of 4.0 in x 4.772 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.772 * [taylor]: Taking taylor expansion of t in x 4.772 * [taylor]: Taking taylor expansion of (* z a) in x 4.772 * [taylor]: Taking taylor expansion of z in x 4.772 * [taylor]: Taking taylor expansion of a in x 4.773 * [taylor]: Taking taylor expansion of (neg (* 4.0 (* t (* z a)))) in y 4.773 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in y 4.773 * [taylor]: Taking taylor expansion of 4.0 in y 4.773 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.773 * [taylor]: Taking taylor expansion of t in y 4.773 * [taylor]: Taking taylor expansion of (* z a) in y 4.773 * [taylor]: Taking taylor expansion of z in y 4.773 * [taylor]: Taking taylor expansion of a in y 4.773 * [taylor]: Taking taylor expansion of (neg (* 4.0 (* t (* z a)))) in z 4.773 * [taylor]: Taking taylor expansion of (* 4.0 (* t (* z a))) in z 4.773 * [taylor]: Taking taylor expansion of 4.0 in z 4.773 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.773 * [taylor]: Taking taylor expansion of t in z 4.773 * [taylor]: Taking taylor expansion of (* z a) in z 4.773 * [taylor]: Taking taylor expansion of z in z 4.773 * [taylor]: Taking taylor expansion of a in z 4.773 * [taylor]: Taking taylor expansion of 0 in t 4.773 * [taylor]: Taking taylor expansion of 0 in a 4.773 * [taylor]: Taking taylor expansion of (* 9.0 y) in y 4.773 * [taylor]: Taking taylor expansion of 9.0 in y 4.773 * [taylor]: Taking taylor expansion of y in y 4.773 * [taylor]: Taking taylor expansion of 0 in z 4.773 * [taylor]: Taking taylor expansion of 0 in t 4.773 * [taylor]: Taking taylor expansion of 0 in a 4.773 * [taylor]: Taking taylor expansion of 0 in z 4.774 * [taylor]: Taking taylor expansion of 0 in t 4.774 * [taylor]: Taking taylor expansion of 0 in a 4.774 * [taylor]: Taking taylor expansion of (neg (* 4.0 (* t a))) in t 4.774 * [taylor]: Taking taylor expansion of (* 4.0 (* t a)) in t 4.774 * [taylor]: Taking taylor expansion of 4.0 in t 4.774 * [taylor]: Taking taylor expansion of (* t a) in t 4.774 * [taylor]: Taking taylor expansion of t in t 4.774 * [taylor]: Taking taylor expansion of a in t 4.774 * [taylor]: Taking taylor expansion of 0 in a 4.774 * [taylor]: Taking taylor expansion of 0 in a 4.774 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* x y))) (* 4.0 (/ 1 (* t (* z a))))) in (x y z t a) around 0 4.774 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* x y))) (* 4.0 (/ 1 (* t (* z a))))) in a 4.774 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in a 4.774 * [taylor]: Taking taylor expansion of 9.0 in a 4.774 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 4.774 * [taylor]: Taking taylor expansion of (* x y) in a 4.774 * [taylor]: Taking taylor expansion of x in a 4.774 * [taylor]: Taking taylor expansion of y in a 4.774 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in a 4.774 * [taylor]: Taking taylor expansion of 4.0 in a 4.774 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in a 4.774 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.774 * [taylor]: Taking taylor expansion of t in a 4.774 * [taylor]: Taking taylor expansion of (* z a) in a 4.774 * [taylor]: Taking taylor expansion of z in a 4.774 * [taylor]: Taking taylor expansion of a in a 4.774 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* x y))) (* 4.0 (/ 1 (* t (* z a))))) in t 4.774 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in t 4.774 * [taylor]: Taking taylor expansion of 9.0 in t 4.774 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 4.774 * [taylor]: Taking taylor expansion of (* x y) in t 4.774 * [taylor]: Taking taylor expansion of x in t 4.775 * [taylor]: Taking taylor expansion of y in t 4.775 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in t 4.775 * [taylor]: Taking taylor expansion of 4.0 in t 4.775 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in t 4.775 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.775 * [taylor]: Taking taylor expansion of t in t 4.775 * [taylor]: Taking taylor expansion of (* z a) in t 4.775 * [taylor]: Taking taylor expansion of z in t 4.775 * [taylor]: Taking taylor expansion of a in t 4.775 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* x y))) (* 4.0 (/ 1 (* t (* z a))))) in z 4.775 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in z 4.775 * [taylor]: Taking taylor expansion of 9.0 in z 4.775 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 4.775 * [taylor]: Taking taylor expansion of (* x y) in z 4.775 * [taylor]: Taking taylor expansion of x in z 4.775 * [taylor]: Taking taylor expansion of y in z 4.775 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in z 4.775 * [taylor]: Taking taylor expansion of 4.0 in z 4.775 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in z 4.775 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.775 * [taylor]: Taking taylor expansion of t in z 4.775 * [taylor]: Taking taylor expansion of (* z a) in z 4.775 * [taylor]: Taking taylor expansion of z in z 4.775 * [taylor]: Taking taylor expansion of a in z 4.775 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* x y))) (* 4.0 (/ 1 (* t (* z a))))) in y 4.775 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in y 4.775 * [taylor]: Taking taylor expansion of 9.0 in y 4.775 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.775 * [taylor]: Taking taylor expansion of (* x y) in y 4.775 * [taylor]: Taking taylor expansion of x in y 4.776 * [taylor]: Taking taylor expansion of y in y 4.776 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in y 4.776 * [taylor]: Taking taylor expansion of 4.0 in y 4.776 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in y 4.776 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.776 * [taylor]: Taking taylor expansion of t in y 4.776 * [taylor]: Taking taylor expansion of (* z a) in y 4.776 * [taylor]: Taking taylor expansion of z in y 4.776 * [taylor]: Taking taylor expansion of a in y 4.776 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* x y))) (* 4.0 (/ 1 (* t (* z a))))) in x 4.776 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.776 * [taylor]: Taking taylor expansion of 9.0 in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.776 * [taylor]: Taking taylor expansion of (* x y) in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.776 * [taylor]: Taking taylor expansion of y in x 4.776 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.776 * [taylor]: Taking taylor expansion of 4.0 in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.776 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.776 * [taylor]: Taking taylor expansion of t in x 4.776 * [taylor]: Taking taylor expansion of (* z a) in x 4.776 * [taylor]: Taking taylor expansion of z in x 4.776 * [taylor]: Taking taylor expansion of a in x 4.776 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* x y))) (* 4.0 (/ 1 (* t (* z a))))) in x 4.776 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.776 * [taylor]: Taking taylor expansion of 9.0 in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.776 * [taylor]: Taking taylor expansion of (* x y) in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.776 * [taylor]: Taking taylor expansion of y in x 4.776 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.776 * [taylor]: Taking taylor expansion of 4.0 in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.776 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.776 * [taylor]: Taking taylor expansion of t in x 4.776 * [taylor]: Taking taylor expansion of (* z a) in x 4.776 * [taylor]: Taking taylor expansion of z in x 4.776 * [taylor]: Taking taylor expansion of a in x 4.777 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 y)) in y 4.777 * [taylor]: Taking taylor expansion of 9.0 in y 4.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.777 * [taylor]: Taking taylor expansion of y in y 4.777 * [taylor]: Taking taylor expansion of 9.0 in z 4.777 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* t (* z a))))) in y 4.777 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in y 4.777 * [taylor]: Taking taylor expansion of 4.0 in y 4.777 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in y 4.777 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.777 * [taylor]: Taking taylor expansion of t in y 4.777 * [taylor]: Taking taylor expansion of (* z a) in y 4.777 * [taylor]: Taking taylor expansion of z in y 4.777 * [taylor]: Taking taylor expansion of a in y 4.777 * [taylor]: Taking taylor expansion of 0 in z 4.777 * [taylor]: Taking taylor expansion of 9.0 in t 4.777 * [taylor]: Taking taylor expansion of 0 in y 4.778 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* t (* z a))))) in z 4.778 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in z 4.778 * [taylor]: Taking taylor expansion of 4.0 in z 4.778 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in z 4.778 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.778 * [taylor]: Taking taylor expansion of t in z 4.778 * [taylor]: Taking taylor expansion of (* z a) in z 4.778 * [taylor]: Taking taylor expansion of z in z 4.778 * [taylor]: Taking taylor expansion of a in z 4.778 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* t a)))) in t 4.778 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t a))) in t 4.778 * [taylor]: Taking taylor expansion of 4.0 in t 4.778 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 4.778 * [taylor]: Taking taylor expansion of (* t a) in t 4.778 * [taylor]: Taking taylor expansion of t in t 4.778 * [taylor]: Taking taylor expansion of a in t 4.778 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 a))) in a 4.778 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 4.778 * [taylor]: Taking taylor expansion of 4.0 in a 4.778 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.778 * [taylor]: Taking taylor expansion of a in a 4.778 * [taylor]: Taking taylor expansion of 0 in z 4.778 * [taylor]: Taking taylor expansion of 0 in t 4.778 * [taylor]: Taking taylor expansion of 0 in t 4.778 * [taylor]: Taking taylor expansion of 9.0 in a 4.779 * [taylor]: Taking taylor expansion of 0 in y 4.779 * [taylor]: Taking taylor expansion of 0 in z 4.779 * [taylor]: Taking taylor expansion of 0 in z 4.779 * [taylor]: Taking taylor expansion of 0 in z 4.779 * [taylor]: Taking taylor expansion of 0 in t 4.779 * [taylor]: Taking taylor expansion of 0 in t 4.779 * [taylor]: Taking taylor expansion of 0 in t 4.779 * [taylor]: Taking taylor expansion of 0 in t 4.780 * [taylor]: Taking taylor expansion of 0 in a 4.780 * [taylor]: Taking taylor expansion of 0 in a 4.780 * [taylor]: Taking taylor expansion of 0 in a 4.780 * [taylor]: Taking taylor expansion of 0 in a 4.780 * [taylor]: Taking taylor expansion of 0 in y 4.780 * [taylor]: Taking taylor expansion of 0 in z 4.780 * [taylor]: Taking taylor expansion of 0 in z 4.781 * [taylor]: Taking taylor expansion of 0 in z 4.781 * [taylor]: Taking taylor expansion of 0 in z 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [taylor]: Taking taylor expansion of 0 in a 4.781 * [taylor]: Taking taylor expansion of 0 in a 4.781 * [taylor]: Taking taylor expansion of 0 in a 4.781 * [taylor]: Taking taylor expansion of 0 in a 4.781 * [taylor]: Taking taylor expansion of 0 in a 4.781 * [taylor]: Taking taylor expansion of 0 in a 4.781 * [taylor]: Taking taylor expansion of 0 in a 4.782 * [taylor]: Taking taylor expansion of 0 in a 4.782 * [approximate]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in (x y z t a) around 0 4.782 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in a 4.782 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in a 4.782 * [taylor]: Taking taylor expansion of 4.0 in a 4.782 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in a 4.782 * [taylor]: Taking taylor expansion of (* t (* z a)) in a 4.782 * [taylor]: Taking taylor expansion of t in a 4.782 * [taylor]: Taking taylor expansion of (* z a) in a 4.782 * [taylor]: Taking taylor expansion of z in a 4.782 * [taylor]: Taking taylor expansion of a in a 4.782 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in a 4.782 * [taylor]: Taking taylor expansion of 9.0 in a 4.782 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 4.782 * [taylor]: Taking taylor expansion of (* x y) in a 4.782 * [taylor]: Taking taylor expansion of x in a 4.782 * [taylor]: Taking taylor expansion of y in a 4.783 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in t 4.783 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in t 4.783 * [taylor]: Taking taylor expansion of 4.0 in t 4.783 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in t 4.783 * [taylor]: Taking taylor expansion of (* t (* z a)) in t 4.783 * [taylor]: Taking taylor expansion of t in t 4.783 * [taylor]: Taking taylor expansion of (* z a) in t 4.783 * [taylor]: Taking taylor expansion of z in t 4.783 * [taylor]: Taking taylor expansion of a in t 4.783 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in t 4.783 * [taylor]: Taking taylor expansion of 9.0 in t 4.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 4.783 * [taylor]: Taking taylor expansion of (* x y) in t 4.783 * [taylor]: Taking taylor expansion of x in t 4.783 * [taylor]: Taking taylor expansion of y in t 4.783 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in z 4.783 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in z 4.783 * [taylor]: Taking taylor expansion of 4.0 in z 4.783 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in z 4.783 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.783 * [taylor]: Taking taylor expansion of t in z 4.783 * [taylor]: Taking taylor expansion of (* z a) in z 4.783 * [taylor]: Taking taylor expansion of z in z 4.783 * [taylor]: Taking taylor expansion of a in z 4.783 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in z 4.783 * [taylor]: Taking taylor expansion of 9.0 in z 4.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 4.783 * [taylor]: Taking taylor expansion of (* x y) in z 4.783 * [taylor]: Taking taylor expansion of x in z 4.783 * [taylor]: Taking taylor expansion of y in z 4.783 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in y 4.783 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in y 4.783 * [taylor]: Taking taylor expansion of 4.0 in y 4.783 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in y 4.783 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.783 * [taylor]: Taking taylor expansion of t in y 4.783 * [taylor]: Taking taylor expansion of (* z a) in y 4.783 * [taylor]: Taking taylor expansion of z in y 4.783 * [taylor]: Taking taylor expansion of a in y 4.783 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in y 4.783 * [taylor]: Taking taylor expansion of 9.0 in y 4.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.784 * [taylor]: Taking taylor expansion of (* x y) in y 4.784 * [taylor]: Taking taylor expansion of x in y 4.784 * [taylor]: Taking taylor expansion of y in y 4.784 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in x 4.784 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.784 * [taylor]: Taking taylor expansion of 4.0 in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.784 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.784 * [taylor]: Taking taylor expansion of t in x 4.784 * [taylor]: Taking taylor expansion of (* z a) in x 4.784 * [taylor]: Taking taylor expansion of z in x 4.784 * [taylor]: Taking taylor expansion of a in x 4.784 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.784 * [taylor]: Taking taylor expansion of 9.0 in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.784 * [taylor]: Taking taylor expansion of (* x y) in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of y in x 4.784 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t (* z a)))) (* 9.0 (/ 1 (* x y)))) in x 4.784 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in x 4.784 * [taylor]: Taking taylor expansion of 4.0 in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in x 4.784 * [taylor]: Taking taylor expansion of (* t (* z a)) in x 4.784 * [taylor]: Taking taylor expansion of t in x 4.784 * [taylor]: Taking taylor expansion of (* z a) in x 4.784 * [taylor]: Taking taylor expansion of z in x 4.784 * [taylor]: Taking taylor expansion of a in x 4.784 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* x y))) in x 4.784 * [taylor]: Taking taylor expansion of 9.0 in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.784 * [taylor]: Taking taylor expansion of (* x y) in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of y in x 4.784 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 y)) in y 4.784 * [taylor]: Taking taylor expansion of 9.0 in y 4.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.784 * [taylor]: Taking taylor expansion of y in y 4.784 * [taylor]: Taking taylor expansion of 9.0 in z 4.785 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t (* z a)))) in y 4.785 * [taylor]: Taking taylor expansion of 4.0 in y 4.785 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z a))) in y 4.785 * [taylor]: Taking taylor expansion of (* t (* z a)) in y 4.785 * [taylor]: Taking taylor expansion of t in y 4.785 * [taylor]: Taking taylor expansion of (* z a) in y 4.785 * [taylor]: Taking taylor expansion of z in y 4.785 * [taylor]: Taking taylor expansion of a in y 4.785 * [taylor]: Taking taylor expansion of 0 in z 4.785 * [taylor]: Taking taylor expansion of 9.0 in t 4.785 * [taylor]: Taking taylor expansion of 0 in y 4.785 * [taylor]: Taking taylor expansion of (/ 4.0 (* t (* z a))) in z 4.785 * [taylor]: Taking taylor expansion of 4.0 in z 4.785 * [taylor]: Taking taylor expansion of (* t (* z a)) in z 4.785 * [taylor]: Taking taylor expansion of t in z 4.785 * [taylor]: Taking taylor expansion of (* z a) in z 4.785 * [taylor]: Taking taylor expansion of z in z 4.785 * [taylor]: Taking taylor expansion of a in z 4.786 * [taylor]: Taking taylor expansion of (/ 4.0 (* t a)) in t 4.786 * [taylor]: Taking taylor expansion of 4.0 in t 4.786 * [taylor]: Taking taylor expansion of (* t a) in t 4.786 * [taylor]: Taking taylor expansion of t in t 4.786 * [taylor]: Taking taylor expansion of a in t 4.786 * [taylor]: Taking taylor expansion of (/ 4.0 a) in a 4.786 * [taylor]: Taking taylor expansion of 4.0 in a 4.786 * [taylor]: Taking taylor expansion of a in a 4.786 * [taylor]: Taking taylor expansion of 0 in z 4.786 * [taylor]: Taking taylor expansion of 0 in t 4.786 * [taylor]: Taking taylor expansion of 0 in t 4.786 * [taylor]: Taking taylor expansion of 9.0 in a 4.786 * [taylor]: Taking taylor expansion of 0 in y 4.786 * [taylor]: Taking taylor expansion of 0 in z 4.787 * [taylor]: Taking taylor expansion of 0 in z 4.787 * [taylor]: Taking taylor expansion of 0 in z 4.787 * [taylor]: Taking taylor expansion of 0 in t 4.787 * [taylor]: Taking taylor expansion of 0 in t 4.787 * [taylor]: Taking taylor expansion of 0 in t 4.787 * [taylor]: Taking taylor expansion of 0 in t 4.787 * [taylor]: Taking taylor expansion of 0 in a 4.787 * [taylor]: Taking taylor expansion of 0 in a 4.787 * [taylor]: Taking taylor expansion of 0 in a 4.787 * [taylor]: Taking taylor expansion of 0 in a 4.788 * [taylor]: Taking taylor expansion of 0 in y 4.788 * [taylor]: Taking taylor expansion of 0 in z 4.788 * [taylor]: Taking taylor expansion of 0 in z 4.788 * [taylor]: Taking taylor expansion of 0 in z 4.788 * [taylor]: Taking taylor expansion of 0 in z 4.788 * [taylor]: Taking taylor expansion of 0 in t 4.788 * [taylor]: Taking taylor expansion of 0 in t 4.788 * [taylor]: Taking taylor expansion of 0 in t 4.788 * [taylor]: Taking taylor expansion of 0 in t 4.788 * [taylor]: Taking taylor expansion of 0 in t 4.789 * [taylor]: Taking taylor expansion of 0 in t 4.789 * [taylor]: Taking taylor expansion of 0 in t 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * [taylor]: Taking taylor expansion of 0 in a 4.789 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.789 * [approximate]: Taking taylor expansion of (* 9.0 (* x y)) in (x y) around 0 4.789 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in y 4.789 * [taylor]: Taking taylor expansion of 9.0 in y 4.789 * [taylor]: Taking taylor expansion of (* x y) in y 4.789 * [taylor]: Taking taylor expansion of x in y 4.789 * [taylor]: Taking taylor expansion of y in y 4.790 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in x 4.790 * [taylor]: Taking taylor expansion of 9.0 in x 4.790 * [taylor]: Taking taylor expansion of (* x y) in x 4.790 * [taylor]: Taking taylor expansion of x in x 4.790 * [taylor]: Taking taylor expansion of y in x 4.790 * [taylor]: Taking taylor expansion of (* 9.0 (* x y)) in x 4.790 * [taylor]: Taking taylor expansion of 9.0 in x 4.790 * [taylor]: Taking taylor expansion of (* x y) in x 4.790 * [taylor]: Taking taylor expansion of x in x 4.790 * [taylor]: Taking taylor expansion of y in x 4.790 * [taylor]: Taking taylor expansion of 0 in y 4.790 * [taylor]: Taking taylor expansion of (* 9.0 y) in y 4.790 * [taylor]: Taking taylor expansion of 9.0 in y 4.790 * [taylor]: Taking taylor expansion of y in y 4.790 * [taylor]: Taking taylor expansion of 0 in y 4.790 * [taylor]: Taking taylor expansion of 0 in y 4.790 * [taylor]: Taking taylor expansion of 0 in y 4.790 * [approximate]: Taking taylor expansion of (/ 9.0 (* x y)) in (x y) around 0 4.790 * [taylor]: Taking taylor expansion of (/ 9.0 (* x y)) in y 4.790 * [taylor]: Taking taylor expansion of 9.0 in y 4.790 * [taylor]: Taking taylor expansion of (* x y) in y 4.790 * [taylor]: Taking taylor expansion of x in y 4.790 * [taylor]: Taking taylor expansion of y in y 4.790 * [taylor]: Taking taylor expansion of (/ 9.0 (* x y)) in x 4.790 * [taylor]: Taking taylor expansion of 9.0 in x 4.791 * [taylor]: Taking taylor expansion of (* x y) in x 4.791 * [taylor]: Taking taylor expansion of x in x 4.791 * [taylor]: Taking taylor expansion of y in x 4.791 * [taylor]: Taking taylor expansion of (/ 9.0 (* x y)) in x 4.791 * [taylor]: Taking taylor expansion of 9.0 in x 4.791 * [taylor]: Taking taylor expansion of (* x y) in x 4.791 * [taylor]: Taking taylor expansion of x in x 4.791 * [taylor]: Taking taylor expansion of y in x 4.791 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y 4.791 * [taylor]: Taking taylor expansion of 9.0 in y 4.791 * [taylor]: Taking taylor expansion of y in y 4.791 * [taylor]: Taking taylor expansion of 0 in y 4.791 * [taylor]: Taking taylor expansion of 0 in y 4.791 * [taylor]: Taking taylor expansion of 0 in y 4.791 * [approximate]: Taking taylor expansion of (/ 9.0 (* x y)) in (x y) around 0 4.792 * [taylor]: Taking taylor expansion of (/ 9.0 (* x y)) in y 4.792 * [taylor]: Taking taylor expansion of 9.0 in y 4.792 * [taylor]: Taking taylor expansion of (* x y) in y 4.792 * [taylor]: Taking taylor expansion of x in y 4.792 * [taylor]: Taking taylor expansion of y in y 4.792 * [taylor]: Taking taylor expansion of (/ 9.0 (* x y)) in x 4.792 * [taylor]: Taking taylor expansion of 9.0 in x 4.792 * [taylor]: Taking taylor expansion of (* x y) in x 4.792 * [taylor]: Taking taylor expansion of x in x 4.792 * [taylor]: Taking taylor expansion of y in x 4.792 * [taylor]: Taking taylor expansion of (/ 9.0 (* x y)) in x 4.792 * [taylor]: Taking taylor expansion of 9.0 in x 4.792 * [taylor]: Taking taylor expansion of (* x y) in x 4.792 * [taylor]: Taking taylor expansion of x in x 4.792 * [taylor]: Taking taylor expansion of y in x 4.792 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y 4.792 * [taylor]: Taking taylor expansion of 9.0 in y 4.792 * [taylor]: Taking taylor expansion of y in y 4.792 * [taylor]: Taking taylor expansion of 0 in y 4.792 * [taylor]: Taking taylor expansion of 0 in y 4.792 * [taylor]: Taking taylor expansion of 0 in y 4.793 * * * [progress]: simplifying candidates 4.794 * [simplify]: Simplifying using # : (- (log (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (+ (log z) (log c))) (- (log (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (log (* z c))) (log (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (exp (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (/ (* (* (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (* (* (* z z) z) (* (* c c) c))) (/ (* (* (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (* (* (* z c) (* z c)) (* z c))) (* (cbrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (cbrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)))) (cbrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (* (* (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (sqrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (sqrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (neg (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (neg (* z c)) (/ (* (* x 9.0) y) (* z c)) (/ (- (* (* (* z 4.0) t) a) b) (* z c)) (/ (* (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b))) z) (/ (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) c) (/ (sqrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) z) (/ (sqrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) c) (/ 1 z) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) c) (/ 1 z) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) c) (/ 1 (* z c)) (/ (* z c) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) z) (/ (* z c) (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b))) (/ (* z c) (sqrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b))) (/ (* z c) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (/ (* z c) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (* (* z c) (+ (* (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (- (* b b) (* (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)))) (* (* z c) (- (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a) (+ (+ (+ (log z) (log 4.0)) (log t)) (log a)) (+ (+ (log (* z 4.0)) (log t)) (log a)) (+ (log (* (* z 4.0) t)) (log a)) (log (* (* (* z 4.0) t) a)) (exp (* (* (* z 4.0) t) a)) (* (* (* (* (* z z) z) (* (* 4.0 4.0) 4.0)) (* (* t t) t)) (* (* a a) a)) (* (* (* (* (* z 4.0) (* z 4.0)) (* z 4.0)) (* (* t t) t)) (* (* a a) a)) (* (* (* (* (* z 4.0) t) (* (* z 4.0) t)) (* (* z 4.0) t)) (* (* a a) a)) (* (cbrt (* (* (* z 4.0) t) a)) (cbrt (* (* (* z 4.0) t) a))) (cbrt (* (* (* z 4.0) t) a)) (* (* (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a)) (* (* (* z 4.0) t) a)) (sqrt (* (* (* z 4.0) t) a)) (sqrt (* (* (* z 4.0) t) a)) (* (* (* z 4.0) t) (* (cbrt a) (cbrt a))) (* (* (* z 4.0) t) (sqrt a)) (* (* (* z 4.0) t) 1) (* t a) (/ (exp (* (* x 9.0) y)) (exp (* (* (* z 4.0) t) a))) (log (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (exp (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (* (cbrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (cbrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)))) (cbrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (* (* (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (sqrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (sqrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (- (pow (* (* x 9.0) y) 3) (pow (* (* (* z 4.0) t) a) 3)) (+ (* (* (* x 9.0) y) (* (* x 9.0) y)) (+ (* (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a)) (* (* (* x 9.0) y) (* (* (* z 4.0) t) a)))) (neg (* (* (* z 4.0) t) a)) (- (* (* (* x 9.0) y) (* (* x 9.0) y)) (* (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a))) (+ (* (* x 9.0) y) (* (* (* z 4.0) t) a)) (neg (* (* (* z 4.0) t) a)) (* (* x 9.0) y) (* (* x 9.0) y) (+ (+ (log x) (log 9.0)) (log y)) (+ (log (* x 9.0)) (log y)) (log (* (* x 9.0) y)) (exp (* (* x 9.0) y)) (* (* (* (* x x) x) (* (* 9.0 9.0) 9.0)) (* (* y y) y)) (* (* (* (* x 9.0) (* x 9.0)) (* x 9.0)) (* (* y y) y)) (* (cbrt (* (* x 9.0) y)) (cbrt (* (* x 9.0) y))) (cbrt (* (* x 9.0) y)) (* (* (* (* x 9.0) y) (* (* x 9.0) y)) (* (* x 9.0) y)) (sqrt (* (* x 9.0) y)) (sqrt (* (* x 9.0) y)) (* (* x 9.0) (* (cbrt y) (cbrt y))) (* (* x 9.0) (sqrt y)) (* (* x 9.0) 1) (* 9.0 y) (- (+ (/ b (* z c)) (* 9.0 (/ (* x y) (* z c)))) (* 4.0 (/ (* a t) c))) 0 0 0 (* 4.0 (* a (* z t))) (* 4.0 (* a (* z t))) 0 (- (* 9.0 (* x y)) (* 4.0 (* a (* z t)))) (- (* 9.0 (* x y)) (* 4.0 (* a (* z t)))) (* 9.0 (* x y)) (* 9.0 (* x y)) (* 9.0 (* x y)) 4.800 * * [simplify]: iteration 0 : 491 enodes (cost 675 ) 4.809 * * [simplify]: iteration 1 : 2345 enodes (cost 574 ) 4.858 * * [simplify]: iteration 2 : 5002 enodes (cost 574 ) 4.862 * [simplify]: Simplified to: (log (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (log (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (log (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (exp (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (pow (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)) 3) (pow (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)) 3) (* (cbrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (cbrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)))) (cbrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (pow (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c)) 3) (sqrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (sqrt (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) (* z c))) (neg (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (neg (* z c)) (/ (* (* x 9.0) y) (* z c)) (/ (- (* (* (* z 4.0) t) a) b) (* z c)) (/ (* (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b))) z) (/ (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) c) (/ (sqrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) z) (/ (sqrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) c) (/ 1 z) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) c) (/ 1 z) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) c) (/ 1 (* z c)) (/ (* z c) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (/ (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b) z) (/ (* z c) (cbrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b))) (/ (* z c) (sqrt (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b))) (/ (* z c) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (/ (* z c) (+ (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (* (+ (* b (- b (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)))) (* (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)))) (* z c)) (* (* z c) (- (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) b)) (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a) (log (* (* (* z 4.0) t) a)) (log (* (* (* z 4.0) t) a)) (log (* (* (* z 4.0) t) a)) (log (* (* (* z 4.0) t) a)) (exp (* (* (* z 4.0) t) a)) (pow (* (* (* z 4.0) t) a) 3) (pow (* (* (* z 4.0) t) a) 3) (pow (* (* (* z 4.0) t) a) 3) (* (cbrt (* (* (* z 4.0) t) a)) (cbrt (* (* (* z 4.0) t) a))) (cbrt (* (* (* z 4.0) t) a)) (pow (* (* (* z 4.0) t) a) 3) (sqrt (* (* (* z 4.0) t) a)) (sqrt (* (* (* z 4.0) t) a)) (* (* (* z 4.0) t) (* (cbrt a) (cbrt a))) (* (* (* z 4.0) t) (sqrt a)) (* (* z 4.0) t) (* t a) (exp (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (log (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (exp (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (* (cbrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (cbrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)))) (cbrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (pow (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) 3) (sqrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (sqrt (- (* (* x 9.0) y) (* (* (* z 4.0) t) a))) (- (pow (* (* x 9.0) y) 3) (pow (* (* (* z 4.0) t) a) 3)) (+ (* (* (* (* z 4.0) t) a) (+ (* (* (* z 4.0) t) a) (* (* x 9.0) y))) (* (* (* x 9.0) y) (* (* x 9.0) y))) (neg (* (* (* z 4.0) t) a)) (- (* (* (* x 9.0) y) (* (* x 9.0) y)) (* (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a))) (+ (* (* x 9.0) y) (* (* (* z 4.0) t) a)) (neg (* (* (* z 4.0) t) a)) (* 9.0 (* x y)) (* 9.0 (* x y)) (log (* (* x 9.0) y)) (log (* (* x 9.0) y)) (log (* (* x 9.0) y)) (exp (* (* x 9.0) y)) (pow (* (* x 9.0) y) 3) (pow (* (* x 9.0) y) 3) (* (cbrt (* (* x 9.0) y)) (cbrt (* (* x 9.0) y))) (cbrt (* (* x 9.0) y)) (pow (* (* x 9.0) y) 3) (sqrt (* (* x 9.0) y)) (sqrt (* (* x 9.0) y)) (* (* x 9.0) (* (cbrt y) (cbrt y))) (* (* x 9.0) (sqrt y)) (* x 9.0) (* 9.0 y) (- (+ (/ b (* z c)) (* 9.0 (/ (* x y) (* z c)))) (* 4.0 (/ (* a t) c))) 0 0 0 (* (* (* z 4.0) t) a) (* (* (* z 4.0) t) a) 0 (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) (- (* (* x 9.0) y) (* (* (* z 4.0) t) a)) (* 9.0 (* x y)) (* 9.0 (* x y)) (* 9.0 (* x y)) 4.862 * * * [progress]: adding candidates to table 4.981 * * [progress]: iteration 2 / 4 4.981 * * * [progress]: picking best candidate 5.042 * * * * [pick]: Picked # 5.042 * * * [progress]: localizing error 5.057 * * * [progress]: generating rewritten candidates 5.057 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 5.063 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 5.067 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 5.071 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.081 * * * [progress]: generating series expansions 5.081 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 5.081 * [approximate]: Taking taylor expansion of (/ (* x y) (* z c)) in (x y z c) around 0 5.081 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in c 5.081 * [taylor]: Taking taylor expansion of (* x y) in c 5.081 * [taylor]: Taking taylor expansion of x in c 5.081 * [taylor]: Taking taylor expansion of y in c 5.081 * [taylor]: Taking taylor expansion of (* z c) in c 5.081 * [taylor]: Taking taylor expansion of z in c 5.081 * [taylor]: Taking taylor expansion of c in c 5.082 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in z 5.082 * [taylor]: Taking taylor expansion of (* x y) in z 5.082 * [taylor]: Taking taylor expansion of x in z 5.082 * [taylor]: Taking taylor expansion of y in z 5.082 * [taylor]: Taking taylor expansion of (* z c) in z 5.082 * [taylor]: Taking taylor expansion of z in z 5.082 * [taylor]: Taking taylor expansion of c in z 5.082 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in y 5.082 * [taylor]: Taking taylor expansion of (* x y) in y 5.082 * [taylor]: Taking taylor expansion of x in y 5.082 * [taylor]: Taking taylor expansion of y in y 5.082 * [taylor]: Taking taylor expansion of (* z c) in y 5.082 * [taylor]: Taking taylor expansion of z in y 5.082 * [taylor]: Taking taylor expansion of c in y 5.082 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.082 * [taylor]: Taking taylor expansion of (* x y) in x 5.082 * [taylor]: Taking taylor expansion of x in x 5.082 * [taylor]: Taking taylor expansion of y in x 5.082 * [taylor]: Taking taylor expansion of (* z c) in x 5.082 * [taylor]: Taking taylor expansion of z in x 5.082 * [taylor]: Taking taylor expansion of c in x 5.082 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.082 * [taylor]: Taking taylor expansion of (* x y) in x 5.082 * [taylor]: Taking taylor expansion of x in x 5.082 * [taylor]: Taking taylor expansion of y in x 5.082 * [taylor]: Taking taylor expansion of (* z c) in x 5.082 * [taylor]: Taking taylor expansion of z in x 5.082 * [taylor]: Taking taylor expansion of c in x 5.082 * [taylor]: Taking taylor expansion of (/ y (* z c)) in y 5.082 * [taylor]: Taking taylor expansion of y in y 5.082 * [taylor]: Taking taylor expansion of (* z c) in y 5.082 * [taylor]: Taking taylor expansion of z in y 5.082 * [taylor]: Taking taylor expansion of c in y 5.082 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 5.082 * [taylor]: Taking taylor expansion of (* z c) in z 5.083 * [taylor]: Taking taylor expansion of z in z 5.083 * [taylor]: Taking taylor expansion of c in z 5.083 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.083 * [taylor]: Taking taylor expansion of c in c 5.083 * [taylor]: Taking taylor expansion of 0 in y 5.083 * [taylor]: Taking taylor expansion of 0 in z 5.083 * [taylor]: Taking taylor expansion of 0 in z 5.083 * [taylor]: Taking taylor expansion of 0 in c 5.083 * [taylor]: Taking taylor expansion of 0 in y 5.083 * [taylor]: Taking taylor expansion of 0 in z 5.083 * [taylor]: Taking taylor expansion of 0 in z 5.083 * [taylor]: Taking taylor expansion of 0 in z 5.083 * [taylor]: Taking taylor expansion of 0 in c 5.083 * [taylor]: Taking taylor expansion of 0 in c 5.084 * [taylor]: Taking taylor expansion of 0 in c 5.084 * [taylor]: Taking taylor expansion of 0 in y 5.084 * [taylor]: Taking taylor expansion of 0 in z 5.084 * [taylor]: Taking taylor expansion of 0 in z 5.084 * [taylor]: Taking taylor expansion of 0 in z 5.084 * [taylor]: Taking taylor expansion of 0 in z 5.084 * [taylor]: Taking taylor expansion of 0 in c 5.084 * [taylor]: Taking taylor expansion of 0 in c 5.084 * [taylor]: Taking taylor expansion of 0 in c 5.084 * [taylor]: Taking taylor expansion of 0 in c 5.084 * [taylor]: Taking taylor expansion of 0 in c 5.084 * [taylor]: Taking taylor expansion of 0 in c 5.085 * [approximate]: Taking taylor expansion of (/ (* z c) (* x y)) in (x y z c) around 0 5.085 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.085 * [taylor]: Taking taylor expansion of (* z c) in c 5.085 * [taylor]: Taking taylor expansion of z in c 5.085 * [taylor]: Taking taylor expansion of c in c 5.085 * [taylor]: Taking taylor expansion of (* x y) in c 5.085 * [taylor]: Taking taylor expansion of x in c 5.085 * [taylor]: Taking taylor expansion of y in c 5.085 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.085 * [taylor]: Taking taylor expansion of (* z c) in z 5.085 * [taylor]: Taking taylor expansion of z in z 5.085 * [taylor]: Taking taylor expansion of c in z 5.085 * [taylor]: Taking taylor expansion of (* x y) in z 5.085 * [taylor]: Taking taylor expansion of x in z 5.085 * [taylor]: Taking taylor expansion of y in z 5.085 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.085 * [taylor]: Taking taylor expansion of (* z c) in y 5.085 * [taylor]: Taking taylor expansion of z in y 5.085 * [taylor]: Taking taylor expansion of c in y 5.085 * [taylor]: Taking taylor expansion of (* x y) in y 5.085 * [taylor]: Taking taylor expansion of x in y 5.085 * [taylor]: Taking taylor expansion of y in y 5.085 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.085 * [taylor]: Taking taylor expansion of (* z c) in x 5.085 * [taylor]: Taking taylor expansion of z in x 5.085 * [taylor]: Taking taylor expansion of c in x 5.085 * [taylor]: Taking taylor expansion of (* x y) in x 5.085 * [taylor]: Taking taylor expansion of x in x 5.085 * [taylor]: Taking taylor expansion of y in x 5.085 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.085 * [taylor]: Taking taylor expansion of (* z c) in x 5.085 * [taylor]: Taking taylor expansion of z in x 5.085 * [taylor]: Taking taylor expansion of c in x 5.085 * [taylor]: Taking taylor expansion of (* x y) in x 5.085 * [taylor]: Taking taylor expansion of x in x 5.085 * [taylor]: Taking taylor expansion of y in x 5.086 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 5.086 * [taylor]: Taking taylor expansion of (* z c) in y 5.086 * [taylor]: Taking taylor expansion of z in y 5.086 * [taylor]: Taking taylor expansion of c in y 5.086 * [taylor]: Taking taylor expansion of y in y 5.086 * [taylor]: Taking taylor expansion of (* z c) in z 5.086 * [taylor]: Taking taylor expansion of z in z 5.086 * [taylor]: Taking taylor expansion of c in z 5.086 * [taylor]: Taking taylor expansion of c in c 5.086 * [taylor]: Taking taylor expansion of 0 in y 5.086 * [taylor]: Taking taylor expansion of 0 in z 5.086 * [taylor]: Taking taylor expansion of 0 in c 5.086 * [taylor]: Taking taylor expansion of 0 in c 5.086 * [taylor]: Taking taylor expansion of 0 in y 5.086 * [taylor]: Taking taylor expansion of 0 in z 5.086 * [taylor]: Taking taylor expansion of 0 in c 5.086 * [taylor]: Taking taylor expansion of 0 in z 5.086 * [taylor]: Taking taylor expansion of 0 in c 5.087 * [taylor]: Taking taylor expansion of 0 in c 5.087 * [approximate]: Taking taylor expansion of (/ (* z c) (* x y)) in (x y z c) around 0 5.087 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.087 * [taylor]: Taking taylor expansion of (* z c) in c 5.087 * [taylor]: Taking taylor expansion of z in c 5.087 * [taylor]: Taking taylor expansion of c in c 5.087 * [taylor]: Taking taylor expansion of (* x y) in c 5.087 * [taylor]: Taking taylor expansion of x in c 5.087 * [taylor]: Taking taylor expansion of y in c 5.087 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.087 * [taylor]: Taking taylor expansion of (* z c) in z 5.087 * [taylor]: Taking taylor expansion of z in z 5.087 * [taylor]: Taking taylor expansion of c in z 5.087 * [taylor]: Taking taylor expansion of (* x y) in z 5.087 * [taylor]: Taking taylor expansion of x in z 5.087 * [taylor]: Taking taylor expansion of y in z 5.087 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.087 * [taylor]: Taking taylor expansion of (* z c) in y 5.087 * [taylor]: Taking taylor expansion of z in y 5.087 * [taylor]: Taking taylor expansion of c in y 5.087 * [taylor]: Taking taylor expansion of (* x y) in y 5.087 * [taylor]: Taking taylor expansion of x in y 5.087 * [taylor]: Taking taylor expansion of y in y 5.087 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.087 * [taylor]: Taking taylor expansion of (* z c) in x 5.087 * [taylor]: Taking taylor expansion of z in x 5.087 * [taylor]: Taking taylor expansion of c in x 5.087 * [taylor]: Taking taylor expansion of (* x y) in x 5.087 * [taylor]: Taking taylor expansion of x in x 5.087 * [taylor]: Taking taylor expansion of y in x 5.087 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.087 * [taylor]: Taking taylor expansion of (* z c) in x 5.087 * [taylor]: Taking taylor expansion of z in x 5.088 * [taylor]: Taking taylor expansion of c in x 5.088 * [taylor]: Taking taylor expansion of (* x y) in x 5.088 * [taylor]: Taking taylor expansion of x in x 5.088 * [taylor]: Taking taylor expansion of y in x 5.088 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 5.088 * [taylor]: Taking taylor expansion of (* z c) in y 5.088 * [taylor]: Taking taylor expansion of z in y 5.088 * [taylor]: Taking taylor expansion of c in y 5.088 * [taylor]: Taking taylor expansion of y in y 5.088 * [taylor]: Taking taylor expansion of (* z c) in z 5.088 * [taylor]: Taking taylor expansion of z in z 5.088 * [taylor]: Taking taylor expansion of c in z 5.088 * [taylor]: Taking taylor expansion of c in c 5.088 * [taylor]: Taking taylor expansion of 0 in y 5.088 * [taylor]: Taking taylor expansion of 0 in z 5.088 * [taylor]: Taking taylor expansion of 0 in c 5.088 * [taylor]: Taking taylor expansion of 0 in c 5.088 * [taylor]: Taking taylor expansion of 0 in y 5.088 * [taylor]: Taking taylor expansion of 0 in z 5.088 * [taylor]: Taking taylor expansion of 0 in c 5.089 * [taylor]: Taking taylor expansion of 0 in z 5.089 * [taylor]: Taking taylor expansion of 0 in c 5.089 * [taylor]: Taking taylor expansion of 0 in c 5.089 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 5.089 * [approximate]: Taking taylor expansion of (/ (* a t) c) in (a t c) around 0 5.089 * [taylor]: Taking taylor expansion of (/ (* a t) c) in c 5.089 * [taylor]: Taking taylor expansion of (* a t) in c 5.089 * [taylor]: Taking taylor expansion of a in c 5.089 * [taylor]: Taking taylor expansion of t in c 5.089 * [taylor]: Taking taylor expansion of c in c 5.089 * [taylor]: Taking taylor expansion of (/ (* a t) c) in t 5.089 * [taylor]: Taking taylor expansion of (* a t) in t 5.089 * [taylor]: Taking taylor expansion of a in t 5.089 * [taylor]: Taking taylor expansion of t in t 5.089 * [taylor]: Taking taylor expansion of c in t 5.089 * [taylor]: Taking taylor expansion of (/ (* a t) c) in a 5.089 * [taylor]: Taking taylor expansion of (* a t) in a 5.089 * [taylor]: Taking taylor expansion of a in a 5.089 * [taylor]: Taking taylor expansion of t in a 5.089 * [taylor]: Taking taylor expansion of c in a 5.089 * [taylor]: Taking taylor expansion of (/ (* a t) c) in a 5.089 * [taylor]: Taking taylor expansion of (* a t) in a 5.089 * [taylor]: Taking taylor expansion of a in a 5.089 * [taylor]: Taking taylor expansion of t in a 5.089 * [taylor]: Taking taylor expansion of c in a 5.089 * [taylor]: Taking taylor expansion of (/ t c) in t 5.089 * [taylor]: Taking taylor expansion of t in t 5.089 * [taylor]: Taking taylor expansion of c in t 5.089 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.090 * [taylor]: Taking taylor expansion of c in c 5.090 * [taylor]: Taking taylor expansion of 0 in t 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in t 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in t 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.090 * [taylor]: Taking taylor expansion of 0 in c 5.091 * [approximate]: Taking taylor expansion of (/ c (* a t)) in (a t c) around 0 5.091 * [taylor]: Taking taylor expansion of (/ c (* a t)) in c 5.091 * [taylor]: Taking taylor expansion of c in c 5.091 * [taylor]: Taking taylor expansion of (* a t) in c 5.091 * [taylor]: Taking taylor expansion of a in c 5.091 * [taylor]: Taking taylor expansion of t in c 5.091 * [taylor]: Taking taylor expansion of (/ c (* a t)) in t 5.091 * [taylor]: Taking taylor expansion of c in t 5.091 * [taylor]: Taking taylor expansion of (* a t) in t 5.091 * [taylor]: Taking taylor expansion of a in t 5.091 * [taylor]: Taking taylor expansion of t in t 5.091 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.091 * [taylor]: Taking taylor expansion of c in a 5.091 * [taylor]: Taking taylor expansion of (* a t) in a 5.091 * [taylor]: Taking taylor expansion of a in a 5.091 * [taylor]: Taking taylor expansion of t in a 5.091 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.091 * [taylor]: Taking taylor expansion of c in a 5.091 * [taylor]: Taking taylor expansion of (* a t) in a 5.091 * [taylor]: Taking taylor expansion of a in a 5.091 * [taylor]: Taking taylor expansion of t in a 5.091 * [taylor]: Taking taylor expansion of (/ c t) in t 5.091 * [taylor]: Taking taylor expansion of c in t 5.091 * [taylor]: Taking taylor expansion of t in t 5.091 * [taylor]: Taking taylor expansion of c in c 5.091 * [taylor]: Taking taylor expansion of 0 in t 5.091 * [taylor]: Taking taylor expansion of 0 in c 5.092 * [taylor]: Taking taylor expansion of 0 in t 5.092 * [taylor]: Taking taylor expansion of 0 in c 5.092 * [taylor]: Taking taylor expansion of 0 in c 5.092 * [approximate]: Taking taylor expansion of (* -1 (/ c (* a t))) in (a t c) around 0 5.092 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in c 5.092 * [taylor]: Taking taylor expansion of -1 in c 5.092 * [taylor]: Taking taylor expansion of (/ c (* a t)) in c 5.092 * [taylor]: Taking taylor expansion of c in c 5.092 * [taylor]: Taking taylor expansion of (* a t) in c 5.092 * [taylor]: Taking taylor expansion of a in c 5.092 * [taylor]: Taking taylor expansion of t in c 5.092 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in t 5.092 * [taylor]: Taking taylor expansion of -1 in t 5.092 * [taylor]: Taking taylor expansion of (/ c (* a t)) in t 5.092 * [taylor]: Taking taylor expansion of c in t 5.092 * [taylor]: Taking taylor expansion of (* a t) in t 5.092 * [taylor]: Taking taylor expansion of a in t 5.092 * [taylor]: Taking taylor expansion of t in t 5.092 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in a 5.092 * [taylor]: Taking taylor expansion of -1 in a 5.092 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.092 * [taylor]: Taking taylor expansion of c in a 5.092 * [taylor]: Taking taylor expansion of (* a t) in a 5.092 * [taylor]: Taking taylor expansion of a in a 5.092 * [taylor]: Taking taylor expansion of t in a 5.092 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in a 5.092 * [taylor]: Taking taylor expansion of -1 in a 5.092 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.092 * [taylor]: Taking taylor expansion of c in a 5.092 * [taylor]: Taking taylor expansion of (* a t) in a 5.092 * [taylor]: Taking taylor expansion of a in a 5.092 * [taylor]: Taking taylor expansion of t in a 5.093 * [taylor]: Taking taylor expansion of (* -1 (/ c t)) in t 5.093 * [taylor]: Taking taylor expansion of -1 in t 5.093 * [taylor]: Taking taylor expansion of (/ c t) in t 5.093 * [taylor]: Taking taylor expansion of c in t 5.093 * [taylor]: Taking taylor expansion of t in t 5.093 * [taylor]: Taking taylor expansion of (* -1 c) in c 5.093 * [taylor]: Taking taylor expansion of -1 in c 5.093 * [taylor]: Taking taylor expansion of c in c 5.093 * [taylor]: Taking taylor expansion of 0 in t 5.093 * [taylor]: Taking taylor expansion of 0 in c 5.093 * [taylor]: Taking taylor expansion of 0 in t 5.093 * [taylor]: Taking taylor expansion of 0 in c 5.093 * [taylor]: Taking taylor expansion of 0 in c 5.093 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 5.094 * [approximate]: Taking taylor expansion of (/ b (* z c)) in (b z c) around 0 5.094 * [taylor]: Taking taylor expansion of (/ b (* z c)) in c 5.094 * [taylor]: Taking taylor expansion of b in c 5.094 * [taylor]: Taking taylor expansion of (* z c) in c 5.094 * [taylor]: Taking taylor expansion of z in c 5.094 * [taylor]: Taking taylor expansion of c in c 5.094 * [taylor]: Taking taylor expansion of (/ b (* z c)) in z 5.094 * [taylor]: Taking taylor expansion of b in z 5.094 * [taylor]: Taking taylor expansion of (* z c) in z 5.094 * [taylor]: Taking taylor expansion of z in z 5.094 * [taylor]: Taking taylor expansion of c in z 5.094 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.094 * [taylor]: Taking taylor expansion of b in b 5.094 * [taylor]: Taking taylor expansion of (* z c) in b 5.094 * [taylor]: Taking taylor expansion of z in b 5.094 * [taylor]: Taking taylor expansion of c in b 5.094 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.094 * [taylor]: Taking taylor expansion of b in b 5.094 * [taylor]: Taking taylor expansion of (* z c) in b 5.094 * [taylor]: Taking taylor expansion of z in b 5.094 * [taylor]: Taking taylor expansion of c in b 5.094 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 5.094 * [taylor]: Taking taylor expansion of (* z c) in z 5.094 * [taylor]: Taking taylor expansion of z in z 5.094 * [taylor]: Taking taylor expansion of c in z 5.094 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.094 * [taylor]: Taking taylor expansion of c in c 5.094 * [taylor]: Taking taylor expansion of 0 in z 5.094 * [taylor]: Taking taylor expansion of 0 in c 5.095 * [taylor]: Taking taylor expansion of 0 in z 5.095 * [taylor]: Taking taylor expansion of 0 in c 5.095 * [taylor]: Taking taylor expansion of 0 in c 5.095 * [taylor]: Taking taylor expansion of 0 in z 5.095 * [taylor]: Taking taylor expansion of 0 in c 5.095 * [taylor]: Taking taylor expansion of 0 in c 5.095 * [taylor]: Taking taylor expansion of 0 in c 5.095 * [approximate]: Taking taylor expansion of (/ (* z c) b) in (b z c) around 0 5.095 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.095 * [taylor]: Taking taylor expansion of (* z c) in c 5.095 * [taylor]: Taking taylor expansion of z in c 5.095 * [taylor]: Taking taylor expansion of c in c 5.095 * [taylor]: Taking taylor expansion of b in c 5.096 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.096 * [taylor]: Taking taylor expansion of (* z c) in z 5.096 * [taylor]: Taking taylor expansion of z in z 5.096 * [taylor]: Taking taylor expansion of c in z 5.096 * [taylor]: Taking taylor expansion of b in z 5.096 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.096 * [taylor]: Taking taylor expansion of (* z c) in b 5.096 * [taylor]: Taking taylor expansion of z in b 5.096 * [taylor]: Taking taylor expansion of c in b 5.096 * [taylor]: Taking taylor expansion of b in b 5.096 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.096 * [taylor]: Taking taylor expansion of (* z c) in b 5.096 * [taylor]: Taking taylor expansion of z in b 5.096 * [taylor]: Taking taylor expansion of c in b 5.096 * [taylor]: Taking taylor expansion of b in b 5.096 * [taylor]: Taking taylor expansion of (* z c) in z 5.096 * [taylor]: Taking taylor expansion of z in z 5.096 * [taylor]: Taking taylor expansion of c in z 5.096 * [taylor]: Taking taylor expansion of c in c 5.096 * [taylor]: Taking taylor expansion of 0 in z 5.096 * [taylor]: Taking taylor expansion of 0 in c 5.096 * [taylor]: Taking taylor expansion of 0 in c 5.096 * [taylor]: Taking taylor expansion of 0 in z 5.096 * [taylor]: Taking taylor expansion of 0 in c 5.096 * [taylor]: Taking taylor expansion of 0 in c 5.096 * [taylor]: Taking taylor expansion of 0 in c 5.097 * [approximate]: Taking taylor expansion of (* -1 (/ (* z c) b)) in (b z c) around 0 5.097 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in c 5.097 * [taylor]: Taking taylor expansion of -1 in c 5.097 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.097 * [taylor]: Taking taylor expansion of (* z c) in c 5.097 * [taylor]: Taking taylor expansion of z in c 5.097 * [taylor]: Taking taylor expansion of c in c 5.097 * [taylor]: Taking taylor expansion of b in c 5.097 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in z 5.097 * [taylor]: Taking taylor expansion of -1 in z 5.097 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.097 * [taylor]: Taking taylor expansion of (* z c) in z 5.097 * [taylor]: Taking taylor expansion of z in z 5.097 * [taylor]: Taking taylor expansion of c in z 5.097 * [taylor]: Taking taylor expansion of b in z 5.097 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in b 5.097 * [taylor]: Taking taylor expansion of -1 in b 5.097 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.097 * [taylor]: Taking taylor expansion of (* z c) in b 5.097 * [taylor]: Taking taylor expansion of z in b 5.097 * [taylor]: Taking taylor expansion of c in b 5.097 * [taylor]: Taking taylor expansion of b in b 5.097 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in b 5.097 * [taylor]: Taking taylor expansion of -1 in b 5.097 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.097 * [taylor]: Taking taylor expansion of (* z c) in b 5.097 * [taylor]: Taking taylor expansion of z in b 5.097 * [taylor]: Taking taylor expansion of c in b 5.097 * [taylor]: Taking taylor expansion of b in b 5.097 * [taylor]: Taking taylor expansion of (* -1 (* z c)) in z 5.097 * [taylor]: Taking taylor expansion of -1 in z 5.097 * [taylor]: Taking taylor expansion of (* z c) in z 5.097 * [taylor]: Taking taylor expansion of z in z 5.097 * [taylor]: Taking taylor expansion of c in z 5.098 * [taylor]: Taking taylor expansion of (neg c) in c 5.098 * [taylor]: Taking taylor expansion of c in c 5.098 * [taylor]: Taking taylor expansion of 0 in z 5.098 * [taylor]: Taking taylor expansion of 0 in c 5.098 * [taylor]: Taking taylor expansion of 0 in c 5.098 * [taylor]: Taking taylor expansion of 0 in z 5.098 * [taylor]: Taking taylor expansion of 0 in c 5.098 * [taylor]: Taking taylor expansion of 0 in c 5.098 * [taylor]: Taking taylor expansion of 0 in c 5.098 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.098 * [approximate]: Taking taylor expansion of (* 9.0 (/ (* x y) (* z c))) in (x y z c) around 0 5.098 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* x y) (* z c))) in c 5.098 * [taylor]: Taking taylor expansion of 9.0 in c 5.098 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in c 5.098 * [taylor]: Taking taylor expansion of (* x y) in c 5.098 * [taylor]: Taking taylor expansion of x in c 5.098 * [taylor]: Taking taylor expansion of y in c 5.098 * [taylor]: Taking taylor expansion of (* z c) in c 5.098 * [taylor]: Taking taylor expansion of z in c 5.099 * [taylor]: Taking taylor expansion of c in c 5.099 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* x y) (* z c))) in z 5.099 * [taylor]: Taking taylor expansion of 9.0 in z 5.099 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in z 5.099 * [taylor]: Taking taylor expansion of (* x y) in z 5.099 * [taylor]: Taking taylor expansion of x in z 5.099 * [taylor]: Taking taylor expansion of y in z 5.099 * [taylor]: Taking taylor expansion of (* z c) in z 5.099 * [taylor]: Taking taylor expansion of z in z 5.099 * [taylor]: Taking taylor expansion of c in z 5.099 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* x y) (* z c))) in y 5.099 * [taylor]: Taking taylor expansion of 9.0 in y 5.099 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in y 5.099 * [taylor]: Taking taylor expansion of (* x y) in y 5.099 * [taylor]: Taking taylor expansion of x in y 5.099 * [taylor]: Taking taylor expansion of y in y 5.099 * [taylor]: Taking taylor expansion of (* z c) in y 5.099 * [taylor]: Taking taylor expansion of z in y 5.099 * [taylor]: Taking taylor expansion of c in y 5.099 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* x y) (* z c))) in x 5.099 * [taylor]: Taking taylor expansion of 9.0 in x 5.099 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.099 * [taylor]: Taking taylor expansion of (* x y) in x 5.099 * [taylor]: Taking taylor expansion of x in x 5.099 * [taylor]: Taking taylor expansion of y in x 5.099 * [taylor]: Taking taylor expansion of (* z c) in x 5.099 * [taylor]: Taking taylor expansion of z in x 5.099 * [taylor]: Taking taylor expansion of c in x 5.099 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* x y) (* z c))) in x 5.099 * [taylor]: Taking taylor expansion of 9.0 in x 5.099 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.099 * [taylor]: Taking taylor expansion of (* x y) in x 5.099 * [taylor]: Taking taylor expansion of x in x 5.099 * [taylor]: Taking taylor expansion of y in x 5.099 * [taylor]: Taking taylor expansion of (* z c) in x 5.099 * [taylor]: Taking taylor expansion of z in x 5.099 * [taylor]: Taking taylor expansion of c in x 5.099 * [taylor]: Taking taylor expansion of (* 9.0 (/ y (* z c))) in y 5.100 * [taylor]: Taking taylor expansion of 9.0 in y 5.100 * [taylor]: Taking taylor expansion of (/ y (* z c)) in y 5.100 * [taylor]: Taking taylor expansion of y in y 5.100 * [taylor]: Taking taylor expansion of (* z c) in y 5.100 * [taylor]: Taking taylor expansion of z in y 5.100 * [taylor]: Taking taylor expansion of c in y 5.100 * [taylor]: Taking taylor expansion of (/ 9.0 (* z c)) in z 5.100 * [taylor]: Taking taylor expansion of 9.0 in z 5.100 * [taylor]: Taking taylor expansion of (* z c) in z 5.100 * [taylor]: Taking taylor expansion of z in z 5.100 * [taylor]: Taking taylor expansion of c in z 5.100 * [taylor]: Taking taylor expansion of (/ 9.0 c) in c 5.100 * [taylor]: Taking taylor expansion of 9.0 in c 5.100 * [taylor]: Taking taylor expansion of c in c 5.100 * [taylor]: Taking taylor expansion of 0 in y 5.100 * [taylor]: Taking taylor expansion of 0 in z 5.100 * [taylor]: Taking taylor expansion of 0 in z 5.100 * [taylor]: Taking taylor expansion of 0 in c 5.101 * [taylor]: Taking taylor expansion of 0 in y 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.101 * [taylor]: Taking taylor expansion of 0 in c 5.101 * [taylor]: Taking taylor expansion of 0 in c 5.101 * [taylor]: Taking taylor expansion of 0 in c 5.101 * [taylor]: Taking taylor expansion of 0 in y 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.102 * [taylor]: Taking taylor expansion of 0 in z 5.102 * [taylor]: Taking taylor expansion of 0 in c 5.102 * [taylor]: Taking taylor expansion of 0 in c 5.102 * [taylor]: Taking taylor expansion of 0 in c 5.102 * [taylor]: Taking taylor expansion of 0 in c 5.102 * [taylor]: Taking taylor expansion of 0 in c 5.102 * [taylor]: Taking taylor expansion of 0 in c 5.102 * [approximate]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in (x y z c) around 0 5.102 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in c 5.102 * [taylor]: Taking taylor expansion of 9.0 in c 5.102 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.102 * [taylor]: Taking taylor expansion of (* z c) in c 5.102 * [taylor]: Taking taylor expansion of z in c 5.102 * [taylor]: Taking taylor expansion of c in c 5.102 * [taylor]: Taking taylor expansion of (* x y) in c 5.102 * [taylor]: Taking taylor expansion of x in c 5.102 * [taylor]: Taking taylor expansion of y in c 5.102 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in z 5.102 * [taylor]: Taking taylor expansion of 9.0 in z 5.102 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.102 * [taylor]: Taking taylor expansion of (* z c) in z 5.102 * [taylor]: Taking taylor expansion of z in z 5.102 * [taylor]: Taking taylor expansion of c in z 5.102 * [taylor]: Taking taylor expansion of (* x y) in z 5.102 * [taylor]: Taking taylor expansion of x in z 5.103 * [taylor]: Taking taylor expansion of y in z 5.103 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in y 5.103 * [taylor]: Taking taylor expansion of 9.0 in y 5.103 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.103 * [taylor]: Taking taylor expansion of (* z c) in y 5.103 * [taylor]: Taking taylor expansion of z in y 5.103 * [taylor]: Taking taylor expansion of c in y 5.103 * [taylor]: Taking taylor expansion of (* x y) in y 5.103 * [taylor]: Taking taylor expansion of x in y 5.103 * [taylor]: Taking taylor expansion of y in y 5.103 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in x 5.103 * [taylor]: Taking taylor expansion of 9.0 in x 5.103 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.103 * [taylor]: Taking taylor expansion of (* z c) in x 5.103 * [taylor]: Taking taylor expansion of z in x 5.103 * [taylor]: Taking taylor expansion of c in x 5.103 * [taylor]: Taking taylor expansion of (* x y) in x 5.103 * [taylor]: Taking taylor expansion of x in x 5.103 * [taylor]: Taking taylor expansion of y in x 5.103 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in x 5.103 * [taylor]: Taking taylor expansion of 9.0 in x 5.103 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.103 * [taylor]: Taking taylor expansion of (* z c) in x 5.103 * [taylor]: Taking taylor expansion of z in x 5.103 * [taylor]: Taking taylor expansion of c in x 5.103 * [taylor]: Taking taylor expansion of (* x y) in x 5.103 * [taylor]: Taking taylor expansion of x in x 5.103 * [taylor]: Taking taylor expansion of y in x 5.103 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) y)) in y 5.103 * [taylor]: Taking taylor expansion of 9.0 in y 5.103 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 5.103 * [taylor]: Taking taylor expansion of (* z c) in y 5.103 * [taylor]: Taking taylor expansion of z in y 5.103 * [taylor]: Taking taylor expansion of c in y 5.103 * [taylor]: Taking taylor expansion of y in y 5.103 * [taylor]: Taking taylor expansion of (* 9.0 (* z c)) in z 5.103 * [taylor]: Taking taylor expansion of 9.0 in z 5.103 * [taylor]: Taking taylor expansion of (* z c) in z 5.103 * [taylor]: Taking taylor expansion of z in z 5.104 * [taylor]: Taking taylor expansion of c in z 5.104 * [taylor]: Taking taylor expansion of (* 9.0 c) in c 5.104 * [taylor]: Taking taylor expansion of 9.0 in c 5.104 * [taylor]: Taking taylor expansion of c in c 5.104 * [taylor]: Taking taylor expansion of 0 in y 5.104 * [taylor]: Taking taylor expansion of 0 in z 5.104 * [taylor]: Taking taylor expansion of 0 in c 5.104 * [taylor]: Taking taylor expansion of 0 in c 5.104 * [taylor]: Taking taylor expansion of 0 in y 5.104 * [taylor]: Taking taylor expansion of 0 in z 5.104 * [taylor]: Taking taylor expansion of 0 in c 5.105 * [taylor]: Taking taylor expansion of 0 in z 5.105 * [taylor]: Taking taylor expansion of 0 in c 5.105 * [taylor]: Taking taylor expansion of 0 in c 5.105 * [approximate]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in (x y z c) around 0 5.105 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in c 5.105 * [taylor]: Taking taylor expansion of 9.0 in c 5.105 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.105 * [taylor]: Taking taylor expansion of (* z c) in c 5.105 * [taylor]: Taking taylor expansion of z in c 5.105 * [taylor]: Taking taylor expansion of c in c 5.105 * [taylor]: Taking taylor expansion of (* x y) in c 5.105 * [taylor]: Taking taylor expansion of x in c 5.105 * [taylor]: Taking taylor expansion of y in c 5.105 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in z 5.105 * [taylor]: Taking taylor expansion of 9.0 in z 5.105 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.105 * [taylor]: Taking taylor expansion of (* z c) in z 5.105 * [taylor]: Taking taylor expansion of z in z 5.105 * [taylor]: Taking taylor expansion of c in z 5.105 * [taylor]: Taking taylor expansion of (* x y) in z 5.105 * [taylor]: Taking taylor expansion of x in z 5.105 * [taylor]: Taking taylor expansion of y in z 5.105 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in y 5.105 * [taylor]: Taking taylor expansion of 9.0 in y 5.105 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.105 * [taylor]: Taking taylor expansion of (* z c) in y 5.105 * [taylor]: Taking taylor expansion of z in y 5.105 * [taylor]: Taking taylor expansion of c in y 5.105 * [taylor]: Taking taylor expansion of (* x y) in y 5.105 * [taylor]: Taking taylor expansion of x in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.105 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in x 5.105 * [taylor]: Taking taylor expansion of 9.0 in x 5.106 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.106 * [taylor]: Taking taylor expansion of (* z c) in x 5.106 * [taylor]: Taking taylor expansion of z in x 5.106 * [taylor]: Taking taylor expansion of c in x 5.106 * [taylor]: Taking taylor expansion of (* x y) in x 5.106 * [taylor]: Taking taylor expansion of x in x 5.106 * [taylor]: Taking taylor expansion of y in x 5.106 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) (* x y))) in x 5.106 * [taylor]: Taking taylor expansion of 9.0 in x 5.106 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.106 * [taylor]: Taking taylor expansion of (* z c) in x 5.106 * [taylor]: Taking taylor expansion of z in x 5.106 * [taylor]: Taking taylor expansion of c in x 5.106 * [taylor]: Taking taylor expansion of (* x y) in x 5.106 * [taylor]: Taking taylor expansion of x in x 5.106 * [taylor]: Taking taylor expansion of y in x 5.106 * [taylor]: Taking taylor expansion of (* 9.0 (/ (* z c) y)) in y 5.106 * [taylor]: Taking taylor expansion of 9.0 in y 5.106 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 5.106 * [taylor]: Taking taylor expansion of (* z c) in y 5.106 * [taylor]: Taking taylor expansion of z in y 5.106 * [taylor]: Taking taylor expansion of c in y 5.106 * [taylor]: Taking taylor expansion of y in y 5.106 * [taylor]: Taking taylor expansion of (* 9.0 (* z c)) in z 5.106 * [taylor]: Taking taylor expansion of 9.0 in z 5.106 * [taylor]: Taking taylor expansion of (* z c) in z 5.106 * [taylor]: Taking taylor expansion of z in z 5.106 * [taylor]: Taking taylor expansion of c in z 5.106 * [taylor]: Taking taylor expansion of (* 9.0 c) in c 5.106 * [taylor]: Taking taylor expansion of 9.0 in c 5.106 * [taylor]: Taking taylor expansion of c in c 5.107 * [taylor]: Taking taylor expansion of 0 in y 5.107 * [taylor]: Taking taylor expansion of 0 in z 5.107 * [taylor]: Taking taylor expansion of 0 in c 5.107 * [taylor]: Taking taylor expansion of 0 in c 5.107 * [taylor]: Taking taylor expansion of 0 in y 5.107 * [taylor]: Taking taylor expansion of 0 in z 5.107 * [taylor]: Taking taylor expansion of 0 in c 5.107 * [taylor]: Taking taylor expansion of 0 in z 5.107 * [taylor]: Taking taylor expansion of 0 in c 5.107 * [taylor]: Taking taylor expansion of 0 in c 5.107 * * * [progress]: simplifying candidates 5.109 * [simplify]: Simplifying using # : (- (+ (log x) (log y)) (+ (log z) (log c))) (- (+ (log x) (log y)) (log (* z c))) (- (log (* x y)) (+ (log z) (log c))) (- (log (* x y)) (log (* z c))) (log (/ (* x y) (* z c))) (exp (/ (* x y) (* z c))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* z z) z) (* (* c c) c))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* z c) (* z c)) (* z c))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* z z) z) (* (* c c) c))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* z c) (* z c)) (* z c))) (* (cbrt (/ (* x y) (* z c))) (cbrt (/ (* x y) (* z c)))) (cbrt (/ (* x y) (* z c))) (* (* (/ (* x y) (* z c)) (/ (* x y) (* z c))) (/ (* x y) (* z c))) (sqrt (/ (* x y) (* z c))) (sqrt (/ (* x y) (* z c))) (neg (* x y)) (neg (* z c)) (/ x z) (/ y c) (/ 1 (* z c)) (/ (* z c) (* x y)) (/ (* x y) z) (/ (* z c) y) (- (+ (log a) (log t)) (log c)) (- (log (* a t)) (log c)) (log (/ (* a t) c)) (exp (/ (* a t) c)) (/ (* (* (* a a) a) (* (* t t) t)) (* (* c c) c)) (/ (* (* (* a t) (* a t)) (* a t)) (* (* c c) c)) (* (cbrt (/ (* a t) c)) (cbrt (/ (* a t) c))) (cbrt (/ (* a t) c)) (* (* (/ (* a t) c) (/ (* a t) c)) (/ (* a t) c)) (sqrt (/ (* a t) c)) (sqrt (/ (* a t) c)) (neg (* a t)) (neg c) (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)) (/ a (sqrt c)) (/ t (sqrt c)) (/ a 1) (/ t c) (/ 1 c) (/ c (* a t)) (/ (* a t) (* (cbrt c) (cbrt c))) (/ (* a t) (sqrt c)) (/ (* a t) 1) (/ c t) (- (log b) (+ (log z) (log c))) (- (log b) (log (* z c))) (log (/ b (* z c))) (exp (/ b (* z c))) (/ (* (* b b) b) (* (* (* z z) z) (* (* c c) c))) (/ (* (* b b) b) (* (* (* z c) (* z c)) (* z c))) (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c)))) (cbrt (/ b (* z c))) (* (* (/ b (* z c)) (/ b (* z c))) (/ b (* z c))) (sqrt (/ b (* z c))) (sqrt (/ b (* z c))) (neg b) (neg (* z c)) (/ (* (cbrt b) (cbrt b)) z) (/ (cbrt b) c) (/ (sqrt b) z) (/ (sqrt b) c) (/ 1 z) (/ b c) (/ 1 (* z c)) (/ (* z c) b) (/ b z) (/ (* z c) (cbrt b)) (/ (* z c) (sqrt b)) (/ (* z c) b) (* 9.0 (/ (* x y) (* z c))) (+ (log 9.0) (- (+ (log x) (log y)) (+ (log z) (log c)))) (+ (log 9.0) (- (+ (log x) (log y)) (log (* z c)))) (+ (log 9.0) (- (log (* x y)) (+ (log z) (log c)))) (+ (log 9.0) (- (log (* x y)) (log (* z c)))) (+ (log 9.0) (log (/ (* x y) (* z c)))) (log (* 9.0 (/ (* x y) (* z c)))) (exp (* 9.0 (/ (* x y) (* z c)))) (* (* (* 9.0 9.0) 9.0) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* z z) z) (* (* c c) c)))) (* (* (* 9.0 9.0) 9.0) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* z c) (* z c)) (* z c)))) (* (* (* 9.0 9.0) 9.0) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* z z) z) (* (* c c) c)))) (* (* (* 9.0 9.0) 9.0) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* z c) (* z c)) (* z c)))) (* (* (* 9.0 9.0) 9.0) (* (* (/ (* x y) (* z c)) (/ (* x y) (* z c))) (/ (* x y) (* z c)))) (* (cbrt (* 9.0 (/ (* x y) (* z c)))) (cbrt (* 9.0 (/ (* x y) (* z c))))) (cbrt (* 9.0 (/ (* x y) (* z c)))) (* (* (* 9.0 (/ (* x y) (* z c))) (* 9.0 (/ (* x y) (* z c)))) (* 9.0 (/ (* x y) (* z c)))) (sqrt (* 9.0 (/ (* x y) (* z c)))) (sqrt (* 9.0 (/ (* x y) (* z c)))) (* (sqrt 9.0) (sqrt (/ (* x y) (* z c)))) (* (sqrt 9.0) (sqrt (/ (* x y) (* z c)))) (* 9.0 (* (cbrt (/ (* x y) (* z c))) (cbrt (/ (* x y) (* z c))))) (* 9.0 (sqrt (/ (* x y) (* z c)))) (* 9.0 (/ x z)) (* 9.0 1) (* 9.0 (* x y)) (* (cbrt 9.0) (/ (* x y) (* z c))) (* (sqrt 9.0) (/ (* x y) (* z c))) (* 9.0 (/ (* x y) (* z c))) (* 9.0 (* x y)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* t a) c) (/ (* t a) c) (/ (* t a) c) (/ b (* z c)) (/ b (* z c)) (/ b (* z c)) (* 9.0 (/ (* x y) (* z c))) (* 9.0 (/ (* x y) (* z c))) (* 9.0 (/ (* x y) (* z c))) 5.114 * * [simplify]: iteration 0 : 420 enodes (cost 503 ) 5.123 * * [simplify]: iteration 1 : 2365 enodes (cost 384 ) 5.161 * * [simplify]: iteration 2 : 5002 enodes (cost 384 ) 5.164 * [simplify]: Simplified to: (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (exp (/ (* x y) (* z c))) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (* (cbrt (/ (* x y) (* z c))) (cbrt (/ (* x y) (* z c)))) (cbrt (/ (* x y) (* z c))) (pow (/ (* x y) (* z c)) 3) (sqrt (/ (* x y) (* z c))) (sqrt (/ (* x y) (* z c))) (neg (* x y)) (neg (* z c)) (/ x z) (/ y c) (/ 1 (* z c)) (/ (* z c) (* x y)) (/ (* x y) z) (/ (* z c) y) (log (/ (* a t) c)) (log (/ (* a t) c)) (log (/ (* a t) c)) (exp (/ (* a t) c)) (pow (/ (* t a) c) 3) (pow (/ (* t a) c) 3) (* (cbrt (/ (* a t) c)) (cbrt (/ (* a t) c))) (cbrt (/ (* a t) c)) (pow (/ (* t a) c) 3) (sqrt (/ (* a t) c)) (sqrt (/ (* a t) c)) (neg (* a t)) (neg c) (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)) (/ a (sqrt c)) (/ t (sqrt c)) a (/ t c) (/ 1 c) (/ c (* a t)) (/ (* a t) (* (cbrt c) (cbrt c))) (/ (* a t) (sqrt c)) (* a t) (/ c t) (log (/ b (* z c))) (log (/ b (* z c))) (log (/ b (* z c))) (exp (/ b (* z c))) (pow (/ b (* z c)) 3) (pow (/ b (* z c)) 3) (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c)))) (cbrt (/ b (* z c))) (pow (/ b (* z c)) 3) (sqrt (/ b (* z c))) (sqrt (/ b (* z c))) (neg b) (neg (* z c)) (/ (* (cbrt b) (cbrt b)) z) (/ (cbrt b) c) (/ (sqrt b) z) (/ (sqrt b) c) (/ 1 z) (/ b c) (/ 1 (* z c)) (/ (* z c) b) (/ b z) (/ (* z c) (cbrt b)) (/ (* z c) (sqrt b)) (/ (* z c) b) (* 9.0 (/ (* x y) (* z c))) (log (* 9.0 (/ (* x y) (* z c)))) (log (* 9.0 (/ (* x y) (* z c)))) (log (* 9.0 (/ (* x y) (* z c)))) (log (* 9.0 (/ (* x y) (* z c)))) (log (* 9.0 (/ (* x y) (* z c)))) (log (* 9.0 (/ (* x y) (* z c)))) (exp (* 9.0 (/ (* x y) (* z c)))) (pow (* 9.0 (/ (* x y) (* z c))) 3) (pow (* 9.0 (/ (* x y) (* z c))) 3) (pow (* 9.0 (/ (* x y) (* z c))) 3) (pow (* 9.0 (/ (* x y) (* z c))) 3) (pow (* 9.0 (/ (* x y) (* z c))) 3) (* (cbrt (* 9.0 (/ (* x y) (* z c)))) (cbrt (* 9.0 (/ (* x y) (* z c))))) (cbrt (* 9.0 (/ (* x y) (* z c)))) (pow (* 9.0 (/ (* x y) (* z c))) 3) (sqrt (* 9.0 (/ (* x y) (* z c)))) (sqrt (* 9.0 (/ (* x y) (* z c)))) (* (sqrt 9.0) (sqrt (/ (* x y) (* z c)))) (* (sqrt 9.0) (sqrt (/ (* x y) (* z c)))) (* 9.0 (* (cbrt (/ (* x y) (* z c))) (cbrt (/ (* x y) (* z c))))) (* 9.0 (sqrt (/ (* x y) (* z c)))) (* 9.0 (/ x z)) 9.0 (* 9.0 (* x y)) (* (cbrt 9.0) (/ (* x y) (* z c))) (* (sqrt 9.0) (/ (* x y) (* z c))) (* 9.0 (/ (* x y) (* z c))) (* 9.0 (* x y)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* t a) c) (/ (* t a) c) (/ (* t a) c) (/ b (* z c)) (/ b (* z c)) (/ b (* z c)) (* 9.0 (/ (* x y) (* z c))) (* 9.0 (/ (* x y) (* z c))) (* 9.0 (/ (* x y) (* z c))) 5.165 * * * [progress]: adding candidates to table 5.257 * * [progress]: iteration 3 / 4 5.257 * * * [progress]: picking best candidate 5.331 * * * * [pick]: Picked # 5.332 * * * [progress]: localizing error 5.353 * * * [progress]: generating rewritten candidates 5.353 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 5.357 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 5.360 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 5.364 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 5.371 * * * [progress]: generating series expansions 5.371 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 5.371 * [approximate]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in (b z c) around 0 5.371 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in c 5.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in c 5.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in c 5.371 * [taylor]: Taking taylor expansion of 1/3 in c 5.371 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in c 5.371 * [taylor]: Taking taylor expansion of (/ b (* z c)) in c 5.371 * [taylor]: Taking taylor expansion of b in c 5.371 * [taylor]: Taking taylor expansion of (* z c) in c 5.371 * [taylor]: Taking taylor expansion of z in c 5.371 * [taylor]: Taking taylor expansion of c in c 5.371 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in z 5.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in z 5.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in z 5.371 * [taylor]: Taking taylor expansion of 1/3 in z 5.371 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in z 5.371 * [taylor]: Taking taylor expansion of (/ b (* z c)) in z 5.371 * [taylor]: Taking taylor expansion of b in z 5.371 * [taylor]: Taking taylor expansion of (* z c) in z 5.371 * [taylor]: Taking taylor expansion of z in z 5.371 * [taylor]: Taking taylor expansion of c in z 5.372 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in b 5.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in b 5.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in b 5.372 * [taylor]: Taking taylor expansion of 1/3 in b 5.372 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in b 5.372 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.372 * [taylor]: Taking taylor expansion of b in b 5.372 * [taylor]: Taking taylor expansion of (* z c) in b 5.372 * [taylor]: Taking taylor expansion of z in b 5.372 * [taylor]: Taking taylor expansion of c in b 5.372 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in b 5.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in b 5.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in b 5.372 * [taylor]: Taking taylor expansion of 1/3 in b 5.372 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in b 5.372 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.372 * [taylor]: Taking taylor expansion of b in b 5.372 * [taylor]: Taking taylor expansion of (* z c) in b 5.372 * [taylor]: Taking taylor expansion of z in b 5.372 * [taylor]: Taking taylor expansion of c in b 5.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (* z c))) (log b)))) in z 5.372 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (* z c))) (log b))) in z 5.372 * [taylor]: Taking taylor expansion of 1/3 in z 5.372 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* z c))) (log b)) in z 5.372 * [taylor]: Taking taylor expansion of (log (/ 1 (* z c))) in z 5.373 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 5.373 * [taylor]: Taking taylor expansion of (* z c) in z 5.373 * [taylor]: Taking taylor expansion of z in z 5.373 * [taylor]: Taking taylor expansion of c in z 5.373 * [taylor]: Taking taylor expansion of (log b) in z 5.373 * [taylor]: Taking taylor expansion of b in z 5.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 c)) (log b)) (log z)))) in c 5.373 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 c)) (log b)) (log z))) in c 5.373 * [taylor]: Taking taylor expansion of 1/3 in c 5.373 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 c)) (log b)) (log z)) in c 5.373 * [taylor]: Taking taylor expansion of (+ (log (/ 1 c)) (log b)) in c 5.373 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 5.373 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.373 * [taylor]: Taking taylor expansion of c in c 5.373 * [taylor]: Taking taylor expansion of (log b) in c 5.373 * [taylor]: Taking taylor expansion of b in c 5.373 * [taylor]: Taking taylor expansion of (log z) in c 5.373 * [taylor]: Taking taylor expansion of z in c 5.374 * [taylor]: Taking taylor expansion of 0 in z 5.374 * [taylor]: Taking taylor expansion of 0 in c 5.375 * [taylor]: Taking taylor expansion of 0 in c 5.376 * [taylor]: Taking taylor expansion of 0 in z 5.376 * [taylor]: Taking taylor expansion of 0 in c 5.376 * [taylor]: Taking taylor expansion of 0 in c 5.377 * [taylor]: Taking taylor expansion of 0 in c 5.377 * [approximate]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in (b z c) around 0 5.377 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in c 5.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in c 5.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in c 5.377 * [taylor]: Taking taylor expansion of 1/3 in c 5.377 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in c 5.377 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.377 * [taylor]: Taking taylor expansion of (* z c) in c 5.377 * [taylor]: Taking taylor expansion of z in c 5.377 * [taylor]: Taking taylor expansion of c in c 5.377 * [taylor]: Taking taylor expansion of b in c 5.377 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in z 5.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in z 5.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in z 5.377 * [taylor]: Taking taylor expansion of 1/3 in z 5.377 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in z 5.377 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.377 * [taylor]: Taking taylor expansion of (* z c) in z 5.377 * [taylor]: Taking taylor expansion of z in z 5.377 * [taylor]: Taking taylor expansion of c in z 5.377 * [taylor]: Taking taylor expansion of b in z 5.377 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.378 * [taylor]: Taking taylor expansion of 1/3 in b 5.378 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.378 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.378 * [taylor]: Taking taylor expansion of (* z c) in b 5.378 * [taylor]: Taking taylor expansion of z in b 5.378 * [taylor]: Taking taylor expansion of c in b 5.378 * [taylor]: Taking taylor expansion of b in b 5.378 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.378 * [taylor]: Taking taylor expansion of 1/3 in b 5.378 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.378 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.378 * [taylor]: Taking taylor expansion of (* z c) in b 5.378 * [taylor]: Taking taylor expansion of z in b 5.378 * [taylor]: Taking taylor expansion of c in b 5.378 * [taylor]: Taking taylor expansion of b in b 5.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* z c)) (log b)))) in z 5.378 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* z c)) (log b))) in z 5.378 * [taylor]: Taking taylor expansion of 1/3 in z 5.378 * [taylor]: Taking taylor expansion of (- (log (* z c)) (log b)) in z 5.378 * [taylor]: Taking taylor expansion of (log (* z c)) in z 5.378 * [taylor]: Taking taylor expansion of (* z c) in z 5.378 * [taylor]: Taking taylor expansion of z in z 5.378 * [taylor]: Taking taylor expansion of c in z 5.378 * [taylor]: Taking taylor expansion of (log b) in z 5.378 * [taylor]: Taking taylor expansion of b in z 5.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log z) (log c)) (log b)))) in c 5.379 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log z) (log c)) (log b))) in c 5.379 * [taylor]: Taking taylor expansion of 1/3 in c 5.379 * [taylor]: Taking taylor expansion of (- (+ (log z) (log c)) (log b)) in c 5.379 * [taylor]: Taking taylor expansion of (+ (log z) (log c)) in c 5.379 * [taylor]: Taking taylor expansion of (log z) in c 5.379 * [taylor]: Taking taylor expansion of z in c 5.379 * [taylor]: Taking taylor expansion of (log c) in c 5.379 * [taylor]: Taking taylor expansion of c in c 5.379 * [taylor]: Taking taylor expansion of (log b) in c 5.379 * [taylor]: Taking taylor expansion of b in c 5.380 * [taylor]: Taking taylor expansion of 0 in z 5.380 * [taylor]: Taking taylor expansion of 0 in c 5.380 * [taylor]: Taking taylor expansion of 0 in c 5.381 * [taylor]: Taking taylor expansion of 0 in z 5.381 * [taylor]: Taking taylor expansion of 0 in c 5.381 * [taylor]: Taking taylor expansion of 0 in c 5.382 * [taylor]: Taking taylor expansion of 0 in c 5.383 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in (b z c) around 0 5.383 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in c 5.383 * [taylor]: Taking taylor expansion of (cbrt -1) in c 5.383 * [taylor]: Taking taylor expansion of -1 in c 5.383 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in c 5.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in c 5.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in c 5.383 * [taylor]: Taking taylor expansion of 1/3 in c 5.383 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in c 5.383 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.383 * [taylor]: Taking taylor expansion of (* z c) in c 5.383 * [taylor]: Taking taylor expansion of z in c 5.383 * [taylor]: Taking taylor expansion of c in c 5.383 * [taylor]: Taking taylor expansion of b in c 5.383 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in z 5.383 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.383 * [taylor]: Taking taylor expansion of -1 in z 5.383 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in z 5.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in z 5.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in z 5.383 * [taylor]: Taking taylor expansion of 1/3 in z 5.383 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in z 5.383 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.383 * [taylor]: Taking taylor expansion of (* z c) in z 5.383 * [taylor]: Taking taylor expansion of z in z 5.383 * [taylor]: Taking taylor expansion of c in z 5.383 * [taylor]: Taking taylor expansion of b in z 5.384 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in b 5.384 * [taylor]: Taking taylor expansion of (cbrt -1) in b 5.384 * [taylor]: Taking taylor expansion of -1 in b 5.384 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.384 * [taylor]: Taking taylor expansion of 1/3 in b 5.384 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.384 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.384 * [taylor]: Taking taylor expansion of (* z c) in b 5.384 * [taylor]: Taking taylor expansion of z in b 5.384 * [taylor]: Taking taylor expansion of c in b 5.384 * [taylor]: Taking taylor expansion of b in b 5.384 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in b 5.384 * [taylor]: Taking taylor expansion of (cbrt -1) in b 5.384 * [taylor]: Taking taylor expansion of -1 in b 5.384 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.384 * [taylor]: Taking taylor expansion of 1/3 in b 5.384 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.384 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.384 * [taylor]: Taking taylor expansion of (* z c) in b 5.384 * [taylor]: Taking taylor expansion of z in b 5.384 * [taylor]: Taking taylor expansion of c in b 5.384 * [taylor]: Taking taylor expansion of b in b 5.385 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (* z c)) (log b)))) (cbrt -1)) in z 5.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* z c)) (log b)))) in z 5.385 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* z c)) (log b))) in z 5.385 * [taylor]: Taking taylor expansion of 1/3 in z 5.385 * [taylor]: Taking taylor expansion of (- (log (* z c)) (log b)) in z 5.385 * [taylor]: Taking taylor expansion of (log (* z c)) in z 5.385 * [taylor]: Taking taylor expansion of (* z c) in z 5.385 * [taylor]: Taking taylor expansion of z in z 5.385 * [taylor]: Taking taylor expansion of c in z 5.385 * [taylor]: Taking taylor expansion of (log b) in z 5.385 * [taylor]: Taking taylor expansion of b in z 5.385 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.385 * [taylor]: Taking taylor expansion of -1 in z 5.385 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log z) (log c)) (log b))))) in c 5.385 * [taylor]: Taking taylor expansion of (cbrt -1) in c 5.386 * [taylor]: Taking taylor expansion of -1 in c 5.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log z) (log c)) (log b)))) in c 5.386 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log z) (log c)) (log b))) in c 5.386 * [taylor]: Taking taylor expansion of 1/3 in c 5.386 * [taylor]: Taking taylor expansion of (- (+ (log z) (log c)) (log b)) in c 5.386 * [taylor]: Taking taylor expansion of (+ (log z) (log c)) in c 5.386 * [taylor]: Taking taylor expansion of (log z) in c 5.386 * [taylor]: Taking taylor expansion of z in c 5.386 * [taylor]: Taking taylor expansion of (log c) in c 5.386 * [taylor]: Taking taylor expansion of c in c 5.386 * [taylor]: Taking taylor expansion of (log b) in c 5.386 * [taylor]: Taking taylor expansion of b in c 5.387 * [taylor]: Taking taylor expansion of 0 in z 5.387 * [taylor]: Taking taylor expansion of 0 in c 5.387 * [taylor]: Taking taylor expansion of 0 in c 5.389 * [taylor]: Taking taylor expansion of 0 in z 5.389 * [taylor]: Taking taylor expansion of 0 in c 5.389 * [taylor]: Taking taylor expansion of 0 in c 5.390 * [taylor]: Taking taylor expansion of 0 in c 5.390 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 5.390 * [approximate]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in (b z c) around 0 5.390 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in c 5.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in c 5.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in c 5.390 * [taylor]: Taking taylor expansion of 1/3 in c 5.390 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in c 5.390 * [taylor]: Taking taylor expansion of (/ b (* z c)) in c 5.390 * [taylor]: Taking taylor expansion of b in c 5.390 * [taylor]: Taking taylor expansion of (* z c) in c 5.390 * [taylor]: Taking taylor expansion of z in c 5.390 * [taylor]: Taking taylor expansion of c in c 5.391 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in z 5.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in z 5.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in z 5.391 * [taylor]: Taking taylor expansion of 1/3 in z 5.391 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in z 5.391 * [taylor]: Taking taylor expansion of (/ b (* z c)) in z 5.391 * [taylor]: Taking taylor expansion of b in z 5.391 * [taylor]: Taking taylor expansion of (* z c) in z 5.391 * [taylor]: Taking taylor expansion of z in z 5.391 * [taylor]: Taking taylor expansion of c in z 5.391 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in b 5.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in b 5.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in b 5.391 * [taylor]: Taking taylor expansion of 1/3 in b 5.391 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in b 5.391 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.391 * [taylor]: Taking taylor expansion of b in b 5.391 * [taylor]: Taking taylor expansion of (* z c) in b 5.391 * [taylor]: Taking taylor expansion of z in b 5.391 * [taylor]: Taking taylor expansion of c in b 5.391 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in b 5.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in b 5.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in b 5.391 * [taylor]: Taking taylor expansion of 1/3 in b 5.391 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in b 5.391 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.391 * [taylor]: Taking taylor expansion of b in b 5.391 * [taylor]: Taking taylor expansion of (* z c) in b 5.391 * [taylor]: Taking taylor expansion of z in b 5.391 * [taylor]: Taking taylor expansion of c in b 5.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (* z c))) (log b)))) in z 5.392 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (* z c))) (log b))) in z 5.392 * [taylor]: Taking taylor expansion of 1/3 in z 5.392 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* z c))) (log b)) in z 5.392 * [taylor]: Taking taylor expansion of (log (/ 1 (* z c))) in z 5.392 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 5.392 * [taylor]: Taking taylor expansion of (* z c) in z 5.392 * [taylor]: Taking taylor expansion of z in z 5.392 * [taylor]: Taking taylor expansion of c in z 5.392 * [taylor]: Taking taylor expansion of (log b) in z 5.392 * [taylor]: Taking taylor expansion of b in z 5.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 c)) (log b)) (log z)))) in c 5.392 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 c)) (log b)) (log z))) in c 5.392 * [taylor]: Taking taylor expansion of 1/3 in c 5.392 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 c)) (log b)) (log z)) in c 5.392 * [taylor]: Taking taylor expansion of (+ (log (/ 1 c)) (log b)) in c 5.392 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 5.392 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.392 * [taylor]: Taking taylor expansion of c in c 5.392 * [taylor]: Taking taylor expansion of (log b) in c 5.392 * [taylor]: Taking taylor expansion of b in c 5.392 * [taylor]: Taking taylor expansion of (log z) in c 5.392 * [taylor]: Taking taylor expansion of z in c 5.393 * [taylor]: Taking taylor expansion of 0 in z 5.393 * [taylor]: Taking taylor expansion of 0 in c 5.394 * [taylor]: Taking taylor expansion of 0 in c 5.395 * [taylor]: Taking taylor expansion of 0 in z 5.395 * [taylor]: Taking taylor expansion of 0 in c 5.395 * [taylor]: Taking taylor expansion of 0 in c 5.396 * [taylor]: Taking taylor expansion of 0 in c 5.396 * [approximate]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in (b z c) around 0 5.396 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in c 5.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in c 5.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in c 5.396 * [taylor]: Taking taylor expansion of 1/3 in c 5.396 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in c 5.396 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.396 * [taylor]: Taking taylor expansion of (* z c) in c 5.396 * [taylor]: Taking taylor expansion of z in c 5.396 * [taylor]: Taking taylor expansion of c in c 5.396 * [taylor]: Taking taylor expansion of b in c 5.396 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in z 5.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in z 5.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in z 5.396 * [taylor]: Taking taylor expansion of 1/3 in z 5.396 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in z 5.396 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.396 * [taylor]: Taking taylor expansion of (* z c) in z 5.396 * [taylor]: Taking taylor expansion of z in z 5.396 * [taylor]: Taking taylor expansion of c in z 5.397 * [taylor]: Taking taylor expansion of b in z 5.397 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.397 * [taylor]: Taking taylor expansion of 1/3 in b 5.397 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.397 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.397 * [taylor]: Taking taylor expansion of (* z c) in b 5.397 * [taylor]: Taking taylor expansion of z in b 5.397 * [taylor]: Taking taylor expansion of c in b 5.397 * [taylor]: Taking taylor expansion of b in b 5.397 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.397 * [taylor]: Taking taylor expansion of 1/3 in b 5.397 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.397 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.397 * [taylor]: Taking taylor expansion of (* z c) in b 5.397 * [taylor]: Taking taylor expansion of z in b 5.397 * [taylor]: Taking taylor expansion of c in b 5.397 * [taylor]: Taking taylor expansion of b in b 5.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* z c)) (log b)))) in z 5.397 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* z c)) (log b))) in z 5.397 * [taylor]: Taking taylor expansion of 1/3 in z 5.398 * [taylor]: Taking taylor expansion of (- (log (* z c)) (log b)) in z 5.398 * [taylor]: Taking taylor expansion of (log (* z c)) in z 5.398 * [taylor]: Taking taylor expansion of (* z c) in z 5.398 * [taylor]: Taking taylor expansion of z in z 5.398 * [taylor]: Taking taylor expansion of c in z 5.398 * [taylor]: Taking taylor expansion of (log b) in z 5.398 * [taylor]: Taking taylor expansion of b in z 5.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log z) (log c)) (log b)))) in c 5.398 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log z) (log c)) (log b))) in c 5.398 * [taylor]: Taking taylor expansion of 1/3 in c 5.398 * [taylor]: Taking taylor expansion of (- (+ (log z) (log c)) (log b)) in c 5.398 * [taylor]: Taking taylor expansion of (+ (log z) (log c)) in c 5.398 * [taylor]: Taking taylor expansion of (log z) in c 5.398 * [taylor]: Taking taylor expansion of z in c 5.398 * [taylor]: Taking taylor expansion of (log c) in c 5.398 * [taylor]: Taking taylor expansion of c in c 5.398 * [taylor]: Taking taylor expansion of (log b) in c 5.398 * [taylor]: Taking taylor expansion of b in c 5.399 * [taylor]: Taking taylor expansion of 0 in z 5.399 * [taylor]: Taking taylor expansion of 0 in c 5.399 * [taylor]: Taking taylor expansion of 0 in c 5.400 * [taylor]: Taking taylor expansion of 0 in z 5.400 * [taylor]: Taking taylor expansion of 0 in c 5.400 * [taylor]: Taking taylor expansion of 0 in c 5.401 * [taylor]: Taking taylor expansion of 0 in c 5.401 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in (b z c) around 0 5.401 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in c 5.401 * [taylor]: Taking taylor expansion of (cbrt -1) in c 5.401 * [taylor]: Taking taylor expansion of -1 in c 5.402 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in c 5.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in c 5.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in c 5.402 * [taylor]: Taking taylor expansion of 1/3 in c 5.402 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in c 5.402 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.402 * [taylor]: Taking taylor expansion of (* z c) in c 5.402 * [taylor]: Taking taylor expansion of z in c 5.402 * [taylor]: Taking taylor expansion of c in c 5.402 * [taylor]: Taking taylor expansion of b in c 5.402 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in z 5.402 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.402 * [taylor]: Taking taylor expansion of -1 in z 5.402 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in z 5.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in z 5.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in z 5.402 * [taylor]: Taking taylor expansion of 1/3 in z 5.402 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in z 5.402 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.402 * [taylor]: Taking taylor expansion of (* z c) in z 5.402 * [taylor]: Taking taylor expansion of z in z 5.402 * [taylor]: Taking taylor expansion of c in z 5.402 * [taylor]: Taking taylor expansion of b in z 5.402 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in b 5.402 * [taylor]: Taking taylor expansion of (cbrt -1) in b 5.402 * [taylor]: Taking taylor expansion of -1 in b 5.403 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.403 * [taylor]: Taking taylor expansion of 1/3 in b 5.403 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.403 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.403 * [taylor]: Taking taylor expansion of (* z c) in b 5.403 * [taylor]: Taking taylor expansion of z in b 5.403 * [taylor]: Taking taylor expansion of c in b 5.403 * [taylor]: Taking taylor expansion of b in b 5.403 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in b 5.403 * [taylor]: Taking taylor expansion of (cbrt -1) in b 5.403 * [taylor]: Taking taylor expansion of -1 in b 5.403 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.403 * [taylor]: Taking taylor expansion of 1/3 in b 5.403 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.403 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.403 * [taylor]: Taking taylor expansion of (* z c) in b 5.403 * [taylor]: Taking taylor expansion of z in b 5.403 * [taylor]: Taking taylor expansion of c in b 5.403 * [taylor]: Taking taylor expansion of b in b 5.404 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (* z c)) (log b)))) (cbrt -1)) in z 5.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* z c)) (log b)))) in z 5.404 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* z c)) (log b))) in z 5.404 * [taylor]: Taking taylor expansion of 1/3 in z 5.404 * [taylor]: Taking taylor expansion of (- (log (* z c)) (log b)) in z 5.404 * [taylor]: Taking taylor expansion of (log (* z c)) in z 5.404 * [taylor]: Taking taylor expansion of (* z c) in z 5.404 * [taylor]: Taking taylor expansion of z in z 5.404 * [taylor]: Taking taylor expansion of c in z 5.404 * [taylor]: Taking taylor expansion of (log b) in z 5.404 * [taylor]: Taking taylor expansion of b in z 5.404 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.404 * [taylor]: Taking taylor expansion of -1 in z 5.404 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log z) (log c)) (log b))))) in c 5.404 * [taylor]: Taking taylor expansion of (cbrt -1) in c 5.404 * [taylor]: Taking taylor expansion of -1 in c 5.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log z) (log c)) (log b)))) in c 5.404 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log z) (log c)) (log b))) in c 5.404 * [taylor]: Taking taylor expansion of 1/3 in c 5.404 * [taylor]: Taking taylor expansion of (- (+ (log z) (log c)) (log b)) in c 5.404 * [taylor]: Taking taylor expansion of (+ (log z) (log c)) in c 5.404 * [taylor]: Taking taylor expansion of (log z) in c 5.404 * [taylor]: Taking taylor expansion of z in c 5.404 * [taylor]: Taking taylor expansion of (log c) in c 5.404 * [taylor]: Taking taylor expansion of c in c 5.404 * [taylor]: Taking taylor expansion of (log b) in c 5.405 * [taylor]: Taking taylor expansion of b in c 5.406 * [taylor]: Taking taylor expansion of 0 in z 5.406 * [taylor]: Taking taylor expansion of 0 in c 5.406 * [taylor]: Taking taylor expansion of 0 in c 5.408 * [taylor]: Taking taylor expansion of 0 in z 5.408 * [taylor]: Taking taylor expansion of 0 in c 5.408 * [taylor]: Taking taylor expansion of 0 in c 5.409 * [taylor]: Taking taylor expansion of 0 in c 5.409 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 5.409 * [approximate]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in (b z c) around 0 5.409 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in c 5.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in c 5.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in c 5.409 * [taylor]: Taking taylor expansion of 1/3 in c 5.409 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in c 5.409 * [taylor]: Taking taylor expansion of (/ b (* z c)) in c 5.409 * [taylor]: Taking taylor expansion of b in c 5.409 * [taylor]: Taking taylor expansion of (* z c) in c 5.409 * [taylor]: Taking taylor expansion of z in c 5.409 * [taylor]: Taking taylor expansion of c in c 5.409 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in z 5.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in z 5.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in z 5.409 * [taylor]: Taking taylor expansion of 1/3 in z 5.409 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in z 5.409 * [taylor]: Taking taylor expansion of (/ b (* z c)) in z 5.409 * [taylor]: Taking taylor expansion of b in z 5.409 * [taylor]: Taking taylor expansion of (* z c) in z 5.409 * [taylor]: Taking taylor expansion of z in z 5.409 * [taylor]: Taking taylor expansion of c in z 5.410 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in b 5.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in b 5.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in b 5.410 * [taylor]: Taking taylor expansion of 1/3 in b 5.410 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in b 5.410 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.410 * [taylor]: Taking taylor expansion of b in b 5.410 * [taylor]: Taking taylor expansion of (* z c) in b 5.410 * [taylor]: Taking taylor expansion of z in b 5.410 * [taylor]: Taking taylor expansion of c in b 5.410 * [taylor]: Taking taylor expansion of (pow (/ b (* z c)) 1/3) in b 5.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ b (* z c))))) in b 5.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ b (* z c)))) in b 5.410 * [taylor]: Taking taylor expansion of 1/3 in b 5.410 * [taylor]: Taking taylor expansion of (log (/ b (* z c))) in b 5.410 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.410 * [taylor]: Taking taylor expansion of b in b 5.410 * [taylor]: Taking taylor expansion of (* z c) in b 5.410 * [taylor]: Taking taylor expansion of z in b 5.410 * [taylor]: Taking taylor expansion of c in b 5.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (* z c))) (log b)))) in z 5.410 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (* z c))) (log b))) in z 5.410 * [taylor]: Taking taylor expansion of 1/3 in z 5.410 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* z c))) (log b)) in z 5.410 * [taylor]: Taking taylor expansion of (log (/ 1 (* z c))) in z 5.411 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 5.411 * [taylor]: Taking taylor expansion of (* z c) in z 5.411 * [taylor]: Taking taylor expansion of z in z 5.411 * [taylor]: Taking taylor expansion of c in z 5.411 * [taylor]: Taking taylor expansion of (log b) in z 5.411 * [taylor]: Taking taylor expansion of b in z 5.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (/ 1 c)) (log b)) (log z)))) in c 5.411 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (/ 1 c)) (log b)) (log z))) in c 5.411 * [taylor]: Taking taylor expansion of 1/3 in c 5.411 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 c)) (log b)) (log z)) in c 5.411 * [taylor]: Taking taylor expansion of (+ (log (/ 1 c)) (log b)) in c 5.411 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c 5.411 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.411 * [taylor]: Taking taylor expansion of c in c 5.411 * [taylor]: Taking taylor expansion of (log b) in c 5.411 * [taylor]: Taking taylor expansion of b in c 5.411 * [taylor]: Taking taylor expansion of (log z) in c 5.411 * [taylor]: Taking taylor expansion of z in c 5.412 * [taylor]: Taking taylor expansion of 0 in z 5.412 * [taylor]: Taking taylor expansion of 0 in c 5.413 * [taylor]: Taking taylor expansion of 0 in c 5.414 * [taylor]: Taking taylor expansion of 0 in z 5.414 * [taylor]: Taking taylor expansion of 0 in c 5.414 * [taylor]: Taking taylor expansion of 0 in c 5.415 * [taylor]: Taking taylor expansion of 0 in c 5.415 * [approximate]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in (b z c) around 0 5.415 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in c 5.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in c 5.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in c 5.415 * [taylor]: Taking taylor expansion of 1/3 in c 5.415 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in c 5.415 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.415 * [taylor]: Taking taylor expansion of (* z c) in c 5.415 * [taylor]: Taking taylor expansion of z in c 5.415 * [taylor]: Taking taylor expansion of c in c 5.415 * [taylor]: Taking taylor expansion of b in c 5.415 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in z 5.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in z 5.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in z 5.415 * [taylor]: Taking taylor expansion of 1/3 in z 5.415 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in z 5.415 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.415 * [taylor]: Taking taylor expansion of (* z c) in z 5.415 * [taylor]: Taking taylor expansion of z in z 5.415 * [taylor]: Taking taylor expansion of c in z 5.415 * [taylor]: Taking taylor expansion of b in z 5.416 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.416 * [taylor]: Taking taylor expansion of 1/3 in b 5.416 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.416 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.416 * [taylor]: Taking taylor expansion of (* z c) in b 5.416 * [taylor]: Taking taylor expansion of z in b 5.416 * [taylor]: Taking taylor expansion of c in b 5.416 * [taylor]: Taking taylor expansion of b in b 5.416 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.416 * [taylor]: Taking taylor expansion of 1/3 in b 5.416 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.416 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.416 * [taylor]: Taking taylor expansion of (* z c) in b 5.416 * [taylor]: Taking taylor expansion of z in b 5.416 * [taylor]: Taking taylor expansion of c in b 5.416 * [taylor]: Taking taylor expansion of b in b 5.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* z c)) (log b)))) in z 5.416 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* z c)) (log b))) in z 5.416 * [taylor]: Taking taylor expansion of 1/3 in z 5.416 * [taylor]: Taking taylor expansion of (- (log (* z c)) (log b)) in z 5.416 * [taylor]: Taking taylor expansion of (log (* z c)) in z 5.417 * [taylor]: Taking taylor expansion of (* z c) in z 5.417 * [taylor]: Taking taylor expansion of z in z 5.417 * [taylor]: Taking taylor expansion of c in z 5.417 * [taylor]: Taking taylor expansion of (log b) in z 5.417 * [taylor]: Taking taylor expansion of b in z 5.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log z) (log c)) (log b)))) in c 5.417 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log z) (log c)) (log b))) in c 5.417 * [taylor]: Taking taylor expansion of 1/3 in c 5.417 * [taylor]: Taking taylor expansion of (- (+ (log z) (log c)) (log b)) in c 5.417 * [taylor]: Taking taylor expansion of (+ (log z) (log c)) in c 5.417 * [taylor]: Taking taylor expansion of (log z) in c 5.417 * [taylor]: Taking taylor expansion of z in c 5.417 * [taylor]: Taking taylor expansion of (log c) in c 5.417 * [taylor]: Taking taylor expansion of c in c 5.417 * [taylor]: Taking taylor expansion of (log b) in c 5.417 * [taylor]: Taking taylor expansion of b in c 5.418 * [taylor]: Taking taylor expansion of 0 in z 5.418 * [taylor]: Taking taylor expansion of 0 in c 5.418 * [taylor]: Taking taylor expansion of 0 in c 5.419 * [taylor]: Taking taylor expansion of 0 in z 5.419 * [taylor]: Taking taylor expansion of 0 in c 5.419 * [taylor]: Taking taylor expansion of 0 in c 5.420 * [taylor]: Taking taylor expansion of 0 in c 5.420 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in (b z c) around 0 5.420 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in c 5.420 * [taylor]: Taking taylor expansion of (cbrt -1) in c 5.420 * [taylor]: Taking taylor expansion of -1 in c 5.420 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in c 5.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in c 5.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in c 5.421 * [taylor]: Taking taylor expansion of 1/3 in c 5.421 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in c 5.421 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.421 * [taylor]: Taking taylor expansion of (* z c) in c 5.421 * [taylor]: Taking taylor expansion of z in c 5.421 * [taylor]: Taking taylor expansion of c in c 5.421 * [taylor]: Taking taylor expansion of b in c 5.421 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in z 5.421 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.421 * [taylor]: Taking taylor expansion of -1 in z 5.421 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in z 5.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in z 5.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in z 5.421 * [taylor]: Taking taylor expansion of 1/3 in z 5.421 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in z 5.421 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.421 * [taylor]: Taking taylor expansion of (* z c) in z 5.421 * [taylor]: Taking taylor expansion of z in z 5.421 * [taylor]: Taking taylor expansion of c in z 5.421 * [taylor]: Taking taylor expansion of b in z 5.421 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in b 5.421 * [taylor]: Taking taylor expansion of (cbrt -1) in b 5.421 * [taylor]: Taking taylor expansion of -1 in b 5.421 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.422 * [taylor]: Taking taylor expansion of 1/3 in b 5.422 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.422 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.422 * [taylor]: Taking taylor expansion of (* z c) in b 5.422 * [taylor]: Taking taylor expansion of z in b 5.422 * [taylor]: Taking taylor expansion of c in b 5.422 * [taylor]: Taking taylor expansion of b in b 5.422 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (* z c) b) 1/3)) in b 5.422 * [taylor]: Taking taylor expansion of (cbrt -1) in b 5.422 * [taylor]: Taking taylor expansion of -1 in b 5.422 * [taylor]: Taking taylor expansion of (pow (/ (* z c) b) 1/3) in b 5.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* z c) b)))) in b 5.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* z c) b))) in b 5.422 * [taylor]: Taking taylor expansion of 1/3 in b 5.422 * [taylor]: Taking taylor expansion of (log (/ (* z c) b)) in b 5.422 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.422 * [taylor]: Taking taylor expansion of (* z c) in b 5.422 * [taylor]: Taking taylor expansion of z in b 5.422 * [taylor]: Taking taylor expansion of c in b 5.422 * [taylor]: Taking taylor expansion of b in b 5.422 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (* z c)) (log b)))) (cbrt -1)) in z 5.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* z c)) (log b)))) in z 5.422 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* z c)) (log b))) in z 5.423 * [taylor]: Taking taylor expansion of 1/3 in z 5.423 * [taylor]: Taking taylor expansion of (- (log (* z c)) (log b)) in z 5.423 * [taylor]: Taking taylor expansion of (log (* z c)) in z 5.423 * [taylor]: Taking taylor expansion of (* z c) in z 5.423 * [taylor]: Taking taylor expansion of z in z 5.423 * [taylor]: Taking taylor expansion of c in z 5.423 * [taylor]: Taking taylor expansion of (log b) in z 5.423 * [taylor]: Taking taylor expansion of b in z 5.423 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.423 * [taylor]: Taking taylor expansion of -1 in z 5.423 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log z) (log c)) (log b))))) in c 5.423 * [taylor]: Taking taylor expansion of (cbrt -1) in c 5.423 * [taylor]: Taking taylor expansion of -1 in c 5.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log z) (log c)) (log b)))) in c 5.423 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log z) (log c)) (log b))) in c 5.423 * [taylor]: Taking taylor expansion of 1/3 in c 5.423 * [taylor]: Taking taylor expansion of (- (+ (log z) (log c)) (log b)) in c 5.423 * [taylor]: Taking taylor expansion of (+ (log z) (log c)) in c 5.423 * [taylor]: Taking taylor expansion of (log z) in c 5.423 * [taylor]: Taking taylor expansion of z in c 5.423 * [taylor]: Taking taylor expansion of (log c) in c 5.423 * [taylor]: Taking taylor expansion of c in c 5.423 * [taylor]: Taking taylor expansion of (log b) in c 5.423 * [taylor]: Taking taylor expansion of b in c 5.425 * [taylor]: Taking taylor expansion of 0 in z 5.425 * [taylor]: Taking taylor expansion of 0 in c 5.425 * [taylor]: Taking taylor expansion of 0 in c 5.427 * [taylor]: Taking taylor expansion of 0 in z 5.427 * [taylor]: Taking taylor expansion of 0 in c 5.427 * [taylor]: Taking taylor expansion of 0 in c 5.431 * [taylor]: Taking taylor expansion of 0 in c 5.431 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 5.431 * [approximate]: Taking taylor expansion of (/ (* x y) (* z c)) in (x y z c) around 0 5.431 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in c 5.431 * [taylor]: Taking taylor expansion of (* x y) in c 5.431 * [taylor]: Taking taylor expansion of x in c 5.431 * [taylor]: Taking taylor expansion of y in c 5.431 * [taylor]: Taking taylor expansion of (* z c) in c 5.431 * [taylor]: Taking taylor expansion of z in c 5.431 * [taylor]: Taking taylor expansion of c in c 5.431 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in z 5.431 * [taylor]: Taking taylor expansion of (* x y) in z 5.431 * [taylor]: Taking taylor expansion of x in z 5.431 * [taylor]: Taking taylor expansion of y in z 5.431 * [taylor]: Taking taylor expansion of (* z c) in z 5.431 * [taylor]: Taking taylor expansion of z in z 5.431 * [taylor]: Taking taylor expansion of c in z 5.431 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in y 5.431 * [taylor]: Taking taylor expansion of (* x y) in y 5.431 * [taylor]: Taking taylor expansion of x in y 5.431 * [taylor]: Taking taylor expansion of y in y 5.431 * [taylor]: Taking taylor expansion of (* z c) in y 5.431 * [taylor]: Taking taylor expansion of z in y 5.432 * [taylor]: Taking taylor expansion of c in y 5.432 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.432 * [taylor]: Taking taylor expansion of (* x y) in x 5.432 * [taylor]: Taking taylor expansion of x in x 5.432 * [taylor]: Taking taylor expansion of y in x 5.432 * [taylor]: Taking taylor expansion of (* z c) in x 5.432 * [taylor]: Taking taylor expansion of z in x 5.432 * [taylor]: Taking taylor expansion of c in x 5.432 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.432 * [taylor]: Taking taylor expansion of (* x y) in x 5.432 * [taylor]: Taking taylor expansion of x in x 5.432 * [taylor]: Taking taylor expansion of y in x 5.432 * [taylor]: Taking taylor expansion of (* z c) in x 5.432 * [taylor]: Taking taylor expansion of z in x 5.432 * [taylor]: Taking taylor expansion of c in x 5.432 * [taylor]: Taking taylor expansion of (/ y (* z c)) in y 5.432 * [taylor]: Taking taylor expansion of y in y 5.432 * [taylor]: Taking taylor expansion of (* z c) in y 5.432 * [taylor]: Taking taylor expansion of z in y 5.432 * [taylor]: Taking taylor expansion of c in y 5.432 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 5.432 * [taylor]: Taking taylor expansion of (* z c) in z 5.432 * [taylor]: Taking taylor expansion of z in z 5.432 * [taylor]: Taking taylor expansion of c in z 5.432 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.432 * [taylor]: Taking taylor expansion of c in c 5.432 * [taylor]: Taking taylor expansion of 0 in y 5.432 * [taylor]: Taking taylor expansion of 0 in z 5.433 * [taylor]: Taking taylor expansion of 0 in z 5.433 * [taylor]: Taking taylor expansion of 0 in c 5.433 * [taylor]: Taking taylor expansion of 0 in y 5.433 * [taylor]: Taking taylor expansion of 0 in z 5.433 * [taylor]: Taking taylor expansion of 0 in z 5.433 * [taylor]: Taking taylor expansion of 0 in z 5.433 * [taylor]: Taking taylor expansion of 0 in c 5.433 * [taylor]: Taking taylor expansion of 0 in c 5.433 * [taylor]: Taking taylor expansion of 0 in c 5.434 * [taylor]: Taking taylor expansion of 0 in y 5.434 * [taylor]: Taking taylor expansion of 0 in z 5.434 * [taylor]: Taking taylor expansion of 0 in z 5.434 * [taylor]: Taking taylor expansion of 0 in z 5.434 * [taylor]: Taking taylor expansion of 0 in z 5.434 * [taylor]: Taking taylor expansion of 0 in c 5.434 * [taylor]: Taking taylor expansion of 0 in c 5.434 * [taylor]: Taking taylor expansion of 0 in c 5.434 * [taylor]: Taking taylor expansion of 0 in c 5.434 * [taylor]: Taking taylor expansion of 0 in c 5.434 * [taylor]: Taking taylor expansion of 0 in c 5.434 * [approximate]: Taking taylor expansion of (/ (* z c) (* x y)) in (x y z c) around 0 5.434 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.434 * [taylor]: Taking taylor expansion of (* z c) in c 5.434 * [taylor]: Taking taylor expansion of z in c 5.434 * [taylor]: Taking taylor expansion of c in c 5.434 * [taylor]: Taking taylor expansion of (* x y) in c 5.434 * [taylor]: Taking taylor expansion of x in c 5.434 * [taylor]: Taking taylor expansion of y in c 5.435 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.435 * [taylor]: Taking taylor expansion of (* z c) in z 5.435 * [taylor]: Taking taylor expansion of z in z 5.435 * [taylor]: Taking taylor expansion of c in z 5.435 * [taylor]: Taking taylor expansion of (* x y) in z 5.435 * [taylor]: Taking taylor expansion of x in z 5.435 * [taylor]: Taking taylor expansion of y in z 5.435 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.435 * [taylor]: Taking taylor expansion of (* z c) in y 5.435 * [taylor]: Taking taylor expansion of z in y 5.435 * [taylor]: Taking taylor expansion of c in y 5.435 * [taylor]: Taking taylor expansion of (* x y) in y 5.435 * [taylor]: Taking taylor expansion of x in y 5.435 * [taylor]: Taking taylor expansion of y in y 5.435 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.435 * [taylor]: Taking taylor expansion of (* z c) in x 5.435 * [taylor]: Taking taylor expansion of z in x 5.435 * [taylor]: Taking taylor expansion of c in x 5.435 * [taylor]: Taking taylor expansion of (* x y) in x 5.435 * [taylor]: Taking taylor expansion of x in x 5.435 * [taylor]: Taking taylor expansion of y in x 5.435 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.435 * [taylor]: Taking taylor expansion of (* z c) in x 5.435 * [taylor]: Taking taylor expansion of z in x 5.435 * [taylor]: Taking taylor expansion of c in x 5.435 * [taylor]: Taking taylor expansion of (* x y) in x 5.435 * [taylor]: Taking taylor expansion of x in x 5.435 * [taylor]: Taking taylor expansion of y in x 5.435 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 5.435 * [taylor]: Taking taylor expansion of (* z c) in y 5.435 * [taylor]: Taking taylor expansion of z in y 5.435 * [taylor]: Taking taylor expansion of c in y 5.435 * [taylor]: Taking taylor expansion of y in y 5.435 * [taylor]: Taking taylor expansion of (* z c) in z 5.435 * [taylor]: Taking taylor expansion of z in z 5.436 * [taylor]: Taking taylor expansion of c in z 5.436 * [taylor]: Taking taylor expansion of c in c 5.436 * [taylor]: Taking taylor expansion of 0 in y 5.436 * [taylor]: Taking taylor expansion of 0 in z 5.436 * [taylor]: Taking taylor expansion of 0 in c 5.436 * [taylor]: Taking taylor expansion of 0 in c 5.436 * [taylor]: Taking taylor expansion of 0 in y 5.436 * [taylor]: Taking taylor expansion of 0 in z 5.436 * [taylor]: Taking taylor expansion of 0 in c 5.436 * [taylor]: Taking taylor expansion of 0 in z 5.436 * [taylor]: Taking taylor expansion of 0 in c 5.436 * [taylor]: Taking taylor expansion of 0 in c 5.437 * [approximate]: Taking taylor expansion of (/ (* z c) (* x y)) in (x y z c) around 0 5.437 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.437 * [taylor]: Taking taylor expansion of (* z c) in c 5.437 * [taylor]: Taking taylor expansion of z in c 5.437 * [taylor]: Taking taylor expansion of c in c 5.437 * [taylor]: Taking taylor expansion of (* x y) in c 5.437 * [taylor]: Taking taylor expansion of x in c 5.437 * [taylor]: Taking taylor expansion of y in c 5.437 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.437 * [taylor]: Taking taylor expansion of (* z c) in z 5.437 * [taylor]: Taking taylor expansion of z in z 5.437 * [taylor]: Taking taylor expansion of c in z 5.437 * [taylor]: Taking taylor expansion of (* x y) in z 5.437 * [taylor]: Taking taylor expansion of x in z 5.437 * [taylor]: Taking taylor expansion of y in z 5.437 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.437 * [taylor]: Taking taylor expansion of (* z c) in y 5.437 * [taylor]: Taking taylor expansion of z in y 5.437 * [taylor]: Taking taylor expansion of c in y 5.437 * [taylor]: Taking taylor expansion of (* x y) in y 5.437 * [taylor]: Taking taylor expansion of x in y 5.437 * [taylor]: Taking taylor expansion of y in y 5.437 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.437 * [taylor]: Taking taylor expansion of (* z c) in x 5.437 * [taylor]: Taking taylor expansion of z in x 5.437 * [taylor]: Taking taylor expansion of c in x 5.437 * [taylor]: Taking taylor expansion of (* x y) in x 5.437 * [taylor]: Taking taylor expansion of x in x 5.437 * [taylor]: Taking taylor expansion of y in x 5.437 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.438 * [taylor]: Taking taylor expansion of (* z c) in x 5.438 * [taylor]: Taking taylor expansion of z in x 5.438 * [taylor]: Taking taylor expansion of c in x 5.438 * [taylor]: Taking taylor expansion of (* x y) in x 5.438 * [taylor]: Taking taylor expansion of x in x 5.438 * [taylor]: Taking taylor expansion of y in x 5.438 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 5.438 * [taylor]: Taking taylor expansion of (* z c) in y 5.438 * [taylor]: Taking taylor expansion of z in y 5.438 * [taylor]: Taking taylor expansion of c in y 5.438 * [taylor]: Taking taylor expansion of y in y 5.438 * [taylor]: Taking taylor expansion of (* z c) in z 5.438 * [taylor]: Taking taylor expansion of z in z 5.438 * [taylor]: Taking taylor expansion of c in z 5.438 * [taylor]: Taking taylor expansion of c in c 5.438 * [taylor]: Taking taylor expansion of 0 in y 5.438 * [taylor]: Taking taylor expansion of 0 in z 5.438 * [taylor]: Taking taylor expansion of 0 in c 5.438 * [taylor]: Taking taylor expansion of 0 in c 5.438 * [taylor]: Taking taylor expansion of 0 in y 5.438 * [taylor]: Taking taylor expansion of 0 in z 5.438 * [taylor]: Taking taylor expansion of 0 in c 5.439 * [taylor]: Taking taylor expansion of 0 in z 5.439 * [taylor]: Taking taylor expansion of 0 in c 5.439 * [taylor]: Taking taylor expansion of 0 in c 5.439 * * * [progress]: simplifying candidates 5.440 * [simplify]: Simplifying using # : (log (cbrt (/ b (* z c)))) (exp (cbrt (/ b (* z c)))) (cbrt (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (/ (* (cbrt b) (cbrt b)) z)) (cbrt (/ (cbrt b) c)) (cbrt (/ (sqrt b) z)) (cbrt (/ (sqrt b) c)) (cbrt (/ 1 z)) (cbrt (/ b c)) (cbrt 1) (cbrt (/ b (* z c))) (cbrt b) (cbrt (/ 1 (* z c))) (cbrt b) (cbrt (* z c)) (* (cbrt (cbrt (/ b (* z c)))) (cbrt (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (* (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c)))) (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (log (cbrt (/ b (* z c)))) (exp (cbrt (/ b (* z c)))) (cbrt (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (/ (* (cbrt b) (cbrt b)) z)) (cbrt (/ (cbrt b) c)) (cbrt (/ (sqrt b) z)) (cbrt (/ (sqrt b) c)) (cbrt (/ 1 z)) (cbrt (/ b c)) (cbrt 1) (cbrt (/ b (* z c))) (cbrt b) (cbrt (/ 1 (* z c))) (cbrt b) (cbrt (* z c)) (* (cbrt (cbrt (/ b (* z c)))) (cbrt (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (* (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c)))) (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (log (cbrt (/ b (* z c)))) (exp (cbrt (/ b (* z c)))) (cbrt (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (/ (* (cbrt b) (cbrt b)) z)) (cbrt (/ (cbrt b) c)) (cbrt (/ (sqrt b) z)) (cbrt (/ (sqrt b) c)) (cbrt (/ 1 z)) (cbrt (/ b c)) (cbrt 1) (cbrt (/ b (* z c))) (cbrt b) (cbrt (/ 1 (* z c))) (cbrt b) (cbrt (* z c)) (* (cbrt (cbrt (/ b (* z c)))) (cbrt (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (* (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c)))) (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (- (+ (log x) (log y)) (+ (log z) (log c))) (- (+ (log x) (log y)) (log (* z c))) (- (log (* x y)) (+ (log z) (log c))) (- (log (* x y)) (log (* z c))) (log (/ (* x y) (* z c))) (exp (/ (* x y) (* z c))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* z z) z) (* (* c c) c))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* z c) (* z c)) (* z c))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* z z) z) (* (* c c) c))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* z c) (* z c)) (* z c))) (* (cbrt (/ (* x y) (* z c))) (cbrt (/ (* x y) (* z c)))) (cbrt (/ (* x y) (* z c))) (* (* (/ (* x y) (* z c)) (/ (* x y) (* z c))) (/ (* x y) (* z c))) (sqrt (/ (* x y) (* z c))) (sqrt (/ (* x y) (* z c))) (neg (* x y)) (neg (* z c)) (/ x z) (/ y c) (/ 1 (* z c)) (/ (* z c) (* x y)) (/ (* x y) z) (/ (* z c) y) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 c)) (log (/ 1 z)))) (log (/ 1 b))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 c)) (log (/ -1 z)))) (log (/ -1 b)))))) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 c)) (log (/ 1 z)))) (log (/ 1 b))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 c)) (log (/ -1 z)))) (log (/ -1 b)))))) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (exp (* 1/3 (- (+ (log 1) (+ (log (/ 1 c)) (log (/ 1 z)))) (log (/ 1 b))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 c)) (log (/ -1 z)))) (log (/ -1 b)))))) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) 5.445 * * [simplify]: iteration 0 : 267 enodes (cost 496 ) 5.450 * * [simplify]: iteration 1 : 1193 enodes (cost 431 ) 5.471 * * [simplify]: iteration 2 : 5001 enodes (cost 425 ) 5.474 * [simplify]: Simplified to: (log (cbrt (/ b (* z c)))) (exp (cbrt (/ b (* z c)))) (cbrt (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (/ (* (cbrt b) (cbrt b)) z)) (cbrt (/ (cbrt b) c)) (cbrt (/ (sqrt b) z)) (cbrt (/ (sqrt b) c)) (cbrt (/ 1 z)) (cbrt (/ b c)) (cbrt 1) (cbrt (/ b (* z c))) (cbrt b) (cbrt (/ 1 (* z c))) (cbrt b) (cbrt (* z c)) (* (cbrt (cbrt (/ b (* z c)))) (cbrt (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (/ b (* z c)) (sqrt (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (log (cbrt (/ b (* z c)))) (exp (cbrt (/ b (* z c)))) (cbrt (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (/ (* (cbrt b) (cbrt b)) z)) (cbrt (/ (cbrt b) c)) (cbrt (/ (sqrt b) z)) (cbrt (/ (sqrt b) c)) (cbrt (/ 1 z)) (cbrt (/ b c)) (cbrt 1) (cbrt (/ b (* z c))) (cbrt b) (cbrt (/ 1 (* z c))) (cbrt b) (cbrt (* z c)) (* (cbrt (cbrt (/ b (* z c)))) (cbrt (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (/ b (* z c)) (sqrt (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (log (cbrt (/ b (* z c)))) (exp (cbrt (/ b (* z c)))) (cbrt (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (sqrt (/ b (* z c)))) (cbrt (/ (* (cbrt b) (cbrt b)) z)) (cbrt (/ (cbrt b) c)) (cbrt (/ (sqrt b) z)) (cbrt (/ (sqrt b) c)) (cbrt (/ 1 z)) (cbrt (/ b c)) (cbrt 1) (cbrt (/ b (* z c))) (cbrt b) (cbrt (/ 1 (* z c))) (cbrt b) (cbrt (* z c)) (* (cbrt (cbrt (/ b (* z c)))) (cbrt (cbrt (/ b (* z c))))) (cbrt (cbrt (/ b (* z c)))) (/ b (* z c)) (sqrt (cbrt (/ b (* z c)))) (sqrt (cbrt (/ b (* z c)))) (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (log (/ (* x y) (* z c))) (exp (/ (* x y) (* z c))) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (* (cbrt (/ (* x y) (* z c))) (cbrt (/ (* x y) (* z c)))) (cbrt (/ (* x y) (* z c))) (pow (/ (* x y) (* z c)) 3) (sqrt (/ (* x y) (* z c))) (sqrt (/ (* x y) (* z c))) (neg (* x y)) (neg (* z c)) (/ x z) (/ y c) (/ 1 (* z c)) (/ (* z c) (* x y)) (/ (* x y) z) (/ (* z c) y) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 c)) (log (/ -1 z)))) (log (/ -1 b)))))) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 c)) (log (/ -1 z)))) (log (/ -1 b)))))) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (exp (* 1/3 (- (+ (log 1) (log b)) (+ (log c) (log z))))) (* (cbrt -1) (exp (* 1/3 (- (+ (log 1) (+ (log (/ -1 c)) (log (/ -1 z)))) (log (/ -1 b)))))) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) 5.475 * * * [progress]: adding candidates to table 5.563 * * [progress]: iteration 4 / 4 5.563 * * * [progress]: picking best candidate 5.631 * * * * [pick]: Picked # 5.631 * * * [progress]: localizing error 5.649 * * * [progress]: generating rewritten candidates 5.650 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 5.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 5.659 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 5.663 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 5.670 * * * [progress]: generating series expansions 5.671 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 5.671 * [approximate]: Taking taylor expansion of (/ (* x y) (* z c)) in (x z c y) around 0 5.671 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in y 5.671 * [taylor]: Taking taylor expansion of (* x y) in y 5.671 * [taylor]: Taking taylor expansion of x in y 5.671 * [taylor]: Taking taylor expansion of y in y 5.671 * [taylor]: Taking taylor expansion of (* z c) in y 5.671 * [taylor]: Taking taylor expansion of z in y 5.671 * [taylor]: Taking taylor expansion of c in y 5.671 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in c 5.671 * [taylor]: Taking taylor expansion of (* x y) in c 5.671 * [taylor]: Taking taylor expansion of x in c 5.671 * [taylor]: Taking taylor expansion of y in c 5.671 * [taylor]: Taking taylor expansion of (* z c) in c 5.671 * [taylor]: Taking taylor expansion of z in c 5.671 * [taylor]: Taking taylor expansion of c in c 5.671 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in z 5.671 * [taylor]: Taking taylor expansion of (* x y) in z 5.671 * [taylor]: Taking taylor expansion of x in z 5.671 * [taylor]: Taking taylor expansion of y in z 5.671 * [taylor]: Taking taylor expansion of (* z c) in z 5.671 * [taylor]: Taking taylor expansion of z in z 5.671 * [taylor]: Taking taylor expansion of c in z 5.671 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.671 * [taylor]: Taking taylor expansion of (* x y) in x 5.671 * [taylor]: Taking taylor expansion of x in x 5.671 * [taylor]: Taking taylor expansion of y in x 5.671 * [taylor]: Taking taylor expansion of (* z c) in x 5.671 * [taylor]: Taking taylor expansion of z in x 5.671 * [taylor]: Taking taylor expansion of c in x 5.672 * [taylor]: Taking taylor expansion of (/ (* x y) (* z c)) in x 5.672 * [taylor]: Taking taylor expansion of (* x y) in x 5.672 * [taylor]: Taking taylor expansion of x in x 5.672 * [taylor]: Taking taylor expansion of y in x 5.672 * [taylor]: Taking taylor expansion of (* z c) in x 5.672 * [taylor]: Taking taylor expansion of z in x 5.672 * [taylor]: Taking taylor expansion of c in x 5.672 * [taylor]: Taking taylor expansion of (/ y (* z c)) in z 5.672 * [taylor]: Taking taylor expansion of y in z 5.672 * [taylor]: Taking taylor expansion of (* z c) in z 5.672 * [taylor]: Taking taylor expansion of z in z 5.672 * [taylor]: Taking taylor expansion of c in z 5.672 * [taylor]: Taking taylor expansion of (/ y c) in c 5.672 * [taylor]: Taking taylor expansion of y in c 5.672 * [taylor]: Taking taylor expansion of c in c 5.672 * [taylor]: Taking taylor expansion of y in y 5.672 * [taylor]: Taking taylor expansion of 0 in z 5.672 * [taylor]: Taking taylor expansion of 0 in c 5.672 * [taylor]: Taking taylor expansion of 0 in y 5.673 * [taylor]: Taking taylor expansion of 0 in z 5.673 * [taylor]: Taking taylor expansion of 0 in c 5.673 * [taylor]: Taking taylor expansion of 0 in c 5.673 * [taylor]: Taking taylor expansion of 0 in y 5.673 * [taylor]: Taking taylor expansion of 0 in y 5.673 * [approximate]: Taking taylor expansion of (/ (* z c) (* x y)) in (x z c y) around 0 5.673 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.673 * [taylor]: Taking taylor expansion of (* z c) in y 5.673 * [taylor]: Taking taylor expansion of z in y 5.673 * [taylor]: Taking taylor expansion of c in y 5.673 * [taylor]: Taking taylor expansion of (* x y) in y 5.673 * [taylor]: Taking taylor expansion of x in y 5.673 * [taylor]: Taking taylor expansion of y in y 5.673 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.674 * [taylor]: Taking taylor expansion of (* z c) in c 5.674 * [taylor]: Taking taylor expansion of z in c 5.674 * [taylor]: Taking taylor expansion of c in c 5.674 * [taylor]: Taking taylor expansion of (* x y) in c 5.674 * [taylor]: Taking taylor expansion of x in c 5.674 * [taylor]: Taking taylor expansion of y in c 5.674 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.674 * [taylor]: Taking taylor expansion of (* z c) in z 5.674 * [taylor]: Taking taylor expansion of z in z 5.674 * [taylor]: Taking taylor expansion of c in z 5.674 * [taylor]: Taking taylor expansion of (* x y) in z 5.674 * [taylor]: Taking taylor expansion of x in z 5.674 * [taylor]: Taking taylor expansion of y in z 5.674 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.674 * [taylor]: Taking taylor expansion of (* z c) in x 5.674 * [taylor]: Taking taylor expansion of z in x 5.674 * [taylor]: Taking taylor expansion of c in x 5.674 * [taylor]: Taking taylor expansion of (* x y) in x 5.674 * [taylor]: Taking taylor expansion of x in x 5.674 * [taylor]: Taking taylor expansion of y in x 5.674 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.674 * [taylor]: Taking taylor expansion of (* z c) in x 5.674 * [taylor]: Taking taylor expansion of z in x 5.674 * [taylor]: Taking taylor expansion of c in x 5.674 * [taylor]: Taking taylor expansion of (* x y) in x 5.674 * [taylor]: Taking taylor expansion of x in x 5.674 * [taylor]: Taking taylor expansion of y in x 5.674 * [taylor]: Taking taylor expansion of (/ (* z c) y) in z 5.674 * [taylor]: Taking taylor expansion of (* z c) in z 5.674 * [taylor]: Taking taylor expansion of z in z 5.674 * [taylor]: Taking taylor expansion of c in z 5.674 * [taylor]: Taking taylor expansion of y in z 5.674 * [taylor]: Taking taylor expansion of (/ c y) in c 5.674 * [taylor]: Taking taylor expansion of c in c 5.674 * [taylor]: Taking taylor expansion of y in c 5.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.674 * [taylor]: Taking taylor expansion of y in y 5.675 * [taylor]: Taking taylor expansion of 0 in z 5.675 * [taylor]: Taking taylor expansion of 0 in c 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in c 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in z 5.675 * [taylor]: Taking taylor expansion of 0 in c 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in c 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in c 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in z 5.676 * [taylor]: Taking taylor expansion of 0 in c 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in c 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in c 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in c 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [taylor]: Taking taylor expansion of 0 in y 5.676 * [approximate]: Taking taylor expansion of (/ (* z c) (* x y)) in (x z c y) around 0 5.676 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in y 5.676 * [taylor]: Taking taylor expansion of (* z c) in y 5.676 * [taylor]: Taking taylor expansion of z in y 5.677 * [taylor]: Taking taylor expansion of c in y 5.677 * [taylor]: Taking taylor expansion of (* x y) in y 5.677 * [taylor]: Taking taylor expansion of x in y 5.677 * [taylor]: Taking taylor expansion of y in y 5.677 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in c 5.677 * [taylor]: Taking taylor expansion of (* z c) in c 5.677 * [taylor]: Taking taylor expansion of z in c 5.677 * [taylor]: Taking taylor expansion of c in c 5.677 * [taylor]: Taking taylor expansion of (* x y) in c 5.677 * [taylor]: Taking taylor expansion of x in c 5.677 * [taylor]: Taking taylor expansion of y in c 5.677 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in z 5.677 * [taylor]: Taking taylor expansion of (* z c) in z 5.677 * [taylor]: Taking taylor expansion of z in z 5.677 * [taylor]: Taking taylor expansion of c in z 5.677 * [taylor]: Taking taylor expansion of (* x y) in z 5.677 * [taylor]: Taking taylor expansion of x in z 5.677 * [taylor]: Taking taylor expansion of y in z 5.677 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.677 * [taylor]: Taking taylor expansion of (* z c) in x 5.677 * [taylor]: Taking taylor expansion of z in x 5.677 * [taylor]: Taking taylor expansion of c in x 5.677 * [taylor]: Taking taylor expansion of (* x y) in x 5.677 * [taylor]: Taking taylor expansion of x in x 5.677 * [taylor]: Taking taylor expansion of y in x 5.677 * [taylor]: Taking taylor expansion of (/ (* z c) (* x y)) in x 5.677 * [taylor]: Taking taylor expansion of (* z c) in x 5.677 * [taylor]: Taking taylor expansion of z in x 5.677 * [taylor]: Taking taylor expansion of c in x 5.677 * [taylor]: Taking taylor expansion of (* x y) in x 5.677 * [taylor]: Taking taylor expansion of x in x 5.677 * [taylor]: Taking taylor expansion of y in x 5.677 * [taylor]: Taking taylor expansion of (/ (* z c) y) in z 5.677 * [taylor]: Taking taylor expansion of (* z c) in z 5.677 * [taylor]: Taking taylor expansion of z in z 5.677 * [taylor]: Taking taylor expansion of c in z 5.677 * [taylor]: Taking taylor expansion of y in z 5.678 * [taylor]: Taking taylor expansion of (/ c y) in c 5.678 * [taylor]: Taking taylor expansion of c in c 5.678 * [taylor]: Taking taylor expansion of y in c 5.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.678 * [taylor]: Taking taylor expansion of y in y 5.678 * [taylor]: Taking taylor expansion of 0 in z 5.678 * [taylor]: Taking taylor expansion of 0 in c 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.678 * [taylor]: Taking taylor expansion of 0 in c 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.678 * [taylor]: Taking taylor expansion of 0 in z 5.678 * [taylor]: Taking taylor expansion of 0 in c 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.678 * [taylor]: Taking taylor expansion of 0 in c 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.678 * [taylor]: Taking taylor expansion of 0 in c 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.678 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in z 5.679 * [taylor]: Taking taylor expansion of 0 in c 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in c 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in c 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in c 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 5.680 * [approximate]: Taking taylor expansion of (/ (* a t) c) in (a t c) around 0 5.680 * [taylor]: Taking taylor expansion of (/ (* a t) c) in c 5.680 * [taylor]: Taking taylor expansion of (* a t) in c 5.680 * [taylor]: Taking taylor expansion of a in c 5.680 * [taylor]: Taking taylor expansion of t in c 5.680 * [taylor]: Taking taylor expansion of c in c 5.680 * [taylor]: Taking taylor expansion of (/ (* a t) c) in t 5.680 * [taylor]: Taking taylor expansion of (* a t) in t 5.680 * [taylor]: Taking taylor expansion of a in t 5.680 * [taylor]: Taking taylor expansion of t in t 5.680 * [taylor]: Taking taylor expansion of c in t 5.680 * [taylor]: Taking taylor expansion of (/ (* a t) c) in a 5.680 * [taylor]: Taking taylor expansion of (* a t) in a 5.680 * [taylor]: Taking taylor expansion of a in a 5.680 * [taylor]: Taking taylor expansion of t in a 5.680 * [taylor]: Taking taylor expansion of c in a 5.680 * [taylor]: Taking taylor expansion of (/ (* a t) c) in a 5.680 * [taylor]: Taking taylor expansion of (* a t) in a 5.680 * [taylor]: Taking taylor expansion of a in a 5.680 * [taylor]: Taking taylor expansion of t in a 5.680 * [taylor]: Taking taylor expansion of c in a 5.680 * [taylor]: Taking taylor expansion of (/ t c) in t 5.680 * [taylor]: Taking taylor expansion of t in t 5.680 * [taylor]: Taking taylor expansion of c in t 5.680 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.680 * [taylor]: Taking taylor expansion of c in c 5.680 * [taylor]: Taking taylor expansion of 0 in t 5.680 * [taylor]: Taking taylor expansion of 0 in c 5.680 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [taylor]: Taking taylor expansion of 0 in t 5.681 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [taylor]: Taking taylor expansion of 0 in t 5.681 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [taylor]: Taking taylor expansion of 0 in c 5.681 * [approximate]: Taking taylor expansion of (/ c (* a t)) in (a t c) around 0 5.681 * [taylor]: Taking taylor expansion of (/ c (* a t)) in c 5.681 * [taylor]: Taking taylor expansion of c in c 5.681 * [taylor]: Taking taylor expansion of (* a t) in c 5.681 * [taylor]: Taking taylor expansion of a in c 5.681 * [taylor]: Taking taylor expansion of t in c 5.681 * [taylor]: Taking taylor expansion of (/ c (* a t)) in t 5.681 * [taylor]: Taking taylor expansion of c in t 5.681 * [taylor]: Taking taylor expansion of (* a t) in t 5.681 * [taylor]: Taking taylor expansion of a in t 5.681 * [taylor]: Taking taylor expansion of t in t 5.682 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.682 * [taylor]: Taking taylor expansion of c in a 5.682 * [taylor]: Taking taylor expansion of (* a t) in a 5.682 * [taylor]: Taking taylor expansion of a in a 5.682 * [taylor]: Taking taylor expansion of t in a 5.682 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.682 * [taylor]: Taking taylor expansion of c in a 5.682 * [taylor]: Taking taylor expansion of (* a t) in a 5.682 * [taylor]: Taking taylor expansion of a in a 5.682 * [taylor]: Taking taylor expansion of t in a 5.682 * [taylor]: Taking taylor expansion of (/ c t) in t 5.682 * [taylor]: Taking taylor expansion of c in t 5.682 * [taylor]: Taking taylor expansion of t in t 5.682 * [taylor]: Taking taylor expansion of c in c 5.682 * [taylor]: Taking taylor expansion of 0 in t 5.682 * [taylor]: Taking taylor expansion of 0 in c 5.682 * [taylor]: Taking taylor expansion of 0 in t 5.682 * [taylor]: Taking taylor expansion of 0 in c 5.683 * [taylor]: Taking taylor expansion of 0 in c 5.683 * [approximate]: Taking taylor expansion of (* -1 (/ c (* a t))) in (a t c) around 0 5.683 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in c 5.683 * [taylor]: Taking taylor expansion of -1 in c 5.683 * [taylor]: Taking taylor expansion of (/ c (* a t)) in c 5.683 * [taylor]: Taking taylor expansion of c in c 5.683 * [taylor]: Taking taylor expansion of (* a t) in c 5.683 * [taylor]: Taking taylor expansion of a in c 5.683 * [taylor]: Taking taylor expansion of t in c 5.683 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in t 5.683 * [taylor]: Taking taylor expansion of -1 in t 5.683 * [taylor]: Taking taylor expansion of (/ c (* a t)) in t 5.683 * [taylor]: Taking taylor expansion of c in t 5.683 * [taylor]: Taking taylor expansion of (* a t) in t 5.683 * [taylor]: Taking taylor expansion of a in t 5.683 * [taylor]: Taking taylor expansion of t in t 5.683 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in a 5.683 * [taylor]: Taking taylor expansion of -1 in a 5.683 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.683 * [taylor]: Taking taylor expansion of c in a 5.683 * [taylor]: Taking taylor expansion of (* a t) in a 5.683 * [taylor]: Taking taylor expansion of a in a 5.683 * [taylor]: Taking taylor expansion of t in a 5.683 * [taylor]: Taking taylor expansion of (* -1 (/ c (* a t))) in a 5.683 * [taylor]: Taking taylor expansion of -1 in a 5.683 * [taylor]: Taking taylor expansion of (/ c (* a t)) in a 5.683 * [taylor]: Taking taylor expansion of c in a 5.683 * [taylor]: Taking taylor expansion of (* a t) in a 5.683 * [taylor]: Taking taylor expansion of a in a 5.683 * [taylor]: Taking taylor expansion of t in a 5.683 * [taylor]: Taking taylor expansion of (* -1 (/ c t)) in t 5.683 * [taylor]: Taking taylor expansion of -1 in t 5.683 * [taylor]: Taking taylor expansion of (/ c t) in t 5.683 * [taylor]: Taking taylor expansion of c in t 5.684 * [taylor]: Taking taylor expansion of t in t 5.684 * [taylor]: Taking taylor expansion of (* -1 c) in c 5.684 * [taylor]: Taking taylor expansion of -1 in c 5.684 * [taylor]: Taking taylor expansion of c in c 5.684 * [taylor]: Taking taylor expansion of 0 in t 5.684 * [taylor]: Taking taylor expansion of 0 in c 5.684 * [taylor]: Taking taylor expansion of 0 in t 5.684 * [taylor]: Taking taylor expansion of 0 in c 5.684 * [taylor]: Taking taylor expansion of 0 in c 5.684 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 5.684 * [approximate]: Taking taylor expansion of (/ (* z c) y) in (z c y) around 0 5.684 * [taylor]: Taking taylor expansion of (/ (* z c) y) in y 5.684 * [taylor]: Taking taylor expansion of (* z c) in y 5.685 * [taylor]: Taking taylor expansion of z in y 5.685 * [taylor]: Taking taylor expansion of c in y 5.685 * [taylor]: Taking taylor expansion of y in y 5.685 * [taylor]: Taking taylor expansion of (/ (* z c) y) in c 5.685 * [taylor]: Taking taylor expansion of (* z c) in c 5.685 * [taylor]: Taking taylor expansion of z in c 5.685 * [taylor]: Taking taylor expansion of c in c 5.685 * [taylor]: Taking taylor expansion of y in c 5.685 * [taylor]: Taking taylor expansion of (/ (* z c) y) in z 5.685 * [taylor]: Taking taylor expansion of (* z c) in z 5.685 * [taylor]: Taking taylor expansion of z in z 5.685 * [taylor]: Taking taylor expansion of c in z 5.685 * [taylor]: Taking taylor expansion of y in z 5.685 * [taylor]: Taking taylor expansion of (/ (* z c) y) in z 5.685 * [taylor]: Taking taylor expansion of (* z c) in z 5.685 * [taylor]: Taking taylor expansion of z in z 5.685 * [taylor]: Taking taylor expansion of c in z 5.685 * [taylor]: Taking taylor expansion of y in z 5.685 * [taylor]: Taking taylor expansion of (/ c y) in c 5.685 * [taylor]: Taking taylor expansion of c in c 5.685 * [taylor]: Taking taylor expansion of y in c 5.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.685 * [taylor]: Taking taylor expansion of y in y 5.685 * [taylor]: Taking taylor expansion of 0 in c 5.685 * [taylor]: Taking taylor expansion of 0 in y 5.685 * [taylor]: Taking taylor expansion of 0 in y 5.685 * [taylor]: Taking taylor expansion of 0 in c 5.685 * [taylor]: Taking taylor expansion of 0 in y 5.685 * [taylor]: Taking taylor expansion of 0 in y 5.686 * [taylor]: Taking taylor expansion of 0 in y 5.686 * [taylor]: Taking taylor expansion of 0 in c 5.686 * [taylor]: Taking taylor expansion of 0 in y 5.686 * [taylor]: Taking taylor expansion of 0 in y 5.686 * [taylor]: Taking taylor expansion of 0 in y 5.686 * [taylor]: Taking taylor expansion of 0 in y 5.686 * [approximate]: Taking taylor expansion of (/ y (* z c)) in (z c y) around 0 5.686 * [taylor]: Taking taylor expansion of (/ y (* z c)) in y 5.686 * [taylor]: Taking taylor expansion of y in y 5.686 * [taylor]: Taking taylor expansion of (* z c) in y 5.686 * [taylor]: Taking taylor expansion of z in y 5.686 * [taylor]: Taking taylor expansion of c in y 5.686 * [taylor]: Taking taylor expansion of (/ y (* z c)) in c 5.686 * [taylor]: Taking taylor expansion of y in c 5.686 * [taylor]: Taking taylor expansion of (* z c) in c 5.686 * [taylor]: Taking taylor expansion of z in c 5.686 * [taylor]: Taking taylor expansion of c in c 5.686 * [taylor]: Taking taylor expansion of (/ y (* z c)) in z 5.686 * [taylor]: Taking taylor expansion of y in z 5.686 * [taylor]: Taking taylor expansion of (* z c) in z 5.686 * [taylor]: Taking taylor expansion of z in z 5.686 * [taylor]: Taking taylor expansion of c in z 5.686 * [taylor]: Taking taylor expansion of (/ y (* z c)) in z 5.686 * [taylor]: Taking taylor expansion of y in z 5.687 * [taylor]: Taking taylor expansion of (* z c) in z 5.687 * [taylor]: Taking taylor expansion of z in z 5.687 * [taylor]: Taking taylor expansion of c in z 5.687 * [taylor]: Taking taylor expansion of (/ y c) in c 5.687 * [taylor]: Taking taylor expansion of y in c 5.687 * [taylor]: Taking taylor expansion of c in c 5.687 * [taylor]: Taking taylor expansion of y in y 5.687 * [taylor]: Taking taylor expansion of 0 in c 5.687 * [taylor]: Taking taylor expansion of 0 in y 5.687 * [taylor]: Taking taylor expansion of 0 in c 5.687 * [taylor]: Taking taylor expansion of 0 in y 5.687 * [taylor]: Taking taylor expansion of 0 in y 5.687 * [approximate]: Taking taylor expansion of (* -1 (/ y (* z c))) in (z c y) around 0 5.687 * [taylor]: Taking taylor expansion of (* -1 (/ y (* z c))) in y 5.687 * [taylor]: Taking taylor expansion of -1 in y 5.687 * [taylor]: Taking taylor expansion of (/ y (* z c)) in y 5.687 * [taylor]: Taking taylor expansion of y in y 5.687 * [taylor]: Taking taylor expansion of (* z c) in y 5.687 * [taylor]: Taking taylor expansion of z in y 5.687 * [taylor]: Taking taylor expansion of c in y 5.687 * [taylor]: Taking taylor expansion of (* -1 (/ y (* z c))) in c 5.687 * [taylor]: Taking taylor expansion of -1 in c 5.688 * [taylor]: Taking taylor expansion of (/ y (* z c)) in c 5.688 * [taylor]: Taking taylor expansion of y in c 5.688 * [taylor]: Taking taylor expansion of (* z c) in c 5.688 * [taylor]: Taking taylor expansion of z in c 5.688 * [taylor]: Taking taylor expansion of c in c 5.688 * [taylor]: Taking taylor expansion of (* -1 (/ y (* z c))) in z 5.688 * [taylor]: Taking taylor expansion of -1 in z 5.688 * [taylor]: Taking taylor expansion of (/ y (* z c)) in z 5.688 * [taylor]: Taking taylor expansion of y in z 5.688 * [taylor]: Taking taylor expansion of (* z c) in z 5.688 * [taylor]: Taking taylor expansion of z in z 5.688 * [taylor]: Taking taylor expansion of c in z 5.688 * [taylor]: Taking taylor expansion of (* -1 (/ y (* z c))) in z 5.688 * [taylor]: Taking taylor expansion of -1 in z 5.688 * [taylor]: Taking taylor expansion of (/ y (* z c)) in z 5.688 * [taylor]: Taking taylor expansion of y in z 5.688 * [taylor]: Taking taylor expansion of (* z c) in z 5.688 * [taylor]: Taking taylor expansion of z in z 5.688 * [taylor]: Taking taylor expansion of c in z 5.688 * [taylor]: Taking taylor expansion of (* -1 (/ y c)) in c 5.688 * [taylor]: Taking taylor expansion of -1 in c 5.688 * [taylor]: Taking taylor expansion of (/ y c) in c 5.688 * [taylor]: Taking taylor expansion of y in c 5.688 * [taylor]: Taking taylor expansion of c in c 5.688 * [taylor]: Taking taylor expansion of (* -1 y) in y 5.688 * [taylor]: Taking taylor expansion of -1 in y 5.688 * [taylor]: Taking taylor expansion of y in y 5.688 * [taylor]: Taking taylor expansion of 0 in c 5.688 * [taylor]: Taking taylor expansion of 0 in y 5.689 * [taylor]: Taking taylor expansion of 0 in c 5.689 * [taylor]: Taking taylor expansion of 0 in y 5.689 * [taylor]: Taking taylor expansion of 0 in y 5.689 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 5.689 * [approximate]: Taking taylor expansion of (/ b (* z c)) in (b z c) around 0 5.689 * [taylor]: Taking taylor expansion of (/ b (* z c)) in c 5.689 * [taylor]: Taking taylor expansion of b in c 5.689 * [taylor]: Taking taylor expansion of (* z c) in c 5.689 * [taylor]: Taking taylor expansion of z in c 5.689 * [taylor]: Taking taylor expansion of c in c 5.689 * [taylor]: Taking taylor expansion of (/ b (* z c)) in z 5.689 * [taylor]: Taking taylor expansion of b in z 5.689 * [taylor]: Taking taylor expansion of (* z c) in z 5.689 * [taylor]: Taking taylor expansion of z in z 5.689 * [taylor]: Taking taylor expansion of c in z 5.689 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.689 * [taylor]: Taking taylor expansion of b in b 5.689 * [taylor]: Taking taylor expansion of (* z c) in b 5.689 * [taylor]: Taking taylor expansion of z in b 5.689 * [taylor]: Taking taylor expansion of c in b 5.689 * [taylor]: Taking taylor expansion of (/ b (* z c)) in b 5.689 * [taylor]: Taking taylor expansion of b in b 5.689 * [taylor]: Taking taylor expansion of (* z c) in b 5.689 * [taylor]: Taking taylor expansion of z in b 5.689 * [taylor]: Taking taylor expansion of c in b 5.689 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 5.689 * [taylor]: Taking taylor expansion of (* z c) in z 5.690 * [taylor]: Taking taylor expansion of z in z 5.690 * [taylor]: Taking taylor expansion of c in z 5.690 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.690 * [taylor]: Taking taylor expansion of c in c 5.690 * [taylor]: Taking taylor expansion of 0 in z 5.690 * [taylor]: Taking taylor expansion of 0 in c 5.690 * [taylor]: Taking taylor expansion of 0 in z 5.690 * [taylor]: Taking taylor expansion of 0 in c 5.690 * [taylor]: Taking taylor expansion of 0 in c 5.690 * [taylor]: Taking taylor expansion of 0 in z 5.690 * [taylor]: Taking taylor expansion of 0 in c 5.690 * [taylor]: Taking taylor expansion of 0 in c 5.691 * [taylor]: Taking taylor expansion of 0 in c 5.691 * [approximate]: Taking taylor expansion of (/ (* z c) b) in (b z c) around 0 5.691 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.691 * [taylor]: Taking taylor expansion of (* z c) in c 5.691 * [taylor]: Taking taylor expansion of z in c 5.691 * [taylor]: Taking taylor expansion of c in c 5.691 * [taylor]: Taking taylor expansion of b in c 5.691 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.691 * [taylor]: Taking taylor expansion of (* z c) in z 5.691 * [taylor]: Taking taylor expansion of z in z 5.691 * [taylor]: Taking taylor expansion of c in z 5.691 * [taylor]: Taking taylor expansion of b in z 5.691 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.691 * [taylor]: Taking taylor expansion of (* z c) in b 5.691 * [taylor]: Taking taylor expansion of z in b 5.691 * [taylor]: Taking taylor expansion of c in b 5.691 * [taylor]: Taking taylor expansion of b in b 5.691 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.691 * [taylor]: Taking taylor expansion of (* z c) in b 5.691 * [taylor]: Taking taylor expansion of z in b 5.691 * [taylor]: Taking taylor expansion of c in b 5.691 * [taylor]: Taking taylor expansion of b in b 5.691 * [taylor]: Taking taylor expansion of (* z c) in z 5.691 * [taylor]: Taking taylor expansion of z in z 5.691 * [taylor]: Taking taylor expansion of c in z 5.691 * [taylor]: Taking taylor expansion of c in c 5.691 * [taylor]: Taking taylor expansion of 0 in z 5.691 * [taylor]: Taking taylor expansion of 0 in c 5.692 * [taylor]: Taking taylor expansion of 0 in c 5.692 * [taylor]: Taking taylor expansion of 0 in z 5.692 * [taylor]: Taking taylor expansion of 0 in c 5.692 * [taylor]: Taking taylor expansion of 0 in c 5.692 * [taylor]: Taking taylor expansion of 0 in c 5.692 * [approximate]: Taking taylor expansion of (* -1 (/ (* z c) b)) in (b z c) around 0 5.692 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in c 5.692 * [taylor]: Taking taylor expansion of -1 in c 5.692 * [taylor]: Taking taylor expansion of (/ (* z c) b) in c 5.692 * [taylor]: Taking taylor expansion of (* z c) in c 5.692 * [taylor]: Taking taylor expansion of z in c 5.692 * [taylor]: Taking taylor expansion of c in c 5.692 * [taylor]: Taking taylor expansion of b in c 5.692 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in z 5.692 * [taylor]: Taking taylor expansion of -1 in z 5.692 * [taylor]: Taking taylor expansion of (/ (* z c) b) in z 5.692 * [taylor]: Taking taylor expansion of (* z c) in z 5.692 * [taylor]: Taking taylor expansion of z in z 5.692 * [taylor]: Taking taylor expansion of c in z 5.692 * [taylor]: Taking taylor expansion of b in z 5.692 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in b 5.692 * [taylor]: Taking taylor expansion of -1 in b 5.692 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.692 * [taylor]: Taking taylor expansion of (* z c) in b 5.692 * [taylor]: Taking taylor expansion of z in b 5.692 * [taylor]: Taking taylor expansion of c in b 5.692 * [taylor]: Taking taylor expansion of b in b 5.692 * [taylor]: Taking taylor expansion of (* -1 (/ (* z c) b)) in b 5.692 * [taylor]: Taking taylor expansion of -1 in b 5.692 * [taylor]: Taking taylor expansion of (/ (* z c) b) in b 5.692 * [taylor]: Taking taylor expansion of (* z c) in b 5.692 * [taylor]: Taking taylor expansion of z in b 5.692 * [taylor]: Taking taylor expansion of c in b 5.692 * [taylor]: Taking taylor expansion of b in b 5.693 * [taylor]: Taking taylor expansion of (* -1 (* z c)) in z 5.693 * [taylor]: Taking taylor expansion of -1 in z 5.693 * [taylor]: Taking taylor expansion of (* z c) in z 5.693 * [taylor]: Taking taylor expansion of z in z 5.693 * [taylor]: Taking taylor expansion of c in z 5.693 * [taylor]: Taking taylor expansion of (neg c) in c 5.693 * [taylor]: Taking taylor expansion of c in c 5.693 * [taylor]: Taking taylor expansion of 0 in z 5.693 * [taylor]: Taking taylor expansion of 0 in c 5.693 * [taylor]: Taking taylor expansion of 0 in c 5.693 * [taylor]: Taking taylor expansion of 0 in z 5.693 * [taylor]: Taking taylor expansion of 0 in c 5.693 * [taylor]: Taking taylor expansion of 0 in c 5.693 * [taylor]: Taking taylor expansion of 0 in c 5.693 * * * [progress]: simplifying candidates 5.695 * [simplify]: Simplifying using # : (- (log x) (- (+ (log z) (log c)) (log y))) (- (log x) (- (log (* z c)) (log y))) (- (log x) (log (/ (* z c) y))) (log (/ x (/ (* z c) y))) (exp (/ x (/ (* z c) y))) (/ (* (* x x) x) (/ (* (* (* z z) z) (* (* c c) c)) (* (* y y) y))) (/ (* (* x x) x) (/ (* (* (* z c) (* z c)) (* z c)) (* (* y y) y))) (/ (* (* x x) x) (* (* (/ (* z c) y) (/ (* z c) y)) (/ (* z c) y))) (* (cbrt (/ x (/ (* z c) y))) (cbrt (/ x (/ (* z c) y)))) (cbrt (/ x (/ (* z c) y))) (* (* (/ x (/ (* z c) y)) (/ x (/ (* z c) y))) (/ x (/ (* z c) y))) (sqrt (/ x (/ (* z c) y))) (sqrt (/ x (/ (* z c) y))) (neg x) (neg (/ (* z c) y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ (cbrt x) (cbrt (/ (* z c) y))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ (* z c) y))) (/ (cbrt x) (sqrt (/ (* z c) y))) (/ (* (cbrt x) (cbrt x)) (/ z (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ c (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ z (sqrt y))) (/ (cbrt x) (/ c (sqrt y))) (/ (* (cbrt x) (cbrt x)) (/ z 1)) (/ (cbrt x) (/ c y)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (/ (* z c) y)) (/ (* (cbrt x) (cbrt x)) (* z c)) (/ (cbrt x) (/ 1 y)) (/ (sqrt x) (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ (sqrt x) (cbrt (/ (* z c) y))) (/ (sqrt x) (sqrt (/ (* z c) y))) (/ (sqrt x) (sqrt (/ (* z c) y))) (/ (sqrt x) (/ z (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ c (cbrt y))) (/ (sqrt x) (/ z (sqrt y))) (/ (sqrt x) (/ c (sqrt y))) (/ (sqrt x) (/ z 1)) (/ (sqrt x) (/ c y)) (/ (sqrt x) 1) (/ (sqrt x) (/ (* z c) y)) (/ (sqrt x) (* z c)) (/ (sqrt x) (/ 1 y)) (/ 1 (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ x (cbrt (/ (* z c) y))) (/ 1 (sqrt (/ (* z c) y))) (/ x (sqrt (/ (* z c) y))) (/ 1 (/ z (* (cbrt y) (cbrt y)))) (/ x (/ c (cbrt y))) (/ 1 (/ z (sqrt y))) (/ x (/ c (sqrt y))) (/ 1 (/ z 1)) (/ x (/ c y)) (/ 1 1) (/ x (/ (* z c) y)) (/ 1 (* z c)) (/ x (/ 1 y)) (/ 1 (/ (* z c) y)) (/ (/ (* z c) y) x) (/ x (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ x (sqrt (/ (* z c) y))) (/ x (/ z (* (cbrt y) (cbrt y)))) (/ x (/ z (sqrt y))) (/ x (/ z 1)) (/ x 1) (/ x (* z c)) (/ (/ (* z c) y) (cbrt x)) (/ (/ (* z c) y) (sqrt x)) (/ (/ (* z c) y) x) (/ x (* z c)) (- (+ (log a) (log t)) (log c)) (- (log (* a t)) (log c)) (log (/ (* a t) c)) (exp (/ (* a t) c)) (/ (* (* (* a a) a) (* (* t t) t)) (* (* c c) c)) (/ (* (* (* a t) (* a t)) (* a t)) (* (* c c) c)) (* (cbrt (/ (* a t) c)) (cbrt (/ (* a t) c))) (cbrt (/ (* a t) c)) (* (* (/ (* a t) c) (/ (* a t) c)) (/ (* a t) c)) (sqrt (/ (* a t) c)) (sqrt (/ (* a t) c)) (neg (* a t)) (neg c) (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)) (/ a (sqrt c)) (/ t (sqrt c)) (/ a 1) (/ t c) (/ 1 c) (/ c (* a t)) (/ (* a t) (* (cbrt c) (cbrt c))) (/ (* a t) (sqrt c)) (/ (* a t) 1) (/ c t) (- (+ (log z) (log c)) (log y)) (- (log (* z c)) (log y)) (log (/ (* z c) y)) (exp (/ (* z c) y)) (/ (* (* (* z z) z) (* (* c c) c)) (* (* y y) y)) (/ (* (* (* z c) (* z c)) (* z c)) (* (* y y) y)) (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y))) (cbrt (/ (* z c) y)) (* (* (/ (* z c) y) (/ (* z c) y)) (/ (* z c) y)) (sqrt (/ (* z c) y)) (sqrt (/ (* z c) y)) (neg (* z c)) (neg y) (/ z (* (cbrt y) (cbrt y))) (/ c (cbrt y)) (/ z (sqrt y)) (/ c (sqrt y)) (/ z 1) (/ c y) (/ 1 y) (/ y (* z c)) (/ (* z c) (* (cbrt y) (cbrt y))) (/ (* z c) (sqrt y)) (/ (* z c) 1) (/ y c) (- (log b) (+ (log z) (log c))) (- (log b) (log (* z c))) (log (/ b (* z c))) (exp (/ b (* z c))) (/ (* (* b b) b) (* (* (* z z) z) (* (* c c) c))) (/ (* (* b b) b) (* (* (* z c) (* z c)) (* z c))) (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c)))) (cbrt (/ b (* z c))) (* (* (/ b (* z c)) (/ b (* z c))) (/ b (* z c))) (sqrt (/ b (* z c))) (sqrt (/ b (* z c))) (neg b) (neg (* z c)) (/ (* (cbrt b) (cbrt b)) z) (/ (cbrt b) c) (/ (sqrt b) z) (/ (sqrt b) c) (/ 1 z) (/ b c) (/ 1 (* z c)) (/ (* z c) b) (/ b z) (/ (* z c) (cbrt b)) (/ (* z c) (sqrt b)) (/ (* z c) b) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* t a) c) (/ (* t a) c) (/ (* t a) c) (/ (* z c) y) (/ (* z c) y) (/ (* z c) y) (/ b (* z c)) (/ b (* z c)) (/ b (* z c)) 5.700 * * [simplify]: iteration 0 : 457 enodes (cost 568 ) 5.709 * * [simplify]: iteration 1 : 2237 enodes (cost 494 ) 5.739 * * [simplify]: iteration 2 : 5001 enodes (cost 494 ) 5.743 * [simplify]: Simplified to: (log (/ x (/ (* z c) y))) (log (/ x (/ (* z c) y))) (log (/ x (/ (* z c) y))) (log (/ x (/ (* z c) y))) (exp (/ x (/ (* z c) y))) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (pow (/ (* x y) (* z c)) 3) (* (cbrt (/ x (/ (* z c) y))) (cbrt (/ x (/ (* z c) y)))) (cbrt (/ x (/ (* z c) y))) (pow (/ (* x y) (* z c)) 3) (sqrt (/ x (/ (* z c) y))) (sqrt (/ x (/ (* z c) y))) (neg x) (neg (/ (* z c) y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ (cbrt x) (cbrt (/ (* z c) y))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ (* z c) y))) (/ (cbrt x) (sqrt (/ (* z c) y))) (/ (* (cbrt x) (cbrt x)) (/ z (* (cbrt y) (cbrt y)))) (/ (cbrt x) (/ c (cbrt y))) (/ (* (cbrt x) (cbrt x)) (/ z (sqrt y))) (/ (cbrt x) (/ c (sqrt y))) (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ c y)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ (* z c) y)) (/ (* (cbrt x) (cbrt x)) (* z c)) (* y (cbrt x)) (/ (sqrt x) (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ (sqrt x) (cbrt (/ (* z c) y))) (/ (sqrt x) (sqrt (/ (* z c) y))) (/ (sqrt x) (sqrt (/ (* z c) y))) (/ (sqrt x) (/ z (* (cbrt y) (cbrt y)))) (/ (sqrt x) (/ c (cbrt y))) (/ (sqrt x) (/ z (sqrt y))) (/ (sqrt x) (/ c (sqrt y))) (/ (sqrt x) z) (/ (sqrt x) (/ c y)) (sqrt x) (/ (sqrt x) (/ (* z c) y)) (/ (sqrt x) (* z c)) (* (sqrt x) y) (/ 1 (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ x (cbrt (/ (* z c) y))) (/ 1 (sqrt (/ (* z c) y))) (/ x (sqrt (/ (* z c) y))) (/ 1 (/ z (* (cbrt y) (cbrt y)))) (/ x (/ c (cbrt y))) (/ 1 (/ z (sqrt y))) (/ x (/ c (sqrt y))) (/ 1 z) (/ x (/ c y)) 1 (/ (* x y) (* z c)) (/ 1 (* z c)) (* x y) (/ 1 (/ (* z c) y)) (/ (/ (* z c) y) x) (/ x (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y)))) (/ x (sqrt (/ (* z c) y))) (/ x (/ z (* (cbrt y) (cbrt y)))) (/ x (/ z (sqrt y))) (/ x z) x (/ x (* z c)) (/ (/ (* z c) y) (cbrt x)) (/ (/ (* z c) y) (sqrt x)) (/ (/ (* z c) y) x) (/ x (* z c)) (log (/ (* a t) c)) (log (/ (* a t) c)) (log (/ (* a t) c)) (exp (/ (* a t) c)) (pow (/ (* t a) c) 3) (pow (/ (* t a) c) 3) (* (cbrt (/ (* a t) c)) (cbrt (/ (* a t) c))) (cbrt (/ (* a t) c)) (pow (/ (* t a) c) 3) (sqrt (/ (* a t) c)) (sqrt (/ (* a t) c)) (neg (* a t)) (neg c) (/ a (* (cbrt c) (cbrt c))) (/ t (cbrt c)) (/ a (sqrt c)) (/ t (sqrt c)) a (/ t c) (/ 1 c) (/ c (* a t)) (/ (* a t) (* (cbrt c) (cbrt c))) (/ (* a t) (sqrt c)) (* a t) (/ c t) (log (/ (* z c) y)) (log (/ (* z c) y)) (log (/ (* z c) y)) (exp (/ (* z c) y)) (pow (/ (* z c) y) 3) (pow (/ (* z c) y) 3) (* (cbrt (/ (* z c) y)) (cbrt (/ (* z c) y))) (cbrt (/ (* z c) y)) (pow (/ (* z c) y) 3) (sqrt (/ (* z c) y)) (sqrt (/ (* z c) y)) (neg (* z c)) (neg y) (/ z (* (cbrt y) (cbrt y))) (/ c (cbrt y)) (/ z (sqrt y)) (/ c (sqrt y)) z (/ c y) (/ 1 y) (/ y (* z c)) (/ (* z c) (* (cbrt y) (cbrt y))) (/ (* z c) (sqrt y)) (* z c) (/ y c) (log (/ b (* z c))) (log (/ b (* z c))) (log (/ b (* z c))) (exp (/ b (* z c))) (pow (/ b (* z c)) 3) (pow (/ b (* z c)) 3) (* (cbrt (/ b (* z c))) (cbrt (/ b (* z c)))) (cbrt (/ b (* z c))) (pow (/ b (* z c)) 3) (sqrt (/ b (* z c))) (sqrt (/ b (* z c))) (neg b) (neg (* z c)) (/ (* (cbrt b) (cbrt b)) z) (/ (cbrt b) c) (/ (sqrt b) z) (/ (sqrt b) c) (/ 1 z) (/ b c) (/ 1 (* z c)) (/ (* z c) b) (/ b z) (/ (* z c) (cbrt b)) (/ (* z c) (sqrt b)) (/ (* z c) b) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* x y) (* z c)) (/ (* t a) c) (/ (* t a) c) (/ (* t a) c) (/ (* z c) y) (/ (* z c) y) (/ (* z c) y) (/ b (* z c)) (/ b (* z c)) (/ b (* z c)) 5.743 * * * [progress]: adding candidates to table 5.853 * [progress]: [Phase 3 of 3] Extracting. 5.853 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 5.862 * * * [regime-changes]: Trying 9 branch expressions: ((* x 9.0) (* (* x 9.0) y) c b a t z y x) 5.862 * * * * [regimes]: Trying to branch on (* x 9.0) from (# # # # # # # # # # # # # #) 6.032 * * * * [regimes]: Trying to branch on (* x 9.0) from (# # # # # # #) 6.145 * * * * [regimes]: Trying to branch on (* (* x 9.0) y) from (# # # # # # # # # # # # # #) 6.308 * * * * [regimes]: Trying to branch on (* (* x 9.0) y) from (# # # # # # #) 6.417 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # #) 6.567 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # # # # # #) 6.732 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # #) 6.904 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # # # # # #) 7.063 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # # #) 7.221 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # #) 7.380 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # #) 7.547 * * * [regime]: Found split indices: #