21.334 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (* (- y x) 6.0) z))
0.023 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.025 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.027 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
0.031 * * [simplify]: iteration  3 :  63  enodes  (cost  8 )
0.041 * * [simplify]: iteration  4 :  104  enodes  (cost  8 )
0.057 * * [simplify]: iteration  5 :  161  enodes  (cost  8 )
0.091 * * [simplify]: iteration  6 :  198  enodes  (cost  8 )
0.134 * * [simplify]: iteration  7 :  238  enodes  (cost  8 )
0.183 * * [simplify]: iteration  8 :  294  enodes  (cost  8 )
0.288 * * [simplify]: iteration  9 :  416  enodes  (cost  8 )
0.503 * * [simplify]: iteration  10 :  565  enodes  (cost  8 )
0.650 * * [simplify]: iteration  11 :  653  enodes  (cost  8 )
0.882 * * [simplify]: iteration  12 :  762  enodes  (cost  8 )
1.216 * * [simplify]: iteration  13 :  835  enodes  (cost  8 )
1.451 * * [simplify]: iteration  14 :  854  enodes  (cost  8 )
1.775 * * [simplify]: iteration  15 :  898  enodes  (cost  8 )
2.127 * * [simplify]: iteration  16 :  997  enodes  (cost  8 )
2.582 * * [simplify]: iteration  17 :  1247  enodes  (cost  8 )
3.152 * * [simplify]: iteration  18 :  1505  enodes  (cost  8 )
3.878 * * [simplify]: iteration  19 :  1827  enodes  (cost  8 )
4.689 * * [simplify]: iteration  20 :  2039  enodes  (cost  8 )
5.351 * * [simplify]: iteration  21 :  2049  enodes  (cost  8 )
6.035 * * [simplify]: iteration  22 :  2051  enodes  (cost  8 )
6.709 * * [simplify]: iteration  done :  2051  enodes  (cost  8 )
6.709 * [simplify]: Simplified to:
   (fma (- y x) (* 6.0 z) x)
6.712 * * [progress]: iteration 1 / 4
6.712 * * * [progress]: picking best candidate
6.715 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))>
6.716 * * * [progress]: localizing error
6.722 * * * [progress]: generating rewritten candidates
6.722 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.723 * * * [progress]: generating series expansions
6.723 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.723 * [approximate]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in (y x z) around 0
6.723 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in z
6.723 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
6.723 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in z
6.723 * [taylor]: Taking taylor expansion of (- y x) in z
6.723 * [taylor]: Taking taylor expansion of y in z
6.723 * [taylor]: Taking taylor expansion of x in z
6.723 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
6.723 * [taylor]: Taking taylor expansion of 6.0 in z
6.723 * [taylor]: Taking taylor expansion of z in z
6.723 * [taylor]: Taking taylor expansion of x in z
6.724 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in x
6.724 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
6.724 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in x
6.724 * [taylor]: Taking taylor expansion of (- y x) in x
6.724 * [taylor]: Taking taylor expansion of y in x
6.724 * [taylor]: Taking taylor expansion of x in x
6.724 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
6.724 * [taylor]: Taking taylor expansion of 6.0 in x
6.724 * [taylor]: Taking taylor expansion of z in x
6.724 * [taylor]: Taking taylor expansion of x in x
6.724 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y
6.724 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
6.724 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y
6.724 * [taylor]: Taking taylor expansion of (- y x) in y
6.724 * [taylor]: Taking taylor expansion of y in y
6.724 * [taylor]: Taking taylor expansion of x in y
6.724 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
6.724 * [taylor]: Taking taylor expansion of 6.0 in y
6.724 * [taylor]: Taking taylor expansion of z in y
6.724 * [taylor]: Taking taylor expansion of x in y
6.724 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y
6.724 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
6.724 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y
6.724 * [taylor]: Taking taylor expansion of (- y x) in y
6.724 * [taylor]: Taking taylor expansion of y in y
6.724 * [taylor]: Taking taylor expansion of x in y
6.724 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
6.724 * [taylor]: Taking taylor expansion of 6.0 in y
6.724 * [taylor]: Taking taylor expansion of z in y
6.724 * [taylor]: Taking taylor expansion of x in y
6.724 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x
6.725 * [taylor]: Taking taylor expansion of x in x
6.725 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
6.725 * [taylor]: Taking taylor expansion of 6.0 in x
6.725 * [taylor]: Taking taylor expansion of (* x z) in x
6.725 * [taylor]: Taking taylor expansion of x in x
6.725 * [taylor]: Taking taylor expansion of z in x
6.726 * [taylor]: Taking taylor expansion of 0 in z
6.727 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
6.727 * [taylor]: Taking taylor expansion of 6.0 in x
6.727 * [taylor]: Taking taylor expansion of z in x
6.727 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
6.727 * [taylor]: Taking taylor expansion of 6.0 in z
6.727 * [taylor]: Taking taylor expansion of z in z
6.728 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
6.728 * [taylor]: Taking taylor expansion of 1 in z
6.728 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
6.728 * [taylor]: Taking taylor expansion of 6.0 in z
6.728 * [taylor]: Taking taylor expansion of z in z
6.731 * [taylor]: Taking taylor expansion of 0 in x
6.731 * [taylor]: Taking taylor expansion of 0 in z
6.731 * [taylor]: Taking taylor expansion of 0 in z
6.733 * [taylor]: Taking taylor expansion of 0 in z
6.736 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in (y x z) around 0
6.736 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in z
6.737 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
6.737 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in z
6.737 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
6.737 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.737 * [taylor]: Taking taylor expansion of y in z
6.737 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.737 * [taylor]: Taking taylor expansion of x in z
6.737 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
6.737 * [taylor]: Taking taylor expansion of 6.0 in z
6.737 * [taylor]: Taking taylor expansion of z in z
6.737 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.737 * [taylor]: Taking taylor expansion of x in z
6.737 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in x
6.737 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
6.737 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in x
6.737 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.737 * [taylor]: Taking taylor expansion of y in x
6.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.738 * [taylor]: Taking taylor expansion of x in x
6.738 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
6.738 * [taylor]: Taking taylor expansion of 6.0 in x
6.738 * [taylor]: Taking taylor expansion of z in x
6.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.738 * [taylor]: Taking taylor expansion of x in x
6.738 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y
6.738 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
6.738 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y
6.738 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.738 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.738 * [taylor]: Taking taylor expansion of y in y
6.739 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.739 * [taylor]: Taking taylor expansion of x in y
6.739 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y
6.739 * [taylor]: Taking taylor expansion of 6.0 in y
6.739 * [taylor]: Taking taylor expansion of z in y
6.739 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.739 * [taylor]: Taking taylor expansion of x in y
6.739 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y
6.739 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
6.739 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y
6.739 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.739 * [taylor]: Taking taylor expansion of y in y
6.739 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.739 * [taylor]: Taking taylor expansion of x in y
6.739 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y
6.739 * [taylor]: Taking taylor expansion of 6.0 in y
6.740 * [taylor]: Taking taylor expansion of z in y
6.740 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.740 * [taylor]: Taking taylor expansion of x in y
6.740 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
6.740 * [taylor]: Taking taylor expansion of 6.0 in x
6.740 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.740 * [taylor]: Taking taylor expansion of z in x
6.741 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x
6.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.741 * [taylor]: Taking taylor expansion of x in x
6.741 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
6.741 * [taylor]: Taking taylor expansion of 6.0 in x
6.742 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
6.742 * [taylor]: Taking taylor expansion of (* x z) in x
6.742 * [taylor]: Taking taylor expansion of x in x
6.742 * [taylor]: Taking taylor expansion of z in x
6.742 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
6.742 * [taylor]: Taking taylor expansion of 1 in z
6.742 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
6.742 * [taylor]: Taking taylor expansion of 6.0 in z
6.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.742 * [taylor]: Taking taylor expansion of z in z
6.744 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
6.744 * [taylor]: Taking taylor expansion of 6.0 in z
6.744 * [taylor]: Taking taylor expansion of z in z
6.746 * [taylor]: Taking taylor expansion of 0 in x
6.748 * [taylor]: Taking taylor expansion of 0 in z
6.748 * [taylor]: Taking taylor expansion of 0 in z
6.750 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in (y x z) around 0
6.750 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in z
6.750 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
6.751 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in z
6.751 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
6.751 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.751 * [taylor]: Taking taylor expansion of x in z
6.751 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.751 * [taylor]: Taking taylor expansion of y in z
6.751 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z
6.751 * [taylor]: Taking taylor expansion of -6.0 in z
6.751 * [taylor]: Taking taylor expansion of z in z
6.751 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.751 * [taylor]: Taking taylor expansion of -1 in z
6.751 * [taylor]: Taking taylor expansion of x in z
6.751 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in x
6.751 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
6.751 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in x
6.751 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.751 * [taylor]: Taking taylor expansion of x in x
6.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.752 * [taylor]: Taking taylor expansion of y in x
6.752 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x
6.752 * [taylor]: Taking taylor expansion of -6.0 in x
6.752 * [taylor]: Taking taylor expansion of z in x
6.752 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.752 * [taylor]: Taking taylor expansion of -1 in x
6.752 * [taylor]: Taking taylor expansion of x in x
6.752 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y
6.752 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
6.752 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y
6.752 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.752 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.752 * [taylor]: Taking taylor expansion of x in y
6.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.752 * [taylor]: Taking taylor expansion of y in y
6.753 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y
6.753 * [taylor]: Taking taylor expansion of -6.0 in y
6.753 * [taylor]: Taking taylor expansion of z in y
6.753 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.753 * [taylor]: Taking taylor expansion of -1 in y
6.753 * [taylor]: Taking taylor expansion of x in y
6.753 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y
6.753 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
6.753 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y
6.753 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.753 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.753 * [taylor]: Taking taylor expansion of x in y
6.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.753 * [taylor]: Taking taylor expansion of y in y
6.753 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y
6.753 * [taylor]: Taking taylor expansion of -6.0 in y
6.753 * [taylor]: Taking taylor expansion of z in y
6.753 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.753 * [taylor]: Taking taylor expansion of -1 in y
6.753 * [taylor]: Taking taylor expansion of x in y
6.754 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
6.754 * [taylor]: Taking taylor expansion of 6.0 in x
6.754 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.754 * [taylor]: Taking taylor expansion of z in x
6.755 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
6.755 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
6.756 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
6.756 * [taylor]: Taking taylor expansion of 6.0 in x
6.756 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
6.756 * [taylor]: Taking taylor expansion of (* x z) in x
6.756 * [taylor]: Taking taylor expansion of x in x
6.756 * [taylor]: Taking taylor expansion of z in x
6.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.756 * [taylor]: Taking taylor expansion of x in x
6.756 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
6.756 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
6.756 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
6.756 * [taylor]: Taking taylor expansion of 6.0 in z
6.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.756 * [taylor]: Taking taylor expansion of z in z
6.757 * [taylor]: Taking taylor expansion of 1 in z
6.758 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
6.758 * [taylor]: Taking taylor expansion of 6.0 in z
6.758 * [taylor]: Taking taylor expansion of z in z
6.760 * [taylor]: Taking taylor expansion of 0 in x
6.762 * [taylor]: Taking taylor expansion of 0 in z
6.762 * [taylor]: Taking taylor expansion of 0 in z
6.764 * * * [progress]: simplifying candidates
6.765 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (- y x) (* 6.0 z) x))
  (log1p (fma (- y x) (* 6.0 z) x))
  (* (- y x) (* 6.0 z))
  (log (fma (- y x) (* 6.0 z) x))
  (exp (fma (- y x) (* 6.0 z) x))
  (* (cbrt (fma (- y x) (* 6.0 z) x)) (cbrt (fma (- y x) (* 6.0 z) x)))
  (cbrt (fma (- y x) (* 6.0 z) x))
  (* (* (fma (- y x) (* 6.0 z) x) (fma (- y x) (* 6.0 z) x)) (fma (- y x) (* 6.0 z) x))
  (sqrt (fma (- y x) (* 6.0 z) x))
  (sqrt (fma (- y x) (* 6.0 z) x))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
