35.102 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (* (- y x) 6.0) z))
0.033 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.034 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.036 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.040 * * [simplify]: iteration  3 :  55  enodes  (cost  9 )
0.049 * * [simplify]: iteration  4 :  84  enodes  (cost  9 )
0.062 * * [simplify]: iteration  5 :  109  enodes  (cost  9 )
0.085 * * [simplify]: iteration  6 :  126  enodes  (cost  9 )
0.105 * * [simplify]: iteration  7 :  143  enodes  (cost  9 )
0.128 * * [simplify]: iteration  8 :  194  enodes  (cost  9 )
0.177 * * [simplify]: iteration  9 :  296  enodes  (cost  9 )
0.291 * * [simplify]: iteration  10 :  416  enodes  (cost  9 )
0.362 * * [simplify]: iteration  11 :  464  enodes  (cost  9 )
0.475 * * [simplify]: iteration  12 :  529  enodes  (cost  9 )
0.639 * * [simplify]: iteration  13 :  591  enodes  (cost  9 )
0.742 * * [simplify]: iteration  14 :  606  enodes  (cost  9 )
0.858 * * [simplify]: iteration  15 :  642  enodes  (cost  9 )
0.991 * * [simplify]: iteration  16 :  731  enodes  (cost  9 )
1.226 * * [simplify]: iteration  17 :  959  enodes  (cost  9 )
1.516 * * [simplify]: iteration  18 :  1193  enodes  (cost  9 )
1.945 * * [simplify]: iteration  19 :  1501  enodes  (cost  9 )
2.416 * * [simplify]: iteration  20 :  1688  enodes  (cost  9 )
2.710 * * [simplify]: iteration  21 :  1692  enodes  (cost  9 )
3.003 * * [simplify]: iteration  done :  1692  enodes  (cost  9 )
3.003 * [simplify]: Simplified to:
   (+ x (* (* (- y x) 6.0) z))
3.003 * * [progress]: iteration 1 / 4
3.003 * * * [progress]: picking best candidate
3.006 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))>
3.006 * * * [progress]: localizing error
3.012 * * * [progress]: generating rewritten candidates
3.012 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
3.020 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
3.027 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.032 * * * [progress]: generating series expansions
3.032 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
3.032 * [approximate]: Taking taylor expansion of (* 6.0 (* z (- y x))) in (y x z) around 0
3.032 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in z
3.032 * [taylor]: Taking taylor expansion of 6.0 in z
3.032 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
3.032 * [taylor]: Taking taylor expansion of z in z
3.032 * [taylor]: Taking taylor expansion of (- y x) in z
3.032 * [taylor]: Taking taylor expansion of y in z
3.032 * [taylor]: Taking taylor expansion of x in z
3.032 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in x
3.032 * [taylor]: Taking taylor expansion of 6.0 in x
3.032 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
3.032 * [taylor]: Taking taylor expansion of z in x
3.032 * [taylor]: Taking taylor expansion of (- y x) in x
3.032 * [taylor]: Taking taylor expansion of y in x
3.032 * [taylor]: Taking taylor expansion of x in x
3.032 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
3.032 * [taylor]: Taking taylor expansion of 6.0 in y
3.032 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
3.032 * [taylor]: Taking taylor expansion of z in y
3.032 * [taylor]: Taking taylor expansion of (- y x) in y
3.032 * [taylor]: Taking taylor expansion of y in y
3.032 * [taylor]: Taking taylor expansion of x in y
3.032 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
3.032 * [taylor]: Taking taylor expansion of 6.0 in y
3.032 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
3.032 * [taylor]: Taking taylor expansion of z in y
3.032 * [taylor]: Taking taylor expansion of (- y x) in y
3.032 * [taylor]: Taking taylor expansion of y in y
3.032 * [taylor]: Taking taylor expansion of x in y
3.033 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
3.033 * [taylor]: Taking taylor expansion of -6.0 in x
3.033 * [taylor]: Taking taylor expansion of (* x z) in x
3.033 * [taylor]: Taking taylor expansion of x in x
3.033 * [taylor]: Taking taylor expansion of z in x
3.033 * [taylor]: Taking taylor expansion of 0 in z
3.033 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
3.033 * [taylor]: Taking taylor expansion of 6.0 in x
3.033 * [taylor]: Taking taylor expansion of z in x
3.033 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
3.033 * [taylor]: Taking taylor expansion of 6.0 in z
3.033 * [taylor]: Taking taylor expansion of z in z
3.033 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z
3.033 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
3.033 * [taylor]: Taking taylor expansion of 6.0 in z
3.033 * [taylor]: Taking taylor expansion of z in z
3.033 * [taylor]: Taking taylor expansion of 0 in x
3.033 * [taylor]: Taking taylor expansion of 0 in z
3.033 * [taylor]: Taking taylor expansion of 0 in z
3.033 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
3.033 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
3.033 * [taylor]: Taking taylor expansion of 6.0 in z
3.033 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
3.034 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
3.034 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.034 * [taylor]: Taking taylor expansion of y in z
3.034 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.034 * [taylor]: Taking taylor expansion of x in z
3.034 * [taylor]: Taking taylor expansion of z in z
3.034 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
3.034 * [taylor]: Taking taylor expansion of 6.0 in x
3.034 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
3.034 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
3.034 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.034 * [taylor]: Taking taylor expansion of y in x
3.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.034 * [taylor]: Taking taylor expansion of x in x
3.034 * [taylor]: Taking taylor expansion of z in x
3.034 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
3.034 * [taylor]: Taking taylor expansion of 6.0 in y
3.034 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
3.034 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.034 * [taylor]: Taking taylor expansion of y in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.034 * [taylor]: Taking taylor expansion of x in y
3.034 * [taylor]: Taking taylor expansion of z in y
3.034 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
3.034 * [taylor]: Taking taylor expansion of 6.0 in y
3.034 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
3.034 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.034 * [taylor]: Taking taylor expansion of y in y
3.034 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.034 * [taylor]: Taking taylor expansion of x in y
3.034 * [taylor]: Taking taylor expansion of z in y
3.035 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
3.035 * [taylor]: Taking taylor expansion of 6.0 in x
3.035 * [taylor]: Taking taylor expansion of z in x
3.035 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
3.035 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
3.035 * [taylor]: Taking taylor expansion of 6.0 in x
3.035 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.035 * [taylor]: Taking taylor expansion of (* x z) in x
3.035 * [taylor]: Taking taylor expansion of x in x
3.035 * [taylor]: Taking taylor expansion of z in x
3.035 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
3.035 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
3.035 * [taylor]: Taking taylor expansion of 6.0 in z
3.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.035 * [taylor]: Taking taylor expansion of z in z
3.035 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
3.035 * [taylor]: Taking taylor expansion of 6.0 in z
3.035 * [taylor]: Taking taylor expansion of z in z
3.036 * [taylor]: Taking taylor expansion of 0 in x
3.036 * [taylor]: Taking taylor expansion of 0 in z
3.036 * [taylor]: Taking taylor expansion of 0 in z
3.036 * [taylor]: Taking taylor expansion of 0 in x
3.036 * [taylor]: Taking taylor expansion of 0 in z
3.036 * [taylor]: Taking taylor expansion of 0 in z
3.037 * [taylor]: Taking taylor expansion of 0 in z
3.037 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
3.037 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
3.037 * [taylor]: Taking taylor expansion of -6.0 in z
3.037 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
3.037 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
3.037 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.037 * [taylor]: Taking taylor expansion of x in z
3.037 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.037 * [taylor]: Taking taylor expansion of y in z
3.037 * [taylor]: Taking taylor expansion of z in z
3.037 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
3.037 * [taylor]: Taking taylor expansion of -6.0 in x
3.037 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
3.037 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
3.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.037 * [taylor]: Taking taylor expansion of x in x
3.037 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.037 * [taylor]: Taking taylor expansion of y in x
3.038 * [taylor]: Taking taylor expansion of z in x
3.038 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
3.038 * [taylor]: Taking taylor expansion of -6.0 in y
3.038 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
3.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.038 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.038 * [taylor]: Taking taylor expansion of x in y
3.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.038 * [taylor]: Taking taylor expansion of y in y
3.038 * [taylor]: Taking taylor expansion of z in y
3.038 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
3.038 * [taylor]: Taking taylor expansion of -6.0 in y
3.038 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
3.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.038 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.038 * [taylor]: Taking taylor expansion of x in y
3.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.038 * [taylor]: Taking taylor expansion of y in y
3.038 * [taylor]: Taking taylor expansion of z in y
3.038 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
3.038 * [taylor]: Taking taylor expansion of 6.0 in x
3.038 * [taylor]: Taking taylor expansion of z in x
3.038 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
3.038 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
3.038 * [taylor]: Taking taylor expansion of 6.0 in x
3.038 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.038 * [taylor]: Taking taylor expansion of (* x z) in x
3.038 * [taylor]: Taking taylor expansion of x in x
3.038 * [taylor]: Taking taylor expansion of z in x
3.039 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
3.039 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
3.039 * [taylor]: Taking taylor expansion of 6.0 in z
3.039 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.039 * [taylor]: Taking taylor expansion of z in z
3.039 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
3.039 * [taylor]: Taking taylor expansion of 6.0 in z
3.039 * [taylor]: Taking taylor expansion of z in z
3.039 * [taylor]: Taking taylor expansion of 0 in x
3.039 * [taylor]: Taking taylor expansion of 0 in z
3.040 * [taylor]: Taking taylor expansion of 0 in z
3.040 * [taylor]: Taking taylor expansion of 0 in x
3.040 * [taylor]: Taking taylor expansion of 0 in z
3.040 * [taylor]: Taking taylor expansion of 0 in z
3.040 * [taylor]: Taking taylor expansion of 0 in z
3.041 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
3.041 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0
3.041 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
3.041 * [taylor]: Taking taylor expansion of 6.0 in x
3.041 * [taylor]: Taking taylor expansion of (- y x) in x
3.041 * [taylor]: Taking taylor expansion of y in x
3.041 * [taylor]: Taking taylor expansion of x in x
3.041 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
3.041 * [taylor]: Taking taylor expansion of 6.0 in y
3.041 * [taylor]: Taking taylor expansion of (- y x) in y
3.041 * [taylor]: Taking taylor expansion of y in y
3.041 * [taylor]: Taking taylor expansion of x in y
3.041 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
3.041 * [taylor]: Taking taylor expansion of 6.0 in y
3.041 * [taylor]: Taking taylor expansion of (- y x) in y
3.041 * [taylor]: Taking taylor expansion of y in y
3.041 * [taylor]: Taking taylor expansion of x in y
3.041 * [taylor]: Taking taylor expansion of (* -6.0 x) in x
3.041 * [taylor]: Taking taylor expansion of -6.0 in x
3.041 * [taylor]: Taking taylor expansion of x in x
3.041 * [taylor]: Taking taylor expansion of 6.0 in x
3.041 * [taylor]: Taking taylor expansion of 0 in x
3.042 * [taylor]: Taking taylor expansion of 0 in x
3.042 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0
3.042 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
3.042 * [taylor]: Taking taylor expansion of 6.0 in x
3.042 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
3.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.042 * [taylor]: Taking taylor expansion of y in x
3.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.042 * [taylor]: Taking taylor expansion of x in x
3.042 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
3.042 * [taylor]: Taking taylor expansion of 6.0 in y
3.042 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.042 * [taylor]: Taking taylor expansion of y in y
3.042 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.042 * [taylor]: Taking taylor expansion of x in y
3.042 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
3.042 * [taylor]: Taking taylor expansion of 6.0 in y
3.042 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.042 * [taylor]: Taking taylor expansion of y in y
3.042 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.042 * [taylor]: Taking taylor expansion of x in y
3.042 * [taylor]: Taking taylor expansion of 6.0 in x
3.042 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 x))) in x
3.042 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
3.042 * [taylor]: Taking taylor expansion of 6.0 in x
3.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.042 * [taylor]: Taking taylor expansion of x in x
3.043 * [taylor]: Taking taylor expansion of 0 in x
3.043 * [taylor]: Taking taylor expansion of 0 in x
3.043 * [taylor]: Taking taylor expansion of 0 in x
3.044 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0
3.044 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
3.044 * [taylor]: Taking taylor expansion of 6.0 in x
3.044 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
3.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.044 * [taylor]: Taking taylor expansion of x in x
3.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.044 * [taylor]: Taking taylor expansion of y in x
3.044 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
3.044 * [taylor]: Taking taylor expansion of 6.0 in y
3.044 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.044 * [taylor]: Taking taylor expansion of x in y
3.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.044 * [taylor]: Taking taylor expansion of y in y
3.044 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
3.044 * [taylor]: Taking taylor expansion of 6.0 in y
3.044 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.044 * [taylor]: Taking taylor expansion of x in y
3.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.044 * [taylor]: Taking taylor expansion of y in y
3.044 * [taylor]: Taking taylor expansion of -6.0 in x
3.044 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
3.044 * [taylor]: Taking taylor expansion of 6.0 in x
3.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.044 * [taylor]: Taking taylor expansion of x in x
3.045 * [taylor]: Taking taylor expansion of 0 in x
3.045 * [taylor]: Taking taylor expansion of 0 in x
3.045 * [taylor]: Taking taylor expansion of 0 in x
3.045 * * * * [progress]: [ 3 / 3 ] generating series at (2)
3.045 * [approximate]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in (x y z) around 0
3.045 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in z
3.045 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in z
3.045 * [taylor]: Taking taylor expansion of x in z
3.045 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
3.045 * [taylor]: Taking taylor expansion of 6.0 in z
3.045 * [taylor]: Taking taylor expansion of (* z y) in z
3.045 * [taylor]: Taking taylor expansion of z in z
3.046 * [taylor]: Taking taylor expansion of y in z
3.046 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
3.046 * [taylor]: Taking taylor expansion of 6.0 in z
3.046 * [taylor]: Taking taylor expansion of (* x z) in z
3.046 * [taylor]: Taking taylor expansion of x in z
3.046 * [taylor]: Taking taylor expansion of z in z
3.046 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in y
3.046 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in y
3.046 * [taylor]: Taking taylor expansion of x in y
3.046 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
3.046 * [taylor]: Taking taylor expansion of 6.0 in y
3.046 * [taylor]: Taking taylor expansion of (* z y) in y
3.046 * [taylor]: Taking taylor expansion of z in y
3.046 * [taylor]: Taking taylor expansion of y in y
3.046 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
3.046 * [taylor]: Taking taylor expansion of 6.0 in y
3.046 * [taylor]: Taking taylor expansion of (* x z) in y
3.046 * [taylor]: Taking taylor expansion of x in y
3.046 * [taylor]: Taking taylor expansion of z in y
3.046 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in x
3.046 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in x
3.046 * [taylor]: Taking taylor expansion of x in x
3.046 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
3.046 * [taylor]: Taking taylor expansion of 6.0 in x
3.046 * [taylor]: Taking taylor expansion of (* z y) in x
3.046 * [taylor]: Taking taylor expansion of z in x
3.046 * [taylor]: Taking taylor expansion of y in x
3.046 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
3.046 * [taylor]: Taking taylor expansion of 6.0 in x
3.046 * [taylor]: Taking taylor expansion of (* x z) in x
3.046 * [taylor]: Taking taylor expansion of x in x
3.046 * [taylor]: Taking taylor expansion of z in x
3.046 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in x
3.046 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in x
3.046 * [taylor]: Taking taylor expansion of x in x
3.046 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
3.046 * [taylor]: Taking taylor expansion of 6.0 in x
3.046 * [taylor]: Taking taylor expansion of (* z y) in x
3.046 * [taylor]: Taking taylor expansion of z in x
3.046 * [taylor]: Taking taylor expansion of y in x
3.046 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
3.046 * [taylor]: Taking taylor expansion of 6.0 in x
3.046 * [taylor]: Taking taylor expansion of (* x z) in x
3.046 * [taylor]: Taking taylor expansion of x in x
3.046 * [taylor]: Taking taylor expansion of z in x
3.047 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
3.047 * [taylor]: Taking taylor expansion of 6.0 in y
3.047 * [taylor]: Taking taylor expansion of (* z y) in y
3.047 * [taylor]: Taking taylor expansion of z in y
3.047 * [taylor]: Taking taylor expansion of y in y
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.047 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y
3.047 * [taylor]: Taking taylor expansion of 1 in y
3.047 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
3.047 * [taylor]: Taking taylor expansion of 6.0 in y
3.047 * [taylor]: Taking taylor expansion of z in y
3.047 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
3.047 * [taylor]: Taking taylor expansion of 1 in z
3.047 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
3.047 * [taylor]: Taking taylor expansion of 6.0 in z
3.047 * [taylor]: Taking taylor expansion of z in z
3.047 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
3.047 * [taylor]: Taking taylor expansion of 6.0 in z
3.047 * [taylor]: Taking taylor expansion of z in z
3.047 * [taylor]: Taking taylor expansion of 0 in y
3.047 * [taylor]: Taking taylor expansion of 0 in z
3.048 * [taylor]: Taking taylor expansion of 0 in z
3.048 * [taylor]: Taking taylor expansion of 0 in z
3.048 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0
3.048 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z
3.048 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z
3.048 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
3.048 * [taylor]: Taking taylor expansion of 6.0 in z
3.048 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.048 * [taylor]: Taking taylor expansion of (* z y) in z
3.048 * [taylor]: Taking taylor expansion of z in z
3.048 * [taylor]: Taking taylor expansion of y in z
3.048 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.048 * [taylor]: Taking taylor expansion of x in z
3.048 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
3.048 * [taylor]: Taking taylor expansion of 6.0 in z
3.048 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
3.048 * [taylor]: Taking taylor expansion of (* x z) in z
3.048 * [taylor]: Taking taylor expansion of x in z
3.048 * [taylor]: Taking taylor expansion of z in z
3.048 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y
3.048 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y
3.049 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
3.049 * [taylor]: Taking taylor expansion of 6.0 in y
3.049 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.049 * [taylor]: Taking taylor expansion of (* z y) in y
3.049 * [taylor]: Taking taylor expansion of z in y
3.049 * [taylor]: Taking taylor expansion of y in y
3.049 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.049 * [taylor]: Taking taylor expansion of x in y
3.049 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
3.049 * [taylor]: Taking taylor expansion of 6.0 in y
3.049 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
3.049 * [taylor]: Taking taylor expansion of (* x z) in y
3.049 * [taylor]: Taking taylor expansion of x in y
3.049 * [taylor]: Taking taylor expansion of z in y
3.049 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
3.049 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
3.049 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
3.049 * [taylor]: Taking taylor expansion of 6.0 in x
3.049 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.049 * [taylor]: Taking taylor expansion of (* z y) in x
3.049 * [taylor]: Taking taylor expansion of z in x
3.049 * [taylor]: Taking taylor expansion of y in x
3.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.049 * [taylor]: Taking taylor expansion of x in x
3.049 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
3.049 * [taylor]: Taking taylor expansion of 6.0 in x
3.049 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.049 * [taylor]: Taking taylor expansion of (* x z) in x
3.049 * [taylor]: Taking taylor expansion of x in x
3.049 * [taylor]: Taking taylor expansion of z in x
3.049 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
3.049 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
3.049 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
3.049 * [taylor]: Taking taylor expansion of 6.0 in x
3.049 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.049 * [taylor]: Taking taylor expansion of (* z y) in x
3.049 * [taylor]: Taking taylor expansion of z in x
3.049 * [taylor]: Taking taylor expansion of y in x
3.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.049 * [taylor]: Taking taylor expansion of x in x
3.049 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
3.050 * [taylor]: Taking taylor expansion of 6.0 in x
3.050 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.050 * [taylor]: Taking taylor expansion of (* x z) in x
3.050 * [taylor]: Taking taylor expansion of x in x
3.050 * [taylor]: Taking taylor expansion of z in x
3.050 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y
3.050 * [taylor]: Taking taylor expansion of 1 in y
3.050 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
3.050 * [taylor]: Taking taylor expansion of 6.0 in y
3.050 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.050 * [taylor]: Taking taylor expansion of z in y
3.050 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
3.050 * [taylor]: Taking taylor expansion of 6.0 in y
3.050 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.050 * [taylor]: Taking taylor expansion of (* z y) in y
3.050 * [taylor]: Taking taylor expansion of z in y
3.050 * [taylor]: Taking taylor expansion of y in y
3.050 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
3.050 * [taylor]: Taking taylor expansion of 6.0 in z
3.050 * [taylor]: Taking taylor expansion of z in z
3.051 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
3.051 * [taylor]: Taking taylor expansion of 1 in z
3.051 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
3.051 * [taylor]: Taking taylor expansion of 6.0 in z
3.051 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.051 * [taylor]: Taking taylor expansion of z in z
3.051 * [taylor]: Taking taylor expansion of 0 in y
3.051 * [taylor]: Taking taylor expansion of 0 in z
3.051 * [taylor]: Taking taylor expansion of 0 in z
3.052 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0
3.052 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z
3.052 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
3.052 * [taylor]: Taking taylor expansion of 6.0 in z
3.052 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.052 * [taylor]: Taking taylor expansion of (* z y) in z
3.052 * [taylor]: Taking taylor expansion of z in z
3.052 * [taylor]: Taking taylor expansion of y in z
3.052 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z
3.052 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
3.052 * [taylor]: Taking taylor expansion of 6.0 in z
3.052 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
3.052 * [taylor]: Taking taylor expansion of (* x z) in z
3.052 * [taylor]: Taking taylor expansion of x in z
3.052 * [taylor]: Taking taylor expansion of z in z
3.052 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.052 * [taylor]: Taking taylor expansion of x in z
3.052 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y
3.052 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
3.052 * [taylor]: Taking taylor expansion of 6.0 in y
3.052 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.052 * [taylor]: Taking taylor expansion of (* z y) in y
3.052 * [taylor]: Taking taylor expansion of z in y
3.052 * [taylor]: Taking taylor expansion of y in y
3.052 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y
3.052 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
3.052 * [taylor]: Taking taylor expansion of 6.0 in y
3.052 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
3.052 * [taylor]: Taking taylor expansion of (* x z) in y
3.052 * [taylor]: Taking taylor expansion of x in y
3.052 * [taylor]: Taking taylor expansion of z in y
3.053 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.053 * [taylor]: Taking taylor expansion of x in y
3.053 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
3.053 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
3.053 * [taylor]: Taking taylor expansion of 6.0 in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.053 * [taylor]: Taking taylor expansion of (* z y) in x
3.053 * [taylor]: Taking taylor expansion of z in x
3.053 * [taylor]: Taking taylor expansion of y in x
3.053 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
3.053 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
3.053 * [taylor]: Taking taylor expansion of 6.0 in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.053 * [taylor]: Taking taylor expansion of (* x z) in x
3.053 * [taylor]: Taking taylor expansion of x in x
3.053 * [taylor]: Taking taylor expansion of z in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.053 * [taylor]: Taking taylor expansion of x in x
3.053 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
3.053 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
3.053 * [taylor]: Taking taylor expansion of 6.0 in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.053 * [taylor]: Taking taylor expansion of (* z y) in x
3.053 * [taylor]: Taking taylor expansion of z in x
3.053 * [taylor]: Taking taylor expansion of y in x
3.053 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
3.053 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
3.053 * [taylor]: Taking taylor expansion of 6.0 in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.053 * [taylor]: Taking taylor expansion of (* x z) in x
3.053 * [taylor]: Taking taylor expansion of x in x
3.053 * [taylor]: Taking taylor expansion of z in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.053 * [taylor]: Taking taylor expansion of x in x
3.054 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 1)) in y
3.054 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y
3.054 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
3.054 * [taylor]: Taking taylor expansion of 6.0 in y
3.054 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.054 * [taylor]: Taking taylor expansion of z in y
3.054 * [taylor]: Taking taylor expansion of 1 in y
3.054 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
3.054 * [taylor]: Taking taylor expansion of 6.0 in y
3.054 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.054 * [taylor]: Taking taylor expansion of (* z y) in y
3.054 * [taylor]: Taking taylor expansion of z in y
3.054 * [taylor]: Taking taylor expansion of y in y
3.054 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
3.054 * [taylor]: Taking taylor expansion of 6.0 in z
3.054 * [taylor]: Taking taylor expansion of z in z
3.054 * [taylor]: Taking taylor expansion of (neg (+ 1 (* 6.0 (/ 1 z)))) in z
3.054 * [taylor]: Taking taylor expansion of (+ 1 (* 6.0 (/ 1 z))) in z
3.054 * [taylor]: Taking taylor expansion of 1 in z
3.054 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
3.054 * [taylor]: Taking taylor expansion of 6.0 in z
3.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.054 * [taylor]: Taking taylor expansion of z in z
3.055 * [taylor]: Taking taylor expansion of 0 in y
3.055 * [taylor]: Taking taylor expansion of 0 in z
3.055 * [taylor]: Taking taylor expansion of 0 in z
3.055 * * * [progress]: simplifying candidates
3.056 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  (+ (+ (log (- y x)) (log 6.0)) (log z))
  (+ (log (* (- y x) 6.0)) (log z))
  (log (* (* (- y x) 6.0) z))
  (exp (* (* (- y x) 6.0) z))
  (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* z z) z))
  (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* z z) z))
  (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z)))
  (cbrt (* (* (- y x) 6.0) z))
  (* (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (* (* (- y x) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- y x) 6.0) (sqrt z))
  (* (* (- y x) 6.0) 1)
  (* 6.0 z)
  (* (* (- (pow y 3) (pow x 3)) 6.0) z)
  (* (* (- (* y y) (* x x)) 6.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) z)))
  (log (+ x (* (* (- y x) 6.0) z)))
  (exp (+ x (* (* (- y x) 6.0) z)))
  (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z))))
  (cbrt (+ x (* (* (- y x) 6.0) z)))
  (* (* (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z))) (+ x (* (* (- y x) 6.0) z)))
  (sqrt (+ x (* (* (- y x) 6.0) z)))
  (sqrt (+ x (* (* (- y x) 6.0) z)))
  (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3))
  (+ (* x x) (- (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* x (* (* (- y x) 6.0) z))))
  (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)))
  (- x (* (* (- y x) 6.0) z))
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
  (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z)))
  (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z)))
  (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z)))
