20.889 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.431 * * * [progress]: [2/2] Setting up program.
0.434 * [progress]: [Phase 2 of 3] Improving.
0.434 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
0.670 * * [simplify]: iteration  0 :  4926  enodes  (cost  13 )
0.670 * * [simplify]: iteration  1 :  4926  enodes  (cost  13 )
0.672 * [simplify]: Simplified to:
   (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
0.676 * * [progress]: iteration 1 / 4
0.676 * * * [progress]: picking best candidate
0.682 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))))>
0.682 * * * [progress]: localizing error
0.690 * * * [progress]: generating rewritten candidates
0.690 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.704 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.713 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
0.730 * * * [progress]: generating series expansions
0.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.730 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in (y x z) around 0
0.730 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in z
0.730 * [taylor]: Taking taylor expansion of 6.0 in z
0.730 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in z
0.730 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
0.730 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.730 * [taylor]: Taking taylor expansion of z in z
0.730 * [taylor]: Taking taylor expansion of (- y x) in z
0.730 * [taylor]: Taking taylor expansion of y in z
0.730 * [taylor]: Taking taylor expansion of x in z
0.731 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in x
0.731 * [taylor]: Taking taylor expansion of 6.0 in x
0.731 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in x
0.731 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x
0.731 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.731 * [taylor]: Taking taylor expansion of z in x
0.731 * [taylor]: Taking taylor expansion of (- y x) in x
0.731 * [taylor]: Taking taylor expansion of y in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y
0.731 * [taylor]: Taking taylor expansion of 6.0 in y
0.731 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y
0.731 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y
0.731 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
0.731 * [taylor]: Taking taylor expansion of z in y
0.731 * [taylor]: Taking taylor expansion of (- y x) in y
0.731 * [taylor]: Taking taylor expansion of y in y
0.731 * [taylor]: Taking taylor expansion of x in y
0.731 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y
0.731 * [taylor]: Taking taylor expansion of 6.0 in y
0.731 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y
0.731 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y
0.731 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
0.731 * [taylor]: Taking taylor expansion of z in y
0.731 * [taylor]: Taking taylor expansion of (- y x) in y
0.731 * [taylor]: Taking taylor expansion of y in y
0.731 * [taylor]: Taking taylor expansion of x in y
0.731 * [taylor]: Taking taylor expansion of (* -6.0 (* x (- 0.6666666666666666 z))) in x
0.731 * [taylor]: Taking taylor expansion of -6.0 in x
0.731 * [taylor]: Taking taylor expansion of (* x (- 0.6666666666666666 z)) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x
0.731 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.731 * [taylor]: Taking taylor expansion of z in x
0.731 * [taylor]: Taking taylor expansion of 0 in z
0.731 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x
0.732 * [taylor]: Taking taylor expansion of 4.0 in x
0.732 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
0.732 * [taylor]: Taking taylor expansion of 6.0 in x
0.732 * [taylor]: Taking taylor expansion of z in x
0.732 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
0.732 * [taylor]: Taking taylor expansion of 4.0 in z
0.732 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.732 * [taylor]: Taking taylor expansion of 6.0 in z
0.732 * [taylor]: Taking taylor expansion of z in z
0.732 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 4.0) in z
0.732 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.732 * [taylor]: Taking taylor expansion of 6.0 in z
0.732 * [taylor]: Taking taylor expansion of z in z
0.732 * [taylor]: Taking taylor expansion of 4.0 in z
0.732 * [taylor]: Taking taylor expansion of 0 in x
0.732 * [taylor]: Taking taylor expansion of 0 in z
0.732 * [taylor]: Taking taylor expansion of 0 in z
0.732 * [taylor]: Taking taylor expansion of 0 in z
0.733 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in (y x z) around 0
0.733 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in z
0.733 * [taylor]: Taking taylor expansion of 6.0 in z
0.733 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z
0.733 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
0.733 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.733 * [taylor]: Taking taylor expansion of z in z
0.733 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.733 * [taylor]: Taking taylor expansion of y in z
0.733 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.733 * [taylor]: Taking taylor expansion of x in z
0.733 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in x
0.733 * [taylor]: Taking taylor expansion of 6.0 in x
0.733 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x
0.733 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x
0.733 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.733 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.733 * [taylor]: Taking taylor expansion of z in x
0.733 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.733 * [taylor]: Taking taylor expansion of y in x
0.733 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.733 * [taylor]: Taking taylor expansion of x in x
0.733 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y
0.733 * [taylor]: Taking taylor expansion of 6.0 in y
0.733 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y
0.733 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y
0.733 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
0.733 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.733 * [taylor]: Taking taylor expansion of z in y
0.733 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.733 * [taylor]: Taking taylor expansion of y in y
0.733 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.733 * [taylor]: Taking taylor expansion of x in y
0.733 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y
0.733 * [taylor]: Taking taylor expansion of 6.0 in y
0.734 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y
0.734 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y
0.734 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
0.734 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.734 * [taylor]: Taking taylor expansion of z in y
0.734 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.734 * [taylor]: Taking taylor expansion of y in y
0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.734 * [taylor]: Taking taylor expansion of x in y
0.734 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in x
0.734 * [taylor]: Taking taylor expansion of 6.0 in x
0.734 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x
0.734 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.734 * [taylor]: Taking taylor expansion of z in x
0.734 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
0.734 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.734 * [taylor]: Taking taylor expansion of 6.0 in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.734 * [taylor]: Taking taylor expansion of (* x z) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.734 * [taylor]: Taking taylor expansion of z in x
0.735 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.735 * [taylor]: Taking taylor expansion of 4.0 in x
0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 4.0) in z
0.735 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.735 * [taylor]: Taking taylor expansion of 6.0 in z
0.735 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.735 * [taylor]: Taking taylor expansion of z in z
0.735 * [taylor]: Taking taylor expansion of 4.0 in z
0.735 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z
0.735 * [taylor]: Taking taylor expansion of 6.0 in z
0.735 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
0.735 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.735 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.735 * [taylor]: Taking taylor expansion of z in z
0.735 * [taylor]: Taking taylor expansion of 0 in x
0.736 * [taylor]: Taking taylor expansion of 0 in z
0.736 * [taylor]: Taking taylor expansion of 0 in z
0.736 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in (y x z) around 0
0.736 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in z
0.736 * [taylor]: Taking taylor expansion of 6.0 in z
0.736 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in z
0.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.736 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.736 * [taylor]: Taking taylor expansion of x in z
0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.736 * [taylor]: Taking taylor expansion of y in z
0.736 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
0.736 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.736 * [taylor]: Taking taylor expansion of z in z
0.736 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.736 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in x
0.736 * [taylor]: Taking taylor expansion of 6.0 in x
0.736 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in x
0.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.736 * [taylor]: Taking taylor expansion of x in x
0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.736 * [taylor]: Taking taylor expansion of y in x
0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.737 * [taylor]: Taking taylor expansion of z in x
0.737 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.737 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y
0.737 * [taylor]: Taking taylor expansion of 6.0 in y
0.737 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y
0.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.737 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.737 * [taylor]: Taking taylor expansion of x in y
0.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y
0.737 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.737 * [taylor]: Taking taylor expansion of z in y
0.737 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
0.737 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y
0.737 * [taylor]: Taking taylor expansion of 6.0 in y
0.737 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y
0.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.737 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.737 * [taylor]: Taking taylor expansion of x in y
0.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y
0.737 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.737 * [taylor]: Taking taylor expansion of z in y
0.737 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
0.737 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in x
0.737 * [taylor]: Taking taylor expansion of -6.0 in x
0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.737 * [taylor]: Taking taylor expansion of z in x
0.737 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
0.738 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
0.738 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.738 * [taylor]: Taking taylor expansion of 6.0 in x
0.738 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.738 * [taylor]: Taking taylor expansion of (* x z) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of z in x
0.738 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.738 * [taylor]: Taking taylor expansion of 4.0 in x
0.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.738 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.738 * [taylor]: Taking taylor expansion of 6.0 in z
0.738 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.738 * [taylor]: Taking taylor expansion of z in z
0.738 * [taylor]: Taking taylor expansion of 4.0 in z
0.738 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in z
0.738 * [taylor]: Taking taylor expansion of -6.0 in z
0.738 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
0.738 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.738 * [taylor]: Taking taylor expansion of z in z
0.738 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.739 * [taylor]: Taking taylor expansion of 0 in x
0.739 * [taylor]: Taking taylor expansion of 0 in z
0.739 * [taylor]: Taking taylor expansion of 0 in z
0.739 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.739 * [approximate]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 z)) in (z) around 0
0.739 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 z)) in z
0.739 * [taylor]: Taking taylor expansion of 6.0 in z
0.739 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
0.739 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.739 * [taylor]: Taking taylor expansion of z in z
0.739 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 z)) in z
0.740 * [taylor]: Taking taylor expansion of 6.0 in z
0.740 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
0.740 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.740 * [taylor]: Taking taylor expansion of z in z
0.740 * [approximate]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in (z) around 0
0.740 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z
0.740 * [taylor]: Taking taylor expansion of 6.0 in z
0.740 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
0.740 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.740 * [taylor]: Taking taylor expansion of z in z
0.740 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z
0.740 * [taylor]: Taking taylor expansion of 6.0 in z
0.740 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
0.740 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.740 * [taylor]: Taking taylor expansion of z in z
0.741 * [approximate]: Taking taylor expansion of (* 6.0 (+ (/ 1 z) 0.6666666666666666)) in (z) around 0
0.741 * [taylor]: Taking taylor expansion of (* 6.0 (+ (/ 1 z) 0.6666666666666666)) in z
0.742 * [taylor]: Taking taylor expansion of 6.0 in z
0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
0.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.742 * [taylor]: Taking taylor expansion of z in z
0.742 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.742 * [taylor]: Taking taylor expansion of (* 6.0 (+ (/ 1 z) 0.6666666666666666)) in z
0.742 * [taylor]: Taking taylor expansion of 6.0 in z
0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
0.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.742 * [taylor]: Taking taylor expansion of z in z
0.742 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.743 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.743 * [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
0.743 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z
0.743 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z
0.743 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
0.743 * [taylor]: Taking taylor expansion of 6.0 in z
0.743 * [taylor]: Taking taylor expansion of (* x z) in z
0.743 * [taylor]: Taking taylor expansion of x in z
0.743 * [taylor]: Taking taylor expansion of z in z
0.743 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
0.743 * [taylor]: Taking taylor expansion of 4.0 in z
0.743 * [taylor]: Taking taylor expansion of y in z
0.743 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z
0.743 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
0.743 * [taylor]: Taking taylor expansion of 6.0 in z
0.743 * [taylor]: Taking taylor expansion of (* z y) in z
0.743 * [taylor]: Taking taylor expansion of z in z
0.743 * [taylor]: Taking taylor expansion of y in z
0.743 * [taylor]: Taking taylor expansion of (* 3.0 x) in z
0.743 * [taylor]: Taking taylor expansion of 3.0 in z
0.743 * [taylor]: Taking taylor expansion of x in z
0.743 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y
0.743 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y
0.743 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
0.743 * [taylor]: Taking taylor expansion of 6.0 in y
0.743 * [taylor]: Taking taylor expansion of (* x z) in y
0.743 * [taylor]: Taking taylor expansion of x in y
0.743 * [taylor]: Taking taylor expansion of z in y
0.743 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
0.743 * [taylor]: Taking taylor expansion of 4.0 in y
0.743 * [taylor]: Taking taylor expansion of y in y
0.743 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y
0.743 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
0.743 * [taylor]: Taking taylor expansion of 6.0 in y
0.743 * [taylor]: Taking taylor expansion of (* z y) in y
0.743 * [taylor]: Taking taylor expansion of z in y
0.743 * [taylor]: Taking taylor expansion of y in y
0.743 * [taylor]: Taking taylor expansion of (* 3.0 x) in y
0.743 * [taylor]: Taking taylor expansion of 3.0 in y
0.743 * [taylor]: Taking taylor expansion of x in y
0.744 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
0.744 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
0.744 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
0.744 * [taylor]: Taking taylor expansion of 6.0 in x
0.744 * [taylor]: Taking taylor expansion of (* x z) in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of z in x
0.744 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
0.744 * [taylor]: Taking taylor expansion of 4.0 in x
0.744 * [taylor]: Taking taylor expansion of y in x
0.744 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
0.744 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
0.744 * [taylor]: Taking taylor expansion of 6.0 in x
0.744 * [taylor]: Taking taylor expansion of (* z y) in x
0.744 * [taylor]: Taking taylor expansion of z in x
0.744 * [taylor]: Taking taylor expansion of y in x
0.744 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.744 * [taylor]: Taking taylor expansion of 3.0 in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
0.744 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
0.744 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
0.744 * [taylor]: Taking taylor expansion of 6.0 in x
0.744 * [taylor]: Taking taylor expansion of (* x z) in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of z in x
0.744 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
0.744 * [taylor]: Taking taylor expansion of 4.0 in x
0.744 * [taylor]: Taking taylor expansion of y in x
0.744 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
0.744 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
0.744 * [taylor]: Taking taylor expansion of 6.0 in x
0.744 * [taylor]: Taking taylor expansion of (* z y) in x
0.744 * [taylor]: Taking taylor expansion of z in x
0.744 * [taylor]: Taking taylor expansion of y in x
0.744 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.744 * [taylor]: Taking taylor expansion of 3.0 in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y
0.744 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
0.744 * [taylor]: Taking taylor expansion of 4.0 in y
0.744 * [taylor]: Taking taylor expansion of y in y
0.744 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
0.745 * [taylor]: Taking taylor expansion of 6.0 in y
0.745 * [taylor]: Taking taylor expansion of (* z y) in y
0.745 * [taylor]: Taking taylor expansion of z in y
0.745 * [taylor]: Taking taylor expansion of y in y
0.745 * [taylor]: Taking taylor expansion of 0 in z
0.745 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y
0.745 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
0.745 * [taylor]: Taking taylor expansion of 6.0 in y
0.745 * [taylor]: Taking taylor expansion of z in y
0.745 * [taylor]: Taking taylor expansion of 3.0 in y
0.745 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z
0.745 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.745 * [taylor]: Taking taylor expansion of 6.0 in z
0.745 * [taylor]: Taking taylor expansion of z in z
0.745 * [taylor]: Taking taylor expansion of 3.0 in z
0.745 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
0.745 * [taylor]: Taking taylor expansion of 4.0 in z
0.745 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.745 * [taylor]: Taking taylor expansion of 6.0 in z
0.745 * [taylor]: Taking taylor expansion of z in z
0.746 * [taylor]: Taking taylor expansion of 0 in y
0.746 * [taylor]: Taking taylor expansion of 0 in z
0.746 * [taylor]: Taking taylor expansion of 0 in z
0.746 * [taylor]: Taking taylor expansion of 0 in z
0.746 * [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
0.746 * [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
0.746 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z
0.746 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
0.746 * [taylor]: Taking taylor expansion of 6.0 in z
0.746 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.746 * [taylor]: Taking taylor expansion of (* x z) in z
0.746 * [taylor]: Taking taylor expansion of x in z
0.746 * [taylor]: Taking taylor expansion of z in z
0.746 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
0.746 * [taylor]: Taking taylor expansion of 4.0 in z
0.746 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.746 * [taylor]: Taking taylor expansion of y in z
0.746 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z
0.746 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
0.746 * [taylor]: Taking taylor expansion of 6.0 in z
0.746 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.746 * [taylor]: Taking taylor expansion of (* z y) in z
0.747 * [taylor]: Taking taylor expansion of z in z
0.747 * [taylor]: Taking taylor expansion of y in z
0.747 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
0.747 * [taylor]: Taking taylor expansion of 3.0 in z
0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.747 * [taylor]: Taking taylor expansion of x in z
0.747 * [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
0.747 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y
0.747 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
0.747 * [taylor]: Taking taylor expansion of 6.0 in y
0.747 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.747 * [taylor]: Taking taylor expansion of (* x z) in y
0.747 * [taylor]: Taking taylor expansion of x in y
0.747 * [taylor]: Taking taylor expansion of z in y
0.747 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.747 * [taylor]: Taking taylor expansion of 4.0 in y
0.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.747 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y
0.747 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.747 * [taylor]: Taking taylor expansion of 6.0 in y
0.747 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.747 * [taylor]: Taking taylor expansion of (* z y) in y
0.747 * [taylor]: Taking taylor expansion of z in y
0.747 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
0.747 * [taylor]: Taking taylor expansion of 3.0 in y
0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.747 * [taylor]: Taking taylor expansion of x in y
0.747 * [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
0.747 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
0.747 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.747 * [taylor]: Taking taylor expansion of 6.0 in x
0.747 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.747 * [taylor]: Taking taylor expansion of (* x z) in x
0.747 * [taylor]: Taking taylor expansion of x in x
0.747 * [taylor]: Taking taylor expansion of z in x
0.747 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.747 * [taylor]: Taking taylor expansion of 4.0 in x
0.747 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.747 * [taylor]: Taking taylor expansion of y in x
0.747 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
0.748 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.748 * [taylor]: Taking taylor expansion of 6.0 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.748 * [taylor]: Taking taylor expansion of (* z y) in x
0.748 * [taylor]: Taking taylor expansion of z in x
0.748 * [taylor]: Taking taylor expansion of y in x
0.748 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.748 * [taylor]: Taking taylor expansion of 3.0 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [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
0.748 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
0.748 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.748 * [taylor]: Taking taylor expansion of 6.0 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.748 * [taylor]: Taking taylor expansion of (* x z) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of z in x
0.748 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.748 * [taylor]: Taking taylor expansion of 4.0 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.748 * [taylor]: Taking taylor expansion of y in x
0.748 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
0.748 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.748 * [taylor]: Taking taylor expansion of 6.0 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.748 * [taylor]: Taking taylor expansion of (* z y) in x
0.748 * [taylor]: Taking taylor expansion of z in x
0.748 * [taylor]: Taking taylor expansion of y in x
0.748 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.748 * [taylor]: Taking taylor expansion of 3.0 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y
0.748 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.748 * [taylor]: Taking taylor expansion of 6.0 in y
0.748 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.748 * [taylor]: Taking taylor expansion of z in y
0.749 * [taylor]: Taking taylor expansion of 3.0 in y
0.749 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y
0.749 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.749 * [taylor]: Taking taylor expansion of 4.0 in y
0.749 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.749 * [taylor]: Taking taylor expansion of y in y
0.749 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.749 * [taylor]: Taking taylor expansion of 6.0 in y
0.749 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.749 * [taylor]: Taking taylor expansion of (* z y) in y
0.749 * [taylor]: Taking taylor expansion of z in y
0.749 * [taylor]: Taking taylor expansion of y in y
0.749 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
0.749 * [taylor]: Taking taylor expansion of 4.0 in z
0.749 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.749 * [taylor]: Taking taylor expansion of 6.0 in z
0.749 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.749 * [taylor]: Taking taylor expansion of z in z
0.749 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z
0.749 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.749 * [taylor]: Taking taylor expansion of 6.0 in z
0.750 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.750 * [taylor]: Taking taylor expansion of z in z
0.750 * [taylor]: Taking taylor expansion of 3.0 in z
0.750 * [taylor]: Taking taylor expansion of 0 in y
0.750 * [taylor]: Taking taylor expansion of 0 in z
0.750 * [taylor]: Taking taylor expansion of 0 in z
0.751 * [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
0.751 * [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
0.751 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z
0.751 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
0.751 * [taylor]: Taking taylor expansion of 6.0 in z
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.751 * [taylor]: Taking taylor expansion of (* x z) in z
0.751 * [taylor]: Taking taylor expansion of x in z
0.751 * [taylor]: Taking taylor expansion of z in z
0.751 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
0.751 * [taylor]: Taking taylor expansion of 3.0 in z
0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.751 * [taylor]: Taking taylor expansion of x in z
0.751 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z
0.751 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
0.751 * [taylor]: Taking taylor expansion of 6.0 in z
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.751 * [taylor]: Taking taylor expansion of (* z y) in z
0.751 * [taylor]: Taking taylor expansion of z in z
0.751 * [taylor]: Taking taylor expansion of y in z
0.751 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
0.751 * [taylor]: Taking taylor expansion of 4.0 in z
0.751 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.751 * [taylor]: Taking taylor expansion of y in z
0.751 * [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
0.751 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y
0.751 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
0.751 * [taylor]: Taking taylor expansion of 6.0 in y
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.751 * [taylor]: Taking taylor expansion of (* x z) in y
0.751 * [taylor]: Taking taylor expansion of x in y
0.751 * [taylor]: Taking taylor expansion of z in y
0.752 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
0.752 * [taylor]: Taking taylor expansion of 3.0 in y
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.752 * [taylor]: Taking taylor expansion of x in y
0.752 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
0.752 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.752 * [taylor]: Taking taylor expansion of 6.0 in y
0.752 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.752 * [taylor]: Taking taylor expansion of (* z y) in y
0.752 * [taylor]: Taking taylor expansion of z in y
0.752 * [taylor]: Taking taylor expansion of y in y
0.752 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.752 * [taylor]: Taking taylor expansion of 4.0 in y
0.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.752 * [taylor]: Taking taylor expansion of y in y
0.752 * [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
0.752 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
0.752 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.752 * [taylor]: Taking taylor expansion of 6.0 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.752 * [taylor]: Taking taylor expansion of (* x z) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of z in x
0.752 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.752 * [taylor]: Taking taylor expansion of 3.0 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
0.752 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.752 * [taylor]: Taking taylor expansion of 6.0 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.752 * [taylor]: Taking taylor expansion of (* z y) in x
0.752 * [taylor]: Taking taylor expansion of z in x
0.752 * [taylor]: Taking taylor expansion of y in x
0.752 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.752 * [taylor]: Taking taylor expansion of 4.0 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.752 * [taylor]: Taking taylor expansion of y in x
0.752 * [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
0.752 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
0.752 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.752 * [taylor]: Taking taylor expansion of 6.0 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.752 * [taylor]: Taking taylor expansion of (* x z) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of z in x
0.753 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.753 * [taylor]: Taking taylor expansion of 3.0 in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
0.753 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.753 * [taylor]: Taking taylor expansion of 6.0 in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.753 * [taylor]: Taking taylor expansion of (* z y) in x
0.753 * [taylor]: Taking taylor expansion of z in x
0.753 * [taylor]: Taking taylor expansion of y in x
0.753 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.753 * [taylor]: Taking taylor expansion of 4.0 in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.753 * [taylor]: Taking taylor expansion of y in x
0.753 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y
0.753 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.753 * [taylor]: Taking taylor expansion of 6.0 in y
0.753 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.753 * [taylor]: Taking taylor expansion of z in y
0.753 * [taylor]: Taking taylor expansion of 3.0 in y
0.754 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y
0.754 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
0.754 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.754 * [taylor]: Taking taylor expansion of 6.0 in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.754 * [taylor]: Taking taylor expansion of (* z y) in y
0.754 * [taylor]: Taking taylor expansion of z in y
0.754 * [taylor]: Taking taylor expansion of y in y
0.754 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.754 * [taylor]: Taking taylor expansion of 4.0 in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.754 * [taylor]: Taking taylor expansion of y in y
0.754 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 4.0)) in z
0.754 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.754 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.754 * [taylor]: Taking taylor expansion of 6.0 in z
0.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.754 * [taylor]: Taking taylor expansion of z in z
0.754 * [taylor]: Taking taylor expansion of 4.0 in z
0.754 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z
0.754 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.754 * [taylor]: Taking taylor expansion of 6.0 in z
0.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.754 * [taylor]: Taking taylor expansion of z in z
0.754 * [taylor]: Taking taylor expansion of 3.0 in z
0.755 * [taylor]: Taking taylor expansion of 0 in y
0.755 * [taylor]: Taking taylor expansion of 0 in z
0.755 * [taylor]: Taking taylor expansion of 0 in z
0.755 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
0.755 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 z) in (z) around 0
0.755 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
0.755 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.755 * [taylor]: Taking taylor expansion of z in z
0.755 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
0.755 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.756 * [taylor]: Taking taylor expansion of z in z
0.756 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in (z) around 0
0.756 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
0.756 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.756 * [taylor]: Taking taylor expansion of z in z
0.756 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
0.756 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.756 * [taylor]: Taking taylor expansion of z in z
0.757 * [approximate]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in (z) around 0
0.757 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.757 * [taylor]: Taking taylor expansion of z in z
0.757 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.757 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.757 * [taylor]: Taking taylor expansion of z in z
0.757 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
0.757 * * * [progress]: simplifying candidates
0.759 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- 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 (neg z)))
  (* (- y x) (* (/ 2.0 3.0) 6.0))
  (* (- y x) (* (neg z) 6.0))
  (* (* 6.0 (/ 2.0 3.0)) (- y x))
  (* (* 6.0 (neg z)) (- y x))
  (* (* (/ 2.0 3.0) 6.0) (- y x))
  (* (* (neg 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)))
  (* 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 (neg z))
  (* (/ 2.0 3.0) 6.0)
  (* (neg 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 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) (* (/ 2.0 3.0) 6.0)))
  (+ x (* (* 6.0 (/ 2.0 3.0)) (- y x)))
  (+ x (* (* (/ 2.0 3.0) 6.0) (- y x)))
  (/ (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)))
  (neg 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)
  (- (* 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)))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (- (+ (* 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)
0.778 * * [simplify]: iteration  0 :  5487  enodes  (cost  1214 )
0.782 * [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))))
  (pow (pow (exp (- (/ 2.0 3.0) z)) 6.0) (- y x))
  (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))))
  (* 6.0 (* (- (pow (/ 2.0 3.0) 3) (pow z 3)) (- (pow y 3) (pow x 3))))
  (* (+ (* y y) (* x (+ y x))) (+ (* z z) (* (/ 2.0 3.0) (+ (/ 2.0 3.0) z))))
  (* 6.0 (* (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)) (- (pow y 3) (pow x 3))))
  (* (+ (* y y) (* x (+ y x))) (+ (/ 2.0 3.0) z))
  (* 6.0 (* (- (pow (/ 2.0 3.0) 3) (pow z 3)) (- (* y y) (* x x))))
  (* (+ (* z z) (* (/ 2.0 3.0) (+ (/ 2.0 3.0) z))) (+ y x))
  (* 6.0 (* (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z)) (- (* y y) (* x x))))
  (* (+ (/ 2.0 3.0) z) (+ y x))
  (* (- y x) (* 6.0 (/ 2.0 3.0)))
  (* (- y x) (* 6.0 (neg z)))
  (* (- y x) (* 6.0 (/ 2.0 3.0)))
  (* (- y x) (* 6.0 (neg z)))
  (* (- y x) (* 6.0 (/ 2.0 3.0)))
  (* (- y x) (* 6.0 (neg z)))
  (* (- y x) (* 6.0 (/ 2.0 3.0)))
  (* (- y x) (* 6.0 (neg z)))
  (* (- y x) 6.0)
  (* 6.0 (* (- (/ 2.0 3.0) z) (cbrt (- y x))))
  (* 6.0 (* (- (/ 2.0 3.0) z) (sqrt (- y x))))
  (* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))
  (* 6.0 (* (- (/ 2.0 3.0) z) (- (sqrt y) (sqrt x))))
  (* (- 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))))
  (* 6.0 (* (- (/ 2.0 3.0) 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))
  (log (* 6.0 (- (/ 2.0 3.0) z)))
  (log (* 6.0 (- (/ 2.0 3.0) z)))
  (pow (exp (- (/ 2.0 3.0) z)) 6.0)
  (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)))
  (* 6.0 (/ 2.0 3.0))
  (* 6.0 (neg z))
  (* 6.0 (/ 2.0 3.0))
  (* 6.0 (neg z))
  (* 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 z) (/ (sqrt 2.0) (sqrt 3.0))))
  6.0
  (* (- (/ 2.0 3.0) z) (cbrt 6.0))
  (* (- (/ 2.0 3.0) z) (sqrt 6.0))
  (* 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 (+ 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 (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3) (pow x 3))
  (+ (* x x) (* (- y x) (* (* 6.0 (- (/ 2.0 3.0) z)) (- (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 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) (* 6.0 (/ 2.0 3.0))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.0))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.0))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.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))
  (+ (* z z) (* (/ 2.0 3.0) (+ (/ 2.0 3.0) z)))
  (neg 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 z) (/ (sqrt 2.0) (sqrt 3.0)))
  (- (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z))
  (- (/ 2.0 3.0) z)
  (- (* y (- 4.0 (* 6.0 z))) (* x 4.0))
  (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))
  (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (+ (* y 4.0) (- (* x (* 6.0 z)) (* x 3.0)))
  (+ (* y 4.0) (* 6.0 (- (* x z) (* y z))))
  (+ (* y 4.0) (* 6.0 (- (* x z) (* y z))))
  (- 0.6666666666666666 z)
  (- 0.6666666666666666 z)
  (- 0.6666666666666666 z)
0.783 * * * [progress]: adding candidates to table
0.918 * * [progress]: iteration 2 / 4
0.918 * * * [progress]: picking best candidate
0.946 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))>
0.946 * * * [progress]: localizing error
0.953 * * * [progress]: generating rewritten candidates
0.953 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.961 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.964 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.969 * * * [progress]: generating series expansions
0.969 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.969 * [approximate]: Taking taylor expansion of (* (- 4.0 (* 6.0 z)) (- y x)) in (y x z) around 0
0.969 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 z)) (- y x)) in z
0.969 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
0.969 * [taylor]: Taking taylor expansion of 4.0 in z
0.970 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.970 * [taylor]: Taking taylor expansion of 6.0 in z
0.970 * [taylor]: Taking taylor expansion of z in z
0.970 * [taylor]: Taking taylor expansion of (- y x) in z
0.970 * [taylor]: Taking taylor expansion of y in z
0.970 * [taylor]: Taking taylor expansion of x in z
0.970 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 z)) (- y x)) in x
0.970 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x
0.970 * [taylor]: Taking taylor expansion of 4.0 in x
0.970 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
0.970 * [taylor]: Taking taylor expansion of 6.0 in x
0.970 * [taylor]: Taking taylor expansion of z in x
0.970 * [taylor]: Taking taylor expansion of (- y x) in x
0.970 * [taylor]: Taking taylor expansion of y in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.970 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 z)) (- y x)) in y
0.970 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in y
0.970 * [taylor]: Taking taylor expansion of 4.0 in y
0.970 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
0.970 * [taylor]: Taking taylor expansion of 6.0 in y
0.970 * [taylor]: Taking taylor expansion of z in y
0.970 * [taylor]: Taking taylor expansion of (- y x) in y
0.970 * [taylor]: Taking taylor expansion of y in y
0.970 * [taylor]: Taking taylor expansion of x in y
0.970 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 z)) (- y x)) in y
0.970 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in y
0.970 * [taylor]: Taking taylor expansion of 4.0 in y
0.970 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
0.970 * [taylor]: Taking taylor expansion of 6.0 in y
0.970 * [taylor]: Taking taylor expansion of z in y
0.970 * [taylor]: Taking taylor expansion of (- y x) in y
0.970 * [taylor]: Taking taylor expansion of y in y
0.970 * [taylor]: Taking taylor expansion of x in y
0.970 * [taylor]: Taking taylor expansion of (* -1 (* (- 4.0 (* 6.0 z)) x)) in x
0.970 * [taylor]: Taking taylor expansion of -1 in x
0.970 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 z)) x) in x
0.970 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x
0.970 * [taylor]: Taking taylor expansion of 4.0 in x
0.970 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
0.970 * [taylor]: Taking taylor expansion of 6.0 in x
0.970 * [taylor]: Taking taylor expansion of z in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.971 * [taylor]: Taking taylor expansion of 0 in z
0.971 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x
0.971 * [taylor]: Taking taylor expansion of 4.0 in x
0.971 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
0.971 * [taylor]: Taking taylor expansion of 6.0 in x
0.971 * [taylor]: Taking taylor expansion of z in x
0.971 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
0.971 * [taylor]: Taking taylor expansion of 4.0 in z
0.971 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.971 * [taylor]: Taking taylor expansion of 6.0 in z
0.971 * [taylor]: Taking taylor expansion of z in z
0.971 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 4.0) in z
0.971 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.971 * [taylor]: Taking taylor expansion of 6.0 in z
0.971 * [taylor]: Taking taylor expansion of z in z
0.971 * [taylor]: Taking taylor expansion of 4.0 in z
0.971 * [taylor]: Taking taylor expansion of 0 in x
0.971 * [taylor]: Taking taylor expansion of 0 in z
0.971 * [taylor]: Taking taylor expansion of 0 in z
0.972 * [taylor]: Taking taylor expansion of 0 in z
0.972 * [approximate]: Taking taylor expansion of (* (- 4.0 (* 6.0 (/ 1 z))) (- (/ 1 y) (/ 1 x))) in (y x z) around 0
0.972 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 (/ 1 z))) (- (/ 1 y) (/ 1 x))) in z
0.972 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
0.972 * [taylor]: Taking taylor expansion of 4.0 in z
0.972 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.972 * [taylor]: Taking taylor expansion of 6.0 in z
0.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.972 * [taylor]: Taking taylor expansion of z in z
0.972 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.972 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.972 * [taylor]: Taking taylor expansion of y in z
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.972 * [taylor]: Taking taylor expansion of x in z
0.972 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 (/ 1 z))) (- (/ 1 y) (/ 1 x))) in x
0.972 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in x
0.972 * [taylor]: Taking taylor expansion of 4.0 in x
0.972 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
0.972 * [taylor]: Taking taylor expansion of 6.0 in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.972 * [taylor]: Taking taylor expansion of z in x
0.972 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.972 * [taylor]: Taking taylor expansion of y in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 (/ 1 z))) (- (/ 1 y) (/ 1 x))) in y
0.972 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in y
0.972 * [taylor]: Taking taylor expansion of 4.0 in y
0.972 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.973 * [taylor]: Taking taylor expansion of 6.0 in y
0.973 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.973 * [taylor]: Taking taylor expansion of z in y
0.973 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.973 * [taylor]: Taking taylor expansion of y in y
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.973 * [taylor]: Taking taylor expansion of x in y
0.973 * [taylor]: Taking taylor expansion of (* (- 4.0 (* 6.0 (/ 1 z))) (- (/ 1 y) (/ 1 x))) in y
0.973 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in y
0.973 * [taylor]: Taking taylor expansion of 4.0 in y
0.973 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.973 * [taylor]: Taking taylor expansion of 6.0 in y
0.973 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.973 * [taylor]: Taking taylor expansion of z in y
0.973 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.973 * [taylor]: Taking taylor expansion of y in y
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.973 * [taylor]: Taking taylor expansion of x in y
0.973 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in x
0.973 * [taylor]: Taking taylor expansion of 4.0 in x
0.973 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
0.973 * [taylor]: Taking taylor expansion of 6.0 in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.973 * [taylor]: Taking taylor expansion of z in x
0.973 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
0.974 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.974 * [taylor]: Taking taylor expansion of 6.0 in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.974 * [taylor]: Taking taylor expansion of (* x z) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.974 * [taylor]: Taking taylor expansion of z in x
0.974 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.974 * [taylor]: Taking taylor expansion of 4.0 in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.974 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 4.0) in z
0.974 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.974 * [taylor]: Taking taylor expansion of 6.0 in z
0.974 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.974 * [taylor]: Taking taylor expansion of z in z
0.974 * [taylor]: Taking taylor expansion of 4.0 in z
0.974 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
0.974 * [taylor]: Taking taylor expansion of 4.0 in z
0.974 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.974 * [taylor]: Taking taylor expansion of 6.0 in z
0.974 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.974 * [taylor]: Taking taylor expansion of z in z
0.974 * [taylor]: Taking taylor expansion of 0 in x
0.975 * [taylor]: Taking taylor expansion of 0 in z
0.975 * [taylor]: Taking taylor expansion of 0 in z
0.975 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (* 6.0 (/ 1 z)) 4.0)) in (y x z) around 0
0.975 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (* 6.0 (/ 1 z)) 4.0)) in z
0.975 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.975 * [taylor]: Taking taylor expansion of x in z
0.975 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.975 * [taylor]: Taking taylor expansion of y in z
0.975 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.975 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.975 * [taylor]: Taking taylor expansion of 6.0 in z
0.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.975 * [taylor]: Taking taylor expansion of z in z
0.975 * [taylor]: Taking taylor expansion of 4.0 in z
0.975 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (* 6.0 (/ 1 z)) 4.0)) in x
0.975 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.976 * [taylor]: Taking taylor expansion of y in x
0.976 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in x
0.976 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
0.976 * [taylor]: Taking taylor expansion of 6.0 in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.976 * [taylor]: Taking taylor expansion of z in x
0.976 * [taylor]: Taking taylor expansion of 4.0 in x
0.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (* 6.0 (/ 1 z)) 4.0)) in y
0.976 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.976 * [taylor]: Taking taylor expansion of x in y
0.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.976 * [taylor]: Taking taylor expansion of y in y
0.976 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in y
0.976 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.976 * [taylor]: Taking taylor expansion of 6.0 in y
0.976 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.976 * [taylor]: Taking taylor expansion of z in y
0.976 * [taylor]: Taking taylor expansion of 4.0 in y
0.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (* 6.0 (/ 1 z)) 4.0)) in y
0.976 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.976 * [taylor]: Taking taylor expansion of x in y
0.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.976 * [taylor]: Taking taylor expansion of y in y
0.976 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in y
0.976 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.976 * [taylor]: Taking taylor expansion of 6.0 in y
0.976 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.976 * [taylor]: Taking taylor expansion of z in y
0.976 * [taylor]: Taking taylor expansion of 4.0 in y
0.976 * [taylor]: Taking taylor expansion of (* -1 (+ (* 6.0 (/ 1 z)) 4.0)) in x
0.976 * [taylor]: Taking taylor expansion of -1 in x
0.976 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in x
0.976 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
0.976 * [taylor]: Taking taylor expansion of 6.0 in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.976 * [taylor]: Taking taylor expansion of z in x
0.977 * [taylor]: Taking taylor expansion of 4.0 in x
0.977 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
0.977 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.977 * [taylor]: Taking taylor expansion of 6.0 in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.977 * [taylor]: Taking taylor expansion of (* x z) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of z in x
0.977 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of 4.0 in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.977 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.977 * [taylor]: Taking taylor expansion of 6.0 in z
0.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.977 * [taylor]: Taking taylor expansion of z in z
0.977 * [taylor]: Taking taylor expansion of 4.0 in z
0.977 * [taylor]: Taking taylor expansion of (* -1 (+ (* 6.0 (/ 1 z)) 4.0)) in z
0.977 * [taylor]: Taking taylor expansion of -1 in z
0.977 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.977 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.977 * [taylor]: Taking taylor expansion of 6.0 in z
0.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.977 * [taylor]: Taking taylor expansion of z in z
0.977 * [taylor]: Taking taylor expansion of 4.0 in z
0.978 * [taylor]: Taking taylor expansion of 0 in x
0.978 * [taylor]: Taking taylor expansion of 0 in z
0.978 * [taylor]: Taking taylor expansion of 0 in z
0.978 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.978 * [approximate]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in (z) around 0
0.978 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
0.978 * [taylor]: Taking taylor expansion of 4.0 in z
0.979 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.979 * [taylor]: Taking taylor expansion of 6.0 in z
0.979 * [taylor]: Taking taylor expansion of z in z
0.979 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
0.979 * [taylor]: Taking taylor expansion of 4.0 in z
0.979 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.979 * [taylor]: Taking taylor expansion of 6.0 in z
0.979 * [taylor]: Taking taylor expansion of z in z
0.979 * [approximate]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in (z) around 0
0.979 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
0.979 * [taylor]: Taking taylor expansion of 4.0 in z
0.979 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.979 * [taylor]: Taking taylor expansion of 6.0 in z
0.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.979 * [taylor]: Taking taylor expansion of z in z
0.979 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
0.979 * [taylor]: Taking taylor expansion of 4.0 in z
0.979 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.979 * [taylor]: Taking taylor expansion of 6.0 in z
0.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.979 * [taylor]: Taking taylor expansion of z in z
0.980 * [approximate]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in (z) around 0
0.980 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.980 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.981 * [taylor]: Taking taylor expansion of 6.0 in z
0.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.981 * [taylor]: Taking taylor expansion of z in z
0.981 * [taylor]: Taking taylor expansion of 4.0 in z
0.981 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.981 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.981 * [taylor]: Taking taylor expansion of 6.0 in z
0.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.981 * [taylor]: Taking taylor expansion of z in z
0.981 * [taylor]: Taking taylor expansion of 4.0 in z
0.982 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.982 * [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
0.982 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z
0.982 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z
0.982 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
0.982 * [taylor]: Taking taylor expansion of 6.0 in z
0.982 * [taylor]: Taking taylor expansion of (* x z) in z
0.982 * [taylor]: Taking taylor expansion of x in z
0.982 * [taylor]: Taking taylor expansion of z in z
0.982 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
0.982 * [taylor]: Taking taylor expansion of 4.0 in z
0.982 * [taylor]: Taking taylor expansion of y in z
0.982 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z
0.982 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
0.982 * [taylor]: Taking taylor expansion of 6.0 in z
0.982 * [taylor]: Taking taylor expansion of (* z y) in z
0.982 * [taylor]: Taking taylor expansion of z in z
0.982 * [taylor]: Taking taylor expansion of y in z
0.982 * [taylor]: Taking taylor expansion of (* 3.0 x) in z
0.982 * [taylor]: Taking taylor expansion of 3.0 in z
0.982 * [taylor]: Taking taylor expansion of x in z
0.982 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y
0.982 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y
0.982 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
0.982 * [taylor]: Taking taylor expansion of 6.0 in y
0.982 * [taylor]: Taking taylor expansion of (* x z) in y
0.982 * [taylor]: Taking taylor expansion of x in y
0.982 * [taylor]: Taking taylor expansion of z in y
0.982 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
0.982 * [taylor]: Taking taylor expansion of 4.0 in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.982 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y
0.982 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
0.983 * [taylor]: Taking taylor expansion of 6.0 in y
0.983 * [taylor]: Taking taylor expansion of (* z y) in y
0.983 * [taylor]: Taking taylor expansion of z in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.983 * [taylor]: Taking taylor expansion of (* 3.0 x) in y
0.983 * [taylor]: Taking taylor expansion of 3.0 in y
0.983 * [taylor]: Taking taylor expansion of x in y
0.983 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
0.983 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
0.983 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
0.983 * [taylor]: Taking taylor expansion of 6.0 in x
0.983 * [taylor]: Taking taylor expansion of (* x z) in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.983 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
0.983 * [taylor]: Taking taylor expansion of 4.0 in x
0.983 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
0.983 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
0.983 * [taylor]: Taking taylor expansion of 6.0 in x
0.983 * [taylor]: Taking taylor expansion of (* z y) in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.983 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.983 * [taylor]: Taking taylor expansion of 3.0 in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
0.983 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
0.983 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
0.983 * [taylor]: Taking taylor expansion of 6.0 in x
0.983 * [taylor]: Taking taylor expansion of (* x z) in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.983 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
0.983 * [taylor]: Taking taylor expansion of 4.0 in x
0.983 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
0.983 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
0.983 * [taylor]: Taking taylor expansion of 6.0 in x
0.983 * [taylor]: Taking taylor expansion of (* z y) in x
0.983 * [taylor]: Taking taylor expansion of z in x
0.983 * [taylor]: Taking taylor expansion of y in x
0.983 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.983 * [taylor]: Taking taylor expansion of 3.0 in x
0.983 * [taylor]: Taking taylor expansion of x in x
0.984 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y
0.984 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
0.984 * [taylor]: Taking taylor expansion of 4.0 in y
0.984 * [taylor]: Taking taylor expansion of y in y
0.984 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
0.984 * [taylor]: Taking taylor expansion of 6.0 in y
0.984 * [taylor]: Taking taylor expansion of (* z y) in y
0.984 * [taylor]: Taking taylor expansion of z in y
0.984 * [taylor]: Taking taylor expansion of y in y
0.984 * [taylor]: Taking taylor expansion of 0 in z
0.984 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y
0.984 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
0.984 * [taylor]: Taking taylor expansion of 6.0 in y
0.984 * [taylor]: Taking taylor expansion of z in y
0.984 * [taylor]: Taking taylor expansion of 3.0 in y
0.984 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z
0.984 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.984 * [taylor]: Taking taylor expansion of 6.0 in z
0.984 * [taylor]: Taking taylor expansion of z in z
0.984 * [taylor]: Taking taylor expansion of 3.0 in z
0.984 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
0.984 * [taylor]: Taking taylor expansion of 4.0 in z
0.984 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
0.984 * [taylor]: Taking taylor expansion of 6.0 in z
0.984 * [taylor]: Taking taylor expansion of z in z
0.985 * [taylor]: Taking taylor expansion of 0 in y
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [taylor]: Taking taylor expansion of 0 in z
0.985 * [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
0.985 * [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
0.985 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z
0.985 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
0.985 * [taylor]: Taking taylor expansion of 6.0 in z
0.985 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.985 * [taylor]: Taking taylor expansion of (* x z) in z
0.985 * [taylor]: Taking taylor expansion of x in z
0.985 * [taylor]: Taking taylor expansion of z in z
0.985 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
0.985 * [taylor]: Taking taylor expansion of 4.0 in z
0.986 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.986 * [taylor]: Taking taylor expansion of y in z
0.986 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z
0.986 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
0.986 * [taylor]: Taking taylor expansion of 6.0 in z
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.986 * [taylor]: Taking taylor expansion of (* z y) in z
0.986 * [taylor]: Taking taylor expansion of z in z
0.986 * [taylor]: Taking taylor expansion of y in z
0.986 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
0.986 * [taylor]: Taking taylor expansion of 3.0 in z
0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.986 * [taylor]: Taking taylor expansion of x in z
0.986 * [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
0.986 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y
0.986 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
0.986 * [taylor]: Taking taylor expansion of 6.0 in y
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.986 * [taylor]: Taking taylor expansion of (* x z) in y
0.986 * [taylor]: Taking taylor expansion of x in y
0.986 * [taylor]: Taking taylor expansion of z in y
0.986 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.986 * [taylor]: Taking taylor expansion of 4.0 in y
0.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.986 * [taylor]: Taking taylor expansion of y in y
0.986 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y
0.986 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.986 * [taylor]: Taking taylor expansion of 6.0 in y
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.986 * [taylor]: Taking taylor expansion of (* z y) in y
0.986 * [taylor]: Taking taylor expansion of z in y
0.986 * [taylor]: Taking taylor expansion of y in y
0.986 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
0.986 * [taylor]: Taking taylor expansion of 3.0 in y
0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.986 * [taylor]: Taking taylor expansion of x in y
0.986 * [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
0.986 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
0.986 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.986 * [taylor]: Taking taylor expansion of 6.0 in x
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.986 * [taylor]: Taking taylor expansion of (* x z) in x
0.986 * [taylor]: Taking taylor expansion of x in x
0.986 * [taylor]: Taking taylor expansion of z in x
0.987 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.987 * [taylor]: Taking taylor expansion of 4.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
0.987 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.987 * [taylor]: Taking taylor expansion of 6.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.987 * [taylor]: Taking taylor expansion of (* z y) in x
0.987 * [taylor]: Taking taylor expansion of z in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.987 * [taylor]: Taking taylor expansion of 3.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.987 * [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
0.987 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
0.987 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.987 * [taylor]: Taking taylor expansion of 6.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.987 * [taylor]: Taking taylor expansion of (* x z) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of z in x
0.987 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.987 * [taylor]: Taking taylor expansion of 4.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
0.987 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.987 * [taylor]: Taking taylor expansion of 6.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.987 * [taylor]: Taking taylor expansion of (* z y) in x
0.987 * [taylor]: Taking taylor expansion of z in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.987 * [taylor]: Taking taylor expansion of 3.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.988 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y
0.988 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.988 * [taylor]: Taking taylor expansion of 6.0 in y
0.988 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.988 * [taylor]: Taking taylor expansion of z in y
0.988 * [taylor]: Taking taylor expansion of 3.0 in y
0.988 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y
0.988 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.988 * [taylor]: Taking taylor expansion of 4.0 in y
0.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.988 * [taylor]: Taking taylor expansion of y in y
0.988 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.988 * [taylor]: Taking taylor expansion of 6.0 in y
0.988 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.988 * [taylor]: Taking taylor expansion of (* z y) in y
0.988 * [taylor]: Taking taylor expansion of z in y
0.988 * [taylor]: Taking taylor expansion of y in y
0.988 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
0.988 * [taylor]: Taking taylor expansion of 4.0 in z
0.988 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.988 * [taylor]: Taking taylor expansion of 6.0 in z
0.988 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.988 * [taylor]: Taking taylor expansion of z in z
0.989 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z
0.989 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.989 * [taylor]: Taking taylor expansion of 6.0 in z
0.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.989 * [taylor]: Taking taylor expansion of z in z
0.989 * [taylor]: Taking taylor expansion of 3.0 in z
0.989 * [taylor]: Taking taylor expansion of 0 in y
0.989 * [taylor]: Taking taylor expansion of 0 in z
0.989 * [taylor]: Taking taylor expansion of 0 in z
0.990 * [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
0.990 * [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
0.990 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z
0.990 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
0.990 * [taylor]: Taking taylor expansion of 6.0 in z
0.990 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.990 * [taylor]: Taking taylor expansion of (* x z) in z
0.990 * [taylor]: Taking taylor expansion of x in z
0.990 * [taylor]: Taking taylor expansion of z in z
0.990 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
0.990 * [taylor]: Taking taylor expansion of 3.0 in z
0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.990 * [taylor]: Taking taylor expansion of x in z
0.990 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z
0.990 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
0.990 * [taylor]: Taking taylor expansion of 6.0 in z
0.990 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.990 * [taylor]: Taking taylor expansion of (* z y) in z
0.990 * [taylor]: Taking taylor expansion of z in z
0.990 * [taylor]: Taking taylor expansion of y in z
0.990 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
0.990 * [taylor]: Taking taylor expansion of 4.0 in z
0.990 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.990 * [taylor]: Taking taylor expansion of y in z
0.990 * [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
0.990 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y
0.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
0.991 * [taylor]: Taking taylor expansion of 6.0 in y
0.991 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.991 * [taylor]: Taking taylor expansion of (* x z) in y
0.991 * [taylor]: Taking taylor expansion of x in y
0.991 * [taylor]: Taking taylor expansion of z in y
0.991 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
0.991 * [taylor]: Taking taylor expansion of 3.0 in y
0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.991 * [taylor]: Taking taylor expansion of x in y
0.991 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
0.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.991 * [taylor]: Taking taylor expansion of 6.0 in y
0.991 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.991 * [taylor]: Taking taylor expansion of (* z y) in y
0.991 * [taylor]: Taking taylor expansion of z in y
0.991 * [taylor]: Taking taylor expansion of y in y
0.991 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.991 * [taylor]: Taking taylor expansion of 4.0 in y
0.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.991 * [taylor]: Taking taylor expansion of y in y
0.991 * [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
0.991 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
0.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.991 * [taylor]: Taking taylor expansion of 6.0 in x
0.991 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.991 * [taylor]: Taking taylor expansion of (* x z) in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of z in x
0.991 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.991 * [taylor]: Taking taylor expansion of 3.0 in x
0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
0.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.991 * [taylor]: Taking taylor expansion of 6.0 in x
0.991 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.991 * [taylor]: Taking taylor expansion of (* z y) in x
0.991 * [taylor]: Taking taylor expansion of z in x
0.991 * [taylor]: Taking taylor expansion of y in x
0.991 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.991 * [taylor]: Taking taylor expansion of 4.0 in x
0.991 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.991 * [taylor]: Taking taylor expansion of y in x
0.992 * [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
0.992 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
0.992 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
0.992 * [taylor]: Taking taylor expansion of 6.0 in x
0.992 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.992 * [taylor]: Taking taylor expansion of (* x z) in x
0.992 * [taylor]: Taking taylor expansion of x in x
0.992 * [taylor]: Taking taylor expansion of z in x
0.992 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.992 * [taylor]: Taking taylor expansion of 3.0 in x
0.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.992 * [taylor]: Taking taylor expansion of x in x
0.992 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
0.992 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
0.992 * [taylor]: Taking taylor expansion of 6.0 in x
0.992 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.992 * [taylor]: Taking taylor expansion of (* z y) in x
0.992 * [taylor]: Taking taylor expansion of z in x
0.992 * [taylor]: Taking taylor expansion of y in x
0.992 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
0.992 * [taylor]: Taking taylor expansion of 4.0 in x
0.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.992 * [taylor]: Taking taylor expansion of y in x
0.992 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y
0.992 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
0.992 * [taylor]: Taking taylor expansion of 6.0 in y
0.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.992 * [taylor]: Taking taylor expansion of z in y
0.992 * [taylor]: Taking taylor expansion of 3.0 in y
0.993 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y
0.993 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
0.993 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
0.993 * [taylor]: Taking taylor expansion of 6.0 in y
0.993 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.993 * [taylor]: Taking taylor expansion of (* z y) in y
0.993 * [taylor]: Taking taylor expansion of z in y
0.993 * [taylor]: Taking taylor expansion of y in y
0.993 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
0.993 * [taylor]: Taking taylor expansion of 4.0 in y
0.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.993 * [taylor]: Taking taylor expansion of y in y
0.993 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 4.0)) in z
0.993 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
0.993 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.993 * [taylor]: Taking taylor expansion of 6.0 in z
0.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.993 * [taylor]: Taking taylor expansion of z in z
0.993 * [taylor]: Taking taylor expansion of 4.0 in z
0.993 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z
0.993 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
0.993 * [taylor]: Taking taylor expansion of 6.0 in z
0.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.993 * [taylor]: Taking taylor expansion of z in z
0.993 * [taylor]: Taking taylor expansion of 3.0 in z
0.994 * [taylor]: Taking taylor expansion of 0 in y
0.994 * [taylor]: Taking taylor expansion of 0 in z
0.994 * [taylor]: Taking taylor expansion of 0 in z
0.994 * * * [progress]: simplifying candidates
0.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- y x) (- 4.0 (* 6.0 z)))
  (+ (log (- y x)) (log (- 4.0 (* 6.0 z))))
  (log (* (- y x) (- 4.0 (* 6.0 z))))
  (exp (* (- y x) (- 4.0 (* 6.0 z))))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (- 4.0 (* 6.0 z)) (- 4.0 (* 6.0 z))) (- 4.0 (* 6.0 z))))
  (* (cbrt (* (- y x) (- 4.0 (* 6.0 z)))) (cbrt (* (- y x) (- 4.0 (* 6.0 z)))))
  (cbrt (* (- y x) (- 4.0 (* 6.0 z))))
  (* (* (* (- y x) (- 4.0 (* 6.0 z))) (* (- y x) (- 4.0 (* 6.0 z)))) (* (- y x) (- 4.0 (* 6.0 z))))
  (sqrt (* (- y x) (- 4.0 (* 6.0 z))))
  (sqrt (* (- y x) (- 4.0 (* 6.0 z))))
  (* (- (pow y 3) (pow x 3)) (- (pow 4.0 3) (pow (* 6.0 z) 3)))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ (* 4.0 4.0) (+ (* (* 6.0 z) (* 6.0 z)) (* 4.0 (* 6.0 z)))))
  (* (- (pow y 3) (pow x 3)) (- (* 4.0 4.0) (* (* 6.0 z) (* 6.0 z))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ 4.0 (* 6.0 z)))
  (* (- (* y y) (* x x)) (- (pow 4.0 3) (pow (* 6.0 z) 3)))
  (* (+ y x) (+ (* 4.0 4.0) (+ (* (* 6.0 z) (* 6.0 z)) (* 4.0 (* 6.0 z)))))
  (* (- (* y y) (* x x)) (- (* 4.0 4.0) (* (* 6.0 z) (* 6.0 z))))
  (* (+ y x) (+ 4.0 (* 6.0 z)))
  (* (sqrt (- y x)) (sqrt (- 4.0 (* 6.0 z))))
  (* (sqrt (- y x)) (sqrt (- 4.0 (* 6.0 z))))
  (* (- y x) 4.0)
  (* (- y x) (neg (* 6.0 z)))
  (* 4.0 (- y x))
  (* (neg (* 6.0 z)) (- y x))
  (* (- y x) (* (cbrt (- 4.0 (* 6.0 z))) (cbrt (- 4.0 (* 6.0 z)))))
  (* (- y x) (sqrt (- 4.0 (* 6.0 z))))
  (* (- y x) 1)
  (* (cbrt (- y x)) (- 4.0 (* 6.0 z)))
  (* (sqrt (- y x)) (- 4.0 (* 6.0 z)))
  (* (- y x) (- 4.0 (* 6.0 z)))
  (* (- (sqrt y) (sqrt x)) (- 4.0 (* 6.0 z)))
  (* (- y x) (- 4.0 (* 6.0 z)))
  (* (- y x) (- (pow 4.0 3) (pow (* 6.0 z) 3)))
  (* (- y x) (- (* 4.0 4.0) (* (* 6.0 z) (* 6.0 z))))
  (* (- (pow y 3) (pow x 3)) (- 4.0 (* 6.0 z)))
  (* (- (* y y) (* x x)) (- 4.0 (* 6.0 z)))
  (/ (exp 4.0) (exp (* 6.0 z)))
  (log (- 4.0 (* 6.0 z)))
  (exp (- 4.0 (* 6.0 z)))
  (* (cbrt (- 4.0 (* 6.0 z))) (cbrt (- 4.0 (* 6.0 z))))
  (cbrt (- 4.0 (* 6.0 z)))
  (* (* (- 4.0 (* 6.0 z)) (- 4.0 (* 6.0 z))) (- 4.0 (* 6.0 z)))
  (sqrt (- 4.0 (* 6.0 z)))
  (sqrt (- 4.0 (* 6.0 z)))
  (- (pow 4.0 3) (pow (* 6.0 z) 3))
  (+ (* 4.0 4.0) (+ (* (* 6.0 z) (* 6.0 z)) (* 4.0 (* 6.0 z))))
  (neg (* 6.0 z))
  (- (* 4.0 4.0) (* (* 6.0 z) (* 6.0 z)))
  (+ 4.0 (* 6.0 z))
  (* (exp x) (exp (* (- y x) (- 4.0 (* 6.0 z)))))
  (log (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (exp (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))))
  (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (* (* (+ x (* (- y x) (- 4.0 (* 6.0 z)))) (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (sqrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (sqrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (+ (pow x 3) (pow (* (- y x) (- 4.0 (* 6.0 z))) 3))
  (+ (* x x) (- (* (* (- y x) (- 4.0 (* 6.0 z))) (* (- y x) (- 4.0 (* 6.0 z)))) (* x (* (- y x) (- 4.0 (* 6.0 z))))))
  (- (* x x) (* (* (- y x) (- 4.0 (* 6.0 z))) (* (- y x) (- 4.0 (* 6.0 z)))))
  (- x (* (- y x) (- 4.0 (* 6.0 z))))
  (+ x (* (- y x) 4.0))
  (+ x (* 4.0 (- y x)))
  (- (* 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)))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (- (+ (* 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)))
1.025 * * [simplify]: iteration  0 :  4958  enodes  (cost  804 )
1.025 * * [simplify]: iteration  1 :  4958  enodes  (cost  804 )
1.028 * [simplify]: Simplified to:
   (* (- y x) (- 4.0 (* 6.0 z)))
  (log (* (- y x) (- 4.0 (* 6.0 z))))
  (log (* (- y x) (- 4.0 (* 6.0 z))))
  (pow (exp (- 4.0 (* 6.0 z))) (- y x))
  (pow (* (- y x) (- 4.0 (* 6.0 z))) 3)
  (* (cbrt (* (- y x) (- 4.0 (* 6.0 z)))) (cbrt (* (- y x) (- 4.0 (* 6.0 z)))))
  (cbrt (* (- y x) (- 4.0 (* 6.0 z))))
  (pow (* (- y x) (- 4.0 (* 6.0 z))) 3)
  (sqrt (* (- y x) (- 4.0 (* 6.0 z))))
  (sqrt (* (- y x) (- 4.0 (* 6.0 z))))
  (* (- (pow y 3) (pow x 3)) (- (pow 4.0 3) (pow (* 6.0 z) 3)))
  (* (+ (* y y) (* x (+ y x))) (+ (* 4.0 4.0) (* 6.0 (* z (+ 4.0 (* 6.0 z))))))
  (* (- 4.0 (* 6.0 z)) (* (- (pow y 3) (pow x 3)) (+ 4.0 (* 6.0 z))))
  (* (+ (* y y) (* x (+ y x))) (+ 4.0 (* 6.0 z)))
  (* (- y x) (* (- (pow 4.0 3) (pow (* 6.0 z) 3)) (+ y x)))
  (* (+ (* 4.0 4.0) (* 6.0 (* z (+ 4.0 (* 6.0 z))))) (+ y x))
  (* (- y x) (* (- (* 4.0 4.0) (* 6.0 (* 6.0 (* z z)))) (+ y x)))
  (* (+ 4.0 (* 6.0 z)) (+ y x))
  (* (sqrt (- y x)) (sqrt (- 4.0 (* 6.0 z))))
  (* (sqrt (- y x)) (sqrt (- 4.0 (* 6.0 z))))
  (* (- y x) 4.0)
  (* 6.0 (* z (- x y)))
  (* (- y x) 4.0)
  (* 6.0 (* z (- x y)))
  (* (- y x) (* (cbrt (- 4.0 (* 6.0 z))) (cbrt (- 4.0 (* 6.0 z)))))
  (* (- y x) (sqrt (- 4.0 (* 6.0 z))))
  (- y x)
  (* (- 4.0 (* 6.0 z)) (cbrt (- y x)))
  (* (- 4.0 (* 6.0 z)) (sqrt (- y x)))
  (* (- y x) (- 4.0 (* 6.0 z)))
  (* (- 4.0 (* 6.0 z)) (- (sqrt y) (sqrt x)))
  (* (- y x) (- 4.0 (* 6.0 z)))
  (* (- y x) (- (pow 4.0 3) (pow (* 6.0 z) 3)))
  (* (- y x) (- (* 4.0 4.0) (* 6.0 (* 6.0 (* z z)))))
  (* (- 4.0 (* 6.0 z)) (- (pow y 3) (pow x 3)))
  (* (- y x) (* (- 4.0 (* 6.0 z)) (+ y x)))
  (exp (- 4.0 (* 6.0 z)))
  (log (- 4.0 (* 6.0 z)))
  (exp (- 4.0 (* 6.0 z)))
  (* (cbrt (- 4.0 (* 6.0 z))) (cbrt (- 4.0 (* 6.0 z))))
  (cbrt (- 4.0 (* 6.0 z)))
  (pow (- 4.0 (* 6.0 z)) 3)
  (sqrt (- 4.0 (* 6.0 z)))
  (sqrt (- 4.0 (* 6.0 z)))
  (- (pow 4.0 3) (pow (* 6.0 z) 3))
  (+ (* 4.0 4.0) (* 6.0 (* z (+ 4.0 (* 6.0 z)))))
  (* 6.0 (neg z))
  (- (* 4.0 4.0) (* 6.0 (* 6.0 (* z z))))
  (+ 4.0 (* 6.0 z))
  (exp (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (log (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (exp (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))))
  (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (pow (+ x (* (- y x) (- 4.0 (* 6.0 z)))) 3)
  (sqrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (sqrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))
  (+ (pow (* (- y x) (- 4.0 (* 6.0 z))) 3) (pow x 3))
  (+ (* x x) (* (- y x) (* (- 4.0 (* 6.0 z)) (- (* (- y x) (- 4.0 (* 6.0 z))) x))))
  (+ (* x x) (* (- y x) (* (- y x) (* (- 4.0 (* 6.0 z)) (- (* 6.0 z) 4.0)))))
  (+ x (* (- y x) (- (* 6.0 z) 4.0)))
  (+ x (* (- y x) 4.0))
  (+ x (* (- y x) 4.0))
  (- (* (- y x) 4.0) (* y (* 6.0 z)))
  (- (* 6.0 (* z (- x y))) (* x 4.0))
  (- (* 6.0 (* z (- x y))) (* x 4.0))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (- 4.0 (* 6.0 z))
  (+ (* y 4.0) (* x (- (* 6.0 z) 3.0)))
  (+ (* 6.0 (* z (- x y))) (* y 4.0))
  (+ (* 6.0 (* z (- x y))) (* y 4.0))
1.028 * * * [progress]: adding candidates to table
1.105 * * [progress]: iteration 3 / 4
1.105 * * * [progress]: picking best candidate
1.128 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))>
1.128 * * * [progress]: localizing error
1.139 * * * [progress]: generating rewritten candidates
1.139 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
1.149 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.161 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.175 * * * [progress]: generating series expansions
1.175 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
1.175 * [approximate]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in (y x z) around 0
1.175 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in z
1.175 * [taylor]: Taking taylor expansion of -6.0 in z
1.175 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
1.175 * [taylor]: Taking taylor expansion of (- y x) in z
1.175 * [taylor]: Taking taylor expansion of y in z
1.175 * [taylor]: Taking taylor expansion of x in z
1.175 * [taylor]: Taking taylor expansion of z in z
1.175 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in x
1.175 * [taylor]: Taking taylor expansion of -6.0 in x
1.175 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
1.175 * [taylor]: Taking taylor expansion of (- y x) in x
1.175 * [taylor]: Taking taylor expansion of y in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of z in x
1.175 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in y
1.175 * [taylor]: Taking taylor expansion of -6.0 in y
1.175 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
1.175 * [taylor]: Taking taylor expansion of (- y x) in y
1.175 * [taylor]: Taking taylor expansion of y in y
1.175 * [taylor]: Taking taylor expansion of x in y
1.175 * [taylor]: Taking taylor expansion of z in y
1.175 * [taylor]: Taking taylor expansion of (* -6.0 (* (- y x) z)) in y
1.175 * [taylor]: Taking taylor expansion of -6.0 in y
1.175 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
1.175 * [taylor]: Taking taylor expansion of (- y x) in y
1.175 * [taylor]: Taking taylor expansion of y in y
1.175 * [taylor]: Taking taylor expansion of x in y
1.175 * [taylor]: Taking taylor expansion of z in y
1.175 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
1.175 * [taylor]: Taking taylor expansion of 6.0 in x
1.175 * [taylor]: Taking taylor expansion of (* x z) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of z in x
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in x
1.176 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
1.176 * [taylor]: Taking taylor expansion of 6.0 in x
1.176 * [taylor]: Taking taylor expansion of z in x
1.176 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z
1.176 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.176 * [taylor]: Taking taylor expansion of 6.0 in z
1.176 * [taylor]: Taking taylor expansion of z in z
1.176 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.176 * [taylor]: Taking taylor expansion of 6.0 in z
1.176 * [taylor]: Taking taylor expansion of z in z
1.176 * [taylor]: Taking taylor expansion of 0 in x
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.176 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
1.176 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
1.176 * [taylor]: Taking taylor expansion of -6.0 in z
1.176 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
1.176 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
1.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.176 * [taylor]: Taking taylor expansion of y in z
1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.176 * [taylor]: Taking taylor expansion of x in z
1.177 * [taylor]: Taking taylor expansion of z in z
1.177 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
1.177 * [taylor]: Taking taylor expansion of -6.0 in x
1.177 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
1.177 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.177 * [taylor]: Taking taylor expansion of y in x
1.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.177 * [taylor]: Taking taylor expansion of x in x
1.177 * [taylor]: Taking taylor expansion of z in x
1.177 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
1.177 * [taylor]: Taking taylor expansion of -6.0 in y
1.177 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
1.177 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.177 * [taylor]: Taking taylor expansion of y in y
1.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.177 * [taylor]: Taking taylor expansion of x in y
1.177 * [taylor]: Taking taylor expansion of z in y
1.177 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
1.177 * [taylor]: Taking taylor expansion of -6.0 in y
1.177 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
1.177 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.177 * [taylor]: Taking taylor expansion of y in y
1.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.177 * [taylor]: Taking taylor expansion of x in y
1.177 * [taylor]: Taking taylor expansion of z in y
1.177 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x
1.177 * [taylor]: Taking taylor expansion of -6.0 in x
1.177 * [taylor]: Taking taylor expansion of z in x
1.178 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.178 * [taylor]: Taking taylor expansion of 6.0 in x
1.178 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.178 * [taylor]: Taking taylor expansion of (* x z) in x
1.178 * [taylor]: Taking taylor expansion of x in x
1.178 * [taylor]: Taking taylor expansion of z in x
1.178 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
1.178 * [taylor]: Taking taylor expansion of 6.0 in z
1.178 * [taylor]: Taking taylor expansion of z in z
1.178 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z
1.178 * [taylor]: Taking taylor expansion of -6.0 in z
1.178 * [taylor]: Taking taylor expansion of z in z
1.178 * [taylor]: Taking taylor expansion of 0 in x
1.178 * [taylor]: Taking taylor expansion of 0 in z
1.178 * [taylor]: Taking taylor expansion of 0 in z
1.179 * [taylor]: Taking taylor expansion of 0 in x
1.179 * [taylor]: Taking taylor expansion of 0 in z
1.179 * [taylor]: Taking taylor expansion of 0 in z
1.179 * [taylor]: Taking taylor expansion of 0 in z
1.180 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
1.180 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
1.180 * [taylor]: Taking taylor expansion of 6.0 in z
1.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
1.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
1.180 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.180 * [taylor]: Taking taylor expansion of x in z
1.180 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.180 * [taylor]: Taking taylor expansion of y in z
1.180 * [taylor]: Taking taylor expansion of z in z
1.180 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
1.180 * [taylor]: Taking taylor expansion of 6.0 in x
1.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
1.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.180 * [taylor]: Taking taylor expansion of x in x
1.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.180 * [taylor]: Taking taylor expansion of y in x
1.180 * [taylor]: Taking taylor expansion of z in x
1.180 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
1.180 * [taylor]: Taking taylor expansion of 6.0 in y
1.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
1.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.180 * [taylor]: Taking taylor expansion of x in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.180 * [taylor]: Taking taylor expansion of y in y
1.180 * [taylor]: Taking taylor expansion of z in y
1.180 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
1.180 * [taylor]: Taking taylor expansion of 6.0 in y
1.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
1.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.180 * [taylor]: Taking taylor expansion of x in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.180 * [taylor]: Taking taylor expansion of y in y
1.180 * [taylor]: Taking taylor expansion of z in y
1.181 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x
1.181 * [taylor]: Taking taylor expansion of -6.0 in x
1.181 * [taylor]: Taking taylor expansion of z in x
1.181 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.181 * [taylor]: Taking taylor expansion of 6.0 in x
1.181 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.181 * [taylor]: Taking taylor expansion of (* x z) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of z in x
1.181 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
1.181 * [taylor]: Taking taylor expansion of 6.0 in z
1.181 * [taylor]: Taking taylor expansion of z in z
1.181 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z
1.181 * [taylor]: Taking taylor expansion of -6.0 in z
1.181 * [taylor]: Taking taylor expansion of z in z
1.181 * [taylor]: Taking taylor expansion of 0 in x
1.182 * [taylor]: Taking taylor expansion of 0 in z
1.182 * [taylor]: Taking taylor expansion of 0 in z
1.182 * [taylor]: Taking taylor expansion of 0 in x
1.182 * [taylor]: Taking taylor expansion of 0 in z
1.182 * [taylor]: Taking taylor expansion of 0 in z
1.182 * [taylor]: Taking taylor expansion of 0 in z
1.183 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.183 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 4.0 x))) in (y x z) around 0
1.183 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 4.0 x))) in z
1.183 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z
1.183 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
1.183 * [taylor]: Taking taylor expansion of 6.0 in z
1.183 * [taylor]: Taking taylor expansion of (* x z) in z
1.183 * [taylor]: Taking taylor expansion of x in z
1.183 * [taylor]: Taking taylor expansion of z in z
1.183 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
1.183 * [taylor]: Taking taylor expansion of 4.0 in z
1.183 * [taylor]: Taking taylor expansion of y in z
1.183 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 4.0 x)) in z
1.183 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
1.183 * [taylor]: Taking taylor expansion of 6.0 in z
1.183 * [taylor]: Taking taylor expansion of (* z y) in z
1.183 * [taylor]: Taking taylor expansion of z in z
1.183 * [taylor]: Taking taylor expansion of y in z
1.183 * [taylor]: Taking taylor expansion of (* 4.0 x) in z
1.183 * [taylor]: Taking taylor expansion of 4.0 in z
1.183 * [taylor]: Taking taylor expansion of x in z
1.183 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 4.0 x))) in x
1.183 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
1.183 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
1.183 * [taylor]: Taking taylor expansion of 6.0 in x
1.183 * [taylor]: Taking taylor expansion of (* x z) in x
1.183 * [taylor]: Taking taylor expansion of x in x
1.183 * [taylor]: Taking taylor expansion of z in x
1.183 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
1.183 * [taylor]: Taking taylor expansion of 4.0 in x
1.183 * [taylor]: Taking taylor expansion of y in x
1.183 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 4.0 x)) in x
1.183 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
1.183 * [taylor]: Taking taylor expansion of 6.0 in x
1.183 * [taylor]: Taking taylor expansion of (* z y) in x
1.183 * [taylor]: Taking taylor expansion of z in x
1.183 * [taylor]: Taking taylor expansion of y in x
1.183 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.183 * [taylor]: Taking taylor expansion of 4.0 in x
1.183 * [taylor]: Taking taylor expansion of x in x
1.183 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 4.0 x))) in y
1.183 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y
1.183 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
1.183 * [taylor]: Taking taylor expansion of 6.0 in y
1.184 * [taylor]: Taking taylor expansion of (* x z) in y
1.184 * [taylor]: Taking taylor expansion of x in y
1.184 * [taylor]: Taking taylor expansion of z in y
1.184 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.184 * [taylor]: Taking taylor expansion of 4.0 in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 4.0 x)) in y
1.184 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
1.184 * [taylor]: Taking taylor expansion of 6.0 in y
1.184 * [taylor]: Taking taylor expansion of (* z y) in y
1.184 * [taylor]: Taking taylor expansion of z in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of (* 4.0 x) in y
1.184 * [taylor]: Taking taylor expansion of 4.0 in y
1.184 * [taylor]: Taking taylor expansion of x in y
1.184 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 4.0 x))) in y
1.184 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y
1.184 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
1.184 * [taylor]: Taking taylor expansion of 6.0 in y
1.184 * [taylor]: Taking taylor expansion of (* x z) in y
1.184 * [taylor]: Taking taylor expansion of x in y
1.184 * [taylor]: Taking taylor expansion of z in y
1.184 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.184 * [taylor]: Taking taylor expansion of 4.0 in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 4.0 x)) in y
1.184 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
1.184 * [taylor]: Taking taylor expansion of 6.0 in y
1.184 * [taylor]: Taking taylor expansion of (* z y) in y
1.184 * [taylor]: Taking taylor expansion of z in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of (* 4.0 x) in y
1.184 * [taylor]: Taking taylor expansion of 4.0 in y
1.184 * [taylor]: Taking taylor expansion of x in y
1.184 * [taylor]: Taking taylor expansion of (- (* 6.0 (* x z)) (* 4.0 x)) in x
1.184 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
1.184 * [taylor]: Taking taylor expansion of 6.0 in x
1.184 * [taylor]: Taking taylor expansion of (* x z) in x
1.184 * [taylor]: Taking taylor expansion of x in x
1.184 * [taylor]: Taking taylor expansion of z in x
1.184 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.184 * [taylor]: Taking taylor expansion of 4.0 in x
1.184 * [taylor]: Taking taylor expansion of x in x
1.185 * [taylor]: Taking taylor expansion of 0 in z
1.185 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x
1.185 * [taylor]: Taking taylor expansion of 4.0 in x
1.185 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
1.185 * [taylor]: Taking taylor expansion of 6.0 in x
1.185 * [taylor]: Taking taylor expansion of z in x
1.185 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
1.185 * [taylor]: Taking taylor expansion of 4.0 in z
1.185 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.185 * [taylor]: Taking taylor expansion of 6.0 in z
1.185 * [taylor]: Taking taylor expansion of z in z
1.185 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 4.0) in z
1.185 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.185 * [taylor]: Taking taylor expansion of 6.0 in z
1.185 * [taylor]: Taking taylor expansion of z in z
1.185 * [taylor]: Taking taylor expansion of 4.0 in z
1.185 * [taylor]: Taking taylor expansion of 0 in x
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x)))) in (y x z) around 0
1.186 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x)))) in z
1.186 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z
1.186 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
1.186 * [taylor]: Taking taylor expansion of 6.0 in z
1.186 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.186 * [taylor]: Taking taylor expansion of (* x z) in z
1.186 * [taylor]: Taking taylor expansion of x in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
1.187 * [taylor]: Taking taylor expansion of 4.0 in z
1.187 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.187 * [taylor]: Taking taylor expansion of y in z
1.187 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x))) in z
1.187 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
1.187 * [taylor]: Taking taylor expansion of 6.0 in z
1.187 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.187 * [taylor]: Taking taylor expansion of (* z y) in z
1.187 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of y in z
1.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in z
1.187 * [taylor]: Taking taylor expansion of 4.0 in z
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.187 * [taylor]: Taking taylor expansion of x in z
1.187 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x)))) in x
1.187 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
1.187 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.187 * [taylor]: Taking taylor expansion of 6.0 in x
1.187 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.187 * [taylor]: Taking taylor expansion of (* x z) in x
1.187 * [taylor]: Taking taylor expansion of x in x
1.187 * [taylor]: Taking taylor expansion of z in x
1.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.187 * [taylor]: Taking taylor expansion of 4.0 in x
1.187 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.187 * [taylor]: Taking taylor expansion of y in x
1.187 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x))) in x
1.187 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.187 * [taylor]: Taking taylor expansion of 6.0 in x
1.187 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.187 * [taylor]: Taking taylor expansion of (* z y) in x
1.187 * [taylor]: Taking taylor expansion of z in x
1.187 * [taylor]: Taking taylor expansion of y in x
1.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.187 * [taylor]: Taking taylor expansion of 4.0 in x
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.187 * [taylor]: Taking taylor expansion of x in x
1.187 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x)))) in y
1.187 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y
1.187 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.188 * [taylor]: Taking taylor expansion of 6.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.188 * [taylor]: Taking taylor expansion of (* x z) in y
1.188 * [taylor]: Taking taylor expansion of x in y
1.188 * [taylor]: Taking taylor expansion of z in y
1.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.188 * [taylor]: Taking taylor expansion of 4.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x))) in y
1.188 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.188 * [taylor]: Taking taylor expansion of 6.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.188 * [taylor]: Taking taylor expansion of (* z y) in y
1.188 * [taylor]: Taking taylor expansion of z in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in y
1.188 * [taylor]: Taking taylor expansion of 4.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.188 * [taylor]: Taking taylor expansion of x in y
1.188 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x)))) in y
1.188 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y
1.188 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.188 * [taylor]: Taking taylor expansion of 6.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.188 * [taylor]: Taking taylor expansion of (* x z) in y
1.188 * [taylor]: Taking taylor expansion of x in y
1.188 * [taylor]: Taking taylor expansion of z in y
1.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.188 * [taylor]: Taking taylor expansion of 4.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 x))) in y
1.188 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.188 * [taylor]: Taking taylor expansion of 6.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.188 * [taylor]: Taking taylor expansion of (* z y) in y
1.188 * [taylor]: Taking taylor expansion of z in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in y
1.188 * [taylor]: Taking taylor expansion of 4.0 in y
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.188 * [taylor]: Taking taylor expansion of x in y
1.189 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in x
1.189 * [taylor]: Taking taylor expansion of 4.0 in x
1.189 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
1.189 * [taylor]: Taking taylor expansion of 6.0 in x
1.189 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.189 * [taylor]: Taking taylor expansion of z in x
1.189 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
1.189 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.189 * [taylor]: Taking taylor expansion of 6.0 in x
1.189 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.189 * [taylor]: Taking taylor expansion of (* x z) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of z in x
1.189 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.189 * [taylor]: Taking taylor expansion of 4.0 in x
1.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.189 * [taylor]: Taking taylor expansion of x in x
1.189 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 4.0) in z
1.189 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.190 * [taylor]: Taking taylor expansion of 6.0 in z
1.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.190 * [taylor]: Taking taylor expansion of z in z
1.190 * [taylor]: Taking taylor expansion of 4.0 in z
1.190 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
1.190 * [taylor]: Taking taylor expansion of 4.0 in z
1.190 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.190 * [taylor]: Taking taylor expansion of 6.0 in z
1.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.190 * [taylor]: Taking taylor expansion of z in z
1.190 * [taylor]: Taking taylor expansion of 0 in x
1.190 * [taylor]: Taking taylor expansion of 0 in z
1.191 * [taylor]: Taking taylor expansion of 0 in z
1.191 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in (y x z) around 0
1.191 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in z
1.191 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in z
1.191 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
1.191 * [taylor]: Taking taylor expansion of 6.0 in z
1.191 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.191 * [taylor]: Taking taylor expansion of (* x z) in z
1.191 * [taylor]: Taking taylor expansion of x in z
1.191 * [taylor]: Taking taylor expansion of z in z
1.191 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in z
1.191 * [taylor]: Taking taylor expansion of 4.0 in z
1.191 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.191 * [taylor]: Taking taylor expansion of x in z
1.191 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z
1.191 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
1.191 * [taylor]: Taking taylor expansion of 6.0 in z
1.191 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.191 * [taylor]: Taking taylor expansion of (* z y) in z
1.191 * [taylor]: Taking taylor expansion of z in z
1.191 * [taylor]: Taking taylor expansion of y in z
1.192 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
1.192 * [taylor]: Taking taylor expansion of 4.0 in z
1.192 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.192 * [taylor]: Taking taylor expansion of y in z
1.192 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in x
1.192 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
1.192 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.192 * [taylor]: Taking taylor expansion of 6.0 in x
1.192 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.192 * [taylor]: Taking taylor expansion of (* x z) in x
1.192 * [taylor]: Taking taylor expansion of x in x
1.192 * [taylor]: Taking taylor expansion of z in x
1.192 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.192 * [taylor]: Taking taylor expansion of 4.0 in x
1.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.192 * [taylor]: Taking taylor expansion of x in x
1.192 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
1.192 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.192 * [taylor]: Taking taylor expansion of 6.0 in x
1.192 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.192 * [taylor]: Taking taylor expansion of (* z y) in x
1.192 * [taylor]: Taking taylor expansion of z in x
1.192 * [taylor]: Taking taylor expansion of y in x
1.192 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.192 * [taylor]: Taking taylor expansion of 4.0 in x
1.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.192 * [taylor]: Taking taylor expansion of y in x
1.192 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y
1.192 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in y
1.192 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.192 * [taylor]: Taking taylor expansion of 6.0 in y
1.192 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.192 * [taylor]: Taking taylor expansion of (* x z) in y
1.192 * [taylor]: Taking taylor expansion of x in y
1.192 * [taylor]: Taking taylor expansion of z in y
1.192 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in y
1.192 * [taylor]: Taking taylor expansion of 4.0 in y
1.192 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.192 * [taylor]: Taking taylor expansion of x in y
1.192 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
1.192 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.192 * [taylor]: Taking taylor expansion of 6.0 in y
1.192 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.193 * [taylor]: Taking taylor expansion of (* z y) in y
1.193 * [taylor]: Taking taylor expansion of z in y
1.193 * [taylor]: Taking taylor expansion of y in y
1.193 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.193 * [taylor]: Taking taylor expansion of 4.0 in y
1.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.193 * [taylor]: Taking taylor expansion of y in y
1.193 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y
1.193 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in y
1.193 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.193 * [taylor]: Taking taylor expansion of 6.0 in y
1.193 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.193 * [taylor]: Taking taylor expansion of (* x z) in y
1.193 * [taylor]: Taking taylor expansion of x in y
1.193 * [taylor]: Taking taylor expansion of z in y
1.193 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in y
1.193 * [taylor]: Taking taylor expansion of 4.0 in y
1.193 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.193 * [taylor]: Taking taylor expansion of x in y
1.193 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
1.193 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.193 * [taylor]: Taking taylor expansion of 6.0 in y
1.193 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.193 * [taylor]: Taking taylor expansion of (* z y) in y
1.193 * [taylor]: Taking taylor expansion of z in y
1.193 * [taylor]: Taking taylor expansion of y in y
1.193 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.193 * [taylor]: Taking taylor expansion of 4.0 in y
1.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.193 * [taylor]: Taking taylor expansion of y in y
1.193 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 4.0)) in x
1.193 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in x
1.193 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
1.193 * [taylor]: Taking taylor expansion of 6.0 in x
1.193 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.194 * [taylor]: Taking taylor expansion of z in x
1.194 * [taylor]: Taking taylor expansion of 4.0 in x
1.194 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
1.194 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.194 * [taylor]: Taking taylor expansion of 6.0 in x
1.194 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.194 * [taylor]: Taking taylor expansion of (* x z) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.194 * [taylor]: Taking taylor expansion of z in x
1.194 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.194 * [taylor]: Taking taylor expansion of 4.0 in x
1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.194 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
1.194 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.194 * [taylor]: Taking taylor expansion of 6.0 in z
1.194 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.194 * [taylor]: Taking taylor expansion of z in z
1.194 * [taylor]: Taking taylor expansion of 4.0 in z
1.194 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 4.0)) in z
1.194 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
1.194 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.195 * [taylor]: Taking taylor expansion of 6.0 in z
1.195 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.195 * [taylor]: Taking taylor expansion of z in z
1.195 * [taylor]: Taking taylor expansion of 4.0 in z
1.195 * [taylor]: Taking taylor expansion of 0 in x
1.195 * [taylor]: Taking taylor expansion of 0 in z
1.195 * [taylor]: Taking taylor expansion of 0 in z
1.196 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.196 * [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
1.196 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z
1.196 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z
1.196 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
1.196 * [taylor]: Taking taylor expansion of 6.0 in z
1.196 * [taylor]: Taking taylor expansion of (* x z) in z
1.196 * [taylor]: Taking taylor expansion of x in z
1.196 * [taylor]: Taking taylor expansion of z in z
1.196 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
1.196 * [taylor]: Taking taylor expansion of 4.0 in z
1.196 * [taylor]: Taking taylor expansion of y in z
1.196 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z
1.196 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
1.196 * [taylor]: Taking taylor expansion of 6.0 in z
1.196 * [taylor]: Taking taylor expansion of (* z y) in z
1.196 * [taylor]: Taking taylor expansion of z in z
1.196 * [taylor]: Taking taylor expansion of y in z
1.196 * [taylor]: Taking taylor expansion of (* 3.0 x) in z
1.196 * [taylor]: Taking taylor expansion of 3.0 in z
1.196 * [taylor]: Taking taylor expansion of x in z
1.196 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y
1.196 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y
1.196 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
1.196 * [taylor]: Taking taylor expansion of 6.0 in y
1.196 * [taylor]: Taking taylor expansion of (* x z) in y
1.196 * [taylor]: Taking taylor expansion of x in y
1.196 * [taylor]: Taking taylor expansion of z in y
1.196 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.196 * [taylor]: Taking taylor expansion of 4.0 in y
1.196 * [taylor]: Taking taylor expansion of y in y
1.196 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y
1.196 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
1.196 * [taylor]: Taking taylor expansion of 6.0 in y
1.196 * [taylor]: Taking taylor expansion of (* z y) in y
1.196 * [taylor]: Taking taylor expansion of z in y
1.196 * [taylor]: Taking taylor expansion of y in y
1.196 * [taylor]: Taking taylor expansion of (* 3.0 x) in y
1.196 * [taylor]: Taking taylor expansion of 3.0 in y
1.196 * [taylor]: Taking taylor expansion of x in y
1.197 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
1.197 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
1.197 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
1.197 * [taylor]: Taking taylor expansion of 6.0 in x
1.197 * [taylor]: Taking taylor expansion of (* x z) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
1.197 * [taylor]: Taking taylor expansion of 4.0 in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
1.197 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
1.197 * [taylor]: Taking taylor expansion of 6.0 in x
1.197 * [taylor]: Taking taylor expansion of (* z y) in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.197 * [taylor]: Taking taylor expansion of 3.0 in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
1.197 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
1.197 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
1.197 * [taylor]: Taking taylor expansion of 6.0 in x
1.197 * [taylor]: Taking taylor expansion of (* x z) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
1.197 * [taylor]: Taking taylor expansion of 4.0 in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
1.197 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
1.197 * [taylor]: Taking taylor expansion of 6.0 in x
1.197 * [taylor]: Taking taylor expansion of (* z y) in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.197 * [taylor]: Taking taylor expansion of 3.0 in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y
1.197 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.197 * [taylor]: Taking taylor expansion of 4.0 in y
1.197 * [taylor]: Taking taylor expansion of y in y
1.198 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
1.198 * [taylor]: Taking taylor expansion of 6.0 in y
1.198 * [taylor]: Taking taylor expansion of (* z y) in y
1.198 * [taylor]: Taking taylor expansion of z in y
1.198 * [taylor]: Taking taylor expansion of y in y
1.198 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y
1.198 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
1.198 * [taylor]: Taking taylor expansion of 6.0 in y
1.198 * [taylor]: Taking taylor expansion of z in y
1.198 * [taylor]: Taking taylor expansion of 3.0 in y
1.198 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z
1.198 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.198 * [taylor]: Taking taylor expansion of 6.0 in z
1.198 * [taylor]: Taking taylor expansion of z in z
1.198 * [taylor]: Taking taylor expansion of 3.0 in z
1.198 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
1.198 * [taylor]: Taking taylor expansion of 4.0 in z
1.198 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.198 * [taylor]: Taking taylor expansion of 6.0 in z
1.198 * [taylor]: Taking taylor expansion of z in z
1.199 * [taylor]: Taking taylor expansion of 0 in y
1.199 * [taylor]: Taking taylor expansion of 0 in z
1.199 * [taylor]: Taking taylor expansion of 0 in z
1.199 * [taylor]: Taking taylor expansion of 0 in z
1.199 * [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
1.199 * [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
1.199 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z
1.199 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
1.199 * [taylor]: Taking taylor expansion of 6.0 in z
1.199 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.199 * [taylor]: Taking taylor expansion of (* x z) in z
1.199 * [taylor]: Taking taylor expansion of x in z
1.199 * [taylor]: Taking taylor expansion of z in z
1.199 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
1.199 * [taylor]: Taking taylor expansion of 4.0 in z
1.199 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.200 * [taylor]: Taking taylor expansion of y in z
1.200 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z
1.200 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
1.200 * [taylor]: Taking taylor expansion of 6.0 in z
1.200 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.200 * [taylor]: Taking taylor expansion of (* z y) in z
1.200 * [taylor]: Taking taylor expansion of z in z
1.200 * [taylor]: Taking taylor expansion of y in z
1.200 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
1.200 * [taylor]: Taking taylor expansion of 3.0 in z
1.200 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.200 * [taylor]: Taking taylor expansion of x in z
1.200 * [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
1.200 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y
1.200 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.200 * [taylor]: Taking taylor expansion of 6.0 in y
1.200 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.200 * [taylor]: Taking taylor expansion of (* x z) in y
1.200 * [taylor]: Taking taylor expansion of x in y
1.200 * [taylor]: Taking taylor expansion of z in y
1.200 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.200 * [taylor]: Taking taylor expansion of 4.0 in y
1.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.200 * [taylor]: Taking taylor expansion of y in y
1.200 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y
1.200 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.200 * [taylor]: Taking taylor expansion of 6.0 in y
1.200 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.200 * [taylor]: Taking taylor expansion of (* z y) in y
1.200 * [taylor]: Taking taylor expansion of z in y
1.200 * [taylor]: Taking taylor expansion of y in y
1.200 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
1.200 * [taylor]: Taking taylor expansion of 3.0 in y
1.200 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.200 * [taylor]: Taking taylor expansion of x in y
1.200 * [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
1.200 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
1.200 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.200 * [taylor]: Taking taylor expansion of 6.0 in x
1.200 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.200 * [taylor]: Taking taylor expansion of (* x z) in x
1.200 * [taylor]: Taking taylor expansion of x in x
1.200 * [taylor]: Taking taylor expansion of z in x
1.201 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.201 * [taylor]: Taking taylor expansion of 4.0 in x
1.201 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.201 * [taylor]: Taking taylor expansion of y in x
1.201 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
1.201 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.201 * [taylor]: Taking taylor expansion of 6.0 in x
1.201 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.201 * [taylor]: Taking taylor expansion of (* z y) in x
1.201 * [taylor]: Taking taylor expansion of z in x
1.201 * [taylor]: Taking taylor expansion of y in x
1.201 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.201 * [taylor]: Taking taylor expansion of 3.0 in x
1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.201 * [taylor]: Taking taylor expansion of x in x
1.201 * [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
1.201 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
1.201 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.201 * [taylor]: Taking taylor expansion of 6.0 in x
1.201 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.201 * [taylor]: Taking taylor expansion of (* x z) in x
1.201 * [taylor]: Taking taylor expansion of x in x
1.201 * [taylor]: Taking taylor expansion of z in x
1.201 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.201 * [taylor]: Taking taylor expansion of 4.0 in x
1.201 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.201 * [taylor]: Taking taylor expansion of y in x
1.201 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
1.201 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.201 * [taylor]: Taking taylor expansion of 6.0 in x
1.201 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.201 * [taylor]: Taking taylor expansion of (* z y) in x
1.201 * [taylor]: Taking taylor expansion of z in x
1.201 * [taylor]: Taking taylor expansion of y in x
1.201 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.201 * [taylor]: Taking taylor expansion of 3.0 in x
1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.201 * [taylor]: Taking taylor expansion of x in x
1.202 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y
1.202 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
1.202 * [taylor]: Taking taylor expansion of 6.0 in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.202 * [taylor]: Taking taylor expansion of z in y
1.202 * [taylor]: Taking taylor expansion of 3.0 in y
1.202 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y
1.202 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.202 * [taylor]: Taking taylor expansion of 4.0 in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.202 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.202 * [taylor]: Taking taylor expansion of 6.0 in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.202 * [taylor]: Taking taylor expansion of (* z y) in y
1.202 * [taylor]: Taking taylor expansion of z in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.202 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
1.202 * [taylor]: Taking taylor expansion of 4.0 in z
1.202 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.202 * [taylor]: Taking taylor expansion of 6.0 in z
1.202 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.202 * [taylor]: Taking taylor expansion of z in z
1.203 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z
1.203 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.203 * [taylor]: Taking taylor expansion of 6.0 in z
1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.203 * [taylor]: Taking taylor expansion of z in z
1.203 * [taylor]: Taking taylor expansion of 3.0 in z
1.203 * [taylor]: Taking taylor expansion of 0 in y
1.203 * [taylor]: Taking taylor expansion of 0 in z
1.203 * [taylor]: Taking taylor expansion of 0 in z
1.204 * [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
1.204 * [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
1.204 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z
1.204 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
1.204 * [taylor]: Taking taylor expansion of 6.0 in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.204 * [taylor]: Taking taylor expansion of (* x z) in z
1.204 * [taylor]: Taking taylor expansion of x in z
1.204 * [taylor]: Taking taylor expansion of z in z
1.204 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
1.204 * [taylor]: Taking taylor expansion of 3.0 in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.204 * [taylor]: Taking taylor expansion of x in z
1.204 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z
1.204 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
1.204 * [taylor]: Taking taylor expansion of 6.0 in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.204 * [taylor]: Taking taylor expansion of (* z y) in z
1.204 * [taylor]: Taking taylor expansion of z in z
1.204 * [taylor]: Taking taylor expansion of y in z
1.204 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
1.204 * [taylor]: Taking taylor expansion of 4.0 in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.205 * [taylor]: Taking taylor expansion of y in z
1.205 * [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
1.205 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y
1.205 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.205 * [taylor]: Taking taylor expansion of 6.0 in y
1.205 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.205 * [taylor]: Taking taylor expansion of (* x z) in y
1.205 * [taylor]: Taking taylor expansion of x in y
1.205 * [taylor]: Taking taylor expansion of z in y
1.205 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
1.205 * [taylor]: Taking taylor expansion of 3.0 in y
1.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.205 * [taylor]: Taking taylor expansion of x in y
1.205 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
1.205 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.205 * [taylor]: Taking taylor expansion of 6.0 in y
1.205 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.205 * [taylor]: Taking taylor expansion of (* z y) in y
1.205 * [taylor]: Taking taylor expansion of z in y
1.205 * [taylor]: Taking taylor expansion of y in y
1.205 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.205 * [taylor]: Taking taylor expansion of 4.0 in y
1.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.205 * [taylor]: Taking taylor expansion of y in y
1.205 * [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
1.205 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
1.205 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.205 * [taylor]: Taking taylor expansion of 6.0 in x
1.205 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.205 * [taylor]: Taking taylor expansion of (* x z) in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.205 * [taylor]: Taking taylor expansion of z in x
1.205 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.205 * [taylor]: Taking taylor expansion of 3.0 in x
1.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.205 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
1.205 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.205 * [taylor]: Taking taylor expansion of 6.0 in x
1.205 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.205 * [taylor]: Taking taylor expansion of (* z y) in x
1.205 * [taylor]: Taking taylor expansion of z in x
1.205 * [taylor]: Taking taylor expansion of y in x
1.206 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.206 * [taylor]: Taking taylor expansion of 4.0 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.206 * [taylor]: Taking taylor expansion of y in x
1.206 * [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
1.206 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
1.206 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.206 * [taylor]: Taking taylor expansion of 6.0 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.206 * [taylor]: Taking taylor expansion of (* x z) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of z in x
1.206 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.206 * [taylor]: Taking taylor expansion of 3.0 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
1.206 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.206 * [taylor]: Taking taylor expansion of 6.0 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.206 * [taylor]: Taking taylor expansion of (* z y) in x
1.206 * [taylor]: Taking taylor expansion of z in x
1.206 * [taylor]: Taking taylor expansion of y in x
1.206 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.206 * [taylor]: Taking taylor expansion of 4.0 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.206 * [taylor]: Taking taylor expansion of y in x
1.206 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y
1.206 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
1.206 * [taylor]: Taking taylor expansion of 6.0 in y
1.206 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.206 * [taylor]: Taking taylor expansion of z in y
1.206 * [taylor]: Taking taylor expansion of 3.0 in y
1.207 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y
1.207 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
1.207 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.207 * [taylor]: Taking taylor expansion of 6.0 in y
1.207 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.207 * [taylor]: Taking taylor expansion of (* z y) in y
1.207 * [taylor]: Taking taylor expansion of z in y
1.207 * [taylor]: Taking taylor expansion of y in y
1.207 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.207 * [taylor]: Taking taylor expansion of 4.0 in y
1.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.207 * [taylor]: Taking taylor expansion of y in y
1.207 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 4.0)) in z
1.207 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
1.207 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.207 * [taylor]: Taking taylor expansion of 6.0 in z
1.207 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.207 * [taylor]: Taking taylor expansion of z in z
1.207 * [taylor]: Taking taylor expansion of 4.0 in z
1.207 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z
1.207 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.207 * [taylor]: Taking taylor expansion of 6.0 in z
1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.208 * [taylor]: Taking taylor expansion of z in z
1.208 * [taylor]: Taking taylor expansion of 3.0 in z
1.208 * [taylor]: Taking taylor expansion of 0 in y
1.208 * [taylor]: Taking taylor expansion of 0 in z
1.208 * [taylor]: Taking taylor expansion of 0 in z
1.209 * * * [progress]: simplifying candidates
1.210 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- y x) (* 6.0 (neg z)))
  (* (- y x) (* 6.0 (neg z)))
  (+ (log (- y x)) (+ (log 6.0) (log (neg z))))
  (+ (log (- y x)) (log (* 6.0 (neg z))))
  (log (* (- y x) (* 6.0 (neg z))))
  (exp (* (- y x) (* 6.0 (neg z))))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 6.0) 6.0) (* (* (neg z) (neg z)) (neg z))))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 (neg z)) (* 6.0 (neg z))) (* 6.0 (neg z))))
  (* (cbrt (* (- y x) (* 6.0 (neg z)))) (cbrt (* (- y x) (* 6.0 (neg z)))))
  (cbrt (* (- y x) (* 6.0 (neg z))))
  (* (* (* (- y x) (* 6.0 (neg z))) (* (- y x) (* 6.0 (neg z)))) (* (- y x) (* 6.0 (neg z))))
  (sqrt (* (- y x) (* 6.0 (neg z))))
  (sqrt (* (- y x) (* 6.0 (neg z))))
  (* (- y x) (* 6.0 z))
  (* (- y x) 6.0)
  (* (cbrt (- y x)) (* 6.0 (neg z)))
  (* (sqrt (- y x)) (* 6.0 (neg z)))
  (* (- y x) (* 6.0 (neg z)))
  (* (- (sqrt y) (sqrt x)) (* 6.0 (neg z)))
  (* (- y x) (* 6.0 (neg z)))
  (* (- (pow y 3) (pow x 3)) (* 6.0 (neg z)))
  (* (- (* y y) (* x x)) (* 6.0 (neg z)))
  (* (exp (* (- y x) (* 6.0 (/ 2.0 3.0)))) (exp (* (- y x) (* 6.0 (neg z)))))
  (log (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (exp (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (* (cbrt (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))) (cbrt (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (cbrt (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (* (* (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))) (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))) (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (sqrt (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (sqrt (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (+ (* (* (- (pow y 3) (pow x 3)) (* 6.0 2.0)) (+ (* y y) (+ (* x x) (* y x)))) (* (* (+ (* y y) (+ (* x x) (* y x))) 3.0) (* (- (pow y 3) (pow x 3)) (* 6.0 (neg z)))))
  (* (* (+ (* y y) (+ (* x x) (* y x))) 3.0) (+ (* y y) (+ (* x x) (* y x))))
  (+ (* (* (- (pow y 3) (pow x 3)) (* 6.0 2.0)) (+ y x)) (* (* (+ (* y y) (+ (* x x) (* y x))) 3.0) (* (- (* y y) (* x x)) (* 6.0 (neg z)))))
  (* (* (+ (* y y) (+ (* x x) (* y x))) 3.0) (+ y x))
  (+ (* (* (- (* y y) (* x x)) (* 6.0 2.0)) (+ (* y y) (+ (* x x) (* y x)))) (* (* (+ y x) 3.0) (* (- (pow y 3) (pow x 3)) (* 6.0 (neg z)))))
  (* (* (+ y x) 3.0) (+ (* y y) (+ (* x x) (* y x))))
  (+ (* (* (- (* y y) (* x x)) (* 6.0 2.0)) (+ y x)) (* (* (+ y x) 3.0) (* (- (* y y) (* x x)) (* 6.0 (neg z)))))
  (* (* (+ y x) 3.0) (+ y x))
  (+ (* (* (- y x) (* 6.0 2.0)) (+ (* y y) (+ (* x x) (* y x)))) (* 3.0 (* (- (pow y 3) (pow x 3)) (* 6.0 (neg z)))))
  (* 3.0 (+ (* y y) (+ (* x x) (* y x))))
  (+ (* (* (- y x) (* 6.0 2.0)) (+ y x)) (* 3.0 (* (- (* y y) (* x x)) (* 6.0 (neg z)))))
  (* 3.0 (+ y x))
  (+ (* (* (- (pow y 3) (pow x 3)) (* 6.0 (/ 2.0 3.0))) (+ (* y y) (+ (* x x) (* y x)))) (* (+ (* y y) (+ (* x x) (* y x))) (* (- (pow y 3) (pow x 3)) (* 6.0 (neg z)))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ (* y y) (+ (* x x) (* y x))))
  (+ (* (* (- (pow y 3) (pow x 3)) (* 6.0 (/ 2.0 3.0))) (+ y x)) (* (+ (* y y) (+ (* x x) (* y x))) (* (- (* y y) (* x x)) (* 6.0 (neg z)))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ y x))
  (+ (* (* (- (* y y) (* x x)) (* 6.0 (/ 2.0 3.0))) (+ (* y y) (+ (* x x) (* y x)))) (* (+ y x) (* (- (pow y 3) (pow x 3)) (* 6.0 (neg z)))))
  (* (+ y x) (+ (* y y) (+ (* x x) (* y x))))
  (+ (* (* (- (* y y) (* x x)) (* 6.0 (/ 2.0 3.0))) (+ y x)) (* (+ y x) (* (- (* y y) (* x x)) (* 6.0 (neg z)))))
  (* (+ y x) (+ y x))
  (+ (pow (* (- y x) (* 6.0 (/ 2.0 3.0))) 3) (pow (* (- y x) (* 6.0 (neg z))) 3))
  (+ (* (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (/ 2.0 3.0)))) (- (* (* (- y x) (* 6.0 (neg z))) (* (- y x) (* 6.0 (neg z)))) (* (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (- (* (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (/ 2.0 3.0)))) (* (* (- y x) (* 6.0 (neg z))) (* (- y x) (* 6.0 (neg z)))))
  (- (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))
  (+ (* 6.0 (/ 2.0 3.0)) (* 6.0 (neg z)))
  (* (exp x) (* (exp (* (- y x) (* 6.0 (/ 2.0 3.0)))) (exp (* (- y x) (* 6.0 (neg z))))))
  (* (exp x) (exp (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (log (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (exp (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (* (cbrt (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))) (cbrt (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))))
  (cbrt (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (* (* (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (sqrt (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (sqrt (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (+ (pow x 3) (pow (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))) 3))
  (+ (* x x) (- (* (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))) (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))) (* x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))))
  (- (* x x) (* (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))) (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))
  (- x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z)))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.0))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.0))))
  0
  (- (* 6.0 (* x z)) (* 6.0 (* z y)))
  (- (* 6.0 (* x z)) (* 6.0 (* z y)))
  (- (* 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)))
1.245 * * [simplify]: iteration  0 :  5041  enodes  (cost  1170 )
1.249 * [simplify]: Simplified to:
   (* (- y x) (* 6.0 (neg z)))
  (* (- y x) (* 6.0 (neg z)))
  (log (* (- y x) (* 6.0 (neg z))))
  (log (* (- y x) (* 6.0 (neg z))))
  (log (* (- y x) (* 6.0 (neg z))))
  (pow (exp (- y x)) (* 6.0 (neg z)))
  (pow (* (- y x) (* 6.0 (neg z))) 3)
  (pow (* (- y x) (* 6.0 (neg z))) 3)
  (* (cbrt (* (- y x) (* 6.0 (neg z)))) (cbrt (* (- y x) (* 6.0 (neg z)))))
  (cbrt (* (- y x) (* 6.0 (neg z))))
  (pow (* (- y x) (* 6.0 (neg z))) 3)
  (sqrt (* (- y x) (* 6.0 (neg z))))
  (sqrt (* (- y x) (* 6.0 (neg z))))
  (* (- y x) (* 6.0 z))
  (* (- y x) 6.0)
  (* 6.0 (* (neg z) (cbrt (- y x))))
  (* 6.0 (* (neg z) (sqrt (- y x))))
  (* (- y x) (* 6.0 (neg z)))
  (* 6.0 (* (neg z) (- (sqrt y) (sqrt x))))
  (* (- y x) (* 6.0 (neg z)))
  (* 6.0 (* (neg z) (- (pow y 3) (pow x 3))))
  (* 6.0 (* (neg z) (- (* y y) (* x x))))
  (pow (exp (- y x)) (* 6.0 (- (/ 2.0 3.0) z)))
  (log (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
  (pow (exp (- 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)))))
  (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))))
  (* (+ (* y y) (* x (+ y x))) (* (* 6.0 (- (pow y 3) (pow x 3))) (+ 2.0 (* (neg z) 3.0))))
  (* 3.0 (* (+ (* y y) (* x (+ y x))) (+ (* y y) (* x (+ y x)))))
  (- (* (- (pow y 3) (pow x 3)) (* 6.0 (* 2.0 (+ y x)))) (* (* (- (* y y) (* x x)) (* 3.0 (+ (* y y) (* x (+ y x))))) (* 6.0 z)))
  (* 3.0 (* (+ (* y y) (* x (+ y x))) (+ y x)))
  (* (+ y x) (- (* (- y x) (* 6.0 (* 2.0 (+ (* y y) (* x (+ y x)))))) (* (* (- (pow y 3) (pow x 3)) 3.0) (* 6.0 z))))
  (* 3.0 (* (+ (* y y) (* x (+ y x))) (+ y x)))
  (* (+ y x) (* (* 6.0 (- (* y y) (* x x))) (+ 2.0 (* (neg z) 3.0))))
  (* 3.0 (* (+ y x) (+ y x)))
  (- (* (- y x) (* 6.0 (* 2.0 (+ (* y y) (* x (+ y x)))))) (* (* (- (pow y 3) (pow x 3)) 3.0) (* 6.0 z)))
  (* 3.0 (+ (* y y) (* x (+ y x))))
  (* (* 6.0 (- (* y y) (* x x))) (+ 2.0 (* (neg z) 3.0)))
  (* 3.0 (+ y x))
  (* (+ (* y y) (* x (+ y x))) (* (- (pow y 3) (pow x 3)) (* 6.0 (- (/ 2.0 3.0) z))))
  (* (+ (* y y) (* x (+ y x))) (+ (* y y) (* x (+ y x))))
  (- (* (- (pow y 3) (pow x 3)) (* 6.0 (* (/ 2.0 3.0) (+ y x)))) (* (* (- (* y y) (* x x)) (+ (* y y) (* x (+ y x)))) (* 6.0 z)))
  (* (+ (* y y) (* x (+ y x))) (+ y x))
  (* (+ y x) (+ (* (- y x) (* 6.0 (* (/ 2.0 3.0) (+ (* y y) (* x (+ y x)))))) (* 6.0 (* (neg z) (- (pow y 3) (pow x 3))))))
  (* (+ (* y y) (* x (+ y x))) (+ y x))
  (* (+ y x) (* (- (* y y) (* x x)) (* 6.0 (- (/ 2.0 3.0) z))))
  (* (+ y x) (+ y x))
  (* (pow (* (- y x) 6.0) 3) (+ (pow (neg z) 3) (pow (/ 2.0 3.0) 3)))
  (* (* (- y x) 6.0) (+ (* (/ 2.0 3.0) (* (- y x) (* 6.0 (/ 2.0 3.0)))) (* (neg z) (* (- y x) (* 6.0 (- (neg z) (/ 2.0 3.0)))))))
  (* (- 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)))
  (* 6.0 (- (/ 2.0 3.0) z))
  (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)))))
  (+ (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))))
  (- (* 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) z))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.0))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.0))))
  0
  (* 6.0 (* z (- x y)))
  (* 6.0 (* z (- x y)))
  (- (* y (- 4.0 (* 6.0 z))) (* x 4.0))
  (- (* 6.0 (* z (- x y))) (* x 4.0))
  (- (* 6.0 (* z (- x y))) (* x 4.0))
  (+ (* y 4.0) (* x (- (* 6.0 z) 3.0)))
  (+ (* y 4.0) (* 6.0 (* z (- x y))))
  (+ (* y 4.0) (* 6.0 (* z (- x y))))