6.766 * * [simplify]: iteration  0 :  23  enodes  (cost  154 )
6.775 * * [simplify]: iteration  1 :  44  enodes  (cost  151 )
6.782 * * [simplify]: iteration  2 :  107  enodes  (cost  135 )
6.807 * * [simplify]: iteration  3 :  297  enodes  (cost  123 )
6.928 * * [simplify]: iteration  4 :  1295  enodes  (cost  123 )
7.813 * * [simplify]: iteration  done :  5002  enodes  (cost  123 )
7.813 * [simplify]: Simplified to:
   (expm1 (fma (- y x) (* 6.0 z) x))
  (log1p (fma (- y x) (* 6.0 z) x))
  (* (- y x) (* 6.0 z))
  (log (fma (- y x) (* 6.0 z) x))
  (exp (fma (- y x) (* 6.0 z) x))
  (* (cbrt (fma (- y x) (* 6.0 z) x)) (cbrt (fma (- y x) (* 6.0 z) x)))
  (cbrt (fma (- y x) (* 6.0 z) x))
  (pow (fma (- y x) (* 6.0 z) x) 3)
  (sqrt (fma (- y x) (* 6.0 z) x))
  (sqrt (fma (- y x) (* 6.0 z) x))
  (fma (- y x) (* 6.0 z) x)
  (fma (- y x) (* 6.0 z) x)
  (fma (- y x) (* 6.0 z) x)