3.059 * * [simplify]: iteration  0 :  98  enodes  (cost  644 )
3.079 * * [simplify]: iteration  1 :  245  enodes  (cost  597 )
3.187 * * [simplify]: iteration  2 :  911  enodes  (cost  521 )
4.298 * * [simplify]: iteration  3 :  4361  enodes  (cost  521 )
5.767 * * [simplify]: iteration  done :  5001  enodes  (cost  521 )
5.767 * [simplify]: Simplified to:
   (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  (log (* (* (- y x) 6.0) z))
  (log (* (* (- y x) 6.0) z))
  (log (* (* (- y x) 6.0) z))
  (exp (* (* (- y x) 6.0) z))
  (pow (* (* (- y x) 6.0) z) 3)
  (pow (* (* (- y x) 6.0) z) 3)
  (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z)))
  (cbrt (* (* (- y x) 6.0) z))
  (pow (* (* (- y x) 6.0) z) 3)
  (sqrt (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (* (* (- y x) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- y x) 6.0) (sqrt z))
  (* (- y x) 6.0)
  (* 6.0 z)
  (* (* (- (pow y 3) (pow x 3)) 6.0) z)
  (* (* (- (* y y) (* x x)) 6.0) z)
  (* (- y x) 6.0)
  (log (* (- y x) 6.0))
  (log (* (- y x) 6.0))
  (exp (* (- y x) 6.0))
  (pow (* (- y x) 6.0) 3)
  (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0)))
  (cbrt (* (- y x) 6.0))
  (pow (* (- y x) 6.0) 3)
  (sqrt (* (- y x) 6.0))
  (sqrt (* (- y x) 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (- y x) (* (cbrt 6.0) (cbrt 6.0)))
  (* (- y x) (sqrt 6.0))
  (- y x)
  (* (cbrt (- y x)) 6.0)
  (* (sqrt (- y x)) 6.0)
  (* (- y x) 6.0)
  (* (- (sqrt y) (sqrt x)) 6.0)
  (* (- y x) 6.0)
  (* (- (pow y 3) (pow x 3)) 6.0)
  (* (- (* y y) (* x x)) 6.0)
  (exp (+ x (* (* (- y x) 6.0) z)))
  (log (+ x (* (* (- y x) 6.0) z)))
  (exp (+ x (* (* (- y x) 6.0) z)))
  (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z))))
  (cbrt (+ x (* (* (- y x) 6.0) z)))
  (pow (+ x (* (* (- y x) 6.0) z)) 3)
  (sqrt (+ x (* (* (- y x) 6.0) z)))
  (sqrt (+ x (* (* (- y x) 6.0) z)))
  (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3))
  (+ (* x x) (* (* (* (- y x) 6.0) z) (- (* (* (- y x) 6.0) z) x)))
  (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)))
  (- x (* (* (- y x) 6.0) z))
  0
  (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  (* (- y x) 6.0)
  (* (- y x) 6.0)
  (* (- y x) 6.0)
  (+ x (* (* (- y x) 6.0) z))
  (+ x (* (* (- y x) 6.0) z))
  (+ x (* (* (- y x) 6.0) z))
5.768 * * * [progress]: adding candidates to table
5.835 * * [progress]: iteration 2 / 4
5.835 * * * [progress]: picking best candidate
5.855 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (- y x) (* 6.0 z))))>
5.856 * * * [progress]: localizing error
5.862 * * * [progress]: generating rewritten candidates
5.862 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.870 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.874 * * * [progress]: generating series expansions
5.874 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.874 * [approximate]: Taking taylor expansion of (* 6.0 (* z (- y x))) in (y x z) around 0
5.874 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in z
5.874 * [taylor]: Taking taylor expansion of 6.0 in z
5.874 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
5.875 * [taylor]: Taking taylor expansion of z in z
5.875 * [taylor]: Taking taylor expansion of (- y x) in z
5.875 * [taylor]: Taking taylor expansion of y in z
5.875 * [taylor]: Taking taylor expansion of x in z
5.875 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in x
5.875 * [taylor]: Taking taylor expansion of 6.0 in x
5.875 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
5.875 * [taylor]: Taking taylor expansion of z in x
5.875 * [taylor]: Taking taylor expansion of (- y x) in x
5.875 * [taylor]: Taking taylor expansion of y in x
5.875 * [taylor]: Taking taylor expansion of x in x
5.875 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
5.875 * [taylor]: Taking taylor expansion of 6.0 in y
5.875 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
5.875 * [taylor]: Taking taylor expansion of z in y
5.875 * [taylor]: Taking taylor expansion of (- y x) in y
5.875 * [taylor]: Taking taylor expansion of y in y
5.875 * [taylor]: Taking taylor expansion of x in y
5.875 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
5.875 * [taylor]: Taking taylor expansion of 6.0 in y
5.875 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
5.875 * [taylor]: Taking taylor expansion of z in y
5.875 * [taylor]: Taking taylor expansion of (- y x) in y
5.875 * [taylor]: Taking taylor expansion of y in y
5.875 * [taylor]: Taking taylor expansion of x in y
5.875 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
5.875 * [taylor]: Taking taylor expansion of -6.0 in x
5.875 * [taylor]: Taking taylor expansion of (* x z) in x
5.875 * [taylor]: Taking taylor expansion of x in x
5.875 * [taylor]: Taking taylor expansion of z in x
5.875 * [taylor]: Taking taylor expansion of 0 in z
5.875 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
5.875 * [taylor]: Taking taylor expansion of 6.0 in x
5.875 * [taylor]: Taking taylor expansion of z in x
5.875 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
5.875 * [taylor]: Taking taylor expansion of 6.0 in z
5.875 * [taylor]: Taking taylor expansion of z in z
5.876 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z
5.876 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
5.876 * [taylor]: Taking taylor expansion of 6.0 in z
5.876 * [taylor]: Taking taylor expansion of z in z
5.876 * [taylor]: Taking taylor expansion of 0 in x
5.876 * [taylor]: Taking taylor expansion of 0 in z
5.876 * [taylor]: Taking taylor expansion of 0 in z
5.876 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
5.876 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
5.876 * [taylor]: Taking taylor expansion of 6.0 in z
5.876 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
5.876 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
5.876 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.876 * [taylor]: Taking taylor expansion of y in z
5.876 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.876 * [taylor]: Taking taylor expansion of x in z
5.876 * [taylor]: Taking taylor expansion of z in z
5.876 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
5.876 * [taylor]: Taking taylor expansion of 6.0 in x
5.876 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
5.876 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.876 * [taylor]: Taking taylor expansion of y in x
5.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.876 * [taylor]: Taking taylor expansion of x in x
5.877 * [taylor]: Taking taylor expansion of z in x
5.877 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
5.877 * [taylor]: Taking taylor expansion of 6.0 in y
5.877 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
5.877 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.877 * [taylor]: Taking taylor expansion of y in y
5.877 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.877 * [taylor]: Taking taylor expansion of x in y
5.877 * [taylor]: Taking taylor expansion of z in y
5.877 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
5.877 * [taylor]: Taking taylor expansion of 6.0 in y
5.877 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
5.877 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.877 * [taylor]: Taking taylor expansion of y in y
5.877 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.877 * [taylor]: Taking taylor expansion of x in y
5.877 * [taylor]: Taking taylor expansion of z in y
5.877 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
5.877 * [taylor]: Taking taylor expansion of 6.0 in x
5.877 * [taylor]: Taking taylor expansion of z in x
5.877 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
5.877 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
5.877 * [taylor]: Taking taylor expansion of 6.0 in x
5.877 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.877 * [taylor]: Taking taylor expansion of (* x z) in x
5.877 * [taylor]: Taking taylor expansion of x in x
5.878 * [taylor]: Taking taylor expansion of z in x
5.878 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
5.878 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
5.878 * [taylor]: Taking taylor expansion of 6.0 in z
5.878 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.878 * [taylor]: Taking taylor expansion of z in z
5.878 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
5.878 * [taylor]: Taking taylor expansion of 6.0 in z
5.878 * [taylor]: Taking taylor expansion of z in z
5.878 * [taylor]: Taking taylor expansion of 0 in x
5.878 * [taylor]: Taking taylor expansion of 0 in z
5.878 * [taylor]: Taking taylor expansion of 0 in z
5.879 * [taylor]: Taking taylor expansion of 0 in x
5.879 * [taylor]: Taking taylor expansion of 0 in z
5.879 * [taylor]: Taking taylor expansion of 0 in z
5.879 * [taylor]: Taking taylor expansion of 0 in z
5.880 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
5.880 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
5.880 * [taylor]: Taking taylor expansion of -6.0 in z
5.880 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
5.880 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
5.880 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.880 * [taylor]: Taking taylor expansion of x in z
5.880 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.880 * [taylor]: Taking taylor expansion of y in z
5.880 * [taylor]: Taking taylor expansion of z in z
5.880 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
5.880 * [taylor]: Taking taylor expansion of -6.0 in x
5.880 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
5.880 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.880 * [taylor]: Taking taylor expansion of x in x
5.880 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.880 * [taylor]: Taking taylor expansion of y in x
5.880 * [taylor]: Taking taylor expansion of z in x
5.880 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
5.880 * [taylor]: Taking taylor expansion of -6.0 in y
5.880 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
5.880 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.880 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.880 * [taylor]: Taking taylor expansion of x in y
5.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.880 * [taylor]: Taking taylor expansion of y in y
5.880 * [taylor]: Taking taylor expansion of z in y
5.880 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
5.880 * [taylor]: Taking taylor expansion of -6.0 in y
5.881 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
5.881 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.881 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.881 * [taylor]: Taking taylor expansion of x in y
5.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.881 * [taylor]: Taking taylor expansion of y in y
5.881 * [taylor]: Taking taylor expansion of z in y
5.881 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
5.881 * [taylor]: Taking taylor expansion of 6.0 in x
5.881 * [taylor]: Taking taylor expansion of z in x
5.881 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
5.881 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
5.881 * [taylor]: Taking taylor expansion of 6.0 in x
5.881 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.881 * [taylor]: Taking taylor expansion of (* x z) in x
5.881 * [taylor]: Taking taylor expansion of x in x
5.881 * [taylor]: Taking taylor expansion of z in x
5.881 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
5.881 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
5.881 * [taylor]: Taking taylor expansion of 6.0 in z
5.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.881 * [taylor]: Taking taylor expansion of z in z
5.881 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
5.881 * [taylor]: Taking taylor expansion of 6.0 in z
5.881 * [taylor]: Taking taylor expansion of z in z
5.882 * [taylor]: Taking taylor expansion of 0 in x
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.882 * [taylor]: Taking taylor expansion of 0 in x
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.883 * [taylor]: Taking taylor expansion of 0 in z
5.883 * [taylor]: Taking taylor expansion of 0 in z
5.883 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.883 * [approximate]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in (x y z) around 0
5.883 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in z
5.883 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in z
5.883 * [taylor]: Taking taylor expansion of x in z
5.883 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
5.883 * [taylor]: Taking taylor expansion of 6.0 in z
5.883 * [taylor]: Taking taylor expansion of (* z y) in z
5.883 * [taylor]: Taking taylor expansion of z in z
5.883 * [taylor]: Taking taylor expansion of y in z
5.883 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
5.883 * [taylor]: Taking taylor expansion of 6.0 in z
5.883 * [taylor]: Taking taylor expansion of (* x z) in z
5.883 * [taylor]: Taking taylor expansion of x in z
5.883 * [taylor]: Taking taylor expansion of z in z
5.883 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in y
5.883 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in y
5.884 * [taylor]: Taking taylor expansion of x in y
5.884 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
5.884 * [taylor]: Taking taylor expansion of 6.0 in y
5.884 * [taylor]: Taking taylor expansion of (* z y) in y
5.884 * [taylor]: Taking taylor expansion of z in y
5.884 * [taylor]: Taking taylor expansion of y in y
5.884 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
5.884 * [taylor]: Taking taylor expansion of 6.0 in y
5.884 * [taylor]: Taking taylor expansion of (* x z) in y
5.884 * [taylor]: Taking taylor expansion of x in y
5.884 * [taylor]: Taking taylor expansion of z in y
5.884 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in x
5.884 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in x
5.884 * [taylor]: Taking taylor expansion of x in x
5.884 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
5.884 * [taylor]: Taking taylor expansion of 6.0 in x
5.884 * [taylor]: Taking taylor expansion of (* z y) in x
5.884 * [taylor]: Taking taylor expansion of z in x
5.884 * [taylor]: Taking taylor expansion of y in x
5.884 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
5.884 * [taylor]: Taking taylor expansion of 6.0 in x
5.884 * [taylor]: Taking taylor expansion of (* x z) in x
5.884 * [taylor]: Taking taylor expansion of x in x
5.884 * [taylor]: Taking taylor expansion of z in x
5.884 * [taylor]: Taking taylor expansion of (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z))) in x
5.884 * [taylor]: Taking taylor expansion of (+ x (* 6.0 (* z y))) in x
5.884 * [taylor]: Taking taylor expansion of x in x
5.884 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
5.884 * [taylor]: Taking taylor expansion of 6.0 in x
5.884 * [taylor]: Taking taylor expansion of (* z y) in x
5.884 * [taylor]: Taking taylor expansion of z in x
5.884 * [taylor]: Taking taylor expansion of y in x
5.884 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
5.884 * [taylor]: Taking taylor expansion of 6.0 in x
5.884 * [taylor]: Taking taylor expansion of (* x z) in x
5.884 * [taylor]: Taking taylor expansion of x in x
5.884 * [taylor]: Taking taylor expansion of z in x
5.884 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
5.884 * [taylor]: Taking taylor expansion of 6.0 in y
5.884 * [taylor]: Taking taylor expansion of (* z y) in y
5.884 * [taylor]: Taking taylor expansion of z in y
5.884 * [taylor]: Taking taylor expansion of y in y
5.884 * [taylor]: Taking taylor expansion of 0 in z
5.885 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y
5.885 * [taylor]: Taking taylor expansion of 1 in y
5.885 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
5.885 * [taylor]: Taking taylor expansion of 6.0 in y
5.885 * [taylor]: Taking taylor expansion of z in y
5.885 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
5.885 * [taylor]: Taking taylor expansion of 1 in z
5.885 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
5.885 * [taylor]: Taking taylor expansion of 6.0 in z
5.885 * [taylor]: Taking taylor expansion of z in z
5.885 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
5.885 * [taylor]: Taking taylor expansion of 6.0 in z
5.885 * [taylor]: Taking taylor expansion of z in z
5.885 * [taylor]: Taking taylor expansion of 0 in y
5.885 * [taylor]: Taking taylor expansion of 0 in z
5.885 * [taylor]: Taking taylor expansion of 0 in z
5.885 * [taylor]: Taking taylor expansion of 0 in z
5.886 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0
5.886 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z
5.886 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z
5.886 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
5.886 * [taylor]: Taking taylor expansion of 6.0 in z
5.886 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.886 * [taylor]: Taking taylor expansion of (* z y) in z
5.886 * [taylor]: Taking taylor expansion of z in z
5.886 * [taylor]: Taking taylor expansion of y in z
5.886 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.886 * [taylor]: Taking taylor expansion of x in z
5.886 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
5.886 * [taylor]: Taking taylor expansion of 6.0 in z
5.886 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
5.886 * [taylor]: Taking taylor expansion of (* x z) in z
5.886 * [taylor]: Taking taylor expansion of x in z
5.886 * [taylor]: Taking taylor expansion of z in z
5.886 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y
5.886 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y
5.886 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
5.886 * [taylor]: Taking taylor expansion of 6.0 in y
5.886 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.886 * [taylor]: Taking taylor expansion of (* z y) in y
5.886 * [taylor]: Taking taylor expansion of z in y
5.886 * [taylor]: Taking taylor expansion of y in y
5.886 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.886 * [taylor]: Taking taylor expansion of x in y
5.886 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
5.887 * [taylor]: Taking taylor expansion of 6.0 in y
5.887 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
5.887 * [taylor]: Taking taylor expansion of (* x z) in y
5.887 * [taylor]: Taking taylor expansion of x in y
5.887 * [taylor]: Taking taylor expansion of z in y
5.887 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
5.887 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
5.887 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
5.887 * [taylor]: Taking taylor expansion of 6.0 in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.887 * [taylor]: Taking taylor expansion of (* z y) in x
5.887 * [taylor]: Taking taylor expansion of z in x
5.887 * [taylor]: Taking taylor expansion of y in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
5.887 * [taylor]: Taking taylor expansion of 6.0 in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.887 * [taylor]: Taking taylor expansion of (* x z) in x
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [taylor]: Taking taylor expansion of z in x
5.887 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
5.887 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
5.887 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
5.887 * [taylor]: Taking taylor expansion of 6.0 in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.887 * [taylor]: Taking taylor expansion of (* z y) in x
5.887 * [taylor]: Taking taylor expansion of z in x
5.887 * [taylor]: Taking taylor expansion of y in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
5.887 * [taylor]: Taking taylor expansion of 6.0 in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.887 * [taylor]: Taking taylor expansion of (* x z) in x
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [taylor]: Taking taylor expansion of z in x
5.888 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y
5.888 * [taylor]: Taking taylor expansion of 1 in y
5.888 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
5.888 * [taylor]: Taking taylor expansion of 6.0 in y
5.888 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.888 * [taylor]: Taking taylor expansion of z in y
5.888 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
5.888 * [taylor]: Taking taylor expansion of 6.0 in y
5.888 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.888 * [taylor]: Taking taylor expansion of (* z y) in y
5.888 * [taylor]: Taking taylor expansion of z in y
5.888 * [taylor]: Taking taylor expansion of y in y
5.888 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
5.888 * [taylor]: Taking taylor expansion of 6.0 in z
5.888 * [taylor]: Taking taylor expansion of z in z
5.888 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
5.888 * [taylor]: Taking taylor expansion of 1 in z
5.888 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
5.888 * [taylor]: Taking taylor expansion of 6.0 in z
5.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.888 * [taylor]: Taking taylor expansion of z in z
5.889 * [taylor]: Taking taylor expansion of 0 in y
5.889 * [taylor]: Taking taylor expansion of 0 in z
5.889 * [taylor]: Taking taylor expansion of 0 in z
5.890 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0
5.890 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z
5.890 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
5.890 * [taylor]: Taking taylor expansion of 6.0 in z
5.890 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.890 * [taylor]: Taking taylor expansion of (* z y) in z
5.890 * [taylor]: Taking taylor expansion of z in z
5.890 * [taylor]: Taking taylor expansion of y in z
5.890 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z
5.890 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
5.890 * [taylor]: Taking taylor expansion of 6.0 in z
5.890 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
5.890 * [taylor]: Taking taylor expansion of (* x z) in z
5.890 * [taylor]: Taking taylor expansion of x in z
5.890 * [taylor]: Taking taylor expansion of z in z
5.890 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.890 * [taylor]: Taking taylor expansion of x in z
5.890 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y
5.890 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
5.890 * [taylor]: Taking taylor expansion of 6.0 in y
5.890 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.890 * [taylor]: Taking taylor expansion of (* z y) in y
5.890 * [taylor]: Taking taylor expansion of z in y
5.890 * [taylor]: Taking taylor expansion of y in y
5.890 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y
5.890 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
5.890 * [taylor]: Taking taylor expansion of 6.0 in y
5.890 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
5.890 * [taylor]: Taking taylor expansion of (* x z) in y
5.890 * [taylor]: Taking taylor expansion of x in y
5.890 * [taylor]: Taking taylor expansion of z in y
5.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.890 * [taylor]: Taking taylor expansion of x in y
5.890 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
5.891 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
5.891 * [taylor]: Taking taylor expansion of 6.0 in x
5.891 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.891 * [taylor]: Taking taylor expansion of (* z y) in x
5.891 * [taylor]: Taking taylor expansion of z in x
5.891 * [taylor]: Taking taylor expansion of y in x
5.891 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
5.891 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
5.891 * [taylor]: Taking taylor expansion of 6.0 in x
5.891 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.891 * [taylor]: Taking taylor expansion of (* x z) in x
5.891 * [taylor]: Taking taylor expansion of x in x
5.891 * [taylor]: Taking taylor expansion of z in x
5.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.891 * [taylor]: Taking taylor expansion of x in x
5.891 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
5.891 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
5.891 * [taylor]: Taking taylor expansion of 6.0 in x
5.891 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
5.891 * [taylor]: Taking taylor expansion of (* z y) in x
5.891 * [taylor]: Taking taylor expansion of z in x
5.891 * [taylor]: Taking taylor expansion of y in x
5.891 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
5.891 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
5.891 * [taylor]: Taking taylor expansion of 6.0 in x
5.891 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.891 * [taylor]: Taking taylor expansion of (* x z) in x
5.891 * [taylor]: Taking taylor expansion of x in x
5.891 * [taylor]: Taking taylor expansion of z in x
5.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.891 * [taylor]: Taking taylor expansion of x in x
5.891 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 1)) in y
5.892 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y
5.892 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
5.892 * [taylor]: Taking taylor expansion of 6.0 in y
5.892 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.892 * [taylor]: Taking taylor expansion of z in y
5.892 * [taylor]: Taking taylor expansion of 1 in y
5.892 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
5.892 * [taylor]: Taking taylor expansion of 6.0 in y
5.892 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.892 * [taylor]: Taking taylor expansion of (* z y) in y
5.892 * [taylor]: Taking taylor expansion of z in y
5.892 * [taylor]: Taking taylor expansion of y in y
5.892 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
5.892 * [taylor]: Taking taylor expansion of 6.0 in z
5.892 * [taylor]: Taking taylor expansion of z in z
5.892 * [taylor]: Taking taylor expansion of (neg (+ 1 (* 6.0 (/ 1 z)))) in z
5.892 * [taylor]: Taking taylor expansion of (+ 1 (* 6.0 (/ 1 z))) in z
5.892 * [taylor]: Taking taylor expansion of 1 in z
5.892 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
5.892 * [taylor]: Taking taylor expansion of 6.0 in z
5.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.892 * [taylor]: Taking taylor expansion of z in z
5.893 * [taylor]: Taking taylor expansion of 0 in y
5.893 * [taylor]: Taking taylor expansion of 0 in z
5.893 * [taylor]: Taking taylor expansion of 0 in z
5.894 * * * [progress]: simplifying candidates
5.894 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- y x) (* 6.0 z))
  (* (- y x) (* 6.0 z))
  (+ (log (- y x)) (+ (log 6.0) (log z)))
  (+ (log (- y x)) (log (* 6.0 z)))
  (log (* (- y x) (* 6.0 z)))
  (exp (* (- y x) (* 6.0 z)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 6.0) 6.0) (* (* z z) z)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 z) (* 6.0 z)) (* 6.0 z)))
  (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z))))
  (cbrt (* (- y x) (* 6.0 z)))
  (* (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* (- y x) (* 6.0 z)))
  (sqrt (* (- y x) (* 6.0 z)))
  (sqrt (* (- y x) (* 6.0 z)))
  (* (- y x) 6.0)
  (* (cbrt (- y x)) (* 6.0 z))
  (* (sqrt (- y x)) (* 6.0 z))
  (* (- y x) (* 6.0 z))
  (* (- (sqrt y) (sqrt x)) (* 6.0 z))
  (* (- y x) (* 6.0 z))
  (* (- (pow y 3) (pow x 3)) (* 6.0 z))
  (* (- (* y y) (* x x)) (* 6.0 z))
  (* (exp x) (exp (* (- y x) (* 6.0 z))))
  (log (+ x (* (- y x) (* 6.0 z))))
  (exp (+ x (* (- y x) (* 6.0 z))))
  (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z)))))
  (cbrt (+ x (* (- y x) (* 6.0 z))))
  (* (* (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z)))) (+ x (* (- y x) (* 6.0 z))))
  (sqrt (+ x (* (- y x) (* 6.0 z))))
  (sqrt (+ x (* (- y x) (* 6.0 z))))
  (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3))
  (+ (* x x) (- (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* x (* (- y x) (* 6.0 z)))))
  (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))))
  (- x (* (- y x) (* 6.0 z)))
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z)))
  (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z)))
  (- (+ x (* 6.0 (* z y))) (* 6.0 (* x z)))