1.249 * * * [progress]: adding candidates to table
1.331 * * [progress]: iteration 4 / 4
1.331 * * * [progress]: picking best candidate
1.352 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))>
1.352 * * * [progress]: localizing error
1.361 * * * [progress]: generating rewritten candidates
1.361 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.374 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.380 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.385 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.396 * * * [progress]: generating series expansions
1.396 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.397 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in (y x z) around 0
1.397 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in z
1.397 * [taylor]: Taking taylor expansion of 6.0 in z
1.397 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in z
1.397 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
1.397 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.397 * [taylor]: Taking taylor expansion of z in z
1.397 * [taylor]: Taking taylor expansion of (- y x) in z
1.397 * [taylor]: Taking taylor expansion of y in z
1.397 * [taylor]: Taking taylor expansion of x in z
1.397 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in x
1.397 * [taylor]: Taking taylor expansion of 6.0 in x
1.397 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in x
1.397 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x
1.397 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.397 * [taylor]: Taking taylor expansion of z in x
1.397 * [taylor]: Taking taylor expansion of (- y x) in x
1.397 * [taylor]: Taking taylor expansion of y in x
1.397 * [taylor]: Taking taylor expansion of x in x
1.397 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y
1.397 * [taylor]: Taking taylor expansion of 6.0 in y
1.397 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y
1.397 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y
1.397 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
1.397 * [taylor]: Taking taylor expansion of z in y
1.397 * [taylor]: Taking taylor expansion of (- y x) in y
1.397 * [taylor]: Taking taylor expansion of y in y
1.397 * [taylor]: Taking taylor expansion of x in y
1.397 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 z) (- y x))) in y
1.397 * [taylor]: Taking taylor expansion of 6.0 in y
1.397 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 z) (- y x)) in y
1.397 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in y
1.397 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
1.397 * [taylor]: Taking taylor expansion of z in y
1.397 * [taylor]: Taking taylor expansion of (- y x) in y
1.397 * [taylor]: Taking taylor expansion of y in y
1.397 * [taylor]: Taking taylor expansion of x in y
1.398 * [taylor]: Taking taylor expansion of (* -6.0 (* x (- 0.6666666666666666 z))) in x
1.398 * [taylor]: Taking taylor expansion of -6.0 in x
1.398 * [taylor]: Taking taylor expansion of (* x (- 0.6666666666666666 z)) in x
1.398 * [taylor]: Taking taylor expansion of x in x
1.398 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in x
1.398 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.398 * [taylor]: Taking taylor expansion of z in x
1.398 * [taylor]: Taking taylor expansion of 0 in z
1.398 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in x
1.398 * [taylor]: Taking taylor expansion of 4.0 in x
1.398 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
1.398 * [taylor]: Taking taylor expansion of 6.0 in x
1.398 * [taylor]: Taking taylor expansion of z in x
1.398 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
1.398 * [taylor]: Taking taylor expansion of 4.0 in z
1.398 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.398 * [taylor]: Taking taylor expansion of 6.0 in z
1.398 * [taylor]: Taking taylor expansion of z in z
1.398 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 4.0) in z
1.398 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.398 * [taylor]: Taking taylor expansion of 6.0 in z
1.398 * [taylor]: Taking taylor expansion of z in z
1.398 * [taylor]: Taking taylor expansion of 4.0 in z
1.398 * [taylor]: Taking taylor expansion of 0 in x
1.399 * [taylor]: Taking taylor expansion of 0 in z
1.399 * [taylor]: Taking taylor expansion of 0 in z
1.399 * [taylor]: Taking taylor expansion of 0 in z
1.399 * [approximate]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in (y x z) around 0
1.399 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in z
1.399 * [taylor]: Taking taylor expansion of 6.0 in z
1.399 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z
1.399 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
1.399 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.399 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.399 * [taylor]: Taking taylor expansion of z in z
1.399 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
1.399 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.399 * [taylor]: Taking taylor expansion of y in z
1.399 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.399 * [taylor]: Taking taylor expansion of x in z
1.399 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in x
1.399 * [taylor]: Taking taylor expansion of 6.0 in x
1.399 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x
1.399 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x
1.399 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.399 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.399 * [taylor]: Taking taylor expansion of z in x
1.400 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.400 * [taylor]: Taking taylor expansion of y in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.400 * [taylor]: Taking taylor expansion of x in x
1.400 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y
1.400 * [taylor]: Taking taylor expansion of 6.0 in y
1.400 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y
1.400 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y
1.400 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.400 * [taylor]: Taking taylor expansion of z in y
1.400 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.400 * [taylor]: Taking taylor expansion of x in y
1.400 * [taylor]: Taking taylor expansion of (* 6.0 (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y
1.400 * [taylor]: Taking taylor expansion of 6.0 in y
1.400 * [taylor]: Taking taylor expansion of (* (- 0.6666666666666666 (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y
1.400 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in y
1.400 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.400 * [taylor]: Taking taylor expansion of z in y
1.400 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.400 * [taylor]: Taking taylor expansion of x in y
1.400 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in x
1.400 * [taylor]: Taking taylor expansion of 6.0 in x
1.400 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in x
1.400 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.400 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.400 * [taylor]: Taking taylor expansion of z in x
1.401 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
1.401 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.401 * [taylor]: Taking taylor expansion of 6.0 in x
1.401 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.401 * [taylor]: Taking taylor expansion of (* x z) in x
1.401 * [taylor]: Taking taylor expansion of x in x
1.401 * [taylor]: Taking taylor expansion of z in x
1.401 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.401 * [taylor]: Taking taylor expansion of 4.0 in x
1.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.401 * [taylor]: Taking taylor expansion of x in x
1.401 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 4.0) in z
1.401 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.401 * [taylor]: Taking taylor expansion of 6.0 in z
1.401 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.401 * [taylor]: Taking taylor expansion of z in z
1.401 * [taylor]: Taking taylor expansion of 4.0 in z
1.401 * [taylor]: Taking taylor expansion of (* 6.0 (- 0.6666666666666666 (/ 1 z))) in z
1.402 * [taylor]: Taking taylor expansion of 6.0 in z
1.402 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
1.402 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.402 * [taylor]: Taking taylor expansion of z in z
1.402 * [taylor]: Taking taylor expansion of 0 in x
1.402 * [taylor]: Taking taylor expansion of 0 in z
1.402 * [taylor]: Taking taylor expansion of 0 in z
1.403 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in (y x z) around 0
1.403 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in z
1.403 * [taylor]: Taking taylor expansion of 6.0 in z
1.403 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in z
1.403 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.403 * [taylor]: Taking taylor expansion of x in z
1.403 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.403 * [taylor]: Taking taylor expansion of y in z
1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
1.403 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.403 * [taylor]: Taking taylor expansion of z in z
1.403 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.403 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in x
1.403 * [taylor]: Taking taylor expansion of 6.0 in x
1.403 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in x
1.403 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.403 * [taylor]: Taking taylor expansion of x in x
1.403 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.403 * [taylor]: Taking taylor expansion of y in x
1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x
1.403 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.403 * [taylor]: Taking taylor expansion of z in x
1.403 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.403 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y
1.403 * [taylor]: Taking taylor expansion of 6.0 in y
1.403 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y
1.403 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.403 * [taylor]: Taking taylor expansion of x in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.403 * [taylor]: Taking taylor expansion of z in y
1.403 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
1.403 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666))) in y
1.404 * [taylor]: Taking taylor expansion of 6.0 in y
1.404 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 z) 0.6666666666666666)) in y
1.404 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.404 * [taylor]: Taking taylor expansion of x in y
1.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.404 * [taylor]: Taking taylor expansion of y in y
1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in y
1.404 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.404 * [taylor]: Taking taylor expansion of z in y
1.404 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
1.404 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in x
1.404 * [taylor]: Taking taylor expansion of -6.0 in x
1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.404 * [taylor]: Taking taylor expansion of z in x
1.404 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
1.404 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 x))) in x
1.404 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.404 * [taylor]: Taking taylor expansion of 6.0 in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.404 * [taylor]: Taking taylor expansion of (* x z) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of z in x
1.405 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.405 * [taylor]: Taking taylor expansion of 4.0 in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
1.405 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.405 * [taylor]: Taking taylor expansion of 6.0 in z
1.405 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.405 * [taylor]: Taking taylor expansion of z in z
1.405 * [taylor]: Taking taylor expansion of 4.0 in z
1.405 * [taylor]: Taking taylor expansion of (* -6.0 (+ (/ 1 z) 0.6666666666666666)) in z
1.405 * [taylor]: Taking taylor expansion of -6.0 in z
1.405 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
1.405 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.405 * [taylor]: Taking taylor expansion of z in z
1.405 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.405 * [taylor]: Taking taylor expansion of 0 in x
1.406 * [taylor]: Taking taylor expansion of 0 in z
1.406 * [taylor]: Taking taylor expansion of 0 in z
1.406 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.406 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0
1.406 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
1.406 * [taylor]: Taking taylor expansion of 6.0 in x
1.406 * [taylor]: Taking taylor expansion of (- y x) in x
1.406 * [taylor]: Taking taylor expansion of y in x
1.406 * [taylor]: Taking taylor expansion of x in x
1.406 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
1.406 * [taylor]: Taking taylor expansion of 6.0 in y
1.406 * [taylor]: Taking taylor expansion of (- y x) in y
1.406 * [taylor]: Taking taylor expansion of y in y
1.406 * [taylor]: Taking taylor expansion of x in y
1.406 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
1.406 * [taylor]: Taking taylor expansion of 6.0 in y
1.406 * [taylor]: Taking taylor expansion of (- y x) in y
1.407 * [taylor]: Taking taylor expansion of y in y
1.407 * [taylor]: Taking taylor expansion of x in y
1.407 * [taylor]: Taking taylor expansion of (* -6.0 x) in x
1.407 * [taylor]: Taking taylor expansion of -6.0 in x
1.407 * [taylor]: Taking taylor expansion of x in x
1.407 * [taylor]: Taking taylor expansion of 6.0 in x
1.407 * [taylor]: Taking taylor expansion of 0 in x
1.407 * [taylor]: Taking taylor expansion of 0 in x
1.407 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0
1.407 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
1.407 * [taylor]: Taking taylor expansion of 6.0 in x
1.407 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.407 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.407 * [taylor]: Taking taylor expansion of y in x
1.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.407 * [taylor]: Taking taylor expansion of x in x
1.407 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
1.407 * [taylor]: Taking taylor expansion of 6.0 in y
1.407 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.407 * [taylor]: Taking taylor expansion of y in y
1.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.407 * [taylor]: Taking taylor expansion of x in y
1.407 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
1.407 * [taylor]: Taking taylor expansion of 6.0 in y
1.408 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.408 * [taylor]: Taking taylor expansion of y in y
1.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.408 * [taylor]: Taking taylor expansion of x in y
1.408 * [taylor]: Taking taylor expansion of 6.0 in x
1.408 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 x))) in x
1.408 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.408 * [taylor]: Taking taylor expansion of 6.0 in x
1.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.408 * [taylor]: Taking taylor expansion of x in x
1.408 * [taylor]: Taking taylor expansion of 0 in x
1.408 * [taylor]: Taking taylor expansion of 0 in x
1.409 * [taylor]: Taking taylor expansion of 0 in x
1.409 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0
1.409 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
1.409 * [taylor]: Taking taylor expansion of 6.0 in x
1.409 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.409 * [taylor]: Taking taylor expansion of x in x
1.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.409 * [taylor]: Taking taylor expansion of y in x
1.409 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
1.409 * [taylor]: Taking taylor expansion of 6.0 in y
1.409 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.409 * [taylor]: Taking taylor expansion of x in y
1.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.409 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
1.409 * [taylor]: Taking taylor expansion of 6.0 in y
1.409 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.409 * [taylor]: Taking taylor expansion of x in y
1.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.409 * [taylor]: Taking taylor expansion of -6.0 in x
1.410 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.410 * [taylor]: Taking taylor expansion of 6.0 in x
1.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.410 * [taylor]: Taking taylor expansion of x in x
1.410 * [taylor]: Taking taylor expansion of 0 in x
1.410 * [taylor]: Taking taylor expansion of 0 in x
1.410 * [taylor]: Taking taylor expansion of 0 in x
1.410 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.411 * [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
1.411 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in z
1.411 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in z
1.411 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
1.411 * [taylor]: Taking taylor expansion of 6.0 in z
1.411 * [taylor]: Taking taylor expansion of (* x z) in z
1.411 * [taylor]: Taking taylor expansion of x in z
1.411 * [taylor]: Taking taylor expansion of z in z
1.411 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
1.411 * [taylor]: Taking taylor expansion of 4.0 in z
1.411 * [taylor]: Taking taylor expansion of y in z
1.411 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in z
1.411 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
1.411 * [taylor]: Taking taylor expansion of 6.0 in z
1.411 * [taylor]: Taking taylor expansion of (* z y) in z
1.411 * [taylor]: Taking taylor expansion of z in z
1.411 * [taylor]: Taking taylor expansion of y in z
1.411 * [taylor]: Taking taylor expansion of (* 3.0 x) in z
1.411 * [taylor]: Taking taylor expansion of 3.0 in z
1.411 * [taylor]: Taking taylor expansion of x in z
1.411 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in y
1.411 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in y
1.411 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
1.411 * [taylor]: Taking taylor expansion of 6.0 in y
1.411 * [taylor]: Taking taylor expansion of (* x z) in y
1.411 * [taylor]: Taking taylor expansion of x in y
1.411 * [taylor]: Taking taylor expansion of z in y
1.411 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.411 * [taylor]: Taking taylor expansion of 4.0 in y
1.411 * [taylor]: Taking taylor expansion of y in y
1.411 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in y
1.411 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
1.411 * [taylor]: Taking taylor expansion of 6.0 in y
1.411 * [taylor]: Taking taylor expansion of (* z y) in y
1.411 * [taylor]: Taking taylor expansion of z in y
1.411 * [taylor]: Taking taylor expansion of y in y
1.411 * [taylor]: Taking taylor expansion of (* 3.0 x) in y
1.411 * [taylor]: Taking taylor expansion of 3.0 in y
1.411 * [taylor]: Taking taylor expansion of x in y
1.411 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
1.411 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
1.411 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
1.411 * [taylor]: Taking taylor expansion of 6.0 in x
1.411 * [taylor]: Taking taylor expansion of (* x z) in x
1.411 * [taylor]: Taking taylor expansion of x in x
1.411 * [taylor]: Taking taylor expansion of z in x
1.411 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
1.411 * [taylor]: Taking taylor expansion of 4.0 in x
1.411 * [taylor]: Taking taylor expansion of y in x
1.411 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
1.412 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
1.412 * [taylor]: Taking taylor expansion of 6.0 in x
1.412 * [taylor]: Taking taylor expansion of (* z y) in x
1.412 * [taylor]: Taking taylor expansion of z in x
1.412 * [taylor]: Taking taylor expansion of y in x
1.412 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.412 * [taylor]: Taking taylor expansion of 3.0 in x
1.412 * [taylor]: Taking taylor expansion of x in x
1.412 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* x z)) (* 4.0 y)) (+ (* 6.0 (* z y)) (* 3.0 x))) in x
1.412 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* x z)) (* 4.0 y)) in x
1.412 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
1.412 * [taylor]: Taking taylor expansion of 6.0 in x
1.412 * [taylor]: Taking taylor expansion of (* x z) in x
1.412 * [taylor]: Taking taylor expansion of x in x
1.412 * [taylor]: Taking taylor expansion of z in x
1.412 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
1.412 * [taylor]: Taking taylor expansion of 4.0 in x
1.412 * [taylor]: Taking taylor expansion of y in x
1.412 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) (* 3.0 x)) in x
1.412 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
1.412 * [taylor]: Taking taylor expansion of 6.0 in x
1.412 * [taylor]: Taking taylor expansion of (* z y) in x
1.412 * [taylor]: Taking taylor expansion of z in x
1.412 * [taylor]: Taking taylor expansion of y in x
1.412 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.412 * [taylor]: Taking taylor expansion of 3.0 in x
1.412 * [taylor]: Taking taylor expansion of x in x
1.412 * [taylor]: Taking taylor expansion of (- (* 4.0 y) (* 6.0 (* z y))) in y
1.412 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.412 * [taylor]: Taking taylor expansion of 4.0 in y
1.412 * [taylor]: Taking taylor expansion of y in y
1.412 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
1.412 * [taylor]: Taking taylor expansion of 6.0 in y
1.412 * [taylor]: Taking taylor expansion of (* z y) in y
1.412 * [taylor]: Taking taylor expansion of z in y
1.412 * [taylor]: Taking taylor expansion of y in y
1.412 * [taylor]: Taking taylor expansion of 0 in z
1.413 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in y
1.413 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
1.413 * [taylor]: Taking taylor expansion of 6.0 in y
1.413 * [taylor]: Taking taylor expansion of z in y
1.413 * [taylor]: Taking taylor expansion of 3.0 in y
1.413 * [taylor]: Taking taylor expansion of (- (* 6.0 z) 3.0) in z
1.413 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.413 * [taylor]: Taking taylor expansion of 6.0 in z
1.413 * [taylor]: Taking taylor expansion of z in z
1.413 * [taylor]: Taking taylor expansion of 3.0 in z
1.413 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 z)) in z
1.413 * [taylor]: Taking taylor expansion of 4.0 in z
1.413 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
1.413 * [taylor]: Taking taylor expansion of 6.0 in z
1.413 * [taylor]: Taking taylor expansion of z in z
1.413 * [taylor]: Taking taylor expansion of 0 in y
1.413 * [taylor]: Taking taylor expansion of 0 in z
1.413 * [taylor]: Taking taylor expansion of 0 in z
1.414 * [taylor]: Taking taylor expansion of 0 in z
1.414 * [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
1.414 * [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
1.414 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in z
1.414 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
1.414 * [taylor]: Taking taylor expansion of 6.0 in z
1.414 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.414 * [taylor]: Taking taylor expansion of (* x z) in z
1.414 * [taylor]: Taking taylor expansion of x in z
1.414 * [taylor]: Taking taylor expansion of z in z
1.414 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
1.414 * [taylor]: Taking taylor expansion of 4.0 in z
1.414 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.414 * [taylor]: Taking taylor expansion of y in z
1.414 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in z
1.414 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
1.414 * [taylor]: Taking taylor expansion of 6.0 in z
1.414 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.414 * [taylor]: Taking taylor expansion of (* z y) in z
1.414 * [taylor]: Taking taylor expansion of z in z
1.414 * [taylor]: Taking taylor expansion of y in z
1.414 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
1.414 * [taylor]: Taking taylor expansion of 3.0 in z
1.414 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.414 * [taylor]: Taking taylor expansion of x in z
1.415 * [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
1.415 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in y
1.415 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.415 * [taylor]: Taking taylor expansion of 6.0 in y
1.415 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.415 * [taylor]: Taking taylor expansion of (* x z) in y
1.415 * [taylor]: Taking taylor expansion of x in y
1.415 * [taylor]: Taking taylor expansion of z in y
1.415 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.415 * [taylor]: Taking taylor expansion of 4.0 in y
1.415 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.415 * [taylor]: Taking taylor expansion of y in y
1.415 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in y
1.415 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.415 * [taylor]: Taking taylor expansion of 6.0 in y
1.415 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.415 * [taylor]: Taking taylor expansion of (* z y) in y
1.415 * [taylor]: Taking taylor expansion of z in y
1.415 * [taylor]: Taking taylor expansion of y in y
1.415 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
1.415 * [taylor]: Taking taylor expansion of 3.0 in y
1.415 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.415 * [taylor]: Taking taylor expansion of x in y
1.415 * [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
1.415 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
1.415 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.415 * [taylor]: Taking taylor expansion of 6.0 in x
1.415 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.415 * [taylor]: Taking taylor expansion of (* x z) in x
1.415 * [taylor]: Taking taylor expansion of x in x
1.415 * [taylor]: Taking taylor expansion of z in x
1.415 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.415 * [taylor]: Taking taylor expansion of 4.0 in x
1.415 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.415 * [taylor]: Taking taylor expansion of y in x
1.415 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
1.415 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.415 * [taylor]: Taking taylor expansion of 6.0 in x
1.415 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.415 * [taylor]: Taking taylor expansion of (* z y) in x
1.415 * [taylor]: Taking taylor expansion of z in x
1.415 * [taylor]: Taking taylor expansion of y in x
1.415 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.416 * [taylor]: Taking taylor expansion of 3.0 in x
1.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.416 * [taylor]: Taking taylor expansion of x in x
1.416 * [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
1.416 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 4.0 (/ 1 y))) in x
1.416 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.416 * [taylor]: Taking taylor expansion of 6.0 in x
1.416 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.416 * [taylor]: Taking taylor expansion of (* x z) in x
1.416 * [taylor]: Taking taylor expansion of x in x
1.416 * [taylor]: Taking taylor expansion of z in x
1.416 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.416 * [taylor]: Taking taylor expansion of 4.0 in x
1.416 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.416 * [taylor]: Taking taylor expansion of y in x
1.416 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 3.0 (/ 1 x))) in x
1.416 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.416 * [taylor]: Taking taylor expansion of 6.0 in x
1.416 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.416 * [taylor]: Taking taylor expansion of (* z y) in x
1.416 * [taylor]: Taking taylor expansion of z in x
1.416 * [taylor]: Taking taylor expansion of y in x
1.416 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.416 * [taylor]: Taking taylor expansion of 3.0 in x
1.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.416 * [taylor]: Taking taylor expansion of x in x
1.416 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in y
1.416 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
1.416 * [taylor]: Taking taylor expansion of 6.0 in y
1.416 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.416 * [taylor]: Taking taylor expansion of z in y
1.416 * [taylor]: Taking taylor expansion of 3.0 in y
1.417 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 6.0 (/ 1 (* z y)))) in y
1.417 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.417 * [taylor]: Taking taylor expansion of 4.0 in y
1.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.417 * [taylor]: Taking taylor expansion of y in y
1.417 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.417 * [taylor]: Taking taylor expansion of 6.0 in y
1.417 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.417 * [taylor]: Taking taylor expansion of (* z y) in y
1.417 * [taylor]: Taking taylor expansion of z in y
1.417 * [taylor]: Taking taylor expansion of y in y
1.417 * [taylor]: Taking taylor expansion of (- 4.0 (* 6.0 (/ 1 z))) in z
1.417 * [taylor]: Taking taylor expansion of 4.0 in z
1.417 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.417 * [taylor]: Taking taylor expansion of 6.0 in z
1.417 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.417 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z)) 3.0) in z
1.417 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.417 * [taylor]: Taking taylor expansion of 6.0 in z
1.417 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.417 * [taylor]: Taking taylor expansion of 3.0 in z
1.418 * [taylor]: Taking taylor expansion of 0 in y
1.418 * [taylor]: Taking taylor expansion of 0 in z
1.418 * [taylor]: Taking taylor expansion of 0 in z
1.419 * [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
1.419 * [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
1.419 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in z
1.419 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
1.419 * [taylor]: Taking taylor expansion of 6.0 in z
1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.419 * [taylor]: Taking taylor expansion of (* x z) in z
1.419 * [taylor]: Taking taylor expansion of x in z
1.419 * [taylor]: Taking taylor expansion of z in z
1.419 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in z
1.419 * [taylor]: Taking taylor expansion of 3.0 in z
1.419 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.419 * [taylor]: Taking taylor expansion of x in z
1.419 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in z
1.419 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
1.419 * [taylor]: Taking taylor expansion of 6.0 in z
1.419 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.419 * [taylor]: Taking taylor expansion of (* z y) in z
1.419 * [taylor]: Taking taylor expansion of z in z
1.419 * [taylor]: Taking taylor expansion of y in z
1.419 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
1.419 * [taylor]: Taking taylor expansion of 4.0 in z
1.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.419 * [taylor]: Taking taylor expansion of y in z
1.419 * [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
1.419 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in y
1.419 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
1.419 * [taylor]: Taking taylor expansion of 6.0 in y
1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.419 * [taylor]: Taking taylor expansion of (* x z) in y
1.419 * [taylor]: Taking taylor expansion of x in y
1.419 * [taylor]: Taking taylor expansion of z in y
1.419 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y
1.419 * [taylor]: Taking taylor expansion of 3.0 in y
1.419 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.419 * [taylor]: Taking taylor expansion of x in y
1.419 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
1.419 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.420 * [taylor]: Taking taylor expansion of 6.0 in y
1.420 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.420 * [taylor]: Taking taylor expansion of (* z y) in y
1.420 * [taylor]: Taking taylor expansion of z in y
1.420 * [taylor]: Taking taylor expansion of y in y
1.420 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.420 * [taylor]: Taking taylor expansion of 4.0 in y
1.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.420 * [taylor]: Taking taylor expansion of y in y
1.420 * [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
1.420 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
1.420 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.420 * [taylor]: Taking taylor expansion of 6.0 in x
1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.420 * [taylor]: Taking taylor expansion of (* x z) in x
1.420 * [taylor]: Taking taylor expansion of x in x
1.420 * [taylor]: Taking taylor expansion of z in x
1.420 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.420 * [taylor]: Taking taylor expansion of 3.0 in x
1.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.420 * [taylor]: Taking taylor expansion of x in x
1.420 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
1.420 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.420 * [taylor]: Taking taylor expansion of 6.0 in x
1.420 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.420 * [taylor]: Taking taylor expansion of (* z y) in x
1.420 * [taylor]: Taking taylor expansion of z in x
1.420 * [taylor]: Taking taylor expansion of y in x
1.420 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.420 * [taylor]: Taking taylor expansion of 4.0 in x
1.420 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.420 * [taylor]: Taking taylor expansion of y in x
1.420 * [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
1.420 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (* 3.0 (/ 1 x))) in x
1.420 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
1.420 * [taylor]: Taking taylor expansion of 6.0 in x
1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.420 * [taylor]: Taking taylor expansion of (* x z) in x
1.420 * [taylor]: Taking taylor expansion of x in x
1.420 * [taylor]: Taking taylor expansion of z in x
1.420 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.420 * [taylor]: Taking taylor expansion of 3.0 in x
1.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.421 * [taylor]: Taking taylor expansion of x in x
1.421 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in x
1.421 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
1.421 * [taylor]: Taking taylor expansion of 6.0 in x
1.421 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.421 * [taylor]: Taking taylor expansion of (* z y) in x
1.421 * [taylor]: Taking taylor expansion of z in x
1.421 * [taylor]: Taking taylor expansion of y in x
1.421 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.421 * [taylor]: Taking taylor expansion of 4.0 in x
1.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.421 * [taylor]: Taking taylor expansion of y in x
1.421 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in y
1.421 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
1.421 * [taylor]: Taking taylor expansion of 6.0 in y
1.421 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.421 * [taylor]: Taking taylor expansion of z in y
1.421 * [taylor]: Taking taylor expansion of 3.0 in y
1.421 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y)))) in y
1.422 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (* 4.0 (/ 1 y))) in y
1.422 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
1.422 * [taylor]: Taking taylor expansion of 6.0 in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.422 * [taylor]: Taking taylor expansion of (* z y) in y
1.422 * [taylor]: Taking taylor expansion of z in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.422 * [taylor]: Taking taylor expansion of 4.0 in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 4.0)) in z
1.422 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 4.0) in z
1.422 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.422 * [taylor]: Taking taylor expansion of 6.0 in z
1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.422 * [taylor]: Taking taylor expansion of z in z
1.422 * [taylor]: Taking taylor expansion of 4.0 in z
1.422 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 3.0) in z
1.422 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
1.422 * [taylor]: Taking taylor expansion of 6.0 in z
1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.422 * [taylor]: Taking taylor expansion of z in z
1.422 * [taylor]: Taking taylor expansion of 3.0 in z
1.423 * [taylor]: Taking taylor expansion of 0 in y
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.423 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.423 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 z) in (z) around 0
1.423 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
1.423 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.423 * [taylor]: Taking taylor expansion of z in z
1.423 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 z) in z
1.423 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.423 * [taylor]: Taking taylor expansion of z in z
1.424 * [approximate]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in (z) around 0
1.424 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
1.424 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.424 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.424 * [taylor]: Taking taylor expansion of z in z
1.424 * [taylor]: Taking taylor expansion of (- 0.6666666666666666 (/ 1 z)) in z
1.424 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.424 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.424 * [taylor]: Taking taylor expansion of z in z
1.425 * [approximate]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in (z) around 0
1.425 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
1.425 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.425 * [taylor]: Taking taylor expansion of z in z
1.425 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.425 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 0.6666666666666666) in z
1.425 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.425 * [taylor]: Taking taylor expansion of z in z
1.425 * [taylor]: Taking taylor expansion of 0.6666666666666666 in z
1.425 * * * [progress]: simplifying candidates
1.427 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- 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) (neg z))
  (* (/ 2.0 3.0) (* (- y x) 6.0))
  (* (neg 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 (* (/ 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)))
  (neg 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)
  (- (* 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)
1.470 * * [simplify]: iteration  0 :  4988  enodes  (cost  1087 )
1.470 * * [simplify]: iteration  1 :  4988  enodes  (cost  1087 )
1.474 * [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))))
  (pow (pow (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))))
  (* 6.0 (* (- (pow y 3) (pow x 3)) (- (pow (/ 2.0 3.0) 3) (pow z 3))))
  (* (+ (* y y) (* x (+ y x))) (+ (* z z) (* (/ 2.0 3.0) (+ (/ 2.0 3.0) z))))
  (* 6.0 (* (- (pow y 3) (pow x 3)) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))))
  (* (+ (* y y) (* x (+ y x))) (+ (/ 2.0 3.0) z))
  (* 6.0 (* (- (* y y) (* x x)) (- (pow (/ 2.0 3.0) 3) (pow z 3))))
  (* (+ (* z z) (* (/ 2.0 3.0) (+ (/ 2.0 3.0) z))) (+ y x))
  (* 6.0 (* (- (* y y) (* x x)) (- (* (/ 2.0 3.0) (/ 2.0 3.0)) (* z z))))
  (* (+ (/ 2.0 3.0) z) (+ y x))
  (* (- y x) (* 6.0 (/ 2.0 3.0)))
  (* 6.0 (* z (- x y)))
  (* (- y x) (* 6.0 (/ 2.0 3.0)))
  (* 6.0 (* z (- x y)))
  (* (- 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 z) (/ (sqrt 2.0) (sqrt 3.0)))))
  (* (- 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))))
  (* 6.0 (* (- (pow y 3) (pow x 3)) (- (/ 2.0 3.0) z)))
  (* 6.0 (* (- (* y y) (* x x)) (- (/ 2.0 3.0) z)))
  (* (- y x) 6.0)
  (log (* (- y x) 6.0))
  (log (* (- y x) 6.0))
  (pow (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)
  (* 6.0 (cbrt (- y x)))
  (* 6.0 (sqrt (- y x)))
  (* (- y x) 6.0)
  (* 6.0 (- (sqrt y) (sqrt x)))
  (* (- y x) 6.0)
  (* 6.0 (- (pow y 3) (pow x 3)))
  (* 6.0 (- (* y y) (* x x)))
  (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 (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3) (pow x 3))
  (+ (* x x) (* (- y x) (* (* 6.0 (- (/ 2.0 3.0) z)) (- (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) x))))
  (+ (* x x) (* (- y x) (* 6.0 (* (- (/ 2.0 3.0) z) (* (- y x) (* 6.0 (- z (/ 2.0 3.0))))))))
  (+ x (* (- y x) (* 6.0 (- z (/ 2.0 3.0)))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.0))))
  (+ x (* (- y x) (* 6.0 (/ 2.0 3.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))
  (+ (* z z) (* (/ 2.0 3.0) (+ (/ 2.0 3.0) z)))
  (neg 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 z) (/ (sqrt 2.0) (sqrt 3.0)))
  (- (/ (sqrt 2.0) (sqrt 3.0)) (sqrt z))
  (- (/ 2.0 3.0) z)
  (- (* y (- 4.0 (* 6.0 z))) (* x 4.0))
  (- (* 6.0 (* z (- x y))) (* x 4.0))
  (- (* 6.0 (* z (- x y))) (* x 4.0))
  (* (- y x) 6.0)
  (* (- y x) 6.0)
  (* (- y x) 6.0)
  (+ (* y 4.0) (* x (- (* 6.0 z) 3.0)))
  (+ (* 6.0 (* z (- x y))) (* y 4.0))
  (+ (* 6.0 (* z (- x y))) (* y 4.0))
  (- 0.6666666666666666 z)
  (- 0.6666666666666666 z)
  (- 0.6666666666666666 z)
1.475 * * * [progress]: adding candidates to table
1.576 * [progress]: [Phase 3 of 3] Extracting.
1.576 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3))))> #<alt (λ (x y z) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))> #<alt (λ (x y z) (+ x (* (- y x) (* (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z)))))))> #<alt (λ (x y z) (+ x (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))))> #<alt (λ (x y z) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))> #<alt (λ (x y z) (* (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))))> #<alt (λ (x y 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))))))>)
1.578 * * * [regime-changes]: Trying 5 branch expressions: ((- (/ 2.0 3.0) z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) z y x)
1.578 * * * * [regimes]: Trying to branch on (- (/ 2.0 3.0) z) from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3))))> #<alt (λ (x y z) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))> #<alt (λ (x y z) (+ x (* (- y x) (* (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z)))))))> #<alt (λ (x y z) (+ x (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))))> #<alt (λ (x y z) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))> #<alt (λ (x y z) (* (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))))> #<alt (λ (x y 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))))))>)
1.638 * * * * [regimes]: Trying to branch on (- (/ 2.0 3.0) z) from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3))))> #<alt (λ (x y z) (+ x (* (- y x) (* (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z)))))))> #<alt (λ (x y 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))))))>)
1.686 * * * * [regimes]: Trying to branch on (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))) from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3))))> #<alt (λ (x y z) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))> #<alt (λ (x y z) (+ x (* (- y x) (* (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z)))))))> #<alt (λ (x y z) (+ x (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))))> #<alt (λ (x y z) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))> #<alt (λ (x y z) (* (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))))> #<alt (λ (x y 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))))))>)
1.753 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3))))> #<alt (λ (x y z) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))> #<alt (λ (x y z) (+ x (* (- y x) (* (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z)))))))> #<alt (λ (x y z) (+ x (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))))> #<alt (λ (x y z) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))> #<alt (λ (x y z) (* (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))))> #<alt (λ (x y 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))))))>)
1.816 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3))))> #<alt (λ (x y z) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))> #<alt (λ (x y z) (+ x (* (- y x) (* (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z)))))))> #<alt (λ (x y z) (+ x (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))))> #<alt (λ (x y z) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))> #<alt (λ (x y z) (* (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))))> #<alt (λ (x y 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))))))>)
1.880 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))) 3))))> #<alt (λ (x y z) (+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* (- y x) (* 6.0 (neg z))))))> #<alt (λ (x y z) (+ x (* (- y x) (* (sqrt (* 6.0 (- (/ 2.0 3.0) z))) (sqrt (* 6.0 (- (/ 2.0 3.0) z)))))))> #<alt (λ (x y z) (+ x (- (* 6.0 (- (* x z) (* y z))) (* x 4.0))))> #<alt (λ (x y z) (+ x (* (- y x) (- 4.0 (* 6.0 z)))))> #<alt (λ (x y z) (* (* (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))) (cbrt (+ x (* (- y x) (- 4.0 (* 6.0 z)))))))> #<alt (λ (x y 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))))))>)
1.945 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
1.945 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (- y x) (- 4.0 (* 6.0 z))))
1.946 * * [simplify]: iteration  0 :  47  enodes  (cost  11 )
1.946 * * [simplify]: iteration  1 :  47  enodes  (cost  11 )
1.946 * [simplify]: Simplified to:
   (+ x (* (- y x) (- 4.0 (* 6.0 z))))
3.407 * [regime-testing]: End program error score: 0.19103572165333763