7.813 * * * [progress]: adding candidates to table
7.843 * * [progress]: iteration 2 / 4
7.843 * * * [progress]: picking best candidate
7.849 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))>
7.849 * * * [progress]: localizing error
7.855 * * * [progress]: generating rewritten candidates
7.855 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
7.871 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
7.884 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.889 * * * [progress]: generating series expansions
7.889 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
7.889 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0
7.889 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z
7.889 * [taylor]: Taking taylor expansion of 6.0 in z
7.889 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
7.889 * [taylor]: Taking taylor expansion of (- y x) in z
7.889 * [taylor]: Taking taylor expansion of y in z
7.889 * [taylor]: Taking taylor expansion of x in z
7.889 * [taylor]: Taking taylor expansion of z in z
7.889 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x
7.889 * [taylor]: Taking taylor expansion of 6.0 in x
7.889 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
7.889 * [taylor]: Taking taylor expansion of (- y x) in x
7.889 * [taylor]: Taking taylor expansion of y in x
7.889 * [taylor]: Taking taylor expansion of x in x
7.889 * [taylor]: Taking taylor expansion of z in x
7.889 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
7.889 * [taylor]: Taking taylor expansion of 6.0 in y
7.889 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
7.889 * [taylor]: Taking taylor expansion of (- y x) in y
7.889 * [taylor]: Taking taylor expansion of y in y
7.889 * [taylor]: Taking taylor expansion of x in y
7.890 * [taylor]: Taking taylor expansion of z in y
7.890 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
7.890 * [taylor]: Taking taylor expansion of 6.0 in y
7.890 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
7.890 * [taylor]: Taking taylor expansion of (- y x) in y
7.890 * [taylor]: Taking taylor expansion of y in y
7.890 * [taylor]: Taking taylor expansion of x in y
7.890 * [taylor]: Taking taylor expansion of z in y
7.890 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
7.890 * [taylor]: Taking taylor expansion of -6.0 in x
7.890 * [taylor]: Taking taylor expansion of (* x z) in x
7.890 * [taylor]: Taking taylor expansion of x in x
7.890 * [taylor]: Taking taylor expansion of z in x
7.891 * [taylor]: Taking taylor expansion of 0 in z
7.891 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
7.891 * [taylor]: Taking taylor expansion of 6.0 in x
7.892 * [taylor]: Taking taylor expansion of z in x
7.892 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.892 * [taylor]: Taking taylor expansion of 6.0 in z
7.892 * [taylor]: Taking taylor expansion of z in z
7.893 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z
7.893 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.893 * [taylor]: Taking taylor expansion of 6.0 in z
7.893 * [taylor]: Taking taylor expansion of z in z
7.894 * [taylor]: Taking taylor expansion of 0 in x
7.895 * [taylor]: Taking taylor expansion of 0 in z
7.895 * [taylor]: Taking taylor expansion of 0 in z
7.895 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
7.895 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
7.895 * [taylor]: Taking taylor expansion of 6.0 in z
7.895 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
7.895 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
7.895 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.895 * [taylor]: Taking taylor expansion of y in z
7.895 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.895 * [taylor]: Taking taylor expansion of x in z
7.895 * [taylor]: Taking taylor expansion of z in z
7.895 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
7.896 * [taylor]: Taking taylor expansion of 6.0 in x
7.896 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
7.896 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
7.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.896 * [taylor]: Taking taylor expansion of y in x
7.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.896 * [taylor]: Taking taylor expansion of x in x
7.896 * [taylor]: Taking taylor expansion of z in x
7.897 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
7.897 * [taylor]: Taking taylor expansion of 6.0 in y
7.897 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
7.897 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.897 * [taylor]: Taking taylor expansion of y in y
7.897 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.897 * [taylor]: Taking taylor expansion of x in y
7.897 * [taylor]: Taking taylor expansion of z in y
7.897 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
7.897 * [taylor]: Taking taylor expansion of 6.0 in y
7.897 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
7.897 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.897 * [taylor]: Taking taylor expansion of y in y
7.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.898 * [taylor]: Taking taylor expansion of x in y
7.898 * [taylor]: Taking taylor expansion of z in y
7.898 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
7.898 * [taylor]: Taking taylor expansion of 6.0 in x
7.898 * [taylor]: Taking taylor expansion of z in x
7.899 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
7.899 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.899 * [taylor]: Taking taylor expansion of 6.0 in x
7.899 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.899 * [taylor]: Taking taylor expansion of (* x z) in x
7.899 * [taylor]: Taking taylor expansion of x in x
7.899 * [taylor]: Taking taylor expansion of z in x
7.900 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
7.900 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.900 * [taylor]: Taking taylor expansion of 6.0 in z
7.900 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.900 * [taylor]: Taking taylor expansion of z in z
7.901 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.901 * [taylor]: Taking taylor expansion of 6.0 in z
7.901 * [taylor]: Taking taylor expansion of z in z
7.903 * [taylor]: Taking taylor expansion of 0 in x
7.904 * [taylor]: Taking taylor expansion of 0 in z
7.904 * [taylor]: Taking taylor expansion of 0 in z
7.908 * [taylor]: Taking taylor expansion of 0 in x
7.908 * [taylor]: Taking taylor expansion of 0 in z
7.910 * [taylor]: Taking taylor expansion of 0 in z
7.910 * [taylor]: Taking taylor expansion of 0 in z
7.913 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
7.913 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
7.913 * [taylor]: Taking taylor expansion of -6.0 in z
7.913 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
7.913 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
7.913 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.913 * [taylor]: Taking taylor expansion of x in z
7.913 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.913 * [taylor]: Taking taylor expansion of y in z
7.913 * [taylor]: Taking taylor expansion of z in z
7.913 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
7.913 * [taylor]: Taking taylor expansion of -6.0 in x
7.913 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
7.913 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
7.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.913 * [taylor]: Taking taylor expansion of x in x
7.914 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.914 * [taylor]: Taking taylor expansion of y in x
7.914 * [taylor]: Taking taylor expansion of z in x
7.914 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
7.914 * [taylor]: Taking taylor expansion of -6.0 in y
7.914 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
7.914 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.914 * [taylor]: Taking taylor expansion of x in y
7.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.914 * [taylor]: Taking taylor expansion of y in y
7.915 * [taylor]: Taking taylor expansion of z in y
7.915 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
7.915 * [taylor]: Taking taylor expansion of -6.0 in y
7.915 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
7.915 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.915 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.915 * [taylor]: Taking taylor expansion of x in y
7.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.915 * [taylor]: Taking taylor expansion of y in y
7.916 * [taylor]: Taking taylor expansion of z in y
7.916 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
7.916 * [taylor]: Taking taylor expansion of 6.0 in x
7.916 * [taylor]: Taking taylor expansion of z in x
7.917 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
7.917 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.917 * [taylor]: Taking taylor expansion of 6.0 in x
7.917 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.917 * [taylor]: Taking taylor expansion of (* x z) in x
7.917 * [taylor]: Taking taylor expansion of x in x
7.917 * [taylor]: Taking taylor expansion of z in x
7.918 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
7.918 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.918 * [taylor]: Taking taylor expansion of 6.0 in z
7.918 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.918 * [taylor]: Taking taylor expansion of z in z
7.919 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.919 * [taylor]: Taking taylor expansion of 6.0 in z
7.919 * [taylor]: Taking taylor expansion of z in z
7.921 * [taylor]: Taking taylor expansion of 0 in x
7.922 * [taylor]: Taking taylor expansion of 0 in z
7.922 * [taylor]: Taking taylor expansion of 0 in z
7.926 * [taylor]: Taking taylor expansion of 0 in x
7.926 * [taylor]: Taking taylor expansion of 0 in z
7.928 * [taylor]: Taking taylor expansion of 0 in z
7.928 * [taylor]: Taking taylor expansion of 0 in z
7.931 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
7.931 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0
7.931 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
7.931 * [taylor]: Taking taylor expansion of 6.0 in x
7.931 * [taylor]: Taking taylor expansion of (- y x) in x
7.931 * [taylor]: Taking taylor expansion of y in x
7.931 * [taylor]: Taking taylor expansion of x in x
7.931 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
7.931 * [taylor]: Taking taylor expansion of 6.0 in y
7.931 * [taylor]: Taking taylor expansion of (- y x) in y
7.931 * [taylor]: Taking taylor expansion of y in y
7.931 * [taylor]: Taking taylor expansion of x in y
7.931 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
7.931 * [taylor]: Taking taylor expansion of 6.0 in y
7.931 * [taylor]: Taking taylor expansion of (- y x) in y
7.931 * [taylor]: Taking taylor expansion of y in y
7.931 * [taylor]: Taking taylor expansion of x in y
7.931 * [taylor]: Taking taylor expansion of (* -6.0 x) in x
7.931 * [taylor]: Taking taylor expansion of -6.0 in x
7.931 * [taylor]: Taking taylor expansion of x in x
7.933 * [taylor]: Taking taylor expansion of 6.0 in x
7.935 * [taylor]: Taking taylor expansion of 0 in x
7.937 * [taylor]: Taking taylor expansion of 0 in x
7.937 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0
7.937 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
7.937 * [taylor]: Taking taylor expansion of 6.0 in x
7.937 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
7.938 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.938 * [taylor]: Taking taylor expansion of y in x
7.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.938 * [taylor]: Taking taylor expansion of x in x
7.938 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
7.938 * [taylor]: Taking taylor expansion of 6.0 in y
7.938 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.938 * [taylor]: Taking taylor expansion of y in y
7.938 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.938 * [taylor]: Taking taylor expansion of x in y
7.938 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
7.938 * [taylor]: Taking taylor expansion of 6.0 in y
7.938 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.938 * [taylor]: Taking taylor expansion of y in y
7.939 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.939 * [taylor]: Taking taylor expansion of x in y
7.939 * [taylor]: Taking taylor expansion of 6.0 in x
7.940 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x
7.940 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
7.940 * [taylor]: Taking taylor expansion of 6.0 in x
7.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.940 * [taylor]: Taking taylor expansion of x in x
7.943 * [taylor]: Taking taylor expansion of 0 in x
7.946 * [taylor]: Taking taylor expansion of 0 in x
7.950 * [taylor]: Taking taylor expansion of 0 in x
7.951 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0
7.951 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
7.951 * [taylor]: Taking taylor expansion of 6.0 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.951 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
7.951 * [taylor]: Taking taylor expansion of 6.0 in y
7.951 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.951 * [taylor]: Taking taylor expansion of x in y
7.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.951 * [taylor]: Taking taylor expansion of y in y
7.952 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
7.952 * [taylor]: Taking taylor expansion of 6.0 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.953 * [taylor]: Taking taylor expansion of -6.0 in x
7.954 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
7.954 * [taylor]: Taking taylor expansion of 6.0 in x
7.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.954 * [taylor]: Taking taylor expansion of x in x
7.957 * [taylor]: Taking taylor expansion of 0 in x
7.959 * [taylor]: Taking taylor expansion of 0 in x
7.963 * [taylor]: Taking taylor expansion of 0 in x
7.963 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.963 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0
7.963 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z
7.963 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z
7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
7.963 * [taylor]: Taking taylor expansion of 6.0 in z
7.963 * [taylor]: Taking taylor expansion of (* z y) in z
7.963 * [taylor]: Taking taylor expansion of z in z
7.963 * [taylor]: Taking taylor expansion of y in z
7.963 * [taylor]: Taking taylor expansion of x in z
7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
7.963 * [taylor]: Taking taylor expansion of 6.0 in z
7.964 * [taylor]: Taking taylor expansion of (* x z) in z
7.964 * [taylor]: Taking taylor expansion of x in z
7.964 * [taylor]: Taking taylor expansion of z in z
7.964 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y
7.964 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y
7.964 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
7.964 * [taylor]: Taking taylor expansion of 6.0 in y
7.964 * [taylor]: Taking taylor expansion of (* z y) in y
7.964 * [taylor]: Taking taylor expansion of z in y
7.964 * [taylor]: Taking taylor expansion of y in y
7.964 * [taylor]: Taking taylor expansion of x in y
7.964 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
7.964 * [taylor]: Taking taylor expansion of 6.0 in y
7.964 * [taylor]: Taking taylor expansion of (* x z) in y
7.964 * [taylor]: Taking taylor expansion of x in y
7.964 * [taylor]: Taking taylor expansion of z in y
7.964 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x
7.964 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x
7.964 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
7.964 * [taylor]: Taking taylor expansion of 6.0 in x
7.964 * [taylor]: Taking taylor expansion of (* z y) in x
7.964 * [taylor]: Taking taylor expansion of z in x
7.964 * [taylor]: Taking taylor expansion of y in x
7.964 * [taylor]: Taking taylor expansion of x in x
7.964 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
7.964 * [taylor]: Taking taylor expansion of 6.0 in x
7.964 * [taylor]: Taking taylor expansion of (* x z) in x
7.964 * [taylor]: Taking taylor expansion of x in x
7.964 * [taylor]: Taking taylor expansion of z in x
7.964 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x
7.964 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x
7.964 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
7.964 * [taylor]: Taking taylor expansion of 6.0 in x
7.964 * [taylor]: Taking taylor expansion of (* z y) in x
7.964 * [taylor]: Taking taylor expansion of z in x
7.964 * [taylor]: Taking taylor expansion of y in x
7.964 * [taylor]: Taking taylor expansion of x in x
7.964 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
7.964 * [taylor]: Taking taylor expansion of 6.0 in x
7.964 * [taylor]: Taking taylor expansion of (* x z) in x
7.964 * [taylor]: Taking taylor expansion of x in x
7.964 * [taylor]: Taking taylor expansion of z in x
7.965 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
7.965 * [taylor]: Taking taylor expansion of 6.0 in y
7.965 * [taylor]: Taking taylor expansion of (* z y) in y
7.965 * [taylor]: Taking taylor expansion of z in y
7.965 * [taylor]: Taking taylor expansion of y in y
7.966 * [taylor]: Taking taylor expansion of 0 in z
7.967 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y
7.967 * [taylor]: Taking taylor expansion of 1 in y
7.967 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
7.967 * [taylor]: Taking taylor expansion of 6.0 in y
7.967 * [taylor]: Taking taylor expansion of z in y
7.967 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
7.967 * [taylor]: Taking taylor expansion of 1 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.969 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.969 * [taylor]: Taking taylor expansion of 6.0 in z
7.969 * [taylor]: Taking taylor expansion of z in z
7.978 * [taylor]: Taking taylor expansion of 0 in y
7.979 * [taylor]: Taking taylor expansion of 0 in z
7.980 * [taylor]: Taking taylor expansion of 0 in z
7.981 * [taylor]: Taking taylor expansion of 0 in z
7.985 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0
7.985 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z
7.985 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z
7.985 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
7.985 * [taylor]: Taking taylor expansion of 6.0 in z
7.985 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
7.985 * [taylor]: Taking taylor expansion of (* z y) in z
7.985 * [taylor]: Taking taylor expansion of z in z
7.985 * [taylor]: Taking taylor expansion of y in z
7.985 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.985 * [taylor]: Taking taylor expansion of x in z
7.985 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
7.985 * [taylor]: Taking taylor expansion of 6.0 in z
7.985 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
7.985 * [taylor]: Taking taylor expansion of (* x z) in z
7.985 * [taylor]: Taking taylor expansion of x in z
7.985 * [taylor]: Taking taylor expansion of z in z
7.986 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y
7.986 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y
7.986 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
7.986 * [taylor]: Taking taylor expansion of 6.0 in y
7.986 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.986 * [taylor]: Taking taylor expansion of (* z y) in y
7.986 * [taylor]: Taking taylor expansion of z in y
7.986 * [taylor]: Taking taylor expansion of y in y
7.986 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.986 * [taylor]: Taking taylor expansion of x in y
7.986 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
7.986 * [taylor]: Taking taylor expansion of 6.0 in y
7.986 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
7.986 * [taylor]: Taking taylor expansion of (* x z) in y
7.986 * [taylor]: Taking taylor expansion of x in y
7.986 * [taylor]: Taking taylor expansion of z in y
7.986 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
7.987 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
7.987 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
7.987 * [taylor]: Taking taylor expansion of 6.0 in x
7.987 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.987 * [taylor]: Taking taylor expansion of (* z y) in x
7.987 * [taylor]: Taking taylor expansion of z in x
7.987 * [taylor]: Taking taylor expansion of y in x
7.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.987 * [taylor]: Taking taylor expansion of x in x
7.987 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.987 * [taylor]: Taking taylor expansion of 6.0 in x
7.987 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.987 * [taylor]: Taking taylor expansion of (* x z) in x
7.987 * [taylor]: Taking taylor expansion of x in x
7.987 * [taylor]: Taking taylor expansion of z in x
7.987 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
7.987 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
7.987 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
7.988 * [taylor]: Taking taylor expansion of 6.0 in x
7.988 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
7.988 * [taylor]: Taking taylor expansion of (* z y) in x
7.988 * [taylor]: Taking taylor expansion of z in x
7.988 * [taylor]: Taking taylor expansion of y in x
7.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.988 * [taylor]: Taking taylor expansion of x in x
7.988 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.988 * [taylor]: Taking taylor expansion of 6.0 in x
7.988 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.988 * [taylor]: Taking taylor expansion of (* x z) in x
7.988 * [taylor]: Taking taylor expansion of x in x
7.988 * [taylor]: Taking taylor expansion of z in x
7.989 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y
7.989 * [taylor]: Taking taylor expansion of 1 in y
7.989 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
7.989 * [taylor]: Taking taylor expansion of 6.0 in y
7.989 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.989 * [taylor]: Taking taylor expansion of z in y
7.991 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
7.991 * [taylor]: Taking taylor expansion of 6.0 in y
7.991 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.991 * [taylor]: Taking taylor expansion of (* z y) in y
7.991 * [taylor]: Taking taylor expansion of z in y
7.991 * [taylor]: Taking taylor expansion of y in y
7.991 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.991 * [taylor]: Taking taylor expansion of 6.0 in z
7.991 * [taylor]: Taking taylor expansion of z in z
7.992 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
7.992 * [taylor]: Taking taylor expansion of 1 in z
7.992 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.992 * [taylor]: Taking taylor expansion of 6.0 in z
7.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.992 * [taylor]: Taking taylor expansion of z in z
7.997 * [taylor]: Taking taylor expansion of 0 in y
7.998 * [taylor]: Taking taylor expansion of 0 in z
7.999 * [taylor]: Taking taylor expansion of 0 in z
8.002 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0
8.002 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z
8.002 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
8.002 * [taylor]: Taking taylor expansion of 6.0 in z
8.002 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.002 * [taylor]: Taking taylor expansion of (* z y) in z
8.002 * [taylor]: Taking taylor expansion of z in z
8.002 * [taylor]: Taking taylor expansion of y in z
8.002 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z
8.002 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
8.002 * [taylor]: Taking taylor expansion of 6.0 in z
8.002 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
8.002 * [taylor]: Taking taylor expansion of (* x z) in z
8.002 * [taylor]: Taking taylor expansion of x in z
8.002 * [taylor]: Taking taylor expansion of z in z
8.003 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.003 * [taylor]: Taking taylor expansion of x in z
8.003 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y
8.003 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
8.003 * [taylor]: Taking taylor expansion of 6.0 in y
8.003 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.003 * [taylor]: Taking taylor expansion of (* z y) in y
8.003 * [taylor]: Taking taylor expansion of z in y
8.003 * [taylor]: Taking taylor expansion of y in y
8.003 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y
8.003 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
8.003 * [taylor]: Taking taylor expansion of 6.0 in y
8.003 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
8.003 * [taylor]: Taking taylor expansion of (* x z) in y
8.003 * [taylor]: Taking taylor expansion of x in y
8.003 * [taylor]: Taking taylor expansion of z in y
8.004 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.004 * [taylor]: Taking taylor expansion of x in y
8.004 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
8.004 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
8.004 * [taylor]: Taking taylor expansion of 6.0 in x
8.004 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.004 * [taylor]: Taking taylor expansion of (* z y) in x
8.004 * [taylor]: Taking taylor expansion of z in x
8.004 * [taylor]: Taking taylor expansion of y in x
8.004 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
8.004 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.004 * [taylor]: Taking taylor expansion of 6.0 in x
8.004 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.004 * [taylor]: Taking taylor expansion of (* x z) in x
8.004 * [taylor]: Taking taylor expansion of x in x
8.004 * [taylor]: Taking taylor expansion of z in x
8.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.004 * [taylor]: Taking taylor expansion of x in x
8.005 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
8.005 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
8.005 * [taylor]: Taking taylor expansion of 6.0 in x
8.005 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.005 * [taylor]: Taking taylor expansion of (* z y) in x
8.005 * [taylor]: Taking taylor expansion of z in x
8.005 * [taylor]: Taking taylor expansion of y in x
8.005 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
8.005 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.005 * [taylor]: Taking taylor expansion of 6.0 in x
8.005 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.005 * [taylor]: Taking taylor expansion of (* x z) in x
8.005 * [taylor]: Taking taylor expansion of x in x
8.005 * [taylor]: Taking taylor expansion of z in x
8.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.005 * [taylor]: Taking taylor expansion of x in x
8.006 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y
8.006 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y
8.006 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y
8.006 * [taylor]: Taking taylor expansion of 6.0 in y
8.006 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.006 * [taylor]: Taking taylor expansion of z in y
8.006 * [taylor]: Taking taylor expansion of 1 in y
8.008 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
8.008 * [taylor]: Taking taylor expansion of 6.0 in y
8.008 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.008 * [taylor]: Taking taylor expansion of (* z y) in y
8.008 * [taylor]: Taking taylor expansion of z in y
8.009 * [taylor]: Taking taylor expansion of y in y
8.009 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
8.009 * [taylor]: Taking taylor expansion of 6.0 in z
8.009 * [taylor]: Taking taylor expansion of z in z
8.009 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
8.010 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
8.010 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
8.010 * [taylor]: Taking taylor expansion of 6.0 in z
8.010 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.010 * [taylor]: Taking taylor expansion of z in z
8.010 * [taylor]: Taking taylor expansion of 1 in z
8.014 * [taylor]: Taking taylor expansion of 0 in y
8.015 * [taylor]: Taking taylor expansion of 0 in z
8.016 * [taylor]: Taking taylor expansion of 0 in z
8.019 * * * [progress]: simplifying candidates
8.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (- y x) 6.0) z))
  (log1p (* (* (- y x) 6.0) z))
  (* (* (- 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)
  (expm1 (* (- y x) 6.0))
  (log1p (* (- y x) 6.0))
  (* (- 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)
  (expm1 (+ x (* (* (- y x) 6.0) z)))
  (log1p (+ x (* (* (- y 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)))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
8.022 * * [simplify]: iteration  0 :  104  enodes  (cost  692 )
8.042 * * [simplify]: iteration  1 :  259  enodes  (cost  647 )
8.158 * * [simplify]: iteration  2 :  960  enodes  (cost  553 )
9.396 * * [simplify]: iteration  3 :  4700  enodes  (cost  553 )
10.961 * * [simplify]: iteration  done :  5000  enodes  (cost  553 )
10.961 * [simplify]: Simplified to:
   (expm1 (* (* (- y x) 6.0) z))
  (log1p (* (* (- 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))
  (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)
  (expm1 (* (- y x) 6.0))
  (log1p (* (- y x) 6.0))
  (* (- 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)
  (expm1 (fma (* (- y x) 6.0) z x))
  (log1p (fma (* (- y x) 6.0) z x))
  (exp (fma (* (- y x) 6.0) z x))
  (log (fma (* (- y x) 6.0) z x))
  (exp (fma (* (- y x) 6.0) z x))
  (* (cbrt (fma (* (- y x) 6.0) z x)) (cbrt (fma (* (- y x) 6.0) z x)))
  (cbrt (fma (* (- y x) 6.0) z x))
  (pow (fma (* (- y x) 6.0) z x) 3)
  (sqrt (fma (* (- y x) 6.0) z x))
  (sqrt (fma (* (- y x) 6.0) z x))
  (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3))
  (fma x x (* (* (* (- y x) 6.0) z) (- (* (* (- y x) 6.0) z) x)))
  (* (- x (* (* (- y x) 6.0) z)) (fma (* (- y x) 6.0) z x))
  (- 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)
  (fma (* (- y x) 6.0) z x)
  (fma (* (- y x) 6.0) z x)
  (fma (* (- y x) 6.0) z x)
10.962 * * * [progress]: adding candidates to table
11.114 * * [progress]: iteration 3 / 4
11.115 * * * [progress]: picking best candidate
11.127 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))>
11.127 * * * [progress]: localizing error
11.133 * * * [progress]: generating rewritten candidates
11.134 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
11.134 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
11.145 * * * [progress]: generating series expansions
11.145 * * * * [progress]: [ 1 / 2 ] generating series at (2)
11.145 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in (y x z) around 0
11.145 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in z
11.145 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
11.146 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in z
11.146 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in z
11.146 * [taylor]: Taking taylor expansion of 6.0 in z
11.146 * [taylor]: Taking taylor expansion of (- y x) in z
11.146 * [taylor]: Taking taylor expansion of y in z
11.146 * [taylor]: Taking taylor expansion of x in z
11.146 * [taylor]: Taking taylor expansion of z in z
11.146 * [taylor]: Taking taylor expansion of x in z
11.146 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in x
11.146 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
11.146 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in x
11.146 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
11.146 * [taylor]: Taking taylor expansion of 6.0 in x
11.146 * [taylor]: Taking taylor expansion of (- y x) in x
11.146 * [taylor]: Taking taylor expansion of y in x
11.146 * [taylor]: Taking taylor expansion of x in x
11.146 * [taylor]: Taking taylor expansion of z in x
11.146 * [taylor]: Taking taylor expansion of x in x
11.146 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in y
11.146 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
11.146 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in y
11.146 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
11.146 * [taylor]: Taking taylor expansion of 6.0 in y
11.146 * [taylor]: Taking taylor expansion of (- y x) in y
11.146 * [taylor]: Taking taylor expansion of y in y
11.146 * [taylor]: Taking taylor expansion of x in y
11.146 * [taylor]: Taking taylor expansion of z in y
11.146 * [taylor]: Taking taylor expansion of x in y
11.146 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in y
11.146 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
11.146 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in y
11.146 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
11.146 * [taylor]: Taking taylor expansion of 6.0 in y
11.146 * [taylor]: Taking taylor expansion of (- y x) in y
11.146 * [taylor]: Taking taylor expansion of y in y
11.146 * [taylor]: Taking taylor expansion of x in y
11.146 * [taylor]: Taking taylor expansion of z in y
11.146 * [taylor]: Taking taylor expansion of x in y
11.147 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x
11.147 * [taylor]: Taking taylor expansion of x in x
11.147 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
11.147 * [taylor]: Taking taylor expansion of 6.0 in x
11.147 * [taylor]: Taking taylor expansion of (* x z) in x
11.147 * [taylor]: Taking taylor expansion of x in x
11.147 * [taylor]: Taking taylor expansion of z in x
11.148 * [taylor]: Taking taylor expansion of 0 in z
11.150 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
11.150 * [taylor]: Taking taylor expansion of 6.0 in x
11.150 * [taylor]: Taking taylor expansion of z in x
11.150 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
11.150 * [taylor]: Taking taylor expansion of 6.0 in z
11.150 * [taylor]: Taking taylor expansion of z in z
11.151 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
11.151 * [taylor]: Taking taylor expansion of 1 in z
11.151 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
11.151 * [taylor]: Taking taylor expansion of 6.0 in z
11.151 * [taylor]: Taking taylor expansion of z in z
11.153 * [taylor]: Taking taylor expansion of 0 in x
11.154 * [taylor]: Taking taylor expansion of 0 in z
11.154 * [taylor]: Taking taylor expansion of 0 in z
11.155 * [taylor]: Taking taylor expansion of 0 in z
11.159 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in (y x z) around 0
11.159 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in z
11.159 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
11.159 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in z
11.159 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in z
11.159 * [taylor]: Taking taylor expansion of 6.0 in z
11.159 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
11.159 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.159 * [taylor]: Taking taylor expansion of y in z
11.159 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.159 * [taylor]: Taking taylor expansion of x in z
11.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.159 * [taylor]: Taking taylor expansion of z in z
11.160 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.160 * [taylor]: Taking taylor expansion of x in z
11.160 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in x
11.160 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
11.160 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in x
11.160 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
11.160 * [taylor]: Taking taylor expansion of 6.0 in x
11.160 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
11.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.160 * [taylor]: Taking taylor expansion of y in x
11.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.160 * [taylor]: Taking taylor expansion of x in x
11.160 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.160 * [taylor]: Taking taylor expansion of z in x
11.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.161 * [taylor]: Taking taylor expansion of x in x
11.161 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in y
11.161 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
11.161 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in y
11.161 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
11.161 * [taylor]: Taking taylor expansion of 6.0 in y
11.161 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
11.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.161 * [taylor]: Taking taylor expansion of y in y
11.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.161 * [taylor]: Taking taylor expansion of x in y
11.161 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.161 * [taylor]: Taking taylor expansion of z in y
11.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.162 * [taylor]: Taking taylor expansion of x in y
11.162 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in y
11.162 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
11.162 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in y
11.162 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
11.162 * [taylor]: Taking taylor expansion of 6.0 in y
11.162 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
11.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.162 * [taylor]: Taking taylor expansion of y in y
11.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.162 * [taylor]: Taking taylor expansion of x in y
11.162 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.162 * [taylor]: Taking taylor expansion of z in y
11.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.162 * [taylor]: Taking taylor expansion of x in y
11.163 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
11.163 * [taylor]: Taking taylor expansion of 6.0 in x
11.163 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.163 * [taylor]: Taking taylor expansion of z in x
11.164 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x
11.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.164 * [taylor]: Taking taylor expansion of x in x
11.165 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
11.165 * [taylor]: Taking taylor expansion of 6.0 in x
11.165 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.165 * [taylor]: Taking taylor expansion of (* x z) in x
11.165 * [taylor]: Taking taylor expansion of x in x
11.165 * [taylor]: Taking taylor expansion of z in x
11.165 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
11.165 * [taylor]: Taking taylor expansion of 1 in z
11.165 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
11.165 * [taylor]: Taking taylor expansion of 6.0 in z
11.165 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.165 * [taylor]: Taking taylor expansion of z in z
11.167 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
11.167 * [taylor]: Taking taylor expansion of 6.0 in z
11.167 * [taylor]: Taking taylor expansion of z in z
11.170 * [taylor]: Taking taylor expansion of 0 in x
11.172 * [taylor]: Taking taylor expansion of 0 in z
11.172 * [taylor]: Taking taylor expansion of 0 in z
11.174 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in (y x z) around 0
11.174 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in z
11.174 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
11.174 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in z
11.174 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in z
11.174 * [taylor]: Taking taylor expansion of 6.0 in z
11.174 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
11.174 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.174 * [taylor]: Taking taylor expansion of x in z
11.175 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.175 * [taylor]: Taking taylor expansion of y in z
11.175 * [taylor]: Taking taylor expansion of (/ -1 z) in z
11.175 * [taylor]: Taking taylor expansion of -1 in z
11.175 * [taylor]: Taking taylor expansion of z in z
11.175 * [taylor]: Taking taylor expansion of (/ -1 x) in z
11.175 * [taylor]: Taking taylor expansion of -1 in z
11.175 * [taylor]: Taking taylor expansion of x in z
11.175 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in x
11.175 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
11.175 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in x
11.175 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
11.175 * [taylor]: Taking taylor expansion of 6.0 in x
11.175 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
11.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.175 * [taylor]: Taking taylor expansion of x in x
11.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.176 * [taylor]: Taking taylor expansion of y in x
11.176 * [taylor]: Taking taylor expansion of (/ -1 z) in x
11.176 * [taylor]: Taking taylor expansion of -1 in x
11.176 * [taylor]: Taking taylor expansion of z in x
11.176 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.179 * [taylor]: Taking taylor expansion of -1 in x
11.179 * [taylor]: Taking taylor expansion of x in x
11.179 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in y
11.180 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
11.180 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in y
11.180 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
11.180 * [taylor]: Taking taylor expansion of 6.0 in y
11.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
11.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.180 * [taylor]: Taking taylor expansion of x in y
11.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.180 * [taylor]: Taking taylor expansion of y in y
11.180 * [taylor]: Taking taylor expansion of (/ -1 z) in y
11.180 * [taylor]: Taking taylor expansion of -1 in y
11.180 * [taylor]: Taking taylor expansion of z in y
11.180 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.180 * [taylor]: Taking taylor expansion of -1 in y
11.180 * [taylor]: Taking taylor expansion of x in y
11.180 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in y
11.180 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
11.180 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in y
11.180 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
11.180 * [taylor]: Taking taylor expansion of 6.0 in y
11.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
11.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.180 * [taylor]: Taking taylor expansion of x in y
11.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.181 * [taylor]: Taking taylor expansion of y in y
11.181 * [taylor]: Taking taylor expansion of (/ -1 z) in y
11.181 * [taylor]: Taking taylor expansion of -1 in y
11.181 * [taylor]: Taking taylor expansion of z in y
11.181 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.181 * [taylor]: Taking taylor expansion of -1 in y
11.181 * [taylor]: Taking taylor expansion of x in y
11.182 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
11.182 * [taylor]: Taking taylor expansion of 6.0 in x
11.182 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.182 * [taylor]: Taking taylor expansion of z in x
11.183 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
11.184 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
11.184 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
11.184 * [taylor]: Taking taylor expansion of 6.0 in x
11.184 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.184 * [taylor]: Taking taylor expansion of (* x z) in x
11.184 * [taylor]: Taking taylor expansion of x in x
11.184 * [taylor]: Taking taylor expansion of z in x
11.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.184 * [taylor]: Taking taylor expansion of x in x
11.184 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
11.184 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
11.184 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
11.184 * [taylor]: Taking taylor expansion of 6.0 in z
11.184 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.184 * [taylor]: Taking taylor expansion of z in z
11.185 * [taylor]: Taking taylor expansion of 1 in z
11.186 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
11.186 * [taylor]: Taking taylor expansion of 6.0 in z
11.186 * [taylor]: Taking taylor expansion of z in z
11.188 * [taylor]: Taking taylor expansion of 0 in x
11.190 * [taylor]: Taking taylor expansion of 0 in z
11.191 * [taylor]: Taking taylor expansion of 0 in z
11.193 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
11.193 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0
11.193 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
11.193 * [taylor]: Taking taylor expansion of 6.0 in x
11.193 * [taylor]: Taking taylor expansion of (- y x) in x
11.193 * [taylor]: Taking taylor expansion of y in x
11.193 * [taylor]: Taking taylor expansion of x in x
11.193 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
11.193 * [taylor]: Taking taylor expansion of 6.0 in y
11.193 * [taylor]: Taking taylor expansion of (- y x) in y
11.193 * [taylor]: Taking taylor expansion of y in y
11.193 * [taylor]: Taking taylor expansion of x in y
11.193 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
11.193 * [taylor]: Taking taylor expansion of 6.0 in y
11.193 * [taylor]: Taking taylor expansion of (- y x) in y
11.193 * [taylor]: Taking taylor expansion of y in y
11.193 * [taylor]: Taking taylor expansion of x in y
11.193 * [taylor]: Taking taylor expansion of (* -6.0 x) in x
11.193 * [taylor]: Taking taylor expansion of -6.0 in x
11.193 * [taylor]: Taking taylor expansion of x in x
11.194 * [taylor]: Taking taylor expansion of 6.0 in x
11.197 * [taylor]: Taking taylor expansion of 0 in x
11.199 * [taylor]: Taking taylor expansion of 0 in x
11.199 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0
11.199 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
11.199 * [taylor]: Taking taylor expansion of 6.0 in x
11.199 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
11.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.199 * [taylor]: Taking taylor expansion of y in x
11.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.199 * [taylor]: Taking taylor expansion of x in x
11.200 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
11.200 * [taylor]: Taking taylor expansion of 6.0 in y
11.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
11.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.200 * [taylor]: Taking taylor expansion of y in y
11.200 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.200 * [taylor]: Taking taylor expansion of x in y
11.200 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
11.200 * [taylor]: Taking taylor expansion of 6.0 in y
11.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
11.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.200 * [taylor]: Taking taylor expansion of y in y
11.200 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.200 * [taylor]: Taking taylor expansion of x in y
11.201 * [taylor]: Taking taylor expansion of 6.0 in x
11.202 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x
11.202 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
11.202 * [taylor]: Taking taylor expansion of 6.0 in x
11.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.202 * [taylor]: Taking taylor expansion of x in x
11.205 * [taylor]: Taking taylor expansion of 0 in x
11.208 * [taylor]: Taking taylor expansion of 0 in x
11.212 * [taylor]: Taking taylor expansion of 0 in x
11.212 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0
11.212 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
11.212 * [taylor]: Taking taylor expansion of 6.0 in x
11.212 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
11.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.212 * [taylor]: Taking taylor expansion of x in x
11.213 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.213 * [taylor]: Taking taylor expansion of y in x
11.213 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
11.213 * [taylor]: Taking taylor expansion of 6.0 in y
11.213 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
11.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.213 * [taylor]: Taking taylor expansion of x in y
11.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.213 * [taylor]: Taking taylor expansion of y in y
11.213 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
11.213 * [taylor]: Taking taylor expansion of 6.0 in y
11.213 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
11.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.213 * [taylor]: Taking taylor expansion of x in y
11.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.213 * [taylor]: Taking taylor expansion of y in y
11.214 * [taylor]: Taking taylor expansion of -6.0 in x
11.216 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
11.216 * [taylor]: Taking taylor expansion of 6.0 in x
11.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.216 * [taylor]: Taking taylor expansion of x in x
11.218 * [taylor]: Taking taylor expansion of 0 in x
11.221 * [taylor]: Taking taylor expansion of 0 in x
11.224 * [taylor]: Taking taylor expansion of 0 in x
11.224 * * * [progress]: simplifying candidates
11.225 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (* (- y x) 6.0) z x))
  (log1p (fma (* (- y x) 6.0) z x))
  (* (* (- y x) 6.0) z)
  (log (fma (* (- y x) 6.0) z x))
  (exp (fma (* (- y x) 6.0) z x))
  (* (cbrt (fma (* (- y x) 6.0) z x)) (cbrt (fma (* (- y x) 6.0) z x)))
  (cbrt (fma (* (- y x) 6.0) z x))
  (* (* (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x)) (fma (* (- y x) 6.0) z x))
  (sqrt (fma (* (- y x) 6.0) z x))
  (sqrt (fma (* (- y x) 6.0) z x))
  (expm1 (* (- y x) 6.0))
  (log1p (* (- y x) 6.0))
  (* (- 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)
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
11.227 * * [simplify]: iteration  0 :  68  enodes  (cost  357 )
11.238 * * [simplify]: iteration  1 :  144  enodes  (cost  345 )
11.269 * * [simplify]: iteration  2 :  440  enodes  (cost  297 )
11.562 * * [simplify]: iteration  3 :  1608  enodes  (cost  297 )
12.820 * * [simplify]: iteration  done :  5000  enodes  (cost  297 )
12.821 * [simplify]: Simplified to:
   (expm1 (fma (* (- y x) 6.0) z x))
  (log1p (fma (* (- y x) 6.0) z x))
  (* (* (- y x) z) 6.0)
  (log (fma (* (- y x) 6.0) z x))
  (exp (fma (* (- y x) 6.0) z x))
  (* (cbrt (fma (* (- y x) 6.0) z x)) (cbrt (fma (* (- y x) 6.0) z x)))
  (cbrt (fma (* (- y x) 6.0) z x))
  (pow (fma (- y x) (* 6.0 z) x) 3)
  (sqrt (fma (* (- y x) 6.0) z x))
  (sqrt (fma (* (- y x) 6.0) z x))
  (expm1 (* (- y x) 6.0))
  (log1p (* (- y x) 6.0))
  (* (- 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)
  (fma (- y x) (* 6.0 z) x)
  (fma (- y x) (* 6.0 z) x)
  (fma (- y x) (* 6.0 z) x)
  (* (- y x) 6.0)
  (* (- y x) 6.0)
  (* (- y x) 6.0)
12.821 * * * [progress]: adding candidates to table
12.909 * * [progress]: iteration 4 / 4
12.909 * * * [progress]: picking best candidate
12.916 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (- y x) z) 6.0) x))>
12.916 * * * [progress]: localizing error
12.923 * * * [progress]: generating rewritten candidates
12.923 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
12.938 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
12.949 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
12.968 * * * [progress]: generating series expansions
12.968 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
12.968 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0
12.968 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z
12.968 * [taylor]: Taking taylor expansion of 6.0 in z
12.968 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
12.968 * [taylor]: Taking taylor expansion of (- y x) in z
12.968 * [taylor]: Taking taylor expansion of y in z
12.968 * [taylor]: Taking taylor expansion of x in z
12.968 * [taylor]: Taking taylor expansion of z in z
12.968 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x
12.969 * [taylor]: Taking taylor expansion of 6.0 in x
12.969 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
12.969 * [taylor]: Taking taylor expansion of (- y x) in x
12.969 * [taylor]: Taking taylor expansion of y in x
12.969 * [taylor]: Taking taylor expansion of x in x
12.969 * [taylor]: Taking taylor expansion of z in x
12.969 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
12.969 * [taylor]: Taking taylor expansion of 6.0 in y
12.969 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
12.969 * [taylor]: Taking taylor expansion of (- y x) in y
12.969 * [taylor]: Taking taylor expansion of y in y
12.969 * [taylor]: Taking taylor expansion of x in y
12.969 * [taylor]: Taking taylor expansion of z in y
12.969 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
12.969 * [taylor]: Taking taylor expansion of 6.0 in y
12.969 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
12.969 * [taylor]: Taking taylor expansion of (- y x) in y
12.969 * [taylor]: Taking taylor expansion of y in y
12.969 * [taylor]: Taking taylor expansion of x in y
12.969 * [taylor]: Taking taylor expansion of z in y
12.969 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
12.969 * [taylor]: Taking taylor expansion of -6.0 in x
12.969 * [taylor]: Taking taylor expansion of (* x z) in x
12.969 * [taylor]: Taking taylor expansion of x in x
12.969 * [taylor]: Taking taylor expansion of z in x
12.970 * [taylor]: Taking taylor expansion of 0 in z
12.971 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
12.971 * [taylor]: Taking taylor expansion of 6.0 in x
12.971 * [taylor]: Taking taylor expansion of z in x
12.971 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
12.971 * [taylor]: Taking taylor expansion of 6.0 in z
12.971 * [taylor]: Taking taylor expansion of z in z
12.972 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z
12.972 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
12.972 * [taylor]: Taking taylor expansion of 6.0 in z
12.973 * [taylor]: Taking taylor expansion of z in z
12.974 * [taylor]: Taking taylor expansion of 0 in x
12.974 * [taylor]: Taking taylor expansion of 0 in z
12.975 * [taylor]: Taking taylor expansion of 0 in z
12.975 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
12.975 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
12.975 * [taylor]: Taking taylor expansion of 6.0 in z
12.975 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
12.975 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
12.975 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.975 * [taylor]: Taking taylor expansion of y in z
12.975 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.975 * [taylor]: Taking taylor expansion of x in z
12.975 * [taylor]: Taking taylor expansion of z in z
12.976 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
12.976 * [taylor]: Taking taylor expansion of 6.0 in x
12.976 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
12.976 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
12.976 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.976 * [taylor]: Taking taylor expansion of y in x
12.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.976 * [taylor]: Taking taylor expansion of x in x
12.976 * [taylor]: Taking taylor expansion of z in x
12.977 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
12.977 * [taylor]: Taking taylor expansion of 6.0 in y
12.977 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
12.977 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
12.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.977 * [taylor]: Taking taylor expansion of y in y
12.977 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.977 * [taylor]: Taking taylor expansion of x in y
12.977 * [taylor]: Taking taylor expansion of z in y
12.978 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
12.978 * [taylor]: Taking taylor expansion of 6.0 in y
12.978 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
12.978 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
12.978 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.978 * [taylor]: Taking taylor expansion of y in y
12.978 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.978 * [taylor]: Taking taylor expansion of x in y
12.978 * [taylor]: Taking taylor expansion of z in y
12.979 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
12.979 * [taylor]: Taking taylor expansion of 6.0 in x
12.979 * [taylor]: Taking taylor expansion of z in x
12.979 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
12.979 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
12.979 * [taylor]: Taking taylor expansion of 6.0 in x
12.979 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
12.979 * [taylor]: Taking taylor expansion of (* x z) in x
12.979 * [taylor]: Taking taylor expansion of x in x
12.980 * [taylor]: Taking taylor expansion of z in x
12.980 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
12.980 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
12.980 * [taylor]: Taking taylor expansion of 6.0 in z
12.980 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.980 * [taylor]: Taking taylor expansion of z in z
12.981 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
12.981 * [taylor]: Taking taylor expansion of 6.0 in z
12.981 * [taylor]: Taking taylor expansion of z in z
12.983 * [taylor]: Taking taylor expansion of 0 in x
12.984 * [taylor]: Taking taylor expansion of 0 in z
12.985 * [taylor]: Taking taylor expansion of 0 in z
12.989 * [taylor]: Taking taylor expansion of 0 in x
12.989 * [taylor]: Taking taylor expansion of 0 in z
12.991 * [taylor]: Taking taylor expansion of 0 in z
12.991 * [taylor]: Taking taylor expansion of 0 in z
12.993 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
12.993 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
12.994 * [taylor]: Taking taylor expansion of -6.0 in z
12.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
12.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
12.994 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.994 * [taylor]: Taking taylor expansion of x in z
12.994 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.994 * [taylor]: Taking taylor expansion of y in z
12.994 * [taylor]: Taking taylor expansion of z in z
12.994 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
12.994 * [taylor]: Taking taylor expansion of -6.0 in x
12.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
12.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
12.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.994 * [taylor]: Taking taylor expansion of x in x
12.994 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.994 * [taylor]: Taking taylor expansion of y in x
12.994 * [taylor]: Taking taylor expansion of z in x
12.995 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
12.995 * [taylor]: Taking taylor expansion of -6.0 in y
12.995 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
12.995 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
12.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.995 * [taylor]: Taking taylor expansion of x in y
12.995 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.995 * [taylor]: Taking taylor expansion of y in y
12.995 * [taylor]: Taking taylor expansion of z in y
12.996 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
12.996 * [taylor]: Taking taylor expansion of -6.0 in y
12.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
12.996 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
12.996 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.996 * [taylor]: Taking taylor expansion of x in y
12.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.996 * [taylor]: Taking taylor expansion of y in y
12.996 * [taylor]: Taking taylor expansion of z in y
12.997 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
12.997 * [taylor]: Taking taylor expansion of 6.0 in x
12.997 * [taylor]: Taking taylor expansion of z in x
12.998 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
12.998 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
12.998 * [taylor]: Taking taylor expansion of 6.0 in x
12.998 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
12.998 * [taylor]: Taking taylor expansion of (* x z) in x
12.998 * [taylor]: Taking taylor expansion of x in x
12.998 * [taylor]: Taking taylor expansion of z in x
12.998 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
12.999 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
12.999 * [taylor]: Taking taylor expansion of 6.0 in z
12.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.999 * [taylor]: Taking taylor expansion of z in z
13.000 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
13.000 * [taylor]: Taking taylor expansion of 6.0 in z
13.000 * [taylor]: Taking taylor expansion of z in z
13.002 * [taylor]: Taking taylor expansion of 0 in x
13.003 * [taylor]: Taking taylor expansion of 0 in z
13.003 * [taylor]: Taking taylor expansion of 0 in z
13.007 * [taylor]: Taking taylor expansion of 0 in x
13.007 * [taylor]: Taking taylor expansion of 0 in z
13.009 * [taylor]: Taking taylor expansion of 0 in z
13.009 * [taylor]: Taking taylor expansion of 0 in z
13.012 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
13.012 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
13.012 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
13.012 * [taylor]: Taking taylor expansion of (- y x) in z
13.012 * [taylor]: Taking taylor expansion of y in z
13.012 * [taylor]: Taking taylor expansion of x in z
13.012 * [taylor]: Taking taylor expansion of z in z
13.012 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
13.012 * [taylor]: Taking taylor expansion of (- y x) in x
13.012 * [taylor]: Taking taylor expansion of y in x
13.012 * [taylor]: Taking taylor expansion of x in x
13.012 * [taylor]: Taking taylor expansion of z in x
13.012 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
13.012 * [taylor]: Taking taylor expansion of (- y x) in y
13.012 * [taylor]: Taking taylor expansion of y in y
13.012 * [taylor]: Taking taylor expansion of x in y
13.012 * [taylor]: Taking taylor expansion of z in y
13.012 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
13.012 * [taylor]: Taking taylor expansion of (- y x) in y
13.012 * [taylor]: Taking taylor expansion of y in y
13.012 * [taylor]: Taking taylor expansion of x in y
13.012 * [taylor]: Taking taylor expansion of z in y
13.012 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
13.012 * [taylor]: Taking taylor expansion of -1 in x
13.012 * [taylor]: Taking taylor expansion of (* x z) in x
13.012 * [taylor]: Taking taylor expansion of x in x
13.012 * [taylor]: Taking taylor expansion of z in x
13.013 * [taylor]: Taking taylor expansion of 0 in z
13.013 * [taylor]: Taking taylor expansion of z in x
13.013 * [taylor]: Taking taylor expansion of z in z
13.014 * [taylor]: Taking taylor expansion of (- z) in z
13.014 * [taylor]: Taking taylor expansion of z in z
13.015 * [taylor]: Taking taylor expansion of 0 in x
13.015 * [taylor]: Taking taylor expansion of 0 in z
13.015 * [taylor]: Taking taylor expansion of 0 in z
13.015 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
13.015 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
13.015 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
13.016 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.016 * [taylor]: Taking taylor expansion of y in z
13.016 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.016 * [taylor]: Taking taylor expansion of x in z
13.016 * [taylor]: Taking taylor expansion of z in z
13.016 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
13.016 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
13.016 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.016 * [taylor]: Taking taylor expansion of y in x
13.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.016 * [taylor]: Taking taylor expansion of x in x
13.016 * [taylor]: Taking taylor expansion of z in x
13.017 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
13.017 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
13.017 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.017 * [taylor]: Taking taylor expansion of y in y
13.017 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.017 * [taylor]: Taking taylor expansion of x in y
13.017 * [taylor]: Taking taylor expansion of z in y
13.018 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
13.018 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
13.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.018 * [taylor]: Taking taylor expansion of y in y
13.018 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.018 * [taylor]: Taking taylor expansion of x in y
13.018 * [taylor]: Taking taylor expansion of z in y
13.018 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.018 * [taylor]: Taking taylor expansion of z in x
13.019 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
13.019 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.019 * [taylor]: Taking taylor expansion of (* x z) in x
13.019 * [taylor]: Taking taylor expansion of x in x
13.019 * [taylor]: Taking taylor expansion of z in x
13.020 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
13.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.020 * [taylor]: Taking taylor expansion of z in z
13.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.020 * [taylor]: Taking taylor expansion of z in z
13.022 * [taylor]: Taking taylor expansion of 0 in x
13.023 * [taylor]: Taking taylor expansion of 0 in z
13.023 * [taylor]: Taking taylor expansion of 0 in z
13.026 * [taylor]: Taking taylor expansion of 0 in x
13.026 * [taylor]: Taking taylor expansion of 0 in z
13.027 * [taylor]: Taking taylor expansion of 0 in z
13.027 * [taylor]: Taking taylor expansion of 0 in z
13.029 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
13.029 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
13.029 * [taylor]: Taking taylor expansion of -1 in z
13.029 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
13.029 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
13.029 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.029 * [taylor]: Taking taylor expansion of x in z
13.029 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.029 * [taylor]: Taking taylor expansion of y in z
13.029 * [taylor]: Taking taylor expansion of z in z
13.029 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
13.029 * [taylor]: Taking taylor expansion of -1 in x
13.029 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
13.029 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
13.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.029 * [taylor]: Taking taylor expansion of x in x
13.030 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.030 * [taylor]: Taking taylor expansion of y in x
13.030 * [taylor]: Taking taylor expansion of z in x
13.030 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
13.030 * [taylor]: Taking taylor expansion of -1 in y
13.030 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
13.030 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
13.030 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.030 * [taylor]: Taking taylor expansion of x in y
13.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.030 * [taylor]: Taking taylor expansion of y in y
13.031 * [taylor]: Taking taylor expansion of z in y
13.031 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
13.031 * [taylor]: Taking taylor expansion of -1 in y
13.031 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
13.031 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
13.031 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.031 * [taylor]: Taking taylor expansion of x in y
13.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.031 * [taylor]: Taking taylor expansion of y in y
13.032 * [taylor]: Taking taylor expansion of z in y
13.032 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.032 * [taylor]: Taking taylor expansion of z in x
13.033 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
13.033 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.033 * [taylor]: Taking taylor expansion of (* x z) in x
13.033 * [taylor]: Taking taylor expansion of x in x
13.034 * [taylor]: Taking taylor expansion of z in x
13.034 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
13.034 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.034 * [taylor]: Taking taylor expansion of z in z
13.034 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.035 * [taylor]: Taking taylor expansion of z in z
13.036 * [taylor]: Taking taylor expansion of 0 in x
13.037 * [taylor]: Taking taylor expansion of 0 in z
13.037 * [taylor]: Taking taylor expansion of 0 in z
13.041 * [taylor]: Taking taylor expansion of 0 in x
13.041 * [taylor]: Taking taylor expansion of 0 in z
13.042 * [taylor]: Taking taylor expansion of 0 in z
13.042 * [taylor]: Taking taylor expansion of 0 in z
13.044 * * * * [progress]: [ 3 / 3 ] generating series at (2)
13.044 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (y x z) around 0
13.044 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z
13.044 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z
13.044 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
13.044 * [taylor]: Taking taylor expansion of 6.0 in z
13.044 * [taylor]: Taking taylor expansion of (* z y) in z
13.044 * [taylor]: Taking taylor expansion of z in z
13.044 * [taylor]: Taking taylor expansion of y in z
13.044 * [taylor]: Taking taylor expansion of x in z
13.044 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
13.044 * [taylor]: Taking taylor expansion of 6.0 in z
13.044 * [taylor]: Taking taylor expansion of (* x z) in z
13.044 * [taylor]: Taking taylor expansion of x in z
13.044 * [taylor]: Taking taylor expansion of z in z
13.044 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x
13.044 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x
13.044 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
13.044 * [taylor]: Taking taylor expansion of 6.0 in x
13.044 * [taylor]: Taking taylor expansion of (* z y) in x
13.045 * [taylor]: Taking taylor expansion of z in x
13.045 * [taylor]: Taking taylor expansion of y in x
13.045 * [taylor]: Taking taylor expansion of x in x
13.045 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
13.045 * [taylor]: Taking taylor expansion of 6.0 in x
13.045 * [taylor]: Taking taylor expansion of (* x z) in x
13.045 * [taylor]: Taking taylor expansion of x in x
13.045 * [taylor]: Taking taylor expansion of z in x
13.045 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y
13.045 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y
13.045 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
13.045 * [taylor]: Taking taylor expansion of 6.0 in y
13.045 * [taylor]: Taking taylor expansion of (* z y) in y
13.045 * [taylor]: Taking taylor expansion of z in y
13.045 * [taylor]: Taking taylor expansion of y in y
13.045 * [taylor]: Taking taylor expansion of x in y
13.045 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
13.045 * [taylor]: Taking taylor expansion of 6.0 in y
13.045 * [taylor]: Taking taylor expansion of (* x z) in y
13.045 * [taylor]: Taking taylor expansion of x in y
13.045 * [taylor]: Taking taylor expansion of z in y
13.045 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y
13.045 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y
13.045 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
13.045 * [taylor]: Taking taylor expansion of 6.0 in y
13.045 * [taylor]: Taking taylor expansion of (* z y) in y
13.045 * [taylor]: Taking taylor expansion of z in y
13.045 * [taylor]: Taking taylor expansion of y in y
13.045 * [taylor]: Taking taylor expansion of x in y
13.045 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
13.045 * [taylor]: Taking taylor expansion of 6.0 in y
13.045 * [taylor]: Taking taylor expansion of (* x z) in y
13.045 * [taylor]: Taking taylor expansion of x in y
13.045 * [taylor]: Taking taylor expansion of z in y
13.046 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x
13.046 * [taylor]: Taking taylor expansion of x in x
13.046 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
13.046 * [taylor]: Taking taylor expansion of 6.0 in x
13.046 * [taylor]: Taking taylor expansion of (* x z) in x
13.046 * [taylor]: Taking taylor expansion of x in x
13.046 * [taylor]: Taking taylor expansion of z in x
13.047 * [taylor]: Taking taylor expansion of 0 in z
13.048 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
13.048 * [taylor]: Taking taylor expansion of 6.0 in x
13.048 * [taylor]: Taking taylor expansion of z in x
13.048 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
13.048 * [taylor]: Taking taylor expansion of 6.0 in z
13.048 * [taylor]: Taking taylor expansion of z in z
13.049 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
13.049 * [taylor]: Taking taylor expansion of 1 in z
13.049 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
13.049 * [taylor]: Taking taylor expansion of 6.0 in z
13.049 * [taylor]: Taking taylor expansion of z in z
13.056 * [taylor]: Taking taylor expansion of 0 in x
13.057 * [taylor]: Taking taylor expansion of 0 in z
13.057 * [taylor]: Taking taylor expansion of 0 in z
13.059 * [taylor]: Taking taylor expansion of 0 in z
13.062 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (y x z) around 0
13.063 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z
13.063 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z
13.063 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
13.063 * [taylor]: Taking taylor expansion of 6.0 in z
13.063 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
13.063 * [taylor]: Taking taylor expansion of (* z y) in z
13.063 * [taylor]: Taking taylor expansion of z in z
13.063 * [taylor]: Taking taylor expansion of y in z
13.063 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.063 * [taylor]: Taking taylor expansion of x in z
13.063 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
13.063 * [taylor]: Taking taylor expansion of 6.0 in z
13.063 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
13.063 * [taylor]: Taking taylor expansion of (* x z) in z
13.063 * [taylor]: Taking taylor expansion of x in z
13.063 * [taylor]: Taking taylor expansion of z in z
13.064 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
13.064 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
13.064 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
13.064 * [taylor]: Taking taylor expansion of 6.0 in x
13.064 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
13.064 * [taylor]: Taking taylor expansion of (* z y) in x
13.064 * [taylor]: Taking taylor expansion of z in x
13.064 * [taylor]: Taking taylor expansion of y in x
13.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.064 * [taylor]: Taking taylor expansion of x in x
13.064 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
13.064 * [taylor]: Taking taylor expansion of 6.0 in x
13.064 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.064 * [taylor]: Taking taylor expansion of (* x z) in x
13.064 * [taylor]: Taking taylor expansion of x in x
13.064 * [taylor]: Taking taylor expansion of z in x
13.065 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y
13.065 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y
13.065 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
13.065 * [taylor]: Taking taylor expansion of 6.0 in y
13.065 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.065 * [taylor]: Taking taylor expansion of (* z y) in y
13.065 * [taylor]: Taking taylor expansion of z in y
13.065 * [taylor]: Taking taylor expansion of y in y
13.065 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.065 * [taylor]: Taking taylor expansion of x in y
13.065 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
13.065 * [taylor]: Taking taylor expansion of 6.0 in y
13.065 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
13.065 * [taylor]: Taking taylor expansion of (* x z) in y
13.065 * [taylor]: Taking taylor expansion of x in y
13.065 * [taylor]: Taking taylor expansion of z in y
13.065 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y
13.065 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y
13.065 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
13.065 * [taylor]: Taking taylor expansion of 6.0 in y
13.065 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.065 * [taylor]: Taking taylor expansion of (* z y) in y
13.065 * [taylor]: Taking taylor expansion of z in y
13.065 * [taylor]: Taking taylor expansion of y in y
13.066 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.066 * [taylor]: Taking taylor expansion of x in y
13.066 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
13.066 * [taylor]: Taking taylor expansion of 6.0 in y
13.066 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
13.066 * [taylor]: Taking taylor expansion of (* x z) in y
13.066 * [taylor]: Taking taylor expansion of x in y
13.066 * [taylor]: Taking taylor expansion of z in y
13.066 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
13.066 * [taylor]: Taking taylor expansion of 6.0 in x
13.066 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.066 * [taylor]: Taking taylor expansion of z in x
13.067 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x
13.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.067 * [taylor]: Taking taylor expansion of x in x
13.068 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
13.068 * [taylor]: Taking taylor expansion of 6.0 in x
13.068 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.068 * [taylor]: Taking taylor expansion of (* x z) in x
13.068 * [taylor]: Taking taylor expansion of x in x
13.068 * [taylor]: Taking taylor expansion of z in x
13.068 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
13.068 * [taylor]: Taking taylor expansion of 1 in z
13.068 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
13.068 * [taylor]: Taking taylor expansion of 6.0 in z
13.068 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.068 * [taylor]: Taking taylor expansion of z in z
13.070 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
13.070 * [taylor]: Taking taylor expansion of 6.0 in z
13.070 * [taylor]: Taking taylor expansion of z in z
13.073 * [taylor]: Taking taylor expansion of 0 in x
13.075 * [taylor]: Taking taylor expansion of 0 in z
13.076 * [taylor]: Taking taylor expansion of 0 in z
13.078 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (y x z) around 0
13.078 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z
13.078 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
13.078 * [taylor]: Taking taylor expansion of 6.0 in z
13.078 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
13.078 * [taylor]: Taking taylor expansion of (* z y) in z
13.078 * [taylor]: Taking taylor expansion of z in z
13.078 * [taylor]: Taking taylor expansion of y in z
13.079 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z
13.079 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
13.079 * [taylor]: Taking taylor expansion of 6.0 in z
13.079 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
13.079 * [taylor]: Taking taylor expansion of (* x z) in z
13.079 * [taylor]: Taking taylor expansion of x in z
13.079 * [taylor]: Taking taylor expansion of z in z
13.079 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.079 * [taylor]: Taking taylor expansion of x in z
13.079 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
13.079 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
13.079 * [taylor]: Taking taylor expansion of 6.0 in x
13.079 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
13.079 * [taylor]: Taking taylor expansion of (* z y) in x
13.079 * [taylor]: Taking taylor expansion of z in x
13.079 * [taylor]: Taking taylor expansion of y in x
13.080 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
13.080 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
13.080 * [taylor]: Taking taylor expansion of 6.0 in x
13.080 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.080 * [taylor]: Taking taylor expansion of (* x z) in x
13.080 * [taylor]: Taking taylor expansion of x in x
13.080 * [taylor]: Taking taylor expansion of z in x
13.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.080 * [taylor]: Taking taylor expansion of x in x
13.080 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y
13.080 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
13.080 * [taylor]: Taking taylor expansion of 6.0 in y
13.080 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.080 * [taylor]: Taking taylor expansion of (* z y) in y
13.080 * [taylor]: Taking taylor expansion of z in y
13.080 * [taylor]: Taking taylor expansion of y in y
13.081 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y
13.081 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
13.081 * [taylor]: Taking taylor expansion of 6.0 in y
13.081 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
13.081 * [taylor]: Taking taylor expansion of (* x z) in y
13.081 * [taylor]: Taking taylor expansion of x in y
13.081 * [taylor]: Taking taylor expansion of z in y
13.081 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.081 * [taylor]: Taking taylor expansion of x in y
13.081 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y
13.081 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
13.081 * [taylor]: Taking taylor expansion of 6.0 in y
13.081 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
13.081 * [taylor]: Taking taylor expansion of (* z y) in y
13.081 * [taylor]: Taking taylor expansion of z in y
13.081 * [taylor]: Taking taylor expansion of y in y
13.082 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y
13.082 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
13.082 * [taylor]: Taking taylor expansion of 6.0 in y
13.082 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
13.082 * [taylor]: Taking taylor expansion of (* x z) in y
13.082 * [taylor]: Taking taylor expansion of x in y
13.082 * [taylor]: Taking taylor expansion of z in y
13.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.082 * [taylor]: Taking taylor expansion of x in y
13.082 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
13.082 * [taylor]: Taking taylor expansion of 6.0 in x
13.082 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.082 * [taylor]: Taking taylor expansion of z in x
13.083 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
13.083 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
13.083 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
13.083 * [taylor]: Taking taylor expansion of 6.0 in x
13.083 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.083 * [taylor]: Taking taylor expansion of (* x z) in x
13.083 * [taylor]: Taking taylor expansion of x in x
13.083 * [taylor]: Taking taylor expansion of z in x
13.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.084 * [taylor]: Taking taylor expansion of x in x
13.084 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
13.084 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
13.084 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
13.084 * [taylor]: Taking taylor expansion of 6.0 in z
13.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.084 * [taylor]: Taking taylor expansion of z in z
13.085 * [taylor]: Taking taylor expansion of 1 in z
13.086 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
13.086 * [taylor]: Taking taylor expansion of 6.0 in z
13.086 * [taylor]: Taking taylor expansion of z in z
13.089 * [taylor]: Taking taylor expansion of 0 in x
13.091 * [taylor]: Taking taylor expansion of 0 in z
13.091 * [taylor]: Taking taylor expansion of 0 in z
13.093 * * * [progress]: simplifying candidates
13.094 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (- y x) z) 6.0))
  (log1p (* (* (- y x) z) 6.0))
  (* (* (- y x) z) 6.0)
  (* (* (- y x) z) 6.0)
  (+ (+ (log (- y x)) (log z)) (log 6.0))
  (+ (log (* (- y x) z)) (log 6.0))
  (log (* (* (- y x) z) 6.0))
  (exp (* (* (- y x) z) 6.0))
  (* (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (* 6.0 6.0) 6.0))
  (* (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (* (* 6.0 6.0) 6.0))
  (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0)))
  (cbrt (* (* (- y x) z) 6.0))
  (* (* (* (* (- y x) z) 6.0) (* (* (- y x) z) 6.0)) (* (* (- y x) z) 6.0))
  (sqrt (* (* (- y x) z) 6.0))
  (sqrt (* (* (- y x) z) 6.0))
  (* (* (- y x) z) (* (cbrt 6.0) (cbrt 6.0)))
  (* (* (- y x) z) (sqrt 6.0))
  (* (* (- y x) z) 1)
  (* z 6.0)
  (* (* (- (pow y 3) (pow x 3)) z) 6.0)
  (* (* (- (* y y) (* x x)) z) 6.0)
  (expm1 (* (- y x) z))
  (log1p (* (- y x) z))
  (* (- y x) z)
  (+ (log (- y x)) (log z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (* (- y x) 1)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (expm1 (+ (* (* (- y x) z) 6.0) x))
  (log1p (+ (* (* (- y x) z) 6.0) x))
  (* (exp (* (* (- y x) z) 6.0)) (exp x))
  (log (+ (* (* (- y x) z) 6.0) x))
  (exp (+ (* (* (- y x) z) 6.0) x))
  (* (cbrt (+ (* (* (- y x) z) 6.0) x)) (cbrt (+ (* (* (- y x) z) 6.0) x)))
  (cbrt (+ (* (* (- y x) z) 6.0) x))
  (* (* (+ (* (* (- y x) z) 6.0) x) (+ (* (* (- y x) z) 6.0) x)) (+ (* (* (- y x) z) 6.0) x))
  (sqrt (+ (* (* (- y x) z) 6.0) x))
  (sqrt (+ (* (* (- y x) z) 6.0) x))
  (+ (pow (* (* (- y x) z) 6.0) 3) (pow x 3))
  (+ (* (* (* (- y x) z) 6.0) (* (* (- y x) z) 6.0)) (- (* x x) (* (* (* (- y x) z) 6.0) x)))
  (- (* (* (* (- y x) z) 6.0) (* (* (- y x) z) 6.0)) (* x x))
  (- (* (* (- y x) z) 6.0) x)
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
  (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z)))
