9.479 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) 0.029 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 0.030 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 0.033 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 0.041 * * [simplify]: iteration 3 : 124 enodes (cost 13 ) 0.065 * * [simplify]: iteration 4 : 284 enodes (cost 13 ) 0.142 * * [simplify]: iteration 5 : 641 enodes (cost 13 ) 0.425 * * [simplify]: iteration 6 : 1190 enodes (cost 13 ) 1.222 * * [simplify]: iteration 7 : 2090 enodes (cost 13 ) 2.761 * * [simplify]: iteration 8 : 3448 enodes (cost 13 ) 4.933 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 4.933 * [simplify]: Simplified to: (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) 4.933 * * [progress]: iteration 1 / 4 4.933 * * * [progress]: picking best candidate 4.936 * * * * [pick]: Picked # 4.936 * * * [progress]: localizing error 4.945 * * * [progress]: generating rewritten candidates 4.945 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 4.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 4.994 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 4.999 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 5.012 * * * [progress]: generating series expansions 5.012 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 5.013 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in (y x z) around 0 5.013 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in z 5.013 * [taylor]: Taking taylor expansion of 6.0 in z 5.014 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in z 5.014 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 5.014 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.014 * [taylor]: Taking taylor expansion of z in z 5.014 * [taylor]: Taking taylor expansion of (- y x) in z 5.014 * [taylor]: Taking taylor expansion of y in z 5.014 * [taylor]: Taking taylor expansion of x in z 5.014 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in x 5.014 * [taylor]: Taking taylor expansion of 6.0 in x 5.014 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in x 5.014 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x 5.014 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.014 * [taylor]: Taking taylor expansion of z in x 5.014 * [taylor]: Taking taylor expansion of (- y x) in x 5.014 * [taylor]: Taking taylor expansion of y in x 5.014 * [taylor]: Taking taylor expansion of x in x 5.014 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y 5.014 * [taylor]: Taking taylor expansion of 6.0 in y 5.014 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y 5.014 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y 5.014 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 5.014 * [taylor]: Taking taylor expansion of z in y 5.014 * [taylor]: Taking taylor expansion of (- y x) in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [taylor]: Taking taylor expansion of x in y 5.014 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y 5.014 * [taylor]: Taking taylor expansion of 6.0 in y 5.014 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y 5.014 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y 5.014 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 5.014 * [taylor]: Taking taylor expansion of z in y 5.014 * [taylor]: Taking taylor expansion of (- y x) in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [taylor]: Taking taylor expansion of x in y 5.014 * [taylor]: Taking taylor expansion of (* -6.0 (* x (- 0.6666666666666666 z))) in x 5.014 * [taylor]: Taking taylor expansion of -6.0 in x 5.014 * [taylor]: Taking taylor expansion of (* x (- 0.6666666666666666 z)) in x 5.014 * [taylor]: Taking taylor expansion of x in x 5.014 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x 5.014 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.014 * [taylor]: Taking taylor expansion of z in x 5.015 * [taylor]: Taking taylor expansion of 0 in z 5.016 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x 5.016 * [taylor]: Taking taylor expansion of 4.0 in x 5.016 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 5.016 * [taylor]: Taking taylor expansion of 6.0 in x 5.017 * [taylor]: Taking taylor expansion of z in x 5.017 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z 5.017 * [taylor]: Taking taylor expansion of 4.0 in z 5.017 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 5.017 * [taylor]: Taking taylor expansion of 6.0 in z 5.017 * [taylor]: Taking taylor expansion of z in z 5.019 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 4.0) in z 5.019 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 5.019 * [taylor]: Taking taylor expansion of 6.0 in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.019 * [taylor]: Taking taylor expansion of 4.0 in z 5.022 * [taylor]: Taking taylor expansion of 0 in x 5.022 * [taylor]: Taking taylor expansion of 0 in z 5.023 * [taylor]: Taking taylor expansion of 0 in z 5.025 * [taylor]: Taking taylor expansion of 0 in z 5.028 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in (y x z) around 0 5.028 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in z 5.028 * [taylor]: Taking taylor expansion of 6.0 in z 5.028 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z 5.028 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 5.028 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.028 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.028 * [taylor]: Taking taylor expansion of z in z 5.028 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 5.028 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.028 * [taylor]: Taking taylor expansion of y in z 5.028 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.028 * [taylor]: Taking taylor expansion of x in z 5.028 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in x 5.028 * [taylor]: Taking taylor expansion of 6.0 in x 5.028 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x 5.028 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x 5.029 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.029 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.029 * [taylor]: Taking taylor expansion of z in x 5.029 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 5.029 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.029 * [taylor]: Taking taylor expansion of y in x 5.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.029 * [taylor]: Taking taylor expansion of x in x 5.029 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 5.029 * [taylor]: Taking taylor expansion of 6.0 in y 5.029 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 5.029 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y 5.029 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 5.029 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.029 * [taylor]: Taking taylor expansion of z in y 5.029 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.029 * [taylor]: Taking taylor expansion of y in y 5.029 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.029 * [taylor]: Taking taylor expansion of x in y 5.030 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 5.030 * [taylor]: Taking taylor expansion of 6.0 in y 5.030 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 5.030 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y 5.030 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 5.030 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.030 * [taylor]: Taking taylor expansion of z in y 5.030 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.030 * [taylor]: Taking taylor expansion of y in y 5.030 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.030 * [taylor]: Taking taylor expansion of x in y 5.031 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in x 5.031 * [taylor]: Taking taylor expansion of 6.0 in x 5.031 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x 5.031 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.031 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.031 * [taylor]: Taking taylor expansion of z in x 5.032 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x 5.032 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 5.032 * [taylor]: Taking taylor expansion of 6.0 in x 5.033 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.033 * [taylor]: Taking taylor expansion of (* x z) in x 5.033 * [taylor]: Taking taylor expansion of x in x 5.033 * [taylor]: Taking taylor expansion of z in x 5.033 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 5.033 * [taylor]: Taking taylor expansion of 4.0 in x 5.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.033 * [taylor]: Taking taylor expansion of x in x 5.034 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 4.0) in z 5.034 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 5.034 * [taylor]: Taking taylor expansion of 6.0 in z 5.034 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.034 * [taylor]: Taking taylor expansion of z in z 5.034 * [taylor]: Taking taylor expansion of 4.0 in z 5.035 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z 5.035 * [taylor]: Taking taylor expansion of 6.0 in z 5.035 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 5.035 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.035 * [taylor]: Taking taylor expansion of z in z 5.039 * [taylor]: Taking taylor expansion of 0 in x 5.041 * [taylor]: Taking taylor expansion of 0 in z 5.042 * [taylor]: Taking taylor expansion of 0 in z 5.045 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in (y x z) around 0 5.045 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in z 5.045 * [taylor]: Taking taylor expansion of 6.0 in z 5.045 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in z 5.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 5.046 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.046 * [taylor]: Taking taylor expansion of x in z 5.046 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.046 * [taylor]: Taking taylor expansion of y in z 5.046 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 5.046 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.046 * [taylor]: Taking taylor expansion of z in z 5.046 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.046 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in x 5.046 * [taylor]: Taking taylor expansion of 6.0 in x 5.046 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in x 5.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 5.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.046 * [taylor]: Taking taylor expansion of x in x 5.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.046 * [taylor]: Taking taylor expansion of y in x 5.046 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x 5.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.046 * [taylor]: Taking taylor expansion of z in x 5.047 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.047 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y 5.047 * [taylor]: Taking taylor expansion of 6.0 in y 5.047 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y 5.047 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.047 * [taylor]: Taking taylor expansion of x in y 5.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.047 * [taylor]: Taking taylor expansion of y in y 5.047 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y 5.047 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.047 * [taylor]: Taking taylor expansion of z in y 5.047 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 5.047 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y 5.047 * [taylor]: Taking taylor expansion of 6.0 in y 5.047 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y 5.047 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.047 * [taylor]: Taking taylor expansion of x in y 5.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.047 * [taylor]: Taking taylor expansion of y in y 5.047 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y 5.048 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.048 * [taylor]: Taking taylor expansion of z in y 5.048 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 5.048 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in x 5.048 * [taylor]: Taking taylor expansion of -6.0 in x 5.048 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x 5.048 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.048 * [taylor]: Taking taylor expansion of z in x 5.048 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.050 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x 5.050 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 5.050 * [taylor]: Taking taylor expansion of 6.0 in x 5.050 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.050 * [taylor]: Taking taylor expansion of (* x z) in x 5.050 * [taylor]: Taking taylor expansion of x in x 5.050 * [taylor]: Taking taylor expansion of z in x 5.051 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 5.051 * [taylor]: Taking taylor expansion of 4.0 in x 5.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.051 * [taylor]: Taking taylor expansion of x in x 5.051 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z 5.051 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 5.051 * [taylor]: Taking taylor expansion of 6.0 in z 5.051 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.051 * [taylor]: Taking taylor expansion of z in z 5.052 * [taylor]: Taking taylor expansion of 4.0 in z 5.052 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in z 5.052 * [taylor]: Taking taylor expansion of -6.0 in z 5.052 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 5.052 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.052 * [taylor]: Taking taylor expansion of z in z 5.053 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.056 * [taylor]: Taking taylor expansion of 0 in x 5.058 * [taylor]: Taking taylor expansion of 0 in z 5.058 * [taylor]: Taking taylor expansion of 0 in z 5.060 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 5.060 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0 5.060 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 5.060 * [taylor]: Taking taylor expansion of 6.0 in x 5.060 * [taylor]: Taking taylor expansion of (- y x) in x 5.060 * [taylor]: Taking taylor expansion of y in x 5.060 * [taylor]: Taking taylor expansion of x in x 5.060 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 5.060 * [taylor]: Taking taylor expansion of 6.0 in y 5.060 * [taylor]: Taking taylor expansion of (- y x) in y 5.060 * [taylor]: Taking taylor expansion of y in y 5.060 * [taylor]: Taking taylor expansion of x in y 5.060 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 5.060 * [taylor]: Taking taylor expansion of 6.0 in y 5.060 * [taylor]: Taking taylor expansion of (- y x) in y 5.060 * [taylor]: Taking taylor expansion of y in y 5.060 * [taylor]: Taking taylor expansion of x in y 5.061 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 5.061 * [taylor]: Taking taylor expansion of -6.0 in x 5.061 * [taylor]: Taking taylor expansion of x in x 5.062 * [taylor]: Taking taylor expansion of 6.0 in x 5.065 * [taylor]: Taking taylor expansion of 0 in x 5.067 * [taylor]: Taking taylor expansion of 0 in x 5.067 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0 5.067 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 5.067 * [taylor]: Taking taylor expansion of 6.0 in x 5.067 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 5.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.067 * [taylor]: Taking taylor expansion of y in x 5.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.067 * [taylor]: Taking taylor expansion of x in x 5.068 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 5.068 * [taylor]: Taking taylor expansion of 6.0 in y 5.068 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.068 * [taylor]: Taking taylor expansion of y in y 5.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.068 * [taylor]: Taking taylor expansion of x in y 5.068 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 5.068 * [taylor]: Taking taylor expansion of 6.0 in y 5.068 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.068 * [taylor]: Taking taylor expansion of y in y 5.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.068 * [taylor]: Taking taylor expansion of x in y 5.069 * [taylor]: Taking taylor expansion of 6.0 in x 5.070 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 5.070 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 5.070 * [taylor]: Taking taylor expansion of 6.0 in x 5.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.070 * [taylor]: Taking taylor expansion of x in x 5.077 * [taylor]: Taking taylor expansion of 0 in x 5.080 * [taylor]: Taking taylor expansion of 0 in x 5.084 * [taylor]: Taking taylor expansion of 0 in x 5.084 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0 5.084 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 5.084 * [taylor]: Taking taylor expansion of 6.0 in x 5.084 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 5.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.084 * [taylor]: Taking taylor expansion of x in x 5.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.085 * [taylor]: Taking taylor expansion of y in x 5.085 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 5.085 * [taylor]: Taking taylor expansion of 6.0 in y 5.085 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.085 * [taylor]: Taking taylor expansion of x in y 5.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.085 * [taylor]: Taking taylor expansion of y in y 5.085 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 5.085 * [taylor]: Taking taylor expansion of 6.0 in y 5.085 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.085 * [taylor]: Taking taylor expansion of x in y 5.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.085 * [taylor]: Taking taylor expansion of y in y 5.087 * [taylor]: Taking taylor expansion of -6.0 in x 5.088 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 5.088 * [taylor]: Taking taylor expansion of 6.0 in x 5.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.088 * [taylor]: Taking taylor expansion of x in x 5.090 * [taylor]: Taking taylor expansion of 0 in x 5.093 * [taylor]: Taking taylor expansion of 0 in x 5.096 * [taylor]: Taking taylor expansion of 0 in x 5.096 * * * * [progress]: [ 3 / 4 ] generating series at (2) 5.097 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in (x y z) around 0 5.097 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z 5.097 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z 5.097 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 5.097 * [taylor]: Taking taylor expansion of 6.0 in z 5.097 * [taylor]: Taking taylor expansion of (* x z) in z 5.097 * [taylor]: Taking taylor expansion of x in z 5.097 * [taylor]: Taking taylor expansion of z in z 5.097 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 5.097 * [taylor]: Taking taylor expansion of 4.0 in z 5.097 * [taylor]: Taking taylor expansion of y in z 5.097 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z 5.097 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 5.097 * [taylor]: Taking taylor expansion of 6.0 in z 5.097 * [taylor]: Taking taylor expansion of (* z y) in z 5.097 * [taylor]: Taking taylor expansion of z in z 5.097 * [taylor]: Taking taylor expansion of y in z 5.097 * [taylor]: Taking taylor expansion of (* 3.0 x) in z 5.097 * [taylor]: Taking taylor expansion of 3.0 in z 5.097 * [taylor]: Taking taylor expansion of x in z 5.097 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y 5.097 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y 5.097 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 5.097 * [taylor]: Taking taylor expansion of 6.0 in y 5.097 * [taylor]: Taking taylor expansion of (* x z) in y 5.097 * [taylor]: Taking taylor expansion of x in y 5.098 * [taylor]: Taking taylor expansion of z in y 5.098 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 5.098 * [taylor]: Taking taylor expansion of 4.0 in y 5.098 * [taylor]: Taking taylor expansion of y in y 5.098 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y 5.098 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 5.098 * [taylor]: Taking taylor expansion of 6.0 in y 5.098 * [taylor]: Taking taylor expansion of (* z y) in y 5.098 * [taylor]: Taking taylor expansion of z in y 5.098 * [taylor]: Taking taylor expansion of y in y 5.098 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 5.098 * [taylor]: Taking taylor expansion of 3.0 in y 5.098 * [taylor]: Taking taylor expansion of x in y 5.098 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 5.098 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 5.098 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 5.098 * [taylor]: Taking taylor expansion of 6.0 in x 5.098 * [taylor]: Taking taylor expansion of (* x z) in x 5.098 * [taylor]: Taking taylor expansion of x in x 5.098 * [taylor]: Taking taylor expansion of z in x 5.098 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 5.098 * [taylor]: Taking taylor expansion of 4.0 in x 5.098 * [taylor]: Taking taylor expansion of y in x 5.098 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 5.098 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 5.098 * [taylor]: Taking taylor expansion of 6.0 in x 5.098 * [taylor]: Taking taylor expansion of (* z y) in x 5.098 * [taylor]: Taking taylor expansion of z in x 5.098 * [taylor]: Taking taylor expansion of y in x 5.098 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 5.098 * [taylor]: Taking taylor expansion of 3.0 in x 5.098 * [taylor]: Taking taylor expansion of x in x 5.098 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 5.098 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 5.098 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 5.098 * [taylor]: Taking taylor expansion of 6.0 in x 5.098 * [taylor]: Taking taylor expansion of (* x z) in x 5.098 * [taylor]: Taking taylor expansion of x in x 5.098 * [taylor]: Taking taylor expansion of z in x 5.098 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 5.098 * [taylor]: Taking taylor expansion of 4.0 in x 5.098 * [taylor]: Taking taylor expansion of y in x 5.098 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 5.098 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 5.098 * [taylor]: Taking taylor expansion of 6.0 in x 5.098 * [taylor]: Taking taylor expansion of (* z y) in x 5.098 * [taylor]: Taking taylor expansion of z in x 5.098 * [taylor]: Taking taylor expansion of y in x 5.098 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 5.098 * [taylor]: Taking taylor expansion of 3.0 in x 5.098 * [taylor]: Taking taylor expansion of x in x 5.100 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y 5.100 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 5.100 * [taylor]: Taking taylor expansion of 4.0 in y 5.100 * [taylor]: Taking taylor expansion of y in y 5.100 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 5.100 * [taylor]: Taking taylor expansion of 6.0 in y 5.100 * [taylor]: Taking taylor expansion of (* z y) in y 5.100 * [taylor]: Taking taylor expansion of z in y 5.100 * [taylor]: Taking taylor expansion of y in y 5.101 * [taylor]: Taking taylor expansion of 0 in z 5.104 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y 5.104 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 5.104 * [taylor]: Taking taylor expansion of 6.0 in y 5.104 * [taylor]: Taking taylor expansion of z in y 5.104 * [taylor]: Taking taylor expansion of 3.0 in y 5.105 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z 5.105 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 5.105 * [taylor]: Taking taylor expansion of 6.0 in z 5.105 * [taylor]: Taking taylor expansion of z in z 5.105 * [taylor]: Taking taylor expansion of 3.0 in z 5.108 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z 5.108 * [taylor]: Taking taylor expansion of 4.0 in z 5.108 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 5.108 * [taylor]: Taking taylor expansion of 6.0 in z 5.108 * [taylor]: Taking taylor expansion of z in z 5.113 * [taylor]: Taking taylor expansion of 0 in y 5.113 * [taylor]: Taking taylor expansion of 0 in z 5.114 * [taylor]: Taking taylor expansion of 0 in z 5.116 * [taylor]: Taking taylor expansion of 0 in z 5.119 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in (x y z) around 0 5.119 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in z 5.119 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z 5.119 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 5.119 * [taylor]: Taking taylor expansion of 6.0 in z 5.119 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.119 * [taylor]: Taking taylor expansion of (* x z) in z 5.119 * [taylor]: Taking taylor expansion of x in z 5.119 * [taylor]: Taking taylor expansion of z in z 5.119 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 5.119 * [taylor]: Taking taylor expansion of 4.0 in z 5.119 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.119 * [taylor]: Taking taylor expansion of y in z 5.119 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z 5.120 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 5.120 * [taylor]: Taking taylor expansion of 6.0 in z 5.120 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.120 * [taylor]: Taking taylor expansion of (* z y) in z 5.120 * [taylor]: Taking taylor expansion of z in z 5.120 * [taylor]: Taking taylor expansion of y in z 5.120 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 5.120 * [taylor]: Taking taylor expansion of 3.0 in z 5.120 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.120 * [taylor]: Taking taylor expansion of x in z 5.120 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in y 5.120 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y 5.120 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 5.120 * [taylor]: Taking taylor expansion of 6.0 in y 5.120 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.120 * [taylor]: Taking taylor expansion of (* x z) in y 5.120 * [taylor]: Taking taylor expansion of x in y 5.120 * [taylor]: Taking taylor expansion of z in y 5.120 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 5.120 * [taylor]: Taking taylor expansion of 4.0 in y 5.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.120 * [taylor]: Taking taylor expansion of y in y 5.121 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y 5.121 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 5.121 * [taylor]: Taking taylor expansion of 6.0 in y 5.121 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.121 * [taylor]: Taking taylor expansion of (* z y) in y 5.121 * [taylor]: Taking taylor expansion of z in y 5.121 * [taylor]: Taking taylor expansion of y in y 5.121 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 5.121 * [taylor]: Taking taylor expansion of 3.0 in y 5.121 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.121 * [taylor]: Taking taylor expansion of x in y 5.121 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 5.121 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 5.121 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 5.121 * [taylor]: Taking taylor expansion of 6.0 in x 5.121 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.121 * [taylor]: Taking taylor expansion of (* x z) in x 5.121 * [taylor]: Taking taylor expansion of x in x 5.121 * [taylor]: Taking taylor expansion of z in x 5.122 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 5.122 * [taylor]: Taking taylor expansion of 4.0 in x 5.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.122 * [taylor]: Taking taylor expansion of y in x 5.122 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 5.122 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 5.122 * [taylor]: Taking taylor expansion of 6.0 in x 5.122 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.122 * [taylor]: Taking taylor expansion of (* z y) in x 5.122 * [taylor]: Taking taylor expansion of z in x 5.122 * [taylor]: Taking taylor expansion of y in x 5.122 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 5.122 * [taylor]: Taking taylor expansion of 3.0 in x 5.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 5.122 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 5.122 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 5.122 * [taylor]: Taking taylor expansion of 6.0 in x 5.122 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.122 * [taylor]: Taking taylor expansion of (* x z) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [taylor]: Taking taylor expansion of z in x 5.123 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 5.123 * [taylor]: Taking taylor expansion of 4.0 in x 5.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.123 * [taylor]: Taking taylor expansion of y in x 5.123 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 5.123 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 5.123 * [taylor]: Taking taylor expansion of 6.0 in x 5.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.123 * [taylor]: Taking taylor expansion of (* z y) in x 5.123 * [taylor]: Taking taylor expansion of z in x 5.123 * [taylor]: Taking taylor expansion of y in x 5.123 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 5.123 * [taylor]: Taking taylor expansion of 3.0 in x 5.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.123 * [taylor]: Taking taylor expansion of x in x 5.125 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y 5.125 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 5.125 * [taylor]: Taking taylor expansion of 6.0 in y 5.125 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.125 * [taylor]: Taking taylor expansion of z in y 5.125 * [taylor]: Taking taylor expansion of 3.0 in y 5.127 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y 5.127 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 5.127 * [taylor]: Taking taylor expansion of 4.0 in y 5.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.127 * [taylor]: Taking taylor expansion of y in y 5.127 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 5.127 * [taylor]: Taking taylor expansion of 6.0 in y 5.127 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.127 * [taylor]: Taking taylor expansion of (* z y) in y 5.127 * [taylor]: Taking taylor expansion of z in y 5.127 * [taylor]: Taking taylor expansion of y in y 5.128 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z 5.128 * [taylor]: Taking taylor expansion of 4.0 in z 5.128 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 5.128 * [taylor]: Taking taylor expansion of 6.0 in z 5.128 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.128 * [taylor]: Taking taylor expansion of z in z 5.130 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z 5.131 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 5.131 * [taylor]: Taking taylor expansion of 6.0 in z 5.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.131 * [taylor]: Taking taylor expansion of z in z 5.131 * [taylor]: Taking taylor expansion of 3.0 in z 5.136 * [taylor]: Taking taylor expansion of 0 in y 5.138 * [taylor]: Taking taylor expansion of 0 in z 5.139 * [taylor]: Taking taylor expansion of 0 in z 5.142 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in (x y z) around 0 5.142 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in z 5.142 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z 5.142 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 5.142 * [taylor]: Taking taylor expansion of 6.0 in z 5.142 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.142 * [taylor]: Taking taylor expansion of (* x z) in z 5.142 * [taylor]: Taking taylor expansion of x in z 5.142 * [taylor]: Taking taylor expansion of z in z 5.142 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 5.142 * [taylor]: Taking taylor expansion of 3.0 in z 5.142 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.142 * [taylor]: Taking taylor expansion of x in z 5.142 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z 5.142 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 5.142 * [taylor]: Taking taylor expansion of 6.0 in z 5.142 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.142 * [taylor]: Taking taylor expansion of (* z y) in z 5.142 * [taylor]: Taking taylor expansion of z in z 5.142 * [taylor]: Taking taylor expansion of y in z 5.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 5.143 * [taylor]: Taking taylor expansion of 4.0 in z 5.143 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.143 * [taylor]: Taking taylor expansion of y in z 5.143 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 5.143 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y 5.143 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 5.143 * [taylor]: Taking taylor expansion of 6.0 in y 5.143 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.143 * [taylor]: Taking taylor expansion of (* x z) in y 5.143 * [taylor]: Taking taylor expansion of x in y 5.143 * [taylor]: Taking taylor expansion of z in y 5.143 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 5.143 * [taylor]: Taking taylor expansion of 3.0 in y 5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.143 * [taylor]: Taking taylor expansion of x in y 5.143 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 5.143 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 5.143 * [taylor]: Taking taylor expansion of 6.0 in y 5.143 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.143 * [taylor]: Taking taylor expansion of (* z y) in y 5.143 * [taylor]: Taking taylor expansion of z in y 5.143 * [taylor]: Taking taylor expansion of y in y 5.144 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 5.144 * [taylor]: Taking taylor expansion of 4.0 in y 5.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.144 * [taylor]: Taking taylor expansion of y in y 5.144 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 5.144 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 5.144 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 5.144 * [taylor]: Taking taylor expansion of 6.0 in x 5.144 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.144 * [taylor]: Taking taylor expansion of (* x z) in x 5.144 * [taylor]: Taking taylor expansion of x in x 5.144 * [taylor]: Taking taylor expansion of z in x 5.144 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 5.144 * [taylor]: Taking taylor expansion of 3.0 in x 5.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.144 * [taylor]: Taking taylor expansion of x in x 5.145 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 5.145 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 5.145 * [taylor]: Taking taylor expansion of 6.0 in x 5.145 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.145 * [taylor]: Taking taylor expansion of (* z y) in x 5.145 * [taylor]: Taking taylor expansion of z in x 5.145 * [taylor]: Taking taylor expansion of y in x 5.145 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 5.145 * [taylor]: Taking taylor expansion of 4.0 in x 5.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.145 * [taylor]: Taking taylor expansion of y in x 5.145 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 5.145 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 5.145 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 5.145 * [taylor]: Taking taylor expansion of 6.0 in x 5.145 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.145 * [taylor]: Taking taylor expansion of (* x z) in x 5.145 * [taylor]: Taking taylor expansion of x in x 5.145 * [taylor]: Taking taylor expansion of z in x 5.145 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 5.145 * [taylor]: Taking taylor expansion of 3.0 in x 5.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.145 * [taylor]: Taking taylor expansion of x in x 5.146 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 5.146 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 5.146 * [taylor]: Taking taylor expansion of 6.0 in x 5.146 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.146 * [taylor]: Taking taylor expansion of (* z y) in x 5.146 * [taylor]: Taking taylor expansion of z in x 5.146 * [taylor]: Taking taylor expansion of y in x 5.146 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 5.146 * [taylor]: Taking taylor expansion of 4.0 in x 5.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.146 * [taylor]: Taking taylor expansion of y in x 5.147 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y 5.147 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 5.147 * [taylor]: Taking taylor expansion of 6.0 in y 5.147 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.147 * [taylor]: Taking taylor expansion of z in y 5.147 * [taylor]: Taking taylor expansion of 3.0 in y 5.149 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 5.149 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 5.149 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 5.149 * [taylor]: Taking taylor expansion of 6.0 in y 5.149 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.149 * [taylor]: Taking taylor expansion of (* z y) in y 5.149 * [taylor]: Taking taylor expansion of z in y 5.149 * [taylor]: Taking taylor expansion of y in y 5.150 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 5.150 * [taylor]: Taking taylor expansion of 4.0 in y 5.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.150 * [taylor]: Taking taylor expansion of y in y 5.150 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 4.0)) in z 5.150 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z 5.150 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 5.150 * [taylor]: Taking taylor expansion of 6.0 in z 5.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.151 * [taylor]: Taking taylor expansion of z in z 5.151 * [taylor]: Taking taylor expansion of 4.0 in z 5.152 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z 5.152 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 5.152 * [taylor]: Taking taylor expansion of 6.0 in z 5.152 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.152 * [taylor]: Taking taylor expansion of z in z 5.152 * [taylor]: Taking taylor expansion of 3.0 in z 5.157 * [taylor]: Taking taylor expansion of 0 in y 5.159 * [taylor]: Taking taylor expansion of 0 in z 5.160 * [taylor]: Taking taylor expansion of 0 in z 5.163 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 5.163 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 z) in (z) around 0 5.163 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 5.163 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.163 * [taylor]: Taking taylor expansion of z in z 5.163 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 5.163 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.163 * [taylor]: Taking taylor expansion of z in z 5.171 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in (z) around 0 5.171 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 5.171 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.171 * [taylor]: Taking taylor expansion of z in z 5.171 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 5.171 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.171 * [taylor]: Taking taylor expansion of z in z 5.180 * [approximate]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in (z) around 0 5.180 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 5.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.180 * [taylor]: Taking taylor expansion of z in z 5.180 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.180 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 5.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.180 * [taylor]: Taking taylor expansion of z in z 5.181 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 5.186 * * * [progress]: simplifying candidates 5.188 * [simplify]: Simplifying using # : (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (+ (+ (log (- y x)) (log 6.0)) (log (- (/ 2.0 3.0) z))) (+ (log (* (- y x) 6.0)) (log (- (/ 2.0 3.0) z))) (log (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (exp (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* (- (/ 2.0 3.0) z) (- (/ 2.0 3.0) z)) (- (/ 2.0 3.0) z))) (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* (- (/ 2.0 3.0) z) (- (/ 2.0 3.0) z)) (- (/ 2.0 3.0) z))) (* (cbrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (cbrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (* (* (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (sqrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (sqrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (* (* (- (pow y 3) (pow x 3)) 6.0) (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* (+ (* y y) (+ (* x x) (* y x))) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (+ (* z z) (* (/ 2.0 3.0) z)))) (* (* (- (pow y 3) (pow x 3)) 6.0) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (* (+ (* y y) (+ (* x x) (* y x))) (+ (/ 2.0 3.0) z)) (* (* (- (* y y) (* x x)) 6.0) (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* (+ y x) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (+ (* z z) (* (/ 2.0 3.0) z)))) (* (* (- (* y y) (* x x)) 6.0) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (* (+ y x) (+ (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (/ 2.0 3.0)) (* (* (- y x) 6.0) (- z)) (* (* (- y x) 6.0) (/ 2.0 3.0)) (* (* (- y x) 6.0) (- z)) (* (/ 2.0 3.0) (* (- y x) 6.0)) (* (- z) (* (- y x) 6.0)) (* (/ 2.0 3.0) (* (- y x) 6.0)) (* (- z) (* (- y x) 6.0)) (* (* (- y x) 6.0) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))) (* (* (- y x) 6.0) (sqrt (- (/ 2.0 3.0) z))) (* (* (- y x) 6.0) 1) (* (* (- y x) 6.0) (+ (sqrt (/ 2.0 3.0)) (sqrt z))) (* (* (- y x) 6.0) (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z))) (* (* (- y x) 6.0) 1) (* 6.0 (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* (* (- y x) 6.0) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (* (* (- (pow y 3) (pow x 3)) 6.0) (- (/ 2.0 3.0) z)) (* (* (- (* y y) (* x x)) 6.0) (- (/ 2.0 3.0) z)) (* (- y x) 6.0) (+ (log (- y x)) (log 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (* (- y x) 1) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (* (exp x) (exp (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (log (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (exp (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (* (* (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (sqrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (sqrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (+ (pow x 3) (pow (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) 3)) (+ (* x x) (- (* (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (* x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))) (- (* x x) (* (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (- x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) (+ x (* (* (- y x) 6.0) (/ 2.0 3.0))) (+ x (* (/ 2.0 3.0) (* (- y x) 6.0))) (+ x (* (/ 2.0 3.0) (* (- y x) 6.0))) (/ (exp (/ 2.0 3.0)) (exp z)) (log (- (/ 2.0 3.0) z)) (exp (- (/ 2.0 3.0) z)) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z))) (cbrt (- (/ 2.0 3.0) z)) (* (* (- (/ 2.0 3.0) z) (- (/ 2.0 3.0) z)) (- (/ 2.0 3.0) z)) (sqrt (- (/ 2.0 3.0) z)) (sqrt (- (/ 2.0 3.0) z)) (- (pow (/ 2.0 3.0) 3) (pow z 3)) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (+ (* z z) (* (/ 2.0 3.0) z))) (- z) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)) (+ (/ 2.0 3.0) z) (+ (sqrt (/ 2.0 3.0)) (sqrt z)) (- (sqrt (/ 2.0 3.0)) (sqrt z)) (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ 2.0 3.0) z) (- z) (- (* 4.0 y) (+ (* 6.0 (* z y)) (* 4.0 x))) (- (* 6.0 (* x z)) (+ (* 6.0 (* z y)) (* 4.0 x))) (- (* 6.0 (* x z)) (+ (* 6.0 (* z y)) (* 4.0 x))) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) (- 0.6666666666666666 z) (- 0.6666666666666666 z) (- 0.6666666666666666 z) 5.192 * * [simplify]: iteration 0 : 156 enodes (cost 1335 ) 5.220 * * [simplify]: iteration 1 : 434 enodes (cost 1273 ) 5.406 * * [simplify]: iteration 2 : 1787 enodes (cost 1163 ) 6.190 * * [simplify]: iteration done : 5000 enodes (cost 1163 ) 6.191 * [simplify]: Simplified to: (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (log (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (log (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (log (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (exp (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (pow (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) 3) (pow (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) 3) (* (cbrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (cbrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (pow (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) 3) (sqrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (sqrt (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (* (* (- (pow y 3) (pow x 3)) 6.0) (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z (+ (/ 2.0 3.0) z))) (+ (* y y) (* x (+ y x)))) (* (* (- (pow y 3) (pow x 3)) 6.0) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (* (+ (/ 2.0 3.0) z) (+ (* y y) (* x (+ y x)))) (* (* (- (* y y) (* x x)) 6.0) (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* (+ y x) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z (+ (/ 2.0 3.0) z)))) (* (* (- (* y y) (* x x)) 6.0) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (* (+ y x) (+ (/ 2.0 3.0) z)) (* (/ 2.0 3.0) (* (- y x) 6.0)) (* (* (- y x) 6.0) (- z)) (* (/ 2.0 3.0) (* (- y x) 6.0)) (* (* (- y x) 6.0) (- z)) (* (/ 2.0 3.0) (* (- y x) 6.0)) (* (* (- y x) 6.0) (- z)) (* (/ 2.0 3.0) (* (- y x) 6.0)) (* (* (- y x) 6.0) (- z)) (* (* (- y x) 6.0) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))) (* (* (- y x) 6.0) (sqrt (- (/ 2.0 3.0) z))) (* (- y x) 6.0) (* (* (- y x) 6.0) (+ (sqrt (/ 2.0 3.0)) (sqrt z))) (* (* (- y x) 6.0) (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z))) (* (- y x) 6.0) (* 6.0 (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* (* (- y x) 6.0) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (* (* (- (pow y 3) (pow x 3)) 6.0) (- (/ 2.0 3.0) z)) (* (* (- (* y y) (* x x)) 6.0) (- (/ 2.0 3.0) z)) (* (- y x) 6.0) (log (* (- y x) 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (- y x) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (exp (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (log (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (exp (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (pow (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) 3) (sqrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (sqrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (+ (pow x 3) (pow (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) 3)) (+ (* (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (- (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) x)) (* x x)) (- (* x x) (* (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)) (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (- x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) (+ x (* (/ 2.0 3.0) (* (- y x) 6.0))) (+ x (* (/ 2.0 3.0) (* (- y x) 6.0))) (+ x (* (/ 2.0 3.0) (* (- y x) 6.0))) (+ x (* (/ 2.0 3.0) (* (- y x) 6.0))) (exp (- (/ 2.0 3.0) z)) (log (- (/ 2.0 3.0) z)) (exp (- (/ 2.0 3.0) z)) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z))) (cbrt (- (/ 2.0 3.0) z)) (pow (- (/ 2.0 3.0) z) 3) (sqrt (- (/ 2.0 3.0) z)) (sqrt (- (/ 2.0 3.0) z)) (- (pow (/ 2.0 3.0) 3) (pow z 3)) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z (+ (/ 2.0 3.0) z))) (- z) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)) (+ (/ 2.0 3.0) z) (+ (sqrt (/ 2.0 3.0)) (sqrt z)) (- (sqrt (/ 2.0 3.0)) (sqrt z)) (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ 2.0 3.0) z) (- z) (- (* y (- 4.0 (* 6.0 z))) (* 4.0 x)) (- (* 6.0 (- (* x z) (* z y))) (* 4.0 x)) (- (* 6.0 (- (* x z) (* z y))) (* 4.0 x)) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 3.0 x)) (+ (* 4.0 y) (* 6.0 (- (* x z) (* z y)))) (+ (* 4.0 y) (* 6.0 (- (* x z) (* z y)))) (- 0.6666666666666666 z) (- 0.6666666666666666 z) (- 0.6666666666666666 z) 6.192 * * * [progress]: adding candidates to table 6.421 * * [progress]: iteration 2 / 4 6.422 * * * [progress]: picking best candidate 6.440 * * * * [pick]: Picked # 6.440 * * * [progress]: localizing error 6.450 * * * [progress]: generating rewritten candidates 6.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.488 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 6.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 6.523 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 6.540 * * * [progress]: generating series expansions 6.540 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.541 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in (y x z) around 0 6.541 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in z 6.541 * [taylor]: Taking taylor expansion of 6.0 in z 6.541 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in z 6.541 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 6.541 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.541 * [taylor]: Taking taylor expansion of z in z 6.541 * [taylor]: Taking taylor expansion of (- y x) in z 6.541 * [taylor]: Taking taylor expansion of y in z 6.541 * [taylor]: Taking taylor expansion of x in z 6.541 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in x 6.541 * [taylor]: Taking taylor expansion of 6.0 in x 6.541 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in x 6.541 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x 6.541 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.541 * [taylor]: Taking taylor expansion of z in x 6.541 * [taylor]: Taking taylor expansion of (- y x) in x 6.541 * [taylor]: Taking taylor expansion of y in x 6.541 * [taylor]: Taking taylor expansion of x in x 6.541 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y 6.541 * [taylor]: Taking taylor expansion of 6.0 in y 6.541 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y 6.541 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y 6.541 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 6.541 * [taylor]: Taking taylor expansion of z in y 6.541 * [taylor]: Taking taylor expansion of (- y x) in y 6.541 * [taylor]: Taking taylor expansion of y in y 6.541 * [taylor]: Taking taylor expansion of x in y 6.541 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y 6.541 * [taylor]: Taking taylor expansion of 6.0 in y 6.541 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y 6.541 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y 6.541 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 6.541 * [taylor]: Taking taylor expansion of z in y 6.541 * [taylor]: Taking taylor expansion of (- y x) in y 6.541 * [taylor]: Taking taylor expansion of y in y 6.542 * [taylor]: Taking taylor expansion of x in y 6.542 * [taylor]: Taking taylor expansion of (* -6.0 (* x (- 0.6666666666666666 z))) in x 6.542 * [taylor]: Taking taylor expansion of -6.0 in x 6.542 * [taylor]: Taking taylor expansion of (* x (- 0.6666666666666666 z)) in x 6.542 * [taylor]: Taking taylor expansion of x in x 6.542 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x 6.542 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.542 * [taylor]: Taking taylor expansion of z in x 6.543 * [taylor]: Taking taylor expansion of 0 in z 6.544 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x 6.544 * [taylor]: Taking taylor expansion of 4.0 in x 6.544 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 6.544 * [taylor]: Taking taylor expansion of 6.0 in x 6.544 * [taylor]: Taking taylor expansion of z in x 6.544 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z 6.544 * [taylor]: Taking taylor expansion of 4.0 in z 6.544 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 6.544 * [taylor]: Taking taylor expansion of 6.0 in z 6.544 * [taylor]: Taking taylor expansion of z in z 6.546 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 4.0) in z 6.546 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 6.546 * [taylor]: Taking taylor expansion of 6.0 in z 6.546 * [taylor]: Taking taylor expansion of z in z 6.546 * [taylor]: Taking taylor expansion of 4.0 in z 6.550 * [taylor]: Taking taylor expansion of 0 in x 6.550 * [taylor]: Taking taylor expansion of 0 in z 6.551 * [taylor]: Taking taylor expansion of 0 in z 6.553 * [taylor]: Taking taylor expansion of 0 in z 6.556 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in (y x z) around 0 6.556 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in z 6.556 * [taylor]: Taking taylor expansion of 6.0 in z 6.557 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z 6.557 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 6.557 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.557 * [taylor]: Taking taylor expansion of z in z 6.557 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 6.557 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.557 * [taylor]: Taking taylor expansion of y in z 6.557 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.557 * [taylor]: Taking taylor expansion of x in z 6.557 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in x 6.557 * [taylor]: Taking taylor expansion of 6.0 in x 6.557 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x 6.557 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x 6.557 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.557 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.557 * [taylor]: Taking taylor expansion of z in x 6.557 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 6.557 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.557 * [taylor]: Taking taylor expansion of y in x 6.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.557 * [taylor]: Taking taylor expansion of x in x 6.558 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 6.558 * [taylor]: Taking taylor expansion of 6.0 in y 6.558 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 6.558 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y 6.558 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 6.558 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.558 * [taylor]: Taking taylor expansion of z in y 6.558 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 6.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.558 * [taylor]: Taking taylor expansion of y in y 6.558 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.558 * [taylor]: Taking taylor expansion of x in y 6.558 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 6.558 * [taylor]: Taking taylor expansion of 6.0 in y 6.558 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 6.558 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y 6.558 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 6.558 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.558 * [taylor]: Taking taylor expansion of z in y 6.558 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 6.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.558 * [taylor]: Taking taylor expansion of y in y 6.559 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.559 * [taylor]: Taking taylor expansion of x in y 6.559 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in x 6.559 * [taylor]: Taking taylor expansion of 6.0 in x 6.559 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x 6.559 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.559 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.559 * [taylor]: Taking taylor expansion of z in x 6.561 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x 6.561 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.561 * [taylor]: Taking taylor expansion of 6.0 in x 6.561 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.561 * [taylor]: Taking taylor expansion of (* x z) in x 6.561 * [taylor]: Taking taylor expansion of x in x 6.561 * [taylor]: Taking taylor expansion of z in x 6.562 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 6.562 * [taylor]: Taking taylor expansion of 4.0 in x 6.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.562 * [taylor]: Taking taylor expansion of x in x 6.563 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 4.0) in z 6.563 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.563 * [taylor]: Taking taylor expansion of 6.0 in z 6.563 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.563 * [taylor]: Taking taylor expansion of z in z 6.563 * [taylor]: Taking taylor expansion of 4.0 in z 6.564 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z 6.564 * [taylor]: Taking taylor expansion of 6.0 in z 6.564 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 6.564 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.564 * [taylor]: Taking taylor expansion of z in z 6.568 * [taylor]: Taking taylor expansion of 0 in x 6.570 * [taylor]: Taking taylor expansion of 0 in z 6.571 * [taylor]: Taking taylor expansion of 0 in z 6.574 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in (y x z) around 0 6.574 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in z 6.574 * [taylor]: Taking taylor expansion of 6.0 in z 6.574 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in z 6.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 6.574 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.574 * [taylor]: Taking taylor expansion of x in z 6.574 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.574 * [taylor]: Taking taylor expansion of y in z 6.574 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 6.574 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.574 * [taylor]: Taking taylor expansion of z in z 6.575 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.575 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in x 6.575 * [taylor]: Taking taylor expansion of 6.0 in x 6.575 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in x 6.575 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 6.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.575 * [taylor]: Taking taylor expansion of x in x 6.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.575 * [taylor]: Taking taylor expansion of y in x 6.575 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x 6.575 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.575 * [taylor]: Taking taylor expansion of z in x 6.575 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.575 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y 6.575 * [taylor]: Taking taylor expansion of 6.0 in y 6.575 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y 6.575 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 6.575 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.575 * [taylor]: Taking taylor expansion of x in y 6.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.575 * [taylor]: Taking taylor expansion of y in y 6.576 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y 6.576 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.576 * [taylor]: Taking taylor expansion of z in y 6.576 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 6.576 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y 6.576 * [taylor]: Taking taylor expansion of 6.0 in y 6.576 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y 6.576 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 6.576 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.576 * [taylor]: Taking taylor expansion of x in y 6.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.576 * [taylor]: Taking taylor expansion of y in y 6.576 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y 6.576 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.576 * [taylor]: Taking taylor expansion of z in y 6.576 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 6.577 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in x 6.577 * [taylor]: Taking taylor expansion of -6.0 in x 6.577 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x 6.577 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.577 * [taylor]: Taking taylor expansion of z in x 6.577 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.579 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x 6.579 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.579 * [taylor]: Taking taylor expansion of 6.0 in x 6.579 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.579 * [taylor]: Taking taylor expansion of (* x z) in x 6.579 * [taylor]: Taking taylor expansion of x in x 6.579 * [taylor]: Taking taylor expansion of z in x 6.579 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 6.579 * [taylor]: Taking taylor expansion of 4.0 in x 6.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.580 * [taylor]: Taking taylor expansion of x in x 6.580 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z 6.580 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.580 * [taylor]: Taking taylor expansion of 6.0 in z 6.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.580 * [taylor]: Taking taylor expansion of z in z 6.581 * [taylor]: Taking taylor expansion of 4.0 in z 6.581 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in z 6.581 * [taylor]: Taking taylor expansion of -6.0 in z 6.581 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 6.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.581 * [taylor]: Taking taylor expansion of z in z 6.582 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.585 * [taylor]: Taking taylor expansion of 0 in x 6.587 * [taylor]: Taking taylor expansion of 0 in z 6.588 * [taylor]: Taking taylor expansion of 0 in z 6.589 * * * * [progress]: [ 2 / 4 ] generating series at (2) 6.590 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in (x y z) around 0 6.590 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z 6.590 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z 6.590 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 6.590 * [taylor]: Taking taylor expansion of 6.0 in z 6.590 * [taylor]: Taking taylor expansion of (* x z) in z 6.590 * [taylor]: Taking taylor expansion of x in z 6.590 * [taylor]: Taking taylor expansion of z in z 6.590 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 6.590 * [taylor]: Taking taylor expansion of 4.0 in z 6.590 * [taylor]: Taking taylor expansion of y in z 6.590 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z 6.590 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 6.590 * [taylor]: Taking taylor expansion of 6.0 in z 6.590 * [taylor]: Taking taylor expansion of (* z y) in z 6.590 * [taylor]: Taking taylor expansion of z in z 6.590 * [taylor]: Taking taylor expansion of y in z 6.590 * [taylor]: Taking taylor expansion of (* 3.0 x) in z 6.590 * [taylor]: Taking taylor expansion of 3.0 in z 6.590 * [taylor]: Taking taylor expansion of x in z 6.590 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y 6.590 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y 6.590 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 6.590 * [taylor]: Taking taylor expansion of 6.0 in y 6.590 * [taylor]: Taking taylor expansion of (* x z) in y 6.590 * [taylor]: Taking taylor expansion of x in y 6.590 * [taylor]: Taking taylor expansion of z in y 6.590 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.591 * [taylor]: Taking taylor expansion of 4.0 in y 6.591 * [taylor]: Taking taylor expansion of y in y 6.591 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y 6.591 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 6.591 * [taylor]: Taking taylor expansion of 6.0 in y 6.591 * [taylor]: Taking taylor expansion of (* z y) in y 6.591 * [taylor]: Taking taylor expansion of z in y 6.591 * [taylor]: Taking taylor expansion of y in y 6.591 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 6.591 * [taylor]: Taking taylor expansion of 3.0 in y 6.591 * [taylor]: Taking taylor expansion of x in y 6.591 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 6.591 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 6.591 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 6.591 * [taylor]: Taking taylor expansion of 6.0 in x 6.591 * [taylor]: Taking taylor expansion of (* x z) in x 6.591 * [taylor]: Taking taylor expansion of x in x 6.591 * [taylor]: Taking taylor expansion of z in x 6.591 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 6.591 * [taylor]: Taking taylor expansion of 4.0 in x 6.591 * [taylor]: Taking taylor expansion of y in x 6.591 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 6.591 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 6.591 * [taylor]: Taking taylor expansion of 6.0 in x 6.591 * [taylor]: Taking taylor expansion of (* z y) in x 6.591 * [taylor]: Taking taylor expansion of z in x 6.591 * [taylor]: Taking taylor expansion of y in x 6.591 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.591 * [taylor]: Taking taylor expansion of 3.0 in x 6.591 * [taylor]: Taking taylor expansion of x in x 6.591 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 6.591 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 6.591 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 6.591 * [taylor]: Taking taylor expansion of 6.0 in x 6.591 * [taylor]: Taking taylor expansion of (* x z) in x 6.591 * [taylor]: Taking taylor expansion of x in x 6.591 * [taylor]: Taking taylor expansion of z in x 6.591 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 6.591 * [taylor]: Taking taylor expansion of 4.0 in x 6.591 * [taylor]: Taking taylor expansion of y in x 6.591 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 6.591 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 6.591 * [taylor]: Taking taylor expansion of 6.0 in x 6.591 * [taylor]: Taking taylor expansion of (* z y) in x 6.591 * [taylor]: Taking taylor expansion of z in x 6.591 * [taylor]: Taking taylor expansion of y in x 6.591 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.591 * [taylor]: Taking taylor expansion of 3.0 in x 6.591 * [taylor]: Taking taylor expansion of x in x 6.592 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y 6.593 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.593 * [taylor]: Taking taylor expansion of 4.0 in y 6.593 * [taylor]: Taking taylor expansion of y in y 6.593 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 6.593 * [taylor]: Taking taylor expansion of 6.0 in y 6.593 * [taylor]: Taking taylor expansion of (* z y) in y 6.593 * [taylor]: Taking taylor expansion of z in y 6.593 * [taylor]: Taking taylor expansion of y in y 6.594 * [taylor]: Taking taylor expansion of 0 in z 6.597 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y 6.597 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 6.597 * [taylor]: Taking taylor expansion of 6.0 in y 6.597 * [taylor]: Taking taylor expansion of z in y 6.597 * [taylor]: Taking taylor expansion of 3.0 in y 6.598 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z 6.598 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 6.598 * [taylor]: Taking taylor expansion of 6.0 in z 6.598 * [taylor]: Taking taylor expansion of z in z 6.598 * [taylor]: Taking taylor expansion of 3.0 in z 6.601 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z 6.601 * [taylor]: Taking taylor expansion of 4.0 in z 6.601 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 6.601 * [taylor]: Taking taylor expansion of 6.0 in z 6.601 * [taylor]: Taking taylor expansion of z in z 6.605 * [taylor]: Taking taylor expansion of 0 in y 6.606 * [taylor]: Taking taylor expansion of 0 in z 6.606 * [taylor]: Taking taylor expansion of 0 in z 6.608 * [taylor]: Taking taylor expansion of 0 in z 6.611 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in (x y z) around 0 6.611 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in z 6.611 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z 6.611 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 6.611 * [taylor]: Taking taylor expansion of 6.0 in z 6.611 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 6.611 * [taylor]: Taking taylor expansion of (* x z) in z 6.611 * [taylor]: Taking taylor expansion of x in z 6.611 * [taylor]: Taking taylor expansion of z in z 6.611 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 6.611 * [taylor]: Taking taylor expansion of 4.0 in z 6.611 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.612 * [taylor]: Taking taylor expansion of y in z 6.612 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z 6.612 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 6.612 * [taylor]: Taking taylor expansion of 6.0 in z 6.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.612 * [taylor]: Taking taylor expansion of (* z y) in z 6.612 * [taylor]: Taking taylor expansion of z in z 6.612 * [taylor]: Taking taylor expansion of y in z 6.612 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 6.612 * [taylor]: Taking taylor expansion of 3.0 in z 6.612 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.612 * [taylor]: Taking taylor expansion of x in z 6.612 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in y 6.612 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y 6.612 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 6.612 * [taylor]: Taking taylor expansion of 6.0 in y 6.612 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 6.612 * [taylor]: Taking taylor expansion of (* x z) in y 6.613 * [taylor]: Taking taylor expansion of x in y 6.613 * [taylor]: Taking taylor expansion of z in y 6.613 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 6.613 * [taylor]: Taking taylor expansion of 4.0 in y 6.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.613 * [taylor]: Taking taylor expansion of y in y 6.613 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y 6.613 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 6.613 * [taylor]: Taking taylor expansion of 6.0 in y 6.613 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.613 * [taylor]: Taking taylor expansion of (* z y) in y 6.613 * [taylor]: Taking taylor expansion of z in y 6.613 * [taylor]: Taking taylor expansion of y in y 6.613 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 6.613 * [taylor]: Taking taylor expansion of 3.0 in y 6.613 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.614 * [taylor]: Taking taylor expansion of x in y 6.614 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 6.614 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 6.614 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.614 * [taylor]: Taking taylor expansion of 6.0 in x 6.614 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.614 * [taylor]: Taking taylor expansion of (* x z) in x 6.614 * [taylor]: Taking taylor expansion of x in x 6.614 * [taylor]: Taking taylor expansion of z in x 6.614 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 6.614 * [taylor]: Taking taylor expansion of 4.0 in x 6.614 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.614 * [taylor]: Taking taylor expansion of y in x 6.614 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 6.614 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 6.614 * [taylor]: Taking taylor expansion of 6.0 in x 6.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.614 * [taylor]: Taking taylor expansion of (* z y) in x 6.614 * [taylor]: Taking taylor expansion of z in x 6.614 * [taylor]: Taking taylor expansion of y in x 6.614 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.614 * [taylor]: Taking taylor expansion of 3.0 in x 6.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.614 * [taylor]: Taking taylor expansion of x in x 6.615 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 6.615 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 6.615 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.615 * [taylor]: Taking taylor expansion of 6.0 in x 6.615 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.615 * [taylor]: Taking taylor expansion of (* x z) in x 6.615 * [taylor]: Taking taylor expansion of x in x 6.615 * [taylor]: Taking taylor expansion of z in x 6.615 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 6.615 * [taylor]: Taking taylor expansion of 4.0 in x 6.615 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.615 * [taylor]: Taking taylor expansion of y in x 6.615 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 6.615 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 6.615 * [taylor]: Taking taylor expansion of 6.0 in x 6.615 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.615 * [taylor]: Taking taylor expansion of (* z y) in x 6.615 * [taylor]: Taking taylor expansion of z in x 6.615 * [taylor]: Taking taylor expansion of y in x 6.615 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.615 * [taylor]: Taking taylor expansion of 3.0 in x 6.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.615 * [taylor]: Taking taylor expansion of x in x 6.617 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y 6.617 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 6.617 * [taylor]: Taking taylor expansion of 6.0 in y 6.617 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.617 * [taylor]: Taking taylor expansion of z in y 6.617 * [taylor]: Taking taylor expansion of 3.0 in y 6.619 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y 6.619 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 6.619 * [taylor]: Taking taylor expansion of 4.0 in y 6.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.619 * [taylor]: Taking taylor expansion of y in y 6.620 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 6.620 * [taylor]: Taking taylor expansion of 6.0 in y 6.620 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.620 * [taylor]: Taking taylor expansion of (* z y) in y 6.620 * [taylor]: Taking taylor expansion of z in y 6.620 * [taylor]: Taking taylor expansion of y in y 6.621 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z 6.621 * [taylor]: Taking taylor expansion of 4.0 in z 6.621 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.621 * [taylor]: Taking taylor expansion of 6.0 in z 6.621 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.621 * [taylor]: Taking taylor expansion of z in z 6.623 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z 6.623 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.623 * [taylor]: Taking taylor expansion of 6.0 in z 6.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.623 * [taylor]: Taking taylor expansion of z in z 6.623 * [taylor]: Taking taylor expansion of 3.0 in z 6.633 * [taylor]: Taking taylor expansion of 0 in y 6.635 * [taylor]: Taking taylor expansion of 0 in z 6.636 * [taylor]: Taking taylor expansion of 0 in z 6.639 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in (x y z) around 0 6.639 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in z 6.639 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z 6.639 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 6.639 * [taylor]: Taking taylor expansion of 6.0 in z 6.639 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 6.639 * [taylor]: Taking taylor expansion of (* x z) in z 6.639 * [taylor]: Taking taylor expansion of x in z 6.639 * [taylor]: Taking taylor expansion of z in z 6.639 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 6.640 * [taylor]: Taking taylor expansion of 3.0 in z 6.640 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.640 * [taylor]: Taking taylor expansion of x in z 6.640 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z 6.640 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 6.640 * [taylor]: Taking taylor expansion of 6.0 in z 6.640 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.640 * [taylor]: Taking taylor expansion of (* z y) in z 6.640 * [taylor]: Taking taylor expansion of z in z 6.640 * [taylor]: Taking taylor expansion of y in z 6.640 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 6.640 * [taylor]: Taking taylor expansion of 4.0 in z 6.640 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.640 * [taylor]: Taking taylor expansion of y in z 6.640 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 6.640 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y 6.640 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 6.640 * [taylor]: Taking taylor expansion of 6.0 in y 6.640 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 6.640 * [taylor]: Taking taylor expansion of (* x z) in y 6.640 * [taylor]: Taking taylor expansion of x in y 6.640 * [taylor]: Taking taylor expansion of z in y 6.640 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 6.640 * [taylor]: Taking taylor expansion of 3.0 in y 6.640 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.640 * [taylor]: Taking taylor expansion of x in y 6.640 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 6.640 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 6.640 * [taylor]: Taking taylor expansion of 6.0 in y 6.640 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.641 * [taylor]: Taking taylor expansion of (* z y) in y 6.641 * [taylor]: Taking taylor expansion of z in y 6.641 * [taylor]: Taking taylor expansion of y in y 6.641 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 6.641 * [taylor]: Taking taylor expansion of 4.0 in y 6.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.641 * [taylor]: Taking taylor expansion of y in y 6.641 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 6.641 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 6.641 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.641 * [taylor]: Taking taylor expansion of 6.0 in x 6.641 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.641 * [taylor]: Taking taylor expansion of (* x z) in x 6.641 * [taylor]: Taking taylor expansion of x in x 6.641 * [taylor]: Taking taylor expansion of z in x 6.642 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.642 * [taylor]: Taking taylor expansion of 3.0 in x 6.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.642 * [taylor]: Taking taylor expansion of x in x 6.642 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 6.642 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 6.642 * [taylor]: Taking taylor expansion of 6.0 in x 6.642 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.642 * [taylor]: Taking taylor expansion of (* z y) in x 6.642 * [taylor]: Taking taylor expansion of z in x 6.642 * [taylor]: Taking taylor expansion of y in x 6.642 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 6.642 * [taylor]: Taking taylor expansion of 4.0 in x 6.642 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.642 * [taylor]: Taking taylor expansion of y in x 6.642 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 6.642 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 6.642 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.642 * [taylor]: Taking taylor expansion of 6.0 in x 6.642 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.643 * [taylor]: Taking taylor expansion of (* x z) in x 6.643 * [taylor]: Taking taylor expansion of x in x 6.643 * [taylor]: Taking taylor expansion of z in x 6.643 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.643 * [taylor]: Taking taylor expansion of 3.0 in x 6.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.643 * [taylor]: Taking taylor expansion of x in x 6.643 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 6.643 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 6.643 * [taylor]: Taking taylor expansion of 6.0 in x 6.643 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.643 * [taylor]: Taking taylor expansion of (* z y) in x 6.643 * [taylor]: Taking taylor expansion of z in x 6.643 * [taylor]: Taking taylor expansion of y in x 6.643 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 6.644 * [taylor]: Taking taylor expansion of 4.0 in x 6.644 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.644 * [taylor]: Taking taylor expansion of y in x 6.644 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y 6.644 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 6.644 * [taylor]: Taking taylor expansion of 6.0 in y 6.644 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.644 * [taylor]: Taking taylor expansion of z in y 6.644 * [taylor]: Taking taylor expansion of 3.0 in y 6.647 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 6.647 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 6.647 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 6.647 * [taylor]: Taking taylor expansion of 6.0 in y 6.647 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.647 * [taylor]: Taking taylor expansion of (* z y) in y 6.647 * [taylor]: Taking taylor expansion of z in y 6.647 * [taylor]: Taking taylor expansion of y in y 6.647 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 6.647 * [taylor]: Taking taylor expansion of 4.0 in y 6.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.647 * [taylor]: Taking taylor expansion of y in y 6.648 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 4.0)) in z 6.648 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z 6.648 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.648 * [taylor]: Taking taylor expansion of 6.0 in z 6.648 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.648 * [taylor]: Taking taylor expansion of z in z 6.648 * [taylor]: Taking taylor expansion of 4.0 in z 6.650 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z 6.650 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.650 * [taylor]: Taking taylor expansion of 6.0 in z 6.650 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.650 * [taylor]: Taking taylor expansion of z in z 6.650 * [taylor]: Taking taylor expansion of 3.0 in z 6.655 * [taylor]: Taking taylor expansion of 0 in y 6.657 * [taylor]: Taking taylor expansion of 0 in z 6.658 * [taylor]: Taking taylor expansion of 0 in z 6.660 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 6.661 * [approximate]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 z)) in (z) around 0 6.661 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 z)) in z 6.661 * [taylor]: Taking taylor expansion of 6.0 in z 6.661 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 6.661 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.661 * [taylor]: Taking taylor expansion of z in z 6.661 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 z)) in z 6.661 * [taylor]: Taking taylor expansion of 6.0 in z 6.661 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 6.661 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.661 * [taylor]: Taking taylor expansion of z in z 6.673 * [approximate]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in (z) around 0 6.673 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z 6.673 * [taylor]: Taking taylor expansion of 6.0 in z 6.673 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 6.673 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.673 * [taylor]: Taking taylor expansion of z in z 6.673 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z 6.674 * [taylor]: Taking taylor expansion of 6.0 in z 6.674 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 6.674 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.674 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.674 * [taylor]: Taking taylor expansion of z in z 6.689 * [approximate]: Taking taylor expansion of (* 6.0 (+ (/ 1 z) 0.6666666666666666)) in (z) around 0 6.689 * [taylor]: Taking taylor expansion of (* 6.0 (+ (/ 1 z) 0.6666666666666666)) in z 6.689 * [taylor]: Taking taylor expansion of 6.0 in z 6.689 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 6.689 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.689 * [taylor]: Taking taylor expansion of z in z 6.689 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.689 * [taylor]: Taking taylor expansion of (* 6.0 (+ (/ 1 z) 0.6666666666666666)) in z 6.689 * [taylor]: Taking taylor expansion of 6.0 in z 6.689 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 6.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.690 * [taylor]: Taking taylor expansion of z in z 6.690 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.702 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 6.703 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 z) in (z) around 0 6.703 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 6.703 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.703 * [taylor]: Taking taylor expansion of z in z 6.703 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z 6.703 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.703 * [taylor]: Taking taylor expansion of z in z 6.708 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in (z) around 0 6.708 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 6.708 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.708 * [taylor]: Taking taylor expansion of z in z 6.708 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z 6.708 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.708 * [taylor]: Taking taylor expansion of z in z 6.717 * [approximate]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in (z) around 0 6.717 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 6.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.717 * [taylor]: Taking taylor expansion of z in z 6.717 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.717 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z 6.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.717 * [taylor]: Taking taylor expansion of z in z 6.718 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z 6.727 * * * [progress]: simplifying candidates 6.729 * [simplify]: Simplifying using # : (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (+ (log (- y x)) (+ (log 6.0) (log (- (/ 2.0 3.0) z)))) (+ (log (- y x)) (log (* 6.0 (- (/ 2.0 3.0) z)))) (log (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (exp (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 6.0) 6.0) (* (* (- (/ 2.0 3.0) z) (- (/ 2.0 3.0) z)) (- (/ 2.0 3.0) z)))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 (- (/ 2.0 3.0) z)) (* 6.0 (- (/ 2.0 3.0) z))) (* 6.0 (- (/ 2.0 3.0) z)))) (* (cbrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (cbrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (* (* (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (sqrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (sqrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3)))) (* (+ (* y y) (+ (* x x) (* y x))) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (+ (* z z) (* (/ 2.0 3.0) z)))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)))) (* (+ (* y y) (+ (* x x) (* y x))) (+ (/ 2.0 3.0) z)) (* (- (* y y) (* x x)) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3)))) (* (+ y x) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (+ (* z z) (* (/ 2.0 3.0) z)))) (* (- (* y y) (* x x)) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)))) (* (+ y x) (+ (/ 2.0 3.0) z)) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (- z) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (- z) 6.0)) (* (* 6.0 (/ 2.0 3.0)) (- y x)) (* (* 6.0 (- z)) (- y x)) (* (* 6.0 (/ 2.0 3.0)) (- y x)) (* (* 6.0 (- z)) (- y x)) (* (* (/ 2.0 3.0) 6.0) (- y x)) (* (* (- z) 6.0) (- y x)) (* (* (/ 2.0 3.0) 6.0) (- y x)) (* (* (- z) 6.0) (- y x)) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 (- (/ 2.0 3.0) z))) (* (sqrt (- y x)) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- (sqrt y) (sqrt x)) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3)))) (* (- y x) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- (/ 2.0 3.0) z))) (* (- (* y y) (* x x)) (* 6.0 (- (/ 2.0 3.0) z))) (* (exp x) (exp (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (log (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (exp (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (* (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (* (* (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (sqrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (sqrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (+ (pow x 3) (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3)) (+ (* x x) (- (* (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (* x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))))) (- (* x x) (* (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (- x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (+ x (* (- y x) (* 6.0 (/ 2.0 3.0)))) (+ x (* (- y x) (* 6.0 (/ 2.0 3.0)))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (* 6.0 (/ 2.0 3.0)) (- y x))) (+ x (* (* 6.0 (/ 2.0 3.0)) (- y x))) (+ x (* (* (/ 2.0 3.0) 6.0) (- y x))) (+ x (* (* (/ 2.0 3.0) 6.0) (- y x))) (* 6.0 (- (/ 2.0 3.0) z)) (+ (log 6.0) (log (- (/ 2.0 3.0) z))) (log (* 6.0 (- (/ 2.0 3.0) z))) (exp (* 6.0 (- (/ 2.0 3.0) z))) (* (* (* 6.0 6.0) 6.0) (* (* (- (/ 2.0 3.0) z) (- (/ 2.0 3.0) z)) (- (/ 2.0 3.0) z))) (* (cbrt (* 6.0 (- (/ 2.0 3.0) z))) (cbrt (* 6.0 (- (/ 2.0 3.0) z)))) (cbrt (* 6.0 (- (/ 2.0 3.0) z))) (* (* (* 6.0 (- (/ 2.0 3.0) z)) (* 6.0 (- (/ 2.0 3.0) z))) (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (* (sqrt 6.0) (sqrt (- (/ 2.0 3.0) z))) (* (sqrt 6.0) (sqrt (- (/ 2.0 3.0) z))) (* 6.0 (/ 2.0 3.0)) (* 6.0 (- z)) (* 6.0 (/ 2.0 3.0)) (* 6.0 (- z)) (* (/ 2.0 3.0) 6.0) (* (- z) 6.0) (* (/ 2.0 3.0) 6.0) (* (- z) 6.0) (* 6.0 (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))) (* 6.0 (sqrt (- (/ 2.0 3.0) z))) (* 6.0 1) (* 6.0 (+ (sqrt (/ 2.0 3.0)) (sqrt z))) (* 6.0 (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z))) (* 6.0 1) (* (cbrt 6.0) (- (/ 2.0 3.0) z)) (* (sqrt 6.0) (- (/ 2.0 3.0) z)) (* 6.0 (- (/ 2.0 3.0) z)) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (/ (exp (/ 2.0 3.0)) (exp z)) (log (- (/ 2.0 3.0) z)) (exp (- (/ 2.0 3.0) z)) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z))) (cbrt (- (/ 2.0 3.0) z)) (* (* (- (/ 2.0 3.0) z) (- (/ 2.0 3.0) z)) (- (/ 2.0 3.0) z)) (sqrt (- (/ 2.0 3.0) z)) (sqrt (- (/ 2.0 3.0) z)) (- (pow (/ 2.0 3.0) 3) (pow z 3)) (+ (* (/ 2.0 3.0) (/ 2.0 3.0)) (+ (* z z) (* (/ 2.0 3.0) z))) (- z) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)) (+ (/ 2.0 3.0) z) (+ (sqrt (/ 2.0 3.0)) (sqrt z)) (- (sqrt (/ 2.0 3.0)) (sqrt z)) (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ 2.0 3.0) z) (- z) (- (* 4.0 y) (+ (* 6.0 (* z y)) (* 4.0 x))) (- (* 6.0 (* x z)) (+ (* 6.0 (* z y)) (* 4.0 x))) (- (* 6.0 (* x z)) (+ (* 6.0 (* z y)) (* 4.0 x))) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) (- 4.0 (* 6.0 z)) (- 4.0 (* 6.0 z)) (- 4.0 (* 6.0 z)) (- 0.6666666666666666 z) (- 0.6666666666666666 z) (- 0.6666666666666666 z) 6.734 * * [simplify]: iteration 0 : 163 enodes (cost 1524 ) 6.768 * * [simplify]: iteration 1 : 434 enodes (cost 1470 ) 6.867 * * [simplify]: iteration 2 : 1427 enodes (cost 1352 ) 7.392 * * [simplify]: iteration done : 5000 enodes (cost 1336 ) 7.393 * [simplify]: Simplified to: (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (log (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (log (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (log (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (exp (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3) (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3) (* (cbrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (cbrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3) (sqrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (sqrt (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3)))) (* (+ (* (+ (/ 2.0 3.0) z) (/ 2.0 3.0)) (* z z)) (+ (* y y) (* x (+ y x)))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)))) (* (+ (* y y) (* x (+ y x))) (+ (/ 2.0 3.0) z)) (* (- (* y y) (* x x)) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3)))) (* (+ y x) (+ (* (+ (/ 2.0 3.0) z) (/ 2.0 3.0)) (* z z))) (* (- (* y y) (* x x)) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)))) (* (+ y x) (+ (/ 2.0 3.0) z)) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (- z))) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 (- (/ 2.0 3.0) z))) (* (sqrt (- y x)) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- (sqrt y) (sqrt x)) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3)))) (* (- y x) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- (/ 2.0 3.0) z))) (* (- (* y y) (* x x)) (* 6.0 (- (/ 2.0 3.0) z))) (exp (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (log (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (exp (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (* (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (pow (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) 3) (sqrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (sqrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (+ (pow x 3) (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3)) (+ (* (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (- (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) x)) (* x x)) (- (* x x) (* (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (- x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (- (/ 2.0 3.0) z)) (log (* 6.0 (- (/ 2.0 3.0) z))) (log (* 6.0 (- (/ 2.0 3.0) z))) (exp (* 6.0 (- (/ 2.0 3.0) z))) (pow (* 6.0 (- (/ 2.0 3.0) z)) 3) (* (cbrt (* 6.0 (- (/ 2.0 3.0) z))) (cbrt (* 6.0 (- (/ 2.0 3.0) z)))) (cbrt (* 6.0 (- (/ 2.0 3.0) z))) (pow (* 6.0 (- (/ 2.0 3.0) z)) 3) (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (* (sqrt 6.0) (sqrt (- (/ 2.0 3.0) z))) (* (sqrt 6.0) (sqrt (- (/ 2.0 3.0) z))) (* (/ 2.0 3.0) 6.0) (* (- z) 6.0) (* (/ 2.0 3.0) 6.0) (* (- z) 6.0) (* (/ 2.0 3.0) 6.0) (* (- z) 6.0) (* (/ 2.0 3.0) 6.0) (* (- z) 6.0) (* 6.0 (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))) (* 6.0 (sqrt (- (/ 2.0 3.0) z))) 6.0 (* 6.0 (+ (sqrt (/ 2.0 3.0)) (sqrt z))) (* 6.0 (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z))) 6.0 (* (cbrt 6.0) (- (/ 2.0 3.0) z)) (* (sqrt 6.0) (- (/ 2.0 3.0) z)) (* 6.0 (- (/ 2.0 3.0) z)) (* 6.0 (- (pow (/ 2.0 3.0) 3) (pow z 3))) (* 6.0 (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))) (exp (- (/ 2.0 3.0) z)) (log (- (/ 2.0 3.0) z)) (exp (- (/ 2.0 3.0) z)) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z))) (cbrt (- (/ 2.0 3.0) z)) (pow (- (/ 2.0 3.0) z) 3) (sqrt (- (/ 2.0 3.0) z)) (sqrt (- (/ 2.0 3.0) z)) (- (pow (/ 2.0 3.0) 3) (pow z 3)) (+ (* (+ (/ 2.0 3.0) z) (/ 2.0 3.0)) (* z z)) (- z) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)) (+ (/ 2.0 3.0) z) (+ (sqrt (/ 2.0 3.0)) (sqrt z)) (- (sqrt (/ 2.0 3.0)) (sqrt z)) (+ (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z)) (- (/ 2.0 3.0) z) (- z) (- (* y (- 4.0 (* 6.0 z))) (* 4.0 x)) (- (* (* 6.0 z) (- x y)) (* 4.0 x)) (- (* (* 6.0 z) (- x y)) (* 4.0 x)) (+ (* 4.0 y) (* x (- (* 6.0 z) 3.0))) (+ (* (* 6.0 z) (- x y)) (* 4.0 y)) (+ (* (* 6.0 z) (- x y)) (* 4.0 y)) (- 4.0 (* 6.0 z)) (- 4.0 (* 6.0 z)) (- 4.0 (* 6.0 z)) (- 0.6666666666666666 z) (- 0.6666666666666666 z) (- 0.6666666666666666 z) 7.394 * * * [progress]: adding candidates to table 7.641 * * [progress]: iteration 3 / 4 7.641 * * * [progress]: picking best candidate 7.670 * * * * [pick]: Picked # 7.670 * * * [progress]: localizing error 7.682 * * * [progress]: generating rewritten candidates 7.683 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 7.698 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 7.701 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.715 * * * [progress]: generating series expansions 7.715 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 7.715 * [approximate]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in (y x z) around 0 7.715 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in z 7.715 * [taylor]: Taking taylor expansion of -6.0 in z 7.715 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 7.715 * [taylor]: Taking taylor expansion of (- y x) in z 7.715 * [taylor]: Taking taylor expansion of y in z 7.715 * [taylor]: Taking taylor expansion of x in z 7.715 * [taylor]: Taking taylor expansion of z in z 7.715 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in x 7.715 * [taylor]: Taking taylor expansion of -6.0 in x 7.715 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 7.715 * [taylor]: Taking taylor expansion of (- y x) in x 7.715 * [taylor]: Taking taylor expansion of y in x 7.715 * [taylor]: Taking taylor expansion of x in x 7.715 * [taylor]: Taking taylor expansion of z in x 7.715 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in y 7.715 * [taylor]: Taking taylor expansion of -6.0 in y 7.715 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.715 * [taylor]: Taking taylor expansion of (- y x) in y 7.715 * [taylor]: Taking taylor expansion of y in y 7.715 * [taylor]: Taking taylor expansion of x in y 7.715 * [taylor]: Taking taylor expansion of z in y 7.715 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in y 7.715 * [taylor]: Taking taylor expansion of -6.0 in y 7.715 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.715 * [taylor]: Taking taylor expansion of (- y x) in y 7.715 * [taylor]: Taking taylor expansion of y in y 7.715 * [taylor]: Taking taylor expansion of x in y 7.715 * [taylor]: Taking taylor expansion of z in y 7.716 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 7.716 * [taylor]: Taking taylor expansion of 6.0 in x 7.716 * [taylor]: Taking taylor expansion of (* x z) in x 7.716 * [taylor]: Taking taylor expansion of x in x 7.716 * [taylor]: Taking taylor expansion of z in x 7.716 * [taylor]: Taking taylor expansion of 0 in z 7.717 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in x 7.717 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 7.717 * [taylor]: Taking taylor expansion of 6.0 in x 7.717 * [taylor]: Taking taylor expansion of z in x 7.717 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 7.717 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.717 * [taylor]: Taking taylor expansion of 6.0 in z 7.717 * [taylor]: Taking taylor expansion of z in z 7.719 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.719 * [taylor]: Taking taylor expansion of 6.0 in z 7.719 * [taylor]: Taking taylor expansion of z in z 7.720 * [taylor]: Taking taylor expansion of 0 in x 7.720 * [taylor]: Taking taylor expansion of 0 in z 7.721 * [taylor]: Taking taylor expansion of 0 in z 7.721 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 7.721 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 7.721 * [taylor]: Taking taylor expansion of -6.0 in z 7.721 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 7.721 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 7.721 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.721 * [taylor]: Taking taylor expansion of y in z 7.721 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.721 * [taylor]: Taking taylor expansion of x in z 7.721 * [taylor]: Taking taylor expansion of z in z 7.721 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 7.721 * [taylor]: Taking taylor expansion of -6.0 in x 7.722 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 7.722 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.722 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.722 * [taylor]: Taking taylor expansion of y in x 7.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.722 * [taylor]: Taking taylor expansion of x in x 7.722 * [taylor]: Taking taylor expansion of z in x 7.723 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 7.723 * [taylor]: Taking taylor expansion of -6.0 in y 7.723 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 7.723 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.723 * [taylor]: Taking taylor expansion of y in y 7.723 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.723 * [taylor]: Taking taylor expansion of x in y 7.723 * [taylor]: Taking taylor expansion of z in y 7.723 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 7.723 * [taylor]: Taking taylor expansion of -6.0 in y 7.723 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 7.723 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.723 * [taylor]: Taking taylor expansion of y in y 7.724 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.724 * [taylor]: Taking taylor expansion of x in y 7.724 * [taylor]: Taking taylor expansion of z in y 7.724 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x 7.724 * [taylor]: Taking taylor expansion of -6.0 in x 7.724 * [taylor]: Taking taylor expansion of z in x 7.725 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.725 * [taylor]: Taking taylor expansion of 6.0 in x 7.725 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.725 * [taylor]: Taking taylor expansion of (* x z) in x 7.725 * [taylor]: Taking taylor expansion of x in x 7.725 * [taylor]: Taking taylor expansion of z in x 7.726 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.726 * [taylor]: Taking taylor expansion of 6.0 in z 7.726 * [taylor]: Taking taylor expansion of z in z 7.726 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z 7.726 * [taylor]: Taking taylor expansion of -6.0 in z 7.726 * [taylor]: Taking taylor expansion of z in z 7.728 * [taylor]: Taking taylor expansion of 0 in x 7.729 * [taylor]: Taking taylor expansion of 0 in z 7.729 * [taylor]: Taking taylor expansion of 0 in z 7.732 * [taylor]: Taking taylor expansion of 0 in x 7.733 * [taylor]: Taking taylor expansion of 0 in z 7.734 * [taylor]: Taking taylor expansion of 0 in z 7.734 * [taylor]: Taking taylor expansion of 0 in z 7.736 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 7.736 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 7.736 * [taylor]: Taking taylor expansion of 6.0 in z 7.736 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 7.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 7.736 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.736 * [taylor]: Taking taylor expansion of x in z 7.736 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.736 * [taylor]: Taking taylor expansion of y in z 7.736 * [taylor]: Taking taylor expansion of z in z 7.736 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 7.736 * [taylor]: Taking taylor expansion of 6.0 in x 7.736 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 7.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.736 * [taylor]: Taking taylor expansion of x in x 7.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.737 * [taylor]: Taking taylor expansion of y in x 7.737 * [taylor]: Taking taylor expansion of z in x 7.737 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 7.737 * [taylor]: Taking taylor expansion of 6.0 in y 7.737 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 7.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.737 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.737 * [taylor]: Taking taylor expansion of x in y 7.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.737 * [taylor]: Taking taylor expansion of y in y 7.738 * [taylor]: Taking taylor expansion of z in y 7.738 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 7.738 * [taylor]: Taking taylor expansion of 6.0 in y 7.738 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 7.738 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.738 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.738 * [taylor]: Taking taylor expansion of x in y 7.738 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.738 * [taylor]: Taking taylor expansion of y in y 7.739 * [taylor]: Taking taylor expansion of z in y 7.739 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x 7.739 * [taylor]: Taking taylor expansion of -6.0 in x 7.739 * [taylor]: Taking taylor expansion of z in x 7.740 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.741 * [taylor]: Taking taylor expansion of 6.0 in x 7.741 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.741 * [taylor]: Taking taylor expansion of (* x z) in x 7.741 * [taylor]: Taking taylor expansion of x in x 7.741 * [taylor]: Taking taylor expansion of z in x 7.741 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.741 * [taylor]: Taking taylor expansion of 6.0 in z 7.741 * [taylor]: Taking taylor expansion of z in z 7.741 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z 7.742 * [taylor]: Taking taylor expansion of -6.0 in z 7.742 * [taylor]: Taking taylor expansion of z in z 7.743 * [taylor]: Taking taylor expansion of 0 in x 7.744 * [taylor]: Taking taylor expansion of 0 in z 7.745 * [taylor]: Taking taylor expansion of 0 in z 7.752 * [taylor]: Taking taylor expansion of 0 in x 7.752 * [taylor]: Taking taylor expansion of 0 in z 7.754 * [taylor]: Taking taylor expansion of 0 in z 7.754 * [taylor]: Taking taylor expansion of 0 in z 7.755 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 7.756 * [approximate]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in (x y) around 0 7.756 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in y 7.756 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.756 * [taylor]: Taking taylor expansion of 4.0 in y 7.756 * [taylor]: Taking taylor expansion of y in y 7.756 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 7.756 * [taylor]: Taking taylor expansion of 3.0 in y 7.756 * [taylor]: Taking taylor expansion of x in y 7.756 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in x 7.757 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 7.757 * [taylor]: Taking taylor expansion of 4.0 in x 7.757 * [taylor]: Taking taylor expansion of y in x 7.757 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 7.757 * [taylor]: Taking taylor expansion of 3.0 in x 7.757 * [taylor]: Taking taylor expansion of x in x 7.757 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in x 7.757 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 7.757 * [taylor]: Taking taylor expansion of 4.0 in x 7.757 * [taylor]: Taking taylor expansion of y in x 7.757 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 7.757 * [taylor]: Taking taylor expansion of 3.0 in x 7.757 * [taylor]: Taking taylor expansion of x in x 7.757 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.757 * [taylor]: Taking taylor expansion of 4.0 in y 7.757 * [taylor]: Taking taylor expansion of y in y 7.760 * [taylor]: Taking taylor expansion of (- 3.0) in y 7.760 * [taylor]: Taking taylor expansion of 3.0 in y 7.763 * [taylor]: Taking taylor expansion of 0 in y 7.766 * [taylor]: Taking taylor expansion of 0 in y 7.767 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in (x y) around 0 7.767 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in y 7.768 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.768 * [taylor]: Taking taylor expansion of 4.0 in y 7.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.768 * [taylor]: Taking taylor expansion of y in y 7.768 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 7.768 * [taylor]: Taking taylor expansion of 3.0 in y 7.768 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.768 * [taylor]: Taking taylor expansion of x in y 7.768 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in x 7.768 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.768 * [taylor]: Taking taylor expansion of 4.0 in x 7.768 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.768 * [taylor]: Taking taylor expansion of y in x 7.768 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.768 * [taylor]: Taking taylor expansion of 3.0 in x 7.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.768 * [taylor]: Taking taylor expansion of x in x 7.768 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in x 7.768 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.768 * [taylor]: Taking taylor expansion of 4.0 in x 7.769 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.769 * [taylor]: Taking taylor expansion of y in x 7.769 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.769 * [taylor]: Taking taylor expansion of 3.0 in x 7.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.769 * [taylor]: Taking taylor expansion of x in x 7.770 * [taylor]: Taking taylor expansion of (- 3.0) in y 7.770 * [taylor]: Taking taylor expansion of 3.0 in y 7.771 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.771 * [taylor]: Taking taylor expansion of 4.0 in y 7.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.772 * [taylor]: Taking taylor expansion of y in y 7.774 * [taylor]: Taking taylor expansion of 0 in y 7.778 * [taylor]: Taking taylor expansion of 0 in y 7.782 * [taylor]: Taking taylor expansion of 0 in y 7.784 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in (x y) around 0 7.784 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in y 7.784 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 7.784 * [taylor]: Taking taylor expansion of 3.0 in y 7.784 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.784 * [taylor]: Taking taylor expansion of x in y 7.784 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.784 * [taylor]: Taking taylor expansion of 4.0 in y 7.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.784 * [taylor]: Taking taylor expansion of y in y 7.784 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x 7.784 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.784 * [taylor]: Taking taylor expansion of 3.0 in x 7.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.784 * [taylor]: Taking taylor expansion of x in x 7.785 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.785 * [taylor]: Taking taylor expansion of 4.0 in x 7.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.785 * [taylor]: Taking taylor expansion of y in x 7.785 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x 7.785 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.785 * [taylor]: Taking taylor expansion of 3.0 in x 7.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.785 * [taylor]: Taking taylor expansion of x in x 7.785 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.785 * [taylor]: Taking taylor expansion of 4.0 in x 7.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.785 * [taylor]: Taking taylor expansion of y in x 7.786 * [taylor]: Taking taylor expansion of 3.0 in y 7.787 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 7.787 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.787 * [taylor]: Taking taylor expansion of 4.0 in y 7.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.787 * [taylor]: Taking taylor expansion of y in y 7.790 * [taylor]: Taking taylor expansion of 0 in y 7.793 * [taylor]: Taking taylor expansion of 0 in y 7.798 * [taylor]: Taking taylor expansion of 0 in y 7.798 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.799 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in (x y z) around 0 7.799 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z 7.799 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z 7.799 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 7.799 * [taylor]: Taking taylor expansion of 6.0 in z 7.799 * [taylor]: Taking taylor expansion of (* x z) in z 7.799 * [taylor]: Taking taylor expansion of x in z 7.799 * [taylor]: Taking taylor expansion of z in z 7.799 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 7.799 * [taylor]: Taking taylor expansion of 4.0 in z 7.799 * [taylor]: Taking taylor expansion of y in z 7.799 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z 7.799 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 7.799 * [taylor]: Taking taylor expansion of 6.0 in z 7.799 * [taylor]: Taking taylor expansion of (* z y) in z 7.799 * [taylor]: Taking taylor expansion of z in z 7.799 * [taylor]: Taking taylor expansion of y in z 7.799 * [taylor]: Taking taylor expansion of (* 3.0 x) in z 7.799 * [taylor]: Taking taylor expansion of 3.0 in z 7.799 * [taylor]: Taking taylor expansion of x in z 7.799 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y 7.799 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y 7.799 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 7.799 * [taylor]: Taking taylor expansion of 6.0 in y 7.799 * [taylor]: Taking taylor expansion of (* x z) in y 7.799 * [taylor]: Taking taylor expansion of x in y 7.799 * [taylor]: Taking taylor expansion of z in y 7.800 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.800 * [taylor]: Taking taylor expansion of 4.0 in y 7.800 * [taylor]: Taking taylor expansion of y in y 7.800 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y 7.800 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 7.800 * [taylor]: Taking taylor expansion of 6.0 in y 7.800 * [taylor]: Taking taylor expansion of (* z y) in y 7.800 * [taylor]: Taking taylor expansion of z in y 7.800 * [taylor]: Taking taylor expansion of y in y 7.800 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 7.800 * [taylor]: Taking taylor expansion of 3.0 in y 7.800 * [taylor]: Taking taylor expansion of x in y 7.800 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 7.800 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 7.800 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 7.800 * [taylor]: Taking taylor expansion of 6.0 in x 7.800 * [taylor]: Taking taylor expansion of (* x z) in x 7.800 * [taylor]: Taking taylor expansion of x in x 7.800 * [taylor]: Taking taylor expansion of z in x 7.800 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 7.800 * [taylor]: Taking taylor expansion of 4.0 in x 7.800 * [taylor]: Taking taylor expansion of y in x 7.800 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 7.800 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 7.800 * [taylor]: Taking taylor expansion of 6.0 in x 7.800 * [taylor]: Taking taylor expansion of (* z y) in x 7.800 * [taylor]: Taking taylor expansion of z in x 7.800 * [taylor]: Taking taylor expansion of y in x 7.800 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 7.800 * [taylor]: Taking taylor expansion of 3.0 in x 7.800 * [taylor]: Taking taylor expansion of x in x 7.800 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 7.800 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 7.800 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 7.800 * [taylor]: Taking taylor expansion of 6.0 in x 7.800 * [taylor]: Taking taylor expansion of (* x z) in x 7.800 * [taylor]: Taking taylor expansion of x in x 7.800 * [taylor]: Taking taylor expansion of z in x 7.800 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 7.800 * [taylor]: Taking taylor expansion of 4.0 in x 7.800 * [taylor]: Taking taylor expansion of y in x 7.800 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 7.800 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 7.800 * [taylor]: Taking taylor expansion of 6.0 in x 7.800 * [taylor]: Taking taylor expansion of (* z y) in x 7.800 * [taylor]: Taking taylor expansion of z in x 7.800 * [taylor]: Taking taylor expansion of y in x 7.800 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 7.800 * [taylor]: Taking taylor expansion of 3.0 in x 7.800 * [taylor]: Taking taylor expansion of x in x 7.801 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y 7.802 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.802 * [taylor]: Taking taylor expansion of 4.0 in y 7.802 * [taylor]: Taking taylor expansion of y in y 7.802 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 7.802 * [taylor]: Taking taylor expansion of 6.0 in y 7.802 * [taylor]: Taking taylor expansion of (* z y) in y 7.802 * [taylor]: Taking taylor expansion of z in y 7.802 * [taylor]: Taking taylor expansion of y in y 7.803 * [taylor]: Taking taylor expansion of 0 in z 7.806 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y 7.806 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 7.806 * [taylor]: Taking taylor expansion of 6.0 in y 7.806 * [taylor]: Taking taylor expansion of z in y 7.806 * [taylor]: Taking taylor expansion of 3.0 in y 7.807 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z 7.807 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.807 * [taylor]: Taking taylor expansion of 6.0 in z 7.807 * [taylor]: Taking taylor expansion of z in z 7.807 * [taylor]: Taking taylor expansion of 3.0 in z 7.810 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z 7.810 * [taylor]: Taking taylor expansion of 4.0 in z 7.810 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.810 * [taylor]: Taking taylor expansion of 6.0 in z 7.810 * [taylor]: Taking taylor expansion of z in z 7.814 * [taylor]: Taking taylor expansion of 0 in y 7.814 * [taylor]: Taking taylor expansion of 0 in z 7.815 * [taylor]: Taking taylor expansion of 0 in z 7.817 * [taylor]: Taking taylor expansion of 0 in z 7.820 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in (x y z) around 0 7.820 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in z 7.820 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z 7.820 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 7.820 * [taylor]: Taking taylor expansion of 6.0 in z 7.820 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.820 * [taylor]: Taking taylor expansion of (* x z) in z 7.820 * [taylor]: Taking taylor expansion of x in z 7.820 * [taylor]: Taking taylor expansion of z in z 7.821 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 7.821 * [taylor]: Taking taylor expansion of 4.0 in z 7.821 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.821 * [taylor]: Taking taylor expansion of y in z 7.821 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z 7.821 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 7.821 * [taylor]: Taking taylor expansion of 6.0 in z 7.821 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.821 * [taylor]: Taking taylor expansion of (* z y) in z 7.821 * [taylor]: Taking taylor expansion of z in z 7.821 * [taylor]: Taking taylor expansion of y in z 7.821 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 7.821 * [taylor]: Taking taylor expansion of 3.0 in z 7.821 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.821 * [taylor]: Taking taylor expansion of x in z 7.821 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in y 7.821 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y 7.821 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 7.821 * [taylor]: Taking taylor expansion of 6.0 in y 7.821 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.821 * [taylor]: Taking taylor expansion of (* x z) in y 7.822 * [taylor]: Taking taylor expansion of x in y 7.822 * [taylor]: Taking taylor expansion of z in y 7.822 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.822 * [taylor]: Taking taylor expansion of 4.0 in y 7.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.822 * [taylor]: Taking taylor expansion of y in y 7.822 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y 7.822 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.822 * [taylor]: Taking taylor expansion of 6.0 in y 7.822 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.822 * [taylor]: Taking taylor expansion of (* z y) in y 7.822 * [taylor]: Taking taylor expansion of z in y 7.822 * [taylor]: Taking taylor expansion of y in y 7.822 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 7.822 * [taylor]: Taking taylor expansion of 3.0 in y 7.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.822 * [taylor]: Taking taylor expansion of x in y 7.822 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 7.822 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 7.823 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.823 * [taylor]: Taking taylor expansion of 6.0 in x 7.823 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.823 * [taylor]: Taking taylor expansion of (* x z) in x 7.823 * [taylor]: Taking taylor expansion of x in x 7.823 * [taylor]: Taking taylor expansion of z in x 7.823 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.823 * [taylor]: Taking taylor expansion of 4.0 in x 7.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.823 * [taylor]: Taking taylor expansion of y in x 7.823 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 7.823 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.823 * [taylor]: Taking taylor expansion of 6.0 in x 7.823 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.823 * [taylor]: Taking taylor expansion of (* z y) in x 7.823 * [taylor]: Taking taylor expansion of z in x 7.823 * [taylor]: Taking taylor expansion of y in x 7.823 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.823 * [taylor]: Taking taylor expansion of 3.0 in x 7.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.823 * [taylor]: Taking taylor expansion of x in x 7.824 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 7.824 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 7.824 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.824 * [taylor]: Taking taylor expansion of 6.0 in x 7.824 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.824 * [taylor]: Taking taylor expansion of (* x z) in x 7.824 * [taylor]: Taking taylor expansion of x in x 7.824 * [taylor]: Taking taylor expansion of z in x 7.824 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.824 * [taylor]: Taking taylor expansion of 4.0 in x 7.824 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.824 * [taylor]: Taking taylor expansion of y in x 7.824 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 7.824 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.824 * [taylor]: Taking taylor expansion of 6.0 in x 7.824 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.824 * [taylor]: Taking taylor expansion of (* z y) in x 7.824 * [taylor]: Taking taylor expansion of z in x 7.824 * [taylor]: Taking taylor expansion of y in x 7.824 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.824 * [taylor]: Taking taylor expansion of 3.0 in x 7.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.824 * [taylor]: Taking taylor expansion of x in x 7.826 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y 7.826 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 7.826 * [taylor]: Taking taylor expansion of 6.0 in y 7.826 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.826 * [taylor]: Taking taylor expansion of z in y 7.826 * [taylor]: Taking taylor expansion of 3.0 in y 7.828 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y 7.828 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.828 * [taylor]: Taking taylor expansion of 4.0 in y 7.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.828 * [taylor]: Taking taylor expansion of y in y 7.829 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.829 * [taylor]: Taking taylor expansion of 6.0 in y 7.829 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.829 * [taylor]: Taking taylor expansion of (* z y) in y 7.829 * [taylor]: Taking taylor expansion of z in y 7.829 * [taylor]: Taking taylor expansion of y in y 7.829 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z 7.829 * [taylor]: Taking taylor expansion of 4.0 in z 7.829 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.829 * [taylor]: Taking taylor expansion of 6.0 in z 7.829 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.830 * [taylor]: Taking taylor expansion of z in z 7.832 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z 7.832 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.832 * [taylor]: Taking taylor expansion of 6.0 in z 7.832 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.832 * [taylor]: Taking taylor expansion of z in z 7.832 * [taylor]: Taking taylor expansion of 3.0 in z 7.837 * [taylor]: Taking taylor expansion of 0 in y 7.840 * [taylor]: Taking taylor expansion of 0 in z 7.840 * [taylor]: Taking taylor expansion of 0 in z 7.849 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in (x y z) around 0 7.849 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in z 7.849 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z 7.849 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 7.849 * [taylor]: Taking taylor expansion of 6.0 in z 7.849 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.849 * [taylor]: Taking taylor expansion of (* x z) in z 7.849 * [taylor]: Taking taylor expansion of x in z 7.850 * [taylor]: Taking taylor expansion of z in z 7.850 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 7.850 * [taylor]: Taking taylor expansion of 3.0 in z 7.850 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.850 * [taylor]: Taking taylor expansion of x in z 7.850 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z 7.850 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 7.850 * [taylor]: Taking taylor expansion of 6.0 in z 7.850 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.850 * [taylor]: Taking taylor expansion of (* z y) in z 7.850 * [taylor]: Taking taylor expansion of z in z 7.850 * [taylor]: Taking taylor expansion of y in z 7.850 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 7.851 * [taylor]: Taking taylor expansion of 4.0 in z 7.851 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.851 * [taylor]: Taking taylor expansion of y in z 7.851 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 7.851 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y 7.851 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 7.851 * [taylor]: Taking taylor expansion of 6.0 in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.851 * [taylor]: Taking taylor expansion of (* x z) in y 7.851 * [taylor]: Taking taylor expansion of x in y 7.851 * [taylor]: Taking taylor expansion of z in y 7.851 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 7.851 * [taylor]: Taking taylor expansion of 3.0 in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.851 * [taylor]: Taking taylor expansion of x in y 7.851 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 7.851 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.851 * [taylor]: Taking taylor expansion of 6.0 in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.851 * [taylor]: Taking taylor expansion of (* z y) in y 7.851 * [taylor]: Taking taylor expansion of z in y 7.851 * [taylor]: Taking taylor expansion of y in y 7.851 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.851 * [taylor]: Taking taylor expansion of 4.0 in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.851 * [taylor]: Taking taylor expansion of y in y 7.852 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 7.852 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 7.852 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.852 * [taylor]: Taking taylor expansion of 6.0 in x 7.852 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.852 * [taylor]: Taking taylor expansion of (* x z) in x 7.852 * [taylor]: Taking taylor expansion of x in x 7.852 * [taylor]: Taking taylor expansion of z in x 7.852 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.852 * [taylor]: Taking taylor expansion of 3.0 in x 7.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.852 * [taylor]: Taking taylor expansion of x in x 7.853 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 7.853 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.853 * [taylor]: Taking taylor expansion of 6.0 in x 7.853 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.853 * [taylor]: Taking taylor expansion of (* z y) in x 7.853 * [taylor]: Taking taylor expansion of z in x 7.853 * [taylor]: Taking taylor expansion of y in x 7.853 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.853 * [taylor]: Taking taylor expansion of 4.0 in x 7.853 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.853 * [taylor]: Taking taylor expansion of y in x 7.853 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 7.853 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 7.853 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.853 * [taylor]: Taking taylor expansion of 6.0 in x 7.853 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.853 * [taylor]: Taking taylor expansion of (* x z) in x 7.853 * [taylor]: Taking taylor expansion of x in x 7.853 * [taylor]: Taking taylor expansion of z in x 7.853 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 7.853 * [taylor]: Taking taylor expansion of 3.0 in x 7.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.853 * [taylor]: Taking taylor expansion of x in x 7.854 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 7.854 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.854 * [taylor]: Taking taylor expansion of 6.0 in x 7.854 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.854 * [taylor]: Taking taylor expansion of (* z y) in x 7.854 * [taylor]: Taking taylor expansion of z in x 7.854 * [taylor]: Taking taylor expansion of y in x 7.854 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 7.854 * [taylor]: Taking taylor expansion of 4.0 in x 7.854 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.854 * [taylor]: Taking taylor expansion of y in x 7.855 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y 7.855 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 7.855 * [taylor]: Taking taylor expansion of 6.0 in y 7.855 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.855 * [taylor]: Taking taylor expansion of z in y 7.855 * [taylor]: Taking taylor expansion of 3.0 in y 7.857 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 7.857 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 7.857 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.857 * [taylor]: Taking taylor expansion of 6.0 in y 7.857 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.857 * [taylor]: Taking taylor expansion of (* z y) in y 7.857 * [taylor]: Taking taylor expansion of z in y 7.857 * [taylor]: Taking taylor expansion of y in y 7.858 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.858 * [taylor]: Taking taylor expansion of 4.0 in y 7.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.858 * [taylor]: Taking taylor expansion of y in y 7.858 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 4.0)) in z 7.859 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z 7.859 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.859 * [taylor]: Taking taylor expansion of 6.0 in z 7.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.859 * [taylor]: Taking taylor expansion of z in z 7.859 * [taylor]: Taking taylor expansion of 4.0 in z 7.860 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z 7.860 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.860 * [taylor]: Taking taylor expansion of 6.0 in z 7.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.860 * [taylor]: Taking taylor expansion of z in z 7.860 * [taylor]: Taking taylor expansion of 3.0 in z 7.865 * [taylor]: Taking taylor expansion of 0 in y 7.867 * [taylor]: Taking taylor expansion of 0 in z 7.868 * [taylor]: Taking taylor expansion of 0 in z 7.871 * * * [progress]: simplifying candidates 7.872 * [simplify]: Simplifying using # : (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z))) (+ (log (- y x)) (+ (log 6.0) (log (- z)))) (+ (log (- y x)) (log (* 6.0 (- z)))) (log (* (- y x) (* 6.0 (- z)))) (exp (* (- y x) (* 6.0 (- z)))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 6.0) 6.0) (* (* (- z) (- z)) (- z)))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 (- z)) (* 6.0 (- z))) (* 6.0 (- z)))) (* (cbrt (* (- y x) (* 6.0 (- z)))) (cbrt (* (- y x) (* 6.0 (- z))))) (cbrt (* (- y x) (* 6.0 (- z)))) (* (* (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z)))) (* (- y x) (* 6.0 (- z)))) (sqrt (* (- y x) (* 6.0 (- z)))) (sqrt (* (- y x) (* 6.0 (- z)))) (* (- y x) (* 6.0 z)) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 (- z))) (* (sqrt (- y x)) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z))) (* (- (sqrt y) (sqrt x)) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- z))) (* (- (* y y) (* x x)) (* 6.0 (- z))) (* (exp x) (exp (* (- y x) (* (/ 2.0 3.0) 6.0)))) (log (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (* (exp x) (exp (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (* (- y x) (* 6.0 (- z))))) (* (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (* (- y x) (* 6.0 (- z))))) (log (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (exp (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (* (cbrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (cbrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z)))))) (cbrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (* (* (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z)))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (sqrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (sqrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z))))) (+ (* (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ (* y y) (+ (* x x) (* y x)))) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- z))))) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (+ (* y y) (+ (* x x) (* y x)))) (+ (* (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ y x)) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (* (- (* y y) (* x x)) (* 6.0 (- z))))) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (+ y x)) (+ (* (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ (* y y) (+ (* x x) (* y x)))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- z))))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ (* y y) (+ (* x x) (* y x)))) (+ (* (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ y x)) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- (* y y) (* x x)) (* 6.0 (- z))))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ y x)) (+ (pow (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) 3) (pow (* (- y x) (* 6.0 (- z))) 3)) (+ (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (- (* (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z)))) (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z)))))) (- (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z))))) (- (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (- y x) (* 6.0 (- z)))) (+ (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* 6.0 (- z)))) 0 (- (* 6.0 (* x z)) (* 6.0 (* z y))) (- (* 6.0 (* x z)) (* 6.0 (* z y))) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) 7.876 * * [simplify]: iteration 0 : 129 enodes (cost 1363 ) 7.899 * * [simplify]: iteration 1 : 417 enodes (cost 1187 ) 8.008 * * [simplify]: iteration 2 : 1673 enodes (cost 1083 ) 8.568 * * [simplify]: iteration done : 5001 enodes (cost 1067 ) 8.569 * [simplify]: Simplified to: (* (- y x) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z))) (log (* (- y x) (* 6.0 (- z)))) (log (* (- y x) (* 6.0 (- z)))) (log (* (- y x) (* 6.0 (- z)))) (exp (* (- y x) (* 6.0 (- z)))) (pow (* (- y x) (* 6.0 (- z))) 3) (pow (* (- y x) (* 6.0 (- z))) 3) (* (cbrt (* (- y x) (* 6.0 (- z)))) (cbrt (* (- y x) (* 6.0 (- z))))) (cbrt (* (- y x) (* 6.0 (- z)))) (pow (* (- y x) (* 6.0 (- z))) 3) (sqrt (* (- y x) (* 6.0 (- z)))) (sqrt (* (- y x) (* 6.0 (- z)))) (* (- y x) (* 6.0 z)) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 (- z))) (* (sqrt (- y x)) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z))) (* (- (sqrt y) (sqrt x)) (* 6.0 (- z))) (* (- y x) (* 6.0 (- z))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- z))) (* (- (* y y) (* x x)) (* 6.0 (- z))) (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (log (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (pow (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) 3) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x))) (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (exp (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (exp (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (log (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (exp (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (* (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))))) (cbrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (pow (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))) 3) (sqrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (sqrt (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (- (* (+ (* y y) (* x (+ y x))) (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3))) (* (* (+ (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x))) (- (pow y 3) (pow x 3))) (* 6.0 z))) (* (+ (* y y) (* x (+ y x))) (+ (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x)))) (- (* (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ y x)) (* (* (+ (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x))) (- (* y y) (* x x))) (* 6.0 z))) (* (+ (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x))) (+ y x)) (- (* (+ (* y y) (* x (+ y x))) (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))))) (* (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (- (pow y 3) (pow x 3))) (* 6.0 z))) (* (+ (* y y) (* x (+ y x))) (- x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (- (* (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ y x)) (* (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (- (* y y) (* x x))) (* 6.0 z))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ y x)) (+ (pow (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) 3) (pow (* (- y x) (* 6.0 (- z))) 3)) (+ (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (* (- y x) (* 6.0 (- z))) (- (* (- y x) (* 6.0 (- z))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))))) (* (+ x (* (- y x) (- (* (/ 2.0 3.0) 6.0) (* 6.0 (- z))))) (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))) (+ x (* (- y x) (- (* (/ 2.0 3.0) 6.0) (* 6.0 (- z))))) (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 0 (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y))) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 3.0 x)) (+ (* 4.0 y) (* 6.0 (* z (- x y)))) (+ (* 4.0 y) (* 6.0 (* z (- x y)))) 8.569 * * * [progress]: adding candidates to table 8.718 * * [progress]: iteration 4 / 4 8.719 * * * [progress]: picking best candidate 8.741 * * * * [pick]: Picked # 8.741 * * * [progress]: localizing error 8.752 * * * [progress]: generating rewritten candidates 8.752 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 8.765 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 8.767 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 8.781 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 8.798 * * * [progress]: generating series expansions 8.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 8.798 * [approximate]: Taking taylor expansion of (* 6.0 (* z (- x y))) in (z x y) around 0 8.798 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- x y))) in y 8.798 * [taylor]: Taking taylor expansion of 6.0 in y 8.798 * [taylor]: Taking taylor expansion of (* z (- x y)) in y 8.798 * [taylor]: Taking taylor expansion of z in y 8.798 * [taylor]: Taking taylor expansion of (- x y) in y 8.798 * [taylor]: Taking taylor expansion of x in y 8.798 * [taylor]: Taking taylor expansion of y in y 8.798 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- x y))) in x 8.798 * [taylor]: Taking taylor expansion of 6.0 in x 8.798 * [taylor]: Taking taylor expansion of (* z (- x y)) in x 8.798 * [taylor]: Taking taylor expansion of z in x 8.798 * [taylor]: Taking taylor expansion of (- x y) in x 8.798 * [taylor]: Taking taylor expansion of x in x 8.798 * [taylor]: Taking taylor expansion of y in x 8.798 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- x y))) in z 8.798 * [taylor]: Taking taylor expansion of 6.0 in z 8.798 * [taylor]: Taking taylor expansion of (* z (- x y)) in z 8.798 * [taylor]: Taking taylor expansion of z in z 8.798 * [taylor]: Taking taylor expansion of (- x y) in z 8.798 * [taylor]: Taking taylor expansion of x in z 8.798 * [taylor]: Taking taylor expansion of y in z 8.798 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- x y))) in z 8.798 * [taylor]: Taking taylor expansion of 6.0 in z 8.798 * [taylor]: Taking taylor expansion of (* z (- x y)) in z 8.798 * [taylor]: Taking taylor expansion of z in z 8.798 * [taylor]: Taking taylor expansion of (- x y) in z 8.798 * [taylor]: Taking taylor expansion of x in z 8.798 * [taylor]: Taking taylor expansion of y in z 8.799 * [taylor]: Taking taylor expansion of 0 in x 8.799 * [taylor]: Taking taylor expansion of 0 in y 8.800 * [taylor]: Taking taylor expansion of (- (* 6.0 x) (* 6.0 y)) in x 8.800 * [taylor]: Taking taylor expansion of (* 6.0 x) in x 8.800 * [taylor]: Taking taylor expansion of 6.0 in x 8.800 * [taylor]: Taking taylor expansion of x in x 8.800 * [taylor]: Taking taylor expansion of (* 6.0 y) in x 8.800 * [taylor]: Taking taylor expansion of 6.0 in x 8.800 * [taylor]: Taking taylor expansion of y in x 8.801 * [taylor]: Taking taylor expansion of (- (* 6.0 y)) in y 8.801 * [taylor]: Taking taylor expansion of (* 6.0 y) in y 8.801 * [taylor]: Taking taylor expansion of 6.0 in y 8.801 * [taylor]: Taking taylor expansion of y in y 8.801 * [taylor]: Taking taylor expansion of 0 in y 8.803 * [taylor]: Taking taylor expansion of 0 in x 8.803 * [taylor]: Taking taylor expansion of 0 in y 8.804 * [taylor]: Taking taylor expansion of 6.0 in y 8.804 * [taylor]: Taking taylor expansion of 0 in y 8.808 * [taylor]: Taking taylor expansion of 0 in x 8.808 * [taylor]: Taking taylor expansion of 0 in y 8.808 * [taylor]: Taking taylor expansion of 0 in y 8.809 * [taylor]: Taking taylor expansion of 0 in y 8.809 * [taylor]: Taking taylor expansion of 0 in y 8.810 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (z x y) around 0 8.810 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 8.810 * [taylor]: Taking taylor expansion of 6.0 in y 8.810 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 8.810 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.810 * [taylor]: Taking taylor expansion of x in y 8.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.810 * [taylor]: Taking taylor expansion of y in y 8.810 * [taylor]: Taking taylor expansion of z in y 8.811 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 8.811 * [taylor]: Taking taylor expansion of 6.0 in x 8.811 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 8.811 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 8.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.811 * [taylor]: Taking taylor expansion of x in x 8.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.811 * [taylor]: Taking taylor expansion of y in x 8.811 * [taylor]: Taking taylor expansion of z in x 8.812 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 8.812 * [taylor]: Taking taylor expansion of 6.0 in z 8.812 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 8.812 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 8.812 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.812 * [taylor]: Taking taylor expansion of x in z 8.812 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.812 * [taylor]: Taking taylor expansion of y in z 8.812 * [taylor]: Taking taylor expansion of z in z 8.812 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 8.812 * [taylor]: Taking taylor expansion of 6.0 in z 8.812 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 8.812 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 8.812 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.812 * [taylor]: Taking taylor expansion of x in z 8.812 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.812 * [taylor]: Taking taylor expansion of y in z 8.812 * [taylor]: Taking taylor expansion of z in z 8.812 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 8.812 * [taylor]: Taking taylor expansion of 6.0 in x 8.812 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 8.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.812 * [taylor]: Taking taylor expansion of x in x 8.813 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.813 * [taylor]: Taking taylor expansion of y in x 8.813 * [taylor]: Taking taylor expansion of 6.0 in y 8.815 * [taylor]: Taking taylor expansion of 0 in x 8.816 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 y))) in y 8.816 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 y)) in y 8.816 * [taylor]: Taking taylor expansion of 6.0 in y 8.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.816 * [taylor]: Taking taylor expansion of y in y 8.819 * [taylor]: Taking taylor expansion of 0 in x 8.819 * [taylor]: Taking taylor expansion of 0 in y 8.820 * [taylor]: Taking taylor expansion of 0 in y 8.824 * [taylor]: Taking taylor expansion of 0 in x 8.824 * [taylor]: Taking taylor expansion of 0 in y 8.824 * [taylor]: Taking taylor expansion of 0 in y 8.826 * [taylor]: Taking taylor expansion of 0 in y 8.828 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (z x y) around 0 8.828 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 8.828 * [taylor]: Taking taylor expansion of -6.0 in y 8.828 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 8.828 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.828 * [taylor]: Taking taylor expansion of y in y 8.828 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.828 * [taylor]: Taking taylor expansion of x in y 8.828 * [taylor]: Taking taylor expansion of z in y 8.829 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 8.829 * [taylor]: Taking taylor expansion of -6.0 in x 8.829 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 8.829 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.829 * [taylor]: Taking taylor expansion of y in x 8.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.829 * [taylor]: Taking taylor expansion of x in x 8.829 * [taylor]: Taking taylor expansion of z in x 8.830 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 8.830 * [taylor]: Taking taylor expansion of -6.0 in z 8.830 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 8.830 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 8.830 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.830 * [taylor]: Taking taylor expansion of y in z 8.830 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.830 * [taylor]: Taking taylor expansion of x in z 8.830 * [taylor]: Taking taylor expansion of z in z 8.830 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 8.830 * [taylor]: Taking taylor expansion of -6.0 in z 8.830 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 8.830 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 8.830 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.830 * [taylor]: Taking taylor expansion of y in z 8.830 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.830 * [taylor]: Taking taylor expansion of x in z 8.830 * [taylor]: Taking taylor expansion of z in z 8.830 * [taylor]: Taking taylor expansion of (* -6.0 (- (/ 1 y) (/ 1 x))) in x 8.830 * [taylor]: Taking taylor expansion of -6.0 in x 8.830 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 8.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.830 * [taylor]: Taking taylor expansion of y in x 8.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.830 * [taylor]: Taking taylor expansion of x in x 8.831 * [taylor]: Taking taylor expansion of 6.0 in y 8.833 * [taylor]: Taking taylor expansion of 0 in x 8.834 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 y))) in y 8.834 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 y)) in y 8.834 * [taylor]: Taking taylor expansion of 6.0 in y 8.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.834 * [taylor]: Taking taylor expansion of y in y 8.837 * [taylor]: Taking taylor expansion of 0 in x 8.837 * [taylor]: Taking taylor expansion of 0 in y 8.839 * [taylor]: Taking taylor expansion of 0 in y 8.843 * [taylor]: Taking taylor expansion of 0 in x 8.843 * [taylor]: Taking taylor expansion of 0 in y 8.843 * [taylor]: Taking taylor expansion of 0 in y 8.845 * [taylor]: Taking taylor expansion of 0 in y 8.846 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 8.847 * [approximate]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in (x y) around 0 8.847 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in y 8.847 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.847 * [taylor]: Taking taylor expansion of 4.0 in y 8.847 * [taylor]: Taking taylor expansion of y in y 8.847 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 8.847 * [taylor]: Taking taylor expansion of 3.0 in y 8.847 * [taylor]: Taking taylor expansion of x in y 8.847 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in x 8.847 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 8.847 * [taylor]: Taking taylor expansion of 4.0 in x 8.847 * [taylor]: Taking taylor expansion of y in x 8.847 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 8.847 * [taylor]: Taking taylor expansion of 3.0 in x 8.847 * [taylor]: Taking taylor expansion of x in x 8.847 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 3.0 x)) in x 8.847 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 8.847 * [taylor]: Taking taylor expansion of 4.0 in x 8.847 * [taylor]: Taking taylor expansion of y in x 8.847 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 8.847 * [taylor]: Taking taylor expansion of 3.0 in x 8.847 * [taylor]: Taking taylor expansion of x in x 8.848 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.848 * [taylor]: Taking taylor expansion of 4.0 in y 8.848 * [taylor]: Taking taylor expansion of y in y 8.850 * [taylor]: Taking taylor expansion of (- 3.0) in y 8.850 * [taylor]: Taking taylor expansion of 3.0 in y 8.853 * [taylor]: Taking taylor expansion of 0 in y 8.856 * [taylor]: Taking taylor expansion of 0 in y 8.857 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in (x y) around 0 8.857 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in y 8.857 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.857 * [taylor]: Taking taylor expansion of 4.0 in y 8.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.857 * [taylor]: Taking taylor expansion of y in y 8.858 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 8.858 * [taylor]: Taking taylor expansion of 3.0 in y 8.858 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.858 * [taylor]: Taking taylor expansion of x in y 8.858 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in x 8.858 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.858 * [taylor]: Taking taylor expansion of 4.0 in x 8.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.858 * [taylor]: Taking taylor expansion of y in x 8.858 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.858 * [taylor]: Taking taylor expansion of 3.0 in x 8.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.858 * [taylor]: Taking taylor expansion of x in x 8.858 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 3.0 (/ 1 x))) in x 8.858 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.858 * [taylor]: Taking taylor expansion of 4.0 in x 8.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.858 * [taylor]: Taking taylor expansion of y in x 8.858 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.858 * [taylor]: Taking taylor expansion of 3.0 in x 8.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.858 * [taylor]: Taking taylor expansion of x in x 8.860 * [taylor]: Taking taylor expansion of (- 3.0) in y 8.860 * [taylor]: Taking taylor expansion of 3.0 in y 8.861 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.861 * [taylor]: Taking taylor expansion of 4.0 in y 8.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.861 * [taylor]: Taking taylor expansion of y in y 8.864 * [taylor]: Taking taylor expansion of 0 in y 8.868 * [taylor]: Taking taylor expansion of 0 in y 8.871 * [taylor]: Taking taylor expansion of 0 in y 8.873 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in (x y) around 0 8.873 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in y 8.873 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 8.873 * [taylor]: Taking taylor expansion of 3.0 in y 8.873 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.873 * [taylor]: Taking taylor expansion of x in y 8.873 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.873 * [taylor]: Taking taylor expansion of 4.0 in y 8.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.873 * [taylor]: Taking taylor expansion of y in y 8.873 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x 8.873 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.873 * [taylor]: Taking taylor expansion of 3.0 in x 8.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.873 * [taylor]: Taking taylor expansion of x in x 8.874 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.874 * [taylor]: Taking taylor expansion of 4.0 in x 8.874 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.874 * [taylor]: Taking taylor expansion of y in x 8.874 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x 8.874 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.874 * [taylor]: Taking taylor expansion of 3.0 in x 8.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.874 * [taylor]: Taking taylor expansion of x in x 8.874 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.874 * [taylor]: Taking taylor expansion of 4.0 in x 8.874 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.874 * [taylor]: Taking taylor expansion of y in x 8.875 * [taylor]: Taking taylor expansion of 3.0 in y 8.876 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 8.876 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.876 * [taylor]: Taking taylor expansion of 4.0 in y 8.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.876 * [taylor]: Taking taylor expansion of y in y 8.884 * [taylor]: Taking taylor expansion of 0 in y 8.887 * [taylor]: Taking taylor expansion of 0 in y 8.891 * [taylor]: Taking taylor expansion of 0 in y 8.892 * * * * [progress]: [ 3 / 4 ] generating series at (2) 8.893 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in (x y z) around 0 8.893 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z 8.893 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z 8.893 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 8.893 * [taylor]: Taking taylor expansion of 6.0 in z 8.893 * [taylor]: Taking taylor expansion of (* x z) in z 8.893 * [taylor]: Taking taylor expansion of x in z 8.893 * [taylor]: Taking taylor expansion of z in z 8.893 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 8.893 * [taylor]: Taking taylor expansion of 4.0 in z 8.893 * [taylor]: Taking taylor expansion of y in z 8.893 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z 8.893 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 8.893 * [taylor]: Taking taylor expansion of 6.0 in z 8.893 * [taylor]: Taking taylor expansion of (* z y) in z 8.893 * [taylor]: Taking taylor expansion of z in z 8.893 * [taylor]: Taking taylor expansion of y in z 8.893 * [taylor]: Taking taylor expansion of (* 3.0 x) in z 8.893 * [taylor]: Taking taylor expansion of 3.0 in z 8.893 * [taylor]: Taking taylor expansion of x in z 8.893 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y 8.893 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y 8.893 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 8.893 * [taylor]: Taking taylor expansion of 6.0 in y 8.893 * [taylor]: Taking taylor expansion of (* x z) in y 8.893 * [taylor]: Taking taylor expansion of x in y 8.893 * [taylor]: Taking taylor expansion of z in y 8.893 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.893 * [taylor]: Taking taylor expansion of 4.0 in y 8.893 * [taylor]: Taking taylor expansion of y in y 8.893 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y 8.893 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 8.893 * [taylor]: Taking taylor expansion of 6.0 in y 8.893 * [taylor]: Taking taylor expansion of (* z y) in y 8.893 * [taylor]: Taking taylor expansion of z in y 8.893 * [taylor]: Taking taylor expansion of y in y 8.893 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 8.893 * [taylor]: Taking taylor expansion of 3.0 in y 8.893 * [taylor]: Taking taylor expansion of x in y 8.893 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 8.893 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 8.893 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 8.893 * [taylor]: Taking taylor expansion of 6.0 in x 8.893 * [taylor]: Taking taylor expansion of (* x z) in x 8.893 * [taylor]: Taking taylor expansion of x in x 8.893 * [taylor]: Taking taylor expansion of z in x 8.893 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 8.893 * [taylor]: Taking taylor expansion of 4.0 in x 8.894 * [taylor]: Taking taylor expansion of y in x 8.894 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 8.894 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 8.894 * [taylor]: Taking taylor expansion of 6.0 in x 8.894 * [taylor]: Taking taylor expansion of (* z y) in x 8.894 * [taylor]: Taking taylor expansion of z in x 8.894 * [taylor]: Taking taylor expansion of y in x 8.894 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 8.894 * [taylor]: Taking taylor expansion of 3.0 in x 8.894 * [taylor]: Taking taylor expansion of x in x 8.894 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x 8.894 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x 8.894 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 8.894 * [taylor]: Taking taylor expansion of 6.0 in x 8.894 * [taylor]: Taking taylor expansion of (* x z) in x 8.894 * [taylor]: Taking taylor expansion of x in x 8.894 * [taylor]: Taking taylor expansion of z in x 8.894 * [taylor]: Taking taylor expansion of (* 4.0 y) in x 8.894 * [taylor]: Taking taylor expansion of 4.0 in x 8.894 * [taylor]: Taking taylor expansion of y in x 8.894 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x 8.894 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 8.894 * [taylor]: Taking taylor expansion of 6.0 in x 8.894 * [taylor]: Taking taylor expansion of (* z y) in x 8.894 * [taylor]: Taking taylor expansion of z in x 8.894 * [taylor]: Taking taylor expansion of y in x 8.894 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 8.894 * [taylor]: Taking taylor expansion of 3.0 in x 8.894 * [taylor]: Taking taylor expansion of x in x 8.895 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y 8.895 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.895 * [taylor]: Taking taylor expansion of 4.0 in y 8.895 * [taylor]: Taking taylor expansion of y in y 8.895 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 8.895 * [taylor]: Taking taylor expansion of 6.0 in y 8.895 * [taylor]: Taking taylor expansion of (* z y) in y 8.895 * [taylor]: Taking taylor expansion of z in y 8.895 * [taylor]: Taking taylor expansion of y in y 8.896 * [taylor]: Taking taylor expansion of 0 in z 8.899 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y 8.899 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 8.899 * [taylor]: Taking taylor expansion of 6.0 in y 8.899 * [taylor]: Taking taylor expansion of z in y 8.899 * [taylor]: Taking taylor expansion of 3.0 in y 8.900 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z 8.900 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 8.900 * [taylor]: Taking taylor expansion of 6.0 in z 8.900 * [taylor]: Taking taylor expansion of z in z 8.900 * [taylor]: Taking taylor expansion of 3.0 in z 8.903 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z 8.903 * [taylor]: Taking taylor expansion of 4.0 in z 8.903 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 8.903 * [taylor]: Taking taylor expansion of 6.0 in z 8.903 * [taylor]: Taking taylor expansion of z in z 8.907 * [taylor]: Taking taylor expansion of 0 in y 8.907 * [taylor]: Taking taylor expansion of 0 in z 8.908 * [taylor]: Taking taylor expansion of 0 in z 8.910 * [taylor]: Taking taylor expansion of 0 in z 8.913 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in (x y z) around 0 8.913 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in z 8.913 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z 8.913 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 8.913 * [taylor]: Taking taylor expansion of 6.0 in z 8.913 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 8.913 * [taylor]: Taking taylor expansion of (* x z) in z 8.913 * [taylor]: Taking taylor expansion of x in z 8.913 * [taylor]: Taking taylor expansion of z in z 8.913 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 8.913 * [taylor]: Taking taylor expansion of 4.0 in z 8.913 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.913 * [taylor]: Taking taylor expansion of y in z 8.913 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z 8.913 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 8.913 * [taylor]: Taking taylor expansion of 6.0 in z 8.913 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 8.913 * [taylor]: Taking taylor expansion of (* z y) in z 8.913 * [taylor]: Taking taylor expansion of z in z 8.913 * [taylor]: Taking taylor expansion of y in z 8.914 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 8.914 * [taylor]: Taking taylor expansion of 3.0 in z 8.914 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.914 * [taylor]: Taking taylor expansion of x in z 8.914 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in y 8.914 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y 8.914 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 8.914 * [taylor]: Taking taylor expansion of 6.0 in y 8.914 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 8.914 * [taylor]: Taking taylor expansion of (* x z) in y 8.914 * [taylor]: Taking taylor expansion of x in y 8.914 * [taylor]: Taking taylor expansion of z in y 8.914 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.914 * [taylor]: Taking taylor expansion of 4.0 in y 8.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.914 * [taylor]: Taking taylor expansion of y in y 8.914 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y 8.914 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 8.914 * [taylor]: Taking taylor expansion of 6.0 in y 8.914 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.914 * [taylor]: Taking taylor expansion of (* z y) in y 8.914 * [taylor]: Taking taylor expansion of z in y 8.914 * [taylor]: Taking taylor expansion of y in y 8.915 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 8.915 * [taylor]: Taking taylor expansion of 3.0 in y 8.915 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.915 * [taylor]: Taking taylor expansion of x in y 8.915 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 8.915 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 8.915 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.915 * [taylor]: Taking taylor expansion of 6.0 in x 8.915 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.915 * [taylor]: Taking taylor expansion of (* x z) in x 8.915 * [taylor]: Taking taylor expansion of x in x 8.915 * [taylor]: Taking taylor expansion of z in x 8.915 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.915 * [taylor]: Taking taylor expansion of 4.0 in x 8.915 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.915 * [taylor]: Taking taylor expansion of y in x 8.915 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 8.915 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 8.915 * [taylor]: Taking taylor expansion of 6.0 in x 8.915 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.915 * [taylor]: Taking taylor expansion of (* z y) in x 8.916 * [taylor]: Taking taylor expansion of z in x 8.916 * [taylor]: Taking taylor expansion of y in x 8.916 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.916 * [taylor]: Taking taylor expansion of 3.0 in x 8.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.916 * [taylor]: Taking taylor expansion of x in x 8.916 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x)))) in x 8.916 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x 8.916 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.916 * [taylor]: Taking taylor expansion of 6.0 in x 8.916 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.916 * [taylor]: Taking taylor expansion of (* x z) in x 8.916 * [taylor]: Taking taylor expansion of x in x 8.916 * [taylor]: Taking taylor expansion of z in x 8.916 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.916 * [taylor]: Taking taylor expansion of 4.0 in x 8.916 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.916 * [taylor]: Taking taylor expansion of y in x 8.917 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x 8.917 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 8.917 * [taylor]: Taking taylor expansion of 6.0 in x 8.917 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.917 * [taylor]: Taking taylor expansion of (* z y) in x 8.917 * [taylor]: Taking taylor expansion of z in x 8.917 * [taylor]: Taking taylor expansion of y in x 8.917 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.917 * [taylor]: Taking taylor expansion of 3.0 in x 8.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.917 * [taylor]: Taking taylor expansion of x in x 8.918 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y 8.918 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 8.918 * [taylor]: Taking taylor expansion of 6.0 in y 8.918 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.918 * [taylor]: Taking taylor expansion of z in y 8.919 * [taylor]: Taking taylor expansion of 3.0 in y 8.921 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y 8.921 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.921 * [taylor]: Taking taylor expansion of 4.0 in y 8.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.921 * [taylor]: Taking taylor expansion of y in y 8.921 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 8.921 * [taylor]: Taking taylor expansion of 6.0 in y 8.921 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.921 * [taylor]: Taking taylor expansion of (* z y) in y 8.921 * [taylor]: Taking taylor expansion of z in y 8.921 * [taylor]: Taking taylor expansion of y in y 8.922 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z 8.922 * [taylor]: Taking taylor expansion of 4.0 in z 8.922 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 8.922 * [taylor]: Taking taylor expansion of 6.0 in z 8.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.922 * [taylor]: Taking taylor expansion of z in z 8.924 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z 8.924 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 8.924 * [taylor]: Taking taylor expansion of 6.0 in z 8.924 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.924 * [taylor]: Taking taylor expansion of z in z 8.924 * [taylor]: Taking taylor expansion of 3.0 in z 8.929 * [taylor]: Taking taylor expansion of 0 in y 8.931 * [taylor]: Taking taylor expansion of 0 in z 8.932 * [taylor]: Taking taylor expansion of 0 in z 8.935 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in (x y z) around 0 8.935 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in z 8.935 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z 8.935 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 8.935 * [taylor]: Taking taylor expansion of 6.0 in z 8.935 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 8.935 * [taylor]: Taking taylor expansion of (* x z) in z 8.935 * [taylor]: Taking taylor expansion of x in z 8.935 * [taylor]: Taking taylor expansion of z in z 8.935 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z 8.935 * [taylor]: Taking taylor expansion of 3.0 in z 8.935 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.935 * [taylor]: Taking taylor expansion of x in z 8.935 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z 8.935 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 8.935 * [taylor]: Taking taylor expansion of 6.0 in z 8.935 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 8.935 * [taylor]: Taking taylor expansion of (* z y) in z 8.935 * [taylor]: Taking taylor expansion of z in z 8.936 * [taylor]: Taking taylor expansion of y in z 8.936 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 8.936 * [taylor]: Taking taylor expansion of 4.0 in z 8.936 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.936 * [taylor]: Taking taylor expansion of y in z 8.936 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 8.936 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y 8.936 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 8.936 * [taylor]: Taking taylor expansion of 6.0 in y 8.936 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 8.936 * [taylor]: Taking taylor expansion of (* x z) in y 8.936 * [taylor]: Taking taylor expansion of x in y 8.936 * [taylor]: Taking taylor expansion of z in y 8.936 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 8.936 * [taylor]: Taking taylor expansion of 3.0 in y 8.936 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.936 * [taylor]: Taking taylor expansion of x in y 8.936 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 8.936 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 8.936 * [taylor]: Taking taylor expansion of 6.0 in y 8.936 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.936 * [taylor]: Taking taylor expansion of (* z y) in y 8.936 * [taylor]: Taking taylor expansion of z in y 8.936 * [taylor]: Taking taylor expansion of y in y 8.937 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.937 * [taylor]: Taking taylor expansion of 4.0 in y 8.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.937 * [taylor]: Taking taylor expansion of y in y 8.938 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 8.938 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 8.938 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.938 * [taylor]: Taking taylor expansion of 6.0 in x 8.938 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.938 * [taylor]: Taking taylor expansion of (* x z) in x 8.938 * [taylor]: Taking taylor expansion of x in x 8.938 * [taylor]: Taking taylor expansion of z in x 8.938 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.938 * [taylor]: Taking taylor expansion of 3.0 in x 8.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.938 * [taylor]: Taking taylor expansion of x in x 8.939 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 8.939 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 8.939 * [taylor]: Taking taylor expansion of 6.0 in x 8.939 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.939 * [taylor]: Taking taylor expansion of (* z y) in x 8.939 * [taylor]: Taking taylor expansion of z in x 8.939 * [taylor]: Taking taylor expansion of y in x 8.939 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.939 * [taylor]: Taking taylor expansion of 4.0 in x 8.939 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.939 * [taylor]: Taking taylor expansion of y in x 8.939 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x 8.939 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x 8.939 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.939 * [taylor]: Taking taylor expansion of 6.0 in x 8.939 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.939 * [taylor]: Taking taylor expansion of (* x z) in x 8.939 * [taylor]: Taking taylor expansion of x in x 8.939 * [taylor]: Taking taylor expansion of z in x 8.939 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 8.939 * [taylor]: Taking taylor expansion of 3.0 in x 8.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.939 * [taylor]: Taking taylor expansion of x in x 8.940 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x 8.940 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 8.940 * [taylor]: Taking taylor expansion of 6.0 in x 8.940 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.940 * [taylor]: Taking taylor expansion of (* z y) in x 8.940 * [taylor]: Taking taylor expansion of z in x 8.940 * [taylor]: Taking taylor expansion of y in x 8.940 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x 8.940 * [taylor]: Taking taylor expansion of 4.0 in x 8.940 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.940 * [taylor]: Taking taylor expansion of y in x 8.941 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y 8.941 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 8.941 * [taylor]: Taking taylor expansion of 6.0 in y 8.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.941 * [taylor]: Taking taylor expansion of z in y 8.941 * [taylor]: Taking taylor expansion of 3.0 in y 8.944 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y 8.944 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y 8.944 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 8.944 * [taylor]: Taking taylor expansion of 6.0 in y 8.944 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.944 * [taylor]: Taking taylor expansion of (* z y) in y 8.944 * [taylor]: Taking taylor expansion of z in y 8.944 * [taylor]: Taking taylor expansion of y in y 8.944 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.944 * [taylor]: Taking taylor expansion of 4.0 in y 8.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.944 * [taylor]: Taking taylor expansion of y in y 8.945 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 4.0)) in z 8.945 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z 8.945 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 8.945 * [taylor]: Taking taylor expansion of 6.0 in z 8.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.945 * [taylor]: Taking taylor expansion of z in z 8.946 * [taylor]: Taking taylor expansion of 4.0 in z 8.947 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z 8.947 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 8.947 * [taylor]: Taking taylor expansion of 6.0 in z 8.947 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.947 * [taylor]: Taking taylor expansion of z in z 8.948 * [taylor]: Taking taylor expansion of 3.0 in z 8.953 * [taylor]: Taking taylor expansion of 0 in y 8.956 * [taylor]: Taking taylor expansion of 0 in z 8.956 * [taylor]: Taking taylor expansion of 0 in z 8.959 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 8.959 * [approximate]: Taking taylor expansion of (* z (- x y)) in (z x y) around 0 8.959 * [taylor]: Taking taylor expansion of (* z (- x y)) in y 8.959 * [taylor]: Taking taylor expansion of z in y 8.959 * [taylor]: Taking taylor expansion of (- x y) in y 8.959 * [taylor]: Taking taylor expansion of x in y 8.959 * [taylor]: Taking taylor expansion of y in y 8.959 * [taylor]: Taking taylor expansion of (* z (- x y)) in x 8.959 * [taylor]: Taking taylor expansion of z in x 8.959 * [taylor]: Taking taylor expansion of (- x y) in x 8.959 * [taylor]: Taking taylor expansion of x in x 8.959 * [taylor]: Taking taylor expansion of y in x 8.959 * [taylor]: Taking taylor expansion of (* z (- x y)) in z 8.959 * [taylor]: Taking taylor expansion of z in z 8.960 * [taylor]: Taking taylor expansion of (- x y) in z 8.960 * [taylor]: Taking taylor expansion of x in z 8.960 * [taylor]: Taking taylor expansion of y in z 8.960 * [taylor]: Taking taylor expansion of (* z (- x y)) in z 8.960 * [taylor]: Taking taylor expansion of z in z 8.960 * [taylor]: Taking taylor expansion of (- x y) in z 8.960 * [taylor]: Taking taylor expansion of x in z 8.960 * [taylor]: Taking taylor expansion of y in z 8.960 * [taylor]: Taking taylor expansion of 0 in x 8.960 * [taylor]: Taking taylor expansion of 0 in y 8.961 * [taylor]: Taking taylor expansion of (- x y) in x 8.961 * [taylor]: Taking taylor expansion of x in x 8.961 * [taylor]: Taking taylor expansion of y in x 8.961 * [taylor]: Taking taylor expansion of (- y) in y 8.961 * [taylor]: Taking taylor expansion of y in y 8.961 * [taylor]: Taking taylor expansion of 0 in y 8.963 * [taylor]: Taking taylor expansion of 0 in x 8.963 * [taylor]: Taking taylor expansion of 0 in y 8.963 * [taylor]: Taking taylor expansion of 1 in y 8.963 * [taylor]: Taking taylor expansion of 0 in y 8.965 * [taylor]: Taking taylor expansion of 0 in x 8.965 * [taylor]: Taking taylor expansion of 0 in y 8.965 * [taylor]: Taking taylor expansion of 0 in y 8.966 * [taylor]: Taking taylor expansion of 0 in y 8.966 * [taylor]: Taking taylor expansion of 0 in y 8.966 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in (z x y) around 0 8.966 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 8.966 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.966 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.966 * [taylor]: Taking taylor expansion of x in y 8.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.966 * [taylor]: Taking taylor expansion of y in y 8.967 * [taylor]: Taking taylor expansion of z in y 8.967 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 8.967 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 8.967 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.967 * [taylor]: Taking taylor expansion of x in x 8.968 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.968 * [taylor]: Taking taylor expansion of y in x 8.968 * [taylor]: Taking taylor expansion of z in x 8.968 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 8.968 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 8.968 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.968 * [taylor]: Taking taylor expansion of x in z 8.968 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.968 * [taylor]: Taking taylor expansion of y in z 8.968 * [taylor]: Taking taylor expansion of z in z 8.969 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 8.969 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 8.969 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.969 * [taylor]: Taking taylor expansion of x in z 8.969 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.969 * [taylor]: Taking taylor expansion of y in z 8.969 * [taylor]: Taking taylor expansion of z in z 8.969 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 8.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.969 * [taylor]: Taking taylor expansion of x in x 8.969 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.969 * [taylor]: Taking taylor expansion of y in x 8.970 * [taylor]: Taking taylor expansion of 1 in y 8.971 * [taylor]: Taking taylor expansion of 0 in x 8.972 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.972 * [taylor]: Taking taylor expansion of y in y 8.974 * [taylor]: Taking taylor expansion of 0 in x 8.974 * [taylor]: Taking taylor expansion of 0 in y 8.981 * [taylor]: Taking taylor expansion of 0 in y 8.985 * [taylor]: Taking taylor expansion of 0 in x 8.985 * [taylor]: Taking taylor expansion of 0 in y 8.985 * [taylor]: Taking taylor expansion of 0 in y 8.986 * [taylor]: Taking taylor expansion of 0 in y 8.988 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) z)) in (z x y) around 0 8.988 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) z)) in y 8.988 * [taylor]: Taking taylor expansion of -1 in y 8.988 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 8.988 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.988 * [taylor]: Taking taylor expansion of y in y 8.988 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.988 * [taylor]: Taking taylor expansion of x in y 8.989 * [taylor]: Taking taylor expansion of z in y 8.989 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) z)) in x 8.989 * [taylor]: Taking taylor expansion of -1 in x 8.989 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 8.989 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 8.989 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.989 * [taylor]: Taking taylor expansion of y in x 8.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.989 * [taylor]: Taking taylor expansion of x in x 8.989 * [taylor]: Taking taylor expansion of z in x 8.990 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) z)) in z 8.990 * [taylor]: Taking taylor expansion of -1 in z 8.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 8.990 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 8.990 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.990 * [taylor]: Taking taylor expansion of y in z 8.990 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.990 * [taylor]: Taking taylor expansion of x in z 8.990 * [taylor]: Taking taylor expansion of z in z 8.990 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) z)) in z 8.990 * [taylor]: Taking taylor expansion of -1 in z 8.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 8.990 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 8.991 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.991 * [taylor]: Taking taylor expansion of y in z 8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.991 * [taylor]: Taking taylor expansion of x in z 8.991 * [taylor]: Taking taylor expansion of z in z 8.991 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 y) (/ 1 x))) in x 8.991 * [taylor]: Taking taylor expansion of -1 in x 8.991 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 8.991 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.991 * [taylor]: Taking taylor expansion of y in x 8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.991 * [taylor]: Taking taylor expansion of x in x 8.992 * [taylor]: Taking taylor expansion of 1 in y 8.994 * [taylor]: Taking taylor expansion of 0 in x 8.995 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.996 * [taylor]: Taking taylor expansion of y in y 8.998 * [taylor]: Taking taylor expansion of 0 in x 8.998 * [taylor]: Taking taylor expansion of 0 in y 9.000 * [taylor]: Taking taylor expansion of 0 in y 9.004 * [taylor]: Taking taylor expansion of 0 in x 9.004 * [taylor]: Taking taylor expansion of 0 in y 9.004 * [taylor]: Taking taylor expansion of 0 in y 9.006 * [taylor]: Taking taylor expansion of 0 in y 9.007 * * * [progress]: simplifying candidates 9.009 * [simplify]: Simplifying using # : (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y))) (+ (log 6.0) (+ (log z) (log (- x y)))) (+ (log 6.0) (log (* z (- x y)))) (log (* 6.0 (* z (- x y)))) (exp (* 6.0 (* z (- x y)))) (* (* (* 6.0 6.0) 6.0) (* (* (* z z) z) (* (* (- x y) (- x y)) (- x y)))) (* (* (* 6.0 6.0) 6.0) (* (* (* z (- x y)) (* z (- x y))) (* z (- x y)))) (* (cbrt (* 6.0 (* z (- x y)))) (cbrt (* 6.0 (* z (- x y))))) (cbrt (* 6.0 (* z (- x y)))) (* (* (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y)))) (* 6.0 (* z (- x y)))) (sqrt (* 6.0 (* z (- x y)))) (sqrt (* 6.0 (* z (- x y)))) (* 6.0 (* z x)) (* 6.0 (* z (- y))) (* 6.0 (* z x)) (* 6.0 (* z (- y))) (* 6.0 (* x z)) (* 6.0 (* (- y) z)) (* 6.0 (* x z)) (* 6.0 (* (- y) z)) (* (* z x) 6.0) (* (* z (- y)) 6.0) (* (* z x) 6.0) (* (* z (- y)) 6.0) (* (* x z) 6.0) (* (* (- y) z) 6.0) (* (* x z) 6.0) (* (* (- y) z) 6.0) (* 6.0 z) (* (cbrt 6.0) (* z (- x y))) (* (sqrt 6.0) (* z (- x y))) (* 6.0 (* z (- x y))) (* 6.0 (* z (- (pow x 3) (pow y 3)))) (* 6.0 (* z (- (* x x) (* y y)))) (* (exp x) (exp (* (- y x) (* (/ 2.0 3.0) 6.0)))) (log (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (* (exp x) (exp (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (* 6.0 (* z (- x y))))) (* (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (* 6.0 (* z (- x y))))) (log (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (exp (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (* (cbrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (cbrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y)))))) (cbrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (* (* (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y)))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (sqrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (sqrt (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y))))) (+ (* (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ (* x x) (+ (* y y) (* x y)))) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (* 6.0 (* z (- (pow x 3) (pow y 3)))))) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (+ (* x x) (+ (* y y) (* x y)))) (+ (* (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ x y)) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (* 6.0 (* z (- (* x x) (* y y)))))) (* (+ (* x x) (- (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0))) (* x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (+ x y)) (+ (* (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ (* x x) (+ (* y y) (* x y)))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- (pow x 3) (pow y 3)))))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ (* x x) (+ (* y y) (* x y)))) (+ (* (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ x y)) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- (* x x) (* y y)))))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x y)) (+ (pow (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) 3) (pow (* 6.0 (* z (- x y))) 3)) (+ (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (- (* (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y)))) (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y)))))) (- (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y))))) (- (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- x y)))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z x))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z x))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* x z))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* x z))) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (* z x) 6.0)) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (* z x) 6.0)) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (* x z) 6.0)) (+ (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* (* x z) 6.0)) (+ (* (- y x) (* (/ 2.0 3.0) 6.0)) (* 6.0 (* z (- x y)))) (* z (- x y)) (+ (log z) (log (- x y))) (log (* z (- x y))) (exp (* z (- x y))) (* (* (* z z) z) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* z (- x y))) (cbrt (* z (- x y)))) (cbrt (* z (- x y))) (* (* (* z (- x y)) (* z (- x y))) (* z (- x y))) (sqrt (* z (- x y))) (sqrt (* z (- x y))) (* (sqrt z) (sqrt (- x y))) (* (sqrt z) (sqrt (- x y))) (* z x) (* z (- y)) (* z x) (* z (- y)) (* x z) (* (- y) z) (* x z) (* (- y) z) (* z (* (cbrt (- x y)) (cbrt (- x y)))) (* z (sqrt (- x y))) (* z 1) (* z (+ (sqrt x) (sqrt y))) (* z 1) (* (cbrt z) (- x y)) (* (sqrt z) (- x y)) (* z (- x y)) (* z (- (pow x 3) (pow y 3))) (* z (- (* x x) (* y y))) (- (* 6.0 (* x z)) (* 6.0 (* z y))) (- (* 6.0 (* x z)) (* 6.0 (* z y))) (- (* 6.0 (* x z)) (* 6.0 (* z y))) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 6.0 (* z y))) (- (* x z) (* z y)) (- (* x z) (* z y)) (- (* x z) (* z y)) 9.014 * * [simplify]: iteration 0 : 160 enodes (cost 1738 ) 9.050 * * [simplify]: iteration 1 : 464 enodes (cost 1618 ) 9.172 * * [simplify]: iteration 2 : 1627 enodes (cost 1468 ) 9.702 * * [simplify]: iteration done : 5000 enodes (cost 1468 ) 9.703 * [simplify]: Simplified to: (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y))) (log (* 6.0 (* z (- x y)))) (log (* 6.0 (* z (- x y)))) (log (* 6.0 (* z (- x y)))) (exp (* 6.0 (* z (- x y)))) (pow (* 6.0 (* z (- x y))) 3) (pow (* 6.0 (* z (- x y))) 3) (* (cbrt (* 6.0 (* z (- x y)))) (cbrt (* 6.0 (* z (- x y))))) (cbrt (* 6.0 (* z (- x y)))) (pow (* 6.0 (* z (- x y))) 3) (sqrt (* 6.0 (* z (- x y)))) (sqrt (* 6.0 (* z (- x y)))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 (* x z)) (- (* 6.0 (* z y))) (* 6.0 z) (* (cbrt 6.0) (* z (- x y))) (* (sqrt 6.0) (* z (- x y))) (* 6.0 (* z (- x y))) (* 6.0 (* z (- (pow x 3) (pow y 3)))) (* 6.0 (* z (- (* x x) (* y y)))) (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (log (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (exp (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (* (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (cbrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (pow (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) 3) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (sqrt (+ x (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x)) (* x x)) (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (exp (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (exp (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (log (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (exp (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (* (cbrt (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (cbrt (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y))))))) (cbrt (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (pow (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y))))) 3) (sqrt (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (sqrt (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (+ (* (* 6.0 (* z (- (pow x 3) (pow y 3)))) (+ (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x)) (* x x))) (* (+ (* y (+ x y)) (* x x)) (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)))) (* (+ (* y (+ x y)) (* x x)) (+ (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x)) (* x x))) (+ (* (+ (pow x 3) (pow (* (- y x) (* (/ 2.0 3.0) 6.0)) 3)) (+ x y)) (* (* (+ (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x)) (* x x)) 6.0) (* z (- (* x x) (* y y))))) (* (+ x y) (+ (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (- (* (- y x) (* (/ 2.0 3.0) 6.0)) x)) (* x x))) (+ (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- (pow x 3) (pow y 3))))) (* (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ (* y (+ x y)) (* x x)))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ (* y (+ x y)) (* x x))) (+ (* (- (* x x) (* (* (- y x) (* (/ 2.0 3.0) 6.0)) (* (- y x) (* (/ 2.0 3.0) 6.0)))) (+ x y)) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (* 6.0 (* z (- (* x x) (* y y)))))) (* (- x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x y)) (+ (pow (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) 3) (pow (* 6.0 (* z (- x y))) 3)) (+ (* (* 6.0 (* z (- x y))) (- (* 6.0 (* z (- x y))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (* (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))) (+ x (* (- y x) (* (/ 2.0 3.0) 6.0))))) (* (+ (* 6.0 (- (* (- y x) (/ 2.0 3.0)) (* z (- x y)))) x) (+ x (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))))) (+ (* 6.0 (- (* (- y x) (/ 2.0 3.0)) (* z (- x y)))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (+ (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z x))) x) (* 6.0 (+ (* (- y x) (/ 2.0 3.0)) (* z (- x y)))) (* z (- x y)) (log (* z (- x y))) (log (* z (- x y))) (exp (* z (- x y))) (pow (* z (- x y)) 3) (* (cbrt (* z (- x y))) (cbrt (* z (- x y)))) (cbrt (* z (- x y))) (pow (* z (- x y)) 3) (sqrt (* z (- x y))) (sqrt (* z (- x y))) (* (sqrt z) (sqrt (- x y))) (* (sqrt z) (sqrt (- x y))) (* z x) (* z (- y)) (* z x) (* z (- y)) (* z x) (* z (- y)) (* z x) (* z (- y)) (* z (* (cbrt (- x y)) (cbrt (- x y)))) (* z (sqrt (- x y))) z (* z (+ (sqrt x) (sqrt y))) z (* (cbrt z) (- x y)) (* (sqrt z) (- x y)) (* z (- x y)) (* z (- (pow x 3) (pow y 3))) (* z (- (* x x) (* y y))) (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y))) (* 6.0 (* z (- x y))) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (* 4.0 y) (* 3.0 x)) (- (+ (* 6.0 (* x z)) (* 4.0 y)) (* 3.0 x)) (+ (* 4.0 y) (* 6.0 (* z (- x y)))) (+ (* 4.0 y) (* 6.0 (* z (- x y)))) (* z (- x y)) (* z (- x y)) (* z (- x y)) 9.704 * * * [progress]: adding candidates to table 9.964 * [progress]: [Phase 3 of 3] Extracting. 9.964 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 9.967 * * * [regime-changes]: Trying 4 branch expressions: ((- (/ 2.0 3.0) z) z y x) 9.968 * * * * [regimes]: Trying to branch on (- (/ 2.0 3.0) z) from (# # # # # # # # #) 10.009 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 10.053 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 10.098 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 10.143 * * * [regime]: Found split indices: #