5.896 * * [simplify]: iteration  0 :  75  enodes  (cost  468 )
5.908 * * [simplify]: iteration  1 :  206  enodes  (cost  432 )
5.962 * * [simplify]: iteration  2 :  661  enodes  (cost  376 )
6.372 * * [simplify]: iteration  3 :  2891  enodes  (cost  376 )
7.839 * * [simplify]: iteration  done :  5000  enodes  (cost  376 )
7.839 * [simplify]: Simplified to:
   (* (- y x) (* 6.0 z))
  (* (- y x) (* 6.0 z))
  (log (* (- y x) (* 6.0 z)))
  (log (* (- y x) (* 6.0 z)))
  (log (* (- y x) (* 6.0 z)))
  (exp (* (- y x) (* 6.0 z)))
  (pow (* (- y x) (* 6.0 z)) 3)
  (pow (* (- y x) (* 6.0 z)) 3)
  (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z))))
  (cbrt (* (- y x) (* 6.0 z)))
  (pow (* (- y x) (* 6.0 z)) 3)
  (sqrt (* (- y x) (* 6.0 z)))
  (sqrt (* (- y x) (* 6.0 z)))
  (* (- y x) 6.0)
  (* (cbrt (- y x)) (* 6.0 z))
  (* (sqrt (- y x)) (* 6.0 z))
  (* (- y x) (* 6.0 z))
  (* (- (sqrt y) (sqrt x)) (* 6.0 z))
  (* (- y x) (* 6.0 z))
  (* (- (pow y 3) (pow x 3)) (* 6.0 z))
  (* (- (* y y) (* x x)) (* 6.0 z))
  (exp (+ x (* (- y x) (* 6.0 z))))
  (log (+ x (* (- y x) (* 6.0 z))))
  (exp (+ x (* (- y x) (* 6.0 z))))
  (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z)))))
  (cbrt (+ x (* (- y x) (* 6.0 z))))
  (pow (+ x (* (- y x) (* 6.0 z))) 3)
  (sqrt (+ x (* (- y x) (* 6.0 z))))
  (sqrt (+ x (* (- y x) (* 6.0 z))))
  (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3))
  (+ (* x x) (* (* (- y x) (* 6.0 z)) (- (* (- y x) (* 6.0 z)) x)))
  (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))))
  (- x (* (- y x) (* 6.0 z)))
  0
  (* (- y x) (* 6.0 z))
  (* (- y x) (* 6.0 z))
  (+ x (* (- y x) (* 6.0 z)))
  (+ x (* (- y x) (* 6.0 z)))
  (+ x (* (- y x) (* 6.0 z)))