13.097 * * [simplify]: iteration  0 :  102  enodes  (cost  686 )
13.115 * * [simplify]: iteration  1 :  254  enodes  (cost  639 )
13.219 * * [simplify]: iteration  2 :  876  enodes  (cost  555 )
14.105 * * [simplify]: iteration  3 :  3976  enodes  (cost  549 )
15.384 * * [simplify]: iteration  done :  5000  enodes  (cost  549 )
15.385 * [simplify]: Simplified to:
   (expm1 (* (* (- y x) z) 6.0))
  (log1p (* (* (- y x) z) 6.0))
  (* 6.0 (* (- y x) z))
  (* 6.0 (* (- y x) z))
  (log (* (* (- y x) z) 6.0))
  (log (* (* (- y x) z) 6.0))
  (log (* (* (- y x) z) 6.0))
  (exp (* (* (- y x) z) 6.0))
  (pow (* 6.0 (* (- y x) z)) 3)
  (pow (* 6.0 (* (- y x) z)) 3)
  (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0)))
  (cbrt (* (* (- y x) z) 6.0))
  (pow (* 6.0 (* (- y x) z)) 3)
  (sqrt (* (* (- y x) z) 6.0))
  (sqrt (* (* (- y x) z) 6.0))
  (* (* (- y x) z) (* (cbrt 6.0) (cbrt 6.0)))
  (* (* (- y x) z) (sqrt 6.0))
  (* z (- y x))
  (* z 6.0)
  (* (* (- (pow y 3) (pow x 3)) z) 6.0)
  (* (* (- (* y y) (* x x)) z) 6.0)
  (expm1 (* (- y x) z))
  (log1p (* (- y x) z))
  (* z (- y x))
  (log (* (- y x) z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (pow (* (- y x) z) 3)
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (pow (* (- y x) z) 3)
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (- y x)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* z (- y x))
  (* (- (sqrt y) (sqrt x)) z)
  (* z (- y x))
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (expm1 (fma (* (- y x) z) 6.0 x))
  (log1p (fma (* (- y x) z) 6.0 x))
  (exp (fma (* (- y x) z) 6.0 x))
  (log (fma (* (- y x) z) 6.0 x))
  (exp (fma (* (- y x) z) 6.0 x))
  (* (cbrt (fma (* (- y x) z) 6.0 x)) (cbrt (fma (* (- y x) z) 6.0 x)))
  (cbrt (fma (* (- y x) z) 6.0 x))
  (pow (fma (* (- y x) z) 6.0 x) 3)
  (sqrt (fma (* (- y x) z) 6.0 x))
  (sqrt (fma (* (- y x) z) 6.0 x))
  (+ (pow (* (* (- y x) z) 6.0) 3) (pow x 3))
  (fma x x (* (* 6.0 (* (- y x) z)) (- (* (* (- y x) z) 6.0) x)))
  (* (fma (* (- y x) z) 6.0 x) (- (* (* (- y x) z) 6.0) x))
  (- (* (* (- y x) z) 6.0) x)
  0
  (* 6.0 (* (- y x) z))
  (* 6.0 (* (- y x) z))
  0
  (* z (- y x))
  (* z (- y x))
  (fma 6.0 (* (- y x) z) x)
  (fma 6.0 (* (- y x) z) x)
  (fma 6.0 (* (- y x) z) x)
15.385 * * * [progress]: adding candidates to table
15.535 * [progress]: [Phase 3 of 3] Extracting.
15.535 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (/ (* (* (- (* y y) (* x x)) z) 6.0) (+ y x)) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (+ (* (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0))) (cbrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0))) z x))> #<alt (λ (x y z) (fma (* (- y x) z) 6.0 x))>)
15.536 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
15.536 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (/ (* (* (- (* y y) (* x x)) z) 6.0) (+ y x)) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (+ (* (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0))) (cbrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0))) z x))> #<alt (λ (x y z) (fma (* (- y x) z) 6.0 x))>)
15.561 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (/ (* (* (- (* y y) (* x x)) z) 6.0) (+ y x)) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (+ (* (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0))) (cbrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0))) z x))> #<alt (λ (x y z) (fma (* (- y x) z) 6.0 x))>)
15.587 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (/ (* (* (- (* y y) (* x x)) z) 6.0) (+ y x)) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (+ (* (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0))) (cbrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0))) z x))> #<alt (λ (x y z) (fma (* (- y x) z) 6.0 x))>)
15.610 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
15.610 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (- y x) (* 6.0 z) x)
15.611 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
15.611 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
15.611 * * [simplify]: iteration  done :  8  enodes  (cost  8 )
15.611 * [simplify]: Simplified to:
   (fma (- y x) (* 6.0 z) x)
16.255 * [regime-testing]: Baseline error score: 0.17166769908756624
16.255 * [regime-testing]: Oracle error score: 0.009876234529316165
16.257 * [regime-testing]: End program error score: 0.17166769908756624
16.277 * [regime-testing]: Target error score: 0.17561631297689254