7.839 * * * [progress]: adding candidates to table
7.879 * * [progress]: iteration 3 / 4
7.879 * * * [progress]: picking best candidate
7.891 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))>
7.892 * * * [progress]: localizing error
7.902 * * * [progress]: generating rewritten candidates
7.902 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
7.915 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
7.926 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
7.930 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
7.939 * * * [progress]: generating series expansions
7.939 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
7.940 * [approximate]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in (y x z) around 0
7.940 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in z
7.940 * [taylor]: Taking taylor expansion of 6.0 in z
7.940 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in z
7.940 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in z
7.940 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in z
7.940 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.940 * [taylor]: Taking taylor expansion of y in z
7.940 * [taylor]: Taking taylor expansion of (pow x 2) in z
7.940 * [taylor]: Taking taylor expansion of x in z
7.940 * [taylor]: Taking taylor expansion of z in z
7.940 * [taylor]: Taking taylor expansion of (+ x y) in z
7.940 * [taylor]: Taking taylor expansion of x in z
7.940 * [taylor]: Taking taylor expansion of y in z
7.941 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in x
7.941 * [taylor]: Taking taylor expansion of 6.0 in x
7.941 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in x
7.941 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in x
7.941 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
7.941 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.941 * [taylor]: Taking taylor expansion of y in x
7.941 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.941 * [taylor]: Taking taylor expansion of x in x
7.941 * [taylor]: Taking taylor expansion of z in x
7.941 * [taylor]: Taking taylor expansion of (+ x y) in x
7.941 * [taylor]: Taking taylor expansion of x in x
7.941 * [taylor]: Taking taylor expansion of y in x
7.941 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y
7.941 * [taylor]: Taking taylor expansion of 6.0 in y
7.941 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y
7.941 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y
7.941 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.941 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.941 * [taylor]: Taking taylor expansion of y in y
7.941 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.941 * [taylor]: Taking taylor expansion of x in y
7.941 * [taylor]: Taking taylor expansion of z in y
7.941 * [taylor]: Taking taylor expansion of (+ x y) in y
7.941 * [taylor]: Taking taylor expansion of x in y
7.941 * [taylor]: Taking taylor expansion of y in y
7.942 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y
7.942 * [taylor]: Taking taylor expansion of 6.0 in y
7.942 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y
7.942 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y
7.942 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.942 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.942 * [taylor]: Taking taylor expansion of y in y
7.942 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.942 * [taylor]: Taking taylor expansion of x in y
7.942 * [taylor]: Taking taylor expansion of z in y
7.942 * [taylor]: Taking taylor expansion of (+ x y) in y
7.942 * [taylor]: Taking taylor expansion of x in y
7.942 * [taylor]: Taking taylor expansion of y in y
7.942 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
7.942 * [taylor]: Taking taylor expansion of -6.0 in x
7.942 * [taylor]: Taking taylor expansion of (* x z) in x
7.942 * [taylor]: Taking taylor expansion of x in x
7.942 * [taylor]: Taking taylor expansion of z in x
7.942 * [taylor]: Taking taylor expansion of 0 in z
7.942 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
7.943 * [taylor]: Taking taylor expansion of 6.0 in x
7.943 * [taylor]: Taking taylor expansion of z in x
7.943 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.943 * [taylor]: Taking taylor expansion of 6.0 in z
7.943 * [taylor]: Taking taylor expansion of z in z
7.943 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z
7.943 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.943 * [taylor]: Taking taylor expansion of 6.0 in z
7.943 * [taylor]: Taking taylor expansion of z in z
7.943 * [taylor]: Taking taylor expansion of 0 in x
7.943 * [taylor]: Taking taylor expansion of 0 in z
7.943 * [taylor]: Taking taylor expansion of 0 in z
7.943 * [taylor]: Taking taylor expansion of 0 in z
7.944 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in (y x z) around 0
7.944 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in z
7.944 * [taylor]: Taking taylor expansion of 6.0 in z
7.944 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in z
7.944 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z
7.944 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
7.944 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.944 * [taylor]: Taking taylor expansion of y in z
7.944 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
7.944 * [taylor]: Taking taylor expansion of (pow x 2) in z
7.944 * [taylor]: Taking taylor expansion of x in z
7.944 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in z
7.944 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
7.944 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.944 * [taylor]: Taking taylor expansion of x in z
7.944 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.944 * [taylor]: Taking taylor expansion of y in z
7.944 * [taylor]: Taking taylor expansion of z in z
7.945 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in x
7.945 * [taylor]: Taking taylor expansion of 6.0 in x
7.945 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in x
7.945 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.945 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.945 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.945 * [taylor]: Taking taylor expansion of y in x
7.945 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.945 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.945 * [taylor]: Taking taylor expansion of x in x
7.945 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in x
7.945 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.945 * [taylor]: Taking taylor expansion of x in x
7.945 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.945 * [taylor]: Taking taylor expansion of y in x
7.945 * [taylor]: Taking taylor expansion of z in x
7.945 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in y
7.945 * [taylor]: Taking taylor expansion of 6.0 in y
7.945 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in y
7.945 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.945 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.945 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.945 * [taylor]: Taking taylor expansion of y in y
7.946 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.946 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.946 * [taylor]: Taking taylor expansion of x in y
7.946 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in y
7.946 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.946 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.946 * [taylor]: Taking taylor expansion of x in y
7.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.946 * [taylor]: Taking taylor expansion of y in y
7.946 * [taylor]: Taking taylor expansion of z in y
7.946 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in y
7.946 * [taylor]: Taking taylor expansion of 6.0 in y
7.946 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in y
7.946 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.946 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.946 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.946 * [taylor]: Taking taylor expansion of y in y
7.946 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.946 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.946 * [taylor]: Taking taylor expansion of x in y
7.946 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in y
7.946 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.946 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.946 * [taylor]: Taking taylor expansion of x in y
7.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.946 * [taylor]: Taking taylor expansion of y in y
7.946 * [taylor]: Taking taylor expansion of z in y
7.946 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
7.946 * [taylor]: Taking taylor expansion of 6.0 in x
7.946 * [taylor]: Taking taylor expansion of z in x
7.947 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
7.947 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.947 * [taylor]: Taking taylor expansion of 6.0 in x
7.947 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.947 * [taylor]: Taking taylor expansion of (* x z) in x
7.947 * [taylor]: Taking taylor expansion of x in x
7.947 * [taylor]: Taking taylor expansion of z in x
7.947 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
7.947 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.947 * [taylor]: Taking taylor expansion of 6.0 in z
7.947 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.947 * [taylor]: Taking taylor expansion of z in z
7.947 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.947 * [taylor]: Taking taylor expansion of 6.0 in z
7.947 * [taylor]: Taking taylor expansion of z in z
7.948 * [taylor]: Taking taylor expansion of 0 in x
7.948 * [taylor]: Taking taylor expansion of 0 in z
7.948 * [taylor]: Taking taylor expansion of 0 in z
7.949 * [taylor]: Taking taylor expansion of 0 in x
7.949 * [taylor]: Taking taylor expansion of 0 in z
7.949 * [taylor]: Taking taylor expansion of 0 in z
7.949 * [taylor]: Taking taylor expansion of 0 in z
7.950 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in (y x z) around 0
7.950 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in z
7.950 * [taylor]: Taking taylor expansion of 6.0 in z
7.950 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in z
7.950 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z
7.950 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
7.950 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.950 * [taylor]: Taking taylor expansion of y in z
7.950 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
7.950 * [taylor]: Taking taylor expansion of (pow x 2) in z
7.950 * [taylor]: Taking taylor expansion of x in z
7.950 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in z
7.950 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
7.950 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.950 * [taylor]: Taking taylor expansion of x in z
7.950 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.950 * [taylor]: Taking taylor expansion of y in z
7.950 * [taylor]: Taking taylor expansion of z in z
7.951 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in x
7.951 * [taylor]: Taking taylor expansion of 6.0 in x
7.951 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in x
7.951 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.951 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.951 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.951 * [taylor]: Taking taylor expansion of y in x
7.951 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.951 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.951 * [taylor]: Taking taylor expansion of x in x
7.951 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in x
7.951 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.951 * [taylor]: Taking taylor expansion of x in x
7.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.951 * [taylor]: Taking taylor expansion of y in x
7.952 * [taylor]: Taking taylor expansion of z in x
7.952 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in y
7.952 * [taylor]: Taking taylor expansion of 6.0 in y
7.952 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in y
7.952 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.952 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.952 * [taylor]: Taking taylor expansion of y in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.952 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.952 * [taylor]: Taking taylor expansion of x in y
7.952 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in y
7.952 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.952 * [taylor]: Taking taylor expansion of x in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.952 * [taylor]: Taking taylor expansion of y in y
7.952 * [taylor]: Taking taylor expansion of z in y
7.952 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z))) in y
7.952 * [taylor]: Taking taylor expansion of 6.0 in y
7.952 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 x) (/ 1 y)) z)) in y
7.952 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.952 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.952 * [taylor]: Taking taylor expansion of y in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.952 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.952 * [taylor]: Taking taylor expansion of x in y
7.952 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) z) in y
7.952 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.952 * [taylor]: Taking taylor expansion of x in y
7.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.952 * [taylor]: Taking taylor expansion of y in y
7.952 * [taylor]: Taking taylor expansion of z in y
7.953 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
7.953 * [taylor]: Taking taylor expansion of 6.0 in x
7.953 * [taylor]: Taking taylor expansion of z in x
7.953 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
7.953 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.953 * [taylor]: Taking taylor expansion of 6.0 in x
7.953 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.953 * [taylor]: Taking taylor expansion of (* x z) in x
7.953 * [taylor]: Taking taylor expansion of x in x
7.953 * [taylor]: Taking taylor expansion of z in x
7.953 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
7.953 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.953 * [taylor]: Taking taylor expansion of 6.0 in z
7.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.953 * [taylor]: Taking taylor expansion of z in z
7.953 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.953 * [taylor]: Taking taylor expansion of 6.0 in z
7.953 * [taylor]: Taking taylor expansion of z in z
7.954 * [taylor]: Taking taylor expansion of 0 in x
7.954 * [taylor]: Taking taylor expansion of 0 in z
7.954 * [taylor]: Taking taylor expansion of 0 in z
7.955 * [taylor]: Taking taylor expansion of 0 in x
7.955 * [taylor]: Taking taylor expansion of 0 in z
7.955 * [taylor]: Taking taylor expansion of 0 in z
7.955 * [taylor]: Taking taylor expansion of 0 in z
7.956 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
7.956 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (pow y 2) (pow x 2)) z)) in (y x z) around 0
7.956 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (pow y 2) (pow x 2)) z)) in z
7.956 * [taylor]: Taking taylor expansion of 6.0 in z
7.956 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in z
7.956 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in z
7.956 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.956 * [taylor]: Taking taylor expansion of y in z
7.956 * [taylor]: Taking taylor expansion of (pow x 2) in z
7.956 * [taylor]: Taking taylor expansion of x in z
7.956 * [taylor]: Taking taylor expansion of z in z
7.956 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (pow y 2) (pow x 2)) z)) in x
7.956 * [taylor]: Taking taylor expansion of 6.0 in x
7.956 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in x
7.956 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
7.956 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.956 * [taylor]: Taking taylor expansion of y in x
7.956 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.956 * [taylor]: Taking taylor expansion of x in x
7.956 * [taylor]: Taking taylor expansion of z in x
7.956 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (pow y 2) (pow x 2)) z)) in y
7.956 * [taylor]: Taking taylor expansion of 6.0 in y
7.956 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y
7.956 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.956 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.956 * [taylor]: Taking taylor expansion of y in y
7.956 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.956 * [taylor]: Taking taylor expansion of x in y
7.956 * [taylor]: Taking taylor expansion of z in y
7.956 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (pow y 2) (pow x 2)) z)) in y
7.956 * [taylor]: Taking taylor expansion of 6.0 in y
7.956 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y
7.956 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.956 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.956 * [taylor]: Taking taylor expansion of y in y
7.956 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.957 * [taylor]: Taking taylor expansion of x in y
7.957 * [taylor]: Taking taylor expansion of z in y
7.957 * [taylor]: Taking taylor expansion of (* -6.0 (* (pow x 2) z)) in x
7.957 * [taylor]: Taking taylor expansion of -6.0 in x
7.957 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in x
7.957 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.957 * [taylor]: Taking taylor expansion of x in x
7.957 * [taylor]: Taking taylor expansion of z in x
7.957 * [taylor]: Taking taylor expansion of 0 in x
7.957 * [taylor]: Taking taylor expansion of 0 in z
7.957 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
7.957 * [taylor]: Taking taylor expansion of 6.0 in x
7.958 * [taylor]: Taking taylor expansion of z in x
7.958 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.958 * [taylor]: Taking taylor expansion of 6.0 in z
7.958 * [taylor]: Taking taylor expansion of z in z
7.958 * [taylor]: Taking taylor expansion of 0 in z
7.958 * [taylor]: Taking taylor expansion of (* -6.0 z) in z
7.958 * [taylor]: Taking taylor expansion of -6.0 in z
7.958 * [taylor]: Taking taylor expansion of z in z
7.958 * [taylor]: Taking taylor expansion of 0 in x
7.958 * [taylor]: Taking taylor expansion of 0 in z
7.958 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in (y x z) around 0
7.958 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in z
7.958 * [taylor]: Taking taylor expansion of 6.0 in z
7.958 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in z
7.958 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z
7.958 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
7.958 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.958 * [taylor]: Taking taylor expansion of y in z
7.959 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
7.959 * [taylor]: Taking taylor expansion of (pow x 2) in z
7.959 * [taylor]: Taking taylor expansion of x in z
7.959 * [taylor]: Taking taylor expansion of z in z
7.959 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in x
7.959 * [taylor]: Taking taylor expansion of 6.0 in x
7.959 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in x
7.959 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.959 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.959 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.959 * [taylor]: Taking taylor expansion of y in x
7.959 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.959 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.959 * [taylor]: Taking taylor expansion of x in x
7.959 * [taylor]: Taking taylor expansion of z in x
7.960 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in y
7.960 * [taylor]: Taking taylor expansion of 6.0 in y
7.960 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in y
7.960 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.960 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.960 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.960 * [taylor]: Taking taylor expansion of y in y
7.960 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.960 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.960 * [taylor]: Taking taylor expansion of x in y
7.960 * [taylor]: Taking taylor expansion of z in y
7.960 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in y
7.960 * [taylor]: Taking taylor expansion of 6.0 in y
7.960 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in y
7.960 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.960 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.960 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.960 * [taylor]: Taking taylor expansion of y in y
7.960 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.960 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.960 * [taylor]: Taking taylor expansion of x in y
7.960 * [taylor]: Taking taylor expansion of z in y
7.960 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
7.960 * [taylor]: Taking taylor expansion of 6.0 in x
7.960 * [taylor]: Taking taylor expansion of z in x
7.960 * [taylor]: Taking taylor expansion of 0 in x
7.961 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* (pow x 2) z)))) in x
7.961 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* (pow x 2) z))) in x
7.961 * [taylor]: Taking taylor expansion of 6.0 in x
7.961 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) z)) in x
7.961 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in x
7.961 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.961 * [taylor]: Taking taylor expansion of x in x
7.961 * [taylor]: Taking taylor expansion of z in x
7.961 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
7.961 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.961 * [taylor]: Taking taylor expansion of 6.0 in z
7.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.961 * [taylor]: Taking taylor expansion of z in z
7.961 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.961 * [taylor]: Taking taylor expansion of 6.0 in z
7.961 * [taylor]: Taking taylor expansion of z in z
7.962 * [taylor]: Taking taylor expansion of 0 in x
7.962 * [taylor]: Taking taylor expansion of 0 in z
7.962 * [taylor]: Taking taylor expansion of 0 in z
7.962 * [taylor]: Taking taylor expansion of 0 in z
7.963 * [taylor]: Taking taylor expansion of 0 in x
7.963 * [taylor]: Taking taylor expansion of 0 in z
7.963 * [taylor]: Taking taylor expansion of 0 in z
7.963 * [taylor]: Taking taylor expansion of 0 in z
7.964 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in (y x z) around 0
7.964 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in z
7.964 * [taylor]: Taking taylor expansion of -6.0 in z
7.964 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in z
7.964 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z
7.964 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
7.964 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.964 * [taylor]: Taking taylor expansion of y in z
7.964 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
7.964 * [taylor]: Taking taylor expansion of (pow x 2) in z
7.964 * [taylor]: Taking taylor expansion of x in z
7.964 * [taylor]: Taking taylor expansion of z in z
7.965 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in x
7.965 * [taylor]: Taking taylor expansion of -6.0 in x
7.965 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in x
7.965 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.965 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.965 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.965 * [taylor]: Taking taylor expansion of y in x
7.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.965 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.965 * [taylor]: Taking taylor expansion of x in x
7.965 * [taylor]: Taking taylor expansion of z in x
7.965 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in y
7.965 * [taylor]: Taking taylor expansion of -6.0 in y
7.965 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in y
7.965 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.965 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.965 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.965 * [taylor]: Taking taylor expansion of y in y
7.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.965 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.965 * [taylor]: Taking taylor expansion of x in y
7.965 * [taylor]: Taking taylor expansion of z in y
7.965 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z)) in y
7.966 * [taylor]: Taking taylor expansion of -6.0 in y
7.966 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) z) in y
7.966 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.966 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.966 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.966 * [taylor]: Taking taylor expansion of y in y
7.966 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.966 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.966 * [taylor]: Taking taylor expansion of x in y
7.966 * [taylor]: Taking taylor expansion of z in y
7.966 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x
7.966 * [taylor]: Taking taylor expansion of -6.0 in x
7.966 * [taylor]: Taking taylor expansion of z in x
7.966 * [taylor]: Taking taylor expansion of 0 in x
7.967 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* (pow x 2) z))) in x
7.967 * [taylor]: Taking taylor expansion of 6.0 in x
7.967 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) z)) in x
7.967 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in x
7.967 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.967 * [taylor]: Taking taylor expansion of x in x
7.967 * [taylor]: Taking taylor expansion of z in x
7.967 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.967 * [taylor]: Taking taylor expansion of 6.0 in z
7.967 * [taylor]: Taking taylor expansion of z in z
7.967 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z
7.967 * [taylor]: Taking taylor expansion of -6.0 in z
7.967 * [taylor]: Taking taylor expansion of z in z
7.968 * [taylor]: Taking taylor expansion of 0 in x
7.968 * [taylor]: Taking taylor expansion of 0 in z
7.968 * [taylor]: Taking taylor expansion of 0 in z
7.968 * [taylor]: Taking taylor expansion of 0 in z
7.969 * [taylor]: Taking taylor expansion of 0 in x
7.969 * [taylor]: Taking taylor expansion of 0 in z
7.969 * [taylor]: Taking taylor expansion of 0 in z
7.969 * [taylor]: Taking taylor expansion of 0 in z
7.970 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
7.970 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in (y x) around 0
7.970 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
7.970 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.970 * [taylor]: Taking taylor expansion of y in x
7.970 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.970 * [taylor]: Taking taylor expansion of x in x
7.970 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.970 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.970 * [taylor]: Taking taylor expansion of y in y
7.970 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.970 * [taylor]: Taking taylor expansion of x in y
7.970 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.970 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.970 * [taylor]: Taking taylor expansion of y in y
7.970 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.970 * [taylor]: Taking taylor expansion of x in y
7.970 * [taylor]: Taking taylor expansion of (neg (pow x 2)) in x
7.970 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.970 * [taylor]: Taking taylor expansion of x in x
7.970 * [taylor]: Taking taylor expansion of 0 in x
7.971 * [taylor]: Taking taylor expansion of 1 in x
7.971 * [taylor]: Taking taylor expansion of 0 in x
7.971 * [taylor]: Taking taylor expansion of 0 in x
7.971 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0
7.971 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.971 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.971 * [taylor]: Taking taylor expansion of y in x
7.971 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.971 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.971 * [taylor]: Taking taylor expansion of x in x
7.971 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.971 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.971 * [taylor]: Taking taylor expansion of y in y
7.972 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.972 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.972 * [taylor]: Taking taylor expansion of x in y
7.972 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.972 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.972 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.972 * [taylor]: Taking taylor expansion of y in y
7.972 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.972 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.972 * [taylor]: Taking taylor expansion of x in y
7.972 * [taylor]: Taking taylor expansion of 1 in x
7.972 * [taylor]: Taking taylor expansion of 0 in x
7.972 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x 2))) in x
7.972 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.972 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.972 * [taylor]: Taking taylor expansion of x in x
7.973 * [taylor]: Taking taylor expansion of 0 in x
7.973 * [taylor]: Taking taylor expansion of 0 in x
7.974 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0
7.974 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.974 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.974 * [taylor]: Taking taylor expansion of y in x
7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.974 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.974 * [taylor]: Taking taylor expansion of x in x
7.974 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.974 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.974 * [taylor]: Taking taylor expansion of y in y
7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.974 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.974 * [taylor]: Taking taylor expansion of x in y
7.974 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.974 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.974 * [taylor]: Taking taylor expansion of y in y
7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.974 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.974 * [taylor]: Taking taylor expansion of x in y
7.974 * [taylor]: Taking taylor expansion of 1 in x
7.974 * [taylor]: Taking taylor expansion of 0 in x
7.975 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x 2))) in x
7.975 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.975 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.975 * [taylor]: Taking taylor expansion of x in x
7.975 * [taylor]: Taking taylor expansion of 0 in x
7.975 * [taylor]: Taking taylor expansion of 0 in x
7.976 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
7.976 * [approximate]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in (y x) around 0
7.976 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in x
7.976 * [taylor]: Taking taylor expansion of 6.0 in x
7.976 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x
7.976 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.976 * [taylor]: Taking taylor expansion of y in x
7.976 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.976 * [taylor]: Taking taylor expansion of x in x
7.976 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y
7.976 * [taylor]: Taking taylor expansion of 6.0 in y
7.976 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.976 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.976 * [taylor]: Taking taylor expansion of y in y
7.976 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.976 * [taylor]: Taking taylor expansion of x in y
7.976 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y
7.976 * [taylor]: Taking taylor expansion of 6.0 in y
7.976 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y
7.976 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.976 * [taylor]: Taking taylor expansion of y in y
7.976 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.976 * [taylor]: Taking taylor expansion of x in y
7.976 * [taylor]: Taking taylor expansion of (* -6.0 (pow x 2)) in x
7.977 * [taylor]: Taking taylor expansion of -6.0 in x
7.977 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.977 * [taylor]: Taking taylor expansion of x in x
7.977 * [taylor]: Taking taylor expansion of 0 in x
7.977 * [taylor]: Taking taylor expansion of 6.0 in x
7.977 * [taylor]: Taking taylor expansion of 0 in x
7.977 * [taylor]: Taking taylor expansion of 0 in x
7.978 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0
7.978 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.978 * [taylor]: Taking taylor expansion of 6.0 in x
7.978 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.978 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.978 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.978 * [taylor]: Taking taylor expansion of y in x
7.978 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.978 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.978 * [taylor]: Taking taylor expansion of x in x
7.978 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.978 * [taylor]: Taking taylor expansion of 6.0 in y
7.978 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.978 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.978 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.978 * [taylor]: Taking taylor expansion of y in y
7.978 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.978 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.978 * [taylor]: Taking taylor expansion of x in y
7.978 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.978 * [taylor]: Taking taylor expansion of 6.0 in y
7.978 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.978 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.978 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.978 * [taylor]: Taking taylor expansion of y in y
7.978 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.979 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.979 * [taylor]: Taking taylor expansion of x in y
7.979 * [taylor]: Taking taylor expansion of 6.0 in x
7.979 * [taylor]: Taking taylor expansion of 0 in x
7.979 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (pow x 2)))) in x
7.979 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
7.979 * [taylor]: Taking taylor expansion of 6.0 in x
7.979 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.979 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.979 * [taylor]: Taking taylor expansion of x in x
7.980 * [taylor]: Taking taylor expansion of 0 in x
7.980 * [taylor]: Taking taylor expansion of 0 in x
7.981 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0
7.981 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.981 * [taylor]: Taking taylor expansion of 6.0 in x
7.981 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.981 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.981 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.981 * [taylor]: Taking taylor expansion of y in x
7.981 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.981 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.981 * [taylor]: Taking taylor expansion of x in x
7.981 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.981 * [taylor]: Taking taylor expansion of 6.0 in y
7.981 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.981 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.981 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.981 * [taylor]: Taking taylor expansion of y in y
7.981 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.981 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.981 * [taylor]: Taking taylor expansion of x in y
7.981 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.981 * [taylor]: Taking taylor expansion of 6.0 in y
7.981 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.981 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.981 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.981 * [taylor]: Taking taylor expansion of y in y
7.981 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.981 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.981 * [taylor]: Taking taylor expansion of x in y
7.982 * [taylor]: Taking taylor expansion of 6.0 in x
7.982 * [taylor]: Taking taylor expansion of 0 in x
7.982 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (pow x 2)))) in x
7.982 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
7.982 * [taylor]: Taking taylor expansion of 6.0 in x
7.982 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.982 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.982 * [taylor]: Taking taylor expansion of x in x
7.983 * [taylor]: Taking taylor expansion of 0 in x
7.983 * [taylor]: Taking taylor expansion of 0 in x
7.984 * * * [progress]: simplifying candidates
7.985 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (+ (log (- (* y y) (* x x))) (log 6.0)) (log z)) (log (+ y x)))
  (- (+ (log (* (- (* y y) (* x x)) 6.0)) (log z)) (log (+ y x)))
  (- (log (* (* (- (* y y) (* x x)) 6.0) z)) (log (+ y x)))
  (log (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (exp (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (/ (* (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (* z z) z)) (* (* (+ y x) (+ y x)) (+ y x)))
  (/ (* (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (* (* z z) z)) (* (* (+ y x) (+ y x)) (+ y x)))
  (/ (* (* (* (* (- (* y y) (* x x)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z)) (* (* (- (* y y) (* x x)) 6.0) z)) (* (* (+ y x) (+ y x)) (+ y x)))
  (* (cbrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))) (cbrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))
  (cbrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (* (* (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)) (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))) (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (sqrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (sqrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (neg (* (* (- (* y y) (* x x)) 6.0) z))
  (neg (+ y x))
  (/ (* (- (* y y) (* x x)) 6.0) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ z (cbrt (+ y x)))
  (/ (* (- (* y y) (* x x)) 6.0) (sqrt (+ y x)))
  (/ z (sqrt (+ y x)))
  (/ (* (- (* y y) (* x x)) 6.0) 1)
  (/ z (+ y x))
  (/ (* (- (* y y) (* x x)) 6.0) 1)
  (/ z (+ y x))
  (/ 1 (+ y x))
  (/ (+ y x) (* (* (- (* y y) (* x x)) 6.0) z))
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (sqrt (+ y x)))
  (/ (* (* (- (* y y) (* x x)) 6.0) z) 1)
  (/ (* (* (- (* y y) (* x x)) 6.0) z) 1)
  (/ (+ y x) z)
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ (pow y 3) (pow x 3)))
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (- (* y y) (* x x)))
  (* (+ y x) (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x)))))
  (* (+ y x) (+ (* y y) (* x x)))
  (* (* (- (* y y) (* x x)) 6.0) z)
  (* (* (- (* y y) (* x x)) 6.0) z)
  (+ (+ (log (- (* y y) (* x x))) (log 6.0)) (log z))
  (+ (log (* (- (* y y) (* x x)) 6.0)) (log z))
  (log (* (* (- (* y y) (* x x)) 6.0) z))
  (exp (* (* (- (* y y) (* x x)) 6.0) z))
  (* (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (* z z) z))
  (* (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (* (* z z) z))
  (* (cbrt (* (* (- (* y y) (* x x)) 6.0) z)) (cbrt (* (* (- (* y y) (* x x)) 6.0) z)))
  (cbrt (* (* (- (* y y) (* x x)) 6.0) z))
  (* (* (* (* (- (* y y) (* x x)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z)) (* (* (- (* y y) (* x x)) 6.0) z))
  (sqrt (* (* (- (* y y) (* x x)) 6.0) z))
  (sqrt (* (* (- (* y y) (* x x)) 6.0) z))
  (* (* (- (* y y) (* x x)) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- (* y y) (* x x)) 6.0) (sqrt z))
  (* (* (- (* y y) (* x x)) 6.0) 1)
  (* 6.0 z)
  (* (* (- (pow (* y y) 3) (pow (* x x) 3)) 6.0) z)
  (* (* (- (* (* y y) (* y y)) (* (* x x) (* x x))) 6.0) z)
  (/ (exp (* y y)) (exp (* x x)))
  (log (- (* y y) (* x x)))
  (exp (- (* y y) (* x x)))
  (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x))))
  (cbrt (- (* y y) (* x x)))
  (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x)))
  (sqrt (- (* y y) (* x x)))
  (sqrt (- (* y y) (* x x)))
  (- (pow (* y y) 3) (pow (* x x) 3))
  (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x))))
  (neg (* x x))
  (- (* (* y y) (* y y)) (* (* x x) (* x x)))
  (+ (* y y) (* x x))
  (+ y x)
  (- y x)
  (neg (* x x))
  (* (- (* y y) (* x x)) 6.0)
  (+ (log (- (* y y) (* x x))) (log 6.0))
  (log (* (- (* y y) (* x x)) 6.0))
  (exp (* (- (* y y) (* x x)) 6.0))
  (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0))
  (* (cbrt (* (- (* y y) (* x x)) 6.0)) (cbrt (* (- (* y y) (* x x)) 6.0)))
  (cbrt (* (- (* y y) (* x x)) 6.0))
  (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0))
  (sqrt (* (- (* y y) (* x x)) 6.0))
  (sqrt (* (- (* y y) (* x x)) 6.0))
  (* (sqrt (- (* y y) (* x x))) (sqrt 6.0))
  (* (sqrt (- (* y y) (* x x))) (sqrt 6.0))
  (* (- (* y y) (* x x)) (* (cbrt 6.0) (cbrt 6.0)))
  (* (- (* y y) (* x x)) (sqrt 6.0))
  (* (- (* y y) (* x x)) 1)
  (* (cbrt (- (* y y) (* x x))) 6.0)
  (* (sqrt (- (* y y) (* x x))) 6.0)
  (* (- (* y y) (* x x)) 6.0)
  (* (- y x) 6.0)
  (* (- (pow (* y y) 3) (pow (* x x) 3)) 6.0)
  (* (- (* (* y y) (* y y)) (* (* x x) (* x x))) 6.0)
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  0
  (- (* 6.0 (* z (pow y 2))) (* 6.0 (* (pow x 2) z)))
  (- (* 6.0 (* z (pow y 2))) (* 6.0 (* (pow x 2) z)))
  (- (pow y 2) (pow x 2))
  (- (pow y 2) (pow x 2))
  (- (pow y 2) (pow x 2))
  (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2)))
  (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2)))
  (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2)))
7.989 * * [simplify]: iteration  0 :  140  enodes  (cost  1470 )
8.019 * * [simplify]: iteration  1 :  391  enodes  (cost  1407 )
8.220 * * [simplify]: iteration  2 :  1923  enodes  (cost  1133 )
8.829 * * [simplify]: iteration  done :  5000  enodes  (cost  1133 )
8.829 * [simplify]: Simplified to:
   (log (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (log (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (log (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (log (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (exp (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (pow (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)) 3)
  (pow (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)) 3)
  (pow (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)) 3)
  (* (cbrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))) (cbrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))
  (cbrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (pow (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)) 3)
  (sqrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (sqrt (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x)))
  (neg (* (* (- (* y y) (* x x)) 6.0) z))
  (neg (+ y x))
  (/ (* (- (* y y) (* x x)) 6.0) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ z (cbrt (+ y x)))
  (/ (* (- (* y y) (* x x)) 6.0) (sqrt (+ y x)))
  (/ z (sqrt (+ y x)))
  (* 6.0 (- (pow y 2) (pow x 2)))
  (/ z (+ y x))
  (* 6.0 (- (pow y 2) (pow x 2)))
  (/ z (+ y x))
  (/ 1 (+ y x))
  (/ (+ y x) (* (* (- (* y y) (* x x)) 6.0) z))
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (* (cbrt (+ y x)) (cbrt (+ y x))))
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (sqrt (+ y x)))
  (* (* z (- (* y y) (* x x))) 6.0)
  (* (* z (- (* y y) (* x x))) 6.0)
  (/ (+ y x) z)
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ (pow y 3) (pow x 3)))
  (/ (* (* (- (* y y) (* x x)) 6.0) z) (- (* y y) (* x x)))
  (* (+ y x) (+ (* (pow x 2) (+ (* y y) (* x x))) (pow y 4)))
  (* (+ y x) (+ (* y y) (* x x)))
  (* (* z (- (* y y) (* x x))) 6.0)
  (* (* z (- (* y y) (* x x))) 6.0)
  (log (* (* (- (* y y) (* x x)) 6.0) z))
  (log (* (* (- (* y y) (* x x)) 6.0) z))
  (log (* (* (- (* y y) (* x x)) 6.0) z))
  (exp (* (* (- (* y y) (* x x)) 6.0) z))
  (pow (* (* (- (* y y) (* x x)) 6.0) z) 3)
  (pow (* (* (- (* y y) (* x x)) 6.0) z) 3)
  (* (cbrt (* (* (- (* y y) (* x x)) 6.0) z)) (cbrt (* (* (- (* y y) (* x x)) 6.0) z)))
  (cbrt (* (* (- (* y y) (* x x)) 6.0) z))
  (pow (* (* (- (* y y) (* x x)) 6.0) z) 3)
  (sqrt (* (* (- (* y y) (* x x)) 6.0) z))
  (sqrt (* (* (- (* y y) (* x x)) 6.0) z))
  (* (* (- (* y y) (* x x)) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- (* y y) (* x x)) 6.0) (sqrt z))
  (* 6.0 (- (pow y 2) (pow x 2)))
  (* 6.0 z)
  (* (- (pow y 6) (pow x 6)) (* 6.0 z))
  (* (- (pow y 4) (pow x 4)) (* 6.0 z))
  (exp (- (pow y 2) (pow x 2)))
  (log (- (* y y) (* x x)))
  (exp (- (pow y 2) (pow x 2)))
  (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x))))
  (cbrt (- (* y y) (* x x)))
  (pow (- (* y y) (* x x)) 3)
  (sqrt (- (* y y) (* x x)))
  (sqrt (- (* y y) (* x x)))
  (- (pow y 6) (pow x 6))
  (+ (* (pow x 2) (+ (* y y) (* x x))) (pow y 4))
  (neg (* x x))
  (- (pow y 4) (pow x 4))
  (+ (* y y) (* x x))
  (+ y x)
  (- y x)
  (neg (* x x))
  (* 6.0 (- (pow y 2) (pow x 2)))
  (log (* (- (* y y) (* x x)) 6.0))
  (log (* (- (* y y) (* x x)) 6.0))
  (exp (* (- (* y y) (* x x)) 6.0))
  (pow (* 6.0 (- (pow y 2) (pow x 2))) 3)
  (* (cbrt (* (- (* y y) (* x x)) 6.0)) (cbrt (* (- (* y y) (* x x)) 6.0)))
  (cbrt (* (- (* y y) (* x x)) 6.0))
  (pow (* 6.0 (- (pow y 2) (pow x 2))) 3)
  (sqrt (* (- (* y y) (* x x)) 6.0))
  (sqrt (* (- (* y y) (* x x)) 6.0))
  (* (sqrt (- (* y y) (* x x))) (sqrt 6.0))
  (* (sqrt (- (* y y) (* x x))) (sqrt 6.0))
  (* (- (* y y) (* x x)) (* (cbrt 6.0) (cbrt 6.0)))
  (* (- (* y y) (* x x)) (sqrt 6.0))
  (- (* y y) (* x x))
  (* (cbrt (- (* y y) (* x x))) 6.0)
  (* (sqrt (- (* y y) (* x x))) 6.0)
  (* 6.0 (- (pow y 2) (pow x 2)))
  (* (- y x) 6.0)
  (* 6.0 (- (pow y 6) (pow x 6)))
  (* (- (pow y 4) (pow x 4)) 6.0)
  (* (* z (- y x)) 6.0)
  (* (* z (- y x)) 6.0)
  (* (* z (- y x)) 6.0)
  0
  (* (* z (- (* y y) (* x x))) 6.0)
  (* (* z (- (* y y) (* x x))) 6.0)
  (- (* y y) (* x x))
  (- (* y y) (* x x))
  (- (* y y) (* x x))
  (* 6.0 (- (pow y 2) (pow x 2)))
  (* 6.0 (- (pow y 2) (pow x 2)))
  (* 6.0 (- (pow y 2) (pow x 2)))
8.830 * * * [progress]: adding candidates to table
8.929 * * [progress]: iteration 4 / 4
8.929 * * * [progress]: picking best candidate
8.938 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (cbrt (pow (* (* (- y x) 6.0) z) 3))))>
8.938 * * * [progress]: localizing error
8.948 * * * [progress]: generating rewritten candidates
8.948 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
8.952 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
8.960 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
8.969 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
8.980 * * * [progress]: generating series expansions
8.980 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
8.980 * [approximate]: Taking taylor expansion of (* 6.0 (* z (- y x))) in (y x z) around 0
8.980 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in z
8.980 * [taylor]: Taking taylor expansion of 6.0 in z
8.980 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
8.980 * [taylor]: Taking taylor expansion of z in z
8.980 * [taylor]: Taking taylor expansion of (- y x) in z
8.980 * [taylor]: Taking taylor expansion of y in z
8.980 * [taylor]: Taking taylor expansion of x in z
8.980 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in x
8.980 * [taylor]: Taking taylor expansion of 6.0 in x
8.980 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
8.980 * [taylor]: Taking taylor expansion of z in x
8.980 * [taylor]: Taking taylor expansion of (- y x) in x
8.980 * [taylor]: Taking taylor expansion of y in x
8.980 * [taylor]: Taking taylor expansion of x in x
8.980 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
8.980 * [taylor]: Taking taylor expansion of 6.0 in y
8.980 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
8.980 * [taylor]: Taking taylor expansion of z in y
8.980 * [taylor]: Taking taylor expansion of (- y x) in y
8.980 * [taylor]: Taking taylor expansion of y in y
8.980 * [taylor]: Taking taylor expansion of x in y
8.980 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
8.980 * [taylor]: Taking taylor expansion of 6.0 in y
8.980 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
8.980 * [taylor]: Taking taylor expansion of z in y
8.980 * [taylor]: Taking taylor expansion of (- y x) in y
8.980 * [taylor]: Taking taylor expansion of y in y
8.980 * [taylor]: Taking taylor expansion of x in y
8.980 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
8.980 * [taylor]: Taking taylor expansion of -6.0 in x
8.980 * [taylor]: Taking taylor expansion of (* x z) in x
8.980 * [taylor]: Taking taylor expansion of x in x
8.980 * [taylor]: Taking taylor expansion of z in x
8.981 * [taylor]: Taking taylor expansion of 0 in z
8.981 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
8.981 * [taylor]: Taking taylor expansion of 6.0 in x
8.981 * [taylor]: Taking taylor expansion of z in x
8.981 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
8.981 * [taylor]: Taking taylor expansion of 6.0 in z
8.981 * [taylor]: Taking taylor expansion of z in z
8.981 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z
8.981 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
8.981 * [taylor]: Taking taylor expansion of 6.0 in z
8.981 * [taylor]: Taking taylor expansion of z in z
8.981 * [taylor]: Taking taylor expansion of 0 in x
8.981 * [taylor]: Taking taylor expansion of 0 in z
8.981 * [taylor]: Taking taylor expansion of 0 in z
8.981 * [approximate]: Taking taylor expansion of (/ (* 6.0 (- (/ 1 y) (/ 1 x))) z) in (y x z) around 0
8.981 * [taylor]: Taking taylor expansion of (/ (* 6.0 (- (/ 1 y) (/ 1 x))) z) in z
8.981 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in z
8.981 * [taylor]: Taking taylor expansion of 6.0 in z
8.981 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
8.981 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.981 * [taylor]: Taking taylor expansion of y in z
8.981 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.981 * [taylor]: Taking taylor expansion of x in z
8.982 * [taylor]: Taking taylor expansion of z in z
8.982 * [taylor]: Taking taylor expansion of (/ (* 6.0 (- (/ 1 y) (/ 1 x))) z) in x
8.982 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
8.982 * [taylor]: Taking taylor expansion of 6.0 in x
8.982 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.982 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.982 * [taylor]: Taking taylor expansion of y in x
8.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.982 * [taylor]: Taking taylor expansion of x in x
8.982 * [taylor]: Taking taylor expansion of z in x
8.982 * [taylor]: Taking taylor expansion of (/ (* 6.0 (- (/ 1 y) (/ 1 x))) z) in y
8.982 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
8.982 * [taylor]: Taking taylor expansion of 6.0 in y
8.982 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.982 * [taylor]: Taking taylor expansion of y in y
8.982 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.982 * [taylor]: Taking taylor expansion of x in y
8.982 * [taylor]: Taking taylor expansion of z in y
8.982 * [taylor]: Taking taylor expansion of (/ (* 6.0 (- (/ 1 y) (/ 1 x))) z) in y
8.982 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
8.982 * [taylor]: Taking taylor expansion of 6.0 in y
8.982 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.982 * [taylor]: Taking taylor expansion of y in y
8.982 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.982 * [taylor]: Taking taylor expansion of x in y
8.982 * [taylor]: Taking taylor expansion of z in y
8.982 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
8.982 * [taylor]: Taking taylor expansion of 6.0 in x
8.982 * [taylor]: Taking taylor expansion of z in x
8.983 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
8.983 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.983 * [taylor]: Taking taylor expansion of 6.0 in x
8.983 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.983 * [taylor]: Taking taylor expansion of (* x z) in x
8.983 * [taylor]: Taking taylor expansion of x in x
8.983 * [taylor]: Taking taylor expansion of z in x
8.983 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
8.983 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
8.983 * [taylor]: Taking taylor expansion of 6.0 in z
8.983 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.983 * [taylor]: Taking taylor expansion of z in z
8.983 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
8.983 * [taylor]: Taking taylor expansion of 6.0 in z
8.983 * [taylor]: Taking taylor expansion of z in z
8.983 * [taylor]: Taking taylor expansion of 0 in x
8.984 * [taylor]: Taking taylor expansion of 0 in z
8.984 * [taylor]: Taking taylor expansion of 0 in z
8.984 * [taylor]: Taking taylor expansion of 0 in x
8.984 * [taylor]: Taking taylor expansion of 0 in z
8.984 * [taylor]: Taking taylor expansion of 0 in z
8.984 * [taylor]: Taking taylor expansion of 0 in z
8.985 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) -6.0) z) in (y x z) around 0
8.985 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) -6.0) z) in z
8.985 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) -6.0) in z
8.985 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
8.985 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.985 * [taylor]: Taking taylor expansion of x in z
8.985 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.985 * [taylor]: Taking taylor expansion of y in z
8.985 * [taylor]: Taking taylor expansion of -6.0 in z
8.985 * [taylor]: Taking taylor expansion of z in z
8.985 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) -6.0) z) in x
8.985 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) -6.0) in x
8.985 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.985 * [taylor]: Taking taylor expansion of x in x
8.985 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.985 * [taylor]: Taking taylor expansion of y in x
8.985 * [taylor]: Taking taylor expansion of -6.0 in x
8.986 * [taylor]: Taking taylor expansion of z in x
8.986 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) -6.0) z) in y
8.986 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) -6.0) in y
8.986 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.986 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.986 * [taylor]: Taking taylor expansion of x in y
8.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.986 * [taylor]: Taking taylor expansion of y in y
8.986 * [taylor]: Taking taylor expansion of -6.0 in y
8.986 * [taylor]: Taking taylor expansion of z in y
8.986 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) -6.0) z) in y
8.986 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) -6.0) in y
8.986 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.986 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.986 * [taylor]: Taking taylor expansion of x in y
8.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.986 * [taylor]: Taking taylor expansion of y in y
8.986 * [taylor]: Taking taylor expansion of -6.0 in y
8.986 * [taylor]: Taking taylor expansion of z in y
8.986 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
8.986 * [taylor]: Taking taylor expansion of 6.0 in x
8.986 * [taylor]: Taking taylor expansion of z in x
8.986 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
8.986 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.986 * [taylor]: Taking taylor expansion of 6.0 in x
8.986 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.986 * [taylor]: Taking taylor expansion of (* x z) in x
8.986 * [taylor]: Taking taylor expansion of x in x
8.986 * [taylor]: Taking taylor expansion of z in x
8.987 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
8.987 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
8.987 * [taylor]: Taking taylor expansion of 6.0 in z
8.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.987 * [taylor]: Taking taylor expansion of z in z
8.987 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
8.987 * [taylor]: Taking taylor expansion of 6.0 in z
8.987 * [taylor]: Taking taylor expansion of z in z
8.987 * [taylor]: Taking taylor expansion of 0 in x
8.987 * [taylor]: Taking taylor expansion of 0 in z
8.987 * [taylor]: Taking taylor expansion of 0 in z
8.988 * [taylor]: Taking taylor expansion of 0 in x
8.988 * [taylor]: Taking taylor expansion of 0 in z
8.988 * [taylor]: Taking taylor expansion of 0 in z
8.988 * [taylor]: Taking taylor expansion of 0 in z
8.988 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
8.988 * [approximate]: Taking taylor expansion of (* 6.0 (* z (- y x))) in (y x z) around 0
8.988 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in z
8.989 * [taylor]: Taking taylor expansion of 6.0 in z
8.989 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
8.989 * [taylor]: Taking taylor expansion of z in z
8.989 * [taylor]: Taking taylor expansion of (- y x) in z
8.989 * [taylor]: Taking taylor expansion of y in z
8.989 * [taylor]: Taking taylor expansion of x in z
8.989 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in x
8.989 * [taylor]: Taking taylor expansion of 6.0 in x
8.989 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
8.989 * [taylor]: Taking taylor expansion of z in x
8.989 * [taylor]: Taking taylor expansion of (- y x) in x
8.989 * [taylor]: Taking taylor expansion of y in x
8.989 * [taylor]: Taking taylor expansion of x in x
8.989 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
8.989 * [taylor]: Taking taylor expansion of 6.0 in y
8.989 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
8.989 * [taylor]: Taking taylor expansion of z in y
8.989 * [taylor]: Taking taylor expansion of (- y x) in y
8.989 * [taylor]: Taking taylor expansion of y in y
8.989 * [taylor]: Taking taylor expansion of x in y
8.989 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
8.989 * [taylor]: Taking taylor expansion of 6.0 in y
8.989 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
8.989 * [taylor]: Taking taylor expansion of z in y
8.989 * [taylor]: Taking taylor expansion of (- y x) in y
8.989 * [taylor]: Taking taylor expansion of y in y
8.989 * [taylor]: Taking taylor expansion of x in y
8.989 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
8.989 * [taylor]: Taking taylor expansion of -6.0 in x
8.989 * [taylor]: Taking taylor expansion of (* x z) in x
8.989 * [taylor]: Taking taylor expansion of x in x
8.989 * [taylor]: Taking taylor expansion of z in x
8.989 * [taylor]: Taking taylor expansion of 0 in z
8.989 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
8.989 * [taylor]: Taking taylor expansion of 6.0 in x
8.989 * [taylor]: Taking taylor expansion of z in x
8.989 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
8.989 * [taylor]: Taking taylor expansion of 6.0 in z
8.989 * [taylor]: Taking taylor expansion of z in z
8.990 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z
8.990 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
8.990 * [taylor]: Taking taylor expansion of 6.0 in z
8.990 * [taylor]: Taking taylor expansion of z in z
8.990 * [taylor]: Taking taylor expansion of 0 in x
8.990 * [taylor]: Taking taylor expansion of 0 in z
8.990 * [taylor]: Taking taylor expansion of 0 in z
8.990 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
8.990 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
8.990 * [taylor]: Taking taylor expansion of 6.0 in z
8.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
8.990 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
8.990 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.990 * [taylor]: Taking taylor expansion of y in z
8.990 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.990 * [taylor]: Taking taylor expansion of x in z
8.990 * [taylor]: Taking taylor expansion of z in z
8.990 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
8.990 * [taylor]: Taking taylor expansion of 6.0 in x
8.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
8.990 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.990 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.990 * [taylor]: Taking taylor expansion of y in x
8.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.990 * [taylor]: Taking taylor expansion of x in x
8.990 * [taylor]: Taking taylor expansion of z in x
8.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
8.991 * [taylor]: Taking taylor expansion of 6.0 in y
8.991 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
8.991 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.991 * [taylor]: Taking taylor expansion of y in y
8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.991 * [taylor]: Taking taylor expansion of x in y
8.991 * [taylor]: Taking taylor expansion of z in y
8.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
8.991 * [taylor]: Taking taylor expansion of 6.0 in y
8.991 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
8.991 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.991 * [taylor]: Taking taylor expansion of y in y
8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.991 * [taylor]: Taking taylor expansion of x in y
8.991 * [taylor]: Taking taylor expansion of z in y
8.991 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
8.991 * [taylor]: Taking taylor expansion of 6.0 in x
8.991 * [taylor]: Taking taylor expansion of z in x
8.991 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
8.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.991 * [taylor]: Taking taylor expansion of 6.0 in x
8.991 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.991 * [taylor]: Taking taylor expansion of (* x z) in x
8.991 * [taylor]: Taking taylor expansion of x in x
8.991 * [taylor]: Taking taylor expansion of z in x
8.992 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
8.992 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
8.992 * [taylor]: Taking taylor expansion of 6.0 in z
8.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.992 * [taylor]: Taking taylor expansion of z in z
8.992 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
8.992 * [taylor]: Taking taylor expansion of 6.0 in z
8.992 * [taylor]: Taking taylor expansion of z in z
8.992 * [taylor]: Taking taylor expansion of 0 in x
8.992 * [taylor]: Taking taylor expansion of 0 in z
8.992 * [taylor]: Taking taylor expansion of 0 in z
8.993 * [taylor]: Taking taylor expansion of 0 in x
8.993 * [taylor]: Taking taylor expansion of 0 in z
8.993 * [taylor]: Taking taylor expansion of 0 in z
8.993 * [taylor]: Taking taylor expansion of 0 in z
8.993 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
8.993 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
8.993 * [taylor]: Taking taylor expansion of -6.0 in z
8.993 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
8.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
8.994 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.994 * [taylor]: Taking taylor expansion of x in z
8.994 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.994 * [taylor]: Taking taylor expansion of y in z
8.994 * [taylor]: Taking taylor expansion of z in z
8.994 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
8.994 * [taylor]: Taking taylor expansion of -6.0 in x
8.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
8.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.994 * [taylor]: Taking taylor expansion of x in x
8.994 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.994 * [taylor]: Taking taylor expansion of y in x
8.994 * [taylor]: Taking taylor expansion of z in x
8.994 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
8.994 * [taylor]: Taking taylor expansion of -6.0 in y
8.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
8.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.994 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.994 * [taylor]: Taking taylor expansion of x in y
8.994 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.994 * [taylor]: Taking taylor expansion of y in y
8.994 * [taylor]: Taking taylor expansion of z in y
8.994 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
8.994 * [taylor]: Taking taylor expansion of -6.0 in y
8.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
8.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.994 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.994 * [taylor]: Taking taylor expansion of x in y
8.994 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.994 * [taylor]: Taking taylor expansion of y in y
8.994 * [taylor]: Taking taylor expansion of z in y
8.995 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
8.995 * [taylor]: Taking taylor expansion of 6.0 in x
8.995 * [taylor]: Taking taylor expansion of z in x
8.995 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x
8.995 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.995 * [taylor]: Taking taylor expansion of 6.0 in x
8.995 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.995 * [taylor]: Taking taylor expansion of (* x z) in x
8.995 * [taylor]: Taking taylor expansion of x in x
8.995 * [taylor]: Taking taylor expansion of z in x
8.995 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z
8.995 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
8.995 * [taylor]: Taking taylor expansion of 6.0 in z
8.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.995 * [taylor]: Taking taylor expansion of z in z
8.995 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
8.995 * [taylor]: Taking taylor expansion of 6.0 in z
8.995 * [taylor]: Taking taylor expansion of z in z
8.995 * [taylor]: Taking taylor expansion of 0 in x
8.996 * [taylor]: Taking taylor expansion of 0 in z
8.996 * [taylor]: Taking taylor expansion of 0 in z
8.996 * [taylor]: Taking taylor expansion of 0 in x
8.996 * [taylor]: Taking taylor expansion of 0 in z
8.996 * [taylor]: Taking taylor expansion of 0 in z
8.996 * [taylor]: Taking taylor expansion of 0 in z
8.997 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
8.997 * [approximate]: Taking taylor expansion of (pow (* 6.0 (* z (- y x))) 3) in (y x z) around 0
8.997 * [taylor]: Taking taylor expansion of (pow (* 6.0 (* z (- y x))) 3) in z
8.997 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in z
8.997 * [taylor]: Taking taylor expansion of 6.0 in z
8.997 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
8.997 * [taylor]: Taking taylor expansion of z in z
8.997 * [taylor]: Taking taylor expansion of (- y x) in z
8.997 * [taylor]: Taking taylor expansion of y in z
8.997 * [taylor]: Taking taylor expansion of x in z
8.997 * [taylor]: Taking taylor expansion of (pow (* 6.0 (* z (- y x))) 3) in x
8.997 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in x
8.997 * [taylor]: Taking taylor expansion of 6.0 in x
8.997 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
8.997 * [taylor]: Taking taylor expansion of z in x
8.997 * [taylor]: Taking taylor expansion of (- y x) in x
8.997 * [taylor]: Taking taylor expansion of y in x
8.997 * [taylor]: Taking taylor expansion of x in x
8.997 * [taylor]: Taking taylor expansion of (pow (* 6.0 (* z (- y x))) 3) in y
8.997 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
8.997 * [taylor]: Taking taylor expansion of 6.0 in y
8.998 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
8.998 * [taylor]: Taking taylor expansion of z in y
8.998 * [taylor]: Taking taylor expansion of (- y x) in y
8.998 * [taylor]: Taking taylor expansion of y in y
8.998 * [taylor]: Taking taylor expansion of x in y
8.998 * [taylor]: Taking taylor expansion of (pow (* 6.0 (* z (- y x))) 3) in y
8.998 * [taylor]: Taking taylor expansion of (* 6.0 (* z (- y x))) in y
8.998 * [taylor]: Taking taylor expansion of 6.0 in y
8.998 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
8.998 * [taylor]: Taking taylor expansion of z in y
8.998 * [taylor]: Taking taylor expansion of (- y x) in y
8.998 * [taylor]: Taking taylor expansion of y in y
8.998 * [taylor]: Taking taylor expansion of x in y
8.998 * [taylor]: Taking taylor expansion of (* -216.0 (* (pow x 3) (pow z 3))) in x
8.998 * [taylor]: Taking taylor expansion of -216.0 in x
8.998 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow z 3)) in x
8.998 * [taylor]: Taking taylor expansion of (pow x 3) in x
8.998 * [taylor]: Taking taylor expansion of x in x
8.998 * [taylor]: Taking taylor expansion of (pow z 3) in x
8.998 * [taylor]: Taking taylor expansion of z in x
8.999 * [taylor]: Taking taylor expansion of (* 648.0 (* (pow x 2) (pow z 3))) in x
8.999 * [taylor]: Taking taylor expansion of 648.0 in x
8.999 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow z 3)) in x
8.999 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.999 * [taylor]: Taking taylor expansion of x in x
8.999 * [taylor]: Taking taylor expansion of (pow z 3) in x
8.999 * [taylor]: Taking taylor expansion of z in x
8.999 * [taylor]: Taking taylor expansion of (neg (* 648.0 (* x (pow z 3)))) in x
8.999 * [taylor]: Taking taylor expansion of (* 648.0 (* x (pow z 3))) in x
9.000 * [taylor]: Taking taylor expansion of 648.0 in x
9.000 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in x
9.000 * [taylor]: Taking taylor expansion of x in x
9.000 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.000 * [taylor]: Taking taylor expansion of z in x
9.000 * [taylor]: Taking taylor expansion of 0 in z
9.000 * [taylor]: Taking taylor expansion of (* 216.0 (pow z 3)) in x
9.000 * [taylor]: Taking taylor expansion of 216.0 in x
9.000 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.000 * [taylor]: Taking taylor expansion of z in x
9.001 * [taylor]: Taking taylor expansion of (* 216.0 (pow z 3)) in z
9.001 * [taylor]: Taking taylor expansion of 216.0 in z
9.001 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.001 * [taylor]: Taking taylor expansion of z in z
9.001 * [taylor]: Taking taylor expansion of (neg (* 648.0 (pow z 3))) in z
9.001 * [taylor]: Taking taylor expansion of (* 648.0 (pow z 3)) in z
9.001 * [taylor]: Taking taylor expansion of 648.0 in z
9.001 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.001 * [taylor]: Taking taylor expansion of z in z
9.001 * [taylor]: Taking taylor expansion of (* 648.0 (pow z 3)) in z
9.001 * [taylor]: Taking taylor expansion of 648.0 in z
9.001 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.001 * [taylor]: Taking taylor expansion of z in z
9.002 * [approximate]: Taking taylor expansion of (pow (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) 3) in (y x z) around 0
9.002 * [taylor]: Taking taylor expansion of (pow (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) 3) in z
9.002 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
9.002 * [taylor]: Taking taylor expansion of 6.0 in z
9.002 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
9.002 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
9.002 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.002 * [taylor]: Taking taylor expansion of y in z
9.002 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.002 * [taylor]: Taking taylor expansion of x in z
9.002 * [taylor]: Taking taylor expansion of z in z
9.002 * [taylor]: Taking taylor expansion of (pow (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) 3) in x
9.002 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
9.002 * [taylor]: Taking taylor expansion of 6.0 in x
9.002 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
9.002 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
9.003 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.003 * [taylor]: Taking taylor expansion of y in x
9.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.003 * [taylor]: Taking taylor expansion of x in x
9.003 * [taylor]: Taking taylor expansion of z in x
9.003 * [taylor]: Taking taylor expansion of (pow (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) 3) in y
9.003 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
9.003 * [taylor]: Taking taylor expansion of 6.0 in y
9.003 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
9.003 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.003 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.003 * [taylor]: Taking taylor expansion of y in y
9.003 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.003 * [taylor]: Taking taylor expansion of x in y
9.003 * [taylor]: Taking taylor expansion of z in y
9.003 * [taylor]: Taking taylor expansion of (pow (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) 3) in y
9.003 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
9.003 * [taylor]: Taking taylor expansion of 6.0 in y
9.003 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
9.003 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.003 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.003 * [taylor]: Taking taylor expansion of y in y
9.003 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.003 * [taylor]: Taking taylor expansion of x in y
9.003 * [taylor]: Taking taylor expansion of z in y
9.003 * [taylor]: Taking taylor expansion of (/ 216.0 (pow z 3)) in x
9.003 * [taylor]: Taking taylor expansion of 216.0 in x
9.003 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.003 * [taylor]: Taking taylor expansion of z in x
9.004 * [taylor]: Taking taylor expansion of (neg (* 648.0 (/ 1 (* x (pow z 3))))) in x
9.004 * [taylor]: Taking taylor expansion of (* 648.0 (/ 1 (* x (pow z 3)))) in x
9.004 * [taylor]: Taking taylor expansion of 648.0 in x
9.004 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 3))) in x
9.004 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in x
9.004 * [taylor]: Taking taylor expansion of x in x
9.004 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.004 * [taylor]: Taking taylor expansion of z in x
9.005 * [taylor]: Taking taylor expansion of (* 648.0 (/ 1 (* (pow x 2) (pow z 3)))) in x
9.005 * [taylor]: Taking taylor expansion of 648.0 in x
9.006 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow z 3))) in x
9.006 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow z 3)) in x
9.006 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.006 * [taylor]: Taking taylor expansion of x in x
9.006 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.006 * [taylor]: Taking taylor expansion of z in x
9.007 * [taylor]: Taking taylor expansion of (neg (* 216.0 (/ 1 (* (pow x 3) (pow z 3))))) in x
9.007 * [taylor]: Taking taylor expansion of (* 216.0 (/ 1 (* (pow x 3) (pow z 3)))) in x
9.007 * [taylor]: Taking taylor expansion of 216.0 in x
9.007 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow z 3))) in x
9.007 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow z 3)) in x
9.007 * [taylor]: Taking taylor expansion of (pow x 3) in x
9.007 * [taylor]: Taking taylor expansion of x in x
9.007 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.007 * [taylor]: Taking taylor expansion of z in x
9.007 * [taylor]: Taking taylor expansion of (neg (* 216.0 (/ 1 (pow z 3)))) in z
9.007 * [taylor]: Taking taylor expansion of (* 216.0 (/ 1 (pow z 3))) in z
9.007 * [taylor]: Taking taylor expansion of 216.0 in z
9.007 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
9.007 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.007 * [taylor]: Taking taylor expansion of z in z
9.007 * [taylor]: Taking taylor expansion of (/ 648.0 (pow z 3)) in z
9.007 * [taylor]: Taking taylor expansion of 648.0 in z
9.007 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.007 * [taylor]: Taking taylor expansion of z in z
9.008 * [taylor]: Taking taylor expansion of (neg (* 648.0 (/ 1 (pow z 3)))) in z
9.008 * [taylor]: Taking taylor expansion of (* 648.0 (/ 1 (pow z 3))) in z
9.008 * [taylor]: Taking taylor expansion of 648.0 in z
9.008 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
9.008 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.008 * [taylor]: Taking taylor expansion of z in z
9.009 * [approximate]: Taking taylor expansion of (pow (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) 3) in (y x z) around 0
9.009 * [taylor]: Taking taylor expansion of (pow (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) 3) in z
9.009 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
9.009 * [taylor]: Taking taylor expansion of -6.0 in z
9.009 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
9.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
9.009 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.009 * [taylor]: Taking taylor expansion of x in z
9.009 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.009 * [taylor]: Taking taylor expansion of y in z
9.009 * [taylor]: Taking taylor expansion of z in z
9.009 * [taylor]: Taking taylor expansion of (pow (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) 3) in x
9.009 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
9.009 * [taylor]: Taking taylor expansion of -6.0 in x
9.009 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
9.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.009 * [taylor]: Taking taylor expansion of x in x
9.009 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.009 * [taylor]: Taking taylor expansion of y in x
9.009 * [taylor]: Taking taylor expansion of z in x
9.009 * [taylor]: Taking taylor expansion of (pow (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) 3) in y
9.009 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
9.009 * [taylor]: Taking taylor expansion of -6.0 in y
9.009 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
9.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.009 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.009 * [taylor]: Taking taylor expansion of x in y
9.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.009 * [taylor]: Taking taylor expansion of y in y
9.009 * [taylor]: Taking taylor expansion of z in y
9.010 * [taylor]: Taking taylor expansion of (pow (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) 3) in y
9.010 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
9.010 * [taylor]: Taking taylor expansion of -6.0 in y
9.010 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
9.010 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.010 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.010 * [taylor]: Taking taylor expansion of x in y
9.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.010 * [taylor]: Taking taylor expansion of y in y
9.010 * [taylor]: Taking taylor expansion of z in y
9.010 * [taylor]: Taking taylor expansion of (/ 216.0 (pow z 3)) in x
9.010 * [taylor]: Taking taylor expansion of 216.0 in x
9.010 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.010 * [taylor]: Taking taylor expansion of z in x
9.011 * [taylor]: Taking taylor expansion of (neg (* 648.0 (/ 1 (* x (pow z 3))))) in x
9.011 * [taylor]: Taking taylor expansion of (* 648.0 (/ 1 (* x (pow z 3)))) in x
9.011 * [taylor]: Taking taylor expansion of 648.0 in x
9.011 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 3))) in x
9.011 * [taylor]: Taking taylor expansion of (* x (pow z 3)) in x
9.011 * [taylor]: Taking taylor expansion of x in x
9.011 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.011 * [taylor]: Taking taylor expansion of z in x
9.012 * [taylor]: Taking taylor expansion of (* 648.0 (/ 1 (* (pow x 2) (pow z 3)))) in x
9.012 * [taylor]: Taking taylor expansion of 648.0 in x
9.012 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow z 3))) in x
9.012 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow z 3)) in x
9.012 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.012 * [taylor]: Taking taylor expansion of x in x
9.012 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.012 * [taylor]: Taking taylor expansion of z in x
9.013 * [taylor]: Taking taylor expansion of (neg (* 216.0 (/ 1 (* (pow x 3) (pow z 3))))) in x
9.013 * [taylor]: Taking taylor expansion of (* 216.0 (/ 1 (* (pow x 3) (pow z 3)))) in x
9.013 * [taylor]: Taking taylor expansion of 216.0 in x
9.013 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow z 3))) in x
9.013 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow z 3)) in x
9.013 * [taylor]: Taking taylor expansion of (pow x 3) in x
9.013 * [taylor]: Taking taylor expansion of x in x
9.013 * [taylor]: Taking taylor expansion of (pow z 3) in x
9.013 * [taylor]: Taking taylor expansion of z in x
9.014 * [taylor]: Taking taylor expansion of (neg (* 216.0 (/ 1 (pow z 3)))) in z
9.014 * [taylor]: Taking taylor expansion of (* 216.0 (/ 1 (pow z 3))) in z
9.014 * [taylor]: Taking taylor expansion of 216.0 in z
9.014 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
9.014 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.014 * [taylor]: Taking taylor expansion of z in z
9.014 * [taylor]: Taking taylor expansion of (/ 648.0 (pow z 3)) in z
9.014 * [taylor]: Taking taylor expansion of 648.0 in z
9.014 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.014 * [taylor]: Taking taylor expansion of z in z
9.014 * [taylor]: Taking taylor expansion of (neg (* 648.0 (/ 1 (pow z 3)))) in z
9.014 * [taylor]: Taking taylor expansion of (* 648.0 (/ 1 (pow z 3))) in z
9.014 * [taylor]: Taking taylor expansion of 648.0 in z
9.014 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
9.014 * [taylor]: Taking taylor expansion of (pow z 3) in z
9.014 * [taylor]: Taking taylor expansion of z in z
9.015 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
9.015 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0
9.015 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
9.015 * [taylor]: Taking taylor expansion of 6.0 in x
9.015 * [taylor]: Taking taylor expansion of (- y x) in x
9.015 * [taylor]: Taking taylor expansion of y in x
9.015 * [taylor]: Taking taylor expansion of x in x
9.015 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
9.015 * [taylor]: Taking taylor expansion of 6.0 in y
9.015 * [taylor]: Taking taylor expansion of (- y x) in y
9.015 * [taylor]: Taking taylor expansion of y in y
9.015 * [taylor]: Taking taylor expansion of x in y
9.015 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
9.015 * [taylor]: Taking taylor expansion of 6.0 in y
9.015 * [taylor]: Taking taylor expansion of (- y x) in y
9.015 * [taylor]: Taking taylor expansion of y in y
9.015 * [taylor]: Taking taylor expansion of x in y
9.015 * [taylor]: Taking taylor expansion of (* -6.0 x) in x
9.016 * [taylor]: Taking taylor expansion of -6.0 in x
9.016 * [taylor]: Taking taylor expansion of x in x
9.016 * [taylor]: Taking taylor expansion of 6.0 in x
9.016 * [taylor]: Taking taylor expansion of 0 in x
9.016 * [taylor]: Taking taylor expansion of 0 in x
9.016 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0
9.016 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
9.016 * [taylor]: Taking taylor expansion of 6.0 in x
9.016 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
9.016 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.016 * [taylor]: Taking taylor expansion of y in x
9.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.016 * [taylor]: Taking taylor expansion of x in x
9.016 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
9.016 * [taylor]: Taking taylor expansion of 6.0 in y
9.016 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.016 * [taylor]: Taking taylor expansion of y in y
9.016 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.016 * [taylor]: Taking taylor expansion of x in y
9.016 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
9.016 * [taylor]: Taking taylor expansion of 6.0 in y
9.016 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.017 * [taylor]: Taking taylor expansion of y in y
9.017 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.017 * [taylor]: Taking taylor expansion of x in y
9.017 * [taylor]: Taking taylor expansion of 6.0 in x
9.017 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 x))) in x
9.017 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
9.017 * [taylor]: Taking taylor expansion of 6.0 in x
9.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.017 * [taylor]: Taking taylor expansion of x in x
9.017 * [taylor]: Taking taylor expansion of 0 in x
9.018 * [taylor]: Taking taylor expansion of 0 in x
9.018 * [taylor]: Taking taylor expansion of 0 in x
9.018 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0
9.018 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
9.018 * [taylor]: Taking taylor expansion of 6.0 in x
9.018 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.018 * [taylor]: Taking taylor expansion of x in x
9.018 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.018 * [taylor]: Taking taylor expansion of y in x
9.018 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
9.018 * [taylor]: Taking taylor expansion of 6.0 in y
9.018 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.018 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.018 * [taylor]: Taking taylor expansion of x in y
9.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.018 * [taylor]: Taking taylor expansion of y in y
9.018 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
9.018 * [taylor]: Taking taylor expansion of 6.0 in y
9.019 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.019 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.019 * [taylor]: Taking taylor expansion of x in y
9.019 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.019 * [taylor]: Taking taylor expansion of y in y
9.019 * [taylor]: Taking taylor expansion of -6.0 in x
9.019 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
9.019 * [taylor]: Taking taylor expansion of 6.0 in x
9.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.019 * [taylor]: Taking taylor expansion of x in x
9.019 * [taylor]: Taking taylor expansion of 0 in x
9.023 * [taylor]: Taking taylor expansion of 0 in x
9.024 * [taylor]: Taking taylor expansion of 0 in x
9.024 * * * [progress]: simplifying candidates
9.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (exp (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (cbrt (pow (* (- y x) 6.0) 3))
  (cbrt (pow z 3))
  (cbrt (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)))
  (cbrt (* (* (- y x) 6.0) z))
  (cbrt (* (cbrt (pow (* (* (- y x) 6.0) z) 3)) (cbrt (pow (* (* (- y x) 6.0) z) 3))))
  (cbrt (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (cbrt (pow (* (- y x) 6.0) 3))
  (cbrt (pow z 3))
  (cbrt (* (* (- y x) 6.0) z))
  (cbrt (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)))
  (cbrt (sqrt (pow (* (* (- y x) 6.0) z) 3)))
  (cbrt (sqrt (pow (* (* (- y x) 6.0) z) 3)))
  (cbrt 1)
  (cbrt (pow (* (* (- y x) 6.0) z) 3))
  (cbrt (pow (* (* (- y x) 6.0) z) (/ 3 2)))
  (cbrt (pow (* (* (- y x) 6.0) z) (/ 3 2)))
  (cbrt (pow (* (* (- (pow y 3) (pow x 3)) 6.0) z) 3))
  (cbrt (pow (+ (* y y) (+ (* x x) (* y x))) 3))
  (cbrt (pow (* (* (- (* y y) (* x x)) 6.0) z) 3))
  (cbrt (pow (+ y x) 3))
  (* (cbrt (cbrt (pow (* (* (- y x) 6.0) z) 3))) (cbrt (cbrt (pow (* (* (- y x) 6.0) z) 3))))
  (cbrt (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (* (* (cbrt (pow (* (* (- y x) 6.0) z) 3)) (cbrt (pow (* (* (- y x) 6.0) z) 3))) (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (sqrt (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (sqrt (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  (+ (+ (log (- y x)) (log 6.0)) (log z))
  (+ (log (* (- y x) 6.0)) (log z))
  (log (* (* (- y x) 6.0) z))
  (exp (* (* (- y x) 6.0) z))
  (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* z z) z))
  (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* z z) z))
  (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z)))
  (cbrt (* (* (- y x) 6.0) z))
  (* (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (* (* (- y x) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- y x) 6.0) (sqrt z))
  (* (* (- y x) 6.0) 1)
  (* 6.0 z)
  (* (* (- (pow y 3) (pow x 3)) 6.0) z)
  (* (* (- (* y y) (* x x)) 6.0) z)
  (* (+ (+ (log (- y x)) (log 6.0)) (log z)) 3)
  (* (+ (log (* (- y x) 6.0)) (log z)) 3)
  (* (log (* (* (- y x) 6.0) z)) 3)
  (* (log (* (* (- y x) 6.0) z)) 3)
  (* 1 3)
  (* 1 3)
  (* 1 3)
  (pow (* (* (- y x) 6.0) z) (* (cbrt 3) (cbrt 3)))
  (pow (* (* (- y x) 6.0) z) (sqrt 3))
  (pow (* (* (- y x) 6.0) z) 1)
  (pow (* (- y x) 6.0) 3)
  (pow z 3)
  (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))
  (log (pow (* (* (- y x) 6.0) z) 3))
  (exp (pow (* (* (- y x) 6.0) z) 3))
  (* (cbrt (pow (* (* (- y x) 6.0) z) 3)) (cbrt (pow (* (* (- y x) 6.0) z) 3)))
  (cbrt (pow (* (* (- y x) 6.0) z) 3))
  (* (* (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3)) (pow (* (* (- y x) 6.0) z) 3))
  (pow (* (- y x) 6.0) 3)
  (pow z 3)
  (pow (* (* (- (pow y 3) (pow x 3)) 6.0) z) 3)
  (pow (+ (* y y) (+ (* x x) (* y x))) 3)
  (pow (* (* (- (* y y) (* x x)) 6.0) z) 3)
  (pow (+ y x) 3)
  (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))
  (sqrt (pow (* (* (- y x) 6.0) z) 3))
  (sqrt (pow (* (* (- y x) 6.0) z) 3))
  (pow (* (* (- y x) 6.0) z) (/ 3 2))
  (pow (* (* (- y x) 6.0) z) (/ 3 2))
  (* (- 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)
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (+ (* 216.0 (* (pow z 3) (pow y 3))) (* 648.0 (* (pow x 2) (* (pow z 3) y)))) (* 648.0 (* x (* (pow z 3) (pow y 2)))))
  (- (* 648.0 (* (pow x 2) (* (pow z 3) y))) (+ (* 648.0 (* x (* (pow z 3) (pow y 2)))) (* 216.0 (* (pow x 3) (pow z 3)))))
  (- (* 648.0 (* (pow x 2) (* (pow z 3) y))) (+ (* 648.0 (* x (* (pow z 3) (pow y 2)))) (* 216.0 (* (pow x 3) (pow z 3)))))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
9.029 * * [simplify]: iteration  0 :  145  enodes  (cost  1167 )
9.056 * * [simplify]: iteration  1 :  348  enodes  (cost  982 )
9.203 * * [simplify]: iteration  2 :  1482  enodes  (cost  902 )
9.836 * * [simplify]: iteration  done :  5000  enodes  (cost  902 )
9.837 * [simplify]: Simplified to:
   (log (* (* (- y x) 6.0) z))
  (pow (exp (* (- y x) 6.0)) z)
  (* (- y x) 6.0)
  z
  (cbrt (pow (* (* (- y x) 6.0) z) 2))
  (cbrt (* (- y x) (* 6.0 z)))
  (cbrt (pow (* (* (- y x) 6.0) z) 2))
  (cbrt (* (- y x) (* 6.0 z)))
  (* (- y x) 6.0)
  z
  (cbrt (* (- y x) (* 6.0 z)))
  (cbrt (pow (* (* (- y x) 6.0) z) 2))
  (cbrt (sqrt (pow (* (* (- y x) 6.0) z) 3)))
  (cbrt (sqrt (pow (* (* (- y x) 6.0) z) 3)))
  1
  (* (* (- y x) 6.0) z)
  (cbrt (pow (* (- y x) (* 6.0 z)) 3/2))
  (cbrt (pow (* (- y x) (* 6.0 z)) 3/2))
  (* (* (- (pow y 3) (pow x 3)) 6.0) z)
  (+ (* x (+ y x)) (* y y))
  (* z (* (- (* y y) (* x x)) 6.0))
  (+ y x)
  (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z))))
  (cbrt (* (- y x) (* 6.0 z)))
  (pow (* (* (- y x) 6.0) z) 3)
  (sqrt (* (- y x) (* 6.0 z)))
  (sqrt (* (- y x) (* 6.0 z)))
  (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  (log (* (* (- y x) 6.0) z))
  (log (* (* (- y x) 6.0) z))
  (log (* (* (- y x) 6.0) z))
  (pow (exp (* (- y x) 6.0)) z)
  (pow (* (* (- y x) 6.0) z) 3)
  (pow (* (* (- y x) 6.0) z) 3)
  (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z))))
  (cbrt (* (- y x) (* 6.0 z)))
  (pow (* (* (- y x) 6.0) z) 3)
  (sqrt (* (- y x) (* 6.0 z)))
  (sqrt (* (- y x) (* 6.0 z)))
  (* (* (- y x) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- y x) 6.0) (sqrt z))
  (* (- y x) 6.0)
  (* 6.0 z)
  (* (* (- (pow y 3) (pow x 3)) 6.0) z)
  (* z (* (- (* y y) (* x x)) 6.0))
  (* (log (* (* (- y x) 6.0) z)) 3)
  (* (log (* (* (- y x) 6.0) z)) 3)
  (* (log (* (* (- y x) 6.0) z)) 3)
  (* (log (* (* (- y x) 6.0) z)) 3)
  3
  3
  3
  (pow (* (* (- y x) 6.0) z) (* (cbrt 3) (cbrt 3)))
  (pow (* (* (- y x) 6.0) z) (sqrt 3))
  (* (* (- y x) 6.0) z)
  (pow (* (- y x) 6.0) 3)
  (pow z 3)
  (pow (* (* (- y x) 6.0) z) 2)
  (* (log (* (* (- y x) 6.0) z)) 3)
  (exp (pow (* (* (- y x) 6.0) z) 3))
  (pow (* (* (- y x) 6.0) z) 2)
  (* (* (- y x) 6.0) z)
  (pow (pow (* (* (- y x) 6.0) z) 3) 3)
  (pow (* (- y x) 6.0) 3)
  (pow z 3)
  (pow (* (* (- (pow y 3) (pow x 3)) 6.0) z) 3)
  (pow (+ (* x (+ y x)) (pow y 2)) 3)
  (pow (* (* (- (* y y) (* x x)) 6.0) z) 3)
  (pow (+ y x) 3)
  (pow (* (* (- y x) 6.0) z) 2)
  (sqrt (pow (* (* (- y x) 6.0) z) 3))
  (sqrt (pow (* (* (- y x) 6.0) z) 3))
  (pow (* (- y x) (* 6.0 z)) 3/2)
  (pow (* (- y x) (* 6.0 z)) 3/2)
  (* (- y x) 6.0)
  (log (* (- y x) 6.0))
  (log (* (- y x) 6.0))
  (exp (* (- y x) 6.0))
  (pow (* (- y x) 6.0) 3)
  (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0)))
  (cbrt (* (- y x) 6.0))
  (pow (* (- y x) 6.0) 3)
  (sqrt (* (- y x) 6.0))
  (sqrt (* (- y x) 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (- y x) (* (cbrt 6.0) (cbrt 6.0)))
  (* (- y x) (sqrt 6.0))
  (- y x)
  (* (cbrt (- y x)) 6.0)
  (* (sqrt (- y x)) 6.0)
  (* (- y x) 6.0)
  (* (- (sqrt y) (sqrt x)) 6.0)
  (* (- y x) 6.0)
  (* (- (pow y 3) (pow x 3)) 6.0)
  (* (- (* y y) (* x x)) 6.0)
  0
  (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  0
  (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  (+ (* 648.0 (- (* (pow x 2) (* (pow z 3) y)) (* x (* (pow z 3) (pow y 2))))) (* 216.0 (* (pow z 3) (pow y 3))))
  (- (* 648.0 (- (* (pow x 2) (* (pow z 3) y)) (* x (* (pow z 3) (pow y 2))))) (* 216.0 (* (pow x 3) (pow z 3))))
  (- (* 648.0 (- (* (pow x 2) (* (pow z 3) y)) (* x (* (pow z 3) (pow y 2))))) (* 216.0 (* (pow x 3) (pow z 3))))
  (* (- y x) 6.0)
  (* (- y x) 6.0)
  (* (- y x) 6.0)
9.838 * * * [progress]: adding candidates to table
9.956 * [progress]: [Phase 3 of 3] Extracting.
9.956 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (* (- y x) 6.0) z) 3))))> #<alt (λ (x y z) (+ x (* (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)))))> #<alt (λ (x y z) (+ x (* (- y x) (* 6.0 z))))> #<alt (λ (x y z) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (* 6.0 z)))))>)
9.957 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (* (- y x) 6.0) z)) z y x)
9.957 * * * * [regimes]: Trying to branch on (+ x (* (* (- y x) 6.0) z)) from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (* (- y x) 6.0) z) 3))))> #<alt (λ (x y z) (+ x (* (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)))))> #<alt (λ (x y z) (+ x (* (- y x) (* 6.0 z))))> #<alt (λ (x y z) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (* 6.0 z)))))>)
10.012 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (* (- y x) 6.0) z) 3))))> #<alt (λ (x y z) (+ x (* (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)))))> #<alt (λ (x y z) (+ x (* (- y x) (* 6.0 z))))> #<alt (λ (x y z) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (* 6.0 z)))))>)
10.065 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (* (- y x) 6.0) z) 3))))> #<alt (λ (x y z) (+ x (* (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)))))> #<alt (λ (x y z) (+ x (* (- y x) (* 6.0 z))))> #<alt (λ (x y z) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (* 6.0 z)))))>)
10.118 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (/ (* (* (- (* y y) (* x x)) 6.0) z) (+ y x))))> #<alt (λ (x y z) (+ x (cbrt (pow (* (* (- y x) 6.0) z) 3))))> #<alt (λ (x y z) (+ x (* (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)))))> #<alt (λ (x y z) (+ x (* (- y x) (* 6.0 z))))> #<alt (λ (x y z) (+ x (* (sqrt (- y x)) (* (sqrt (- y x)) (* 6.0 z)))))>)
10.170 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
10.170 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (- y x) (* 6.0 z)))
10.170 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
10.171 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
10.171 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
10.171 * [simplify]: Simplified to:
   (+ x (* (- y x) (* 6.0 z)))
11.530 * [regime-testing]: End program error score: 0.15931239529977306
11.610 * [regime-testing]: Target error score: 0.15931239529977306